You get a bonus - 1 coin for daily activity. Now you have 1 coin

Zeta function of Riemann

Lecture



The request "Zeta-function" is redirected here; see also other meanings.

Zeta function of Riemann

A qualitative graph of the Riemann zeta function on the real axis. To the left of zero, the function values ​​are increased 100 times for clarity.

Riemann Zeta Function - Function Zeta function of Riemann complex variable Zeta function of Riemann at Zeta function of Riemann defined by the Dirichlet series:

Zeta function of Riemann

Where Zeta function of Riemann .

In a given area Zeta function of Riemann this series converges, is an analytic function, and admits an analytic continuation to the entire complex plane without unity.

Zeta function of Riemann

Zeta-Riemann function for real s > 1

Content

  • 1 Euler's identity
  • 2 Properties
    • 2.1 Zeros of the zeta function
  • 3 Generalizations
  • 4 Similar constructions
  • 5 History
  • 6 References
  • 7 Literature
  • 8 Notes

Euler's identity

In the source domain, the representation in the form of an infinite product is also true ( Euler identity )

Zeta function of Riemann ,

where the product is taken over all prime numbers Zeta function of Riemann .

Why is it so

Zeta function of Riemann

The sieve of Eratosthenes to search for primes is used in this proof.

The idea of ​​proof uses only simple algebra accessible to a diligent student. Initially, this way Euler derived the formula. There is the property of the sieve of Eratosthenes, from which we can benefit:

Zeta function of Riemann

Zeta function of Riemann

Subtracting the second from the first, we delete all elements with divisor 2:

Zeta function of Riemann

Repeat for the following:

Zeta function of Riemann

Again, subtract, we get:

Zeta function of Riemann

where all elements with divisors 2 and / or 3 are deleted.

As you can see, the right side is sifted through a sieve. Repeating infinitely, we get:

Zeta function of Riemann

We divide both sides into everything except Zeta function of Riemann , we get:

Zeta function of Riemann

You can write shorter as an infinite product over all simple p :

Zeta function of Riemann

To make a proof strict, it is only necessary to require that, when Zeta function of Riemann , the sifted right side was close to 1, which immediately follows from the convergence of the Dirichlet series for Zeta function of Riemann .

This equality is one of the basic properties of the zeta function.

Properties

Zeta function of Riemann

Riemann Zeta Functions in the Complex Plane

  • There are explicit formulas for the values ​​of the zeta function at even integer points:

    Zeta function of Riemann where Zeta function of Riemann - Bernoulli number.

    • In particular, Zeta function of Riemann .
  • Little is known about the values ​​of the zeta function in odd integer points: they are assumed to be irrational and even transcendental, but so far only the irrationality of the number ζ (3) has been proved (Roger Apery, 1978). It is also proved that among the values ​​of ζ (5), ζ (7), (9), ζ (11) there is at least one irrational. [one]
  • With Zeta function of Riemann
    • Zeta function of Riemann where Zeta function of Riemann - Möbius function
    • Zeta function of Riemann where Zeta function of Riemann - the number of divisors of the number Zeta function of Riemann
    • Zeta function of Riemann where Zeta function of Riemann - the number of prime divisors of the number Zeta function of Riemann
  • Zeta function of Riemann has at the point Zeta function of Riemann simple pole with a residue of 1.
  • Zeta function at Zeta function of Riemann satisfies the equation:

    Zeta function of Riemann ,

Where Zeta function of Riemann - Euler gamma function. This equation is called the Riemann functional equation .

  • For function

    Zeta function of Riemann ,

introduced by Riemann for research Zeta function of Riemann and called the xi-Riemann function , this equation takes the form:

Zeta function of Riemann .

Zeros of the zeta function

Main article: Riemann Hypothesis

As follows from the functional equation of Riemann, in the half-plane Zeta function of Riemann function Zeta function of Riemann It has only simple zeros at negative even points: Zeta function of Riemann . These zeros are called "trivial" zeros of the zeta function. Further, Zeta function of Riemann with real Zeta function of Riemann . Consequently, all “non-trivial” zeros of the zeta function are complex numbers. In addition, they have the property of symmetry with respect to the real axis and relative to the vertical Zeta function of Riemann and lie in the strip Zeta function of Riemann which is called the critical band . According to Riemann’s hypothesis, they are all on the critical line. Zeta function of Riemann .

Generalizations

There are quite a number of special functions associated with the Riemann zeta function, which are united by the common name of the zeta function and are its generalizations. For example:

  • Hurwitz Zeta Function :

    Zeta function of Riemann

which coincides with the Riemann zeta function for q = 1 (since the summation is from 0, not from 1).

  • Polylogarithm :

    Zeta function of Riemann

