「リーマンゼータ関数」の版間の差分

提供: miniwiki
移動先:案内検索
(外部リンク)
 
(1版 をインポートしました)
 
(相違点なし)

2018/8/19/ (日) 17:30時点における最新版

ファイル:Complex zeta.jpg
複素数平面におけるリーマンのゼータ関数。点 s における色が ζ(s) の値を表しており、濃いほど 0 に近い。色調はその値の偏角を表しており、例えば正の実数は赤である。s = 1 における白い点はであり、実軸の負の部分および臨界線 Re(s) = 1/2 上の黒い点は零点である。

数学におけるリーマンゼータ関数(リーマンゼータかんすう、: Riemann zeta function)とは、

[math]\zeta (s)=\sum^{\infin}_{n=1} \frac{1}{n^s}[/math]

で表される関数 ζ のことである。素数分布の研究を始めとした解析的整数論における重要な研究対象であり、数論や力学系の研究を初め数学や物理学の様々な分野で用いられているゼータ関数と呼ばれる一連の関数のうち、最も歴史的に古いものである。リーマンのゼータ関数とも呼ばれる。

ガンマ関数を用いれば、リーマンゼータ関数を

[math] \zeta (s)=\frac{1}{\Gamma(s)} \, \int_0^\infty \!\!\! \frac{u^{s-1}}{e^u-1} \, \mathrm du [/math]

とも定義できる。

すでにオイラーがこの関数を考察して主に特殊値に関する重要な発見をしていたが、のちにより重要な貢献をしたリーマンが用いたギリシャ文字ζ による表記に因み、リーマンゼータ関数と呼ぶ。上記級数は s実部1 より真に大きい複素数のときに収束する(s = 1 のとき調和級数である)が、解析接続によって s = 1 を一位の極としそれ以外のすべての複素数において正則有理型関数となる。

ゼータ関数の特殊値

ゼータ関数に整数を代入したものをゼータ定数またはゼータ関数の特殊値と言う。任意の正の偶数 2n について

[math]\zeta (2n)=(-1)^{n+1} \, \frac{\, B_{2n}(2\pi)^{2n}}{2(2n)!}[/math]

と表せる。ここで、B2nベルヌーイ数である。また、n ≥ 1 の時、

[math]\zeta (-n)=-\frac{\, B_{n+1}\, }{\, n+1\, }[/math]

が成り立つ。s が負の偶数であれば ζ(s) = 0 であり、これらをリーマン・ゼータ関数の自明な零点と呼ぶ。これらの表示はオイラーによる。

具体的には、

