リーマンゼータ関数

複素数平面上のリーマンゼータ関数。点 テンプレート:Math における色が テンプレート:Math の値を表しており、濃いほど テンプレート:Math に近い。色調はその値の偏角を表しており、例えば正の実数は赤である。テンプレート:Math における白い点は極であり、実軸の負の部分および臨界線 テンプレート:Math 上の黒い点は零点である。

19世紀を代表する数学者、ベルンハルト・リーマン。

数学におけるリーマンゼータ関数（リーマンゼータかんすう、テンプレート:Lang-en-short、テンプレート:Lang-de-short、テンプレート:Lang-zh-short）は、18世紀にバーゼル問題を解決したレオンハルト・オイラーによる（現在リーマンゼータ関数と呼ばれる）関数の特殊値に関する重要な発見から始まり、後世により重要な貢献をしたベルンハルト・リーマンが用いた [[ギリシャ文字|テンプレート:Math]] による表記にちなみ、リーマンゼータ関数またはリーマンのゼータ関数とも呼ばれる。リーマンゼータ関数は、数学の分野のひとつである解析的整数論において素数分布の研究をはじめとした重要な研究対象であり、数論や力学系の研究をはじめ数学や物理学などの様々な分野で用いられているゼータ関数と呼ばれる一連の関数の中でも、最も歴史的に古いものである。

リーマンゼータ関数は、テンプレート:Math を複素数、テンプレート:Math を自然数とするとき、

$\zeta (s):=\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^s}=1+\frac{1}{2^s}+\frac{1}{3^s}+\frac{1}{4^s}+\cdots$

で定義される関数 テンプレート:Math のことをいう。上記の級数は テンプレート:Math の実部が テンプレート:Math より真に大きい複素数のとき，すなわち テンプレート:Math のときに収束する（なお テンプレート:Math のとき調和級数となり発散する）が、解析接続によって テンプレート:Math を一位の極とし、それ以外のすべての複素数において正則な有理型関数となる。

整数論に対するリーマン予想とその応用の重要性が際立っているため、リーマンゼータ関数に関連するトピックは依然として数学研究の中心分野として残っている。特に、テンプレート:仮リンク、ジャック・アダマール、テンプレート:仮リンク、ゴットフレイ・ハーディ、ジョン・リトルウッド、アトル・セルバーグ、テンプレート:仮リンク、テンプレート:仮リンクなどの数学者により、リーマンゼータ関数は決定的な進歩を遂げた。

解析接続

ディリクレ級数とオイラー積

ゼータ関数の重要な特徴は素数との関わりが深いことであり、この関係を最初に発見したオイラーにちなんでオイラー積と名付けられた。任意の自然数は、一意の素因数分解をもつ。このため テンプレート:Math とし、

$\prod _{p\text{:prime}}\sum _{n_p=0}^{\mathrm{\infty }}\frac{1}{p^{s\cdot n_p}}=(1+\frac{1}{2^s}+\frac{1}{2^{2s}}+\cdots )(1+\frac{1}{3^s}+\frac{1}{3^{2s}}+\cdots )(1+\frac{1}{5^s}+\frac{1}{5^{2s}}+\cdots )\cdots$

を考え、右辺の括弧を展開すれば、右辺にはどのような自然数 テンプレート:Math についても テンプレート:Math が一度だけ現れる。このため次が成り立つ。

$\zeta (s)=\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^s}=\prod _{p\text{:prime}}\sum _{n_p=0}^{\mathrm{\infty }}\frac{1}{p^{s\cdot n_p}}=\prod _{p\text{:prime}}\sum _{n_p=0}^{\mathrm{\infty }}{p}^{-s\cdot n_p}=\prod _{p\text{:prime}}\frac{1}{1-p^{-s}}$

ただし、無限積はすべての素数 テンプレート:Math について取る。これが、リーマンゼータ関数のオイラー積表示である。これを拡張し、ディリクレ級数は以下の式の左辺で定義され、一方右辺はそのオイラー積で、実部が テンプレート:Math より大きい複素数 テンプレート:Math に対して、関数 テンプレート:Math が乗法的関数（すなわち テンプレート:Math が成り立つ関数）であるのならば、

