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

リーマンゼータ関数の特殊値（リーマンゼータかんすうのとくしゅち、）とは、数学におけるリーマンゼータ関数（英: ）に整数を代入した際の値のことをいう。これはリーマンゼータ値（英: ）とも呼ばれる。

 解説 
ゼータ関数は複素解析に頻繁に登場する特殊関数であるが、解析的整数論においても重要な関数である。ゼータ関数は、実部が  より真に大きい複素数  と自然数  に対して、

で定義される関数  のことをいい、例えば  とすると、

のような級数が提供される。特に、整数引数に対してゼータ関数がとる値についてはこの例も含めすべて実数値をもち、さらに数値計算に効率のよい公式が存在する。この記事では、これらの公式を値の表とともに列挙し、その微分と整数引数でのゼータ関数からなる級数も記述する。

ゼータ関数は、 における一位の極を除き解析接続によって複素平面全体に拡張される。しかしながら、上の定義式は解析接続された  に対しては無効であり、直に計算を試みると対応する和が発散する。例えば、ゼータ関数において  のとき、

となるが、これを上の定義式で計算すると、

となって発散級数となる。以下に列挙するゼータ関数の特殊値は負の偶数に対する特殊値も含み、これは恒等的に  であり、いわゆる自明な零点となる。

 自然数に対する特殊値 
 正の偶数に対する特殊値 
1644年、イタリアのによって以下の問題が提起された。この問題は、解決に挑んだ数学者の多くがバーゼルの生まれであったことから、バーゼル問題と呼ばれる。

右|サムネイル|200px|レオンハルト・オイラー

バーゼル問題は、スイスのレオンハルト・オイラーによって初めて解決された。オイラーは、三角関数のテイラー級数およびその無限乗積の  の項の展開係数を比較することで、

となることから、

が成り立つことを示した。さらにオイラーの研究はバーゼル問題にとどまることはなく、より一般の場合の研究に努め、任意の自然数  に対して、

が成り立つことも示した。ただし、ここで  は  番目のベルヌーイ数である。

この公式により、正の偶数に対する特殊値を容易く計算することができる。しかるに  から小さい順に  まで計算してみると、

となる。またその近似値は、以下の表に示す通りである。

+ 正の偶数に対する特殊値の近似値   近似値  OEIS   1.64493 40668 48226 43647...     1.08232 32337 11138 19151...     1.01734 30619 84449 13971...     1.00407 73561 97944 33937...    1.00099 45751 27818 08533...     1.00024 60865 53308 04829...     1.00006 12481 35058 70482...     1.00001 52822 59408 65187...     1.00000 38172 93264 99983...     1.00000 09539 62033 87279...  

この表からもわかるように、ゼータ関数は  の極限で  である。すなわち、

である。また、自然数  に対して、

を満たすように  と  を定める。ただし、ここで  と  は任意の自然数  に対して常に自然数をとるものとする。すると、このとき   と  の  から  までの挙動は以下の表に示す通りである。

+ 係数      1  6  1 2  90  1 3  945  1 4  9450  1 5  93555  1 6  638512875  691 7  18243225  2 8  325641566250  3617 9  38979295480125  43867 10  1531329465290625  174611 11  13447856940643125  155366 12  201919571963756521875  236364091 13  11094481976030578125  1315862 14  564653660170076273671875  6785560294 15  5660878804669082674070015625  6892673020804 16  62490220571022341207266406250  7709321041217 17  12130454581433748587292890625  151628697551 18  20777977561866588586487628662044921875  26315271553053477373 19  2403467618492375776343276883984375  308420411983322 20  20080431172289638826798401128390556640625  261082718496449122051

さらに  と定めると、偶数に対する特殊値はより簡単に、

とかくことができる。するとこのとき、

なる漸化式が存在することがわかる。この漸化式は、ベルヌーイ数を効率的に求める漸化式に基づいている。また、特殊値の係数ではなく、ゼータ関数についての漸化式も存在する。余接関数の微分：

およびその部分分数分解による表現：

を用いれば、

が容易に導かれる。ただし、ここで  である。

 正の奇数に対する特殊値 
