stringtranslate.com

Integral elíptica

En cálculo integral , una integral elíptica es una de varias funciones relacionadas definidas como el valor de ciertas integrales, que fueron estudiadas por primera vez por Giulio Fagnano y Leonhard Euler ( c.  1750 ). Su nombre se origina de su surgimiento original en relación con el problema de encontrar la longitud del arco de una elipse .

Las matemáticas modernas definen una "integral elíptica" como cualquier función f que pueda expresarse en la forma

donde R es una función racional de sus dos argumentos, P es un polinomio de grado 3 o 4 sin raíces repetidas y c es una constante.

En general, las integrales en esta forma no pueden expresarse en términos de funciones elementales . Las excepciones a esta regla general son cuando P tiene raíces repetidas, o cuando R ( x , y ) no contiene potencias impares de y o si la integral es pseudoelíptica. Sin embargo, con la fórmula de reducción adecuada , cada integral elíptica puede llevarse a una forma que involucra integrales sobre funciones racionales y las tres formas canónicas de Legendre , también conocidas como integrales elípticas de primer, segundo y tercer tipo.

Además de la forma de Legendre que se muestra a continuación, las integrales elípticas también se pueden expresar en forma simétrica de Carlson . Se puede obtener una perspectiva adicional sobre la teoría de la integral elíptica mediante el estudio de la función de Schwarz-Christoffel . Históricamente, las funciones elípticas se descubrieron como funciones inversas de las integrales elípticas.

Notación de argumentos

Las integrales elípticas incompletas son funciones de dos argumentos; las integrales elípticas completas son funciones de un solo argumento. Estos argumentos se expresan de diversas maneras diferentes pero equivalentes, ya que dan como resultado la misma integral elíptica. La mayoría de los textos se adhieren a un esquema de nomenclatura canónico, utilizando las siguientes convenciones de nomenclatura.

Para expresar un argumento:

Cada una de las tres cantidades anteriores está completamente determinada por cualquiera de las otras (siempre que no sean negativas). Por lo tanto, pueden usarse indistintamente.

El otro argumento también puede expresarse como φ , la amplitud , o como x o u , donde x = sen φ = sn u y sn es una de las funciones elípticas jacobianas .

La especificación del valor de cualquiera de estas cantidades determina las demás. Nótese que u también depende de m . Algunas relaciones adicionales que involucran u incluyen

A esta última a veces se la denomina amplitud delta y se escribe como Δ( φ ) = dn u . A veces, la literatura también hace referencia al parámetro complementario , al módulo complementario o al ángulo modular complementario . Estos se definen con más detalle en el artículo sobre los cuartos de período .

En esta notación, el uso de una barra vertical como delimitador indica que el argumento que le sigue es el "parámetro" (tal como se definió anteriormente), mientras que la barra invertida indica que es el ángulo modular. El uso de un punto y coma implica que el argumento que lo precede es el seno de la amplitud: Este uso potencialmente confuso de diferentes delimitadores de argumentos es tradicional en las integrales elípticas y gran parte de la notación es compatible con la utilizada en el libro de referencia de Abramowitz y Stegun y la utilizada en las tablas de integrales de Gradshteyn y Ryzhik .

Existen otras convenciones para la notación de integrales elípticas empleadas en la literatura. La notación con argumentos intercambiados, F ( k , φ ) , se encuentra a menudo; y de manera similar E ( k , φ ) para la integral de segundo tipo. Abramowitz y Stegun sustituyen la integral de primer tipo, F ( φ , k ) , por el argumento φ en su definición de las integrales de segundo y tercer tipo, a menos que este argumento esté seguido por una barra vertical: es decir, E ( F ( φ , k ) | k 2 ) por E ( φ | k 2 ) . Además, sus integrales completas emplean el parámetro k 2 como argumento en lugar del módulo k , es decir, K ( k 2 ) en lugar de K ( k ) . Y la integral del tercer tipo definida por Gradshteyn y Ryzhik , Π( φ , n , k ) , pone en primer lugar la amplitud φ y no la "característica" n .

