出典: フリー百科事典『ウィキペディア(Wikipedia)』
| この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "バーゼル問題" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2015年7月) |
バーゼル問題(バーゼルもんだい、英: Basel problem)は、級数の問題の一つで、平方数の逆数全ての和はいくつかという問題である。ヤコブ・ベルヌーイやレオンハルト・オイラーなどバーゼル出身の数学者がこの問題に取り組んだことからこの名前で呼ばれる。
ピエトロ・メンゴリ
1644年にピエトロ・メンゴリ(イタリア語版、ドイツ語版)が「平方数の逆数全ての和は収束するか?仮に収束するとしてそれは幾らの数値に収束するか?」という問題を提起した。この問題は何人もの数学者が解決に挑み、中でもヤコブ・ベルヌーイは1689年にこの問題について取り組んだものの解決には至らなかった。
ベルヌーイに学んだレオンハルト・オイラーは、1735年にこの問題を平方数に限らず、自然数の偶数乗の逆数和について一般化した形式で解決した。ベルンハルト・リーマンはそのアイディアを取り入れることでゼータ関数を定義し、その性質を調べることに繋がった(1859年の論文「与えられた数より小さい素数の個数について」)。
平方数の逆数和は
![{\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{2}}}=\lim _{n\to \infty }\left({\frac {1}{1^{2}}}+{\frac {1}{2^{2}}}+\cdots +{\frac {1}{n^{2}}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e31e78ba5595af741a7ec95330868e405a67506)
と表せる。これは、ゼータ関数
![{\displaystyle \zeta (s)=\sum _{n=1}^{\infty }{n^{-s}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d92225639d1f46f292c610b5f011711f74872c3f)
の s = 2 における値 ζ(2) でもある。その値は π2/6 (= 1.644934…) である(π は円周率)。オイラー積によれば
![{\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{2}}}=\prod _{p{\text{: prime}}}{\frac {1}{1-p^{-2}}}={\frac {1}{{1-({\frac {1}{2}}})^{2}}}\cdot {\frac {1}{{1-({\frac {1}{3}}})^{2}}}\cdot {\frac {1}{{1-({\frac {1}{5}}})^{2}}}\cdot \cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3208b47fc4e4f2370af34f0d5027b546aef7fe61)
となる。
収束することの証明[編集]
比較判定法による。
、(
)であることを利用し、
![{\displaystyle {\begin{aligned}\sum _{n=1}^{\infty }{\frac {1}{n^{2}}}=1+\sum _{n=2}^{\infty }{\frac {1}{n^{2}}}<1+\sum _{n=2}^{\infty }{\frac {1}{n(n-1)}}&=1+\sum _{n=2}^{\infty }\left({\frac {1}{n-1}}-{\frac {1}{n}}\right)\\&=1+\left({\frac {1}{1}}-{\frac {1}{2}}\right)+\left({\frac {1}{2}}-{\frac {1}{3}}\right)+\left({\frac {1}{3}}-{\frac {1}{4}}\right)+\cdots \\&=2\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9ce57ddf54a8dcd9dc13ce8d75e848cde92c80b)
である。したがってこの級数は収束する。一般にゼータ関数 ζ(s) は Re s > 1 の範囲で収束する。
オイラーの解法[編集]
オイラーは、sin x のマクローリン展開を利用して解く方法を編み出した。まずは sin x を
![{\displaystyle \sin x={\frac {x^{1}}{1!}}-{\frac {x^{3}}{3!}}+{\frac {x^{5}}{5!}}-{\frac {x^{7}}{7!}}+\cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/98bf59940e38128ace6f6138fe4b441964ec3880)
と展開する。この両辺を x で割ると
![{\displaystyle (1)\qquad {\frac {\sin x}{x}}={\frac {1}{1!}}-{\frac {x^{2}}{3!}}+{\frac {x^{4}}{5!}}-{\frac {x^{6}}{7!}}+\cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f65a869255c7026e8736e261d145875833f6158d)
となる。左辺はちょうど x = ±nπ(n は正の整数)のとき 0 であるから、右辺を形式的に以下のように「因数分解」できる。
![{\displaystyle {\frac {\sin x}{x}}=\left(1-{\frac {x}{1\pi }}\right)\left(1+{\frac {x}{1\pi }}\right)\left(1-{\frac {x}{2\pi }}\right)\left(1+{\frac {x}{2\pi }}\right)\left(1-{\frac {x}{3\pi }}\right)\left(1+{\frac {x}{3\pi }}\right)\cdots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2822b417e1cd03bf2110d6179d9f3728b46939b7)
隣接する2項を掛け合わせると
![{\displaystyle (2)\qquad {\frac {\sin x}{x}}=\left(1-{\frac {x^{2}}{1^{2}\pi ^{2}}}\right)\left(1-{\frac {x^{2}}{2^{2}\pi ^{2}}}\right)\left(1-{\frac {x^{2}}{3^{2}\pi ^{2}}}\right)\cdots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a81427a368737e0601334045480be0c127f832e8)
(1) と (2) の右辺の x2 の係数は
![{\displaystyle (1)\colon -{\frac {1}{3!}}=-{\frac {1}{6}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/869296b804f17bdec6bfcc69616fc34882130115)
![{\displaystyle (2)\colon -\left({\frac {1}{1^{2}\pi ^{2}}}+{\frac {1}{2^{2}\pi ^{2}}}+{\frac {1}{3^{2}\pi ^{2}}}+\cdots \right)=-{\frac {1}{\pi ^{2}}}\sum _{n=1}^{\infty }{\frac {1}{n^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b73db1da82670b16c528424b0ef8b689894c1845)
である。これらは等しいはずなので
![{\displaystyle -{\frac {1}{\pi ^{2}}}\sum _{n=1}^{\infty }{\frac {1}{n^{2}}}=-{\frac {1}{6}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/57bbaa7ba6dde2ff878886f346eb35b6968daf92)
である。ゆえに、求める級数の値は
![{\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{2}}}={\frac {\pi ^{2}}{6}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26a915462f991c41d6da8e006e857aed0ee427cf)
である。なおオイラーは一般的に、k 番目のベルヌーイ数を Bk とすると
![{\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{2k}}}=(-1)^{k+1}{\frac {B_{2k}(2\pi )^{2k}}{2(2k)!}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c782b0364606e9783e69ee7343e7a9009814c041)
が成り立つことも示した。
フーリエ解析を用いた解法[編集]
放物線をフーリエ級数で表す方法を用いる。
![{\displaystyle f(x)={\frac {x^{2}}{4}}\quad (-\pi \leq x\leq \pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b595dc5a94c4c2048c43ada06f024a71f7c35e3)
を考える。この放物線は偶関数であるから余弦関数で展開できる:
![{\displaystyle {\frac {x^{2}}{4}}={\frac {a_{0}}{2}}+\sum _{n=1}^{\infty }a_{n}\cos nx.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c327f2b6ba29c5a026d8c50a50bee425b1bd927)
ここで
![{\displaystyle a_{0}={\frac {1}{\pi }}\int _{-\pi }^{\pi }{\frac {x^{2}}{4}}\,dx={\frac {{\pi }^{2}}{6}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba1fc595824e77824b019e62b9028c5a44f1fd25)
であり、an (n ≥ 1) は
![{\displaystyle {\frac {1}{\pi }}\int _{-\pi }^{\pi }{\frac {x^{2}}{4}}\cos nx\,dx={\frac {(-1)^{n}}{n^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/95164e424e2958d981ddc65b9df20e6bd23bc74f)
である。ゆえに、f(x) のフーリエ級数は
![{\displaystyle f(x)={\frac {\pi ^{2}}{12}}+\sum _{n=1}^{\infty }{\frac {(-1)^{n}}{n^{2}}}\cos nx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dddb9686e53448afe0fadb60bd27726afd5442a8)
であり、両辺に x = π を代入すると
![{\displaystyle {\frac {{\pi }^{2}}{4}}={\frac {{\pi }^{2}}{12}}+\sum _{n=1}^{\infty }{\frac {1}{n^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9da5da90b8d240c2591087e7030000c6e12f3837)
となる。ゆえに、バーゼル問題の解
![{\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{2}}}={\frac {{\pi }^{2}}{6}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a8ca052f15b339fcf6956decb6aee2d250387f6c)
が得られる。
関連項目[編集]
外部リンク[編集]