7

分母に中央二項係数がある級数メモ

416
0
$$\newcommand{Ci}[0]{\mathrm{Ci}} \newcommand{di}[0]{\displaystyle} \newcommand{G}[0]{\Gamma} \newcommand{g}[0]{\gamma} \newcommand{ip}[0]{\varepsilon} \newcommand{li}[0]{\mathrm{Li}} \newcommand{Li}[0]{\mathrm{Li}} $$

級数メモ

どうも、らららです。
$\mathrm{wataru}$さんの 記事 にでてきた級数を示したい。

$$\sum_{n=1}^{\infty}\frac{2^{2n}}{n^3\binom{2n}n}=\pi^2\log2-\frac72\zeta(3)$$

\begin{align} f(x)&=\sum_{n=1}^{\infty}\frac{(2x)^{2n}}{n^3\binom{2n}n} \\ f’(x)&=\frac2x\sum_{n=1}^{\infty}\frac{(2x)^{2n}}{n^2\binom{2n}n} \\&=\frac{4}{x}\arcsin^2x \\f(1)&=\int_{0}^{1}f’(x)dx \\&=4\int_{0}^{1}\frac{\arcsin^2x}{x}dx \\&=4\int_{0}^{\frac{\pi}2}\frac{x^2}{\tan x}dx \\&=4\Big[x^2\log\sin x\Big]_0^{\frac{\pi}2}-8\int_{0}^{\frac{\pi}2}x\log\sin xdx \\&=-8\int_{0}^{\frac{\pi}2}x\log\sin xdx \\&=8\log2\int_{0}^{\frac{\pi}2}xdx+8\sum_{n=1}^{\infty}\frac{1}{n}\int_{0}^{\frac{\pi}2}x\cos 2nx dx \\&=\pi^2\log2-4\sum_{n=0}^{\infty}\frac1{(2n+1)^3} \\&=\pi^2\log2-\frac72\zeta(3) \end{align}

ポリログでの解法ありそうですね

$$\sum_{n=1}^{\infty}\frac{(-1)^{n}}{n^3\binom{2n}n}=-\frac25\zeta(3)$$

\begin{align} f(x)&=\sum_{n=1}^{\infty}\frac{(2x)^{2n}}{n^3\binom{2n}n} \\ f’(x)&=\frac2x\sum_{n=1}^{\infty}\frac{(2x)^{2n}}{n^2\binom{2n}n} \\&=\frac{4}{x}\arcsin^2x \\f\left(\frac{i}2\right)&=4\int_{0}^{\frac{i}2}\frac{\arcsin^2x}{x}dx \\&=-4\int_{0}^{\frac12}\frac{(\sinh^{-1}x)^2}{x}dx \\&=-4\int_{0}^{\sinh^{-1}\frac12}\frac{x^2}{\tanh x}dx \\&=4\left[\frac12\mathrm{Li}_3(e^{2x})-x\mathrm{Li}_2(e^{2x})+\frac{x^3}3-x^2\log(1-e^{2x})\right]_0^{\sinh^{-1}\frac12} \\&=2\mathrm{Li}_3(\phi^2)-4\log\phi\mathrm{Li}_2(\phi^2)+\frac43\log^3\phi-4\log^3\phi-4i\pi\log\phi-2\mathrm{Li}_3(1) \\&=-\frac25\zeta(3) \end{align}

ポリログの計算は頑張ったらいけます

$$\sum_{n=1}^{\infty}\frac1{n^4\binom{2n}n}=\frac{17}{3240}\pi^4$$

まめけびさんが解説の 記事 を書いてくれました
多重ゼータ値での解法もあるようです

やる気が出れば更新します

投稿日:219
更新日:316
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。

投稿者

ららら
ららら
193
11676
適当に書きたいことを書きます。

コメント

他の人のコメント

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