32
$\begingroup$

I am told that when computing the zeroes one does not use the normal definition of the Riemann zeta function but an altogether different one that obeys the same functional relation. What is this other function that they use explicitly given?

Also if I were to take one of these non trivial zeroes and plug it into the original definition would my answer tend towards zero as I evaluate the series?

$\endgroup$
2
  • 6
    $\begingroup$ The series that one usually uses to define the zeta function converges only when the argument $s$ has real part greater than $1$; proving this is a standard exercise. Obviously, this means that you cannot evaluate that series at a zero of the zeta function. $\endgroup$ Commented Jul 7, 2013 at 3:45
  • $\begingroup$ There are several Globally convergent series which can be used to evaluate the Riemann zeta function for $\Re(s)\le 1$ as well as $\Re(s)>1$. $\endgroup$ Commented Apr 27 at 20:43

5 Answers 5

38
$\begingroup$

There is only one "normal" definition of the Zeta function. For $\operatorname{Re}(s) > 1$, the zeta function is defined as $\displaystyle \sum_{k=1}^{\infty} \dfrac1{k^s}$. For the rest of the $s$ in the complex plane, it is defined as the analytic continuation of the above function. The functional equation $$\zeta(s) = 2^s \pi^{s-1} \sin \left(\dfrac{\pi s}2\right) \Gamma(1-s) \zeta(1-s)$$ can be used to obtain the value of the $\zeta$ function for $\operatorname{Re}(s) < 1$, using the value of the zeta function for $\operatorname{Re}(s)>1$.

If you evaluate the series $\displaystyle \sum_{k=1}^{\infty }\dfrac1{k^s}$ for $\text{Real}(s) \leq 1$, the series will not converge. So you cannot evaluate the series at any of the zeros, let alone non-trivial zeros.

$\endgroup$
5
  • $\begingroup$ So if I stuck one of the complex zeroes in place of s in your definition will it converge to 0? $\endgroup$ Commented Jul 7, 2013 at 3:40
  • $\begingroup$ I Mean non trivial zeroes $\endgroup$ Commented Jul 7, 2013 at 3:42
  • 2
    $\begingroup$ @frogeyedpeas If you evaluate the series $\displaystyle \sum_{k=1}^{\infty }\dfrac1{k^s}$ for $\text{Real}(s) \leq 1$, you will get the answer not to converge. So you cannot evaluate the series at any of the zeros, let alone non-trivial zeros. $\endgroup$ Commented Jul 7, 2013 at 3:42
  • 17
    $\begingroup$ That will only give the value for Real$(s)\le 0$. What about the key strip? $\endgroup$ Commented Jul 7, 2013 at 5:25
  • $\begingroup$ @Michael non-trivial zeros are the ones on the critical strip, so it answers your question to a degree. I'm not sure how this divergence implies it for all zeros. $\endgroup$ Commented Jul 28, 2015 at 3:21
34
$\begingroup$

If you want the analytic continuation of the zeta function to the zone where all the non-trivial zeros have been found so far, you can do as follows:

$$\begin{align*}(1)&\;\zeta(s)=\sum_{n=1}^\infty\frac1{n^s}\\ (2)&\;\sum_{n=1}^\infty \frac2{(2n)^s}=\frac1{2^{s-1}}\zeta(s)\end{align*}\;\;\;\;\left.\right\}\;\;\;\text{Re}\,(s)>1$$

Now, substract (2) from (1):

$$\left(1-\frac1{2^{s-1}}\right)\zeta(s)=\frac1{1^s}-\frac1{2^s}+\frac1{3^s}-\ldots=\sum_{n=1}^\infty(-1)^{n-1}\frac1{n^s}=:\eta(s)\implies$$

$$\implies\;\zeta(s)=\left(1-2^{1-s}\right)^{-1}\eta(s)$$

It's a nice exercise now to prove the right hand side is analytic on $\;1\neq\;\text{Re}\,(s)>0\,$ .

Note that there are some potentially problematic points:

$$1-2^{s-1}=0\iff e^{(s-1)\log2}=1\iff (s-1)=\frac{2k\pi i}{\log2}\;,\;\;k\in\Bbb Z$$

Yet these are removable singularities, so no problem...

$\endgroup$
2
  • $\begingroup$ What is $2^{s-1}$? In this paper arxiv.org/pdf/1609.02301.pdf I see it is written as $2^{1-s}. Is it the same thing? $\endgroup$ Commented Jan 31, 2024 at 18:03
  • 1
    $\begingroup$ @zeynel Because they write $$\frac1{1-2^{1-s}}=\frac1{1-\frac1{2^{s-1}}}$$ $\endgroup$ Commented Feb 2, 2024 at 15:16
