Difference between revisions of "Riemann zeta function"

(You need $'s, not /['s.)
(Changed the definition of $\xi(s)$)
 
(12 intermediate revisions by 7 users not shown)
Line 1: Line 1:
The '''Riemann zeta function''' is a function very important in [[number theory]].  In particular, the [[Riemann Hypothesis]] is a conjecture about the roots of the zeta function.
+
The '''Riemann zeta function''' is a function very important in
 +
[[number theory]].  In particular, the [[Riemann Hypothesis]] is a conjecture
 +
about the roots of the zeta function.
  
 
The function is defined by  
 
The function is defined by  
 +
<cmath>\zeta (s)=\sum_{n=1}^{\infty}\frac{1}{n^s}=
 +
1+\frac{1}{2^s}+\frac{1}{3^s}+\frac{1}{4^s}+\cdots</cmath>
 +
when the [[real part]] <math>\Re(s)</math> is greater than 1.  (When <math>\Re(s) \le
 +
1</math> the [[series]] '''does not''' converge, but it can be extended to all
 +
[[complex number]]s except <math>s = 1</math>&mdash;see
 +
[[#Extending_the_zeta_function | below]].)
  
<cmath>\zeta (s)=\sum_{n=1}^{\infty}\frac{1}{n^s}=1+\frac{1}{2^s}+\frac{1}{3^s}+\frac{1}{4^s}+\cdots</cmath>
+
[[Leonhard Euler]] showed that when <math>s=2</math>, the sum is equal to
 +
<math>\frac{\pi^2}{6}</math>.  Euler also found that since every number is the product
 +
of a unique combination of [[prime number]]s, the zeta function can be
 +
expressed as an infinite product:
 +
<cmath>\zeta(s) = \left(\frac{1}{(2^0)^s} + \frac{1}{(2^1)^s}+
 +
\frac{1}{(2^2)^s} + \cdots\right) \left(\frac{1}{(3^0)^s} + \frac{1}
 +
{(3^1)^s} + \frac{1}{(3^2)^s} + \cdots\right) \left(\frac{1}{(5^0)^s}
 +
+ \frac{1}{(5^1)^s} + \frac{1}{(5^2)^s} + \cdots\right) \cdots.</cmath>
 +
By summing up each of these [[geometric series]] in parentheses, we arrive
 +
at the following identity (the [[Euler Product]]):
 +
<cmath>\zeta(s) = \sum_{n=1}^\infty \frac{1}{n^s} = \prod_{p \text{ prime}}
 +
(1-p^{-s})^{-1}.</cmath>
  
when the [[real part ]] <math>\Re(s)</math> is greater than 1.  (When <math>\Re(s) \leq 1</math> the series does not converge, but it can be extended to cover the whole plane except <math>s = 1</math> -- see [[Riemann_zeta_function#Extending_the_zeta_function | below]].)
+
This gives a hint of why an [[analysis | analytic]] object like the
 +
zeta function could be related to number theoretic results.
  
[[Leonhard Euler]] showed that when <math>s=2</math>, the sum is equal to <math>\frac{\pi^2}{6}</math>.  Euler also found that since every number is the product of a unique combination of [[prime number]]s, the zeta function can be expressed as and infinite product,
 
  
<cmath>{\zeta}(s) = \left(\frac{1}{(2^0)^s}+\frac{1}{(2^1)^s}+\frac{1}{(2^2)^s}+\cdots\right) \left(\frac{1}{(3^0)^s}+\frac{1}{(3^1)^s}+\frac{1}{(3^2)^s}+\cdots\right) \left(\frac{1}{(5^0)^s}+\frac{1}{(5^1)^s}+\frac{1}{(5^2)^s}+\cdots\right) \cdots.</cmath>
+
== Extending the zeta function ==
 +
 
 +
The most important properties of the zeta function are based on the
 +
fact that it extends to a [[meromorphic]] function on the full
 +
[[complex plane]] which is [[holomorphic]] except at <math>s=1</math>, where
 +
there is a [[simple pole]] of [[residue]] 1.  Let us see how this is done.
 +
 
 +
First, we wish to extend <math>\zeta(s)</math> to the strip <math>\Re(s)>0</math>. To do this,
 +
we introduce the ''alternating zeta function''
 +
<cmath>\zeta_a(s) = \sum_{n=1}^\infty \frac{(-1)^{n+1}}{n^s} .</cmath>
 +
For <math>\Re(s) > 1</math>, we have
 +
<cmath>\zeta(s) = \zeta_a(s) + \frac{2}{2^s} + \frac{2}{4^s} + \frac{2}{6^s}
 +
+ \cdots = \zeta_a(s) + 2^{1-s}{\zeta(s)}, </cmath>
 +
or
 +
<cmath> \zeta(s) = \frac{1}{1- 2^{1-s}} \zeta_a(s) . </cmath>
 +
We may thus use the alternating zeta function to extend the zeta
 +
function.
 +
 
 +
'''Proposition.''' The series <math>\zeta_a(s)</math> converges whenever
 +
<math>\Re(s) \ge 0</math>.
 +
 
 +
''Proof.''  We have
 +
<cmath> \zeta_a(s)  =  \sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{n^s}
 +
= \sum_{n=1}^{\infty} \frac{1}{(2n-1)^s} - \frac{1}{(2n)^s} .</cmath>
 +
Since
 +
<cmath> \lvert d(x^{-s})/dx \rvert = \lvert s x^{-s-1} \rvert \le
 +
\left\lvert \frac{s}{(2n-1)^{s+1}} \right\rvert </cmath>
 +
for <math>x \in [2n-1, 2n]</math>, it follows that
 +
<cmath> \left\lvert \frac{1}{(2n-1)^s} - \frac{1}{(2n)^s} \right\rvert
 +
\le \left\lvert \frac{s}{(2n-1)^{s+1}} \right\rvert . </cmath>
 +
Since <math>\Re(s+1) > 1</math>, the series in question converges.
 +
<math>\blacksquare</math>
 +
 
 +
Now we can extend the zeta function.
 +
 
 +
'''Theorem 1.''' The function <math>\zeta(s)</math> has a meromorphic extension
 +
to <math>\Re(s) > 0</math>, and it is holomorphic there except at <math>s=1</math>, where
 +
it has a simple pole of residue 1.
 +
 
 +
''Proof.''  For <math>s \neq 1</math>, we have the extension
 +
<cmath> \zeta(s) - \frac{1}{s-1} = \frac{1}{1 - 2^{1-s}}\zeta_a(s) -
 +
\frac{1}{s-1} . </cmath>
 +
For <math>s= 1</math>, we have
 +
<cmath> \lim_{s\to 1} \frac{(s-1) \zeta_a(s)}{1- 2^{1-s}} = \lim_{s\to1}
 +
\frac{\zeta_a(s)}{\log 2 \cdot 2^{1-s}} = \frac{\zeta_a(1)}{
 +
\log 2} ,</cmath>
 +
by [[l'Hôpital's Rule]], so the pole at <math>s=1</math> is simple, and its
 +
residue is <math>\zeta_a(1) / \log 2</math>.
 +
 
 +
Now, for all integers <math>n\geq 1</math>,
 +
<cmath> \frac{d^n(\log t)}{(dt)^n} = \frac{(-1)^{n-1}(n-1)!}{t^n} . </cmath>
 +
It follows that the [[Taylor series]] expansion of <math>\log x</math>
 +
about <math>x=1</math> is
 +
<cmath> \sum_{k=1}^{\infty} \frac{(-1)^{k-1}(x-1)^k}{k} . </cmath>
 +
It follows that <math>\zeta_a(1) = \log 2</math>.  Thus the residue of the
 +
pole is 1.  <math>\blacksquare</math>
 +
 
 +
The next step is the
 +
[[functional equation for the zeta function|functional equation]]:
 +
Let
 +
<cmath>\xi(s)=\frac12s(s-1)\pi^{-s/2}\Gamma\left(\frac s2\right)\zeta(s).</cmath>
 +
Then <math>\xi(s)=\xi(1-s)</math>. This gives us an analytic continuation
 +
of <math>\zeta(s)</math> to all of <math>\mathbb{C}</math>.
  
By summing up each of these [[geometric series]] in parentheses, we arrive at the following identity (the [[Euler Product]]):
+
== Zeroes of the Zeta Function ==
  
<cmath>\zeta(s)=\sum_{n=1}^\infty \frac{1}{n^s}=\prod_{p\ \mathrm{prime}} (1-p^{-s})^{-1}.</cmath>
+
Using the Euler product, it is not too difficult to show that
 +
<math>\zeta(s)</math> has no zeros for <math>\Re s > 1</math>.  Indeed, suppose this
 +
is the case; let <math>x = \Re s</math>.  Then
 +
<cmath> \begin{align*}
 +
\sum_{p} \bigl\lvert \log \lvert (1-p^{-s})^{-1} \rvert \bigr\rvert
 +
&= \sum_p \log \lvert p^s \rvert - \log \lvert p^s -1 \rvert
 +
= \sum_p \int\limits_{\lvert p^s - 1 \rvert}^{\lvert p^s \rvert}
 +
\frac{dt}{t} \\
 +
&\approx \sum_p \frac{1}{\lvert p^s - 1 \rvert} \\
 +
&< \sum_p 1/p^s,
 +
\end{align*} </cmath>
 +
which converges.  It follows that
 +
<cmath> \prod_p (1 - p^{-s})^{-1} \neq 0 . </cmath>
  
This gives a hint of why an [[analysis | analytic]] object like the zeta function could be related to number theoretic results.
+
From the functional equation
 +
<cmath> \zeta(1-s) = (2\pi)^{-s} 2 \cos(\pi s/2) \Gamma(s) \zeta(s), </cmath>
 +
it is evident that the zeta function has zeroes at <math>s= -2n</math>, for
 +
<math>n</math> a postive integer.  These are called the trivial zeros.
 +
Since the [[gamma function]] has no zeros, it follows that these
 +
are the only zeros with real part less than 0.
  
 +
In 1859, Georg Friedrich Bernhard Riemann, after whom the
 +
function is named, established the functional equation and
 +
proved that <math>\zeta(s)</math> has infinitely many zeros in the strip
 +
<math>0 \le \Re(s) \le 1</math>.  He conjectured that they all lie on the
 +
line <math>\Re s = 1/2</math>.  This is the famous [[Riemann Hypothesis]],
 +
and to this day it remains one of the great unsolved problems
 +
of mathematics.  Recently it has been proven that the function's
 +
first ten trillion zeros lie on the line
 +
<math>\Re s = 1/2</math>[http://mathworld.wolfram.com/RiemannHypothesis.html], but
 +
proof of the Riemann hypothesis still eludes us.
  
== Extending the zeta function ==
+
In 1896, Jacque Hadamard and Charles-Jean de la Vallée Poussin
The most important properties of the zeta function are based on the fact that it extends to a [[meromorphic]] function on the full [[complex plane]] which is [[holomorphic]] except at <math>s=1</math>, where there is a [[simple pole]] of [[residue]] 1Let us see how this is done.
+
independently proved that <math>\zeta(s)</math> has no zeros on the line
 +
<math>\Re(s) = 1</math>.  From this they proved the [[prime number theorem]].
 +
We prove this result here.
 +
 
 +
We first define the phi function,
 +
<cmath> \phi(s) = \sum_{p \text{ prime}} \frac{\log p}{p^s} . </cmath>
 +
 
 +
'''Theorem 2.'''  The function <math>\phi(s)</math> has a meromorphic
 +
continuation to <math>\Re(s) > 1/2</math> with simple poles at
 +
the poles and zeros of <math>\zeta(s)</math>, and with no other poles.
 +
The continuation is
 +
<cmath> \phi(s) = - \frac{\zeta'(s)}{\zeta(s)} - \sum_p
 +
\frac{\log p}{p^s(p^s-1)} .</cmath>
 +
 
 +
''Proof.''  It follows from the Euler product formula that for
 +
<math>\Re(s) > 1</math>,
 +
<cmath> \begin{align*}
 +
\frac{\zeta'(s)}{\zeta(s)} &= \sum_p \frac{d (1- p^{-s})^{-1}/ds}
 +
{(1-p^{-s})^{-1}} = -\sum_p \frac{d(1-p^{-s})/ds}{(1-p^{-s})} \
 +
&= -\sum_p \frac{\log p \cdot p^{-s}}{1-p^{-s}} \
 +
&= -\sum_p \frac{\log p}{p^s -1 }
 +
= - \phi(s) - \sum_p \frac{\log p}{p^s (p^s - 1)}.
 +
\end{align*} </cmath>
 +
Since <math>\sum_p \frac{\log p}{p^s (p^s- 1)}</math> converges when
 +
<math>\Re s > 1/2</math>, the theorem statement follows.  <math>\blacksquare</math>
 +
 
 +
Now we proceed to the main result.
 +
 
 +
'''Theorem 3.''' The zeta function has no zeros on the
 +
line <math>\Re(s) = 1</math>.
 +
 
 +
''Proof.''  We use the fact that <math>\zeta(\bar s) = \overline{
 +
\zeta(s)}</math>.
 +
 
 +
Let <math>g(s) = 1/ \zeta(s)</math>.  Then 1 is a zero of <math>g</math> of order 1.
 +
Thus
 +
<cmath>
 +
\lim_{\epsilon \to 0} \epsilon \phi(1+\epsilon)
 +
=  \lim_{\epsilon \to 0} -\frac{\epsilon(1/g(1+\epsilon))'}{1/g(1+
 +
\epsilon)}
 +
=  \lim_{\epsilon \to 0} \frac{\epsilon g'(1+\epsilon)}{g(1+\epsilon)}
 +
= 1 . </cmath>
 +
 
 +
Suppose now that <math>1+ki</math> and <math>1+2ki</math> are zeros of <math>\zeta(s)</math> of
 +
<math>\zeta(s)</math> of order <math>m</math> and <math>n</math>, respectively.  (Note that <math>m</math>
 +
and <math>n</math> may be zero.)
 +
Then
 +
<cmath> \begin{align*}
 +
\lim_{\epsilon\to 0}\epsilon \phi(1+\epsilon\pm ki)
 +
&= \lim_{\epsilon\to 0} - \frac{\epsilon \zeta'(1+\epsilon \pm ki)}{
 +
\zeta(1+\epsilon \pm ki)} = -m , \
 +
\lim_{\epsilon\to 0}\epsilon \phi(1+\epsilon\pm 2ki)
 +
&= \lim_{\epsilon\to 0} - \frac{\epsilon \zeta'(1+\epsilon \pm 2ki)}{
 +
\zeta(1+\epsilon \pm 2ki)} = -n .
 +
\end{align*} </cmath>
 +
 
 +
Now for real, positive <math>\epsilon</math>,
 +
<cmath> \sum_{a=0}^{4} \binom{4}{a} \phi(1+\epsilon - 2ki+4kai)
 +
= \sum_p \frac{\log p}{p^{1+\epsilon}} (p^{ki/2} + p^{-ki/2})^4
 +
\ge 0, </cmath>
 +
since <math>p^{-ki/2} = \overline{p^{ki/2}}</math>.  It follows that
 +
<cmath> -2n - 8m + 6 \ge 0 . </cmath>
 +
Since <math>m</math> and <math>n</math> must be nonnegative integers, it follows that <math>m=0</math>.
 +
Thus <math>\zeta(1+ki) \neq 0</math>.  Since <math>k</math> was arbitrary, it follows
 +
that <math>\zeta(s)</math> has no zeros on the line <math>\Re s = 1</math>.
 +
<math>\blacksquare</math>
 +
 
 +
== Resources ==
 +
 
 +
* Koch, Helmut (trans. David Kramer), ''Number Theory: Algebraic Numbers and Functions.'' AMS 2000, ISBN 0-8218-2054-0.
 +
 
 +
== See also ==
  
First, we wish to extend <math>\zeta(s)</math> to the strip <math>\Re(s)>0</math>. To do this, we introduce the ''alternating zeta function'' <math>\zeta_a(s)=\sum_{n=1}^\infty \frac{(-1)^{n+1}}{n^s}</math>, which is convergent on <math>\Re(s)>0</math>. (This follows from one of the standard [[convergence test]]s for alternating series.) We then have <math>\zeta(s)=\zeta_a(s)+\frac{2}{2^s}+\frac{2}{4^s}+\frac{2}{6^s}+\cdots=\zeta_a(s)+2^{1-s}{\zeta(s)}</math>. We therefore have <math>\zeta(s)=(1-2^{1-s})^{-1}\zeta_a(s)</math> when <math>\Re(s)>0</math>.
+
* [[Riemann Hypothesis]]
 +
* [[Prime number theorem]]
  
The next step is the [[functional equation for the zeta function|functional equation]]: Let <math>\xi(s)=\pi^{-s/2}\Gamma(s/2)\zeta(s)</math>. Then <math>\xi(s)=\xi(1-s)</math>. This gives us a meromorphic continuation of <math>\zeta(s)</math> to all of <math>\mathbb{C}</math>.
 
{{wikify}}
 
 
[[Category:Number theory]]
 
[[Category:Number theory]]
 +
[[Category:Analytic number theory]]
 +
[[Category:Complex analysis]]

Latest revision as of 02:04, 13 January 2021

The Riemann zeta function is a function very important in number theory. In particular, the Riemann Hypothesis is a conjecture about the roots of the zeta function.

The function is defined by \[\zeta (s)=\sum_{n=1}^{\infty}\frac{1}{n^s}= 1+\frac{1}{2^s}+\frac{1}{3^s}+\frac{1}{4^s}+\cdots\] when the real part $\Re(s)$ is greater than 1. (When $\Re(s) \le 1$ the series does not converge, but it can be extended to all complex numbers except $s = 1$—see below.)

Leonhard Euler showed that when $s=2$, the sum is equal to $\frac{\pi^2}{6}$. Euler also found that since every number is the product of a unique combination of prime numbers, the zeta function can be expressed as an infinite product: \[\zeta(s) = \left(\frac{1}{(2^0)^s} + \frac{1}{(2^1)^s}+ \frac{1}{(2^2)^s} + \cdots\right) \left(\frac{1}{(3^0)^s} + \frac{1} {(3^1)^s} + \frac{1}{(3^2)^s} + \cdots\right) \left(\frac{1}{(5^0)^s} + \frac{1}{(5^1)^s} + \frac{1}{(5^2)^s} + \cdots\right) \cdots.\] By summing up each of these geometric series in parentheses, we arrive at the following identity (the Euler Product): \[\zeta(s) = \sum_{n=1}^\infty \frac{1}{n^s} = \prod_{p \text{ prime}} (1-p^{-s})^{-1}.\]

This gives a hint of why an analytic object like the zeta function could be related to number theoretic results.


Extending the zeta function

The most important properties of the zeta function are based on the fact that it extends to a meromorphic function on the full complex plane which is holomorphic except at $s=1$, where there is a simple pole of residue 1. Let us see how this is done.

First, we wish to extend $\zeta(s)$ to the strip $\Re(s)>0$. To do this, we introduce the alternating zeta function \[\zeta_a(s) = \sum_{n=1}^\infty \frac{(-1)^{n+1}}{n^s} .\] For $\Re(s) > 1$, we have \[\zeta(s) = \zeta_a(s) + \frac{2}{2^s} + \frac{2}{4^s} + \frac{2}{6^s} + \cdots = \zeta_a(s) + 2^{1-s}{\zeta(s)},\] or \[\zeta(s) = \frac{1}{1- 2^{1-s}} \zeta_a(s) .\] We may thus use the alternating zeta function to extend the zeta function.

Proposition. The series $\zeta_a(s)$ converges whenever $\Re(s) \ge 0$.

Proof. We have \[\zeta_a(s)  =  \sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{n^s} = \sum_{n=1}^{\infty} \frac{1}{(2n-1)^s} - \frac{1}{(2n)^s} .\] Since \[\lvert d(x^{-s})/dx \rvert = \lvert s x^{-s-1} \rvert \le \left\lvert \frac{s}{(2n-1)^{s+1}} \right\rvert\] for $x \in [2n-1, 2n]$, it follows that \[\left\lvert \frac{1}{(2n-1)^s} - \frac{1}{(2n)^s} \right\rvert \le \left\lvert \frac{s}{(2n-1)^{s+1}} \right\rvert .\] Since $\Re(s+1) > 1$, the series in question converges. $\blacksquare$

Now we can extend the zeta function.

Theorem 1. The function $\zeta(s)$ has a meromorphic extension to $\Re(s) > 0$, and it is holomorphic there except at $s=1$, where it has a simple pole of residue 1.

Proof. For $s \neq 1$, we have the extension \[\zeta(s) - \frac{1}{s-1} = \frac{1}{1 - 2^{1-s}}\zeta_a(s) - \frac{1}{s-1} .\] For $s= 1$, we have \[\lim_{s\to 1} \frac{(s-1) \zeta_a(s)}{1- 2^{1-s}} = \lim_{s\to1} \frac{\zeta_a(s)}{\log 2 \cdot 2^{1-s}} = \frac{\zeta_a(1)}{ \log 2} ,\] by l'Hôpital's Rule, so the pole at $s=1$ is simple, and its residue is $\zeta_a(1) / \log 2$.

Now, for all integers $n\geq 1$, \[\frac{d^n(\log t)}{(dt)^n} = \frac{(-1)^{n-1}(n-1)!}{t^n} .\] It follows that the Taylor series expansion of $\log x$ about $x=1$ is \[\sum_{k=1}^{\infty} \frac{(-1)^{k-1}(x-1)^k}{k} .\] It follows that $\zeta_a(1) = \log 2$. Thus the residue of the pole is 1. $\blacksquare$

The next step is the functional equation: Let \[\xi(s)=\frac12s(s-1)\pi^{-s/2}\Gamma\left(\frac s2\right)\zeta(s).\] Then $\xi(s)=\xi(1-s)$. This gives us an analytic continuation of $\zeta(s)$ to all of $\mathbb{C}$.

Zeroes of the Zeta Function

Using the Euler product, it is not too difficult to show that $\zeta(s)$ has no zeros for $\Re s > 1$. Indeed, suppose this is the case; let $x = \Re s$. Then \begin{align*} \sum_{p} \bigl\lvert \log \lvert (1-p^{-s})^{-1} \rvert \bigr\rvert &= \sum_p \log \lvert p^s \rvert - \log \lvert p^s -1 \rvert = \sum_p \int\limits_{\lvert p^s - 1 \rvert}^{\lvert p^s \rvert} \frac{dt}{t} \\ &\approx \sum_p \frac{1}{\lvert p^s - 1 \rvert} \\ &< \sum_p 1/p^s, \end{align*} which converges. It follows that \[\prod_p (1 - p^{-s})^{-1} \neq 0 .\]

From the functional equation \[\zeta(1-s) = (2\pi)^{-s} 2 \cos(\pi s/2) \Gamma(s) \zeta(s),\] it is evident that the zeta function has zeroes at $s= -2n$, for $n$ a postive integer. These are called the trivial zeros. Since the gamma function has no zeros, it follows that these are the only zeros with real part less than 0.

In 1859, Georg Friedrich Bernhard Riemann, after whom the function is named, established the functional equation and proved that $\zeta(s)$ has infinitely many zeros in the strip $0 \le \Re(s) \le 1$. He conjectured that they all lie on the line $\Re s = 1/2$. This is the famous Riemann Hypothesis, and to this day it remains one of the great unsolved problems of mathematics. Recently it has been proven that the function's first ten trillion zeros lie on the line $\Re s = 1/2$[1], but proof of the Riemann hypothesis still eludes us.

In 1896, Jacque Hadamard and Charles-Jean de la Vallée Poussin independently proved that $\zeta(s)$ has no zeros on the line $\Re(s) = 1$. From this they proved the prime number theorem. We prove this result here.

We first define the phi function, \[\phi(s) = \sum_{p \text{ prime}} \frac{\log p}{p^s} .\]

Theorem 2. The function $\phi(s)$ has a meromorphic continuation to $\Re(s) > 1/2$ with simple poles at the poles and zeros of $\zeta(s)$, and with no other poles. The continuation is \[\phi(s) = - \frac{\zeta'(s)}{\zeta(s)} - \sum_p \frac{\log p}{p^s(p^s-1)} .\]

Proof. It follows from the Euler product formula that for $\Re(s) > 1$, \begin{align*} \frac{\zeta'(s)}{\zeta(s)} &= \sum_p \frac{d (1- p^{-s})^{-1}/ds} {(1-p^{-s})^{-1}} = -\sum_p \frac{d(1-p^{-s})/ds}{(1-p^{-s})} \\ &= -\sum_p \frac{\log p \cdot p^{-s}}{1-p^{-s}} \\ &= -\sum_p \frac{\log p}{p^s -1 }  = - \phi(s) - \sum_p \frac{\log p}{p^s (p^s - 1)}. \end{align*} Since $\sum_p \frac{\log p}{p^s (p^s- 1)}$ converges when $\Re s > 1/2$, the theorem statement follows. $\blacksquare$

Now we proceed to the main result.

Theorem 3. The zeta function has no zeros on the line $\Re(s) = 1$.

Proof. We use the fact that $\zeta(\bar s) = \overline{ \zeta(s)}$.

Let $g(s) = 1/ \zeta(s)$. Then 1 is a zero of $g$ of order 1. Thus \[\lim_{\epsilon \to 0} \epsilon \phi(1+\epsilon) =  \lim_{\epsilon \to 0} -\frac{\epsilon(1/g(1+\epsilon))'}{1/g(1+  \epsilon)} =  \lim_{\epsilon \to 0} \frac{\epsilon g'(1+\epsilon)}{g(1+\epsilon)} = 1 .\]

Suppose now that $1+ki$ and $1+2ki$ are zeros of $\zeta(s)$ of $\zeta(s)$ of order $m$ and $n$, respectively. (Note that $m$ and $n$ may be zero.) Then \begin{align*} \lim_{\epsilon\to 0}\epsilon \phi(1+\epsilon\pm ki) &= \lim_{\epsilon\to 0} - \frac{\epsilon \zeta'(1+\epsilon \pm ki)}{ \zeta(1+\epsilon \pm ki)} = -m , \\ \lim_{\epsilon\to 0}\epsilon \phi(1+\epsilon\pm 2ki) &= \lim_{\epsilon\to 0} - \frac{\epsilon \zeta'(1+\epsilon \pm 2ki)}{ \zeta(1+\epsilon \pm 2ki)} = -n . \end{align*}

Now for real, positive $\epsilon$, \[\sum_{a=0}^{4} \binom{4}{a} \phi(1+\epsilon - 2ki+4kai) = \sum_p \frac{\log p}{p^{1+\epsilon}} (p^{ki/2} + p^{-ki/2})^4 \ge 0,\] since $p^{-ki/2} = \overline{p^{ki/2}}$. It follows that \[-2n - 8m + 6 \ge 0 .\] Since $m$ and $n$ must be nonnegative integers, it follows that $m=0$. Thus $\zeta(1+ki) \neq 0$. Since $k$ was arbitrary, it follows that $\zeta(s)$ has no zeros on the line $\Re s = 1$. $\blacksquare$

Resources

  • Koch, Helmut (trans. David Kramer), Number Theory: Algebraic Numbers and Functions. AMS 2000, ISBN 0-8218-2054-0.

See also