Integrale ellittico

In matematica, e particolarmente nel calcolo integrale, un integrale ellittico è una qualsiasi funzione $f$ che può esprimersi nella forma:

$f(x)=\underset{c}{\overset{x}{\int }}R(t,P(t))dt$

dove $R$ denota una funzione razionale dei suoi due argomenti, $P$ è la radice quadrata di un polinomio in una variabile di grado $3$ o $4$ privo di radici multiple e $c$ è una costante. La funzione $R$ contiene almeno una potenza dispari di $P$, mentre $R^2$ non ha fattori ripetuti.

Il concetto di integrale ellittico è emerso originariamente in connessione con il problema del calcolo della lunghezza degli archi di un'ellisse. I primi ad interessarsene e studiarli sono stati Fagnano ed Eulero.

In generale, gli integrali ellittici non possono essere espressi in termini di funzioni elementari; si hanno eccezioni a questo fatto quando $P$ ha radici ripetute, o quando $R(x,y)$ non contiene potenze dispari di $y$. Comunque, con appropriate riduzioni delle formule ogni integrale ellittico può essere riportato a una forma che coinvolge integrali di funzioni razionali, e le tre forme canoniche: integrali ellittici di prima, seconda e terza specie.

Oltre alle forme sopra definite, gli integrali ellittici possono essere espressi nella forma di Legendre e nella forma simmetrica di Carlson. Ulteriori informazioni nella teoria degli integrali incompleti possono essere ricavate tramite l'utilizzo della trasformazione di Schwarz-Christoffel.

Le funzioni ellittiche sono state scoperte come funzioni inverse degli integrali ellittici, e in particolare la $F$ tale che si abbia $F(\text{sn}(z;k);k)=z$, dove $\text{sn}$ denota una delle funzioni ellittiche di Jacobi.

Notazione

Gli integrali ellittici sono spesso espressi come funzioni di argomenti variamente definiti. Queste rappresentazioni sono completamente equivalenti (danno lo stesso integrale ellittico), ma possono confondere a causa del loro differente aspetto. La maggior parte dei testi utilizza uno schema canonico di nomi degli argomenti:

• $k$ è il modulo ellittico (o eccentricità)
• $m=k^2$ è il parametro
• $\alpha$ è l'angolo modulare, con $k=\sin \alpha$.

Si nota che una volta che si assegna una qualsiasi di queste relazioni, le altre ne sono completamente determinate. Gli integrali ellittici dipendono anche da un altro argomento $\varphi$, ossia l'ampiezza, anche definito come il parametro $u$ dato da $x=\sin \varphi =\text{sn}u$, con $\text{sn}$ una delle funzioni ellittiche di Jacobi.

Alcune relazioni addizionali che coinvolgono $u$ includono:

$\cos \varphi =\text{cn}u\sqrt{1-m{\sin }^2\varphi }=\text{dn}u$

dove la seconda è nota come delta ampiezza, ed è scritta come $\mathrm{\Delta }(\varphi )=\text{dn}u$. A volte in letteratura è chiamata anche modulo complementare.

Integrale ellittico incompleto di prima specie

L'Integrale ellittico incompleto di prima specie $F$ è definito, nella forma di Jacobi, come:

$F(x;k)=\underset{0}{\overset{x}{\int }}\frac{1}{\sqrt{(1-t^2)(1-k^2{t}^2)}}dt$

Equivalentemente, usando una notazione alternativa:

$F(x;k)=F(\varphi |m)=F(\varphi \setminus \alpha )=\underset{0}{\overset{\varphi }{\int }}\frac{1}{\sqrt{1-{\sin }^2\alpha {\sin }^2\theta }}d\theta$

dove si comprende che quando si usa la barra verticale, l'argomento che segue la barra verticale è il parametro (come definito sopra), e quando si usa la barra retroversa l'argomento è il modulo angolare. Si noti che:

$F(x;k)=u$

con $u$ definito come sopra: le funzioni ellittiche di Jacobi sono collegate alle inverse degli integrali ellittici.

Integrale ellittico incompleto di seconda specie

L'integrale ellittico incompleto di seconda specie $E$ è dato da:

$E(x;k)=\underset{0}{\overset{x}{\int }}\frac{\sqrt{1-k^2{t}^2}}{\sqrt{1-t^2}}dt$

In maniera equivalente, usando la notazione alternativa:

$E(x;k)=E(\varphi |m)=E(\varphi \setminus \alpha )=\underset{0}{\overset{\varphi }{\int }}\sqrt{1-{\sin }^2\alpha {\sin }^2\theta }d\theta$

