Value Distribution of L-Functions
Value Distribution of L-Functions
Editors:
J.-M. Morel, Cachan
F. Takens, Groningen
B. Teissier, Paris
Jrn Steuding
Value-Distribution
of L-Functions
ABC
Author
Jrn Steuding
Department of Mathematics
Chair of Complex Analysis
University of Wrzburg
Am Hubland
97074 Wrzburg
Germany
e-mail: [email protected]
DOI 10.1007/978-3-540-44822-8
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is
concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting,
reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publication
or parts thereof is permitted only under the provisions of the German Copyright Law of September 9,
1965, in its current version, and permission for use must always be obtained from Springer. Violations are
liable for prosecution under the German Copyright Law.
Springer is a part of Springer Science+Business Media
springer.com
c Springer-Verlag Berlin Heidelberg 2007
The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply,
even in the absence of a specific statement, that such names are exempt from the relevant protective laws
and regulations and therefore free for general use.
Typesetting by the author and SPi using a Springer LATEX macro package
Cover design: WMXDesign GmbH, Heidelberg
Printed on acid-free paper SPIN: 11504160 VA41/3100/SPi 543210
Contents
Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . IX
1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1 The Riemann Zeta-Function and the Distribution
of Prime Numbers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Bohrs Probabilistic Approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3 Voronins Universality Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.4 Dirichlet L-Functions and Joint Universality . . . . . . . . . . . . . . . . 19
1.5 L-Functions Associated with Newforms . . . . . . . . . . . . . . . . . . . . . 24
1.6 The LinnikIbragimov Conjecture . . . . . . . . . . . . . . . . . . . . . . . . . 28
4 Limit Theorems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.1 Associated Random Elements and the Main Limit Theorem . . . 63
4.2 Limit Theorems for Dirichlet Polynomials . . . . . . . . . . . . . . . . . . 67
4.3 An Ergodic Process . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
4.4 Approximation in the Mean . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
VI Contents
5 Universality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
5.1 Dense Sets in Hilbert Spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
5.2 Application to the Space of Analytic Functions . . . . . . . . . . . . . . 94
5.3 Entire Functions of Exponential Type . . . . . . . . . . . . . . . . . . . . . . 96
5.4 The Positive-Density Method . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
5.5 The Support of the Limit Measure . . . . . . . . . . . . . . . . . . . . . . . . . 105
5.6 The Universality Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
5.7 Discrete Universality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 293
Notations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 311
Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 315
Preface
L-functions are important objects in modern number theory. They are gener-
ating functions formed out of local data associated with either an arithmetic
object or with an automorphic form. They can be attached to smooth pro-
jective varieties dened over number elds, to irreducible (complex or p-adic)
representations of the Galois group of a number eld, to a cusp form or to
an irreducible cuspidal automorphic representation. All the L-functions have
in common that they can be described by an Euler product, i.e., a product
taken over prime numbers. In view of the unique prime factorization of integers
L-functions also have a Dirichlet series representation. The famous Riemann
zeta-function
1 1
1
(s) = = 1 s
n=1
ns p
p prime
century. He proved denseness results and rst limit theorems for the values of
the Riemann zeta-function. Maybe the most remarkable result concerning the
value-distribution of (s) is Voronins universality theorem from 1975, which
roughly states that any non-vanishing analytic function can be approximated
uniformly by certain shifts of the zeta-function in the critical strip. More
precisely: let 0 < r < 14 and suppose that g(s) is a non-vanishing continuous
function on the disc |s| r which is analytic in its interior. Then, for any
> 0, there exists a real number such that
3
max s + + i g(s) < ;
|s|r 4
general and therefore they may appear to be rather abstract and technical;
however, as we shall discuss later for many examples (in Chaps. 6, 12 and
13), they hold (or at least they are expected to hold) for all L-functions of
number theoretical interest. This abstract setting has the advantage that we
can derive a rather general universality theorem.
Our proof of universality, in the main part, relies on Bagchis probabilistic
approach from 1981. For the sake of completeness we briey present in Chap. 3
some basic facts from probability theory and measure theory. In Chap. 4, we
prove along the lines of Laurinikas extension of Bagchis method a limit
theorem (in the sense of weakly convergent probability measures) for functions
in the class S. In the following chapter we give the proof of the main result, a
universality theorem for L-functions in S. The proof depends on the limit theo-
rem of the previous chapter and the so-called positive density method, recently
introduced by Laurinikas and Matsumoto to tackle L-functions attached to
cusp forms. Furthermore, we discuss the phenomenon of discrete universality;
here the attribute discrete means that the shifts are taken from arithmetic
progressions. This concept of universality was introduced by Reich in 1980.
In Chap. 6, we introduce the Selberg class S consisting of Dirichlet
series with Euler product and a functional equation of Riemann-type (and
a bit more). It is a folklore conjecture that the Selberg class consists of all
automorphic L-functions. We study basic facts about S and discuss the main
conjectures, in particular, the far-reaching Selberg conjectures on primitive
elements. We shall see that the class S ts rather well into the setting of
the Selberg class S (especially with respect to Selbergs conjectures). Hence,
our general universality theorem extends to the Selberg class, unconditionally
for many of the classical L-function and conditionally to all elements of S
subject to some widely believed but rather deep conjectures. However, the
Selberg class is too small with respect to universality; for instance, a Dirichlet
L-function to an imprimitive character does not lie in the Selberg class (by
lack of an appropriate functional equation) but it is known to be universal.
Furthermore, some important L-functions are only conjectured to lie in the
Selberg class, and, in spite of this, for some of them we can derive universality
unconditionally.
In the following chapter, we consider the value-distribution of Dirichlet
series L(s) with functional equation in the complex plane. Following Levin-
sons approach from the 1970s, we shall prove asymptotic formulae for the
c-values of L, i.e., roots of the equation L(s) = c, and give applications in
Nevanlinna theory. In particular, we give an alternative proof of the Riemann
von Mangoldt formula for the elements in the Selberg class.
The main themes of Chap. 8 are almost periodicity and the Riemann
hypothesis. Universality has an interesting feedback to classical problems.
Bohr observed that the Riemann hypothesis for Dirichlet L-functions asso-
ciated with non-principal characters is equivalent to almost periodicity in
the right half of the critical strip. Applying Voronins universality theorem,
Bagchi was able to extend this result to the zeta-function in proving that if
XII Preface
L-functions (which lie in the Selberg class if and only if the deep Artin con-
jecture is true). This universality theorem holds unconditionally despite the
fact that Artin L-functions might have innitely many poles in their strip of
universality; this was rst proved by Bauer in 2003 by a tricky argument.
At the end of these notes an appendix on the history of the general phe-
nomenon of universality in analysis is given. It is known that universality is a
quite regularly appearing phenomenon in limit processes, but among all these
universal objects only universal Dirichlet series are explicitly known. At the
end an index and a list of the notations and axioms which were used are given.
Value-distribution theory for L-functions with emphasis on aspects of uni-
versality was treated in the monographs of Karatsuba and Voronin [166] and
Laurinikas [186]. However, after the publication of these books, many new
results and applications were discovered; we refer the reader to the surveys of
Laurinikas [196] and of Matsumoto [242] for some of the progress made in the
meantime. The content of this book forms an extract of the authors habilita-
tion thesis written at Frankfurt University in 2003. We have added Chaps. 12
and 13 on joint universality and its applications as well as several remarks
and comments concerning the progress obtained in the meantime. Unfortu-
nately, we could not include the most current contributions as, for example,
the promising work [245] of Mauclaire which relates universality with almost
periodicity.
I am very grateful to Springer for publishing these notes; especially, I want
to thank Stefanie Zller and Catriona M. Byrne from Springer, the editors of
the series Lecture Notes in Mathematics, and, of course, the anonymous referees
for their excellent work, their valuable remarks and corrections. Furthermore,
I am grateful to my family, my friends and my colleagues for their interest
and support, in particular those from the Mathematics Departments at the
universities of Frankfurt, Madrid, and Wrzburg. Especially, I would like to
thank Ramunas Garunktis and Antanas Laurinikas for introducing me to
questions concerning universality, Ernesto Girondo, Aleksander Ivi, Roma
Kainskaite, Kohji Matsumoto, Georg Johann Rieger, Jrgen Sander, Wolf-
gang Schwarz, and Jrgen Wolfart for the fruitful discussions, helpful remarks
and their encouragement. Last but not least, I would like to thank my wife
Rasa.
Jrn Steuding
Wrzburg, December 2006
1
Introduction
here and in the sequel the letter p always denotes a prime number and the
product is taken over all primes. The Dirichlet series, and the Euler product,
converge absolutely in the half-plane > 1 and uniformly in each compact
subset of this half-plane. The identity between the Dirichlet series and the
Euler product was discovered by Euler [76] in 1737 and can be regarded as
an analytic version of the unique prime factorization of integers. The Euler
product gives a rst glance on the intimate connection between the zeta-
function and the distribution of prime numbers. A rst immediate consequence
is Eulers proof of the innitude of the primes. Assuming that there were only
2 1 Introduction
nitely many primes, the product in (1.1) is nite, and therefore convergent
for s = 1, contradicting the fact that the Dirichlet series dening (s) reduces
to the divergent harmonic series as s 1+. Hence, there exist innitely many
prime numbers. This fact is well known since Euclids elementary proof, but
the analytic access gives deeper knowledge on the distribution of the prime
numbers. It was the young Gauss [94] who conjectured in 1791 for the number
(x) of primes p x the asymptotic formula
here and in the sequel [u] denotes the maximal integer less than or equal to u.
This gives an analytic continuation for (s) to the half-plane > 0 except for
a simple pole at s = 1 with residue 1. This process can be continued to the
left half-plane and shows that (s) is analytic throughout the whole complex
plane except for s = 1. Riemann gave the functional equation
s
1s
s/2 (s) = (1s)/2 (1 s), (1.4)
2 2
1.1 The Riemann Zeta-Function and the Distribution of Prime Numbers 3
0.1
0.05
14 12 10 8 6 4 2
0.05
0.1
0.15
0
10
0
10
20
30
40
Fig. 1.2. The reciprocal of the absolute value of (s) for [4, 4], t [10, 40].
The zeros of (s) appear as poles
In support of his conjecture, Riemann calculated some zeros; the rst one
with positive imaginary part is = 12 + i14.134 . . . (see Fig. 1.2 and also
Fig. 8.1). Furthermore, Riemann conjectured that there exist constants A
and B such that
1 s
s
s
s/2
s(s 1) (s) = exp(A + Bs) 1 exp .
2 2
This was shown by Hadamard [113] in 1893 (recall the Hadamard product
theorem from the theory of functions). Finally, Riemann conjectured the so-
called explicit formula which states that
(x1/n )
(x) + = li(x) li(x ) + li(x1 ) (1.6)
n=2
n =+i
>0
du
+ log 2
x u(u2 1) log u
(n)
(s) = ,
n=1
ns
Incorporating the residue at s = 0, this leads to the the exact explicit formula
x
1 1
(x) = x log 1 2 log(2),
2 x
which is equivalent to Riemanns formula (1.6). Notice that the right-hand side
of this formula is not absolutely convergent. If (s) would have only nitely
many non-trivial zeros, the right-hand side would be a continuous function of
x, contradicting the jumps of (x) for prime powers x. However, going on it
is much more convenient to cut the integral in (1.9) at t = T which leads to
the truncated version
x x
valid for all values of x. Next we need information on the distribution of the
non-trivial zeros. The largest known zero-free region for (s) was found by
Vinogradov [359] and Korobov [173] (independently) who proved
c
(s) = 0 in 1 ,
(log |t| + 3)1/3 (log log(|t| + 3))2/3
where c is some positive absolute constant; the rst complete proof due
to Richert appeared in Walsz [366]. In addition with the Riemannvon
Mangoldt formula (1.5) one can estimate the sum over the non-trivial zeros
in (1.10). Balancing out T and x, we obtain the prime number theorem with
the strongest existing remainder term:
1.1 The Riemann Zeta-Function and the Distribution of Prime Numbers 7
Theorem 1.1. There exists an absolute positive constant C such that for suf-
ciently large x
(log x)3/5
(x) = li (x) + O x exp C .
(log log x)1/5
By the explicit formula (1.10) the impact of the Riemann hypothesis on the
prime number distribution becomes visible. Von Koch [172] showed that for
xed [ 12 , 1)
(x) li (x) x+ (s) = 0 for > ; (1.11)
here and in the sequel stands for an arbitrary small positive constant, not
necessarily the same at each appearance. With regard to known zeros of (s)
on the critical line it turns out that an error term with < 12 is impossible.
Thus, the Riemann hypothesis states that the prime numbers are as uniformly
distributed as possible!
Many computations were done to nd a counterexample to the Riemann
hypothesis. Van de Lune, te Riele and Winter [232] localized the rst
1 500 000 001 zeros, all lying without exception on the critical line; moreover
they all are simple! By observations like this it is conjectured, that all or
at least almost all zeros of the zeta-function are simple. This so-called essen-
tial simplicity hypothesis has arithmetical consequences. Cramr [63] showed,
assuming the Riemann hypothesis,
X 2
1 (x) x m() 2
dx
log X 1 x , (1.12)
where the sum is taken over distinct zeros and m() denotes their multiplicity.
The right-hand side is minimal if all the zeros are simple. Going further,
Goldston, Gonek and Montgomery [103] observed interesting relations
between the essential simplicity hypothesis, mean-values of the logarith-
mic derivative of (s), the error term in the prime number theorem, and
Montgomerys pair correlation conjecture.
A classical density theorem due to Bohr and Landau states that most
of the zeros lie arbitrarily close to the critical line. Denote by N (, T ) the
number of zeros = + i of (s) for which > and 0 < T (counting
multiplicities). Bohr and Landau [34] (see also [224]) proved that
N (, T ) T = O(N (T )) (1.13)
1
for any xed > 2. Hence, almost all zeros of the zeta-function are clustered
around the critical line. A renement of their method led to bounds N (, T )
T with < 1 (see [35, 49]); for instance:
1
Theorem 1.2. For any xed with 2 < < 1,
N (, T ) T 4(1)+ .
For the various improvements of this density estimate we refer to Ivi [141].
8 1 Introduction
Hardy [116] showed that innitely many zeros lie on the critical line, and
Selberg [321] was the rst to prove that a positive proportion of all zeros lies
exactly on = 12 . Let N0 (T ) denote the number of zeros of (s) on the
critical line with imaginary part 0 < T . The idea to use molliers to
dampen the oscillations of |( 12 + it)| led Selberg to
N0 (T + H) N0 (T )
lim inf > 0,
T N (T + H) N (T )
as long as H T 1/2+ . Karatsuba [164] improved this result to H T 27/82+
by some technical renements. The proportion is very small, about 106 as
2
Min calculated; a later renement by Zhuravlev gives after all 21 if H = T (cf.
[165, p. 36]). However, the localized zeros are not necessarily simple. By an
ingenious new method, working with molliers of nite length, Levinson [216]
localized more than one third of the non-trivial zeros of the zeta-function on
the critical line, and as Heath-Brown [122] and Selberg (unpublished) discov-
ered, they are all simple. By optimizing the technique, Levinson himself and
others improved the proportion 13 slightly, but more recognizable is Conreys
idea in introducing Kloosterman sums. So Conrey [57] was able to choose a
longer mollier to show that more than two-fths of the zeros are simple and
on the critical line. Bauer [17, 18] improved this proportion slightly. The use
of longer molliers leads to larger proportions. Farmer [77] observed that if it
is possible to take molliers of innite length, then almost all zeros lie on the
critical line and are simple. In [339], Steuding found a new approach (com-
bining ideas and methods of Atkinson, Jutila and Motohashi) to treat short
intervals [T, T + H], i.e., H = O(T ). It was proved that for H T 0.552 a
positive proportion of the zeros of the zeta-function with imaginary parts in
[T, T + H] lie on the critical line and are simple.
Recently, Garaev [81] showed that
| ()|1 (log T )1/2 ;
0<<T
()=0
the divergence of the series | ()|1 was known before only subject to
the truth of the Riemann hypothesis (see [353, p. 374]). Garaevs result was
slightly improved by himself [82] and leeviiene and Steuding [333] (inde-
pendently) by a factor (log T )1/4 . Furthermore, using the results of [339] for
short intervals, in [319] it was proved that
1 1
+ i H(log T )1/4
2
T <<T +H
( 1 +i)=0
2
and
1
+ i H(log T )9/4 ,
2
T <<T +H
( 1 +i)=0
2
1.2 Bohrs Probabilistic Approach 9
both valid for T 0.552 H T . Such estimates measure how close the zeros
of the zeta-function are to being simple.
Thus the values of (s) in half-planes 0 > 1 are lying in the disk of radius
(0 ) centered in the origin. It can be shown that (s) takes quite many of the
complex values inside this disk when t varies in R (very similar to the classic
theorem of Bloch in the theory of functions). On the other side () tends to
innity as 1+, and indeed Bohr [28] succeeded in proving
Theorem 1.3. In any strip 1 < < 1 + , (s) takes any non-zero value
innitely often.
For xed prime p and xed > 1, the set of values taken by the inner sum
in the series representation on the right-hand side is a convex curve while
t runs through R. Adding up all these curves gives, using some facts from
the theory of diophantine approximation, information on the values taken
by log (s) itself. Actually, it follows that log (s) takes any complex value in
1 < < 1 + which, by exponentiation, leads to the assertion of Theorem 1.3.
10 1 Introduction
2 1 1 2 3
Fig. 1.3. ( 35 + it) for t [0, 60]. The curve visits any neighbourhood of any given
point in the complex plane as t runs through the set of real numbers
The situation inside the critical strip is much more complicated. Here,
Bohr studied nite Euler products
1
1
M (s) := 1 s . (1.15)
p
pM
Here and in the sequel meas A stands for the Lebesgue measure of a mea-
surable set A. The limit value of Theorem 1.4 may be regarded as the
probability how many values of log ( + it) belong to the rectangle R. Hattori
and Matsumoto [121] identied this limit distribution, which is too compli-
cated to be written down here. Next, for any complex number c, denote by
N c (1 , 2 , T ) the number of c-values of (s), i.e., the roots of the equation
(s) = c, inside the region 1 < < 2 , 0 < t T (counting multiplicities).
From the limit theorem mentioned above Bohr and Jessen [32] deduced
1 c
lim N (1 , 2 , T )
T T
exists and is positive.
In connection with the density Theorem 1.2 it follows that zeros are indeed
exceptional values of the zeta-function.
In 1935, Jessen and Wintner [149] proved limit theorems similar to the one
above by using more advanced methods from probability theory (innite con-
volutions of probability measures). We do not mention further developments
of Bohrs ideas by his successors Borchsenius, Jessen and Wintner but refer
for more details on Bohrs contribution and results of his collaborators to the
monograph of Laurinikas [186] and the survey of Matsumoto [242]. Bohrs
line of investigations appears to have been almost totally abandoned for some
decades. Only in 1972, Voronin [361] obtained some signicant generalizations
of Bohrs denseness result.
1
Theorem 1.6. For any xed numbers s1 , . . . , sn with 2 < Re sk < 1 for
1 k n and sk = s for k = , the set
{((s + i ), (s + i ), . . . , (n1) (s + i )) : R}
is dense in Cn .
This result (in addition with Voronins universality Theorem 1.7) started
a second period of intensive research in this eld. Comparable limit theo-
rems and related results were obtained, for example, by Laurinikas [180] for
Dirichlet L-functions, by Matsumoto [239] for more general L-functions, and
recently by leeviiene [331] for powers of the zeta-function, to give only
some examples.
12 1 Introduction
The rst published proof is due to Joyner [150]. Laurinikas [184] obtained
results near the critical line, comparable to (1.16); more precisely, the weak
convergence of a suitably normalized measure to the normal distribution in
the region
1 1 1
+
2 2 log T
as T tends to innity. Selbergs limit theorem with remainder term includes
as a particular case the result
1 1 1
meas t (0, T ] :
+ it exp y log log T
T 2 2
y 2
1 x (log log log T )2
= exp dx + O .
2 2 log log T
In 1975, Voronin [363, 364] proved a remarkable universality theorem for (s)
which states, roughly speaking, that any non-vanishing analytic function can
be approximated uniformly by certain purely imaginary shifts of the zeta-
function in the critical strip.
1.3 Voronins Universality Theorem 13
Theorem 1.7. Let 0 < r < 14 and suppose that g(s) is a non-vanishing con-
tinuous function on the disk |s| r which is analytic in the interior. Then,
for any > 0,
1 3
lim inf meas [0, T ] : max s + + i g(s) < > 0.
T T |s|r 4
exp(2ip )
1
M (s, ) = 1 .
ps
pM
in order to have a denite value we may choose the principal branch of the
logarithm. It might be unpleasant that f is only assumed to be continuous on
the boundary. However, since f (s) is uniformly continuous in the disk |s| r,
there exists some > 1 such that 2 r < 14 and
s
max f f (s)< .
|s|r 2 2
The function f (s/2 ) is analytic and bounded on the disk |s| r =: R, and
thus belongs to the Hardy space HR 2
, i.e., the Hilbert space consisting of those
functions F (s) which are analytic for |s| < R with nite norm
F
:= lim |F (s)| d dt.
rR |s|r
HR2
becomes a real Hilbert space. Denote by pk the kth prime number. We
consider the series
uk (s, ),
k=1
where 1
exp(2ipk )
uk (s, ) := log 1 s+(3/4)
.
pk
Here comes the rst main idea. Riemann proved that any conditionally
convergent series of real numbers can be rearranged such that its sum
converges to an arbitrary preassigned real number. Pechersky [288] gener-
alized Riemanns theorem to Hilbert spaces (Theorem 5.4). It follows, with
choice = 0 = ( 14 , 24 , 34 , . . .), that there exists a rearrangement of
the special
the series uk (s, 0 ) for which
s
ukj (s, 0 ) = f
j=1
2
The tail of the rearranged series can be made as small as we please, say
of modulus less than 2 . Thus, it turns out that for any > 0 and any y > 0
there exists a nite set M of prime numbers, containing at least all primes
p y, such that
3
max log M s + , 0 f (s) < . (1.17)
|s|r 4
The next and main step in Voronins proof is to switch from log M (s)
to the logarithm of the zeta-function. Of course, log (s) has singularities at
the zeros of (s), but since the set of these possibly singularities has measure
zero by density Theorem 1.2, they are negligible. Note that for many higher
L-functions (i.e., functions which satisfy a Riemann-type functional equation
with many Gamma-factors), which we shall consider later, no density results
of this strength are known.
Now we choose > 1 and 1 (0, 1) such that r < 14 and
s
max f f (s) < 1 . (1.18)
|s|r
which is surprisingly large. It follows from Cauchys formula that, for su-
ciently small 2 ,
3 3
max log s + + i log Q s + + i, 0 2 , (1.21)
|s|r 4 4
1 N
lim meas { (0, T ) : ( ) mod 1} = (j j ).
T T
j=1
and thus
2
log Q s + 3 , log M s + 3 , d
4 k
4
D
2
meas D log Q\M s + 3 , d.
k
4
[0,1]N
18 1 Introduction
2r(1/2)
The latter integral is bounded above by yk provided that Mk contains
all primes yk . It follows that:
1 log Q s + 3 + i, 0 log M s + 3 + i, 0 2 d dt d
T BT |s|r 4 k 4
2r(1/2)
yk meas D.
Applying once more Lemma 1.8(i) yields
1
lim meas BT = meas D,
T T
which implies, for suciently large yk ,
3
meas BT :
log Q s + 4 + i, 0
|s|r
2
3
log Mk s + + i, 0 d dt < yk
r(1/4)
4
meas D
> T.
2
This gives via Lemma 1.8(ii)
1 3
meas BT : max log Q s + + i, 0
T |s|r 4
3
log Mk s + + i, 0 < yk
(r1/4)/5
4
meas D
> . (1.26)
2
If we now take 0 < 2 < 1
2 meas D, then (1.20) implies
1 1
meas AT BT meas D 2 > 0.
T 2
Thus, in view of (1.18) and (1.22) we may approximate f (s) by
log Mk s + 34 , 0 (independent
on ), with (1.24) and (1.26) the lat-
ter function
by log Q s + 4 + i, 0 , and nally with regard to (1.21) by
3
Theorem 1.9. Suppose that K is a compact subset of the strip 12 < < 1 with
connected complement, and let g(s) be a non-vanishing continuous function
on K which is analytic in the interior of K. Then, for any > 0,
1
lim inf meas [0, T ] : max |(s + i ) g(s)| < > 0.
T T sK
0.5
0.6
0.7
0.8
0.9
1
4
0
116
118
120
122
Fig. 1.4. Some dunes at the baltic sea shore or the analytic landscape of (s) for
[ 12 , 1], t [115, 122]
f (m n) = f (m) f (n)
for all coprime integers m, n; if the latter identity holds for all integers, f is
said to be completely multiplicative.
Let q be a positive integer. A Dirichlet character mod q is a non-
vanishing group homomorphism from the group (Z/qZ) of prime residue
classes modulo q to C. The character, which is identically one, is called prin-
cipal, and is denoted by 0 . By setting (a) = 0 on the non-prime residue
classes such a character extends via (n) = (a) for n a mod q to a com-
pletely multiplicative arithmetic function. For > 1, the Dirichlet L-function
L(s, ) attached to a character mod q is given by
1
(n) (p)
L(s, ) = = 1 s .
n=1
ns p
p
q s+ q 1+s
L(s, ) = L(1 s, ),
2 i q 2
is the Gauss sum attached to . One nds similar zero-free regions (with
the exception of possible Siegel zeros on the real line), density theorems, and
also for Dirichlet L-functions it is expected that the analogue of the Riemann
hypothesis holds; the so-called Generalized Riemann hypothesis states that
neither (s) nor any L(s, ) has a zero in the half-plane Re s > 12 .
Dirichlet L-functions were constructed by Dirichlet [69] to tackle the prob-
lem of the distribution of primes in arithmetic progressions. The main ingre-
dient in his approach are the orthogonality relations for characters linking
prime residue classes with character sums:
1 1 if = 0 ,
(a) = (1.28)
(q) 0 otherwise,
a mod q
valid for a coprime with q, where (q) is Eulers -function which counts
the number of prime residue classes mod q. By the latter relation a suitable
linear combination of characters can be used as indicator function of prime
residue classes modulo q. Using similar techniques as for (s), one can prove a
prime number theorem for arithmetic progressions. Let (x; a mod q) denote
the number of primes p x in the residue class a mod q, then, for a coprime
with q,
1
(x; a mod q) (x). (1.29)
(q)
22 1 Introduction
This shows that the primes are uniformly distributed in the prime residue
classes. Of course, one can prove also an asymptotic formula with error term
(the theorem of PageSiegelWalsz gives even an asymptotic formula which
is uniform in a small region of values q). Under assumption of the Generalized
Riemann hypothesis one has
1
This shows that the error term in the prime number theorem (1.29) is, on
average over q x1/2 (log x)A7 , of comparable size as predicted by the
Riemann hypothesis.
We return to the theme of universality. Voronin [364] proved that a col-
lection of Dirichlet L-functions to non-equivalent characters can uniformly
approximate simultaneously non-vanishing analytic functions; in slightly dif-
ferent form this was also established by Gonek [104] and Bagchi [9] (indepen-
dently; all these sources are unpublished doctoral theses). Again we state the
strongest version of this so-called joint universality:
The proof of this joint universality theorem (in a slightly weaker form) can
be found in the monograph of Karatsuba and Voronin [166]. The proof uses the
orthogonality relation (1.28). This independence is essential for joint univer-
sality. Consider a character mod q induced by another character mod q .
It follows immediately from (1.27) that both L(s, ) and L(s, ) cannot
approximate uniformly a given function jointly.
Another type of universality was discovered by Bagchi. In [9], he proved
universality for Dirichlet L-functions with respect to the characters; more
precisely, if K is a compact subset of 12 < < 1 with connected complement
1.4 Dirichlet L-Functions and Joint Universality 23
The condition on the target functions g(s) is natural with respect to the val-
ues taken by L(s, d ) on R. Mishou and Nagoshi [252] also obtained a
similar result for prime discriminants. Besides, they also studied the distribu-
tion of values L(1, d ). Denote by D+ the set of positive square-free integers
d > 1 with d 1 mod 8, and by D the set of negative square-free inte-
gers d 1 mod 8. In [251], they obtained the remarkable result that the sets
{L(1, d ) : d D } with {+, } are dense in R+ . They further deduced
from Dirichlets class number formula that also
h(d) log (d) h(d)
:dD +
and :dD
d d
are dense in R+, where h(d) is the class number of the associated quadratic
number eld Q( d) with d D , and (d) is the fundamental unit of Q( d)
with d D+ .
Nagoshi [275] extended this concept of universality to families of auto-
morphic L-functions, more precisely, to L-functions attached to newforms for
congruence subgroups of SL2 (Z) (which we will introduce in the following
section).
24 1 Introduction
about modular forms. The theory of Hecke operators implies the existence of
an orthogonal basis of Sknew (0 (N )) made of eigenfunctions of the operators
T (n) for n coprime with N . By the multiplicity-one principle of Atkin and
Lehner [6], the elements f of this basis are in fact eigenfunctions of all T (n),
i.e., there exist complex numbers f (n) for which T (n)f = f (n)f and c(n) =
f (n)c(1) for all n N. Furthermore, it follows that the rst Fourier coecient
c(1) of such an f is non-zero. Such a simultaneous eigenfunction is said to be
an eigenform. A newform is dened to be an eigenform that does not come
from a space of lower level and is normalized to have c(1) = 1. The newforms
form a nite set which is an orthogonal basis of the space Sknew (0 (N )). For
instance, Ramanujans cusp form
(n) exp(2inz) := exp(2iz) (1 exp(2inz))24 (1.33)
n=1 n=1
The estimate was shown by Deligne. More precisely, Deligne [67] proved for
the coecients of any newform f of weight k the estimate
|c(n)| n(k1)/2 d(n), (1.34)
where d(n) := d|n 1 is the divisor function.
In the 1930s, Hecke [126] started investigations on modular forms and
Dirichlet series with a Riemann-type functional equation; his studies were
completed by Atkin and Lehner [6] (for newforms). Here we shall focus on
newforms. Given a newform f with Fourier expansion (1.32), we dene the
associated L-function by
c(n)
L(s, f ) = . (1.35)
n=1
ns
In view of the classic bound d(n) n it follows from (1.34) that the series
(1.35) converges absolutely for > k+1
2 . By the theory of Hecke operators, it
turns out that the Fourier coecients of newforms are multiplicative. Hence,
in the half-plane of absolute convergence, there is an Euler product represen-
tation and it is given by
c(p)
1
c(p) 1
1
L(s, f ) = 1 s 1 s + 2s+1k . (1.36)
p p p
p|N pN
26 1 Introduction
Hecke [126], respectively, Atkin and Lehner [6], proved that L(s, f ) has an
analytic continuation to an entire function and satises the functional equation
N s/2 (2)s (s)L(s, f ) = (1)k/2 N (ks)/2 (2)sk (k s)L(k s, f ),
The main new ingredient in the proof of Theorem 1.11 is the use of an exten-
sion of Rankins formula to newforms to congruence subgroups 0 (N ). The
proof is inspired by Rankins approach; the non-vanishing of the associated
RankinSelberg L-functions (see Sect. 1.6) on the boundary of the critical
strip is essentially due to Moreno [262]. (See also Theorem 6.14.)
The universality of the logarithmic derivative and the rst derivative of
L-functions to normalized eigenforms for the full modular group were stud-
ied by Laurinikas [197]. Recently, Nagoshi [273, 274] proved universality
for L-functions to Maass forms (that are non-holomorphic eigenforms of the
LaplaceBeltrami operator on the upper half-plane). Delignes estimate (1.34)
played an essential part in the proofs of universality for L-functions attached
to holomorphic eigen- and newforms, respectively, but its analogue, the so-
called Ramanujan hypothesis, is not known for Maass forms in general. In
[273], Nagoshi used bounds of Kim and Sarnak for the local root numbers of
the Euler factors and obtained universality in a restricted range of the right
half of the critical strip; in [274], he proved unrestricted universality by use
of an asymptotic formula for the fourth moment of these local roots due to
1.5 L-Functions Associated with Newforms 27
Murty. Remarkably, his argument also yields a proof for Theorem 1.11 with-
out using (1.34). Moreover, Nagoshi [275] proved universality for L-functions
to certain newforms and their derivatives in the level aspect.
We return to L-functions associated with holomorphic modular forms.
Laurinikas and Matsumoto [202] obtained a joint universality theorem for L-
functions associated with newforms twisted by characters. Let f Sk (0 (N ))
be a newform with Fourier expansion (1.32) and let be a Dirichlet character
mod q where q is coprime with N . The twisted L-function is dened by
c(n)
L (s, f ) = (n).
n=1
ns
As in the non-twisted case (1.35), this Dirichlet series has an Euler product
and extends to an entire function.
The proof relies on a joint limit theorem due to Laurinikas [191] and some
kind of prime number theorem for the coecients of cusp forms with respect
to arithmetic progressions, namely
1 x
c(p)2 p1k , (1.38)
px
(q) log x
pa mod q
where a is coprime with q. The key for the proof of the latter result is again
the extension of Rankins asymptotic formula (1.37) to congruence subgroups
0 (N ); the transition to arithmetic progressions relies on analytic properties
of the twisted RankinSelberg L-function.
By Wiles celebrated proof of the ShimuraTaniyama conjecture for semi-
stable modular forms [371] (which was sucient to prove Fermats last the-
orem), and the proof by Breuil, Conrad, Diamond and Taylor of the general
case [44], every L-function attached to an elliptic curve over the rationals is
the L-function to some newform of weight 2 for some congruence subgroup.
Consequently, Theorem 1.11 proves the universality of L-functions associated
with elliptic curves. Laurinikas and Steuding [209] used Theorem 1.12 to give
an example of jointly universal L-functions associated with elliptic curves.
Here one may choose any nite family of elliptic curves of the form
Em : Y 2 = X 3 m2 X with squarefree m N;
28 1 Introduction
these curves were rst studied by Tunnell [356] with respect to the congruent
number problem. For this family one can avoid Wiles proof of the Shimura
TaniyamaWeil conjecture but show more or less directly that the L-function
associated with E1 corresponds to a newform f S2 (0 (32)) and that the
L-function to Em is a twist of E1 with the Kronecker symbol m. (see also
[171]).
It is known that there exists a rich zoo of Dirichlet series having some univer-
sality property. We list now some more signicant examples.
The Dedekind zeta-function of a number eld K over Q is given by
1 1
1
K (s) = = 1 ,
a
N(a)s p
N(p)s
where the sum is taken over all non-zero integral ideals, the product is taken
over all prime ideals of the ring of integers of K, and N(a) is the norm of the
ideal a. The Riemann zeta-function may be regarded as the Dedekind zeta-
function for Q. Universality for the Dedekind zeta-function was rst obtained
by Voronin [364], Gonek [104], and, in full generality, by Reich [305, 306];
here the strip of universality is restricted to the strip max{ 12 , 1 d1 } < < 1,
where d is the degree of K over Q (we will later see the reason behind).
Reichs universality theorem [306] is discrete, i.e., under the same conditions
as in Theorem 1.9, for any real = 0 and any > 0, the relation
holds for a set of positive integers n with positive lower density. (We shall
consider discrete universality more detailed in Sect. 5.7 and Dedekind zeta-
functions in Sect. 13.1.) Furthermore, in [305], Reich obtained universality for
Euler products formed with Beurling primes under the assumption of certain
extra conditions.
Dirichlet series attached to multiplicative functions appear naturally in
many aspects of number theory. They were intensively studied by Laurinikas
and leeviciene. Laurinikas [181] succeeded to prove universality for
Dirichlet series associated with a multiplicative function f , formally given by
f (n) f (pk )
= 1+ ,
n=1
ns p
pks
k=1
1.6 The LinnikIbragimov Conjecture 29
subject to certain conditions on f as, for example, the existence of the mean
value
1
M (f ) = lim f (n),
x x
nx
g(m)
Am (X) = (1 am
(j) f (j,m)
X ).
j=1
This series converges absolutely for > 1. The analytic properties of L(, , s)
are quite dierent, if Z or not. If Z, the series converges for > 0
and L(, , s) can be continued analytically to the whole complex plane. For
Z the Lerch zeta-function becomes the Hurwitz zeta-function
1
(s, ) = ; (1.42)
m=0
(m + )s
(s) s
where is the unique character mod2. In both cases the Hurwitz zeta-
function is universal but does not have the strong universality property. It
is an interesting open problem whether (s, ) is universal or even strongly
universal if is algebraic irrational. In this case neither of the two methods
seem to applicable directly. Laurinikas and Steuding [210, 211] obtained rst
limit theorems for Hurwitz zeta-functions with algebraic parameters, which
could be a rst step towards universality.
It was conjectured by Linnik and Ibragimov (cf. [207]) that all func-
tions given by Dirichlet series and analytically continuable to the left of the
half-plane of absolute convergence are universal. However, this has to be
1.6 The LinnikIbragimov Conjecture 33
a(n) 1
s
= ks
= (1 2s )1 ,
n=1
n 2
k=0
and obviously, this function is far away from being universal. So we have to
ask for natural conditions needed to prove universality. Dirichlet series having
an innite Euler product seem to be good candidates.
2
Dirichlet Series and Polynomial Euler Products
term of the Dirichlet series (2.1) is analytic and any point s with > c
is contained in a domain of uniform convergence. A well-known theorem of
Weierstrass states that the limit of a uniformly convergent sequence of analytic
functions is analytic. Hence, A(s) is an analytic function in its half-plane of
convergence > c . The abscissa of convergence is given by
N
log n=1 an log n=N +1 an
c = lim sup or c = lim sup
N log N N log N
according to whether n=1 an diverges or converges. Also the region of abso-
lute convergence of a Dirichlet series is a half-plane. The abscissa a of absolute
convergence is given by
N
log |a |
n=1 n log n=N +1 |an |
a = lim sup or a = lim sup
N log N N log N
according to whether n=1 |an | is divergent or not. It is easily seen that
a c 1 (with equality, for example, for Dirichlet L-functions). If all
coecients an are non-negative real numbers, then the real point s = c is
a singularity of A(s) (e.g., the zeta-function). A function has at most one
Dirichlet series representation, i.e., given two Dirichlet series
an bn
A(s) = and B(s) = ,
n=1
ns n=1
ns
both absolutely convergent for > a , if A(s) = B(s) for each s in an innite
sequence {sk } such that Re sk as k , then an = bn for all n N.
This uniqueness implies the existence of some zero-free half-plane > 0 with
0 a .
Assume that A(s) is analytic in some strip 1 2 except for at most
a nite number of poles. Then A(s) is said to be of nite order in this strip if
there exists a positive constant c such that the estimate
Then,
1 T
|an |2
lim |A( + it)|2 dt =
T 2T T n=1
n2
for > 1 , and uniformly in any strip 1 + 2 .
Carlsons theorem may be regarded as an analogue of Parsevals theorem
for Fourier series. We omit the proof but refer to Carlson [50] and
Titchmarsh [352].
In view of Carlsons theorem it makes sense to dene a so-called mean-
square half-plane by dening its abscissa m as the inmum over all 1 such
that (2.3) holds for all xed > 1 . One can show that
1
m max a , c (2.4)
2
and that () 12 for any > m . In our applications we will normalize the
Dirichlet series to be absolutely convergent for > a = 1. Inequality (2.4)
implies that (at least with present day methods) the strip of universality is
at most 12 < < 1; it seems reasonable that we cannot approximate analytic
functions uniformly on sets having a non-empty intersection with the half-
plane 12 .
First of all, we pose a hypothesis on the size of the Dirichlet series coecients.
(i) Ramanujan hypothesis. a(n) n for any > 0, where the implicit con-
stant may depend on .
The Ramanujan hypothesis implies the absolute convergence of the Dirichlet
series (2.5) in the half-plane > 1, and uniform convergence in every compact
subset. Thus, L(s) is analytic for > 1 and it makes sense to ask for analytic
continuation.
(ii) Analytic continuation. There exists a real number L such that L(s) has
an analytic continuation to the half-plane > L with L < 1 except for
at most a pole at s = 1.
Actually, we could allow a nite number of poles on the line = 1, however,
we do not loose too much by the restriction above.
The next axiom excludes functions which have an extraordinary large order
of growth; Dirichlet series satisfying a functional equation are known to grow
moderately slowly (by the PhragmnLindelf principle; see Sect. 6.5).
(iii) Finite order. There exists a constant L 0 such that, for any xed
> L and any > 0,
L( + it) |t|L + as |t| ;
again the implicit constant may depend on .
The nal two axioms are of purely arithmetical nature. Both are rather
restrictive; however, they t well to what we think an L-function should look
like. All known examples of L-functions of number theoretical interest are
automorphic or at least conjecturally automorphic L-functions, and for all of
them it turns out that the local Euler factors for prime p are the inverse of a
polynomial.
(iv) Polynomial Euler product. There exists a positive integer m and for every
prime p, there are complex numbers j (p), 1 j m, such that
m 1
j (p)
L(s) = 1 .
p j=1
ps
The j (p) are called local roots at p. This axiom implies that the Dirichlet
series coecients a(n) are multiplicative (this will be proved in Lemma 2.2).
The Ramanujan hypothesis (i), in addition with the polynomial Euler product,
implies that the numbers j (p) have absolute value less than or equal to one
(see Lemma 2.2).
The last axiom may be regarded as some kind of prime number theorem
for the coecients of the Euler product:
(v) Prime mean-square. There exists a positive constant such that
1
lim |a(p)|2 = .
x (x)
px
2.2 A Class of Dirichlet Series: The Main Actors 39
where (n; p) is the exponent of the prime p in the prime factorization of the
integer n. Moreover, if |j (p)| 1 for 1 j m and all primes p, then
a(n) n for any > 0, and vice versa.
Thus, a polynomial Euler product of the form (iv) with xed degree m
together with the Ramanujan hypothesis (i) is equivalent to |j (p)| 1 for
1 j m and all primes p.
Proof. Taking into account the shape of the Euler product (iv) we have the
identity
m 1
a(n) j (p)
m j (p)k
= 1 = 1+ ,
n=1
ns p j=1
ps p j=1
pks
k=1
valid for suciently large . This implies (2.6) and that a(n) is multiplicative.
Now we show that the estimate for the local roots implies the Ramanujan
hypothesis. If |j (p)| 1, then we get
|a(n)| 1 = dm (n), (2.7)
p|n k1 ,...,km 0
k1 +...+km =(n;p)
and is therefore multiplicative (by the same reasoning as for a(n)). For p prime
and N, we have
dm (p ) = {(k1 , . . . , km ) Nm
0 : k1 + . . . + km = }
m+1
= , (2.8)
2.3 Estimates for the Dirichlet Series Coecients 41
m + (n; p) 1
and thus
dm (n) = .
p
(n; p)
The function dm (n) is the m-fold Dirichlet convolution of the function con-
stant 1: writing
(f g)(n) = f (b)g(n/b),
b|n
by the Ramanujan hypothesis, the series is analytic for |X| < 1, hence so is
the right-hand side which gives the desired bound. This concludes the proof
of the lemma.
42 2 Dirichlet Series and Polynomial Euler Products
(a proof can be found in [120, Sect. 18.1]). Estimate (2.11) is near to be best
possible since, if d(n) is replaced by dm (n), then the latter formula holds with
the right-hand side replaced by log m (for a proof, see [255]).
For our studies on the value-distribution of functions in S we need to prove
several mean-square formulae. It follows immediately from the Ramanujan
hypothesis (i) that
|a(n)|2 x1+ . (2.12)
nx
This rough bound is sucient for many applications. However, we can do a bit
better by a standard argument. Recall that m is the degree of the polynomial
in ps in the local Euler factor of L, independent of p.
Lemma 2.3. Suppose L(s) satises axioms (i) and (iv). Then, as x ,
|a(n)|2 x(log x)m 1 .
2
nx
and by induction
m2
g(p ) = dm (p )2 dm (p1 )2 ,
!
as . Hence, we obtain
g(d) g(p )
2
dm (n) = g(d) x x 1+ .
d =1
p
nx dx nx dx px
n0 mod d
In view of the above estimates the right-hand side above equals asymptotically
m2 1 m2 m2 1
x 1+ + = x 1 + + O(x).
p =2
!p p
px px
2.4 The Mean-Square on Vertical Lines 43
for satisfying (2.13). For this aim we consider for > 0 the Dirichlet series
a(n)
exp(n).
n=1
ns
Since a(n) n by (i), this series converges absolutely in the whole complex
plane and uniformly in any compact subset. Let > 1 and c > be a constant.
By Mellins inversion formula,
+i
1
exp() = (z)z dz, (2.15)
2i i
44 2 Dirichlet Series and Polynomial Euler Products
Hence,
c+i
a(n) 1
s
exp(n) = (z s)L(z) sz dz. (2.16)
n=1
n 2i ci
L(c + i ) | |L + (2.18)
c (u) (s 1) s1 (log )v ,
+1 exp(BT ),
where B is a positive absolute constant. Now let > |T |B . Then, for >
|t|B we deduce from (2.16) by the calculus of residues
1 +i
a(n) 1
L(s) = s
exp(n) (z s)L(z) sz dz
n=1
n 2i 1 i
+ O(exp(B|t|)). (2.19)
2.4 The Mean-Square on Vertical Lines 45
We nd
2
T
a(n)
exp(n) dt
1 ns
2T n=1
|a(n)|2 a(m)a(n) exp((m + n))
T exp(2n) + .
n=1
n2
m=1 n=1
(mn) | log m
n|
n=m
By the Ramanujan hypothesis (i), the rst series on the right-hand side is
convergent independent of > 0. The double series is bounded by
a(m)a(n) exp((m + n))
n .
n=1 m<n
(mn) log m
We split the summation and apply the Ramanujan hypothesis (i) with a suit-
ably small > 0 to obtain the upper bound
exp((m + n))
+ n .
n n (mn) log m
n=1 m< 2 2 m<n
n
In the rst sum, we have log m > log 2, and so it is bounded by
2 2
exp(n)
u
exp(u) du 22 ;
n=1
n 0
recall that denotes an arbitrary small positive quantity, not necessarily the
same at each appearance. In the second sum we write m = n r with 1
r n2 . Then log m
n
= log(1 nr ) > nr , and we get in a similar manner the
upper bound
1 1
n1+2() exp(n) 22 log .
n=1 n r
r 2
Hence,
a(m)a(n) exp((m + n))
log n
22 .
n=1 m<n
(mn) m
46 2 Dirichlet Series and Polynomial Euler Products
Thus,
2
T
a(n)
exp(n) dt T + 22 . (2.20)
1 ns
2T n=1
Let z = 1 + i . Then
1 +i
(z s)L(z) sz
dz 1
| (z s)L(z)| d.
1 i
By Stirlings formula (2.17) the rst integral is bounded. For the second one
we additionally apply (2.18) and obtain, for |t| T ,
2T
+ | (z s)L(z)2 | d
2T
2T
2L ++1 (1/2) | |
+ | | exp d exp(BT )
2T 4
we get
2
T 1 +i
(z s)L(z) sz dz dt 221 T 1+2L + .
1 1 i
2T
we nd, after a short computation, that all terms of the right-hand side of
(2.21) are T if
1 1 1
> max , L , 1 .
2 1 + 2L +
In this chapter, we briey present facts from probability theory which will
be used later. These results can be found in the monographs of Billingsley
[21, 22], Buldygin [45], Cramr and Leadbetter [64], Heyer [133], Laurinikas
[186], and Love [226]. However, there are two exceptions in this crash course
in probability theory. In Sect. 3.3 we present Denjoys heuristic probabilistic
argument for the truth of Riemanns hypothesis. Finally, in Sect. 3.7, we
introduce the universe for our later studies on universality, the space of ana-
lytic functions, and state some of its properties, following Conway [62] and
Laurinikas [186].
F is called a -eld (or -algebra) if it satises the rst two axioms above in
addition with
F is closed under countable unions and countable intersections, i.e., if {Aj }
is a countable sequence of events in F, then
Aj F and Aj F.
j=1 j=1
For C P() we denote by (C) the smallest -eld containing C. This -eld
is said to be generated by C.
A non-negative function P dened on a -eld F with the properties:
P() = 0 and P() = 1;
For every countable sequence {Aj } of pairwise disjoint elements of F,
P Aj = P(Aj ),
j=1 j=1
{Pn } cannot converge weakly to two dierent limits at the same time. Further,
note that weak convergence depends only on the topology of the underlying
space S, not on the metric that generates it.
A set A in S whose boundary A satises P(A) = 0 is called a continuity
set of P. The Portmanteau theorem provides useful conditions equivalent to
weak convergence.
Theorem 3.1. Let Pn and P be probability measures on (S, B(S)). Then the
following assertions are equivalent:
Pn P;
For all open sets G,
lim inf Pn (G) P(G);
n
For all continuity sets A of P,
lim Pn (A) = P(A).
n
This theorem is part of Theorem 2.1 in Billingsley [21]. Next we state a useful
criterion for weak convergence.
Lemma 3.2. We have Pn P if and only if every subsequence {Pnk }
contains a subsequence {Pnkj } such that Pnkj P.
This is Theorem 2.3 from Billingsley [21].
Now we consider continuous mappings between metric spaces S1 and S2 .
A function h : S1 S2 is said to be measurable if
h1 (B(S2 )) B(S1 ).
Let h : S1 S2 be a measurable function. Then every probability measure P
on (S1 , B(S1 )) induces a probability measure Ph1 on (S2 , B(S2 )) dened by
(Ph1 )(A) = P h1 (A) = P(h1 (A)),
where A B(S2 ). This measure is uniquely determined. A function h : S1
S2 is continuous if for every open set G2 S2 the set h1 (G2 ) is open in S1 .
Continuous mappings transport the property of weak convergence.
Theorem 3.3. Let h : S1 S2 be a continuous function. If Pn P, then
also Pn h1 Ph1 .
This theorem is a particular case of Theorem 5.1 from Billingsley [21].
A family {Pn } of probability measures on (S, B(S)) is said to be relatively
compact if every sequence of elements of {Pn } contains a weakly convergent
subsequence. A family {Pn } is called tight if for arbitrary > 0 there exists
a compact set K such that P(K) > 1 for all P from {Pn }. Prokhorovs
theorem is a powerful tool in the theory of weak convergence of probability
measures; it is given below as Theorem 3.4, the direct half, and as Theorem 3.5,
the converse half. These theorems connect relative compactness with the tight-
ness of a family of probability measures.
52 3 Interlude: Results from Probability Theory
These are Theorems 6.1 and 6.2 from Billingsley [21]. Note that a topological
space is said to be separable if it contains a countable dense subset.
In the theory of Dirichlet series we investigate the weak convergence of
probability measures PT P, where T is a continuous parameter which
tends to innity. As it is noted in [21], we have PT P, as T , if and
only if PTn P, as n , for every sequence {Tn } with limn Tn = .
All theorems on weak convergence analoguous to those stated above remain
valid in the case of continuous parameters.
X 1 (A) = { : X() A} F
D
if Pn PX , then we also write Xn PX .
n
Let S be a metric space with metric , and let Xn , Yn be S-valued random
elements dened on (, F, P). If Xn and Yn have a common domain, it makes
sense to speak of the distance (Xn (), Yn ()) for . If S is separable,
then (Xn , Yn ) is a random variable. In this case, convergence in distribution
of two sequences of random elements Xn and Yn is related to the distribution
of (Xn , Yn ) (convergence in probability).
3.2 Random Elements 53
Then
This is related to (1.11); for a proof see, for example, Titchmarsh [353,
Sect. 14.25].
Denjoy [68] argued as follows. Assume that {Xn } is a sequence of random
variables with distribution
1
P(Xn = +1) = P(Xn = 1) = .
2
Dene
n
S0 = 0 and Sn = Xj ,
j=1
for every > 0. We observe that this might be regarded as a model for the
value-distribution of Mbius -function. To say it with the words of Edwards:
Thus these probabilistic assumptions about the values of (n) lead to the
conclusion, ludicrous as it seems, that M (x) = O(x1/2+ ) with probability
one and hence that the Riemann hypothesis is true with probability one!
(cf. [74]). The law of the iterated logarithm [22, Theorem 9.5] would even
gives the stronger estimate
lim P |Sn | (n log log n)1/2 = 1,
n
which suggests for M (x) the upper bound (x log log x)1/2 . This estimate is
pretty close to the so-called weak Mertens hypothesis which states
X 2
M (x)
dx log X.
1 x
Note that this bound implies the Riemann hypothesis and the essential sim-
plicity hypothesis. On the contrary, Odlyzko and te Riele [284] disproved the
original Mertens hypothesis [248],
1
|M (x)| < x 2 ,
56 3 Interlude: Results from Probability Theory
by showing that
M (x) M (x)
lim inf < 1.009 and lim sup > 1.06; (3.1)
x x1/2 x x1/2
for more details see also the notes to Sect. 14 in Titchmarsh [353].
for all , and that ( ) is continuous at the point 0 = (0, . . . , 0). Then
Lvys famous continuity theorem (see [22, Sect. 26]) yields the existence of
a probability measure P on (Rr , B(Rr )) such that Pn P, and ( ) is
the characteristic function of P. However, later we shall deal with Fourier
transforms instead of characteristic functions; their theory is quite similar to
the theory of characteristic functions (for details we refer to the rst chapter
from [186]).
Let = {s C : |s| = 1} and denote by m the cartesian product of m
copies of . Further, let P be a probability measure on ( m , B( m )), then the
Fourier transform g(k1 , . . . , km ) of the measure P is dened by
g(k1 , . . . , km ) = xk11 . . . xkmm dP,
m
The uniqueness follows from m(G) = 1. For the proof see Hewitt and Ross
[132, Chap. IV] or Theorem 5.14 in Rudin [313].
In the sequel, we denote the Haar measure associated with a compact topo-
logical group G simply by m; there will be no confusion about the underlying
group.
Now assume further that G is a commutative group. A continuous homo-
morphism : G C is called a character of G. The character of G which
is identically 1 is called trivial or principal, and we denote it by 0 ; other
characters are said to be non-trivial or non-principal. The characters build up
a group G, the character group. The Fourier transform of a function f dened
on G is given by
f() = (g)f (g) m( dg),
G
Theorem 3.13. Let X(, ) be an ergodic process with E|X(, )| < and
almost surely Riemann-integrable sample paths over every nite interval. Then
T
1
lim X(, ) d = EX(0, )
T T 0
almost surely.
Lemma 3.14. For any open set G in the complex plane there exists a sequence
of compact subsets Kj of G with the properties:
Kj Kj+1 for any j N;
If K is compact and K G, then K Kj for some j N;
such that
G= Kj
j=1
and put
j (f, g)
(f, g) = 2j .
j=1
1 + j (f, g)
This denes a metric on H(G) which induces the desired topology; of course,
depends on the family {Kj }. Note that the series above is dom-
the metric
inated by j 2j and therefore convergent.
In Conway [62, Sect. VII.1], it is shown that H(G) is a complete metric space;
the separability, i.e., the existence of a countable dense subset, follows from
60 3 Interlude: Results from Probability Theory
Runges approximation theorem (see [312, Sect. 13]) which states that the set
of polynomials is dense in H(G).
In our later studies, we deal with the supports of H(G)-valued random
elements. Let S be a separable metric space and let P be a probability
measure on (S, B(S)). The minimal closed set SP S with P(SP ) = 1 is
called the support of P. Note that SP consists of all x S such that for
every neighbourhood U of x the inequality P(U ) > 0 is satised. Let X be a
S-valued random element dened on the probability space (, F, P). Then
the support of the distribution P(X A) for A B(S) is called the support
of the random element X. We denote the support of X by SX .
This is Theorem 1.7.10 of Laurinikas [186]. The proof follows the lines of an
analogous statement for independent real variables due to Lukacs [231]. We
only sketch the main ideas. Suppose that the random elements Xn are dened
on a probability space (, F, P ). Put
X := Xn = LN + RN ,
n=1
where
N
LN := Xn and RN := Xn .
n=1 n=N +1
Since the series n=1 Xn converges almost surely, we have
lim P { : (RN , 0) } = 0.
N
Let
PN (A) = P {LN A} and P(A) = P {X A}
for A B(H(G)). It follows that Pn P, which implies
where lim SPN denotes the set of all f H(G) such that any neighbourhood
of f contains at least one g which belongs to SPn for almost all n N.
To show the converse inclusion, put
QN (A) = P {RN A}
3.7 The Space of Analytic Functions 61
It follows that PN (A ) = P (LN A ) > 0 and QN (A ) > 0 for N large
enough. This leads to
This implies
SX = SP lim SPN .
By (3.3) it follows that the latter inclusion is an equality. In view of (3.4) the
support of LN is the set of all g H(G) which have a representation
N
g= fn ,
n=1
where fn SXn . From the denition of lim SPN we deduce that for any
f SX there exists a sequence of gN SLN which converges to f . This yields
the assertion of the theorem.
4
Limit Theorems
In view of Theorem 2.4 we know that D is not empty. Together with (2.4) we
have
1 1 1 L
m max ,1 < 1, (4.2)
2 2 1 + 2L
where L and L are dened by axioms (ii) and (iii). In particular, as T ,
T
1
|L( + it)|2 dt 1 for (m , 1). (4.3)
T 0
64 4 Limit Theorems
In the half-plane > 1 both the series (4.6) and the product (4.7) converge
absolutely.
66 4 Limit Theorems
Lemma 4.2. For almost all the product (4.7) converges uniformly on
compact subsets of D.
Then
L(s, ) = (1 + xp (s, )).
p
converges almost surely. For this, we isolate the leading term in the series
expansion of xp . Put
a(p)(p)
yp (s) = yp (s, ) = ,
ps
Moreover, set
r
r = pj .
j=1
N
(n)g(n) (n;pj )
r
hg (x1 , . . . , xr ) = xj .
n=1
ns j=1
N
(n)g(n) i (n;pj )
r
fN (s + i, g) = s
p = hg (pi i
1 , . . . , pr ). (4.12)
n=1
n j=1
r
exp iT j=1 nj log pj 1
hT (n1 , . . . , nr ) = r
iT j=1 nj log pj
if at least one nj = 0. Since the logarithm of the prime numbers are linearly
independent, we nd in the latter case
lim hT (n1 , . . . , nr ) = 0.
T
Thus
1 if (n1 , . . . , nr ) = (0, . . . , 0),
lim hT (n1 , . . . , nr ) = (4.13)
T 0 otherwise.
Proof. Let p1 , . . . , pr be, as in the last proof, the prime divisors of (4.11). We
dene the function h : r r by
where j := arg g(pj ) for 1 j r. It follows from Lemma 4.1 that the
probability measures PgT,N and P1T,N converge weakly to the measures mh1
g
and mh1
1 , respectively. A simple computation shows
N
(n)
r
(n;pj )
h1 (x1 , . . . , xr ) = s
exp(i(n; pj )j )xj
n=1
n j=1
N
(n)g(n) (n;pj )
r
= x
n=1
ns j=1
= hg (h (x1 , . . . , xr )).
70 4 Limit Theorems
It follows that:
mh1 1
1 = m(hg (h )) = m(h )1 h1
g .
a : R , a = {pi : p prime}.
This map is continuous, and the image of every neighbourhood of the neutral
element of R is a neighbourhood of the neutral element in . Clearly, the
family {a : R} is a one-parameter group. Moreover, we dene the one-
parameter family { : R} of transformations on by setting
() = a (4.14)
m(AA ) = 0,
This extends the function from N to the set of positive rational numbers.
Now dene : by () = (). Then, for any xed positive rational
number , is a character of . On the other side, since the dual group of
has a representation as a direct sum
$
Zp , where Zp = Z for any prime p
p
(see [132, Chap. 6]), for any character of there exists a positive rational
such that = .
Now suppose that A B() satises m(AA ) = 0 for any real . We
have to show that either m(A) = 0 or m(A) = 1. Denote by 1(; A) the
indicator function of A, i.e.,
1 if A,
1(; A) =
0 otherwise.
Since the set A is invariant, it follows that for arbitrary R we have
1(a ; A) = 1(; A) for almost all (4.15)
with respect to the Haar measure m.
First, assume that is non-trivial. By the same reasoning as above, there
exists a positive rational number such that = . Consequently,
(a ) = i ,
and so we can nd a 0 for which (a0 ) = 1. In view of (4.15) this implies
for the Fourier transform of the indicator function
1(; A) = ()1(; A) m( d) = (a0 ) ()1(; A) m( d)
= (a0 )1(; A).
Since we have chosen 0 such that (a0 ) = 1, it follows that 1(; A) = 0.
Obviously, this argument holds for any non-trivial character of .
Now suppose that 0 is the trivial character of , and let us assume that
1(0 ; A) = u. By the orthogonality relation for characters (3.2) we nd
u if = 0 ,
u() = u () m( d) =
0 otherwise.
a(n)(n)
n (, ) = .
n
The n (, ) dene a sequence of pairwise orthogonal random variables with
second moment
|a(n)|2
E|n (, )|2 = .
n2
Thus the random variable
2
(, ) := n (, ) = |L(, )|2
n=1
for any transformation (4.14). Since the Haar measure m is invariant, the
equality m( (A)) = m(A) is valid for every A B() and every R.
Hence, |L( + i, )|2 is a strongly stationary process. We shall show that it
is even ergodic.
Let Q be the probability measure on (, B()) which is determined by
the random process |L( +i, )|2 . Further, let A be an invariant set of |L( +
i, )|2 , i.e.,
Q(AAu ) = 0,
where Au = u (A) with transformations u dened by (4.14). Now put
A = { : |L( + i, )|2 A}
and
Au = { : |L( + i, )|2 Au }.
4.4 Approximation in the Mean 73
It follows that:
A = { : |L(, a )|2 A}
and
= E(, ) <
Taking into account Stirlings formula (2.17) and axiom (iii), the existence of
the integral follows. Now we shall show that LN (s) approximates L(s) in an
appropriate mean.
This result should be compared with formula (1.19) in the proof of Voronins
universality Theorem 1.7.
Proof. Let Re z = 1 . Since + 1 > 1 for s K, the function L(s + z) has
a representation as an absolutely convergent Dirichlet series:
a(n)
L(s + z) = s+z
.
n=1
n
1 z N
bN (n) = dz = exp
2i1 1 i 1 n N
Thus we get
a(n) n
1
where the series converges absolutely for > m . Now we move the path of
integration in (4.18) to the left. The integrand has a simple pole at z = 0, and
4.4 Approximation in the Mean 75
expression is bounded by
max |N ( + i )|(1 + | |) d + o(1),
I
LN (s, ) = exp .
n=1
ns N
4.5 A Limit Theorem for Absolutely Convergent Series 77
Due to the absolute convergence of the series LN (s), given by (4.19), LN (s, )
also converges absolutely for > m . Further, we dene the probability
measures PT,N and QT,N by setting
1
PT,N (A) = meas { [0, T ] : LN (s + i ) A}
T
and
1
QT,N (A) = meas { [0, T ] : LN (s + i, ) A}
T
for A B(H(D)). Now we prove that both measures converge to the same
limit as T tends to innity.
Lemma 4.9. There exists a probability measure PN on (H(D), B(H(D)))
such that the measures PT,N and QT,N both converge weakly to PN as T .
Proof. For , s D and M, N N let
M
a(n) n
1
and
M
a(n)(n) n
1
and
D= Kj .
j=1
2j Rj
Mj = , (4.25)
we obtain
lim sup P max |XT,N,M (s)| > Mj < . (4.26)
T sKj 2j
kj (f ) = max |f (s)|.
sKj
H = {f H(D) : kj (f ) Mj for j N} .
4.5 A Limit Theorem for Absolutely Convergent Series 79
PN,M (H ) 1
and since the series dening LN (s) converges absolutely, the convergence is
uniform in any half-plane m + . Thus, for every > 0,
1
lim lim sup meas { [0, T ] : (LN,M (s + i ), LN (s + i )) }
M T T
T
1
lim lim sup (LN,M (s + i ), LN (s + i )) d = 0;
M T T 0
the denition of the metric in the space of analytic function was given in
Sect. 3.7. Now let, similarly to (4.23),
YT,N (s) = LN (s + iT ).
Since H(D) is separable (see Theorem 3.15), the conditions of Theorem 3.6
are fullled. Thus, we get by (4.24)
D
YT,N PN .
T
Hence, there exists a measure PN such that PT,N converges weakly to PN as
T tends to innity, and this limit is independent of the subsequence {PN,Mk }.
Since the family {PN,M } is relatively compact, by Theorem 3.2, we obtain
that PN,M converges weakly to PN as M tends to innity:
D
XN,M PN .
M
With the same argument applied to the random elements LN,M (s + iT, )
and LN (s + iT, ) we nd that QT,N converges weakly to PN as T tends to
innity. The assertion of the lemma follows.
Let be a subset of such that for the series (4.6) for L(s, )
converges uniformly on compact subsets of D, and that for > m the esti-
mate T
|L( + it, )|2 dt T.
0
holds. It follows from Lemmas 4.1 and 4.7 that m( ) = 1. By the same
argument as in the proof for Lemma 4.8 one can show
Proof. Lemma 4.9 asserts that the measures PT,N and QT,N both converge
weakly with T to the same measure PN .
First, we prove that the family {PN } is tight. We follow the argument
given in the proof of Lemma 4.9 and use the notations introduced there.
4.6 Proof of the Main Limit Theorem 81
XT,N (s) = LN (s + iT ).
Thus,
lim sup P max |XT,N (s)| > Mj < ,
T sKj 2j
where Mj and Rj are related by (4.25). We deduce
P (XN (s) H ) 1 ,
respectively,
PN (H ) 1
for all N N. Since the set H is compact, the family of probability measures
{PN } is tight, and by Theorem 3.4 it follows that it is relatively compact.
Applying the Chebyshev inequality once more, by Lemma 4.8, we obtain,
for every > 0,
1
lim lim sup meas { [0, T ] : (L(s + i ), LN (s + i )) }
N T T
T
1
lim lim sup (L(s + i ), LN (s + i )) d = 0.
N T T 0
Now let
YT (s) = L(s + iT ).
Then the latter inequality can be rewritten as
Repeating this argument for the random elements LN (s + iT, ) and L(s +
iT, ), Lemma 4.10 shows that QT converges weakly to P as T tends to
innity. The lemma is proved.
It remains to identify the limit of the probability measure PT as T .
This will nish the
Proof. By Lemma 4.11 the measures, PT and QT both converge weakly to
the same limit P as T tends to innity. It remains to show that P = P,
where P is dened by (4.9).
Let A B(H(D)) be a continuity set of P . By Theorem 3.1 and
Lemma 4.11 it follows that:
1
lim meas { [0, T ] : L(s + i, ) A} = P (A). (4.28)
T T
By Lemma 4.6, and with the same argument as in the proof of Lemma 4.7,
we see that ( ()) is an ergodic process. Thus, in view of Theorem 3.13,
1 T
lim ( ()) d = E (4.30)
T T 0
for almost all . From the denition of and of the one-parameter group
{ : R} it follows that:
1 T 1
( ()) d = meas { [0, T ] : L(s + i, ) A}.
T 0 T
4.7 Generalizations 83
P (A) = P(A)
for any continuity set A of the measure P . Since the continuity sets form a
determining class, we see that the latter equality holds for all A B(H(D)).
This proves the assertion of the theorem.
4.7 Generalizations
The proof of limit Theorem 4.3 allows generalizations in various directions.
We conclude with the situation of Dirichlet series which do not necessarily
have multiplicative coecients.
Theorem 4.12. Assume that A(s) is a meromorphic function in the half-
plane > 0 , all poles of A(s) in this region are included in a compact set,
that A(s) satises the estimate
A( + it) |t|
for all > 0 . Further, suppose that A(s) has a representation as a Dirichlet
series
an
,
n=1
ns
the series being absolutely convergent for > 0 + 12 , and nx |an |2 x20 .
Then the probability measure, dened by
1
meas { [0, T ] : A(s + i ) A}
T
for A B(H(D0 )), where D0 := {s C : > 0 }, converges weakly to the
distribution of the random element
an (n)
n=1
ns
for s D0 , as T .
84 4 Limit Theorems
g(m)
1
(j) sf (j,m)
(s) = 1 am pm .
m=1 j=1
(j)
Under the conditions g(m) p m and |am | pm the product converges for
+ + < < 1 + + ,
where is a positive real number. For this aim we consider the probability
measure given by
1
PN (A) = {1 n N : (s + in) A}
N
for any Borel set A of the appropriate function space. Similarly as we did for
our L-functions, we consider the random variable
4.8 A Discrete Limit Theorem 85
g(m)
(s, ) = (1 am
(j)
(pm )f (j,m) psf
m
(j,m) 1
) .
m=1 j=1
We omit the proof of this theorem but briey indicate where the assump-
tion on is needed. To obtain (4.13) in the proof of Lemma 4.4 the irrational-
ity of (4.31) for all k N was used. To overcome this unfortunate restriction,
Kainskaite and Laurinikas [155] recently investigated
the case when there
exists a positive integer k for which exp 2k is rational. By considering a
certain subgroup of the innite torus , they succeeded in proving a discrete
limit theorem in the complex plane also for this case; their argument carries
over to spaces of analytic functions too.
The general idea and structure of proofs of discrete limit theorems are
rather similar to the continuous case, however, some arguments dier in detail.
5
Universality
Let
K = {(1 , . . . , n ) Cn : |j | 1 for 1 j n}
and
I = {t R : a + tc K},
where a = (a1 , . . . , an ) and c = (c1 , . . . , cn ). Since a K it follows that 0 I,
and so I is not empty. K is convex and thus I is convex, too. Hence, I is an
interval. Since K is compact and c is not the null vector, I is bounded. Denote
by t0 one of the endpoints of I. Let
b = (b1 , . . . , bn ) = a + t0 c.
n
n
n
n
bj xj = aj xj + t0 cj xj = aj xj ,
j=1 j=1 j=1 j=1
a1 x1 b1 x1 2 2x1 2 = 4 x1 2 .
Now assume that the assertion is true for n. Let x1 , . . . , xn+1 be points in H,
and let a1 , . . . , an+1 be complex numbers with |aj | 1 for 1 j n + 1.
Denote by yn+1 the orthogonal projection of xn+1 into the span of x1 , . . . , xn .
Then x1 , . . . , xn , yn+1 are linearly dependent. Thus, by Lemma 5.1, there exist
complex numbers c1 , . . . , cn+1 with |cj | 1 for 1 j n + 1, and |ck | = 1
for some 1 k n + 1, such that
n
n
aj xj + an+1 yn+1 = cj xj + cn+1 yn+1 .
j=1 j=1
5.1 Dense Sets in Hilbert Spaces 89
Putting b1 = c1 we obtain
n+1
n+1
n
n
aj xj bj xj = cj xj + cn+1 yn+1 bj xj bn+1 yn+1
j=1 j=1 j=2 j=2
+ (an+1 bn+1 )zn+1 .
In view of the choice of yn+1 this leads to
2 2
n+1 n
n+1
n
a x b x = c x + c y b x b y
j j j j j j n+1 n+1 j j n+1 n+1
j=1 j=1 j=2 j=2
+ |an+1 bn+1 |2
zn+1
2
n
4
xj
2 + 4
yn+1
2 + 4
zn+1
2 .
j=2
This gives the desired estimate for the second case and thus Lemma 5.2 is
proved.
90 5 Universality
We have to recall a result from the theory of Hilbert spaces which can be
found, for example, in Trenogin [354]. A subset L of a complex Hilbert space
H is called a linear manifold (or subspace) if for all x, y L and all complex
numbers , the linear combination x + y is also an element of L. Denote
by L the orthogonal complement of L. If L is a linear manifold of H, every
element x H has a representation x = y + z, where y L and z L .
Now we are in the position to state the main result of this section.
is dense in H.
n : n N} with n = 1
Proof. First, we prove that there exists a sequence {
such that
n xn < . (5.2)
n=1
M
z := rn xn
n=1
is compact. By the separation theorem for linear operators (see [72, Sect. V])
there exists a continuous linear functional f on H such that
for any x K. Clearly, f does not vanish identically. By the Riesz represen-
tation theorem (see [312, Theorem 6.19]) there exists an element 0 = z0 H
for which f (x) = x, z0 . Putting c = Re f (x0 ) we get
for any x K. Now choose bn so that |bn | = 1 and bn xn , z0 = |xn , z0 |.
The element
M +N
yM = bn xn ,
n=N
M +N
Re yM , z0 = |xn , z0 | > c
n=N
for any M N. Consequently, the series n=N |xn , z0 | is convergent. Since
z0 = 0, this contradicts the second assumption of the theorem. So K is dense
in H.
By the density of K there exists a sequence {bn } with |bn | 1 such that
N 1
M +N
x0 xn bn xn < . (5.6)
3
n=1 n=N
M +N
u := an xn with |an | = 1
n=N
in H such that
M +N 2
M +N
M +N
2
bn xn an xn 4
xn
2 < .
9
n=N n=N n=N
Thus,
M +N
u bn xn < . (5.7)
3
n=N
Now dene
v= n xn .
n=M +N +1
5.1 Dense Sets in Hilbert Spaces 93
is dense in H(D).
5.2 Application to the Space of Analytic Functions 95
Consequently,
fn
2 max |fn (s)| | dfn | max |fn (s)|2 .
sG G sG
It follows that g is orthogonal to all polynomials. One can show that the set
of polynomials is dense in H2 (G) (see [73]), and thus, by Lemma 5.3, g(s) is
identically zero. Hence, for any g(s) 0,
|fn , g| = .
n=1
This and (5.9) show in view of Theorem 5.4 that the set of all convergent
series
n fn with |n | = 1
n=1
is dense in H2 (G). It remains to extend this result to the larger space H(D).
96 5 Universality
Now let f H(D) and > 0. By Theorem 5.4 there exists a sequence
{n : |n | = 1} such that the series
n fn (s)
n=1
Now let
n if n M,
b(n) =
1 otherwise.
Then the series n=1 b(n)fn (s) converges in H(D) and by the above inequal-
ities
max b(n)fn (s) f (s)
sK
n=1
max (n)fn (s) f (s) + max fn (s) < .
sK sK
nM n>M
Lemma 5.8. Let be a complex Borel measure on (C, B(C)) with compact
support contained in the half-plane > 0 . Moreover, for s C, dene the
function
f (s) = exp(sz) d(z).
C
Then f is an entire function of exponential type. If f (s) does not vanish
identically, then
log |f (r)|
lim sup > 0 .
r r
This is Lemma 6.4.10 of Laurinikas [186]. It is easily seen that the function
f (s), dened in the lemma, is indeed an entire function of exponential type.
The proof of the lemma relies on the Borel transform f of f which, for complex
s that are not contained in the support of , is given by
d(z)
f(s) = .
C sz
The Borel transform is analytic everywhere with the exception of a neigh-
bourhood of s = 0. This shows that the closed convex hull of the set of
singularities of the Borel transform, the so-called conjugate indicator diagram
of f , is contained in the convex hull of the support of . By the assumption
of the lemma, this is a subset of the half-plane > 0 . This leads via the
so-called PhragmnLindelf indicator function and a theorem of Boas to the
desired inequality; for the details we refer to Chap. 5 in Boas monograph [26]
and Sect. 6.4 in Laurinikas [186].
Plya investigated the rate of growth of functions of exponential type on
arithmetic progressions. This was extended by Bernstein [19] to more general
divergent sequences. We state a variant of Bernsteins theorem.
Theorem 5.9. Let f (s) be an entire function of exponential type, and let {m }
be a sequence of complex numbers. Moreover, assume that there are positive
real constants , and such that
log |f (iy)|
lim supy y ,
|m n | |m n|,
m
limm m = ,
< .
Then
log |f (m )| log |f (r)|
lim sup = lim sup .
m |m | r r
The case = 1 follows directly from Bernsteins theorem [19]. The general
case can be deduced by applying the case = 1 to the function F (s) = f (s)
and an appropriate scaling of the other appearing quantities. A proof can be
found in Laurinikas book [186, Sect. 6.4], or in Boas [26, Chap. 10]; notice
that the proof in [26] contains an error as was pointed out by Bagchi [10].
98 5 Universality
We observe the similarities between exp(gp (s, b(p))) and the corresponding
Euler factor in the Euler product representations of L(s) and of the associated
random element (4.6). Next we shall prove
This denseness theorem plays a crucial role in the proof of the universality
theorem for S. We observe that the statement of the theorem is not true if D
is replaced, for example, by the half-plane of absolute convergence (since the
terms gp (s, b(p)) tend to zero as ).
Proof. Dene
m
j (p)
gp (s) = gp (s, 1) = log 1 .
j=1
ps
We claim that there exists a sequence {b(p) : b(p) } such that the series
b(p)gp (s) (5.12)
p
converges in H(D).
In order to prove this claim we consider the identity between the Dirichlet
series and the Euler product representation of L S,
m
j (p)k a(p)
gp (s) = = + rp (s), (5.13)
j=1 k=1
kpks ps
say, where
m
aj (p)k 1
rp (s) =
kpks kpk
k=2 j=1 k=2
p
p j
p
p j
100 5 Universality
converges
on any compact subset of D. Together with the convergence of
p rp (s), this proves our claim that the series (5.12) converges in H(D).
Now we shall show that the set of all convergent series
b(p)gp (s) with b(p) (5.16)
p
is dense in H(D). Obviously, it is sucient to show that the set of all conver-
gent series
b(p)fp (s) with b(p) (5.17)
p
since the series on the right converges on any compact subset of D (in a similar
manner as in (5.14).
In order to verify the rst assumption of Theorem 5.7, let be a complex
Borel measure on (C, B(C)) with compact support contained in D such that
fp (s) d(s) < . (5.18)
p C
Dene
a(p)b(p)
hp (s) = .
ps
Then, by (5.13),
|a(p)|
|fp (s) hp (s)| = + |rp (s)| 1
p
p
pN p>N
where
(z) := exp(sz) d(s).
C
We shall show that (z) vanishes identically; however, for this purpose it is of
advantage to consider an appropriate subseries of (5.21).
Fix a number with
0 < < min 1, ;
m
here is the quantity appearing in axiom (v) on the prime mean-square for
L S. Dene
P = {p : p prime and cos p > } .
Then (5.21) yields
|(log p)| < . (5.22)
pP
Let
(x) = {p x : p P }.
Then, for < u , we obtain
(cos p )2 1 + 2 1 (5.24)
<pu pP
P
p
<pu <pu
k log |(k )|
lim = and lim sup 1.
k k k k
Applying Theorem 5.9, we obtain
log |(r)|
lim sup 1. (5.29)
r r
However, by Lemma 5.8, if (z) does not vanish identically, then
log |(r)|
lim sup > 0,
r r
contradicting (5.29). Therefore (z) 0. Dierentiating this identity r-times
with respect to z, we obtain
0 = (1)r sr exp(sz) d(s).
C
104 5 Universality
Putting z = 0 we get
sr d(s) = 0
C
for r N0 . Thus the rst assumption of Theorem 5.7 is also satised and we
obtain the denseness of all convergent series
(5.16). It remains to show that
this does not change when we add terms pN gp (s).
Let f H(D), K be a compact subset of D, and > 0. Further, choose
the parameter N such that
1 < ,
max
(5.30)
sK
=2
p 4m
p>N
where m is still the degree of the local Euler factors of L(s). By the denseness
of all convergent series (5.16) in H(D) we see that there exists a sequence
{b(p) : b(p) } such that
max f (s) gp (s) b(p)gp (s) < . (5.31)
sK 2
pN p>N
Setting
1 if p N,
b(p) =
b(p) otherwise,
then (5.30) and (5.31) imply
max f (s)
gp (s, b(p)) = max f (s) gp (s) gp (s, b(p))
sK sK
p pN p>N
max f (s) gp (s) b(p)gp (s)
sK
pN p>N
+ max b(p)gp (s) gp (s, b(p))
sK
p>N p>N
1
< + 2m max < ;
2 sK
=2
p
p>N
for the last but one inequality we have used that |a(p)| m by Lemma 2.2.
Since f (s), K and were arbitrary, the theorem is proved.
5.5 The Support of the Limit Measure 105
Now we are going to apply limit Theorem 4.3. We restrict our studies to the
space of functions analytic on bounded open rectangles. For this purpose, we
dene, for an arbitrary xed real number M > 0,
The proof of Hurwitzs theorem relies in the main part on Rouchs the-
orem (see Theorem 8.1) and can be found in the monographs of Titchmarsh
[352, Sect. 3.4.5] or Conway [62, Sect. VII.2].
Now we can give the
Proof of Lemma 5.12. Recall the denition (5.11) of the functions gp (s, (p)).
Since {(p)} is a sequence of independent random variables on the probability
space (, B(), m), it follows that {gp (s, (p))} is a sequence of independent
H(DM )-valued random elements. The support of each (p) is the unit circle
, and therefore the support of the random elements gp (s, (p)) is the set
SM \ {0} = SM .
This proves the theorem in the case of functions g(s) which have a non-
vanishing analytic continuation to DM . We remark that analytic functions on
D can be approximated uniformly on compact sets; here the restriction on K
to have connected complement is not necessary.
Now let g(s) be as in the statement of the theorem. In this case we have to
apply a complex analogue of Weierstrass approximation theorem, the theorem
of Mergelyan on the approximation of analytic functions by polynomials.
Theorem 5.15. Let K be a compact subset of C with connected complement.
Then any continuous function g(s) on K which is analytic in the interior of
K is uniformly approximable on K by polynomials in s.
This generalizes a classic result of Runge and gives the nal solution of the
problem of uniform approximation by polynomials on compacta. The inge-
nious proof relies on Greens formula and Riemanns mapping theorem and
can be found, for example, in Mergelyans article [246], Rudin [312] or Walshs
monograph [367, Sect. A.1]. The restriction to compact sets with connected
complement is natural. A necessary and sucient condition that every func-
tion analytic on a closed bounded point set C can be uniformly approximated
on C by polynomials is that C should not separate the plane, or equivalently,
C should be the complement of an innite region. For instance, the function
1
g(s) = s cannot be approximated uniformly on C by polynomials if C is
an annulus enclosing .
We continue with the proof of Theorem 5.14. By Mergelyans approxi-
mation Theorem 5.15 there exists a sequence of polynomials Gn (s) which
converges uniformly on K to g(s) as n . Since g(s) is non-vanishing on
K, we have Gm (s) = 0 on K for a suciently large m, and
max |g(s) Gm (s)| < . (5.35)
sK 4
108 5 Universality
Since the polynomial Gm (s) has only nitely many zeros, there exists a region
G whose complement is connected such that K G and Gm (s) = 0 on G. Hence
there exists a continuous branch log Gm (s) on G, and log Gm (s) is analytic in
the interior of G. Thus, by Mergelyans Theorem 5.15, there exists a sequence
of polynomials Fn (s) which converges uniformly on K to log Gm (s) as n .
Hence, for suciently large k,
max |Gm (s) exp(Fk (s))| < .
sK 4
From this and from (5.35) we obtain
max |g(s) exp(Fk (s))| < . (5.36)
sK 2
From (5.34) we deduce
1
lim inf meas [0, T ] : max |L(s + i ) exp(Fk (s))| < > 0.
T T sK 2
A close look on the proof of Theorem 5.14 shows that omitting a nite
number of Euler factors in the Euler product does not inuence the univer-
sality property. It is an interesting question to which extent innitely many
Euler factors can be omitted. A rst approach to answer this problem was
given by Schwarz, Steuding and Steuding [319] by using the notion of related
arithmetical functions.
We shall compare the universality Theorem 5.14 with the result of
Laurinikas [190] for Matsumoto zeta-functions (see also Sect. 1.6). Both
theorems apply to polynomial Euler products; however, the form of the Euler
product (iv) is more restrictive than the one of Matsumoto zeta-functions.
Furthermore, Theorem 5.14 relies on axiom (v) while Laurinikas assumes
(1.40); in our case his condition can be translated as follows: for all primes p,
|a(p)| is bounded from below by some positive constant. This is in general
a rather strong assumption. For example, Lehmer [212] conjectured that
Ramanujans -function (n), given implicitly as the Fourier coecients of the
modular discriminant (1.33), is non-zero for any n N. This is still unproved
(also in the form (p) = 0 for prime p). Laurinikas [190] also claims that
(1.40) can be replaced by the condition that, for > 0,
1
1 x ,
(x) px
|a(p)|<
Bagchi considered only characters to a xed modulus q (in which case the
characters mod q are trivially non-equivalent) and he assumed the compact
sets Kj to be simply connected and locally path connected; however, without
big eort his result (Theorem 5.3.4 in [9]) can easily be extended to the form
given above.
It should be remarked that these results do not contain the continuous
analogues (as, for example, Theorem 5.14 in the latter case) nor that they
can be deduced from Theorem 5.14 (to our present knowledge). Nevertheless,
the methods of proof are rather similar. In fact, they depend on an appropriate
limit theorem as Theorem 4.13; the remaining arguments are essentially the
same.
Matsumoto [243] asked for discrete universality for L-functions asso-
ciated with cusp forms and Matsumoto zeta-functions. Garbaliauskiene and
Laurinikas [84] proved a discrete version of Theorem 1.11 for L-functions to
elliptic curves; Laurinikas, Matsumoto and Steuding [205] obtained discrete
universality for the more general case of L-functions to newforms.
6
The Selberg Class
L (s) = L (1 s),
where
f
L (s) := L(s)Qs (j s + j )
j=1
where
b(pk )
Lp (s) = exp
pks
k=1
1
1
b(p ) = a(p ) ka(pk )b(pk ).
k=1
Moreover, it turns out that each Euler factor is absolutely convergent in the
half-plane > 0 and non-vanishing for > .
Axioms (1) and (2) imply that any element L(s) of the Selberg class is
analytic in the whole complex plane except for a possible pole at s = 1 (by
the same reasoning as for S in Sect. 2.2).
6.1 Denition and First Properties 113
Although the data of the functional equation are not unique, the degree
is well-dened. If NL (T ) counts the number of zeros of L S in the
rectangle 0 1, |t| T (according to multiplicities), by standard contour
integration one can show
dL
NL (T ) T log T, (6.3)
in analogy to the Riemannvon Mangoldt formula (1.5) for Riemanns zeta-
function; we shall give a more precise asymptotic formula in Theorem 7.7. It
is conjectured that all L S have integral degree. Slightly stronger is the
where c > 1 is a constant. Shifting the path of integration to the left, yields,
by the PhragmnLindelf principle (see Sect. 6.5), the asymptotic formula
d 1
(1+B) dL +1 +
a(n) = xP (log x) + O x L ,
nx
Since a(1) = 1, we nd
1 k
P (X) = 1 + a(pm )X m = (1 Cj X) with Bk = C .
m=1 j=1
k j=1 j
Now
|Cj | = |a(p )| p/2 ,
j=1
6.1 Denition and First Properties 115
and thus the maximum of the values |Cj | is greater than or equal to p1/2 . We
have 1/k
1
lim |b(p )|
k 1/k
= lim k
Cj = max |Cj |;
k k k 1j
j=1
By the work of Kaczorowski and Perelli [161], it is known that the functions
of degree one in the Selberg class are the Riemann zeta-function and shifts
L(s + i, ) of Dirichlet L-functions attached to primitive characters with
R; parts of this classication are already contained in Bochners extension
of Hamburgers theorem [27] and in subsequent work of Grardin and Li [99]
and Piatetski-Shapiro and Rhagunathan [294] on converse theorems. How-
ever, for higher degree there is no complete classication so far. Examples
of degree two are L-functions associated with holomorphic newforms f ; here
the notion normalized means that a(n) = c(n)n(1k)/2 where the c(n) are
the Fourier coecients of f (as already indicated in Sect. 2.2). Normalized
L-functions attached to non-holomorphic newforms are expected to lie in
S but the Ramanujan hypothesis is not yet veried. The RankinSelberg
L-function of any normalized eigenform is an element of the Selberg class of
degree 4. Other examples are Dedekind zeta-functions to number elds K;
their degree is equal to the degree of the eld extension K/Q.
In view of the Euler product representation, it is clear that any element
L(s) of the Selberg class does not vanish in the half-plane of absolute con-
vergence > 1. This gives rise to the notions of critical strip and critical
line. The zeros of L(s) located at the poles of gamma-factors appearing in the
functional equation are called trivial. They all lie in 0, and it is easily
seen that they are located at
k + j
s= with k N0 and 1 j f. (6.6)
j
All other zeros are said to be non-trivial. In general, we cannot exclude the
possibility that L(s) has a trivial zero and a non-trivial one at the same point.
It is expected that for every function in the Selberg class the analogue of the
Riemann hypothesis holds.
The zero-distribution is essential for the Selberg class. This is also manifested
in the dening axioms. Following Conrey and Ghosh [59] and Kaczorowski
and Perelli [160], we motivate the axioms dening S. We have already seen
116 6 The Selberg Class
has zeros o the critical line. Moreover, as we have seen in the proof of
Theorem 6.1, the bound for rules out non-trivial Dirichlet polynomials
from S as for example
Some words of warning: It might turn out that the axioms of the Selberg class
are too restrictive; e.g., the form of the functional equation with the condition
on the j s to have positive real part might exclude relevant L-functions.
Theorem 6.2. Every function in the Selberg class has a factorization into
primitive functions.
Proof. Suppose that L is not primitive, then there exist functions L1 and L2
in S \ {1} such that L = L1 L2 . Taking into account (6.3), from
NL (T ) = NL1 (T ) + NL2 (T )
Selbergs Conjectures.
(A) For all 1 = L S there exists a positive integer nL such that
|aL (p)|2
= nL log log x + O(1).
p
px
for k 2, where the a (n) denote the Dirichlet series coecients of L(s, ).
The latter hypothesis is an immediate consequence of the Ramanujan hypoth-
esis. (We shall return to these L-functions in Chap. 13.9.)
Selberg [323] wrote about his conjectures that these conjectures, which,
by the way, are not unrelated to several other conjectures like the SatoTate
conjecture, Langlands conjectures, etc., have been veried in a number of cases
for Dirichlet series with functional equation and Euler product that occur
in number theory, by assuming that the factorizations we can give are ac-
tually that a function is really primitive and cannot be factorized further.
For example, M.R. Murty [267] proved that Selbergs Conjecture B implies
Artins conjecture (we return to this topic in Chap. 13.7). Another important
consequence is due to Conrey and Ghosh [59].
Theorem 6.3. Selbergs conjecture B implies that every L S has a unique
factorization into primitive functions.
Proof. Suppose that L has two factorizations into primitive functions:
m
n
L= Lj = Lk ,
j=1 k=1
that
m
aLj (p)aL1 (p) aLk (p)aL1 (p)
n
= .
j=1
p p
px k=1 px
satises the axioms of S too. It can be shown that then L and L are either
both primitive or both not primitive (since they have the same nL ). Selbergs
twisting conjecture states that if L is not primitive, L and L will factor in the
same way into primitive factors, in the sense that one gets the factorization
of L by twisting all factors of L by .
NL (, T ) T 4( dL +3)(1)+ ,
uniformly for 1
2 1.
Selberg proved that if L S satises the Grand density hypothesis and Con-
jecture A, then the values of
log L 12 + it
nL log log t
are distributed in the complex plane according to the normal distribution.
Furthermore, he investigated the value-distribution of linear combinations of
independent elements of S. Selbergs argument was streamlined and extended
120 6 The Selberg Class
where R(x) 1
log x .
where the sum is taken over the non-trivial zeros = + i of L1 L2 (s) and
mLj () denotes the multiplicity of the zero of Lj (s).
The Selberg conjectures refer to the analytic behaviour at the edge of the
critical strip. Conrey and Ghosh [59] proved the non-vanishing on the line
= 1 subject to the truth of Selbergs conjecture B:
L(s) = 0 for 1.
Theorem 6.3). Hence, we may assume that L(s) is entire. Then, for any real
, the function L(s + i) is a primitive element of S. Selbergs conjecture B
applied to L(s + i) and (s) yields
aL (p)
1. (6.9)
p1+i
px
as 1+. Since
aL (p)
log L(s) = + O(1)
p
ps
Recently, Kaczorowski and Perelli [163] investigated the analogue of the prime
number theorem for the Selberg class. It is well known that the non-vanishing
of (s) on the edge of the critical strip is equivalent to the (standard) prime
number theorem (without remainder term). For an arbitrary element L S,
the corresponding prime number theorem is given in form of the asymptotic
formula
L (x) := L (n) = kL x + O(x); (6.11)
nx
L L (n)
(s) = ,
L n=1
ns
generalizing (1.7), the case of the Riemann zeta-function. Indeed, for poly-
nomial Euler products in the Selberg class one can prove this equivalence by
standard arguments involving an appropriate Tauberian theorem. In this case,
by Theorem 6.6, Selbergs conjecture B implies (6.11). However, this is not
122 6 The Selberg Class
Assuming this hypothesis, they proved the claim of Theorem 6.6, namely
the non-vanishing of any L(s) on the line = 1 and that this statement is
equivalent to the prime number theorem (6.11). It should be noted that their
proof of L(1 + iR) = 0 for a given L involves the assumption of the normality
conjecture for several elements in S.
Montgomery claims that (6.12) would follow from a suciently good estimate
for
(n)(n + h) c(h)x
nx
The pair correlation conjecture has many other important consequences. For
instance, (6.12) implies that almost all zeros of the zeta-function are simple
(actually, this is related to the asymptotic formula (1.12)).
Dyson remarked that the function on the right of (6.12) is the pair cor-
relation function of the eigenvalues of large random Hermitian matrices, or
6.4 Pair Correlation 123
more specically of the Gaussian Unitary Ensemble. This supports an old idea
of Hilbert and Plya. Their approach towards Riemanns hypothesis was to
look for a self-adjoint linear operator of an appropriate Hilbert space whose
eigenvalues include the zeros of
1 s
F(; L1 , L2 ) = T i dL1 (L1 L2 ) w(L1 L2 ),
dL1 T log T
T L1 ,L2 T
124 6 The Selberg Class
where w is a suitable weight function. The pair correlation conjecture for the
Selberg class takes then the form:
Pair Correlation Conjecture. Let L1 and L2 be primitive functions in S.
Under the assumption of the Grand Riemann hypothesis, uniformly in , as
T ,
L1 ,L2 || + dL1 T 2|| dL1 log T (1 + O(1)) if || < 1 ,
F(; L1 , L2 )
L1 ,L2 || otherwise.
Here
1 if L1 = L2 ,
L1 ,L2 :=
0 otherwise,
is the Kronecker-symbol. This conjecture includes Montgomerys pair corre-
lation conjecture. It has plenty of important applications as M.R. Murty and
Perelli [271] worked out. For instance, the Artin conjecture follows from the
pair correlation conjecture. Further, the pair correlation conjecture implies
that almost all zeros of two dierent primitive functions L1 and L2 are sim-
ple and distinct. Moreover, if the pair correlation formula holds for at least
one value of , then S has unique factorization into primitive functions. This
shows what a powerful tool pair correlation is. Further, M.R. Murty and Perelli
proved that the Grand Riemann hypothesis and the pair correlation conjec-
ture imply the Selberg conjectures. The pair correlation conjecture plays a
complementary role to the Riemann hypothesis: vertical vs. horizontal distri-
bution of the non-trivial zeros of (s). Both together seem to be the key to
several unsolved problems in number theory!
In the sequel, we investigate universality for L-functions in the Selberg
class. We shall show how our general universality theorem for S extends to a
certain class of polynomial Euler products in S. We expect that it holds for
all functions L S \ {1}. Moreover, we can extend the strip of universality
signicantly on behalf of the functional equation.
where
f
(j (1 s) + j )
L (s) := Q12s .
j=1
(j s + j )
Applying Stirlings formula (2.17), we get after a short computation
Lemma 6.7. Let L S. For t 1, uniformly in ,
2 dL 1/2it i( dL ) 1
L ( + it) = Q t exp it dL + +O ,
4 t
where
f
f
2
:= 2 (1 2j ) and := j j .
j=1 j=1
It should be noticed that we did not use the condition that the j appearing
in the gamma factors of the functional equation have positive real part. Thus,
if it will turn out that this condition is too restrictive, it does not inuence
the statement of Theorem 6.8 or what we will deduce from it.
In view of the functional equation, respectively, the convexity of L (),
the value for = 12 is essential. In particular, we obtain L ( 12 ) 14 dL , or
equivalently,
1
L + it |t|(dL /4)+ (6.14)
2
for |t| 1; this bound is known as the convexity bound. The best known
upper bound for the Riemann zeta-function is ( 12 ) 20532
, due to Huxley
[138].
Next, we shall apply the following renement of Carlsons classic theorem
on the mean-square of Dirichlet series due to Potter [296].
Theorem 6.10. Suppose that the functions
an bn
A(s) = and B(s) =
n=1
ns n=1
ns
have a half-plane of convergence, are of nite order, and that all singularities
lie in a subset of the complex plane of nite area. Further, assume that
|an |2 xb+ and |bn |2 xb+ ,
nx nx
Note that the series on the right-hand side converges on behalf of the
Ramanujan hypothesis (1). Further, we remark that the statement of the
corollary holds also for L-functions which do not fulll axiom (4) from the
denition of S, since we have used (2.12) and not Lemma 2.3. Corollary 6.11
should be compared with the mean-square estimates of Perelli [289] for his
class of L-functions; his argument is dierent.
Corollary 6.11 improves the range for the existence of the mean-square
given by Theorem 2.4, provided L(s) satises a Riemann-type functional equa-
tion: the mean-square half-plane of L then contains the region
1 1
> max ,1 .
2 dL
Recently some new insight was obtained by the analogies to random matrix
theory. Extending a conjecture of Conrey and Gonek [61], Keating and Snaith
[168] conjectured
2k
1 T
1 + it dt c(k)(log T )k2 ,
T 2
0
where
k 2 2
G2 (k + 1) 1 (m + k)
c(k) := 1 2 pm
G(2k + 1) p p m=0
m! (k)
128 6 The Selberg Class
for some positive constant . This axiom is closely related to Selbergs conjec-
tures. In fact, it implies a weak version of Selbergs conjecture A. By partial
summation,
|a(p)|2 x
1 du
= |a(p)| +
2
|a(p)|2 2
p x 2 pu u
px px
x
du
log log x;
2 log u
this is the normality conjecture of Kaczorowski and Perelli [163] for the single
function L(s) (provided N which we do not require); indeed, the full
6.6 Universality in the Selberg Class 129
normality conjecture is equivalent to the validity of axiom (v) for the whole
of S.1 Conversely, the strong Selberg Conjecture B with a remainder term
1
R(x) = O
log x
implies axiom (v) on the prime mean square with = nL . Moreover, from
this strong version it would follow that S S is multiplicatively closed.
Now we can formulate a rather general universality theorem for L-functions
in the Selberg class.
Theorem 6.12. Let L S S (i.e., L(s) satises the axioms (2), (3), (iv),
and (v)), let K be a compact subset of the strip m < < 1 (where m
max{ 12 , 1 d1L } < 1) with connected complement, and let g(s) be a non-
vanishing continuous function on K which is analytic in the interior of K.
Then, for any > 0,
1
lim inf meas [0, T ] : max |L(s + i ) g(s)| < > 0.
T T sK
is known for some 1 d1L . For instance, let L(s, ) be an arbitrary Dirichlet
L-function to a primitive character . Then (s)2 L(s, ) is an element of S
of degree 3, so Theorem 6.12 gives universality for 23 < < 1. Montgomery
[258] proved that
T 1 4
L + it, dt (q)T (log(qT ))4 .
2
mod q T
primitive
1
This remark is due to Giuseppe Molteni; see MathReviews MR1981179
(2004c:11165). Selbergs conjecture A for a single L-function seems to be insu-
cient for a proof of universality (by lack of a suciently good error term).
130 6 The Selberg Class
It is easily seen that the same bound holds for the fourth moment on vertical
lines to the right as well. In combination with Ivis eigth-moment estimate
(6.15), the CauchySchwarz inequality yields
T
|( + it)2 L( + it, )|2 dt
1
1/2
T T
|( + it)| dt
8
|L( + it, )| dt
4
1 1
T (118)/12+ T 1/2+ T
for any > 58 with suciently small . Thus (s)2 L(s, ) is universal in the
strip 58 < < 1. In this example, we can even do better by applying the joint
universality Theorem 1.10 which improves the range to 12 < < 1.
In Sect. 6.7, we show that the strip of universality for L S S can be
extended subject to a growth condition for L(s) on the critical line.
N (, T + 1) N (, T ) = O(log T ). (6.16)
N (, T ) T 2(1)+ . (6.17)
This should be compared with the density Theorems 1.2 and 6.5.
6.7 Lindelfs Hypothesis 131
In the case of the Lerch zeta-function (1.41) the analogue of the density
hypothesis is not true in general.
For instance, the function given by (6.7) can
be rewritten as L 12 , 1, s , and obviously it has innitely many zeros o the
critical line = 12 , at least the zeros s = 1 log 2 k with k Z\{0}, coming from
2i
1s
the factor 12 . This violates the analogue of the Riemann hypothesis and,
moreover, it violates the analogue of (6.17) as well. On the other side L( 12 , 1, s)
satises the analogue of the Lindelf hypothesis provided (s) satises the
Lindelf hypothesis. This example does not seem to be special. It is known
that a generic Lerch zeta-function has many zeros o the critical line. Denote
by = + i the non-trivial zeros of L(, , s) (where the notion non-trivial
is dened quite similarly as for (s)). Garunktis and Steuding [91] (see also
[89]) proved, for 0 < , 1,
1
T
= log + O(log T )
||T
2 2 +
(for the denition of the quantities + and see (1.43)). Consequently, any
L(, , s) with 2 > + has T many zeros in the region > 12 , 0 < t
T . The proportion of the parameters , (0, 1] which satisfy 2 > + is
equal to 1%
1 (1 ) d = 1 .
0 8
Since most of these zeros o the critical line could lie arbitrarily close to = 12 ,
this alone does not violate the analogue of the density hypothesis for the Lerch
zeta-function. However, Garunktis [85] proved that for transcendental the
number of zeros = + i of L(, , s) with > , || T is T for
any xed ( 12 , 1]; the proof relies on the strong universality property of
L(, , s) (see also Garunktis and Laurinikas [89]). This indicates that if
L(, , s) has no Euler product representation, the density hypothesis does
not follow from the Lindelf hypothesis. On the other hand, Garunktis and
Steuding [92] showed that the analogue of the Lindelf hypothesis for Lerch
zeta-functions seems reasonable.
In [60] Conrey and Ghosh generalized the Lindelf hypothesis to the
Selberg class. They proved that if L S is an entire function which satis-
es the Riemann hypothesis, the Euler product is of the form (iv), and that
all j appearing in the functional equation are equal to 12 , then there exists a
constant C, depending only on > 0 and the degree dL , such that
f
L 1 + it C Q(1 + |t|) dL /2 (1 + |j |) .
2
j=1
The proof follows the lines of Littlewoods proof that the Riemann hypo-
thesis implies the Lindelf hypothesis (in fact, it relies on a combination
of the PhragmnLindelf principle, the BorelCarathodory theorem and
132 6 The Selberg Class
for some positive constant c = c(, ) depending only on the data of the
functional equation. We already obtained with (6.14) a similar bound in the
t-aspect. The so-called subconvexity problem is to nd a > 0 such that
the exponent on the right-hand can be replaced by 14 . For certain L-
functions subconvexity bounds are known but in general, this seems to be a
dicult problem. However, solutions of the subconvexity problem (in the Q-
aspect) lead to several important applications in number theory, e.g., Hilberts
eleventh problem on the representation of integers by a given quadratic form;
we refer for details and further examples to the survey of Iwaniec and Sarnak
[145]. Here, we are only interested in the t-aspect.
Grand Lindelf Hypothesis. For L S and any > 0,
1
L + it |t| f or |t| 1. (6.18)
2
The implicit constant may depend on and L. This hypothetical estimate
coincides with Perellis Lindelf hypothesis for his class of L-functions [289].
Among other interesting results, Perelli showed for his L-functions that
Riemanns hypothesis implies the Lindelf hypothesis, and that Backlunds
reformulation (6.16) of the Lindelf hypothesis in terms of their zero-
distribution o the critical line holds. We observe that the Lindelf hypothesis
(6.18) for L(s) is equivalent to
1
L () = dL max 0, .
2
There are several further interesting reformulations of the Lindelf hypoth-
esis in the particular case of the Riemann zeta-function. One, given in terms
of moments on the critical line, was found by Hardy and Littlewood [119].
They proved that the Lindelf hypothesis is true if and only if for any k N
2k
1 T 1
dt T .
+ it (6.19)
T 1 2
Another equivalent form is due to Laurinikas [195]. He proved that the
Lindelf hypothesis is equivalent to the asymptotic formula
1 1 (T )
meas t [0, T ] : + it < xT = 1 O
T 2 1 + xA
with positive , A and suciently large x, where (T ) is an arbitrary positive
function which tends to zero as T .
6.8 Symmetric Power L-Functions 133
In view of Delignes estimate (1.34), for each prime p, we may dene an angle
p [0, ] by setting
a(p) = 2 cos p ; (6.20)
134 6 The Selberg Class
this should be compared with the angles dened in equation (5.20). Then, for
any non-negative integer m the symmetric mth power L-function attached to
f is for > 1 given by
m
1
exp(ip (m 2j))
Lm (s, f ) = 1 . (6.21)
p j=0
ps
Then
L0 (s, f ) = (s), L1 (s, f ) = L(s, f ),
and
(2s)
L2 (s, f ) = L(s, f f ),
(s)
where L(s, f f ) is the RankinSelberg L-function (introduced in Sect. 1.6).
Shimura [328] obtained the analytic continuation and a functional equation of
Riemann-type for the case m = 2. By the powerful methods of the Langlands
program, Shahidi [326] obtained the analytic continuation of Lm (s, f ) to 1
for m 4. In particular cases more is known; for example, Kim and Shahidi
[170] showed that certain third symmetric power L-function attached to non-
monomial cusp forms of GL2 over any number eld are entire, and Shahidi [327]
proved that the third and the fourth symmetric power L-function are cuspidal
unless the underlying cusp form is either of dihedral or tetrahedral type (in the
terminology of Kleins classication of nite subgroups of PGL2 (C)). However,
the case of m > 4 is open. Serre [324] conjectured that if f does not have
complex multiplication, the angles p are uniformly distributed with respect
to the SatoTate measure
2
(sin )2 d, (6.22)
if p ranges over the set of prime numbers (in analogy to a similar conjecture
for elliptic curves E due to Sato and Tate which was recently solved by
Taylor [351] assuming a mild condition on E). Furthermore, Serre proved
that the non-vanishing of Lm (s, f ) on the abscissa of convergence = 1 for
all m N implies the SatoTate conjecture for newforms, namely
1 2
lim {p x : < p < } = (sin )2 d. (6.23)
x (x)
Ogg [285] has shown that if for each m 2M , the function Lm (s, f ) has an
analytic continuation to a half-plane > 12 , then Lm (s, f ) does not vanish
on the line = 1. V.K. Murty [272] proved that it suces to have an analytic
continuation of any Lm (s, f ) to 1 for proving the SatoTate conjecture.
In this context, M.R. Murty [265] (see also [270]) proved asymptotic formulae
for the 2mth power moments of cos p .
6.8 Symmetric Power L-Functions 135
and, for m M ,
1
lim (2 cos p )2m+1 = 0.
x (x)
px
Let c be any complex number. Levinson [217] proved that all but
N (T )(log log T )1 of the roots of (s) = c in T < t < 2T lie in
2
1 < (log log T ) .
2 log T
Thus, the c-values of the zeta-function are clustered around the critical line.
In particular, we see that the density estimate (1.13) alone does not indicate
the truth of the Riemann hypothesis. As we shall show in this chapter, this
distribution of c-values is typical for Dirichlet series satisfying a Riemann-type
functional equation.
Throughout this chapter, we shall assume that
a(n)
L(s) =
n=1
ns
138 7 Value-Distribution in the Complex Plane
satises the axioms (1)(3) from the denition of the Selberg class S, and so
we may dene the degree dL of L by (6.2); we shall not make use of axiom (4)
(neither do we use the condition on the real parts of the complex numbers j
in the Gamma-factors of the functional equation), however, for simplicity we
suppose that a(1) = 1. In some places we shall assume the Lindelf hypothesis
for L(s); by that we mean the estimate (6.18).
We give an example of a function satisfying these axioms which does not
have an Euler product. The DavenportHeilbronn zeta-function is given by
1 i 1 + i
L(s) = L(s, ) + L(s, ), (7.1)
2 2
where %
10 2 5 2
:=
51
and is the character mod 5 with (2) = i. It is easily seen that the
DavenportHeilbronn zeta-function satises the functional equation
s/2 (1s)/2
5 s+1 5 s
L(s) = c, (7.2)
Theorem 7.1. Assume that L(s) satises the axioms (1)(3) with a(1) = 1
and let c = 1. Then, for any b > max{ 12 , 1 d1L },
(c b) T.
c >b
T <c 2T
1
c = O(T log T ).
2
c > 1
2
T <c 2T
7.1 Sums Over c-Values 139
Since
a c
(, T ) d = d = (c b) (7.4)
b c >b b c >b
T <2T T <c 2T
140 7 Value-Distribution in the Complex Plane
say. To dene log (s) and log L(s) we may choose the principal branch of the
logarithm on the real axis, as ; for other points s the value of the
logarithm is obtained by continuous variation along line segments (this is in
agreement with Lemma 7.2).
We start with the vertical integrals. Obviously,
2T
I1 (T, b) := I1 = log |L(b + it) c| dt T log |1 c|. (7.6)
T
and in view of (7.3) the absolute value of the series is less than 1 for suciently
large a. Therefore, we nd by the Taylor expansion of the logarithm
(1)k a(n1 ) a(nk )
log |(a + it)| = Re .
k(1 c)k n =2 n =2 (n1 nk )a+it
k=1 1 k
7.1 Sums Over c-Values 141
k
1 1
1 (7.8)
k n=2 na
k=1
Now we want to include most of the c-values into our observations. In view
of Lemma 6.7 and Theorem 6.8 there exist positive constants C , T such that
there are no c-values in the region < C , t T . Therefore, assume that
b < C 1 and T T + 1. By the functional equation in the form (6.13),
1
log |L(s) c| = log |L (s)| + log |L(1 s)| + O .
|L (s)L(1 s)|
Now suppose that c = 1. The rst integral on the right-hand side is easily
calculated by elementary methods. The second integral is small if b is chosen
suciently large (see (7.8)). Together with (7.6) we get
1 4T
I1 = b dL T log + T log(Q ) T log |1 c| + O(log T ).
2
2 e
By (7.5) and with the estimates for the Ij s from the proof of Theorem 7.1,
we obtain
Theorem 7.3. Assume that L(s) satises the axioms (1)(3) with a(1) = 1
and let c = 1. Then, for suciently large negative b,
1 4T
2 (c b) = b dL T log + T log(Q2 )
2 e
T <c 2T
T log |1 c| + O(log T ).
The rst sum on the right counts the number of c-values and the second sum
measures the distances of the c-values from the critical line. Let N c (T ) count
the number of c-values of L(s) with T < c 2T . Then, subtracting the
formula of Theorem 7.3 with b + 1 instead of b from the formula with b, we
obtain
Corollary 7.4. Assume that L(s) satises the axioms (1)(3) with a(1) = 1.
Then, for c = 1,
dL 4T T
N c (T ) = T log + log(Q2 ) + O(log T ).
2 e 2
Furthermore,
Corollary 7.5. Assume that L(s) satises the axioms (1)(3) with a(1) = 1.
Then, for c = 1,
1
T
c = log |1 c| + O(log T ).
2 2
T <c 2T
Then
1
N+c (, T ) (c 1 ).
1 c >
T <c 2T
where we used Littlewoods Lemma 7.2 and the techniques from Sect. 7.1 for
the latter inequality. In view of the unconditional estimate for (7.6) in the
proof of Theorem 7.1 we obtain (7.11). Assuming the truth of the Lindelf
hypothesis, we get analogously
1
N+c + , T T log T (7.12)
2
Hence
1 1
(c b) = b + c + (c b)
2 2
T <c 2T c < 1
2
c 1
2
T <c 2T T <c 2T
1 1
b N c (T ) + c
2 2
c < 1
2
T <c 2T
1
+ c .
2
c > 1
2
T <c 2T
By Theorem 7.1, the second sum on the right is bounded by T log T . Since
any term in the rst sum on the right is < , we obtain
1 1
Nc , T (c b) b N c (T ) + O(T log T ).
2 2
T <c 2T
This is the same bound as for N+c in (7.12). Putting = 2 we obtain the
assertion of the theorem.
so the c-values are clustered around the critical line for any c. This extra-
ordinary value distribution shows that if the Lindelf hypothesis for L(s)
is true, the critical line is a so-called Julia line from the classical theory of
functions. Julia [151] improved the Big Picard theorem by showing: if the
analytic function f has an essential singularity at a, then there exist a real
0 and at most one complex number z such that for every suciently small
>0
C \ {z} f ({a + r exp(i) : | 0 | < , 0 < r < });
the ray {a + r exp(i0 ) : r > 0} is called a Julia line. For more details on
Julias theorem we refer to Burckel [48, Sect. XII.4].
The distribution of the c-values close to the real axis is quite regular. It can
be shown that there is always a c-value in some neighbourhood of any trivial
zero of L(s) with suciently large negative real part, and with nitely many
exceptions there are no other in the left half-plane. The main ingredients for
the proof are Rouchs theorem (Theorem 8.1) and Stirlings formula (2.17).
With regard to (6.6), thus the number of these c-values having real part in
[R, 0] is asymptotically 12 dL R. On the other side, by (7.3) the behaviour
nearby the positive real axis is very regular. Note that all results from above
hold as well with respect to c-values from the lower half-plane.
Now let NLc (, T ) count the number of c-values c = c + ic of L(s)
satisfying c > , |c | T . Using Corollary 7.4 with 2n T for n N instead
of T and adding up, we get, for xed 0,
NLc (, T ) = 2 N c (, 2n T )
n=1
dL T T 1
= T log + log(Q2 ) n
e n=1
2
dL log 4 n log 2
+ T + O(log T ).
n=1 2n
The appearing innite series are equal to 1 and 0, respectively. Hence, this
summation removes the factor 4 in the logarithmic term, and we have proved
Theorem 7.7. Assume that L(s) satises the axioms (1)(3) with a(1) = 1.
For any xed 0 and any complex c = 1,
dL T T
NLc (, T ) = T log + log(Q2 ) + O(log T ).
e
The case c = = 0 (the non-trivial zeros of L(s)) is a precise Riemannvon
Mangoldt formula (1.5). Similar results were obtained by Perelli [289] and
Lekkerkerker [214] for other classes of Dirichlet series. It should be noticed
that Tsang [355] investigated the number of c-values of (s) with respect to
short intervals for the imaginary parts. Let < 12 , T (1/2)+ H T , and
146 7 Value-Distribution in the Complex Plane
Most of the remaining c-values lie rather close to the critical line at distances
of order not exceeding
(log log log T )3
.
log T log log T
This improves some previous results of Selberg (unpublished) and Joyner [150]
and gives a much more detailed description of the clustering of the c-values
around the critical line.
In the exceptional case c = 1 one has to consider the function
qs
(s) = (L(s) 1),
a(q)
where q 1 is the least integer such that a(q) = 0. Then, by a similar
reasoning as in the proof of Theorem 7.7, one gets analogous results. For the
special case of the zeta-function this is carried out in Steuding [348, 349] where
Levinsons method is applied to Epstein zeta-functions. These methods also
allow to drop the condition a(1) = 1.
Furthermore, let
T(f, c, r) = N(f, c, r) + m(f, c, r)
for c C. The rst main theorem in Nevanlinna theory states states that
T(f, c, r) diers from the characteristic function by a bounded quantity:
note that only for countably many values of c the deciency can dier from
zero. Another consequence is the Big Picard theorem.
Only recently Ye [372] computed the Nevanlinna functions for the Riemann
zeta-function. Without big eort we can extend his results to the class of
Dirichlet series under investigation. The Nevanlinna functions for those L(s)
are determined by the Gamma-factors in the functional equation.
First, let 0 > 1 be xed. We write s = r exp(i), so = r cos . It is easily
seen that
1
log+ |L(r exp(i))| d 1.
2 {:r cos >0 }
Further, in view of Theorem 6.8,
1
log+ |L(r exp(i))| d log r;
2 {:10 r cos 0 }
{ [0, 2] : = r cos [1 0 , 0 ]}
and, similarly,
1
log+ | (r exp(i)) + )| d r log r + O(r).
2 {:r cos <10 }
Thus, we get
1 dL
log+ |L(r exp(i))| d r log r + O(r).
2 {:r cos <10 }
Adding the estimates for the other cases, we obtain for the proximity function
of L(s)
dL
m(L, r) r log r + O(r).
Since L(s) is regular except for at most a pole at s = 1,
r
d
N(L, , r) = log r. (7.13)
1
Thus, we get
dL
T(L, r) r log r + O(r). (7.14)
150 7 Value-Distribution in the Complex Plane
(see also the related result of Bombieri and Perelli (6.8)). However, the trivial
example (s) and (s)2 shows that dierent elements of S can share the value
zero IM.
Concerning CM-shared values we shall prove that two dierent Dirichlet
series satisfying our axioms do not share any complex value CM. For sharing
values IM we shall only obtain an improvement of the ve-point theorem under
an additional assumption on the number of distinct c-values. For this purpose
let NLc (T ) count the number of distinct roots c of the equation L(s) = c lying
in the rectangle 0 1, |t| T .
Theorem 7.11. Assume that L1 , L2 satisfy the axioms (1)(3) with a(1) = 1.
(i) If L1 , L2 share a value c = CM, then L1 L2 .
(ii) If L1 , L2 satisfy the same functional equation and share two distinct values
c1 , c2 = IM such that
NLc1j (T ) + NLc2j (T ) 1
lim inf > + (7.17)
T NLc1j (T ) + NLc2j (T ) 2
Proof. We start with the rst assertion. In view of Theorem 7.7 two L-
functions satisfying the axioms (1)(3) can only share a value c = CM
if they have the same degree, d say. First of all assume that L1 , L2 are both
entire functions and share the value c = CM. Dene the function
L1 (s) c
(s) = .
L2 (s) c
Since L1 (s) assumes the value c if and only if L2 (s) = c and since for any
such root the multiplicities coincide, (s) is a non-vanishing entire function.
In view of the rst main Theorem 7.8 and Theorem 7.9
d
T(L2 , c, r) = T(L2 , r) + O(1) = r log r + O(r)
= T(L1 c, r) + O(r).
It is easily seen that the order of a nite product of functions of nite order is
less than or equal to the maximum of the order of the factors. Thus () 1.
By Hadamards factorization theorem (see [281, Sect. VIII.2]) this implies that
(s) is of the form
(s) = exp(P (s)),
where P is a polynomial of degree at most () 1. Since Lj (s) tends to one
as s for j = 1, 2, we have
1c
lim (s) = = 1.
s 1c
This implies that the polynomial P is vanishing identically, which implies
L1 L2 .
If L1 (s) or L2 (s) has a pole at s = 1 of order k, we may replace Lj (s)
by (s 1)k Lj (s) and repeat the argument from above. This proves the rst
assertion.
Now we shall prove the second statement. If L1 and L2 satisfy the same
functional equation, they both have the same degree, d say. Now consider the
function
(s) := L1 (s) L2 (s).
Obviously, also (s) satises the common functional equation for the Lj s.
Then the number N (T ) of zeros of (s) in the rectangle 0 1, |t| T
(counting multiplicities) is asymptotically given by
d
N (T ) T log T. (7.18)
Now suppose that L1 and L2 share two distinct complex values c1 , c2 IM.
Then (s) vanishes also for the pre-images of the ck s. Hence, we obtain a
lower bound for the number of zeros of (s) in terms of the c1 - and c2 -value
counting functions, namely
NLc1j (T ) + NLc2j (T ) 1
+ o(1).
NLc1j (T ) + NLc2j (T ) 2
This contradicts (7.17). Hence L1 and L2 can share at most one value c C.
Theorem 7.11 is proved.
154 7 Value-Distribution in the Complex Plane
The functions L(s) and L(s)2 share the value zero IM. This is a special
example for two reasons. First, these functions are not independent in the sense
that they have the same primitive functions in their factorizations. Second,
they share the zeros. Bombieri and Hejhal [40] proved, assuming some widely
believed but yet unproved hypotheses, that almost all zeros of pairwise inde-
pendent L-functions are distinct. Of course, we expect the same to hold for
other c-values too. With respect to condition (7.17) this leads us to conjecture
that zero is the only possible shared value and that this happens only in cases
of dependent L-functions.
We conclude with a few words about the signicance of such studies.
Some problems in arithmetic (see Chap. 13.7) could be solved if one could
show that, given distinct primitive L-functions L1 (s), . . . , Lm (s) (in the sense
of the Selberg class), then Lj (k ) = 0 holds only for j = k, where the k
denote the non-trivial zeros of Lk (s). Clearly, this would also imply the unique
factorization into primitive elements.
8
The Riemann Hypothesis
...und es ist sehr wahrscheinlich, dass alle Wurzeln reell sind. Hiervon
wre allerdings ein strenger Beweis zu wnschen; ich habe indess die
Aufsuchung desselben nach einigen chtigen vergeblichen Versuchen
vorlug bei Seite gelassen... Bernhard Riemann
on |s| = r, then f (s) and g(s) have the same number of zeros in |s| < r.
This classical result follows from a simple application of the argument princi-
ple; for details see Burckel [48, Sect. VIII.3] or Titchmarsh [352, Sect. 3.42].
Now assume that g(s) is an analytic function on |s| r, where 0 < r < 14 ,
which has a zero with || < r, but which is non-vanishing on the boundary.
An application of Rouchs theorem shows that whenever the inequality
3
max s + + i g(s) < min |g(s)|
(8.1)
|s|=r 4 |s|=r
holds, s + 34 + i has to have a zero inside |s| < r. The zeros of an analytic
function lie either discretely distributed or the function vanishes identically,
and thus the inequality (8.1) holds if the left-hand side is suciently small. If
now for any > 0
1 3
lim inf meas [0, T ] : max s + + i g(s) < > 0,
T T |s|r 4
1.5
0.5
1 1 2 3
0.5
1.5
Fig. 8.1. ( 12 + it) for t [0, 40]. In this range, there are six non-trivial zeros lying
on the critical line
length = (f, , , ) > 0 such that every interval (t1 , t2 ) of length contains
an almost period of f relatively to in the closed strip , i.e., there
exists a number (t1 , t2 ) such that
The most important open problem in the theory of the Riemann zeta-
function is the Riemann hypothesis on the location of the nontrivial zeros (see
Fig. 8.1 for the values taken by the zeta-function on the critical line). Bohr
discovered an interesting relation between the Riemann hypothesis and almost
periodicity; indeed, his aim in introducing the concept of almost periodicity
might have been Riemanns hypothesis. Bohr showed that if is a non-
principal character, then the Riemann hypothesis for the Dirichlet L-function
L(s, ) is equivalent to the almost periodicity of L(s, ) in the half-plane
> 12 . The condition on the character looks articial but it is necessary
for Bohrs reasoning. His argument relies in the main part on diophantine
approximation applied to the coecients of the Dirichlet series representation.
The Dirichlet series for L(s, ) with a non-principal character converges
throughout the critical strip, but the Dirichlet series for the zeta-function
does not.
More than half a century later Bagchi [9] proved that the Riemann
hypothesis is true if and only if for any compact subset K of the strip 12 < < 1
with connected complement and for any > 0
158 8 The Riemann Hypothesis
1
lim inf meas [0, T ] : max |(s + i ) (s)| < > 0.
T T sK
holds; the second inequality is fullled for suciently small (by an argu-
ment already discussed in Sect. 8.1). Then Rouchs Theorem 8.1 implies the
existence of a zero of (s) in
K + i := {s C : |s i | }.
8.2 Bagchis Theorem 159
We say that the zero of (s) is generated by the zero . With regard to (8.4)
and (8.5) the zeros and = + i are intimately related; more precisely,
Hence,
1/m
| i | + O 1+(1/m) .
|c|
In particular,
1/m
1
< Re 2 < < 1,
2 |c|
and 1/m
| ( + Im )| < 2 ,
|c|
for suciently small and = O(m+1 ). Next we have to count the generated
zeros in terms of . Two dierent shifts 1 and 2 can lead to the same zero
, but their distance is bounded by
1/m
|1 2 | < 4 .
|c|
If we now write
I(T ) := Ij (T ) := [0, T ] : max |(s + i ) (s)| < ,
sK
j
This shows that we cannot decide where in the analytic landscape of (s) we
actually are without moving to the boundary. The zeta-function is an amazing
maze!
8.3 A Generalization
It is obvious how Bagchis Theorem 8.3 can be generalized to other universal L-
functions, e.g., Dirichlet L-functions, for which appropriate density estimates
are known. Assume that L(s) is strongly recurrent in the strip m < < 1
in the sense of Theorem 8.3. In view of the positive lower density for the
set of shifts with which the target L(s) can be uniformly approximated by
L(s + i ) we need that the number of zeros with real part greater than m up
to level T is bounded by o(T ) as T to deduce the non-vanishing of L(s)
in the strip m < < 1. Thus, strong recurrence allows the conclusion that
if there are not too many zeros, then there are none!
For the set of L-functions in S S we can replace the density Theorem 1.2
by Theorem 6.5 from Kaczorowski and Perelli [163]. We observe for the number
of zeros in question that
NL (, T ) T 4( dL +3)(1)+ = o(T )
if
1
> = (L) := 1 ,
4( dL + 3)
which is larger than the left abscissa of the strip of universality in Theo-
rem 6.12. This yields the non-vanishing of L(s) in some strip inside the critical
8.3 A Generalization 161
strip provided L(s) is strongly recurrent. For the line = 1, we notice that
axiom (v) on the mean-square for the Dirichlet series coecients of L S
on the primes implies the normality conjecture (as remarked in Sect. 6.6)
and Kaczorowski and Perelli [163] proved that the latter conjecture implies
L(1 + iR) = 0 (see Sect. 6.2). Hence,
L(s) exp(exp(c|t|))
uniformly in 1 + .
Functional equation. There is a sequence of matrices Ap , all satisfying
the axiom on the polynomial Euler product, such that for L (s), dened
according to the axiom on the polynomial Euler product and satisfying all
previous axioms,
L (s) = L (1 s),
162 8 The Riemann Hypothesis
where
f
L (s) := L(s)Qs (j s + j ),
j=1
and where Q, j are real numbers and j and with || = 1 are complex
numbers.
For L P dene the quantities dL and , as for the elements of the Selberg
class S, by
f f
dL = 2 j and = 2 (1 2j ).
j=1 j=1
NL (, T ) = O(T ).
Actually, Perelli proved stronger estimates for the whole right half of the
critical strip which are even uniform in Q, but this is not of interest for our
investigations.
which converges throughout the half-plane > 0 (clearly, we are not allowed
to work with the logarithm of the zeta-function since we are interested in its
zeros). Obviously,
for any > 12 (see [353, Sect. 7.11]; see also Lemma 4.8). This implies that
M (s) approximates (s) almost everywhere: given > 0, there exist M0 , T0
such that for any M M0 , T T0 we have
T
1
|M ( + it) ( + it)|2 dt < .
T 0
Mishou and Nagoshi [253] obtained necessary and sucient conditions for
the truth of the Riemann hypothesis in terms of the functional distribution
of quadratic L-functions L(s, d ) in the right half of the critical strip; here
L(s, d ) denotes the Dirichlet L-functions to the character d mod |d| given
by the Kronecker symbol ( d ) to a fundamental discriminant d (see Sect. 1.4).
They proved that the Riemann hypothesis for (s) is true if and only if, for
any compact subset K of the open strip 12 < < 1 and any positive ,
and satisfy limn pn = . Then the set G consisting of all possible products
of powers of elements pn including the positive integer 1 (the empty product)
forms a semigroup. The attached Euler product is dened by
1
1
P (s) = 1 s .
pn
pn P
later Nyman improved this result by giving an error term. It follows from
Reichs universality theorem [305] that Beurling zeta-functions P (s) are uni-
versal. In [110], Grosswald and Schnitzer suggested an interesting approach
toward the Riemann hypothesis. They considered a prime system Q = {qn }
formed with arbitrary but xed real numbers qn satisfying
pn qn pn+1 ,
where pn denotes the nth rational prime number. Then the associated Beurling
zeta-function Q (s) has an analytic continuation to the half-plane > 0 (but
in general the line = 0 is a border over which we cannot expect analytic
continuation) except for a simple pole at s = 1 and, most remarkably, for > 0
it has the same zeros with the same multiplicity as the Riemann zeta-function
(s). Mller [264] showed that the same statement holds if the condition of
Grosswald and Schnitzer is replaced by the weaker assumption
true if and only if Q (s) can approximate itself uniformly, i.e., for certain disks
K and any > 0,
1
lim inf meas { [0, T ] : max |Q (s + i ) Q (s)| < } > 0;
T T sK
In this chapter, we shall use ideas from the previous chapter in order to
obtain certain eective results on the value-distribution of L-functions. The
rst sections deal with the density of the approximating in universality
theorems. The derived upper bounds are due to Steuding [342, 350]. In the
following sections explicit estimates for c-values in the half-plane of absolute
convergence are obtained. These results are due to Girondo and Steuding [100]
and rely on a theorem of Rieger [310], resp. a quantied version of Steuding
[344], on eective inhomogeneous diophantine approximation.
and the same estimate is valid for = 12 under assumption of the truth
of the Riemann hypothesis. By a dierent method, Balasubramanian and
Ramachandra [15] obtained the same estimate for = 12 unconditionally.
These -results were only slight improvements of earlier results and some
probabilistic heuristics suggest these estimates to be best possible, i.e., the
quantity in (9.2) describes the exact order of growth of (s). However, the
random matrix model predicts signicantly larger values: in analogy to large
deviations for characteristic polynomials one may expect that the estimate in
(9.1) gives the true order (see Hughes [136] for details). Steuding [338] showed
that Montgomerys estimate holds on any rectiable curve inside the right half
of the critical strip as well. In particular, assuming the truth of Riemanns
hypothesis, for any rectiable curve t (t) + it, t R, in the right half of
the critical strip,
1 (log t)1(t)
((t) + it) = exp .
20 (log log t)(t)
Thus, the analytic landscape of the Riemann zeta-function over the critical
strip does not contain long valleys.
The proofs of Voronins theorem do not give any information about the
question how soon a given target function is approximated by (s + i ) within
a given range of accuracy, and Montgomerys approach does not give us
any idea of the shape of the set of values of (s) on vertical lines. Good
[105] combined Voronins universality theorem with the work of Montgomery
on extreme values of the zeta-function. This enabled him to complement
Voronins qualitative picture with Montgomerys quantitative estimates. For
suciently large T and with log T and r suciently small (but not
too small), he showed the existence of a certain constant c and more than
) positive numbers tn T with tn+1 > tn + 2r for n = 1, 2, . . .,
c
T exp( log
such that the annulus
1+r
c 1+r c
z C : exp |z| exp
log log
such that
max log s + 3 + i f (s) < ,
|s|0.0001 4
and further
1 3
lim inf meas [0, T ] :
max log s + + i f (s) <
T T |s|0.0001 4
13
exp . (9.4)
and
1 3
d(, f, L) = lim sup meas [0, T ] : max L s + + i f (s) < .
T T |s|r 4
For continuity sets we do not have to distinguish between the lower and the
upper density of universality, since in this case, by the Portmanteau Theo-
rem 3.1, the limit exists.
For suciently large classes of functions L(s) and of functions f (s) we
shall prove eective upper bounds for the upper density d(, f, L) which tend
to zero as 0. For this purpose we consider analytic isomorphisms f : Br
B1 , i.e., the inverse f 1 exists and is analytic. Obviously, such a function f
has exactly one simple zero in the interior of Br . By the Schwarz lemma
(from the classical theory of functions, see [352, Sect. 5.2]) it turns out that
such a function f has the representation
170 9 Eective Results
s
f (s) = r exp(i) with R and || < r. (9.5)
r2 s
Denote by Ar the class of analytic isomorphisms from the closed disk Br (with
xed 0 < r < 14 ) to the unit disk. Further, let NL (1 , 2 , T ) count the number
of zeros of L(s) in 12 < 1 < < 2 < 1, 0 t < T (counting multiplicities).
The main result of this section is
8r3
d(, f, L) (9.6)
r2 ||2
1 3 3
lim sup NL + Re 2r, + Re + 2r, T .
T T 4 4
Proof. The idea of proof is that the zero of f is related to some zeros of L(s)
in 12 < < 1. Since f maps the boundary of Br onto the unit circle, Rouchs
Theorem 8.1 implies the existence of one simple zero of L(z) in
3
K := z = s + + i : s Br
4
whenever
3
max L s + + i f (s) < < 1 = min |f (s)|.
(9.7)
sBr 4 |s|=r
Recall that, in the language of Sect. 8.2, the zero of L(s) is generated by the
zero of f (s).
Universality is a phenomenon that happens in intervals. We prove an upper
bound for the distance of dierent shifts generating the same zero of L(s):
8r3
|1 2 | < .
r2 ||2
9.2 Upper Bounds for the Density of Universality 171
4r3 8r3
|1 2 | = |t2 t1 | |f (s2 ) f (s1 )| < ,
r2 ||2 r2 ||2
which proves the lemma.
We continue with the proof of the theorem. Denote by Ij (T ) the disjoint
intervals in [0, T ] such that (9.7) is valid exactly for
Ij (T ) =: I(T ).
j
zeros of L(s) in the strip 12 < < 1. Therefore, the number N (T ) of such
zeros satises the estimate
8r3
N (T ) meas I(T ). (9.8)
r2 ||2
The next step is to replace N (T ) by the zero counting function appearing in
the theorem.
The value distribution of L(z) in K is ruled by that of f (s) in Br . This
gives a restriction on the real parts of the zeros .
Lemma 9.3. Let be a zero of L(s) generated by . Then
Re 3 Re < 2r.
4
172 9 Eective Results
Proof. Let s Br . First of all, we consider the case |f (s)| . Then, in view
of (9.7),
L s + 3 + i |f (s)| f (s) L s + 3 + i > 0.
4 4
| s|
|f (s)| , (9.9)
2r
we obtain for s = 34 i by (9.7) that
3 i 2r f 3 i
4 4
3
2r|L()| + max f (s) L s + + i
sBr 4
< 2r,
which yields the estimate of the lemma by taking the real parts.
If |f (s)| < , then we may deduce the desired estimate directly from (9.9).
The lemma is proved.
Now we are in the position to nish the proof of the theorem. In view of
Lemma 9.3 we nd
3 3
N (T ) NL + Re 2r, + Re + 2r, T , (9.10)
4 4
Sending 0 yields the estimate (9.6) of the theorem. Since the set of
singularities of L(s) in 34 r has zero density but d(, f, L) > 0, the
singularities do not aect the above reasoning. The theorem is proved.
exists and tends to zero as 0. Now we proceed as above and obtain, for
f Ar ,
d(, exp f, (s)) = O().
Steuding [350] extended the above argument in order to obtain upper bounds
for the density of universality with respect to approximation of a rather general
class of functions g(s) = exp f (s); however, the implicit constants cannot be
given explicitly. Here we sketch the new idea in the case of the zeta-function.
Assume that g(s) is a non-constant, non-vanishing analytic function
dened on Br . Then there exists a complex number c in the interior of g(Br )
(which is not empty since g(s) is not constant) such that
g(s) = c + (s c ) + O |s c |2 (9.12)
for some c of modulus less than r and some = 0; this means that c is
a c-value of g(s) of multiplicity one. To see this suppose that for all c in the
interior of g(Br ) the local expansion is dierent than (9.12), i.e., g (s) vanishes
identically in the interior. Then g is a constant function, a contradiction to
the assumption of the theorem.
Now suppose that
3
max s + + i c {g(s) c} < min |g(s) c|.
|s|=r 4 |s|=r
Since the zeta-function is universal, the rst inequality holds for a set of
with positive lower density. The second one follows for suciently small from
the fact that c = g(c ) has positive distance to the boundary of g(Br ). Thus,
a c-value of g(s) generates many c-values of (z).
Assume that c = sj + 34 + ij with |sj | < r for j = 1, 2. It follows from
(9.13) that
|g(c ) g(sj )| = |c g(sj )| < . (9.14)
Since g (c ) = = 0, there exists a neighborhood of c where the inverse
function g 1 exists and is a one-valued continuous function. By continuity,
(9.14) implies
|sj c | < = (), (9.15)
where () tends with to zero; since g(s) behaves locally as a linear function
by (9.12), we have () . Now (9.15) implies
174 9 Eective Results
Now we can proceed as in the proof of Theorem 9.1 in addition with (9.11).
This yields:
Thus, the decay of d(, g, ) with 0 is more than linear in for any
non-constant, non-vanishing analytic function g.
1
lim sup {1 n N : |F ( + in)| < } < 1
N N
Theorem 9.5. Let c be any constant and ( 12 , 1), and = 0 be real. Then
1
lim lim sup {1 n N : |( + in) c| < } = 0.
0 N N
In particular, there does not exist an arithmetic progression sn = + in
(with and as in the theorem) on which (s) converges to any complex
number c.
We sketch the easy proof. Let g(s) be a non-constant, non-vanishing,
analytic function dened on a small disk centered at ( 12 , 1) such that
its closure lies inside the strip of universality for the zeta-function. Further
assume that
|g(s) c| < ;
this choice for g(s) is certainly possible for any given complex number c. By
the triangle inequality,
conjecture implies large values for the sum of the values of the Mbius -
function:
M (x) M (x)
lim inf 1/2 = and lim sup 1/2 = +,
x x x x
which would improve the unconditional bounds (3.1). The methods of
Putnam, Lapidus and van Frankenhuijsen do not apply to c-values.
1.005
1.0025
1 2 3 4 5 6
0.9975
0.995
0.9925
0.99
0.005
1 2 3 4 5 6
0.005
0.01
0.6
0.58
0.56
0.54
0.52
|f ( + it + i ) f ( + it)| <
where the j (p) are complex numbers with |j (p)| 1; this is axiom (iv) in
addition with a bound for the local roots which is equivalent to the Ramanujan
hypothesis (i) by Lemma 2.2. Clearly, the Dirichlet series coecients a(n) are
multiplicative and satisfy
a(n) = j (p)kj n
p|n k1 ,...,km 0
k1 ++km =p (n)
for any > 0. Any such Euler product L(s) is regular and zero-free for > 1
and we may dene its logarithm log L(s) (by xing any of the single-valued
branches of the logarithm). This logarithm has also a Dirichlet series expan-
sion, for > 1 given by
m
j (pk )
log L(s) = . (9.19)
p j=1 k=1
kpks
Theorem 9.6. Let M (x, ) be a positive function, dened for 0 < 12 and
x 2, such that every interval (t1 , t2 ) R of length M (x, ) contains a
number for which
log p
2 < for all p x, (9.20)
9.5 Almost Periodicity in the Half-Plane of Absolute Convergence 179
We argue quite similar as Bohr [30] in his proof for almost periodicity of
Dirichlet series in their half-plane of absolute convergence.
m
j (p)k 1
log L(s) log L(s + i ) = 1 .
p j=1 k=1
kpks pik
Since the j (p) all have absolute value less than or equal to one, we obtain
where x and y are parameters 2, which will be chosen later. First of all, we
shall bound the rst sum on the right-hand side for some values of .
In order to nd real numbers such that pik lies for p x and k y
suciently close to 1 we apply (9.20). It follows that, for any (0, 12 ] and any
real number t1 , there exist integers xp and a real number (t1 , t1 + M (x, ))
such that
| log p 2xp | < 2 for all p x.
In particular,
(2k)2
cos(k log p) > cos(2k) 1 ,
2
and
sin(k log p) < sin(2k) 2k
for all primes p x, provided that k y < 1
4 . Then we obtain
5
|1 pik |2 = (1 cos(k log p))2 + sin2 (k log p) < (2k)2 (9.22)
4
180 9 Eective Results
In order to estimate the double sum on the right, note that by the uniqueness
of the prime factorization of the integers
1 1
.
pk y
n
px ky nx
Since
z z n z
1 du du 1
< = < ,
n=2
n
n=2 n1
u
1 u 1
we may replace (9.23) by
1
1 1 < 5 . (9.24)
kpk p 1
i
px ky
Next we have to estimate the second and the third term on the right-hand
side of (9.21). For the sake of simplicity we shall not give the optimal and
rather complicated bounds. Later, it will turn out that these rough estimates
do not eect our result.
First of all,
k
1 1 2 1
1 1 2 .
kpk pik y pk y 2
px k>y px k>y px k>y
Thus, we have
1 1 4(x)
1 < . (9.25)
kpk pik y2y
px k>y
It remains to bound
1 1 1 1
1 ik 2 + . (9.26)
p>x
kpk p p>x
p p>x kpk
k=1 k=2
Since
1 1 p 1 x 1 x 2
= < <
p 1
p p 1
p x 1
p x1 p
for p > x, it follows that
1
1
k
< .
p>x k=2
kp p>x
p
To estimate the sum on the right we make use of the prime number Theo-
rem 1.1. By partial integration we obtain
1
u
= u d(u) = (1 + O(1)) u du.
p>x
p x x log u
for any which satises (9.20). For a suitable choice of our parameters x, y
we can make the right-hand side of (9.29) as small as we please. Let
182 9 Eective Results
1/ 1
x= and y = 1+ log ; (9.30)
then the condition 4y < 1 for (9.22) is fullled for suciently small . It
follows that:
5
max | log L(s) log L(s + i )| < m ( + O(1)) =: .
1+
This proves the assertion of the theorem for log L.
Since |j (p)| 1, we have for > 1
m
1 m
|j | 1
|L(s)| 1 1 = ()m .
j=1 p
p p
p
Hence
max |L(s)| (1 + )m .
1+
Furthermore,
1 1+
(1 + ) = 1 + <1+ u(1+) du = .
n=2
n1+ 1
Obviously,
1
cos( log p ) < 1 + for 1 N,
N
where p denotes the th prime number. This can be regarded as a rst
eective version of Kroneckers approximation theorem, with a bound for
similar to the bound in Dirichlets approximation theorem. Using the idea of
Bohr and Landau in connection with Bakers estimate for linear forms, Rieger
[309] proved the following remarkable discrete approximation theorem:
u Z, 0 < |u | U, R for 1 N.
LK = { C : exp() K}.
note that h() = log || for every integer = 0, and h(0) = 0. Waldschmidt
[365] proved
= 0 + 1 log a1 + + N log aN .
Theorem 9.9. With the notation and the assumptions of Theorem 9.7 there
exists an integer h0 such that (9.31) holds and
N
b h0 b + 2 + exp 28N +51 N 2N (1 + 2 log pN )(1 + log pN 1 ) log p
=2
((3U (N + 2) log pN )4 + 2)N +2 ;
in the special case that the primes p1 < p2 < . . . < pN are the rst N succes-
sive prime numbers, we obtain the stronger inequality
N u
f (t) = 1 + exp(2it) + exp 2i t log p .
=1
v
b+B
N
N
exp 2i (j j ) t (j j ) dt.
b =1 =1
Since the logarithms of prime numbers are linearly independent, the sum
N
(j j )
=1
if j = j for 1 N , and
N
b+B
N
exp 2i (j j ) t (j j ) dt
b
=1 =1
N 1
1
(j j )
=1
Setting 0 = j0 j0 ,
= uv (j j ), and a = p for 1 N , we nd,
with the notation of Theorem 9.8,
N
= (j j ) .
=1
Hence we obtain
2
k!
J B
j0
j1 ! jN !
j1 ++jN =k
A k! k!
! j ! . (9.33)
j0
j1 ! jN ! j 0
j1 N
j1 +...+jN =k j ++j =k
1 N
Since
1 (k + 1)N +2 ,
j0
j1 ++jN =k
|f ( )| = max |f (t)|,
t[b,b+B]
we obtain
B(N + 2)2k
J B|f ( )|2k .
2(k + 1)N +2
This gives
(N + 2)2 log k
|f ( )| > N + 2 2, where := ; (9.34)
3k
note that < 1 for k 11. By denition
9.6 Eective Inhomogeneous Diophantine Approximation 187
N
f (t) = 1 + exp(2i(t )) + exp(2i(tm m )).
m=0
m=
Now we are in the position to present our eective result on the almost
periodicity for the polynomial Euler products under consideration. For this
purpose we shall apply Theorem 9.9 with x = pN . Recall that m was the
degree of each Euler factor in the polynomial Euler product for L. For the
sake of simplicity we use the rough estimate N = (x) x which gives
M (x, ) = 4x exp x2x .
Corollary 9.10. Let L(s) be given by (9.18) and > 0. For suciently small
> 0,
C(m+1)/ 1/
(m + 1)/ 1/
(L, , ) = (C m+1 )C
exp C (m+1)/ 1/ ,
1 1
lim inf N (T ; a, b, c) > 0.
T T (L, , )
Since the Euler products under observation have no zeros in their half-plane of
convergence, we have N (T ; 1, , 0) = 0; however, we expect N (T ; 1, , c) 1
for any c = 0 (as in the case of the zeta-function).
Again we shall use Rouchs theorem in order to localize c-values.
K = {s C : |s c | }.
For suciently small > 0 the disk K is contained in the rectangle a < <
b, 0 < t < T . Now assume that there is some real number for which
max |L(s) c {L(s + i ) c}| < < min |L(s) c|; (9.36)
|sc |= |sc |=
the second inequality holds for suciently small and . By the maximum
principle the left-hand side equals
By almost periodicity, the latter quantity can be made arbitrarily small for a
set of with positive lower density. Now, for any satisfying (9.36), Rouchs
Theorem 8.1 implies the existence of a zero c of L(s) c in
K + i := {s C : |s i c | }.
9.7 c-Values Revisited 189
Hence, 1/k
by Corollary 9.10.
We apply Theorem 9.6 and (9.37) to prove the existence of large values of
the zeta-function in some distance of the pole at s = 1. Recall that
1
(s) = + O(1)
s1
for s 1. Let c be a large positive real number; then there exists a real
number c with
1
1 < c 1 + for which c = (c ).
c
190 9 Eective Results
2.5
1.5
0.5
20 40 60 80 100
Fig. 9.3. |(1 + it)| for t (0, 100]. The limit superior of the peaks grows with t to
innity, the limit inferior of the valleys tends to zero
9.7 c-Values Revisited 191
Theorem 9.9 is due to Steuding [344] and was used to prove -results for
Dirichlet L-functions in the half-plane of absolute convergence. It was shown
that for any real there are innitely many values of s = + it with 1+
and t + such that
log log log t
Re {exp(i) log L(s, )} log + O(1)
log log log log t
and
Re {exp(i) log L(1 + it, )} = (log log log log t).
It seems that also these estimates for L(s, ) are one iterated logarithm o
the true order. However, in contrast to -results, these large values are taken
frequently.
10
Consequences of Universality
NLc (1 , 2 , T ) T.
For any ,
exp(sm+1 ) 1 + sm+1 mod s2m+2 .
Thus,
m
m
ak
exp k
bk s + sm+1
(1 + s m+1
) k m+1
s + s mod sm+2 .
k!
k=0 k=0
10.2 Functional Independence 195
0. This shows
which exists since a0 =
m+1 m+1
ak
exp bk sk
sk mod sm+2 ,
k!
k=0 k=0
By the universality Theorem 5.14, for any > 0, there exists a such that
rk
max |L(s + 0 + i ) g(s)| < 2
|s|r k!
to the function
f (s) = L(s + 0 + i ) g(s)
with suciently small r, we obtain
Suppose the contrary, i.e., F (z) 0. Then there exists a Cn for which
F (a) = 0. Since F is continuous we can nd a neighbourhood U of a and a
positive such that
|F (z)| > for z U.
Choosing an arbitrary with max{ 12 , 1 d1L } < < 1, an application of
Theorem 10.2 yields the existence of some t for which
which contradicts our assumption. This proves our claim which is the assertion
of the theorem with N = 0.
Without loss of generality we may assume that F0 (z) is not identically
zero. As above there exist an open bounded set U and a positive such that
|F0 (z)| > for z U.
Denote by M the maximum of all indices m for which
sup |Fm (z)| = 0.
zU
If M = 0, then the assertion of the theorem follows from the result proved
above. Otherwise, we may take a subset V U such that:
inf |FM (z)| >
zV
for some positive . By Theorem 10.2, there exists a sequence tj , tending with
j to innity, such that
This implies
M
(n1)
lim ( + itj ) Fk (L( + itj ), L( + itj ) , . . . , L( + itj )
k
) = ,
j
k=0
We then say that the family F1 , . . . , Fm is weakly jointly universal. This notion
was introduced by Sander and Steuding [315] in order to prove that families of
Hurwitz zeta-functions with rational parameters satisfying certain side condi-
tions are weakly jointly universal and functional independent.
Theorem 10.4. Suppose that F1 (s), . . . , Fm (s) are weakly jointly universal.
Then for almost all s0 with Re s0 (m , 1) (i.e., all but from a discrete set)
the image of the curve
(1) (1)
(t) := F1 (s0 + it), . . . , Fm (s0 + it), . . . , F1 (s0 + it), . . . , Fm (s0 + it)
We only give a sketch of the proof since the argument is in principal the
same as in the proof of Theorem 10.2. For j = 1, . . . , m and 0 k < , to
any given set of complex numbers akj with a0j = 0, there exists a polynomial
gj (s) such that
(k)
akj = (exp(gj (s))) . (10.2)
s=s0
Let K be the closed disk with center s0 and radius r > 0 such that K lies
inside the strip m < < 1. Now we make use of our assumption that the
functions Fj (s) are weakly jointly universal. We may assume that the functions
fj (s) := exp(gj (s)) are linearly independent (if not, then we may replace the
gj (s) by gj (s)+j (s) with suitable functions j (s) such that (10.2) still holds).
Further, we may assume that the Fj (s) are jointly universal with respect to
the functions fj (s) for a small neighbourhood K of s0 , a disk with center s0
of radius , say. In particular, for any > 0, there exists a real number
such that (10.1) holds. Now dene j (s) = Fj (s + i ) gj (s). Using Cauchys
integration formula,
,
(k) k! j (s)
j (s0 ) = ds,
2i |ss0 |= (s s0 )k+1
10.3 Joint Functional Independence 199
This leads to
(k) k!
max Fj (s0 + i ) akj < k
1jm
for k = 0, 1, . . . , 1. Taking suciently small the assertion follows.
Now we may use the previous theorem to prove the functional indepen-
dence for jointly universal families and their derivatives:
Theorem 10.5. Suppose that F1 (s), . . . , Fm (s) are weakly jointly universal.
Let f0 , . . . , fn be continuous functions on Cm . If
n
(1) (1)
sk fk F1 (s), . . . , Fm (s), . . . , F1 (s), . . . , F1 (s) = 0
k=0
Again we give only a sketch of the proof. First, we show that if f is a continuous
function on Cm and
(1) (1)
f F1 (s), . . . , Fm (s), . . . , F1 (s), . . . , Fm (s) = 0
(1)
F1 (s0 + itj ), . . ., Fm (s0 + itj ), . . ., F1 (1)
(s0 + itj ), . . ., Fm (s0 + itj ) U.
This gives the desired contradiction. So we have proved the assertion of the
theorem in the case of n = 0.
To prove the full assertion we may now assume that f0 is not identically
zero. By the same reasoning as above, there exists an open bounded set U
and a positive such that (10.3) holds with f0 in place of f . Now denote by
the maximum of all indices 1 k m such that the supremum of all values
|fk (z)| for z U is positive. For suciently small > 0, we may nd a subset
V U for which
inf |f (z)| > .
zV
200 10 Consequences of Universality
(1)
F1 (s0 + itj ), . . . , Fm (s0 + itj ), . . . , F1 (1)
(s0 + itj ), . . . , Fm (s0 + itj ) V.
Andersson [1] gave a disproof of this and two related conjectures on moments
of Dirichlet polynomials due to Ramachandra. Actually, Andersson proved the
following statement: for any H, > 0 and 0 < < 12 there exists an N 2
10.5 Voronins Theorems and Physics 201
trace formula expresses the relation between classical and quantum states.
Gutzwiller constructed a solution of Schrdingers equation on the punctured
torus which may be regarded as the quotient of the upper half-plane by a free
subgroup of index six in SL2 (Z). This solution represents the scattering and
reection of a particle which enters the torus through the hole. The scattering
phase shift is essentially the argument of (s) on the line = 1. The univer-
sality theorem reects the chaotic behaviour of the zeta-function inside the
critical strip, and in particular the zero-distribution is expected to be closely
related to the quantum chaos in this model.
Bitar, Khuri and Ren [24] found an interesting application of Voronins
Theorems 1.6 and 1.7 to Feynmans path integral in quantum physics. They
obtained a formula for the partition function as a discrete sum over paths
with each path labeled by an integer and given by a zeta-function evaluated
at a xed set of points in the critical strip. These points are the image of the
spacetime lattice resulting from a linear mapping.
then also
max max |F(s + i ) gj (s)| < ,
1jn sKj
of F(s) are said to be jointly universal with respect to 1 , . . . , n if, for every
compact K with connected complement and for which the sets Kj are dis-
joint subsets of D, every family of (non-vanishing) continuous functions gj (s)
dened on K which are analytic in the interior, and for any > 0, we have
1
lim inf meas [0, T ] : max max : Fj (s + i ) gj (s)| < > 0.
T T 1jn sK
(1) (1)
F1 (s0 + it), . . . , Fn (s0 + it), . . . , F1 (s0 + it), . . . , Fn (s0 + it)
lies dense in Cn . It should be noticed that in the case of the zeta-function
this implies and generalizes both statements of Voronins Theorem 1.6. More-
over, as in Sect. 10.2, this statement can be used to deduce the functional
independence for these shifts, i.e., if f0 , . . . , fm are continuous functions on
Cn , and if
m
(1) (1)
sk fk F1 (s), . . . , Fn (s), . . . , F1 (s), . . . , Fn (s) = 0
k=0
Z(s + i ) g(s)
= a1 {F1 (s + i ) g1 (s)} + a2 {F2 (s + i ) g2 (s)}
n
. / n
+ aj Fj (s + i ) gj (s) + aj .
j=3 j=3
for > 2 , and is regular and of nite order in the strip 1 < < 2 with
bounded second moment:
1 T
lim sup |F( + it)|2 dt < ; (10.9)
T T 0
10.6 Shifts of Universal Dirichlet Series 205
notice that these assumptions hold for the Riemann zeta-function, Dirichlet L-
functions, Lerch zeta-functions, and many other naturally appearing Dirichlet
series with 1 = 12 and 2 = 1.
To obtain some information on the zero-distribution of Z(s) we denote by
NZ (, T ) the number of zeros = + i of Z(s) satisfying > , 0 < < T .
Then
the constants c1 and c2 are explicitly given by (10.12) and (10.15) if condition
(10.13) holds.
The method of proof relies on Theorem 10.6 and techniques from Sects. 7.1
and 8.2 (respectively, Sect. 9.2).
Proof. We start with the lower bound. For and r > 0 we shall consider the
function g(s) := s dened on the disk of radius r and center , that is
K := { + s : |s| r}. We suppose that the disks Kj := {j + s : s K} are
disjoint and that 1 + r < < 2 r. An application of Theorem 10.6
yields the existence of some positive real numbers such that
This implies
for suciently small . The function g( + s) = s has a zero inside the disk
|s| r and so, by Rouchs Theorem 8.1, there exists a zero of Z(s) inside any
of the sets { + s + i : |s| r} provided inequality (10.10) holds. The number
of these zeros will give a lower bound for the zero-counting function NZ in
the formulation of the theorem. As in the proof of Theorem 8.3 (respectively,
Theorem 9.1), we get
1
NZ (, T ) meas I(T ),
2r
where := r > 1 , and I(T ) is the set of [0, T ] such that (10.10)
is valid. In view of (10.11) we can take r = . By Theorem 10.6,
1
d() := lim inf meas [0, T ] : max |Z(s + i ) g(s)| < > 0
T T sK
206 10 Consequences of Universality
for any positive for which the sets Kj = {j + s : |s| } lie disjoint. This
yields the lower estimate of the theorem with the constant
1
c1 = d()
2
1 1
= lim inf meas [0, T ] : max |Z( + + s + i ) s| < (10.12)
2 T T |s|
n
f (1) = 1 and a := aj = 0. (10.13)
j=1
the error term estimate comes from a standard use of Jensens formula (as in
the proof of Theorem 7.1). By Jensens inequality, the appearing integral is
T
T 1
log |Z(1 + it)| dt .
2
4 T 0
Since F(s) is regular and of nite order with bounded second moment (10.9),
it follows from Carlsons Theorem 2.4 that, for > 1 ,
1 T
|f (n)|2
lim |F( + it)|2 dt = =: F (2).
T T 0 n=1
n2
10.6 Shifts of Universal Dirichlet Series 207
This leads to
n
n
1 T 1 T
lim |Z(1 + it)| dt
2
|aj | lim
2
|Fj (1 + it)|2 dt
T T 0 |a|2 j=1 T T 0
n
n
= |aj |2 F (2(1 + Re j )).
|a|2 j=1
here the sum on the left-hand side is taken over all zeros of Z(s) satisfying
the condition of summation. Since, for 1 < 1 < ,
1
NZ (, T ) (Re 1 ),
1 Re >
1
0<Im T
we obtain
T n n
NZ (, T ) log |aj |2 F (2(1 + Re j )) + O(1) .
4( 1 ) |a|2 j=1
11.1 Zero-Distribution
Let q be a positive integer and let f : Z C be a q-periodic arithmetical
function, i.e.,
f (n + q) = f (n) for all n Z.
We dene the associated Dirichlet series by
f (n)
L(s, f ) = .
n=1
ns
Since the coecients are bounded, this series converges for > 1. In the
sequel, we assume that f does not vanish identically zero. However, we do
210 11 Dirichlet Series with Periodic Coecients
valid for > 1 (this is a special case of the functional equation (1.44)), we
get from (11.1)
q
s (s) is f (n)
L(1 s, f ) = exp
2 q 2 n=1 ns
is f + (n)
+ exp
2 n=1 ns
Cf = max{|f (a)| : 1 a q}
and
mf = min{a : 1 a q, f (a) = 0}.
Then, for > 1, we obtain
f (n)
f (n)
L(s, f ) = s
= (s, f ) + ,
n=m
n n=m +1
ns
f f
where
f (mf )
(s, f ) := .
msf
This leads to the estimate
1 dx Cf m1
f
|L(s, f ) (s, f )| Cf Cf .
n=mf +1
n mf x 1
Hence, as ,
1
L(s, f ) = (s, f ) + O .
mf
This implies
L(s, f ) = 0 for > 1 + A(f ),
where
Cf
A(f ) := .
|(1, f )|
By the functional equation (11.3) and the non-vanishing of the Gamma-
function, L(1 s, f ) vanishes if and only if
is is
exp L(s, f ) = exp L(s, f + ).
2 2
Dene B(f ) = max{A(f )}. It follows that for < B(f ) the function
L(s, f ) can only have zeros close to the negative real axis if mf + = mf , and
close to the straight line, given by
t
=1+ mf ,
log mf +
Proof. Dene
L(s, f )
Z(s, f ) = .
(s, f )
Of course, the zeros of Z(s, f ) are exactly the zeros of L(s, f ). Let a = 2 +
max{A(f ), B(f )}. Then, by the condition on b, all non-trivial zeros of L(s, f )
and L(s, f ) have real parts in the interval (b, a).
First, suppose that L(s, f ) is regular at s = 1. Then Littlewoods
Lemma 7.2, applied to Z(s, f ) and the rectangle R with vertices a iT, b iT ,
yields
T T
2 ( b) = log |Z(b + it, f )| dt log |Z(a + it, f )| dt +
>b T T
||T
a a
arg Z( iT, f ) d + arg Z( + iT, f ) d
b b
4
= Ij , (11.5)
j=1
say. To dene log Z(s, f ) we choose the principal branch of the logarithm
on the real axis, as ; for other points s the value of the logarithm
is obtained by analytic continuation in a standard manner. If L(s, f ) is not
11.1 Zero-Distribution 213
This yields I2 1 by the same argument as in the proof of the estimate (7.8).
Hence, we get
1 T
I1 + I2 = 2 b T log
2 2emf mf mf +
1 , f 1 , f +
2
+ T log 2
2
+ O(1).
1, f
2
The latter sum is O(N (T, f )). So most of the non-trivial zeros are either
approximately symmetrically distributed or lie close to the critical line. Indeed,
setting
N+ (, T, f ) = { : > , || T }
and
N (, T, f ) = { : < , || T },
one can prove by the techniques which we used for the proof of Theorem 7.6:
Theorem 11.3. Let f be a q-periodic arithmetic function. Then, uniformly
in > 0,
1 1 1
N+ + , T, f + N , T, f T log log T
2 2
log log T
N (T, f ).
log T
Moreover, for every xed > 12 ,
N+ (, T, f ) T.
11.1 Zero-Distribution 215
Thus, the non-trivial zeros of any L(s, f ) are clustered around the critical line.
It seems that the clustering is a common pattern for Dirichlet series with a
Riemann-type functional equation.
Now dene
2 1
(f ) = lim .
T T 2
non-trivial
||T
It follows from Corollary 11.2 that L(s, f ) has innitely many zeros o the
critical line if
1 , f 1 , f +
2
(f ) = log 1 2
2
= 0.
,f
2
Hence, a non-zero value of (f ) indicates an asymmetrical distribution of the
non-trivial zeros of L(s, f ) (with respect to the critical line), and in this case
the number of non-trivial zeros of L(s, f ) with = 12 and || T is
|(f )| T
.
1 + 2 max{A(f ), B(f )}
For example, the Ramanujan sum
an
cq (n) := exp 2i
a mod q
q
(a,q)=1
is q-periodic (in the n-aspect). Since cq (1) = (q) and cq (1) = q, where
is the Mbius -function, we have (cq ) = log q by Corollary 11.2 if q is
squarefree. It turns out that there are more than
log q T
1 + 2(q)
many zeros o the critical line up to level T . However, in this special example
we have Ramanujans identity [301]
L(s, cq ) = (s) (q/d)d1s , (11.7)
d|q
25
20
15
10
0
1 0.5 0 0.5 1 1.5 2
Fig. 11.1. The reciprocal of the absolute value of L(s, 11,5 ) for [1, 2], t [0, 25]
as a contour plot. In each white island there is a zero of (s, 1/5)
a(n)
L(s) := ,
n=1
ns
This follows more or less directly from the functional equation for L(s) which
might be viewed as an identity between absolutely convergent Dirichlet series
(see the proof of Theorem 6.1).
Our aim is to give a dierent classication for the degree zero-elements in
the Selberg class, namely as entire quotients of Dirichlet series with periodic
coecients and the Riemann zeta-function (s). One example we have already
met in (11.7). The general result is
Theorem 11.6. A function L lies in S0 if and only if there exists a periodic
arithmetical function f : N C which satises
f + = f with C, || = 1, (11.9)
and the quotient L(s) = L(s, f )/(s) denes an entire function. In this case,
L(s, f ) S1 .
This result should be compared with a related theorem of Kaczorowski and
Perelli [161] on a characterization of S1 -functions as S0 -linear combinations
of Dirichlet L-functions and with the construction of Dirichlet series with
periodic coecients having zeros o the critical line by Balanzario [14].
Before we give the proof of the theorem we note
218 11 Dirichlet Series with Periodic Coecients
Proof of Theorem 11.6. First, assume that L(s) = L(s, f )/(s) is an entire
function. By Lemma 11.7 we see that L(s, f ) satises the functional equation
(11.10). If f satises additionally (11.9), then we can rewrite (11.10) as
2 q
s s
L(1 s, f ) = L(s, f ).
2 2
We note that L(s, f ) S1 . Using (11.11) also with f constant equal to 1 (the
functional equation for (s)), we obtain
Therefore, L(s), being the entire quotient of two Dirichlet series in S1 , lies in
S0 . This proves the suciency.
Now assume that L S0 . By Theorem 11.5 there exist a positive integer
2
Q and complex numbers a(n) such that the coecients a(n) in the Dirichlet
series
expansion of L(s) vanish if n does not divide Q2 . Now dene f (n) =
d|n a(d), then
f (n + Q2 ) = a(d) = a(d) = f (n),
d|(n+Q2 ) d|n
(d|Q2 ) (d|Q2 )
11.3 Strong Universality 219
It is interesting to investigate the dierence between the Selberg class and the
extended Selberg class, or which functions lie in S \ S? The descriptions of
these classes are complete for degree less than or equal to one. For degree two
Kaczorowski et al. [158] gave examples with Dirichlet series associated with
cusp forms of certain Hecke groups. Note that for a positive real number ,
the Hecke group G() is dened as the subgroup of PSL2 (R) given by
0 1
1 0 1
G() := , .
0 1 1 0
Kaczorowski et al. showed that the associated Dirichlet series are elements
of S or a related class of Dirichlet series where the axiom on the functional
equation is appropriately adjusted. Moreover, they showed that the Dirichlet
series associated to newforms for G() have an Euler productrepresentation
if
and only if G() can be arithmetically dened, i.e., if {1, 2, 3, 2}. Their
result is based on Heckes famous theorem on the correspondence of Dirichlet
series with functional equation and modular forms, and a result of Wolfart
on the arithmetic nature of the Fourier coecients of the associated modular
forms. For 2, Molteni and Steuding [257] proved that all these Dirichlet
series are almost primitive
(i.e., primitive up to factors of degree zero) and
primitive if { 2, 3, 2}; if the latter condition is not fullled, there are
examples of non-primitive functions.
Proof. For the (q) pairwise non-equivalent characters j mod q dene the
matrix
= (j (n)) 1nq,(n,q)=1 .
1j(q)
(q)
f (n) = cj j (n) for 1 n q, (n, q) = 1,
j=1
(q)
L(s, f ) = cj L(s, j ). (11.12)
j=1
g(s) + g g
g1 (s) = , g2 = ,
c1 c2
and
gj (s) = for 3 j (q),
where is a small positive parameter, chosen later. Using the joint universality
Theorem 1.10 for Dirichlet L-functions, we obtain, for any > 0,
1
lim inf meas [0, T ] : max max |L(s + i, j ) gj (s)| < > 0.
T T 1j(q) sK
Note that
g(s) = c1 g1 (s) + c2 g2 (s).
11.3 Strong Universality 221
(q)
(q)
|cj | max |L(s + i, j ) gj (s)| + |cj |
sK
j=1 j=3
2r3
d(, g, L(s, f )) 3
(r2 ||2 ) 4 + Re 2r 1
1
q
a
log |f (a)|2 21 , .
q 21 a=1 q
The proof is quite similar to some parts of the proof for Theorem 10.7.
Proof. Denote by N (, T, f ) the number of zeros = + i of L(s, f ) with
> and 0 < T . Then Littlewoods Lemma 7.2 yields
2
1
N (, T, f ) d = log L(s, f ) ds + O(1), (11.13)
1 2i R
where R is a rectangular contour with vertices 1 , 2 , 1 + iT, 2 + iT , where
1
2 < 1 < 1 < 2 . Here the error term arises from the possible pole of L(s, f )
at s = 1 and log L(s, f ) is dened in a standard manner (as in the proof of
Theorem 11.1). Since
L(s, f ) = 1 + O(1)
as , we choose 2 so large that L(s, f ) has no zeros in the half-plane
2 . A standard application of Jensens formula (as in the proof of
Theorem 7.1) shows that the right-hand side of (11.13) is equal to
222 11 Dirichlet Series with Periodic Coecients
T
1
log |L(1 + it, f )| dt + O(log T )
2 0
T 1 T
log |L(1 + it, f )| dt + O(log T ).
2
4 T 0
valid for > 12 , and the identity (7.4), we may replace (11.13) by
T 1
q
a
( 1 ) log |f (a)| 21 ,
2
(11.14)
>
4 q 21 a=1 q
1
0<T
+O(log T ).
We give an example. For an odd prime q, consider the function L(s, 11,q ),
given by (11.8). By Theorem 11.8, L(s, 11,q ) has the universality property, and,
using Theorem 11.9, we obtain after some lengthy calculations, for suciently
small > 0,
2 98 + ||
2 r3
d(, g, L(s, 11,q )) 9/8+||/2 .
q (r2 ||2 )
Since the right-hand side tends to zero as q , the problem to approximate
an analytic isomorphism g(s) by a function L(s, 11,q ) becomes, in some sense,
more and more dicult with increasing q.
11.4 Hurwitz Zeta-Functions 223
Following the reasoning of Chap. 10, universality for Dirichlet series with
periodic coecients leads to results on the denseness of the set of values
taken on vertical lines, and functional independence. Here we only consider
the particular case of the distribution of zeros. Strong universality leads to
the existence of many zeros o the critical line. Via Rouchs Theorem 8.1
the universality property implies the existence of T zeros in each strip 12 <
1 < < 2 < 1 up to level T . This reasoning is very similar to the proof
of Theorem 10.1. In particular, it follows that the real parts of the zeros lie
dense in [ 12 , 1]. In conjunction with the estimates of Theorem 11.3 we get the
exact order of size for the zero-counting function N (, T, f ), introduced in the
proof of Theorem 11.9.
Corollary 11.10. Suppose that L(s, f ) satises the conditions of Theo-
rem 11.8. Then, for 12 < < 1,
N (, T, f ) T.
There is another interesting result in this context. Kaczorowski and
Kulas [156] proved that any element L of degree 1 of the extended Selberg
class has o(T ) many zeros in the same range as in Theorem 11.9 if and only
if L(S) has a factorization
L(s) = P (s)L(s, ),
and
max max |L(s + i, ) g (s)| < .
mod q sK
Goneks theorem does not show that the set of these has positive lower
density as in Voronins universality theorem for the zeta-function and also
the set K on which these approximations are realized is more restricted than
usually in universality theorems (however, it seems to be possible to extend
Goneks approach in order to obtain these stronger concepts of universality).
But this result has the option that the diophantine condition (11.17) can be
used to remove the factor 2s in (11.16) as well as the factor q s in (11.15).
Bagchi [9] gave a dierent argument based on statistical independence. A third
possibility is to use the joint discrete universality Theorem 5.17 for Dirichlet
L-functions due to Bagchi [9].
Sander and Steuding [315] used the latter argument to obtain a joint uni-
versality theorem for Hurwitz zeta-functions with rational parameters. We
sketch the simple argument which mimics the proof of Theorem 11.8. Dene
vectors
1 a
t
t
Z := s s, and L := L(s, j ) .
q q 1aq;gcd(a,q)=1 1j(q)
j
Z = ML with M := ,
(q) 1aq;gcd(a,q)=1
1j(q)
11.4 Hurwitz Zeta-Functions 225
Now, choosing appropriately, we may get rid of the factor q in and arrive
at the following weak joint universality theorem:
where = 2k
log q with any k N if q 2, and 0 = R otherwise.
it is easily seen that there exist dependence relations among the Hurwitz
zeta-functions (s, aq ) with a A if A > (q). However, if A (q),
then there exists restricted joint universality whenever the target functions are
linearly independent; here the conditions are rather technical. Nevertheless,
using the notion of weak joint universality from Sect. 10.3, it follows that
many families of Hurwitz zeta-functions with rational parameters are jointly
functional independent.
There is an interesting related, recent result due to Nakamura [276] who
proved that generalizations of Lerch zeta-functions are not jointly universal.
This is a rather surprising result. For , , (0, 1] and Re [0, 12 ) the
generalized Lerch zeta-function L(, , , , s) is for > 1 dened by
exp(2in)
L(, , , , s) =
n=0
(n + )s (n + )
and by analytic continuation for > 0 except for at most a simple pole at
s = 1. We note that for = or = 0 this function is indeed a Lerch
zeta-function:
In fact, Nakamura [276] showed joint universality for any nite family
L(j , j , j , , s) provided the j are algebraically independent transcenden-
tal numbers; however, he also proved that any family L(j , , j , , s) with
transcendental is not jointly universal in the sense of Voronin if at least two
of the j are equal. The latter statement follows from the fact that the set
(L(, , j , , s + i ), L(, , k , , s + i ))
is not dense for any admissible pair j , k in the according function space as
varies in R. However, this does not exclude the possibility of joint universality
for a large class of functions.
11.4 Hurwitz Zeta-Functions 227
In principal, we could also deal with dierent strips for the dierent Lk (s),
however, to simplify the presentation we may restrict on one for all. By The-
orem 2.4 (respectively, (4.2)), the set D is not empty. We write H(D) for
the -dimensional cartesian product of the spaces of analytic functions H(D).
L
Further, we dene a probability measure PT by setting
L 1
PT (A) = meas { [0, T ] : L(s + i ) A}
T
for A B(H(D) ). For s D and , we put
The proof relies in the main part on the one-dimensional limit Theorem 4.3
which applies individually to any component Lk (s) of the vector L(s).
We start with
L
Lemma 12.2. The family of probability measures {PT : T > 0} is relatively
compact.
1
PL
T (A) =
k
meas { [0, T ] : Lk (s + i ) A}
T
for A B(H(D)). By Theorem 4.3, restricted to D, the probability measure
PLT converges weakly to the distribution of the corresponding random element
k
Lk (s, ), i.e, as T ,
PLT P ,
k Lk
for A B(R), where 1(t; A) is the indicator function of the set A. Consider
the H(D) -valued random element
Then, by (12.2),
Q(Lk (s + iT ) H(D) \ Kk ) <
for 1 k . Hence, for K := K1 K ,
L
PT (H(D) \ K) = Q(LT (s) H(D) \ K)
=Q (Lk (s + iT ) H(D) \ Kk )
k=1
Q(Lk (s + iT ) H(D) \ Kk ) <
k=1
L
for all T > 0. Consequently, the family {PT } is tight and so, by Prokhorovs
Theorem 3.4, it is relatively compact. The lemma is proved.
Let s1 , . . . , sr be arbitrary points in D. We put
1
0 = min Re sm and 1 = 0 .
1mr 2
Clearly, 0 > 12 and 1 < 0. Now let D1 = {s C : > 1 }. For given
complex numbers ukm for 1 k and 1 m r, dene a function
h : H(D) H(D1 ) for s D1 by
r
h(f1 (s), . . . , f (s)) = ukm fk (sm + s). (12.3)
k=1 m=1
r
r
aLk (n)
W (s) = ukm Lk (sm + s) = ukm
ns+sm
k=1 m=1 k=1 m=1 n=1
r
an ukm aLk (n)
= with an = .
n=1
ns m=1
nsm
k=1
232 12 Joint Universality
Since an 1 by (i), the Dirichlet series an
n ns converges for > 1. Moreover,
|an |2 x.
nx
In view of this estimate, we may apply Theorem 4.12 (with any 0 > 12 ) and
obtain the weak convergence of the probability measure given by
1
meas { [0, T ] : W (s + i ) A}
T
for A B(H(D1 )) to the distribution of the associated random element
an (n)
n=1
ns
r
an (n) aLj (n)(n)
s
= u km
n=1
n m=1 n=1
ns+sm
k=1
r
= ukm Lk (s, ) = h(L(s, )),
k=1 m=1
Then, obviously,
D 2
L(s + iT1 ) L(s). (12.4)
T1
2D
h(LT1 (s)) h(L(s)). (12.5)
T1
By Lemma 12.3,
D
h(LT1 (s)) h(L(s, )).
T1
2 D
h(L(s)) = h(L(s, )). (12.6)
12.1 A Joint Limit Theorem 233
The hyperplanes in the space R2r form a determining class and therefore,
the same is true for the hyperplanes in Cr . Taking into account (12.7), we
obtain that, for 1 k and 1 m r, the random elements Lk (sm , )
and L2k (sm ) have the same distribution.
Now let K be a compact subset of D, and let f1 , . . . , f H(D). For an
arbitrary > 0 we set
U = (g1 , . . . , g ) H(D) : max max |gk (s) fk (s)| .
1k sK
From the properties of the random elements Lk (sm , ) and L2k (sm ) it follows
that:
2 Ur ).
m{ : L(s, ) Ur } = PL (L(s) (12.8)
Since the sequence {sm } was chosen to be dense in K, we have U1 U2 . . . ,
and Ur U , as r . Thus, letting r in (12.8), we nd
2 U ).
m{ : L(s, ) U } = PL (L(s)
Since the class of all sets U form a determining class, we obtain
D 2
L(s, ) = L(s).
This and (12.4) gives
D
L(s + iT1 ) L(s, ).
T1
L
This means that the probability measure PT1 converges weakly to the dis-
tribution of the random element L(s, ) as T1 . By Lemma 12.2, the
L
family {PT } is relatively compact. Since the random element L(s, ) does
not depend on the choice of the sequence T1 , the assertion of the theorem
follows.
234 12 Joint Universality
Let m denote the abscissa limiting the intersection of all mean-square half-
planes for the Lk (s). Then, for M > 0, dene
L 1
QT (A) = meas { [0, T ] : L(s + i ) A} (12.10)
T
for A B(H(DM ) )). Then, by Theorem 12.1, we deduce
L
Corollary 12.4. Let L1 , . . . , L S. The probability measure QT converges
weakly to QL , as T .
Further, we dene
m
jk (p)b(p)
gpk (s, b(p)) = log 1 (12.11)
j=1
ps
is dense in H(D) (where g p is dened by (12.11) and (12.12)). Then, for any
> 0,
1
lim inf meas [0, T ] : max max |Lk (s + i ) gk (s)| < > 0.
T T 1k sKk
L
QT (SQL ) = 1
T
L
is called the support of QT ; it consists of all f := (f1 , . . . , f ) H(DM ) such
L
that for every neighbourhood G of f the inequality QT (G) > 0 holds.
L
Lemma 12.6. The support of the measure QT is the set
SM := { H(DM ) : (s) = 0 for s DM , or (s) 0}.
236 12 Joint Universality
H(DM ) , dened by
f = (f1 , . . . , f ) exp(f ) = (exp(f1 ), . . . , exp(f )),
m
jk (p)(p)
exp(gpk (s, (p))) = 1
j=1
ps
Now we have nished all preliminaries and can start with the main part
of the proof of Theorem 12.5.
First, we suppose that the functions g1 (s), . . . , g (s) all have a non-
vanishing analytic continuation to DM . By Lemma 12.6, the gk s are con-
tained in the support SL of the random element L(s, ). Denote by the set
of functions = (1 , . . . , ) H(DM ) such that
L
Since by Corollary 12.4 the measure QT converges weakly to QL , as T ,
and since the set is open, it follows from Theorem 3.1 and properties of the
support that:
1
lim inf meas [0, T ] : max max |Lk (s + i ) gk (s)| <
T T 1k sKk
L
= lim inf PT () QL () > 0. (12.14)
T
This proves the theorem in the case of functions gk (s) which have a non-
vanishing analytic continuation to DM .
Now assume that the functions gk (s) are as in the statement of the the-
orem. By Mergelyans approximation Theorem 5.15, for 1 k , there
exists a sequence of polynomials Gkn (s) which converges uniformly on Kk to
gk (s) as n . Since the gk (s) are non-vanishing on Kk , it follows that, for
suciently large m, the functions Gkm (s) do not vanish on Kk and
max max |gk (s) Gkm (s)| < . (12.15)
1k sKk 4
Since any of the polynomials Gkm (s) has only nitely many zeros, there exists
a region G whose complement is connected such that Kk G for 1 k
and Gkm (s) = 0 on G. Hence, there exist continuous branches log Gkm (s)
on G, and the logarithms log Gkm (s) are analytic in the interior of G. Thus,
by Mergelyans Theorem 5.15, for 1 k , there exists a sequence of
polynomials Fkn (s) which converges uniformly on Kk to log Gkm (s) as n .
Thus, for all 1 k and all suciently large n,
238 12 Joint Universality
max |Gkm (s) exp(Fkn (s))| < .
sKk 4
It is obvious that such a twist satises the Ramanujan hypothesis (i) (since
|(n)| 1). By the complete multiplicativity of Dirichlet characters, we obtain
the identity
m 1
a(n) j (p)
L (s) = (n) = 1 (p) ;
n=1
ns p j=1
ps
hence, also the axiom on the polynomial Euler product (iv) holds for L (s).
Next we observe that
|a(p)(p)|2 = |a(p)|2 = |a(p)|2 + O(1), (12.18)
px px px
pq
since there are only nitely many primes dividing q. Hence, L (s) satises
the axiom on the mean-square with the same constant > 0 as for L(s).
However, we cannot show that the analytic axioms (ii) and (iii) hold in this
general frame analytic continuation is a dicult problem in analytic number
theory. Besides the assumption of axioms (ii) and (iii), we shall need one more
condition on the distribution of the values of the Dirichlet coecients a(p) for
prime p in arithmetic progressions.
12.3 Twisted L-Functions 239
holds for any prime residue class h mod q, where q is the least common mul-
tiple of q1 , . . . , qk , and is the quantity from axiom (v). Then, for any > 0,
1
lim inf meas [0, T ] : max max |Lk (s + i ) gk (s)| < > 0.
T T 1k sKk
m
j k (p)b(p)
gpk (s, b(p)) = log 1 , (12.20)
j=1
ps
and g p (s, b(p)) = (gp1 (s, b(p)), . . . , gp (s, b(p))). We follow the proof of The-
orem 5.10. Almost all arguments can be easily extended to our multi-
dimensional case; however, in one instance the linear independence of our
characters plays a crucial role. The main tool for the proof will be a multi-
dimensional analogue of Theorem 5.7:
Theorem 12.9. Let D be a simply connected domain in the complex plain.
Suppose that the sequence of functions {f n = (fn1 , . . . , fn )} be a sequence in
H(D) satises:
If 1 , . . . , are complex Borel measures on (C, B(C)) with compact sup-
ports contained in D such that
fnk dk < ,
C
n=1 k=1
then
sr dk (s) = 0 for r N {0}, k = 1, . . . , .
C
240 12 Joint Universality
The series n=1 f n converges on H(D) .
For every compact K D
max |f n (s)|2 < .
sK
n=1
Then the set of all convergent series n=1 b(n)f n with b(n) is dense in
H(D) .
A proof can be found in Bagchi [10]; it follows along the lines of Theorem 5.7.
We continue with the proof of Theorem 12.8. For 1 k , dene
m
j (p)k (p)
gpk (s) = gpk (s, 1) = log 1 ,
j=1
ps
and g p (s) = (gp1 (s), . . . , gp (s)). Moreover, for 1 k and a parameter
N N which will be chosen later, dene
gpk (s) if p > N,
gpk (s) =
0 if p N,
and let g p (s) = (gp1 (s), . . . , gp (s)). In the proof of Theorem 5.10, we have
shown that there exists a sequence {b(p) : b(p) } such that the series
b(p)gpk (s)
p
converges in H(D). Next, we prove that the set of all convergent series
b(p)g p (s) with b(p) (12.22)
p
is dense in H(D) . It suces to show that the set of all convergent series
b(p)f p (s) with b(p) (12.23)
p
is dense, where fpk (s) := b(p)gpk (s) and f p (s) := (fp1 (s), . . . , fp (s)). For this
purpose we apply Theorem 12.9. In view of the convergence of (12.21), it
follows that the series p f p (s) converges in H(D) ; this implies the second
12.3 Twisted L-Functions 241
Recall that q denotes the least common multiple of the moduli q1 , . . . , q and,
for 1 k , denote by k the character mod q induced by k mod qk . Now
let h be an integer satisfying 1 h q and coprime with q. If p h mod q,
then
k (p) = k (p) = k (h).
Hence, we may rewrite (12.25) as
s
a(p) k (h) p dk (s) <
C
ph mod q k=1
or, equivalently,
|a(p)|h (log p)| < , (12.26)
ph mod q
242 12 Joint Universality
where
h (z) := exp(sz) dh (s) and h (s) := k (h)k (s) (12.27)
C k=1
Our next aim is to show that h (z) vanishes identically. We apply Theo-
rem 5.9. Now, we choose a suciently large positive constant M such that the
support of all k is contained in the region {s C : m < < 1, |t| < M }.
Then, by the denition of h (s),
|h (iy)| exp(M y) | dk (s)|
k=1 C
Now let
1 1
:= (n) := exp n and := (n) := exp n+ .
4 4
Then
1
|h (log p)| |h (log p)|
p
pP (h) nA p
P(h) nA pP
(h)
<p <p
Let
(x; h mod q) = {p x : p P (h)}.
Then we obtain, for < u ,
(cos p )2 1 + 2 1
P
p (h) p
P
(h) P
p (h)\
P
(h)
<pu <pu <pu
By condition (12.19),
1
(cos p )2 = |a(p)|2 (x; h mod q).
px
m2 px
m2
ph mod q ph mod q
j log |h (j )|
lim = and lim sup 1.
j j j j
for r = 0, 1, 2, . . .. The latter identity holds for any h coprime with q. Multi-
plying with i (h) for some arbitrary i with 1 i and summing up over
all prime residue classes h mod q, we get
0 sr dk (s) i (h)k (h)
k=1 C 1hq
(h,q)=1
and so i (s) 0. Since i was arbitrary, all 1 (s), . . . , (s) vanish identically.
Thus, the rst assumption of Theorem 12.9 is also satised and we deduce
the denseness of all convergent series (12.22). It remains to show that this
does not change when we add terms of the form pN g p (s). However, this
can be done in a similar way as in the one-dimensional case. The theorem is
proved.
Obviously, f (s) is analytic in the whole complex plane, all its zeros are located
on the line = 0, and it satises |f ( + it)| 1 for 0. Thus, L(s, ) is an
246 12 Joint Universality
entire function. This yields axiom (ii) and axiom (iii). In case of a primitive
character, the mean-square half-plane of L(s, ) is > 12 by Corollary 6.11.
For Dirichlet L-functions to imprimitive characters, we can do better than
applying Theorem 2.4. Taking into account the properties of the function
f (s) outlined above, we nd
T T
|L( + it, )| dt
2
|L( + it, )|2 dt
1 1
for 0. Thus, by Corollary 6.11 and Carlsons Theorem 2.1, the asymp-
totic mean-square of L(s, ) exists in the same region as the mean-square of
L(s, ). It remains to verify condition (12.19) which we may rewrite as
1
lim 1= ,
x (x) (q)
px
ph mod q
12.5 A Conjecture
We conclude this chapter with a conjecture. So far, all known explicit fam-
ilies of jointly universal Dirichlet series were constructed in a very special
way, namely as twists of a single universal Dirichlet series twisted by pairwise
non-equivalent characters. Examples are Dirichlet L-functions (see Theorem
1.10 for the continuous and Theorem 5.17 for discrete joint universality) and
L-functions to newforms twisted by Dirichlet characters (Theorem 1.12); The-
orem 12.8 may be considered as a conditional attempt to generalize this type
of joint universality. The knowledge of these jointly universal L-functions can
be used to prove joint universality for other Dirichlet series as, for example,
Dirichlet series with periodic coecients (see Theorem 11.8) or Hurwitz zeta-
functions with rational parameters (Theorem 11.12), Dedekind zeta-functions
(see Sect. 13.1) or further L-functions to number elds (Sect. 13.8). In all these
examples, the result is obtained by suitable representations of the functions in
question as linear combinations or products of jointly universal L-functions.
Here, the necessary independence for these joint universality theorems is
deduced from the linear independence of Dirichlet characters (or ray class
12.5 A Conjecture 247
group characters in Sect. 13.8) over C. We should mention that there exist
also analogous results for additive characters: Matsumoto and Laurinikas
[200, 203] obtained joint universality for certain classes of Lerch zeta-functions,
which may be regarded as twists of strongly universal Hurwitz zeta-functions
by additive characters exp(2i aq ) with rational aq (in addition with some
algebraic side restrictions).
To replace the orthogonality relation of (multiplicative or additive) char-
acters by a more general statement, Laurinikas [191], Laurinikas and
Matsumoto [199], respectively, introduced an interesting matrix condition. To
explain this matrix condition in a few words, given a collection of Matsumoto
zeta-functions, it is assumed that there are nitely many distinct subclasses
Pj of the set of prime numbers each of which of positive density such that
the Dirichlet coecients ak (p) for prime p multiplied with some weight are
constant Bkj on the Pj . If the rank of the matrix built from the values (Bkj )
is as large as possible, the coecients ak (p) are linearly independent which
allows to deduce the joint universality of the Matsumoto zeta-functions. Since
the subsets Pj are not necessarily related to the multiplicative structure of
prime residue classes, this approach allows generalizations of joint universal-
ity theorems for Dirichlet series twisted by multiplicative characters.
We may ask whether this is all? The methods sketched above fail to
prove, for example, joint universality for (s) and an L-function to some new-
form. More generally, we ask for a necessary and sucient condition that a
given nite family of L-functions is jointly universal? In the context of the
Selberg class, we expect that Selbergs Conjecture B (or a suitable quantita-
tive extension) could be used to answer this question. By Selbergs Conjecture
B, primitive functions are expected to form an orthonormal system. Recall
that Bombieri and Hejhal [39] proved, assuming a stronger version of Selbergs
conjecture B, the statistical independence of any collection of independent L-
functions in any family of independent elements of S. With regard to this
statistical independence, predicted by Selbergs Conjecture B, it seems rea-
sonable to conjecture that any nite collection of distinct primitive functions
in the Selberg class is jointly universal. Moreover, we expect that any two
functions L1 (s), L2 (s) S are jointly universal, if and only if
a1 (p)a2 (p)
= O(1), (12.35)
p
px
where the Dirichlet series coecients of Lj (s) are denoted by aj (n) and the
summation is over the prime numbers. We shall briey illustrate how this ts
to some special cases of pairs of jointly universal functions.
Assume that we are given functions Lj (s) which are twists of an element of
S by distinct primitive Dirichlet characters j mod q, i.e., aj (n) = a(n)j (n)
for j = 1, 2. Then
248 12 Joint Universality
Now suppose a certain equidistribution: for any prime residue class h mod q,
the inner sum on the right is asymptotically equal to c log log x + O(1), where
c is some positive constant, independent on h mod q. By the orthogonality
relation for characters, it follows that:
a1 (p)a2 (p)
=c 1 (h)2 (h) log log x + O(1) = O(1),
p
px h mod q
which is (12.35). On the other hand, with regard to Theorem 12.8 we expect
L1 (s) and L(s) to be universal (which is known in particular cases).
Finally, let us consider an example where we do not have joint universality,
(s) and (s)2 , say. Here, since the Dirichlet coecients of (s)2 are given by
the divisor function d(n), the left-hand side of (12.35) is obviously unbounded.
13
L-Functions of Number Fields
here the sum is taken over all non-zero integral ideals, the product is taken
over all prime ideals of the ring of integers of K and N(a) denotes the norm of
the ideal a. This generalization of the Riemann zeta-function was introduced
by Dedekind [66] in order to obtain information about the multiplicative struc-
ture of number elds. The identity between series and product is an analytic
version of the unique factorization of integral ideals into prime ideals. In an
algebraic number eld K over Q of degree d any rational prime number p has
a unique factorization into a product of prime ideals
r
e
r
(p) = pj j with N(pj ) = pfj and ej fj = d; (13.1)
j=1 j=1
250 13 L-Functions of Number Fields
Assume that K = Q() with an algebraic integer and F (X) is the minimal
polynomial of . Then for all but nitely many primes p, the factorization of
F (X) modulo p determines the arithmetic of the local Euler factor: if
r
F (X) Fj (X) mod p (13.3)
j=1
since there are at most d = [K : Q] many primes p lying above each rational
prime p and N(p) is smallest if (p) splits completely.
Landau [176] proved the analogue of the prime number theorem for number
elds, that is the prime ideal theorem
x
K (x) := {p OK prime : N(p) x} . (13.4)
log x
Hecke [124] obtained the rst deeper results concerning the analytic behaviour
of Dedekind zeta-functions. He showed that K (s) has an analytic continuation
to C except for a simple pole at s = 1 and satises a Riemann-type functional
equation. Especially the residue of the simple pole contains important infor-
mation about the underlying number eld. Hecke proved that
2r1 (2)r2 hR
lim (s 1)K (s) = % , (13.5)
s1+ |dK |
13.1 Dedekind Zeta-Functions 251
where r1 is the number of real conjugate elds, 2r2 is the number of complex
conjugate elds, h is the class number, R is the regulator, is the number of
roots of unity in the group of units, and dK is the discriminant of K. The class
number is the number of equivalence classes of fractional ideals of K modulo
principal ideals, and so it measures the deviation of OK from having unique
prime factorization. Gauss conjectured that the class numbers h = h(d) of
imaginary quadratic number elds K = Q( D) with discriminant d < 0
tend with d to innity; note that d = D if D 1 mod 4, and d = 4D if
D 2, 3 mod 4. This was rst proved by Heilbronn [128] and in rened form
by Siegel [330]. The problem of nding an eective algorithm to determine
all imaginary quadratic elds with a given class number h is known as the
Gauss class number h problem. This problem is of interest with respect to the
non-existence of exceptional real zeros of Dirichlet L-functions o the critical
line. The general Gauss class number problem was solved by Goldfeld, Gross
& Zagier [102, 107]. A complete determination of the imaginary quadratic
elds with class number one was rst given by Heegner [127] (but his solution
was not completely accepted due to a number of gaps), Baker [12], and Stark
[336] (independently):
Note that class number one is equivalent to unique prime factorization in the
corresponding ring of algebraic integers.
Voronin [362] proved functional independence for any nite collection of
Dedekind zeta-functions to distinct quadratic number elds and
Dedekind zeta-functions to distinct cyclotomic number elds Q(r ), where
r is a primitive rth root of unity and r is assumed to be odd and square-
free.1
Gonek [104] showed that a single Dedekind zeta-function to an abelian number
eld is universal in the strip 1/2 < < 1 and Reich [305, 306] succeeded in
proving discrete universality for Dedekind zeta-functions to arbitrary number
elds (Theorem 5.16); however, here the strip of universality is restricted to
1 [K : Q]1 < < 1. We shall explain the reason for this dierence.
If we are dealing with a Dedekind zeta-function K (s) to a non-abelian eld,
we may apply our universality Theorem 6.12 (this is easily deduced from the
properties listed above). Since K (s) is an element of degree d = [K : Q] in the
1
Voronins paper is published in the same year, 1975, as his universality theorem
for (s) and his reasoning is based on the very same ideas as in his approach
to universality, however, while writing [362], the step to approximating func-
tions rather than numbers was not done (actually, the rearrangement theorem for
series in Hilbert spaces was then not available; cf. [198]). Later Voronin included
the joint universality for Dedekind zeta-functions for such number elds in his
thesis [364] (and also the monograph [166] of Karatsuba & Voronin contains these
results).
252 13 L-Functions of Number Fields
Selberg class, this yields universality in the same strip as obtained by Reich.
Now assume that we are given an abelian number eld K (i.e., a nite Galois
extension with abelian Galois group). Then
K (s) = L(s, k ), (13.6)
k=1
where k denotes the primitive character which induces k , resp. the principal
character mod 1 which induces the trivial character of the Galois group,
and is the number of primitive characters. The simplest example provide
quadratic number elds K = Q( D) with
K (s) = (s)L(s, d ),
where d is the Jacobi symbol and d is the discriminant. (For these facts we
refer to Washington [368].)
Now it is clear how to apply the joint universality for Dirichlet L-functions
in order to obtain universality for K (s). The product (13.6) consists of
Dirichlet L-functions to pairwise non-equivalent characters and we may apply
the joint universality Theorem 1.10. For all but one of the factors L(s, k ) we
dene the target function to be gk (s) 1, whereas the last one may be chosen
freely, g(s) say. Then
g(s) = gk (s).
k=1
If g(s) is assumed to be non-vanishing and continuous on some compact subset
K of 12 < < 1 with connected complement, and analytic in the interior, then
Theorem 1.10 implies
1
lim inf meas [0, T ] : max max |L(s + i, k ) gk (s)| < > 0.
T T 1k sK
However, we can do slightly more. In the sequel we shall sketch how to gen-
eralize this idea in order to obtain joint universality.
Dependence relations between Dedekind zeta-functions are of special
interest with respect to so-called class number relations (see Brauer [43]).
Besides functional independence we shall consider the concept of multiplica-
tive independence. The functions f1 (s), . . . , fm (s) are said to be multiplica-
tively independent if the identity
m
fj (s)aj = 1 with aj Z
j=1
where kdenotes the primitive character which induces k . (For these facts
we once more refer to Washington [368].)
Sander and Steuding [315] showed that both concepts of independence,
functional independence and multiplicative independence, are equivalent to
the discrete joint universality for the Dedekind zeta-functions in question.
Theorem 13.1. Suppose that K1 , . . . , Km are abelian number elds. Then the
following statements are equivalent:
(i) The associated Dedekind zeta-functions are jointly universal: Let K be a
compact subset of 12 < < 1 with connected complement, let q be a positive
integer, and for each 1 j m let fj (s) be a continuous non-vanishing
function on K which is analytic in the interior. Then, for any real = 0
and any > 0,
1
lim inf n N : max max |Kj (s + in) fj (s)| < > 0.
N N 1jm sK
(ii) The matrix M := (jk ) 1jm with jk given by (13.7) has rank m .
1k
(iii) The associated Dedekind zeta-functions are multiplicatively independent.
(iv) The associated Dedekind zeta-functions are functionally independent.
The proof is quite simple. The equivalence of (ii)(iv) is from Marszaek [238].
We sketch the argument. Suppose that the matrix M has rank m and that
m
Kj (s)aj = 1
j=1
254 13 L-Functions of Number Fields
m
m
L(s, k )aj jk = L(s, k ) j=1 j jk ,
a
1=
j=1 k=1 k=1
resp.
m
aj jk = 0 for k = 1, . . . ,
j=1
with Fj (s) := log fj (s) is solvable in G; note that the logarithms Fj (s) =
log fj (s) for s K exist by the condition of the theorem. Now we switch from
the identities
13.1 Dedekind Zeta-Functions 255
Fj (s) = jk Gk (s)
k=1
by exponentiation to
fj (s) = gk (s)jk ,
k=1
where gk (s) := exp(Gk (s)); here the functions gk (s) are continuous non-
vanishing functions on K which are analytic in the interior. By Theorem 5.17
we may approximate any gk (s) by certain shifts L(s + in, k ), i.e.,
Kj (s + in) = L(s + in, k )jk
k=1
= (gk (s) + O())jk = fj (s) + O()
k=1
for any s K and any j. Since (13.10) holds for a set of positive integers n
with positive lower density, the assertion follows.
Of course, in view of Theorem 1.10 we can also replace statement (i) about
discrete universality by joint continuous universality: for any > 0,
1
lim inf meas [0, T ] : max max |Kj (s + i ) fj (s)| < > 0.
T T 1jm sK
13.2 Grssencharacters
In 1920, Hecke [125] introduced a new class of L-functions which generalize
the concepts of Dedekind zeta-functions and Dirichlet L-functions. However,
rst of all we have to introduce Hecke grssencharacters which represent the
most general extension of Dirichlet characters to number elds.
Given a number eld K of degree n over Q, there are exactly n embeddings
K(j) of K into C, for 1 j n given by
K (j) K(j) ,
where the (j) denote the conjugates of ; we assume that among these there
are r1 real and 2r2 complex embeddings (that makes n = r1 + 2r2 ). We denote
the real embeddings by
K(1) , . . . , K(r1 )
and the complex embeddings which are pairwise complex conjugate by
K(r1 +1) , . . . , K(r1 +r2 +1) = K(r1 +1) , . . . , K(n) = K(r1 +r2 ) .
Then the regulator R(f) is dened to be the absolute value of the determinant
of this matrix:
(j)
R(f) = | det(ej log |k |)|;
it should be noted that the regulator does not depend on the choice of the
fundamental units k .
We further denote by I(f) the multiplicative group generated by all ideals
coprime with f. The principal ray class P(f) is the subgroup of I(f) consisting
of all principal ideals of the form (/) satisfying
0 = , OK (the ring of integers);
mod f;
/ is totally positive.
The factor group
G(f) := I(f)/P(f)
is called the ray class group mod f, and its elements, the ray classes, might be
regarded as the analogues of the residue classes in the rational number eld
case. One can show that G(f) is a nite abelian group and we denote its order
by h(f).
We shall give a brief
example. For the sake of simplicity we shall consider
the number eld Q( 5) and choose f = (1) in which case G = G((1)) is the
class group. (In general, the narrow divisor class group G((1)) is not equal to
G, however, in complex quadratic elds there are no sign conditions.) There is
no unique prime factorization, and so the class number h is greater than one.
One can deduce from Minkowskis theorem on linear forms that every class of
G contains an integral ideal a with norm
%
N(a) | dK |,
where dK is the discriminant of the number eld, that is in our case dK = 20.
Obviously, this observation proves the niteness of the class number. However,
we can also use it to get information about the structure of the class group.
For this purpose we observe that the only prime ideals p with N(p) 4 can
be among the prime ideal divisors of (2) and (3). By the splitting of primes
in quadratic number elds, we nd
(2) = p21 with p1 = (2, 1 + 5) = (2, 1 5),
(3) = p2 p2 with p2 = (3, 1 + 5) = p2 = (3, 1 5).
Hence, the ideals with norms less than or equal to 4 are p1 , p2 , p2 , and (2) = p21 .
It is easy to see that p1 is not principal and represents a class of order two.
258 13 L-Functions of Number Fields
(a) (p)
1
L(s, ) = = 1 , (13.13)
a
N(a)s p
N(p)s
13.3 Hecke L-Functions 259
where the sum is taken over all non-zero integral ideals a of K, the product is
taken over all prime ideals p, and N(a) denotes the norm of the ideal a (as in
the case of the Dedekind zeta-function).
Hecke L-functions to grssencharacters are the analogues of Dirichlet L-
functions: if K = Q, f = (q) with q Z, and 1, then the construction
above leads without the totally positive condition to
If is the trivial (principal) character, then the Hecke L-function for a number
eld K is nothing else but the Dedekind zeta-function. Note that what we
call Hecke L-functions are in some literature called (generalized) Dirichlet
L-functions.
Both the series and the product (13.13) dening L(s, ) are absolutely
convergent for > 1 and uniformly convergent in any compact subset. To
see this we proceed as we did for Dedekind zeta-functions via the splitting of
primes (13.1). Indeed, we can rewrite (13.13) as an ordinary Euler product
(p)
1 r
(pj )
1
L(s, ) = 1 = 1 sfj .
p
N(p)s p j=1
p
pj |(p)
where
r
a(n) = (pj )kj .
p|n k1 ,...,kr 0 j=1
k1 f1 ++kr fr =(n;p)
Since the degree of the local Euler factors is bounded by the degree of the eld
extension K/Q, it follows (as in the case of the Dedekind zeta-function) that
the Dirichlet series and so the Euler product converge for > 1 absolutely
and that the Ramanujan hypothesis holds.
Hecke [125] proved that L(s, ) extends to an entire function and satises
a functional equation of Riemann-type provided is primitive. Let dK denote
the discriminant of K. We dene
r1
+r2 1/2
| dK |N(f)
() = 2ik /2
, A(f) = 2r2 ,
n
k=r1 +1
and r1
r1
s + aj ij
+r2
|aj | ij
(s, ) = s+ .
j=1
2 j=r1 +1
2
260 13 L-Functions of Number Fields
Then
(1 s, ) = ()(s, ),
where () is a complex number with |()| = 1, depending only on , and
The main part of the proof relies on a discussion of the various ways how
rational primes can split. This is used to show that there exist innitely many
rational primes p for which the character sum
a(p) = (p),
p|(p)
13.5 Artins Reciprocity Law 261
where the sum is taken over all prime ideals of degree one which divide p, is
bounded away from zero. In the case of ray class characters one can deduce
this quite easily by applying class eld theory; in fact, the set of all rational
primes which split completely in the class eld for the ideal class group has
innitely many elements. The general case is more delicate (for the details see
[249, 250]).
For the special type of grssencharacters m of the form (13.12) for Q(i),
Koyama and Mishou [174] succeeded to prove a mixed version of universality
for Hecke L-functions L(s + i, m ) in the - and in the -aspect:
Theorem 13.3. Let K be a compact set in the open right half of the critical
strip. For any function g(s) which is non-vanishing and continuous on K and
which is analytic in the interior of K, and for any > 0,
1
lim inf 2 meas
(, m) T : max |L(s + i, m ) g(s)| < > 0,
T T sK
T
meas
(X) = meas { [0, T ] : (, m) X}
m=0
for X T .
these subgroups are all cyclic. Information about the factorization of such p
is encoded in the so-called Frobenius automorphism pj of G, the canonical
generator of the subgroup of G which maps any pj into itself. The Frobenius is
determined only up to conjugacy in G; nevertheless, the resulting conjugacy
class, which we denote by p , completely determines the splitting type of
(13.1).
If, for example, K = Q(i) = {a + bi : a, b Q}, then OK = Z[i], the set
of Gaussian integers m + ni with m, n Z. In this case, p is the identity
if 1 is a quadratic residue mod p, and the complex conjugation otherwise.
Hence, we may identify G with the subgroup {1} of C := C \ {0} via the
homomorphism : G {1}:
1
(p ) = .
p
(we give a precise denition in Sect. 13.6), Artin was able to reduce the prob-
lem to one involving these analytic objects: is it possible to dene L(s, ) in
terms of the arithmetic of Q alone? It was in this context that Artin proved
his reciprocity law. Indeed, for abelian elds K and one-dimensional , Artin
showed that L(s, ) is identical to a Dirichlet L-function L(s, ) with an
appropriate character mod q. Since an identity between two Euler prod-
ucts implies an identity between the local Euler factors, this implies Artins
reciprocity law (13.14). Actually, Artin proved a stronger result for abelian
extensions L/K (see Theorems 13.4 and (13.16)).
Let L/K be a Galois extension of number elds with Galois group G. Further,
let : G GLm (V ) be a representation (group homomorphism) of G on a
nite dimensional complex vector space V . In order to give the denition of
the Artin L-function attached to these data, we recall some facts on prime
ideals in number elds and their ramication in Galois extensions.
For each prime p of K, and a prime P of L with P|p, we dene the
decomposition group by
DP = { G : P = P} = Gal(LP /Kp ),
1 IP DP Gal(kP /kp ) 1.
264 13 L-Functions of Number Fields
Now kP /kp is a Galois extension of nite elds, and hence the group
Gal(kP /kp ) is cyclic, generated by the map N(p) , where N(p), the
absolute norm of p, is the cardinality of kp . We can choose an element P DP
whose image in Gal(kP /kp ) is this generator; this P is called Frobenius ele-
ment at P, i.e.,
P () N(p) mod P
for all OL . Note that the Frobenius element is only dened mod IP . The
Frobenius describes how prime ideals split when lifted from a smaller ring
of integers to a larger ring of integers. For unramied p (and in particular,
these are all but nitely many p), the Frobenius is well dened since IP =
{1}. The action of the Galois group on the set of primes in L above p is
transitive, and thus for any pair of primes P1 and P2 lying above p, there
exists an automorphism in G which simultaneously conjugates DP1 into DP2 ,
IP1 into IP2 , and P1 into P2 . This implies an identity for the characteristic
polynomials of Pj on the subspace VPj of V on which IPj acts trivially:
(P1 ) (P2 )
det 1 VP1 = det 1 V P 2 .
N(p)s N(p)s
where p runs through the prime ideals of the ring of integers in K; this Euler
product converges for > 1 by the same reasoning as for previous L-functions
of number elds.
We shall illustrate this by an example (see also Heilbronn [129] and Stark
[337]). Assume that L/Q is normal with Galois group equal to the symmetric
group S3 on three letters:
say. For instance, one may consider the cubic eld K = Q(21/3 ) and its normal
closure L = Q(, e2i/3 ) = Q(, , ), where
p = Pe11 . . . Perr ,
For each of them we observe that the associated Euler factors are of the form
as predicted by (13.15). To see this we have a look on every individual Euler
factor. Since the eld extension K/Q has degree 3, there are the following
possibilities to consider.
The prime p splits completely into three dierent prime divisors; e.g.,
(31) = p1 p2 p3 with
Here we have
1 1 1
1 1 1
1 s 1 2s = det 1 M s ,
p p p
13.6 Artin L-Functions 267
Hence, for G = S3 , there are three irreducible characters (in some literature
simple characters).
It is easily seen that our characters satisfy the orthogonality relations, that
are
1 1/C if C = D,
(C)(D) =
G 0 otherwise,
G
where C and D are conjugacy classes. Since the Euler factors in (13.15) depend
only on the conjugacy class p , in the sequel we will talk sometimes in terms
of characters and denote the Artin L-function (13.15) by L(s, , L/K) (and
sometimes we shall even write L(s, ) for short).
For further illustration we continue with our example. We can construct
more characters from the irreducible characters listed above, for example,
a third degree character related to the permutation representation ().
Taking the character relations into account we nd = 1 + 3 . For the
related Artin L-functions we note that
L {1}
tt 444 t 99
ttt 44 () tt t 99
tt tt 99
t tt 44 t tt 99
t 44 t
44 tt 9(),()
99
K = Q(21/3 ) G3 77 99
88 44 77
88 44 77 99
88 44 77 99
88 77 9
8
3 88 Q( 3) 77 G2
88 w 77 rrr
88 ww 77 r r
88 w
ww 2
w 77 rrr
ww rrr
Q Gal(L/Q) = S3
I(f)/ker((f)) ! G.
Artin proved this theorem by means of class eld theory and, in particular,
using Chebotarevs density theorem. We shall briey explain the latter result.
Let L/K be a nite Galois extension with Galois group G and let C be a
subset of G, closed under conjugation. Further, denote by C (x) the number
of prime ideals p of K, unramied in L, for which p C and which have
norm N(p) x in K. Then, Chebotarevs density theorem [53] states
C
C (x) (x). (13.17)
G
This rather deep theorem can be seen as a higher analogue of the prime
number theorem in arithmetic progressions. A modern proof can be found,
for example, in Narkiewicz [277]. The Chebotarev density theorem can be
used to determine the Galois group of a given irreducible polynomial P (X)
of degree n by counting the number of unramied primes up to a certain
bound for which P factors in a certain way and comparing the results with
the fractions of elements of each of the transitive subgroups of the symmetric
group Sn with the same cyclic structure.
We illustrate this by returning to our example from Sect.13.6. By means
of class eld theory one can show that K = Q(21/3 ) is the class eld for a
ray class group G(f) over Gal(L/K) which is cyclic of order three. Besides
the trivial character, there are two cubic characters 2 and 3 each of which
is the square of the other one. Their common conductor is f = (6) and, by
Chebotarevs density theorem it follows that:
1/6 of the rational primes split completely in K (and they have a repre-
sentation as p = x2 + 27y 2 with x, y Z),
1/2 of the rational primes split as the product of rst and second degree
prime factors (namely p 2 mod 3), and
1/3 of the rational primes generate third degree primes of K.
Brauer [42] obtained a signicant extension of Artins result. Let H be a
subgroup of G. Then any character on H induces a character IndGH () on G
and
L(s, , L/LH ) = L(s, IndGH (), L/K), (13.18)
where LH is the corresponding xed eld. Brauer [42] proved that any char-
acter of a nite group G can be written as a linear combination
13.7 The Artin Conjecture 271
= nj IndGHj (j ),
j
However, by (13.18),
L(s, , L/K) = L(s, j , L/LHj )nj .
j
for certain ray class characters j related to j . Using the analytic proper-
ties of Hecke L-functions, Brauer [42] deduced a functional equation of the
Riemann-type for Artin L-functions which gives a meromorphic continuation
throughout the complex plane (see also Neukirch [279]), Sect. VII.12).
Brauers theorem implies the Artin conjecture if G is nilpotent or super-
solvable since then every character of G is monomial (see Serre [325]). Murty
[267] observed that
Murty and Perelli [271] replaced Selbergs conjecture by the pair correlation
conjecture (as already mentioned above).
The proof uses some easy properties of Artin L-functions which we did not
prove or even did not mention above. The reader may have a look into the
literature, e.g., Heilbronn [129], and may consult the examples from Sect.13.6.
Proof. Let L be the normal closure of L over Q. Then, L/K and L/Q are
Galois. Thus, can be considered as a character of Gal(L/K), and by the
properties of Artin L-functions it turns out that
where the product is taken over all irreducible characters of Gal(L/Q) and
m() are non-negative integers. To prove Artins conjecture, it suces to
272 13 L-Functions of Number Fields
show that all appearing L(s, , L/Q) are entire. By Brauers induction theo-
rem (13.18) and Artins reciprocity law, Theorem 13.4, respectively, formula
(13.19), we have
L(s, 1 )
L(s, , L/Q) = ,
L(s, 2 )
where 1 , 2 are characters of Gal(L/Q) and L(s, 1 ), L(s, 2 ) are products
of Hecke L-functions (13.13). Since Hecke L-functions belong to the Selberg
class S, and S is multiplicatively closed, the functions L(s, 1 ) and L(s, 2 )
belong to S too. Now, by Theorem 6.2, there exist primitive functions Lj S
such that
f
L(s, , L/Q) = Lj (s)ej , (13.20)
j=1
f
(p) = ej aLj (p).
j=1
Thus,
2
|(p)|2 1 f
= e a (p) . (13.21)
p
p j=1
j Lj
px px
This gives
|(p)|2 C
= |(gC )|2 log log x + O(1).
p G
px C
f
e2j = 1.
j=1
which is impossible since L(s, , L/Q) has trivial zeros (their existence fol-
lows from the functional equation). Hence, e1 = +1, and we conclude that
L(s, , L/Q) = L1 (s) is entire.
which implies axiom (v) on the prime mean-square. So, L(s, , K/Q) S pro-
vided that Artins conjecture is true; note that in the case of one-dimensional
characters this is unconditional since these L-functions are known to be entire.
Thus, on behalf of Theorem 5.14 we obtain universality for Artin L-functions
L(s, , K/Q) to Galois extensions K/Q subject to Selbergs Conjecture B.
However, following the lines of Voronins proof, Bauer [16] proved universality
for any Artin L-function without assumption of any unproved hypothesis. In
Sect.13.8 we shall prove and extend this result by use of Bagchis method.
274 13 L-Functions of Number Fields
where the L(s, jk ) are Hecke L-functions to number elds Kjk contained in
K, the jk are ray class characters of Kjk , and the numbers njk are non-zero
integers.
It suces to prove that the family of Artin L-functions to all pairwise non-
equivalent one-dimensional characters k to subgroups of Gal(K/Q) is jointly
universal. Then the assertion of the theorem follows from (13.23) in just the
same way as in the nal step of the proof of Theorem 13.1.
Now let {L(s, k )} be such a family of distinct Artin L-functions to pair-
wise non-equivalent one-dimensional characters k to subgroups of Gal(K/Q).
We want to prove their joint universality. In view of Artins reciprocity law,
Theorem 13.4, each L(s, k ) is a Hecke L-function to a ray class group char-
acter for some subeld of K; in particular, they belong to S (as we have seen
in Sect. 13.7). According to (13.1),
rp
e
rp
p= pj j with N(pj ) = pfj , ej fj = [K : Q],
j=1 j=1
we write
1 1
k (p ) k (p)
L(s, k ) = det 1 = 1
p
ps p
ps
rp 1
k (pj ) ak (n)
= 1 fj s =
p j=1
p n=1
ns
13.8 Joint Universality for Artin L-Functions 275
with
rp
ak (p) = k (pj ).
j=1
fj =1
is dense in H(D) , where the g p are dened by (12.11) and (12.12), that are
m
jk (p)b(p)
gpk (s, b(p)) = log 1 ,
j=1
ps
g p (s, b(p)) = (gp1 (s, b(p)), . . . , gp (s, b(p))),
here, as in Sect.13.7,
gpk (s) if p > N,
gpk (s) =
0 if p N,
g p (s) = (gp1 (s), . . . , gp (s)),
and the b(p) form a sequence such that p b(p)gpk (s) converges in H(D).
Following the proof of Theorem 12.8, we nd
ak (p)
gpk (s) = + rpk (s)
ps
with a suciently small remainder rpk (s). It is easily seen that we can replace
(12.25) by
ak (p)ps dk (s) < . (13.24)
p
C
k=1
Pj = {p P : p Cj } for 1 j J;
recall that the Frobenius p completely determines the splitting of the primes.
Clearly, P = 1jJ Pj , and
where
j (z) := exp(sz) dj (s) and j (s) := trace(k (Cj ))k (s).
C k=1
Cj
= log log x + cj + O((log x)2 ),
G
where the cj certain constants depending only on Cj . Now we can proceed
as in the proof of Theorem 12.8 and obtain that j (z) vanishes identically,
respectively,
sr dj (s) 0 for r = 0, 1, 2, . . .
C
That means
trace(k (Cj )) sr k (s) 0
k=1 C
k (gj ) sr k (s) 0
k=1 C
13.8 Joint Universality for Artin L-Functions 277
for any gj in the conjugacy class Cj . Since the characters k are linear inde-
pendent over C, it follows that all
(q) sr k (s) 0.
C
Thus, any k (s) vanishes identically and so we are done. Now we continue in
the standard way. This yields the assertion of the theorem.
The proof follows from Theorem 13.6 by observing that a normal extension
L of Q containing L is also a normal extension of K and that L(s, , L/K) =
L(s, , L/K) by well-known properties of Artin L-functions. Moreover,
Gal(L/K) is a subgroup of Gal(L/K) and so L(s, , L/K) = L(s, , L/Q)
for the induced character . Application of Theorem 13.6 to L(s, , L/Q)
yields the assertion.
As a second application we note that there is no non-trivial continuous
relation between Artin L-functions to irreducible characters of any xed Galois
extension K/Q. This remarkable result follows in a similar way as the theorem
on the functional independence; for a precise formulation and the details we
refer to Bauer [16]. Similarly, it follows that there is no non-trivial continuous
relation between Dedekind zeta-functions to nite normal extensions Kj of Q
satisfying Ki Kj = Q for i = j. The latter condition cannot be removed
as the example (13.11) shows. Bauer also showed that the only non-trivial
relations are monomial algebraic.
Davenport and Heilbronn [65] proved that the zeta-function of an ideal
class of an imaginary quadratic eld has an innity of zeros in the half-plane
of convergence > 1 provided that the class number is greater than one.
Voronin [364] extended this result to the right half of the critical strip and gave
lower bounds for the number of these zeros. Following Voronins reasoning in
addition with some basics from class eld theory, Bauer [16] deduced from the
joint universality of Artin L-functions that any partial zeta-function (s, A)
associated with an arbitrary class A of the ray class of any algebraic number
eld has more than cT many zeros in 12 < < 1, |t| < T for T suciently large,
where c is a positive constant, provided the ray class group has cardinality
278 13 L-Functions of Number Fields
greater than one (in particular for class groups of number elds with class
number greater than one).
Finally, we shall remark that Hecke L-functions and Artin L-functions
form overlapping classes of Euler products, however, neither is contained in
the other. For example, a Hecke L-functions associated with a grssenchar-
acter which is not a ray class group character is certainly not an Artin L-
function. Conversely, if L/K is a non-abelian Galois extension of Q and is
an irreducible representation of Gal(L/K), then the attached Artin L-function
is a Hecke L-function if and only if is one-dimensional. Weil [369] gave gen-
eralizations of both Hecke and Artin L-functions which can be unied in a
single theory; the corresponding objects are so-called ArtinWeil L-functions.
Their universality is still open.
The Langlands program has emerged in the late 1960s of the last century in
a series of far-reaching conjectures tying together seemingly unrelated objects
in number theory, algebraic geometry, and the theory of automorphic forms.
These disciplines are linked by Langlands L-functions associated with auto-
morphic representations, and by the relations between the analytic properties
and the underlying algebraic structures. There are two kinds of L-functions:
motivic L-functions which generalize Artin L-functions and are dened purely
arithmetically, and automorphic L-functions, dened by transcendental data.
In its comprehensive form, an identity between a motivic L-function and an
automorphic L-function is called a reciprocity law. Langlands reciprocity
conjecture claims, roughly, that every L-function, motivic or automorphic,
is equal to a product of L-functions attached to automorphic representations.
For an introduction to the Langlands program we refer to the excellent surveys
of Gelbart [97], Murty [266] and Langlands lecture [178] at the International
Congress in Helsinki. We shall see that the axioms dening S, resp. S are
intimately related to fundamental conjectures concerning general L-functions;
the paper [145] by Iwaniec and Sarnak is a nice survey on these conjectures
and the progress made in the last years. Besides, we give some applications
of our universality Theorem 5.14.
At the heart of Langlandss program is the notion of an automorphic rep-
resentation and its L-function L(s, ). These objects, both dened via group
theory and the theory of harmonic analysis on adle groups, will be briey
explained below, omitting the technical details; for a more detailed description
we refer to the monographs of Bump [46], Gelbart [96], Langlands [177], and
the paper [41] of Borel.
Let K be a number eld (one loses not too much by restricting to Q).
For each absolute value on K, there is a completion K of K which is R,
C, or a p-adic eld, where p is a prime ideal in K. Denote by O the ring
of integers in K . In discussing localglobal problems it is often necessary to
13.9 L-Functions to Automorphic Representations 279
where lies in O for all but nitely many places ; such elements are called
adles. The adles form a set-theoretic (restricted) product. This product is
a topological ring, the adle ring AK of K. One can think of K as embedded
in AK via the map (, , . . .).
For m 1 let GLm (AK ) be the group of m m matrices over AK whose
determinant is a unit in AK . By the product topology of the adle ring,
GLm (AK ) becomes a locally compact group in which GLm (K), embedded di-
agonally, is a discrete subgroup of GLm (AK ). A character of K \ GL1 (AK )
is called grssencharacter, where K := K \ {0}. For a xed grssencharacter
we consider the Hilbert space
is bounded.
Elements f L2 generalize the concept of twisted modular forms to discrete
subgroups of the full modular group. In order to introduce a subspace of cusp
forms we have to consider appropriate subgroups. Any parabolic subgroup P
of GLm (R), where R is a commutative ring with identity, has a decomposition,
called the Levi decomposition, of the form P = M N , where N is the unipotent
radical of P ; M is called the Levi component of P . We denote the unipotent
radical of P in the Levi decomposition of a parabolic subgroup P in GLm (R)
by NP (R).
The subspace of cusp forms
where the numbers j (p) for 1 j m are so-called Satake, resp. Langlands
parameters, determined from the local representations . At the archimedean
(innite) places we put for certain numbers j ()
m
L (s, ) = (s j ())
j=1
13.9 L-Functions to Automorphic Representations 281
with
2 (s/2) if
s
K ! R,
(s) := (13.26)
(2)s (s) if K ! C,
By the work of Hecke [126], Jacquet and Langlands [147], and Godement and
Jacquet [101] we have
This means that there are identities between certain L-functions, which are a
priori of dierent type! Since Hecke grssencharacters are automorphic repre-
sentations of GL1 (A), Artins conjecture is a special case of the Langlands reci-
procity conjecture. By Artins work, if m = 1 and L/K is abelian, Langlands
reciprocity law is settled by means of class eld theory. In the case of function
elds, the Langlands conjecture has been proved by Drinfeld [70] in dimension
2, and recently by Laorgue [175] for arbitrary dimension (for which both of
them were awarded with a Fields medal).
Now we consider the local Euler factors of L-functions attached to auto-
morphic representations. Petersson [293] extended Ramanujans conjecture
on the values of the -function to modular forms. Delignes estimate (1.34)
proved the desired bound for newforms but it is expected that an analogue
should hold for all L-functions of arithmetical nature.
RamanujanPetersson Conjecture. Let be a cuspidal automorphic
representation of GLm (AK ) which is unramied at a place . If is non-
archimedean, then
|j (p)| = 1 for 1 j m,
L(s, ) = L(s, ).
The rst universal object appearing in the mathematical literature was dis-
covered by Fekete
in 1914/15 (see [287]); he proved that there exists a real
power series n=1 an xn with the property that for any continuous function
f (x) on the interval [1, 1] satisfying f (0) = 0 there is a sequence of positive
integers mk such that
mk
an xn f (x) uniformly on [1, 1].
k
n=1
| + |p max{||p , ||p }
286 Appendix
in contrast to the standard absolute value. The p-adic absolute value is non-
archimedean (i.e., sup{|n|p : n N} is bounded). The integers that are
p-adically close to zero are precisely the ones that are highly divisible by p.
The set of p-adic numbers is the completion of Q with respect to the p-adic
absolute value, and is denoted by Qp . The p-adic absolute value extends to a
non-archimedean absolute value on Qp , and Qp becomes a complete, locally
compact, totally disconnected Hausdor space. Similarly to the completion R
of Q with respect to the standard (archimedean) absolute value, Qp is a eld,
and its elements have a p-adically convergent series representation: for any
Qp , there exist integers and ak such that
= ak pk with 0 ak < p.
k(;p)
The set of p-adic numbers with ||p 1 forms a ring, the ring Zp of p-adic
integers. Another construction of p-adic numbers uses the representation of
Zp as a projective limit of the ring of residue classes mod pk . It is customary
to write | | for the standard absolute value on Q, Q for R, and then
call R the completion of Q at the innite prime p = . Two absolute values
are called equivalent if they induce the same topology. Ostrowski (see [279,
Sect. II.3]) showed that every non-trivial absolute value on Q is equivalent to
one of the absolute values | |p , where p is a prime number or p = . Thus,
completion of Q with respect to its non-equivalent absolute values yields a
family of complete, locally compact topological elds Qp which contain Q,
one for each place p :
Q " Q2 , Q3 , Q5 , . . . , and Q = R.
a + p Zp := { Qp : | a|p p },
where a Qp and Z. These balls are clopen sets, i.e., they are closed and
open. It follows that each point inside a ball is center of the ball, and that any
two balls are either disjoint or contained one in another.
The algebraic closure Qp of Qp has innite degree over Qp , but is not
complete, and so it is not the right eld for doing analysis. However, the
completion Cp of Qp is algebraically closed. If
n = 0 + 1 p + 2 p2 + and k = 0 + 1 p + 2 p2 +
are the p-adic expansions of the integers n and k, then one can show that
n
0 1
mod p.
k 0 1
A Short History of Universality 287
In view of the binomic inversion formula this leads for any continuous functions
f : Zp Cp to the representation
n n
f (n) = ak (f ) ,
k
k=0
where n N and
k
kj k
ak (f ) := (1) f (j).
j=0
j
k
k
"k f (x) = (1)kj f (x + j).
j=0
j
ak f (x) uniformly on Zp .
k n
k=0
A proof can be found in Robert [311, Sect. 4.2.4]. Notice that this theorem
does not hold over R.
In particular, Mahlers Theorem A.1 implies a p-adic version of
Weierstrass approximation theorem: for any continuous function f : Zp Cp ,
there exists a sequence of polynomials fn with coecients in Cp that converges
uniformly to f . Further applications of Mahlers theorem are the construc-
tion of p-adic analogues of classical functions like the exponential function,
the logarithm or the Gamma-function; for details we refer again to Roberts
monograph [311].
Now, it is not too surprising that an analogue of Feketes universality
theorem holds in the p-adic case too. Steuding [341] obtained
Theorem A.2. There exists a p-adic power series n=1 an xn with the prop-
erty that for any ball a + p Zp , where a, Z, 0 < a < p, and any continuous
function f , dened on a+p Zp and satisfying f (a) = 0, there exists a sequence
of positive integers mk such that
mk
an xn f (x) uniformly on a + p Zp .
k
n=1
pdn .
In the years after Feketes discovery many universal objects were found.
For instance, Birkho [23] proved in 1929 the existence of an entire function
f (z) with the property that to any given entire function g(z) there exists a
sequence of complex numbers an such that
f (z + an ) g(z) uniformly on compacta in C.
n
The proof relies in the main part on Runges approximation theorem. This
type of universality is very similar to the one of the Riemann zeta-function
and other Dirichlet series. Birkhos theorem states the existence of an entire
function with wild behaviour near innity. Luh [228] constructed holomorphic
monsters, that are holomorphic functions with an extraordinary wild bound-
ary behaviour in arbitrary simply connected open sets. More precisely: let G
be a proper open subset of C with simply connected components. Then there
exists a function f holomorphic on G such that for every boundary point z of
G, every compact subset K with connected complement and every continuous
function g on K which is holomorphic in the interior of K, there exist linear
transformations n (z) = an z + bn with n (K) G and dist(n (K), z) 0 as
n for which
f (n (z)) g(z) uniformly on K;
n
d|j| (j)
f (z) = f (z).
d|j| z
Any other antiderivative of f with the same order |j| diers from f (j) on each
component of G by some polynomial of degree less than |j|. Moreover, in [230],
Luh proved the existence of multiply universal functions, that are holomorphic
functions that satisfy, along with their derivatives and antiderivatives, six
universal properties at the same time.
Marcinkiewicz [237] was in 1935 the rst to use the notion universal-
ity when he proved the existence of a continuous function whose dierence
quotients approximate any measurable function in the sense of convergence
almost everywhere. This should be compared with the result of Blair and
Rubel [25] who proved that there exists an entire function f such that the
set {f (n) : n N0 } of all derivatives of f is dense in the space of all entire
functions in the topology of uniform convergence on compact subsets of the
complex plane. Other universal objects are, for example, conformal mappings
composed with universal functions, discovered by Luh [229]. However, for a
long time no explicit example of a universal object was found until Voronin
discovered in 1975 that the Riemann zeta-function is universal!
290 Appendix
as j . Furthermore, the set of such Dirichlet series is dense and G (in the
Baire sense) in the space of absolutely convergent Dirichlet series in the right
half-plane. Here a set K is called admissible if K is compact with connected
complement, and K is the nite union of sets Kr each of which contained in
a vertical strip of width less than 12 . Their approach does not produce any
explicit example of a universal Dirichlet series.
Universality is far away from being completely understood. In particular,
the discovery of explicit examples of universal objects (zeta- and L-functions)
has led to many new and interesting questions. It seems that universality of
general Dirichlet series is not an arithmetic phenomenon at all, but it is much
easier to nd universal Dirichlet series explicitly among those associated with
arithmetic objects.
References
18. P. Bauer, Zeros of Dirichlet L-series on the critical line, Acta Arith. 93 (2000),
3752
19. S.N. Bernstein, The extension of properties of trigonometric polynomials
to entire functions of nite degree, Izvestiya Akad. Nauk SSSR 12 (1948),
421444 (Russian)
20. A. Beurling, Analyse de la loi asymptotique de la distribution des nombres
premiers gnraliss, I, Acta. Math. 68 (1937), 255291
21. P. Billingsley, Convergence of Probability Measures, Wiley, New York (1968)
22. P. Billingsley, Probability and Measure 3rd Edition, Wiley, New York (1995)
23. G.D. Birkho, Dmonstration dun thorme lmentaire sur les fonctions
entires, C. R. Acad. Sci. Paris 189 (1929), 473475
24. K.M. Bitar, N.N. Khuri, H.C. Ren, Path integrals and Voronins theorem on
the universality of the Riemann zeta-function, Ann. Phys. 211 (1991), 172196
25. C. Blair, L.A. Rubel, A universal entire function, Am. Math. Mon. 90 (1983),
331332
26. R.P. Boas, Entire Functions, Academic, New York (1954)
27. S. Bochner, On Riemanns functional equation with multiple gamma factors,
Ann. Math. 67 (1958), 2941
28. H. Bohr, ber das Verhalten von (s) in der Halbebene > 1, Nachr. Akad.
Wiss. Gttingen II Math. Phys. Kl. (1911), 409428
29. H. Bohr, Zur Theorie der Riemannschen Zetafunktion im kritischen Streifen,
Acta Math. 40 (1915), 67100
30. H. Bohr, ber eine quasi-periodische Eigenschaft Dirichletscher Reihen mit
Anwendung auf die Dirichletschen L-Funktionen, Math. Ann. 85 (1922),
115122
31. H. Bohr, B. Jessen, ber die Werteverteilung der Riemannschen Zetafunktion,
erste Mitteilung, Acta Math. 54 (1930), 135
32. H. Bohr, B. Jessen, ber die Werteverteilung der Riemannschen Zetafunktion,
zweite Mitteilung, Acta Math. 58 (1932), 155
33. H. Bohr, E. Landau, ber das Verhalten von (s) und (k) (s) in der Nhe der
Geraden = 1, Nachr. Ges. Wiss. Gttingen Math. Phys. Kl. (1910), 303330
34. H. Bohr, E. Landau, Ein Satz ber Dirichletsche Reihen mit Anwendung auf
die -Funktion und die L-Funktionen, Rend. di Palermo 37 (1914), 269272
35. H. Bohr, E. Landau, Sur les zros de la fonction (s) de Riemann, Comptes
Rendus Acad. Sci. Paris 158 (1914), 106110
36. H. Bohr, E. Landau, Nachtrag zu unseren Abhandlungen aus den Jahren 1910
und Nachr. Ges. Wiss. Gttingen Math. Phys. Kl. (1924), 168172
37. E. Bombieri, On the large sieve, Mathematika 12 (1965), 201225
38. E. Bombieri, D.A. Hejhal, Sur les zros des fonctions zta dEpstein, Comptes
Rendus Acad. Sci. Paris 304 (1987), 213217
39. E. Bombieri, D.A. Hejhal, On the distribution of zeros of linear combinations
of Euler products, Duke Math. J. 80 (1995), 821862
40. E. Bombieri, A. Perelli, Distinct zeros of L-functions, Acta Arith. 83 (1998),
271281
41. A. Borel, Automorphic L-functions, in: Automorphic Forms, Representations
and L-Functions, Proceedings of the Symposium in Pure Mathematics, vol. 33,
part 2, 2761, Am. Math. Soc., Providence (1979)
42. R. Brauer, On Artins L-series with general group characters, Ann. Math. 48
(1947), 502514
References 295
66. R. Dedekind, ber die Anzahl der Ideal-Klassen in den verschiedenen Ord-
nungen eines endlichen Krpers, in: Festschrift der Technischen Hochschule in
Braunschweig zur Skularfeier des Geburtstages von C.F. Gau, Braunschweig
(1877), 155; Gesammelte Werke, vol. 1, Vieweg, Braunschweig (1930), 104158
67. P. Deligne, La Conjecture de Weil I, II, Publ. I.H.E.S. 43 (1974), 273307; 52
(1981), 313428
68. A. Denjoy, LHypothse de Riemann sur la distribution des zros de (s), relie
la thorie des probabilits, Comptes Rendus Acad. Sci. Paris 192 (1931),
656658
69. P.G.L. Dirichlet, Beweis des Satzes, dass jede unbegrenzte arithmetische
Progression, deren erstes Glied und Dierenz ganze Zahlen ohne gemein-
schaftlichen Factor sind, unendlich viele Primzahlen enthlt, Abhdl. Knigl.
Preuss. Akad. Wiss. (1837), 4581
70. V.G. Drinfeld, Langlands Conjecture for GL(2) Over Function Fields, Proceed-
ings of the International Congress of Mathematicians, Helsinki 1978, 565574,
Acad. Sci. Fennica, Helsinki (1980)
71. W. Duke, Some problems in multidimensional analytic number theory, Acta
Arith. 52 (1989), 203228
72. N. Dunford, J.T. Schwartz, Linear Operators, vol. 1, Interscience, New York
(1958)
73. P.L. Duren, Theory of H p -Spaces, Academic, New York (1970)
74. H.M. Edwards, Riemanns Zeta-Function, Academic, New York (1974)
75. K.M. Eminyan, -universality of the Dirichlet L-function, Mat. Zametki 47
(1990), 132137 (Russian); Math. Notes 47 (1990), 618622
76. L. Euler, Variae observationes circa series innitas, Comment. Acad. Sci.
Petropol 9 (1737), 160188
77. D.W. Farmer, Long molliers of the Riemann zeta-function, Matematika 40
(1993), 7187
78. D.W. Farmer, Counting distinct zeros of the Riemann zeta-function, Electron.
J. Combin. 2 (1995), 5 (electronic)
79. D. Flath, Decomposition of representations into tensor products, in: Auto-
morphic Forms, Representations and L-Functions, vol. 33, Am. Math. Soc.,
Providence (1979), 179184
80. M. van Frankenhuijsen, Arithmetic progressions of zeros of the Riemann zeta-
function, J. Number Theor. 115 (2005), 360370
81. M.Z. Garaev, On a series with simple zeros of (s), Math. Notes 73 (2003),
585587
82. M.Z. Garaev, One inequality involving simple zeros of (s), HardyRamanujan
J. 26 (2003), 1822
83. M.Z. Garaev, On vertical zeros of R(s) and I(s), Acta Arith. 108 (2003),
245251
84. V. Garbaliauskiene, A. Laurinikas, Discrete value-distribution of L-functions
of elliptic curves, Publ. Inst. Math. (Beograd) 76 (2004), 6571
85. R. Garunktis, On zeros of the Lerch zeta-function II, in: Probability Theory
and Mathematical Statistics, Proceedings of the Seventh Vilnius Conference,
Grigelionis et al. (Eds.), TEV Vilnius (1998), 267276
86. R. Garunktis, The eective universality theorem for the Riemann zeta-
function, in: Special Activity in Analytic Number Theory and Diophantine
Equations, Proceedings of a Workshop at the Max Planck-Institut Bonn 2002,
R.B. Heath-Brown and B. Moroz (Eds.), Bonner Math. Schriften 360 (2003)
References 297
156. J. Kaczorowski, M. Kulas, On the non-trivial zeros o the critical line for
L-functions from the extended Selberg class, Monatshefte Math. 150 (2007),
217232
157. J. Kaczorowski, A. Laurinikas, J. Steuding, On the value distribution of shifts
of universal Dirichlet series, Monatshefte Math. 147 (2006), 309317
158. J. Kaczorowski, G. Molteni, A. Perelli, J. Steuding, J. Wolfart, Heckes theory
and the Selberg class, Funct. Approx. Comment. Math. 35 (2006), 183194
159. J. Kaczorowski, A. Perelli, Functional independence of the singularities of a
class of Dirichlet series, Am. J. Math. 120 (1998), 289303
160. J. Kaczorowski, A. Perelli, The Selberg class: A survey, in: Number Theory
in Progress. Proceedings of the International Conference in Honor of the 60th
Birthday of Andrej Schinzel, Zakopane 1997. vol. 2: Elementary and analytic
number theory. De Gruyter (1999), 953992
161. J. Kaczorowski, A. Perelli, On the structure of the Selberg class, I: 0 d 1,
Acta Math. 182 (1999), 207241
162. J. Kaczorowski, A. Perelli, On the structure of the Selberg class, V: 1 < d <
5/3, Invent. Math. 150 (2002), 485516
163. J. Kaczorowski, A. Perelli, On the prime number theorem in the Selberg class,
Arch. Math. 80 (2003), 255263
164. A.A. Karatsuba, On the zeros of the function (s) on short intervals of the
critical line, Izv. Akad. Nauk. SSSR Ser. Mat. 48 (1984) (Russian); Math.
USSR-Izv. 24 (1985), 523537
165. A.A. Karatsuba, Complex Analysis in Number Theory, CRC, Boca Raton, FL
(1995)
166. A.A. Karatsuba, S.M. Voronin, The Riemann Zeta-Function, de Gruyter, New
York (1992)
167. N.M. Katz, P. Sarnak, Random Matrices, Frobenius Eigenvalues, and
Monodromy, Am. Math. Soc., Providence (1999)
168. J.P. Keating, N.C. Snaith, Random matrix theory and ( 12 + it), Comm. Math.
Phys. 214 (2000), 5789
169. J.L. Kelley, General Topology, Van Nostrand, New Jersey (1955)
170. H.H. Kim, F. Shahidi, Symmetric cube L-functions for GL2 are entire, Ann.
Math. 150 (1999), 645662
171. N. Koblitz, Introduction to Elliptic Curves and Modular Forms, Springer,
Berlin Heidelberg New York (1984)
172. H. von Koch, Sur la distribution des nombres premiers, Comptes Rendus Acad.
Sci. Paris 130 (1900), 12431246
173. N.M. Korobov, Estimates of trigonometric sums and their applications, Uspehi
Mat. Nauk 13 (1958), 185192 (Russian)
174. S. Koyama, H. Mishou, Universality of Hecke L-functions in the
grossencharacter-aspect, Proc. Jpn. Acad. 78 (2002), 6367
175. L. Laorgue, Chtoucas de Drinfeld et correspondance des Langlands, Invent.
Math. 147 (2002), 1241
176. E. Landau, Neuer Beweis des Primzahlsatzes und Beweis des Primidealsatzes,
Math. Ann. 56 (1903), 645670
177. R.P. Langlands, Problems in the Theory of Automorphic Forms, Lecture Notes
170, Springer, Berlin Heidelberg New York (1970), 1886
178. R.P. Langlands, L-functions and automorphic representations, Proceedings of
the International Congress of Mathematicians, Helsinki 1978, 165175, Acad.
Sci. Fennica, Helsinki (1980)
References 301
179. M.L. Lapidus, M. van Frankenhuijsen, Fractal Geometry and Number Theory,
Birkhuser, Boston (2000)
180. A. Laurinikas, A limit theorem for Dirichlet L-functions, Mat. Zametki 25
(1979), 481485
181. A. Laurinikas, Distributions des valeurs de certaines sries de Dirichlet,
Comptes Rendus Acad. Sci. Paris 289 (1979), 4345
182. A. Laurinikas, Zeros of the derivative of the Riemann zeta-function, Litovsk.
Mat. Sb. 25 (1985), 111118 (Russian)
183. A. Laurinikas, Limit theorems for the Riemann zeta-function in the complex
space, in: Probability Theory and Mathematical Statistics, Proceedings Sixth
Vilnius Conference, B. Grigelionis et al. (Eds.), VSP/Mokslas, Vilnius 1990,
5969
184. A. Laurinikas, A limit theorem for the Riemann zeta-function near the critical
line in the complex space, Acta Arith. 59 (1991), 19
185. A. Laurinikas, On limit theorems for the Riemann zeta-function in some
spaces, in: Probability Theory and Mathematical Statistics, Proceedings of the
Sixth Vilnius Conference 1993, Grigelionis et al. (Eds.) VSP Utrecht/Vilnius
(1994), 457483
186. A. Laurinikas, Limit Theorems for the Riemann Zeta-Function, Kluwer,
Dordrecht 1996
187. A. Laurinikas, On the limit distribution of the Matsumoto zeta-function II,
Liet. Mat. Rink. 36 (1996), 464485 (Russian); Lith. Math. J. 36 (1996),
371387
188. A. Laurinikas, On the limit distribution of the Matsumoto zeta-function I,
Acta Arith. 79 (1997), 3139
189. A. Laurinikas, The universality of the Lerch zeta-functions, Liet. Mat. Rink.
37 (1997), 367375 (Russian); Lith. Math. J. 37 (1997), 275280
190. A. Laurinikas, On the Matsumoto zeta-function, Acta Arith. 84 (1998), 116
191. A. Lauriniaks, On the zeros of linear combinations of Matsumoto zeta-
functions, Liet. Mat. Rink. 38 (1998) (Russian), 185204; Lith. Math. J. 38
(1998), 144159
192. A. Laurinikas, A limit theorem in the theory of nite Abelian groups, Publ.
Math. Debrecen 52 (1998), 517533
193. A. Laurinikas, On the eectivization of the universality theorem for the Lerch
zeta-function, Liet. Mat. Rink. 40 (2000), 172178 (Russian); Lith. Math. J.
40 (2000), 135139
194. A. Laurinikas, The universality of Dirichlet series attached to nite abelian
groups, in: Number Theory, Proceedings of the Turku Symposium on Number
theory in Memory of Kustaa Inkeri (1999), M. Jutila, T. Metsnkyl (Eds.),
Walter de Gruyter, Berlin, New York (2001), 179192
195. A. Laurinikas, A probabilistic equivalent of the Lindelf hypothesis, in: An-
alytic and Probabilistic Methods in Number Theory, Proceedings of the Third
International Conference in Honour of J. Kubilius, Palanga 2001, A. Dubickas
et al. (Eds.), TEV, Vilnius (2002), 157161
196. A. Laurinikas, The universality of zeta-functions, Proceedings of the Eighth
Vilnius Conference on Probability Theory and Mathematical Statistics, Part I
(2002), Acta Appl. Math. 78(13) (2003), 251271
197. A. Laurinikas, On the derivatives of zeta-functions of certain cusp forms,
Glasgow Math. J. 47 (2005), 8796
302 References
219. H.-Z. Li, J. Wu, The universality of symmetric power L-functions and their
RankinSelberg L-functions, J. Math. Soc. Jpn. (in print)
220. E. Lindelf, Quelques remarques sur la croissance de la fonction (s), Bull. Sci.
Math. 32 (1908), 341356
221. E. Lindelf, E. Phragmn, Sur une extension dun principe classique danalyse
et sur quelques proprits de fonctions monognes dans le voisinage dun point
singulier, Acta Math. 31 (1908), 381406
222. R. Lipschitz, Untersuchung einer aus vier Elementen gebildeten Reihe, J. Reine
und Angew. Math. 54 (1857), 313328
223. J.E. Littlewood, Quelques consquences de lhypothse que la fonction (s) de
Riemann na pas de zros dans de demi-plan R(s) > 12 , Compt. Rend. Acad.
Sci. Paris 154 (1912), 263266
224. J.E. Littlewood, On the zeros of the Riemann zeta-function, Proc. Camb.
Philol. Soc. 22 (1924), 295318
225. J. Liu, Y. Wang, Y. Ye, A proof of Selbergs orthogonality for automorphic
L-functions, Manuscripta Math. 118 (2005), 135149
226. M. Love, Probability Theory, Van Nostrand, Toronto (1955)
227. W. Luh, Universalfunktionen in einfach zusammenhngenden Gebieten,
Aequationes Mathematicae 19 (1979), 183193
228. W. Luh, Holomorphic monsters, J. Approx. Theory 53 (1988), 128144
229. W. Luh, Universal functions and conformal mappings, Serdica 19 (1993),
161166
230. W. Luh, Multiply universal holomorphic functions, J. Approx. Theory 89
(1997), 135155
231. E. Lukacs, Characteristic Functions, 2nd Edition, Grin, London (1970)
232. J. van de Lune, H.J.J. te Riele, D.T. Winter, On the zeros of the Riemann
zeta-function in the critical strip, IV, Math. Comp. 46 (1986), 667681
233. K. Mahler, p-adic Numbers and their Functions 2nd Edition, Cambridge Uni-
versity Press (1981)
234. S. Mandelbrojt, Dirichlet Series, Reidel, Dordrecht (1972)
235. H. von Mangoldt, Zu Riemanns Abhandlung ber die Anzahl der Primzahlen
unter einer gegebenen Grsse, J. Reine Angew. Math. 114 (1895), 255305
236. H. von Mangoldt, Zur Verteilung der Nullstellen der Riemannschen Funktion
(t), Math. Ann. 60 (1905), 119
237. J. Marcinkiewicz, Sur les nombres drivs, Fund. Math. 24 (1935), 305308
238. R. Marszaek, The multiplicative and functional independence of Dedekind
zeta-functions of abelian elds, Coll. Math. 103 (2005), 1116
239. K. Matsumoto, Value-Distribution of Zeta-Functions, in Analytic Number
Theory, Proceedings of the Japanese-French Symposium, Tokyo 1988,
K. Nagasaka and . Fouvry (Eds.), Lecture Notes in Maths 1434, Springer,
Berlin Heidelberg New York (1990), 178187
240. K. Matsumoto, Recent developments in the mean square theory of the Riemann
zeta and other zeta-functions, in: Number Theory, Trends Math., Birkhuser,
Boston (2000), 241286
241. K. Matsumoto, The mean values and the universality of Rankin-Selberg L-
functions, in: Number Theory, Proceedings of the Turku Symposium on Num-
ber Theory in Memory of Kustaa Inkeri (1999), M. Jutila, T. Metsnkyl
(Eds.), Walter de Gruyter, Berlin, New York (2001), 201221
304 References
311. A.M. Robert, A course in p-adic Analysis, Springer, Berlin Heidelberg New
York (2000)
312. W. Rudin, Real and Complex Analysis, Mc Graw-Hill, New York (1966)
313. W. Rudin, Functional Analysis, Mc Graw-Hill, New York (1973)
314. Z. Rudnick, P. Sarnak, Zeros of principal L-functions and Random Matrix
Theory, Duke Math. J. 81 (1996), 269322
315. J. Sander, J. Steuding, Joint universality for sums and products of Dirichlet
L-functions, Analysis 26 (2006), 295312
316. W. Schnee, Die Funktionalgleichung der Zetafunktion und der Dirichletschen
Reihen mit periodischen Koezienten, Math. Z. 31 (1930), 378390
317. W. Schwarz, Geschichte der analytischen Zahlentheorie seit 1890, in: Ein
Jahrhundert Mathematik 18901990, DMV, Vieweg (1990), 741780
318. W. Schwarz, Some remarks on the history of the prime number theorem from
1896 to 1960, in: Development of Mathematics 19001950, J.-P. Pier, (Ed.)
Birkhuser, Boston 1994 (Symposium Luxembourg 1992), 565615
319. W. Schwarz, R. Steuding, J. Steuding, Universality for Euler products and
related arithmetical functions, (submitted)
320. A. Selberg, Bemerkungen ber eine Dirichletsche Reihe, die mit der Theorie
der Modulformen nahe verbunden ist, Arch. Math. Naturvid. 43 (1940), 4750
321. A. Selberg, On the zeros of the Riemann zeta-function, Skr. Norske Vid. Akad.
Oslo 10 (1942), 159
322. A. Selberg, On the estimation of Fourier coecients of modular forms, Proc.
Sym. Pure Math. VIII (1965), 115
323. A. Selberg, Old and new conjectures and results about a class of Dirichlet series,
Proceedings of the Amal Conference on Analytic Number Theory, Maiori
1989, E. Bombieri et al. (Eds.), Universit di Salerno (1992), 367385
324. J.-P. Serre, Abelian l-adic representations and elliptic curves, Research Notes
in Mathematics, AK Peters (1968)
325. J.-P. Serre, Linear representations of finite groups, Springer, Berlin Heidelberg
New York (1977)
326. F. Shahidi, Symmetric power L-functions for GL(2), in: Elliptic curves and
related objects, H. Kisilevsky and M.R. Murty,(Ed.), CRM Proceedings and
Lecture Notes, vol. 4 (1994), 159182
327. F. Shahidi, Automorphic L-functions and functoriality, Proceedings of the
International Congress of Mathematicians, Bejing (2002), vol. III, 655666
328. G. Shimura, On the holomorphy of certain Dirichlet series, Proc. Lond. Math.
Soc. 31 (1975), 7998
329. C.L. Siegel, ber Riemanns Nachlass zur analytischen Zahlentheorie, Quellen
u. Studien zur Geschichte der Math. Astr. Phys. 2 (1932), 4580
330. C.L. Siegel, ber die Classenzahl quadratischer Zahlkrper, Acta Arith. 1
(1935), 8386
331. R. leeviiene, Joint limit theorems and universality for the Riemann and
allied zeta-functions, Ph.D. Thesis, Vilnius University (2002)
332. R. leeviiene, The joint universality for twists of Dirichlet series with multi-
plicative coecients, in: Analytic and probabilistic methods in Number Theory,
Proceedings of the Third International Conference in Honour of J. Kubilius,
Palanga 2001, A. Dubickas et al. (Eds.), TEV, Vilnius (2002), 303319
333. R. leeviiene, J. Steuding, Short series over simple zeros of the Riemann
zeta-function, Indagationes Math. 15 (2004), 129132
308 References
358. M.-F. Vignras, Facteurs gamma et quations fonctionnelles, in: Modular Func-
tions of one Variable I, Proceedings of the International Conference, University
of Bonn, 1976, A. Dold and B. Eckmann (Eds.), Lecture Notes in Math. 627,
Springer, Berlin Heidelberg New York (1977), 79103
359. I.M. Vinogradov, A new estimate for the function (1 + it), Izv. Akad. Nauk
SSSR, Ser. Mat. 22 (1958), 161164 (Russian)
360. A.I. Vinogradov, On the density hypothesis for Dirichlet L-functions, Izv. Akad.
Nauk SSSR 29 (1965), 903934 (Russian)
361. S.M. Voronin, The distribution of the non-zero values of the Riemann zeta-
function, Izv. Akad. Nauk Inst. Steklov 128 (1972), 131150 (Russian)
362. S.M. Voronin, On the functional independence of Dirichlet L-functions, Acta
Arith. 27 (1975), 493503 (Russian)
363. S.M. Voronin, Theorem on the universality of the Riemann zeta-function, Izv.
Akad. Nauk SSSR, Ser. Matem., 39 (1975), 475486 (Russian); Math. USSR
Izv. 9 (1975), 443445
364. S.M. Voronin, Analytic Properties of Dirichlet Generating Functions of Arith-
metic Objects, Ph.D. Thesis, Moscow, Steklov Math. Institute, (1977) (Russian)
365. M. Waldschmidt, A lower bound for linear forms in logarithms, Acta Arith. 37
(1980), 257283
366. A. Walsz, Weylsche Exponentialsummen in der neueren Zahlentheorie, VEB
Deutscher Verlag der Wissenschaften (1963)
367. J.L. Walsh, Interpolation and approximation by rational functions in the com-
plex domain, Am. Math. Soc. Coll. Publ. 20, (1960)
368. L.C. Washington, Introduction to Cyclotomic Fields, Springer, Berlin
Heidelberg New York (1980)
369. A. Weil, Sur la thorie du corps de classes, J. Math. Soc. Jpn. 3 (1951), 135
370. H. Weyl, ber ein Problem aus dem Gebiete der diophantischen Approxima-
tion, Gttinger Nachrichten (1914), 234244
371. A. Wiles, Modular elliptic curves and Fermats last theorem, Ann. Math. 141
(1995), 443551
372. Z. Ye, The Nevanlinna functions of the Riemann zeta-function, J. Math. Analy-
sis Appl. 233 (1999), 425435
Notations
We indicate here some of the notations and conventions used in these notes;
most of them are standard. However, this list is not complete; we omit notions
which only appear in one chapter (where they are dened in situ) or which
are covered by the index or which are standard.
As usual, we denote by N = {1, 2, 3, . . .} the set of positive integers. The
sets of integers, rational numbers, real numbers, and complex numbers are
denoted by Z, Q, R, and C, respectively. Following an old tradition in the
theory of the zeta-function, the complex variable is given by a mixture of
greek and latinletters: we write s = + it, where , t R, and i is the
imaginary unit 1 in the upper half-plane.
The letter p, with and without a subscript, denotes a prime number. We
write d | n (respectively, d n) if the integer d divides (respectively, does not
divide) the integer n. The symbol stands either for some congruence or it
denotes that a function is constant. The number of elements of a nite set
A is denoted by A. The function (x) counts the number of primes p x.
Besides, we use many other arithmetical functions; in our notation we follow
the classic [120].
The logarithm is, as usual in number theory, always taken to the basis e =
exp(1). The integer part and fractional part of a real number x are indicated
by [x] and {x}, respectively. Very convenient is the use of the Landau- and
Vinogradov-symbols. Given two functions f (x) and g(x), both dened for
x X, where g(x) is positive for all x X, we write:
f (x) = O(g(x)) and f (x) g(x), respectively, if there exists a constant
C 0 such that
(i), (1) Ramanujan hypothesis. a(n) n for any > 0, where the implicit
constant may depend on .
(ii) Analytic continuation. there exists a real number L such that L(s)
has an analytic continuation to the half-plane > L with L < 1
except for at most a pole at s = 1.
(2) Analytic continuation. There exists a non-negative integer k such that
(s 1)k L(s) is an entire function of nite order.
(iii) Finite order. There exists a constant L 0 such that, for any xed
> L and any > 0,
L (s) = L (1 s),
where
f
L (s) := L(s)Q s
(j s + j )
j=1
(iv) Polynomial Euler product. There exists a positive integer m and for
every prime p, there are complex numbers j (p), 1 j m, such that
m
1
j (p)
L(s) = 1 .
p j=1
ps
We denote by S the class of Dirichlet series satisfying the axioms (i)(v) and
by S the so-called extended Selberg class of Dirichlet series satisfying (2) and
(3); the subclass of the latter class of all elements satisfying additionally the
axioms (1) and (4) is the Selberg class S.
Index
Vol. 1711: W. Ricker, Operator Algebras Generated by Vol. 1733: K. Ritter, Average-Case Analysis of Numerical
Commuting Projections: A Vector Measure Approach Problems (2000)
(1999) Vol. 1734: M. Espedal, A. Fasano, A. Mikelic, Filtration in
Vol. 1712: N. Schwartz, J. J. Madden, Semi-algebraic Porous Media and Industrial Applications. Cetraro 1998.
Function Rings and Reflectors of Partially Ordered Editor: A. Fasano. 2000.
Rings (1999) Vol. 1735: D. Yafaev, Scattering Theory: Some Old and
Vol. 1713: F. Bethuel, G. Huisken, S. Mller, K. Stef- New Problems (2000)
fen, Calculus of Variations and Geometric Evolution Prob- Vol. 1736: B. O. Turesson, Nonlinear Potential Theory and
lems. Cetraro, 1996. Editors: S. Hildebrandt, M. Struwe Weighted Sobolev Spaces (2000)
(1999) Vol. 1737: S. Wakabayashi, Classical Microlocal Analysis
Vol. 1714: O. Diekmann, R. Durrett, K. P. Hadeler, in the Space of Hyperfunctions (2000)
P. K. Maini, H. L. Smith, Mathematics Inspired by Biol- Vol. 1738: M. mery, A. Nemirovski, D. Voiculescu,
ogy. Martina Franca, 1997. Editors: V. Capasso, O. Diek- Lectures on Probability Theory and Statistics (2000)
mann (1999) Vol. 1739: R. Burkard, P. Deuflhard, A. Jameson, J.-L.
Vol. 1715: N. V. Krylov, M. Rckner, J. Zabczyk, Stochas- Lions, G. Strang, Computational Mathematics Driven
tic PDEs and Kolmogorov Equations in Infinite Dimen- by Industrial Problems. Martina Franca, 1999. Editors:
sions. Cetraro, 1998. Editor: G. Da Prato (1999) V. Capasso, H. Engl, J. Periaux (2000)
Vol. 1716: J. Coates, R. Greenberg, K. A. Ribet, K. Ru- Vol. 1740: B. Kawohl, O. Pironneau, L. Tartar, J.-P. Zole-
bin, Arithmetic Theory of Elliptic Curves. Cetraro, 1997. sio, Optimal Shape Design. Tria, Portugal 1999. Editors:
Editor: C. Viola (1999) A. Cellina, A. Ornelas (2000)
Vol. 1717: J. Bertoin, F. Martinelli, Y. Peres, Lectures Vol. 1741: E. Lombardi, Oscillatory Integrals and Phe-
on Probability Theory and Statistics. Saint-Flour, 1997. nomena Beyond all Algebraic Orders (2000)
Editor: P. Bernard (1999) Vol. 1742: A. Unterberger, Quantization and Non-
Vol. 1718: A. Eberle, Uniqueness and Non-Uniqueness holomorphic Modular Forms (2000)
of Semigroups Generated by Singular Diffusion Opera- Vol. 1743: L. Habermann, Riemannian Metrics of Con-
tors (1999) stant Mass and Moduli Spaces of Conformal Structures
Vol. 1719: K. R. Meyer, Periodic Solutions of the N-Body (2000)
Problem (1999) Vol. 1744: M. Kunze, Non-Smooth Dynamical Systems
Vol. 1720: D. Elworthy, Y. Le Jan, X-M. Li, On the Geo- (2000)
metry of Diffusion Operators and Stochastic Flows (1999) Vol. 1745: V. D. Milman, G. Schechtman (Eds.), Geomet-
Vol. 1721: A. Iarrobino, V. Kanev, Power Sums, Goren- ric Aspects of Functional Analysis. Israel Seminar 1999-
stein Algebras, and Determinantal Loci (1999) 2000 (2000)
Vol. 1746: A. Degtyarev, I. Itenberg, V. Kharlamov, Real
Vol. 1722: R. McCutcheon, Elemental Methods in Ergodic
Enriques Surfaces (2000)
Ramsey Theory (1999)
Vol. 1747: L. W. Christensen, Gorenstein Dimensions
Vol. 1723: J. P. Croisille, C. Lebeau, Diffraction by an
(2000)
Immersed Elastic Wedge (1999)
Vol. 1748: M. Ruzicka, Electrorheological Fluids: Model-
Vol. 1724: V. N. Kolokoltsov, Semiclassical Analysis for ing and Mathematical Theory (2001)
Diffusions and Stochastic Processes (2000)
Vol. 1749: M. Fuchs, G. Seregin, Variational Methods
Vol. 1725: D. A. Wolf-Gladrow, Lattice-Gas Cellular for Problems from Plasticity Theory and for Generalized
Automata and Lattice Boltzmann Models (2000) Newtonian Fluids (2001)
Vol. 1726: V. Maric, Regular Variation and Differential Vol. 1750: B. Conrad, Grothendieck Duality and Base
Equations (2000) Change (2001)
Vol. 1727: P. Kravanja M. Van Barel, Computing the Zeros Vol. 1751: N. J. Cutland, Loeb Measures in Practice:
of Analytic Functions (2000) Recent Advances (2001)
Vol. 1728: K. Gatermann Computer Algebra Methods for Vol. 1752: Y. V. Nesterenko, P. Philippon, Introduction to
Equivariant Dynamical Systems (2000) Algebraic Independence Theory (2001)
Vol. 1729: J. Azma, M. mery, M. Ledoux, M. Yor (Eds.) Vol. 1753: A. I. Bobenko, U. Eitner, Painlev Equations in
Sminaire de Probabilits XXXIV (2000) the Differential Geometry of Surfaces (2001)
Vol. 1730: S. Graf, H. Luschgy, Foundations of Quantiza- Vol. 1754: W. Bertram, The Geometry of Jordan and Lie
tion for Probability Distributions (2000) Structures (2001)
Vol. 1731: T. Hsu, Quilts: Central Extensions, Braid Vol. 1755: J. Azma, M. mery, M. Ledoux, M. Yor
Actions, and Finite Groups (2000) (Eds.), Sminaire de Probabilits XXXV (2001)
Vol. 1732: K. Keller, Invariant Factors, Julia Equivalences Vol. 1756: P. E. Zhidkov, Korteweg de Vries and Nonlin-
and the (Abstract) Mandelbrot Set (2000) ear Schrdinger Equations: Qualitative Theory (2001)
Vol. 1757: R. R. Phelps, Lectures on Choquets Theorem Vol. 1786: S. D. Cutkosky, Monomialization of Mor-
(2001) phisms from 3-Folds to Surfaces (2002)
Vol. 1758: N. Monod, Continuous Bounded Cohomology Vol. 1787: S. Caenepeel, G. Militaru, S. Zhu, Frobenius
of Locally Compact Groups (2001) and Separable Functors for Generalized Module Cate-
Vol. 1759: Y. Abe, K. Kopfermann, Toroidal Groups gories and Nonlinear Equations (2002)
(2001) Vol. 1788: A. Vasilev, Moduli of Families of Curves for
Vol. 1760: D. Filipovic, Consistency Problems for Heath- Conformal and Quasiconformal Mappings (2002)
Jarrow-Morton Interest Rate Models (2001) Vol. 1789: Y. Sommerhuser, Yetter-Drinfeld Hopf alge-
Vol. 1761: C. Adelmann, The Decomposition of Primes in bras over groups of prime order (2002)
Torsion Point Fields (2001) Vol. 1790: X. Zhan, Matrix Inequalities (2002)
Vol. 1762: S. Cerrai, Second Order PDEs in Finite and Vol. 1791: M. Knebusch, D. Zhang, Manis Valuations
Infinite Dimension (2001) and Prfer Extensions I: A new Chapter in Commutative
Vol. 1763: J.-L. Loday, A. Frabetti, F. Chapoton, F. Goi- Algebra (2002)
chot, Dialgebras and Related Operads (2001) Vol. 1792: D. D. Ang, R. Gorenflo, V. K. Le, D. D. Trong,
Vol. 1764: A. Cannas da Silva, Lectures on Symplectic Moment Theory and Some Inverse Problems in Potential
Geometry (2001) Theory and Heat Conduction (2002)
Vol. 1765: T. Kerler, V. V. Lyubashenko, Non-Semisimple Vol. 1793: J. Corts Monforte, Geometric, Control and
Topological Quantum Field Theories for 3-Manifolds with Numerical Aspects of Nonholonomic Systems (2002)
Corners (2001) Vol. 1794: N. Pytheas Fogg, Substitution in Dynamics,
Vol. 1766: H. Hennion, L. Herv, Limit Theorems for Arithmetics and Combinatorics. Editors: V. Berth, S. Fer-
Markov Chains and Stochastic Properties of Dynamical enczi, C. Mauduit, A. Siegel (2002)
Systems by Quasi-Compactness (2001) Vol. 1795: H. Li, Filtered-Graded Transfer in Using Non-
Vol. 1767: J. Xiao, Holomorphic Q Classes (2001) commutative Grbner Bases (2002)
Vol. 1768: M. J. Pflaum, Analytic and Geometric Study of Vol. 1796: J.M. Melenk, hp-Finite Element Methods for
Stratified Spaces (2001) Singular Perturbations (2002)
Vol. 1769: M. Alberich-Carramiana, Geometry of the Vol. 1797: B. Schmidt, Characters and Cyclotomic Fields
Plane Cremona Maps (2002) in Finite Geometry (2002)
Vol. 1770: H. Gluesing-Luerssen, Linear Delay-
Vol. 1798: W.M. Oliva, Geometric Mechanics (2002)
Differential Systems with Commensurate Delays: An
Vol. 1799: H. Pajot, Analytic Capacity, Rectifiability,
Algebraic Approach (2002)
Menger Curvature and the Cauchy Integral (2002)
Vol. 1771: M. mery, M. Yor (Eds.), Sminaire de Prob-
Vol. 1800: O. Gabber, L. Ramero, Almost Ring Theory
abilits 1967-1980. A Selection in Martingale Theory
(2003)
(2002)
Vol. 1801: J. Azma, M. mery, M. Ledoux, M. Yor
Vol. 1772: F. Burstall, D. Ferus, K. Leschke, F. Pedit,
(Eds.), Sminaire de Probabilits XXXVI (2003)
U. Pinkall, Conformal Geometry of Surfaces in S4 (2002)
Vol. 1773: Z. Arad, M. Muzychuk, Standard Integral Vol. 1802: V. Capasso, E. Merzbach, B. G. Ivanoff,
Table Algebras Generated by a Non-real Element of Small M. Dozzi, R. Dalang, T. Mountford, Topics in Spatial
Degree (2002) Stochastic Processes. Martina Franca, Italy 2001. Editor:
Vol. 1774: V. Runde, Lectures on Amenability (2002) E. Merzbach (2003)
Vol. 1775: W. H. Meeks, A. Ros, H. Rosenberg, The Vol. 1803: G. Dolzmann, Variational Methods for Crys-
Global Theory of Minimal Surfaces in Flat Spaces. talline Microstructure Analysis and Computation (2003)
Martina Franca 1999. Editor: G. P. Pirola (2002) Vol. 1804: I. Cherednik, Ya. Markov, R. Howe, G. Lusztig,
Vol. 1776: K. Behrend, C. Gomez, V. Tarasov, G. Tian, Iwahori-Hecke Algebras and their Representation Theory.
Quantum Comohology. Cetraro 1997. Editors: P. de Bar- Martina Franca, Italy 1999. Editors: V. Baldoni, D. Bar-
tolomeis, B. Dubrovin, C. Reina (2002) basch (2003)
Vol. 1777: E. Garca-Ro, D. N. Kupeli, R. Vzquez- Vol. 1805: F. Cao, Geometric Curve Evolution and Image
Lorenzo, Osserman Manifolds in Semi-Riemannian Processing (2003)
Geometry (2002) Vol. 1806: H. Broer, I. Hoveijn. G. Lunther, G. Vegter,
Vol. 1778: H. Kiechle, Theory of K-Loops (2002) Bifurcations in Hamiltonian Systems. Computing Singu-
Vol. 1779: I. Chueshov, Monotone Random Systems larities by Grbner Bases (2003)
(2002) Vol. 1807: V. D. Milman, G. Schechtman (Eds.), Geomet-
Vol. 1780: J. H. Bruinier, Borcherds Products on O(2,1) ric Aspects of Functional Analysis. Israel Seminar 2000-
and Chern Classes of Heegner Divisors (2002) 2002 (2003)
Vol. 1781: E. Bolthausen, E. Perkins, A. van der Vaart, Vol. 1808: W. Schindler, Measures with Symmetry Prop-
Lectures on Probability Theory and Statistics. Ecole d erties (2003)
Et de Probabilits de Saint-Flour XXIX-1999. Editor: Vol. 1809: O. Steinbach, Stability Estimates for Hybrid
P. Bernard (2002) Coupled Domain Decomposition Methods (2003)
Vol. 1782: C.-H. Chu, A. T.-M. Lau, Harmonic Functions Vol. 1810: J. Wengenroth, Derived Functors in Functional
on Groups and Fourier Algebras (2002) Analysis (2003)
Vol. 1783: L. Grne, Asymptotic Behavior of Dynamical Vol. 1811: J. Stevens, Deformations of Singularities
and Control Systems under Perturbation and Discretiza- (2003)
tion (2002) Vol. 1812: L. Ambrosio, K. Deckelnick, G. Dziuk,
Vol. 1784: L. H. Eliasson, S. B. Kuksin, S. Marmi, J.-C. M. Mimura, V. A. Solonnikov, H. M. Soner, Mathematical
Yoccoz, Dynamical Systems and Small Divisors. Cetraro, Aspects of Evolving Interfaces. Madeira, Funchal, Portu-
Italy 1998. Editors: S. Marmi, J.-C. Yoccoz (2002) gal 2000. Editors: P. Colli, J. F. Rodrigues (2003)
Vol. 1785: J. Arias de Reyna, Pointwise Convergence of Vol. 1813: L. Ambrosio, L. A. Caffarelli, Y. Brenier,
Fourier Series (2002) G. Buttazzo, C. Villani, Optimal Transportation and its
Applications. Martina Franca, Italy 2001. Editors: L. A. Vol. 1837: S. Tavar, O. Zeitouni, Lectures on Probabil-
Caffarelli, S. Salsa (2003) ity Theory and Statistics. Ecole dEt de Probabilits de
Vol. 1814: P. Bank, F. Baudoin, H. Fllmer, L.C.G. Saint-Flour XXXI-2001. Editor: J. Picard (2004)
Rogers, M. Soner, N. Touzi, Paris-Princeton Lectures on Vol. 1838: A.J. Ganesh, N.W. OConnell, D.J. Wischik,
Mathematical Finance 2002 (2003) Big Queues. XII, 254 p, 2004.
Vol. 1815: A. M. Vershik (Ed.), Asymptotic Com- Vol. 1839: R. Gohm, Noncommutative Stationary
binatorics with Applications to Mathematical Physics. Processes. VIII, 170 p, 2004.
St. Petersburg, Russia 2001 (2003) Vol. 1840: B. Tsirelson, W. Werner, Lectures on Probabil-
Vol. 1816: S. Albeverio, W. Schachermayer, M. Tala- ity Theory and Statistics. Ecole dEt de Probabilits de
grand, Lectures on Probability Theory and Statistics. Saint-Flour XXXII-2002. Editor: J. Picard (2004)
Ecole dEt de Probabilits de Saint-Flour XXX-2000. Vol. 1841: W. Reichel, Uniqueness Theorems for Vari-
Editor: P. Bernard (2003) ational Problems by the Method of Transformation
Vol. 1817: E. Koelink, W. Van Assche (Eds.), Orthogonal Groups (2004)
Polynomials and Special Functions. Leuven 2002 (2003) Vol. 1842: T. Johnsen, A. L. Knutsen, K3 Projective Mod-
Vol. 1818: M. Bildhauer, Convex Variational Problems els in Scrolls (2004)
with Linear, nearly Linear and/or Anisotropic Growth Vol. 1843: B. Jefferies, Spectral Properties of Noncom-
Conditions (2003) muting Operators (2004)
Vol. 1819: D. Masser, Yu. V. Nesterenko, H. P. Schlick- Vol. 1844: K.F. Siburg, The Principle of Least Action in
ewei, W. M. Schmidt, M. Waldschmidt, Diophantine Geometry and Dynamics (2004)
Approximation. Cetraro, Italy 2000. Editors: F. Amoroso, Vol. 1845: Min Ho Lee, Mixed Automorphic Forms, Torus
U. Zannier (2003) Bundles, and Jacobi Forms (2004)
Vol. 1820: F. Hiai, H. Kosaki, Means of Hilbert Space Vol. 1846: H. Ammari, H. Kang, Reconstruction of Small
Operators (2003) Inhomogeneities from Boundary Measurements (2004)
Vol. 1821: S. Teufel, Adiabatic Perturbation Theory in Vol. 1847: T.R. Bielecki, T. Bjrk, M. Jeanblanc, M.
Quantum Dynamics (2003) Rutkowski, J.A. Scheinkman, W. Xiong, Paris-Princeton
Vol. 1822: S.-N. Chow, R. Conti, R. Johnson, J. Mallet- Lectures on Mathematical Finance 2003 (2004)
Paret, R. Nussbaum, Dynamical Systems. Cetraro, Italy Vol. 1848: M. Abate, J. E. Fornaess, X. Huang, J. P. Rosay,
2000. Editors: J. W. Macki, P. Zecca (2003) A. Tumanov, Real Methods in Complex and CR Geom-
Vol. 1823: A. M. Anile, W. Allegretto, C. Ring- etry, Martina Franca, Italy 2002. Editors: D. Zaitsev, G.
hofer, Mathematical Problems in Semiconductor Physics. Zampieri (2004)
Cetraro, Italy 1998. Editor: A. M. Anile (2003) Vol. 1849: Martin L. Brown, Heegner Modules and Ellip-
tic Curves (2004)
Vol. 1824: J. A. Navarro Gonzlez, J. B. Sancho de Salas,
C Differentiable Spaces (2003) Vol. 1850: V. D. Milman, G. Schechtman (Eds.), Geomet-
ric Aspects of Functional Analysis. Israel Seminar 2002-
Vol. 1825: J. H. Bramble, A. Cohen, W. Dahmen, Mul-
2003 (2004)
tiscale Problems and Methods in Numerical Simulations,
Vol. 1851: O. Catoni, Statistical Learning Theory and
Martina Franca, Italy 2001. Editor: C. Canuto (2003)
Stochastic Optimization (2004)
Vol. 1826: K. Dohmen, Improved Bonferroni Inequal-
Vol. 1852: A.S. Kechris, B.D. Miller, Topics in Orbit
ities via Abstract Tubes. Inequalities and Identities of
Equivalence (2004)
Inclusion-Exclusion Type. VIII, 113 p, 2003.
Vol. 1853: Ch. Favre, M. Jonsson, The Valuative Tree
Vol. 1827: K. M. Pilgrim, Combinations of Complex (2004)
Dynamical Systems. IX, 118 p, 2003.
Vol. 1854: O. Saeki, Topology of Singular Fibers of Dif-
Vol. 1828: D. J. Green, Grbner Bases and the Computa- ferential Maps (2004)
tion of Group Cohomology. XII, 138 p, 2003. Vol. 1855: G. Da Prato, P.C. Kunstmann, I. Lasiecka,
Vol. 1829: E. Altman, B. Gaujal, A. Hordijk, Discrete- A. Lunardi, R. Schnaubelt, L. Weis, Functional Analytic
Event Control of Stochastic Networks: Multimodularity Methods for Evolution Equations. Editors: M. Iannelli,
and Regularity. XIV, 313 p, 2003. R. Nagel, S. Piazzera (2004)
Vol. 1830: M. I. Gil, Operator Functions and Localization Vol. 1856: K. Back, T.R. Bielecki, C. Hipp, S. Peng,
of Spectra. XIV, 256 p, 2003. W. Schachermayer, Stochastic Methods in Finance, Bres-
Vol. 1831: A. Connes, J. Cuntz, E. Guentner, N. Hig- sanone/Brixen, Italy, 2003. Editors: M. Fritelli, W. Rung-
son, J. E. Kaminker, Noncommutative Geometry, Martina galdier (2004)
Franca, Italy 2002. Editors: S. Doplicher, L. Longo (2004) Vol. 1857: M. mery, M. Ledoux, M. Yor (Eds.), Smi-
Vol. 1832: J. Azma, M. mery, M. Ledoux, M. Yor naire de Probabilits XXXVIII (2005)
(Eds.), Sminaire de Probabilits XXXVII (2003) Vol. 1858: A.S. Cherny, H.-J. Engelbert, Singular Stochas-
Vol. 1833: D.-Q. Jiang, M. Qian, M.-P. Qian, Mathemati- tic Differential Equations (2005)
cal Theory of Nonequilibrium Steady States. On the Fron- Vol. 1859: E. Letellier, Fourier Transforms of Invariant
tier of Probability and Dynamical Systems. IX, 280 p, Functions on Finite Reductive Lie Algebras (2005)
2004. Vol. 1860: A. Borisyuk, G.B. Ermentrout, A. Friedman,
Vol. 1834: Yo. Yomdin, G. Comte, Tame Geometry with D. Terman, Tutorials in Mathematical Biosciences I.
Application in Smooth Analysis. VIII, 186 p, 2004. Mathematical Neurosciences (2005)
Vol. 1835: O.T. Izhboldin, B. Kahn, N.A. Karpenko, Vol. 1861: G. Benettin, J. Henrard, S. Kuksin, Hamil-
A. Vishik, Geometric Methods in the Algebraic Theory tonian Dynamics Theory and Applications, Cetraro,
of Quadratic Forms. Summer School, Lens, 2000. Editor: Italy, 1999. Editor: A. Giorgilli (2005)
J.-P. Tignol (2004) Vol. 1862: B. Helffer, F. Nier, Hypoelliptic Estimates and
Vol. 1836: C. Nastasescu, F. Van Oystaeyen, Methods of Spectral Theory for Fokker-Planck Operators and Witten
Graded Rings. XIII, 304 p, 2004. Laplacians (2005)
Vol. 1863: H. Fhr, Abstract Harmonic Analysis of Con- Vol. 1890: M. Bunge, J. Funk, Singular Coverings of
tinuous Wavelet Transforms (2005) Toposes (2006)
Vol. 1864: K. Efstathiou, Metamorphoses of Hamiltonian Vol. 1891: J.B. Friedlander, D.R. Heath-Brown,
Systems with Symmetries (2005) H. Iwaniec, J. Kaczorowski, Analytic Number Theory,
Vol. 1865: D. Applebaum, B.V. R. Bhat, J. Kustermans, Cetraro, Italy, 2002. Editors: A. Perelli, C. Viola (2006)
J. M. Lindsay, Quantum Independent Increment Processes Vol. 1892: A. Baddeley, I. Brny, R. Schneider, W. Weil,
I. From Classical Probability to Quantum Stochastic Cal- Stochastic Geometry, Martina Franca, Italy, 2004. Editor:
culus. Editors: M. Schrmann, U. Franz (2005) W. Weil (2007)
Vol. 1866: O.E. Barndorff-Nielsen, U. Franz, R. Gohm, Vol. 1893: H. Hanmann, Local and Semi-Local Bifur-
B. Kmmerer, S. Thorbjnsen, Quantum Independent cations in Hamiltonian Dynamical Systems, Results and
Increment Processes II. Structure of Quantum Lvy Examples (2007)
Processes, Classical Probability, and Physics. Editors: M. Vol. 1894: C.W. Groetsch, Stable Approximate Evaluation
Schrmann, U. Franz, (2005) of Unbounded Operators (2007)
Vol. 1867: J. Sneyd (Ed.), Tutorials in Mathematical Bio- Vol. 1895: L. Molnr, Selected Preserver Problems on
sciences II. Mathematical Modeling of Calcium Dynamics Algebraic Structures of Linear Operators and on Function
and Signal Transduction. (2005) Spaces (2007)
Vol. 1868: J. Jorgenson, S. Lang, Posn (R) and Eisenstein Vol. 1896: P. Massart, Concentration Inequalities and
Series. (2005) Model Selection, Ecole dEt de Probabilits de Saint-
Vol. 1869: A. Dembo, T. Funaki, Lectures on Probabil- Flour XXXIII-2003. Editor: J. Picard (2007)
ity Theory and Statistics. Ecole dEt de Probabilits de Vol. 1897: R. Doney, Fluctuation Theory for Lvy
Saint-Flour XXXIII-2003. Editor: J. Picard (2005) Processes, Ecole dEt de Probabilits de Saint-Flour
Vol. 1870: V.I. Gurariy, W. Lusky, Geometry of Mntz XXXV-2005. Editor: J. Picard (2007)
Spaces and Related Questions. (2005) Vol. 1898: H.R. Beyer, Beyond Partial Differential Equa-
Vol. 1871: P. Constantin, G. Gallavotti, A.V. Kazhikhov, tions, On linear and Quasi-Linear Abstract Hyperbolic
Y. Meyer, S. Ukai, Mathematical Foundation of Turbu- Evolution Equations (2007)
lent Viscous Flows, Martina Franca, Italy, 2003. Editors: Vol. 1899: Sminaire de Probabilits XL. Editors:
M. Cannone, T. Miyakawa (2006) C. Donati-Martin, M. mery, A. Rouault, C. Stricker
Vol. 1872: A. Friedman (Ed.), Tutorials in Mathemati- (2007)
cal Biosciences III. Cell Cycle, Proliferation, and Cancer Vol. 1900: E. Bolthausen, A. Bovier (Eds.), Spin Glasses
(2006) (2007)
Vol. 1873: R. Mansuy, M. Yor, Random Times and En- Vol. 1901: O. Wittenberg, Intersections de deux
largements of Filtrations in a Brownian Setting (2006) quadriques et pinceaux de courbes de genre 1, Inter-
Vol. 1874: M. Yor, M. mery (Eds.), In Memoriam Paul- sections of Two Quadrics and Pencils of Curves of Genus
Andr Meyer - Sminaire de probabilits XXXIX (2006) 1 (2007)
Vol. 1875: J. Pitman, Combinatorial Stochastic Processes. Vol. 1902: A. Isaev, Lectures on the Automorphism
Ecole dEt de Probabilits de Saint-Flour XXXII-2002. Groups of Kobayashi-Hyperbolic Manifolds (2007)
Editor: J. Picard (2006) Vol. 1903: G. Kresin, V. Mazya, Sharp Real-Part Theo-
Vol. 1876: H. Herrlich, Axiom of Choice (2006) rems (2007)
Vol. 1877: J. Steuding, Value Distributions of L-Functions
(2007)
Vol. 1878: R. Cerf, The Wulff Crystal in Ising and Percol-
ation Models, Ecole dEt de Probabilits de Saint-Flour
XXXIV-2004. Editor: Jean Picard (2006)
Vol. 1879: G. Slade, The Lace Expansion and its Applica-
tions, Ecole dEt de Probabilits de Saint-Flour XXXIV-
2004. Editor: Jean Picard (2006)
Vol. 1880: S. Attal, A. Joye, C.-A. Pillet, Open Quantum
Systems I, The Hamiltonian Approach (2006)
Vol. 1881: S. Attal, A. Joye, C.-A. Pillet, Open Quantum
Systems II, The Markovian Approach (2006)
Vol. 1882: S. Attal, A. Joye, C.-A. Pillet, Open Quantum
Systems III, Recent Developments (2006) Recent Reprints and New Editions
Vol. 1883: W. Van Assche, F. Marcelln (Eds.), Orthogo-
nal Polynomials and Special Functions, Computation and Vol. 1618: G. Pisier, Similarity Problems and Completely
Application (2006) Bounded Maps. 1995 2nd exp. edition (2001)
Vol. 1884: N. Hayashi, E.I. Kaikina, P.I. Naumkin, Vol. 1629: J.D. Moore, Lectures on Seiberg-Witten
I.A. Shishmarev, Asymptotics for Dissipative Nonlinear Invariants. 1997 2nd edition (2001)
Equations (2006) Vol. 1638: P. Vanhaecke, Integrable Systems in the realm
Vol. 1885: A. Telcs, The Art of Random Walks (2006) of Algebraic Geometry. 1996 2nd edition (2001)
Vol. 1886: S. Takamura, Splitting Deformations of Dege- Vol. 1702: J. Ma, J. Yong, Forward-Backward Stochas-
nerations of Complex Curves (2006) tic Differential Equations and their Applications. 1999
Vol. 1887: K. Habermann, L. Habermann, Introduction to Corr. 3rd printing (2005)
Symplectic Dirac Operators (2006) Vol. 830: J.A. Green, Polynomial Representations of
Vol. 1888: J. van der Hoeven, Transseries and Real Differ- GLn , with an Appendix on Schensted Correspondence
ential Algebra (2006) and Littelmann Paths by K. Erdmann, J.A. Green and
Vol. 1889: G. Osipenko, Dynamical Systems, Graphs, and M. Schocker 1980 2nd corr. and augmented edition
Algorithms (2006) (2007)