- Zeta function universality
In

mathematics , the**universality**ofzeta-function s is the remarkable property of theRiemann zeta-function and other, similar, functions, such as theDirichlet L-function s, to approximate arbitrary non-vanishingholomorphic function s arbitrarily well.The universality of the Riemann zeta function was first proven by

Sergei Mikhailovitch Voronin in 1975 [*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*] and is sometimes known as**Voronin's Universality Theorem**.**Formal statement**A mathematically precise statement of universality for the Riemann zeta-function ζ("s") follows. Let "U" be a compact

subset of the strip:$\{\; sin\; mathbb\{C\}\; mid\; 1/2\; <\; mbox\{Re\; \}\; s\; <\; 1\; \}$

such that the complement of "U" is connected. Let "f" : "U" →

**C**be acontinuous 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:$|zeta(s+it)-f(s)|\; <\; varepsilonquadmbox\{for\; all\}quad\; sin\; U.$

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 . :$0\{t\; oinfty\}\; frac\{1\}\{t\}lambdaleft(\; left\{tin\; [0,t]\; mid\; max\_\{sin\; u\}\; |zeta(s+it)-f(s)|\; varepsilon\; ight\}\; ight)\; math>\; where\; lambda;\; denotes\; theLebesgue\; measureon\; 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 ε.

Note that the function "f" is not allowed to have any zeros on "U". This is an important restriction; if you 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. Note however that 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.7"i", 1/2+105.5"i" and 1/2+107.2"i". 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 ε.

Note also that 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 . [*Cite web*]

last = Woon

first = S.C.

title = Riemann zeta function is a fractal

accessdate = 2007-12-21

date = 1994-06-11

url = http://xxx.lanl.gov/abs/chao-dyn/9406003The surprising nature of the theorem may be summarized in this way: the Riemann zeta functions 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) [

*Cite book*] follows. We consider only the case where "U" is a disk centered at 3/4::$U=\{\; sin\; mathbb\{C\}\; :\; |s-3/4|\}quadmbox\{with\}quad\; 01\; 4\; math>and\; we\; will\; argue\; that\; every\; non-zero\; holomorphic\; function\; defined\; on\; "U"\; can\; be\; approximated\; by\; the\; zeta;-function\; on\; a\; vertical\; translation\; of\; this\; set.$

publisher = Walter de Gruyter

isbn = 3110131706

pages = 396

last = Karatsuba

first = A. A.

coauthors = Voronin, S. M.

title = The Riemann Zeta-Function

date = 1992-07Passing 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:$|ln\; zeta(s+it)-g(s)|\; <\; varepsilonquadmbox\{for\; all\}quad\; sin\; U.$We will first approximate "g"("s") with the logarithm of certain finite products reminiscent of the Euler product for the ζ-function::$zeta(s)=prod\_\{pinmathbb\{Pleft(1-frac\{1\}\{p^s\}\; ight)^\{-1\}$where

**P**denotes the set of all primes.If $heta=(\; heta\_p)\_\{pinmathbb\{P$ is a sequence of real numbers, one for each prime "p", and "M" is a finite set of primes, we set:$zeta\_M(s,\; heta)=prod\_\{pin\; M\}left(1-frac\{e^\{-2pi\; i\; heta\_p\{p^s\}\; ight)^\{-1\}.$

We consider the specific sequence:$hat\; heta=left(frac\{1\}\{4\},frac\{2\}\{4\},frac\{3\}\{4\},frac\{4\}\{4\},frac\{5\}\{4\},ldots\; ight)$ and claim that "g"("s") can be approximated by a function of the form $ln(zeta\_M(s,hat\; heta))$ for a suitable set "M" of primes. The proof of this claim utilizes the

Hardy space "H" of holomorphic functions defined on "U", aHilbert space . We set:$u\_k(s)=lnleft(1-frac\{e^\{-pi\; i\; k/2\{p\_k^s\}\; ight)$where "p"_{"k"}denotes the "k"-th prime number. It can then be shown that the series:$sum\_\{k=1\}^infty\; u\_k$isconditionally convergent in "H", i.e. for every element "v" of "H" there exists a rearrangement of the serieswhich converges in "H" to "v". This argument uses a theorem that generalizes theRiemann 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 $frac\{ln\; 2\}\{2pi\},\; frac\{ln\; 3\}\{2pi\},\; frac\{ln\; 5\}\{2pi\},ldots,frac\{ln\; p\_N\}\{2pi\}$ (which arelinearly independent over the rationals)we can find real values of "t" so that $ln(zeta\_M(s,hat\; heta))$ is approximated by $ln(zeta\_M(s+it,0));$. Further, for some of these values "t", $ln(zeta\_M(s+it,0));$ approximates $ln(zeta(s+it));$, finishing the proof.**Universality of other zeta functions**A similar universality property has been shown for the Lerch zeta-function. The

Dirichlet L-function s 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. [*cite journal|author=B. Bagchi*] Sections of the Lerch zeta-function have also been shown to have a form of joint universality.

title=A Universality theorem for Dirichlet L-functions

journal=Mat. Z.

year=1982

volume=181

pages=pp.319–334

doi=10.1007/BF01161980**References****Further reading*** A. A. Karatsuba and S. M. Voronin, "The Riemann-Zeta Function", Walter de Gruyter, July 1992

**External links*** [

*http://secamlocal.ex.ac.uk/people/staff/mrwatkin/zeta/voronin.htm Voronin's Universality Theorem*] , by Matthew R. Watkins

*Wikimedia Foundation.
2010.*