logo

複素解析を用いた平方数の逆数の和の計算 📂複素解析

複素解析を用いた平方数の逆数の和の計算

定理 1

n=11n2=π26 \sum_{n =1 }^{\infty} {{1} \over {n^2}} = {{ \pi ^2 } \over { 6 }}

オイラーの解法は簡潔で素晴らしいのだが、アイディアがあまりにも奇抜で実際に役立つ場面は少ない。複素解析を学ぶ最も楽しい点は、このような結果をもたらすショートカットが即座に出てくることだ。例としても良いので、直接一度解いてみよう。

証明

f(z):=1z2\displaystyle f(z) : = {{1} \over {z^2}} と定義すれば limzzf(z)=0\displaystyle \lim_{z \to \infty} z f(z) = 0 である。

全ての整数に対する級数の和公式有理函数 ff に対して limnzf(z)=0,nZ\lim_{n \to \infty} z f(z) = 0, n \in \mathbb{Z}f(n)0f(n) \ne 0 であるとしよう。ff が有限の特異点 z1,,zmz_{1}, \cdots , z_{m} を持つとき、 n=f(n)=n=1mReszn(πf(z)cotπz) \sum_{n=-\infty}^{\infty} f(n) = - \sum_{n = 1}^{m} \text{Res}_{z_{n}} (\pi f(z) \cot \pi z)

完全にそのまま適用することはできず、n0n \ne 0 についての例外処理が必要だ。

F(z):=πf(z)cotπzF(z): = \pi f(z) \cot \pi z と定義すれば、n0n \ne 0 については ResnF(z)=f(n)\text{Res}_{n} F(z) = f(n) である。

コタンジェントのローラン展開: cotz=1zz3z3452z5945cscz=1z+z6+7z3360+31z515120+ \cot z = {{1} \over {z}} - {{z} \over {3}} - {{z^{3}} \over {45}} - {{2 z^{5}} \over {945}} - \cdots \\ \csc z = {{1} \over {z}} + {{z} \over {6}} + {{7 z^{3}} \over {360}} + {{31 z^{5}} \over {15120}} + \cdots

一方、n=0n=0 の近傍では F(z)=πz2(1πzπz3π3z345) F(z) = {{\pi} \over {z^2}} \left( {{1} \over { \pi z}} - {{ \pi z} \over {3}} - {{ \pi^{3} z^{3}} \over {45}} - \cdots \right) 従って Res0F(z)=π23 \text{Res}_{0} F(z) = - {{\pi^2} \over {3}} FFnZn \in \mathbb{Z} 以外には特異点を持たず、 n=f(n)=n=1f(n)π23+n=1f(n)=0 \sum_{n=-\infty}^{\infty} f(n) = \sum_{n=-\infty}^{-1} f(n) - {{\pi^2} \over {3}} + \sum_{n=1}^{\infty} f(n) = 0 ff は偶函数なので n=1f(n)=n=1f(n)\displaystyle \sum_{n=-\infty}^{-1} f(n) = \sum_{n=1}^{\infty} f(n) であり、整理すれば n=11n2=π26 \sum_{n =1 }^{\infty} {{1} \over {n^2}} = {{ \pi ^2 } \over { 6 }}

関連資料


  1. Osborne (1999). Complex variables and their applications: p185. ↩︎