フルヴィッツのゼータ函数

フルヴィッツのゼータ函数  はゼータ函数の一種で、名前はアドルフ・フルヴィッツに因む。フルヴィッツのゼータ函数は、 なる  と  なる  の 2 つの複素数に対して、形式的に以下のように定義される。

この級数は与えられた値  と  に対し絶対収束し、また  なるすべての  に対して定義される有理型函数へ拡張することができる。フルヴィッツのゼータ函数はリーマンゼータ函数の拡張であり、リーマンゼータ函数はフルヴィッツのゼータ函数を用いて  と表される。

解析接続
 であれば、フルヴィッツのゼータ函数は、式

で定義することができる。この積分路 (contour)  は負の実軸を回るループである。この定義は、 の解析接続をもたらす。

フルヴィッツのゼータ函数は、 である全ての複素数  に対して定義される有理型函数へ解析接続により拡張される。また、 で、留数が 1 である単純極を持つ。定数項は、

で与えられる。ここに  はガンマ函数であり、 はディガンマ函数である。

級数による表現
 と  である任意の複素数 (ただし  は  の実部を表す) で定義されるフルヴィッツのゼータ函数の(Newton series) による表現は、1930年に ヘルムート・ハッセ (Helmut Hasse) により、

として与えられた。

この級数は、-平面のコンパクトな部分集合の上で整函数へ均一に収束し、内部の和は  の -次差分であると理解することができる。すなわち、

が成り立つ。ここに  は、差分作用素である。従って、次のように書くことができる。

積分表現
フルヴィッツのゼータ函数は、メリン変換により積分表現され、 と  に対し、

と表すことができる。

フルヴィッツの公式
フルヴィッツの公式とは、

という定理である。ここに、

は、 と  に対して、ゼータ函数の有効な表現である。また、ここの  は多重対数関数である。

函数等式
函数等式は、複素平面内でゼータ函数の右辺と左辺の値を関連付ける。整数  に対し、

が、 の全ての値に対して成立する。

テイラー展開
フルヴィッツのゼータ函数の第二引数での微分は、シフト (shift) と見ることができる。

従って、テイラー級数は次のように表せる。

この代わりに  に対し、

が成立する。

スターク・ケイパーの公式 (Stark–Keiper formula)

は、これと密接に関連していて、整数  と任意の  に対して成り立つ。整数のべきの有限和についての同様な関係式については、ファウルハーバーの公式を参照。

ローラン級数
ローラン級数展開は、次の級数の中のスティルチェス定数 (Stieltjes constants) を定義することに使うことができる。

特に、 and  である。

フーリエ変換
フルヴィッツのゼータ函数の変数  での離散フーリエ変換は、ルジャンドルのχ函数 (Legendre chi function) である。

ベルヌーイ多項式との関係
上で定義した函数  は、ベルヌーイ多項式 (Bernoulli polynomials)

を一般化する。ここに  は  の実部を表す。代わりに、

と書く。

特に、 に対して関係式は保たれ、

を得る。

ヤコビのテータ函数との関係
 をヤコビのテータ函数とすると、

が、 となる複素数 と、整数を除く複素数  に対して成立する。 が整数の場合は、この式が単純化できて、

となる。ここの  はリーマンゼータ函数である。この後者の式は、リーマンによりもともと与えられたが、リーマンゼータ函数の函数等式であることに注意する。この z が整数であることとそうでないことの差異は、ヤコビのテータ函数が  のときに z についてくし型関数（周期的デルタ函数）へ収束するという事実による。

ディリクレのL-函数との関係
有理数の引数に対してフルヴィッツのゼータ函数は、ディリクレのL-函数の線型結合とは、相互に表される関係にある。フルヴィッツのゼータ函数は、 のときにはリーマンゼータ函数  に一致する。 のときには、フルヴィッツのゼータ函数は  に等しくなり、 のとき、 で  かつ  に対しては、 のディリクレ指標の全てを渡る和として、

となる。反対に、線型結合

で、フルヴィッツのゼータ函数を表すこともできる。

乗法定理(multiplication theorem)

もあり、この定理の有益な一般化は、分布関係 (distribution relation)

である（最後の式は  が自然数で、 が自然数でない場合はいつでも有効である）。

ゼロ点
 であれば、フルヴィッツのゼータ函数はリーマンゼータ函数自体となり、 であれば、リーマンゼータ函数に複素変数  の単純な函数をかけたものとなる（上記参照）。どちらの場合も、リーマンゼータ函数のゼロ点の難しい研究へ繋がっている。特に、実部が  よりも大きなところにはゼロ点は存在しない。しかし、 で、かつ  であれば、フルヴィッツのゼータ函数は任意の正の実数  に対し帯状領域  でゼロ点を持つ。このことは、 が有理数の場合と非代数的な無理数の場合に、ハロルド・ダヴェンポート(Harold Davenport) と(Hans Heilbronn) により証明され、代数的な無理数  に対しては、(J. W. S. Cassels) により証明された 。

有理数値
フルヴィッツのゼータ函数は、有理数での多くの印象的な恒等式の形をとる。特に、オイラー多項式 (Euler polynomial)  の項は、

と

である。

また、等式

も  に対して成り立つ。ここに、 と  はルジャンドルのχ函数 (Legendre chi function)  を使い、

と

である。

整数の値 ν に対し、これらはオイラー多項式の項で表現される。これらの関係式は、上記のフルヴィッツ公式と函数等式を使い得ることができる。

応用
フルヴィッツのゼータ函数は、様々な分野で発生する。最も共通には数論で発生し、そこでの理論は最も深く、最も発達している。一方、フラクタルや力学系での研究でも発生する。統計力学にも適用され、ジップの法則や (Zipf–Mandelbrot law) でも発生する。素粒子物理学では、ジュリアン・シュウィンガー (Julian Schwinger)  による公式でも発生し、均一な電気的な場の中のディラック電子の対生成率を正確にあたえる。

特殊な場合と一般化
正の整数  に対するフルヴィッツのゼータ函数は、ポリガンマ函数

に関係している。負の整数 −n に対して、値はベルヌーイ多項式 (Bernoulli polynomials) 

に関係している。

バーンズのゼータ函数 (Barnes zeta function) は、フルヴィッツのゼータ函数を一般化したものである。

(Lerch transcendent) も、フルヴィッツのゼータ函数を次のように一般化したものである。

であるので、

となる。

超幾何級数

 かつ  かつ  のとき、
 である。

(Meijer G-function)

脚注

参考文献

 See chapter 12 of 
 Milton Abramowitz and Irene A. Stegun, Handbook of Mathematical Functions, (1964) Dover Publications, New York. ISBN 0-486-61272-4. (See Paragraph 6.4.10 for relationship to polygamma function.)

外部リンク 
 

ゼータ関数とL関数
特殊関数
数論
数学に関する記事