（その７）と（その１３）の続きです．

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

　ζ(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

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

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

にｔ＝ｎｘを代入するならば

Γ(ｓ)／ｎ^s=∫(0,∞)x^(ｓ-1)e^(-nx)dx

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

ΣΓ(ｓ)／ｎ^s=Σ∫(0,∞)x^(ｓ-1)e^(-nx)dx

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

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

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

　これより

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

が得られる．

　また，交代級数

φ（ｓ）＝１−１／２^s＋１／３^s−１／４^s＋・・・＝Σ（−１）^n-1／ｎ^s

を考えます．負項を正項に変えて，あとでその２倍を引きます．

φ（ｓ）

=（１＋１／２^s＋１／３^s＋１／４^s＋・・・）−２（１／２^s＋１／４^s＋・・・）

＝（１＋１／２^s＋１／３^s＋１／４^s＋・・・）−２^1-s（１＋１／２^s＋１／３^s＋１／４^s＋・・・）

=（１−２^1-s）ζ(ｓ)

となります．

ΣΓ(ｓ)（−１）^n-1／ｎ^s=Σ∫(0,∞)x^(ｓ-1)（−１）^n-1e^(-nx)dx

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

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

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

　これより

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

が得られる．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　また，メリン変換より

ζ(ｓ)=Σ1/ｎ^sにおいて

F(exp(-t))=Σexp(-nt)=1/(exp(t)-1)

φ（ｓ）＝Σ(-1)^n-1／ｎ^s=(1-2^(1-s))ζ(ｓ)において，

F(exp(-t))=Σ(-1)^n-1exp(-nt)=1/(exp(t)+1)

Ｌ（ｓ）＝１／１^s−１／３^s＋１／５^s−１／７^s＋・・・

においてF(exp(-t))=1/(exp(t)+exp(-t))

　したがって、

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

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

Ｌ（ｓ）＝1/Γ(s)∫(0,∞)t^(s-1)/(exp(t)+exp(-t))dt

が成り立ちます．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