Función elíptica lemniscática

Dada una lemniscata de Bernouilli tal que el producto de la distancia a los focos es 1/2, la función seno lemniscático calcula la longitud de la cuerda r a partir de la longitud del arco de la lemniscata s medido desde el origen. Dicho de otra manera, correlaciona la longitud del arco de lemniscata s con la distancia r del punto de la curva al origen.
Cada cuadrante contiene un arco de longitud $\frac{\varpi }{2}$, correspondiente a una cuarta parte de la longitud total de la lemniscata. Los focos están en $(\pm \frac{1}{\sqrt{2}}|0)$

Seno lemniscático sl (negro) y coseno lemniscático cl (azul), comparados con el seno trigonométrico (gris claro), ajustado al período de sl ($si{n}^{*}s=\sin (s\frac{\pi }{\varpi })$)

En matemáticas, una función elíptica lemniscática es un tipo de función elíptica relacionada con la longitud del arco de una lemniscata de Bernoulli, como el seno lemniscático (abreviado sinlemn o $\mathrm{s}\mathrm{l}$) y el coseno lemniscático (abreviado coslemn o $\mathrm{c}\mathrm{l}$). Estas funciones matemáticas especiales, introducidas por el matemático Carl Friedrich Gauss, se corresponden con las funciones seno coseno de una circunferencia. Históricamente, son las dos primeras de las que posteriormente serían conocidas como funciones elípticas.

Historia

El problema de calcular la longitud del arco de la lemniscata de Bernouilli fue estudiado en 1718 por Giulio Carlo de' Toschi di Fagnano. En 1796, el joven Gauss (que entonces contaba con 19 años de edad), también se ocupó de la cuestión de cómo calcular la longitud del arco de lemniscata $s$ comprendido entre el origen de coordenadas y un punto de la curva cuya distancia al origen $r\in (-1,1)$ (según se supo en notas publicadas después de su muerte y en su propio diario). Matemáticamente, esto le llevó a determinar la función inversa $r=r(s)$ de la integral elíptica

$s(r)=\underset{0}{\overset{r}{\int }}\frac{\mathrm{d}\rho }{\sqrt{1-{\rho }^4}}.$

Gauss llamó a esta función inversa sinus lemniscatus y le asignó la notación $\mathrm{s}\mathrm{l}$, por lo que

$r=\mathrm{s}\mathrm{l}s$

En consecuencia, definió el cosine lemniscatus $\mathrm{c}\mathrm{l}s=\mathrm{s}\mathrm{l}(\frac{\varpi }{2}-s)$, donde $\varpi$ es la longitud del perímetro de una de las dos ramas de la lemniscata, es decir

$\varpi =2\underset{0}{\overset{1}{\int }}\frac{\mathrm{d}\rho }{\sqrt{1-{\rho }^4}}\approx 2,622057554292119810464839589891\dots$ Plantilla:OEIS

También advirtió la relación siguiente:

$\varpi =\frac{\pi }{\text{mag}(1,\sqrt{2})}$

siendo $\text{mag}(a,b)$ la media aritmética geométrica de los dos valores dados.

Gauss se guio por la analogía con las funciones circulares para utilizar esta términología, observando que el seno es la función recíproca de la siguiente integral, cuya solución es la función arcoseno:

$s(r)=\underset{0}{\overset{r}{\int }}\frac{\mathrm{d}\rho }{\sqrt{1-{\rho }^2}},\text{y por lo tanto, para una semicircunferencia}{\varpi }_{\text{circ}}=2\underset{0}{\overset{1}{\int }}\frac{\mathrm{d}\rho }{\sqrt{1-{\rho }^2}}=\pi$

y además $r=\sin s$ y $\cos s=\sin (\frac{\pi }{2}-s)$. Su otra idea clave era no solo definir las funciones $\mathrm{s}\mathrm{l}$ y $\mathrm{c}\mathrm{l}$ para los números reales, sino también continuarlas en los números complejos. Más adelante demostró las relaciones de periodicidad

$\mathrm{s}\mathrm{l}(s+2\varpi )=\mathrm{s}\mathrm{l}s,\mathrm{s}\mathrm{l}(s+2\mathrm{i}\varpi )=\mathrm{s}\mathrm{l}s.$

En contraste con el seno trigonométrico, el seno lemniscático $\mathrm{s}\mathrm{l}$ tiene dos períodos $2\varpi$ y $2\mathrm{i}\varpi$, al igual que la función $\mathrm{c}\mathrm{l}$. Las funciones lemniscáticas son elípticas. Carl Gustav Jakob Jacobi introdujo las llamadas funciones elípticas de Jacobi alrededor de 1830, generalizando las dos funciones lemniscáticas.

Funciones elípticas lemniscáticas