which coincides with the Riemann zeta function at z = 1.

  • Lerha Zeta Function :

    Zeta function of Riemann

which coincides with the Riemann zeta-function for z = 1 and q = 1 (since the summation is from 0, not from 1).

  • Quantum analogue ( q is an analogue).

Similar constructions

In the theory of Gaussian path integrals, the problem of regularization of determinants arises. One of the approaches to its solution is the introduction of the zeta function of the operator. [2] Let Zeta function of Riemann - non-negative self-adjoint operator with a purely discrete spectrum Zeta function of Riemann . And there is a real number Zeta function of Riemann such that the operator Zeta function of Riemann has a trace. Then the zeta function Zeta function of Riemann operator Zeta function of Riemann determined for arbitrary complex number Zeta function of Riemann lying in a half-plane Zeta function of Riemann , can be given convergent next

Zeta function of Riemann

If a function defined in this way allows the continuation of an analytic continuation to a domain containing a certain neighborhood of the point Zeta function of Riemann , then on its basis it is possible to determine the regularized determinant of the operator Zeta function of Riemann according to the formula

Zeta function of Riemann

History

As a function of a real variable, the zeta function was introduced in 1737 by Euler, who indicated its decomposition into a product. Then this function was considered by Dirichlet and, especially successfully, by Chebyshev when studying the law of distribution of primes. However, the most profound properties of the zeta function were discovered later, after the work of Riemann (1859), where the zeta function was considered as a function of a complex variable.

Do you remember what "prime numbers" are? These numbers are not divisible by any other than themselves and 1. And now I will ask a question that is already 3000 years old:

  • 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, p . What is p equal to? 31. What will be the next p ? 37. And the next p ? 41. And the next one? 43. Yes, but ... how do we know what the next meaning will be?


Come up with a judgment or formula that (at least with a sin in half) predicts what the next prime number will be (in any given series of numbers), and your name will forever be associated with one of the greatest achievements of the human brain. You will be on a par with Newton, Einstein and Gödel. Understand the behavior of primes, and then you can rest on your laurels all your life.

Introduction


The properties of primes have been studied by many great people in the history of mathematics. From the first proof of the infinity of Euclidean primes to the Euler product formula, which relates primes to the zeta function. From the formulation of the Gauss and Legendre prime theorem to its proof invented by Hadamard and Valle-Poussin. However, Bernhard Riemann is still considered the mathematician who made the single largest discovery in the theory of prime numbers. In his article, published in 1859, consisting of only eight pages, new, previously unknown discoveries were made about the distribution of primes. This article is still considered one of the most important in number theory.

After publication, Riemann's article remained the main work in the theory of primes and in fact became the main reason for proving the theorem on the distribution of primes in 1896. Since then, several new evidence has been found, including elementary evidence from Selberg and Erdös. However, the Riemann hypothesis about the roots of the zeta function remains a mystery.

How many prime numbers are there?


Let's start with the simple. We all know that a number is either prime or compound . All compound numbers are simple and can be decomposed into their products (axb). In this sense, prime numbers are the “building blocks” or “fundamental elements” of numbers. In 300 BC, Euclid proved that their number is infinite. His elegant proof is as follows:

Euclidean Theorem

Assume that the set of primes is not infinite. Create a list of all primes. Then let P be the product of all primes in the list (we multiply all primes from the list). Add to result 1: Q = P +1. Like all numbers, this natural number Q must be either simple or compound:
  • If Q is prime, then we have found a prime that is not in our “list of all primes”.
  • If Q is not simple, then it is composite, i.e. made up of primes, one of which, p, will be a divisor of Q (because all compound numbers are products of primes). Each prime p of which P is composed is obviously a divisor of P. If p is a divisor for both P and Q, then it must be a divisor for their difference, that is, unity. No prime number is a divisor of 1, so the number p cannot be in the list - another contradiction to the fact that the list contains all primes. There will always be another prime p that is not on the list and is a divisor of Q. Therefore, there are infinitely many primes.

Why are primes so hard to understand?


The fact that any newcomer understands the above problem speaks eloquently about its complexity. Even the arithmetic properties of primes, despite active study, are poorly understood by us. The scientific community is so confident in our inability to understand the behavior of primes that factorization of large numbers (the definition of two primes, the product of which is a number) remains one of the fundamental foundations of encryption theory. You can look at it as follows:

We understand composite numbers well. These are all numbers that are not prime. They consist of primes, but we can easily write a formula that predicts and / or generates compound numbers. Such a “composite number filter” is called a sieve . The most famous example is the so-called "sieve of Eratosthenes", invented around 200 BC. His job is that it simply marks values ​​that are multiples of every prime number up to a given boundary. Suppose we take the prime number 2 and mark 4,6,8,10, and so on. Then take 3 and mark 6,9,12,15, and so on. As a result, we will only have prime numbers. Although it is very easy to understand, the sieve of Eratosthenes, as you can imagine, is not particularly effective.

