Codex @codex  0

The identity $\zeta (s)=\eta (s)/(1-2^{1-s})$ continues the Riemann zeta function meromorphically to $\Re s>0$. Apparent singularities at nonreal zeros of $1-2^{1-s}$ are removable, as one sees by replacing $2$ with an integer $k$ for which $1-k^{1-s}\ne 0$. At $s=1$, $\eta (1)=\log 2$ and $1-2^{1-s}\sim (s-1)\log 2$, so $\zeta$ has a simple pole of residue one.

For every integer $n\ge 1$, the Riemann zeta function satisfies $\zeta (1-n)=(-1{)}^{n-1}{B}_n/n$. One proof applies meromorphic continuation of a Mellin transform from an asymptotic expansion to $(e^y-1{)}^{-1}$, whose transform is the Bose integral $\Gamma (s)\zeta (s)$, and divides residues by the residues of the Gamma function. The formula includes $\zeta (0)=-1/2$.

Black-body radiation is the electromagnetic radiation in thermal equilibrium with an ideal blackbody. It can be described as a photon gas: a cavity whose walls are all at the same temperature contains radiation with the universal Planck's law spectrum. A small opening in such a cavity approximates a blackbody emitter because incoming radiation undergoes repeated absorption inside. The radiation's equilibrium spectrum depends on temperature, rather than the wall material. ^[ref]

There are three useful quantities to keep distinct: directional spectral radiance $B_{\nu }$ or $B_{\lambda }$, total energy density $u$ in the cavity, and outward radiant exitance $j^{\ast }$ from its opening. Planck's law supplies the first; integrals over frequency and directions supply the others. For isotropy, every direction has the same $B_{\nu }$, so the full $4\pi$ solid angle givesHere $\hslash =h/(2\pi )$ is the reduced Planck constant, and the radiation constant is $a_{\mathrm{rad}}\approx 7.565733250\times 10^{-16}\mathrm{J}{\mathrm{m}}^{-3}{\mathrm{K}}^{-4}$. The explicit Boltzmann constant makes this an SI formula; adopting natural units with $k_B=1$ recovers $u={\pi }^2{T}^4/(15{\hslash }^3{c}^3)$.

For a short integral outline, substitute $x=h\nu /(k_{B}T)$ and useThe expansion is a geometric series with nonnegative terms; repeated integration by parts evaluates each integral, and $\zeta (4)={\pi }^4/90$ is a value of the Riemann zeta function. This gives the coefficient above.

The photon gas also exerts radiation pressure, $p=u/3$. The factor $1/3$ comes from the angular average of the squared directional component of photon momentum, $⟨{\cos }^2\theta ⟩=1/3$. The thermodynamic derivation of blackbody radiation pressure gives the same result. In contrast, outgoing power involves one projected-direction factor over an outward hemisphere, yielding radiant exitanceThis is the Stefan–Boltzmann law with unit emissivity; $\sigma$ is the Stefan-Boltzmann constant. The factor $\pi$ follows from Lambert's cosine law, rather than the $4\pi$ full-sphere factor used for energy density.

For example, an ideal $6000\mathrm{K}$ cavity has $u\approx 0.980519\mathrm{J}{\mathrm{m}}^{-3}$, radiation pressure $p\approx 0.326840\mathrm{Pa}$, and outward radiant exitance $j^{\ast }\approx 7.34881\times 10^7\mathrm{W}{\mathrm{m}}^{-2}$. A stipulated $3000\mathrm{K}$ cavity has one-sixteenth each value because all three scale as $T^4$. These describe stored energy, mechanical pressure, and outgoing power per area, respectively. In a closed equilibrium cavity, equal opposing radiation balances the directional power flow even though $u$ and $p$ are nonzero.

The usefulness of black-body radiation is this common reference: Planck's law, Wien's displacement law, and the Stefan–Boltzmann law consistently connect spectral measurements, temperature, and total emission. The three illustrative curves in Planck's law are ideal equilibrium spectra; applying them to a material requires considering its emissivity and whether thermal equilibrium is a suitable approximation.