$\sum _{n=1}^{\mathrm{\infty }}\frac{f(n)}{n^s}=\prod _{p\text{:prime}}\frac{1}{1-f(p)p^{-s}}$

と表示される。

メリン変換

ゼータ関数を解析接続するためには、オイラーが導入したガンマ関数 テンプレート:Math が必要となる。ガンマ関数 テンプレート:Math は、テンプレート:Math となる複素数の範囲で、

$𝛤(s)=\underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-t}{t}^{s-1}\mathrm{d}t$

のように定義されており、ここにおいて テンプレート:Math と変数を変換し、積分変数を テンプレート:Math と決定すれば、

$𝛤(s)=\underset{0}{\overset{\mathrm{\infty }}{\int }}{n}^s{e}^{-nx}{x}^{s-1}\mathrm{d}x$

から、

$\frac{1}{n^s}=\frac{1}{𝛤(s)}\underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-nx}{x}^{s-1}\mathrm{d}x$

となる。これをゼータ関数に代入したとき、被積分関数は広義一様に絶対収束するため項別に積分する（極限と積分を入れ替える）ことができて、

$\zeta (s)=\frac{1}{𝛤(s)}\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{x^{s-1}}{e^x-1}\mathrm{d}x$

となる。これによって、リーマンゼータ関数 テンプレート:Math が積分によって表示された。

解析接続

まず、ゼータ関数が テンプレート:Math のもとで絶対収束することを以下に証明する。 テンプレート:Math proof

前項でゼータ関数の積分表示を示した。すなわち、

$\zeta (s)=\frac{1}{𝛤(s)}\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{x^{s-1}}{e^x-1}\mathrm{d}x$

である。この積分表示に対して、ベルヌーイ数の指数型母関数を テンプレート:Math とおき、さらに、

$g(s)=\underset{0}{\overset{1}{\int }}\frac{x^{s-1}}{e^x-1}\mathrm{d}x+\underset{1}{\overset{\mathrm{\infty }}{\int }}\frac{x^{s-1}}{e^x-1}\mathrm{d}x$

のように記述すれば、

$g(s)=\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^{s-2}f(x)\mathrm{d}x$

であり、テンプレート:Math は テンプレート:Math で収束する。これに部分積分を適用すると、

$g(s)=[\frac{x^{s-1}}{s-1}f(x){]}_0^{\mathrm{\infty }}-\frac{1}{s-1}\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^{s-1}{f}^{\prime }(x)\mathrm{d}x$

が得られる。

ゼータ関数の特殊値

テンプレート:Main リーマンゼータ関数に整数を代入した際の値をリーマンゼータ値または単にゼータ値という。任意の正の偶数 テンプレート:Math に対して、

$\zeta (2n)=\frac{(-1{)}^{n+1}(2\pi {)}^{2n}{B}_{2n}}{2(2n)!}$

と表すことができる。ここで、テンプレート:Math は テンプレート:Math 番目のベルヌーイ数である。

また テンプレート:Math のとき、

$\zeta (-n)=\frac{(-1{)}^n{B}_{n+1}}{n+1}$

が成り立つ。

しかるに複素数 テンプレート:Math が負の偶数であれば テンプレート:Math であり、これらをリーマンゼータ関数の 自明な零点 と呼ぶ。これらの表示はオイラーによる。具体的には、

$\zeta (0)=-\frac{1}{2}$

$\zeta (2)=\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^2}=\frac{{\pi }^2}{6}=1.6449\dots$（→バーゼル問題）

$\zeta (4)=\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^4}=\frac{{\pi }^4}{90}=1.0823\dots$

$\zeta (6)=\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^6}=\frac{{\pi }^6}{945}=1.0173\dots$

$\zeta (8)=\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^8}=\frac{{\pi }^8}{9450}=1.00407\dots$

$\zeta (10)=\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^{10}}=\frac{{\pi }^{10}}{93555}=1.000994\dots$

$\zeta (12)=\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^{12}}=\frac{691{\pi }^{12}}{638512875}=1.000246\dots$

$\zeta (14)=\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^{14}}=\frac{2{\pi }^{14}}{18243225}=1.0000612\dots$