One of the functions that greatly simplifies our work will be 6n ± 1. This simple function returns all primes, with the exception of 2 and 3, and removes all numbers that are multiples of 3, as well as all even numbers. Substitute n = 1,2,3,4,5,6,7 and get the following results: 5,7,11,13,17,19,23,25,29,31,35,37,41,43. The only non-prime numbers generated by the function are 25 and 35, which can be factorized 5 x 5 and 5 x 7. The next non-prime numbers, as you might guess, would be 49 = 7 x 7, 55 = 5 x 11, and so on. Everything is easy, right?

To visually display this, I used what I call the “staircase of compound numbers” - a convenient way to show how the composite numbers generated by the function are arranged and combined. In the first three columns of the image below, we see how the primes 5, 7, and 11 climb beautifully up each staircase of compound numbers, up to the value 91. The chaos that occurs in the fourth column, showing how the sieve removed everything except primes, is excellent an illustration of why prime numbers are so hard to understand.

Zeta function of Riemann


Fundamental resources


How is this all connected with the concept that you could hear about - with the "Riemann hypothesis"? Well, to put it simply, to understand more about prime numbers, mathematicians in the 19th century stopped trying to predict the location of primes with absolute accuracy, and instead began to consider the phenomenon of primes as a whole. Riemann became the master of this analytical approach, and within the framework of this approach his famous hypothesis was created. However, before I begin to explain it, it is necessary to get acquainted with some fundamental resources.

Harmonic Rows


Harmonic rows are endless rows of numbers that were first explored in the 14th century by Nikolai Orem. His name is associated with the concept of musical harmonics - overtones that are higher than the frequency of the fundamental tone. The rows are as follows:

Zeta function of Riemann


The first members of an infinite harmonic series

Orem proved that this sum is divergent (that is, without a finite limit; it does not approach and does not tend to any specific number, but is directed to infinity).

Zeta functions


Harmonic series are a special case of a more general type of function called the zeta function ζ (s). The real zeta function is defined for two real numbers r and n :

Zeta function of Riemann


Zeta function

If we substitute n = 1, then we get a harmonic series that diverges. However, for all values ​​of n> 1, the series converges , that is, the sum with increasing r tends to a certain number, and does not go to infinity.

Euler's formula


The first connection between zeta functions and primes was established by Euler when he showed that for two natural (integer and greater than zero) numbers n and p , where p is prime, the following is true:

Zeta function of Riemann


Euler's product for two numbers n and p, where both are greater than zero and p is prime.

This expression first appeared in a 1737 article entitled Variae observationes circa series infinitas . From the expression it follows that the sum of the zeta function is equal to the product of the quantities inverse to unity, minus the inverse of primes of degree s . This terrific connection laid the foundation for the modern theory of primes, in which the zeta function ζ (s) has since begun to be used as a way to study primes.

The proof of the formula is one of my favorite proofs, so I will present it, although for our purposes this is not necessary (but it is just as wonderful!):

Proof of the Euler product formula


Euler starts with a common zeta function

Zeta function of Riemann


Zeta function

First, he multiplies both parts by the second term:

Zeta function of Riemann


Zeta function multiplied by 1/2 s

Then he subtracts the resulting expression from the zeta function:

Zeta function of Riemann


Zeta function minus 1/2 s times the zeta function

He repeats this process, further multiplying both sides by the third term

Zeta function of Riemann


Zeta function minus 1/2 s times the zeta function times 1/3 s

And then subtracts the resulting expression from the zeta function

Zeta function of Riemann


Zeta function minus 1/2 s times the zeta function minus 1/3 s times the zeta function

If you repeat this process ad infinitum, in the end we will have the expression:

Zeta function of Riemann


1 minus all values ​​inverse to primes times the zeta function

If this process is familiar to you, it is because Euler essentially created a sieve very similar to the sieve of Eratosthenes. It filters out non-prime numbers from the zeta function.

Then we divide the expression into all its terms, which are inverse to primes, and get:

Zeta function of Riemann


Functional relationship of the zeta function with primes for the first primes 2,3,5,7 and 11

To simplify the expression, we showed the following:

Zeta function of Riemann


Euler's product formula is an equality showing the relationship between primes and the zeta function

Wasn't that beautiful? We substitute s = 1, and we find an infinite harmonic series, repeatedly proving the infinity of primes.

Mobius function


