楕円積分

以下の定積分をそれぞれ、第一種、第二種、第三種の楕円積分（だえんせきぶん、）という。ただし、formula_1である。
定数formula_3を母数（modulus）、formula_4を特性（characteristic）という。母数formula_3の代わりにパラメーターformula_6、あるいはモジュラー角formula_7を用いることもあり、慣れない人を混乱させる種になっている。日本語の場合は、特性formula_4を助変数（通常はparameterの訳語）と称することもあるので更に注意が必要である。
楕円の弧長など、三次式、或いは四次式の平方根の積分や五次以上の高次方程式は楕円積分に帰着し、初等的に求まらないことが知られている。
ルジャンドルの標準形.
最初に示したものはヤコービの標準形であるが、ヤコービの標準形において積分変数formula_9と置けば(置換積分)幾らか簡単なルジャンドルの標準形が得られる。
特定の母数の場合.
ヤコービの標準形.
formula_11の場合は逆三角関数に、formula_12の場合は逆双曲線関数になる。
ルジャンドルの標準形.
ただし、formula_15は逆グーデルマン関数である。また特にformula_16のとき、第三種楕円積分は第二種楕円積分で表すことができて、
となる。
第一種完全楕円積分.
第一種完全楕円積分は、ルジャンドルの標準形における第一種楕円積分の積分範囲をformula_18までとしたものである。
formula_20のテイラー級数に展開した後、ウォリスの公式を用いて項別に積分すると
となる。ただし、formula_22と定義する。
第二種完全楕円積分.
第二種完全楕円積分は、ルジャンドルの標準形における第二種楕円積分の積分範囲をformula_18までとしたものである。
formula_20のテイラー級数に展開した後、ウォリスの公式を用いて項別に積分すると
}d\theta\\
&=\int_0^{\pi/2}{\left(1-\sum_{n=1}^{\infty}{\frac{(2n-1)!!}{(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-1)(2n)!!}k^{2n}\int_0^{\pi/2}{\sin^{2n}\theta}d\theta}\\
&=\frac{\pi}{2}-\sum_{n=1}^{\infty}{\frac{(2n-1)!!}{(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\frac{k^{2n}}{2n-1}}\right)\\
&=\frac{\pi}{2}\sum_{n=0}^{\infty}{\left(\frac{(2n-1)!!}{(2n)!!}\right)^2\frac{k^{2n}}{1-2n}}\\
となる。ただし、formula_22と定義する。
ルジャンドルの関係式.
次の恒等式をルジャンドルの関係式という。
ランデン変換とガウス変換.
次の恒等式をランデン変換という。
次の恒等式をガウス変換という。
楕円積分の応用.
楕円の弧長.
楕円formula_26の弧長は、
=\int{\sqrt{1+\left(\frac{dy}{dx}\right)^2}}dx\\
&=\int{\sqrt{1+\left(\mp\frac{cx}{\sqrt{1-x^2}}\right)^2}}dx\\
&=\int{\sqrt{\frac{1-x^2+c^2x^2}{1-x^2}}}dx
となる。離心率formula_27を用いれば、上式は、
となり、第二種楕円積分が現れる。
したがって、楕円の円周上でformula_28座標がformula_29の点からformula_28座標がformula_28の点までの弧長はformula_32となる。
ここでformula_11とすれば楕円は真円になり、弧長はformula_34となる（ここではformula_35がformula_28軸の方向になっていることに注意すること。）。