6

log2に収束する級数

195
0
$$$$

はじめに

$$\log2=\sum_{n=1}^{\infty}\frac{1}{(2n-1)^2}\frac{\binom{2n}{n}}{\binom{4n}{2n}}+\sum_{n=1}^{\infty}\frac{1}{n(2n-1)}\frac{\binom{2n}{n}}{\binom{4n}{2n}}$$
$$\log2=\sum_{n=1}^{\infty}\frac{1}{(2n)^2}\frac{2^{4n}}{\binom{4n}{2n}\binom{2n}{n}}+\sum_{n=1}^{\infty}\frac{1}{n(2n-1)}\frac{2^{4n}}{\binom{4n}{2n}\binom{2n}{n}}$$

これらの等式を示す。

補題

輸送関係式1

$$C_1(n,m):=\frac{(2n)!(2m)!}{(2n+2m)!}\frac{(n+m)!}{n!m!}$$
$$\frac{1}{2m}C_1(n_0,m)=\sum_{n_0< n}\frac{1}{2n-1}C_1(n,m)$$

\begin{align} C_1(n-1,m)-C_1(n,m) &=C_1(n,m)\Bigg(\frac{(2n+2m)(2n+2m-1)}{(2n)(2n-1)}\frac{n}{n+m}-1\Bigg)\\ &=C_1(n,m)\Bigg(\frac{2n+2m-1}{2n-1}-1\Bigg)\\ &=\frac{2m}{2n-1}C_1(n,m) \end{align}
両辺$2m$で割り、$n_0< n$の範囲で和を取ると
$$\frac{1}{2m}C_1(n_0,m)=\sum_{n_0< n}\frac{1}{2n-1}C_1(n,m)\blacksquare$$

輸送関係式2

$$C_2(n,m):=\frac{(2n)!(2m)!}{(2n+2m)!}\frac{(n+m)!}{n!m!}\frac{2^{2n}}{\binom{2n}{n}}\frac{2^{2m}}{\binom{2m}{m}}$$
$$\frac{1}{2m-1}C_2(n_0,m)=\sum_{n_0< n}\frac{1}{2n}C_2(n,m)$$

\begin{align} C_2(n-1,m)-C_2(n,m) &=C_2(n,m)\Bigg(\frac{(2n+2m)(2n+2m-1)}{(2n)(2n-1)}\frac{n}{n+m}\frac{2n-1}{2n}-1\Bigg)\\ &=C_2(n,m)\Bigg(\frac{2n+2m-1}{2n}-1\Bigg)\\ &=\frac{2m-1}{2n}C_2(n,m) \end{align}
両辺$2m-1$で割り、$n_0< n$の範囲で和を取ると
$$\frac{1}{2m-1}C_2(n_0,m)=\sum_{n_0< n}\frac{1}{2n}C_2(n,m)\blacksquare$$

$C_1(n,m),C_2(n,m)がn,m$について対象であることに注意する。

本題

早速、証明をしていく。和を取る範囲を分けたり、補題を適用していくことで証明は完了する。

$$\log2=\sum_{n=1}^{\infty}\frac{1}{(2n-1)^2}\frac{\binom{2n}{n}}{\binom{4n}{2n}}+\sum_{n=1}^{\infty}\frac{1}{n(2n-1)}\frac{\binom{2n}{n}}{\binom{4n}{2n}}$$

\begin{align} \sum_{0< n}\frac{1}{(2n-1)(2n)} &=\sum_{0< n}\frac{1}{(2n-1)(2n)}C_1(n,0)\\ &=\sum_{0< n}\frac{1}{2n-1}\sum_{0< m}\frac{1}{2m-1}C_1(n,m)\\ &=\sum_{0< n}\frac{1}{(2n-1)^2}C_1(n,n)+2\sum_{0< n< m}\frac{1}{2n-1}\frac{1}{2m-1}C_1(n,m)\\ &=\sum_{0< n}\frac{1}{(2n-1)^2}\frac{\binom{2n}{n}}{\binom{4n}{2n}}+2\sum_{0< n}\frac{1}{2n-1}\sum_{n< m}\frac{1}{2m-1}C_1(n,m)\\ &=\sum_{0< n}\frac{1}{(2n-1)^2}\frac{\binom{2n}{n}}{\binom{4n}{2n}}+2\sum_{0< n}\frac{1}{(2n)(2n-1)}C_1(n,n)\\ &=\sum_{0< n}\frac{1}{(2n-1)^2}\frac{\binom{2n}{n}}{\binom{4n}{2n}}+\sum_{0< n}\frac{1}{n(2n-1)}\frac{\binom{2n}{n}}{\binom{4n}{2n}} \end{align}
また、
$$\sum_{0< n}\frac{1}{(2n-1)(2n)}=\log2$$
が成り立つことはよく知られているため、これらにより
$$\log2=\sum_{n=1}^{\infty}\frac{1}{(2n-1)^2}\frac{\binom{2n}{n}}{\binom{4n}{2n}}+\sum_{n=1}^{\infty}\frac{1}{n(2n-1)}\frac{\binom{2n}{n}}{\binom{4n}{2n}}\blacksquare$$

