数学におけるリーマンゼータ関数（リーマンゼータかんすう、）とは、で表される関数 "ζ" のことである。素数分布の研究を始めとした解析的整数論における重要な研究対象であり、数論や力学系の研究を初め数学や物理学の様々な分野で用いられているゼータ関数と呼ばれる一連の関数のうち、最も歴史的に古いものである。リーマンのゼータ関数とも呼ばれる。ガンマ関数を用いれば、リーマンゼータ関数をとも定義できる。すでにオイラーがこの関数を考察して主に特殊値に関する重要な発見をしていたが、のちにより重要な貢献をしたリーマンが用いたギリシャ文字の ζ による表記に因み、リーマンゼータ関数と呼ぶ。上記級数は "s" の実部が 1 より真に大きい複素数のときに収束する（ のとき調和級数である）が、解析接続によって を一位の極としそれ以外のすべての複素数において正則な有理型関数となる。ゼータ関数に整数を代入したものをゼータ定数またはゼータ関数の特殊値と言う。任意の正の偶数 2"n" についてと表せる。ここで、"B" はベルヌーイ数である。また、"n" ≥ 1 の時、が成り立つ。"s" が負の偶数であれば "ζ"("s") = 0 であり、これらをリーマン・ゼータ関数の自明な零点と呼ぶ。これらの表示はオイラーによる。具体的には、が成り立つ。ここで、とおくと、が成り立つ。この漸化式はベルヌーイ数の漸化式から導かれる。"s" が正の奇数のときの "ζ"("s") を表す簡潔な表現は得られていない。それでもラマヌジャンなどは次のような表示式を得ている。小さい正の奇数については、などが数値的に成り立っている。これらに関して、という級数が知られている。アペリーの定理によると "ζ"(3) は無理数である（1978年、ロジェ・アペリ）。ゼータ関数と素数との最初の関連はオイラーによって示された。全ての素数 "p" をわたる無限積によってリーマンゼータ関数はという表示を持つ。これをオイラー積あるいはオイラー表示という。この無限積が Re "s" > 1 のときゼータ関数に絶対収束していることは、幾何級数（等比級数）の公式が絶対収束すること（特に有限和のように分配法則が成り立つこと）に注意して、十分に大きな素数 "p" を固定し、それ以下の素数 "p" をわたる有限積を作り、その "p" → ∞ とした極限を考えることで示すことができる。この部分有限積の展開について、自然数 "n" の最大素因数が "p" であれば、そこまでの有限積の中に "n" が含まれるため、上のようなゼータ関数のオイラー積表示が成り立っている。ゼータ関数は次のような表示も持つ：ここで "ρ" に関する積はリーマン・ゼータ関数の複素零点全体をわたるものとする。この式から、は整関数であることが分かる。実際ここで "γ" はオイラーの定数、"γ" はスティルチェス定数と呼ばれているものである。オイラーは1749年にという式を推測している。またゼータ関数は、リーマンの1859年の論文『与えられた数より小さい素数の個数について』の中でという関数等式を持つことが示された。ここで Γ はガンマ関数である。これは複素解析的関数の解析接続が初めて明示的に行われた例である。"s" = −2"n" （"n" は正の整数）を代入すると次のように修正されたゼータ関数（これは実質的にリーマンによって導入され、完備化されたゼータ関数と呼ばれる）は "s" と 1 − "s" に関する以下のような対称的な関数等式を持つ：（リーマンのクシー関数も参照。）ゼータ関数を適当に組み合わせることにより、様々な数論的関数を係数とするディリクレ級数の母関数を得ることができる。たとえば、ゼータ関数の逆数はメビウス関数 "μ"("n") を用いてと表せる。この式と "ζ"(2) の値から、分布が一様であるという仮定の下、任意に取り出した2つの整数が互いに素である確率は formula_17 であることが証明できる。自然数 "n" の（正の）約数の個数を "d"("n")、全ての約数の和を "σ"("n") で表すとき、が成り立ち、また、"n" と互いに素な "n" 以下の自然数の個数をオイラーのφ関数 "φ"("n") で表すとき、なども成り立つ。以下に素数分布、すなわち素数の個数関数 π("x") とゼータ関数との関係を述べる。まずゼータ関数のオイラー積表示の両辺において対数をとり、テイラー展開で和の中の対数を展開する：ここで各 "n" ≥ 1 についてと変形して、先の式に代入すると通常と置いて、最終的に上式は次のように書かれる。この公式に、メリン変換などと呼ばれる積分の反転公式を使うと、π("x") を表示する公式を求めることができる。この公式は、リーマンの素数公式、あるいは明示公式 (explicit formula) などと呼ばれている。なおメビウスの反転公式によって π("x") はと書けることを注意しておこう。ゼータ関数の零点の分布に関する未解決問題であるリーマン予想は、素数公式の近似精度に関連している。この予想は純粋数学における最も重要な未解決問題であると考える数学者は多い。

出典:wikipedia