ゼータ関数は  なる複素数  に対して定義される関数であるが、その定義式に  を代入すると、

となって調和級数に一致する。調和級数は、古くにおいては収束すると考えられていたが、今日においては発散することが知られている。しかしこれはコーシーの主値は存在し、

である。ただし、ここで  はオイラーの定数である。

また、正の偶数に対する特殊値はベルヌーイ数を用いる形で一般化されたが、正の奇数に対する特殊値は簡潔な形で表すことができないことが知られている。例えば、ゼータ関数に  を代入した実数  はアペリーの定数として知られ、様々な積分表示や級数表示が発見されているものの、簡単な形で表すことができない。また  は無理数であることがわかっている。この主張をアペリーの定理という。また、正の偶数に対する特殊値が常に無理数となることはその一般化された公式を見れば一目瞭然である一方、正の奇数に対する特殊値がすべて無理数であるかどうかは現在もまだわかっていないが、すべて無理数ではないかと予想されている。以下の表にその近似値を示す。

+ 正の奇数に対する特殊値の近似値   近似値  OEIS   -  -   1.20205 69031 59594 28539...     1.03692 77551 43369 92633...     1.00834 92773 81922 82683...     1.00200 83928 26082 21441...     1.00049 41886 04119 46455...     1.00012 27133 47578 48914...     1.00003 05882 36307 02049...     1.00000 76371 97637 89976...     1.00000 19082 12716 55393...  

アペリーの定数をはじめとした正の奇数に対する特殊値には様々な積分表示や級数表示が与えられており、それらを計算する場合はゼータ関数の定義式を利用するのではなく、別の収束速度の速い公式を利用することが多い。






正の奇数  に対して、

なる級数を定めるとき、 や  で見られたような一連の級数は次の形で定式化される。

ただし、ここで  、 、 および  は、任意の正の奇数  に対して常に自然数をとるものとする。ここでの  はベルヌーイ数とは異なる。すると、このとき  、 、 および  の  から  までの挙動は以下の表に示す通りである。

+ 係数          3  180  7  360  0 5  1470  5  3024  84 7  56700  19  113400  0 9  18523890  625  37122624  74844 11  425675250  1453  851350500  0 13  257432175  89  514926720  62370 15  390769879500  13687  781539759000  0 17  1904417007743250  6758333  3808863131673600  29116187100 19  21438612514068750  7708537  42877225028137500  0

これらの整数はベルヌーイ数の和として表現することができる。任意の整数引数に対するゼータ関数の高速計算アルゴリズムは、によって与えられている。

 負の整数に対する特殊値 
ゼータ関数の定義式は、

であったが、このままでは負の整数に対する特殊値の計算を実行することができない。しかしながらゼータ関数には、

なる複素平面全体で定義された関数が存在する。この積分を利用することで、任意の自然数  に対して、

が成り立つことがわかる。

この公式を利用することで、負の整数に対する特殊値を計算することができる。一般に負の偶数に対しては、

が恒等的に成り立つ。これを自明な零点という。また負の奇数については  から小さい順に  まで計算してみると、

となる。特に  はに関連する。

 微分の特殊値 
ゼータ関数の負の偶数での微分係数は、

である。これはゼータ関数の一様収束性から項別に微分すれば簡単に示すことができる。この公式を用いて特殊値を計算すると、

となる。またこれ以外にも、

なる特殊値が存在する。ただし、ここで  はグレイシャー・キンケリンの定数、 はオイラーの定数である。また、これらの特殊値の近似値は以下の表に示す通りである。

+ 微分の特殊値の近似値  近似値 OEIS  -0.19812 62428 85636 85333...   -0.93754 82543 15843 75370...   -0.91893 85332 04672 74178...   -0.16542 11437 00450 92921...   -0.03044 84570 58393 27078...   +0.00537 85763 57774 30114...   +0.00798 38114 50268 62428...   -0.00057 29859 80198 63520...   -0.00589 97591 43515 93745...   -0.00072 86426 80159 24065...   +0.00831 61619 85602 24735... 

 脚注 
 注釈 

 出典 

Category:数学定数
Category:ゼータ関数とL関数
せえたかんすう
Category:数学に関する記事
Category:数学のエポニム