Por lo tanto, hay que tener cuidado con la notación al utilizar estas funciones, ya que varias referencias y paquetes de software de confianza utilizan diferentes convenciones en las definiciones de las funciones elípticas. Por ejemplo, el software Mathematica de Wolfram y Wolfram Alpha definen la integral elíptica completa de primera clase en términos del parámetro m , en lugar del módulo elíptico k .

Integral elíptica incompleta de primer tipo

La integral elíptica incompleta de primer tipo F se define como

Esta es la forma trigonométrica de Legendre de la integral elíptica; sustituyendo t = sen θ y x = sen φ , se obtiene la forma algebraica de Jacobi:

De manera equivalente, en términos de amplitud y ángulo modular se tiene:

Con x = sn( u , k ) se tiene: demostrando que esta función elíptica jacobiana es una inversa simple de la integral elíptica incompleta de primer tipo.

La integral elíptica incompleta de primer tipo tiene el siguiente teorema de adición [ cita requerida ] :

El módulo elíptico se puede transformar de la siguiente manera:

Integral elíptica incompleta de segundo tipo

La integral elíptica incompleta de segundo tipo E en la forma trigonométrica de Legendre es

Sustituyendo t = sen θ y x = sen φ , se obtiene la forma algebraica de Jacobi:

De manera equivalente, en términos de amplitud y ángulo modular:

Las relaciones con las funciones elípticas de Jacobi incluyen

La longitud del arco meridiano desde el ecuador hasta la latitud φ se escribe en términos de E : donde a es el semieje mayor y e es la excentricidad .

La integral elíptica incompleta de segundo tipo tiene el siguiente teorema de adición [ cita requerida ] :

El módulo elíptico se puede transformar de la siguiente manera:

Integral elíptica incompleta de tercer tipo

La integral elíptica incompleta de tercer tipo Π es

o

El número n se llama característica y puede tomar cualquier valor, independientemente de los demás argumentos. Sin embargo, tenga en cuenta que el valor Π(1; π/2 | m ) es infinito, para cualquier m .

Una relación con las funciones elípticas jacobianas es

La longitud del arco meridiano desde el ecuador hasta la latitud φ también está relacionada con un caso especial de Π :

Integral elíptica completa de primer tipo

Gráfica de la integral elíptica completa de primer tipo K ( k )

Se dice que las integrales elípticas son 'completas' cuando la amplitud φ = π/2 y por lo tanto x = 1. La integral elíptica completa de primer tipo K puede definirse así como o de manera más compacta en términos de la integral incompleta de primer tipo como

Puede expresarse como una serie de potencias.

donde P n son los polinomios de Legendre , lo que es equivalente a

donde n !! denota el factorial doble . En términos de la función hipergeométrica de Gauss , la integral elíptica completa de primera especie se puede expresar como

La integral elíptica completa de primera especie se denomina a veces cuarto de período . Se puede calcular de manera muy eficiente en términos de la media aritmético-geométrica : [1]

Por lo tanto, el módulo se puede transformar como:

Esta expresión es válida para todos y 0 ≤ k ≤ 1 :

Relación con la función gamma

Si k 2 = λ ( i r ) y (donde λ es la función lambda modular ), entonces K ( k ) es expresable en forma cerrada en términos de la función gamma . [2] Por ejemplo, r = 2 , r = 3 y r = 7 dan, respectivamente, [3]

y

y

De manera más general, la condición de que esté en un campo cuadrático imaginario [nota 1] es suficiente. [4] [5] Por ejemplo, si k = e 5 πi /6 , entonces yoK /K = e 2 πi /3 y [6]

Expresiones asintóticas

Esta aproximación tiene una precisión relativa mejor que3 × 10 −4 para k < 1/2 . Mantener solo los dos primeros términos es correcto con una precisión de 0,01 para k < 1/2 . [ cita requerida ]

Ecuación diferencial

La ecuación diferencial para la integral elíptica de primer tipo es

Una segunda solución a esta ecuación es . Esta solución satisface la relación

Fracción continua

Una expansión de fracción continua es: [7] donde el nombre está en su definición.

Invertir la razón del período

Aquí, en cambio, utilizamos la integral elíptica completa de primera especie con el parámetro , porque la función de elevación al cuadrado introduce problemas al invertir en el plano complejo. Así que sea

y dejar

sean las funciones theta .

La ecuación

