正規化積〜無限大が有限値に！？！？〜ドキドキワクワク正規化ライフ〜
いっけなーい！！収束収束！！
私、どこにでもいる発散無限積の無限 和積(なしきりのなごつみ)！！
今日もいけ好かない理学徒を困らせようと思ったら、いつのまにか解析接続されて有限の値に繰り込まれちゃった！！
一体私、これからどうなっちゃうの〜〜！？！？！？
注意
ここから先には変な名前の美少女のラブコメ要素はありません。
またこれを書いている人は数学の研究者でもなければ数学科生や高専生ですらありません。内容に誤りや不正確な点があるかもしれないということを念頭に置いてご覧ください。
必要な知識
特にないが、著作権の都合上いくつかの重要な部分の証明を省略しているため、Hurwitzのゼータ関数に関する知識があれば厳密な理解に役立てるだろう。
序説
さて、諸君はこのようなものを見たことがあるだろうか。
$$ 1 \times 2 \times 3 \times 4 \times ...= \prod_{n=1}^{∞} n= \sqrt{2\pi} $$
本稿ではこの摩訶不思議に思える数式を、ゼータ正規化と言う手法を用いて正当化し、他にも様々な正規化積を導出する。
解析接続とは
ゼータ正規化をやる前に、解析接続を知らなければ始まらない。
解析接続とは、ある領域でしか定義されていない関数をより広い定義域へと拡張する手法のことである。
この拡張する方法は一致の定理と言うもので一意に定まることが知られているらしい。
例えば次の無限級数$
1+x+x^2+x^3+...=\sum_{n=0}^{∞} x^n
$は高校数学でも扱い、この収束半径が1であることは簡単に示すことができる。
しかし、この等比級数は有名な次の表示を持つ。
$$
|x| \lt 1,\sum_{n=0}^{∞} x^n= \frac{1}{1-x}
$$
この式の左辺は$|x|<1$でしか定義されていないのにも関わらず、右辺はx=1を除く全ての実数(もっと言えば全ての複素数)を定義域としている。
つまり、$f(x)= \frac{1}{1-x}$は等比級数の解析接続であると言える。
Hurwitzゼータ関数の解析接続
Hurwitzのゼータ関数とは次の式で定義されるリーマンゼータ関数の一般化の一つである。
$$
ζ(s,x)= \sum_{n=0}^{∞} (n+x)^{-s}
$$
$x=1$とすると通常のリーマンゼータ関数。
右辺は$Re(s)>1$でしか収束しないが、この関数は次のような表示で全複素平面に解析接続できることが知られている。詳細は[1]を確認せよ。
$$
ζ(s,x)= \frac{1}{Γ(s)} \int_{1}^{∞}\psi(t,x)t^{s-1} dt+\frac{1}{Γ(s)} \int_{0}^{1} \{\sum_{n=-1}^{N} a_n(x)t^n\}t^{s-1}dt + \frac{1}{Γ(s)} \int_{0}^{1} \{\psi(t,x)-(\sum_{n=-1}^{N} a_n(x)t^n)\}t^{s-1} dt
$$
$$
\psi(t,x)= \frac{e^{-xt}}{1-e^{-t}} = \sum_{n=-1}^{∞} a_n(x)t^n
$$
ゼータ正規化
ゼータ正規化とは発散する和や積を有限の値に繰り込む手法のことで、特に正規化積とは数列$Λ=\{λ_n|n=0,1,2,3...\}$と一般化されたゼータ関数
$$ ζ_Λ(s)= \sum_{n=0}^{∞} λ_n^{-s} $$を用いて、次のように定義される。
$$ \prod_{n=0}^{∞} λ_n:=exp(-ζ'_Λ(0)) $$
ただし、$ζ_Λ(s)$は先ほどのHurwitzゼータ関数のようにそれぞれ$s=0$を含むように解析接続されている必要がある。
このゼータ正規化によって冒頭にあった式
$$ 1 \times 2 \times 3 \times 4 \times ...= \prod_{n=1}^{∞} n= \sqrt{2\pi} $$
を導出することができる。さらに、あとで簡単に導出できるがそれほど認知されていないと思われる正規化積も導出する。
補足:なぜ上のような定義で積の正規化ができるのかを説明する。
$ ζ'(s)=- \sum_{n=0}^{∞} log(λ_n)λ_n^{-s} $となるので、もし無限積が通常の意味で収束するならそれがそのまま値になり、発散するのであれば解析接続された値で記述することによって通常の無限積も含めた定義となっている。
レルヒの公式
レルヒの公式は、正規化積で遊ぶに当たってかなり重要な公式であるのでここで紹介する。
$$ \frac{ \partial }{ \partial s } ζ(s,x) |_{s=0}=log \frac{Γ(x)}{\sqrt{2π}} $$
証明については[1,レルヒの公式,P.22]を参照せよ。
以下ではこの公式を使って様々な正規化積を導出する。
正規化積
レルヒの公式とゼータ正規化を使い、、次の正規化積が示される。
$$ \prod_{n=0}^{∞} (n+x)= \frac{\sqrt{2\pi}}{Γ(x)} $$
$x=1$とすれば、有名な自然数の無限積
$$
\prod_{n=1}^{∞} n=\sqrt{2\pi}
$$
がわかる。さらに、私が暇つぶしで遊んでいたら導出できた式もここで紹介しておこう。
$$
\prod_{n=1}^{n} 2n=2\cdot4\cdot6\cdot8...=\sqrtπ
$$
$$
\prod_{n=1}^{∞} 2n+1= \prod_{n=1}^{∞} 2n-1=1\cdot3\cdot5\cdot7...=\sqrt2
$$
$$
\prod_{n=1}^{∞} \frac{2n}{2n+1} = \frac{2\cdot4\cdot6...}{3\cdot5\cdot7...} = \sqrt{ \frac{\pi}{2} }
$$
$$
\prod_{n=1}^{∞} an= \sqrt{ \frac{2\pi}{a} }
$$
$$
\prod_{n=1}^{∞} n^a=\sqrt{2\pi}^a
$$
$$
\prod_{n=1}^{∞} 2=\frac1{\sqrt2}
$$
$$
\prod_{n=0}^{∞} a=\sqrt{a}
$$
$$
\prod_{n=0}^{∞} \frac{4n+1}{4n+3} =
\frac{Γ( \frac{3}{4})^2 }{ \sqrt{2}\pi }
$$
これらはいくつかは工夫して計算したが、基本的に全て対応するゼータ関数を構成して忠実に$s=0$での微分係数を求め計算した。
これらの式を見比べてみると、例えば
$$
\prod_{n=1}^{n} 2n
$$
は
$$
\prod_{n=1}^{∞}2 \prod_{n=1}^{∞} n
$$
のように値を分解して計算しても結果が同じであることに気付くだろう。この結果から、正規化された積も結合律がきちんと成り立っていることがわかる。これは(自分で考えた証明が誤っていなければ)簡単に証明できるので証明は省く。
追記
過去の文献を調べたところ、正規化積は積の法則
$$
\prod_{}^{} a_nb_n= \prod_{}^{} a_n\prod_{}^{}b_n
$$
や、絶対値の交換
$$
\prod_{}^{} |a_n|= |\prod_{}a_n|
$$
は一般に不成立であるらしい。私ではよくわからなかったので詳しく知りたければ[2]を参照せよ。
続いて、この正規化された値を使って実際に収束する無限積を計算してみよう。
無限積$$
\prod_{n=1}^{∞} \frac{2n\cdot2n}{(2n-1)\cdot(2n+1)} = \frac{\pi}{2}
$$
はウォリス積と呼ばれ、計算するのにはウォリス積分と呼ばれるものを使って計算する方法と、$Γ(1/2)$や$sin(\pi/2)$との同値性を使って導く方法がある。
この収束する無限積を形式的に発散する無限積に分解し、正規化された値を当てはめてみると、$\prod_{n=1}^{n} 2n=\sqrt\pi$であり、$
\prod_{n=1}^{∞} 2n+1= \prod_{n=1}^{∞}2n-1=\sqrt2 $だったので、
$$
\prod_{n=1}^{∞} \frac{2n\cdot2n}{(2n-1)(2n+1)} =
\prod_{n=1}^{∞}2n \cdot \prod_{n=1}^{∞}2n \cdot \prod_{n=1}^{∞} \frac{1}{2n-1} \cdot \prod_{n=1}^{∞}\frac1{2n+1}
$$
$$
= \sqrt{\pi} ^2 \cdot \frac{1}{ \sqrt{2}^2 } = \frac{\pi}{2}
$$
驚くことに、本当に実際の値と一致してしまった。私も先日正規化積を触り始めた身なのでまだ詳しいことはわからないのだが、どうやらこのように正規化積とは全くのデタラメの概念という訳ではなさそうだ。
終わりに
本当は素数の無限積の正規化まで書きたかったのだが、私の時間的都合と精神的負担及びまだ厳密な証明を理解していないという事情で断念した(面倒くさいともいう)。興味がある人は'The Product Over All Primes is 4π2'とグーグルで検索をかけて探してみて欲しい。それでは。
参考文献
- 黒川重信 『現代三角関数論』 (岩波書店,2013)
- https://www.riam.kyushu-u.ac.jp/fluid/meeting/16ME-S1/papers/Article_No_22.pdf
この記事を高評価した人
この記事に送られたバッジ
投稿者