[math]\zeta (0)=-\frac{1}{2}[/math]
[math]\zeta (2)=\sum^{\infin}_{n=1} {1\over{n^2}}={\pi^2 \over 6} =1.6449\dots[/math](→バーゼル問題
[math]\zeta (4)=\sum^{\infin}_{n=1} {1\over{n^4}}={\pi^4 \over 90} =1.0823\dots[/math]
[math]\zeta (6)=\sum^{\infin}_{n=1} {1\over{n^6}}={\pi^6 \over 945} =1.0173\dots[/math]
[math]\zeta (8)=\sum^{\infin}_{n=1} {1\over{n^8}}=\frac{\pi^8}{9450} =1.00407\dots[/math]
[math]\zeta (10)=\sum^{\infin}_{n=1} {1\over{n^{10}}}=\frac{\pi^{10}}{93555} =1.000994\dots[/math]
[math]\zeta (12)=\sum^{\infin}_{n=1} {1\over{n^{12}}}=\frac{691\pi^{12}}{638512875} =1.000246\dots[/math]
[math]\zeta (14)=\sum^{\infin}_{n=1} {1\over{n^{14}}}=\frac{2\pi^{14}}{18243225} =1.0000612\dots[/math]

が成り立つ。ここで、

[math]\zeta (2n) = \eta_n \, \pi^{2n}[/math]

とおくと、

[math]\eta_1 = \frac{1}{6}[/math]
[math]\eta_n =\sum_{\ell=1}^{n-1} (-1)^{\ell-1} \, \frac{\eta_{n-\ell}}{(2\ell+1)!} +(-1)^{n+1} \, \frac{n}{(2n+1)!}[/math]

が成り立つ。この漸化式はベルヌーイ数の漸化式から導かれる。

s が正の奇数のときの ζ(s) を表す簡潔な表現は得られていない。それでもラマヌジャンなどは次のような表示式を得ている。

[math]\zeta (2n+1)=2^{2n}\, \pi^{2n+1} \sum^{n+1}_{k=0} (-1)^{k+1} \, \frac{B_{2k}}{(2k)!} \, \frac{B_{2n+2-2k}}{(2n+2-2k)!} -2 \! \sum^{\infin}_{k=1} \frac{k^{\!-2n-1}}{e^{2\pi k}-1}[/math]

小さい正の奇数については、

[math]\zeta(1)=\sum^{\infin}_{n=1} {1\over {n}} = \infty[/math] (→調和級数
[math]\zeta (3)=\sum^{\infin}_{n=1} {1\over {n^3}} = 1.20205\dots[/math]アペリーの定数
[math]\zeta (5)=\sum^{\infin}_{n=1} {1\over {n^5}} = 1.03692\dots[/math]
[math]\zeta (7)=\sum^{\infin}_{n=1} {1\over {n^7}} = 1.00834\dots[/math]
[math]\zeta (9)=\sum^{\infin}_{n=1} {1\over {n^9}} = 1.002008\dots[/math]

などが数値的に成り立っている。これらに関して、

[math]\zeta (3)=\frac{\pi^2}{7} \left\{ 1-4\sum_{k=1}^\infty \frac {\zeta (2k)} {(2k+1)(2k+2) \, 2^{2k}} \right\}[/math]
[math]\zeta (5)=\frac{1}{294}\,\pi^5 -\frac{72}{35} \sum_{n=1}^\infty \frac{1}{n^5 \, (e^{2\pi n} -1)}-\frac{2}{35} \sum_{n=1}^\infty \frac{1}{n^5 \, (e^{2\pi n} +1)}[/math]
[math]\zeta (5)=12\sum_{n=1}^\infty \frac{1}{n^5 \, \sinh \pi n} -\frac{39}{20} \sum_{n=1}^\infty \frac{1}{n^5 \, (e^{2\pi n} -1)} -\frac{1}{20} \sum_{n=1}^\infty \frac{1}{n^5 \, (e^{2\pi n} +1)}[/math]
[math]\zeta (7)=\frac{19}{56700}\, \pi^7 -2\sum_{n=1}^\infty \frac{1}{n^7 \, (e^{2\pi n} -1)}[/math]

という級数が知られている。アペリーの定理によると ζ(3) は無理数である(1978年、ロジェ・アペリ)。

オイラー積

ゼータ関数と素数との最初の関連はオイラーによって示された。全ての素数 p をわたる無限積によってリーマンゼータ関数は

[math]\zeta (s)=\prod_{p:\text{prime}}\! \frac {1}{1-p^{-s}}[/math]

という表示を持つ。これをオイラー積あるいはオイラー表示という。この無限積が Re s > 1 のときゼータ関数に絶対収束していることは、幾何級数(等比級数)の公式

[math]\frac{1}{1-p^{ -s}} =\sum_{n=0}^{\infty} (p^{-s})^n =1+p^{\! -s} +p^{\! -2s} +\cdots[/math]

が絶対収束すること(特に有限和のように分配法則が成り立つこと)に注意して、十分に大きな素数 p を固定し、それ以下の素数 p をわたる有限積を作り、その p → ∞ とした極限を考えることで示すことができる。この部分有限積の展開について、自然数 n の最大素因数が p であれば、そこまでの有限積の中に n が含まれるため、上のようなゼータ関数のオイラー積表示が成り立っている。

ゼータ関数の表示と関数等式

ゼータ関数は次のような表示も持つ:

[math]\zeta(s)=\exp\!\left(\frac{\gamma +\log \pi}{2}\,s-\log 2\right) \frac{1}{s-1}\, \prod_{\rho}\left(1-\frac{s}{\rho}\right)\, \prod^{\infin}_{n=1} \left(1+ \frac{s}{2n}\right)e^{\!-{s/2n}}[/math]

ここで ρ に関する積はリーマン・ゼータ関数の複素零点全体をわたるものとする。この式から、

[math]\zeta(s)-\frac{1}{s-1}[/math]

整関数であることが分かる。実際

[math]\zeta (s)-\frac{1}{s-1} =\gamma -\gamma_1 (s-1)+\gamma_2 (s-1)^2 -\dots[/math]

ここで γオイラーの定数γiスティルチェス定数と呼ばれているものである。オイラーは1749年に

[math]\zeta (s)(1-{2^{\,1-s} })= \sum_{n=1}^\infty \frac{(-1)^{n+1}}{n^s}[/math]

という式を推測している。

またゼータ関数は、リーマンの1859年の論文『与えられた数より小さい素数の個数について』の中で

[math]\zeta (s)=2^s\, \pi^{s-1} \, \sin \left( \frac{\pi s}{2} \right)\, \Gamma(1-s)\, \zeta (1-s)[/math]

という関数等式を持つことが示された。ここで Γガンマ関数である。これは複素解析的関数の解析接続が初めて明示的に行われた例である。s = −2nn は正の整数)を代入すると

[math]\zeta (-2n) = 2^{-2n}\, \pi ^{\! -2n-1} \sin(-n\pi) \, \Gamma \! (1 + 2n) \zeta(1 + 2n)[/math]
sin (−) = 0 であり他の因子は有限値なので ζ(−2n) = 0 である。したがって −2n はゼータ関数の零点である。

次のように修正されたゼータ関数(これは実質的にリーマンによって導入され、完備化されたゼータ関数と呼ばれる)

[math]\xi (s)=\pi^{\!-s/2} \,\, \Gamma \! \left( \frac{s}{2} \right)\, \zeta (s)[/math]

s1 − s に関する以下のような対称的な関数等式を持つ:

[math] \xi (s)= \xi (1-s) [/math]

リーマンのクシー関数も参照。)