August Ferdinand Mobius rewrote the work of Euler, creating a new amount. In addition to the inverse of primes, the Mobius function also contains every natural number, which is the product of an even and odd number of prime factors. Numbers excluded from his series are numbers that are divisible by some prime number squared. Its sum, denoted as μ (n) , has the following form:

Zeta function of Riemann


The Mobius function is a modified version of the Euler product given for all natural numbers

The sum contains the inverse values:

  1. To each prime number;
  2. To each natural number, which is a product of an odd number of different primes, taken with a minus sign; and
  3. To each natural number, which is the product of an even number of different primes, taken with a plus sign;


The first members are shown below:

Zeta function of Riemann


Series / sum of units divided by the zeta function ζ (s)

The sum does not contain those reciprocal values ​​that are divided by the square of one of the prime numbers, for example, 4.8.9, and so on.

The Mobius function μ (n) can take only three possible values: the prefix (1 or -1) or the removal (0) of members from the sum:

Zeta function of Riemann


Three possible values ​​of the Mobius function μ (n)

Although this tricky amount was first formally determined by Mobius, it is noteworthy that 30 years before him, Gauss wrote about this amount in marginal notes:

“The sum of all primitive roots (prime p) or0 (when p-1 is divisible by square), or± 1 (mod p) (when p-1 is the product of unequal primes); if their number is even, then the sign is positive, but if the number is odd, then the sign is negative. ”

Prime number distribution function


Let's go back to prime numbers. To understand how primes are distributed when moving up the number line, not knowing exactly where they are, it will be useful to calculate how many of them occur up to a certain number.

It is precisely this task that the distribution function of the primes π (x) proposed by Gauss fulfills: it gives us the number of primes less than or equal to a given real number. Since we do not know the formulas for finding primes, the formula for the distribution of primes is known to us only as a graph, or a step function that increases by 1 when x is a prime. The graph below shows the function up to x = 200.

Zeta function of Riemann


The distribution function of primes π (x) up to x = 200.

Prime number distribution theorem


The theorem on the distribution of primes, formulated by Gauss (and independently Legendre), states:

Zeta function of Riemann


Prime number distribution theorem

In ordinary language, this can be stated as follows: "When x moves to infinity, the distribution function of primes π (x) will approach the function x / ln (x)." In other words, if you climb far enough and the prime distribution graph rises to a very high number x , then dividing x by the natural logarithm x, the ratio of these two functions will tend to 1. Below the graph shows two functions for x = 1000:

Zeta function of Riemann


The distribution function of primes π (x) and an approximate estimate by the distribution theorem of primes up to x = 1000

From the point of view of probabilities, the prime number distribution theorem says that if we randomly choose a positive integer x, then the probability P (x) that this number will be prime is approximately equal to 1 / ln (x). This means that the average gap between consecutive primes among the first x integers is approximately ln (x).

Integral Logarithm


The function Li (x) is defined for all positive real numbers, with the exception of x = 1. It is defined by the integral from 2 to x :

Zeta function of Riemann


The integral representation of the integral logarithm function

Having plotted this function next to the prime distribution function and the formula from the prime distribution theorem, we see that Li (x) is actually a better approximation than x / ln (x):

Zeta function of Riemann


The integral logarithm of Li (x) , the distribution function of the primes π (x) and x / ln (x) on the same graph

To find out how much better this approximation is, we can build a table with large x values, the number of primes up to x and the error between the old (theorem on the distribution of primes) and the new (integral logarithm) functions:

Zeta function of Riemann


The number of primes up to a given power of tens and the corresponding errors for two approximations

As you can easily see, the integral logarithm is much better in approximation than the function from the theorem on the distribution of primes; it “made a mistake” by only 314,890 primes for x = 10 to the power of 14. Nevertheless, both functions converge to distribution functions of primes π (x). Li (x) converges much faster, but as x tends to infinity, the ratio between the distribution function of primes and the functions Li (x) and x / ln (x) approaches 1. We show this clearly:

Zeta function of Riemann


The convergence of the ratios of two approximate values ​​and the distribution function of primes to 1 at x = 10,000

Gamma function


The gamma function Γ (z) has become an important object to study since when, in the 1720s, Daniel Bernoulli and Christian Goldbach investigated the problem of generalizing the factorial function to non-integer arguments. This is a generalization of the factorial function n ! (1 x 2 x 3 x 4 x 5 x .... N ) shifted down by 1:

Zeta function of Riemann


The gamma function defined for z

Her schedule is very curious:

Zeta function of Riemann


Graph of the gamma function Γ (z) in the interval -6 ≤ z ≤ 6

