Integral elíptica de tercera especie

En cálculo, una integral elíptica es una función ${displaystyle f}$ de la forma

donde ${displaystyle R}$ es una función racional, ${displaystyle P}$ es un polinomio sin raíces repetidas y ${displaystyle cin mathbb {R} }$.

La denominación integral elíptica parte de los primeros problemas donde tuvieron lugar estas integrales, relacionados con el cálculo de la longitud de segmentos de elipse.

Las integrales elípticas pueden verse como generalizaciones de las funciones trigonométricas inversas. Las integrales elípticas proporcionan soluciones a una clase de problemas algo más amplia que las funciones trigonométricas inversas elementales, por ejemplo el cálculo de la longitud de arco de una circunferencia solo requiere de las funciones trigonométricas inversas, pero el cálculo de la longitud de arco de una elipse requiere de integrales elípticas. Otro buen ejemplo es el péndulo, cuyo movimiento para pequeñas oscilaciones puede representarse por funciones trigonométricas, pero para oscilaciones más grandes requiere el uso de funciones elípticas basadas en las integrales elípticas.

Todas las integrales elípticas del tipo anterior pueden ser reescritas en términos en forma de suma de funciones elementales y tres tipos "básicos" de integrales elípticas (llamados de primera especie, de segunda especie y de tercera especie). Para ver esto escribamos la integral elíptica en la forma:

Donde ${displaystyle w}$ es una función de ${displaystyle x}$, tal que ${displaystyle w^{2}}$ es un polinomio de tercer o cuarto grado, que contiene al menos una potencia impar de ${displaystyle x}$.^[1]​

Una integral elíptica de primera especie es un caso particular de la integral elíptica. Existen integrales elípticas de primera especie, completas e incompletas. Las primeras dependen de una sola variable y las segundas dependen de dos variables.

La integral elíptica completa de primera especie ${displaystyle K}$ se define como:

y puede expresarse como una serie de potencias como

donde ${displaystyle P_{n}}$ es el polinomio de Legendre, la expresión anterior es equivalente a

donde ${displaystyle n!!}$ denota el doble factorial.

La ecuación diferencial para la integral elíptica de primera especie es

Una segunda solución para esta ecuación es ${displaystyle Kleft(1-x^{2} ight)}$, esta solución satisface la relación

La integral elíptica incompleta de primera especie F se define como:

En este caso el parámetro ${displaystyle varphi =operatorname {am} (u)}$ se llama "amplitud" y si se toma x como un parámetro. Esta "amplitud" viene dada por la inversa de la función anterior F. Las funciones elípticas de Jacobi se definen a partir de esta amplitud.

La transformación de Landen permite expresar integrales elípticas incompletas de un parámetro en integrales elípticas de otro parámetro diferente. Puede probarse que si definimos una nueva amplitud φ₁ y una nuevo parámetro k₁, relacionadas con la antigua amplitud φ y el antiguo parámetro k mediante:

Entonces existe una relación simple entre las integrales elípticas incompletas asociadas a los parámetros (k₁,φ₁) y (k,φ) dada por:

Este resultado puede aplicarse iterativamente para calcular las integrales elípticas incompletas en términos de funciones elementales y límites. Si definimos las sucesiones:

Entonces tenemos que:

Donde:

Una Integral elíptica de segunda especie es un caso particular de la integral elíptica.

La integral elíptica completa de segunda especie ${displaystyle E}$ se define como:

La integral elíptica de segunda especie puede expresarse como la serie de potencias

que es equivalente a

La integral elíptica incompleta de segunda especie es una función de dos variables que generaliza a la integral completa:

Una integral elíptica de tercera especie es un caso particular de la integral elíptica. Sea ${displaystyle 0<k^{2}<1}$, la integral elíptica completa de tercera especie se define como:

donde ${displaystyle n}$ es una constante.

Las integrales elípticas de tercera especie aparecen de modo natural en la integración de las ecuaciones de movimiento de un péndulo esférico.

---