が成り立つ。ここで、

$\zeta (2n)={\eta }_n{\pi }^{2n}$

とおくと、

${\eta }_1=\frac{1}{6}$

${\eta }_n=\sum _{\ell =1}^{n-1}(-1{)}^{\ell -1}\frac{{\eta }_{n-\ell }}{(2\ell +1)!}+(-1{)}^{n+1}\frac{n}{(2n+1)!}$

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

$s$$=2n+1,\{n\mid n\in {\mathbb{Z}}^{+}\}$、つまり、3以上の正の奇数の場合、積分表示をすれば次の通りである。尚、次の $B_{2n+1}(x)$ は、ベルヌーイ多項式である。

$\zeta (2n+1)=\frac{(-1{)}^{n+1}(2\pi {)}^{2n+1}}{2\cdot (2n+1)!}\underset{0}{\overset{1}{\int }}\frac{B_{2n+1}(x)}{\tan (\pi x)}\mathrm{d}x$

またラマヌジャンなどは彼が産み出した保型形式により次のような表示式を得ている。尚、$B_n$はベルヌーイ数である。

$\zeta (4n-1)=\frac{(2\pi {)}^{4n-1}}{2}\sum _{k=0}^{2n}(-1{)}^{k+1}\frac{B_{2k}}{(2k)!}\frac{B_{4n-2k}}{(4n-2k)!}-2\sum _{k=1}^{\mathrm{\infty }}\frac{k^{-4n+1}}{e^{2\pi k}-1}$

$\zeta (4n+1)=\frac{(2\pi {)}^{4n+1}}{2^{4n+1}-2}\sum _{k=0}^{2n+1}(-1{)}^{k+1}\frac{2^{2k}{B}_{2k}}{(2k)!}\frac{B_{4n+2-2k}}{(4n+2-2k)!}-\frac{2^{4n+1}}{2^{4n}-1}\sum _{k=1}^{\mathrm{\infty }}\frac{k^{-4n-1}}{e^{\pi k}+(-1{)}^k}$

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

$\zeta (1)=\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n}=\mathrm{\infty }$ （→調和級数）

$\zeta (3)=\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^3}=1.20205\dots$（アペリーの定数）

$\zeta (5)=\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^5}=1.03692\dots$

$\zeta (7)=\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^7}=1.00834\dots$

$\zeta (9)=\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^9}=1.002008\dots$

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

$\zeta (3)=\frac{{\pi }^2}{7}\{1-4\sum _{k=1}^{\mathrm{\infty }}\frac{\zeta (2k)}{(2k+1)(2k+2)2^{2k}}\}$

$\zeta (5)=\frac{1}{294}{\pi }^5-\frac{72}{35}\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^5(e^{2\pi n}-1)}-\frac{2}{35}\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^5(e^{2\pi n}+1)}$

$\zeta (5)=\frac{1}{270}{\pi }^5-\frac{32}{15}\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^5(e^{\pi n}+(-1{)}^n)}$

$\zeta (5)=12\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^5\sinh \pi n}-\frac{39}{20}\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^5(e^{2\pi n}-1)}-\frac{1}{20}\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^5(e^{2\pi n}+1)}$

$\zeta (7)=\frac{19}{56700}{\pi }^7-2\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^7(e^{2\pi n}-1)}$

という級数が知られている。アペリーの定理によると テンプレート:Math は無理数である（1978年、ロジェ・アペリ）。また、テンプレート:Mathのうち少なくとも1つは無理数であること、テンプレート:Mathのうち無限個は無理数であることも証明されている。

また負の奇数に対しては代数的K理論のK群を用いた表示がRognes-Weibelにより得られている：kを1以上の整数とすると

$\zeta (1-2k)=2\cdot (-1{)}^k\cdot \frac{|K_{4k-2}(\mathbb{Z})|}{|K_{4k-1}(\mathbb{Z})|}$

級数との関係

