Monday, 23 August 2021

A New Riemann Zeta Series

Previously, we visualised the Riemann Zeta series 1/ns in its domain σ>1 and saw that its shape strongly suggested the function should continue to the left of σ=1.



Slides are here [pdf], and a video is here [youtube].


Series And Functions

Before we try to extend the Riemann Zeta series to the left of σ=1 we should first understand how it might even be possible.

Let's take a fresh look at the well known Taylor series expansion of f(x)=(1x)1 developed around x=0.

S0=1+x+x2+x3+

The series S0 is only valid for |x|<1, but the function f(x) is defined for all x except x=1. This apparent discrepancy requires some clarification.

That series S0 is just one representation of the function, valid for some of that function's domain, specifically |x|<1. We can use the standard method for working out Taylor series to find a different representation of f(x) valid outside |x|<1. For example, the following series S3 is developed around x=3, and is valid for 1<x<5.

S3=12+14(x3)18(x3)2+116(x3)3

So the series S0 and S3 both represent f(x)=(1x)1 but over different parts of its domain. This clarifies the distinction between a function, and any series which represent it in parts of its domains. 

Perhaps the series 1/ns only gives us a partial view of a much richer function that encodes information about the primes. Could that function be represented by a different series over a different domain?


A New Series

Let's write out the familiar series for ζ(s).

ζ(s)=1ns=1+12s+13s+14s+15s+

An alternating version of the zeta function is called the eta function η(s).

η(s)=(1)n+1ns=112s+13s14s+15s

This is a Dirichlet series which, as explained in a previous post, converges for σ>0. If we could express ζ(s) in terms of η(s), we would have a new series for the Riemann Zeta function that extends to the left of σ=1, even if only as far as σ>0.

Looking at the difference ζ(s)η(s), we can see a pattern to exploit.

ζ(s)η(s)=22s+24s+26s+=22s(1+12s+13s+)=21sζ(s)

Isolating ζ(s) gives us a new series that is valid in the larger domain σ>0.

ζ(s)=1121s(1)n+1ns

The denominator (121s) is zero at s=1+0i, and provides ζ(s) with its divergence at that point. 


Visualising The New Series

Any enthusiastic mathematician would be impatient to visualise this new series. The plot below shows a contour plot of ln|ζ(s)|, this time evaluated using the new series. 



Our previous intuition was justified, the surface does continue smoothly to the left of σ=1. In fact the contours suggest the function should again continue smoothly even further into σ<0

Even more interesting is the appearance of zeros, all of which seem to be on the line s=1/2+it

These zeros are critically important, but we'll have to continue our journey to see why.


Animated 3D View

The following animation shows the the logarithm of the magnitude of this extended Riemann Zeta function from different angles to better illustrate its shape.