■地図の接続と関数の接続(その12)
オイラーの定数γを極限値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
が得られる.
===================================