Las funciones elípticas lemniscáticas están estrechamente relacionadas con las funciones elípticas de Weierstrass, de las que son un caso particular cuando las invariantes de Weierstrass satisfacen Plantilla:Math y Plantilla:Math.

En el caso lemniscático, el semiperíodo mínimo Plantilla:Math es real e igual a

$\frac{{\mathrm{\Gamma }}^2\left(\frac{1}{4}\right)}{4\sqrt{\pi }}$

donde Plantilla:Math es la función gamma. El segundo semiperíodo, más pequeño, es imaginario puro e igual a Plantilla:Math. En términos más algebraicos, el par fundamental de períodos es un múltiplo real de enteros gaussianos.

Las constantes Plantilla:Math, Plantilla:Math y Plantilla:Math están dadas por

$e_1=\frac{1}{2},e_2=0,e_3=-\frac{1}{2}.$

El caso Plantilla:Math, Plantilla:Math puede ser manejado mediante una transformación de escala. Sin embargo, esto puede involucrar números complejos. Si se desea permanecer dentro de los números reales, hay dos casos a considerar: Plantilla:Math y Plantilla:Math. El paralelogramo de los períodos es un cuadrado o un rombo.

Funciones seno y coseno lemniscáticos

Las funciones seno lemniscático (latín: sinus lemniscatus) y coseno lemniscático (latín: cosinus lemniscatus) (alternativamente, Plantilla:Math o también Plantilla:Math; y Plantilla:Math o también Plantilla:Math) son análogas a las funciones seno y coseno habituales, con un círculo reemplazado por una lemniscata. Están definidas por

$\mathrm{sl}(s)=r$

donde

$s(r)=\underset{0}{\overset{r}{\int }}\frac{d\rho }{\sqrt{1-{\rho }^4}}$

y

$\mathrm{cl}(s)=c$

donde

$s(c)=\underset{c}{\overset{1}{\int }}\frac{d\rho }{\sqrt{1-{\rho }^4}}.$

Son funciones doblemente periódicas (o elípticas) en el plano complejo, con los períodos Plantilla:Math y Plantilla:Math, donde la constante de Gauss Plantilla:Math viene dada por

$G=\frac{2}{\pi }\underset{0}{\overset{1}{\int }}\frac{d\rho }{\sqrt{1-{\rho }^4}}=\frac{\varpi }{\pi }=0.8346\dots .$

Dado que los períodos tienen el mismo módulo y son ortogonales, su retícula compleja es cuadrada.

El coseno lemniscático $\mathrm{c}\mathrm{l}$ se puede deducir directamente del seno lemniscático $\mathrm{s}\mathrm{l}$, dado que $\mathrm{c}\mathrm{l}s=\mathrm{s}\mathrm{l}(\frac{G\pi }{2}-s)$

Longitud de arco de una lemniscata

Existe una relación directa entre las dimensiones de una lemniscata de Bernoulli definida con la constante del producto de distancias Plantilla:Sfrac, es decir, con los focos en Plantilla:Math Plantilla:Math, o lo que es lo mismo, definida para (Plantilla:Math), cuya ecuación implícita es:

${(x^2+y^2)}^2=x^2-y^2$

La longitud Plantilla:Math del arco desde el origen hasta un punto a la distancia Plantilla:Math del origen viene dada por

$s(r)=\underset{0}{\overset{r}{\int }}\frac{d\rho }{\sqrt{1-{\rho }^4}}.$

Para la lemniscata de Bernouilli anteriormente descrita completa, con sus dos lóbulos, se tiene que su longitud total es:

$S=2\varpi =2G\pi =5.244115\dots$

La función seno lemniscático es la recíproca de la integral anterior, y permite calcular para cada punto de la curva su distancia Plantilla:Math desde el origen en función de la longitud de su arco desde el origen Plantilla:Math. De manera similar, la función coseno lemniscático da la distancia desde el origen, en función de la longitud del arco desde (1, 0).

Véase también

• Constante de Gauss

Bibliografía

• Abramowitz, Milton; Stegun, Irene Ann, eds. (1983) [June 1964]. "Chapter 18". Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Applied Mathematics Series. 55 (Ninth reprint with additional corrections of tenth original printing
• Reinhardt, W. P.; Walker, P. L. (2010), "Lemniscate lattice", in Olver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W., NIST Handbook of Mathematical Functions, Cambridge University Press, ISBN 978-0521192255, MR 2723248
• Plantilla:Cite journal
• Siegel, C. L. (1969). "Topics in complex function theory. Vol. I: Elliptic functions and uniformization theory". Interscience Tracts in Pure and Applied Mathematics. 25. New York-London-Sydney: Wiley-Interscience A Division of John Wiley & Sons. ISBN 0-471-60844-0. MR 0257326

Enlaces externos

• Plantilla:MathWorld
• Plantilla:Springer