すごい級数のお話

${}$

この記事では, すごい級数についてお話したいと思います.

今から書くことはネットにあったpdf ( Borwein兄弟さんの Strange Series and High Precision Fraud というものです ) とかなり内容が被ってしまうのですが, とてもすごいと思ったので書かせて頂きます. 著作権的にあれだったら注意して頂きたいです.

ちなみにこのpdfには, この記事で書くものの他にもいろいろ面白い級数とかが載っていたので, 良かったら見てみてください.
${}$

(証明)

まず, 次が成立します.

$$ \sumn{0}x^{a_n}z^n=\prod_{n=0}^\infty\left(1+xz^{10^n}+x^2z^{2\cdot10^n}+\cdots+x^9z^{9\cdot10^n} \right)$$

これは, 両辺の$z$の係数を比べると分かると思います. 右辺で掛け合わせるときに, $x$の肩の数字は足されるのがポイントなんですね.

即ち, 等比数列の和なので, $\ds f(x)=\frac{1-x^{10}}{1-x}$とおいて
$$ \sumn{0}x^{a_n}z^n=\prod_{n=0}^\infty f\left(xz^{10^n}\right)$$

となります.

$x=1$とすると, $\ds\prod_{n=0}^\infty f\left(z^{10^n}\right)=\frac1{1-z}$ となります.
${}$

次に, 上の式を$x$で微分してみます. 右辺は対数微分(または, 積の微分)を考えて,
$$ \sumn{0}a_nx^{a_n-1}z^n=\sumn{0}z^{10^n}\frac{f'}{f}\left(xz^{10^n}\right)\cdot\prod_{n=0}^\infty f\left(xz^{10^n}\right)$$
となります. ただし $\ds\frac{f'}{f}(x)=\frac{f'(x)}{f(x)}$ です.
${}$

この式で $x=1$とすることで,
$$ \sumn{0}a_nz^n=\frac{1}{1-z}\sumn{0}z^{10^n}\frac{f'}{f}\left(z^{10^n}\right)$$
両辺に$z-1$を掛けて$z$で割って,
$$ \sumn{1}a_n\left(z^{n-1}-z^n\right)=\sumn{0}z^{10^n-1}\frac{f'}{f}\left(z^{10^n}\right)$$
となります.
${}$

この両辺を$z:0\to1$と積分します.
$$\beq \int_0^1z^{10^n-1}\frac{f'}{f}\left(z^{10^n}\right)\,dz&=&\frac1{10^n}\int_0^1\frac{f'}{f}(t)\,dt\\ &=&\frac1{10^n}\left[\log\frac{1-t^{10}}{1-t}\right]_0^1\\ &=&\frac{\log10}{10^n}\\ {} \eeq$$
($t=z^{10^n}$としました) なので,

$$ \sumn{1}a_n\left(\frac1n-\frac1{n+1}\right)=\sumn{0}\frac{\log10}{10^n}$$
即ち
$$ \sumn{1}\frac{a_n}{n(n+1)}=\frac{10}9\log{10}$$
を得ました.
${}$

また, $z$で$2$回積分すると,
$$ \sumn{1}\frac{(2n+1)a_n}{n^2(n+1)^2}=\frac{5π^2}{33}$$
のようになります.
${}$

読んで下さった方, ありがとうございました.

${}$