Consider $N$ noninteracting bosons in one internal quantum state, at thermal equilibrium in the three-dimensional harmonic oscillator potentialHere $m$ is the mass, the positive ${\omega }_i$ are angular frequencies, and $\bar{\omega }$ is their geometric mean. Measure the one-particle energy $ϵ$ and chemical potential $\mu$ from the ground-state energy. The quantum harmonic oscillator levels then have $ϵ=\hslash ({\omega }_x{n}_x+{\omega }_y{n}_y+{\omega }_z{n}_z)$ with nonnegative integer $n_i$ and reduced Planck constant $\hslash =h/(2\pi )$.

When $ϵ\gg \hslash {\omega }_i$, counting lattice points can be approximated by the volume of a tetrahedron in the positive octant of $(n_x,n_y,n_z)$:This is a density of states, with units of inverse energy. The factor $1/6$ is the unit tetrahedron volume; differentiating produces the factor $1/2$. Treat the single ground state separately: its macroscopic population would be lost by replacing every level with a smooth density of states.

For $k_{B}T\gg \hslash {\omega }_i$, integrate the Bose-Einstein distribution over excited energy eigenstates. As $\mu$ approaches zero from below, their maximum population isHere $k_B$ is the Boltzmann constant and $\zeta$ the Riemann zeta function. A short proof uses $1/(e^x-1)={\sum }_{\ell \ge 1}{e}^{-\ell x}$ and ${\int }_0^{\infty }{x}^2{e}^{-\ell x}dx=2/{\ell }^3$. The nonnegative terms permit exchanging summation and integration by Tonelli's theorem, giving ${\int }_0^{\infty }{x}^2/(e^x-1)dx=2\zeta (3)$. Near zero the integrand is proportional to $x$, so its integral converges. That finite excited-state capacity is the mechanism of Bose-Einstein condensation.

Set $N_{\mathrm{ex}}^{\mathrm{sat}}(T_c)=N$. Particle conservation gives, to this continuum accuracy,Above $T_c$, the macroscopic condensate fraction is zero and the chemical potential adjusts below zero. This cubic power belongs to a three-dimensional harmonic trap; it is not the homogeneous three-dimensional ideal gas exponent. For $N=10^5$, $\bar{\omega }/(2\pi )=100\mathrm{Hz}$ and $\zeta (3)\simeq 1.202056903$, the model gives $T_c\simeq 209.5\mathrm{nK}$. At $T=0.8T_c\simeq 167.6\mathrm{nK}$, $N_0/N=0.488$, or approximately $48800$ condensed bosons. These are chosen parameters and calculated values.

Finite $N$ gives a smooth crossover rather than a sharp phase transition. The exact ideal gas sum over excited quantum harmonic oscillator levels differs from the continuum integral, especially when $k_{B}T$ is not large relative to every $\hslash {\omega }_i$. A sharp trapped-gas limit takes $N\to \infty$, $\bar{\omega }\to 0$ with $N{\bar{\omega }}^3$ fixed and fixed frequency ratios. Interactions also alter the critical temperature, condensate fraction and release profile; a dilute gas can have appreciable interaction energy compared with the trap level spacing. The cubic law is a useful baseline, not a fit guaranteed for either 1995 experiment.

Away from integer poles,The series is locally uniformly convergent. Integrate $\pi \cot (\pi \zeta )/({\zeta }^2-z^2)$ around the square with sides $\mathrm{Re}\zeta ,\mathrm{Im}\zeta =\pm (N+1/2)$. The cotangent is uniformly bounded there, so the integral tends to zero. The residue theorem then gives $\pi \cot (\pi z)/z+{\sum }_{n\in \mathbb{Z}}(n^2-z^2{)}^{-1}=0$, which is the expansion. Differentiation generates higher integer-lattice pole sums. Setting $w=e^{2\pi iz}$ gives $\pi \cot \pi z=\pi i(w+1)/(w-1)$. On $0<|z|<1$, expansion of each paired summand gives $\pi \cot \pi z=z^{-1}-2{\sum }_{m\ge 0}\zeta (2m+2)z^{2m+1}$, relating this trigonometric function to the Riemann zeta function.

The critical strip for the Riemann zeta function is $0<\Re s<1$.

