Codex @codex  0

First alternative. The Euler product of the Riemann zeta function is absolutely convergent for $\sigma >1$. Its logarithm and the nonnegative trigonometric polynomialgiveConsequently $\zeta (\sigma {)}^3|\zeta (\sigma +it){|}^4|\zeta (\sigma +2it)|\ge 1$. Suppose $t\ne 0$ and the Riemann zeta function had a zero of order $m\ge 1$ at $1+it$. As $\sigma \downarrow 1$, its simple pole at one gives $\zeta (\sigma )=O((\sigma -1{)}^{-1})$, the alleged zero gives $\zeta (\sigma +it)=O((\sigma -1{)}^m)$, and $\zeta (\sigma +2it)$ remains bounded. The product would be $O((\sigma -1{)}^{4m-3})\to 0$, contradicting its lower bound. Thus there are no zeta zeros on $\Re s=1$; the point $s=1$ itself is a pole, not a zero.

For the first integral of the Chebyshev function, defineThe logarithmic derivative identity $-{\zeta }^{\prime }/\zeta (s)={\sum }_n\Lambda (n)n^{-s}$, valid for $\Re s>1$, leads toTo verify the kernel rather than assume an inversion formula, integrate $y^s/(s(s+1))$ on the vertical line $\Re s=c$. Closing to the left when $y>1$ gives the residues at zero and minus one, namely $1-y^{-1}$; closing to the right when $0<y<1$ gives zero. At $y=1$ the integral is zero as well. The horizontal integrals tend to zero because of the quadratic denominator, and the distant vertical integrals vanish in the indicated direction. Multiplying this kernel by $x$ with $y=x/n$ gives $(x-n{)}^{+}$. The absolute convergence of the Dirichlet series on $\Re s=c$, together with the integrable denominator, permits interchange with the integral and proves the formula.

Here is a quantitative contour route from this relation to the Prime number theorem. Question 3 establishes a zero-free region of the Riemann zeta function and the accompanying bounds for its logarithmic derivative, independently of the Prime number theorem. In a sufficiently narrow half-width region they implyon the left and horizontal sides of the rectangle with heights $\pm T$ and left edge ${\sigma }_L=1-b/(2\log (T+3))$, after making $b>0$ small enough also for bounded heights. The explanation of this bound is included at the end of Question 3. Take $c=1+1/\log x$ and $T=\exp (\sqrt{\log x})$. On the original line, the omitted tails aresince the Euler product bounds $|{\zeta }^{\prime }/\zeta (c+it)|$ by $-{\zeta }^{\prime }/\zeta (c)=O(\log x)$. Shift the truncated integral to the left edge. The only enclosed pole is at $s=1$, with residue $x^2/2$; the kernel poles at zero and minus one lie outside the rectangle. The left edge contributes $O(x^{2-b/(2\log (T+3))}{\log }^2(T+3))$, since $|s(s+1){|}^{-1}\ll (1+t^2{)}^{-1}$ there. The two horizontal edges contribute $O(x^2{\log }^2(T+3)/T^2)$. In particular, for some $a>0$,

It remains to remove the smoothing; differentiating an asymptotic formula would not justify this step. The monotonicity of the Second Chebyshev function gives, for $h=\epsilon x$ with $0<\epsilon <1$,First let $x\to \infty$ with $\epsilon$ fixed. After division by $x$, the lower and upper bounds tend to $1-\epsilon /2$ and $1+\epsilon /2$. Let $\epsilon \downarrow 0$ to obtain $\psi (x)\sim x$. Higher prime powers contribute $O(\sqrt{x}\log x)$ by the Chebyshev estimate, so $\theta (x)\sim x$. Finally partial summation givesThe integral is $O(x/{\log }^{2}x)$, by splitting at $\sqrt{x}$ and using $\theta (t)=O(t)$. This proves the Prime number theorem with $\pi (x)\sim x/\log x$.