The gamma function Γ (z) is defined for all complex values ​​of z greater than zero. As you probably know, complex numbers are a class of numbers with the imaginary part , written as Re ( z ) + Im ( z ), where Re ( z ) is the real part (ordinary real number) and Im ( z ) is the imaginary part denoted by the letter i . The complex number is usually written in the form z = σ + it , where sigma σ is the real part and it is imaginary. Complex numbers are useful in that they allow mathematicians and engineers to work with problems that are not available to ordinary real numbers. In a graphical form, complex numbers extend the traditional one-dimensional number line into a two-dimensional number plane, called the complex plane , in which the real part of the complex number is laid out along the x axis, and the imaginary - along the y axis.

So that the gamma function Γ (z) can be used, it is usually rewritten in the form

Zeta function of Riemann


Functional relationship of the gamma function Γ (z)

Using this equality, we can obtain values ​​for z below zero. However, it does not give values ​​for negative integers, because they are not defined (formally, they are degenerations or simple poles).

Zeta and gamma


The relationship between the zeta function and the gamma function is given by the following integral:

Zeta function of Riemann


Riemann Zeta Function


Having familiarized ourselves with all the necessary fundamental resources, we can finally begin to establish the connection between primes and the Riemann hypothesis.

German mathematician Bernhard Riemann was born in 1826 in Brezlenets. As a student of Gauss, Riemann published a paper in the field of mathematical analysis and geometry. It is believed that he made the greatest contribution in the field of differential geometry, where he laid the foundation for the language of geometry, which was later used by Einstein in the general theory of relativity.

Zeta function of Riemann


His only work in number theory, an 1859 paper by Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse (“On primes less than a given quantity”), is considered the most important article in this area of ​​mathematics. In just four pages, he stated:

  • Definition of the Riemann zeta function ζ (s) - a zeta function with complex values;
  • The analytic continuation of the zeta function to all complex numbers s ≠ 1;
  • The definition of the Riemann xi-function ξ (s) - the entire function associated with the Riemann zeta-function through the gamma-function;
  • Two proofs of the functional equation of the Riemann zeta function;
  • Determination of the distribution function of Riemann primes J (x) using the distribution function of primes and the Mobius function;
  • The explicit formula for the number of primes is less than a given number using the distribution function of the Riemann primes defined using the non-trivial zeros of the Riemann zeta function.


This is an incredible example of inventiveness and creative thinking, the likes of which probably have not been seen since. Absolutely amazing work.

Riemann Zeta Function


We have seen the close relationship between primes and the zeta function shown by Euler in his work. However, with the exception of this connection, little was known about their relationship, and the invention of complex numbers was required to show them.

Riemann was the first to consider the zeta function ζ (s) for the complex variable s , where s = σ + i t.

Zeta function of Riemann


The Riemann zeta function for n, where s = σ + it is a complex number in which σ and t are real numbers.

This infinite series, called the Riemann zeta-function ζ (s), is analytic (that is, has definable values) for all complex numbers with the real part greater than 1 (Re (s)> 1). In this area of ​​definition, it converges absolutely .

To analyze a function in areas outside the usual region of convergence (when the real part of the complex variable s is greater than 1), the function needs to be redefined. Riemann successfully coped with this by performing an analytic continuation to an absolutely convergent function on the half-plane Re (s)> 0.

Zeta function of Riemann


The rewritten form of the Riemann zeta function, where {x} = x - | x |

This new definition of the zeta function is analytic in any part of the half-plane Re (s)> 0, except for s = 1, where it is a degeneracy / simple pole. In this domain of definition, it is called a meromorphic function , because it is holomorphic (complexly differentiable in the neighborhood of each point in the domain of its definition), except for the simple pole s = 1. In addition, it is an excellent example of the Dirichlet L-function .

In his article, Riemann did not stop there. He went over to analytic continuation of his zeta function ζ (s) to the entire complex plane, using the gamma function Γ (z). In order not to complicate the post, I will not give these calculations, but I highly recommend that you look at them yourself to make sure of the amazing intuition and mastery of Riemann.

His method uses the integral representation of the gamma Γ (z) for complex variables and the Jacobi theta function ϑ (x), which can be rewritten in such a way that a zeta function appears. When deciding on zeta, we get:

Zeta function of Riemann


The functional zeta equation for the entire complex plane with the exception of two degeneracy at s = 0 and s = 1

In this form, we notice that the term ψ (s) decreases faster than any power of x, which means that the integral converges to all values ​​of s.

Going even further, Riemann noticed that the first term in brackets (-1 / s (1 - s)) is an invariant (does not change) if s is replaced by 1 - s. Due to this, Riemann further expanded the usefulness of the equation by eliminating two poles at s = 0 and s = 1, and defining the Riemann xi-function ξ (s) without degeneracy:

Zeta function of Riemann


