楕円積分定義から特殊関数への応用まで

楕円積分（Elliptic Integral）とは、特定の形式を持つ積分の値を定義した関数の総称です。1750年頃にジュリオ・ファニャーノやレオンハルト・オイラーによって研究が始まりました。その名称は、楕円の弧の長さを求める問題との深い関わりから付けられています。

現代数学における定義では、関数 $f(x)$ が $\int_{c}^{x} R(t, \sqrt{P(t)}) dt$ という形式（ここで $R$ は有理関数、$P$ は3次または4次の多項式）で表現できるとき、これを楕円積分と呼びます。

Key Facts

• 起源： 楕円の周長を計算する幾何学的な課題から発展した。
• 分類： 性質に応じて第一種、第二種、第三種の3つの形式に分けられる。
• 完全楕円積分： 積分範囲が特定の定数（通常 $0$ から $\pi/2$）である特殊なケース。
• 関連関数： ガンマ関数やガウス超幾何関数、算術幾何平均（AGM）と密接に結びついている。

楕円積分の基本パラメータ

楕円積分を記述する際、以下の引数が頻繁に用いられます。

• モジュラー角 ($\alpha$)： 角度による表現。
• 楕円モジュラス ($k$)： $k = \sin \alpha$ と定義され、離心率としても知られる。
• パラメータ ($m$)： $m = k^2$ として定義されることが多い。

第一種楕円積分

第一種楕円積分 $F$ は、主に以下の形式で定義されます。三角関数形式では $\int_{0}^{\varphi} \frac{d\theta}{\sqrt{1-k^{2}\sin^{2}\theta}}$ となり、代数形式では $\int_{0}^{x} \frac{dt}{\sqrt{(1-t^{2})(1-k^{2}t^{2})}}$ と表現されます。

特に、積分範囲を $0$ から $\pi/2$ としたものを完全第一種楕円積分 $K(k)$ と呼びます。これはガウス超幾何関数 ${}_{2}F_{1}(\frac{1}{2}, \frac{1}{2}; 1; k^{2})$ を用いて表すことができ、算術幾何平均（agm）を用いて効率的に計算することが可能です。

ガンマ関数との関係

完全第一種楕円積分 $K$ は、特定のモジュラスにおいてガンマ関数 $\Gamma$ を用いた簡潔な形式で書き換えられます。例えば、$K(1/\sqrt{2})$ は $\Gamma(1/4)^2 / \sqrt{\pi}$ といった関係にあります。

第二種楕円積分

第二種楕円積分 $E$ は、レジャンドレの三角形式では $\int_{0}^{\varphi} \sqrt{1-k^{2}\sin^{2}\theta} d\theta$ と定義されます。これを代数形式に変換すると $\int_{0}^{x} \frac{\sqrt{1-k^{2}t^{2}}}{\sqrt{1-t^{2}}} dt$ となります。

積分範囲を $0$ から $\pi/2$ とした完全第二種楕円積分 $E(k)$ は、楕円の周長 $C$ を求める際に不可欠であり、$C = 4aE(e)$（$a$ は長半径、$e$ は離心率）という関係式で結ばれています。

第三種楕円積分

第三種楕円積分 $\Pi$ は、分母にさらに項が加わった形式 $\int_{0}^{\varphi} \frac{d\theta}{(1-n\sin^{2}\theta)\sqrt{1-k^{2}\sin^{2}\theta}}$ で定義されます。この関数は、地球のような回転楕円体における赤道から緯度 $\varphi$ までの子午線弧長 $m(\varphi)$ の計算に応用されています。

主要な性質と関係式

レジャンドレの関係式

互いにピタゴラス的な補完関係にある2つのモジュラス $\varepsilon$ と $\sqrt{1-\varepsilon^{2}}$ について、以下の重要な恒等式が成立します： $K(\varepsilon)E(\sqrt{1-\varepsilon^{2}}) + E(\varepsilon)K(\sqrt{1-\varepsilon^{2}}) - K(\varepsilon)K(\sqrt{1-\varepsilon^{2}}) = \pi/2$

微分方程式と導関数

完全楕円積分 $K$ と $E$ のモジュラス $\varepsilon$ による微分は、互いの関数を用いて表現できます。例えば、$E$ の微分は $\frac{d}{d\varepsilon}E(\varepsilon) = -\frac{1}{\varepsilon}[K(\varepsilon) - E(\varepsilon)]$ となります。

種類	主な定義形式（完全）	主な用途・関連	特徴
第一種 ($K$)	$\int_{0}^{\pi/2} (1-k^{2}\sin^{2}\theta)^{-1/2} d\theta$	算術幾何平均、周期計算	超幾何関数 ${}_{2}F_{1}(\frac{1}{2}, \frac{1}{2}; 1; k^{2})$
第二種 ($E$)	$\int_{0}^{\pi/2} (1-k^{2}\sin^{2}\theta)^{1/2} d\theta$	楕円の周長計算	離心率 $e$ を用いた弧長算出
第三種 ($\Pi$)	$\int_{0}^{\pi/2} [(1-n\sin^{2}\theta)(1-k^{2}\sin^{2}\theta)^{1/2}]^{-1} d\theta$	子午線弧長の計算	パラメータ $n$ による重み付け

Frequently Asked Questions

楕円積分とは具体的にどのような計算を行うものですか？

基本的には、ルートの中に3次または4次の多項式が含まれる積分の値を求めるものです。これらは初等関数（sin, cos, logなど）の組み合わせでは表現できないため、特別な関数として定義されています。

「完全」と「不完全」な楕円積分の違いは何ですか？

積分範囲が特定の定数（通常は $0$ から $\pi/2$ まで）に固定されているものを「完全楕円積分」と呼び、上限が変数 $\varphi$ や $x$ であるものを「不完全楕円積分」と呼びます。

なぜ楕円積分が実用的なのか、具体例はありますか？

最も代表的な例は、楕円の周りの長さを正確に計算することです。また、振り子の周期の正確な算出や、地球の形状（回転楕円体）に基づいた距離計算など、物理学や測地学で広く利用されています。

第一種、第二種、第三種をどのように使い分けるのですか？

積分される関数の形によって決まります。分母にルートがあるのが第一種、分子にルートがあるのが第二種、そして分母にルートに加えて別の有理式が含まれるのが第三種です。解きたい物理問題や幾何学的な形状に応じて、適切な形式を選択します。