Академический Документы
Профессиональный Документы
Культура Документы
S. MANDELBROJT
DIRICHLET SERIES
Principles and Methods
PREFACE VII
NOTE 160
BIBLIOGRAPHY 164
CHAPTER I
D = limsup~
An
the step of A.
If h > 0, then D'h ~ 1, because for every e with 0 < e < h there is an ne
such that for n>ne we have: An-An.>(n-ne-l)(h-e), hence
D' ~ (h - e)-I,
Denote by N(x) the number of An less than x (x> 0) and let D(x) =
N(x)/x. Then D(x) is the density function of A, We also have
The function
Vk-l <n~vk (k~ 1, vo=O), Here D(x) < 1 (x>O) and from AVk=Vk+ 1 it
follows that
D' ~ I'1m Vk Vk
+ 1 = 1,
that is, D'=1. Also, for vp~x<vP+l (p~l)
(since AVp +1 =VP+l + (vP+l_Vp)-l) we have
D(x) ~ ~
x
If we choose,2 for example, Vn =E[exp (exp n)], then for Vp ~ x< vp+l:
that is,
lim sup 15(x) = 15' = e- 1 < 1 = D',
Observe that always D' ~ e15 (this remark is due to Deny and Dvoretzky),
In fact, since D(x) ~ nIx for x> An, we can write
that is,
15' = lim sup D(x) ~ lim sup D(eAn)
~ lim sup n/(eAn) = D'/e,
The preceding example shows that in this inequality e cannot be re-
placed by a smaller constant.
We also see that D' and D' are simultaneously equal to zero, finite,
or infinite,
If D' <co, then the products (n> 1)
Pn = n IA~ - A;I/A~
m;'n
converge; Pn>O, The convergence of the product is an immediate con-
sequence of the fact that An>kn with k>O, The sequence {An}, where
An =P; \ is said to be associated to A,
THEOREM 1.1.1. There is a positive function A(a), defined and finite for
a> 1, such that for h>O
lim sup An/An ~ A(a)D' - 2a log (hD') , D' = L(a; h, D').
When D' =0, the expression L(a; h, D') must be taken to be zero.
For A(a) we can choose the following function:
where N=Np(afLm), a> 1 being fixed and Np(x) being the number of fLn
less than x, In other words, for X>Ap+l we have Np(x)=N(x)-p, and
for X~Ap+l we have NvCx) =0.
We denote by {Mn} the sequence associated to {fLp} and set
4 DIRICHLET SERIES
Am = n 11 -
q';;N
q¢m
/L:
/Lq
I
B = n 11 -/L21
-·
m q >N+ 1 /L~
Now
log Am = 2:
q.;;N log 11
q¢m
-I /L + t/Lq
2
_
/L)121
~ 2:
/c';;m-l
log [(
/L
~ k P) 2 - 1]
+ 2:
k';;N-m
log [ 1 - ( /L )
./L + kp
2] .
Since the function 1-[/L/(/L+xp)]2 increases for x> -/L/p, if we bear
in mind that - /L/ P < 1- m, we see that
+ (N - l)loga - a(N - m)
= [2 log {p~(alL)}
- (2 +a- log a)]N + ma - log a,
IX) ~(x)
= -log (1 - a- 2)NialL) - 21L2 f 2 2 dx
all X - IL
for from D' < 00 we have Nm(x) = O(x) (x ~ 00) (evidently the sequences
{lLn} and A have the same upper density D') and
lim log (1 - p,2/X2)Nm{x) = 0,
Consequently
IX) dx
log Bm ;>-: -log (I - a- 2)N - 2p,2~'{ap,) f 2 2
all X - P,
°
and if D' > 0, no matter what e > is taken, we have n//Ln ~ (1 + e)D' for
sufficiently large n; hence pn//Ln(1+e)p~pD' e-1~rl; and since xlogx
decreases in ]0, e -1] :3
THEOREM 1.1.2, Suppose that D' < co and set for r> 0:
Ao(r) = n (1 + ~;),
This product converges uniformly on every compact set in [0, co[, and
the terms that are not under the integral sign disappear on integrating
by parts, because on the one hand N(O) = 0, and on the other hand
lim N{x) log (1 +r2/x 2 ) =0, since D' < 00,
Integrating by parts a second time we obtain:
SEQUENCES OF EXPONENTS 7
and since lim SUPy;.t D(y) = D', we obtain the required inequality.
(1.4) 2: ~ = 2: e-(lognls
which represents the Riemann Zeta-function '(s) , a function that plays
a principal role in the theory of the distribution of prime numbers.
Let us recall that a Taylor series has a radius of convergence R, which
may be zero, infinity, or a finite positive number. In the first case the series
converges for z=O only; if O<R<oo, the series converges for Izl <R,
and does not converge for any value z with Izl > R. The disk Izl < Rand
the circle Izl =R are, respectively, the disk and the circle of convergence
of the series.
8 DIRICHLET SERIES
(if Uc< co), and does not converge for u < Uc (provided that - co < uc).
The series also converges uniformly on every compact set of the half-
plane (1.5). The series (1.3) does not converge anywhere if uc=co.
What we have just said concerning the series (1.3) cannot be trans-
ferred directly to every Dirichlet series simply by replacing n by "n.
From
the point of view of convergence, the essential difference lies in this: that
different half-planes of convergence do not coincide.
We begin with the following theorem:
We set S=So+S', s' =u' + it', a' >0, larg s'l <y, and we write
2: an e-
n.;m
ilnso = Am(so) = Am
We have
L (An
= p",n",q - All-I) e- AnS'
= L
p"n",q
[(All - S) -- (A n - l - S)] e- hns'
= L
p"n",q
[(An - S) - (A n- l - S)] e- hnS'
= L
p"lI .. q-1
(An - S)(e- hnS' - e- hn+1S,)
Now
~ (M + l)(e-hn'" - e?!n+l"'),
and it follows from (1.6) that
ILp"'n"q
e- lI "sl ~ 2e + e(M + 1) L p",n",q-l
(e- 1I11 '" - elln+l"')
~ e(3 + M),
which proves the theorem.
Here is an immediate corollary to the preceding theorem.
THEOREM 1.2.3. If the series (A, A) converges absolutely for S=So = CJo +ito,
it also converges absolutely for s=CJ+it with CJ> CJo.
Consequently,
THEOREM 1.2.4. If (A, A) converges at any point of the plane, two cases
are possible: (1) (A, A) converges for every value of s, (2) there exists a
number CJc (-OO<CJc<OO) such that (A, A) converges for every s with
CJ> CJc and does not converge for any s with CJ < CJc'
If (A, A) converges absolutely at any point of the plane, two cases are
possible: (1) (A, A) converges absolutely in the whole plane, (2) there
exists a number CJa (- <X) < CJa< (0) such that (A, A) converges absolutely
for CJ> CJa and (A, A) does not converge absolutely for any point of the half-
plane CJ<CJa.
If (A, A) does not converge at any point, we write CJc=OO.
If (A, A) does not converge absolutely at any point, we write CJa = 00.
If (A, A) converges at every point, we write CJc= - 00, and if it con-
verges absolutely at every point, we write CJa = -<X).
The quantities CJc and CJa are called, respectively, the abscissa of con-
vergence and abscissa of absolute convergence of the series (A, A), and the
straight lines CJ=CJc and CJ=CJa are, respectively, the axis of convergence
and the axis of absolute convergence of (A, A). Evidently CJa~CJc' For a
Taylor-D series ('\n=n) we have CJa=CJc, but this is not true in general.
It is known, for example, that the series
2: (-l)nn- S = 2: (-l)n e-(lognls
converges for CJ> 0 and does not converge for CJ < O. By contrast, the
series 2: n- S converges for CJ> 1 and does not converge for CJ~ 1. For the
series 2: (-l)nn- S we have CJc=O, CJa= 1.
Furthermore, a Dirichlet series may converge in the entire plane and
not converge absolutely anywhere. Here is an example.
We set an=(-I)nn-1, '\n=(log log n)1/2 (n~3). For k>O we have the
following relations:
lim an ellnk = 0
lanl ellnk < lan-ll elln - lk (n > nk)'
SEQUENCES OF EXPONENTS 11
The first relation is evident, the second can be written in the form
(n > nk)
{this follows from log ({n-l)/n)- -n- 1 and the relation
{log log n)1/2 - (log log {n - 1))1/2 - (2n log n(log log n)1/2)-1).
Hence the series L: an e-""k converges for every k, and this proves that
O'c= -00.
On the other hand, it is obvious that L: n - 1 e - (lOg log n)1/2 k diverges for
every k, hence O'a=OO.
Note that in our two examples
(An = log n,
we have D' = 00. But the following elementary proposition holds:
°
We denote by b the value of the expression on the right. We have to
show that for every e >
and
but for n> nB : log n/ "" ~ b +e/4, which proves that the general term of
(1.8) for n>ns is smaller than An-<b+B/2)J(b+B/4), and so the theorem is
proved.
Finally, here is a theorem which gives the abscissae of convergence
for an arbitrary sequence A:
If a<oo, the series (A, A) converges for u>max (0, a), and if a>O,
then uc=a.
We set
If b < 00, then the series (A, A) converges absolutely for u> max (0, b),
and if b>O, we have ua=b.
The part of the theorem concerning absolute convergence is an im-
mediate consequence of the first part if in (A, A) we replace an by lanl.
We set An= 2m"" am. For e>O and n>nB we have
= 2: Aie-An(a'u) - e- An + 1(a'u)
p~n~q-l
I 2:
p~n~q
an e -An(a' + e) I ~ 2:
p~n~q-l
eAn(a' u/2)
~ 2:
p~n~q-l
e An (a'+B/2)(a' + e)
X f"n
"n+1
e-u(a'+e) du
+ e- q(e/2) + e- Ap(ef2).
A
This last expression tends to zero as p tends to infinity. Hence the series
(A, A) converges for s=a' +e, consequently Gc<a'.
We are now going to show that if (A, A) converges for s=Go>O, then
a ~ Go. From this it follows that if a > 0, then also a ~ Gc. This fact, together
with the inequality Gc~a', which we have already proved, yields the
theorem.
We can write
2:
2~m~n-l
Am(Go)(eAm"o - eAm+l"o)
14 DIRICHLET SERIES
IAnl ~ M [ L
m"n .. l
(eAm +l<1o - eAm <1o) + eAn <1o]
which gives
We ought to remark that in Theorem 1.2.7 the condition a>O (as well
as the condition b > 0) is essential. In fact, suppose that the series (1.2)
represents a function fez) holomorphic in Izl < Rl with Rl> 1 and such
thatf(I):;IoO. The series
most general cases when the formulae which we establish here subject to
this restrictive condition are still valid.
THEOREM 1.3.1. If U a < 00, and if f(s) denotes the sum of (A, A) for u> U a,
then
+ -1
T
iT (2:
to m;on+l
am e("n -lIm)S) dt.
lim -1
T
iT
to
elc«(fl + it) dt = 0,
and since the series under the integral signs converge uniformly with
respect to t, tEO] - 00, 00[, we see that
Consequently,
the greatest lower bound of the quantities a' such that (A, A) converges
uniformly in every half-plane a ~ a' +e, where e > 0 is arbitrary. For in
the proof we have only used the uniform convergence of the series. Now
we need the following lemma:
1
21T
J(c + it)k dt
eW(c+tt)
{
=
wk-l
(k - I)!
(w > 0)
=0 (w :s; 0)
Suppose first that w > O. For T> 0, al < 0 we denote by 11( ± T, al) the
intervals (al:S; a:S; c, t = ±T) and by 12(T, al) and 13(T) the intervals
(a=al, It I :S;T) and (a=c, It I:S;T). Let R(T, al) be the rectangle formed
by these four intervals. By the residue theorem we have
But since for fixed al the integrals extended over h(T, al) and h( -T, al)
tend to zero, we see that
-
1 f
eW(c +tt)
211" (c + it)k
dt - -
1 f
e W("1 +It)
And since the second integral in this equality tends to zero as al tends
to - 00, the lemma is proved for w> O. For w < 0 the proof is similar. This
time R(T, al) must be replaced by the contour R'(T, (2) with a2> C, com-
posed of the intervals:
The integral written above, but this time extended over the contour
R'(T, (2) (instead of R(T, al» is zero, because the integrand is holomor-
phic in the interior and on R'(T, al), and if we first let T tend to + 00
and then a2 to + 00, we obtain the required result.
The following theorem will be very useful later on.
SEQUENCES OF EXPONENTS 17
THEOREM 1.3.3. Suppose that O'a < 00. If v > 0 and if k is a positive integer,
we have
= L (v - An)"-1am
(k - I)! fr(e + it) ev(c+tt) dt { An<V
27T (e + itY for
=0 for
where e> max (O'a, 0) and f(s) is the sum of (A, A).
For V>A1 and s=e+it we have
flC_s)_
eVS dt =
Sk
f" L,lIn<v an e(V-An)S dt
Sk
+ f"
L,lIn~v
an e(V-lIn)S dt.
sIt
From 1.3.2 and the uniform convergence of the series under the last
integral sign we see that this integral is zero. The same Lemma 1.3.2. allows
us to write:
= 2
i\n<V
an(v - An)"-l.
NOTES
1 Unless the contrary is stated, the first index of a sequence ..::I ={.\n} is always 1 and
not 0; when the index or the variable in lim sup, lim inf, or lim tends to + 00, this is
not stated explicitly. Also lim SUPn~ Pn is written lim sup Pn.
<Xl
M = sup If(s)l;
8e~T
obviously
lim dr.! = c
0 .... 0 d(} () ,
1. dr 1
i~ d(}'O = Clt
we have Cl> c.
Let cI>(z) be a function holomorphic on the closed disk Izl ::::; 1, real for
real z, with cI>(1)=I, cI>'(l) > -1, cI>(z)#O for Izl<l. Such a function is
said to be attached to a starred curve r* if for Izl < 1 we have zcI>(z) E D(r*).
Let A> 0; an integer m > 0 is called A-suitable for the function cI> if by writ-
ing
(II.1) (cI>(z)Y = dbA) + 2: d~) zm,
we have d~)#O. Two numbers A>O and A'>O are said to be distinct
modulo 1 relative to cI> if for no pair m ~ 0, m' ~ 0 of A- and A' -suitable
numbers for cI>, respectively, we can have the relation
We can now state the following general theorem; its character will be
easier to grasp by the special cases which we state below.
is valid for every Ak for which Ak - An is not an integer for any n i' k.
11.1.6. Let r*, G*, and ~ be defined as in Theorem 11.1.1, let ea (a~O) be
the curve in the plane of z=rete defined by r=eae2 , 101 ~7T. For sufficiently
small a the image of ea under z~(z) is situated on D(G*).
(According to the notation introduced above, D(G*) denotes the com-
pact domain bounded by G*.)
We set ~1(Z)=Z~(z). Since ~1(1)=1, ~W)=l+~'(l»O, there exists
a disk with centre at Z= 1 in which ~1(Z} is a single-valued function; let
U1 be such a disk. There also exists a disk with centre at ,= I in which the
inverse function ~11m of ~1 (~-l(~(Z»=z) is single-valued; let U2 be
such a disk. We set ,=e+i1)=pety and denote by Qa the image of ea
under ~1' With every a> 0 we can associate an e=e(a) > 0 and a y=y(a) > 0,
sufficiently small for the following conditions to hold: on the one hand,
the part of Qa which is the image (under ~1) of the arc of ea corresponding
to 0 ~ e~ e, is a simple Jordan arc" which links the point' = 1 to a point
e
in the half-plane 1) > 0(, = + i1), without passing through the real axis;
22 DIRICHLET SERIES
on the other hand, the ray from the origin (g = 0) making the angle y
with the axis 7]=0 cuts ,I in a single point p. The curve composed of the
part of this ray between the origin and p, the arc ,I and the interval
0:::;; g:::;; 1 on the real axis then determines a simply-connected domain D.
In addition, we can choose e(a) and yea) so that e(a)=e(O) and y(a)=y(O)
(this is possible - it suffices to take yea) sufficiently small) and such that
the domain between the arcs Qo and Qa beginning at g= 1 and ending
on the ray (through the origin) making with 7]=0 the angle y(O)=y(a)
should be contained in U2 • We can also choose e(a)=e(O) small enough
for the corresponding arcs of Co (which is an arc of Izl = 1) and of Ca
to be contained in U1 • For a given a, having made the choice of the corres-
ponding quantities e and y we refer to the resulting domain D as the
'domain Da'. The image of Da under 4>i 1 is denoted by D;;l. The bound-
ary of D;;l is evidently a simple closed Jordan curve.
If a is sufficiently small, we can choose the domain Da in such a way
that when we write Ra for the part of Qa that is part of the boundary of
Da we have RacD(G*).
passing through ,=
This comes from the following arguments. If L is a curve in the '-plane
1 that can be represented in a neighbourhood of this
point by p = p(y) (polar coordinates: a single p for sufficiently small Iy\)
and such that the (finite) limit
lim dP.!
y-+O dy y
exists, we denote this limit by c(L). The fact that Ra c D(G*) for suffi-
ciently small a is due to the following inequality, which is valid for
sufficiently small a:
c(Ra) < c(G*).
For if we set
then we have:
lim A(eao2 +10) = 1 + 4>'(1) = A > 0
8-+0
where A(x) is the restriction of A(z) to the real axis. Writing A'(I)=A l
we easily see that
20: Al 1
c(Ra) = A - A2 - Ji.'
and by definition: c(G*) > c(r*). Thus, it is sufficient that 0: > 0 should be
small enough for us to have c(Ra) < c(G*). And so with a suitable choice
of 0: we have ~l(Da)c D(G*). If 0: is sufficiently small, the image under
~l of that part of D(Ca) which is in the exterior of Da and its image in
the real axis is certainly contained in D(G*). But the same holds for the
image under ~l of the part of D(Ca) that is contained in Da (and its
image in the real axis). Therefore, there exists an 0:>0 such that the image
of D( Ca) under ~1 is in D( G*). And this demonstrates the lemma.
Now we proceed to the proof of Theorem 11.1.1. According to the
conditions of the theorem, the function ~(z) does not vanish in the disk
Izl < 1 (see the definition of a function attached to a curve r*); it is holo-
morphic on Izl ~ 1. It may have a finite number of zeros on Izi = 1, say,
zl> ... , Z/c'
We choose 0: > 0 sufficiently small so that:
(1) ~l[D(Ca)]cD(G*) (~l(Z)=Z~(z», which is possible by virtue of
the lemma we have just proved;
(2) ~(z) has no zeros on the disk Izi ~ ean2 other than the points Zj
(j=1,2, ... ,k).
We write L j (j= 1,2, ... , k) for the ray through the origin passing
through the point Zj' and S} for the segment of L j between Zj and Ca.
We denote by eta the curve composed of Ca and of the k segments Sf.
Finally, we denote by Lla the compact set bounded by eta.
We set
where log ~l(e-C1) is real for (7)0. The function pes) is holomorphic on
~Lla, and we have
In fact, we have Llac D(G*), and ~l(Z) has no zeros in Lla other than a
simple zero at the origin.
24 DIRICHLET SERIES
We set
<P(z) = do + L dmzm
(that is, dm=d~) according to (11.1».
We see that for sufficiently small r> 0
Now let p be such that a7T 2[.Lp ~ 1, and let Ca,p denote the curve composed
of the arc a=[.Lpl-at 2 , O:::;t:::;1T, and the segments SJ,p, which are the
parts of the segments -log S1 (s E -log S1=e- s E S1) contained between
this arc and the line a=O (these segments are evidently parallel to the
real axis t=O), where the ordinates of these segments belong to ]0,1T].
In other words, the segments S"p which we consider are all of the form
[.Lp 1 - all :::; a :::; 0, o< t, :::; 1T
with <P (e- ltl ) = O.
If we denote by Ca,p,m the union of m curves of which one is the union
C~,p of Ca,p with its symmetric image in the line 1=1T, while the m-I
others are those that we obtain from C~,p by the successive translations
s+2mri (n= 1,2, ... , m-l), we see by an evident application of Cauchy's
theorem that
It follows that
<£(L; R) = U C(s, R)
seL
THEOREM II.2.l. Let D· < 00 and suppose that ac< 00. If f(s), the sum of
(A, A), has an analytic continuation in a channel cr.(L; 7TR) with R> 15",
such that C(so, 7TR) (so=ao+it o) is one of the disks:
C(so, 7T R) c er(L; 7T R),
then we have
lanl :;;; C(R)AnM(so) eAnrJO ,
where C(R) < 00 only depends 1 on R, where {An} is the sequence associated
with A, and where
M(so) = sup If(s)l.
ssC(so.nR)
An(z) = n (1 -
m,on
~:)
m
(n ~ 1).
28 DIRICHLET SERIES
Since D' < 00, we see immediately that this product converges uniformly
on every compact set, so that An(z) is an entire function whose zeros are
only the points ± Am (mIn), and by 1.1.2 we have
(II,S) '
I1m log An{ir)./ D-'
sup "" 7T •
r
because it is evident that the upper density and the mean upper density
of the sequence obtained by removing from A a single term (or a finite
number of terms) are the same as for A itself,
It is clear that
max IAn(z) I = An{ir) ,
121=r
J<q}(s') = il! 1m
27Ti j g-
d,
S')q+l
the integral being taken over the circle with centre at s' and of radius
7T(j)' +e), which gives
Since the type of An(z) does not exceed 7TIY, the series L: a~n)(2p)! Z-2P
has radius of convergence R:::;; 7T 15 (it converges at the exterior of the
circle). Hence the series (11.6) converges by (II.7) uniformly on the disk
C(s,7T(R-D·-e». The function Fn(s)=lYn[f(s)] is holomorphic in the
channel <f;(L, 7T(R-D' -e», and on L we have:
(II.8) IFn(s) I : :; L: (-1)Pa~n)(2p)! (7TR)-2 P. M(s) = An(R)M(s).
(It is enough to set in (11.7): D' +e=R.) But when we set (see 1.1.2)
Ao(r) = L: (-1)Papr2P ,
we have (-l)Pa~n):::;;(-l)Pap, and when we write
C(R) = L: (-1)Pa p(2p)! (7TR)-2P,
we have An(R):::;; C(R) < CI) for R> D'. Hence
(II.9) \Pn(s) I : :; C(R)M(s).
Note that by setting 11(S) = L: lanl e- ilnS we have another inequality
similar to (I1.7), where I is replaced by 11 and M(s) by M 1(s), Ml being
defined like M but with I replaced by 11> where s is taken on that part of
L for which C(s, 7T R) C P([c' Without loss of generality we may assume that
L contains part of the real axis. When we write F'n(s) = L: (-1)Pa~n~fi2p)(s),
we see that for sufficiently large a E L we have:
F~(a) = L: (-l)Pa~ny?P)(a)
= L(-l)Pa~n) LA~laml e-
P m
ilm ([;
and since all the terms of the double sum are positive, we can change the
order of summation also in the series
Fn(s) = L: a~ny(2p)(s) = L: a~n) L: A~ am e- ilms
= L: am e- ilms L: a~n)A~ = L: amAn(Am) e- ilmS,
as long as s E L, with a sufficiently large. But since An(Am)=O for m=j:n,
we finally obtain
Fn(s) = anAn{An) e-iln8 = A; Ian e- iln8,
where {An} is the sequence associated with A. The inequality (II.9) with
S=So gives us the conclusion of the theorem.
Here is an important immediate corollary to Theorem II.2.1.
30 DIRICHLET SERIES
11.2.2. Let D' < 00, Gc < 00. If (A, A) has an analytic continuation in a
channel [(L;rrR) with R>IY of which C(so,rrR) (so=Go+ito) is a disk,
then
·
11m log An
Go ;:: Gc - sup - - .
An
It is sufficient to take account of 1.2.5.
Taking account of 1.1.1 we obtain the following statement:
NOTE
THEOREMS OF LIOUVILLE-WEIERSTRASS-PICARD
TYPE OF ARITHMETICAL CHARACTER AND OF
GENERAL CHARACTER
THEOREM IlL 1. 1. Suppose that Ak for a given k has the following property,'
the only rational numbers al> a2, ... , am (m> k), a, with aj ~ 0 (j = 1, 2, ... ,
m) satisfying the relation
Then the set of values taken by f(s) in 2 D( G*) is everywhere dense in the
disk of radius lakl around the origin.
Let a be complex and e>O such that If(s)-al >e in 2D(G*). Now
limf(s) = 0 as a ~ 00, uniformly with respect to t (this is so because
AI> 0). It follows that lal ~ e. Next we set
1 1
F(s) = a - f(s) a
Then F(s) is a holomorphic function in 2 D(G*), and in this domain
IF(s)1 < e- 1 + lal- 1 ~ 2e- 1 •
If a is such that
is not an integer unless the combinations are identical (that is, q=p,
Ani=fti> Aj=mj (j= 1,2, ... , p».
The following theorem is of 'Picard' type, with the conditions bearing
on the 'arithmetical' exponents.
THEOREMS OF LIOUVILLE-WEIERSTRASS-PICARD TYPE 33
as in 111.1.1.
Then f(s) assumes in If D(G*) all the values of the disk qO,2: lav}D
(lsi < 2: lav}I), except possibly the value zero and one other value.
It is known that if a=l:-b, there exists in the complex plane a function
X(w) with the following properties:
(a) x(w) is regular at the origin and consequently is given in the neigh-
bourhood of the origin by a series 2: Anwn;
(f3) x(w) has an analytic continuation on every curve that does not pass
through a or b, with w=a and w=b as ramification points for x(w);
(y) Ix(w)1 < 1. Evidently
Suppose then that, contrary to our assertion,J(s) does not take the two
values a and b such that a=l:-b, a=l:-O, b=l:-O, lal <A= 2: lav,l, Ibl <A, and
consider the function F(s)=xof(=x(f(s)), where X is the function we
have just defined.
If a' is such that 2: lanl e-An'" < c, we see that
- ,n !An 'Vp
C" - amI • ••
amp
Vp ,
(m 1 + m2 + ... + mp -- 11) •
ml····mp.
Theorem II.l.3 allows us to write
(III.1)
where p, Vb ... , Vp and n are given and the inequality is valid for any
positive integers mb m2, ... , mp for which
ml + m2 + ... + mp = n.
We fix p and the integers Vll V2, ... , Vp. We take p positive constants
all ••• , a p with al + ... + a p = 1, and for every positive n we set
mj = ECna,) (1 ~ j ~ p - 1),
mp = n - (ml + m2 + ... + mp-l)'
By Stirling's formula we have
. ( n! ) lin _a _a
hm , , = <XlI ••• <Xp p.
n ml ..•. mp.
We then have aJf= [(la vj l/Cla V1 1 + ... + lavpl)]af, and (III.2) gives us im-
mediately:
laV1 1 + ... + lavpl ~ min (lal, Ibl).
Since p is arbitrary, we arrive at the contradiction
THEOREMS OF LIOUVILLE-WEIERSTRASS-PICARD TYPE 35
Theorem III.l.2 is evidently more precise than Theorem 111.1.1 (not only
is Theorem III.1.2 of 'Picard' type, while Theorem 111.1.1 is of 'Weier-
strass' type, but also the radius of the 'disk of the distribution of values'
is smaller in the latter proposition). But we have thought it useful to
demonstrate both theorems, because although the two theorems are based
essentially on Theorem 11.1.3, the passage from this to Theorem 111.1.1
is elementary, whereas we had to use the modular function in order to
pass from Theorem 11.1.3 to 111.1.2.
Here is an immediate corollary to 111.1.2.
is called the (R)-order off(the Rilt order off). One must not confuse the
(R)-order off with the order of this entire function in the classical sense,
that is, the order defined by
THEOREM 111.2.1. If
(111.4) 'fAn
IimIn 1--> 0,
ogn
then a necessary and sufficient condition for the (R)-order off to be equal
to p is
. sup log lanl = -_.
11m 1
(Ill. 5)
An log An p
It then follows from (1l1.3) that for every e > 0 and sufficiently large
-0' we have
log lanl ~ log M(O') + Ana < e-(p+e)" + Ana.
THEOREMS OF LIOUVILLE-WEIERSTRASS-PICARD TYPE 37
Now the minimum of the third term of this inequality is assumed for
a= -log [An/{P+ e)]/{p+ e), a quantity that tends to -00 as n tends to
+00. Hence for sufficiently large n we have:
log lanl ~ min (e-(P+e)<1+ Ana)
= An{l - log (An/(P + e»)/(p + e),
which gives
Evidently this inequality is also valid for p = 00. On the other hand, if this
inequality is also valid for p < 00, then to every e > 0 we can assign a quan-
tity B{e) such that
with a=e/(p+e) (p+2e). But it follows from (I1I.4) that for a certain
positive constant b:
Ms = max If(a
It-tol .. a
+ it)l.
The quantity
.
I1m log log M,la)
sup
(1-+-00
= Ps
-a
THEOREM III.2.2. Suppose that the step of A is positive and that the func-
tion f represented by (A, A) is entire. Then the order off in every strip
S=S(to,1Ta) with a> IY is equal to the (R)-order off(in the plane).
Let P be the (R)-order of f and let Ps be its order in a strip S(to,1Ta)
with IY < a. Clearly Ps::;;' p. So we have to show that Ps ~ p. Also, it is
sufficient to prove the theorem for p > 0, because as we shall see later,
for every f not identically 0 we have Ps ~ O.
We set
MI(a') = max If(s)l,
seC
The inequalities (III.?), (III.8), and (111.9) give for j> jg and for every
a (wherejg is independent of a) and a constant C independent of a andj:
.
I1m log log Ms(a)
sup --"''---''''------''..0..-"-
a-"-oo -a
THEOREM 111.2.3. Suppose that D' < 00 and that Uc < 00 for the series
(A, A). If f(s), represented by (A, A), has an analytic continuation across
a curvilinear strip B of width 27TR extending to - 00, with R> 15', and if
this continuation is bounded in B, then f is identically equal to zero (that is:
an=Ofor n~ I).
This theorem is an immediate corollary to 11.2.1, where we put so=s(u)
and then let u tend to - 00. The conclusion of 11.2.1 shows immediately
that an=O for n~ 1.
Next, here is a general theorem of 'Picard' type.
THEOREM 111.2.4. Suppose that D' < 00 and that f(s), represented by (A, A)
with Uc < 00, has an analytic continuation across a strip B(S(U),7TR) extend-
ing to - 00, with R> D' " suppose also that f is not identically zero.
If {un} is an arbitrary sequence with lim Un = - 00, then one of the state-
ments (1), (2) holds:
(1) f(s) assumes in the set of disks C(s(un), 7TR) all values except possibly
one.
(2) For every e with 0 < e < R we have
limf(s) = 00
If s(u) is real for u<u' (s(u)=a(u», we can replace in this statement the
disks C(s(un), 11'R), C(s(un), 11'(R)-e» by the squares
I
10' - O'(un) < 11'R, I
It < 11'R;
10' - O'(un) I < 11'(R - e), It I < 7r{R - e).
We consider the family ff of holomorphic functions
111.2.6. Let a and b be two constants with 0 < a < b, and let F(s) be a func-
tion holomorphic in the horizontal strip S(to, b). If the order of the strip
S(to, a) is infinite, the function cannot tend to infinity uniformly in S(to, b)
as 0' tends to -00.
42 DIRICHLET SERIES
THEOREM 11I.2.7. Suppose that the step of A is positive and that f(s),
represented by (A, A), is an entire function of infinite (R)-order. Then f
assumes all values, except possibly one, infinitely often in every horizontal
strip S(to, 7Ta) with a> D'.
Note that Lemma 111.2.6 is a particular case of the theorem of Bieber-
bach-Valiron, which can be stated in the following form:
111.2.8. Let a and b be such that 0 < a < b. If the function F(s) is holomorphic
in the strip S(to, 7Ta) and if the order of F in S(to, 7Ta) exceeds 1/2a, then
the function assumes in every half-strip
It - tol < 7Tb,
all values, except possibly one.
For a proof of this theorem we refer the reader to Valiron [59].
By combining Theorem III.2.2 with 111.2.8 we obtain the following
theorem:
THEOREM 11I.2.9. If A has positive step, and if p is the order of the entire
function f(s) given by (A, A) (a c = -00), then f assumes in every horizontal
strip S(to,7Ta) with a>max (D', 1/2 p) all the values, except possibly one,
infinitely often.
CHAPTER IV
for which
and if we write
D'+ (0) = cos rp,
then one of the points Rel'P or Re-I'P is a singularity of (IV.l), namely the
one that is nearest to z = R on the circle of convergence. 1
Consider the series
with
IV. 1.2. Let lim sup lanl 1/n = 1 and let a~O, A>O be such that
A
(IV.S) a > 1 + A- log (1 + A).
Let {Uj} be a sequence of positive numbers tending to zero and suppose
that to every j there corresponds a sequence {m~} of positive integers such
that
and that
am = 0, for m E ]mW - AUj), m~(1 + Uj)[, m =f. m~.
IV. 1.3. Let lim sup lanl 1/n = 1, :> > 1, and let {Pn} and {qn} be two sequences
of positive integers tending to infinity. If for h > 0:
(IV.9) lim sup (qn/Pn) ~ I - Oh,
48 DIRICHLET SERIES
then
(IV. 10) lim sup laohPn + (~n) a1hPn -1 + ... + (::) aqnhPn -qn 11/Pn
~ 1 + 0(1 - log o)h + o(h) (h ~ 0).
We set
= -1.
hz
f ( + -W)P
1
2
n
(1 + z + ... + zqn)-
dz
z
where the integral is taken over Izl = b; consequently for b> 1 :
IV. 1.4. With the notation and conditions of Lemma IV. 1.3, let
c> 0(1 -log 0). If
~ (1 + Uj) (~
h) Uj/(l-U j )
(1 + aUj + o(Uj»)1/(1 +U j)
Then the series F(z) has at least one singularity at ei8 with
~ .
hm sup I ((aohjn + (vt)t a1hvn
~ I I -1 + ... + av~) elfinf) IlfV~
~ 1 + ellhj + o(hj );
this proves that when we denote by eilP the singularity of F(z) on Izl = 1
nearest to z = 1 we have
This proves the theorem, at least for the singularities situated on an arc
of angle 21arc cos elll centered at z= 1. An arbitrary rotation proves the
rest.
Now we indicate the essential difference between Theorem IV.1.5 (and
its corollary) on the one hand, and the older theorems in the same range
of ideas on the other.
In the classical theorems one studies the behaviour of the coefficients
am when the index m varies in intervals around indices mn corresponding
to 'major' coefficients, that is, those for which lim lamnllfmn=1 (where,
for example, all the other am are zero, as this is the case in the Corollary
SINGULARITIES OF FUNCTIONS 51
(in (IV.12» can never be equal to 1 (if a < 0), but tends to 1 as j tends to
infinity.
We end this chapter with the following theorem, which is also essen-
tially based on Theorem IV. I. I.
vanishes in the disk Izl < 3, then F(z) has at least one singular point at ejt{J
with
. an -1
COS g; ~ hm Sup ~ - '-.
an}
We see from this theorem that if lim sup ~(anr1/an!)= 1, when the
other conditions are satisfied, then Z= I is a singular point of (IV. I).
In the notation of Theorem IV.l we have for h ~ 0,
·
(IV .13) Iog D(h) = 11m log Idn(h) I '- I· log Idnih)I
sup .,:;; 1m sup .
n nj
There exist two constants k>O and L>O such that lanl <Lkn (n~O);
consequently
Since dn,(z) does not vanish in Izl < 8, we can define arg dn,(z) in this
disk in a continuous manner, by defining arg dniO) equal to arg an" the
latter lying in [0,217'[. The functions log dn,(z) = log Idn,(z)1 +i arg dn,(z)
are then holomorphic in Izl < 8, and their real parts satisfy the inequality
~ log dn,(z) = log Idn,(z) I : : :; log L + nJ log (k + 8).
The real parts of the functions
·
1ImCfJmp log amp = 1·1m log lampl
(0) = 1·Im-- + i arg amp = 0.
mp mp
On the other hand, it is easy to show that
d~(z) = ndn_1(z),
and that in Izl < 8
But since
SINGULARITIES OF FUNCTIONS 53
we have
Since D~(O) exists (Theorem IV.1.l) and from the fact that D(O)=
= lim sup lanl 11n = 1, we also have
·
~ 11m -h
It.o
1 (1'1m 9t
p-+co
fit dmp-1(t)
0
dmp() d)
t
t
But by Theorem IV.1.l we know that (IV.l) has a singularity eiqJ with
cos p = D~ (0). This completes the proof of our theorem.
NOTES
COMPOSITION OF SINGULARITIES
Without doubt, one of the most important theorems in the theory of the
distribution of singularities of a Taylor series is that of Hadamard con-
cerning the mUltiplication of singularities, which he discovered in 1898.
Since later in this chapter we shall have occasion to state the theorem
in its general form, we give it here under a form (due to Hadamard)
which is, in fact, only valid when the singularities are isolated and the
functions themselves are uniform.l
If Eh i = 1, 2, 3, is the set oj singularities oj the Junctions represented by
2: anzn, 2: bnzn, and 2: anbnzn, respectively, then to every point ea oj Ea
there corresponds a point el oj El and a point e2 oj E2 such that ea = ele2'
Translated into Taylor-D series this statement becomes the follow-
ing.
If y is a singularity of the function represented by 2: anbne - ns, then there
is a singularity IX of the function represented by 2: an e- ns and a singularity
/3 of the function represented by 2: bn e- ns such that y=IX+/3.
We assume in these statements that the radii of convergence of the
series 2: anzn and 2: bnzn are finite and non-zero, or what comes to the
same, that the abscissae of convergence of the Taylor-D series are finite.
The statement on the Taylor-D series ceases to be true for general
Dirichlet series. In other words, the function represented by 2: anb n e- AnS
can have singularities other than those of the form IX +/3, where IX is a
singularity of the functionJ represented by 2: an e -An B, and /3 is a singularity
of the function cp represented by 2: bn e-An S • This remark is valid even if
each of the functions J and cp has only one singularity and the functions
themselves are uniform. For example, if an = bn= 1 (n ~ 1), and An = log n,
then bothJand cp are the Riemann zeta-function ~(s), which has no singu-
larity other than a simple pole at s= 1. Hence, if the theorem were true,
the function represented by the 'composite series' 2: anbn e- AnS could not
have singularities other than the point s=2. But of course, the composite
function is still ~(s).
COMPOSITION OF SINGULARITIES 55
The fact that the statement given for Taylor-D series cannot be 'trans-
ferred' directly to general Dirichlet series is a challenge to search for a
general theorem of a type depending on properties of A, which for A=N
(An=n) turns into that on the Taylor-D series.
We give here several theorems on the composition of singularities of
Dirichlet series, which all contain as a particular case Hadamard's
theorem corresponding to An = n, each of the theorems having its specific
character of generality.
Although the theorems we state are valid for multiform functions (after
the terminology has been made somewhat more precise), to simplify the
language we assume that they are uniform - at least 'uniform in a half-
plane' - an expression to be made explicit later. However, we shall see
that these restrictions can be removed.
So let us consider the series (A, A)=2:an e- llnS with Ua<OO, and let
Ul> - 00. Let LI be a domain contained in PfJl and containing
PfJ,(PfJ , c LI c PfJl ) for a certain u' > max (Ub ua), and such that the sum
f(s) of (A, A) has a uniform analytic continuation from PfJ , to LI.
Given Ub if there exists a domain, which we denote by LI(u!), containing
all the other LI having the properties listed, we say that the function J,
which is holomorphic in LI(u!) and is there the continuation of (A, A)
starting from PfJ " is uniform in Pal' The set consisting of all the points of
Pal that do not belong to LI(u!) is denoted by SfJl' We call this set the
singular set off relative to the half-plane Pal' The points on the line U=Ul
evidently belong to Sal' The theorems will not be interesting unless Sal
contains points not on the line U = Ul, but for the results we shall give later to
be always valid we have to define the singular set in the manner indicated.
If u~ < Ub the analytic continuations of (A, A) into LI(ul) on the one
hand, and into LI(uD on the other (if the two continuations are uniform)
take in LI(aD () LI(u!) the same value; it is therefore not inconvenient to
denote such a continuation (into a LI(u!» by the same letter f(s) as the
sum of (A, A) in PfJa . Note that LI(u!) c LI(uD. To say then that 'f(s)=
(A, A)= 2: an e- llns is uniform in the half-plane Pal' means that Llh)
exists, thatfis hoi om orphic in LI(u!), thatfis given by (A, A) in the part
of LI(u!) belonging to Pac' and that f has no analytic continuation in a
neighbourhood of a point Sal except along a curve intersecting the line
u=u!.
A general Dirichlet series does not necessarily have singularities on the
axis of convergence, in contrast to a standard fact for the Taylor-D series
56 DIRICHLET SERIES
(a Taylor series has at least one singular point on its circle of convergence;
hence a Taylor-D series has at least one singular point on every segment
of length 21T on its axis of convergence). For example, the function repre-
sented by the series 2: (-l)nn- S is entire, although O'e=O for this series.
Now let H be the greatest lower bound of the quantities 0" such that
f(s)=(A, A) is holomorphic in Pu" This H is called the abscissa of holo-
morphy of (A, A). Evidently H ~ 0'e ~ 0'a' The line 0' = H is the axis of
holomorphy of (A, A).
The quantity
H(O'l) = sup
ses a1
0', (s = 0' + it)
is called the abscissa of holomorphy of (A, A) in the half-plane PU1 ' We have
H(O'l)=H if 0'1 ~H, and H(O'l) = 0'1 if 0'1 > H.
Let E be a closed set contained in a half-plane 0' < 0'1.
The expression' the only possible singularities of (A, A) in PU1 are the
points of E' has the following meaning: if we denote by (P Ul - E) that part
of the difference PU1 - E (the complement of E n PU1 in puJ which forms
a domain (a connected set of interior points) containing a half-plane
PU2 with 0'2> O'e, thenf(s) is holomorphic in (PU1 - E) (and in PU2 we have:
f(s)=(A, A».
It is important to emphasize that O'~ < 0'1 does not imply SUl C Sa~.
This is the reason why in the definition of SUl we use the expression
'relative to Pu/ and not 'in Pu/.
in
Letf(s)=(A, A) be uniform PU1 ; for e>O we set:
all the Dirichlet series. For example, the function ns) is not bounded,
except at the singularities in any half-plane PUl with 0'1 = 1 - 8 (8) 0).
Let us now suppose thatf(s) = (A, A), uniform in PU1 ' is such that there
exists a non-negative constant m with the property that to every e> 0
there corresponds a K(e, m) (=K(e, m, 0'1» such that If(s)1 <K(e, m)ltl m
holds inLl(O'b e) for sufficiently large Itl. Let p. be the greatest lower bound
COMPOSITION OF SINGULARITIES 57
of these quantities m. In other words, to every S> 0 and every e > 0 there
corresponds a constant
in LI(a1o e) and no quantity smaller than f.L has this property. We then say
that f is of order f.L in Pal except at the singularities.
Let A(t) be a function that is positive for t;;:: 0, increasing, tending to
infinity. We say that f(s)=(A, 11) does not grow faster than A(t) in Pal
except at the singularities if to every e > 0 there corresponds a
K(e) = K(e, 0'1) such that in LI(a1o e) we have
If(s) I ~ K(e)A(ltj).
Let Q(0'10 to) be the quarter-plane given by a> 0'10 t> to. Suppose that
(A, 11) has the following properties. Let LI be a domain such that
Q( aI, to) :::> LI :::> Q(0'2, to), where 0'2 is a certain quantity 0'2> 0'1; f(s),
given by (A,11) in Pa2 , being holomorphic and uniform in LI. Suppose
also that there exists a domain D(a1' to) which contains all the domains
LI just described. Then we say thatf(s), given by (A, 11), is uniform in the
quarter plane Q(a1o to). We denote by SabtO the set of points s satisfying
the inequalities 0';;::0'10 t;;::t o and not belonging to D(a1o to). Then Sa,to is
called the singular set off relative to the quarter plane Q(a1o to). Next,
let Sal,tO(e) be the union of the disks C(s, e) with s E Sal,tO' If to every
e > 0 there corresponds a constant K(e) (=K(e, aI, to» such that in the
closed domain (Q( 0'10 to) - SalotO( e», which is the part of the closure of
Q(a1o to)-Sal.tO(e) connected with Q(a2' t 1) we have If(s) I < K(e) , then
we say that f is bounded in Q(0'10 to) except at the singularities. Iff is uni-
form and bounded in Pal except at the singularities, then it has the same
properties in Q(a1' to) for any to.
We introduce the quantities
Since the first theorem of this chapter concerns functions f(s) = (A, A)
that are bounded, except at the singularities, in a half-plane or quarter-
plane, it is essential to prove that there exist Dirichlet series which are
not Taylor-D series (or series of the form L'. an e- kns , where k is a con-
stant), and which have these properties. Let (A, A) be an arbitrary series
with U a < 0, and let T(z) = L: cnz n be an entire function. Consider the func-
tion
FT(z) = 1
T'
11
i C
c+t,i
+ T1 f(s)cp(z - s) ds,
where the integration is taken over the line u=c. Then FT(z) is holomor-
phic for x>c+u a ,({!' for when U=C, we have Z-SEP"a,({!' If z satisfies
this condition, we have
FT(z) = -.
1 [C +
f(s)
TI
2: bn e-II.(Z-s) ds
Tl, c + t1i
= L, bn e- lI • z -1.
TI
i C
c+t,i
+ Ti f(s) ell • s ds.
(V.I) 1
T'
11
i
C
+ Ti f(s) e llns ds =
c+t,i
an + enCT),
where
(V.2)
Let 1m be the set of points forming the segments of C'(e, 11> m) for which
t=a m, and let L be the set of points forming the segments of C"(e, t1> m)
for which t= h. Since for given m the total length of each of these sets
of segments does not exceed c-a1> and since on these segments IJ(s) I
and Irp(z-s)1 (for x>aa,Q.l+c) are bounded, we see that when we denote
by C(e, t1. m) the set
C"(e, 11> m) - 1m - L
we have F(z)=lim F;m(z), where
F;m(z) = ~ r
lam Je(e,t1,m)
J(s)rp(z - s) ds.
The quantity al.k) is called the n-th coefficient off (or of (A, A» relative
to M, of order k.
(V.3)
_i~
F(z) - 2 .
TTl
C+1OO
c-loo
f(s)cp(z - s)
S
k+l ds,
f
S
b e-UnZ -k! + lOO ds
C
= '" '" a e(Un-~mls_
~ n 2TTi c-ioo ~ m Sk+l
F(z) = 2:
n~no
bn e- UnZ 2:
Am <Un
am(fLn - Am)k = 2: a~lbn e- unz ,
where no is the smallest integer n such that there exists a Am less than fLn.
The last series for F(z) converges for x>c+aa,<p, But (V.3) is still valid
when we replacef(s) by L lanl e- llns and cp(s) by L Ibnl e- UnS .
Consequently the series
L L
n~no i\m<Un
laml(fLn - Am)klbnl e- UnX
all the squares based on u=c form part of 'Ilt(e), the largest domain
contained in 'Il1(e) having u=c as part of its boundary. The functionJis
holomorphic in 'Ilt(e), and to every Sl > 0 there corresponds a constant
N1(Sl) (=N1(Sh e, Ul)) such that IJ(s) I< N1(Sl)ltI UHl on 'Ilt(e) for suffi-
ciently large It I.
Let 'Ilt(e, T) be the part of 'Ilt(e) for which It I<T, and let ct(e, T)
be the part of its boundary that does not contain the points of u = c.
For x>ua,rp+c we have, by Cauchy's theorem,
fc~
J(s)rp(z - s)
S
ds
k+l =
iC+lT J(s)rp(z -
c-iT
s)
S
ds
k+l
where the first integral is taken in a convenient sense over ct = ct(e, T),
and the second over the segment of the line u=c.
On all parts of ct(e, T) on which t = - T or t = T, the integrals tend to
oas T tends to +00. It follows that
(V.4) Fk(z) = k'i
-2 ds
'. • J(s)rp(z - s)"""k+I'
7Tl cl(e) S
where ct(e) is the part of the boundary of 'Ilt(e) that does not contain
the points of u=c.
Let L1 be a bounded domain of the plane of z=x+iy containing points
x>ua,.,+c and having the following properties: x>max (Hlul), 0)+
U2+2e for every zEL1, and Iz-yl>6e for every ZEL1 and yE
(SU2," + SUl,f) U SU2,rp. We see that
~(z - s) = x - u > U2,
that Iz-s-,81 >e for every z EL1, every s ECt(e) and every,8 E SU2,rp. This
can be shown in a manner similar to that we have used to demonstrate
an analogous fact in the proof of Theorem V.l.l. Consequently, if
s E ct(e), Z E L1, then the variable u = z - s is situated in that part of the
half-plane u> U2 which is connected with the half-plane of absolute con-
vergence where rp(s) is holomorphic and uniform and where to every
S2>0 there corresponds a constant N 2(S2) (=N2(S2, e, U2)) with the
property:
Irp(s) I :::; N 2 (3 2 ) IW+6 2
for sufficiently large Itl. Since L1 is bounded, we see that
Irp(z - s)1 < N 3 (S2)IW H2
COMPOSITION OF SINGULARITIES 65
for sufficiently large It I if S E et(e), Z E .d. Since v +fL < k, clearly 01 and O2
can be chosen so that
fL + v + 01 + O2 < k,
and the integral (V.4) converges uniformly in Z on every compact set in
.d. Hence Fk(z) is holomorphic in.d, and the theorem is proved. Theorem
V.2.1 also contains Hadamard's theorem, at least if we assume that the
Taylor series represents a uniform function. In fact, let:
The singularities of/are those of {lb except the points 2k1Ti, which may
be singular for {l1 but not for f Since for the Taylor-D series f and cp
the quantities 0'1 and 0'2 can be taken negative, of arbitrarily large abso-
lute value, and since for such a choice of 0'1 and 0'2 we can always take
k to be equal to 1, we see by Theorem V.2.1 that the only singularities
of F(s) = L: d;,l)b n e- ns , where
a~1) = 2 amen -
m<n
m) = An (n > 1),
are the points of S"'l + S",. Clearly, every point of S"" the set of singulari-
ties of !fr, is obtained by adding So to a point of S"'l' In other words, the
only possible singularities of l/J = 2: dnb n e - ns are the points of S", + S",.
This is the most precise statement of Hadamard's theorem, at least for
uniform functions. For multiform functions we shall make the appro-
priate remarks later.
Coming back to Theorem V.2.l, we see that if (11 <0 and if s=O does
not belong to SU1.r, then for sufficiently small e>O the boundary Ct(e)
contains a square (of side 3e) containing in its interior the point s = 0,
the square being separated from the other points of Ct(e). Let c(e) be
the boundary of this square. The part of Fiz) obtained by integration
over c(e) gives (by the residue theorem) for sufficiently large x:
k'l
liz) = -2'.
7Tl c(e)
ds
J(s)g;(z - s) k+1
S
= Ok[J(S)g;(z - s)] (s = 0)
OSk
= (-I)k[J(O)g;(k)(z) - mf'(O)g;UC -1)(Z)
+ ... + (-1 Y'.f(k)(O)g;(z)].
On the other hand, we see by following the proof of Theorem V.2.1
that the only possible singularities of the function
where C:(e)=Ct(e)-c(e), are the points of SU1.t + SU2.",· From the form
of Mz) it follows that the only possible singularities of this function are
those of g;(z). Theorem V.2.1 can therefore be made more precise in the
following fashion:
The fact that in Theorems V.2.l or V.2.2 the two sequences A={An}
and M = {fLn} may be chosen completely independently allows a large
number of interesting applications. Thus, since the distribution of singu-
larities of a Taylor series is much better known than that of Dirichlet
series, one would achieve considerable progress in reducing the problem
of distribution of singularities of a Dirichlet series to that concerning on
the one hand the Taylor series whose coefficients depend on the sequences
A and A (the coefficients and the exponents of a given series) and on the
other hand, to an investigation of the singularities of a Dirichlet series
whose coefficients are simple (and given in advance). For example, we
shall show that in fairly frequent cases an indication of the position of
the singularities of (A, A) can be obtained by starting out from a know-
ledge of the places of the singularities of L: dn e-ilnS, where the dn can be
expressed in a simple manner by the An, and of those of a Taylor series
whose coefficients are formed by means of the an and An.
Let A={An}, with AI> 1, let C={cn} be a complex sequence, and k a
positive integer.
We say that C has G={gn} as a generating sequence of order k with
respect to A if for every n ~ 1 :
C n= 2:
m<,1,n
(An - m)kgm.
V.2.3. Let en be the largest integer smaller than An (n ~ 1). If there exists a
sequence {nJ such that enj=nj and that the determinant LIn! (j~ 1) of order
nj whose term in the p-th row and q-th column is (Ap-q)k for 1 :(,p:(,nj,
q:(' ep, and is 0 for l:('p < nj, ep< q:(' enj , is different from 0, then every
sequence C has a generating sequence of order k with respect to A.
In fact, every system S} of equations (in the unknowns gn)
m<Al
2: (AI - m)kgm = Cl
m<nj
2: (Ani - m)kgm = Cn
68 DIRICHLET SERIES
has a system of solutions. If nh < nf2 (nil' ni2 E {nj}), then the quantities
... , g~l~ which are the first nil terms of the solution of the sys-
g~2), g~2),
tem (Sj2) also form a system of solutions of the system (Sil)' The set of
solutions of all the systems (Sf) (j~ 1) thus constitutes a sequence {gn}
(to every n there corresponds a single gn) satisfying all the systems of
equations
:z:
m<ill
(A1 - mtgm = C1
:z:
m<iln
(An - m)1cgm = cn'
one Dirichlet series that is not a Taylor-D series whose singularities are
used to provide information on the singularities of the given series (A, A).
And, what is essential, the Dirichlet series in question is a series which
we can choose in advance, (D, A)= L: dn e- AnS • The other series with
which 'we compose' is a Taylor-D series.
It can be advantageous to choose dn = 1 (n ~ 1), in which case the
series (D, A) becomes L: e- An ", the analogue to the series L: e- ns for A=N.
One can also choose dn=l/A'(An), where
and where Ao(z) has been defined in 1.1.2. In fact, it is known that if A
is a sufficiently regular sequence, then t~e series
(V.6)
Dn ~ n
n+l",m",n+2k
~) n [1 -
(1 - ~
2"
m"n+2k+l
A2]
n
(m - k)
2'
n - k - 1 < Pn < n + k + 1,
and the preceding inequalities allow us to write
A-I
n
~ n
O<lm-nl",2k
11 - A~ I
A~
n
k+l",m",n-k-l
(A~2
m
- 1)
Finally, we have:
V.2.7. If the step of A is positive and if there exists a constant k such that
the integral converging uniformly and absolutely for It I ~7T-e, for every
O<e<7T. In the strip It I<7T-e the function c;P(s) is bounded.
By V.2.6 and by the equality (see p. 69) IA'(An)1 =2JAnAn. there exist
two constants M and d such that
Since the step of A is positive, we see that the series (V.6) converges
absolutely for a> O.
Now we consider in the plane z=x+iy=r ei9 a closed contour eR
formed from the segments 8=a, 8= -a, 0<a<7TJ2, r~R, and the arc
of the circle r=R, 181 <a, where R is chosen so that no An is equal to R.
By Cauchy's theorem we have:
where N(R) is the number of An less than R. We show that when we set
Rm=(Am+Am+l)J2, there exist two constants C and c such that
Evidently
where {Mn} is the sequence associated with M. Now it follows from the
conditions and the way in which M has been formed that there exists
a positive integer 1 such that:
I/Ln - nl ~ I,
the step of M being positive; consequently, by V.2.6 we have
Mm+1 = IA(Rm)I- 1 :::;; C-l/L~+l = C-IR~
which gives (V.7) (when V.8 is taken into account).
It follows from (V.7) that on the arc r=R m, 181 :::;;a<1T/2, we have
for every e>O and m~m(e):
IA(z) I ~ e- tr ,
and for real positive s we can write, as long as r=R m, 181 <a (m>m(e)),
IA(z)
e-s21 ~ e-(scosa-tlr
~ .
So we see that for real positive r (the integral being taken in the positive
sense)
. 1 i e- S2
hm 21Ti J CR A(z) dz
i
(V.9)
i
m
_ • 1 [ Rm e -srefa la
Rm e -sre-!a _la ]
- hm 21Ti - 0 A(re/a) e dr + 0 A(re ia) e dr
From the conditions on A it follows easily that for a:::;; ():::;; 1T/2 we have
for every ~l> 0
Icos 1Tzll A(z)l-l :::;; CT1 (1 + !::) = C21 sin (1T~r) Ii/
1
COMPOSITION OF SINGULARITIES 73
where C1 and C2 are constants, which proves that for sufficiently large
r and a:::; 101 :::;1T/2:
(V.lO) Icos 1Tzl < IA(z) I e6r .
It is now easy to see that for a:::; 101 :::; 1T/2 the integral
1 roo -sre l6
(V. 11) 18(s) = 21TiJO ~(rei8) ei8 dr
converges absolutely and uniformly in the part of the plane of s = (] +it
defined by
t sin 0 - (] cos 0 :::; 1Tlsin 01 - 20.
Consequently, the integral (V.11) represents in this half-plane a holo-
morphic function. It is sufficient to observe that for given D> 0 by (V.lO)
we have
(V.l2) le-sreI61:::; LIA(rei8 )1 etsln8-O"cos8Hlsln81,
where L is a constant.
Coming back to (V.9) we see that each of the integrals in the expres-
f f
sIOn
1 e-sreia la 1 e-srela -ia
21Ti A(r eia) e dr - 21Ti A(r e - ia) e dr
converges absolutely and uniformly in every part of the plane defined by
(V.l3) It I :::; (] cot a + 1T - e,
and rp with k> v. The only possible singularities of F in the entire plane
are consequently the points of SUI.! +Scp = S and the points of Scp. But the
points of S([! are at the places 2m1ri. If f3 is a singularity of F, but not of
the form 2m1Ti, that is, if it does not belong to S([!, then this point must
necessarily belong to S. In other words, either there exists a point
a1 E SUI,! and an integer m such that f3=al +2m1Ti, or there exists a se-
quence an with an E SUI,! (n ~ 1) and a sequence of integers {m n} such that
f3=lim (CX n+2mn1Ti). In the latter case, for given e>O and sufficiently
large n
1f3 - CXn - 2mn1Tij < e.
Thus, the theorem is proved.
The theorem we have just proved enables us to associate with every
theorem that provides a condition for a given point to be the place of a
singularity of a Taylor series a theorem on general Dirichlet series (of
finite order, except at the singularities) indicating the position of some of
its singularities.
and that there exist two integers kl and k2 such that by setting
fJn=fJ~+ifJ~ we have 2kl1TfJ~fJ~~2k21T, where all the equalities and
inequalities are valid for every n ~ 1.
On the other hand, let a'>aa". If Iwnl >SuPO<1' If(s) I for n>no, then
all the corresponding PWn (n > no) are situated in a rectangle Lll defined by
al ~ a ~ a', 0 ~ t ~ 21T; and consequently the fJn (n > no) are likewise situated
in a rectangle Ll 2. Hence there exists a sequence {nj}, apE Lll and a fJ E Ll2
such that limpwnl=p, limfJn,=fJ, y=p+fJ. But then PES<12," fJ E S<12,CP'
which proves our proposition.
It is equally easy to see by Picard's theorem that if al E S<11,' and if al
is an essential singularity of J, then al +fJ E P[J, al; cp, a2] for every fJ
belonging to S<12,CP' In any case, if f and cp are represented by Taylor-D
series and if we denote by S"cp the set S,+Scp, then S"cp U P[J, al; cp, a2]
is the same as S"cp, As to general Dirichlet series, we cannot even claim
that the closure of this union is equal to the closure S"cp of S"cp, To have
composition theorems concerning general Dirichlet series without having
to introduce the order of the functions (except at the singularities), the
introduction of the sets P[J, al; cp, a2] seems natural and indispensable.
If al =a2= -00, the set P[J, al; cp, a2] is denoted by P[f; cpl. Note that
the two sets P[f; cp] and P[cp; f] are distinct, in general.
To grasp the meaning of a set P[f; cp] it is helpful to say that a point y
belonging to it is in the case of a general Dirichlet series 'a fictitious sum'
a + fJ, where a E S" fJ E Scp,
We are going to prove the following theorem.
THEOREM V.3.1. Let F(s) be a function represented by (A, A) (Al > 1),'
suppose that the function cp(s) represented by a series (D, A), where
D={dn} (dn=FO, n~ 1) is uniform and that the sequence {and;l} admits a
generating sequence G= {gn} of integral order k with respect to A. If
uniform and the only possible singular points of F are the points of
S"",=S,+S"" the points of P[cp;!], and the points of S",.
Suppose, first of all, that cp takes all possible values except one. By writ-
ing, as in the proof of Theorem V.2.1, F(z) in a form similar to the integral
in (V.3), where an is replaced by gn and where bn is replaced by dm we see
that Ua.F~Ua"+ua.,,, (ua,,=lim sup log Ignl/n). What we have to show
is that F(s) is holomorphic and uniform in the part of the complement
of the set
lower bound of all the quantities e(zo) (for fixed Zo in L) having the requi-
site properties, we see that
inf e'(zo) = "I > 0
zoeL
J co
1
C(x) dx <
x2
00
,
(V.17) Fa(u) =
2e (p+ q)/(p - q - 2)
(V.1S) FaCu) = 0 for lui;;:: peh(a).
We recall that the Fourier transform of F (if FE L) is given by
(we do not put a factor before the integral; when the lower and the upper
COMPOSITION OF SINGULARITIES 81
where
.
fn(u) =
{2n+l fL,fL2··'fLn+l
1 for lui < fLn+l
converge, where the equality of the two integrals is a result, after inte-
grating by parts, of the fact that there exists a sequence N j t 00 such
that
Qa(Nj ) e-Nj.....,. O.
Now Qa(t) is a step-function whose jumps are positive integers mk
COMPOSITION OF SINGULARITIES 83
(k~ 1); if qk are the abscissae of these discontinuities, we set vk=e- q"
and let {fLn} be the set of the Vb each counted mk times.
Then:
~ eJ oo
a
C(X)
-2-
X
dx = eh(a).
We now construct the function F(z) of Lemma V.4.2 with the fLn we
have just defined. We set {1=(p-q-2)eh(a)J2, y=(p+q)eh(a)J2 and
where IILal1 = 1.
For a given choice of the fLn we can write (V.20) in the form
log F(z) = i oo
log a-I-O
{log (sin e-tz) +t - log z} dQaCt)
(with the evident determination of the log under the integral sign).
Since S(lzD~(fLb fL2'" fLnlzln)-1 no matter what n is, we can write
for y>O and any B>O:
= Y 1 ro
loga-l
Qa(t) e- t dt -
110g 121
log a-I
Qa(t) dt
:s;; ey f a
ro C(u)
-2
U
du -
110g 121
loga-l
E[C(eI+ 1)] dt.
= eh(a)y - C(lzi) + 1.
This inequality combined with (V.26) yields (V.16). For Izl <a (V.16)
follows immediately from (V.26) and from (V.22), written down for the
function F that occurs in our proof (in which we can replace S(lzl) by
1; fI. does not exceed eh(a».
We now define Ay and All as follows:
Ay(u) = I for lul:s;; y, L1iu) = 0 for lui > y
I
L1p(u) = 2fJ for lul:s;; fJ, AIl(u) = 0 for lui > fJ.
(V.29) I/>(z) = f C
+
ico
f(s)cp(z - s)H( - is) ds,
JC-ICO
where H(z) is an entire function of exponential type which decreases
like L(x) e- Cl (X)-C 2(x), L(x) E L, in every strip Iyl < d. In the proof of
Theorem V.2.1 we considered a similar integral, where instead of H( - is)
we had the function S-k-l (k>v+p-, v and p- being the orders offand of
cp, respectively). It is the strong decrease of H( - is) in every strip lal < d
(as Itl-->- 00) which permits us to compensate the strong increase of f
and of cp in such a strip, except at the singularities; and the fact that H
is an entire function makes it unnecessary to add s=o to the singulari-
ties of f on integration, in other words, there is no need to introduce
SIJ2,<P as subset of the set of possible singular points of F (as this is the
case in Theorem V.2.1). Another important advantage compared with
Theorem V.2.1 is the very simple expression cn=anbn for the coefficients
of the compositum.
On the other hand, Theorem V.2.1 has an equally important advantage
over Theorem V.4.3 in the fact that no assumption is made on the se-
quences A and M; whereas in Theorem V.4.3 we assume that the step
of M is positive and that (V.27) holds.
86 DIRICHLET SERIES
c-ieo
+ieo
2, am e{IJn-AmlSH(-is) ds.
We have also
COMPOSITION OF SINGULARITIES 87
And by (V.30) and (V.31), when m#n, we have lAm-AnI ~hl/2, that is,
H(Am - An) = 0 (see (V.33».
Thus:
and so
F(z) = - iPCP(z).
Evidently,
The rest of the proof goes as for Theorem V.2.1. We construct the same
division; we define 'l\(e) in the same way, with one exception: we do
not attribute any special role to the point 8=0: it only occurs if belong-
ing to S"l.f like all the other points of this set.
c
Observe that since 2(u) is an increasing concave function for u>O,
we have:
is now replaced by
x > H,(Ul) + U2 + 26
and the relation
then the arguments used in the proof of V.2.l lead us first for s E Ct(e)
and Z ELI to the inequality:
and finally, for z ELI, where (/) is holomorphic and uniform, to the in-
equality
where k is a constant, and that f(s) = (A, A). Suppose also that there exists
a point cc = Ua,' +ito having the following properties:
(1) f is holomorphic in the set of disks Cq = C(cc + 2qrri, S), where q is
an arbitrary integer and S a constant.
(2) There exists a positive increasing sequence {Pm} such that in C ± m
(m ~ 0): If(s)1 ~Pm and that
where
A(q, m) = Aq+l(\+1 + 1) ... (\+1 + m - l)jm! (q ~ 0, m ~ 1),
A(q,O) = 1,
the double sum being taken over all q~O, m~O,for which Aq+1 +m=ln+l'
We set
Then
(V. 36) 1.
F(z) = -2
. Trl
f
C 2111
C
+ f(s)cp[log (e Z - eS)] eSds,
the integration being taken over the straight line segment joining the
points c and C+21Ti. If log Je 2 -eSJ~c>ua,rp, then the integral in (V.36)
can be put in the form
and since the last integral is nothing but 21Tiam, we see that (V.36) holds.
The equalities we have established remain valid when the an and bn
are replaced by their absolute values; consequently F converges abso-
lutely for x>log(ec +eO"a,4», and since c is arbitrary as long as C>Ua,!,
we see that
4>(z, s) = f(s)t/J(z, s) eS
the points that do not belong to O'=c nor to the lines 1=0 and 1=21T
(on which tP, for given z, takes the same value by virtue of the manner in
which SCT1Ae) and D(O'I. e) have been constructed), then by Cauchy's
theorem we have
JrB* !(s)rp(z, s) e
(V.39) 1.
F(z) = -2 S ds.
1T1
where e1 and e2 are two given positive quantities, and all the determina-
tions of the logarithms are taken.
Hence there exists a 81 > 0, an e> 0, and an N> - 00 (8 1 = 81 (e1),
e=e(e1), N=N(e2», such that for Z EA, s E B*, fJ E Srp (fJl: -00) we have:
le z - eS - eli I > 01
(V.43) 1 , [ f(s)~(z, s) eS ds
F(z) = -2 1 . [ f(s)~(z, s) e
+ -2 ds.
Jl 7Tl Jc.
S
7Tl
We see that the last conditions of the theorem are satisfied and that
the first integral in (V.43) vanishes for sufficiently large x, because then
the function to be integrated over 1 is holomorphic as a function of s
on 2: (al> e) of which 1 is the boundary. Consequently we have
1 . [ f(S)<p(7Ti
-2
7Tl Jc.
+ s) e
S ds
THEOREM V.5.2. Let f(s) = (A, A) be uniform of order J) in PU1 ' except at the
singularities; and let cp(s)=(B, M) be uniform of order p. in PU2 ' except at
the singularities. Let k be an integer greater than v+p., and let d/f)(n) be
the n-th Taylor coefficient off of order k. Let L = {In} (n ~ 1) be the sequence
of all the sums Aq +m (q ~ 1, m ~ 1), where the m are positive integers and
the sums are written in increasing order,12 and set
dn = 2: 2: a~k) (m)bqA(q - 1, m),
the A(q, m) being defined as in V.SJ and the double sum taken over all
q~2, m~ 1,jor which "\-1 +m=ln'
We write
max (aa", 0) = a,
max (H,(a1), 0) = at.
Let 13 F(s)=(D, L) (D={dn}). Then
(V.4S) aa" ~ log (eUf + eUa,rp),
F is uniform in the half-plane a>log (e U;+eU2 ), and in this half-plane the
only possible singularities of F are the points of the form
y = log (ect + eP), y = log (eli + 1)
where ex E SU1,' and f3 E SU2,rp, and the limit points of this set of points (with
all determinations of log).
Let c> max (0, aa,,) and let us show that
(V.46) F(z) =
k'"
-2
TTl
1
c + 100
c-loo S
ds
f(s)cp[log (e Z - eS)] k+1'
Now let LI be a compact domain containing points with x> log (e C + e" a,<p )
and such that for an arbitrary e>O, for every z ELI, every a E Sf and every
fJ E S", we have:
Iz - log (e lt + eO)1 > e
°
From the various inequalities above it follows, on the one hand, that
there exists a 8> such that for sufficiently small e the following in-
equality holds for every z ELI, s E Ct(e) and every fJ E S"2,"':
Ilog (e Z - eS) - fJl > O.
96 DIRICHLET SERIES
On the other hand, it follows from (V.4S) that for Z E.:1, s E et(e):
(V.49) 8i[log (e Z - eS)] = log le z - esl
;;::: log (eX - eO") ;;::: log (eX - e<1/+2t) > 0'2.
In other words, if Z E.:1, s E et(e) and if 8> 0 is given, then for suffi-
ciently large larg (eZ-eS)1
l<p[log (e Z - eS)] I < N(o) I arg (e2 - eS)IIlH,
and on the other hand, to every 81 > 0 there corresponds an Nl8 1 ) such
that for s E et and sufficiently large It I
If(s) I ~ N 1 (Ol)IW H1 •
THEOREM V.S.3. If s=O is a regular point of f(s), then under the same
assumptions and the same notation as in Theorem V.S.2 the following
conclusion holds:
F(s) = L dn e- lns
is uniform in the half-plane P:
COMPOSITION OF SINGULARITIES 97
NOTES
1 A great many authors have assumed erroneously that the statement which follows
is valid in all cases.
2 J(Ult e) is clearly closed and connected and contains a half-plane u>u2'
3 If A and B are two point s~ts, then A + B denotes the set of all the points a + fJ
such that a E A, f3 E B.
4 If An=Pn the expression sin 1TAn/A1T,.[l- A~/p~l must be taken as representing
TI
mr;:.Pn
(1 - p~/m2).
(VI.1)
THEOREM VI.2.1. Suppose that A is of positive step h. Let D' be its upper
density. Let f(s) = (A, A) with - 00 < U a ,! < 00.
For 0:>0, fJ~O there exists a continuous function A(o:, fJ) with A(o:, 0)=0
such that f(s) has for every real value of to a singular point in the rectangle
U a ,! - A(h, D') ~ U ~ U a ,!, It - tol ~ 1TD·.
For A(0:, fJ) we can take the following function:
One expresses this fact by saying that the axis of convergence of (A, A)
is a natural boundary for (A, A),
Theorem V1.2,2, which is due to P6lya, generalizes to Dirichlet series
the classical theorem of Fabry concerning Taylor series: the circle of con-
vergence of a Taylor series ~ anz iln (where An are integers) with lim n/ An = 0
is a natural boundary, a theorem which in turn generalizes Hadamard's
theorem of which we have talked in the preceding section,
Evidently we can choose for A(a, (3) «(3 > 0) every function of the form
A(a, (3) = 7T(3 + [A(a) - 2a log (a(3)](3 = 7T(3 + L(a, a, (3),
where a is an arbitrary real number greater than 1 and A(a) is the function
A(a) = a {4 + a + log [(a 2 - 1)/a3 ] + log [(a + l)/(a -l)]Ja}
(see 11,2.3),
We have seen that the expression for L(a, h, D') and consequently also
that for A(h, D') contains the term log (hD,), Since hD':::; 1, the expres-
sion - 2aD' log (hD') is positive, and for fixed h (for example h = 1)
tends to zero (as D' tends to zero), like - 2aD'log D', Therefore the
expressions L(a, h, D') and A(h, D') tend to zero in the same manner as
D' tends to zero (for fixed h), We wish to show that the speed with which
these expressions tend to zero is very characteristic, In fact, for fixed h
we necessarily have
lim inf A(h, D')J( - D' log D')
D'-->O
= lim inf L(a, h, D')/( - D' log D') ~ I,
D'-->O
The series
L: bn e- ps
- ;-<P-l)}'n
converges for u > 0, it represents a holomorphic function f(s), which is also
represented in the same half-plane by a series (A, A) having the following
properties:
(1) the An are integers, h = 1,
(2) ua.f=O,
(3) D'=llp,
(4) f(s) is holomorphic in the half-strip It I~7TD', u> -fLD', where fL is
the positive root of
(VI.4) fL = -log D' - log (-log D') + log 2 + 0(1) (D' = lip -+ 0),
Remark, In comparing this theorem with Theorem 11.2.3 we see that for
every choice of A(a, (3) corresponding to the statement of Theorem VI ,2,1,
as D' tends to zero, we have:
A(l, D') ~ - [log D' + log (-log D') - log 2 + o(l)]D' "" - D'log D',
Also, in the last paragraph of II,2,3 the phrase' for which the abscissa
of the centre of a disk belonging to it is smaller than [, , ,]D' + u c ' be-
comes incorrect when the number 3 in [,',] is replaced by a number
smaller than I,
Now we proceed to the proof of the theorem,
(1) and (2) are evident: it is sufficient to argue about the series
hence
- = -n
m(PfLn)
- "L.. fLle (pfLn)-1 '
+ P-1 + le';n-1
pfLn PfLn
k ~ m(PfLn\
Ale PfLn
and consequently:
D' 1
= '1m sup -k 1
= -,
Ale P
Now we prove (4), First of all we note that for 0 < D < 1 and fL ~ 0:
cos 1TD > 1- (1T D 2)/2, 1- e -IlD < fLD; we can therefore write
4
D'2 = e2il (1-'2 + 7T 2)
4e 2c , , 21-' 2 + 7T 2 4 e2c
D'2(log D')2 [-log D -log (-log D) + log 2 + c] 1-'2 ,..., D'2'
In this section we assume that aa.! = - 00 and, as above, that D' < 00,
ThenJ(s)=(A, A) is an entire function with
THEOREM VI.3.1. Suppose that the step of A is positive and thatf(s) = (A, A)
is an entire function whose (R)-order is infinite. Then f has a J*-line in every
strip S(to, l7a) with a> D· and any real to.
THEOREM VI.3J. Suppose that the step of A is positive and that f(s) = (A, A)
is an entire function whose (R)-order is p > O. Then f has a J*-line in every
strip S(to,l7a) with a>max (D·, 1/2 p) and any real to.
Note that in VI.3.2 we do not postulate that the step should be positive.
If we add this condition, then Theorem VI.3.2 only becomes a special
case of Theorem VI.3.1.
Theorem V1.3.1 is a special case of Theorem VI.3.3. Let us first prove
Theorem VI.3.2.
Let ~ be the square 10'-0'01 <l7d, It-tol <l7d, where 0'0 is an arbitrary
fixed real number, and let us consider in ~ the family of holomorphic
functions Fe(s)=f(s+c), SE~, c::;;O. This is not a normal family. For
if it were, only two cases could arise:
(1) There exists a sequence {c n} with lim cn = -00 such that for a
b(a<b<d)
THEOREM V1.4.l. Let f(s)=(A, A) be uniform with CTa (=CTa,f) finite, and
let p(z) be an entire function of exponential type 8. Let Sf be the singular
set off and Sf,6 the union of the disks of radius 8 around the points of Sf.
Let LJ be the part of the complement of Sf,6 with respect to the s-plane that
is connected with the half-plane Pq " CT' > CTa+8. Then the function
F(s) = (C, A), where C={cn}, Cn=p(An)an, is holomorphic in LJ.
Let <P(z) be the Laplace transform of p(z):
It is known that <P(z) is holomorphic for Izl > 8 and that for every e>O:
(VI.6) 1.
p(z) = -2
7Tl
i c.
eZw<p(w) dw,
By writing down (A, A) for the variable s- wand making use of (VI.6)
we see that for sufficiently large CT
(VI. 7) 1.
F(s) = -2
7Tl c.
i f(s - w)<P(w) dw.
From this it follows that for sEA we can extend F(s) on every Jordan
curve in LI (having one of its extremities in the half-plane (j> (j' where
CT' is sufficiently large), provided that e is sufficiently small. This proves
the theorem,
THE PRINCIPLES FOR ANALYTIC CONTINUATION 109
Now let h( 0) (0 ~ 0 ~ 27T) by the type of rp along the ray r eW r> 0; that is,
·
h(O) = I1m log Irp(reW ) I
sup .
r ... <Xl r
The conjugate diagram of rp is defined as the closed domain ~ whose
points z=x+iy satisfy the inequality
x cos 0 - y sin 0 ~ h( 0).
According to P6lya ~ is the smallest convex domain in the exterior of
which (j)(z) is holomorphic. Consequently we have
~ c C(0,0).
Thus, denoting by ~ e (e > 0) the union of the disks C(z, e), where z is an
arbitrary point of ~ and by Le the boundary of ~e, we can also write by
virtue of (VI.7):
F(s) =
7T1 JLe
r
1 . f(s - w)(j)(w) dw.
-2
f(s) = (A, P)
ifi(s) = (A!p(P), P)
&(s) = (!p(A), A) - (B, Q).
Suppose that f and & are uniform and bounded, except at the singularities,
in every half-plane P (j"
Then the function rp is also uniform and the singular sets Sf> S", and S{J
are linked in the following manner:
(a) for every 8' > 8 every disk C(s, 8') with s E S", contains a point of
Sf>
(b) S", C Sf+S{J.
In particular, if!p is an entire function of minimum type (8=0), then the
assertion (a) can be replaced by the following:
(c) S", C Sf;
and the conclusions on the singular sets can be combined in this case by:
We remark that iff and & are not assumed to be uniform, the statement
still remains valid, provided that we denote (as we have said at the end
of Chapter V for the composition theorems) by Sf and S{J the singular
set off and & to which we add the cuts which make these functions uniform
at the exterior of the sets so obtained. But evidently we can no longer state
that ifi is a uniform function.
To prove the theorem it suffices to observe that as a consequence of
the fact that P and Q are two disjoint parts of A, if we set
we have cn=a m, dn=am!p(Pm) for An=Pm; and cn=O for An=qk' Theorem
V.U then provides the assertion (b). The assertion (a) follows from
Theorem VI.4.1.
Here is a particular case of VI.4.4, stated for the Taylor series
(I1=N, e-s=z).
THE PRINCIPLES FOR ANALYTIC CONTINUATION 111
with
Yn = (alN)Nn - G)(a2N2)Nn-l + ... + (a n+1Nn+l)
= <>Nn+1Jnal
where Jnal denotes the n-th difference of the sequence {an} with respect
to a1> and where <> is equal to + 1 or -1, is holomorphic for Izl ~ 1.
Consequently we have
lim sup IYnl 1/n = B < 1.
But since the Yn (by assumption) are integers, we see that Yn = 0 for
n>no·
THE PRINCIPLES FOR ANALYTIC CONTINUATION 113
L: an yn - 1 n = L yP L an ( p ) ( - l)P - n+ 1
(l+y) p;:'O n';p+l n-l
that
"
L.,anz n-l _
- ""
L,
( z
- _1
)p - _1
1 (l)PA
- ""pal -_ (1PI(z)
_ )h'
O';p';no Z Z Z
THEOREM VI.4.7. If the analytic continuation of F(z) = .2: anzn, with integer
coefficients, is a uniform function having infinity as a regular point or as a
pole, then the polar algebraic index with respect to F of the (closed) half-
plane x~t (z=x+iy) is not less than the polar index of the (open) half-
plane x>! with the point z = 1 excluded. That is,
(VI.12) p(F, {zlx ~ t}) ~ p(F, {zlx > t, z=/= I}).
More generally,
(VI.13) I/(F, {zlx ~ t}) c I/(F, {zlx > t, z =/= I}).
The relations (VI.12) and (VI.13) remain valid if in the terms on the left
of these relations the half-plane x ~ t is replaced by the same half-plane
with the poles of F at rational points excluded.
Suppose that the relation (VI.13) does not hold when the half-plane
x~t is replaced by the same half-plane from which the poles at rational
points, say Pl/ql' P2/q2, ... , Pm/qm, where the Pi and qj are integers, are
removed. Then there would exist a polynomial with integer coefficients
P(z) of degree less than p(F,{zlx>t,z=/=I}), such that F(z)P(z) has in
the half-plane x ~! as singularities of finite distance (from the origin)
only the poles at the places pj/qj (j= 1,2, ... , m); the same product hav-
ing in the half-plane x> t singularities other than the point 1 at finite
distance. On the other hand, there would exist a polynomial Q(z) with
integer coefficients, of the form
(qlZ - Pl)a1(q2z - P2)a2 ••• (qmz - Pm)am,
where aI, a2,"" am are positive integers, lJI(z)=F(z)P(z)Q(z) is holo-
morphic on every compact set in x ~ t, and where the product has in
x>t the same singularities as F(z)P(z). It is clear that there would also
exist a polynomial (with integer coefficients) R(z) of degree k such that
(lJI(z)-R(Z»Z-k-l is a Taylor series with integer coefficients represent-
ing a function regular at infinity, holomorphic for x~t and having in
the half-plane x> t singularities other than the point 1; but this would
be a contradiction to Theorem VI.4.6.
THE PRINCIPLES FOR ANALYTIC CONTINUATION 115
NOTES
(VIl.1)
~
-.. ;;;:
M n eAn(nn+a)q-l
n ~
q-l e-(lI m -lI n)(a+ nn )
'" qmn
m~n
= In(s) + Jis),
where Mn = max If(s+7Jn)1 as long as sEd, n ~no.
Evidently Mn::;:; M < 00 for n ~ no.
Taking account of (VIl.1) and the fact that C(x) is concave, we see that
for l::;:;m<n(n>l)
~ 2: eC(lIml - e(lIm -
C(lIn' - (11m - "nlnn "nl(J
m>n
concave envelope of a sequence {cn}. If lim sup cn= 00, then there exists
a sequence {nj} such that C(Anj)=C nj (j~ 1), where the points (AnI' cn)
are the vertices of the polygonal line defined by y = C(x) (x ~ A1)' If
lim sup Cn = I, with - 00 < 1<00, then to every sequence {nj} for which
Suppose that the axis of convergence (a=O) is not a cut for (A, A), and
let T be the domain composed of the half-planes a < 0, a> 0 and the set of
regular points off on a= O.
From {nil we can extract a sequence {Pk} having the following property:
the sequence
fpk(s) el-."k'a;/ (k ~ 1)
The function g(s) has singular points on a=O. They are all the singular
points off(s).
Every isolated singular point of g is a simple pole.
We remark that the condition on the n, to be principal indices of the
sequences {log lanl}, that is, that
lim CCAn)P.n = 0
it follows that
. sup \am±m\
(VII.12) hm _ v- ~ C.
amv
Note that it is no loss of generality in the theorem if we assume that
there exists a constant H < 00 such that
(A', A') we also prove it for (A, A). Hence we assume that (VII.13) holds.
If h is the step of A, let 0 < e < h - e. For sufficiently large v we have:
(0:) m(h-e)~Amv+m-Am/<;.mH,
(fJ) m(h-e)~Amv-Amv-m~mH,
where the inequality between the first and the second term of (fJ) only
holds when mv-m~p=p(e).
It follows that we can extract from {my} a partial sequence {Pk} (for
example, by the diagonal process) having the following property: the
limits
Ig(s) I ~ Klal-l,
where K is constant.
Suppose now, contrary to our assertion, that g(s) is regular on a=O.
Let 0 < a < 1 and to be arbitrary real and consider on the square
R[ito,2a] (Ial ~2a, It-tal ~2a) the function
(VII.19) G(s) = g(s)[s - i(to + 2a)][s - i(to - 2a)).
Then G(s) would be hoI om orphic on this square, and on its sides we
would have
THEOREM VlI.2.1. Let J5' be the mean upper density of A and suppose that
the sequences A (of step h) and A are such that there exist three constants
H>O, C>O, N~ 1 with
Suppose that f(s) = (A, A) does not have in a strip S defined by a < t < b,
where b - a > 27T(l5' +h -1), singularities other than simple poles iap
(p= 1,2, ... , q), where the ap are real andf(s) remains bounded in S out-
side every neighbourhood of the points iap (p = 1, 2, ... , q).
Then the function f(s) is holomorphic for a < 0, where it is given by a
series
f(s) = L: a~ eA~S + d. (d a constant)
Furthermore:
In other words, the ap (p= 1,2, ... , q) form an 'integral basis' for all
the a, which are the ordinates of the points of other isolated singularities
of f on the axis of convergence.
We recall that the step h of A in this chapter is supposed to be positive
and that the analytic continuation of (A, A) into S (from which the
points iap (p = 1, 2, ... , q) are removed) is direct.
Remark. The conditions (VII.20) and (VII.21) follow from other con-
ditions in the statement of Theorem VII.2.l, namely from the fact thatf
only has simple poles on the interval in question of the axis of convergence.
But when the An are not integers, the proof of this fact is not immediate.
THE REMAINDERS OF A DIRICHLET SERIES 125
It follows from (VII.20) and (VII.2l) that there exists a sequence {nil
of principal indices of {log lani} satisfying the conditions
(VII.23) nj+l - nj ~ N
(VII.24) Cil ~ lanil ~ q(n,) = eC(h nj ) ~ Cl>
where C(x) is the smallest non-negative concave envelope of the set
of points Pn=(An, log lani) (n~ 1), and Cl is a constant such that
C(x)~log Cl (X~Al)'
Consider the family of functions
f:(s) = [f(s) - 2:
An",X
an e- hns ] eXS (x > 0).
Let j(x) be the largest integer j such that Anj ~ x, and set m(x) = n,(X)'
Let n(x) be the largest integer n such that An ~ x. Then
o ~ n(x) - m(x) ~ N.
If n(x)~m(x)+ 1, we can write
f:(s) = [fm(xls) - (am(X)+le-hm(x)+lS + ... + an(X)e-hn(X)8)]eXS,
with X-Am(xl+l ~NH; and if n(x)=m(x), then
f:(s) = fm(xls) eXS .
It follows from Theorems VII. 1.4 that the family f:(s) (x> 0) is bounded
on any compact set containing no singularities off and that we can ex-
tract from every sequence {Xk}, Xk > 0, Xk too, a partial sequence {y,}
such that f~(s) tends uniformly on this compact set to a function G(s)
having the following properties:
(1) For a>O and a<O, respectively,
for a<O:
f(s) = L: a~ eA~S + d,
where ,\~ = v~, a~ = d~; hence:
'\~+1 - ,\~ ~ h (n ~ 1)
la~1 < C.
It now remains to show that there exist q integers rnl> rn2, ... , mq such
that (VII.22) holds.
We show that the contrary assertion leads to a contradiction.
If a is such that there exist integers m, Pl, P2, ... , pq satisfying the
relation
(VII.30) rna = Plal + P2a2 + ... + pqaq,
128 DIRICHLET SERIES
This is where the more general problem arises. As always, let A={An},
M = {f'n} be two positive strictly increasing sequences and let
a b
(VIlI.4) <pes) = L "\~' ifJ(s) = L f'~
be two series having abscissae of absolute convergence. Imitating the
previous notation, we could denote such series by (A, log A), (B, log M),
respectively, where <p and ifJ denote not only the sums of the series but
also their respective analytic continuations. If S is a given positive num-
ber, suppose that the following relation holds:
Clearly the behaviour of the function <p and ifJ in the whole plane must
be specified in a precise fashion.
Given the sequences {An} and {f'n} and the quantity S> 0, we can ask
for the 'size' of the class of pairs (<p, ifJ) satisfying (VIII.S) We can also
ask to what extent we can choose the sequences {An} and {f'n} themselves
(in general or in relation to a given S). These problems will be treated in
the present chapter.
Now we lay down the explicit meaning which we give to the expression
°°
'the pair (<p, ifJ) satisfies the generalized Riemann equation (VIII.S)'.
If the sequences {An} and {f'n} are defined as above, if > is given, if
<p and ifJ are defined by (VIII.4), where the series have abscissae of absolute
convergence, we suppose that there exists a function xes), not identically
zero, holomorphic at finite distance outside a compact set K, and of
exponential type zero in every vertical strip, that is,
°:
with <p and ifJ by the following relations.
For sufficiently large <1 >
0-
(VIII.8) xes) = 1T-(6-s)/2r ( -2- ifJ(1) - s). S)
THE GENERALIZED RIEMANN FUNCTIONAL EQUATION 131
VIII. 1. 1. If the pair (<<p, ifJ) defined by (VIII.4) satisfies (VIII.5) and if we
set
(VIII.9) g(s) = (B,2TTM) = L: bn e-2I1JlnS,
then 0'a,g = 0,' for 0' > 0 the following relation is satisfied for sufficiently
large do:
(VIII.10)
where
(VIII.1I) Aj = (-IJ;~~:/ j)
and where K(s) is an analytic function on the Riemann surface of log s
with
(VIII.12) K(s) = O(lslm) (Isl-+ 00, m a constant)
in every angle larg sl ~ 00 (00 )0 positive, m depending on 00 ),
For 0'>0 and do>O we have:
1.
(VIII.13) e- S = -2
TTl
1 c10
clo-leo
+leo r(w)s-W dw.
We also have:
with
(-l)fr(p + j)
Ai = j!r(p) ,for larg zl < TT, do > p > O.
Suppose that a> 0 and that do is sufficiently large. Then (VIII.13) and
(VIII.4) give (for if)
1
= 2---:
TTl
i do +IOO
£10- 100
G(w, s) dw,
where
G(w, s) = r(W)(2TTS)-Wif(w).
Therefore, by (VIII.14) and (VIII.8) we can write:
By setting
(VIII.I7) K(s) = 21 .
TTl
r G(w, s) dw,
Jc
where C is a rectifiable curve enclosing K (the integral being taken in
the positive sense) we can also write for a>O, by applying Cauchy's
theorem (do being sufficiently large), with (VIII.6) taken into account
g(s) = K(s)
1
+ -2 •
TTl
16 -£1 0 +1 00
6-£10-100
G(w, s) dw
1 ido+l
+ -2
OO
= K(s) • G(o - w, s) dw,
TTl £10-1 00
with
-.
1
47Tl
f do
+
do-loo
1OO
-2 r (q - -W)
swr (W) 2
cp(w)dw
A2) -q (S2)Q+f]
= r(q) 2: an [( 1 + ~
s o ..
+
2,2:do - 2Q Aj
<
A2
n
.
THEOREM VIII.I.2. Let i5~ be the mean upper density of M and assume
that i5~ < 00.
The number of linearly independent solutions of the Riemann functional
equation corresponding to (A, M, 8) is equal to the smallest number of An
(An E A) lying in an interval on [0, oo[ of length exceeding i5~.
Let [a, b] be an interval a> 0, b - a > i5~, containing the points
Ap+ 11 Ap + 2, ••• , Ap + k and not containing other An' We are going to show
that there exist at most k independent solutions of (VIII. 5) corresponding
to (A, M, 8).
134 DIRICHLET SERIES
Let (IPq, tPq) (q= 1,2, ... , k) be k solutions of (VIlI.5). If these solutions
were linearly dependent no matter how they are chosen, the theorem would
be proved. Suppose then that this set of solutions can be chosen linearly
independent.
We set
The quantities a~q~ h a~q~ 2, ••• , a~qh, therefore are such that for no set
of k constants Cl, C2, ... , Ck, not all zero, we can have
(VIII.18) L
l",q",k
Cqa~qtl = 0 (j = 1,2, ... , k).
For if (VIII.18) were to hold (for a choice of the constants Ch C2, ... , Ck,
not all zero), then the function
F(s) = L: [ L cqb~q) e - 2nllns] = L: dn e - 2nllnS
l~q(k
we can state, by applying VIII. I. I once more, that for a certain constant
ft' with 0 < ft' < ftl the function
F2(S) = 2: d~ e-2n(~n-~')S
= 2: [ L aqb~q) e - 2n(~n -"')8] - 2: b~ + 1) e - 2n(/Ln - /L')8
l~q~k
is holomorphic and bounded in the strip a < t < b (whose width exceeds
21T 15v" where 15~, is the mean upper density of {v~} with v~ = 21T(ftn - ft'».
From Theorem III.2.3 we deduce again that F2(S) =0; that is to say,
(<}?1c+1o rPlc+1) = (a1<}?1 + ... + ak<}?lc, a1rP1 + ... + akrPk)'
This proves the theorem.
The next theorem gives conditions which the sequences A, M and the
constant 0 must satisfy so that the Riemann functional equation corre-
sponding to CA, M, 0) should have a solution. This theorem shows essen-
tially that if the step of M is positive (h/L > 0), then A has an 'integral basis'
which incidentally can be taken in an arbitrary interval of length exceed-
ing 15~+h;l.
THEOREM VIII. 1.3. Let M be a sequence of positive step hp.. Let 15~ be the
upper mean density of M. Let 0 = 1 or 0 = 3 and suppose that the sequences
A and A are such that there exist three constants ~, <r, m~ I such that for
n~l
There exists at least one An exceeding t(D~ +h; 1). If q is the smallest
integer such that Aq+l>!(D~+h;1), then every An is of the form
(VIIL22) An = p~n) Al + p~n) A2 + ... + p~n) \,
where the Pi (j = 1, 2, ... , q) are integers.
Furthermore,
ftn+1 - ftn ~ hu (n ~ I).
If we set for a>O:
pes) = (E,21TM) = L bn e- 2ltUn S, when 0 = I
pes) = (EM-I, 21TM) = L bnft;;l e-2ltllnS, when 0 = 3,
then the function pes) is holomorphic and uniform outside the axis of con-
vergence a=O, where its only singularities are simple poles at the places
± iAn and s = O. For a < 0 and suitable constants c and d we have:
pes) = - L bn e2ltil nS + c, when 0 = 1
pes) = L bnft;; 1 e2ltilnS + d, when 0 = 3.
We remark that the conditions (VIII.19) and (VIII.20) in the statement
of Theorem VIILI.3 are superfluous: the conclusion is valid without these
assumptions; and these conditions themselves are consequences of the
other assumptions of the theorem. The present theorem, incidentally,
is an almost immediate consequence of Theorem VII.2.1, where, as we
have remarked, the conditions (VIL20) and (VII.21) follow from the
other assumptions of the same theorem, namely from the fact that the
series (A, A) only has simple poles on an interval of a certain length on
the axis of convergence. Here the conditions (VIII.19) and (VIIL20)
follow from the fact that (cp, .p) is a solution of the Riemann functional
equation.
Here is a proof of Theorem VIII.I.3 on a few lines. The fact that
k~2 is an immediate consequence of Theorem IIL2.3. For if we had
O~k~ I, then there would exist a sufficiently small e>O so that
The function P(s), which has on the axis of the convergence a=O only
simple poles at the places ± i'\" and (by Theorems VII.2.1 and VIII. 1.1)
the point s=O, would be holomorphic in the horizontal strip that cuts
out on a=O the interval II; in this strip the function would be O(lalm)
(a~ -(0). Theorem 111.2.1 would then show that ",-=0. We could also
apply Theorem VIII.1.2 directly, which itself is an almost immediate
consequence of Theorems 111.2.3 and VIII.1.1.
Now (VIII.21) follows immediately from VII.2.1. And (VIII.22) fol-
lows from the fact that on an interval [-i(,\q+l-e), i('\q+I-e)] (where
e > 0 is sufficiently small so that the length of this interval exceeds jj~ + h;; I),
pes) has as singularities only the simple poles at the places ± i'\" (1 ~ n ~ q)
and the point s=O (VIII.22) therefore does not differ from (VIII.21). The
other conclusions of the theorem are reached by applying first VI1.2.1
to pes) eP' (0<1L<27r1L1)' Therefore, by VIII.l.l, we see that for J)= 1
or J) = 3, the function pes) (minus a constant) is odd or even, respectively.
Here are some corollaries to Theorem VIII. 1.3. We assume tacitly
that the conditions (VIII.19) and (VIII.20) are satisfied. We also assume
that the pair (rp, "') satisfies the Riemann functional equation correspond-
ing to (A, M, J» with J)= 1 or J)=3.
Remark. Since the points ± ilL" and the origin are the only singularities
of <1>(s), namely simple poles of <1> (if J)= 1) or of the function
~ a",\;1 e- 2 "il n8 (if 8=3) we conclude easily, owing to the periodicity
138 DIRICHLET SERIES
of (/> and of that of the places and the residues of the poles, that the
an and the An satisfy the conditions (VIII.l9) and (VIII. 20) , with the bn
and the JLn replaced, respectively, by the an and the An (for a suitable
choice of the constants ~, cr, Qt).
VIII.l.6. If to the assumptions of VIII. 1.5 we add JL2Al > 1, then there exists
an increasing sequence of positive integers {m~} such that JL~ = m~JLl and
AIJLl is a rational number.
We refer to the remark after the proof of VIII. 1.4. By VIII. 1.5, we have
An = nAb hence h", the step of ,\, is equal to AI; the equality JLn = m~JLl
(n~ 1) therefore follows from VIII. 1.4. And since JLn=JLq+mA 1 1
(0 ~ fLq ~ Al \ JLo = 0) (see the proof of VIII. 1.4), we conclude that for an
n with JLn> All we have m~fLl = m~fLl + mAl \ with m~ - m~ > 0, that is,
AlfLl = m/(m~ - m~).
VIII. 1.7. If hp.A2 > 1, 2hp.Al> 1, fL2Al> 1, 2fLIAl> 1, then fLn =nfLl (n ~ 1).
This follows immediately from VIII.1.5 and the first part of VIII. 1.6.
In particular, if Al = 1, JLn = n, then also An = n.
VIII. 1.8. If fLn =n (n ~ 1) and if Al ~ 1, then every solution (f{!, !fo) of(l1, M, S)
is equal to a'(s), where a is a constant and, is the Riemann zeta-function. 1
This follows easily from VIII.1.5 and the argument used in the proof
of VIII. 1.4 (which here yields an=an+l =b l (n~ 1)).
NOTE
1 We recall that from Theorem VIII. 1. 3 onwards we assume that ~=1 or ~=3.
ClIAPTER IX
This set 1: is independent of a' if a' < aa' If 1: is not the line a= aa, we say
that the series f = (A, A) is continuable modulo 217i. Otherwise we say that
the series has the axis of convergence as natural boundary modulo 217i. If
the points of 1: are isolated points of S:, we say that the singular set off
on the axis of convergence is isolated modulo 217i.
We denote by (An) the fractional part of An, that is, A-EAn (we recall
that Ea is the integral part of a).
The sequence {(An)} of fractional parts can also be denoted by (A).
The theorems which we are going to prove first of all have the follow-
ing meaning: if f=(A, A) can be continued modulo 21ri across its axis of
convergence, and iff does not grow in P (a' < aa), except at the singulari-
(1'
ties, faster than a function A(t) (which itself is subject to certain conditions),
then the values taken by the fractional parts (An) must be sufficiently
'piled up', the 'piling' depending on the growth of A(t). The piling is still
greater (for example, almost all isolated values of the set values taken by
the (An) must each be taken infinitely many times) if the singular set off
on the axis of convergence is isolated modulo 217i.
To make precise statements of these theorems we need some new
definitions.
We denote by D the set of values taken by the members of (A), that is,
by the fractional parts (An) of the An' If wED, then there exists a An E A
such that (An) = w, and 0 ~ w < 1, An - w an integer; but there may be several
An, even infinitely many, whose fractional part is equal to w. We denote
by Aro the set of all the An for which (An)=w. Let Nro) be the smallest term
of Aro and v(ro) the number, possibly infinite, of elements in Aro. If w:;6:0,
where w is an isolated point of D, we denote by 8(ro) the smallest distance
from w to the other points of the closure of D (if such points exist). The
interval pro) = ]w - 8(ro), w +8(ro)[ is called the interval of isolation of w. In
the interval of isolation of w there is no other point of D, and one of its
extremities belongs to n.
In this section we prove the following theorems.
(IX.1) 1"1
log ACt) d
--"'-;;2:--'-'-
t
t < 00.
ARITHMETICAL PROPERTIES OF THE EXPONENTS 141
the set !J of values W taken by the terms of the sequence (A) of fractional
parts of the An contains an infinite sequence {w n} of isolated values in !J
satisfying the condition
(IX.3) h(NWn)) ~ C o(wn) (n ~ 1),
where c is a constant smaller (2e)-1.
(3) In every Awn there exists a Amn such that
We recall that lim sup log (lanI/An)=O because the step of A is positive
and O'a=O.
Thus, the order of magnitude of the number of times the isolated value
Wn of!J is taken (where the value of Wn is useful in the sense of (IX.4);
that is, the Wn are the fractional parts of the Amn which with the corre-
sponding coefficients lamnl provide by means of (IX.4) a limit equal to
the superior limit taken over all the An and lanl, which yields the abscissa
of convergence; here 0'a = 0) by the terms of the sequence (A) is at least
equal to that of the smallest term of A whose fractional part is equal to
=
W n•
If A(t) 1, then h(a)=O, and the condition (IX.3) is automatically
satisfied. Hence Theorem IX. 1.1 leads to the following theorem:
( e- +2 e- )ll n.
S 2S
(IX.7) f(s) = 2: e- OlnS
where the Am range over all the numbers of the form COn +q with
I-'n ~q~2I-'n (n ~ 1). From the inequalities 1> COl > CO2 > ... ; I-'n+l >21-'n + 1
it follows that A has step h>O, because h;;,.I-C01' Since (Am)=co n
for Am=con+q, we see that !.h:{con} and it is clear that NOln)=fLn+COno
v<Oln) = fLn + 1. We also see that when Am=con+q, then
am = 2- lln (l-'n ).
q - fLn
By setting Amn= COn + 3fLn/2 we see that condition (3) of Theorem IX.I.I
is satisfied. We also see that ua=O.
On the other hand, it is easy to see that f is holomorphic in the domain
D bounded by the curve C, given by Je- S +e- 28 J=2 and containing the
half-line u> 0, and that this curve is a natural boundary for f.
In fact, the function
e- S + e- 2S )ll n
f1(S) = 2: ( 2
we have:
so that on every compact set contained in Pa, with the chosen value of
a (where a< -log 2 and (IX.6) holds):
(IX.9) I/(s) - 11(S) I ~ K L: wnlsl e-2~na ~ Kl L: Wn e-2~na < 00,
Hence there exists a Dirichlet series that is not a Taylor-D series but
satisfies all the conditions of Theorem IX.l.l and even those of the special
case Theorem IX.l.2. But these theorems indicate that a Dirichlet series
satisfying their conditions has one important point in common with a
Taylor-D series: if there exist isolated fractional values of the exponents
corresponding to 'useful' An (in the sense of condition (3) of Theorem
IX.l.l), then the number of terms of A that have each of these values as
fractional part is at least of the same order of magnitude as the smallest
of these terms.
We now proceed to the proof of Theorem IX. 1. 1. Suppose that the
theorem is not true. Under these conditions we can extract from {w n} a
partial sequence, which we denote by {an}, having the following proper-
ties.
(1) an tends monotonically to a quantity aO; we may assume that an
144 DIRICHLET SERIES
(5) Na n+ 1) is larger than the largest term of Aan' (We recall that Aro
denotes the set of An whose fractional part is equal to w).
(6) a n -8<an»an +l+8<an +l) (n~I).
Taking (IX. 14) and (IX. IS) into account, we see that when m is a positive
integer,
except when An is a term A~ of A', and m is the integral part of A~. If the
fractional part of A~ is am then
We set
(IX.18) tp(s) = i C
c-loo
+100
f(z)rf;(s - z)~( - iz) dz.
The conditions of the theorem and the inequality (IX.I7) show that
this integral has a meaning for G> c.
For G~C'>C we can write (IX.I8) in the following form:
tp(s) = L e- ns L am 1 C
c-loo
+ 100
e(n-Am)Z~( -iz) dz;
Since ItPn(U) I is bounded, we see that Ga. 'l'~O; we wish to show that
Ga,'l'=O.
There exists an ascending sequence of positive integers {qn} such that
wn=Vqn grows and that with Tv defined by (IX.H) and Twn=Sn,
ARITHMETICAL PROPERTIES OF THE EXPONENTS 147
Consequently,
· log Wn
1Im-
A- = 0.
s.
·
11m log I1>w.(O) I >- 0
sup A r·
8.
is, consequently, unity; and since (IX.10) holds, we see, by Fabry's theorem
(a special case of Theorem VI.2.2), that this series has its circle of con-
vergence (a=O) as natural boundary.
Now since !foes) has as singularities only the points 2k7Ti, where k is
an arbitrary integer, a simple repetition of the arguments used in proving
Theorem V.4.3 (a suitable division of part of the plane, use of Cauchy's
theorem, etc.) shows that lJI given by (lX.18) has in P(J' no singularities
other than points of S(J''/' that is, points of the form (X + 2k7Ti, where (X
is any point of S:'.f and k is an arbitrary integer. Now by the conditions
of the theorem the intersection E of S:·.f with a=O is not the entire axis
(a=O). This means that the axis is not a natural boundary of lJI. This
148 DIRICHLET SERIES
contradicts what we have found above under the assumption that the
conclusion of the theorem is false. Here we have chosen the an decreasing
to aO. We would find the same contradiction assuming that the an increase
to aO: it is sufficient to replace in (IX.l8) €P( -iz) by €P(iz) e2 • Thus, our
theorem is now completely proved.
A set S is said to be an isolated part modulo 21Ti of Sa if it has the follow-
ing properties: S c S: and there exists a closed Jordan curve contained
in Pa- S: and containing S in its interior.
Clearly, in the example we have constructed earlier (after Theorem
IX.1.2) no point of Sa (=Sa,,) on u=o (=u a) can lie in an isolated part
modulo 21Ti of Sa (in fact, this is true, in our example, for every point of
Sa). This remark shows that our example also illustrates the conditions
of the following theorems:
then there exists at least one point of Sa, d<O, on U=Ua that does not
belong to any isolated part modulo 21Ti of Sa.
Keeping to the notation and to all the operations in the proof of Theorem
IX. 1.1 , it suffices to make the following remarks: according to what we
ARITHMETICAL PROPERTIES OF THE EXPONENTS 149
have just said about the points of S: on 0'=0 (=O'c) (if the theorem is
supposed to be false), the function T(z) given by (lX.21) has on its circle
of convergence Izl = 1 only singular points each of which can be enclosed
by a Jordan curve inside the disk Izl <e- a and on which T(z) is holo-
morphic. But this time the sequence {m n} has a property which can be
expressed as follows: there exists a subsequence {m np } of {m n} with
where ~n has the same meaning as in (IX. 13), g and I have the same values
as in (lX.14) and (IX.15), and 8~=h(f'n)' We can then verify that the
following relations hold:
(lX.30) J[(M)]::> support of $(u),
where D~ is the upper density of A' and O'o=inf 0' for s E D(A'; to).
Denoting by Dc the contour of Be defined by
we see, by applying the methods already used in this book, that for 0' > 0:
lJ'(s) = i Dc
f(z).p(s - z)W( -iz) dz.
If we set
0< 8 <R- D~
<PiO) A
(IX.33) -2 ~ (f>«/-tp».
p
So we see, by (IX.2S), (IX.31) and (IX.33), that for the Taylor-D
series
A(s) = L: amj«P(Amj - vi) e-VjS = L: d j e-VjS
the abscissa of convergence is zero.
But we have seen that the function 1JI(s) (hence A(s» can be continued
analytically in the half-strip
where D~ is the upper density of A' = {A mj}, hence of {Vi}. This contradicts
Theorem VIo2.1 and thus proves our theorem.
154 DIRICHLET SERIES
Let S be a closed set in the half-plane u::;;O and M' c M. We say that
S cuts the domain ~ modulo [M, M', Q] if for any domain D => Po for
which there exists a function p = (B, M) holomorphic in D that does
not grow in D faster than Q(t), and where M' is a useful subsequence of
M with respect to B, we have
It is evident that if S cuts ~ modulo [M, M', Q], then S also cuts modulo
[M, M', Q] every set ~y obtained from ~ by the translation iy (where y
is real). To see this it is sufficient to replace bn (where B={bn}) by bn e-1Y"n.
By the theorems stated in this section we shall see that if f=(A, A)
and rp=(B, M) have analytic continuations that are uniform, respectively,
ARITHMETICAL PROPERTIES OF THE EXPONENTS 155
f e»
An
C(t)
-2-
t
~ CV(An - P-m),
NOTES
1 In this proof we also start with the assumption that an taO, and an easy change of
the argument enables us to pass to the case an t ".0.
2 We set C(x) =0 if A(x)~ 1 (x>O).
CHAPTER X
BIBLIOGRAPHICAL NOTES
The results of Chapter I are to a very large extent classical, for example,
all the theorems concerning various domains of convergence. We note,
however, that the upper mean density was introduced by the author in
[36], where there is also the first account of our method to calculate the
terms of the associated sequence; these values also come out from re-
search of Ostrowski [47], taken up by Bernstein [8].
All the results of Chapter II are due to the author. For the theorem of
11.1 we refer to [41], [42], [45]. But the case when all the A are distinct
modulo 1 had already been treated by the author in the older [31], [35].
We add that in our older papers the form itself of the domain (after
translating all the present results to the variable s) is much more restric-
tive than in the more recent papers and in this chapter.
11.2 is essentially devoted to the 'fundamental inequality' on the
coefficients of a Dirichlet series: Theorem 11.2.1. For series having an
abscissa of convergence (which is the case here) this inequality had al-
ready been presented by the author in [32] (under a slightly less general
form). It was then generalized by the author to series that need not
converge, a priori, anywhere: 'adherent series', and this has enabled us
to apply it to a great many different branches of analysis (problems of
moments, weighted approximation, generalized quasi-analyticity, etc.).
See [36] for the general result as well as for the rest of the bibliography
concerning this subject. Later results permitting the evaluation of the
coefficients of the Dirichlet polynomials tending to a function were ob-
tained by Schwartz [54]. Sunyer y Balaguer [55], [56], [57] and [58] has
made a deep generalization of the inequality of the author concerning the
adherent series in transferring it, with some new ideas on the' logarithmic
precision' (of the adherence), to Dirichlet polynomials: 'adherent poly-
nomials'. The results 11.2.2 and 11.2.3 (the more explicit case of 11.2.2),
which are both corollaries of the fundamental inequality, are utilized
a great deal in the rest of the book.
Theorem 111.1.1 is a consequence of the results of the first section of
11.1. This theorem likewise had been announced by the author some years
BIBLIOGRAPHICAL NOTES 157
earlier under a much less general form [31], [35]. In these papers it is
supposed that all the ,\ and the unit element are linearly independent.
Theorem 111.1.2, announced by the author in [45], is a generalization of
111.1.3 (which we call here a corollary to Theorem 111.1.2) proved by
Aronszajn [5], [6] who relied on our theorem in [31] and used the modular
function to pass from our theorem in [31] to his own. As in [31], his
domain is more restrictive than that of the present text.
Theorem 111.2.1, due to Ritt [52], is classical. Theorem 111.2.2 was
proved in a joint paper by the author and Gergen [30] in a less general
form. In the present form it was proved by the author in [36]. The same
remarks apply to 111.2.3, which was also proved by the author in [36].
So was 11.2.4. Theorem 111.2.5 concerning the families of functions tend-
ing to infinity is due to the author [29]. Theorem 111.2.6 is a special case
of 111.2.8, the Valiron-Bieberbach theorem [59]. The proof given here,
which is based on 111.2.5, appears for the first time in [36]. Theorems
111.2.7 and 111.2.9 are due to the author [36].
Chapter IV deals with Taylor series, essentially with Theorem IV.1.1,
published by the author in 1937 [33], and to some of its applications.
This Theorem IV.1.1 has been generalized by many authors, among them
Denjoy [15], Levy [23], Perron [48], Bouligand [12], von Mises [46],
Dvoretzky [16], [17], Bergman [7], to several variables, etc. Theorems
IV.1.5 and IV.I.6, which are both applications of Theorem IV. 1.1 , are
due to the author, the first published in [38], the second in [34]. Theorem
IV.I.6 was taken up and generalized by Valiron [60].
Theorems V.U, V.2.1, the subsequent lemmas, and Theorem V.2.5
are due to the author [27]. The integral (V.3) introduced by the author
has enabled Widder [61] (on the advice of the author) to establish a par-
ticular case of V.2.I. Theorem V.U was generalized by Bochner [10]
who states it for general almost periodic functions. V.2.7 is a particular
case of a theorem of Bernstein [8]. Theorem V.2.8 is due to the author
[27], [35]. The 'fictitious composition' of V.3 and the relevant Theorem
V.3.1 are due to the author [28]. Brunk [13] has proved some interesting
results on such a composition. Blambert has indicated conditions for a
•composite' point to be necessarily singular [9].
The functions Fa of Chapter V with their properties expressed by
V.4.1 were introduced by the author [39] (see also [44]). The version given
in V.4.1 is more precise than that of [39] and of [44]. The precise form of
the inequalities concerning these functions as well as their Fourier trans-
ISS DIRICHLET SERIES
we have
lim sup log IDn.NI ~ G'p.
n-+oo n
If all the classes E(s(1», E(s(l), ... , E(s(l) are situated on G' = 0 (m = I),
then
(1) F(z) = g!
-2
1T
i C
c-ioo
+ 100 dt (z = x + iy, s =
J(s)<p(z - s) g+l
S
G' + it)
for x> c. For these values of z:
(2) g''. L: L:
F(z) = -2
1Tl
i c~.q
ds
f(s)<p(z - s) Hl
s
g! fl11+s+loo ds
+ -2 .
1Tl 111 +s-ioo
f(s)<p(z - s)-;:IT'
S
so small that for each of closed disks bounded by C~·q contains only the
point s(q)+2k7Ti if q~ 1, and only s=O if q=O, and where all these closed
disks are contained in P"1 + 8 and in the half-plane x < c - B.
If s(q) +2k7Ti does not belong, for a given k, to E(s(q), then
i ck.q
8
J(s)rp(z - s)
S
ds
g+l = o.
On the other hand, it is obvious that the function of z represented by
the last integral in (2) is holomorphic for x> 0'1 + B.
Thus, F(z) can be put for x>c in the form
g!
F(z) = -2.:z::z:
TTl
ic:. q
ds
J(s) ( Z-8 1) g+l
e - s + T(z),
where T(z) is holomorphic in the half-plane x> 0'1 +B.
Since by assumption the polar order ofJat infinity in P"l is less than g,
we see that the sum
Fq(z) = r J(s)rp(z -
L Jc~.q
\k\;.O
s)
s
~: 1
that condition (1) of Theorem I holds, and that condition (2) of Theorem 1
is replaced by the following condition:
(3) f(s) does not grow in Pal' except at the singularities, faster than
exp c(l t I), where the non-decreasing function C(t) (t > 0) satisfies the
condition
By setting
and writing
we have
lim sup log IDn.NI ~ Up.
n
To prove Theorem 2 we utilize instead of (1) the expression
[C+loo
F(z) = JC-IOO f(s)p(z - s)H(-is) ds,
where pes) is the function defined in the proof of Theorem 1 and where
H(z) is defined as in the proof of Theorem V.4.3, with C1(u) replaced by
C(u)+a log u; a > sup (p(P», ... , p(s(l)) and C2(u) == 0, {fLn} being
the sequence of positive integers. We imitate the proof of Theorem V.4.3
and that of Theorem 1 of this note and finish up again by the application
of Hadamard's theorem that was used in the proof of Theorem 1.
NOTE
[1] S. Agmon, 'Sur les series de Dirichlet', Ann. £C. Norm. Sup. 66, 1949.
[2] S. Agmon, 'A Composition Theorem for Dirichlet Series', Journal d'Analyse
Math. 1, 1951.
[3] S. Agmon, 'Complex Variable Tauberians', Trans. Am. Math. Soc. 74, 1953.
[4] S. Agmon, 'On the Singularities of a Class of Dirichlet Series', Bull. Research
Counc. of Israel 3, 1954.
[5] N. Aronszajn, 'Sur les series de Dirichlet it exposants lineairement independants "
C.R. Acad. Sci. 199 (1934) 335.
[6] N. Aronszajn, same title, C.R. Acad. Sci. 199 (1934) 1564.
[7] S. Bergman, 'Essential Singularities of a Class of Linear Partial Differential
Equations in three Variables', J. Rat. Mech. Analysis 3, 1954.
[8] V. Bernstein, Le~ons sur les progres recents de la tMorie des series de Dirichlet,
Gauthier-Villars, Paris, 1933.
[9] M. Blambert, 'Un probleme de composition des singularites des series de
Dirichlet generales', Acta. Math. 89, 1953.
[10] S. Bochner, 'Hadamard's Theorem for Dirichlet Series', Annals of Math. 41,
1940.
[11] S. Bochner and K. Chandrasekharan, 'On Riemann's Functional Equation',
Annals of Math. 63, 1956.
[12] G. Bouligand, 'Sur la distance d'un point variable it un ensemble fixe', C.R.
Acad. Sci. 206, 1938.
[13] H. Brunk, 'Some Generalizations for Dirichlet Series of Hadamard's Theorem
with Applications', Thesis, The Rice Institute, 1944.
[14] K. Chandrasekharan and S. Mandelbrojt, 'On Riemann's Functional Equa-
tion', Annals of Math. 66, 1957.
[15] A. Denjoy, 'Etude sur la determination des singularites de la fonction analytique
definie par une serie de Taylor', Ann. Ec. Norm. Sup. 55, 1938.
[16] A. Dvoretzky, 'Sur les arguments des singularites des fonctions analytiques',
C.R. Acad. Sci. 205, 1937.
[17] A. Dvoretzky, 'Sur les singularites des fonctions analytiques', Bull. Soc. Math.
France 66, 1938.
[18] J. Hadamard, 'TMoreme sur les series entieres', Acta Math. 22, 1898.
[19] A. Hurwitz, 'Sur un tMoreme de M. Hadamard', C.R. Acad. Sci. 128, 1899.
[20] R. Jungen, 'Sur les series de Taylor n'ayant que des singularites algebrico-
logarithmiques sur Ie cercle de convergence', Comm. math. Helvet. 3,1931.
[21] J. P. Kahane and S. Mandelbrojt, 'Sur l'equation fonctionnelle de Riemann
et la formule sommatoire de Poisson', Ann. Ec. Norm. Sup. 75,1959.
[22] N. Levinson, 'Gap and Density Theorems', Amer. Math. Soc. Colloq. Publ.
26,1940.
[23] P. Levy, 'Surla variation du maximum d'une fonction', C.R. Acad. Sci. 206, 1938.
[24] S. Mandelbrojt, 'Sur les series de Taylor qui presentent des lacunes', Ann. Ec.
Norm. Sup. 40, 1923.
[25] S. Mandelbrojt, 'La recherche des points singuliers d'une fonction analytique
representee par une serie entiere', Jour. de Liouville 5, 1926.
BIBLIOGRAPHY 165
[26] S. Mandelbrojt, 'Sur une classe de series de Dirichlet', Prace Mat. Fiz. 36,1928.
[27] S. Mandelbrojt, 'Contribution it la theorie du prolongement analytique des
series de Dirichlet', Acta Math. 55, 1929.
[28] S. Mandelbrojt, 'Sur la recherche des points singuliers d'une serie de Dirichlet',
Bull. Soc. Math. de France 57, 1929.
[29] S. Mandelbrojt, 'Sur les suites de fonctions holomorphes, les suites correspon-
dantes de fonctions derivees. Fonctions entieres', Jour. de Liouville 8, 1929.
[30] S. Mandelbrojt and J. Gergen, 'On entire Functions Defined by Dirichlet
Series', Ann. Jour. Math. 53,1931.
[31] S. Mandelbrojt, 'Sur les series de Dirichlet dont les exposants possi:dent quel-
ques proprietes arithmetiques', Bull. Soc. Math. de France 60, 1932.
[32] S. Mandelbrojt, Series lacunaires, Actualites scientifiques et industrielles, No.
305, Hermann, Paris, 1936.
[33] S. Mandelbrojt, 'Theoreme general fournissant l'argument des points singuliers
situes sur Ie cercle de convergence', C.R. Acad. Sci. 204, 1937.
[34] S. Mandelbrojt, 'Applications d'un theoreme sur les arguments des singu-
larites', C.R. Acad. Sci. 206, 1938.
[35] S. Mandelbrojt, 'Dirichlet series', The Rice Institute Pamphlet 31, 1944.
[36] S. Mandelbrojt, Series adMrentes. Regularisation des suites. Applications,
Gauthier-Villars, Paris, 1952.
[37] S. Mandelbrojt, 'Influence des proprietes arithmetiques des exposants dans
une serie de Dirichlet', Ann. Ec. Norm. Sup. 71, 1955.
[38] S. Mandelbrojt, 'Sur les singularites d'une serie de Taylor sur son cercle de
convergence', Annales Univ. Scient. Budapest. Rolando Eotvos, Sectio Mathe-
matica nominatae 3-4, 1960/61.
[39] S. Mandelbrojt, 'Transformees de Fourier de fonctions entieres et series de
Dirichlet: un principe de dualite', Journal d'Analyse math. 10, 1962/1963.
[40] S. Mandelbrojt, 'Dirichlet series', Studies in Math. Analysis and related topics.
Essays in honor 0/ George Palya, Stanford University Press, 1962.
[41] S. Mandelbrojt, 'Considerations arithmetiques dans l'analyse harmonique',
Problemes contemporains dans la tMorie des /onctions analytiques, HAYKA,
Moscow, 1966.
[42] S. Mandelbrojt, 'Arithmetique dans la theorie des fonctions', C.R. Acad. Sci.
262,1966.
[43] S. Mandelbrojt, 'Considerations arithmetiques dans la theorie des fonctions
d'une variable complexe', C.R. Acad. Sci. 262, 1966.
[44] S. Mandelbrojt, Fonctions entieres et trans/ormies de Fourier. Applications,
The Mathematical Society of Japan, 1967.
[45] S. Mandelbrojt, 'Considerations arithmetiques dans la theorie des fonctions
analytiques', Israel Journal 0/ Math. 6, No.1, 1968.
[46] R. de Mises, 'La base geometrique du theoreme de M. Mandelbrojt sur les
points singuliers d'une fonction analytique', C.R. Acad. Sci. 205, 1937.
[47] A. Ostrowski, 'Einige Bemerkungen uber Singularitaten Taylorischer und
Dirichletscher Reihen', Berl. Sitz., 1921.
[48] O. Perron, 'Ober die Lage eines singularen Punktes auf dem Konvergenzkreis',
Sitzgsb. bayr. Akad. Wiss. Math.-naturwiss Kl., 1937.
[49] G. P6lya, 'Uber die Existenz unendlich vieler Singularen Punkte auf der
Konvergenzgerade gewisser Dirichletischer Reihen', Berl. Sitz., 1923.
[50] G. P6lya, 'Sur les singularites des series lacunaires', C.R. Acad. Sci. 184,
1927.
[51] G. P6lya, 'Untersuchungen uber Lucken und Singularitaten von Potenzreihen',
Math. Zeitschri/t 29, 1929.
166 DIRICHLET SERIES
[52] J. F. Ritt, 'On Certain Points in the Theory of Dirichlet Series', Am. Jour. of
Math. 50, 1928.
[53] S. Schottliinder, 'Der Hadamardsche Multiplikationssatz und weitere Kom-
positionssatze der Funktionnentheorie', Math. Nachr. 11, 1954.
[54] L. Schwartz, Etude des sommes d'exponentielles reelles. Actualites scientifiques
et industrielles No. 959, Paris, 1943.
[55] F. Sunyer y Balaguer, 'Sur des resultats de M. S. Mandelbrojt', C.R. Acad.
Sci. 231, 1950.
[56] F. Sunyer y Balaguer, 'Une generalisation de la precision logarithmique de
M. S. Mandelbrojt', C.R. Acad. Sci. 232, 1951.
[57] F. Sunyer y Balaguer, 'Aproximacion de funciones por sumas de exponen-
ciales', Collectanea Mathematica 5,1952.
[58] F. Sunyer y Balaguer, 'Approximation of Functions by Linear Combinations
of Exponentials', Seminario Matematico de Barcelona, Collectanea Mathe-
matica 17, 1965.
[59] G. Valiron, 'Fonctions entieres et fonctions meromorphes d'une variable',
Mem. Sciences Math. 11, 1925.
[60] G. Valiron, 'Sur les singularites des fonctions definies par les series de Taylor',
Publications math. Univ. Belgrad 6-7, 1937-1938.
[61] D. Widder, 'The Singularities of a Function Defined by a Dirichlet Series',
Am. Jour. Math. 49,1927.