Derivative of Riemann zeta function

  • #1
I'm trying to evaluate the derivative of the Riemann zeta function at the origin, [itex]\zeta'(0)[/itex], starting from its integral representation
[tex]\zeta(s)=\frac{1}{\Gamma(s)}\int_0^\infty t^{s-1}\frac{1}{e^t-1}.[/tex]
I don't want to use a symbolic algebra system like Mathematica or Maple.

I am able to continue to [itex]s=0[/itex] and evaluate the zeta function there [itex]\zeta(0)=-1/2[/itex]. I'm just stuck on how to evaluate the derivative.

Can somebody show me how to do this starting from the integral representation? Thanks.
 

Answers and Replies

  • #2
mathman
Science Advisor
7,867
450
d/ds{ts-1/Γ(s)} = {(s-1)ts-2Γ(s) - ts-1Γ'(s)}/Γ(s)2=f(s,t). The integrand is f(s,t)/(et-1)
 
  • #3
\begin{array}\\\zeta (s)=\frac{1}{\Gamma (s)}\int_{0}^{\infty}\frac{t^{s-1}}{e^{t-1}}dt\\
\frac{d}{ds}\zeta (s)=\frac{d}{ds}\frac{1}{\Gamma (s)}\int_{0}^{\infty}\frac{t^{s-1}}{e^{t-1}}dt+\frac{1}{\Gamma (s)}\frac{d}{ds}\int_{0}^{\infty}\frac{t^{s-1}}{e^{t-1}}dt=\frac{-1}{\Gamma^2 (s)}\frac{d}{ds}\Gamma (s)\int_{0}^{\infty}\frac{t^{s-1}}{e^{t-1}}dt+\frac{1}{\Gamma (s)}\int_{0}^{\infty}\frac{d}{ds}\frac{t^{s-1}}{e^{t-1}}dt\\

\zeta' (s)=\frac{-1}{\Gamma^2 (s)}\int_{0}^{\infty}t^{s-1}e^{-t}\ln{t}dt\int_{0}^{\infty}\frac{t^{s-1}}{e^{t-1}}dt+\frac{1}{\Gamma (s)}\int_{0}^{\infty}\frac{t^{s-1}}{e^{t-1}}\ln{t}dt\end{array}

Now put s=0 and integrate!
 
  • #4
Hi thanks, but the -1 is not in the exponential.
Its [itex]\frac{1}{e^t-1}[/itex] not [itex]\frac{1}{e^{t-1}}[/itex].
 
  • #5
Hi thanks, but the -1 is not in the exponential.
Its [itex]\frac{1}{e^t-1}[/itex] not [itex]\frac{1}{e^{t-1}}[/itex].
Oh yes you are right! My mistake :frown:


\begin{array}\\\zeta (s)=\frac{1}{\Gamma (s)}\int_{0}^{\infty}\frac{t^{s-1}}{e^t-1}dt\\
\frac{d}{ds}\zeta (s)=\frac{d}{ds}\frac{1}{\Gamma (s)}\int_{0}^{\infty}\frac{t^{s-1}}{e^t-1}dt+\frac{1}{\Gamma (s)}\frac{d}{ds}\int_{0}^{\infty}\frac{t^{s-1}}{e^t-1}dt=\frac{-1}{\Gamma^2 (s)}\frac{d}{ds}\Gamma (s)\int_{0}^{\infty}\frac{t^{s-1}}{e^t-1}dt+\frac{1}{\Gamma (s)}\int_{0}^{\infty}\frac{d}{ds}\frac{t^{s-1}}{e^t-1}dt\\

\zeta' (s)=\frac{-1}{\Gamma^2 (s)}\int_{0}^{\infty}t^{s-1}e^{-t}\ln{t}dt\int_{0}^{\infty}\frac{t^{s-1}}{e^t-1}dt+\frac{1}{\Gamma (s)}\int_{0}^{\infty}\frac{t^{s-1}}{e^t-1}\ln{t}dt\end{array}

Now it is correct
 
  • #6
Ok, that sounds good; but now what? How do I do those integrals? If I set s=0, the second integral doesn't converge...
 
  • #7
Ok, that sounds good; but now what? How do I do those integrals? If I set s=0, the second integral doesn't converge...
If you set s=0 (almost) all integrals(including Γ(s) and Γ'(s)) will diverge but a combination of them could actually converge.
My advice: calculate the integrals(you may need power series for some) and replace them with limits. Then, simplify everything and hope that the final limit won't be infinite
 
  • #8
thanks. I've tried taking the power series. But in the end, the final sum doesn't converge. I'm afraid I'm going to need help till the bitter end on this one.
 

Related Threads on Derivative of Riemann zeta function

  • Last Post
Replies
8
Views
3K
  • Last Post
Replies
2
Views
2K
Replies
1
Views
518
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
1
Views
2K
Replies
3
Views
4K
  • Last Post
Replies
2
Views
4K
Replies
2
Views
2K
Top