ゼータ関数と級数の関係の視覚化。 黄色線はk=1...50に対する$k^{-s}$を表し、これらの連結は級数を表す。赤の破線は$\frac{n^{-s+1}}{-s+1}+\zeta (s)$を表す。緑線はsの実数部を-0.5から1.5まで変化させたときの$\zeta (s)$の軌道を表す。オレンジの線は級数の軌道を表す。

ゼータ関数と級数の関係の視覚化。緑線はsの虚数部を0.01から10まで変化させたときの$\zeta (s)$の軌道を表す。

複素平面上で複素数はベクトルとして表され、和はベクトルの和で表される。このため級数

$\sum _{k=1}^n{k}^{-s}$

は $k=1..n$ に対する $k^{-s}$ を連結したものとなる。この図形は$n$が大きくなると、$\zeta (s)$を中心とする螺旋に漸近する。実際に$n$が大きいとき以下の近似式が成り立つ。

$\sum _{k=1}^n{k}^{-s}\approx \frac{n^{-s+1}}{-s+1}+\zeta (s)$

このことは $\zeta (s)$ が オイラー・マスケローニ定数の一般化とみなせることを示している。

$\mathrm{R}\mathrm{e}(s)>1$ のとき、$n$を変化させたときの $\frac{n^{-s+1}}{-s+1}$ が描く軌跡は原点に収束する螺旋となり、$\mathrm{R}\mathrm{e}(s)=1$ のとき、原点を中心とする半径 $\frac{1}{\mathrm{I}\mathrm{m}(s)}$ の円、$\mathrm{R}\mathrm{e}(s)<1$ のとき、原点を中心として外に広がる螺旋となる。このために、級数は$\mathrm{R}\mathrm{e}(s)>1$で$\zeta (s)$に収束し、それ以外の場合は「 $\zeta (s)$ を中心として」発散する。

$s=1+iy$ とし、$y$ を 0 に近づけると、$\zeta (s)$ の実数部はオイラー・マスケローニ定数に収束し、虚数部は$y$が正の方向から近づくとき$-\mathrm{\infty }$、$y$が負の方向から近づくとき$\mathrm{\infty }$ となる。

オイラー積

ゼータ関数と素数との最初の関連はオイラーによって示された。リーマンゼータ関数は、全ての素数 テンプレート:Mvar に関する無限積である

$\zeta (s)=\prod _{p:\text{prime}}\frac{1}{1-p^{-s}}$

という形で表すことができる。これをオイラー積あるいはオイラー表示という。この無限積が sの実部テンプレート:Math のときゼータ関数に絶対収束していることは、幾何級数（等比級数）の公式

$\frac{1}{1-p^{-s}}=\sum _{n=0}^{\mathrm{\infty }}(p^{-s}{)}^n=1+p^{-s}+p^{-2s}+\cdots$

が絶対収束すること（特に有限和のように分配法則が成り立つこと）に注意して、十分に大きな素数 テンプレート:Mvar を固定し、それ以下の素数 テンプレート:Mvar をわたる有限積を作り、その$p\to \mathrm{\infty }$ とした極限を考えることで示すことができる。この部分有限積の展開について、自然数 テンプレート:Mvar の最大素因数が テンプレート:Mvar であれば、そこまでの有限積の中に テンプレート:Mvar が含まれるため、上のようなゼータ関数のオイラー積表示が成り立っている。テンプレート:節リンクも参照。

オイラー積に基づく等式

２つのゼータ関数値の関係を表す、次の等式がある。

$\prod _{p:\text{prime}}\frac{p^s+1}{p^s-1}=\frac{\zeta (s{)}^2}{\zeta (2s)},\{s\mid s\in {ℝ}^{\mathbb{+}}\}$

この等式は、次の通りオイラー積に基づく単純な式変形により導かれる。

$\prod _{p:\text{prime}}\frac{p^s+1}{p^s-1}=\prod _{p:\text{prime}}\frac{p^s+1}{p^s-1}\frac{p^s-1}{p^s-1}=\prod _{p:\text{prime}}\frac{1-p^{-2s}}{(1-p^{-s}{)}^2}=\frac{\zeta (s{)}^2}{\zeta (2s)}$．

この等式の発見者について、オイラーは包括的なオイラー積の生みの親であるが、ラマヌジャンはテンプレート:Mathの場合を発見していたとされる。

