ζ(3)の色々な表示方法

1664

　そういえばアペリー定数について記事を出すと言っていたので忘れない内に書いてしまいます.
というか前回の記事で一つの命題に対する色々な証明を書くとめちゃくちゃしんどかったので今回は最初のオイラーによる表示だけを証明しようと思います.(ここだけは譲れません)

オイラーによる表示(1)

$ζ (3) = \frac{2 π^{2}}{7} \log 2 + \frac{16}{7} \int_{0}^{\frac{π}{2}} x \log (\sin x) d x$

$\sum_{n : o d d} \frac{1}{n^{3}} = \frac{π^{2}}{4} \log 2 + 2 \int_{0}^{\frac{π}{2}} x \log (\sin x) d x$ を示す.(1)
$\log (1 - e^{2 i x}) = - \sum_{n = 1}^{\infty} \frac{e^{2 i n x}}{n}$ の実部を比較する.
左辺では $Re (\log (1 - e^{2 i x})) = \log | 1 - e^{2 i x} | = \log (2 \sin x)$
右辺ではオイラーの公式より $- \sum_{n = 1}^{\infty} \frac{\cos (2 n x)}{n}$ となる.
このことより、 $\log (2 \sin x) = - \sum_{n = 1}^{\infty} \frac{\cos (2 n x)}{n}$
$\log (\sin x) = - \log 2 - \sum_{n = 1}^{\infty} \frac{\cos (2 n x)}{n}$
したがって $\int_{0}^{\frac{π}{2}} \log (\sin x) d x = - \frac{π}{2} \log 2$
これにならい $I = \int_{0}^{\frac{π}{2}} x \log (\sin x) d x$ を考える.
$I = \int_{0}^{\frac{π}{2}} x (- \log 2 - \sum_{n = 1}^{\infty} \frac{\cos (2 n x)}{n}) d x$
$= - \log 2 \int_{0}^{\frac{π}{2}} x d x - \sum_{n = 1}^{\infty} \frac{1}{n} \int_{0}^{\frac{π}{2}} x \cos (2 n x) d x$
$= - \frac{π^{2}}{8} \log 2 + \frac{1}{2} \sum_{n : o d d} \frac{1}{n^{3}}$
$∴ \sum_{n : o d d} \frac{1}{n^{3}} = \frac{π^{2}}{4} \log 2 + 2 I$ より(1)が成り立つ.
また、 $\sum_{n : o d d} \frac{1}{n^{3}} = \frac{7}{8} ζ (3)$ ということから $ζ (3)$ が導ける.

オイラーによる表示(2)

$ζ (3) = \frac{π^{2}}{7} [1 - 4 \sum_{k = 1}^{\infty} \frac{ζ (2 k)}{(2 k + 1) (2 k + 2) 2^{2 k}}]$

積分表示(1)

$ζ (3) = \int_{0}^{1} \int_{0}^{1} \int_{0}^{1} \frac{1}{1 - x y z} d x d y d z$

積分表示(2)

$ζ (3) = \frac{2}{3} \int_{0}^{\infty} \frac{x^{2}}{e^{x} + 1} d x$

サイモンによる表示(1)

$ζ (3) = \frac{7}{180} π^{3} - 2 \sum_{n = 1}^{\infty} \frac{1}{n^{3} (e^{2 π n} - 1)}$

サイモンによる表示(2)

$ζ (3) = 14 \sum_{n = 1}^{\infty} \frac{1}{n^{3} \sinh (π n)} - \frac{11}{2} \sum_{n = 1}^{\infty} \frac{1}{n^{3} (e^{2 π n} - 1)} - \frac{7}{2} \sum_{n = 1}^{\infty} \frac{1}{n^{3} (e^{2 π n} + 1)}$