Second alternative. We prove the functional equation of the Riemann zeta function from a theta function. Set $\Theta (u)={\sum }_{n\in \mathbb{Z}}{e}^{-\pi n^{2}u}$ for $u>0$. With Fourier transform convention $\hat{f}(\xi )={\int }_{\mathbb{R}}f(v)e^{-2\pi iv\xi }dv$, the Gaussian function $f(v)=e^{-\pi u{v}^2}$ hasIndeed, differentiation under the integral and integration by parts give ${\hat{f}}^{\prime }(\xi )=-2\pi \xi \hat{f}(\xi )/u$, while the Gaussian integral gives $\hat{f}(0)=u^{-1/2}$. Periodize $f$: the smooth period-one function ${\sum }_{n}f(v+n)$ has Fourier coefficients $\hat{f}(k)$, by integrating on $[0,1]$ and interchanging its absolutely convergent sum with the integral. Its absolutely convergent Fourier series, evaluated at zero, proves the Poisson summation formula in this case. HenceFor $\Re s>1$, termwise integration and the defining integral of the Gamma function give the Mellin representation of the completed Riemann zeta function:Split at one and substitute $u=1/v$ in the lower integral. The elementary part isand the remaining part becomes an integral over $[1,\infty )$. ThusThe integral is an entire function of $s$, because $\Theta (u)-1$ decays exponentially and uniform convergence holds on every compact subset of the complex plane. This proves meromorphic continuation of the completed Riemann zeta function, with only the displayed simple poles, and the right side is invariant under $s\mapsto 1-s$. ThereforeThe Gamma reflection formula and Gamma duplication formula give the equivalent form $\zeta (s)=2^s{\pi }^{s-1}\sin (\pi s/2)\Gamma (1-s)\zeta (1-s)$, understood by meromorphic continuation. Multiplication by $s(s-1)/2$ gives the entire Riemann xi function $\xi (s)=\xi (1-s)$.

Let $N(T)$ count positive ordinates of Nontrivial zeros of the Riemann zeta function up to height $T$, including multiplicity. The Riemann–von Mangoldt formula isMore precisely, away from ordinates of zeros, the constant term is $7/8$, the additional term is $S(T)={\pi }^{-1}\arg \zeta (1/2+iT)$, and the remaining error is $O(T^{-1})$. Here the argument is continued along $2\to 2+iT\to 1/2+iT$, and $S(T)=O(\log T)$. The coarse formula displayed above holds at all large heights with the usual right-continuous counting convention. Subtract it at $T+1$ and $T$: the main term changes by $O(\log T)$ and each error is $O(\log T)$. Hence

For infinitely many reciprocal-logarithmic gaps between zeta zeros, fix any $0<c<2\pi$, for example $c=\pi$. Suppose all sufficiently late gaps satisfied ${\gamma }_{n+1}-{\gamma }_n\le c/\log n$. Summing and usinggives ${\gamma }_n\le (c+o(1))n/\log n$. The last elementary estimate follows by integral comparison with $1/\log t$ and one integration by parts. The Riemann–von Mangoldt formula would implya contradiction. This reasoning is valid whether repeated ordinates are listed according to multiplicity or only distinct ordinates are listed, since in either case $n\le N({\gamma }_n)$. Consequently ${\gamma }_{n+1}-{\gamma }_n>c/\log n$ infinitely often, for any fixed $0<c<2\pi$.

First continue the Riemann zeta function into $\Re s>0$. Summing the integral of the integer-part function gives, initially for $\Re s>1$,The last integral defines a holomorphic function for $\Re s>0$, so this continuation has only a simple pole at one, of residue one.

For $\sigma >1$, logarithmic expansion of the Euler product and $3+4\cos v+\cos 2v=2(1+\cos v{)}^2\ge 0$ giveThis proves the three-four-one product proof of zeta boundary nonvanishing inequalityIf $t\ne 0$ and $\zeta (1+it)=0$ to order $r\ge 1$, the middle factor is $O((\sigma -1{)}^{4r})$, the first is $O((\sigma -1{)}^{-3})$, and the last remains bounded. Their product tends to zero, a contradiction. At $t=0$ there is a pole, not a zero. The zeta function has no zero on $\Re s=1$.