$$\log2=\sum_{n=1}^{\infty}\frac{1}{(2n)^2}\frac{2^{4n}}{\binom{4n}{2n}\binom{2n}{n}}+\sum_{n=1}^{\infty}\frac{1}{n(2n-1)}\frac{2^{4n}}{\binom{4n}{2n}\binom{2n}{n}}$$

\begin{align} \sum_{0< n}\frac{1}{(2n-1)(2n)} &=\sum_{0< n}\frac{1}{(2n-1)(2n)}C_2(n,0)\\ &=\sum_{0< n}\frac{1}{2n}\sum_{0< m}\frac{1}{2m}C_2(n,m)\\ &=\sum_{0< n}\frac{1}{(2n)^2}C_2(n,n)+2\sum_{0< n< m}\frac{1}{2n}\frac{1}{2m}C_2(n,m)\\ &=\sum_{0< n}\frac{1}{(2n)^2}\frac{2^{4n}}{\binom{4n}{2n}\binom{2n}{n}}+2\sum_{0< n}\frac{1}{2n}\sum_{n< m}\frac{1}{2m}C_2(n,m)\\ &=\sum_{0< n}\frac{1}{(2n)^2}\frac{2^{4n}}{\binom{4n}{2n}\binom{2n}{n}}+2\sum_{0< n}\frac{1}{2n(2n-1)}C_2(n,n)\\ &=\sum_{0< n}\frac{1}{(2n)^2}\frac{2^{4n}}{\binom{4n}{2n}\binom{2n}{n}}+\sum_{0< n}\frac{1}{n(2n-1)}\frac{2^{4n}}{\binom{4n}{2n}\binom{2n}{n}}\\ \end{align}
命題1のときの証明と同様に
$$\sum_{0< n}\frac{1}{(2n-1)(2n)}=\log2$$
なので
$$\log2=\sum_{n=1}^{\infty}\frac{1}{(2n)^2}\frac{2^{4n}}{\binom{4n}{2n}\binom{2n}{n}}+\sum_{n=1}^{\infty}\frac{1}{n(2n-1)}\frac{2^{4n}}{\binom{4n}{2n}\binom{2n}{n}}\blacksquare$$

要するにどちらの級数もメルカトル級数がもとになっているということですね

一般化

詳しくは書きませんが、パラメーター付きのコネクターを用いることで、次のようなより一般的な等式を求めることもできます。
$$\sum_{n=1}^{\infty}\frac{1}{2n(2n-2x-1)} =\sum_{n=1}^{\infty}\frac{1}{(2n-2x-1)^2}\frac{(1-2x)^2_{2n}(1-x)_{2n}}{(1-2x)_{4n}(1-x)^2_{n}}+\sum_{n=1}^{\infty}\frac{1}{n(2n-2x-1)}\frac{(1-2x)^2_{2n}(1-x)_{2n}}{(1-2x)_{4n}(1-x)^2_{n}}$$

$$\sum_{n=1}^{\infty}\frac{1}{2n(2n-2x-1)} =\sum_{n=1}^{\infty}\frac{1}{(2n)^2}\frac{(1-2x)^2_{2n}(1-x)_{2n}n!^2}{(1-2x)_{4n}(1-x)^2_{n}(\frac{1}{2}-x)^2_{n}}+\sum_{n=1}^{\infty}\frac{1}{n(2n-2x-1)}\frac{(1-2x)^2_{2n}(1-x)_{2n}n!^2}{(1-2x)_{4n}(1-x)^2_{n}(\frac{1}{2}-x)^2_{n}}$$

参考文献

[1] 加速級数で表せる多重ゼータ値

投稿日:8日前
更新日:8日前

この記事を高評価した人

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

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

バッジはありません。

投稿者

余余余
余余余
199
9466
よよよよよよよよよよよよ

コメント

他の人のコメント

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