■素数がもたらしたもの(その22)

 関数等式

  ζ(s)=π^(s-1/2)Γ((1-s)/2)/Γ(s/2)ζ(1-s)

は,

ξ(s)=1/2s(s-1)π^(-s/2)Γ(s/2)ζ(s)

あるいは

ξ(s)=π^(-s/2)Γ(s/2)ζ(s)

で定義すると

ξ(s)=ξ(1-s)

のように完全に左右対称な美しい形に書くことができる.

 これを用いて

  −ζ’(−s)

を求めることを考えてみたい.

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

  ζ(1-s)=π^(s-1/2)Γ((1-s)/2)/Γ(s/2)ζ(s)

 ここで,Γ(1/2+x)Γ(1/2-x)=π/cosπxより

  ζ(1-s)=2^(1-s)π^-sζ(s)Γ(s)cosπs/2

 これを微分すると

  -ζ’(1-s)=・・・

sにs+1を代入すると

  -ζ’(-s)=・・・

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

  ζ(1-s)=2^(1-s)π^-sζ(s)Γ(s)cosπs/2

となったが,これを微分しても-ζ’(1-s)とζ(s)の関係,たとえば,

  −ζ’(−2)=ζ(3)/4π^2

  −ζ’(−4)=3ζ(5)/4π^4

は求められないことになる.どうすればよいのだろうか?

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