Xi-Riemann function ξ (s)

Zeros of the Riemann Zeta Function


The roots / zeros of the zeta function, when ζ (s) = 0, can be divided into two types, which are called the “trivial” and “nontrivial” zeros of the Riemann zeta function.

The existence of zeros with the real part Re (s) <0


Trivial zeros are zeros that are easy to find and explain. They are most noticeable in the following functional form of the zeta function:

Zeta function of Riemann


A variation of the Riemann functional zeta equation.

This product becomes equal to zero when the sine becomes zero. This occurs at kπ values. That is, with a negative even integer s = -2n, the zeta function becomes zero. However, for positive even integers s = 2n, zeros are canceled by the poles of the gamma function Γ (z). It is easier to see in its original functional form; if we substitute s = 2n, then the first part of the term becomes undefined.

Zeta function of Riemann


So, the Riemann zeta function has zeros in every negative even integer s = -2n. These are trivial zeros, and they can be seen on the function graph:

Zeta function of Riemann


The graph of the Riemann zeta function ζ (s) with zeros at s = -2, -4, -6 and so on

The existence of zeros with the real part Re (s)> 1


From the Euler zeta formulation, we can instantly see that the zeta ζ (s) cannot be zero in a region with the real part s greater than 1, because a convergent infinite product can be zero only if one of its factors is equal to zero. The proof of the infinity of primes negates this.

Zeta function of Riemann


Euler's formula

The existence of zeros with the real part 0 ≤ Re (s) ≤ 1


We found the trivial zeros of the zeta in the negative half-plane when Re (s) <0, and showed that in the region Re (s)> 1 there can be no zeros.

However, the area between these two areas, called the critical strip, has been the main focus of attention in analytic number theory for the past hundreds of years.

Zeta function of Riemann


The plot of the real and imaginary parts of the Riemann zeta function ζ (s) in the interval -5

In the graph above, I displayed the real parts of the zeta ζ (s) in red and the imaginary parts in blue. We see the first two trivial zeros in the lower left corner, where the real part of s is -2 and -4. Between 0 and 1, I identified a critical band and noted the intersection of the real and imaginary parts of the zeta ζ (s). These are nontrivial zeros of the Riemann zeta function. Going up to higher values, we will see more zeros and two seemingly random functions, which become denser with increasing values ​​of the imaginary part s .

Zeta function of Riemann


Graph of the real and imaginary parts of the Riemann zeta function ζ (s) in the interval -5

Xi-function Riemann


We defined the Riemann xi-function ξ (s) (the form of a functional equation in which all degeneracy is eliminated, that is, it is defined for all values ​​of s) as follows:

Zeta function of Riemann


Riemann Xi-function without degeneracy.

This function satisfies the relation

Zeta function of Riemann


Symmetric relationship between the positive and negative values ​​of the Riemann xi-function.

This means that the function is symmetric with respect to the vertical line Re ( s ) = 1/2, i.e. ξ (1) = ξ (0), ξ (2) = ξ (-1 ), and so on. This functional relationship (the symmetries of s and 1 s ) in combination with the Euler product shows that the Riemann xi-function can have zeros only in the interval 0 ≤ Re ( s ) ≤ 1. In other words, the zeros of the Riemann xi-function correspond to non-trivial zeta zeros Riemann functions. In a certain respect, the critical line R (s) = 1/2 for the Riemann zeta function ζ ( s ) corresponds to the real line (Im ( s ) = 0) for the Riemann xi-function ξ ( s)

Looking at the two graphs shown above, you can immediately notice that for all non-trivial zeros of the Riemann zeta function ζ ( s ) (zeros of the Riemann xi-function), the real part of Re (s) is 1/2. In his article, Riemann briefly mentioned this property, and his superficial note as a result turned out to be one of his greatest legacies.

Riemann hypothesis

For non-trivial zeros of the Riemann zeta-function ζ (s), the real part has the form Re (s) = 1/2.


This is a modern formulation of an unproven assumption made by Riemann in his famous article. It states that all points at which zeta is zero (ζ (s) = 0) on the critical strip 0 ≤ Re (s) ≤ 1 have the real part Re (s) = 1/2. If this is true, then all non-trivial zeros of the zeta will have the form ζ (1/2 + i t).

An equivalent formulation (stated by Riemann himself) is that all the roots of the Riemann xi-function ξ (s) are real.

In the graph below, the line Re (s) = 1/2 is the horizontal axis. The real part Re ( s ) of the zeta ζ ( s ) is shown by the red line, and the imaginary part Im ( s ) is shown by the blue line. Non-trivial zeros are the intersections between the red and blue graphs on the horizontal line.

Zeta function of Riemann