テンプレート:Mathの場合、等式は次の通りである。

$\prod _{p:\text{prime}}\frac{p^2+1}{p^2-1}=\frac{\zeta (2{)}^2}{\zeta (4)}={\left(\frac{{\pi }^2}{6}\right)}^2/\left(\frac{{\pi }^4}{90}\right)=\frac{5}{2}$．

テンプレート:Math が正の偶数の場合、ゼータ関数の特殊値より、この等式の値は、ベルヌーイ数と整数階乗のみの計算となるため、結果的に有理数となる。

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

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

$\zeta (s)=\exp (\frac{\gamma +\log \pi }{2}s-\log 2)\frac{1}{s-1}\prod _{\rho }(1-\frac{s}{\rho })\prod _{n=1}^{\mathrm{\infty }}(1+\frac{s}{2n})e^{-s/2n}$

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

$\zeta (s)-\frac{1}{s-1}$

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

$\zeta (s)-\frac{1}{s-1}=\gamma -{\gamma }_1(s-1)+{\gamma }_2(s-1{)}^2-\dots$

ここで テンプレート:Mvar はオイラーの定数、テンプレート:Math はスティルチェス定数と呼ばれているものである。オイラーは1749年に

$\zeta (s)(1-2^{1-s})=\sum _{n=1}^{\mathrm{\infty }}\frac{(-1{)}^{n+1}}{n^s}$

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

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

$\zeta (s)=2^s{\pi }^{s-1}\sin \left(\frac{\pi s}{2}\right)\mathrm{\Gamma }(1-s)\zeta (1-s)$

という関数等式を持つことが示された。ここで テンプレート:Math はガンマ関数である。これは複素解析的関数の解析接続が初めて明示的に行われた例である。

テンプレート:Math （テンプレート:Mvar は正の整数）を代入すると

$\zeta (-2n)=2^{-2n}{\pi }^{-2n-1}\sin (-n\pi )\mathrm{\Gamma }(1+2n)\zeta (1+2n)$

テンプレート:Math であり他の因子は有限値なので テンプレート:Math である。したがって テンプレート:Math はゼータ関数の零点である。

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

$\xi (s)={\pi }^{-s/2}\mathrm{\Gamma }\left(\frac{s}{2}\right)\zeta (s)$

は テンプレート:Mvar と テンプレート:Math に関する以下のような対称的な関数等式を持つ：

$\xi (s)=\xi (1-s)$

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

また、次のような重積分でも表記できる。

$\zeta (n)=\underset{0}{\overset{1}{\int }}\underset{0}{\overset{1}{\int }}\underset{0}{\overset{1}{\int }}\cdots \underset{0}{\overset{1}{\int }}\frac{1}{1-x_1{x}_2{x}_3\cdots x_n}d{x}_{1}d{x}_{2}d{x}_3\cdots d{x}_n$

$\zeta (n)=\frac{1}{1-2^{1-n}}\underset{0}{\overset{1}{\int }}\underset{0}{\overset{1}{\int }}\underset{0}{\overset{1}{\int }}\cdots \underset{0}{\overset{1}{\int }}\frac{1}{1+x_1{x}_2{x}_3\cdots x_n}d{x}_{1}d{x}_{2}d{x}_3\cdots d{x}_n$

https://ameblo.jp/titchmarsh/entry-12796956450.html　参照

関数等式の導出

関数等式は以下のようにして求まる。ガンマ関数の定義と変数の置き換えにより

$\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^{\frac{s}{2}}{e}^{-n^2\pi x}\frac{dx}{x}=\frac{\mathrm{\Gamma }\left(\frac{s}{2}\right)}{n^s{\pi }^{\frac{s}{2}}}.$

$\mathrm{R}\mathrm{e}(s)>1$であるならば、以下の式の和と積分を入れ替えることができる。

$\frac{\mathrm{\Gamma }\left(\frac{s}{2}\right)\zeta (s)}{{\pi }^{s/2}}=\sum _{n=1}^{\mathrm{\infty }}\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^{\frac{s}{2}}{e}^{-n^2\pi x}\frac{dx}{x}=\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^{\frac{s}{2}}\sum _{n=1}^{\mathrm{\infty }}{e}^{-n^2\pi x}\frac{dx}{x}.$

