[mathjax]
式
普通に計算したら無限大であるはずの自然数の総和が解析接続すると発散しないという面白い等式です。
\(\zeta(-1)=1+2+3+\cdots+ =-\displaystyle\frac{1}{12}\)
※\(\zeta(s)\)はゼータ関数。
\(\zeta(s)=\displaystyle\sum_{n=1}^{\infty} \displaystyle\frac{1}{n^s}\)です。
証明
\(1+x+x^2+\cdots+x^n+\cdots =\displaystyle\frac{1}{1-x}\)
※定義域は\(|x|<1\)
微分すると
\(1+2x+3x^2+\cdots+nx^{n-1}+\cdots =\displaystyle\frac{1}{(1-x)^2}\)
※定義域は\(|x|<1\)
解析接続
ここで解析接続する。解析接続は簡単に言うと定義域の拡張。
今回は\(|x|<1\)の定義域を拡張して等式に \(x=-1\) を代入する。
\(1-2+3+4-5+\cdots =\displaystyle\frac{1}{4}\)
※通常、左辺は和が \(1,-1,2,-2,\cdots\)となり、収束しない。(振動する)
この式を変形
\(\displaystyle\frac{1}{4}=1-2+3-4+5-6\cdots\)
\(=(1+2+3+4+5+\cdots+)-2(2+4+6+\cdots)\)
\(=\zeta(-1)-4\zeta(-1)=-3\zeta(-1)\)
よって \(\zeta(-1)=1+2+3+\cdots+ =-\displaystyle\frac{1}{12}\) が得られる。