リーマンゼータ関数の特殊値

リーマンゼータ関数の特殊値（リーマンゼータかんすうのとくしゅち、）とは、数学におけるリーマンゼータ関数（英: ）に整数を代入した際の値のことをいう。これはリーマンゼータ値（英: ）とも呼ばれる。
解説.
ゼータ関数は複素解析に頻繁に登場する特殊関数であるが、解析的整数論においても重要な関数である。ゼータ関数は、実部が より真に大きい複素数 と自然数 に対して、
で定義される関数 のことをいい、例えば とすると、
のような級数が提供される。特に、整数引数に対してゼータ関数がとる値についてはこの例も含めすべて実数値をもち、さらに数値計算に効率のよい公式が存在する。この記事では、これらの公式を値の表とともに列挙し、その微分と整数引数でのゼータ関数からなる級数も記述する。
ゼータ関数は、 における一位の極を除き解析接続によって複素平面全体に拡張される。しかしながら、上の定義式は解析接続された に対しては無効であり、直に計算を試みると対応する和が発散する。例えば、ゼータ関数において のとき、
となるが、これを上の定義式で計算すると、
となって発散級数となる。以下に列挙するゼータ関数の特殊値は負の偶数に対する特殊値も含み、これは恒等的に であり、いわゆる自明な零点となる。
自然数に対する特殊値.
正の偶数に対する特殊値.
1644年、イタリアのによって以下の問題が提起された。この問題は、解決に挑んだ数学者の多くがバーゼルの生まれであったことから、バーゼル問題と呼ばれる。
バーゼル問題は、スイスのレオンハルト・オイラーによって初めて解決された。オイラーは、三角関数のテイラー級数およびその無限乗積の の項の展開係数を比較することで、
となることから、
が成り立つことを示した。さらにオイラーの研究はバーゼル問題にとどまることはなく、より一般の場合の研究に努め、任意の自然数 に対して、
が成り立つことも示した。ただし、ここで は 番目のベルヌーイ数である。
である。ただし、ここで は虚数単位である。ここで右辺は、
であり、ベルヌーイ数の定義から、
となるので、ベルヌーイ数の特殊値を利用し、
一方、正弦関数の無限乗積の対数は、
であり、両辺を微分して を乗じると、
となるが、これをテイラー展開して整理すると、
それぞれで導いた を比較して、
この公式により、正の偶数に対する特殊値を容易く計算することができる。しかるに から小さい順に まで計算してみると、
となる。またその近似値は、以下の表に示す通りである。
この表からもわかるように、ゼータ関数は の極限で である。すなわち、
である。また、自然数 に対して、
を満たすように と を定める。ただし、ここで と は任意の自然数 に対して常に自然数をとるものとする。すると、このとき と の から までの挙動は以下の表に示す通りである。
さらに と定めると、偶数に対する特殊値はより簡単に、
とかくことができる。するとこのとき、
なる漸化式が存在することがわかる。この漸化式は、ベルヌーイ数を効率的に求める漸化式に基づいている。また、特殊値の係数ではなく、ゼータ関数についての漸化式も存在する。余接関数の微分：
を用いれば、
が容易に導かれる。ただし、ここで である。
正の奇数に対する特殊値.
ゼータ関数は なる複素数 に対して定義される関数であるが、その定義式に を代入すると、
となって調和級数に一致する。調和級数は、古くにおいては収束すると考えられていたが、今日においては発散することが知られている。しかしこれはコーシーの主値は存在し、
である。ただし、ここで はオイラーの定数である。
また、正の偶数に対する特殊値はベルヌーイ数を用いる形で一般化されたが、正の奇数に対する特殊値は簡潔な形で表すことができないことが知られている。例えば、ゼータ関数に を代入した実数 はアペリーの定数として知られ、様々な積分表示や級数表示が発見されているものの、簡単な形で表すことができない。また は無理数であることがわかっている。この主張をアペリーの定理という。また、正の偶数に対する特殊値が常に無理数となることはその一般化された公式を見れば一目瞭然である一方、正の奇数に対する特殊値がすべて無理数であるかどうかは現在もまだわかっていないが、すべて無理数ではないかと予想されている。以下の表にその近似値を示す。
アペリーの定数をはじめとした正の奇数に対する特殊値には様々な積分表示や級数表示が与えられており、それらを計算する場合はゼータ関数の定義式を利用するのではなく、別の収束速度の速い公式を利用することが多い。
が成り立つことがわかる。
から始める。ただし、ここで は自然数ではない複素数で、積分路 はである。ここで を自然数として とすると、
となる。留数定理に基づいてこの複素積分を実行すれば、
となるのでベルヌーイ数の定義から、
ここで、右辺の留数は、
であるから、
この公式を利用することで、負の整数に対する特殊値を計算することができる。一般に負の偶数に対しては、
が恒等的に成り立つ。これを自明な零点という。また負の奇数については から小さい順に まで計算してみると、
となる。特に はに関連する。
微分の特殊値.
ゼータ関数の負の偶数での微分係数は、