14
$\begingroup$

We have functional equation $$ \zeta(s)=2^{s}\pi^{s-1}\sin\Bigl(\frac{\pi s}{2}\Bigr)\Gamma(1-s)\zeta(1-s). $$ We can prove this using contour integral.
Using this formula, we can expand Riemann Zeta Function to the whole complex plane except $s\neq1$.

To find the zeros of Riemann Zeta Function, you can use the well-known formula $$\left|Z(t)\right|=\left|\zeta(1/2+it)\right|$$ where $$Z(t)=\zeta\left(1/2+it\right)\frac{\Gamma(1/4+it/2)\pi^{-1/4-it/2}}{\left|\Gamma(1/4+it/2)\pi^{-1/4-it/2}\right|}$$ for real $t$.

$\endgroup$
1
  • 1
    $\begingroup$ How does this functional equation work for s=0? $\endgroup$ Commented Aug 15, 2017 at 21:49
6
$\begingroup$

If by "normal definition of the Riemann zeta-function" you mean $$\zeta(s)=\sum_{n=1}^{\infty}n^{-s}$$ well, the thing about that series is that it doesn't converge for real part of $s$ less than or equal to $1$. In particular, it doesn't converge at any of the zeros of the zeta-function, trivial or otherwise.

To understand how the zeta-function is defined for real part less than or equal to 1, you have to be familiar with "analytic continuation." Are you?

$\endgroup$
1
  • 9
    $\begingroup$ idk about then, but i am now :) $\endgroup$ Commented Nov 25, 2017 at 6:36
3
$\begingroup$

Let

$$\zeta(n) = \frac{1}{1^n} + \frac{1}{2^n} + \frac{1}{3^n} + \frac{1}{4^n} + ... $$

Then

$$\frac{\zeta(n)}{2^{n-1}} = \frac{1}{1^n2^{n-1}} + \frac{1}{2^n2^{n-1}} + \frac{1}{3^n2^{n-1}} + \frac{1}{4^n2^{n-1}} + ...=\frac{2}{2^n} + \frac{2}{4^n} + \frac{2}{6^n} + \frac{2}{8^n} + ...$$

Hence

$$\zeta(n)-\frac{\zeta(n)}{2^{n-1}}=\frac{1}{1^n} - \frac{1}{2^n} + \frac{1}{3^n} - \frac{1}{4^n} + ... $$

and so

$$\zeta(n) = \frac{1}{1-\frac{1}{2^{n-1}}} \left(\frac{1}{1^n} - \frac{1}{2^n} + \frac{1}{3^n} - \frac{1}{4^n} + ...\right)$$

which has a larger convergence range compared to the original definition.

To evaluate each term,

$$\frac{1}{k^{a+ib}} $$

$$= \frac{1}{k^a} \frac{1}{k^{ib}}=\frac{1}{k^a}\frac{1}{e^{i(b \log k)}}= \frac{e^{-i(b \log k)}}{k^a}$$

$$=\frac{\cos(b \log k)}{k^a} - i\frac{\sin(b \log k)}{k^a}$$

which computes $\zeta(s)$ to any arbitrary degree of precision.


The closed circular integral

$$ \oint \frac{1}{\zeta(s)} ds \ne 0$$

$$\sum_{circle fragments} \frac{1}{\zeta(s)} \Delta s \ne 0$$

signals the presence of at least one zero within.

To compute the inverse of $\zeta(s)=a+ib$, observe that

$$\left(\frac{a}{a^2+b^2} - i\frac{b}{a^2+b^2}\right) \left(a+ib\right) = \left(\frac{a^2 + b^2}{a^2+b^2} - i\frac{ab-ab}{a^2+b^2}\right) = 1$$

and thus

$$\frac{1}{\zeta(s)} = \frac{1}{a+ib} = \left(\frac{a}{a^2+b^2} - i\frac{b}{a^2+b^2}\right) $$

The first 3 zeros of $\frac{1}{\zeta(s)}$ occur at

$$1/2 ± 14.135i$$ $$1/2 ± 21.022i$$ $$1/2 ± 25.011i$$


Analytic continuation of $\sum_{n=1}^\infty$ can be performed as follows:

Let

$$k_s = \int_0^\infty \frac{y^{s-1}}{e^y} dy$$

Since the integral clearly converges for any value of $s$, then $k_s$ is a certain finite number defined for any given $s$.

Parametrising $y$ by $nx$,

