一般化ルジャンドル関係式

はじめに

　この記事では一般化楕円積分にまつわるルジャンドル関係式を紹介します。
　まずルジャンドル関係式とは次の恒等式のことを言うのでした。

　そして芝浦工業大学の竹内慎吾教授(日本人！)はこれの一般化を考え、2016年(割と最近！)に
Legendre-type relations for generalized complete elliptic integrals
という論文で以下のように具体的な一般化を与えたようです。

　実際に$p=q=r=2$のときを考えてみると$q^*=r^*=2,\;s=\infty$であり
$$\pi_{\infty,q}=2\int^1_0\frac{dt}{(1-t^q)^{\frac1\infty}}=2\int^1_0dt=2$$
に注意すると最初に挙げたルジャンドル関係式
$$K(k)E(k')+K(k')E(k)-K(k)K(k')=\frac\pi2$$
が出てくることがわかります。
　ちなみにこの一般化ルジャンドル関係式は超幾何関数にまつわるElliottの恒等式
\begin{eqnarray} &&\F{\frac12+a}{-\farc12-b}{a+c+1}{z}\F{\frac12-a}{\frac12+b}{b+c+1}{1-z} \\&&\quad+\F{\frac12+a}{\frac12-b}{a+c+1}{z}\F{-\frac12-a}{\frac12+b}{b+c+1}{1-z} \\&&\quad-\F{\frac12+a}{\frac12-b}{a+c+1}{z}\F{\frac12-a}{\frac12+b}{b+c+1}{1-z} \\&=&\frac{\G(a+c+1)\G(b+c+1)}{\G(a+b+c+\frac32)\G(c+\frac12)} \end{eqnarray}
と等価であることが知られています(このことについては 別の記事 で詳しく解説します)。
　E.B.Elliottがこの恒等式を超幾何関数の観点から証明したところを、竹内教授は楕円積分の観点からの別証明を与えたという構図になっているようです。

証明のあらすじ

　まず$K_{p,q,r}$と$E_{p,q,r}$との間に
\begin{align} \frac{dK_{p,q,r}}{dk}&=\frac{a'E_{p,q,r^*}-(a'-k^q)K_{p,q,r}}{k(1-k^q)} \quad\l(a'=1+\frac q{r^*}-\frac qp\r)\\ \frac{dE_{p,q,r}}{dk}&=\frac{q(E_{p,q,r}-K_{p,q,r^*})}{rk} \end{align}
という微分方程式が成り立つことを示す。
　そして
$$K_{p,q,r}'=K_{p,q,r}(k'),\quad E_{p,q,r}'=E_{p,q,r}(k')$$
とおいたとき、上の微分方程式から
$$L=K_{p,q,r^*}E_{p,r,q}'+K_{p,r,q^*}'E_{p,q,r}-K_{p,q,r^*}K_{p,r,q^*}'$$
が
$$\frac{dL}{dk}=0$$
を満たすことを確かめる。
　したがって
$$L(k)=\mathrm{Const.}$$
がわかるので$k\to0^+$において
$$K_{p,q,r^*}(0)=\farc{\pi_{p,q}}{2},\quad E_{p,r,q}(1)=\frac{\pi_{s,r}}{2}$$
および
$$\lim_{k\to0^+}(E_{p,q,r}-K_{p,q,r^*})K_{p,r,q^*}'=0$$
と計算できることから
$$L=\lim_{k\to0^+}L(k)=\frac{\pi_{p,q}\pi_{s,r}}{4}$$
を得る。といった具合になります。

証明

一般化三角関数

　まず以下での議論を簡単にするために一般化した三角関数を導入します。

　いま$\sin_{p,q}=f_{p,q}^{-1}$に注意すると逆関数の微分法から
$$\cos_{p,q}x=(f_{p,q}^{-1}(x))'=\frac{1}{f'_{p,q}(f_{p,q}^{-1}(x))}=\sqrt[p]{1-\sin_{p,q}^qx}$$
つまり
$$\cos^p_{p,q}x+\sin_{p,q}^qx=1$$
がわかります。
　ただ$p=\infty$においては$\cos_{p,q}$がうまく定義されない(性質が崩れる)ため代わりの関数を
$$\cos_{*p,q}x=1-\sin^q_{p,q}x$$
と定めておきます。このとき$p=\infty$においても
\begin{align} (\sin_{p,q}x)'&=\cos_{*p,q}^{\frac1p}x\\ (\cos_{*p,q}x)'&=-q\sin_{p,q}^{q-1}x\cos_{*p,q}^{\frac1p}x \end{align}
が成り立ちます。
　ここで変数変換$t=\sin_{p,q}\theta$を考えると$\t=f_{p,q}(t)$から
$$d\t=\frac{dt}{\sqrt[p]{1-t^q}}$$
に注意すると
\begin{align} K_{p,q,r}(k)&=\int^{\frac12\pi_{p,q}}_0\farc{d\t}{\sqrt[r]{1-k^q\sin_{p,q}^q\t}}\\ E_{p,q,r}(k)&=\int^{\frac12\pi_{p,q}}_0\sqrt[r]{1-k^q\sin_{p,q}^q\t}d\t \end{align}
と表せることが肝になってきます。

