Az elliptikus integrál fogalma onnan ered, hogy eredetileg egy ellipszis ívhosszának a problémáját vizsgálták; ezzel Giulio Fagnano és Leonhard Euler matematikusok foglalkoztak először.
Az elliptikus integrált f függvényként, a következőképpen definiálják:
ahol R egy racionális függvény két argumentummal, P egy 3-ad- vagy 4-edrendű polinom, és c egy konstans.
Általában az elliptikus integrált nem lehet elemi függvényekkel kifejezni.
Ez alól kivétel, ha P ismétlődő gyökökkel rendelkezik, vagy ha R(x,y) nem tartalmazza y páratlan hatványait.
Megfelelő redukciós képlettel, minden elliptikus integrál olyan formába hozható, amelyekben racionális függvényeket tartalmazó integrálok vannak, és Legendre kanonikus képlete.
A Legendre-képlet mellett, az elliptikus integrál kifejezhető Carlson szimmetrikus formájában is.
Történetileg az elliptikus függvényt az elliptikus integrál inverz függvényeként fedezték fel.
Az elliptikus integrál két argumentum függvénye. Ezeket az argumentumokat sokféle teljesen ekvivalens módon lehet kifejezni, (mind ugyanazt az elliptikus integrált jelöli).
Az egyik argumentum kifejezése:
- α, a moduláris szög
- k = sin α, az elliptikus modulus, vagy excentricitás;
- m = k2 = sin2α, a paraméter.
Bármely fenti mennyiség teljes mértékben meghatározza bármely másik kettőt (feltéve, ha azok nem negatívak).
Így ezek felcserélhetők, vagylagosan alkalmazhatok.
A másik argumentum, az amplitudó, φ, vagy x vagy u, ahol x = sin φ = sn u és sn az egyik Jacobi-féle elliptikus függvény.
Bármely mennyiség értékének specifikálása, meghatározza a többit.
u is függ m -től.
További összefüggések:
.
Az utóbbit néha delta amplitudónak is hívják, és Δ(φ)= dn u-nek írják.
Az elsőfajú inkomplett elliptikus integrál, F definíciója:
.
Ez az integrál trigonometrikus formája; behelyettesítve a
-t, megkapjuk a Jacobi-féle képletet:
.
Ezzel egyenlő, amplitudóval, és moduláris szöggel kifejezve:
.
Jelölésünkben, a függőleges vonal, mint delimiter, jelzi, hogy a következő argumentum a “paraméter”, míg a visszaper-karakter jelzi, hogy ez a moduláris szög.
A pontos vessző jelzi, hogy az előző argumentum, az amplitudó szinusza:
.
-nel kapjuk:
;
azaz, a Jacobi-féle elliptikus függvények az elliptikus integrálok inverzei.
A másodfajú inkomplett elliptikus integrál, E trigonometrikus képlettel:
.
Behelyettesítve a
egyenleteket, kapjuk a Jacobi képletet:
.
Ezzel egyenlő, az amplitudóval, és moduláris szöggel kifejezett képlet:
.
A harmadfajú inkomplett elliptikus integrál, Π:
, vagy
![{\displaystyle \Pi (n;\varphi \,|\,m)=\int _{0}^{\sin \varphi }{\frac {1}{1-nt^{2}}}{\frac {dt}{\sqrt {(1-mt^{2})(1-t^{2})}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65d0d55ca4e07b0db68e26bbf11c5dc92b51492b)
Az n számot karakterisztikának hívják, és bármely értéket felvehet, függetlenül a többi argumentumtól,
Figyeljük meg, hogy
értéke végtelen, bármely m-re.
Kapcsolat a Jacobi-féle elliptikus függvényekkel:
.
Elliptikus integrálra akkor mondjuk, hogy “komplett”, ha az amplitudó φ=π/2 és ezért x=1.
Elsőfajú komplett elliptikus integrál, K definíciója:
,
![{\displaystyle K(0)={\tfrac {\pi }{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0aacaad63b80d8eacf0db938f4dbcf9497302d16)
![{\displaystyle K(1)=\infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/237b6af5cb58a0d5f69f2cdb394a6d3a8ff30826)
![{\displaystyle K\left({\tfrac {\sqrt {2}}{2}}\right)={\tfrac {1}{4{\sqrt {\pi }}}}\;\Gamma \left({\tfrac {1}{4}}\right)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/40a9d9910161f3c32a1f5dbc71b77def79866496)
![{\displaystyle K\left({\tfrac {1}{4}}({\sqrt {6}}-{\sqrt {2}})\right)=2^{-{\frac {7}{3}}}3^{\frac {1}{4}}\pi ^{-1}\Gamma \left({\tfrac {1}{3}}\right)^{3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad585a6756c756196ff81dce39278c1cafd82547)
![{\displaystyle K\left({\tfrac {1}{4}}({\sqrt {6}}+{\sqrt {2}})\right)=2^{-{\frac {7}{3}}}3^{\frac {3}{4}}\pi ^{-1}\Gamma \left({\tfrac {1}{3}}\right)^{3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51e4998b52b01e525bb107ef9264aff297c9f9db)
![{\displaystyle K(k)={\frac {\pi }{2}}\theta _{3}^{2}(q),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e911e514b2b3339e3263d47dc3e19fa7c1a20824)
ahol q egy speciális függvény:
.
![{\displaystyle K(k)\approx {\frac {\pi }{2}}+{\frac {\pi }{8}}{\frac {k^{2}}{1-k^{2}}}-{\frac {\pi }{16}}{\frac {k^{4}}{1-k^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c801b373aaf8ecec0b4bd1721a3162b52431832a)
Ennek a közelítésnek a relatív pontossága jobb, mint 3×10−4 k < 1/2 esetében.
![{\displaystyle {\frac {\mathrm {d} K(k)}{\mathrm {d} k}}={\frac {E(k)}{k(1-k^{2})}}-{\frac {K(k)}{k}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a8e49bd4fa6da077972b567d3f840fa8e8883f2)
![{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} k}}\left[k(1-k^{2}){\frac {\mathrm {d} K(k)}{\mathrm {d} k}}\right]=kK(k)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/db809432b43a7c3f41a1e3de08ff3462a8d05eb0)
A másodfajú komplett elliptikus integrál, E írja le az ellipszis kerületét.
Definíció:
,
vagy:
.
Hatványsorral is kifejezhető:
,
mely ekvivalens:
.
A Gaussi hipergeometrikus függvény kifejezéseivel:
.
![{\displaystyle E(0)={\tfrac {\pi }{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fbada20c28e3aabd59d3fc27c511fc4ceff43d13)
![{\displaystyle E(1)=1\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7705eb281c27feac59fe9329b98a61773473751f)
![{\displaystyle E\left({\tfrac {\sqrt {2}}{2}}\right)=\pi ^{\frac {3}{2}}\Gamma \left({\tfrac {1}{4}}\right)^{-2}+{\tfrac {1}{8{\sqrt {\pi }}}}\Gamma \left({\tfrac {1}{4}}\right)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe7dd113930edc215e8d29f9ddbdbd30fa7fb387)
![{\displaystyle E\left({\tfrac {1}{4}}({\sqrt {6}}-{\sqrt {2}})\right)=2^{\frac {1}{3}}3^{-{\frac {3}{4}}}\pi ^{2}\Gamma \left({\tfrac {1}{3}}\right)^{-3}+2^{-{\frac {10}{3}}}3^{-{\frac {1}{4}}}\pi ^{-1}({\sqrt {3}}+1)\Gamma \left({\tfrac {1}{3}}\right)^{3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b8b7e19a737c8e642e7400a52b24eb2ae522b57)
![{\displaystyle E\left({\tfrac {1}{4}}({\sqrt {6}}+{\sqrt {2}})\right)=2^{\frac {1}{3}}3^{-{\frac {1}{4}}}\pi ^{2}\Gamma \left({\tfrac {1}{3}}\right)^{-3}+2^{-{\frac {10}{3}}}3^{\frac {1}{4}}\pi ^{-1}({\sqrt {3}}-1)\Gamma \left({\tfrac {1}{3}}\right)^{3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/571f380961ee192df8a0fa7be1c97f4dfd65d1a3)
![{\displaystyle {\frac {\mathrm {d} E(k)}{\mathrm {d} k}}={\frac {E(k)-K(k)}{k}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d5b30f9e28ded7fa6d53dc6ba195584d6a411f2)
![{\displaystyle (k^{2}-1){\frac {\mathrm {d} }{\mathrm {d} k}}\left[k\;{\frac {\mathrm {d} E(k)}{\mathrm {d} k}}\right]=kE(k)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/14259fc7b0318212f66c2b207276f8f26d5934e3)
A harmadfajú komplett elliptikus integrál, Π, melynek definíciója:
![{\displaystyle \Pi (n,k)=\int _{0}^{\pi /2}{\frac {d\theta }{(1-n\sin ^{2}\theta ){\sqrt {1-k^{2}\sin ^{2}\theta }}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/36857f9405220abd2272d67bc1949be0b4c5b4da)
Megjegyezzük,hogy néha a harmadfajú komplett elliptikus integrál definiálása az n karakterisztika inverz jelével történik,
.
![{\displaystyle {\frac {\partial \Pi (n,k)}{\partial n}}={\frac {1}{2(k^{2}-n)(n-1)}}\left(E(k)+{\frac {1}{n}}(k^{2}-n)K(k)+{\frac {1}{n}}(n^{2}-k^{2})\Pi (n,k)\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7b9ffddaccf8ba7282c0996e0da966d51617947)
![{\displaystyle {\frac {\partial \Pi (n,k)}{\partial k}}={\frac {k}{n-k^{2}}}\left({\frac {E(k)}{k^{2}-1}}+\Pi (n,k)\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b5cb1e0a767977afef946eba082658168c7496b2)
Kapcsolat a Legendre-függvénnyel:
.
- Harris Hancock: Lectures on the theory of Elliptic functions. (hely nélkül): New York, J. Wiley & sons. 1910.
- Carlson, B.C: "Elliptic integral". (hely nélkül): ., NIST Handbook of Mathematical Functions. 2010.