In statistica tale tipologia di integrale può essere utilizzato per rappresentare la lunghezza di curve continue crescenti come la curva di Lorenz (o spezzata di Lorenz) dove $\varphi =1$ e $\theta =({\varphi }_1,{\varphi }_2,\dots ,{\varphi }_n)$ che indica il vettore dei parametri che individua l'elemento particolare nella famiglia di funzioni individuate dallo stesso integrale.

Ulteriori relazioni includono:

$E(\varphi |m)=\underset{0}{\overset{u}{\int }}{\text{dn}}^{2}wdw=u-m\underset{0}{\overset{u}{\int }}{\text{sn}}^{2}wdw=(1-m)u+m\underset{0}{\overset{u}{\int }}{\text{cn}}^{2}wdw$

Integrale ellittico incompleto di terza specie

L'integrale ellittico incompleto di terza specie $\mathrm{\Pi }$ è:

$\mathrm{\Pi }(n;\varphi |m)=\underset{0}{\overset{x}{\int }}\frac{1}{1-n{t}^2}\frac{1}{\sqrt{(1-k^2{t}^2)(1-t^2)}}dt$

oppure:

$\mathrm{\Pi }(n;\varphi |m)=\underset{0}{\overset{\varphi }{\int }}\frac{1}{1-n{\sin }^2\theta }\frac{1}{\sqrt{(1-{\sin }^2\alpha {\sin }^2\theta )}}d\theta$

o anche:

$\mathrm{\Pi }(n;\varphi |m)=\underset{0}{\overset{u}{\int }}\frac{1}{1-n{\text{sn}}^2(w|m)}dw$

Il numero $n$ si chiama caratteristica, e può assumere qualsiasi valore indipendentemente dagli altri argomenti. Si noti che il valore $\mathrm{\Pi }(1;\pi /2|m)$ è infinito per qualsiasi valore di $m$.

Integrale ellittico completo di prima specie

L'integrale ellittico completo di prima specie $K$ è definito come segue:

$K(k)=\underset{0}{\overset{1}{\int }}\frac{1}{\sqrt{(1-t^2)(1-k^2{t}^2)}}dt$

e può essere calcolato in termini di media aritmetica-geometrica.

Può anche essere calcolato con il seguente sviluppo in serie di Taylor:

$K(k)=\frac{\pi }{2}\sum _{n=0}^{\mathrm{\infty }}{k}^{2n}\frac{((2n)!{)}^2}{16^n(n!{)}^4}$

oppure in forma di integrale del seno, quando $0\le k\le 1$

$K(k)=\underset{0}{\overset{\frac{\pi }{2}}{\int }}\frac{d\theta }{\sqrt{1-k^2{\sin }^2\theta }}$

L'integrale ellittico completo di prima specie è chiamato qualche volta in letteratura anglofona quarter period.

Integrale ellittico completo di seconda specie

L'integrale ellittico completo di seconda specie $E$ è definito come:

$E(k)=\underset{0}{\overset{1}{\int }}\frac{\sqrt{1-k^2{t}^2}}{\sqrt{1-t^2}}dt$

Può anche essere calcolato con il seguente sviluppo in serie di Taylor:

$E(k)=\frac{\pi }{2}\sum _{n=0}^{\mathrm{\infty }}(\genfrac{}{}{0ex}{}{\frac{1}{2}}{n})(-1{)}^n{k}^{2n}\frac{(2n-1)!!}{(2n)!!}$

oppure in forma di integrale del seno, quando $0\le k\le 1$:

$E(k)=\underset{0}{\overset{\frac{\pi }{2}}{\int }}\sqrt{1-k^2{\sin }^2\theta }d\theta$

Bibliografia

• Template:En Milton Abramowitz, Irene A. Stegun, Handbook of Mathematical Functions, (1964) Dover Publications, New York. ISBN 0-486-61272-4. Vedi capitolo 17, pp. 587-627.
• Template:En George Greenhill The applications of elliptic functions (London, MacMillan, 1892) (pp. 30–65, pp. 175–253)
• Template:En Harris Hancock Elliptic integrals (New York, J. Wiley, 1917)
• Template:En Louis Vessot King Template:Collegamento interrotto (Cambridge University Press, 1924)
• Template:En B. C. Carlson Three Improvements in Reduction and Computation of Elliptic Integrals Journal of Research of the National Institute of Standards and Technology, '107, P. 413 (2002) (forma simmetrica di Carlson)

Voci correlate

• Funzione ellittica
• Funzione razionale
• Forma di Legendre
• Forma simmetrica di Carlson
• Mappa di Schwarz-Christoffel

Collegamenti esterni

• Template:SpringerEOM
• Template:Collegamenti esterni