楕円積分の微分方程式

　次に上で予告したように次の微分方程式を示します。

　$E_{p,q,r}$については簡単にわかる。
\begin{eqnarray} \frac{dE_{p,q,r}}{dk} &=&\frac qr\int^1_0\farc{-k^{q-1}t^q}{\sqrt[p]{1-t^q}(1-k^qt^q)^{1-\farc1r}}dt \\&=&\frac q{rk}\int^1_0\farc{(1-k^qt^q)-1}{\sqrt[p]{1-t^q}(1-k^qt^q)^{1-\farc1r}}dt \\&=&\frac q{rk}\l(\int^1_0\farc{\sqrt[r]{1-k^qt^q}}{\sqrt[p]{1-t^q}}dt -\int^1_0\farc{dt}{\sqrt[p]{1-t^q}(1-k^qt^q)^{1-\farc1r}}\r) \\&=&\frac q{rk}(E_{p,q,r}-K_{p,q,r^*}) \end{eqnarray}
　$K_{p,q,r}$については以下の補題を用いて示す。

　いま定義より
$$\sin_{p,q}0=0,\quad \sin_{p,q}\frac{\pi_{p,q}}{2}=1,\quad \cos_{*p,q}\frac{\pi_{p,q}}{2}=0$$
が成り立つことに注意すると
\begin{eqnarray} \farc{dK_{p,q,r}}{dk} &=&\farc qr\int^{\frac12\pi_{p,q}}_0\farc{k^{q-1}\sin^q\t}{(1-k^q\sin_{p,q}^q\t)^{1+\farc1r}}d\t \\&=&\farc{k^{q-1}}{k^q-1}\int^{\frac12\pi_{p,q}}_0\left(\farc{q(k^q-1)}{r}\frac{\sin^{q-1}_{p,q}\t\cos_{*p,q}^{\farc1p-\farc1{r^*}}\t}{(1-k^q\sin^q_{p,q}\t)^{1+\frac1r}}\right)\sin_{p,q}\t\cos_{*p,q}^{\frac1{r^*}-\frac1p}\t\;d\t \\&=&-\frac{k^{q-1}}{k^q-1}\int^{\frac12\pi_{p,q}}_0\frac{\cos^{\frac1r}_{*p,q}\t}{\sqrt[r]{1-k^q\sin_{p,q}^q\t}} \cdot\frac{d}{d\t}(\sin_{p,q}\t\cos_{*p,q}^{\frac1{r^*}-\frac1p}\t)d\t \\&=&\frac{k^{q-1}}{1-k^q}\int^{\frac12\pi_{p,q}}_0\frac{\cos^{\frac1r}_{*p,q}\t}{\sqrt[r]{1-k^q\sin_{p,q}^q\t}}(\cos_{*p,q}^{\frac1{r^*}}\t-q\l(\frac1{r^*}-\frac1p\r)\sin_{p,q}^q\t\cos^{\frac1{r^*}-1}\t)d\t \\&=&\frac{k^{q-1}}{1-k^q}\int^{\frac12\pi_{p,q}}_0\frac{\cos_{*p,q}\t-(a'-1)\sin_{p,q}^q\t}{\sqrt[r]{1-k^q\sin_{p,q}^q\t}}d\t \\&=&\frac{1}{k(1-k^q)}\int^{\frac12\pi_{p,q}}_0\frac{k^q(1-a'\sin_{p,q}^q\t)}{\sqrt[r]{1-k^q\sin_{p,q}^q\t}}d\t \\&=&\frac1{k(1-k^q)}\int^{\frac12\pi_{p,q}}_0\frac{k^q-a'}{\sqrt[r]{1-k^q\sin_{p,q}^q\t}}d\t+\frac1{k(1-k^a)}\int^{\frac12\pi_{p,q}}_0\frac{a'(1-k^q\sin_{p,q}^q\t)}{\sqrt[r]{1-k^q\sin_{p,q}^q\t}}d\t \\&=&\frac{k^q-a'}{k(1-k^q)}K_{p,q,r}+\frac{a'}{k(1-k^a)}E_{p,q,r^*} \end{eqnarray}
を得る。

ルジャンドル関係式の証明

　以上より
$$\frac1s=\frac1p-\frac1q$$
とおくと
$$L=\lim_{k\to0^+}L(k)=K_{p,q,r^*}(0)E_{p,r,q}(1)=\frac{\pi_{p,q}\pi_{s,r}}{4}$$
を得る。