10
$\begingroup$

Say you are allowed to use Fourier analysis, complex variables, Euler-Maclaurin, etc., but no complex analysis - no holomorphic continuations, no definition of analytic function, and, in particular, no recourse to the concept that every analytic function $f(s)$ vanishing at $s_0$ behaves like $(s-s_0)$ near $s_0$. (You are still allowed to use that fact for a specific function $f$, if you can prove it for that function $f$.)

How would you prove that $lim_{\sigma->1^+} \zeta(\sigma+it) \ne 0$ ($t$ real and fixed)? All the proofs I know (with or without explicit recourse to $\zeta^3(\sigma) |\zeta(\sigma+it)|^4 |\zeta(\sigma+2it)|\geq 0$ or the like) use the fact that, if the limit were 0, then $\zeta(\sigma+it)\sim (\sigma+it-1)$ for $\sigma$ near 1.

(Motivation: of course, I am trying to present a proof of the prime number theorem with plenty of analytic ideas but no complex analysis.)

$\endgroup$
3
  • 4
    $\begingroup$ Given your motivation, maybe you just want to present the Erdos-Selberg elementary proof of the Prime Number Theorem. There's an exposition in Tenenbaum and Mendes France, The Prime Numbers and Their Distribution, published by the Amer Math Soc. $\endgroup$ Sep 23 '10 at 5:01
  • 2
    $\begingroup$ Actually, no, I've already decided not to give that. I'm giving a proof via Wiener-Ikehara - it's quite natural, and it introduces many nice ideas from Fourier analysis without using complex analysis. This seems to be the one sticking point. $\endgroup$ Sep 23 '10 at 5:05
  • $\begingroup$ Please read the paper by J. Korevaar: "On Newman's Quick Way to the prime number theorem". In my opinion, this article is much better written than that of D. Zagier. (Of course, my opinion does not count much.) $\endgroup$
    – Nobody
    Feb 27 '19 at 0:33
13
$\begingroup$

It seems to me that you don't need to know that $\zeta(\sigma + it)$ is proportional to $(\sigma+it-s_0)^k$ for some $k$, you just need to know that, if $\zeta(s_0)=0$, then $\zeta(\sigma + it)$ is $O(\sigma+it-s_0)$. By Taylor's theorem, that will follow if you know that $\zeta(\sigma+i t)$ is a $C^2$ function.

Write $$\zeta(s) = \frac{1}{s-1} + \sum_{n=1}^{\infty} \left( \frac{1}{n^s} - \frac{1}{(s-1) n^{s-1}} + \frac{1}{(s-1)(n+1)^{s-1}} \right).$$ For $\sigma>1$, this is equal to the standard $\zeta$ by easy manipulations with absolutely convergent series; for $\sigma \in (0,1]$ you can take it as the definition of $\zeta$. Since you don't have analytic continuation, you don't know that this is the "best" extension of $\zeta$ to the critical strip, but that's OK.

Differentiating term by term gives you a series which converges uniformly on compact subsets of $\{ \sigma+it : \sigma>0, \ \sigma+it \neq 1 \}$ Hence $\zeta'$ is represented on this domain by the derivative of this series. The same thing happens when you differentiate again. So $\zeta''$, being the uniformly convergent sum of continuous functions, is continuous and $\zeta$ is $C^2$.

$\endgroup$
1
  • $\begingroup$ Since this question is back on the front page, I fixed some typos. $\endgroup$ Feb 27 '19 at 14:48
7
$\begingroup$

If nobody has a better idea, I will simply get a (real-variable) Taylor series for $\zeta(\sigma+it)$ up to second-order with remainder. This is just (real) calculus - one can easily get the continuous continuation of $\zeta$, $\zeta'$ and $\zeta''$ up to $Re(s)=1$ by Euler-Maclaurin. Perhaps not ideal, but not horrible either.

$\endgroup$
2
  • 2
    $\begingroup$ Oh, I guess this is exactly what I wrote in my answer. I didn't see this when I started writing; sorry! $\endgroup$ Sep 23 '10 at 14:44
  • 2
    $\begingroup$ Yes, but it's nice we agree. $\endgroup$ Sep 24 '10 at 2:43
3
$\begingroup$

You might want to look at the paper "Le théorème des nombres premiers et la transformation de Fourier" by Jean-Benoît Bost, available at http://www.math.polytechnique.fr/xups/xups02-01.pdf It gives a proof of PNT freely using harmonic analysis and some basics of distributions, but as little complex analysis as possible. In particular, section 4 proves a statement that is equivalent to the non-vanishing of zeta(1+it) using only real analysis. Unfortunately, for my taste there still is too much complex reasoning in the preceding sections of the paper.

(I'm sure you know that the brevity of Don Zagier's proof of PNT can't be beaten, provided you accept complex analysis.)

$\endgroup$
2
  • 1
    $\begingroup$ Typo in author's name $\endgroup$
    – Yemon Choi
    Nov 17 '10 at 17:44
  • $\begingroup$ Bost, Jean-Benoît $\endgroup$
    – M Mueger
    Nov 18 '10 at 9:28

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.