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

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

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

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

解析接続

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

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

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

と表示される。

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

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

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

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

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

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

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

のように記述すれば、

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

が得られる。

ゼータ関数の特殊値 

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

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

また  のとき、
 
が成り立つ。

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

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

、つまり、3以上の正の奇数の場合、積分表示をすれば次の通りである。尚、次の  は、ベルヌーイ多項式である。
 
またラマヌジャンなどは彼が産み出した保型形式により次のような表示式を得ている。尚、はベルヌーイ数である。
 
 
小さい正の奇数については、
 （→調和級数）（アペリーの定数）
などが数値的に成り立っている。これらに関して、

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

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

級数との関係 

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

  

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

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

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

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

オイラー積 

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

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

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

ゼータ関数の表示と関数等式 
ゼータ関数は次のような表示も持つ：
 
ここで   に関する積はリーマン・ゼータ関数の複素零点全体をわたるものとする。この式から、
 
は整関数であることが分かる。実際
 
ここで   はオイラーの定数、 はスティルチェス定数と呼ばれているものである。オイラーは1749年に
 
という式を推測している。

またゼータ関数は、リーマンの1859年の論文『与えられた数より小さい素数の個数について』の中で
 
という関数等式を持つことが示された。ここで  はガンマ関数である。これは複素解析的関数の解析接続が初めて明示的に行われた例である。

 （は正の整数）を代入すると
 
 であり他の因子は有限値なので  である。したがって  はゼータ関数の零点である。

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

 

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

 

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

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

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

関数等式の導出 

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

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

  

ここで    とおくと 

  

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

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

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

よって

  

である。よって

  

は以下の式と等しい。

  

つまり

よって

  

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

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

よって

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

たとえば、ゼータ関数の逆数はメビウス関数  を用いて
 
と表せる。この式と  の値から、分布が一様であるという仮定の下、任意に取り出した2つの整数が互いに素である確率は  であることが証明できる。

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

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

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

まずゼータ関数のオイラー積表示の両辺において対数をとり、テイラー展開で和の中の対数を展開する：
 
ここで各  について
 
と変形して、先の式に代入すると

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

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

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