3

級数bot IIの級数を示す

167
0
$$\newcommand{di}[0]{\displaystyle} \newcommand{G}[0]{\Gamma} \newcommand{g}[0]{\gamma} \newcommand{ip}[0]{\varepsilon} $$

級数$\mathrm{bot\ II}$の級数を示す

どうも、らららです。
今回は 級数$\mathrm{bot\ II}$ のこの級数を示していきます。( ツイート )

$$\sum_{n=1}^\infty\frac{\binom{2n}{n}}{2^{2n}n^2}=\frac{\pi^2}{6}-2\log^22$$

見た瞬間これポリログっぽいなぁって思いました。

ちなみにこの級数はΙδέαさんのこちらの 記事 で多重ゼータ値を用いて証明されています。
今回は別の方法で解いていきます。

解いていきます。

解くために使う補題を示していきます。

中央二項係数の母関数

$$\sum_{n=0}^{\infty}\binom{2n}{n}x^n=\frac1{\sqrt{1-4x}}$$

証明超幾何級数を用いて示す
\begin{align} \sum_{n=0}^{\infty}\binom{2n}{n}x^n&=\sum_{n=0}^{\infty}\frac{(2n)!}{2^{2n}(n!)^2}(4x)^n \\&=\sum_{n=0}^{\infty}\frac{\left(\frac12,1\right)_n}{(1)_nn!}(4x)^n \\&={}_2F_1\left[\begin{array}{}\frac12,1\\1\end{array};4x\right] \end{align}
ここで、超幾何級数の変換を召喚して
$${}_2F_1\left[\begin{array}{}a,a+\frac1a\\2a\end{array};z\right]=\frac1{\sqrt{1-z}}\left(\frac2{1+\sqrt{1-z}}\right)^{2a-1}$$
$\di a=\frac12,z=4x$とすれば題意を得る。
(この超幾何級数の変換はNKSさんのこちらの PDF で示されている)
また、後の証明では$\di x\to\frac{x}4$として$n=1$からの形にして
$$\sum_{n=1}^{\infty}\frac{\binom{2n}n}{2^{2n}}x^n=\frac1{\sqrt{1-x}}-1$$
を用いる。

$$\sum_{n=1}^\infty\frac{\binom{2n}{n}}{2^{2n}n}=2\log2$$

証明$\di\int_0^1x^{n-1}dx=\frac1n$に注意して
\begin{align} \sum_{n=1}^{\infty}\frac{\binom{2n}n}{2^{2n}n}&=\sum_{n=1}^{\infty}\frac{\binom{2n}n}{2^{2n}}\int_0^1x^{n-1}dx \\&=\int_0^1\frac1{x}\sum_{n=1}^{\infty}\frac{\binom{2n}n}{2^{2n}}x^ndx \\&=\int_0^1\frac1{x}\left(\frac1{\sqrt{1-x}}-1\right)dx \\&=\int_{0}^{1}\frac{1-\sqrt{1-x}}{x\sqrt{1-x}}dx \\&=\int_{0}^{1}\frac{1-\sqrt{x}}{\sqrt{x}(1-x)}dx \\&=\frac12\int_0^1\frac{1-x}{1-x^2}dx \\&=\frac12\int_0^1\frac{dx}{x+1} \\&=2\log2 \end{align}

てことで証明していく😤

$$f(x)=\sum_{n=1}^{\infty}\frac{\binom{2n}{n}}{2^{2n}n^2}x^n$$
$$f’(x)=\frac1{x}\sum_{n=1}^\infty\frac{\binom{2n}n}{2^{2n}n}x^n$$
\begin{align} f’’(x)&=-\frac1{x^2}\sum_{n=1}^{\infty}\frac{\binom{2n}n}{2^{2n}n}x^n+\frac1{x^2}\sum_{n=1}^\infty\frac{\binom{2n}n}{2^{2n}}x^n \\&=-\frac1{x^2}f’(x)+\frac1{x^2}\left(\frac1{\sqrt{1- x}}-1\right) \end{align}
あとは微分方程式を解いて
$$f(x)=C_1+C_2\log x+2\mathrm{Li}_2\left(\frac{1-\sqrt{1-x}}2\right)-\log^2\left(1+\sqrt{1-x}\right)-2\log2\log\left(1-\sqrt{1-x}\right)$$
$$f’(x)=\frac{C_2}x-\frac{2\log\left(1+\sqrt{1-x}\right)}x$$
$f’(1)=2\log2$より$\di C_2=2\log2$
$$f’(x)=\frac{2\log2}x-\frac{2\log\left(1+\sqrt{1-x}\right)}x$$
\begin{align} f(x)&=C_1+2\log2\log x+2\mathrm{Li}_2\left(\frac{1-\sqrt{1-x}}2\right)-\log^2\left(1+\sqrt{1-x}\right)-2\log2\log\left(1-\sqrt{1-x}\right) \\&=C_1+2\log2\left(\log x-\log\left(1-\sqrt{1-x}\right)\right)+2\mathrm{Li}_2\left(\frac{1-\sqrt{1-x}}2\right)-\log^2\left(1+\sqrt{1-x}\right) \end{align}
両辺を$x\to0$で極限をとる
\begin{align} \lim_{x\to0}\left(\log x-\log\left(1-\sqrt{1-x}\right)\right) &=\lim_{x\to0}\log\left(\frac{x}{1-\sqrt{1-x}}\right) \\&=\lim_{x\to0}\log\left(1+\sqrt{1-x}\right) \\&=\log2 \end{align}
$\di\lim_{x\to0}f(x)=0$より$C_1=-\log^22$
$$f(x)=-\log^22+2\log2\left(\log x-\log\left(1-\sqrt{1-x}\right)\right)+2\mathrm{Li}_2\left(\frac{1-\sqrt{1-x}}2\right)-\log^2\left(1+\sqrt{1-x}\right)$$
$\di\mathrm{Li}_2\left(\frac12\right)=\frac{\pi^2}{12}-\frac{\log^22}2$を用いて
$$f(1)=\frac{\pi^2}6-2\log^22$$
よって、題意は示された。

でたーー!!!

やっぱり微分方程式は強いですねぇ…

おしまい!!

投稿日:20231225
更新日:811

この記事を高評価した人

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

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

バッジはありません。

投稿者

ららら
ららら
189
11000
適当に書きたいことを書きます。

コメント

他の人のコメント

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