The first nontrivial zeros of the Riemann zeta function on the line Re (s) = 1/2.

If the Riemann hypothesis turns out to be true, then all non-trivial zeros of the function will occur on this line as the intersection of two graphs.

Reasons to believe in a hypothesis


There are many reasons to believe the truth of the Riemann hypothesis regarding zeros of the zeta function. Probably the most convincing reason for mathematicians is the consequences that it will have for the distribution of primes. A numerical test of a hypothesis at very high values ​​suggests that it is true. In fact, the numerical confirmation of the hypothesis is so strong that in other areas, for example, in physics or chemistry, it could be considered experimentally proven. However, in the history of mathematics there were several hypotheses that were tested to very high values, and nevertheless turned out to be incorrect. Derbyshire (2004) tells the story of the Skews number - an extremely large number that indicated an upper limit and thus proved the falsity of one of the Gauss hypotheses that the integral logarithm of Li ( x) is always greater than the distribution function of primes. It was refuted by Littlewood without an example, and then it was shown that it was incorrect above a very huge number of Skewes - ten to the power of ten, to the power of ten, to the power of 34. This proved that despite the proven fallacy of the Gauss idea, an example of the exact location of such a deviation from the hypothesis is far beyond even modern computing power. This can happen in the case of the Riemann hypothesis, which was tested "only" to tens of twelve non-trivial zeros.

Riemann Zeta Function and Primes


Based on the truth of the Riemann hypothesis, Riemann himself began to study its consequences. In his article, he wrote: "... there is a high probability that all roots are material. Of course, rigorous proof is needed here; after making several unsuccessful attempts, I will postpone its search, because it seems to be optional for the next purpose of my research . " His next goal was to relate zeros of the zeta function to primes.

Recall the distribution function of primes π ( x ), which counts the number of primes up to a real number x . Riemann used π ( x ) to determine the eigenfunction of the distribution of primes, namely the distribution function of the Riemann primes J ( x) It is defined as follows:

Zeta function of Riemann


The distribution function of Riemann primes

The first thing that can be noticed in this function is that it is not infinite. For some member, the distribution function will be zero, because there are no primes for x <2. That is, taking J (100) as an example, we get that the function consists of seven members, because the eighth member will contain the eighth root 100, which is approximately equal to 1.778279 .., that is, this member of the distribution of primes becomes equal to zero, and the sum becomes equal to J (100) = 28.5333 ...

Like the distribution function of primes, the Riemann function J ( x ) is a step function, the value which increases like this:

Zeta function of Riemann


Possible values ​​of the distribution function of Riemann primes

To relate the value of J ( x ) to the number of primes up to x , including it, we will return to the distribution function of primes π ( x ) using a process called Mobius inversion (I will not show it here) . The resulting expression will look like

Zeta function of Riemann


The distribution function of primes π (x) and its connection with the distribution function of Riemann primes and the Mobius function μ (n)

Recall that the possible values ​​of the Mobius function are

Zeta function of Riemann


Three possible values ​​of the Mobius function μ (n)

This means that now we can write any distribution function of primes as a distribution function of Riemann primes, which will give us

Zeta function of Riemann


The distribution function of primes, written as the distribution function of Riemann primes for the first seven values ​​of n

This new expression is still a finite sum, because J ( x ) is zero for x <2, since there are no primes less than 2.

If Now we will once again consider the example with J (100), then we get the sum

Zeta function of Riemann


The distribution function of primes for x = 100

Which, as we know, is the number of primes below 100.

Transforming the Euler Product Formula


Then Riemann used Euler's product as a starting point and obtained a method for the analytic estimation of primes in non-calculable language of matanalysis. Starting with Euler:

Zeta function of Riemann


Euler's product for the first five primes

First, taking the logarithm on both sides and then rewriting the denominators in brackets, he derived the relationship

Zeta function of Riemann


Logarithm of the rewritten formula of Euler's product

Then, using the well-known Taylor-Maclaurin series, he expanded each logarithmic term on the right side, creating an infinite sum of infinite sums, one for each term in a series of primes.

Zeta function of Riemann


Taylor expansion for the first four terms of the logarithm of the Euler product

Let us consider one of these terms, for example:

Zeta function of Riemann


The second term is the Maclaurin expansion for 1/3 ^ s.

This term, like every other term in the calculation, represents part of the area under the function J ( x ). In the form of an integral:

Zeta function of Riemann


The integral form of the second term of the Maclaurin expansion for 1/3 ^ s

In other words, using the Euler product, Riemann showed that it is possible to represent the discrete stepwise distribution function of primes as a continuous sum of integrals. In the graph below, the example of the term we took is shown as part of the area under the graph of the distribution function of the Riemann primes.

