以下の定積分をそれぞれ、第一種、第二種、第三種の楕円積分(だえんせきぶん、英: elliptic integral)という。ただし、
である。
![{\displaystyle {\begin{aligned}F(x,k)&=\int _{0}^{x}{\frac {dt}{\sqrt {(1-t^{2})(1-k^{2}t^{2})}}}\\E(x,k)&=\int _{0}^{x}{\sqrt {\frac {1-k^{2}t^{2}}{1-t^{2}}}}~dt\\\Pi (a;x,k)&=\int _{0}^{x}{\frac {dt}{(1-at^{2}){\sqrt {(1-t^{2})(1-k^{2}t^{2})}}}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4cf4c35f7fca87dd082a13ebbc73ab29a1ebab4e)
定数
を母数(modulus)、
を特性(characteristic)という。母数
の代わりにパラメーター
、あるいはモジュラー角
を用いることもあり、慣れない人を混乱させる種になっている。日本語の場合は、特性
を助変数(通常はparameterの訳語)と称することもあるので更に注意が必要である。
楕円の弧長など、三次式、或いは四次式の平方根の積分や五次以上の高次方程式は楕円積分に帰着し、初等的に求まらないことが知られている。
最初に示したものはヤコービの標準形であるが、ヤコービの標準形において積分変数
と置けば(置換積分)幾らか簡単なルジャンドルの標準形が得られる[1]。
![{\displaystyle {\begin{aligned}F(\varphi ,k)&=\int _{0}^{\varphi }{\frac {d\theta }{\sqrt {1-k^{2}\sin ^{2}\theta }}}\\E(\varphi ,k)&=\int _{0}^{\varphi }{\sqrt {1-k^{2}\sin ^{2}\theta }}~d\theta \\\Pi (a;\varphi ,k)&=\int _{0}^{\varphi }{\frac {d\theta }{(1-a\sin ^{2}\theta ){\sqrt {1-k^{2}\sin ^{2}\theta }}}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6de96c895ee3fc1e93449121285fde06fff040e)
の場合は逆三角関数に、
の場合は逆双曲線関数になる[2]。
![{\displaystyle {\begin{aligned}F(x,0)&=\int _{0}^{x}{{\frac {1}{\sqrt {1-t^{2}}}}dt}=\int _{0}^{\sin ^{-1}x}{\frac {1}{\sqrt {1-\sin ^{2}\theta }}}(\sin \theta )'d\theta =\sin ^{-1}x\\F(x,1)&=\int _{0}^{x}{{\frac {1}{1-t^{2}}}dt}=\int _{0}^{\tanh ^{-1}x}{\frac {1}{1-\tanh ^{2}\theta }}(\tanh \theta )'d\theta =\tanh ^{-1}x\\E(x,0)&=\int _{0}^{x}{{\frac {1}{\sqrt {1-t^{2}}}}dt}=F(x,0)=\sin ^{-1}x\\E(x,1)&=\int _{0}^{x}{dt}=x\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8131ecbb6deec06490d90f0e0646b8ce649683e9)
![{\displaystyle {\begin{aligned}F(\varphi ,0)&=E(\varphi ,0)=\varphi \\F(\varphi ,1)&=\sin \varphi \\E(\varphi ,1)&=\operatorname {gd} ^{-1}\varphi \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/77c2cde98e9daf86566a5b5ce7ac12ef377fa156)
ただし、
は逆グーデルマン関数である。また特に
のとき、第三種楕円積分は第二種楕円積分で表すことができて、
![{\displaystyle \Pi (k^{2};\varphi ,k)={\frac {1}{1-k^{2}}}\left\{E(\varphi ,k)-{\frac {k^{2}\sin 2\varphi }{2{\sqrt {1-k^{2}\sin ^{2}\varphi }}}}\right\}={\frac {1}{1-k^{2}}}\left\{E(\varphi ,k)+{\frac {d^{2}}{d\varphi ^{2}}}E(\varphi ,k)\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b03e78ba3caa20041a9bf7818c499da07a6ac97)
となる。
第一種完全楕円積分は、ルジャンドルの標準形における第一種楕円積分の積分範囲を
までとしたものである[3]。
![{\displaystyle K(k)=F\left({\frac {\pi }{2}},k\right)=\int _{0}^{\pi /2}{\frac {1}{\sqrt {1-k^{2}\sin ^{2}\theta }}}d\theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/facb35b4349309e1cd6f6cda4ef149d29224d787)
のテイラー級数に展開した後、ウォリスの公式を用いて項別に積分すると
![{\displaystyle {\begin{aligned}K(k)&=\int _{0}^{\pi /2}{\left(1-k^{2}\sin ^{2}\theta \right)^{-{\frac {1}{2}}}}d\theta \\&=\int _{0}^{\pi /2}{\left(1+\sum _{n=1}^{\infty }{{\frac {(2n-1)!!}{2^{n}}}{\frac {(k^{2}\sin ^{2}\theta )^{n}}{n!}}}\right)}d\theta \\&={\frac {\pi }{2}}+\sum _{n=1}^{\infty }{{\frac {(2n-1)!!}{(2n)!!}}k^{2n}\int _{0}^{\pi /2}{\sin ^{2n}\theta }d\theta }\\&={\frac {\pi }{2}}+\sum _{n=1}^{\infty }{{\frac {(2n-1)!!}{(2n)!!}}k^{2n}{\frac {(2n-1)!!}{(2n)!!}}{\frac {\pi }{2}}}\\&={\frac {\pi }{2}}\left(1+\sum _{n=1}^{\infty }{\left({\frac {(2n-1)!!}{(2n)!!}}\right)^{2}k^{2n}}\right)\\&={\frac {\pi }{2}}\sum _{n=0}^{\infty }{\left({\frac {(2n-1)!!}{(2n)!!}}\right)^{2}k^{2n}}\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c187e46fca3285c1baf44c3b9cb39f35e07f756)
となる。ただし、
[4]と定義する。
第二種完全楕円積分は、ルジャンドルの標準形における第二種楕円積分の積分範囲を
までとしたものである[5]。
のテイラー級数に展開した後、ウォリスの公式を用いて項別に積分すると
となる。ただし、
と定義する。
次の恒等式をルジャンドルの関係式という。
次の恒等式をランデン変換という。
次の恒等式をガウス変換という。
楕円
の弧長は、
となる。離心率
を用いれば、上式は、
となり、第二種楕円積分が現れる。 したがって、楕円の円周上で
座標が
の点から
座標が
の点までの弧長は
となる。 ここで
とすれば楕円は真円になり、弧長は
となる(ここでは
が
軸の方向になっていることに注意すること。)。
- ^ ルジャンドルの標準形のφとヤコービの標準形のxとの間には、
の関係がある。詳しくは置換積分を参照。 実際に置換積分を行う際には、
より
、
となり、
と変形されることに留意せよ。 - ^ 第二種楕円積分では、k=1と置くと双曲線関数でもない一次式のxとなる。
- ^ ヤコービの標準形においては、積分範囲はt=1までとなる。
- ^ 詳しくは二重階乗の記事を参照。
- ^ ヤコービの標準形においては、積分範囲はt=1までとなる。
- 森口繁一・宇田川銈久・一松信『岩波 数学公式I 微分積分・平面曲線』(新装版)岩波書店、1987年、140-151頁。ISBN 978-4000055079。
- 竹内端三「楕円函数論」岩波全書(1936年5月15日)、ISBN 978-4-000213271.
- Cody, W. J.: "Chebyshev approximations for the elliptic integrals K and E", Math. Comp., vol.19, pp.105-112 (1965).
- Roland Bulirsch: "Numerical calculation of elliptic integrals and elliptic functions", Numer.Math.,vol.7, pp.78–90 (1965).
- Toshio Fukushima: "Fast computation of complete elliptic integrals and Jacobian elliptic functions", Celest Mech Dyn Astr, vol.105, pp.305328 (2009).
- Fredrik Johansson: "Numerical Evaluation of Elliptic Functions, Elliptic Integrals and Modular Forms" (2018).