ここで $\psi (x):=\sum _{n=1}^{\mathrm{\infty }}{e}^{-n^2\pi x}$ とおくと

$\zeta (s)=\frac{{\pi }^{\frac{s}{2}}}{\mathrm{\Gamma }(\frac{s}{2})}\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^{\frac{s}{2}}\psi (x)\frac{dx}{x}$

となる。ここで $f(x)=e^{-\pi x^2}$ とおくと、$f(x)$ はフーリエ変換に対し不変である。 $\hat{f}(y)=e^{-\pi y^2}$

また、フーリエ変換の定数倍の公式より、$g(x)=f(ax)$ のフーリエ変換は $\hat{g}(x)=\frac{1}{|a|}f\left(\frac{x}{a}\right)$ である。

よってポアソン和公式から以下が成り立つ。

$\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{e}^{-n^2\pi x}=\frac{1}{\sqrt{x}}\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{e}^{\frac{-n^2\pi }{x}}$

よって

$2\psi (x)+1=\frac{1}{\sqrt{x}}\{2\psi \left(\frac{1}{x}\right)+1\}$

である。よって

${\pi }^{-\frac{s}{2}}\mathrm{\Gamma }\left(\frac{s}{2}\right)\zeta (s)=\underset{0}{\overset{1}{\int }}{x}^{\frac{s}{2}}\psi (x)\frac{dx}{x}+\underset{1}{\overset{\mathrm{\infty }}{\int }}{x}^{\frac{s}{2}}\psi (x)\frac{dx}{x}$

は以下の式と等しい。

$\underset{0}{\overset{1}{\int }}{x}^{\frac{s}{2}}\{\frac{1}{\sqrt{x}}\psi \left(\frac{1}{x}\right)+\frac{1}{2\sqrt{x}}-\frac{1}{2}\}\frac{dx}{x}+\underset{1}{\overset{\mathrm{\infty }}{\int }}{x}^{\frac{s}{2}}\psi (x)\frac{dx}{x}$

つまり

$\frac{1}{s-1}-\frac{1}{s}+\underset{0}{\overset{1}{\int }}{x}^{\frac{s-1}{2}}\psi \left(\frac{1}{x}\right)\frac{dx}{x}+\underset{1}{\overset{\mathrm{\infty }}{\int }}{x}^{\frac{s}{2}}\psi (x)\frac{dx}{x}$

よって

${\pi }^{-\frac{s}{2}}\mathrm{\Gamma }\left(\frac{s}{2}\right)\zeta (s)=-\frac{1}{s(1-s)}+\underset{1}{\overset{\mathrm{\infty }}{\int }}\left(x^{\frac{1-s}{2}}+x^{\frac{s}{2}}\right)\psi (x)\frac{dx}{x}$

この式はすべての$s$について収束する。また、右辺は$s$を$1-s$に変えても変化しないことから以下の等式が成り立つ。

${\pi }^{-\frac{s}{2}}\mathrm{\Gamma }\left(\frac{s}{2}\right)\zeta (s)={\pi }^{-\frac{1-s}{2}}\mathrm{\Gamma }\left(\frac{1-s}{2}\right)\zeta (1-s)$

ガンマ関数の乗法公式および相反公式より

$\frac{\mathrm{\Gamma }\left(\frac{1-s}{2}\right)}{\mathrm{\Gamma }\left(\frac{s}{2}\right)}=\frac{\mathrm{\Gamma }\left(\frac{1-s}{2}\right)\mathrm{\Gamma }(1-\frac{s}{2})}{\mathrm{\Gamma }\left(\frac{s}{2}\right)\mathrm{\Gamma }(1-\frac{s}{2})}=2^s{\pi }^{\frac{1}{2}}\mathrm{\Gamma }(1-s)\cdot \frac{\sin \left(\frac{\pi s}{2}\right)}{\pi }=2^s{\pi }^{-\frac{1}{2}}\sin \left(\frac{\pi s}{2}\right)\mathrm{\Gamma }(1-s)$

よって