Zeta function of Riemann


The distribution function of the Riemann primes J (x) up to x = 50, in which two integrals are distinguished.

So, each expression in a finite sum, making up a series of quantities inverse to the primes from the Euler product, can be expressed as integrals making up an infinite sum of integrals, corresponding area under the distribution function of Riemann primes. For prime 3, this infinite product of integrals has the form:

Zeta function of Riemann


An infinite product of the integrals that make up the area under the distribution function of the primes represented by the integer 3

If we collect all these infinite sums together into one integral, then the integral under the distribution function of the Riemann primes J ( x ) can be written in simple form:

Zeta function of Riemann


The logarithm of zeta, expressed as an infinite series of integrals

Or in a better known form

Zeta function of Riemann


The modern equivalent of the Euler product, linking the zeta function with the distribution function of Riemann primes.

Thanks to this, Riemann was able to connect in the language of matanalysis his zeta function ζ ( s ) with the distribution function of Riemann primes J ( x ) in an equality equivalent to the formula of the Euler product.

Error


Having obtained this analytical form of the Euler product, Riemann set about formulating his own theorem on the distribution of primes. He presented it in the following explicit form:

Zeta function of Riemann


“The Riemann primer distribution theorem,” which predicts the number of primes less than a given quantity x

This is an explicit Riemann formula. It became an improvement of the theorem on the distribution of primes, a more accurate estimate of the number of primes up to the number x . The formula consists of four members:

  1. The first, or “main” term, is the integral logarithm of Li ( x ), which is an improved approximation of the prime number distribution function π ( x ) from the prime number distribution theorem. This is the largest term, and as we have seen, it inflates the number of primes to a given value of x .
  2. The second, or “periodic” term, is the sum of the integral logarithm of x to the power of ρ , summed over ρ , which are nontrivial zeros of the Riemann zeta function. This member controls the overstatement of the core member.
  3. The third member is the constant -log (2) = -0.6993147 ...
  4. The fourth and last term is the integral, equal to zero for x <2, because there are no primes less than 2. Its maximum value is 2, when its integral is approximately 0.1400101 ....


The influence of the last two terms on the value of the function with increasing x becomes extremely small. The main “contribution” for large numbers is made by the integral logarithm function and the periodic sum. See their effect on the chart:

Zeta function of Riemann


The step function of the distribution of primes π (x) , approximated by the explicit formula for the distribution function of the Riemann primes J (x) using the first 35 non-trivial zeros of the ρ Riemann zeta-function.

In the graph above, I approximated the prime distribution function π ( x ) using the explicit formula for the Riemann prime distribution function J ( x ) and summed the first 35 nontrivial zeros of the Riemann zeta function ζ (s). We see that the periodic term makes the function “resonate” and begin to approach the form of the distribution function of primes π ( x ).

The same graph is shown below using more non-trivial zeros.

Zeta function of Riemann


The step function of the distribution of primes π (x) , approximated by the explicit formula for the distribution of Riemann primes J (x) using the first 100 nontrivial zeros of the ρ Riemann zeta-function.

Using the explicit Riemann function, we can very accurately approximate the number of primes up to a given number x . In fact, in 1901, Niels Koch proved that using non-trivial zeros of the Riemann zeta function to correct the error of the integral logarithm function is equivalent to the “best” boundary for the error in the prime number distribution theorem.

"... These zeros act like telegraph poles, and the special nature of the Riemann zeta function exactly orders how the wire (its graph) should hang between them ...", Dan Rockmore

Epilogue


After the death of Riemann in 1866, only at the age of 39, his pioneering article continues to be a guide in the field of analytic number theory and the theory of prime numbers. To this day, the Riemann hypothesis of non-trivial zeros of the Riemann zeta function remains unresolved, despite the active research of many great mathematicians. Each year, various new results and conjectures are published related to this hypothesis in the hope that someday the evidence will become real.

References

  • Jonathan Sondow and Eric W. Weisstein Riemann Zeta Function (eng.) On the Wolfram MathWorld website.

Literature

  • Takhtajan LA Quantum mechanics for mathematicians / Translation from English Ph.D. S.A. Slavnov. - Ed. 2nd - M.-Izhevsk: SRC "Regular and chaotic dynamics", Izhevsk Institute of Computer Research, 2011. - 496 p. - ISBN 978-5-93972-900-0.
created: 2014-10-25
updated: 2021-07-22
132902



Rating 9 of 10. count vote: 2
Are you satisfied?:



Comments


To leave a comment
If you have any suggestion, idea, thanks or comment, feel free to write. We really value feedback and are glad to hear your opinion.
To reply

Comprehensive analysis and operational calculus

Terms: Comprehensive analysis and operational calculus