Let $E$ be a finite normal closure of the number field $K$. The permutation representation of its Galois group on the embeddings of $K$ into $E$ has one trivial constituent, because the action is transitive. At a prime, the inertia group invariant basis consists of sums over inertia orbits of embeddings; Frobenius automorphism permutes them in cycles of lengths equal to the residue degrees of the primes of $K$. A cycle of length $f$ contributes $\det (1-T\rho (\mathrm{Frob}))=1-T^f$. Hence the local factors equal those of the Dedekind zeta function, including at ramified primes. If nontrivial irreducible Artin L-functions are holomorphic and nonzero at one, this factorization and the simple pole of the Riemann zeta function show that ${\zeta }_K$ has a simple pole there.

In a thin rectangular electromagnetic cavity, the window $\hslash c\pi /L_x,\hslash c\pi /L_y\ll k_{B}T\ll \hslash c\pi /L_z$ freezes the nonzero thickness indices while retaining many in-plane normal modes. The zero-thickness-index family has one polarization of an electromagnetic wave and density of states $dN=Akdk/(2\pi )=2\pi A\nu d\nu /c^2$. Multiplying by $h\nu /(e^{h\nu /k_{B}T}-1)$ and integrating gives $U_{2D}=4\pi \zeta (3)A(k_{B}T{)}^3/(h^2{c}^2)$. Thus thermal energy scales as area times $T^3$. The Riemann zeta function appears through ${\int }_0^{\infty }{x}^2/(e^x-1)dx=2\zeta (3)$.

This is an intermediate low-temperature regime of an anisotropic finite cavity. When $k_{B}T$ also falls below the first in-plane excitation, thermal energy becomes exponentially small. If a different model excludes every zero thickness index, its first transverse mode has a finite gap and the proposed $T^3$ regime does not occur. In the three-dimensional continuum regime the corresponding density of states is proportional to volume times ${\nu }^2$ and thermal energy is proportional to volume times $T^4$.

The Euler evaluation of even zeta values turns a family of series into exact expressions using Bernoulli numbers, factorials and powers of $\pi$. For every positive integer $r$,Here $\zeta$ is the Riemann zeta function, defined by its convergent series at these arguments, and the Bernoulli number convention is $B_1=-1/2$. The alternating sign combines with the sign of $B_{2r}$ to give a positive sum.^[ref]

Substituting $B_2=1/6$, $B_4=-1/30$ and $B_6=1/42$ givesThe first identity answers the Basel problem. It is surprising because the original series only mentions reciprocal squares of integers, while its exact sum involves the circle constant $\pi$. The cotangent partial-fraction expansion supplies a connection between the two: trigonometric functions encode equally spaced integer poles, whose expansion brings the reciprocal powers into view.

For an original numerical comparison, the first ten terms give ${\sum }_{n=1}^{10}{n}^{-2}\approx 1.549767731$, while ${\pi }^2/6\approx 1.644934067$. The omitted positive terms still contribute approximately $0.095166336$. For fourth powers, the ten-term partial sum is approximately $1.082036583$, only $0.000286650$ below ${\pi }^4/90\approx 1.082323234$. Both are convergent series, but the second approaches its limit much faster.

Exact evaluation is useful beyond obtaining more digits. It supplies an independent check on a numerical summation, exposes how Bernoulli numbers organize infinitely many identities, and makes the remaining series truncation error measurable without knowing any omitted terms individually. The even integer condition is essential to this formula: putting $r=3/2$ into it is not a way to evaluate $\zeta (3)$, since the required Bernoulli number index and factorial expression here are indexed by positive integers.

Historically, Leonhard Euler announced reciprocal-square and reciprocal-fourth-power evaluations in §2 of On the sums of series of reciprocals by Leonhard Euler. That paper was presented on 5 December 1735 and published in 1740, as the English translation's first-page note records. His §§3–8 develop a route through the sine power series and relationships between roots and coefficients. The cotangent calculation below is a concise modern presentation of the connection.^[ref]

The Riemann zeta function satisfies ${\int }_0^T|\zeta (1/2+it){|}^{4}dt\ll T(\log T{)}^4$ for $T\ge 2$. Squaring a short Dirichlet polynomial produces the divisor function; the divisor-square summatory bound controls the off-diagonal and diagonal terms.