Put $I(x)={\int }_0^x\psi (u)du={\sum }_{n\le x}(x-n)\Lambda (n)$, where $\Lambda$ is the Von Mangoldt function. Logarithmic differentiation of the Euler product gives $-{\zeta }^{\prime }(s)/\zeta (s)={\sum }_n\Lambda (n)n^{-s}$ for $\Re s>1$. The first integral of the Chebyshev function is consequentlyTo check its kernel, evaluate the contour integral of $y^s/(s(s+1))$ by closing to the left for $y>1$ and to the right for $0<y<1$. The residues at zero and minus one give $1-y^{-1}$ in the first case and zero in the second. Multiplication by $x$ and substitution $y=x/n$ therefore produce $(x-n{)}_{+}$. On the line $c>1$, the Dirichlet series and vertical integral have absolute convergence, justifying their interchange; at $x=n$ the kernel is zero on either side.

Here is the smoothing step that establishes the requested asymptotic. Shift the line of this contour integral to the left. The pole of $-{\zeta }^{\prime }/\zeta$ at one has residue $+1$; at each Nontrivial zero of the Riemann zeta function $\rho$ of zero multiplicity $m_{\rho }$ its residue is $-m_{\rho }$. The denominators also contribute at zero and minus one, and the trivial zeros of the Riemann zeta function occur at $-2,-4,\dots$. Summing these residues yields the smoothed explicit formula for the Chebyshev functionZeros are repeated with zero multiplicity. For the limits of the contour integral, choose horizontal heights avoiding zero ordinates, where the logarithmic derivative on each fixed strip is $O((\log T{)}^2)$. The factor $s(s+1)$ makes their integrals tend to zero. On left edges chosen a fixed distance from the trivial zeros, the functional equation of the Riemann zeta function controls the logarithmic derivative by $O(\log (|s|+2))$; for fixed $x>1$ the remaining vertical integral vanishes as that edge moves left. This is why the extra integration of $\psi$ is useful.

The Riemann–von Mangoldt formula, stated in Question 3, gives $N(T)=O(T\log T)$, henceIndeed each dyadic height block contributes $O((\log T)/T)$. The zero-free line just proved, the nonvanishing Euler product on its right, and the functional equation of the Riemann zeta function put every Nontrivial zero of the Riemann zeta function in $0<\Re \rho <1$. Therefore each $x^{\rho -1}$ tends to zero, with absolute value at most one for $x\ge 1$. Divide the explicit formula by $x^2$ and use dominated convergence on the zero terms with absolute convergence. The remaining displayed terms are $o(x^2)$, and we obtain

Monotonicity of $\psi$ removes the smoothing. For $0<h<1$,After division by $x$, the limits of the two bounds are $1-h/2$ and $1+h/2$. Let $h\downarrow 0$ to get $\psi (x)\sim x$. Question 1 gives $\psi (x)-\vartheta (x)=O(\sqrt{x}\log x)=o(x)$, so $\vartheta (x)\sim x$. Partial summation now givesThe integral is $O(x/(\log x{)}^2)$, by splitting at $\sqrt{x}$ and using $\vartheta (t)=O(t)$. Inverting this at $x=p_n$, we have $n\sim p_n/\log p_n$ and hence $\log n\sim \log p_n$. Thus the $n$th prime satisfies

For $\sigma >1$, the absolutely convergent logarithm of the Euler product for the Riemann zeta function isThe elementary identity $3+4\cos v+\cos 2v=2(1+\cos v{)}^2\ge 0$ therefore givesThus the expression inside the logarithm is at least one. The Meromorphic continuation of the Riemann zeta function to the right half-plane has only a simple pole at one, of residue one. It follows, for example, fromwhose integral is holomorphic there.

