5

二項係数3乗の無限和と楕円積分のLanden Transform

217
0
$$$$

この記事では、 前の記事 の最後でさらっと触れた次の級数を積分変形のみで示します。(例によって$\beta_n=\frac{(\frac12)_n}{n!}=\frac{\binom{2n}{n}}{2^{2n}}$とします。)

$$ \sum_{0\leq n}\beta_n^3=\frac{\pi}{\Gamma\left(\frac34\right)^4} $$

まず最初に、計算に用いる楕円積分のLanden Transformと呼ばれる変換を示しますが、よく使われる楕円積分の定義は今回の議論には適さないので、nkswtr氏にならい次の記号を導入します。
$$ \kappa(x)\coloneqq \sum_{0\leq n}\beta_n^2x^n $$

$$ \pi\kappa(x)=\int_0^1\frac{1}{\sqrt{t(1-t)}\sqrt{1-xt}}dt $$

\begin{align} \int_0^1\frac{1}{\sqrt{t(1-t)}\sqrt{1-xt}}dt&=\sum_{0\leq n}\beta_nx^n\int_0^1\frac{t^{n-\frac12}}{\sqrt{1-t}}dt\\ &=\pi\sum_{0\leq n}\beta_n^2x^n\\ &=\pi\kappa(x) \end{align}

次の変換が楕円積分のLanden Transformと呼ばれるものです。

$$ \frac{1}{1+x}\kappa\left(\frac{4x}{(1+x)^2}\right)=\kappa(x^2) $$

\begin{align} \pi \frac{1}{1+x}\kappa\left(\frac{4x}{(1+x)^2}\right)&=\frac{1}{1+x}\int_0^1\frac{1}{\sqrt{t(1-t)}\sqrt{1-\frac{4x}{(1+x)^2}t}}dt\\ &=\frac{1}{2\sqrt x}\int_0^{\frac{4x}{(1+x)^2}}\frac{1}{\sqrt{t(1-t)}\sqrt{1-\frac{(1+x)^2}{4x}t}}dt &\cdots \left( t\rightarrow \frac{(1+x)^2}{4x}t\right)\\ &=\frac{1}{2\sqrt x}\int_0^x\frac{1+t}{2\sqrt{t}}\frac{1+t}{1-t}\frac{1}{\sqrt{1-\frac{(1+x)^2}{x}\frac{t}{(1+t)^2}}}\frac{4(1-t)}{(1+t)^3}dt&\cdots \left(t\rightarrow \frac{4t}{(1+t)^2}\right)\\ &=\frac{1}{\sqrt x}\int_0^x\frac{1}{\sqrt t}\frac{1}{\sqrt{(1+t)^2-\frac{(1+x)^2}{x}t}}dt\\ &=\int_0^1\frac{1}{\sqrt t}\frac{1}{\sqrt{(1+xt)^2-(1+x)^2t}}dt &\cdots (t\rightarrow xt)\\ &=\int_0^1\frac{1}{\sqrt{t(1-t)}\sqrt{1-x^2t}}dt\\ &=\pi\kappa(x^2) \end{align}

それでは、定理1の証明を行います。途中の変形でLanden Transformが活躍します。
\begin{align} \sum_{0\leq n}\beta_n^3&=\frac1\pi\int_0^1\frac{\kappa(x)}{\sqrt{x(1-x)}}dx\\ &=\frac2\pi\int_0^1\frac{\kappa\left(\frac{4x}{(1+x)^2}\right)}{\sqrt{x}(1+x)}dx &\cdots \left(x\rightarrow \frac{4x}{(1+x)^2}\right)\\ &=\frac2\pi\int_0^1\frac{\kappa(x^2)}{\sqrt{x}}dx &\cdots(\text{Landen Transform})\\ &=\frac{1}\pi\int_0^1x^{\frac14-1}\kappa(x)dx &\cdots(x\rightarrow \sqrt{x})\\ &=\frac{1}{\pi^2} \int_0^1x^{\frac14-1}\int_0^1\frac{1}{\sqrt{t(1-t)}\sqrt{1-xt}}dtdx\\ &=\frac{1}{\pi^2}\int_{0< x< t<1}x^{\frac14-1}(1-x)^{\frac12-1}dxt^{\frac14-1}(1-t)^{\frac12-1}dt&\cdots \left(x\rightarrow \frac xt\right)\\ &=\frac{1}{\pi^2}\cdot \frac12\left(\int_0^1x^{\frac14-1}(1-x)^{\frac12-1}dx\right)^2\\ &=\frac{\pi}{\Gamma\left(\frac34\right)^4} \end{align}
このような感じで
$$ \sum_{0\leq n}\beta_n^2\beta_{2n}=\sum_{0\leq n}\frac{(4n)!}{2^{8n}(n!)^4}=\frac{\pi}{\Gamma\left(\frac{5}{8}\right)^2\Gamma\left(\frac{7}{8}\right)^2} $$
も計算できることは確認していますが、一般になんらかの超幾何の公式を示すことができるのかは検討していません。なにかわかった方がいらっしゃれば教えてください。

投稿日:20231214
更新日:20231214

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

Croitshen
Croitshen
28
1403

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中