ルジャンドルの関係式

提供: Yourpedia
2008年7月18日 (金) 11:45時点におけるウーソキマスラ (トーク | 投稿記録)による版

(差分) ←前の版 | 最新版 (差分) | 次の版→ (差分)
移動: 案内検索

数学において、ルジャンドルの関係式(Legendre relation)は第一種完全楕円積分と第二種完全楕円積分の間に成立する恒等式である。

<math>K(k)E\left(\sqrt{1-k^2}\right)+E(k)K\left(\sqrt{1-k^2}\right)-K(k)K\left(\sqrt{1-k^2}\right)=\frac{\pi}{2}</math>

証明[編集]

完全楕円積分の導関数

<math>\begin{align}k\frac{d}{dk}E(k)

&=k\frac{d}{dk}\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=1}^{\infty}\left(\frac{(2n-1)!!}{(2n)!!}\right)^2\left(-\frac{1}{2n-1}-1\right)k^{2n}\\ &=E(k)-K(k) \end{align}</math>

<math>\begin{align}k\frac{d}{dk}K(k)

&=k\frac{d}{dk}\frac{\pi}{2}\left(1+\sum_{n=1}^{\infty}{\left(\frac{(2n-1)!!}{(2n)!!}\right)^2k^{2n}}\right)\\ &=\frac{\pi}{2}\sum_{n=1}^{\infty}{\left(\frac{(2n-1)!!}{(2n)!!}\right)^2\left(\frac{(2n)^2}{(2n-1)^2}(2n-2+1)-\frac{1}{2n-1}-1\right)k^{2n}}\\ &=k^2\left(\frac{d}{dk}K(k)+K(k)\right)+E(k)-K(k) \end{align}</math>

<math>k(1-k^2)\frac{d}{dk}K(k)=E(k)-(1-k^2)K(k)</math>

から、微分方程式

<math>\begin{align}\frac{d}{dk}\left(k(1-k^2)\frac{d}{dk}K(k)\right)

&=\frac{E(k)-K(k)}{k}-(1-k^2)\frac{E(k)-(1-k^2)K(k)}{k(1-k^2)}+2kK(k)\\ &=\frac{E(k)-K(k)-E(k)+(1-k^2)K(k)}{k}+2kK(k)\\ &=kK(k)\\ \end{align}</math> が得られるが、ここで<math>k'=\sqrt{1-k^2}</math>とすれば

<math>\begin{align}\frac{d}{dk}\left(k(1-k^2)\frac{d}{dk}K(k')\right)

&=\frac{dk'}{dk}\frac{d}{dk'}\left(k(1-k^2)\frac{dk'}{dk}\frac{d}{dk'}K(k')\right)\\ &=\frac{k}{\sqrt{1-k^2}}\frac{d}{dk'}\left(k^2\sqrt{1-k^2}\frac{d}{dk'}K(k')\right)\\ &=\frac{k}{k'}\frac{d}{dk}\left((1-k'^2)k'\frac{d}{dk'}K(k')\right)\\ \end{align}</math> であるから<math>K'(k)=K(k')</math>も同じ微分方程式の解になる。<math>Y(k)=\sqrt{k(1-k^2)}K(k)</math>とすれば

<math>\begin{align}\frac{d^2}{dk^2}Y(k)

&=\sqrt{k(1-k^2)}\frac{d^2}{dk^2}K(k)+\frac{(1-3k^2)}{\sqrt{k(1-k^2)}}\frac{d}{dk}K(k)+\frac{3k^4-6k^2-1}{4\sqrt{k(1-k^2)}\;k(1-k^2)}K(k)\\ &=\frac{1}{\sqrt{k(1-k^2)}}\left(k(1-k^2)\frac{d^2}{dk^2}K(k)+(1-3k^2)\frac{d}{dk}K(k)+\frac{3k^4-6k^2-1}{4k(1-k^2)}K(k)\right)\\ &=\frac{1}{\sqrt{k(1-k^2)}}\left(\frac{d}{dk}\left(k(1-k^2)\frac{d}{dk}K(k)\right)+\frac{3k^4-6k^2-1}{4k(1-k^2)}K(k)\right)\\ &=\frac{1}{\sqrt{k(1-k^2)}}\left(kK(k)+\frac{3k^4-6k^2-1}{4k(1-k^2)}K(k)\right)\\ &=-\frac{(1+k^2)^2}{4k^2(1-k^2)^2}Y(k)\\ \end{align}</math> となり、<math>Y'(k)=\sqrt{k(1-k^2)}K'(k)</math>も同様である。故に

<math>\frac{\frac{d^2}{dk^2}Y(k)}{Y(k)}=-\frac{(1+k^2)^2}{4k^2(1-k^2)^2}=\frac{\frac{d^2}{dk^2}Y'(k)}{Y'(k)}</math>

であるから

<math>Y(k)\frac{d^2}{dk^2}Y'(k)-Y'(k)\frac{d^2}{dk^2}Y(k)=0</math>
<math>\sqrt{k(1-k^2)}K(k)\frac{d^2}{dk^2}\left(\sqrt{k(1-k^2)}K'(k)\right)-\sqrt{k(1-k^2)}K'(k)\frac{d^2}{dk^2}\left(\sqrt{k(1-k^2)}K(k)\right)=0</math>

が成立する。積分して整理すると

<math>k(1-k^2)\left(K(k)\frac{d}{dk}K'(k)-K'(k)\frac{d}{dk}K(k)\right)=C</math>

となり、これに

<math>\frac{d}{dk}K(k)=\frac{E(k)-(1-k^2)K(k)}{k(1-k^2)}</math>
<math>\frac{d}{dk}K'(k)=\frac{d}{dk}K\left(\sqrt{1-k^2}\right)=\frac{-k}{\sqrt{1-k^2}}\frac{E\left(\sqrt{1-k^2}\right)-k^2K\left(\sqrt{1-k^2}\right)}{\sqrt{1-k^2}\;k^2}=-\frac{E'(k)-k^2K'(k)}{k(1-k^2)}</math>

を代入すると

<math>K(k)E'(k)+E(k)K'(k)-K(k)K'(k)=-C</math>

が得られる。不完全楕円積分の極限を用いて

<math>\begin{align}-C&=K(k)E'(k)+E(k)K'(k)-K(k)K'(k)\\

&=\lim_{x\to1}F(x,0)E(x,1)+E(x,0)F(x,1)-F(x,0)F(x,1)\\ &=\lim_{x\to1}\sin^{-1}x\left(x+\tanh^{-1}x-\tanh^{-1}x\right)\\ &=\frac{\pi}{2}\\ \end{align}</math> が得られる。

出典[編集]

このページは Wikipedia日本語版由来のコンテンツを利用しています。もとの記事はルジャンドルの関係式にあります。執筆者のリストは履歴をご覧ください。 Yourpediaと同じく、WikipediaGFDLのライセンスで提供されています。 コンテンツを再利用する際には同じくGFDLのライセンスを採用してください。