ゼータ関数と数論的関数

ゼータ関数を適当に組み合わせることにより、様々な数論的関数を係数とするディリクレ級数の母関数を得ることができる。

たとえば、ゼータ関数の逆数メビウス関数 μ(n) を用いて

[math]\frac{1}{\zeta (s)} = \sum_{n=1}^{\infin} \frac{\mu (n)}{n^s}[/math]

と表せる。この式と ζ(2) の値から、分布が一様であるという仮定の下、任意に取り出した2つの整数が互いに素である確率[math]\frac{6}{\pi^2}[/math] であることが証明できる。

自然数 n の(正の)約数の個数を d(n)、全ての約数の和を σ(n) で表すとき、

[math] {\zeta (s)}^2 =\sum_{n=1}^\infin \frac{d(n)}{n^s} [/math]
[math] {\zeta (s)}\,{\zeta (s-1)} =\sum_{n=1}^\infin \frac{\sigma (n)}{n^s} [/math]

が成り立ち、また、n と互いに素な n 以下の自然数の個数を オイラーのφ関数 φ(n) で表すとき、

[math]\frac{\zeta (s-1)}{\zeta (s)} =\sum_{n=1}^\infin \frac{\varphi (n)}{n^s}[/math]

なども成り立つ。

ゼータ関数と素数の個数関数

以下に素数分布、すなわち素数の個数関数 π(x) とゼータ関数との関係を述べる。

まずゼータ関数のオイラー積表示の両辺において対数をとり、テイラー展開で和の中の対数を展開する:

[math]\log \zeta (s)=\log \prod_p \frac{1}{1-p^{\!-s}} =\sum_p \log \frac{1}{1-p^{-s}} = \sum_p \sum_{n=1}^\infin \frac{1}{np^{\,ns}} =\sum_{n=1}^\infin \frac{1}{n} \,\sum_p \frac{1}{p^{\,ns}}[/math]

ここで各 n ≥ 1 について

[math]\frac{1}{p^{\,ns}} =s\!\int^{\infin}_{p^n} \!\!x^{\!-s-1} \,dx[/math]

と変形して、先の式に代入すると

[math]\log \zeta(s)=\sum_{n=1}^\infin\! \frac{1}{n}\, \sum_p \frac{1}{p^{\,ns}} =s\!\sum_{n=1}^\infin \!\frac{1}{n}\, \sum_p \!\int^\infin_{p^n} \!\! x^{\!-s-1} \,dx = s\!\sum_{n=1}^\infin \frac{1}{n} \,\int^\infin_1 \!\! \pi (x^{1/n} ) \,x^{\!-s-1} \,\mathrm dx[/math]

通常

[math]\Pi (x)=\sum_{n=1}^\infin \frac{1}{n}\, \pi (x^{1/n})[/math]

と置いて、最終的に上式は次のように書かれる。

[math]\frac{\log \zeta (s)}{s} =\int^\infin_1\!\! \Pi (x)\,x^{\!-s-1}\, \mathrm dx[/math]

この公式に、メリン変換などと呼ばれる積分の反転公式を使うと、π(x) を表示する公式を求めることができる。この公式は、リーマンの素数公式、あるいは明示公式 (explicit formula) などと呼ばれている。なおメビウスの反転公式によって π(x)

[math] \pi (x)=\sum_{n=1}^\infin \frac{\mu (n)}{n}\, \Pi (x^{1/n}) [/math]

と書けることを注意しておこう。

ゼータ関数の零点の分布に関する未解決問題であるリーマン予想は、素数公式の近似精度に関連している。この予想は純粋数学における最も重要な未解決問題であると考える数学者は多い。

関連項目

外部リンク

参考文献

  • 本橋洋一、解析的整数論 I -- 素数分布論 --、朝倉書店、東京 2009. ISBN 978-4-254-11821-6
  • Motohashi, Yoichi, "Spectral Theory of the Riemann Zeta-Function". Cambridge University Press, 1997. ISBN 9780521445207
  • Harold M. Edwards, Riemann's Zeta Function, Dover Publications, 2001. ISBN 0486417409
  • E. C. Titchmarsh, The Theory of the Riemann Zeta-Function, Oxford University Press: USA, 2nd ed. (rev. by D. R. Heath-Brown), 1987. ISBN 0198533691
  • 日本数学会 『岩波数学辞典(第3版)』 岩波書店、1985年。ISBN 4000800167
  • 松本耕二 『リーマンのゼータ関数』 朝倉書店、2005年。ISBN 4254117310
  • 小山信也 『素数とゼータ関数』 共立出版、2015年。ISBN 9784320112001