puede entonces resolverse (siempre que exista una solución) mediante

que es de hecho la función lambda modular .

Para efectos de cálculo, el análisis de errores viene dado por [8]

donde y .

También

dónde .

Integral elíptica completa de segundo tipo

Gráfica de la integral elíptica completa de segundo tipo E ( k )

La integral elíptica completa de segundo tipo E se define como

o de manera más compacta en términos de la integral incompleta de segundo tipo E ( φ , k ) como

Para una elipse con semieje mayor a y semieje menor b y excentricidad e = 1 − b 2 / a 2 , la integral elíptica completa de segunda especie E ( e ) es igual a un cuarto de la circunferencia C de la elipse medida en unidades del semieje mayor a . En otras palabras:

La integral elíptica completa de segundo tipo se puede expresar como una serie de potencias [9]

que es equivalente a

En términos de la función hipergeométrica de Gauss , la integral elíptica completa de segundo tipo se puede expresar como

El módulo se puede transformar de esta manera:

Cálculo

Al igual que la integral del primer tipo, la integral elíptica completa del segundo tipo se puede calcular de manera muy eficiente utilizando la media aritmético-geométrica . [1]

Definir las sucesiones a n y g n , donde a 0 = 1 , g 0 = 1 − k 2 = k y las relaciones de recurrencia a n + 1 = un + g n/2 , g n + 1 = a n g n se cumple. Además, defina

Por definición,

También

Entonces

En la práctica, la media aritmético-geométrica se calcularía simplemente hasta cierto límite. Esta fórmula converge cuadráticamente para todos los | k | ≤ 1 . Para acelerar aún más el cálculo, la relación c n + 1 = c- n- 2/4 a n + 1 se puede utilizar.

Además, si k 2 = λ ( i r ) y (donde λ es la función lambda modular ), entonces E ( k ) se puede expresar en forma cerrada en términos de y, por lo tanto, se puede calcular sin la necesidad del término de suma infinita. Por ejemplo, r = 1 , r = 3 y r = 7 dan, respectivamente, [10]

y

y

Derivada y ecuación diferencial

Una segunda solución para esta ecuación es E ( 1 − k 2 ) − K ( 1 − k 2 ) .

Integral elíptica completa de tercer tipo

Gráfico de la integral elíptica completa de tercer tipo Π( n , k ) con varios valores fijos de n

La integral elíptica completa de tercer tipo Π se puede definir como

Nótese que a veces la integral elíptica de tercer tipo se define con un signo inverso para la característica n ,

Al igual que las integrales elípticas completas de primer y segundo tipo, la integral elíptica completa de tercer tipo se puede calcular de manera muy eficiente utilizando la media aritmético-geométrica. [1]

Derivadas parciales

Función zeta de Jacobi

En 1829, Jacobi definió la función zeta de Jacobi : Es periódica en con un período mínimo . Está relacionada con la función zn de Jacobi por . En la literatura (por ejemplo, Whittaker y Watson (1927)), a veces significa . Algunos autores (por ejemplo, King (1924)) usan tanto para .

Relación de Legendre

La relación de Legendre o identidad de Legendre muestra la relación de las integrales K y E de un módulo elíptico y su contraparte anti-relacionada [11] [12] en una ecuación integral de segundo grado:

Para dos módulos que son contrapartes pitagóricas entre sí, esta relación es válida:

Por ejemplo:

Y para dos módulos que son contrapartes tangenciales entre sí, es válida la siguiente relación:

Por ejemplo:

La relación de Legendre para contrapartes modulares tangenciales resulta directamente de la identidad de Legendre para contrapartes modulares pitagóricas utilizando la transformación modular de Landen en el contramódulo pitagórico.

Identidad especial para el caso lemniscático

Para el caso lemniscático, el módulo elíptico o excentricidad específica ε es igual a la mitad de la raíz cuadrada de dos. La identidad de Legendre para el caso lemniscático se puede demostrar de la siguiente manera:

Según la regla de la cadena, estas derivadas se cumplen:

Utilizando el Teorema fundamental del cálculo se pueden generar estas fórmulas:

La combinación lineal de las dos integrales ahora mencionadas conduce a la siguiente fórmula:

