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

提供: miniwiki
移動先:案内、検索

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

[math]\zeta(s,q) = \sum_{n=0}^\infty \frac{1}{(q+n)^{s}}.[/math]

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

解析接続

Re(s) ≤ 1 であれば、フルヴィッツのゼータ函数は、式

[math]\zeta (s,q)=\Gamma(1-s)\frac{1}{2 \pi i} \int_C \frac{z^{s-1}e^{qz}}{1-e^z}dz[/math]

で定義することができる。この積分路 (contour) C は負の実軸を回るループである。この定義は、[math]\zeta (s,q)[/math] の解析接続をもたらす。

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

[math]\lim_{s\to 1} \left[ \zeta (s,q) - \frac{1}{s-1}\right] = \frac{-\Gamma'(q)}{\Gamma(q)} = -\psi(q)[/math]

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

級数による表現

[math]\mathfrak{R}\ q \gt 0[/math] と [math]s \ne 1[/math] である任意の複素数で定義されるフルヴィッツのゼータ函数のニュートン級数（English版）(Newton series)による表現は、1930年に ヘルムート・ハッセ(Helmut Hasse)により、[1]

[math]\zeta(s,q)=\frac{1}{s-1} \sum_{n=0}^\infty \frac{1}{n+1} \sum_{k=0}^n (-1)^k {n \choose k} (q+k)^{1-s}[/math]

として与えられた。

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

[math]\Delta^n q^{1-s} = \sum_{k=0}^n (-1)^{n-k} {n \choose k} (q+k)^{1-s}[/math]

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

[math]\begin{align} \zeta(s, q) &= \frac{1}{s-1}\sum_{n=0}^\infty \frac{(-1)^n}{n+1} \Delta^n q^{1-s}\\ &= \frac{1}{s-1} {\log(1 + \Delta) \over \Delta} q^{1-s} \end{align}[/math]

積分表現

フルヴィッツのゼータ函数は、メリン変換により積分表現され、[math]\Re\ s\gt 1[/math] と [math]\Re\ q \gt 0[/math] に対し、

[math]\zeta(s,q)=\frac{1}{\Gamma(s)} \int_0^\infty \frac{t^{s-1}e^{-qt}}{1-e^{-t}}dt[/math]

と表すことができる。

フルヴィッツの公式

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

[math]\zeta(1-s,x)=\frac{1}{2s}\left[e^{-i\pi s/2}\beta(x;s) + e^{i\pi s/2} \beta(1-x;s) \right][/math]

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

[math]\beta(x;s)= 2\Gamma(s+1)\sum_{n=1}^\infty \frac {\exp(2\pi inx) } {(2\pi n)^s}= \frac{2\Gamma(s+1)}{(2\pi)^s} \mbox{Li}_s (e^{2\pi ix}) [/math]

は、[math]0\le x\le 1[/math] と [math]s\gt 1[/math] に対して、ゼータ函数の有効な表現である。また、ここの [math]\text{Li}_s (z)[/math] は多重対数関数である。

函数等式

函数等式は、複素平面内でゼータ函数の右辺と左辺の値を関連付ける。整数 [math]1\leq m \leq n [/math] に対し、

[math]\zeta \left(1-s,\frac{m}{n} \right) = \frac{2\Gamma(s)}{ (2\pi n)^s } \sum_{k=1}^n \left[\cos \left( \frac {\pi s} {2} -\frac {2\pi k m} {n} \right)\; \zeta \left( s,\frac {k}{n} \right)\right] [/math]

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

テイラー展開

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

[math]\frac {\partial} {\partial q} \zeta (s,q) = -s\zeta(s+1,q).[/math]

このように、テイラー級数は、厳密なアンブラルな(umbral)な形、

[math]\zeta(s,x+y) = \sum_{k=0}^\infty \frac {y^k} {k!} \frac {\partial^k} {\partial x^k} \zeta (s,x) = \sum_{k=0}^\infty {s+k-1 \choose s-1} (-y)^k \zeta (s+k,x)[/math]

を持つ。

この代わりに [math]|q| \lt 1[/math] に対し、

[math]\zeta(s, q) = \frac{1}{q^s} + \sum_{n=0}^{\infty} (-q)^n {s + n - 1 \choose n} \zeta(s + n),[/math]

が成立する[2]。

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

[math]\zeta(s,N) = \sum_{k=0}^\infty \left[ N+\frac {s-1}{k+1}\right] {s+k-1 \choose s-1} (-1)^k \zeta (s+k,N) [/math]

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

ローラン級数

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

[math]\zeta(s,q)=\frac{1}{s-1}+\sum_{n=0}^\infty \frac{(-1)^n}{n!} \gamma_n(q) \; (s-1)^n.[/math]

特に、[math]\gamma_0(q) = -\psi(q)[/math] and [math]\gamma_0(1) = -\psi(1) = \gamma_0 = \gamma[/math] である。

フーリエ変換

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

ベルヌーイ多項式との関係

上で定義した函数 [math]\beta[/math] は、ベルヌーイ多項式(Bernoulli polynomials)

[math]B_n(x) = -\Re \left[ (-i)^n \beta(x;n) \right] [/math]

を一般化する。ここに [math]\Re z[/math] は z の実部を表す。代わりに、

[math]\zeta(-n,x)=-{B_{n+1}(x) \over n+1}[/math]

と書く。

特に、[math]n=0[/math] に対して関係式は保たれ、

[math]\zeta(0,x)= \frac{1}{2} -x[/math]

を得る。

ヤコビのテータ函数との関係

[math]\vartheta (z,\tau)[/math] をヤコビのテータ函数とすると、

[math]\int_0^\infty \left[\vartheta (z,it) -1 \right] t^{s/2} \frac{dt}{t}= \pi^{-(1-s)/2} \Gamma \left( \frac {1-s}{2} \right) \left[ \zeta(1-s,z) + \zeta(1-s,1-z) \right][/math]

が、[math]\Re s \gt 0[/math] であり z が整数を除く、複素数に対して成立する。z = n が整数の場合は、この式が単純化できて、

[math]\int_0^\infty \left[\vartheta (n,it) -1 \right] t^{s/2} \frac{dt}{t}= 2\ \pi^{-(1-s)/2} \ \Gamma \left( \frac {1-s}{2} \right) \zeta(1-s) =2\ \pi^{-s/2} \ \Gamma \left( \frac {s}{2} \right) \zeta(s)[/math]

となる。ここの ζ はリーマンゼータ函数である。この後者の式は、リーマンによりもともと与えられたが、リーマンゼータ函数の函数等式であることに注意する。この z が整数であることとそうでないことの差異は、ヤコビのテータ函数が [math]t\rightarrow 0[/math] のときに z についてディラックのデルタ函数へ収束するか否かということによる。

ディリクレのL-函数との関係

有理数の引数に対してフルヴィッツのゼータ函数は、ディリクレのL-函数の線型結合とは、相互に表される関係にある。フルヴィッツのゼータ函数は、q = 1 のときにはリーマンゼータ函数 ζ(s) に一致する。 q = 1/2 のときには、フルヴィッツのゼータ函数は (2s−1)ζ(s)[3] に等しくなり、 k > 2 のとき、q = n/k で (n,k) > 1 かつ 0 < n < k に対しては、mod k のディリクレ指標の全てを渡る和として、

[math]\zeta(s,n/k)=\frac{k^s}{\varphi(k)}\sum_\chi\overline{\chi}(n)L(s,\chi),[/math]

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

[math]L(s,\chi)=\frac {1}{k^s} \sum_{n=1}^k \chi(n)\; \zeta \left(s,\frac{n}{k}\right).[/math]

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

乗法定理(multiplication theorem)

[math]k^s\zeta(s)=\sum_{n=1}^k \zeta\left(s,\frac{n}{k}\right)[/math]

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

[math]\sum_{p=0}^{q-1}\zeta(s,a+p/q)=q^s\,\zeta(s,qa)[/math]

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

ゼロ点

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

有理数値

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

[math]E_{2n-1}\left(\frac{p}{q}\right) = (-1)^n \frac{4(2n-1)!}{(2\pi q)^{2n}} \sum_{k=1}^q \zeta\left(2n,\frac{2k-1}{2q}\right) \cos \frac{(2k-1)\pi p}{q}[/math]

と

[math]E_{2n}\left(\frac{p}{q}\right) = (-1)^n \frac{4(2n)!}{(2\pi q)^{2n+1}} \sum_{k=1}^q \zeta\left(2n+1,\frac{2k-1}{2q}\right) \sin \frac{(2k-1)\pi p}{q}[/math]

である。

また、等式

[math]\zeta\left(s,\frac{2p-1}{2q}\right) = 2(2q)^{s-1} \sum_{k=1}^q \left[ C_s\left(\frac{k}{q}\right) \cos \left(\frac{(2p-1)\pi k}{q}\right) + S_s\left(\frac{k}{q}\right) \sin \left(\frac{(2p-1)\pi k}{q}\right) \right][/math]

も [math]1\le p \le q[/math] に対して成り立つ。ここに、[math]C_\nu(x)[/math] と [math]S_\nu(x)[/math] はルジャンドルのχ函数(Legendre chi function) [math]\chi_\nu[/math] を使い、

[math]C_\nu(x) = \operatorname{Re}\, \chi_\nu (e^{ix})[/math]

と

[math]S_\nu(x) = \operatorname{Im}\, \chi_\nu (e^{ix}).[/math]

である。

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

応用

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

特殊な場合と一般化

正の整数 m に対するフルヴィッツのゼータ函数は、ポリガンマ函数

[math]\psi^{(m)}(z)= (-1)^{m+1} m! \zeta (m+1,z) [/math]

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

[math]\zeta(-n,x) = - \frac{B_{n+1}(x)}{n+1} [/math]

に関係している。

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

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

[math]\Phi(z, s, q) = \sum_{k=0}^\infty \frac { z^k} {(k+q)^s}[/math]

であるので、

[math]\zeta (s,q)=\Phi(1, s, q)[/math]

となる。

超幾何級数

[math]a_1=a_2=\ldots=a_s=a[/math] かつ [math]a\notin\N[/math] かつ [math]s\in\N^+[/math] のとき、
[math]\zeta(s,a)=a^{-s}\cdot{}_{s+1}F_s(1,a_1,a_2,\ldots a_s;a_1+1,a_2+1,\ldots a_s+1;1)[/math] である。

メイジャーのG-函数（English版）(Meijer G-function)

[math]\zeta(s,a)=G\,_{s+1,\,s+1}^{\,1,\,s+1}\left(-1 \; \left| \; \begin{matrix}0,1-a,\ldots,1-a\\0,-a,\ldots,-a\end{matrix}\right)\right.\qquad\qquad s\in\N^+.[/math]

脚注

  1. ↑ Hasse, Helmut (1930), “Ein Summierungsverfahren für die Riemannsche ζ-Reihe”, Mathematische Zeitschrift 32 (1): 458–464, doi:10.1007/BF01194645 
  2. ↑ Vepstas, Linas (2007年). “An efficient algorithm for accelerating the convergence of oscillatory series, useful for computing the polylogarithm and Hurwitz zeta functions”. arXiv:math/0702243. 
  3. ↑ 3.0 3.1 3.2 Davenport (1967) p.73
  4. ↑ Lowry, David. “Hurwitz Zeta is a sum of Dirichlet L functions, and vice-versa”. mixedmath. . 8 February 2013閲覧.
  5. ↑ (1981) Modular Units, Grundlehren der Mathematischen Wissenschaften. Springer-Verlag. ISBN 0-387-90517-0. 
  6. ↑ Davenport, H. & Heilbronn, H. (1936), “On the zeros of certain Dirichlet series”, Journal of the London Mathematical Society 11 (3): 181–185, doi:10.1112/jlms/s1-11.3.181 
  7. ↑ Cassels, J. W. S. (1961), “Footnote to a note of Davenport and Heilbronn”, Journal of the London Mathematical Society 36 (1): 177–184, doi:10.1112/jlms/s1-36.1.177 
  8. ↑ Given by Cvijović, Djurdje & Klinowski, Jacek (1999), “Values of the Legendre chi and Hurwitz zeta functions at rational arguments”, Mathematics of Computation 68 (228): 1623–1630, Bibcode 1999MaCom..68.1623C, doi:10.1090/S0025-5718-99-01091-1 
  9. ↑ ベルヌーイ多項式とオイラー多項式やそれらの関係は、英語版では同じ記事ベルヌーイ多項式の中に記載されている。
  10. ↑ Schwinger, J. (1951), “On gauge invariance and vacuum polarization”, Physical Review 82 (5): 664–679, Bibcode 1951PhRv...82..664S, doi:10.1103/PhysRev.82.664 
  11. ↑ Apostol (1976) p.264

参考文献

外部リンク



「http:///http:///mymemo.xyz/mymemo.xyz/wiki/index.php?title=フルヴィッツのゼータ函数&oldid=106731」から取得