$\zeta (s)=2^s{\pi }^{s-1}\sin \left(\frac{\pi s}{2}\right)\mathrm{\Gamma }(1-s)\zeta (1-s)$

ゼータ関数と数論的関数

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

たとえば、ゼータ関数の逆数はメビウス関数 テンプレート:Math を用いて

$\frac{1}{\zeta (s)}=\sum _{n=1}^{\mathrm{\infty }}\frac{\mu (n)}{n^s}$

と表せる。この式と テンプレート:Math の値から、分布が一様であるという仮定の下、任意に取り出した2つの整数が互いに素である確率は $\frac{6}{{\pi }^2}$ であることが証明できる。

自然数 テンプレート:Mvar の（正の）約数の個数と全ての約数の和は、どちらも約数関数として定義され、それぞれ、テンプレート:Math、 テンプレート:Math で表すことができる。このとき、 テンプレート:Indent が成り立ち、また、テンプレート:Mvar と互いに素な テンプレート:Mvar 以下の自然数の個数を オイラーのφ関数 テンプレート:Math で表すとき、

$\frac{\zeta (s-1)}{\zeta (s)}=\sum _{n=1}^{\mathrm{\infty }}\frac{\phi (n)}{n^s}$

なども成り立つ。

ゼータ関数と素数計数関数

以下に素数分布、すなわち素数計数関数 テンプレート: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}^{\mathrm{\infty }}\frac{1}{n{p}^{ns}}=\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n}\sum _p\frac{1}{p^{ns}}$

ここで各 テンプレート:Math について

$\frac{1}{p^{ns}}=s\underset{p^n}{\overset{\mathrm{\infty }}{\int }}{x}^{-s-1}dx$

と変形して、先の式に代入すると テンプレート:Indent 通常

$\mathrm{\Pi }(x)=\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n}\pi (x^{1/n})$

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

$\frac{\log \zeta (s)}{s}=\underset{1}{\overset{\mathrm{\infty }}{\int }}\mathrm{\Pi }(x)x^{-s-1}\mathrm{d}x$

この公式に、メリン変換などと呼ばれる積分の反転公式を使うと、テンプレート:Math を表示する公式を求めることができる。この公式は、リーマンの素数公式、あるいは明示公式 (テンプレート:Lang) などと呼ばれている。なおメビウスの反転公式によって テンプレート:Math は テンプレート:Indent と書けることを注意しておこう。

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

参考文献

• テンプレート:Cite book
• 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
• 本橋洋一：「リーマンゼータ函数と保型波動」、共立出版（共立講座 21世紀の数学 21）、ISBN 4-320-01573-8 (1999年1月25日).
• 松本耕二 『リーマンのゼータ関数』 朝倉書店、2005年。ISBN 4254117310
• 小山信也 『素数とゼータ関数』 共立出版、ISBN 978-4-320-11200-1 (2015年10月25日)
• 黒川信重、小山信也：「ゼータへの招待」、日本評論社、ISBN 978-4-535-60351-6 (2018年2月25日).

関連項目

• 他のゼータ関数
  • デデキントゼータ関数
  • セルバーグゼータ関数
  • リーマンのクシー関数
  • フルヴィッツゼータ関数
  • ハーディゼータ関数
• 合同ゼータ関数
• ゼータ関数正規化
• 多重ゼータ関数
• レオンハルト・オイラー - 元々は「オイラー・ゼータ関数」であった。
• 素数 - 素数分布と関係がある
  • 素数定理
• 解析的整数論
• ディリクレのL関数
• リーマン予想
• メビウス関数
• フェルマーの最終定理テンプレート:要説明
• アペリーの定理

外部リンク

• テンプレート:MathWorld
• テンプレート:MathWorld
• ゼータ関数の計算
• 月刊ゼータ：リーマンゼータ関数の非自明なゼロ点の虚数値 ISSN 2432-7050
• リーマンゼータ関数の最初の非自明なゼロ点1000000桁表 ISBN 978-4-87310-112-5
• 新しい関数の定義「ゼータワン関数」（ゼータdenominator-α関数）　https://ameblo.jp/titchmarsh/entry-12251869172.html