リーマンゼータ関数

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

リーマンゼータ関数は、を複素数、を自然数とするとき、

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

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

解析接続

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

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

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

と表示される。

メリン変換ゼータ関数を解析接続するためには、オイラーが導入したガンマ関数が必要となる。ガンマ関数は、となる複素数の範囲で、

のように定義されており、ここにおいてと変数を変換し、積分変数をと決定すれば、

から、

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

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

解析接続まず、ゼータ関数がのもとで絶対収束することを以下に証明する。

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

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

のように記述すれば、

であり、はで収束する。これに部分積分を適用すると、

が得られる。

ゼータ関数の特殊値

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

と表すことができる。ここで、は番目のベルヌーイ数である。

またのとき、

が成り立つ。

しかるに複素数が負の偶数であればであり、これらをリーマンゼータ関数の自明な零点と呼ぶ。これらの表示はオイラーによる。具体的には、（→バーゼル問題）が成り立つ。ここで、

とおくと、

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

、つまり、3以上の正の奇数の場合、積分表示をすれば次の通りである。尚、次のは、ベルヌーイ多項式である。

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

小さい正の奇数については、（→調和級数）（アペリーの定数）などが数値的に成り立っている。これらに関して、

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

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

級数との関係

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

はに対するを連結したものとなる。この図形はが大きくなると、を中心とする螺旋に漸近する。実際にが大きいとき以下の近似式が成り立つ。

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

のとき、を変化させたときのが描く軌跡は原点に収束する螺旋となり、のとき、原点を中心とする半径の円、のとき、原点を中心として外に広がる螺旋となる。このために、級数はでに収束し、それ以外の場合は「を中心として」発散する。

とし、を 0 に近づけると、の実数部はオイラー・マスケローニ定数に収束し、虚数部はが正の方向から近づくとき、が負の方向から近づくときとなる。

オイラー積

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

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

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

オイラー積に基づく等式２つのゼータ関数値の関係を表す、次の等式がある。

この等式は、次の通りオイラー積に基づく単純な式変形により導かれる。．この等式の発見者について、オイラーは包括的なオイラー積の生みの親であるが、ラマヌジャンはの場合を発見していたとされる。

の場合、等式は次の通りである。．が正の偶数の場合、ゼータ関数の特殊値より、この等式の値は、ベルヌーイ数と整数階乗のみの計算となるため、結果的に有理数となる。

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

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

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

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

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

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

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

（は正の整数）を代入すると

であり他の因子は有限値なのでである。したがってはゼータ関数の零点である。

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

はとに関する以下のような対称的な関数等式を持つ：

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

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

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

関数等式の導出

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

であるならば、以下の式の和と積分を入れ替えることができる。

ここでとおくと

となる。ここでとおくと、はフーリエ変換に対し不変である。

また、フーリエ変換の定数倍の公式より、のフーリエ変換はである。

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

よって

である。よって

は以下の式と等しい。

つまり

よって

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

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

よって

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

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

と表せる。この式との値から、分布が一様であるという仮定の下、任意に取り出した2つの整数が互いに素である確率はであることが証明できる。

自然数の（正の）約数の個数と全ての約数の和は、どちらも約数関数として定義され、それぞれ、、で表すことができる。このとき、

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

なども成り立つ。

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

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

ここで各について

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

通常

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

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

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

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

脚注

参考文献

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関数リーマン予想メビウス関数フェルマーの最終定理アペリーの定理

外部リンク

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

リーマンゼータ関数

Źródło i licencja