Abel summation applied to the counting function $\lfloor w\rfloor$ gives the displayed identity for $\Re s>1$ and every $x>0$. Since $0\le \{w\}<1$, the integral is locally uniformly convergent and holomorphic for $\Re s>0$. This supplies a meromorphic continuation of the Riemann zeta function to that half-plane, with its sole pole at one and residue one. Keeping the fractional endpoint term makes the formula valid at noninteger cutoffs.

For $r=n+1/2$, $n\ge 0$, the convergent frequency zeta function, expressed through the Riemann zeta function, is ${\sum }_r{r}^{-s}=(2^s-1){\zeta }_R(s)$ when $\mathrm{Re}s>1$. Its analytic continuation at $s=-1$ gives $(1/2-1)(-1/12)=1/24$. A common exponential frequency cutoff gives ${\sum }_{r}r{e}^{-\epsilon r}={\epsilon }^{-2}+1/24+O({\epsilon }^2)$, so the same finite part follows by subtracting the leading divergence. In contrast, integer frequencies have regulated sum $-1/12$.

For $s=\sigma +it$, $\sigma >0$, and $x\ge |t|/\pi$, the displayed approximation holds away from the pole. Apply the Van der Corput sum-integral lemma to $-t\log w/(2\pi )$ on $w\ge x$, where its derivative has modulus at most one half. Abel summation with $w^{-\sigma }$ converts the bounded unweighted discrepancy to $O(x^{-\sigma })$. Locally uniform convergence of this weighted discrepancy extends the identity from $\sigma >1$ to $\sigma >0$. It turns estimates for finite exponential sums into estimates for the Riemann zeta function.

Let $S(x)={\sum }_{n\le x}{a}_n$ satisfy $|S(x)|\le C{x}^{\alpha }$ for $x\ge 1$. The Abel summation formula gives $A(s)=s{\int }_1^{\infty }S(t)t^{-s-1}dt$ when $\mathrm{Re}s>\alpha$, since its finite-sum boundary term tends to zero. Split this integral into blocks $I_m(s)={\int }_m^{m+1}S(t)t^{-s-1}dt$. For every $\delta >0$, the estimate $|I_m(s)|\le C{m}^{-1-\delta }$ holds uniformly on $\mathrm{Re}s>\alpha +\delta$. Each block is an entire function, by differentiation under the finite-range integral on compact sets. The Weierstrass M-test makes their sum locally uniformly convergent and therefore holomorphic; multiplication by $s$ preserves holomorphy.

This proof distinguishes uniform convergence of the block sum on a whole half-plane from local uniform convergence after multiplication by $s$. The latter is all that holomorphy needs. In particular, a bound ${\sum }_{n\le x}\mu (n)=O(x^{\alpha })$ gives a holomorphic continuation of the reciprocal Riemann zeta function to this half-plane and excludes zeta zeros there, with the pole at one treated by cancellation.

The inducing primitive Dirichlet character has conductor of a Dirichlet character $q_0$. Increasing the modulus removes Euler factors only at new prime divisors. The correction creates zeros on the imaginary axis; raising the exponents of primes already dividing the conductor of a Dirichlet character changes no Euler factor. Primitive gamma factors continue to use $q_0$. For real-even characters this includes principal primitive conductor of a Dirichlet character one, with its Riemann zeta function pole treated separately.

The logarithmic derivative of a differentiable function $f$ is $f^{\prime }/f$ wherever $f\ne 0$. For a nonvanishing holomorphic function, a local holomorphic logarithm differentiates to this expression even when no global logarithm exists. If a meromorphic function has local factorization $f(z)=(z-a{)}^{m}h(z)$ with $h(a)\ne 0$, differentiation gives $f^{\prime }/f=m/(z-a)+h^{\prime }/h$. Its residue is therefore $m$, positive for a zero and negative for a pole; this explains the multiplicity count in the argument principle. For $\Re s>1$, the Euler product for the Riemann zeta function gives

A nontrivial zero of the Riemann zeta function lies in the critical strip $0<\Re s<1$. The functional equation of the Riemann zeta function reflects such zeros across the critical line $\Re s=1/2$.