$$k_s = \int_0^\infty \frac{(nx)^{s-1}}{e^{nx}} (n dx)$$

$$= n^s \int_0^\infty \frac{x^{s-1}}{e^{nx}} dx$$

Therefore

$$\frac{1}{n^s} = \frac{1}{k_s}\int_0^\infty \frac{x^{s-1}}{e^{nx}}dx$$

and

$$\sum_{n=1}^\infty \frac{1}{n^s} = \sum_{n=1}^\infty \left(\frac{1}{k_s}\int_0^\infty \frac{x^{s-1}}{e^{nx}}dx\right)$$

$$= \frac{1}{k_s} \int_0^\infty x^{s-1} \left( \sum_{n=1}^\infty \frac{1}{e^{nx}}\right) dx$$

$$= \frac{1}{k_s} \int_0^\infty x^{s-1} \left( \frac{1}{e^x - 1}\right) dx$$

$$= \frac{1}{k_s} \int_0^\infty \frac{x^{s-1}}{e^x - 1} dx$$

Since the integral $\int_0^\infty \frac{x^{s-1}}{e^x - 1} dx$ has a finite derivative over the entire complex plane and converges for all $s$ including $s \le 1$, by the uniqueness of analytic continuation theorem,

$$\sum_{n=1}^\infty \frac{1}{n^s} = \frac{1}{k_s} \int_0^\infty \frac{x^{s-1}}{e^x - 1} dx$$

must be the uniquely correct analytic continuation of $\sum_{n=1}^\infty \frac{1}{n^s}$.


Computationally

$$k_s = \int_{0}^\infty \frac{y^{s-1}}{e^y} dy $$

$$\approx \sum_{y=0}^\infty \frac{y^{s-1}}{e^y} \Delta y $$

$$ k_{a+ib} = \sum_{y=0}^\infty \frac{y^{a + ib -1}}{e^y} \Delta y $$

$$ = \sum_{y=0}^\infty \frac{y^{a -1}}{e^y}e^{i(b\log y)} \Delta y $$

$$ = \sum_{y=0}^\infty \frac{y^{a -1}}{e^y}\left[ \cos(b\log y) + i \sin(b\log y) \right] \Delta y $$

$$ = \sum_{y=0}^\infty \frac{y^{(a-1)}\cos(b\log y)}{e^y}\Delta y+ i \sum_{y=0}^\infty \frac{y^{(a-1)}\sin(b\log y)}{e^y}\Delta y$$

and

$$\sum_{n=1}^\infty \frac{1}{n^s} = \frac{1}{k_s} \int_0^\infty \frac{x^{s-1}}{e^x - 1} dx$$

$$\approx \frac{1}{k_s} \sum_{x=0}^\infty \frac{x^{s-1}}{e^x - 1} \Delta x$$

$$\sum_{n=1}^\infty \frac{1}{n^{a+ib}} = \frac{1}{k_{a+ib}} \left( \sum_{y=0}^\infty \frac{x^{(a-1)}\cos(b\log x)}{e^x - 1}\Delta y+ i \sum_{y=0}^\infty \frac{x^{(a-1)}\sin(b\log x)}{e^x - 1}\Delta y \right)$$

where the final complex valued division can be evaluated as

$$\sum_{n=1}^\infty \frac{1}{n^s} \approx \frac{a+ib}{c+id} = \frac{ac+bd}{c^2+d^2} + i \left(\frac{bc-ad}{c^2+d^2}\right)$$

and it can be calculated that e.g.

$$\sum_{n=1}^\infty \frac{1}{n^2} = \frac{\pi^2}{6} \approx 1.645 + 0i$$

$$\sum_{n=1}^\infty \frac{1}{n^4} = \frac{\pi^4}{90} \approx 1.082 + 0i$$

$\endgroup$
3
  • 1
    $\begingroup$ This is such a complete answer, yet it has 0 upvotes. Sad! $\endgroup$ Commented Jun 3 at 9:22
  • $\begingroup$ @SimonHayward thank you. A note for completeness's sake: the final calculation formula above gives correct answers for real $s=a$, but if I recall correctly complex $s=a + ib$ sometimes give the correct answers and sometimes not. I did not have time to further work on this, so that would be something to beware of. $\endgroup$ Commented Jun 3 at 11:56
  • $\begingroup$ About halfway up, "the first three zeros of $1/\zeta(s)$" should be "the first three zeros of $\zeta(s)$". Better yet, "the first three zeros of $\zeta(s)$ in the critical strip". $\endgroup$ Commented 2 days ago

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.