How does one motivate the analytic continuation of the Riemann zeta function? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T15:38:22Z http://mathoverflow.net/feeds/question/58004 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/58004/how-does-one-motivate-the-analytic-continuation-of-the-riemann-zeta-function How does one motivate the analytic continuation of the Riemann zeta function? 36min 2011-03-09T22:31:34Z 2012-05-23T07:52:38Z <p>I saw the functional equation and its proof for the Riemann zeta function many times, but ususally the books start with, e.g. tricky change of variable of Gamma function or other seemly unmotivated things (at least for me!).</p> <p>My question is, how does one really motivate the functional equation of the zeta function? Can one see there is some hidden symmetry before finding/proving it? For example, I think $\Gamma(s+1)=s\Gamma(s)$ for $s>1$ "motivates" the analytic continuation of the Gamma function.</p> http://mathoverflow.net/questions/58004/how-does-one-motivate-the-analytic-continuation-of-the-riemann-zeta-function/58019#58019 Answer by Frank Thorne for How does one motivate the analytic continuation of the Riemann zeta function? Frank Thorne 2011-03-10T00:36:13Z 2011-03-10T00:36:13Z <p>Here is one motivation. By elementary algebraic manipulation, we have</p> <p>$$1 - 2 + 3 - 4 + \cdots = \frac{1}{4};$$</p> <p>see, e.g. [broken link - ?; search Wikipedia for 1 - 2 + 3 - 4]</p> <p>But (see <a href="http://math.ucr.edu/home/baez/qg-winter2004/zeta.pdf" rel="nofollow">here</a>) we have</p> <p>$$(1 - 2 \cdot 2)(1 + 2 + 3 + 4 + \cdots) = 1 - 2 + 3 - 4 + \cdots,$$</p> <p>and therefore</p> <p>$$1 + 2 + 3 + 4 + \cdots = - \frac{1}{12}.$$</p> <p>Of course, to do all of this, one has to ignore all those rules that pesky analysis professors tell you about. But the last identity is just so cool that one feels compelled to try to prove it rigorously.</p> http://mathoverflow.net/questions/58004/how-does-one-motivate-the-analytic-continuation-of-the-riemann-zeta-function/58025#58025 Answer by Daniel Parry for How does one motivate the analytic continuation of the Riemann zeta function? Daniel Parry 2011-03-10T01:50:01Z 2011-03-10T05:31:33Z <p>When I speak about intuition behind the proof of the functional equation. I am talking about proofs similiar to this one <a href="http://www.math.harvard.edu/~elkies/M259.02/zeta1.pdf" rel="nofollow">http://www.math.harvard.edu/~elkies/M259.02/zeta1.pdf</a></p> <p>As far as I can tell, this idea was originally formulated out of necessity. Riemann needed it for the prime number theorem. However the intuition becomes more natural if one accepts both of the following facts:</p> <p>1)The <a href="http://en.wikipedia.org/wiki/Mellin_transform%20%22Mellin%20Transform%22" rel="nofollow">Cahen Mellin Integral</a> transforms a Dirichlet series (something hard to work with) into a Fourier series/polynomial (which we usually are more familiar with). </p> <p>2) When applying $\zeta(2s)$ to this transform, we get the <a href="http://en.wikipedia.org/wiki/Theta_function" rel="nofollow">Jacobi theta function</a> $\theta(y)$ which has tons of special structure to it.</p> <p>So in a sense it is the classic scheme of "I can't work with A so I will transform it to B and then transform it back." When you transform the $\zeta(2s)$ you are getting a Fourier series (which by itself has a ton of facts about it) but it also has a really useful functional equation to it.</p> http://mathoverflow.net/questions/58004/how-does-one-motivate-the-analytic-continuation-of-the-riemann-zeta-function/58039#58039 Answer by KConrad for How does one motivate the analytic continuation of the Riemann zeta function? KConrad 2011-03-10T05:29:05Z 2011-03-10T05:29:05Z <p>You do not try to motivate it! Even Riemann didn't see a nice argument right away. </p> <p>Riemann's first proof of the functional equation used a contour integral and led him to a yucky functional equation expressing $\zeta(1-s)$ in terms of $\zeta(s)$ multiplied by things like $\Gamma(s)$ and $\cos(\pi{s}/2)$. Only after finding this functional equation did Riemann observe that the functional equation he found could be expressed more elegantly as $Z(1-s) = Z(s)$, where $Z(s) = \pi^{-s/2}\Gamma(s/2)\zeta(s)$. Then he gave a proof of this more symmetric functional equation for $Z(s)$ using a transformation formula for the theta-function $\theta(t) = \sum_{n \in {\mathbf Z}} e^{-\pi{n^2}t},$ which is $$\theta(1/t) = \sqrt{t}\theta(t).$$ In a sense that transformation formula for $\theta(t)$ is equivalent to the functional equation for $Z(s)$. The transformation formula for $\theta(t)$ is itself a consequence of the Poisson summation formula and also reflects the fact that $\theta(t)$ is a modular form of weight 1/2. </p> <p>Instead of trying to motivate the technique of analytically continuing the Riemann zeta-function I think it's more important to emphasize what concepts are needed to prove it: Poisson summation and a connection with modular forms (for $\theta(t)$). These ideas are needed for the analytic continuation of most other Dirichlet series with Euler product which generalize $\zeta(s)$, so an awareness that the method of Riemann continues to work in other cases by suitably jazzing up Poisson summation and a link to modular forms will leave the reader/student with an appreciation for what goes into the proof.</p> <p>This proof is not intuitive and I think it's a good illustration of von Neumann's comment that in mathematics we don't understand things, but rather we just get used to them.</p> http://mathoverflow.net/questions/58004/how-does-one-motivate-the-analytic-continuation-of-the-riemann-zeta-function/58045#58045 Answer by Denis Chaperon de Lauzières for How does one motivate the analytic continuation of the Riemann zeta function? Denis Chaperon de Lauzières 2011-03-10T07:01:39Z 2011-03-10T16:32:16Z <p>(1) Titchmarsh points out in his book on the zeta function (section 2.3) that if you blindly apply the Poisson summation formula to the function $f(s)=|x|^s$, you get the functional equation of the Riemann zeta function immediately, and gives a reference to a paper of Mordell where this procedure is justified.</p> <p>(2) However, if I had to motivate this in a (introductory graduate) class, with students knowledgeable about complex analysis, I would do as follows: </p> <p>-- We want to count prime up to $x$ (after all, this is what Riemann had in mind);</p> <p>-- Writing the number of primes as a sum of some function $g(n)$ for $n$ up to $x$, it is fairly natural (though perhaps with hindsight) to use harmonic analysis to go further; it is here also rather natural to use characters of the positive reals, and hence one gets a Mellin integral on a vertical line with large enough real part ($Re(s)=\sigma>1$, say), where the dependency on $x$ is entirely in $x^s$, and the logarithmic derivative of the zeta function comes out;</p> <p>-- A naive attempt to estimate from this fails, since $|x^s|=x^{\sigma}$ is worse than the trivial bound for the number of primes up to $x$; it is therefore natural to try to move the contour of integration to the left to reduce the size of $\sigma$;</p> <p>-- Hence whether something can be done along these lines is immediately related to the possibility of performing analytic continuation of the (logarithmic derivative) of the zeta function;</p> <p>-- In Riemann's time, I have the feeling that people like him would then just shrug and say, "Ok, let's continue $\zeta(s)$ as much as we can", and would find a way of doing so. Most attempts succeed at also getting the functional equation, and it becomes natural to try to understand the latter. But there are other problems where the basic strategy is the same, and one gets a limited range of analytic continuation (and there is no functional equation), while still being able to get an asymptotic formula for the sum of original interest. [Indeed, in some sense, this is what happened to Riemann: to actually count primes, one needs to continue the logarithmic derivative, and if the zeros of $\zeta(s)$ are badly located, the strategy fails -- and he did not prove the Prime Number Theorem.]</p> http://mathoverflow.net/questions/58004/how-does-one-motivate-the-analytic-continuation-of-the-riemann-zeta-function/97401#97401 Answer by Tom Copeland for How does one motivate the analytic continuation of the Riemann zeta function? Tom Copeland 2012-05-19T15:18:27Z 2012-05-23T07:52:38Z <p><em>Riemann's analytic continuations and derivation of the functional equations for $\zeta$ and $\xi$ seem quite natural and intuitive from the perspective of basic complex analysis.</em></p> <p>Riemann in the second equation of his classic paper <a href="http://www.claymath.org/millennium/Riemann_Hypothesis/1859_manuscript/EZeta.pdf" rel="nofollow">On the Number of Prime Numbers less than a Given Quantity</a> (1859) writes down the Laplace (1749-1827) transform </p> <p>$$\int_{0}^{+\infty}e^{-nx}x^{s-1}dx=\frac{(s-1)!}{n^s},$$ valid for $real(s)>0.$ </p> <p>With $n=1$ this is the iconic Euler (1707-1783) integral representation of the gamma function, and noting that</p> <p>$(s-1)!=\frac{\pi}{sin(\pi s)}\frac{1}{(-s)!}$ from the symmetric relation $\frac{sin(\pi s)}{\pi s}=\frac{1}{s!(-s)!},$</p> <p>this can be rewritten as</p> <p>$$\frac{sin(\pi s)}{\pi}\int_{0}^{\infty}e^{-x}x^{s-1}dx=\frac{1}{(-s)!},$$</p> <p>suggesting quite naturally to someone as familiar with analytic continuation as Riemann that</p> <p>$$\frac{-1}{2\pi i}\int_{+\infty}^{+\infty}e^{-x}(-x)^{s-1}dx=\frac{1}{(-s)!},$$</p> <p>valid for all $s$, where the line integral is blown up around the positive real axis into the complex plane to sandwich it with a branch cut for $x>0$ and to loop the origin in the positive sense from positive infinity to positive infinity. Deflating the contour back to the real axis introduces a $-exp(i\pi s)+exp(-i\pi s)=-2isin(\pi s)$. (This special contour is now called the <a href="http://en.wikipedia.org/wiki/Hankel_contour" rel="nofollow">Hankel contour</a> after <a href="http://en.wikipedia.org/wiki/Hermann_Hankel" rel="nofollow">Hermann Hankel</a> (1839-1873), who became a student of Riemann in 1860 and published this integral for the <a href="http://en.wikipedia.org/wiki/Reciprocal_Gamma_function" rel="nofollow">reciprocal gamma fct.</a> in his habilitation of 1863. Most likely Riemann introduced him to this maneuver.)</p> <p>Riemann in his third equation observes that</p> <p>$$(s-1)!\zeta(s)=(s-1)!\sum_{n=1}^{\infty }\frac{1}{n^s}=\int_{0}^{+\infty}\sum_{n=1}^{\infty }e^{-nx}x^{s-1}dx=\int_{0}^{+\infty}\frac{1}{e^x-1}x^{s-1}dx$$</p> <p>and then immediately writes down as his fourth equality the analytic continuation </p> <p>$$2sin(\pi s)(s-1)!\zeta(s)=i\int_{+\infty}^{+\infty}\frac{(-x)^{s-1}}{e^x-1}dx,$$ </p> <p>valid for all $s$, which can be rewritten as</p> <p>$$\frac{\zeta(s)}{(-s)!}=\frac{-1}{2\pi i}\int_{+\infty}^{+\infty}\frac{(-x)^{s-1}}{e^x-1}dx$$</p> <p>as naturally suggested by the analytic continuation of the reciprocal of gamma above.</p> <p>For $m=0,1,2, ...,$ this gives</p> <p>$$\zeta(-m)=\frac{(-1)^{m}}{2\pi i}\oint_{|z|=1}\frac{m!}{z^{m+1}}\frac{1}{e^z-1}dz=\frac{(-1)^{m}}{m+1}\frac{1}{2\pi i}\oint_{|z|=1}\frac{(m+1)!}{z^{m+2}}\frac{z}{e^z-1}dz$$ </p> <p>from which you can see, if you are familiar with the exponential generating fct. (e.g.f.) for the Bernoulli numbers, that the integral vanishes for even $m$. Euler published the e.g.f. in 1740 (<a href="http://math.stackexchange.com/questions/144436/original-author-of-an-exponential-generating-function-for-the-bernoulli-numbers" rel="nofollow">MSE-Q144436</a>), and Riemann certainly was familiar with these numbers and states that his fourth equality implies the vanishing of $\zeta(s)$ for $m$ even (but gives no explicit proof). He certainly was also aware of Euler's heuristic functional eqn. for integer values of the zeta fct., and Edwards in <strong>Riemann's Zeta Function</strong> (pg. 12, Dover ed.) even speculates that ".. it may well have been this problem of deriving (2) [Euler's formula for $\zeta(2n)$ for positive $n$] anew which led Riemann to the discovery of the functional equation ...." </p> <p>Riemann then proceeds to derive the functional eqn. for zeta from his equality by using the singularities of $\frac{1}{e^z-1}$ to obtain basically</p> <p>$$\zeta(s)=2(2\pi)^{s-1}\Gamma(1-s)\sin(\tfrac12\pi s)\zeta(1-s),$$</p> <p>and says three lines later essentially that it may be expressed symmetrically about $s=1/2$ as </p> <p>$$\xi(s) = \pi^{-s/2}\ \Gamma\left(\frac{s}{2}\right)\ \zeta(s)=\xi(1-s).$$</p> <p>Riemann then says, "This property of the function [$\xi(s)=\xi(1-s)$] induced me to introduce, in place of $(s-1)!$, the integral $(s/2-1)!$ into the general term of the series $\sum \frac{1}{n^s}$, whereby one obtains a very convenient expression for the function $\zeta(s)$." And then he proceeds to introduce what Edwards calls a second proof of the functional eqn. using the Jacobi theta function.</p> <p>Edwards wonders:</p> <p>"Since the second proof renders the first proof wholly unnecessary, one may ask why Riemann included the first proof at all. Perhaps the first proof shows the argument by which he originally discovered the functional equation or perhaps it exhibits some properties which were important in his understanding of it."</p> <p>I wonder whether, as his ideas evolved <em>before he wrote the paper</em>, he first constructed $\xi(s)$ by noticing that multiplying $\zeta(s)$ by $\Gamma(\frac{s}{2})$ introduces a simple pole at $s=0$ thereby reflecting the pole of $\zeta(s)$ at $s=1$ through the line $s=1/2$ and that the other simple poles of $\Gamma(\frac{s}{2})$ are removed by the zeros on the real line of the zeta function. The $\pi^{-s/2}$ can easily be determined as a normalization by an entire function $c^s$ where $c$ is a constant, using the complex conjugate symmetry of the gamma and zeta fct. about the real axis. Riemann had fine physical intuition and would have thought holistically in terms of the the zeros of a function (see Euler's proof of the Basel problem) and its poles, the importance of which he certainly stressed.</p> <p><em>Let's extend the reasoning above for the Jacobi theta function</em></p> <p>$$\vartheta (0;ix^2)=\sum_{n=-\infty,}^{\infty }exp(-\pi n^{2}x^2).$$</p> <p>Viewing a modified Mellin transform as an interpolation of Taylor series coefficients (<a href="http://mathoverflow.net/questions/79868/what-does-mellin-inversion-really-mean/79925#79925" rel="nofollow">MO-Q79868</a>), it's easy to guess (note the zeros of the coefficients) that </p> <p>$$\int^{\infty}_{0}\exp(-x^2)\frac{x^{s-1}}{(s-1)!} dx = \cos(\pi\frac{ s}{2})\frac{(-s)!}{(-\frac{s}{2})!} = \frac{1}{2}\frac{(\frac{s}{2}-1)!}{(s-1)!},$$ </p> <p>and, therefore,</p> <p>$$\int^{\infty}_{0}\exp(-\pi (n x)^2)x^{s-1} dx = \frac{1}{2}\pi^{-s/2}(\frac{s}{2}-1)! \frac{1}{n^s}.$$ </p> <p>By now you should be able to complete the line of reasoning to obtain, for $real(s)>1,$</p> <p>$$\xi(s)=\int_{0^+}^{\infty }[\vartheta (0;ix^2)-1)]x^{s-1}dx=\pi^{-s/2}\ \Gamma\left(\frac{s}{2}\right)\ \zeta(s).$$ </p> <p>Do an analytic continuation as done for the gamma function in <a href="http://math.stackexchange.com/questions/13956/domain-of-the-gamma-function/132727#132727" rel="nofollow">MSE-Q13956</a> to obtain, for <code>0&lt;real(s)&lt;1,</code></p> <p>$$\xi(s)=\int_{0^+}^{\infty }[\vartheta (0;ix^2)-(1+\frac{1}{x})]x^{s-1}dx.$$</p> <p>Then use symmetries of the Mellin transform and the fact that $\xi(s)=\xi(1-s)$ (as explained in <a href="http://math.stackexchange.com/questions/28737/does-the-functional-equation-f1-r-rfr-have-any-nontrivial-solutions-besi/145159#145159" rel="nofollow">MSE-Q28737</a>) to obtain the functional equation</p> <p>$$\vartheta (0;ix^2)=\frac{1}{x}\vartheta (0;\frac{i}{x^{2}}).$$</p>