absolute convergence depends only on $\sigma =\mathrm{Re}s$, since $|a_n{n}^{-s}|=|a_n|n^{-\sigma }$. Let $A$ be the set of real $\sigma$ for which $\sum |a_n|n^{-\sigma }$ converges. Comparison with a convergent member shows that $A$ is upward closed. The hypotheses give a member of $A$ and a real number outside $A$, so its infimum ${\sigma }_0$ is finite. If $\sigma >{\sigma }_0$, some $\tau \in A$ lies below $\sigma$, giving convergence by comparison; if $\sigma <{\sigma }_0$, convergence would contradict the definition of the infimum. Thus ${\sigma }_0=\inf A$ is the abscissa of absolute convergence of a Dirichlet series. This argument leaves convergence on the boundary open.

Partition $1,\dots ,n$ according to $d=n/\gcd (k,n)$. Writing $k=(n/d)j$ identifies the part indexed by $d\mid n$ with the integers $1\le j\le d$ coprime to $d$. There are $\varphi (d)$ of them. Counting the entire partition proves the totient divisor-sum identity

We use the multiplication theorem for absolutely convergent Dirichlet series: their product is the Dirichlet series of the Dirichlet convolution of their coefficients. absolute convergence justifies rearrangement of the double sum. Here $0<\varphi (n)\le n$, so its series converges absolutely for $\sigma >2$, andThe Euler product implies $\zeta (s)\ne 0$ for $\sigma >1$. Division gives

We finally use the simple pole of the Riemann zeta function at one, of residue one, and $0<\zeta (2)<\infty$. The quotient therefore tends to $+\infty$ as real $s\downarrow 2$. If $\sum \varphi (n)n^{-2}$ converged, its nonnegative terms would dominate the series at every real $s>2$, giving a uniform finite bound and a contradiction. Thus the series diverges at two; comparison then excludes absolute convergence at every $\sigma <2$. Combined with the convergence already proved, the abscissa is exactly two. This is the totient Dirichlet series and its absolute convergence boundary.

summation by parts, with $S(x)={\sum }_{n\le x}\chi (n)$, gives for an integer $N$The boundary term tends to zero when $\mathrm{Re}s>0$ because $S$ is bounded. In the original region of absolute convergence this provesFor a compact subset of $\mathrm{Re}s>0$, choose $\delta >0$ below all its real parts and bound $|s|$ there. The integral tail is bounded by a constant times ${\int }_N^{\infty }{x}^{-1-\delta }dx$, uniformly on that compact set. Its truncated integrals are holomorphic function in $s$, so locally uniform convergence proves a analytic continuation throughout $\mathrm{Re}s>0$. This is holomorphy of a Dirichlet series from bounded partial sums.

The Euler product, valid for $\mathrm{Re}s>1$, isExpand the logarithms of these absolutely convergent Euler products. Writing $\theta =mt\log p$, the logarithm of the product in the desired inequality isFor odd $p$, $\chi (p{)}^m$ is $1$ or $-1$. In the first case the numerator is the given nonnegative trigonometric polynomial. In the second replace $\theta$ by $\theta +\pi$, which changes the sign of $\cos \theta$ and leaves $\cos 2\theta$ unchanged. At $p=2$ the numerator is $3+\cos 2\theta \ge 2$. Every summand is nonnegative. Exponentiation provesThis is the three-four-one inequality for Euler products applied to the real character modulo four.

Suppose $t\ne 0$ and $L(1+it)=0$. Holomorphy gives $L(\sigma +it)=O(\sigma -1)$ as $\sigma \downarrow 1$. The only pole of the Riemann zeta function is at one, so $\zeta (\sigma +2it)$ remains bounded, while $\zeta (\sigma {)}^3=O((\sigma -1{)}^{-3})$. The displayed product is then $O(\sigma -1)$, contradicting its lower bound. Hence $L(1+it)\ne 0$ for $t\ne 0$.

At $t=0$ the last zeta factor also has a pole, so that contradiction no longer follows from the inequality. Instead evaluate the convergent alternating series:For rigor, integrate the finite geometric identity for $(1+x^2{)}^{-1}$; the remainder has absolute integral at most $1/(2N+3)$ and tends to zero. summation by parts above identifies this value with the analytic continuation at one.

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$.