【徹底解説】リーマンゼータ関数とバーゼル問題

2022年2月21日

本記事は「これなら分かる！はじめての数理統計学」シリーズに含まれます。

不適切な内容があれば，記事下のコメント欄またはお問い合わせフォームよりご連絡下さい。

リーマンゼータ関数とバーゼル問題

$s$ を複素数， $n$ を自然数とするとき，リーマンゼータ関数は以下のように定義される。

\begin{aligned} (1) & ζ (s) & = \sum_{n = 1}^{\infty} \frac{1}{n^{s}} \end{aligned}

特に， $ζ (2)$ はバーゼル問題として知られていて，オイラーによって値が求められた。

\begin{aligned} (2) & ζ (2) & = \frac{π^{2}}{6} \end{aligned}

リーマンゼータ関数は，リーマン予想に代表されるように未だに分かり切っていない側面がある関数でもありますが，数学的に非常に重要な役割を果たします。

オイラーは，平方和の逆数の全ての和が出現する手法として正弦波のマクローリン展開を考えました。

\begin{aligned} (3) & \sin x & = \frac{x^{1}}{1!} - \frac{x^{3}}{3!} + \frac{x^{5}}{5!} - \frac{x^{7}}{7!} + \dots \end{aligned}

両辺を $x$ で割ります。

\begin{aligned} (4) & \frac{\sin x}{x} & = \frac{1}{1!} - \frac{x^{2}}{3!} + \frac{x^{4}}{5!} - \frac{x^{6}}{7!} + \dots \end{aligned}

一方で， $\sin x / x$ は $x = \pm n π$ のときに $0$ となるため，以下のように因数分解されます。

\begin{aligned} (5) & \frac{\sin x}{x} & = (1 - \frac{x}{π}) (1 + \frac{x}{π}) (1 - \frac{x}{2 π}) (1 - \frac{x}{2 π}) \dots \end{aligned}

隣接する二項を掛け合わせます。

\begin{aligned} (6) & \frac{\sin x}{x} & = (1 - \frac{1}{1^{2} π^{2}} x^{2}) (1 - \frac{1}{2^{2} π^{2}} x^{2}) \dots \end{aligned}

我々が求めたいのは平方和の逆数の全ての和ですので，式( $6$ )において出現してくれた $x^{2}$ の係数に注目します。

\begin{aligned} (7) & - (\frac{1}{1^{2} π^{2}} + \frac{1}{2^{2} π^{2}} + \dots) & = - \frac{1}{π^{2}} \sum_{n = 1}^{\infty} \frac{1}{n^{2}} \end{aligned}

一方，式( $4$ )における $x^{2}$ の係数は以下でした。

\begin{aligned} (8) & - \frac{1}{3!} & = - \frac{1}{6} \end{aligned}

式( $7$ )と式( $8$ )が等しいことより，式( $2$ )が導かれます。

本稿の執筆にあたり参考にした文献は，以下でリストアップしております。

シェアはこちらからお願いします！