Elipsa integralo

Elipsaj integraloj estas ofte esprimita kiel funkcioj de diversaĵo de malsamaj argumentoj. Ĉi tiuj malsamaj argumentoj estas plene ekvivalentaj (ili donas la saman elipsan integralon), sed povas esti konfuzantaj pro iliaj malsamaj aspektoj. Plej tekstoj estas adepto de kanona nomanta projekto. Antaŭ difinanta la integralojn, ni resumas la nom-konvenciojn por la argumentoj:

• k la elipsa modulo
• m=k² la parametro
• ${\displaystyle \alpha }$  la modula angulo, ${\displaystyle k=\sin \alpha }$ 

Notu, ke la pli supre tri estas plene difinitaj unu per la alia; preciziganta unu estas la sama kiel preciziganta alia. La elipsaj integraloj ankaŭ dependos de alia argumento; tiu povas ankaŭ esti precizigita en nombro de malsamaj manieroj:

• ${\displaystyle \phi }$  la amplitudo
• x kie ${\displaystyle x=\sin \phi ={\textrm {sn}}\;u}$ 
• u, kie x=sn u kaj sn estas unu el la Jakobiaj determinantaj elipsaj funkcioj

Precizigi iun ajn el ĉi tiuj difinas la aliajn, kaj tial denove, ĉi tiuj povas esti uzata interŝanĝeble en la notacio. Notu, ke u ankaŭ dependas de m. Iuj aldonaj interrilatoj engaĝante u inkluzivi

${\displaystyle \cos \phi ={\textrm {cn}}\;u}$ 

kaj

${\displaystyle {\sqrt {1-m\sin ^{2}\phi }}={\textrm {dn}}\;u}$ .

La lasta estas iam nomita la delta amplitudo kaj skribita kiel ${\displaystyle \Delta (\phi )={\textrm {dn}}\;u}$ .

Iam la literaturo mencias la komplementan parametron, la komplementan modulon aŭ la komplementan modulan angulon. Ĉi tiuj estas plue difinitaj en la artikolo pri kvarumaj periodoj.

La neplena elipsa integralo de la unua speco F estas difinita, en Jakobia formo, kiel

${\displaystyle F(x;k)=\int _{0}^{x}{\frac {1}{\sqrt {(1-t^{2})(1-k^{2}t^{2})}}}\ dt\,\!}$ 

Ekvivalente, uzante alternativan notacion,

${\displaystyle F(x;k)=F(\phi |m)=F(\phi \setminus \alpha )=\int _{0}^{\phi }{\frac {1}{\sqrt {1-\sin ^{2}\alpha \sin ^{2}\theta }}}\ d\theta \,\!}$ 

kie laŭ onidiroj kiam estas vertikala streko uzita, la argumento post la vertikala streko estas la parametro (kiel difinite pli supre), kaj, kiam deklivo estas uzita, ĝi estas sekvita per la modula angulo. Notu, ke

${\displaystyle F(x;k)=u}$ 

kun u kiel difinite pli supre: tial, la jakobiaj determinantaj elipsaj funkcioj estas inversoj al la elipsaj integraloj.

La neplena elipsa integralo de la dua speco E estas

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

Ekvivalente, uzante alternativan notacion,

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

Aldonaj rilatoj estas

${\displaystyle E(\phi |m)=\int _{0}^{u}{\textrm {dn}}^{2}w\;dw=u-m\int _{0}^{u}{\textrm {sn}}^{2}w\;dw=(1-m)u+m\int _{0}^{u}{\textrm {cn}}^{2}w\;dw}$ 

La nekompleta elipsa integralo de la tria speco ${\displaystyle \Pi }$  estas

${\displaystyle \Pi (n;\phi |m)=\int _{0}^{x}{\frac {1}{1-nt^{2}}}{\frac {1}{\sqrt {(1-k^{2}t^{2})(1-t^{2})}}}\ dt}$ 

aŭ

${\displaystyle \Pi (n;\phi |m)=\int _{0}^{\phi }{\frac {1}{1-n\sin ^{2}\theta }}{\frac {1}{\sqrt {(1-\sin ^{2}\alpha \sin ^{2}\theta )}}}\ d\theta }$ 

aŭ

${\displaystyle \Pi (n;\phi |m)=\int _{0}^{u}{\frac {1}{1-n{\textrm {sn}}^{2}(w|m)}}\;dw}$ 

La nombro n estas nomita la karakterizo kaj povas alpreni ian ajn valoron, sendepende de la aliaj argumentoj. Notu kvankam, ke la valoro ${\displaystyle \Pi (1;\pi /2|m)}$  estas malfinia por ĉiu m.

La plena elipsa integralo de la unua speco K estas difinita kiel

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

kaj povas esti komputita pere de la aritmetiko-geometria meznombro.

Ĝi povas ankaŭ esti kalkulita kiel

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

Aŭ en formo de integralo de sinuso, kiam 0 ≤ k ≤ 1

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

La kompleta elipsa integralo de la unua speco estas iam nomata kiel la kvaruma periodo.

La plena elipsa integralo de la dua speco E estas difinita kiel

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

Aŭ se 0 ≤ k ≤ 1:

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

Historie, elipsaj funkcioj estis esploritaj kiel inversaj funkcioj de elipsaj integraloj, kaj ĉi tiu unu precipe: ni havas F(sn(z;k);k) = z kie sn estas unu el jakobiaj elipsaj funkcioj.

• Formo de Legendre
• Simetria formo de Carlson
• Mapo de Schwarz-Christoffel

• Milton Abramowitz kaj Irene A. Stegun, Gvidlibro de Matematikaj Funkcioj, (1964) Dover Publications, Novjorko. ISBN 486-61272-4 (vidu en ĉapitro 17).
• [1]
• [2]
• [3]