■ゼータ関数の対称性(その7)

 オイラーの定数γを極限値lim(Σ1/k−lnn)を直接計算するのは収束が遅くて非効率的です.そこで,

  log(1+x)=x−x^2/2+x^3/3−x^4/4+・・・

  log(1+1/x)=1/x−1/(2x^2)+1/(3x^3)−1/(4x^4)+・・・

より

  logΓ(1+s)=−γs+ζ(2)/2s^2−ζ(3)/3s^3+・・・

 これを用いると

  γ=ζ(2)/2−ζ(3)/3+ζ(4)/4−ζ(5)/5+・・・

あるいは

  γ=1−1/2(ζ(2)−1)−1/3(ζ(3)−1)−1/4(ζ(4)−1)−・・・

などと書けることになります.これらの無限級数はかなり速く収束します.

===================================

 ゼータ関数とガンマ関数との間に

 ζ(x)=1/Γ(x)∫(0,∞)t^(x-1)/(e^x-1)dt

 ζ(x)=1/(1-2^(1-x))Γ(x)∫(0,∞)t^(x-1)/(e^x+1)dt

が成り立ちます.まず最初に,これらを導いてみましょう.

Γ(s)=∫(0,∞)t^(s-1)e^-tdt

にt=nxを代入するならば

Γ(s)/n^s=∫(0,∞)x^(s-1)e^(-nx)dx

が得られる.この式のnについての総和をとるなら

ΣΓ(s)/n^s=Σ∫(0,∞)x^(s-1)e^(-nx)dx

=∫(0,∞)x^(s-1)e^(-x){1+e^(-x)+e^(-2x)+・・・}dx

=∫(0,∞)x^(s-1)e^(-x)/(1-e^(-x))dx

=∫(0,∞)x^(s-1)/(e^x-1)dx

 これより

  Γ(s)ζ(s)=∫(0-∞)x^(s-1)/(e^x-1)dx

が得られる.

 また,交代級数

φ(s)=1−1/2^s+1/3^s−1/4^s+・・・=Σ(−1)^n-1/n^s

を考えます.負項を正項に変えて,あとでその2倍を引きます.

φ(s)

=(1+1/2^s+1/3^s+1/4^s+・・・)−2(1/2^s+1/4^s+・・・)

=(1+1/2^s+1/3^s+1/4^s+・・・)−2^1-s(1+1/2^s+1/3^s+1/4^s+・・・)

=(1−2^1-s)ζ(s)

となります.

ΣΓ(s)(−1)^n-1/n^s=Σ∫(0,∞)x^(s-1)(−1)^n-1e^(-nx)dx

=∫(0,∞)x^(s-1)e^(-x){1-e^(-x)+e^(-2x)-・・・}dx

=∫(0,∞)x^(s-1)e^(-x)/(1+e^(-x))dx

=∫(0,∞)x^(s-1)/(e^x+1)dx

 これより

  Γ(s)ζ(s)(1-2^(1-x))=∫(0,∞)x^(s-1)/(e^x+1)dx

が得られる.

===================================