Al formar la antiderivada original relacionada con x a partir de la función que ahora se muestra usando la regla del producto, se obtiene esta fórmula:

Si el valor se inserta en esta identidad integral, entonces surge la siguiente identidad:

Así aparece este extracto lemniscático de la identidad de Legendre:

Generalización para el caso general

Ahora se resuelve el caso general modular [13] [14] . Para ello, se derivan las derivadas de las integrales elípticas completas después del módulo y luego se combinan. A continuación, se determina el equilibrio de identidad de Legendre.

Porque la derivada de la función círculo es el producto negativo de la función de aplicación idéntica y el recíproco de la función círculo:

Estas son las derivadas de K y E que se muestran en este artículo en las secciones anteriores:

En combinación con la derivada de la función círculo estas derivadas son válidas entonces:

La identidad de Legendre incluye productos de dos integrales elípticas completas cualesquiera. Para la derivación del lado de la función a partir de la escala de la ecuación de la identidad de Legendre, ahora se aplica la regla del producto en lo siguiente:

De estas tres ecuaciones, sumando las dos ecuaciones superiores y restando la ecuación inferior se obtiene este resultado:

En relación a la ecuación el equilibrio da constantemente el valor cero.

El resultado previamente determinado se combinará con la ecuación de Legendre para obtener el módulo que se calcula en la sección anterior:

La combinación de las dos últimas fórmulas da el siguiente resultado:

Porque si la derivada de una función continua toma constantemente el valor cero, entonces la función en cuestión es una función constante. Esto significa que esta función da como resultado el mismo valor de función para cada valor de abscisa y, por lo tanto, el gráfico de la función asociada es una línea recta horizontal.

Véase también

Referencias

Notas

Referencias

  1. ^abc Carlson 2010, 19.8.
  2. ^ Borwein, Jonathan M.; Borwein, Peter B. (1987). Pi y el AGM: un estudio sobre teoría analítica de números y complejidad computacional (Primera edición). Wiley-Interscience. ISBN 0-471-83138-7.pág. 296
  3. ^ Borwein, Jonathan M.; Borwein, Peter B. (1987). Pi y el AGM: un estudio sobre teoría analítica de números y complejidad computacional (Primera edición). Wiley-Interscience. ISBN 0-471-83138-7.pág. 298
  4. ^ Chowla, S.; Selberg, A. (1949). "Sobre la función zeta de Epstein (I)". Actas de la Academia Nacional de Ciencias . 35 (7): 373. Bibcode :1949PNAS...35..371C. doi :10.1073/PNAS.35.7.371. PMC 1063041 . PMID  16588908. S2CID  45071481. 
  5. ^ Chowla, S.; Selberg, A. (1967). "Sobre la función Zeta de Epstein". Journal für die Reine und Angewandte Mathematik . 227 : 86-110.
  6. ^ "Integrales elípticas de Legendre (Entrada 175b7a)".
  7. ^ N. Bagis, L. Glasser. (2015) "Evaluaciones de una fracción continua de Ramanujan". Rend. Sem. Mat. Univ. Padova, Vol. 133 pp 1-10
  8. ^ "Aproximaciones de funciones theta de Jacobi". El grimorio de las funciones matemáticas . Fredrik Johansson . Consultado el 29 de agosto de 2024 .
  9. ^ "Integral elíptica completa de segundo tipo: Representaciones en series (Fórmula 08.01.06.0002)".
  10. ^ Borwein, Jonathan M.; Borwein, Peter B. (1987). Pi y el AGM: un estudio sobre teoría analítica de números y complejidad computacional (Primera edición). Wiley-Interscience. ISBN 0-471-83138-7.pág. 26, 161
  11. ^ "Legendre-Relation" (en alemán) . Consultado el 29 de noviembre de 2022 .
  12. ^ "Relación legendaria" . Consultado el 29 de noviembre de 2022 .
  13. ^ "integración - Demostración de la relación de Legendres para curvas elípticas" . Consultado el 10 de febrero de 2023 .
  14. ^ Internet Archive (1991), Paul Halmos celebrando 50 años de matemáticas, Nueva York: Springer-Verlag, ISBN 0-387-97509-8, consultado el 10 de febrero de 2023

Fuentes

Enlaces externos