フルヴィッツのゼータ函数
フルヴィッツのゼータ函数 はゼータ函数の一種で、名前はアドルフ・フルヴィッツに因む。フルヴィッツのゼータ函数は、 なる と なる の 2 つの複素数に対して、形式的に以下のように定義される。
この級数は与えられた値 と に対し絶対収束し、また なるすべての に対して定義される有理型函数へ拡張することができる。フルヴィッツのゼータ函数はリーマンゼータ函数の拡張であり、リーマンゼータ函数はフルヴィッツのゼータ函数を用いて と表される。
Re(s) ≤ 1 であれば、フルヴィッツのゼータ函数は、式
で定義することができる。この積分路 (contour) C は負の実軸を回るループである。この定義は、formula_3 の解析接続をもたらす。
フルヴィッツのゼータ函数は、s ≠ 1 である全ての複素数 s に対して定義される有理型函数へ解析接続により拡張される。また、s = 1 で、留数が 1 である単純極を持つ。定数項は、
で与えられる。ここに Γ はガンマ函数であり、ψ はディガンマ函数である。
formula_5 と formula_6 である任意の複素数で定義されるフルヴィッツのゼータ函数の(Newton series)による表現は、1930年に ヘルムート・ハッセ(Helmut Hasse)により、
として与えられた。
この級数は、s-平面のコンパクトな部分集合の上で整函数へ均一に収束し、内部の和は formula_8 の n-次差分であると理解することができる。すなわち、
が成り立つ。ここに Δ は、差分作用素である。従って、次のように書くことができる。
フルヴィッツのゼータ函数は、メリン変換により積分表現され、formula_11 と formula_12 に対し、
と表すことができる。
フルヴィッツの公式とは、
という定理である。ここに、
は、formula_16 と formula_17 に対して、ゼータ函数の有効な表現である。また、ここの formula_18 は多重対数関数である。
函数等式は、複素平面内でゼータ函数の右辺と左辺の値を関連付ける。整数 formula_19 に対し、
が、s の全ての値に対して成立する。
フルヴィッツのゼータ函数の第二引数での微分は、シフト(shift)と見ることができる。
このように、テイラー級数は、厳密なアンブラルな(umbral)な形、
を持つ。
この代わりに formula_23 に対し、
が成立する。
スターク・ケイパーの公式(Stark–Keiper formula)
は、これと密接に関連していて、整数 N と任意の s に対して成り立つ。整数のべきの有限和についての同様な関係式については、ファウルハーバーの公式を参照。
ローラン級数展開は、次の級数の中のスティルチェス定数(Stieltjes constants)を定義することに使うことができる。
特に、formula_27 and formula_28 である。
フルヴィッツのゼータ函数の変数 s での離散フーリエ変換は、ルジャンドルのχ函数(Legendre chi function)である。
上で定義した函数 formula_29 は、ベルヌーイ多項式(Bernoulli polynomials)
を一般化する。ここに formula_31 は z の実部を表す。代わりに、
と書く。
特に、formula_33 に対して関係式は保たれ、
を得る。
formula_35 をヤコビのテータ函数とすると、
が、formula_37 であり z が整数を除く、複素数に対して成立する。z = n が整数の場合は、この式が単純化できて、
となる。ここの ζ はリーマンゼータ函数である。この後者の式は、リーマンによりもともと与えられたが、リーマンゼータ函数の函数等式であることに注意する。この z が整数であることとそうでないことの差異は、ヤコビのテータ函数が formula_39 のときに z についてディラックのデルタ函数へ収束するか否かということによる。
有理数の引数に対してフルヴィッツのゼータ函数は、ディリクレのL-函数の線型結合とは、相互に表される関係にある。フルヴィッツのゼータ函数は、q = 1 のときにはリーマンゼータ函数 ζ(s) に一致する。 q = 1/2 のときには、フルヴィッツのゼータ函数は (2−1)ζ(s) に等しくなり、 k > 2 のとき、q = n/k で (n,k) > 1 かつ 0 ディリクレ指標の全てを渡る和として、
となる。反対に、線型結合
で、フルヴィッツのゼータ函数を表すこともできる。
乗法定理(multiplication theorem)
もあり、この定理の有益な一般化は、分布関係(distribution relation)
である（最後の式は q が自然数で、 1 − qa が自然数でない場合はいつでも有効である）。
q = 1 であれば、フルヴィッツのゼータ函数はリーマンゼータ函数自体となり、q = 1/2 であれば、リーマンゼータ函数に複素変数 x の単純な函数をかけたものとなる（上記参照）。どちらの場合も、リーマンゼータ函数のゼロ点の難しい研究へ繋がっている。特に、実部が 1 よりも大きなところにはゼロ点は存在しない。しかし、0 < q < 1 で、かつ q≠1/2 であれば、フルヴィッツのゼータ函数は任意の正の実数 ε に対し帯状領域 1< Re(s)<1+ε でゼロ点を持つ。このことは、q が有理数の場合と非代数的な無理数の場合に、(Harold Davenport)と(Hans Heilbronn)により証明され、代数的な無理数 q に対しては、(J. W. S. Cassels)により証明 された。
フルヴィッツのゼータ函数は、有理数での多くの印象的な恒等式の形をとる。特に、オイラー多項式(Euler polynomial) formula_44 の項は、
また、等式
も formula_48 に対して成り立つ。ここに、formula_49 と formula_50 はルジャンドルのχ函数(Legendre chi function) formula_51 を使い、
整数の値 ν に対し、これらはオイラー多項式の項で表現される。これらの関係式は、上記のフルヴィッツ公式と函数等式を使い得ることができる。
フルヴィッツのゼータ函数は、様々な分野で発生する。最も共通には数論で発生し、そこでの理論は最も深く、最も発達している。一方、フラクタルや力学系での研究でも発生する。統計力学にも適用され、ジップの法則や(Zipf–Mandelbrot law)でも発生する。素粒子物理学では、ジュリアン・シュウィンガー(Julian Schwinger) による公式でも発生し、均一な電気的な場の中のディラック電子の対生成率を正確にあたえる。
正の整数 m に対するフルヴィッツのゼータ函数は、ポリガンマ函数
に関係している。負の整数 −n に対して、値はベルヌーイ多項式(Bernoulli polynomials)
に関係している。
バーンズのゼータ函数(Barnes zeta function)は、フルヴィッツのゼータ函数を一般化したものである。
(Lerch transcendent)も、フルヴィッツのゼータ函数を次のように一般化したものである。
であるので、
となる。
超幾何級数