この記事は留数定理については学習済みであることを前提にしています。
今日はリーマン・ゼータ関数\begin{align}\displaystyle\zeta(s)=\sum_{n=1}^\infty \cfrac{1}{n^s}\end{align}の が正の偶数のときの値 を留数定理を使って計算します。
はベルヌーイ数というものを使って表すことができるのですが,留数定理を用いることによって,なぜベルヌーイ数が出てくるのか,その理由もはっきりします。
留数定理
留数定理を復習しておきましょう。 が でのローラン展開 \begin{align}\displaystyle f(z)=\sum_{n=-N}^\infty a_n (z-c)^n\end{align}を持つとき, を の における留数と呼びます。
ベルヌーイ数
は原点の近傍で正則で,そのテーラー展開 \begin{align}\cfrac{z}{e^z-1}=\sum_{n=0}^\infty \cfrac{B_n}{n!}z^n\end{align}で定まる をベルヌーイ数と呼ぶ。
であり, は有理数となります。また, は が 以上の奇数のとき になることが知られています。
の値
ベルヌーイ数を用いて,ゼータ関数 の正の偶数での値を表すことができます。
を正整数とする。
\begin{align}\zeta(2k)=\cfrac{1}{2}\cdot \cfrac{ ( - 1 )^{k - 1 } (2\pi)^{2k} B_{2k} }{(2k)!}\end{align}
証明
とし,\begin{align}g(z)=\cfrac{f(2\pi i z)}{z^{2k+1}}=\cfrac{2\pi i}{z^{2k}}\cdot\cfrac{1}{e^{2\pi i z}-1}\end{align}とおく。 を正整数とし, を図のような,1辺が である正方形の積分経路とする。
の に囲まれる領域における特異点は となる整数 で, は位数 の極で, は位数 の極になっている。 における留数は,\begin{align}g(z)=\cfrac{1}{z^{2k+1}} \sum_{n=0}^\infty \cfrac{B_n}{n!}(2\pi i z)^n=\sum_{n=0}^\infty \cfrac{(2\pi i)^nB_n}{n!}z^{n-2k-1}\end{align}なので,\begin{align}\mathrm{Res}(g(z); 0) = \cfrac{(2\pi i)^{2k}B_{2k}}{(2k)!}=\cfrac{(-1)^k(2\pi)^{2k}B_{2k}}{(2k)!} \end{align}となる。また,その他の留数は とすると
\begin{eqnarray*}
\mathrm{Res}(g(z); n) &=& \lim_{z\to n} g(z)(z-n)=\lim_{z\to n} \cfrac{2\pi i}{z^{2k}}\cdot\cfrac{z-n}{e^{2\pi i z}-1}=\cfrac{2\pi i}{(n^{2k})}
\left( \cfrac{d e^{2\pi i z}}{dz}\bigg|_{z=n}\right)^{-1}=\cfrac{1}{n^{2k}}\\
\mathrm{Res}(g(z); -n) &=& \lim_{z\to -n} g(z)(z+n)=\lim_{z\to -n} \cfrac{2\pi i}{z^{2k}}\cdot\cfrac{z+n}{e^{2\pi i z}-1}=\cfrac{2\pi i}{(n^{2k})}
\left( \cfrac{d e^{2\pi i z}}{dz}\bigg|_{z=-n}\right)^{-1}=\cfrac{1}{n^{2k}}\\
\end{eqnarray*}となる。よって留数定理より\begin{align}\cfrac{1}{2\pi i}\oint_{\Gamma_N} g(z)dz=\sum_{n=-N}^N \mathrm{Res}(g;n) =\cfrac{(-1)^k(2\pi)^{2k}B_{2k}}{(2k)!}+2\sum_{n=1}^N \cfrac{1}{n^{2k}}\end{align}となる。
ここで が示されれば,上式で として目的の等式 \begin{align}\sum_{n=1}^\infty \cfrac{1}{n^{2k}}=\cfrac{1}{2}\cdot \cfrac{( - 1 )^{k - 1 } (2\pi)^{2k}B_{2k} }{(2k)!}\end{align}が得られる。
以下で を示す。
上の点 に対し,\begin{align}|g(z)|=\cfrac{2\pi}{|z|^{2k}}\cdot\cfrac{1}{|e^{-2\pi y\pm(N+1/2)\cdot 2\pi i }-1|}
=\cfrac{2\pi}{|z|^{2k}}\cdot\cfrac{1}{e^{-2\pi y}+1}< \cfrac{2\pi}{N^{2k}}\end{align} 上の点 に対し,\begin{align}|g(z)|=\cfrac{2\pi}{|z|^{2k}}\cdot\cfrac{1}{|e^{-2\pi(N+1/2) + 2\pi i x }-1|}<\cfrac{2\pi}{N^{2k}} \cdot\cfrac{1}{1 - e^{ - 2\pi(N+1/2)}} \le \cfrac{2\pi}{N^{2k}} \cdot\cfrac{1}{1 - e^{ - \pi}}\end{align} 上の点 に対し,\begin{align}|g(z)|=\cfrac{2\pi}{|z|^{2k}}\cdot\cfrac{1}{|e^{2\pi(N+1/2) + 2\pi i x }-1|}
\cfrac{2\pi}{N^{2k}} \cdot\cfrac{1}{e^{2\pi(N+1/2)-1}} \le \cfrac{2\pi}{N^{2k}} \cdot\cfrac{1}{e^{\pi}-1} \end{align}以上より, に依存しないある定数 を用いて, 上で と上から評価できる。よって \begin{align}\left| \cfrac{1}{2\pi i}\oint_{\Gamma_N} g(z)dz\right| \le \cfrac{1}{2\pi}\cdot |g(z)|\cdot \mathrm{length} (\Gamma_N) <\cfrac{ 4M(2N+1)}{2\pi N^{2k}}\to 0 ~(N\to\infty)\end{align}となるので である。
証明終
他にもいろいろな証明方法があるようですが,ベルヌーイ数が出てくる理由が分かりやすいので,お気に入りの証明です。