Zeta function universality
![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/3b/Voronin_universality_theorem.png/240px-Voronin_universality_theorem.png)
In mathematics, the universality of zeta functions is the remarkable ability of the Riemann zeta function and other similar functions (such as the Dirichlet L-functions) to approximate arbitrary non-vanishing holomorphic functions arbitrarily well.
The universality of the Riemann zeta function was first proven by [1] and is sometimes known as Voronin's universality theorem.
in 1975![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/fb/Voronin-3.png/150px-Voronin-3.png)
Formal statement[]
A mathematically precise statement of universality for the Riemann zeta function ζ(s) follows.
Let U be a compact subset of the strip
such that the complement of U is connected. Let f : U �� C be a continuous function on U which is holomorphic on the interior of U and does not have any zeros in U. Then for any ε > 0 there exists a t ≥ 0 such that
-
(1)
for all .
Even more: the lower density of the set of values t which do the job is positive, as is expressed by the following inequality about a limit inferior.
where λ denotes the Lebesgue measure on the real numbers.
Discussion[]
The condition that the complement of U be connected essentially means that U doesn't contain any holes.
The intuitive meaning of the first statement is as follows: it is possible to move U by some vertical displacement it so that the function f on U is approximated by the zeta function on the displaced copy of U, to an accuracy of ε.
The function f is not allowed to have any zeros on U. This is an important restriction; if we start with a holomorphic function with an isolated zero, then any "nearby" holomorphic function will also have a zero. According to the Riemann hypothesis, the Riemann zeta function does not have any zeros in the considered strip, and so it couldn't possibly approximate such a function. The function f(s) = 0 which is identically zero on U can be approximated by ζ: we can first pick the "nearby" function g(s) = ε/2 (which is holomorphic and doesn't have zeros) and find a vertical displacement such that ζ approximates g to accuracy ε/2, and therefore f to accuracy ε.
The accompanying figure shows the zeta function on a representative part of the relevant strip. The color of the point s encodes the value ζ(s) as follows: the hue represents the argument of ζ(s), with red denoting positive real values, and then counterclockwise through yellow, green cyan, blue and purple. Strong colors denote values close to 0 (black = 0), weak colors denote values far away from 0 (white = ∞). The picture shows three zeros of the zeta function, at about 1/2 + 103.7i, 1/2 + 105.5i and 1/2 + 107.2i. Voronin's theorem essentially states that this strip contains all possible "analytic" color patterns that don't use black or white.
The rough meaning of the statement on the lower density is as follows: if a function f and an ε > 0 is given, there is a positive probability that a randomly picked vertical displacement it will yield an approximation of f to accuracy ε.
The interior of U may be empty, in which case there is no requirement of f being holomorphic. For example, if we take U to be a line segment, then a continuous function f : U → C is nothing but a curve in the complex plane, and we see that the zeta function encodes every possible curve (i.e., any figure that can be drawn without lifting the pencil) to arbitrary precision on the considered strip.
The theorem as stated applies only to regions U that are contained in the strip. However, if we allow translations and scalings, we can also find encoded in the zeta functions approximate versions of all non-vanishing holomorphic functions defined on other regions. In particular, since the zeta function itself is holomorphic, versions of itself are encoded within it at different scales, the hallmark of a fractal.[2]
The surprising nature of the theorem may be summarized in this way: the Riemann zeta function contains "all possible behaviors" within it, and is thus "chaotic" in a sense, yet it is a perfectly smooth analytic function with a rather simple, straightforward definition.
Proof sketch[]
A sketch of the proof presented in (Voronin and Karatsuba, 1992)[3] follows. We consider only the case where U is a disk centered at 3/4:
and we will argue that every non-zero holomorphic function defined on U can be approximated by the ζ-function on a vertical translation of this set.
Passing to the logarithm, it is enough to show that for every holomorphic function g : U → C and every ε > 0 there exists a real number t such that
We will first approximate g(s) with the logarithm of certain finite products reminiscent of the Euler product for the ζ-function:
where P denotes the set of all primes.
If is a sequence of real numbers, one for each prime p, and M is a finite set of primes, we set
We consider the specific sequence
and claim that g(s) can be approximated by a function of the form for a suitable set M of primes. The proof of this claim utilizes the Bergman space, falsely named Hardy space in (Voronin and Karatsuba, 1992),[3] in H of holomorphic functions defined on U, a Hilbert space. We set
where pk denotes the k-th prime number. It can then be shown that the series
is conditionally convergent in H, i.e. for every element v of H there exists a rearrangement of the series which converges in H to v. This argument uses a theorem that generalizes the Riemann series theorem to a Hilbert space setting. Because of a relationship between the norm in H and the maximum absolute value of a function, we can then approximate our given function g(s) with an initial segment of this rearranged series, as required.
By a version of the Kronecker theorem, applied to the real numbers (which are linearly independent over the rationals) we can find real values of t so that is approximated by . Further, for some of these values t, approximates , finishing the proof.
The theorem is stated without proof in § 11.11 of (Titchmarsh and Heath-Brown, 1986),[4]
the second edition of a 1951 monograph by Titchmarsh; and a weaker result is given in Thm. 11.9. Although Voronin's theorem is not proved there, two corollaries are derived from it:
- 1) Let be fixed. Then the curve
- is dense in
- 2) Let be any continuous function, and let be real constants.
- Then cannot satisfy the differential-difference equation
- unless vanishes identically.
Effective universality[]
Some recent work has focused on effective universality. Under the conditions stated at the beginning of this article, there exist values of t that satisfy inequality (1). An effective universality theorem places an upper bound on the smallest such t.
For example, in 2003, Garunkštis proved that if is analytic in with , then for any ε in , there exists a number in such that
- .
For example, if , then the bound for t is .
Bounds can also be obtained on the measure of these t values, in terms of ε:
- .
For example, if , then the right-hand side is . See.[5]: p. 210
Universality of other zeta functions[]
Work has been done showing that universality extends to Selberg zeta functions.[6]
The Dirichlet L-functions show not only universality, but a certain kind of joint universality that allow any set of functions to be approximated by the same value(s) of t in different L-functions, where each function to be approximated is paired with a different L-function.[7] [8]: Section 4
A similar universality property has been shown for the Lerch zeta function , at least when the parameter α is a transcendental number.[8]: Section 5 Sections of the Lerch zeta function have also been shown to have a form of joint universality. [8]: Section 6
References[]
- ^ Voronin, S.M. (1975) "Theorem on the Universality of the Riemann Zeta Function." Izv. Akad. Nauk SSSR, Ser. Matem. 39 pp.475-486. Reprinted in Math. USSR Izv. 9, 443-445, 1975
- ^ Woon, S.C. (1994-06-11). "Riemann zeta function is a fractal". arXiv:chao-dyn/9406003.
- ^ a b Karatsuba, A. A.; Voronin, S. M. (July 1992). The Riemann Zeta-Function. Walter de Gruyter. p. 396. ISBN 3-11-013170-6.
- ^ Titchmarsh, Edward Charles; Heath-Brown, David Rodney ("Roger") (1986). The Theory of the Riemann Zeta-function (2nd ed.). Oxford: Oxford U. P. pp. 308–309. ISBN 0-19-853369-1.
- ^ Ramūnas Garunkštis; Antanas Laurinčikas; Kohji Matsumoto; Jörn Steuding; Rasa Steuding (2010). "Effective uniform approximation by the Riemann zeta-function". Publicacions Matemàtiques. 54 (1): 209–219. doi:10.5565/publmat_54110_12. JSTOR 43736941.
- ^ Paulius Drungilas; Ramūnas Garunkštis; Audrius Kačėnas (2013). "Universality of the Selberg zeta-function for the modular group". Forum Mathematicum. 25 (3). doi:10.1515/form.2011.127. ISSN 1435-5337. S2CID 54965707.
- ^ B. Bagchi (1982). "A Universality theorem for Dirichlet L-functions". Mathematische Zeitschrift. 181 (3): 319–334. doi:10.1007/BF01161980. S2CID 120930513.
- ^ a b c Kohji Matsumoto (2013). "A survey on the theory of universality for zeta and L-functions". Plowing and Starring Through High Wave Forms. Proceedings of the 7th China–Japan Seminar. The 7th China–Japan Seminar on Number Theory. Vol. 11. Fukuoka, Japan: World Scientific. pp. 95–144. arXiv:1407.4216. Bibcode:2014arXiv1407.4216M. ISBN 978-981-4644-92-1.
Further reading[]
- Karatsuba, Anatoly A.; Voronin, S. M. (2011). The Riemann Zeta-Function. de Gruyter Expositions In Mathematics. Berlin: de Gruyter. ISBN 978-3110131703.
- Laurinčikas, Antanas (1996). Limit Theorems for the Riemann Zeta-Function. Mathematics and Its Applications. Vol. 352. Berlin: Springer. doi:10.1007/978-94-017-2091-5. ISBN 978-90-481-4647-5.
- Steuding, Jörn (2007). Value-Distribution of L-Functions. Lecture Notes in Mathematics. Vol. 1877. Berlin: Springer. p. 19. arXiv:1711.06671. doi:10.1007/978-3-540-44822-8. ISBN 978-3-540-26526-9.
- Titchmarsh, Edward Charles; Heath-Brown, David Rodney ("Roger") (1986). The Theory of the Riemann Zeta-function (2nd ed.). Oxford: Oxford U. P. ISBN 0-19-853369-1.
External links[]
- Voronin's Universality Theorem, by Matthew R. Watkins
- X-Ray of the Zeta Function Visually oriented investigation of where zeta is real or purely imaginary. Gives some indication of how complicated it is in the critical strip.
- Zeta and L-functions