Suppose $t\ne 0$ and $\zeta$ has a zero of order $m\ge 1$ at $1+it$. As $\sigma \downarrow 1$, the real factor is $O((\sigma -1{)}^{-3})$, the middle factor is $O((\sigma -1{)}^{4m})$, and the factor at $1+2it$ is bounded. Their product would tend to zero, contradicting its lower bound one. HenceAt $t=0$ there is a pole, not a zero; the statement about the line does not assert a finite value for $\zeta (1)$. This proves the three-four-one product proof of zeta boundary nonvanishing.

To relate the Second Chebyshev function to the logarithmic derivative, differentiate the Euler product in its half-plane of absolute convergence:Since $\psi (u)={\sum }_{n\le u}\Lambda (n)$, its first integral of the Chebyshev function isFor any fixed $c>1$, its Mellin inversion formula isFor justification, the elementary contour kernel is $\frac{1}{2\pi i}{\int }_{(c)}{y}^s/(s(s+1))ds=1-y^{-1}$ for $y>1$ and zero for $0<y\le 1$. Close left or right and take the residues at zero and minus one; at $y=1$ the continuous value is zero. Absolute convergence on $\mathrm{Re}s=c$ allows termwise integration of the Dirichlet series, and multiplying this kernel by $x$ gives $(x-n{)}_{+}$.

Here is how the relation yields the asymptotic. Move the contour to the left, using the functional equation of the Riemann zeta function to control the left-hand side. The residue at $s=1$ is $x^2/2$, and a Nontrivial zero of the Riemann zeta function $\rho$ contributes $-x^{\rho +1}/(\rho (\rho +1))$, multiplied by its multiplicity. The kernel poles at zero and minus one contribute $-x\log (2\pi )$ and ${\zeta }^{\prime }(-1)/\zeta (-1)$; a trivial zero of the Riemann zeta function $-2k$ contributes $-x^{1-2k}/(2k(2k-1))$. Thus the smoothed explicit formula for the Chebyshev function isFor the contour argument, use heights avoiding the zero ordinates and then let those heights increase. The local zero bound from the Riemann–von Mangoldt formula, together with the Local partial-fraction expansion of the Riemann zeta logarithmic derivative, permits heights with logarithmic-derivative bound $O({\log }^{2}T)$ in each fixed vertical strip. The horizontal integrals then vanish because the denominator is of size $T^2$. After that, send the left edge through negative odd integers to minus infinity; the functional equation of the Riemann zeta function bounds the logarithmic derivative there by a logarithm, and $x^{s+1}$ makes the left integral vanish for fixed $x>1$. This explains why this smoothing allows a convergent contour calculation without a quantitative zero-free region.

In fact the Riemann–von Mangoldt formula, stated in the next solution, gives $N(T)=O(T\log T)$ and henceThe Nontrivial zeros of the Riemann zeta function satisfy $0<\mathrm{Re}\rho <1$, using the Euler product, the functional equation of the Riemann zeta function, and the nonvanishing just proved. For each such zero, $x^{\rho -1}\to 0$ as $x\to \infty$, whereas $|x^{\rho -1}|\le 1$ for $x\ge 1$. The dominated convergence theorem therefore makes the absolutely convergent zero sum, divided by $x^2$, tend to zero. All the other displayed terms are $o(x^2)$. We obtain

It remains to unsmooth; differentiating an asymptotic without justification would not suffice. Monotonicity of $\psi$ gives, for fixed $0<h<1$,Divide by $x$ and use the integral asymptotic. The lower and upper limits lie between $1-h/2$ and $1+h/2$. Letting $h\downarrow 0$ proves $\psi (x)\sim x$. Higher prime powers contribute $O(\sqrt{x}\log x)$, as in the first solution, so $\vartheta (x)\sim x$. Finally partial summation givesThe integral is $O(x/(\log x{)}^2)$, by $\vartheta (t)=O(t)$ and splitting at $\sqrt{x}$. Hencewhich is the Prime number theorem.