Proof of Analytic Continuation for Riemann Zeta Function

[Jameson]

I've Googled a while for a proof of the analytic continuation of the Riemann Zeta Function, in the form of \zeta(1-s) but I haven't found work shown on how to obtain the long expression. Any links or good books?

Thanks,
Jameson

 

[benorin]

What are you after?

Which long expression do you mean? Do you mean the analytic continuation via functional equation?
Do you want the globally convergent (entire complex plane except@z=1) continuation of \zeta(z)? It is obtained by first doing the usual continuation of \sum_{k=1}^{\infty}\frac{1}{k^z} which converges for Re[z]>1 to \frac{1}{1-2^{1-z}}\sum_{k=1}^{\infty}\frac{(-1)^{k-1}}{k^z} which converges for Re[z]>0 :zzz: . This can be further continued to z\in \mathbb{C}\setminus\{1\} applying Euler's series transformation to the prior series to obtain
\frac{1}{1-2^{1-z}}\sum_{n=0}^{\infty}\frac{1}{2^{n+1}}\sum_{k=0}^{n}(-1)^k\left(\begin{array}{cc}n\\k\end{array}\right)(k+1)^{-z}.

 

[Jameson]

Sorry, I'll clarify. This is the form I'm looking for:

\zeta(1-s)=2^{1-s}{\pi}^{-s}(\sin{\frac{(1-s)\pi}{2}}})(s-1)!\zeta(s)

 

[shmoe]

Riemann provided two methods of proving the functional equation in his original paper (though in a symmetric form, it's just minor fiddling to get the version you want). Here's a translation:

http://www.maths.tcd.ie/pub/HistMath/People/Riemann/Zeta/EZeta.pdf

Titchmarhs's "Theory of the Riemann Zeta Function" has several different proofs, as will any book with "Zeta function" in the title and many with "Analytic number theory" will as well.

 

[benorin]

This, then, is what you are looking for.

Sorry, I'll clarify. This is the form I'm looking for:
\zeta(1-s)=2^{1-s}{\pi}^{-s}(\sin{\frac{(1-s)\pi}{2}}})(s-1)!\zeta(s)

This one gives the symmetric form of the above, from there you can use your knowledge of the gamma function to obtain the desired form. And by this one, I do mean exercise #21 from pg. 51 of Andrews, G., Askey, R., & Roy, R. (2000). Encyclopedia of mathematics and its applications: special functions . 1st paperback ed. Cambridge, UK: Cambridge University Press., which reads as follows:
Prove that \pi^{-\frac{s}{2}}\Gamma(\frac{s}{2})\zeta(s)=\pi^{-\frac{1-s}{2}}\Gamma(\frac{1-s}{2})\zeta(1-s) as follows:
a) Observe that \sum_{n=0}^{\infty}\frac{\sin((2n+1)x)}{2n+1}=(-1)^{m}\frac{\pi}{4} for m\pi<x<(m+1)\pi, m\in\mathbb{N}
b) Multiply the equation by x^{s-1} (0 < s < 1) and integrate over (0,\infty). Show that the left side is \Gamma(s)\sin(\frac{s\pi}{2})(1-2^{-s-1})\zeta(s+1) and that the right represents an analytic function for \Re(s)&lt;1 and is equal to 2(1-2^{s+1}) \zeta(1-s) for \Re(s)&lt;0.
c) Deduce the functional equation for the zeta function. (Hardy)
(I added the smiley, and note that the text had the sum in part (a) starting at n=1, which my prof. confirmed is a typo).