Characteristic Functions - Lukacs, Eugene - 1970
Characteristic Functions - Lukacs, Eugene - 1970
ee SS
~
pee tere
nce aee:
ey
ed
Beg
Pe
SYN"
@
ene
Feet
ANNI
https://archive.org/details/characteristicfuO000luka
a
mae
CHARACTERISTIC
FUNCTIONS
GRIFFIN BOOKS OF COGNATE INTEREST
EUGENE “LUKACS
Professor of Mathematics
The Catholic University of America
Washington, D.C.
Second Edition
Revised and enlarged
13.5
we
he
The first edition of this book appeared in the series “‘Griffin’s Statistical
Monographs and Courses’. The general aims and the arrangement of the
book remain unchanged in this second edition; however, it seemed desir-
able to expand the treatment so as to include not only recent developments
but also certain parts of the theory of characteristic functions which were
known when the first edition was written but for various reasons had to be
omitted.
The original section on stable distributions contained a number of
results which were stated without proof. The part of Chapter 5 which
deals with stable distributions has now been greatly extended; and material
-on series expansions and on the analytic properties of stable densities has
been added, together with detailed proofs. Asymptotic expansions of stable
densities and the demonstration of the unimodality of stable distributions
have also been included. Chapter 9 is entirely new and deals with infinitely
divisible distributions which have no indecomposable factor. Most theor-
ems concerning this class have been obtained during the last few years; the
first highly significant results were announced, mostly without proofs, by
Yu. V. Linnik in Doklady when the manuscript of the first edition was
almost completed. It was therefore only possible to state some of the results
in the first edition, but the present edition gives a detailed account of these
developments. Chapter 10 contains new material on a-decompositions,
while Chapter 11 treats of boundary characteristic functions; the latter
concept, introduced by J. Marcinkiewicz, has received little attention
until quite recently. The topics listed above do not exhaust the additions;
there are a number of new sections such as 3.7 (infinite convolutions),
4.4 (non-negative definite functions), and 4.5 (unimodal distributions), as
well as many changes and much supplementary matter throughout the
book.
I have received many communications from readers and friends which
I greatly appreciated and have used in this revision. I am particularly
indebted to Dr. R. Cuppens who read the manuscript of the second
edition with great care and offered many valuable suggestions.
Thanks are also due to Dr. R. Mureika, Dr. B. Ramachandran, Dr.
V. K. Rohatgi, to my wife who helped me with the proof-reading, and
Vv
vi PREFACE TO SECOND EDITION
to Mrs. A. Miller and Mrs. P. Spathelf for the accurate and speedy typing
of the manuscript.
Finally, I wish to express my appreciation to the Publishers for meeting
my wishes concerning the appearance of the book.
EUGENE LUKACS
WASHINGTON, D.C.
November 1969
PREFACE TO FIRST EDITION
APPENDICES
Appendix A: The notations O and o
Appendix B: Schwarz’s inequality .. ‘
Appendix C: Weierstrass’ approximation theokeen
Appendix D: Order and type of entire functions. .
Appendix E: Proof of lemmas needed in Chapter 9
Appendix F: Schwarz’s reflection principle
LIST OF EXAMPLES OF CHARACTERISTIC FUNCTIONS
REFERENCES WwW
Ww
Oo
WW
WwW
WOWWwWNhd
WOPOOm
WY
ds
W Im
INDEX £
L INTRODUCTION
Here h | 0 means that h tends to zero from above, assuming only positive
values.
A function F(x) of a real variable x is called a distribution function if it
satisfies the following three conditions :—
(i) F(x) is non-decreasing, that is F(x+h) > F(x) if h > 0;
(ii) F(«) is right-continuous, i.e. F(v+0) = F(x);
(iii) F(+ 00) = 1, F(—o) =0.
Thus distribution functions are by definition bounded and monotone and
many of their basic properties follow from this fact. For instance a distri-
bution function can have only discontinuities of the first kind. A point «
is called a discontinuity point of the distribution function F(x) if F(«+0) =
F(x) #4F(x—0); if F(x) = F(«—0) then z is called a continuity point of
F(x). The quantity
(1.1.2) p, = F(a+0)—F(x—0) = F(x) —F(«—0)
is called the saltus (jump) of F(x) at the point «. The saltus of a distribution
function is positive at its discontinuity points and zero at its continuity
points. An interval is called a continuity interval for the distribution
function F(x) if both its endpoints are continuity points of F(x). A
point x is called a point of increase of the distribution function F(x) if
F(x+e)—F(«—«) >0 for any e > 0.
Let F(x) be a distribution function and k be a positive integer. Denote
by D, the set of discontinuity points of F(«) with saltus contained in the
half open interval
(isi al
k+1' Rk)’
this set contains at most k+1 points. The set of all discontinuity points of
F(x) is the union of all sets D,(k = 1,2,...) and is therefore at most
enumerable. We have therefore proved
F(x) and write p,, = F(x,+0) — F(x,—0) for the saltus of F(x) at
the point x,. We define the function
ee eee
the summation is here extended over all discontinuity points not exceeding
x. The function (x) increases only by jumps, at points of the sequence
{x,}, and is constant in every closed interval not containing an x,. Such a
function is called a “‘step-function’’. The saltus of ®(x) at x, is p, . We form
also a second function
(1.1.4) y(x) = F(x)— D(x).
The function (x) is continuous, while ®(«) is only continuous from the
right; both functions are non-decreasing and satisfy the relations
O(— 0) = y(— 0) = 0,7 @(+ 0) =a, <1, y(+o)=b<1.
It is therefore possible to define two distribution functions by normalizing
@(x) and y(x).
The functions F(x) = (1/a,)®(x) and F(x) = (1/6)y(x) are both distri-
bution functions; F,(x) is a step function while F(x) is continuous for all x.
According to (1.1.4) we have
(1.1.5) F(x) = O(x)+y(x)
and therefore also
(1.1.6) F(x) = a,F{x)+bF(x) (4,20, b20, a+ = 1).
The decomposition (1.1.5) and therefore also the decomposition (1.1.6) are
unique. Suppose that there are two decompositions
F(x) = O(x)+y(x) = O,(x)+ y,(x).
Then
D(x)— D,(x) = yx(~)— (a).
The right-hand side is a continuous function while the left-hand side is
the difference of two step functions. Therefore both sides must vanish
identically and we obtain
Theorem1.1.2. Every distribution function F(x) can be decomposed according
to
F(x) = a, F{x)+bF,(x).
Here F(x) and F(x) are both distribution functions. F(x) is continuous for
all x while F(x) is a step function. The coefficients a, and b satisfy the relations
0<a,<1,0
<b <1,a,+5=1.
F(x) is called the discontinuous (discrete) part, and F(x) is called the
continuous part of F(x). We note an immediate consequence of theorem
1.1.1: There exists an enumerable set D such that | Gl (x) sole Here
D
4 CHARACTERISTIC FUNCTIONS
ad. inf.
Table 2
Frequency functions
Name of : Conditions on
Distribution Frequency function p(x) parameters
0 at 0, » real
[02+ («— 1)?I Colle) Ee ae Sel
Ga
Gamma distribution ee for go> @ 0, A real
0 fOr 0) (PSs Os 2\ 0)
5 ae Ds Os et reel al
Beta distribution F@
To) GIS A[ M69) p,q re
form Or—ax<—o tl
0 otherwise p>0,q>0
8 CHARACTERISTIC FUNCTIONS
Our procedure consists then in removing in the kth step the 2'-! open
intervals A,, 9......,,-, of length (4)*. The Cantor set T is obtained from
the closed interval V by removing a denumerable number of open intervals.
It is easily seen that the points of T can be characterized in the following
manner. Write each number x, 0 < x < 1, in the triadic system
% = A,/3+a,/3?+ ... +4,/3°+...;3
the set T consists of all numbers x which can be written in at least one way
in the form of a triadic fraction whose digits are only zeros or twos. The
points of T therefore have triadic expansions
2€,/3+2¢,/32+...+2¢,/3"+...
WNEEE.C15:Co,.s 2.5 Cnr s.- «1a eeaquence of “0 sands 12
We introduce the function
eee ye!
Peifit= ga? 2
(EZ) KE, x) = 90
(F) Ke x) = &* wheres = 4/—1.
In cases (D), (E), (F') the parameter is a real-valued and continuous
variable.
To emphasize the discrete character of the parameter in cases (A), (B)
and (C) we write k(k = 0, 1, 2, .. .) instead of ¢t. The transforms (A), (B)
and (C) then transform the distribution function F(x) into sequences
(provided that the integrals exist). We call
Pj z 0, >: P; = il.
j=0
Here p; is the saltus of F(x) at the point x = 7 (j non-negative integer).
Probability generating functions were introduced by Laplace; we will use
these functions only rarely (in Section 6.3) and mention them here mainly
because they were the first integral transforms systematically used in
probability theory.
Finally we substitute the kernel (F) into (1.3.1); this yields
1.4 Moments
We first note that moments are defined as Lebesgue-Stieltjes integrals.
It is known that for these integrals the concepts of integrability and
absolute integrability are equivalent [see Loéve (1963) pp. 119 ff.]. We
apply this general property of the Lebesgue-Stieltjes integral to the ex-
pressions defining the moments and formulate it as
Theorem 1.4.2. Let F(x) be a distribution function and suppose that tts
moment a, of order k exists. Then the moments «, and B, exist for all orders
Souk:
(*) Formula (1.3.6) indicates that characteristic functions are the Fourier transforms of
distribution functions.
12 CHARACTERISTIC FUNCTIONS
Let
(1.44) (x)= ‘ee[1 + sin (= sin wn)] exp [—st ens jae] if x0
0 if x < 0.
INTRODUCTION 13
It is known [see Pélya-Szegé (1925), vol. 1, pp. 114 and 286] that for
O<uw<4t
(1.4.5) | x” sin (x" sin ye) exp [—x" cos px]dx = 0 (n= 0,1,...).
0
This shows that p,(x) is also a frequency function and is different from
P(x), but that
SS i OD s(X) ax ae |.x" Do(x) dx
Theorem 1.4.3. Let F(x) be a distribution and assume that for some integer k
1—F(x)+F(—x) = O(x-*) aS X —> 00.
Then the moments of any order s < k exist.
- For the meaning of the symbol O we refer the reader to Appendix A.
A proof of theorem 1.4.3 may be found in Cramér (1946).
Table 3
Moments
21)!
Normal distribution 3-1 = O, X%y = as = Ba;
with 2 = O0,16 —' 1
1
Box +) 1 = ——
AOE 2-1)!
( )
20 ~Gay= i
is also a distribution function.
We say that two distribution functions F and G belong to the same type
if they are connected by relation (2.1.1) (with a > 0).
More generally, we consider a distribution function F(«) and two real
numbers a and 6 and suppose only that a 4 0. We define
r(*—*) if a>0
(iia) "Gey 2 if ,
as ae) if a<0.
Then G(x) is also a distribution function. A simple change of the variable
under the integral defining g(t) shows that
(212) 5 elt) =e (ae):
Fora = —1andb = 0 wesee that g(t) = f(—?) is a characteristic function
whenever f(t) is a characteristic function.
Let a,,...,@, be m real numbers such that
a; 0; > a,=1
ia
and let F,(x),....,. (2) be iene functions. Then
G(x) = z a; F(x)
is also a distribution function; the corresponding characteristic function is
a(t) = 3 afi.
Theorem 2.1.3. Suppose that the real numbers a,,...,Q, satisfy the
conditions
n
a; 2 0, ms i 1
j=1
and that f,(t),..., f,(t) are characteristic functions. Then
n
g(t) = aa a; fi{t)
is also a characteristic function.
As a particular case we obtain the following corollary.
PRELIMINARY STUDY a7
Corollary to theorem 2.1.3. Let f(t) be a characteristic function; then f(t) as
well as Re f(t) are characteristic functions. Here
where the &; are real while the p; satisfy the relations
(1.2.3) p20, Dp,=1.
j
The Lebesgue-Stieltjes integral with respect to the distribution function
(1.2.2) reduces to a sum, so that the characteristic function f(t) of F(x)
becomes
(2.1.3) f(t) = Spe.
If, in particular, F(x) is a lattice distribution then we can write
(2.1.4) &;=atyd
where a and d are real numbers. The characteristic function of a lattice
distribution therefore has the form
Every lattice distribution F(x) therefore has the following property: there
exists a real number ¢, 4 0 such that the modulus of its characteristic
function f(#) assumes the value 1 for t = tp. We show next that this
property characterizes lattice distributions. Suppose that the characteristic
function f(t) of a distribution function F(x) has this property. We assume
therefore that there exists a fj # 0 such that |f(t))| = 1. This means that
f (to) = e** for some real & or
{a ev dix) =e,
It is then easily seen that F(x) satisfies the relation
Rectangular distribution Ge =
7
See. : ort
Normal distribution exp [ue 5) |
e7ltl
Cauchy distribution or more generally
exp [iut—0|t]].
(*) The conditions on the parameters are stated in Table 2 for discrete distributions
and in Table 3 for absolutely continuous distributions. We denote here e4 by exp [A].
(t) 171 (@, 6, 2) is the confluent hypergeometric function.
PRELIMINARY STUDY 19
Theorem 2.1.4 implies that |f(z)| < 1 almost everywhere, provided that
f(#) is the characteristic function of a non-degenerate distribution. Suppose
that a < 0, then [f(¢)]* cannot be a characteristic function. This remark
leads to the following corollary.
Corollary 1 to theorem 2.1.4. The only characteristic functions whose
reciprocals are also characteristic functions belong to degenerate distributions.
We obtain easily from theorem 2.1.4 the following corollary:
Corollary 2 to theorem 2.1.4. If a characteristic function f(t) has the
property that for two incommensurable real values t, and t, the relations
[f(t)| = |f(t2)| = 1 hold, then |f(t)| = 1.
On the preceding page we listed in tabular form the characteristic
functions of some of the distributions given in Tables 1 and 2.
In Section 1.2 we constructed [see (II1)] a singular distribution function.
It can be shown that the characteristic function of this distribution is given
by
(2.1.7) f(t) = e/? lim TI cos z
n—>o j=1
may be any number between zero and 1. In fact, examples are known where
L assumes the value zero [Girault (1954)]. An example) of a characteristic
function of a singular distribution for which L = 1 was communicated to
the author by A. Wintner. Another example is due to C. G. Esseen (1944).
Singular distributions for which L equals 1 or 0, or a number between 0 and
1, were given by L. Schwartz (1951).
The behaviour of the characteristic function at infinity permits therefore
some inference concerning its type. For instance, if
lim sup [f()| = 0,
|t]—>
00
eo
be the (2k)th (central) difference quotient of f(t) at the origin. Assume that
(As f(0)
M= Lienging (28)
Then the (2k)th moment a, of F(x) exists, as do all the moments «, of order
s < 2k. Moreover the derivatives f(t) exist for allt and fors = 1,2,...,2k
and
+0 —0 t
and hence that
b
sin xt 2k b
M > lim inf ( ) dF (x) = | x dE'(x)
t>0
for any finite a and 6. It follows then that the (2k)th moment
He fe x dF (x)
exists and that M > «»,. Let s be a positive integer such that s < 2k; then
it follows from theorem 1.4.2 that the moments f, and «, exist for s = 1,
eens oR
From the existence of the moments «, (s = 1, 2,...,2k) we see imme-
oO
and are obtained by differentiating under the integral sign. This proves
theorem 2.3.1.
If a characteristic function has a derivative of even order, then the con-
ditions of theorem 2.3.1 are satisfied and we obtain
is finite (but not necessarily bounded) fork = 1,2,... Then all moments «, of
the distribution function F(x) exist and f(t) can be differentiated for real t any
number of times, with
fot) = 38 iB xt dF(x).
Corollary to theorem 2.3.2. Let f(t) be the characteristic function of F(x); if
all the derivatives off(t) exist at the origin then all the moments of F(x) exist.
PRELIMINARY STUDY 23
It is worthwhile to note that a characteristic function may be nowhere
differentiable. As an example we mention the Weierstrass function
ite= ee ioe
etd ;
Px 3 on
e(x-—5*).
fea FO
E H+ Rl
where (*)
R(t) =LO)
“ +o(1) ast +0.
{O= 5
X= ib + ole") as t—>0.
(*) The remainder term used here is a modification of Lagrange’s form for the re-
mainder. This follows from a seldom used form of the remainder term [see Hardy (1963)
lols 290]
B
24 CHARACTERISTIC FUNCTIONS
ie p(x)de = 1. From
aa
i eae = log log A—log log2
it follows that the distribution determined by (2.3.8) does not have any
moments. The characteristic function f(t) of p(«) is given by the integral
fi) = Bay
and p = 1/L is the radius of convergence of this series.
It is possible to define symmetric moments
(ca) A y
ie {i “|
ae if
‘
Ue —
:Wwe Fi
|
| — ies
ss Sve) 28 & ee
so that
The coefficients «,; of this expansion are called the cumulants (or semi-
invariants) of F(x). Clearly
(2.4.2) Kp = 1-16 (0),
On account of the relation (2.4.1) one sometimes calls the function 4(¢)
the cumulant generating function of F(«). This terminology is however
somewhat awkward since ¢(¢) exists (in |¢| < A) even if cumulants and
moments do not exist. For this reason we prefer the name ‘second
characteristic’ used in the French literature.
The relations between cumulants and moments can be found easily by
means of Faa di Bruno’s formula [see Jordan (1950), pp. 33-34]. This
formula gives an explicit expression for the pth derivative of a function of
a function. Suppose that the moment «, of F(«) of order m exists; then we
get
(243) (k-Iip!
= y (1)! i! (Ry!)°.. ty! (Rg!)
and
$4 p!} A is
Catz Yi ery a mn)
a
for p = 1, 2,...,”. The summation is extended over all partitions of p
which satisfy
ty)tig+...+1, =k
1, ky t+igkgt+...+1,k, = p-
3. FUNDAMENTAL PROPERTIES OF
CHARACTERISTIC FUNCTIONS
(3.1.2) | eap(x) ik
The function f(x) is the difference of two monotone increasing functions
and is therefore a function of bounded variation. Moreover we see from
(3.1.2) that B(x) satisfies the relation
[s) ap(a) = 0,
provided that a and 6 are continuity points of §(«) and that g(x) is contin-
uous for a < x < b. But then f(x) must be constant on the set of its con-
tinuity points so that F(x) and F(x) must agree in all continuity points
and are therefore identical.
We would emphasize here that two characteristic functions f,(¢) and
Jo (t) must agree for all values of t in order to assure that the corresponding
distribution functions F(x) and F(x) should be identical. This require-
ment can only be weakened in a trivial way: one could suppose that the
functions f, (t) and f, (¢) agree for t-values which form a set which is dense
on the positive real axis. It follows then from theorem 2.1.1 (condition 111)
that they must agree for a set dense on the whole real axis, and one can
conclude from theorem 2.1.2 that f,(t) = f,(¢). Agreement over a finite
interval is, in general, not sufficient for the identity of the correspond-
ing distribution functions. In fact, it is not difficult to construct a pair of
characteristic functions which belong to different distributions and which
agree over a finite interval. It is also possible to show that a pair of different
characteristic functions can agree everywhere with the exception of two
symmetrically located intervals. We will give these examples in Section 4.3.
Let F(x) be an arbitrary distribution function. It is then easily seen that
the function 1— F(—x—0) is also a distribution function. This function is
called the conjugate distribution of F(x) and is denoted by
(3.1.5) F(x) = 1-F(—x—0).
Let f(t) be the characteristic function of the distribution F(x); an elemen-
tary computation shows that the characteristic function of the conjugate
distribution F(x) is
Theorem 3.1.2. A distribution function is symmetric if, and only if, its
characteristic function 1s real and even.
The necessity of the condition follows from (3.1.6) while the sufficiency
is a consequence of the uniqueness theorem.
Moreover, we see from (3.1.6) that
pO
8(-tVlay F128
(2j-1) t . ;
2(-1)+1aa lim iv
[® 024
4, Sim?
a(tx/2 dF (x)
(23) y= (23)
(iii) lim ro J wo)=
t>0 t t0
—1)i+1 ;
( sah e) (PH 1; 27.5 ee
Theorem 3.2.1 (the inversion theorem). Let f(t) be the characteristic function
of the distribution function F(x). Then
r Lae (My .
(322-1) F(a+h)— F(a) = lim : | it e
= f(t) at ?
f( )
Posey Lit —T
provided that a and a+h (with h > 0) are continuity points of F(x).
For the proof of the inversion theorem we need the following well-
known lemma.
Lemma 3.2.1. The integral | (sin y)/y dy is bounded for x > 0 and
0
approaches x/2 as x tends to infinity.
The first part of the lemma is easily proved by dividing the range of
integration into segments of length z; the second statement is obtained by
contour integration. (*)
Let
Des 13 re
TENG oF 3) Fp nee OX
From this definition and from lemma 3.2.1 it is seen that A(h, T) is
bounded for all # and all T and that
hed =A)
while
Lifh>0
(3.2.2) lim Ah, T)=<{ Oifhk =0
eh thee:
We now introduce the integral
1 (2 emia e-itlath)
Ue Le a7 f(t) dt.
We substitute here for f(t) = i e” dF(x) and note that the absolute
value of the integrand does not exceed h. Hence the order of integration
may be reversed and one obtains
1 fo} Tt e7 tla- 0) == e7 tlath- 2%) |
ah dt |dF (x).
Jr 2a |= 00) |—? it (*)
hold simultaneously.
Moreover, we conclude from (3.2.4) that T can be chosen so large that
the relations
Ge Fre
by Fig 8) Sli | sin16 we £(4)dt
Wy .
To tJ—T
provided that x—6d and x+6 are continuity points of F(x). The last
formula can also be written as
F(x+0)—F(x—6) . 1 (7 sindd
= lim — e-H F(t) dt.
26 T->0 21 —T t6
Let us now assume that f(t) is absolutely integrable over (— 00, + 00),
the integrand is then dominated by the absolutely integrable function f(t)
and converges to e~ f(f) as 6 tends to zero. Hence one may go to the limit
under the integral sign; one sees that F’(x) exists for all x and one
obtains the following result.
expresses its density function p(x) in terms of the characteristic function. The
density function p(x) 1s continuous.
We have already proved the absolute continuity of the distribution
corresponding to f(t) and must still show that p(x) is continuous. We see
easily that
|p(x+h)—p(a)| <=[ [sin (eh/2)|1 FL ae
a |pea [Sin (th/2) FO Lat
34 CHARACTERISTIC FUNCTIONS
We choose A so large that the second integral becomes arbitrarily small and
can then make the first integral as small as we wish by selecting h sufficiently
small. This completes the proof of the theorem.
We note that this inversion formula is here not derived for all absolutely
continuous distributions but only for absolutely continuous distribution
functions which have absolutely integrable characteristic functions. We
will give later [p. 85] examples of characteristic functions which belong to
absolutely continuous distributions but which are not absolutely integrable.
However, we will see that under certain conditions the inversion formula is
still valid.
It is also possible to derive an inversion formula which is valid for
arbitrary absolutely continuous distributions, even if they are not absolutely
integrable. As the proof of this formula requires results of the next section,
we give it in Section 3.3 (see corollary 3 to theorem 3.3.2).
Let again f(t) be the characteristic function of an arbitrary distribution
F(x). We consider the integral
We write in (3.2.7) f(t) = | e dF (z) and see easily that the order of
629)
o29 | |[.i, Re Fts)| <e
sin Ty
d,F x)|
|
< €.
FUNDAMENTAL PROPERTIES 35
Let now h, be a number such that
(3.2.10) Age heei0,
It follows from (3.2.8) that
Pu-ێ < |
|u| <Ay
aF(y+a)< | lul<No
dyF(y+a) < pete
so that
J pa, OF O92
|u| <hy
<e
(3.2:11) while
0< | dy Biche), 28
hy <|y|<ho
We are still free to choose /,, subject only to the restriction (3.2.10). We
select h, so small that
e sin Ty
Ty
for |y| < h,. According to the law of the mean there exists a real 6(|0| < 1)
such that
sin Ty sin T6h, |
d,F =
fie Ty 2 2 ty) Toh, lul<hy getty)
=(1-0)| dy F(w+y)
lul<hy
where 0 < 6, < 1. From this we see immediately that
| sin ED ACR = | d, F(x+y)—py—O2¢
<a Ty lvl< hy
with 0 < 0, < 1. Hence we conclude from (3.2.11) that
sin Ty
(Bed, LZ ) |lul<tn Ty d,F
y (x +y) = P Palas 22.é
sin Ty |
d,F < d,F ee.
(vee Tyee Oma) th <Wiche (ye)
We combine the last inequality with (3.2.9) and (3.2.12) and obtain
(322513) |Ir—pe| < 5e
if T is sufficiently large. Thus we have proved the following statement:
Theorem 3.2.3. Let f(t) be an arbitrary characteristic function. For every
real x the limit
== NI
ile 7 fia
ae
a limp _,¢ We)
36 CHARACTERISTIC FUNCTIONS
exists and is equal to the saltus of the distribution function of f(t) at the
point x.
f(t) = le tt dF (2).
b
We consider first the integral | e dF (2) (where a and b are finite) and
FUNDAMENTAL PROPERTIES 3¥
write it as a limit of generalized Darboux sums.*) We use a sequence of
subdivisions {z‘} of decreasing modulus
Ce eee ee SR oe
of the closed interval [a, b]. In this manner we get
b n
| exp (izt)dF(z) = lim © exp (itz) LF (z,;) — F(2")].
a no j=1
= lim > exp [it(25) — x)] LF, (2,0, —x) — F, (2 —x)] exp (ttx) dF, (x).
noo —o j=1
Corollary 2 to theorem 3.3.2. Let F(x) and F(x) be two absolutely con-
tinuous distribution functions and denote by p,(x) and p(x) their frequency
functions. Let F = F,*F, and p(x) = F'(x«) be the density of F(x); then
its characteristic function and q(x) = G’ («) for its frequency function.
Suppose that G(x) satisfies the following conditions:
(1) g(t) is absolutely integrable over (— 00, ©),
(it) g(x) = O(x-?) as |x| > o.
It follows from theorem 3.2.2 that
1 foo)
and
63%) = alex os or
It follows from property (ii) of g(y) that for y sufficiently large,
q(y) < Ay~*.
Therefore we have for sufficiently large values of a
We put
a=T
and conclude from (3.3.7a), (3.3.7b), (3.3.7c) and (3.3.5) that
(3.3.8) |H.(x)—p(x)| < w(x, T-”*)+ AT 4+ 2Ap(x)T-*.
Let x be a continuity point of p(x), then limw(x, T~1/%) = 0 and we see
To
from (3.3.8) that
linn F(x) = pia).
T—>0
D(x) = 1) fia = ue Ae
n)ft) dt,
T-—> 21
Theorem 3.3.3. Let F(x) and F,(%) be two purely discrete distributions
with discontinuity points {£,) and {y,} respectively. Then F = F,*F, is also
purely discrete and the discontinuity points of F are the points of the sequence
16,+1,3. Morewer, let a, be the saltus of F, at £, and bh, be the saltus of
fyi Meand suppose that é is a discontinuity point of F. The saltus of F at é
is
% 4,03
$,49,~6
The characteristic functions f,(t) and f,(t) of F(x) and F,(x) respec-
tively are
Sf (t) = par 4, exp (ité,)
Silt) = Xb,
7
exp (ity,).
' The characteristic function f(t) of F(x) is, according to the convolution
theorem,
33.9) f(t) =f) falt) = EB a,b, exp (iE, +n,)].
Theorem 3.3.3 follows immediately from this formula.
Suppose that F(x) and F,(x) are two purely discrete distribution
functions and that at least one of these has infinitely many discontinuity
points. It follows then from (3.3.9) that F(x) = F,(x)* F,(x) also has
infinitely many discontinuity points.
Assume next that each of the purely discrete distributions F,(x) and
F,(%) has only finitely many discontinuity points, then (3.3.9) becomes
nN Hh
a finite number of discontinuity points if, and only if, each of the functions F,
and F, has finitely many discontinuity points. Denote by N,n and m the
number of discontinuity points of F(x), F(x) and F,(x); then
n+m—1< N < nm.
Next let F(x) be an arbitrary distribution function. If / (x) has a dis-
continuity at the point x = &; with saltus p, then the conjugate distribution
function F(x) of F (x) has a discontinuity at x = —é, with the same saltus
p; According to theorem 3.3.3 the convolution F*f has the saltus
> p;? at the point x = 0. On the other hand one can determine the saltus
Theorem 3.3.4. Let F(x) be a distribution function and f(t) its characteristic
function. Then
in 2"gallop NG iptoideeae
Misery
1 T
= OSE Bs
where the p; are the saltus of F(x) and where the summation on the right 1s
to be taken over all discontinuity points of F(x).
We conclude this section by stating the connection between the existence
of the moments of a convolution and the moments of its components.
Theorem 3.3.5. Let F, and F, be two distributions and suppose that the
moments of order k exist for F, as well as for F,. The same is then true for
Weed foil dee
This follows easily from the elementary inequality
[x+y |P < 2h-7(|x|F + |y|*).
3.4 Limits of distribution functions
In this section we study sequences of distribution functions and their
limits and we introduce a specific definition for the convergence of such
sequences. In order to motivate this definition we consider first two
examples.
Example 1. Let
0 if x<—n
E(x) a if -n<x<n
1 Wve
(n = 1,2,...) be a sequence of rectangular distribution functions. This
sequence converges for all x and
lima (2) = 4.
no
FUNDAMENTAL PROPERTIES 43
However, we have
lim F,,(0) = 4 while <(0) = 1.
n—> co
that is, we use the symbol “Lim” for weak convergence to distinguish it
from “‘lim”’ used for ordinary convergence.
Using this terminology we introduce the following definition.
A sequence {F,,(x)} of distribution functions is called a convergent
sequence if there exists a non-decreasing function (x) such that
iamyls, (caer (x):
n— oo
converges at the first m rational points 71, 72, ... , 7m and we denote
fim ree DF) a ol oe oleae tite
The function F(x) is defined for all real x and agrees with ®(x) for rational
values of the argument. The function F'(«) is bounded and non-decreasing
and we see from lemma 3.5.1 that
(3.5.1) Lim F,,,(x) = F(x),
a.e-d,
The limiting function F'(«) is not necessarily right continuous; however
it is always possible to change the values of F(x) at its discontinuity points
in such a manner that it becomes right continuous. Such a change obviously
does not affect the validity of the relation (3.5.1).
b b
< |fear (o)—[ f(a) dF (@)
7) b
+ |
| I,(x) dF (x)— | Ff,(x) dF, (x)
b b
+
| f(x) dF, (x) — | f(x) dF (x)
We rewrite the first term on the right of (3.5.5) and see that
[ fO)aF@)-
|" fear. e)
=| E fOMF OFM S/d) Fl=)
§ Me
<N. [Mae a ~~e
The last three inequalities and (3.5.5) yield the estimate
(3.5.6) | f(x) a(x) —| f(x) aF,(s)|< 2(1+Cye=Ce ifk > K.
FUNDAMENTAL PROPERTIES 47
But this means that
however, one more lemma which we deduce next from the inversion formula
and the convolution theorem.
r(t)= sin ta
while
sin ta
WO) Oa
We apply (3.2.6) and obtain
Hea)
(x + a) Bea)
—H(«—a) = tin1”
A
li esin tate.
ee 58a f(t)dt e
Using (3.6.1) we see that
T_1 —cos 2at
ie[F(x+v)—F(x—v)]dv = limair
— aera e7 tte
S(t) dt.
To I
It is easily seen that the passage to the limit, k — oo, can be carried out
under the integral signs so that
1—cosy
‘| Fove-;| Fore ==| 7 f(y/h) dy.
The expression on the left of this equation tends to F'(co)—F(— 0) as
h > oo. Since we assumed that f(t) is continuous at ¢ = 0 we see that
lim f(t/h) = f(0) = lim f,(0) = 1.
Moreover, it is again permissible to carry out the passage to the limit under
the integral sign so that
1—cosy
F(«)—F(—0) = = are
dy.
+[1—F,(6)+ F,(@]+[1-—F(6)+F(@)].
Let « be an arbitrary positive number and select for a and 5 two continuity
points of F(x), taking |a | and b so large that
1—F(b)+F(a) < «.
Since
Lim FF, (4) =F (x)
k=1
> {|ne (eit—ei) dF, (x) — (i? (citr»—eit ar(s)} .
Te-2
It is easily seen that for |t| < T
x
|; (eit _ es) dF, (x) < mT |; GF, (a) t< e| : dF, (x);
epe-a
The sum on the right-hand side of this inequality will not exceed 3¢ if is
sufficiently large, hence (3.6.3) becomes
|fn()—-F@)| < be
for all t e[—T, T], provided that n is chosen sufficiently large. This is the
statement of the corollary.
Corollary 2 to theorem 3.6.1. Let {f,(t)} be a sequence of characteristic
functions and suppose that this sequence converges for all values of t to a limit
function f (t). Assume that f (t) is continuous at t = 0; then f(t) 1s also a char-
acteristic function.
We remark that the limit of a sequence of characteristic functions is
necessarily continuous for all ¢ if it is continuous for the particular value
t = 0. The continuity at t = 0 is, however, an essential requirement of
theorem 3.6.1 and cannot be relaxed. As an illustration we consider once
more the sequence of rectangular distributions, discussed in Example 1 of
Section 3.4. We saw there that the distribution functions F’, (x) converge
for all values of x; however,
lim F,,(x) = 4
n—> oo
fa) = |eaFy()
their Fourier—Stieltjes transforms. The sequence {F,,(x)} converges weakly to
a bounded, non-decreasing function F(x) and
lim{Fy co)—Fy(— 00)}= F(co)—F(—0)
if, and only if, the sequence {f,,(t)} converges to a function f(t) which 1s
continuous at t = 0.
We prove first the sufficiency of the condition and write V,, = f,,(0) =
lim -Va=9f(0):
Consider first the case f(0) 4 0. Then the sequence of distribution func-
tions F’,,(x)/V,, converges weakly (according to theorem 3.6.1) to a distri-
bution H(x) and
Lim F,(x) = H(a)(0).
If (0) = 0, then
Lim F,, (x) = 0
no
so that the corollary holds in this case also. The necessity of the condition
is an immediate consequence of theorem 3.6.1.
IfO-fO|<5
and for |t|
<1
|fn(0)-
FO) <5.
FUNDAMENTAL PROPERTIES 53
Then we choose ¢ so small that
| fn (t)—
fn(0)| < _
so that
If@)—F(0)| < e.
The last inequality proves the statement of the corollary.
We are now in a position to modify somewhat the statement of the
continuity theorem.
byt («) :R,, (x) + (1- ~)e(a)where R,, (x) is the uniform distribution
over the interval [0, 7]. Since the characteristic function of F,, (x) is
f,() = =1 - dn
nit
1
+(1-2)
n
we see that Lim F,,(«) = (x). Moreover, it is easily seen that the moment
n> coo
p= | sar)(x) ==25
(oo) nk-1
o a= cs k dF —..
Therefore lim «”) = 00, while the moments of the limiting distribution
n>o
function F(«) does not imply the convergence of the density functions
F; (x) to F’(«). Define, for example, F’,, (x) by
0 we
12
F(x) = 42 — if 0a
1 if Weal
Then F,,(x) converges weakly to the uniform distribution over [0, 1] but
Pn(x) = 1—cos 2anx does not converge to the rectangular density.
The continuity theorem suggests the expectation that two distribution
functions whose characteristic functions do not differ much are close to
each other in some sense. This idea was stated in a precise way by C. G.
Esseen (1944) [see also B. V. Gnedenko-A. N. Kolmogorov (1954),
pp. 196 ff.]. Esseen obtained the following results:
Then to every k > 1 there corresponds a finite, positive c(k) depending only
on k, such that
(iv) the functions F(x) and G(x) have discontinuities only at the points
x,(v = 0, +1, £2,...54%,,, > x,) and there exists a constant
L > 0 such that Inf (x,,,—x*,) > L
Gy) |G. (@) he for alle Az.x, (Ui.
O sil, th2, aresa
Then to every number k > 1 there correspond two finite positive numbers
¢,(R) and c,(k), depending only on k, such that
|F(x)—G(x)|<
< ketei
provided that TL > c,(k).
The limit theorems of probability theory give approximations for the
distributions of normalized sums of random variables. Esseen’s theorems
provide an important tool for the study of the error terms of these approxi-
mations.
Lemma 3.7.1. Let F(x) be a distribution function and f (t) its characteristic
function. Then Re [1—f(t)] > 4 Re [1-f(22)].
It follows from lemma 3.7.1 that the relation lim f,,(#) = 1 is also valid
in the interval |t| < 2t) and therefore—by iteration—for all real t, so that
we can conclude that Lim F,,(x) = «(x).
N—>0
It follows from the assumptions of the lemma and from the con-
tinuity theorem that
(72a) limf,(t) = f(
and
|t| < t). The statement follows immediately from lemma 3.7.2.
Let F(x) be a distribution function; the spectrum Sp of F(x) is the
FUNDAMENTAL PROPERTIES 57
set of all points of increase of F(x). It is easily seen that Sp is closed, not
Lemma 3.7.4. Let F,(x) and F,(x) be two distribution functions and let
F = F,* F, be their convolution. Then Sp = Sp (+) Sr, while
Dp = Dr, (+) Dr..
But this is only possible if there exists a point u) € Spr, such that
Put vy = w—uy; then vp € Sp, and we Spr, (+) Sr, which is a contra-
diction, so that the first statement of the lemma is proved. In a similar way
one can also prove the statement concerning the point spectrum.
We also need another lemma which is of some independent interest:
function f(t). Then t? [ aE (x) < 3|1-—f(#)| for |¢| < :where r 1s an
arbitrary positive number.
Since Re [1—f(é)] = lis (1—cos tx) dF (x) < |1—f(t)] we see im-
mediately that ae.
| (1 —cos tx) dF(x) < |1—f(2)|.
The statement of the lemma then follows easily from the fact that
x? < 3(1—cosx) for |x| < 1.
Let {F,,}, k = 1,2,..., bean infinite sequence of distribution functions.
In a purely formal manner we can introduce the infinite convolution(t)
1OD
laa = Yahi) 1deNes epee. bal ahaa’ °
k=1
of the distributions of the sequence. In order to give this infinite con-
volution a definite meaning, we form for each positive integer 7 the finite
convolution
n
distribution function F(x) such that Lim P,,(«) = F(x). We write then
(3.73) F(x)
=TT*Fe (8) (= Lim P,(»),
The characteristic function of P,, (x) is the finite product p, (¢) = III(t),
k=1
(t) In dealing with convolutions it is often convenient to omit the variable and to write
F instead of F(x).
FUNDAMENTAL PROPERTIES 59
and we conclude from theorem 3.6.2 that the necessary and sufficient con-
dition for the convergence of the infinite convolution (3.7.3) is that the
sequence p,(t) should converge uniformly in every finite ¢-interval to a
limit f(¢). This limit is then the characteristic function of F(x) and is given
Theorem 3.7.1. The infinite convolution F(x) = [[* F;, ts convergent if,
k=1
n+p
and only if, Lim [[*F, = (x).
n>o k=n+1
n+p n
Werwite.G,, =a) [ecl).and be =—)|.(* 2, so that 2,9 G,) = Da...
k=n+1 k=!
To prove the necessity of the condition, we assume that the infinite
convolution is convergent and note that Lim P,,, = Lim P, = F. We
n—> 0 n> 0
every finite ¢-interval, so that f(t) = [] fi. (¢) also converges uniformly in
k=1
every finite interval.
is zero. Suppose that the sum > a; converges; the infinite convolution
k=1
co
It follows from the assumptions and from ‘Taylor’s theorem that the
characteristic function f,(t) of F(x) can be written in the form
If Ol< | *4F(.
We see therefore from (3.7.4) that o
|1—fu(t)| < gta,
and conclude that the infinite product llJ, (t) is uniformly convergent in
and assume that the integral M? = | |x |°dF,(x) exists for some & such
that 0 < 6 < 1. Suppose further that 3) M? < «; then the infinite con-
k=1
(oa)
Hs
sing
||
holds for real z. Therefore
tx
|e"*—1| — 2
a EE ARE AREMe
so that
are uniformly bounded. The infinite convolution [[* F’, 1s convergent if, and
b=1
only if, the series byOy 7, 1S convergent.(T)
The alata? faethe condition follows from theorem 3.7.3, so that we
need prove only that it is necessary.
Let F = [J*, be a convergent convolution of distributions which
k=1
satisfy the conditions of the theorem; write F*, for the distribution function
conjugate to F,,, and put G, = F,*F,. Let «$,, and «$,, be the first and
second moment respectively of G,. Then
a, = 0
while
(3.7.5) OSp = 2hepe
We conclude from the convergence of []*F, that []* Ff, and therefore
b=1 k=1
c
also [[* G; are convergent. Let f,(¢) and g,(¢) be the characteristic func-
k=1
tions of F(x) and G,(«) respectively. The convergence of the infinite
(+) The uniform boundedness of the spectra ensures the existence of the second
moments.
62 CHARACTERISTIC FUNCTIONS
co
for any real r. Since the spectra Sy, are, by assumption, uniformly bounded,
this is also true for the spectra Sj, of the conjugate distributions, and we
conclude from lemma 3.7.4 that the spectra Sg, are also uniformly bounded.
Therefore there exists a value r such that G;,(x) is constant for |x| > r and
all k. It follows from (3.7.6) that
>> 5% < 0.
k=1
In view of (3.7.5) we have then
(oo)
> Ho ie < ®,
k=1
so that the condition of the theorem is necessary.
We also need some properties of the spectra of convergent infinite con-
volutions. For this purpose it is convenient to introduce the following
terminology.
The closed limit inferior (+) of a sequence {A,,} of sets is the set of all
points x which have the property that every neighbourhood of x contains at
least one point of almost all sets A, (i.e. all sets A,, with n sufficiently large).
We write Li A, for the closed limit inferior of the sequence {A,}. The
statement x € Li A, means therefore that there exists a sequence of points
{x,} such that x, € A, and lim x, = x. We note that
oc
(t) F. Hausdorff (1927), pp. 146, 147, uses the term “‘untere abgeschlossene limes”’.
See also C. Kuratowski (1952), p. 241. This is the closure of the inferior limit of the
sequence as defined by P. Halmos (1950).
FUNDAMENTAL PROPERTIES 63
Lemma 3.7.6. Let G,,(x) (n = 1, 2,...) and G(x) be distribution functions
and suppose that Lim G,,(x) = G(x). Then Sy < Li S¢,.
Let « € S, and select h so that x+h and x—h are continuity points of
G(x). Then
G(x+h)—G(x—h) = lim [G,(*«+h)—G,(x—h)] > 0
so that G,,(x+h)—G,,(x—h) > 0 for sufficiently large n, say n > N, that is
x ES, and therefore x € Li Sg, so that the lemma is proved.
We proceed to prove theorem 3.7.5. Let F = [T]*F, be a convergent
k=1
n foe)
(2/7D) me Ra Gh)
ha (— 9)i 0" fornia oNg
We select n > Ny = max (N,, N,) and note that F = P,,* R,, so that
P9421)
—F(y—2n) = [Pa ¥o+2-9)Pa¥o~20-3)] Ra (3)
> [Pa (o+3n)—Pa(so~3n)] |"dRa(3)
> [Px (*o+m)—Pn(%o—7)|[Ra(+7)—Rn(—7)] > 95
this follows immediately from (3.7.7a) and (3.7.7b). Therefore x) € Li Sp,
implies that x) € Sr, so that the theorem is proved.
We mention without proof two interesting results concerning infinite
convolutions.
purely discrete distribution functions F,. Then F is pure, that ts, F is either
purely discrete or purely singular or purely absolutely continuous.
For the proof we refer the reader to B. Jessen—A. Wintner (1935)
[theorem 35] or Wintner (1947) [No. 148].
We next discuss a particular case, i.e. the purely discrete distribution
function B(x) which has two discontinuity points atx = +1andx« = —1
and a saltus of 4 at each of these points,
B(x) = $o(x+1)+e(x—1)].
The corresponding characteristic function is
b(é)"= ‘cos t.
Let {r,,} be a sequence of positive numbers. In the following we shall use
the sequence of distribution functions
Ca eG) (2).
The infinite convolution
re)
is called a symmetric Bernoulli convolution. Let «1;, %;, be the first- and
second-order moments, respectively, of F’, (x). It is easily seen that «,, = 0
and «,, = 7%, while the characteristic function f,(¢) = cos7,t. The
peg Sr, = Dr, consists of the two points 7, and —7,. Suppose now
that
@:7.9) y X we,
k=1
Then the conditions of theorem 3.7.3 are satisfied and
that x becomes the sum of a convergent series of the form }) +7, In the
n=1
case where > fi. < ©, Say A = > Yn, this means that Sp ¢ [—A, A]
and that ae:aud +A are, Fespecnvely the smallest and greatest values
contained in Sp. If > r, 1s divergent, then it is possible to represent any
real number x as nett of a conditionally convergent series of the form
C= ss+7,, so that Sp is the whole real line. We next show that the point
=
spectrum of F is empty, Le.
(ll Dr "O:
fe * ICL a ay
Theorem 3.7.8. The necessary and sufficient condition for the convergence of
&
the symmetric Bernoulli convolution F(x) = T1*( )is the convergence of
k=1 Vr,
foe)
the sum > r2. The characteristic function of F (x) 1s then given by the infinite
k=1
product f(t) = [T[ cos7,t. The spectrum Sp is a bounded set if the sertes
k=1
ee) co
DX 7, converges, but is the whole real line if ¥ 1, diverges. The point spectrum
k=1 k=1
of an infinite symmetric Bernoulli convolution 1s always empty, and F (x) 1s
either purely singular or absolutely continuous.
We next consider briefly the case where the 7, form a geometric series,
Tr == He.
Corollary to theorem 3.7.8. The function f(t) = [J cos a*t is the charac-
k=1
teristic function of a convergent symmetric Bernoulli convolution
k=1
Theorem 3.7.9. Suppose that 7, > pn (or equivalently pp > 2pn4) for all
n. Then
L( Spr) = 2 lim/2"7,..
> eo
Corollary to theorem 3.7.9. Let 0 < a < 4, then the symmetric Bernoulli
convolution F(x) = II" B(xa-*) ts purely singular.
in ¢ ee
computation (given in section 6.3) that f(t) = = =/7(¢)) 1 Isiis the
Theorem 4.1.1. The only characteristic function which has the form
f(t) = 1+0(t?) as t +0 is the function f(t) = 1.
Let f(t) be a characteristic function and assume that f(t) = 1+ 0(t?)
as t >0Q. It follows then from theorem 2.3.3 that «, = a, = 0. Since
eo | x? dF (x) [where F(x) is the distribution function corresponding
to f(t)] it is seen that F(«) must be constant over every interval which
does not contain the point x = 0; that is F(x) = e(x) and f(t) = 1.
The function f(#) = e~" satisfies the conditions of the theorems 2.1.1
and 2.1.2, but e~* = 1+0(t?). Therefore we see from theorem 4.1.1 that
e~" is not a characteristic function. This example shows that the neces-
sary conditions stated in theorems 2.1.1 and 2.1.2 are not sufficient.
1-[f@lt
> gll-1f2 OP.
Let t be a fixed value such that |t| < B, and choose n so that
ze=e 2x ae
Ue hie»
Then—according to (4.1.3)—
. 1 t?
bi(2tt) tae Aa while rT = Ap
70 CHARACTERISTIC FUNCTIONS
where t,, t.,..., tn are arbitrary real and &,, €,,.. ., &n are arbitrary complex
numbers. Then S is real and non-negative for any choice of N, t,, ta, . . -, tn,
&, bs, OO OF} En.
Let F(x) be the distribution function which corresponds to f(t). ‘Then
N WN . foe)
=, es All exp [7(t;—t,,)x]
dF (x)
j=1 k=1
© N d NGS .
| (> E, ete) > E,,ent dF (x)
—o \j=1 k=1
|” |S eet |’d(x).
N
I
—o |j=1
The last expression is real and non-negative.
or
1 forx >2
then (4.2.2) can be written as
—mNn
| dF, (x).
We apply Schwarz’s inequality (see Appendix B) to the last integral and
obtain
Since
lim f(t) = lim {[fn(4)— fn(k/m)] + fa (R/m)}
we see from (4.2.8) and (4.2.9) that for all ¢
linayy,(2) afte):
The continuous function f(t) is therefore the limit of the sequence {f, ()}
of characteristic functions and is therefore (corollary 2 to theorem 3.6.1)
also a characteristic function. This completes the proof of Bochner’s
theorem.
We derive next another criterion which is due to H. Cramér.
ce if |t| < A
(4.2.11) f4() =
0 otherwise
and can write (4.2.10) in the form
|@ 0
1—cosv
2
d I
eS)
<B
mt — 2)pe,A) for|x|
and 0 outside the interval (—B, B) is non-negative and bounded. If it is
multiplied by a suitable normalizing constant Cz it becomes a frequency
function. Therefore Cz Jz (u, A) is a characteristic function for any B and
A, We then conclude from corollary 2 to the continuity theorem that
lim Coo (uy A) = Cfa(—n)
is a characteristic function. Since f4 (0) = 1, we see that C = 1 and that
fa(u) is a characteristic function for any A. We apply once more the
continuity theorem and see finally that
f(@) = lim fa(t)
is a characteristic function. Thus the sufficiency of the condition is
established.
Theorem 4.2.3 is a particular case of more general results derived by
Cramér (1939). In this paper he also gave conditions for the possibility
of representing more general classes of functions by Fourier integrals.
We derive next a condition for absolutely continuous distributions
which will later be extended and will yield a general criterion.
Theorem 4.2.4. The complex-valued function f (t) of the real variable t is the
characteristic function of an absolutely continuous distribution tf, and only Uv,
it admits the representation
() f= | s¢+6) sao
(*) See footnote on page 49.
76 CHARACTERISTIC FUNCTIONS
Hence ¢(x) is the Fourier transform of h(v) = ©(—v). It is easily seen also
from (4.2.13) that ®(w) is the Fourier transform of ¢(—y). According to
Plancherel’s theorem we have the equation
integrable over (— 00, 00) and we write g(u) for its Fourier transform. From
the first of the equations (4.2.15) we obtain
f= | se+aoday
is also a characteristic function. This completes the proof of the theorem.
We next derive a condition which is not restricted to absolutely con-
tinuous distributions.
Theorem 4.2.5 (Khinchine’s criterion). The complex-valued function f(t) of
the real variable t is a characteristic function if, and only if, there exists a
sequence {g,,(0)} of complex-valued functions of the real variable 0 satisfying
() | |gn(0)[249 = 1
such that the relation
To prove the necessity of these conditions we must only note that every
distribution function is the limit of a sequence of absolutely continuous
distributions. We apply the preceding theorem to the characteristic
functions of these approximating distributions and see that our conditions
are satisfied.
To prove the sufficiency of the conditions we assume that the sequence
{g,(0)} is given and that these functions satisfy (i). According to theorem
4.2.4 the functions
TD aie
ie (px) i exp (ixy—y*/2) dy|dx.
Since f(px) is absolutely integrable, the order of integration may be
reversed and we see that
Lemma 4.2.2. The function (—1)" e~*/? Hyn, (x) is non-negative definite.
It follows from (4.2.18) that
1 (oo)
(4.2.19 aa!)
= 1 \"en? “17,Oi(x) == =|
Fyre’! 2n exp p[—y?/2 +tyx]
[—y?2/2+iyx] dy
dy.
CG.) = Teas
J |. $(x) exp |---| dex
(x—ry)?
and
In(*, 9,7) = fn (x) = efIre (ctr)” H,, (y) exp [ttx— t?/2] dt,
then
<
yr ev/2 Qn/2 (
n! V2n V7
;
ioe)
|
—o
It \@e db te rere)
re
azI'(n+1)
D)
Tha
Gt09)=ae |” [ZA00]
or, in view of (4.2.22),
G(r, y)
1 Pa
a foe ‘igsP(xeee nl (ctr)" H,, (y) exp (itx
— t?/2) dt }dx.
JU . —o
We write
(4:2.25)
1
~g,(i)= ips (itr)" H,,() exp (it«
— t?/2)
;
so that
4226)
Donen G = = o{s
{pe |” » earhas
it (athde.
We see from (4.2.25) and from lemma 4.2.1 that
le g,(t)dt
re)
= | _len() ae < CA
, ziceae D
Ee Whe
= o(r"e"/")_ asn > 0.
It then follows easily that
so that
(4.2.27) . ‘i
x é exp (tx —t?/2) |3(ttr)"
_ &n (b) di se ie ere)Hn (Y) dt.
We use (4.2.18) to compute the sum on the right of (4.2.27) and obtain
ei(tiry®Ha(y) 1 5 (itr)"
try
Gale if (iv)" exp [—v?/2+ ivy] dv.
n=0 n!} AGE es
=0 nl
(422.23)
© (ar Hety) tog?
is exp
=,” + ivy
[—(v?—y?)/2 — trv] dv
a a ce
= exp [2?7?/2—zytr].
We combine (4.2.27) and (4.2.28) and get
oO ro 1 0
a ge be(t)
t dt a
pm
ee
elie [itx
rtayr
—t?/2+t27?/2—tytr]
#2 242 ry
dtP
for every p > 0 and apply lemma 4.2.3 to the function (x) = f( px).
Since f(x) is, by assumption, a real and even function, we have
(4231) in
ee
5 ConET(PI (1M
2/9
Hal3)= fonderP
2
Since the function (—1)"e~””? H,,(y) is, according to lemma 4.2.2, non-
negative definite, we conclude from (4.2.31) that f( py) e7%”? is also non-
negative definite. But then the same is true for f(y) exp (—y2/2p?);
moreover, we see from assumption (ii) of the theorem that this is a charac-
teristic function. We let p -> oo and conclude from the continuity theorem
CRITERIA 83
that f(y) is a characteristic function. The following corollary is an im-
mediate consequence of the preceding reasoning.
We write
for all t; > 0, t2 > 0. For a survey of the properties of convex functions we refer the
reader to G. H. Hardy-J. E. Littlewood-G. Pélya (1934), 70-72, 91-96.
84 CHARACTERISTIC FUNCTIONS
oye fo eee) de
It follows from (1) that |R p(x) dx = 1 and the proof of theorem 4.3.1
is completed as soon as we show that p(x) is non-negative.
Integrating by parts and writing g(t) = —/f’(t) we get
1 ice)
(4.3:3)i
Roe 0 wp) = ee
— |.g(t)
t) sin
sin xxt dt
Then
n/n ioe) s
= J|0 |S
P(x) = TX (-1)'e(+)| sin tx dt.
j=0 x
Let x > 0; the series
»? (= 1)'e(2+)
j=0 x
is an alternating series whose terms are non-increasing in absolute value;
since the first term of the series is non-negative one sees that the integrand
is non-negative. Thus p(x) > 0 for x > 0. Formula (4.3.2) indicates that
p(x) is an even function of x so that p(x) > 0 if « # 0. Therefore p(x) is a
frequency function and f(t) is the characteristic function of the absolutely
continuous distribution F(x) = | p(y) ad.
We will occasionally call functions which satisfy the conditions of
theorem 4.3.1 Pélya-type characteristic functions.
From the preceding proof it is clear that the frequency function p(«) of
a Pdlya-type characteristic function f(t) can always be obtained by means
of the Fourier inversion formula (4.3.1), even if the condition of theorem
3.2.2 that f(t) should be absolutely integrable is not satisfied.
(*) We use here the following theorem due to Pringsheim [Titchmarsh, (1937), p. 16]:
If the function f(t) is non-increasing over (0, ©) and if it is integrable over every finite
interval (0, a) (where a > 0) and if lim f(t) = 0 then the inversion formula
to
holds for any positive ¢. A short proof of Pringsheim’s theorem can be found in M. Riesz—
A. E. Livingstone (1955).
CRITERIA 85
Aas) ences:
cada 2)t)
=
{0 ele) = 7.
Clearly, f, (¢) satisfies the conditions of Pélya’s theorem and is therefore a
characteristic function. Hence it follows from (4.3.1) that
i e- f,(t)dt > 0
for all x. Combining this with (4.3.5) we obtain
The quantities A, and B,, are the Fourier coefficients of the function f(t).
It follows from Dirichlet’s conditions [Titchmarsh (1939)] that f(t) is
equal(t) to its Fourier series in the interval (—r, +7). On account of the
periodicity of f(¢) one has then
A fos)
(43.9) f()=52+
DA,cost n=1
(*) P, Lévy (1961) showed that condition (iii) can be replaced by (iii’): the functiong (2),
which equals f(t) in some interval (0, 7) and is zero for t > 1, is a characteristic function.
(t) D. Dugué (1955), (1957b) investigated the Fourier series of a characteristic function
and showed that a characteristic function is, in a certain interval, equal to the sum of its
Fourier series. L. Schmetterer (1965) supplemented these results and showed that a
similar statement is true if the trigonometric system is replaced by certain orthogonal
systems.
CRITERIA 87
for any real value of ¢. Formula (4.3.9) indicates that f(z) is the charac-
teristic function of a lattice distribution whose lattice points are the points
est7) (i= Ol oD)
The functions f(¢) and f, (t) discussed in this proof are also examples of
characteristic functions which agree over a finite interval. The first ex-
ample of this kind is due to Khinchine.
Extensions of Pédlya’s condition can be found in Girault (1954) and in
Dugué (1957b). These authors also obtained some interesting results
concerning Polya-type characteristic functions [D. Dugué—M. Girault
(1955)].
We discuss here only one of their theorems.
Theorem 4.3.3. A characteristic function is a Pdélya-type characteristic
function if, and only if, it can be represented in the form
Pag du
10) f(t) = | a(<)dF (x)
0
immediately that
(4.3.12) i (1-‘)an — f(x) +2f'(#)] = f(i).
We see that
D
F(x) = 1— f(x) +9f"(a)
88 CHARACTERISTIC FUNCTIONS
is a distribution function and introduce F(x) and the function (*) into
x
formula (4.3.12) and obtain the desired result.
The decision whether a given function f(t) is a characteristic function
can sometimes be made by means of the results derived in earlier chapters.
The continuity theorem is frequently useful in this connection; we con-
sider next a simple example. Let
18 nl
Iie cosht e+e *
The function cosh ¢ is an entire function which has zeros at the points
in(2j —1)/2. Applying Weierstrass’ theorem on the factorization of entire
(integral) functions we get
cosh ¢ = ek E ue |
j=1 (2; —1)? 2?
so that
f()
t) ==Tes)
' g(t where
TT h 2,()
ihe)=[1+ 5"
ee de s |fs,
iy ei ee
Let I(t) = 1/(1+¢#?) be the characteristic function of the Laplace distribu-
tion, then
2
; = /f{ ===
h,,(t) ak TTsi(0
where M(r) = max |g(z)|. This means that g(z) is an entire function of
|z| <r
exponential type not exceeding A and is bounded on the real axis. Let
£€Sa, fe Pa and Fe V,. We define a functional ®, in the space Ba
by the formula
®/(g)= | aOdF@.
It can be shown that ®, depends only on f and g but is independent of F.
We are now in a position to formulate Krein’s result.
holds.
(ii) The series
2
D An [ eb, (x) dx
A >
<"@
n=1 v0
holds.
Then f(t) admits the decomposition f(t) = $(t)+y(t), where
2—>—0 — 0 y 2—->+0 x y
a a
The last integral tends to zero as x tends to infinity, and we obtain the first
equation in (i); the second equation in (i) is derived in the same way. Let
x —> +0 and note that
qa |,
+o oe Va ieee +o geet
« bd J Ney
; Vy x [rape
< i dG(y)+ Vx hes dG(y)
= G(Vx)—G(«)+ Vx(1—G(Vx)).
The expression on the right-hand side tends to zero as x > +0, so that
the second equation in (ii) follows. 'The first equation in (ii) is proved in
the same way.
We rewrite (4.5.2), using integration by parts and lemma 4.5.1, and obtain
vai le znlk
We note that F(+0)—F(—0) = G(+0)—G(-—0) and using integration
by parts and lemma 4.5.1, we see after some elementary computations that
(4.5.4) [-_éar() = | ee
TF BiG a).
We note that
ite t
pak = “I é™ du;
Lodo
94 CHARACTERISTIC FUNCTIONS
Let
(*) It might be necessary to modify G(x) at its discontinuity points to make it right
continuous.
CRITERIA 95
We substitute for G(x) the expression from (4.5.6) and integrate by parts
and obtain, using (4.5.8a) and (4.5.8b),
the segment [7, R] of the positive real axis, the circular arc
Cp = {2:2 =Re’%,0<¢5 a
the segment [iR, ir] of the positive imaginary axis, and the circular arc
Since (z) is regular in ©, we can apply Cauchy’s theorem and see that
|ve) de |e4@) dz = 0
or
(4.5.10)
R r
| ev! A(t) dt + | y(z) dz+i | ee” A(ty) dy + | y(z) dz = 0.
r Cr R Cr
It follows from condition (iv) and the assumption that f(f) is an even
function, that p(x) > O for all real x. Since f(0) = 1 we conclude that
p(x) is a frequency function whose characteristic function is f(t). To com-
plete the proof we must show that the corresponding distribution is uni-
modal. Let x, > x, > 0; it follows immediately from (4.5.11) that
P(%1) < P(%2) < p(0),
so that p(x) is a decreasing function for x > 0. Since p(x) is symmetric we
see that it has a unique maximum at x = 0.
We give next an application of theorems 4.5.1 and 4.5.2 and show that
certain functions are characteristic functions of unimodal distributions.
This result will be used in the next chapter.
Theorem 4.5.3. Let « be a real number such that 0 < « < 2; then the
(4.5.13a) -F(x,)
+F(x.) > ee
98 CHARACTERISTIC FUNCTIONS
(4.5.13b) -F(x;)
+F(x) < pr eiees),
Z
It follows from equations (4.5.13a) and (4.5.13b) that F(x) is unimodal.
Finally we note that |a| is necessarily finite, otherwise /(x) would be
either convex or concave for all x. This is not possible, since a distribution
function is monotone and bounded.
We first note that if Lim F,,(x) = F(x) and Lim F,,,,(x) = F,(x),
n—> oo mo
and see that Lim F(x) = F(x), so that the lemma is proved.
n>
We proceed to prove the theorem. Let F(x) and F(x) be two sym-
metric unimodal distributions and denote their convolution by F(x),
F(x) = F,(x)*F, (x). Clearly F(x) is also symmetric, so that we have only
to show that it is unimodal. It is no restriction to assume that F(x) and
F,(x) are twice differentiable; this follows from theorem 4.5.4 and the
fact that—according to lemma 4.5.3—we can approximate F(x) and
F(x) by two sequences {F,,,(x)} and {F,,,(x)} respectively of twice
differentiable, symmetric, and unimodal distribution functions.
CRITERIA 99
CNS De \@_K(s,x)dG(x),
100 CHARACTERISTIC FUNCTIONS
Theorem 4.6.1. Suppose that a kernel K(s, x) satisfies the following con-
ditions:
(I) K(s, x) is a complex-valued function defined for all values of
the real variables s and x and is bounded and measurable in x.
(II) (Uniqueness property): g1(s) = G2(s) if, and only if, G(x)
= G,(x).
(III) (Convolution property): If
G(s) G,4Gy= | G, (x—2)dG,(2)
then g(s) = gx (5) g2(s).
Then K(s, x) has the form
K(s, x) = pitAls
We still have to prove the converse statement. Suppose that the kernel
is given by (4.6.7), then it is immediately seen that (I) holds. The proof of
(II) can be carried out in the customary manner with the aid of Weierstrass’
approximation theorem. Finally it is easy to show that (II1) is also satisfied.
We see therefore that an integral transform (4.6.1) which is defined for
every distribution function and for which the uniqueness and the con-
volution theorems hold, is obtained from the characteristic function by a
simple change of the variable. We note that we have arrived at this con-
clusion without using the continuity theorem.
This fact can be used [see E. Lukacs (1964)] to obtain a more general
characterization of the transform (4.6.8) which also uses the continuity
theorem but considers a linear mapping of the space of distribution
functions onto a set of bounded continuous functions instead of the in-
tegral transform (4.6.1).
» FACTORIZATION PROBLEMS—INFINITELY
DIVISUBLE, CHARACTERISTIC FUNCTIONS
Theorem 5.1.1. Let F(x) be a purely discrete distribution function which has
only two discontinuity points. Then its characteristic function is indecomposable.
We see from the corollary to theorem 3.3.3 that the components of F(x)
are necessarily purely discrete distributions with a finite number of dis-
continuity points. The inequality, given in this corollary, indicates that at
least one of the components must be a degenerate distribution. This
proves our assertion.
The factorization of a characteristic function into indecomposable
factors is somewhat similar to the factorization of integers into prime
factors. This is the reason why the theory of the decomposition of charac-
teristic functions is often called the arithmetic of distribution functions.
However, this analogy does not go very far; as an illustration we give an
example which shows that the factorization of a characteristic function
into indecomposable factors is not always unique.
104 CHARACTERISTIC FUNCTIONS
5
Example. Let f(t) = 45 e“ and write f,(#)= #(1+e"%+e™),
j=0
f(t) = A +e), git) = Sl tet+e™), gat) = a1 +e).
It follows from theorem 2.1.3 that the functions f,(z), f(t), £1 (4), £2 (4)
and f(t) are characteristic functions. Moreover it is easily seen that
f(t)= fi) fe(t)= £1 (2) 22(t). We conclude from theorem 5.1.1 that f.(¢)
and g,(t) are indecomposable. It follows from theorem 3.3.3 that a fac-
torization of g,(¢) must necessarily have the form
(5.1.2) gi (é) = [pe +(1—p)e™] [gem
+(1—g) ec]
where
(52143) 0 op fh BelenFl:
As a consequence of (5.1.2) p and q must satisfy the relations
PY = (15) a= DU a) tal Oy ae
which are incompatible with (5.1.3). Thus! g,(@) is indecomposable, and
since f,(t) = g,(2t) we see that f(t) is also indecomposable.
We give a second example which emphasizes another difference between
the arithmetic of distribution functions and the factorization of integers.
This example is due to B. V. Gnedenko.
Let f(t) be a real-valued periodic function with period 2 which is
defined by f,(t) = 1—|#| in the interval |¢| < 1. According to theorem
4.3.2 the function f, (tf) is the characteristic function of a lattice distribu-
tion. Let further
1—|t| for|¢| <1
fil) = 3 for |t| > 1.
Clearly f,(t) is the Pdlya-type characteristic function A(t) defined by
(4.3.11), and f,(¢) agrees with /f,(¢) in the interval |t| < 1. According to
a remark of A. Ya. Khinchine, this example shows that it is possible to
find two different characteristic functions f,(¢) and f,(t):
(5.1.4) fOM=AOh® =hOh().
This fact—sometimes called the Khinchine phenomenon—shows that the
cancellation law is not valid in the arithmetic of distribution functions.
It is known that the quotient of two characteristic functions is in general
not a characteristic function (an example is given on p. 194).
We see from (5.1.4) that the quotient of two characteristic functions [in
our example: f(t)/f,(¢)] need not be uniquely defined even in cases when
it is a characteristic function. Formula (5.1.4) indicates that there might
be a connection between the possibility of a factorization of type (5.1.4)
and the fact that one of the factors vanishes outside an interval. The
possibility of constructing characteristic functions which admit factoriza-
tions of the form (5.1.4) was investigated by T. Kawata (1940), and we
now give some of his results.
INFINITELY DIVISIBLE CHARACTERISTIC FUNCTIONS 105
(5.1.5) ee
ee en
and let b be an arbitrary (but fixed) positive number. Then there exists a dis-
tribution function F (x) which satisfies for every a the relation
(5.1.6) F(—x+a)—F(—x—-a) = Ofexp [—6(x)]} (as * > oo)
and whose characteristic function f(t) vanishes for \t| > b.
For the proof of this theorem we need the following lemma which is due
to A. Ingham (1936) and N. Levinson (1936), (1938), and which we state
here without proof.
A= |"|g()|ax.
According to theorem 4.2.4 f(t) is a characteristic function, and it follows
from lemma 5.1.1 that f(t) = 0 for |¢| > 5. Using the inversion formula,
Parseval’s theorem, and relation (5.1.7), one sees by means of a simple
computation that (5.1.6) is satisfied.
We consider again 6(2u) instead of 6(u) and put b = 5in theorem 5.1.2.
Then there exists a distribution function F(x) whose characteristic func-
tion f, (t) vanishes for |¢| > a. The function f, (¢) is constructed using the
function g(x) of lemma 5.1.1 and is given by
1 ice) (oe)
| art
Sea | pnje | ae ay |an.
—7/2 Saetie
Oo =
Beran | se —1
ne
dx |" a0)e
Ann —imy
dy
so that
1 1/2 : 2
Therefore
(5 5i1:2) Cee 0
and
foe)
he (t) =] Py Ch en
n=— ©
INFINITELY DIVISIBLE CHARACTERISTIC FUNCTIONS 107
Theorem 5.1.4. Let F(x) be a distribution function and let 0(u) be a positive,
non-decreasing function defined in (0, ©) such that
| ae
Oe, = (0;
1
Suppose that for some a > 0 the relation (5.1.6) holds and that the charac-
teristic function f(t) of F(x) admits the factorization
fi) = AOA):
Then f,(t) is uniquely determined by f(t) and f,(t).
For the proof we refer to Kawata (1940).
The function g(t) can assume only the two values 0 or 1 since g(t) = 1
whenever f(t) # 0, while g(t) = 0 for all t for which f(¢) = 0. The func-
tion f(t) is continuous and f(0) = 1, therefore f(¢) 4 0 in a certain
neighbourhood of the origin. In the same neighbourhood g(t) = 1, thus
g(z) is continuous at t = 0 and is, as a limit of characteristic functions, also
a characteristic function. But then it must be continuous everywhere and
we see that g(t) = 1. This means that f(t) 4 0 for all real ¢.
The characteristic function of a purely discrete distribution with two
discontinuity points (theorem 5.1.1) is indecomposable and therefore
a fortiori not infinitely divisible. But such a function, for instance
f(t) = 3(2+e"), need not have real zeros. This example indicates that the
converse of theorem 5.3.1 is not true; a characteristic function which has
no real zeros is not necessarily infinitely divisible.
Theorem 5.3.1 can be used to show that a given distribution is not in-
finitely divisible. Consider for example the rectangular distribution; its
characteristic function is
f() =e tr
(*) We give later [formula (5.5.12)] an example which shows that the converse statement
is not true.
110 CHARACTERISTIC FUNCTIONS
is continuous.
Let 2 be an arbitrary positive integer. Then |f (t) |? and |f(t) |? are real
characteristic functions and
lim | f (2) |!" = | f@) |?
ko
falt) = (L-(oind]
+(o/npa(nyr = {14PBO—NY
is also a characteristic function. We see then from the continuity theorem
where the Pm are positive real numbers while the g(t) are characteristic
functions.
The sufficiency of the condition of the theorem follows immediately
from lemma 5.4.1 and from the continuity theorem. We show next that
the condition is necessary and assume that f(t) is infinitely divisible. It
follows from the corollary to theorem 5.3.3 and from lemma 5.4.1 that
iy = { e* dG, (x).
Then we see that
—A N—->o k=1
so that
A = S(1-(/pyl pyre,
and we note that this is the characteristic function of the geometric
distribution listed in Table 1. We expand
f(t)= =Thesp
3
{5
— (e*—] (e\
Litet®
—1)
We can apply theorem 5.4.2 and see that f(t) is infinitely divisible.
Lemma 5.5.1. Let a be a real constant and let 6(x) be a real-valued, bounded
and non-decreasing function of the real variable x such that 6(— 00) = 0.
Suppose that a function f(t) of the real variable t admits the representation
; ii G io 1tx Jae
(6.5.1) og f(t) = ita ae Misty ener d0(x).
Let t belong to an arbitrary fixed interval; then it is seen that the inte-
grand of (5.5.1) is bounded and continuous in x, so that the integral exists
for all values of t. We first prove by repeated applications of the con-
tinuity theorem and of the closure theorems that f(t) is an infinitely
divisible characteristic function. Let 0 < ¢ < 1 and define
Me = .[A(%1.) — O(%,1)].
‘ lise (1 a
146%? —xe a),
Clearly J, (t) is continuous at ¢ = 0; we conclude again from the continuity
theorem that exp [/,(¢)] is a characteristic function and then from theorem
5.3.3 that it is infinitely divisible. Finally it follows from (5.5.1) that
while
Oe | ef dA(x).
It is easily seen that there exist two positive constants c, and cy such that
sin
1
_)heey 2
Z
ce
ee fad
The function A(x) is therefore non-decreasing and bounded; moreover
A(— co) = 0. We conclude then that A(x)/A( co) agrees with a distribution
function at all continuity points of A(x). Hence A(x) is uniquely deter-
mined by its Fourier transform A(t). Since A(t) is defined in terms of f(t),
we see that A(x) is uniquely determined by f(t). The fact that the constant
ais also determined by f(¢) is a consequence of (5.5.1).
—@
The function 6(x), together with a, determines f(t) = exp [¢(t)] according
to (6.1);
The functions f,(t) are characteristic functions. Therefore f(t) = e*®
is also a characteristic function (by the continuity theorem) and ¢(t) is
everywhere continuous.
116 CHARACTERISTIC FUNCTIONS
We have
: Sify \a ay?
a = A
Pn (x) (eae y Ly ae)
and conclude from Helly’s second theorem that
If we write
then we see from (5.5.5) and (5.5.6) that ¢,, (t) has the form (5.5.1) and that
lim $,(t) = $(2).
The three lemmas permit the derivation of the desired canonical repre-
sentations for infinitely divisible characteristic functions.
Let now f(t) be an infinitely divisible characteristic function. Since
f(t) cannot vanish, the function ¢(t) = log f(t) is defined for all values of
t. According to lemma 5.5.3 there exists a sequence of functions ¢, (t)
which has the following property: each ¢,,(t) has the form (5.5.1) and the
sequence ¢, (t) converges to ¢(t) as m tends to infinity. It follows from
lemma 5.5.2 that 4(t) also has the form (5.5.1). If we combine this with the
result of lemma 5.5.1 we obtain the following theorem.
where a is real and where 6(x) is a non-decreasing and bounded function such
that 0(— 0) = 0. The integrand is defined for x = 0 by continuity to be equal
to —(t?/2). The representation (5.5.1) 1s unique.
118 CHARACTERISTIC FUNCTIONS
He
(5.5.8) N(u) = -| d(x) foru > 0
o? = 0(+0)—6(—0).
The functions M (u) and N (u) are non-decreasing in the intervals (— 00, 0)
and (0, + 00) respectively and M(— oo) = N(+ «) = 0. For every finite
0 €
é > 0, the integrals | u? dM (u) and | u*dN (u) are finite. Conversely,
—8 0
any two functions M (uz) and N (u) and any constant o? satisfying these con-
ditions determine, by (5.5.8) and (5.5.1), an infinitely divisible character-
istic function. We have therefore obtained a second canonical form.
itu a=
+ (6 Tea)
os aN
—€é 0
eye;
(iv) The constant o is real and non-negative.
INFINITELY DIVISIBLE CHARACTERISTIC FUNCTIONS 119
The representation (5.5.9) is unique.
The canonical representations (5.5.1) and (5.5.9) are generalizations of
a representation, due to Kolmogorov, which is valid only for the character-
istic functions of infinitely divisible distributions with finite variance.
We note that f(t) admits a representation (5.5.1) and use (5.5.11) to show
that the integral ib (1+ x?) d0(x) is finite. Then | x d6(x) is also finite.
tain (5.5.10).
Conversely, suppose that the function 4(¢) = log f(t) admits a repre-
sentation (5.5.10). Then
Lh
O(x) = | (y)
ee Il el We
0 for x= 0)
The corresponding characteristic function is
f= (1-4)
where 6 and / are two positive parameters. It follows from the form of
f(t) that it is an infinitely divisible characteristic function, so that [f(z)]/”
is also a characteristic function. We denote the corresponding distribution
function by F,, (x); clearly F,,(«) is also a Gamma distribution and
g4/n)
| yan ye Horn S40
F(x), = <T(A/n) 0
0 for x < 0.
Substituting this into (5.5.7) we get
Q4/n x
| yete dy for ae
6,(x) = <T(A/n) Jolt+y
0 for x < 0
and
no?/* (oo) i| "
ae /n p—9y
ee Didi) I, ey ee
We note that
: 6,,(x”) =
6(x) = Lim A |cays
ye tg ye tora"
0 for x < 0
while
(oe) e~
as lim, v=o | a
n—> oo 0 l+y
§9192
122 CHARACTERISTIC FUNCTIONS
is a characteristic function *) if
(5.5.13) b> 2av2.
Then f(—1?) is also a characteristic function, as is
s()
=FOA—1
= pon
= FOF = rae
—
1 Dos
We will show later (theorem 8.4.1) that f(t) and therefore also f(—1) are
not infinitely divisible. The product g(t) = f(t) f(—12) is the characteristic
function of the Laplace distribution which is known to be infinitely divi-
sible (see page 109). The function f(t), determined by (5.5.12) and (5.5.13),
has the following interesting property: f(¢) is a-characteristic function but
is not infinitely divisible, however |f(z)|? and therefore also |f(t)| are
infinitely divisible characteristic functions. Thus, the infinitely divisible
characteristic function |f(t) |? admits two decompositions,
IFO? = [FIFO] = FOF(-O.-
The first decomposition has two infinitely divisible factors while the
factors of the second decomposition are not infinitely divisible. This
example shows that two different characteristic functions, namely f(z) and
| f(t) |, can have the same absolute value.
The next example(f) presents an even more surprising phenomenon by
(*) To show this, one expands f(£) into partial fractions and computes
1 ioe)
= | Cmsicay(t) dt
2a
— 0
by integrating the expansion term by term. It is not difficult to show that the resulting
expression is non-negative if (5.5.13) is satisfied.
(t) Due to W. Feller.
INFINITELY DIVISIBLE CHARACTERISTIC FUNCTIONS 123
showing that two different real characteristic functions may have the same
square.
Let f(t) be a real periodic function with period 2 which is defined by
putting f(t) = 1—|z| for |t| < 1. The function f(t) satisfies the conditions
of theorem 4.3.2 and is therefore a characteristic function. We consider also
the Pélya-type characteristic function (4.3.11), that is,
+1 1
where A, = | f(t) cos natdt = 2 | (1-1) cos natdt > 0
al! ’ 0
n= 3 Se 1). ay
Let
6) = 3 ha(2) tee
= 1 Shs it(2n—1)
then
71 (t) = $(t)—y2 (2).
The functions f(t) = e* andg,(¢) = e” are infinitely divisible character-
istic functions; moreover,
F(t) = 81(#)82 (0).
The infinitely divisible characteristic function f(t) therefore has an in-
decomposable factor g; (¢).
We conclude this section by mentioning certain investigations con-
cerning the ‘‘Lebesgue properties” (absolute continuity, singularity, dis-
creteness) of infinitely divisible distributions. P. Hartman and A. Wintner
(1942) proved that an infinitely divisible characteristic function belongs to
a pure distribution if the function 6(«) in its Lévy—Khinchine canonical
representation is discrete. These authors also gave examples of the three
possible pure types of infinitely divisible characteristic functions. The
existence of infinitely divisible distribution functions of all these types
suggests the problem of finding conditions on the function 0(x) of the
Lévy—Khinchine canonical representation [respectively on o?, M(u), N(u)
of the Lévy canonical representation] which assure that the corresponding
distribution function belongs to a specified type.
J. R. Blum and M. Rosenblatt (1959) obtained the following result in
this direction.
Theorem 5.5.5. Let F(x) be an infinitely divisible distribution with character-
istic function f (t) and let 6(x) be the function in its Lévy—Khinchine canonical
representation. Then
(i) F(x) ts discrete if, and only if,
a
leera (*) < © and if (x) is purely discrete.
INFINITELY DIVISIBLE CHARACTERISTIC FUNCTIONS 14s)
(1) F(x) ts a mixture if, and only if,
gy
i f 52 (x) < © while 0(x) is not purely discrete.
G(u) =
mn fi ee
d0(x) for u < 0
() |" dG.) = ©;
(ii) o? > O [2.e. O(u) not continuous at u = 0);
(iii) F4(x) is absolutely continuous;
(iv) F*(x) 2s absolutely continuous ;
(v) F%(x) is singular, F*(x) is continuous but not absolutely
continuous, while F** F* is absolutely continuous.
Remark. The theorem does not state that each of the conditions (i) to
(v) is necessary, but it states that at least one of them is necessary. Each of
these conditions is sufficient for the absolute continuity of F(x).
of the functions in each row of the scheme (5.6.1) and wish to investigate
their limits. As usual, we denote by F,,;(«) the distribution function
which corresponds to f,,;(t). The following theorem contains a very im-
portant result.
mnecovem 5.0.1.0 Ler 47.,(t), (j=l ite » kart = 1,2,..., ad. inf.) be
a system of characteristic functions and suppose that, for all t,
(5.6.2) lim [ sup |f,;(#)—1]] = 0.
n—>o 1<j<kyn
(5.6.3) “log
g, (ft).= 3 ites | (e" — 1) dF ,,;(*+ ‘n)}
j=l —
where
srt | x dF,(x)
al<t
and where t > 0 is a constant. The necessary and sufficient condition for
the convergence of the sequence of characteristic functions
kn
(5.6.4) f,(t) = Il hat)
rol
to a characteristic function f(t) is that the sequence g,,(t) converge to a limit.
Then the limits of the sequences f,,(t) and g,,(t) coincide.
The characteristic functions g,(t) are infinitely divisible. This can be
seen by writing them in the canonical form (5.5.1) with
Ox)
@)= =3SP dayton
(0pyadooten)
Kn Hy] ye
hs oe
a=)j=1 Eel -o gts
1l+x?
003)|
holds.
The characteristic function of a stable distribution is called a stable
characteristic function.
Equation (5.7.1) is not so much a property of an individual distribution
function F(x) but is rather a characteristic of the type to which F(x)
INFINITELY DIVISIBLE CHARACTERISTIC FUNCTIONS 129
= ba+(1—6) |We
d0(b-1y)
and obtain, by means of an elementary computation,
6.74) $(01)
=itr
f
|3 (1, ity
;
2) \1+5b-*y?
pa a1),
130 CHARACTERISTIC FUNCTIONS
‘i Be: ey er ity
= a a (#1 2 Wetty)
— oo
+ | (e" te
+0
2 ave Ly) + apt,
uty = ,
where either
o #0 and M(u)=0, N(u) =0
or
o=0, M(u)=C,lul-* (u< 0), N(u) = —C,u-* (u > 0).
INFINITELY DIVISIBLE CHARACTERISTIC FUNCTIONS 133
The parameters are here subject to the restrictions
(Eo eesae Ge OU, Gy 2 Ur Cy OC, > Uy
Conversely, any characteristic function of the form (5.7.13) is stable.
The last statement of the theorem is easily verified by elementary com-
putations. The parameter « is called the exponent of the stable distribution.
It is possible to obtain an explicit formula for the second characteristic
of stable distributions by evaluating the integrals
: :
(5.7.14a) | (em He =) be 14+? 7 guile
and
(5.7.14b) |. (« a)
* itu ao)
zi
which occur in their canonical representation. The computations are
carried out separately for the three cases0 < « < 1ja = landl < « < 2.
We first consider the case 0 < a < 1. It is then easily seen that the
integrals
iC u du d re udu
IE a AN ee
so 1-u? |u)** o ltutyit
are finite. Therefore one can rewrite (5.7.13) in the form
e : du
(Ste) log f(t) = ita’ +aC, ie (e — 1) ae
ita’
ta’ + at a Meai"
2 (e-”—w —1) oe
dv C I (e”—1)
iw eel
Let I’ be the contour consisting of the segment [r, R] of the real axis, the
arc x = Re'* (0<< 5)of the circle with radius R around the origin,
the segment [7R, ir] of the imaginary axis, and the arc z = re? é >¢2> 0)
of the circle with radius 7 around the origin. It follows from Cauchy’s
theorem that
: dz
|e al) ite = 0
134 CHARACTERISTIC FUNCTIONS
Moreover it is easily seen that the integrals over the circular arcs tend to
zero asr 0, or as R +0. Therefore
[@-p
ah dv
= pa
™L@)
where
Similarly
- —w dv i700,
i,(e —1) ate = e771, (a).
It follows from (5.7.16) that
Ae ee TU CoC TUM
log f(¢) = ita’ +t’ aL, («)(C,+C,) COs [1a Cae, tan 5 if
ce = —aL,(«)(C,+
C,) cos >0
or for t >-0;
(O:/sL0) log f(t) =
ripe dk
ita’ +t od ‘Crap2 (e —w —1+ie)
* dv i
Sit Con | iv
(e"—1—iv) dv
=}.
INFINITELY DIVISIBLE CHARACTERISTIC FUNCTIONS 135
We integrate the function (e~*—1 +7) rl along the contour [' and,
while
5
ip(e ay | —iv) Cree
— =
dv en 1. (a)
where
3, dv
L,(«) = |.(e s1 +2) “13 > 0:
AA aleee 1 )ao]
id nen ce Gr ae
It is easily seen that
(as_ an) 4 i.(4 1 )ax wre
im a: ;
a3 fet ext = eeopdisie \i02y oih(Lex?)
136 CHARACTERISTIC FUNCTIONS
moreover,
EU es et
’ sin v / dv
lim | ——dv = lim | — = logt
v2 vy
so that
Theorem 5.7.3. A characteristic function f(t) 1s stable if, and only if, its
second characteristic has the form)
(5.7.19) $(t) = log f(t) = iat—<c|t cers oot | )}
where the constants c, B, « satisfy the conditionsc > 0,|B| < 1,0 < « < 2,
while ais a real number. The function (| t|,«) is given by
_ ftan (7«/2) ie 441
o(lé|,«) = tore)log |t| if« = 1.
We note that «(|z|, 2) = 0, so that one obtains the normal distribution
for¢ = 2.
We remark that P. Lévy (1937a) used the term stable distribution to
describe a somewhat narrower class. He used instead of (5.7.1) the equation
Here « is the exponent of the stable distribution, while 2 > 0 and y are the
parameters to be determined. Comparing (5.7.19) and (5.7.21), we obtain
the relations
c <a cos is
(5.7.22a)
B =amy —cot ariieet
7 tan es
7°
ae . cos ec5
Ago COs Tia = a
cos?
2
Then
(5.7.22b) Aa A(cosa =i
The last relation in (5.7.22b) follows from the inequalities c > 0, A > 0.
Using the relation |f| < 1 one can conclude that |y| < «if0 <a < 1,
while | y| < 2—a if 1 < a < 2. We write
K(«) = 1-—|1-a|
and see that
ly] < K(@).
We note that K(x) = aif 0 < « < 1, while K(«) < wif 1 < « < 2. If we
put y = K(a)é we obtain the representation
t aK
(5.7.23) f(t) = iat—y|t|* exp {15
teh a
whereA > 0,0 <0 5 2,0:4 1, ol <a. se constants A and ¢ are scale
factors, and by a suitable choice i the variable they can be made equal to 1.
or
(« #1)
i| (ee)
C2 {pei 3 ate of
and consider a closed contour I consisting of the segment [—7zr, —7R] of
the imaginary axis (r < R), the arc Cp, the segment [R, 7] of the real
axis, and the arc C,. According to Cauchy’s theorem we have
(5.8.5a) | p(2z)dz = 0.
rm
We next consider the integral along the arc C,,
e
4id]dd
[(C,) = | g(2)dz = ir | exp [—ixr e# — 1% elle—i/2.
.
Cr —2/2
Then
2 : muy
|Z(C,)7 |<7 |, exp E sin ¢—7* cos (+)2 dd.
and it is easily seen that each term in this inequality tends to zero as R
goes to infinity, so that (5.8.5c) holds.
We see therefore from (5.8.5a), (5.8.5b) and (5.8.5c) that
cular arc zg = Re with oe < ¢ < 0, the segment [R, r] of the real
axis, and the circular arc x = re“ withO > ¢ > — aly|. If »y> 0 we use
255
the contour which consists of the line aaa [r, R] of the real axis, the
cases the integrals taken over the circular arcs tend to zero as r +0, or as
R + o. It follows from Cauchy’s theorem that
(5.8.7)
(es) _ ty iy po tad
| exp |-ist—1e | at =e | exp |~ im e% | du
0 0
or
oo) mer ity po 1 iny 1-1
| exp |-iat— te | a Son: rs [ exp |- inset Jee ds
0 40
into a series and see, as before, that the order of integration and sum-
mation may be exchanged. In this way we obtain
| exp [—ixt—t*e
iny
*] dt =
Ge)ube pate+ oe Ane
0 20
We see then from (5.8.3) that for x > 0
k
a peas Ne) afpt) op
TUX p=1
1 2 1 l(t!) k 2a
..o)=— Ss (] Diriget ae EC arg x)
|Teale
i oY k! 2a 1
holds.
The expansions of stable frequency functions into convergent series were
obtained independently by H. Bergstrém (1952) and W. Feller (1952).
Several interesting properties of stable frequency functions follow from
theorem 5.8.2.
We assume that « # 1 and select |y| = « in the representation (5.7.21)
[this corresponds to the choice of |f| = 1 in formula (5.7.20)]. It follows
from (5.8.8a) that
p,,(%)="0 if BES Ol 0 — oe
and also
Pay (*) = 0) 1f x <0, y = «4,0 <@ <1.
To formulate this result we introduce the following terminology which
will also be useful later. We say that a distribution function F(x) is
bounded to the left and that a is its left extremity; in symbols, a = lext [F'],
if for any e > 0 we have F(a—e) = 0 while F(a+e) > 0. Similarly we
say that F(x) is bounded to the right, and that b is its right extremity; in
symbols, 6 = rext[F'], if F(b—e) < 1 for any positive ¢ while F(b) = 1.
Distributions which are bounded either to the right or to the left are called
one-sided distributions, distributions which are bounded both to the right
and to the left are called finite distributions. Our preceding result can now
be formulated in the following manner.
Theorem 5.8.3. The stable distribution functions with exponent0 < « < 1
and parameter |y| = « are one-sided distributions. They are bounded to the
right (with rext [F]= 0)ify = — «and bounded to the left (with lext [F] = 0)
ify = +4.
Remark. It is not possible to apply a similar reasoning to formula
(5.8.8b) since we have always |y| < 2—a < ainthe case when 1 < « < 2.
V. M. Zolotarev (1954) as well as P. Medgyessy (1956) obtained dif-
ferential equations for stable frequency functions with rational exponents.
V. M. Zolotarev (1956) also derived a number of relations between stable
INFINITELY DIVISIBLE CHARACTERISTIC FUNCTIONS 143
distribution functions (density functions). A simple relation of this type
is equation (5.8.2c).
Theorem 5.8.2 can also be used to express a stable density with exponent
a greater than 1 in terms of a density with exponent 1 /«.
Let « be the exponent of a standardized stable density with second
parameter y and suppose that 2 > « > 1. Using formulae (5.8.8a) and
(5.8.8b), we derive easily the following result:
the left. Since p2)(x) = e~"/4 we obtain from theorem 5.8.4 the
2Vx
stable density with parameters « = $, y = 3, namely
0 if x < 0
We study next the analytical properties of stable densities and see from
(5.8.8a) and (5.8.8b) that they have the form
-®,(x=) “forte 0
(5.8.10) p,,(x) = . (0 <a <1)
—®,(|x|~*) forx <0
TUX
and
1
oy Et O*) for x > 0
(5.311) - p,(a)je= 1 (1 <¢e <2)
net 2All) for x <0;
a Tepe
gaTak +1) sin | ly+(- 1)/- ta}
be Be vy
one +1]sin {i ly+(- 1)/- ta}.
so that the functions ®,(z), ®,(z) and ‘(z) are entire functions. We can
also determine 6s order and type of these functions.
Let 0(2)= DSc;,* be an entire function. It is then known (see Appendix
D) that the iden p and type zt of 6(z) can be expressed in terms of the
coefficients c, of 6(z) and are given by
: klogk
5.8.12a = lim‘sup/=———=—
( ad Paes P fog fe, |=
and
(GAAlb). pm iene
ep ka
INFINITELY DIVISIBLE CHARACTERISTIC FUNCTIONS 145
where z is a complex variable, and consider again the closed contour I’ used
in deriving (5.8.8a). As in the earlier discussion we show that
(5.8.15) 0 Plvsels ese )e= °lie[sin (1+ £)ct] exp ‘os 2p ct log t >dt.
MA
or
1 fo)
(5.8.16) p(x) = - ae xt
where
aie wk. o 2
(5.8.16a) a, = ( = |. t*[sin (1+ )¢] exp (-2 t log :dt.
Let 7, = (2/26)n, where 7 > 1 may be chosen arbitrarily large, and put
t, = exp (7). We write the integral in (5.8.16a) as the sum of three inte-
grals J,, J, and Jz, taken over the intervals (0, 1), (1, ¢,) and (¢,, 00) res-
pectively, and estimate J,, J, and J3. Since max [—t log t] = e—! we see
that
Jal < |
ive) foe)
therefore
(5.8.17c) ate ne eR!
It follows from (4.8.17a), (5.8.17b), (5.8.17c) and (5.8.16a) that
Jal cot
Cyr el aie |
Puree.
or
(5.8.18) |a,| < n-*¥-1[1+0(1)] (ask > o).
We see therefore that
|a, |" < n-4[1+0(1)].
Since 7 can be arbitrarily large, we conclude that
lim sup |a, |!/* = 0
ko
ko log |ay, ia »
1
a P, (%-*). efor x = 0
P(X% A= 4 4
a, 2 (lel) fon can),
148 CHARACTERISTIC FUNCTIONS
where ,(z) and ®,(z) are entire functions of order p = (1—«)~1 and type
pone (1 ws Caphone
“= tx—1 e~ t/ (2a)
and get
(5.931) Poy (x) =
xn 1)
9 ——_— ;
(n+1)! zl
INFINITELY DIVISIBLE CHARACTERISTIC FUNCTIONS 149
In order to determine the integral J, we change the path of integration
from the positive real axis to the line t = ue~**, where 0 < u < o. To
show that this is permissible we consider the function
g(z) = 2 exp [—2 e*]
and the circular arc. = {z: 2 = re}, —d, < d < 0, and conclude that
lim | &(z) dz = 0 and also lim | &(3)dz = 0. In this way we see that
reo JT roo JT
I, = exp [—if)ak—igy] T(ak+1).
We substitute this into (5.9.2) and obtain the asymptotic formula
329.3)
1S (=I TRH)
Pap(®) = a 0 k!
|sin (a9)|aot + Ofereitny
asx > ooand! < « < 2.
We compare formula (5.9.3) with (5.8.6) and see that the series in
(5.8.6) is convergent for 0 < « < 1 but is still useful as an asymptotic
seriesit Tt. <2:
It is sometimes of interest to have asymptotic expansions as x tends to
zero. We treat as an example the case where 0 < a < 1 while x > 0. In
Section 5.8 we had
Pope) =2Re{
& SG j40 Jun}
We compute J, by changing the path of integration and justify this
change by applying Cauchy’s theorem. We choose the line
= uexp(iy/2a), 0< u< o,
as the new path and see easily that
so that
at k+1
(5.9.5). SPay(X)
= ay
in “e+ +a|
AB fr ak!
fce) |
ia 40
iis (n+1)! :
This is an asymptotic formula (for small x) if 0 < « < 1, and it can be
shown that the series (5.9.5) is convergent if 1 < « < 2. Formula (5.9.5)
is due to H. Bergstrém (1952). The asymptotic behaviour of stable density
functions was also studied by Yu. V. Linnik (1954) and by A. V. Skorohod
(1954). A. V. Skorohod (1954) and I. A. Ibragimov-Yu. V. Linnik
(1965) also gave comprehensive surveys of these formulae.
In the same way one can derive formulae for the derivatives of stable
frequencies. As an example) we mention
1 (- par)
(*) We write here and in the following px, (x) for the derivative of pyy(x) with respect
to the variable x.
INFINITELY DIVISIBLE CHARACTERISTIC FUNCTIONS Sl
We differentiate (5.8.1a) to get an expression for p/,,(«) which is similar
to (5.8.1b) and see a
or
According to the soa ot»of theorem 5.9.1 we have 0 < « < 1; in this
case |y| < «. We substitute y = « in (5.9.8b) and obtain
Let
o(z) = iz—2%e"™/2 (z complex)
and put
h(z) = iLel (a— Vig exp [x a/e—1) of 2)]
so that
Pia(8) = Re | h(e) dz
0
where the integral is to be taken along the positive real axis. Our next aim is
the computation of the expression Re | h(z)dz. This will be greatly
0
facilitated by showing that the path of integration can be replaced by a
curve along which the function g(z) is real. It is easy to determine such a
curve. Let z = pe’*; then
Im g(z) = p sin (9+3)— p* sin C 2h
We note that (+3) = © while lim p(¢) = «/"-® and denote the
o>— 1/2
path z = p(d)e*, —n/2 < 6 < m/2, by I’. The curve I has the point
3, = —ta/"-% of the imaginary axis as its initial point and intersects the
real axis in the point 2) = [sin az/2]”"-™ < 1. Let 2, be the point of
intersection of I’ with the circle of radius 7 and centre at the origin. We
denote the arc of the circle z = ne located in the first quadrant and having
the points z = n and z, as endpoints by QO, and we write I’, for the part of
I‘ located between the points 2, and z,. Let
Coe {ete =vet Usa 7/2}
be the arc of the circle with centre at zg = 0 and radius 7 which is located
in the fourth quadrant. We consider the contour K which consists of the
arc C,, the segment A, = [—77, —ia!/"-®] of the imaginary axis, the arcs
I, and O,, and the segment [n, 7] of the real axis. It follows from Cauchy’s
theorem that
| We)de = 0.
K
so that
Jue
Since
m/2
<n{ h(ne'*) |db
0
we see that
ola
4
h(z) d <
n/2
~ x2/@-D 2 | exp {-=e” ey
E sin ¢ +n* cos
I 0 o(¢rr5)
|
We select a ¢y such that
am m(1— 2)
0 < dy < min(
2 2
INFINITELY DIVISIBLE CHARACTERISTIC FUNCTIONS 153
1 an | cos o(4ae1 |
oat).n
Te ase
. exp | —nx 1) sin f| 1+ Ie a S72) n dp.
Let, for ¢ fixed, y(«) = « cot af —cot ¢. Clearly y(1) = 0 while es< 0,
a
so that
a cot ap > cotd
for 0 < a < 1. Moreover, it is easily seen that
d
as 1
i log a(¢) eee
(aa {a?(ae cot ad uh—cot 6+(1—«)?
=e? cot (1—«)d}
=
le
a sin (2—a
sin ad
1
has exactly one change of sign in [0, z]. We note that u(0) = 1—« while
u(m) = —(1+«)/(1—«) < 0, so that at least one change of sign occurs in
INFINITELY DIVISIBLE CHARACTERISTIC FUNCTIONS 155
uQ) =grag)
where
v(¢) = (1—«) sin 26—sin 2(1 —«)d
so that
vu(¢) = 2(1—«)[cos 24—cos 2(1—«)d].
It is then easily seen that there exists a unique value 4, such that
R80, <9
while v'(¢o) = 0, and we get $y = 2/(2—«). It follows that v(¢) has
exactly one minimum inside [0, ], so that v(¢) and therefore also u(¢) has
at most one change of sign in this interval. The statement of the corollary
follows immediately from (5.9.17).
It is also necessary to derive a result similar to theorem 5.9.1 for the case
where the exponent « > 1.
r9N3) ep, 4(a)a taiaeeY \.b (0) exp {x*/= "a, (0)} 40,
%, = ne'*” be the point of intersection of I’, and the circle of radius m with
centre at the origin and write C,, for the arc of this circle which is located
in the first quadrant between the real axis and the point z,. It is not
difficult to show that
so that [, goes through the point —i«~/“-» of the imaginary axis and
We also note that g(—zy) = y—y* for real and positive y, so that the inte-
gral in (5.9.19) is purely imaginary along the negative imaginary axis. Let
%, = ne'* be the point of intersection of I’, and the circle of radius n with
centre at the origin, and let C,, be the arc of this circle located in the first
quadrant between the real axis and the point z,. Then
Re {[esp l-le Petal] det FG) exp [-[x =" g(a)] de}
= 0.
It follows that
Corollary 1 to theorem 5.9.2. Let 1 < «<2; then p,,-2(*) <0 for
x > 0.
To prove the lemma we need only show that b, (6) < 0 form/a <0 <2.
Since sin «f < 0 in this interval it is sufficient to show that
y(0) = («—1) sin «6 —2« cos 6 sin («—1)0 > 0
for z/a < 9 < a. A simple computation shows that
¥(0) = asin (2—a)6—sin af > 0.
next theorem we present his result; we use here the notation of formula
(5.7.23) for stable characteristic functions. The characteristic function of a
stable distribution with exponent « 4 1 and parameters a = 0,4 = 1,
y = K(a)6 is then given by
' ?
EF (x;.a, 0) =
i ; ,
1-- p if a >
(a)/20 wea {
TU J —ndK a (%, $)}
where
nu
ML a/(1—a)
(@)|
—1)¢+ 5 aKee
cos | e
s (xp+5 0K Si e =
a
=1) | ae Neera
=X ace(Oe
seam Z
VAS (Zs, f)
Lemma 5.10.2. Stable distributions with |y| = K(«) and «#1 are
unimodal.
We consider first the case « < 1. The function 6(¢), which occurs in the
statement of theorem 5.9.1, has, according to corollary 2 to theorem
5.9.1, exactly one zero in the interval (0, z). Let o be this zero and write
formula (5.9.7) in the form
Pee paced:
1/a 1/a
sin (2 —y) sin sie
where a= | ——— and b=
. :: . TO
sin 5 4 sin >
: I
strip —-o<t< es , and a set 9, corresponds in this mapping
to S. The function x? p..,(*) is transformed by this mapping into the
harmonic function A(t, o). Suppose now that the set 9 is not empty. It
follows then from the definition of 9 that the function A(z, o) vanishes on
the boundary of 9,. Since A(t, c) is harmonic we have then necessarily
A(t, «) = 0 for (z, c) € 9, . In view of the definition of 9 this is impossible,
so that 9 is necessarily empty. This proves that stable distributions with
0 < « < landy > 0 are unimodal; formula (5.8.2c) shows that the state-
ment is also true for y < 0. We consider next the case 1 < « < 2. We
conclude from (5.8.8b) that yp,,,(0) > 0 for y # 0 and use the mapping of
lemma 5.10.4 in the same way as in the case where « < 1 to show that the
stable distributions corresponding to parameter values 1 < « < 2,y #0,
|y| # K(«) are also unimodal.
We still have to consider the case « = 1. We write f(t|«, Cy, C,) for
stable characteristic functions in the Lévy canonical representation (see
theorem 5.7.2) and have
(5.10.4) = Cya
log f(t|a, Cy, C,)
0
(#1 itu ) du
i itt21 itu Pe
+C,« |. (« 1 Tout) wr
; t to/2) . , : shes
Since sah4 = f(to/2) is continuous in c, we obtain a contradiction by
2 Ff(cto/2)
choosing c sufficiently close to 1, so that the functions f(t) and f, (¢) never
vanish.
To prove the theorem we note that
Cte) Sa
Since f (¢) is continuous and never vanishes, we conclude that dictdealt)aol
uniformly in k (1 < k < n) and in every finite ¢-interval. It then follows
from the corollary to theorem 5.6.1 that f(t) is infinitely divisible.
(*) Some authors [e.g. B. V. Gnedenko and A. N. Kolmogorov (1954) and others] refer
to this family as the “‘L-class’’. We do not use this terminology in order to avoid confusion
with the #-class introduced in Chapter 9.
INFINITELY DIVISIBLE CHARACTERISTIC FUNCTIONS 163
asn -> 00. The first factor then tends to f(ct) while the second factor tends
to a characteristic function f,(t), which by the argument used in the proof
of the theorem is infinitely divisible.
Our next aim is the determination of the canonical representation of
self-decomposable characteristic functions f(t).
Since f(t) is infinitely divisible, we can write it in the Lévy canonical
form (theorem 5.5.2) and see that
es | itu )
+] (6 : 1+4u? ze),
where o?, M(u) and N(uw) satisfy the conditions of theorem 5.5.2.
Substituting tc for ¢ in (5.11.3), we obtain after a simple change of the
variable of integration
Salad Lr itt
(5.11.4) log f(ct) = ita, —o8c812/2+ | (4#—1- de )an(*)
1+? é
le: a |_
itu dN
uet
+ ( eo) (“)
where 0 < c < 1 and
od (1—c?)u8
dM (u) +e |. cal 'N (1).
pane oF |—o(1 + ¢?u?)(1 +4?) +0(1+¢?u?)(1 44?)
We see from (5.11.3) and (5.11.4) that
Conversely, if the inequalities (5.11.6) hold for every c (0 < c < 1) then
F(t)/f(ct) is the characteristic function of an infinitely divisible distribu-
tion, so that f(z) is self-decomposable. Suppose now that M(u) and N(u)
satisfy (5.11.6) for all u,, u:, v,, v, for which (5.11.7) holds. We then have
(5.11.8) © N(u,/c)—N(u,/c) < N(ue)—N(u,).
Leta < bandh > Oand choose aand bso thatc = e*~°. We put v, = e**",
v, = e* so that v,/c = e’t", v,/c = e’. It then follows from (5.11.8) that
N(e?t")— N(e’) < N(e**")— N(e*). We write N(e’) = A(v); then
A(b+h)—A(b) < A(a+h)—A(a)
or if we put b = a+h = x (say)
A(x) > 4[A(x+h)+ A(x—h)].
The function A(x) is therefore concave and has everywhere finite left-
hand and right-hand derivatives. The right-hand derivative never exceeds
the left-hand derivative, and both are non-increasing as x increases. Since
A(v) = N(e’) we have
AX(v) = & N(e").
Putting u = e’, we see that wN’(u) is a non-increasing function. In
exactly the same way one shows that uM ’(w) is non-increasing.
Suppose conversely that the functions M (u) and N(u) have the property
that uM '(u) and uN’(w) are non-increasing and that 0 < c < 1. Then
then
lim F(x) = «(x).
(x) agile’
the standardized normal distribution and consider the distribution defined
by
(6.1.5) G(x) F., (x) * B(x)
whose characteristic function is
G.()-a
==1 | sin twBealon pyre
eel sin. tx ety Eee
sin tx | siais on
— |. ; dt+ [|fn (4)|?—1] at.
We write
I, (x) = _{=
sinf w/e f,(2) |2— 1] at
and see that
G,,(x) = O(x)+J, (x).
Since for any T > 0
eee
TU
#727 | f(t) |?— 1]dt| < - ||
a
[=| |e
FACTORIZATION PROBLEMS—GENERAL THEOREMS 169
we conclude from (6.1.3) that
lint J, (x) = 0
so that
(6.1.6) Iam G, (x) = O(2).
Pye) = f° Paw—y)
dP(9)
and get
(*) We use the terms “prime factor” and indecomposable factor synonymously.
(t) Note that according to our construction Na(p,) > «/2.
FACTORIZATION PROBLEMS—GENERAL THEOREMS ‘Weal
where the factorization process does not terminate; the factors p; (t) then
form an infinite sequence. Since
where B,,,,(t) assumes only integer values. The left-hand side of (6.2.2) is
continuous, moreover B,,,(0) = 0; hence B,,,(¢) = 0 for sufficiently
large v and we have
Ip. (t)
is then convergent; let v(t) be its limit. It follows from (6.2.3) that
(*) This can be seen if one multiplies each px (t) by exp [—itwx (1)].
172 CHARACTERISTIC FUNCTIONS
IFN
(*) This can always be accomplished by a translation which does not affect the Na-values.
174 CHARACTERISTIC FUNCTIONS
we show that F(x) is also a distribution function. We have for any
a>OQandb>0
and therefore
1—FY (a+b) < 2[1-—F(a)].
This indicates that the left-hand member of this inequality tends to zero
as a increases; in a similar manner one can show that F{(«) tends to
zero as x goes to — oo provided that 7 is sufficiently large. Thus F(x) is a
distribution function and
f(t) = lim ff?(0)
is its characteristic function. It follows from (6.2.4) that
f(t) = AOA
while
NG.) = J:
We next show by an indirect proof that » < 4N,(f). Let us therefore
suppose that »y > 4N,(f); it follows from (iii) (page 167) that N,(f2) < ».
If we decompose f, and f, once more, we obtain a decomposition
(D*) f= 81 82 83 &4
which has the property that »(D*) < y. But this contradicts the definition
of v, so we can conclude that
vy < $N,(f).
Therefore there exists a decomposition D of f(t) such that
oD) < 2Na(f)-
Each factor of D is a characteristic function without indecomposable
factors and we can apply the result to a factor of D and see that
vy < 4o(D) < 4N,(/).
We iterate this procedure to obtain the statement of the lemma.
We proceed to prove theorem 6.2.2. Let {e,,} be a sequence of decreasing
positive numbers such that
lim ¢, =.0;
Nc
It follows from lemma 6.2.1 that there exists, for each n, a decomposition
(D,) f(t) = Las (t) fn (t) Sys ae (t)
FACTORIZATION PROBLEMS—GENERAL THEOREMS 175
such that
SA Pel) < Ey
0b p = lo, oe. eee while
lim Re. =)00,
(uniformly in |t| < T and for 1 < k,,). We see then that
lim [o,,,j (l)
ale
pene
ped o
hence also
lim [,;(t)—
te,;(1)]= 0
Writing
AGH 1.)
gn,5 (t) ae Pe (t) exp it k ra On, j (1)
we see that
the convergence here is uniform in |¢| < T and for j = 1,2,..., Rp.
From the relation
f= juThas(®
kn
fl) = Teas
176 CHARACTERISTIC FUNCTIONS
pe ko 14+p”-
We see therefore that the characteristic function of the geometric distri-
bution is infinitely divisible but admits nevertheless a representation as a
product of an enumerable sequence of indecomposable characteristic
functions.
Our next theorem indicates that the existence of infinitely divisible
distributions with indecomposable factors is not a rare occurrence.
We write
Cc Cc x
are non-negative for all real x if ¢ is sufficiently small. Let ¢ = &) be such
a value. For n > 4 we can rewrite the relations defining the £,,(x) in the
form
f= TELM.
Each factor [f(¢)]? * also satisfies the conditions of the corollary, so that we
obtain the following result:
aa(u) = {l+e0
if dl—e)
<u < d(1+e)
otherwise.
The functions «,(u) and «,(u) determine again—according to formula
(6.2.8c)—two functions g,(¢) and g,(¢). The function g,(¢) is an infinitely
divisible characteristic function, while it can be shown that g,(t) is, for
sufficiently small ¢, a characteristic function but not infinitely divisible.
(*) Since the decomposition properties of distribution functions are invariant under
linear transformations.
FACTORIZATION PROBLEMS—GENERAL THEOREMS 183
pletely solved) for the family of distributions with equal and equally-
spaced jumps.
The indecomposable distributions which we have so far studied all had
a finite set of discontinuity points. We show now that an indecomposable
distribution can have an enumerable set of discontinuity points and can
also be absolutely continuous or purely singular.
Let {p,} be the sequence of prime numbers and suppose that the
distribution function F(x) has its discontinuity points at &, = log p,
(v = 1, 2,...). It is then clear that the differences between discontinuity
points are all different, so that F(x) is necessarily indecomposable.
The following lemma will be used in our construction of a characteristic
function which belongs to an absolutely continuous, indecomposable
distribution function.
Lemma 6.3.1. Let p(x) be a frequency function which has a normal com-
ponent, then p(0) > 0.
If p(x) has a normal component then it can be written in the form
P(*) = oO 27
iy
—o
exp [| dF(y)
where F'(y) is a distribution function. Hence
we see that
1 oa it ae
A={===
yomlh 2exp
chica fle s
| itx—— | dx.
Since p(0) = 0 we see from lemma 6.3.1 that f(¢) has no normal component
and therefore also no component of the form
(1 —#?) exp (—o?#?/2) (0? < 1).
The only possible factors) have either the form (1—t)e~*/” or the form
(1+t)e-*/. These factors do not satisfy the necessary conditions of
theorem 2.1.1 and cannot therefore be characteristic functions. Hence f(t)
is indecomposable.
We have thus demonstrated that an absolutely continuous distribution
function can be indecomposable. We add a few remarks which refer to the
presence of normal components.
Since the characteristic function (6.3.2) is indecomposable we see that
h(t) = (1-42) e#
is also an indecomposable characteristic function. We consider next the
characteristic function
(6.3.3). g(t) = [AQ]? = (1-8? +44) 6"?
and show that it has a normal component.
This is the case if
£1(t) = (1—#2+ }*) exp (— A?#2/2)
is a characteristic function for some A such that |A| < 1. Let
Loe
Pix) = ae te ew ga(iat;
The function p, (x) is a frequency function if, and only if, the polynomial
per( Bore) 3 i 3
is non-negative for all real z. It is easy to see that this is the case if A? > 3.
Moreover, for A® = ¢ we see that p,[+(3+/2)/4] = 0 so that g,(t) can
have no normal component. It follows then that for 42 = 3 the characteris-
tic function
x(t) = (1—£2+ de!)exp (—342/8)
is indecomposable.
We have just shown that the product of two characteristic functions
without normal components can have a normal component and have also
obtained the factorization
g(t) = (1—t84+ Jute"? = (1 —42tye"/4
= [(1 = £2/2)%e—#/8] Pa
and
A2—1 \12
y2 (t) = e&
—? :
1 af eS Me
Suppose that
(a) Papi = Ofor all k;
(b) Po Ze 0;
(c) F(x) 1s tndecomposable ;
(d) the distribution functions F(x) have no common, non-degenerate
factor.
Then the distribution function F (x) is indecomposable.
We give an indirect proof and assume that /'(x) admits a decomposition
(6.3.8) if Get ii.
where G and H are both non-degenerate distributions. We introduce the
quantities
Qn = G(n+1—0)—G(n—0) and », = H(n+1-—0)—H(n—-0)
and define the distribution functions G(x) and G,,(x) [respectively H (x)
and H,,(x)] corresponding to G(x) [respectively H(x)] by replacing, in
formulae (6.3.6) and (6.3.7), p, and F by q, and G [respectively r, and H].
In view of (b), we can assume without loss of generality that
(6.3.9) Go 20 Range ta e0:
We next show that
(6.3.10) F=G*H.
It follows from (a) and (6.3.8) that
DS amta=
m+n=2k
|| G(s) aH(y)
2k <ae+y<2k+2
so that
(6.3.11) Poa = » Im Tn
m+n=2k
and (6.3.10) follows. We conclude from (c) that one of the factors in
(6.3.10) must be degenerate. Let H be this factor. We see from (6.3.9) that
(6.3.12) Fo= 137, =0 for, 40
and
(693.13). Pen = Cap
In view of (6.3.12) we have
(6.3.14a) r, = H(1—0)—A(—-0) = 1.
Moreover we see from (6.3.13) and assumption (a) that q.,_, = 0 or
G(2k—0)—G(2k—1—0) = 0;
hence
(6.3.14b) G(2k—y—0) = G(2k-0) for0 <y <1.
We next show that for a k such that p., > 0 the relation
(6:3.15) Fg =, Ga, ©
holds. We have
Gy, * H = | Gy.(x—y) dH(y)
or, using (6.3.14a) and (6.3.14b),
1
Gy Hia _| [G(«—y+2k)—G(2k—y—0)]dH(y
2k 0
1
a9 [F («+2k)—F(2k-0)] = Fy,(x),
2k
respectively. Since A/B is irrational we see that f)(¢) and f,(¢) have no
common zeros, and therefore also no common factor, so that condition
(d) is also satisfied. Therefore /'(x) is indecomposable. ‘This example has
already been given by P. Lévy (1952), and theorem 6.3.1 is a modification
of his construction.
We now construct an indecomposable, purely singular distribution. Let
Pees is
pie [J cos a
j=1
Clearly
sint 2sin(#/2) cos (t/2) _ sin (t/2)
cos (t/2).
t t Zz c
FACTORIZATION PROBLEMS—GENERAL THEOREMS 189
We iterate this procedure and get
It follows from the corollary to theorem 3.7.9 that f,(f) and f,(¢) are
characteristic functions of convergent symmetric Bernoulli convolutions.
Moreover we conclude from the corollary to theorem 3.7.10 that f,(¢) as
well as f,(t) are characteristic functions of purely singular distributions.
The product
(7.1.2)
192 CHARACTERISTIC FUNCTIONS
also converge in circles about the origin. We denote the radii of convergence
of these series by p, and p,.
From the inequality
x 2k-1 < $(0* + -)
we see that
Con—1
hile < Bora < sl“or 2k) +————— hex—2 |
|.
ch) (2k—1)! ~ (2k—-1)! "2 (ary! | )+ OR)!
Here and in the following we write again «,, and ,, for the algebraic and
absolute moments of order R.
We conclude from (7.1.3) that py > p» > p and also that the series
(ce) ok
Pa kl
converges for |z| < po.
Let & be a real number and denote the radius of convergence of the
Taylor series of fy (2) [respectively of f, (z)] around é by py(é) [respectively
pi(é)]. According to corollary 2 to theorem 2.3.1 we have
biicces (é)| Se Oak and hioa (é) | = ieee
so that
Pol(&) 2 po(0) = po > p and p,(é) > pi(0) = pi > p.
The Taylor series of f, (z) and of f, (z) around é therefore converge in circles
of radii at least equal to p. The same is therefore true for the expansion of
f(z) around &, so that f(z) is regular at least in the strip |Im (z)| < p.
We have already mentioned that the series
x Bre Ie
Bini?
converges for |y| < p. Clearly
205, ‘ 0 |v ‘i A
Pers
— lea S ianekdeeiyae _|# k PaF() = |e |ye| dF (x)
for any A and |y| < p. Therefore the integral
| elt! dF (x)
exists for |y | < p, hence the integral
| e” dF (x)
is convergent whenever |e*| < e”!, where z = t+zy. This means that
the integral
[" e* dF (x)
ANALYTIC CHARACTERISTIC FUNCTIONS 193
is convergent for any ¢ and |y| < p. This integral is a regular function in
its strip of convergence and agrees with f(z) for real z, therefore it must
agree with f(z) also for complex values z = t+1y, provided that |y| < p.
0 109)
The functions #,(z) and ¥,(z) are Laplace integrals, convergent in the
half-planes y > —« and y < f respectively. Let z = iw; then w = —iz =
—it+y and L, (iw) -| e—“*dF (x) = O(w) is convergent for Re (w) =
0
y> —«a.
It is known that the Laplace transform g(s) = | e—“ dG (t) of a mono-
0
tonic function G(t) has a singularity at the real point of its axis of con-
vergence. For a proof we refer the reader to D. V. Widder (1946) (p. 58,
theorem 5b). Since F(x) is non-decreasing we can apply this result to
@(w) and we conclude that —« is a singular point of O(w). Thus —7« is a
singular point of f(z). In the same way it is also seen that 7f is a singular
point of f(z). We summarize these results and obtain the following theorem:
Theorem7.1.1. If a characteristic function f () ts regular in a neighbourhood
of the origin, then it is also regular in a horizontal strip and can be represented
in this strip by a Fourier integral. This strip is either the whole plane, or it has
one or two horizontal boundary lines. The purely imaginary points on the
boundary of the strip of regularity (if this strip 1s not the whole plane) are
singular points of f(2).
From theorem 7.1.1 we obtain immediately the following result:
Corollary to theorem 7.1.1. A necessary condition that a function, analytic
in some neighbourhood of the origin, be a characteristic function is that in
either half-plane the singularity nearest to the real axis be located on the
imaginary axis.
The corollary can sometimes be used to decide whether a given function
could be a characteristic function. We illustrate this by an example. Let
p= [e-t)
and
with
a > b > 0.
194 CHARACTERISTIC FUNCTIONS
> al dF (x)
|x| >6
and note that « = 0 for every 6 > 0 if, and only if, F(«) = e(x) where
e(x) denotes the degenerate distribution. From the preceding inequality
we obtain
(7.1.6) M(r;f) > tue”.
Since the order p of an entire function f(z) is (see Appendix D)
we see from (7.1.6) that p > 1, provided that « > 0, and have proved the
following theorem:
which the moment generating function exists. This remark leads to a rather
obvious criterion:
The distribution function F («) has an analytic characteristic function if,
and only if, the following two conditions are satisfied:
(i) the distribution F'(«) has moments «, of all orders k
(ii) lim sup [|o,|/R!]" = 1/p is finite.
ko
k=0 k .
represents a function which is regular in the circle |z| < p(p > 0) and
which agrees with the characteristic function of F'(«) for real values of z.
We note that it is easy to construct distributions which have moments
of all orders but do not have analytic characteristic functions. Such a
distribution then necessarily violates condition (ii). As an example we
mention the distribution whose frequency function is
aie i exp (—|1/x|) for x« > 0
0 for x < 0.
The corresponding moments are easily computed. We find «, = (2k+1)!
so that
eae Pah oie pi 1 k+1
| ele
dF(x)< elk —F(k—1)].
k
k-1
We choose an integer K > K, and real numbers a > K,b > 0. Then
a+b o k
| elu dF (x) <) | ell" dF (x)
a k=K Jk-1
Se es CG eo tlw
ic esac
The last expression can be made arbitrarily small by choosing K suffi-
a+b
ciently large; therefore the integral | el"l® dF’ (x) can be made arbitrarily
small—no matter what 5 is—by choosing a sufficiently large. Thus the
integral
|jelle F(x) = |:elvel dF (x)
exists and is finite.
We also have
—k+1
| eluel dF (x) < elk F(—k+1),
—k
and we conclude from (ii) that there exists a constant C; such that
F(—k+1) < C,e~™ for sufficiently large k, say for k > K,. We choose
now an integer K’ > K, and two real numbers c > K’, d > 0. We see
then that
(ex eo tlw K’
|" ghtl dF (x) < =e oa
—c—a
and apply an argument, similar to the one used above, to show that the
integral | elv"ldF(«) exists and is finite. Combining this with our
0 . . . .
— 0
200 CHARACTERISTIC FUNCTIONS
(oe)
earlier result we see that ell dF'(x), and therefore also | e”” dF (x),
exists and is finite for all y such that |y| < R. Let z = t+7zy, then the
integral f(z) = | e dF (x) is also convergent for any ¢ and |y| < R
and represents a regular analytic function, so that the sufficiency of our
condition is established.
We next prove that the condition (7.2.1) [or (1) and (ii)] is necessary,
and suppose that the characteristic function f(z) = | e dF (x) is an
—o
analytic characteristic function whose strip of regularity is the strip
—a < Im(z) < f. Let R = min (a, f) and let x > 0 be a real number;
then the two integrals
exist and are finite for all |y| < R. We choose a number 7 < R and let
r, be such that r < 7, < R. Then there exists a constant C such that
Gs i eo"
dF(u)> &*[1—F(x)] > 0
or
0 < [1—F(@)le* << Ce=™™,
Since 7, > 7, the expression on the right of the last inequality goes to zero
as x tends to infinity, so that 1— F(x) = O(e~™) as x > oo. In the same
way we see that (ii) is satisfied.
If F(x) is a finite distribution then 1—F(x)+F(—«x) = 0 for sufh-
ciently large x, so that (7.2.1) is satisfied for all positive r.Every finite
distribution has therefore an entire characteristic function. However, it is
possible to make more precise statements concerning finite distributions.
These are closely related to properties of one-sided distributions with
analytic characteristic functions which we shall discuss first.
a = lext [F] and consider the integral lese“ dF (x) where z = t+iy. In
a
the case where a > 0 it is clear that this integral is regular in the half-plane
y = Im(z) > 0. If a < 0 wewrite
ioe) 0 co
| ert dF (x) = | eit dF (x) atte | eit dF (x) :
a a 0
the first integral is an entire function while the second is regular in the
upper half-plane. We assume that f(z) is an analytic characteristic function.
Therefore f(z) is regular in a horizontal strip containing the real axis in its
interior and admits in this strip the integral representation
— oo
Since f(z) is regular in the upper half-plane we see that the region of
validity of this representation contains the half-plane Im (z) > 0 in its
interior. Therefore
Ai |hee-"
dF(x) > li e-
dF (x) > e~" [F (xy)
@.
—F (x,)].
The definition of h implies that —h+e > y—1 log f(zy) or that
Ty) z enue) pam eo Uit2 Fe) |
Therefore e~" > F(x,)—F(«,) > 0 for arbitrary « > 0 and sufh-
ciently large y. This, however, is only possible if F'(«,)—F'(x,) = 0 when-
ever x, < x, = h—2e; this means that F(x) is bounded to the left and
that
lext [F] 2 A.
202 CHARACTERISTIC FUNCTIONS
The proof has been given only for distributions which are bounded to
the left; the proof of the statements concerning distributions which are
bounded from the right is quite similar and is therefore omitted.
We expand the factor e”* into a power series, and since the order of
integration and summation may be exchanged we see that
I(z).= 2 2
n=0
where
Satay fiSia | 1
eco (;*) (L+a)Rerare”
We use Stirling’s formula and the expressions (D4) and (D5) of Appendix
D and obtain the statement of the lemma.
The order and type of entire characteristic functions depends on the
“tail behaviour” of the corresponding distribution function. In order to
study this behaviour it is convenient to introduce three functions. Let F(x)
be a distribution function; we write for x > 0
T(x) = 1—F(«)+F(-x)
log [T'(x)]™
(W2Sye Te) Scares (a > 0)
ry = eben
We note that T(x) depends on the positive parameter «.
ANALYTIC CHARACTERISTIC FUNCTIONS 205
Lemma 7.2.2. Let F(«) be a distribution function and « > 0 and k > 0.
Suppose that there exists an x) > 0 such that
(a) exp (— katt?)
for x > Xo. Then F(x) has an entire characteristic function f(z) which is
either of order equal to 1+ «-1 and type t < a[k¥/*(1+.«)!+1/*]-! or of order
less than 1+a7},
Let A > x, andr > 0; we see then (integrating by parts) that
We let A tend to infinity and conclude from the assumption of the lemma
that
|” ef dP (x) < e™[1—F(x,)]+r |i exp (rx —kx't*) dx.
Xo
(7.2.6) lia
we
e?dF(x) < entr |0 exp (rx — kx!)dee,
Similarly one can show that
Since M(r, 4‘s max [f(ir), f (—77)] _ see from (7.2.6) and (7.2.7) that
M(r, f) < e™4r |;exp (re Lshilt?) de,
The statement of lemma 7.2.2 follows easily from lemma 7.2.1 and from the
last inequality.
Lemma 7.2.3. Let F(x) be a distribution function with characteristic
function f (t) and let 2 > 0, u > O be two constants. Suppose that there exists
a constant R such that
Mir; f) < exp [4'***]
jorr 2 R. Then
lim inf T, (x) > 1+1/u
and >
T(x) < exp (—2't*"~*)
for any ¢ > 0 and sufficiently large x.
We see from (7.1.6) that forx > 0 andr >R
T(x) < 2 exp (—rx+4r'*),
206 CHARACTERISTIC FUNCTIONS
We put x > x) = 2R“ andr = ($x)! so that r > R; then we get
T(x)< 2 exp [—(2—2) (3x)'*"7]
and we conclude from formula (7.2.5) that
lim inf T(x) > 1+1/p.
so that
+ 0(1)
T(x) > a—(t+e)a't*"
as x — oo. Therefore
(7.2.10) lim inf T,(«) > a—(r+8)at=",
ANALYTIC CHARACTERISTIC FUNCTIONS 207
This relation holds for any a > 0 and in particular for that value of a
which maximizes the right-hand side of (7.2.10), that is for
a= {a/[(t+e)(1+«)]}*.
We substitute this value of a into (7.2.10) and get
~1)0
Hm. inf 7, (x) 2 cae :
(cx<);
Then it is possible to find a k > such that 7,(x) > k for x
sufficiently large. Using (7.2.5), we see that T(x) < exp (—kx'**) for suffi-
ciently large x and conclude from lemma 7.2.2 that
(Ez I2y" “MG: 7) s exp ((z’-+e)r'**]
for any e > 0 and sufficiently larger, where t’ = [k¥*(1+a)t’*]-1a < 7.
Since the order of f(z) is, by assumption, 1+«~1, it follows from (7.2.12)
that the type of f(z) is at most equal to t’, hence less than t. This contra-
dicts the assumptions of the theorem; therefore the inequality sign cannot
hold in (7.2.11), so that the necessity of (1) is established.
We still have to show that conditions (i) and (ii) are sufficient. Clearly
(ii) implies that f(z) is not a function of exponential type and that T) (x) is
defined for x > 0. Let
(72213 ees Riss (are t)*(Lo) oi.
In view of (i), there exists a value x, = x,(k) such that 7,(x) > k for
x > x,. It follows from (7.2.5) that
(7.2.14) Lie) i<eexp hx Bo)
for x > x,, and we conclude from lemma 7.2.2 that f(z) is an entire func-
tion whose order p and type 1’ are such that either
(7.2.15) p=i1+a-! and 7’ < a/[k¥*(1+a)'t4]
or
(7.2.16) p< 1l4+oa-4
We show next that (7.2.16) cannot hold. We give an indirect proof and
assume therefore tentatively the validity of (7.2.16). It is then possible to
208 CHARACTERISTIC FUNCTIONS
most first order and minimal type cannot be bounded on some line [see
B. Ya. Levin (1964), p. 51]. For a detailed proof of theorems 7.2.5 to
7.2.9 we refer to B. Ramachandran (1962).
Order and type of entire functions provide means of studying their
growth. This study can be refined by introducing proximate orders and
types with respect to proximate orders [see e.g. Levin (1964), pp. 31 ff.].
It is also possible to investigate the behaviour of characteristic functions
having given proximate orders. For these studies we refer the reader to
H. J. Rossberg (1966), (1967a), (1967b).
We finally remark that there exist entire characteristic functions of
infinite order. Let f(t) be an arbitrary characteristic function; it follows
from lemma 5.4.1 that exp [f(¢)—1] is also a characteristic function. We
define the sequence of functions
(7.2.21) Vee a= F(t)
(-e<y<).
.
It follows from the corollary to theorem 7.1.2 that log f(z) is defined in
a region which contains the segment —a« < Imz < f. It is easily seen
that in this region
We combine the last equation with the inequality (7.3.1), and letting m tend
to infinity we see that
log f(y) > —ye
or
Theorem 7.3.2. Let f(z) be an analytic characteristic function which has the
strip —« <Im(z)=y <8 as its strip of regularity. Then f(ty) >
exp (—yx,), provided that —« < y < B. Here x, = 1-1f'(0) is the cumulant
of order 1 (first moment) of the distribution corresponding to f(z).
Theorem 7.3.2 is also a necessary condition which an analytic characteristic
function must satisfy. It will be used in Chapter 8.
We next discuss a sufficient condition which is applicable to certain
analytic functions.
Let 6 be a real number; the function [1—(it/6)]-1 is always a charac-
teristic function (it belongs either to an exponential distribution or to the
conjugate of such a distribution). Since the product of two characteristic
functions is always a characteristic function, we see that the reciprocal of a
polynomial which has only purely imaginary roots is always a characteristic
function. It follows from the continuity theorem that the reciprocals of
canonical products) of genus zero or 1 which have only purely imaginary
roots are characteristic functions. Necessary conditions for rational
functions were given by E. Lukacs—O. Szasz (1954a) and for reciprocals of
polynomials by K. Takano (1951); the last paper also contains a necessary
and sufficient condition for the reciprocals of polynomials of degree not
exceeding 3. Sufficient conditions for a special class of rational functions
are given by E. Lukacs—O. Szdsz (1954b) and by A. Zemanian (1959),
oGd):
The most important result concerning criteria for analytic characteristic
functions refers to a class of entire functions which we now introduce.
(®) See Titchmarsh (1939), p. 250.
ANALYTIC CHARACTERISTIC FUNCTIONS 213
It is convenient to adopt the following notation for iterated exponential
functions:
€,(3) = &, e,(z) = e*, ..., &,(%) = exp [e,-1(2)].
Our object is to derive the following theorem:
P(t) = Hyae
$,(2) = yyCent
We expand the powers of (¢+zy) according to the binomial theorem and get
G35)
coor care fli-tir(Jen (2)
(t-+2y)"-*
v2 20 y? y 20 4?
=oage nee f ae
We (S) +i 1-4ie rae (S)]
i?
(7.3.8) o%4(t,y)= é {
\(- 1)s+0/21,n[1-— V, (4)
ae wt
Noa 3 t7\)
+(—1)” ; W, (4)
(= 1) 6,— whl s
and
: 2 (/t
+(- 1)#/ 16, [~ y2 V, (4) |}
AlyVéy¥] = 5 A,()y"
(7.3.12) ee
Alyvé x1 = & B,(E)9".
For the proof of theorem 7.3.3 we need several lemmas and formulate
next the following two statements concerning the coefficients of the highest
power of y in the polynomials A, [yVé, y] and pf, [yVé, y].
Lemma 7.3.1. Let m = 4; then it is possible to find a real number E,, > 0
such that Am (Em) > 0 while Bu(&m) # 0.
Lemma 7.3.2. Let m = 3 and y, # 0; then there exists a E,, > 0 such that
y3A,(&) < 0 and B,(&,) # 0. If m = 3 and y, = 0 then there exists a
E, > 0 such that A,(&,) > 0 and B,(£;) # 0.
In order to prove these statements we study the polynomials V,(é) and
W,(£) and show that they can be expressed in terms of Chebyshev poly-
nomials or trigonometric functions of an auxiliary variable.
(+) €1/2 is here and in the following the positive square root of &.
H
216 CHARACTERISTIC FUNCTIONS
We consider the expression (1+74/€)’, where s is a positive integer and
£ > 0, and set ¢ = arc tan v/é with |¢| < 2/2. Then
(7.3:13) (1+72/é)* = (1+ 4)? (cos sf +7 sin sd).
For s > 2 we expand (1+71/é)* according to the binomial theorem and
obtain
(7.3.14) (14 iv/é)* = 1-EV,(8) +iVEW, (6).
We note that (1+ &)”? = (cos ¢)-* and get from (7.3.13) and (7.3.14)
L
(7 - ou 5)
We know from lemma 7.3.2 that eA; > 0, so that A,[yV<&, y] becomes
positive if the sign of y is opposite to the sign of ys and if |y |is sufficiently
large. We summarize our findings in the following statement:
Lemma 7.3.3A. Let m > 3 and suppose that one or the other of the following
two conditions 1s satisfied :
(i) m>30rm=3 and y, = 8, = 0
(ii) m=3 and ys = Bp, 4 0.
Then there exists a Em > 0 and an A > 0 such that
Ri,Mty)= In(t+y)
|S,
Lira)
it follows from (7.3.25b) and (7.3.25c) that
Rit, y) = exp {A, (t, y)}-
We have therefore determined a pair of real numbers ¢*, y* such that
(753.3) Pte’ oe eal
But this contradicts (7.3.23) which must be satisfied if f,,(t) is a charac-
teristic function. This contradiction completes the proof of theorem 7.3.3
since it shows that f,, (¢) cannot be a characteristic function if m > 2.
In the case where m < 2 the iterated exponentials f,(¢) = e,[P(t)] can
be characteristic functions. The function f, (t) = exp [—a,t?+7a,t] where
a, and a, are both real, a, > 0, is a characteristic function (of a normal
or of a degenerate distribution). It follows from the recursion formula
(7.3.25) and from lemma 5.4.1 that f,(z) as defined by (7.3.24) is a charac-
teristic function for all values of v.
We note that for m = 1 and c, = 1 we obtain for nm = 2 a Poisson
distribution and for n = 3 a Neyman type A distribution,
Fa(t) = exp {u[exp (A(e"—1))— 1]}.
We have already mentioned that Marcinkiewicz derived a particular case
of theorem 7.3.3 in a different manner. He obtained it as a special case of
a more general theorem which gives a necessary condition which an entire
function of finite order must satisfy if it is a characteristic function. We
now state this theorem of Marcinkiewicz.
holds.
Let z = i+iy and denote by r = |z2| = Vtt+y?. We see then that
there exist arbitrarily large values of r such that
|G(t+iy)| > exp (—r"**).
On the other hand we know that for arbitrary « > 0 and sufficiently large y
|G) | < exp (7****).
We combine the last two inequalities and see that there exists an increasing
sequence {r7,} of positive real numbers such that
lim: (7; = 7eo
k—>o
which has the property that for arbitrary « > 0 and sufficiently large k
G(t+1y)
13-07 Ise (5g) > expla)
provided that t?+ y? = 72.
We consider next f,(z) = exp [H(s)] and write
(7.3.38) Ra(t,y) = jexp [H(t+iy)—H |
so that
We give an indirect proof for theorem 7.3.4 and assume therefore that
f(%) is an entire characteristic function of order p > 2 and suppose that
the exponent of convergence p, of the zeros of f(z) is less than p, p; < p.
We again apply theorem 7.1.2 and see that necessarily
(340). shy aad
for all real ¢ and y.
ANALYTIC CHARACTERISTIC FUNCTIONS HES
Since p; < p we have p = m, where m is the degree of the polynomial
H(z). We see also that H(0) = 0 (since f(0) = 1) and use the notation of
the preceding proof and write
Lemma 7.3.4. Let A(w) and b(z) be entire functions and suppose that A(w)
does not reduce to a constant. Let f(z) = A[b(z)]. If the function f (2) satisfies
(7.3.45a) then b(z) is either a polynomial of degree not exceeding 2 or an entire
function of not less than order 1 and of normal type.
We deduce from the lemma the following results concerning characteris-
tic functions:
(*) I, F. Christensen and R. Cairoli also considered functions which are not entire.
However, they had to assume that these functions are regular in a half-plane which con-
tains the origin in its interior. Inequality (7.3.44) is then valid in this half-plane.
ANALYTIC CHARACTERISTIC FUNCTIONS 225
Theorem 7.3.5. Suppose that an entire characteristic function f(t) is the
superposition of two functions A(w) and b(z), that is, f(z) = A[b(z)]. Then
b(z) ts etther a polynomial of degree not exceeding 2 or an entire function of not
less than order 1 and of normal type.
Remark. 'Theorem 7.3.2, and therefore also Marcinkiewicz’s theorem,
are particular cases of theorem 7.3.5.
Corollary 2 to theorem 7.3.5. Let b(z) be an entire function of order less than
1, then f(z) = exp [b(z)] cannot be a characteristic function.
Corollary 1 answers a question raised by Yu. V. Linnik, while corollary 2
solves a problem posed by D. Dugué.
I. V. Ostrovskii’s paper also contains a generalization of theorem 7.3.4.
On the other hand it follows from the periodicity of f(z) that f(0) =
f(y) = f(—-in) = 1 so that f(0) = [f(m)+f(—m)]/2 = 1 in contra-
diction with (7.4.2). The indirect proof is therefore completed and we have
always 7 > min («, 6). But the equality sign would imply that the origin
is a singular point of f(z) so that always 7 > min (a, 6). But then at least
one of the inequalities 7 > « or 7 > f holds. If 7 > « [respectively 7 > ]
then i(7j—«) [respectively —7(j —)] is a singular point of f(z) located in the
upper [respectively lower] half-plane. Therefore y—« > 6, and we have
established the following result:
cannot be doubly periodic, and we can conclude that it must have a real
period and have the form (7.4.6).
is a characteristic function. This function has the real period 2, the purely
imaginary period 47 log k and the strip of regularity |Im (z)| < |log k|.
In conclusion we remark that one could regard theorems 7.4.1, 7.4.2
and 7.4.3 also as conditions which a single-valued, periodic analytic
function must satisfy in order to be a characteristic function.
Theorem 7.5.1. Suppose that the function f (t) is, in a certain neighbourhood
of the origin, a solution of the positive definite differential equation (7.5.1) and
assume that m > n—1. If the solution f(t) 1s a characteristic function then
it is necessarily an entire function.
We state first a lemma, which uses only some of the assumptions of
theorem 7.5.1 and which therefore yields less information concerning the
solutions of (7.5.1).
Lemma 7.5.1. Suppose that the characteristic function f(t) 1s, in a certain
neighbourhood of the origin, a solution of the positive definite equation (7.5.1).
Then f(t) has derivatives of all orders at the origin.
Lemma 7.5.1 is certainly true if the distribution function F(x) of f(¢)
is a finite distribution [see theorem 7.2.3]. We therefore assume in the
following that for all x > 0
(7.5.3) F(—x)+1—F (x) > 0.
We remark that the assumptions of the lemma imply that f(z) can be
differentiated at least m times. Moreover, m is necessarily an even number
if A(x,, Xg,..., X,) is non-negative. Since f(t) is the characteristic function
of F(x), we know that
We give an indirect proof for the lemma and assume therefore that f (¢)
has only a finite number of derivatives. Then there exists an even integer
ANALYTIC CHARACTERISTIC FUNCTIONS 229
2p such that f(t) can be differentiated at the origin 2p times but not
(2p+2) times. Clearly, one has
2p: > m > 2.
The function on the right of (7.5.5) can then be differentiated 2p—m-+2
times. Since A(x,,..., x,) is non-negative we can conclude from Fatou’s
lemma [see Titchmarsh (1939) p. 346] that
(7.5.8a) | dF (1,)
dF(xs)... dF (tq) = « > 0
while
(7.5.8b) MINAS (Mayes hy Ka) SC 1
Q UR ps
This follows from (7.5.3) and the fact that the equation A 9(%2,...,%n) = 0
determines an algebraic surface in R,_,. We use here, and in the following,
the symbols C,, C,, ... to denote arbitrary positive constants.
We see from (7.5.7) that it is possible to find a sufficiently large C, > 0
such that for |x4 | = Gy and:(x,,..) “a) 2,4, the’ rélations
Ali, chnls Ma) ce Cady:
oe)
459
eee rte > C,|x,|
hold.
230 CHARACTERISTIC FUNCTIONS
Let Q,, be the set of all the points (x1,...,%») of the 2-dimensional
space which satisfy the condition
(75410) [%.| > Cy “and aimee.
Since m is even and A(x,, x2,...,X,) > 0 we conclude from (7.5.6) that
(7.5.11) | Alig «ony Xa) Barbs vet 8a)? TdF On) eda) <K
Q n
where
(2N+m)!
or
(7.5.12) cat Es
+m) < é.
}/en
[(2N+ m) |
We again use the region ,,_, introduced in the proof of lemma 7.5.1
and write
(7.5.15) 1= | ll (]oey
[agt..|—
tay
|e] <C, Qn-1
p= {" |xltar(x)
for the absolute moment of order k of F(x). Clearly it is possible to find
a sufficiently large positive constant M, such that the inequalities
(7.5.16) B, < k! Mi exp {[1-(-1)]/2}
hold fork =. 00... m=.
We next prove the following lemma:
Lemma 7.5.3. Suppose that the conditions of theorem 7.5.1 are satisfied
and that M, ts a positive constant such that
M5" C,0, 4(C,/ May" + ele — 1) < 4,
where C,= c/C; while by, b, Cs and C, were defined earlier.
Let M = max (M,, M,, Cg, 2be) and assume that
(7.5.17) Bu < Rk! M* exp {{1-—(—1)*]/2}
jor k= 0, 1,2). «, 2N-++-m—2. Then
Bexam< (2N-+m)! M24,
We differentiate equation (7.5.5) 2N times with respect to ¢, and putting
= (0 we obtain
(7.5.18) ee ‘3 i) Albets Hay « « + Hq) (yes bmg)
SH (41) ae dl (X,,)
beg {hee . \pae(ey. tay)?"
dF (x1)... dF (2).
It follows from the first relation (7.5.9) and from the obvious inequality
[Hy +X%e+...+%,| 2 l= [ahs te |
that
(7.5.19)
| aa Hi (ie (Bal ae eee 2 dP(x). .dF(x,)| dF (x)
Pelikan = Oud
where
(7.5.19a) j={ mi (U UTLEN LINER
PT O
232 CHARACTERISTIC FUNCTIONS
We add the integral J, defined in (7.5.15), to both sides of (7.5.19) and see
easily that
=0
It follows from this inet and (7.5. He that
(7.5.20)
© (PYfaxeem-sbs<ME eby3(Nm
—j)1 (N/M).
We note that
ON+m-})! fea i Cee ee ee
1
< 3Q2N+m)!
so that
(7521s en Bon am_1b; < (2N-+m)! M2¥+” eb, (@/f 1).
j=2
We turn now to the expression (7.5.19a) and see that
I< Ba
jit iin sen Jul
Bo
We again use (7.5.17) to show that
J SAN IME Ao
where o is the number of terms in the multinomial expansion of
(x+x,+...+%,)?%. It is not difficult to show that the number of terms in
a homogeneous polynomial of degree p in variables cannot exceed
(?+n— 1)
a—1 /’
using this fact we conclude that
(7.5.22) J <(2N+n—-1)! MW e"/(n—1)!
It follows then from (7.5.20), (7.5.21) and (7.5.22) that
|Box+m—2Nb,
by*Bay ama| < (2N+n—1)! MPNeC, by */(n—1)!
+ C2Nt™ + (2N +m)! M2N+ e(e?/@— 1).
According to the assumptions of theorem 7.5.1 we have
n—-l<m
ANALYTIC CHARACTERISTIC FUNCTIONS 233
so that
| Ban +m —2Nb, b> Bay +m |
P< (2N+ m)! M2N +m CY ha en Ca pet af (Co/M )2N +m + e(er/t — 1)}.
(g<t(<)a
all positive integers k. We have then
(7.5.28) ie e” dF (x)
exists and is finite for arbitrary real y. We give an indirect proof and
suppose that the least upper bound 7 of all |y| for which the integral
(7.5.28) exists is finite. Then
FS
ive. Ife
oll OO
Since f(z) is regular in the strip |Im (z)| < 7, the relation (7.5.5) is also
valid if we replace the real variable ¢ by the complex argument z = t+z7y
with |y| < 7. We do this and differentiate the new relation 2N times with
respect to z and then put z = —7yy. In this way we obtain the equation
=c| ran (yt... +3) exp [yo(ay +t... +2t,)] dF (x) ...dF (2%).
We divide both sides of (7.5.30) by A” where
ne | et AF (x)
and introduce the distribution function
|= e"* dG(x)
We denote by
(xi — y)] ifooo
hy n(¥3 v) = ‘ies(vx?) [Fy Cree —y)—-F;,
[ ear(x)> | [limgs(yi2)]dFa(9)
b B
or
—o a —A a—y
We note that
a-y a+A
238 CHARACTERISTIC FUNCTIONS
so that
Theorem 8.1.1. Let f(z) be an analytic characteristic function which has the
strip —a < Im(z) < f as its strip of regularity. Then any factor f,(z) of
f (2) ts also an analytic characteristic function which is regular, at least in the
strip of regularity of f (2).
We now turn back to inequality (8.1.8). There exist two real numbers
a, and a, such that 0 < F,(a,) while 1 > F,(a,). Then
fi (2) ts a factor of f(z). Then there exist positive constants C and a such that
fi(—iv) < Cel f(—-iv)
for all v satisfying —« < v < f.
We next consider an important particular case and suppose that f(z) is
an entire characteristic function.
Theorem 8.1.2. Every factor f,() of an entire characteristic function f (2)
is an entire characteristic function. The order of the factors of an entire
characteristic function f(z) cannot exceed the order of f(z).
The first part of this statement follows immediately from theorem 8.1.1.
The second part is a consequence of the relation M(r; f,) < ce" M(r; f)
which is easily obtained from the corollary and from the equation M(r; f)
= max [f(zr), f(—7r)] which was derived in Section 7.1.
Corollary to theorem 8.1.2. Let f(z) be an entire characteristic function of
order p > 1 and type t and suppose that f, (2) is a factor off(z). If the order
of f:() ts also p, then the type t, of f(z) cannot exceed the type t of f(z),
ty &
The statement of the corollary is obtained in the same way as the state-
ment of the theorem, using the definition of the type given in Appendix D.
Remark 1. 'The statement of the corollary does not hold if either p = 1
or if py < p, where p, is the order of f,(z).
Remark 2. Let f(z) be an entire characteristic function without zeros so
that f(z) = e*” [4(z) entire, zs= t+iy]. Then every factor f, (z) of f(z) is
also an entire characteristic function without zeros and therefore has the
form f,(z) = e* where ¢,(z) is an entire function.
We conclude this section by deriving a property of entire characteristic
functions without zeros.
Theorem 8.1.3. Let f(z) be an entire characteristic function without zeros
which has a factor f,(z). The entire functions ¢(z) = log f(z) and ¢,(2) =
log f,(s) then satisfy the relation M(r; ¢,) < 6rM(r+1; ¢)+Cr(r+1),
where C is a positive constant.
For the proof of the theorem we need two lemmas.)
Lemma 8.1.1. Let f(z) be a function which ts regular in a region G, let
Zo = ty tity, be an interior point of G, and let A be the distance between 24
and the boundary of G. Then
ia ote pe’ +(z—&)
(Si1.9) f(z) = =|, u(ty+p cos0,yo+p sin 8) ee etre
(*) Let w = é+%n be a complex number and let /(w) be a function which is regular in
a certain region. We write then u(£, 7) for the real part of f(w).
240 CHARACTERISTIC FUNCTIONS
Moreover,
1 27
'
(8.1.9a) — f'(%0) = ae | u(tyt+p cos 0, yotp sin 0) edd.
p Jo
Here 2, is an interior point of the region G; z is a point in the interior of the
circle with centre x, and radius p such that |z—2 | < p < A, while
By = Im [f(2o)].
The representation (8.1.9) is known as Schwarz’s formula; for its proof
see Markushevich (1965) [vol. 2, p. 151]. If we differentiate (8.1.9) with
respect to z and put z = 2, we obtain (8.1.9a).
sito) {“%9)
»¥) = Re [$(é+2y)]
ere tate y) = Re [di (¢+4)]
It follows easily from theorem 7.1.2 that
(8.1.11) 0 <m(0,9)-m(t, 9) < W(0, y)—ult, ») < 2M (734),
where 7 = |¢+7y|.
Since f,(z) is a factor of f(z) there exists an entire characteristic func-
tion f,(z) without zeros such that f(z) = fi (2) f.(z). We write 4,(z)=
log f,(z) and u,(t, y) = Re [¢,(t+zy)], so that
(3.1.12) u(t, y) = u(t, y)—Uue(t, y).
We conclude from lemma 8.1.2 that there exist positive constants M/, and
My, such that
log f(y) > —Ms|y| (7 = 1,2)
and note that
u;(0, y) = log |fi(zy)| = log f;(%).
Hence
(8.1.13) 4;(0, 9) > —M;|y| (7 = 1, 2).
It is also easily seen that
(8.1.14) u(t, y) = log |f(t, )| < M(r; 4),
where r = (¢?+?)””, It follows from (8.1.12), (8.1.13) and (8.1.14) that
—M,;|y| < 4 (0, y) = u(0, y)—u2 (0, y) < u(0, y)+Ma|y|
FACTORIZATION OF ANALYTIC CHARACTERISTIC FUNCTIONS 241
or
—Mi|y| < (0,y) < M(y;
¢)+ Maly.
Therefore there exists a positive constant C such that
(8.1.15) | (0, »)| < M(y3 4)+C |y].
Clearly
[m(t,9)|< [ur (0, y)| +12 (0, »)— m4(9) |
or, using (8.1.11) and (8.1.15),
|v (t, y)| < M(y; 4)+C | y|+2M(r;4).
Since |y| < r we have
(8.1.16) [u(t )| < 3M(7; ¢)+C |y|.
We apply formula (8.1.9a) of lemma 8.1.1 to 4,(z). Since ¢,(z) is an
entire function we may put p = 1 and we write also z, ¢ and y instead of
Zo, ty and yo, respectively. We obtain
; 1 27 ' ‘
we see that
ld.(z)| < 6rM (r+1; ¢)+2Cr(r+1).
This is the estimate given in theorem 8.1.3.
where A(t, y) and B(y) are non-decreasing functions. Repeating the pre-
vious argument we get
| (t,)| < A(t, y) + BY)
and
(8.1.17) [di(s) < 212/A+
1 y+1)42/2/Biy+l) (2 = t+9).
We give an example which we shall use in the next section. Let
f(z) = exp {A(e*—1) +ipz—ya*},
where yu is real, while y > 0 and A > 0. We suppose that f(z) admits the
decomposition,
f(2) = fil®)f2(2)-
The function f(z) is an entire characteristic function without zeros; we
write again u(t, y) = Re [log f(t+zy)] = Re [A(t+zy)] and use analogous
notations for the factors f,(z) and f,(z). Then
wae
(8.1.18) u(0, y)—u(t, y) = log f(y) p=\ 2Ae"* sim? atye,
f(t+1y)
so that we see from (8.1.11) that
(8.1.19) A(t, y) = 2A etl+ yit?.
According to lemma 8.1.2 there exist two positive constants M, and M,
such that
dx(ty) > —M,|y| (Rk = 1,2)
and we see that
Since f(z) is an entire function without zeros, the same is also true for
fi(t) and f,(t), so that these series also converge for arbitrary complex
values of the argument. We now introduce a new variable w = e”; this
transforms the characteristic functions f, (t), f(t) and f(z) into the gener-
ating functions g, (2), g,(w) and g(w) respectively. Here
= ~ v= v=0
and g(w) = g,(w)g.(w). The coefficients of these power series satisfy the
equation
that
Lemma 8.2.2. Let f(z) be an entire periodic function with period T, such
that the inequality |f(z)| < Ke‘ (K and a are real and positive constants)
holds. Then
i(2)= > Cy EXP Fe ahh
k=-Tt rh
&2) = L a2"
k=0
where the coefficients a, are real. Let z = t+7y (t, y real) then
Re [g(z)] = Re[g(¢+zy)] = 3[g¢+iy)+a(t-v)].
On the other hand, we see from (8.2.7) that
Re [g(z)] = Re [¢1(—72)] = Re [$1 (y—7t)] = u(y, —2)
FACTORIZATION OF ANALYTIC CHARACTERISTIC FUNCTIONS 247
so that
We put 2 = y+7t and separate the real and imaginary parts in (8.2.14) and
obtain
u(y, t) = Dyy+D,(y?—t?)+D,(e" cos t—1)+ Dye” (y cos tt sin 2).
It follows from the estimate (8.1.20b) that D, = 0. Therefore
u(y, 0)—u,(y, t) = D.t?+2D,e" sin? :
FACTORIZATION OF ANALYTIC CHARACTERISTIC FUNCTIONS 249
Theorem 8.2.6. Let 04, 02,..., 6, be n positive numbers which satisfy the
condition
Onc O nes, 05 uly. PO
The distribution
where the positive numbers oj, 03, ... , G, are all integers.
We conclude this section with the discussion of an example which was
studied by D. A. Raikov as well as by P. Lévy.
We consider the polynomial
(8.2.17) . P(x) = 1+ax—fx?+
cx*+ dxt
of degree four. The numbers a, f, c,d are assumed to be positive. We
compute [P(x)]? and [P(x)]* and see that it is possible to determine the
coefficients a, f, c,d in such a way that [P(x)]? and [P(x)]® have no
negative coefficients.(t) Then [P(x)]* = {[P(x)]?}* and [P(x)]*+1 =
[P («)]}*{[P (x)]?}*-1 also have non-negative coefficients for k > 1. We
form
o [Pp j
(8.2.18) exp [P(x)|= >, aie
=0 t
and see that under these conditions only the quadratic term in exp [P(x)]
can have a negative coefficient. The coefficient of the quadratic term of
exp [P(x)] is easily determined; it is [(a?/2)—f]e. If we suppose that
2
(8219) pet
then exp[P(x)] has only non-negative coefficients. The function
exp [P(x)—P(1)] is then a generating function, so that
(3.2.20) p(t) = exp {ae*—Be™+ce™+ de” —a—c—d+p}
is a characteristic function. The function (8.2.20) cannot be an infinitely
divisible characteristic function. To show this we note that the coefh-
cients of the linear and of the quadratic term of the polynomial in the
exponent of [g(t)]'/” are a/n and f/n respectively. The condition corres-
ponding to (8.2.19) will therefore be violated for large m so that [g(t)]”"
(t) These conditions are for instance satisfied if a= ¢ = d and f = }.
Z5z CHARACTERISTIC FUNCTIONS
Theorem 8.2.8. Let « be an irrational number, 0 < « < 1. For given positive
numbers A,, A, and y it is possible to select sufficiently small positive numbers v
and » so that the function
fa(t) = exp {—yt? +, (e*—1) +4, (1) —9(e—1)}
is a characteristic function.
ts a characteristic function.
Theorems 8.2.7, 8.2.8 and 8.2.9 are due to Yu. V. Linnik; for their proof
we refer the reader to Chapter 8 of Linnik (1964).
Remark. We see from the Remark 1 following theorem 5.5.1 that the
characteristic functions f, (¢), f,(¢) and f;(¢) are not infinitely divisible and
therefore have indecomposable factors.
We mention here another open problem of the arithmetic of distribution
functions. It is known that many infinitely divisible characteristic functions
have indecomposable factors ;however, it is only possible to determine these
factors in a few cases. It would be interesting to study methods which
would permit the determination of indecomposable factors of infinitely
divisible characteristic functions.
(+) For the sake of brevity we will say that f,(t) and f,(t) are of the same type.
254 CHARACTERISTIC FUNCTIONS
fe ~[4(222)]-
€1 C2 :
We show next, by means of an indirect proof, that the only point of in-
crease of 6(x) is the point x = 0. Let us therefore assume tentatively that
x = a # (isa point of increase of 6(x). Select ¢ > 0 so that |a| > «, then
the three numbers a, a—« and a+<« have the same sign. We introduce the
function
0 ifx < a—é
H, (x) = {te -H0— ifa—-e<x<ate
3[0(a+¢e)—O(a—e)] ifate < x.
The functions H,(«) and 6(«)—H,(«) are then both bounded and non-
decreasing functions; therefore
htt) ~ #(*)
or
1+ x?
a eae itx/c\ 1+%x?
nG vr ne)ye Me):
By a simple transformation of the integral on the right-hand side of this
relation we see that
It follows that
We see from (8.3.3) that c tends to 1 as e + 0); at the same time the interval
which contains all the points of increase of 6(x) shrinks to the point x = a;
hence x = a is the only point of increase of 6(x), and 6(x) has the form
O(x) = de(x—a) (A> 0).
Then
log f(t) ~ re (4-1)
and it is easy to show that f(t) cannot ate a proper decomposition (8.3.1).
This shows that a ~ 0 leads to a contradiction with the assumptions of our
theorem, so that a = 0 is necessarily the only point of increase of 6(x). This
means that f(t) is the characteristic function of a normal distribution, so that
theorem 8.3.1 is proved.
256 CHARACTERISTIC FUNCTIONS
t) =
(1 —it/w)(1 —7t/w)
FO) (1 —1t/a)?
is an analytic characteristic function which is regular in the half-plane
Im (z) > —a and which has two zeros —iw and —iw on the boundary of
this region. Moreover it admits the representation
Cale tu
log f(t)
t) = mit |me(“a1 Rae
= mit+ 2 )dN
(u)
where
ee 2 | e- (1 — cos bx)(1
4+x2) dx
0
and
N(u) = -2 | e~“(1—cos bt)t-1 dt.
FACTORIZATION OF ANALYTIC CHARACTERISTIC FUNCTIONS 259
According to P. Lévy’s representation theorem (theorem 5.5.2) f(t) is
infinitely divisible and therefore provides the desired example.
origin, Let f(s) be an analytic characteristic function which has the strip
—a< Im (s:) < 6 as its strip of regularity and suppose that f(s) has a
verogy in this strip, Then we can only state that 4(s) is defined and regular
in the interior of the circle whose radius is min (a, 8, |89 !). If f(s) has no
zeros in the interior of the strip, then 4(s) can be continued analytically in
the strip, 'This is the case iff(s) is an infinitely divisible analytic character-
istic function. In this case we obtain the following important result.
Theorem 84.2. Let f(s) be an analytic characteristic function and suppose
that it is infinitely divisible, Then the canonical representation
or
— 1 —cos hw
"(?) = —lim ee . —~&K (w
$ “ moa |= & hh? a* 2 : ( )
so that
s"()=- |
eee th
&*aK(w). -
ve = ®
(843) -4')+4'0) = |
ro) ete
= dK(u).
—2 1u
Since ¢’(0) = ix,, where x,—the first cumulant—is real, we see that
(8.4.1) holds in the entire strip of regularity of f(z), so that theorem 8.4.2 is
established.
9 INFINITELY DIVISIBLE CHARACTERISTIC
FUNCTIONS WITHOUT INDECOMPOSABLE
FACTORS
Khinchine’s theorem (theorem 6.2.2) indicates that a characteristic func-
tion which has no indecomposable factors is always infinitely divisible. We
have seen from theorem 6.2.3 that the converse is not true; i.e. an infinitely
divisible characteristic function can have indecomposable factors. This
situation suggests the investigation of the family of infinitely divisible
characteristic functions which do not admit indecomposable factors. This
family is usually denoted by J, and one of the most important problems of
the arithmetic of distribution functions is the study of the class J). The
present chapter deals with this topic.
It follows from theorems 8.2.1, 8.2.2 and 8.2.3 that the class J, contains
the Normal distribution,®) the Poisson distribution, and the convolution
of a Normal and a Poisson distribution. Theorems 8.2.5 and 8.2.6 provide
other examples of members of Jy, while an example given on page 251
shows that not all convolutions of Poisson-type distribution functions
belong to J).
A systematic study of the class J) was carried out by Yu. V. Linnik; his
work was first published in a series of papers in the Russian probability
journal and later presented in a monograph [Linnik (1964)]. These investi-
gations were continued by other authors.
+ [alta F are
. i eee (i
where a is real, y > 0, and where the functions M(u) and N(u) satisfy the
itu )
We shall call M(u) and N (u) the spectral functions of f (2), or of the
corresponding distribution function F'(«); more specifically, we refer to
M(u) [respectively N(u)] as the spectral function of the negative [res-
pectively positive] spectrum. The negative [respectively positive] Poisson
spectrum of the infinitely divisible characteristic function f(t), or of its
distribution function F(x), is the set of all points of increase of the function
M (u) [respectively N (u)]. We write Su and Sy for the negative and positive
Poisson spectrum respectively. We call the set Sy U Sy simply the Pois-
son spectrum of f(z) [or F(«)]. An infinitely divisible characteristic function
is said to have a bounded negative [positive] Poisson spectrum if there
exists a number d [respectively 5] such that
+B dale ee
tends to zero as ¢ approaches zero. The numbers »; and yu; are called the
Poisson frequencies of f(¢). The A; and 4_; are called the energy parameters
of the frequencies yz; and v; respectively. sf
We also introduce a class\*) Y of infinitely divisible characteristic
functions which has the following properties:
(i) The Poisson spectrum of a characteristic function fe # is
(*) This class should not be confused with the class of self-decomposable characteristic
functions (L-class) treated in Section 5.11.
264 CHARACTERISTIC FUNCTIONS
where
ais teal, y.2 0,7,,,.2 00 — 152,77 = 0, ey Pc.e
Bina > 0; Umo< 9.
(ii) 3 y Age fine bine) “1
= < 0.
r=1 m=— 0
(iii) DS An, M2, tends to zero as e > 0),
|umr|<e
RO at Ce Maresa
(*) Condition (ii1) is a consequence of (ii).
CHARACTERISTIC FUNCTIONS WITHOUT INDECOMPOSABLE FACTORS 265
converges absolutely and uniformly on any bounded set of the z-plane, so that
f(&) ts an entire function. Moreover the estimate
f(8) = O{|2|?(1 + exp [a Re (z)])}
holds as |x| > o.
Lemma 9.1.2A. Suppose that the function f(z) admits the representation
f(z) = Bd,
as
exp (Ps
p=0
2p
TE:
where the coefficients d, satisfy, for some k > 0, the relation
d,= Ofexp (—kp?)] asp > o.
Remark. 'heestimate (9.1.7) follows from (9.1.6). It would therefore be
possible to use (9.1.7) as a necessary and sufficient condition for the series
representation of f(z). In view of the later application of the lemmas it is
more convenient to present the necessary and the sufficient condition
separately.
We now proceed to the proof of theorem 9.1.1 and suppose that f(f) is
a characteristic function of the class ¥ which satisfies the condition
(9.1.5). Then 4(t) = log f(t) can be written in the form (9.1.4); we con-
sider first the positive Poisson spectrum of f(t) and write
= i Tn i t
Ss Ag (crm 1 — - )
Pa Dit fina
e tlaat = = tims t
oe An i )>, Neg hi
Bi DS An (1
te ma )
a ‘ (« 1 =i Has m=1 fine m=1 % 1 aie te
= $,+S,+S3 (say).
0
Let N(u) = — DS Anae(u—Mn»)- We can then write the first sum S, as
266 CHARACTERISTIC FUNCTIONS
an integral
She |+0 (om—1- 14+u?
sti )avo.
Hot ,
This integral has (if we put 7 = z) the form of the integral in lemma 9.1.1.
We see from (9.1.3b) that the conditions of the lemma are satisfied, and we
conclude that S, is an entire function. We can therefore consider Sj also
for complex values of the variable ¢ and obtain from lemma 9.1.1 the
estimate
Sy = O{|t? (1+ exp [o, Im (2)])}
as |t| > oo. Since f(t) e #, the quotients w,,,u;7 are integers greater
than 1, and we can write
r=1
coo)
m=—-o
dno sina) pt 2
We substitute for y = 2 w,,' and obtain (using property (iv) given in the
definition of the #-class) that
s=1 2
2 7\2 27 \2
+2 > Thies eltmaat (sinPm )+y (=)
L fsa
We note that
2 s—2 ‘A
s—2 IU
= o(eMt)
. 7t
as t > 00 and
: 4 m,2
>> Awe eeeat (sinPm2t < > Ang =
DIS CD Msa [Hamel <M
We conclude from (9.2.2), (9.2.4) and the last two estimates that
(2.2)
0 < u(t, 0)—H(t, 248) < (Bay +0(0) (sin=) exp yaa
2
8,1
8,2
We next derive an estimate for f(z). It follows from theorem 9.1.1 and
from the definition of g(z) that
(9.2.7) $(—iz) = Off |? exp [N(Re (2))*]}.
Moreover we see from theorem (8.1.3) that
(9.2.8) M(r;g) < 6rM(r+1, ¢)+O(r?)
and obtain the following result:
Lemma 9.2.1. For all complex z (z = t+iy; t,y real), the estimate
g(z) = Of{|
2| exp [NV (Re (z))?]} (|2| > 0) holds. Here N is a positive
constant.
Let g be an integer (positive, negative or zero) and put
9.2.9) Sae(2) = g(2) eXP (—Mye2) (r= 1,2),
and write
tyr(t, ¥) = Re[ga-(¢+2y)] (¢, y real).
We shall need estimates for the expressions u,,(t, 0) —u,,,(t, 27,1). One
has
uit 0) Us, cut) =
The summands g'*) and g\,) ave entire functions which are real for real 2 and
which admit the estimates (as |z| > 00)
H(z) = ae exp [N(Re(z))*]} #f Re(z) > 0
pie ten if Re(2) < 0
far (2)=
O(\z |) ifRe (2) > 0
O{|z | exp [N(Re(2))"]} if Re(z) < 0.
Here N ts a positive constant.
It follows from the definition of the function g,,(z) that it is real for real
= and that
(9.2.11) gy,(2) = Of] 2? exp [N(Re (z))*]}.
Let 0 < a < bandH > 0 and consider the rectangle which has the points
a+1H, b+iH, b—iH and a—1H as vertices. We integrate the function
2° Sar (S)
2nil® (€ — 2)
along the contour of this rectangle. According to Cauchy’s theorem, this
integral is equal to g,,(z) if z is inside the rectangle, but equals zero if z
is outside the rectangle. It follows from the estimate (9.2.11) that the
integrals along the horizontal sides of the rectangle tend to zero as H tends
to 00, while a and 8 are fixed. Therefore
(9.2.12)
Bor (2)
2 a ee if a < Re(z) <b
Qni Joico C8(C—2) 2ni Ja-iw C3(E—z) ~~ )0 if Re(z) < a
oreehke (2) 2.0
We consider the function g‘*)(z) defined by
1+i0 Pe Clas
for Re (z) < 1.
Bar’ (2)= Ai, eek (Ga)
We see that the value of the integral defining g‘*) does not change if the
limits 1—zoo and 1+70 are replaced by b—ico and b+100 respectively,
where 6 > 1. This means that it is possible to extend g‘*)(z) into the half-
plane Re (z)> 1; therefore g‘*) (z) is an entire function. For values z with
Re (z) > 1 we select b > Re(z) and obtain the representation
.
2b b+%00
Sar(S)do_ 2% 5 |ro Sar (b+ ty) dy
(7213) Wy eka ahs ni ieio (8(C—2) 20) —w (b+ 1y)*(b+ty—2)
ee °
It follows easily that g‘t)(z) is real for real z. Combining (9.2.12) and
(9.2.13), we see that for Re (z) > 1
gi eine) ac
(9.2.14) Bos (2)= Ini Nae ees )
270 CHARACTERISTIC FUNCTIONS
Moreover
be Seas
Joo 9(Ode =OO) (lz bee
> &)
if |Re(z)—b| > 1. The estimates stated in the lemma for g‘t)(z) are
obtained from (9.2.14), (9.2.13) and (9.2.11).
We define
Bir (®) = Sar (®)— Sar’ (2)
and obtain easily the second estimate of the lemma.
We saw that the functions g‘*) (z) and g‘;)(z) are entire functions which
are real for real z. The Maclaurin expansions of these functions therefore
have real coefficients, so that git) («+zy) and g\t)(«—zy) [respectively
& 7’ (x+1y) and gi,’ (x—zy)] are complex conjugate for x and y real. Writing
Uae(*,¥) = Relgi (x+y), wa’(% ¥) = Re[gi,’ (x+y)]
we have
ais) {tele9) = Hate ro) +a ON
Use (% Y) = 318c9 (wt iy) +807 (x—-vy)].
The functions on the right-hand side of (9.2.15) are entire functions. One
can therefore consider the equations (9.2.15) as definitions of u{ («, y) and
u\,) (x, y) for complex x (and fixed y). We use the estimates of lemma
9.2.2 and see that
‘ Oe O{|x |> exp [N (Re (x))?]} if Re (x) > 0
(9.2.16a) uw, (*,y) = ees Ane (get
Lemma 9.2.3. Suppose that the function f(z) is regular in the half-plane
Re (z) > 0 and that it satisfies the conditions
(i) 1f@)| <Myla+1l° for Re (z) = 0
(i) |f(z)| < M,e*(z+
1) for Im (z) = 0
(ii) |f(z)| < Mz; exp [d(Re (z))?]|z+1|* for Re(z) > 0
where M,, M, and M, are positive constants, while a, b, c, d are non-negative
constants and c > a. Then
|#(2)| < Mi |s+1|* exp [6 Re (2)]
in the half-plane Re (z) > 0.
Lemma 9.2.4. Let f(z) be an entire function which satisfies the condition
|f(z) |< exp {& Re (z)+ O(log |2|)} [Re (z) > 0]
where k is some real constant. se that f(z) can be represented in the form
Lemma 9.2.6. The eb git) («) and gi.)(x) admit the expansions
where the c; are constants (which depend on the stpbr ee subscript q).
We eHgaee constants c; (also depending on q) such that the polynomial
P{x) = > c;x satisfies the equation
j=2
5
P(x+A)—2P(x)+P(x—2) =>} ¢;x!.
j=0
The function
(9.2.20) h,(x) = h(x)— P(x)
CHARACTERISTIC FUNCTIONS WITHOUT INDECOMPOSABLE FACTORS 273
then satisfies the equation
hy(x+A)—2h,(x)+h,(x—A) = 0
so that the function
hy (x) = hy (x)—hy(x—A)
is periodic with period A. From the definitions of the functions h, («) and
h, (x) and from lemma 9.2.2 we see that h,(«) is an entire function and that
for large | x |
h rs ee |? exp [N(Re (x))"]}_ if Re (x) > 0
2) = VO x |) if Re (x) < 0.
The conditions of lemma 9.1.2B are satisfied, so that
(9.2.23)
€,(2) = Sra)
is
(2) EXP (Maa ®) S02’
ie
(2) XP (My22)-
ty (2) = 842 (2) exp (Mas 2) 8a (2) exp (Hoa 2).
We apply the estimates of lemma 9.2.2 to these representations and see
that
1,(2) = Of 25 exp [ag Re (2)]}_ if Re (2) > 0
/,(2)= Off exp [!4g2 Re (z)]} if Re (2) <<0
as |z| > 00.
274 CHARACTERISTIC FUNCTIONS
(9.2.24b) LL, (2) = O{|s|? exp [741 Re (z)]} for Re(z) > 0
O{|2|? exp [M42 Re (z)]} for Re(z) < 0
as |z| —> oo.
We introduce the functions
(9.2.25) ce (3) = Bit(2) -; k (z) exp (Mas 2)
where L,(z) is the function defined in (9.2.24). The functions h,,,(z) are
entire functions and are real for real z. Let z = t+1y (t, y real) and write
(9.2.28) Hyq(ty)) = Igy (t)— Hegy (t+ 9) + g(t).
The right-hand side of this equation is for fixed y an entire function of f.
The function H,,(t, y) can therefore be continued into the complex plane,
and we write H,,(x, y) for its analytical continuation. We consider the
function H,,,(x, y) for fixed real y and complex x and use the estimates
of lemma 9.2.2 and formulae (9.2.25) and (9.2.28) and see that for
|x| + 0,
(0.2.29a) Cee {oH# exp [IV(Re (2))?|} for Reia)i.0
O(| x |) for Re (x) < 0
Lk O(|x |") for Re (x) > 0
(9.2.29b) Hy» (*, y) = oe exp [N (Re (x))?]} for Re (x) < 0.
CHARACTERISTIC FUNCTIONS WITHOUT INDECOMPOSABLE FACTORS 275
Let
A,(*, y) = L,(*)—3[L,(x+
ty) +L, (x—1y)].
The function A, («, y) is, for fixed real y, an entire function of the com-
plex variable x and we see from (9.2.24b) that for |x| > oo
Of) el Texp [pir Reta if Re (x) > 0
ow Aa(%¥) = a x :as AeRe x if Re i,< 0.
For real ¢ and real y we have
Hh,(t,y) = Ig,(t) — Re [gg (t + iy)]
A, (t, y) = L,(t)— Re [L, (¢+7y)].
Using these formulae, as well as (9.2.27) and the relation
u(t, y) = Re [g(t+zy)],
we see easily that
b, = 249 (sinMad
8,1
is valid. We give an indirect proof for (9.2.37) and assume that for some
integer m > g+2 the inequality (9.2.37) does not hold. Let p = uy. 4a
be the corresponding subscript. Then
® ein ane
Hy (:,-: = 2c\® (sinua) (1+0(1)) exp (fim—y,2) ast > 0.
m,1 m,1
asi —> + ©,
The last relation leads to a contradiction with (9.2.5), so that the validity
of (9.2.37) is established.
CHARACTERISTIC FUNCTIONS WITHOUT INDECOMPOSABLE FACTORS 277
The function H,, (x, y) can be treated in a similar manner. One obtains
an expansion corresponding to (9.2.34) with coefficients c and d'\2. One
can again show that
Ge) fOr pos 2, 31.%..
while the coefficients c\2 may be different from zero only if j belongs to the
set Jo = {Ug+n2/Ma2}p—1 and where
C2372) a0 < ee Oe ator SE
Hae
for m = q+2,q+3....
We write Gor = Aah 100 2D = fae) fa
and m = q+1,q+2,... and obtain from (9.2.26) and (9.2.27) the repre-
sentation
Pe foe)
— r=1
XZ D Ant xP (Hme 2) —L,, (2) +L,, (2).
m=q+1
We write A(z) for the sum on the left of (9.2.39) and see from (9.2.38a)
and from condition (9.2.1) of theorem 9.2.1 that
A(z) = O(1) for Re(z) < 0.
To estimate A(z) for Re (z) > 0 we use again (9.2.38a), (9.2.1), (9.2.24b)
and the fact that w,,. < 0 and obtain for the four terms on the right of
(9.2.39) the estimates
O(1), Ofexp [Ha,1 Re (2)]}, Of 21? exp [aa Re (2)]}
and O{| z|? exp [m,,; Re (z)]} respectively. Therefore
A(z) = Of{|2|? exp [u,,, Re (z)]} for Re(z) > 0.
We see that the function A(z) satisfies the conditions of lemma 9.2.4
with k = m,,1,4; = 0 if jis not one of the integers {u,,1/M@ga}m—a+1 O7 = 0
for j= 0, +1, +2...; T = 2n/u,,,. Then w = 1 and we see that
—A = 0 for m = q.+1, q2+2,....
Ae)
Similarly one can prove that
Ag —Ane = 0 for m= q2+1, q2+2,....
278 CHARACTERISTIC FUNCTIONS
Since q, and q, are arbitrary we conclude that the 4'”, do not depend on q;
we therefore write /,,, instead of 4, and obtain the following representation
for g(2):
241)
fal
$a)= BB r=1 m=—c
Aa (emer —1 ine)
ee 1+ ,2,, ;
_ We repeat the reasoning used in the proof of theorem 9.1.1 and see that
@(z) is an entire function and that
(9.2.42) —$(z) = O{|2|* exp [M(Re (2))"]}
where N > 0 is a constant.
We introduce the function
L(z) = g(z)-4(z).
To prove theorem 9.2.1 we must show that
L(z) = f2*+Bz
where f is real while 7 > 0.
The first step in the proof is the demonstration that L(z) is a polynomial
of degree not exceeding 3.
We see from (9.2.42) and lemma 9.2.1 that there exists a positive con-
stant A such that
[L{2)| < Alz|® for Re{ze) =.
According to formulae (9.2.40) and (9.2.40a) we can represent L(z), for
each g-= OF 1) 2s as
2 fo) re:
eee My yee (14o ee )
TrT=1 m=a+t+l1
Using these estimates for )}, and ¥, and the estimate (9.2.24b) for L,(z),
we conclude that
so that the characteristic function f,(t) belongs to the class #; this means
that every factor of f(t) is infinitely divisible, ie. f(t) € J) and theorem
9.2.1 is proved.
Theorem 9.2.1 gives a sufficient condition which assures that a charac-
teristic function f(t) of the class Y belongs to I). This condition can be
weakened if f(t) belongs to a lattice distribution. I. V. Ostrovskii (1964)
obtained the following result:
(*) We say that an infinitely divisible characteristic function has a Gaussian com-
ponent if y > 0.
(t) This means that in the decomposition
N(u) = a, Na(u)t+a,Ne(u) (a, > 0, ag > 0, ay tay = 1)
of N(x) into a discrete and a continuous component, a, # 0 and Ne(u) is not constant.
CHARACTERISTIC FUNCTIONS WITHOUT INDECOMPOSABLE FACTORS 281
with a continuous spectral function N(u) for which N(b,) > N(b,).
According to theorem 8.2.9 it is possible to determine positive numbers »
and 7 so small that
bs
Js(t). = exp {= | (ei — 1) dN (u)— we"— 1)}
by
is a characteristic function. Since f(t) is not infinitely divisible it necessarily
has an indecomposable factor. Writing
Ff) = AOA) exp W(e"-1)},
we see that f(t) has an indecomposable factor. This contradicts the
assumption f(t) € Jo, so that (wu) cannot have a continuous component.
The same argument is used if the negative Poisson spectrum has a non-
constant continuous component. We see therefore that f(t) ¢ J, implies
that the spectrum of f(t) is either denumerable or finite. We can therefore
write log f(t) in the form
(9.3.1) log f(t) = ait—yt?+ > a (ew ve =e.)
a 1+;
roo) tS ere ity; )
5 3 16 ; 1492)’
where) 1; > 0,A_; > 0,y > 0. Ifthe spectrum is denumerable we assume
that the conditions (9.1.3a) and (9.1.3b) are satisfied. Suppose that the
positive Poisson spectrum contains at least two points, let w and u’ > wu be
two frequencies of the positive spectrum and let A and 2’ be the corres-
ponding energy parameters. We show next that the quotient « = w/w’ is
-a rational number. The characteristic function f(z) then has a factor
filt) = exp {—yt?-+A(e—1) +2’ (et#/4—1)}.
If « is irrational then it follows from theorem 8.2.8 that f, (¢), and therefore
also f(£), has an indecomposable factor. This contradiction shows that «
is necessarily rational, say « = p/q, where p and q are integers and can be
assumed to be relatively prime, p < g. We apply the reasoning used
before and use theorem 8.2.7 to conclude that f,(¢), and therefore also
f(t), has an indecomposable factor unless p = 1. The negative Poisson
spectrum is treated in a similar way, so that f(t) belongs to the class Y.
Remark. 'The presence of a Gaussian component is essential since y > 0
is necessary for the validity of theorems 8.2.7, 8.2.8 and 8.2.9.
Lemma 9.4.1. Let A be a closed set on the real line which is contained in the
finite interval [a, b], where0 < a< b < ow. Then (o)A ts a closed set.
We note that (n)A c [na, nb], and since a > 0 any finite interval can
intersect at most a finite number of the sets (7)A. Let x € (00)A; then there
exists a sequence of points {x,,} in (co)A which converges to x. The interval
(x—1,«+1) contains therefore almost all elements of this sequence {x;}.
However, the interval (v—1, «+1) intersects only a finite number of the
sets (n)A. Therefore there exists at least one set (x)A which contains an
infinite subsequence of the {x,}. The set (x)A is closed(f) so that x € (n)A
and therefore also x € (00)A; hence (0)A is closed.
(t) We have seen in Section 3.7, p. 57, that the vectorial sum of two closed and bounded
sets is closed.
CHARACTERISTIC FUNCTIONS WITHOUT INDECOMPOSABLE FACTORS 283
Here Nj" denotes the k-fold convolution of N(x) with itself. We see
from lemma 3.7.4 that
Sw, = (B)Sx, = (RA = (A.
It follows from (9.4.1) that
(9.4.3) Sr =([(o)A] {0}
where {0} is the set containing only the point 0.
We assume now that f(/) admits a decomposition
f(t) = fi(t) fo(?).
Then
B(x) = F(x) * F(x),
where F',(x) and F(x) are the distribution functions corresponding to
fi (é) and f,(t) respectively. We see from (9.4.1) and from the assumption
concerning the spectrum A of N,(uz) that log f(t) is an entire function of
order 1 and type not exceeding b. Therefore f(t), and hence also f, (t), is an
entire characteristic function without zeros. Moreover, we conclude from
corollary 1 to theorem 8.1.3 that log f, (z) is an entire function of type not
exceeding b.
We see from lemma 3.7.4 that
Sr = Sr(+)Sr, > Sr (+)S-F,;
since [0, 00) > Sp we conclude that Sp, and Sp, are both bounded from
the left. It is no restriction(}) to assume that the infimum of Sz, is the
point 0. Then 0 € Sp, and 0 € Sz, so that
(94-4) Sp U Sp, © Sp.(+)Sp, © Sr.
We see from (9.4.3) that the point 0 is an isolated point of Sp. Let
a, < a and write V = (—a,,0) U (0, a,) for the union of the two open
intervals (—a,, 0) and (0, a,). We see from (9.4.3) that V does not contain
any points of S, therefore V < S‘,. We conclude from (9.4.4) that V < S%,
so that the point 0 is an isolated point of Sp. This means that /’, has a
discontinuity at the origin. Let d be the saltus of F, at 0. Then F,(x) =
de(x)+G(x), where d > 0 and where G(x) is a non-decreasing function of
bounded variation such that
(O45) (co) Ane [a.c).
The characteristic function f, (¢) of F’,(«) is therefore given by
ae aes iP dG(2).
(+) This can be shown by replacing F(x) by F,(x+-8) and F(x) by F,(x—8) where
5 = lext [F,]-
284 CHARACTERISTIC FUNCTIONS
We select a positive real number 7 so large that | e~™® dG(x) < d and
a
Here z = t+vy (i, y real) and N(u) is non-decreasing in the half open
interval [a, 2a) over which the integral is taken. We have therefore to
prove only that A > 0. We give an indirect proof and assume tentatively
that 2 < 0. An elementary computation shows that
We note that
lim e4—"' (cos tu—1)dN(u) = 0,
yo [a,2a)
286 CHARACTERISTIC FUNCTIONS
therefore
fi(tot+vy) = exp {—e>*"[A—o(1)]} as y — =o.
fi (yy)
If 2 < 0 this means that Aultot)| 5 1 for y < 0 and |y| sufficiently
f(y)
large. But this contradicts the ridge property, so that A > 0. Hence the
theorem also holds in the case where b = 2a.
Remark 1. The assumption that 0 < a and b < 2a is essential. If
a=0 or b > 2a then theorem 6.2.3 (respectively theorem 6.2.4) can be
used to construct counter-examples.
Remark 2. An analogous result can be obtained for infinitely divisible
characteristic functions without normal component with bounded negative
Poisson spectrum.
Theorem 9.4.2 has an interesting consequence which illustrates the
important role of the class I).
A set A of points on the real line is said to be a set with (rationally) in-
dependent points if every finite subset of A is a set of rationally independent
points.
with
Sy < [00(A)] A [a, 8],
In view of (9.4.12) we can write
Then
We see from (9.4.14) that the function exp |x Pn (| is, except for a
n= 1
Hence
ip€ dGtx)earexp jer ibiekdN (|
- Zarmyvm (Aran)
=v
. (2)A i hae (); ry ({(n)A ae ():
or
(415) | edG(x)= ah...
so that
G(x) = SNE
* NE *... Ni/(Ry! Ro! ... Rn!)
The function Ti Ne* has as its spectrum the set
We see therefore that the expression on the right of (9.4.16) is the co-
efficient of y” in the expansion of
(9.4.17) exp [yi (t) ty? b2(t) +... +9" on (4)].
It follows that (9.4.17) is, except for a constant positive factor, a characteris-
tic function, provided y > 0. We also see from (9.4.16) that
|edo(e) = 41(0,
so that ¢,(t)/¢,(0) is a characteristic function. Since, according to our
assumption, fi (¢) is a factor of f(t), there exists a characteristic function
f(t) such that
(9.4.18) fi®f®) =f)
and we can repeat the earlier reasoning and show that
(9.4.19) f,(t) = Cexp (dt+y,(4)+y2(t)+...+Yn(2)}.
Here C and 6 are constants while the functions y,, (#) have the form
Theorem 9.5.1. Let f(t) be a characteristic function which admits the repre-
sentation ;
where the parameters occurring in this representation and the function L(z)
satisfy the following conditions :
(a) 5 > 0, Ey < 3
(b) n, and n, are integers such that —0 <n, < © (r = 1,2) and
M6, > M252;
(c) n, and nj, are integers, n, > n, and n, > 0 (r = 1,2) [if n, =
n—1
then the sum ) 1s omitted];
rr
log hi (t) = 3bee (4, + 6,,it) exp (7pé, t)+ oy Amp EXP (rar) }+ Li,
where thea,, a, b,,,are real constants and where the Me any satisfy the
inequality 0 < Ruy < Am,» The function L(z)is entire, real for realx,and the
estimates
z)]} if Re(z) > 0
de i 2 | exp [£, Re(z)]
O{| | exp [& Re( } if Re(z) < 0
hold for |z| > o.
Corollary to theorem 9.5.1. Suppose that the conditions of theorem 9.5.1 are
satisfied and that
L(z) = (y2?+ Be+a)e”
with «, B, y and y real and n # 0, where
max [(m,—1)&,, maf] < 4 < min [(n,—1)&., 2, &].
Then the function L(z) which occurs in the representation of f,(t) is given by
L(z) = & with & > 0.
For the proof of theorem 9.5.1 and its corollary the reader is referred
to the paper by I. V. Ostrovskii (1964). In this paper Ostrovskii also con-
siders the case where the constant 7 = 0 or where L(z) = 0. The same
paper contains several theorems similar to theorem 9.5.1.
Theorem 9.5.1 and its corollary can be used to derive conditions which
assure that the convolution of Poisson-type characteristic functions belongs
tod @:
(*) It was shown in Section 8.2, p. 252, that such a convolution does not necessarily
belong to Ip.
10 «-DECOMPOSITIONS
(014) TTH@l =f
holds in a neighbourhood of the origin. Then the functions f,(t)(j = 1,2,...,5)
are analytic characteristic functions and are regular at least in the strip of
regularity of f(t) and (10.1.1) is valid in this strip.
In the following we write, as usual, F';(«) and F(x) for the distribution
functions corresponding to f;(t) and f(t) respectively. We show first that
the theorem holds if the distribution functions F(x) (j = 1, 2,...,s) and
F (x) are symmetric.)
(*) We will use in the following the properties of symmetric distributions, mainly
theorems 3.1.2 and 3.1.3.
&-DECOMPOSITIONS 293
We note that it is no restriction to assume that
(10.1.2) EE LAL mel es ees
This can always be achieved by raising both sides of (10.1.1) to an integer
power.
We first prove) that the second moments of the distribution functions
PF x)(j = 1,2,..., 8) exist. The characteristic functions f;(¢) are real and
so that
f(t) < exp te [ sint a,
Let 4(¢) = log f(t) be the second characteristic of F(x); we see then from
(10.1.1) that
8 co E
OL; | sin? 5 fF, (x) < —$¢4(2)
—
j = ad
hence
c t 1
[sine Sa (x) = WO) Go 1,2,..-.5),
We write x; for the jth cumulant of f(t) and note that x,,_, = 0 (j = 1,
2,... ad inf.). It follows from the preceding inequality that
© sin? 4(ix QOL) AK
[pare < ae = are as t >0.
contains all the derivatives of order 2k while S(t) contains only derivatives
of even order not exceeding 2k—2; the summand S,(f) consists of all
(*) The proof was suggested by R. G. Laha.
294 CHARACTERISTIC FUNCTIONS
terms which contain a derivative of odd order. We note that each term of
S(t) necessarily contains two derivatives of odd order, so that [see state-
ment (i) of the corollary to theorem 3.1.3] S,(0) = 0. We remark further
that each term on the left side of (10.1.3) has, except for a constant co-
efficient, the form
y
ioy inp pasc
f(t) i ane [
Jan (8) J weedeat) Fam(t)
where each a; is one of the integers 1, 2,...,s5 and where the positive
integers 71, To)... +) %m and 14, Mo, ..., Mm satisfy the relation
t2
t>0
also has a finite limit as ¢ approaches zero. Then this is also true for each
summand on the right of this equation and we use again Fatou’s lemma to
conclude that the moment of order 2k+2 exists for the distribution func-
tion F;(x) (j = 1, 2,..., 5). This completes the induction.
We prove next that the functions f;(¢) are analytic characteristic func-
&-DECOMPOSITIONS 295
tions. We raise equation (10.1.1) to the power 2k and differentiate it 2k
times. We write g(t) = [f(t)]** and obtain
(10.1.7) S,*()+S,*()+S,*(2) = 2 (0).
Here S,*(t), S,*(¢) and S,*(¢) contain the same kind of terms which we
had in S,(t), S,(t) and S, (t) respectively; expressions (10.1.7) and (10.1.3)
differ only in the numerical values of the coefficients. This difference is due
to the fact that we raised (10.1.1) to the power 2k. We have then
We conclude from the fact ‘se we raised (10.1.1) to the power 2k that
S,*(0) = (—1}FC
where C is a positive constant. It follows then from (10.1.8) and (10.1.9)
that
02 = Fell
(0) a” 1M
= OH!
2
|LEI”
Nee we
where C is the circle |z | = R/2. Let M, = sup |f(z)|, then
C
0 = (Ze\UMs,
296 CHARACTERISTIC FUNCTIONS
(10.1.12) 2 [g(r
+ w)]” mutt et =S A
[e(ra +)”
_ dy,
bs 2n1 wrt
Let
dw”
[s(r4+~)]” w=0
< ny a" @ ricer
o”
Lemma 10.1.1. Let g(z) be an analytic characteristic function which has the
strip of regularity —« < Im(z) < B and choose a real n such that —« <
n < B. Then
298 CHARACTERISTIC FUNCTIONS
H(x) = 5) em ac(y)s
this is a distribution function and we see that
Lak iy 2 ‘iar
A(t) = C | Eee PAGhy = | eo" atl (x)
(0114) TTP =f
holds in a real neighbourhood of the origin. Then the functions f;(t) are
analytic characteristic functions and are regular, at least in the strip of
regularity of f(z), and the relation (10.1.14) is valid in this strip.
This theorem also has a modification which corresponds to theorem
10si-la:
Suppose that f (t) is an analytic characteristic function which does not have any
zeros in its strip of regularity. Let {t,} be a sequence of real numbers such that
t, £0 and lim t, = 0. Suppose that the relation (10.1.14) holds at the
ko
points t,; then the functions f,(t) are analytic characteristic functions and are
regular, at least in the strip of regularity of f(t), and the relation (10.1.14) is
valid in this strip.
The proofs of theorems 10.1.2 and 10.1.2a are very similar to the proof
of theorem 10.1.1 and are based on the same idea. One begins by sym-
metrizing the characteristic functions and proves first that the second
moments of the f;(t) exist and then, by induction, the existence of all
moments of the f;(t). This is done by dividing the (2k)th derivative of f(¢)
into three sums, exactly as in the proof of theorem 10.1.1. The proof of the
analyticity is also based on the idea used in the earlier proof and leads to a
majoration of the moments as in (10.1.1). The reasoning is, of course,
more complicated than in the case of the proof of theorem 10.1.1, since
infinite series occur and require a careful consideration of technical detail
to justify the necessary operations (such as the term-by-term differentiation
of the infinite series). The proof that relation (10.1.14) is valid in the strip
of regularity is obvious in the case of theorem 10.1.1 but calls fora more care-
ful discussion in the case of denumerable «-decompositions. In view of the
similarity of the demonstrations we omit here the proof of theorems 10.1.2
and 10.1.2a and refer instead to the book of B. Ramachandran (1967) where
the proofs are presented in full detail.
The preceding theorems of this section contain the assertion that the
characteristic function f(t) on the right-hand side of (10.1.1) and of
(10.1.14) does not vanish. It was shown by B. Ramachandran (1965) and
by R. Cuppens (1963b) that this restriction is superfluous [see also B.
Ramachandran (1967)].
Results which are in some respects similar to theorem 10.1.1a have been
obtained by several authors. We mention here a theorem which is due to
R. G. Laha (1960).
Theorem 10.1.3. Let {t,} (Rk = +1, +2,...) be a sequence of real numbers
such that t, > 0 while t_, = —t, for any k > 0 and lim t, = 0. Let f(t) be
k—>0o
a characteristic function and let y(z) be a function of the complex variable z
(z = t+1y; t, y real) which is regular in a circle about the origin. Suppose
that f(t.) = p(t.) for all k; then f(t) is an analytic characteristic function and
f (2) = v(z) in the strip of regularity.
For the proof we refer the reader to the paper quoted above. The follow-
ing particular case is sometimes of interest.
Corollary to theorem 10.1.3. Let f(t) be an even characteristic function and
let p(z) be a function of the complex variable z (xz = t+ty; t, y real) which is
&-DECOMPOSITIONS 301
regular in a neighbourhood of the origin and which is even for real values of the
argument. Suppose that {t,} is a sequence of real numbers such that lim t, = 0
k>o
and that f (t,) = y(t.) for all points t,. Then f(t) is an analytic characteristic
function and f(z) = »(z).
But this means that the order of g;(z) cannot exceed the order p of g(z).
We see finally from theorem 8.1.2 that the order of f;(z) cannot exceed p.
We next consider applications of these results.
Suppose that f(¢) = exp [jut—402?]. It follows then from theorem
10.2.1 that the functions f;(t) are entire functions of order not exceeding
2. Moreover, one sees from (10.1.1) that the f;(¢) are entire functions
without zeros and must therefore have the form
f(t) exp [enjt 44527) Gy = 2a 755).
We have therefore obtained the following theorem:
(10.25) TELA@I = f@
holds. The characteristic function f;(t) then belongs also to a lattice distribution
F(x). Moreover, if f(x) is an entire characteristic function without zeros
which belongs to a lattice distribution whose lattice points are the non-
negative integers, then each F(x) is a one-sided lattice distribution whose dis-
continuity points are contained in a set of the form u;+v(v = 0,1, 2,... ad
inf.) where
LX Xf; = 0.
en
The first assertion of the theorem is an immediate consequence of
theorem 2.1.4. If f(t) is a lattice distribution then there exists a real
&-DECOMPOSITIONS 303
to # 0 such that |f(t,)| = 1. But then necessarily |f;(¢.)| = 1 (j = 1,
2,...,5), so that f;(¢) also belongs to a lattice distribution.
To prove the second part of the statement we apply formula (7.2.3a) and
see that
(10.2.6) lext [F] = —lim (1/y) log f(ty) = 0
yoru
where
where sia
(GPA ee ae ayaa)
p? 20, Dp? =1
and inte
Xi %5 fly = 0.
j=1
304 CHARACTERISTIC FUNCTIONS
It follows from the last equation and the assumption (10.2.9) of the theorem
that
$ foe) Oj ;
(LOZAL ce wil: |Spo e*| = exp [A(e"—1)]
j=1 +7=0
holds for real t. We see from theorem 10.1.1 that the functions f;(t) are
entire characteristic functions and conclude from (10.2.11) that they have
no zeros. Relation (10.2.11) is therefore valid also for complex values of the
variable. We put w = e” (z complex) and write
j=1
The power series for the functions g;(w) and also for the function
g(w) = exp [A(w—1)] have non-negative coefficients, so that
M(r; gi) = 8:(7)
and
M(r; g) = g(r).
Since for r > 1 the functions g;(r) and g(r) are increasing functions of 7,
we see that
&i(r) > (1) = 1
and conclude from (10.2.12) that
8i(r) = M(r5 85) < exp Ar—1)]
for r > 1. The function g;(w) is therefore an entire function of order not
exceeding 1. Since it has no zeros, we conclude from Hadamard’s factoriza-
tion theorem that it has the form
§3(w) = exp (A; w+ B;)
or, since g;(1) = 1,
&;(w) = exp [A;(w—1)].
We see finally from (10.2.9) that
f; (t) = exp [A, (e*—1) +ip,;t]
so that the theorem is proved.
Remark. 'The statements of theorems 10.2.2, 10.2.3 and 10.2.4 are also
valid if one replaces the assumption that (10.2.4) [respectively (10.2.5) or
(10.2.9)] is valid in a real interval containing the origin by the assumption
that these relations are satisfied in the points of a sequence {¢,} such that
&-DECOMPOSITIONS 305
t, # 0, while lim ¢, = 0. It is also possible to derive corresponding de-
k—>oo
numerable «-decomposition theorems.
Yu. V. Linnik (1959) obtained an «-decomposition theorem for infinitely
divisible characteristic functions.
Theorem 11.1.1. Let F(x) be a distribution function and f(t) be its charac-
teristic function. The function f(t) is the boundary value of an analytic
function A(z) (2 = t+ty; t, y real) which is regular in the rectangle
|t] < A,0 < y < bof, and only if, the integral | e—” dF (x) exists and is
finite for 0 < y < b but does not exist for y < 0.
We first prove that the condition of the theorem is sufficient and assume
therefore that
|fxe-¥* dF (x)
BOUNDARY CHARACTERISTIC FUNCTIONS 307
is finite for 0 < y < b. Let
nla) = |geedF(x)
(11.1.1) —e
2.(2) = ieeo dix):
The function g,(z) is regular for Im(z) < 6, while g,(z) is regular for
Im (z) > 0. Therefore
&1 (t) 1 it
= ——— ear (x):
Miers >
This is an analytic characteristic function whose strip of regularity con-
tains the strip |Im (z)| < 5. Therefore
silo) = | er aria)
0
exists and is finite for |y| < 5. Since the integral | e "dF (x) exists for
0
y > 0, we see that | e ”"dF (x) exists and is finite for 0 < y < b, so
the necessity of the condition is proved if F(0) 4 0. In the case where
F(0) = Owe note that f(¢) = g,(t) and obtain the necessityof the condition.
A criterion analogous to the statement of theorem 11.1.1 holds for
characteristic functions which are boundary values of functions regular in
a rectangle {|t| < A, —a < y < 0} contained in the lower half-plane.
The argument used in the proof of theorem 11.1.1 indicates that a
308 CHARACTERISTIC FUNCTIONS
Lemma 11.1.1. Let f(z) be a boundary characteristic function with the strip
of regularity 0 < Im(z) < B and choose a real y such that 0 < 9 < f.
Then
f(z+™)
es
1 i Be
ee
h(z) =
nme:
Theorem 11.1.2. Let F(x) be a distribution function and f (t) its characteristic
function. F (x) ts bounded to the left (or right) if, and only if, f (t) ts regular in
the upper (respectively lower) half-plane and if
| f(2)| < 2
for some c > 0 and Im(z) > 0 [respectively Im (z) < 0]. The extremity of
F(x) 1s given by lext [F] = —lim y-? log f(ty) [respectively rext LF] =
The formulae for the extremities were derived in Chapter 7 under the
assumption that f(z) is an analytic characteristic function. We now see that
they are also valid if this restriction is dropped.
To prove theorem 11.1.2 we first note that the given distribution F(x)
and the distribution H(x) which is defined by (11.1.4) have the same
extremities. The statement follows immediately from lemma 11.1.1 and
from theorem 7.2.2 and its corollary.
Remark. A one-sided distribution function has either an analytic
characteristic function or a boundary characteristic function.
We next consider factorizations of boundary characteristic functions.
Lemma 11.1.2. Let F(x), F,(x) and F,(x) be distribution functions and
f(t), fi) and f, (t) their characteristic functions. Suppose that iW e~” dF (x)
N(u). This means that f(t) has a normal factor, in contradiction to lemma
t2Z.2:
(11) If M(u) is not constant for u < 0, then there exists a finite interval
[a, 6], a < b < 0 such that C = M(b)—M(a) > 0. The function
We write
fo (rote) an
Te-™ _14yu
R(y) = [. dN (u)
and get
(11.2.6) { wan a
If we can show that (11.2.6) implies
(11.2.7) lim R(y) =
yoo
1 ,
then it follows from (11.2.5) that lim 7 log f(iy) = oo. In view of theorem
yr
R(y) = (:oe
yu
31 2.
so that
It follows from (11.2.8) that lim R(y) = + 00, so that the necessity of (111)
yoo
is completely proved.
We prove next the sufficiency of the conditions (i), (ii) and (iii). We
assume that these conditions hold, and we obtain, for real t, the canonical
representation
itu
log f(t) = tat+ [(e- 1- i a) dN(u).
If we replace in the integral the real variable ¢ by the complex variable
z = t+ty then we obtain a function which is regular in the half-plane
y > 0 and continuous in y > 0. Therefore f(t) is either an analytic
characteristic function or a boundary characteristic function, and we see
from theorem 11.2.1 that the canonical representation is valid in the upper
half-plane. Therefore
(11.2.9) log f(zy) = -ay+ | (em oS
“Jan (y2 0).
We put
A) = |<
and see from (11.2.9) that
(11.2.10) — log f(y) = -ayty| >
qa dN (u)+yQ(y).
It follows easily from a aaa (iii) of theorem 11.2.2 that
\oa
ae— dN(u) < ©
and that
lim O(y) = 0.
yY> oo
where
then
P(x)= | pea (y)]e(o-8)
is also a discrete distribution. The distribution which is obtained for
om
Bayt
P(y)=e%=,
gist & ee
=v (v= 0,1,2,...)
is called the compound Poisson distribution.
(LIS
H(y) = & poe(y—me)
is a purely discrete distribution then (12.1.1) yields
F(x) = X pv G(x, m)-
We put here :
(b) |dH(y) = 1
are satisfied.
We note that the characteristic function of F (x) is
P(x) = e(x)|dH(y)
so that (b) must be satisfied.
We remark that condition (a) is necessary only to assure that the weight
function should produce a distribution function, whatever family, satis-
fying (i) and (ii), is used in (12.1.3).
We illustrate this by an example where a non-monotone weight function
is used to transform a suitably chosen family into a new distribution. Let
1
318 CHARACTERISTIC FUNCTIONS
re ~ eqtarculelic)(e)-vente)]
Phen
A(y) = x a, e(y—V).
(t) Here
Ox) = sr 3 eee ne rs
MIXTURES AND TRANSFORMATIONS 319
Theorem 12.2.2. Let A(z) be a function of the complex variable z which has
the property that f(t) = A[g(t)] ts a characteristic function whenever g(t) is
a characteristic function. Then A(z) can be represented by a series, convergent
for |z| < 1, which has the form
io.@) ice)
A(z) aa y v3 ann a” 3”
m=0 n= 0
where the a m,n are real and where a m,n 20 Gnd Siew Ci le
m=0 n=0
Clearly the function A(z) need not be regular; a simple example is the
function A(z) = |2|?. For the proof of theorem 12.2.2 we refer the reader
to the papers quoted above.
In a subsequent paper A. G. Konheim-B. Weiss (1968) investigated
transformations of non-negative definite functions into infinitely divisible
non-negative definite functions.({) They obtained the following result,
formulated here in terms of characteristic functions.
he seen
is an infinitely divisible characteristic function.
Let be an arbitrary integer and put ©
H(9) = ¥ a2)
where
* = 4 —» (+n)\(1+20)...01+(—1)n]
ay = Po Wile: “a, = a (np)!
Ok ese
is a characteristic function for any positive integer 1; in other words, f(t)
is an infinitely divisible characteristic function. Theorem 12.2.3 follows
also from the corollary to theorem 12.2.1 if we put
i Qhakele
and understand that A(z) is the principal value of this power.
We next discuss a few additional transformations. Let V(«) be a non-
decreasing function of bounded variation defined on the interval [0, /]
and let
aa) 2 | e dV (x).
Then the function g(z)/g(1) satisfies the conditions of the corollary of
theorem 12.2.1. Suppose that f(¢) is a characteristic function; then
na) - Hf)
g(1)
is also a characteristic function.
The transformation given by theorem 12.2.1 was derived by using a
step function H(¥) as the weight function of a mixture. We next specialize
Hy) in a different manner and assume that H(y) is a non-decreasing
function such that H(0) = 0 while H(1) = 1. Moreover we suppose that
g(t, y) is a function of the product ty so that g(t, y) = g(ty) where g(u) is
some characteristic function. We then obtain from theorem 12.1.1 the
following result.
MIXTURES AND TRANSFORMATIONS 321
H(s) == |"9*dF@)
is also a distribution function. We use in the following H(«) as a weight
function for certain mixtures.
Gees oe
(a) Let g(u) = Gare: be the characteristic function of a rectangular
322 CHARACTERISTIC FUNCTIONS
distribution. ‘Then
. Iinfemer4
k(t) = | s(ex) dt4(x) = = lhe rg dF (x)
2dF
tf” (0)
(b) Let g(u) = e’”; the same procedure shows that
h(t) = [= dF (x) = f i
is a characteristic function.
(c) We now modify our assumption and suppose that F(x) is bounded
to the left with lext ['] = 0 and that the first moment «, of (x) exists.
Then
0 ie ead
H,(x) =
=| ydF(y) ifx 20
a, J0
H, (2) = = (e-*),
2 ae 2
a, = ibey' P*(y) dy
be the moments of this mixture. Then
”
Cop = 0
oi He Ns (-* )ar(ayay.
eateryass Wtf OAS
We change the variable of integration by putting y = uV2x and see,
after an elementary computation, that
2k)!
(12.2.4) a = ee ry
MIXTURES AND TRANSFORMATIONS 325
where «, is the moment of order k of F(x). The characteristic function
f (Viz) has the expansion
f (Viz)= = ann 2°
so that
a) =} = 2k
k=0
Therefore
2 1)Fa
fis) = 5 a k tk
AD a; ae.
Helier 20)
oe) eit _]
= G(x):
We introduce the integral
6) = —f He)du= [=
326 CHARACTERISTIC FUNCTIONS
It is again possible to exchange the order of the integrations and one obtains
age dG
g(t) = | (e — 1 —itx) ae
APPENDIX B
Schwarz’s inequality
We prove this inequality in the form in which we need it: namely as an
inequality which refers to Lebesgue-Stieltjes integrals with respect to a
distribution function.
Let F'(«) be a distribution and consider two real-valued functions g(x)
and h(«) and suppose that g?(x«) and h?(x) are both integrable with respect
to F(x) over (— 0, + 0). Then
[-_ luste)
+0h@]2ar(a)
is a non-negative quadratic form in the variables u and v, so that the
discriminant of this form is non-negative. This yields
APPENDIX. C
APPENDIX D
Order and type of entire functions
We denote Be
(D1) Mr f)= ee |f(2)|
the maximum ete tdoff(z) in the circle |z| < r. This value is assumed
on the perimeter of the circle.
The order p of an entire function f(z) is defined as
and,
11 <7) p<./00;
For the proof of these statements we refer the reader to E. Hille (1962)
[see pp. 182-188] or A. I. Markushevich (1965) [see vol. II, Chapter 9].
APPENDIX E
It is easily seen that |k(z)| < 1 for|z| < 1. We write z = x+7y (x, y real)
and consider the case |z| > 1. Since
2 y
R(z) = | ”
(2—a)e du ia-*e* |ft) (z—x—iv)edv,
.
we see that
< 2ut(L+er®)(|2|2+]2))
a
= of (irs),2?[-H(P-Fa)J}
= oles (irs) el
2
The last estimate follows from the fact that ) exp |—a 2) |is
p=— ©
a continuous periodic function of x with real period kT/z and is therefore
bounded. If x = Re(z) < 0 we see that |f(z)| < & |d,| = O(1) and
p=0
lemma 9.1.2A is proved.
We proceed to the proof of lemma 9.1.2B.
We assume that the entire function f(z) is periodic with period 7T and
that the estimates (9.1.7) hold.
We expand f(zy) into a Fourier series,
i= | exp(= 0+.NO*)]|
We put 6 = ae and get the desired estimate
dy = O( — kp’)
here k
where = a
NT?
We next put
We let 0 - — o and see that a; = 0 forj > w = [kT /(2x)]. This com-
pletes the proof of lemma 9.2.4.
APPENDIX Fi
Chapter |
and Page Description of example
Section
#2 6 Table of discrete d.
iL? 7 Table of absolutely continuous d.
ee 8 Cantor d.
iD 9 Purely singular, strictly increasing d.
1.4 12 d.f. having moments of order inferior to m but not of order m
or of higher order.
1.4 13 Table of moments.
1.4 14 Recurrence relations for moments of singular d. (ref. to)—
1.4 1D, NS two different d.f. having the same sequence of moments.
Drill 18 Table of c.f.
Del 19 c.f. of Cantor d.
Dp 19, 20 Behaviour of L = a sup |f(t) |for singular d.
tl—oo
Des 22 c.f. for which f’(0) exists but not the first moment.
2.3 23 c.f. which is nowhere differentiable.
Des 24 A c.f. which has an expansion f(t) = 1+0(t), although the
first moment does not exist.
3.6 53 The weak convergence of a sequence {Fy} of d.f. to a d.f.
F(x) does not imply the convergence of the sequence of
moments of the Fp to the moments of F.
3.6 54 The weak convergence of a sequence {Fn} of d.f. to a
limiting d. F(x) does not imply the convergence of the cor-
responding densities.
3.7 67 Symmetric Bernoulli convolutions exhibiting different be-
haviour of L = lim sup |f(¢)|. c.f. of singular d. with L > 0
Or ll = ©, [elo-co
4.3 84-5 An absolutely continuous d. may have a c.f. which is not
absolutely integrable.
4.3 85 The c.f. of two different d. can agree over a finite interval.
Eyal 104 Multiple factorizations of c.f.
Sail 104 Cancellation law invalid in arithmetic of d.f.
eS 109 A c.f. which has no real zeros need not be i.d.
5a3 110 The absolute value of a c.f. is not necessarily a c.f.
55 121 Table of canonical representations of c.f.
DED 122 Two different c.f. can have the same absolute value.
525 122-3 Two different c.f. can have the same square.
Chapter
and Page Description of example
Section
Ded 122 |Ac.f. f(#) such that f(2) is not i.d. but |f(2) | is id.
D.9 122 | Ani.d. c.f. may be the product of two factors which are not
id.
BS) 123-4 |An id. c.f. which has an indecomposable factor (factor
explicitly given).
5.8 143 | A stable density with exponent « = 4.
6.2 176 | Ani.d. c.f. can be the product of a denumerable number of
indecomposable c.f.
6.2 {79 |i.d. c.f. which have indecomposable factors.
6.3 183-4 |c.f. of an absolutely continuous and unbounded indecom-
posable d.
6.3 184 | Product of two c.f., neither of which has a normal component,
can have a normal factor.
6.3 185 | Product of two c.f., neither of which has a Poissonian com-
ponent, can have a Poissonian factor.
6.3 188 | Construction of a c.f. which belongs to a finite and inde-
composable absolutely continuous d.
6.3 188 | Construction of a c.f. which belongs to a finite, purely singu-
lar, indecomposable d.
6.3 189 | Factorization of rectangular d. (it can be represented in two
ways as an infinite product of indecomposable factors).
6.3 189 | Factorization of rectangular d. into a product of two purely
singular d.
Teal 194 | Quotient of two c.f. need not be a c.f.
Wow 198 | A d. which has moments of all orders but has not an analytic
c.f. Nevertheless the sequence of moments determines this d.
completely.
Tae) 203 | A one-sided distribution may have an entire c.f. of order
greater than 1.
Te? 203 | The infinitely many zeros of the c.f. of a finite d. need not be
real.
7.3 212 | References to examples of rational c.f.
7.4 225 | A periodic c.f. which is not analytic.
74 227 | A doubly periodic c.f.
8.2 252 | Convolution of three Poisson type d. can have an indecom-
posable factor.
8.4 258 | 1.d. c.f. with zeros on the boundary of its strip of regularity.
8.4 259 | Entire c.f. without zeros which is not i.d.
92 280 | Reference to an example which shows that a c.f. can belong
to ¥ but not to Ip.
12.1 317 | Mixture using a weight function which is not monotone.
22, 320-3 |Examples of transformations of c.f.
WO 323 |Examples of transformations applied to exp (—t?/2) which
yield entire c.f. of order 2 with a finite number of zeros.
REFERENCES
* The following abbreviations are used in the index: c.f. = characteristic function;
a.c.f. = analytic characteristic function; d = distribution; d.f. = distribution functions;
f. = function; id. = infinitely divisible; i.d.d. = infinitely divisible distribution.
INDEX 345
composition, 37 densities, stable, 148
concave, 91 density function, 5, 33
conjugate complex, 15 denumerable «-decomposition, 292
— d., 29, 30, 168 derivative, symmetric, 25
continuity interval, 2 differential equations, 227, 228
— point, 2, 29 — —, c.f. as solutions of, 228
— theorem, 47, 48, 88, 102 — —, positive definite, 228
— — for bounded non-decreasing func- Dirichlet conditions, 86
tions, 52 discontinuity point, 2
— —, second version of, 53 discontinuous part of a d.f., 3
continuous, 125 discrete part, 3, 4
—, absolutely, 4, 125 distribution:
— part of d.f., 3 Beta, 7, 8, 18
— singular, 125 binomial, 6, 14, 18
— (to the right), 2 Cauchy, 7, 8, 12, 18, 85, 91, 108,
convergence in the mean, 76 121, 137, 143, 326
—, radius of, 191 chi square, 8
—., uniform (of a sequence of c.f.), 50 compound Poisson, 316
—, weak, 43, 44, 48 degenerate, 5, 18, 19, 108, 121, 166
convergence theorem, 237, 315, 317 exponential, 8, 13
— —, dominated, 315, 317 Gamma, 7, 13, 18, 108, 109, 120,
— —, monotone, 237 ID ATO 198
convergent sequence of d.f., 42, 43 Gaussian (Gauss-Laplace), 7
convex, 83, 91 generalized Poisson, 316
— function, 202 geometric, 6, 113, 176
convexity properties of a.c.f., 196, 197 hypergeometric, 6
convolution, 37, 41 Laplace, 7, 13, 18, 88, 109, 122
— of normal and Poisson d., 245 negative binomial, 6, 14,18, 103,121
—, symmetric Bernoulli, 64, 66, 67 Neyman type A, 221
— theorem, 36 normal, 7, 13, 18, 91, 108, 121, 136,
—, v-fold, 316 143, 191, 213, 243, 254, 255
convolutions, infinite, 55-67 Pascal, 6
—, —, convergence criteria for, 59-61 Poisson, 6, 14, 18, 108, 121, 185,
—, —, convergence of, 59 191, 221, 227, 243
Corson, E. T., 203, 221, 337 rectangular, 7, 8, 109, 189
Craven... 4 tas i14, 21375675: Simpson’s, 7
169,210, 243, 292, 337 Student’s, 7, 12, 13
Cramér’s criterion, 73, 210 triangular, 7
— theorem, 243, 245, 254, 256, 302 uniform, 7
— —, converse of, 254 distribution:
criteria for c.f., 68, 210 bounded, 142, 201, 202
— — convergence of infinite convolu- conjugate, 29, 30, 168
tions, 59-61 finite, 142, 181, 200, 228, 259
Crum, M. M., 91, 337 i.d., 103
cumulant generating function, 26 lattice, 6, 17, 225, 245, 302
cumulants, 26 one-sided, 142, 200-202, 309
Cuppens, R., 289, 300, 305, 337 stable, 128 ff.
CzeErRnin, K. E., 158 symmetric, 30, 292
unimodal, 91-99
Darboux sums, 37, 112, 236, 237 distribution function:
decomposable c.f., 103, 238, 254 — —, absolutely continuous, 6, 39, 75
decomposition of d., 3 — —, discrete, 5, 6, 36, 41
— theorem, 169, 170 — —, indecomposable, 181, 183
— —, general, 169 — — of a.c.f., 197 ff.
De Finetti’s theorem, 112 — —, singular, 8, 9, 19
degenerate d., 5, 18, 19, 108, 121, 166 dominated convergence theorem, 315,
degree of freedom, 8 317
346 INDEX
DucuE, D., 86, 87, 302, 325, 337, 338 Fourier transforms, 11
freedom, degree of, 8
elliptic function, 227 frequency, Poisson, 263
energy parameter, 263 — functions of stable d., 138, 147
entire characteristic function, 195, 198, — —, stable, 138, 147
206, 209, 210, 239 function, Weierstrass’, 23
— — —, determination by properties of — of bounded variation, 320
factors, 253 ff.
— — —, factorization of, 238 Gamma d., 7, 13, 18, 108, 109, 120, 121,
— — — of infinite order, 210 179; 191
— —— —finite order and minimal Gauss—Laplace (law of), 7
type, 209 generating function, cumulant, 26
— — — — — — maximal type, 209 — —, moment, 10, 196, 197, 251
— — —, order of, 195, 198, 205-210 — —, probability, 10, 182
—— —, type of, 205-210 genus, 212
entire function, 195, 329 ff. geometric d., 6, 113, 176
equivalence (of c.f. or second c.f.), 253 GiL-PELAEz, J., 33, 338
EssEEN, C. G., 20, 54, 338 GirRAvuLT, M., 19) 20; 87,227, 321, 338
Evans, G. C., 14, 338 GNEDENKO, B. V., 54, 104, 128, 136,
exponent of convergence, 222 137, 143, 162, 165, 338
— — stable d., 133, 142, 147, 148 Go.pBerc, A. A., 280, 338
exponential d., 8, 13
— type, entire function of, 203 HapaMarp, J., 183
extension of factorization theorems for Hadamard’s factorization theorem, 203,
Eente, PAOD Taee 222, 243, 244
—-—non-negative definite functions, Haun, H., 101, 338
89-91 Hatmos, P. R., 62, 338
—_—— — — , indeterminate, 90 Harpy, G. H., 23, 83, 338
——— , unique, 90 HarTMANN, P., 124, 125, 338
extremities, formulae for, 202, 309 Hausporrtr, F., 62, 338
— of d.f. with boundary c.f., 309 Helly’s first theorem, 44, 49, 72, 173
extremity (left, right) of a d.f., 142 — second theorem, 45, 72, 82, 116
— — —,, extension of, 47, 49, 72, 116
Faa di Bruno’s formula, 27 Hermite polynomials, 78, 323
factor-closed family, 245 Hermitian, 71, 77
factor, indecomposable, 103, 170, 176 HERZ CHS. 19508
— of a.c.f., 236 Hiixz, E.; 330, 334, 338
——c.f., 103 HInNcIn, see KHINCHINE
factorization of a.c.f., 236 ff. Hosson, E. W., 2, 140, 339
— — boundary c.f., 310 hypergeometric d., 6
— — entire c.f. of finite order, 239
— — id. a.c.f., 258 ff. Io, 266, 280, 281 ff.
— problems, 103, 122, 167, 191, 236 ff. —, necessary conditions for member-
— theorem, Hadamard’s, 203, 222, 243, ship, 280, 281
244 —, sufficient conditions for member-
— —, Weierstrass’, 88 ship, 266, 281 ff.
Faltung, 37 Ipracimoy, I. A., 99, 150, 158, 165,
Fatou’s lemma, 229, 293, 294 258, 339
FELLER, W., 122, 142, 316, 338 imaginary part (Im), 192
Finetti’s theorem, 112 increase, point of, 2
finite «-decompositions, 292 indecomposable absolutely continuous
—d., 142, 181, 202, 228, 259 GiielS3
JOS, IM WAS. SSK: ein MU Oe) Tye), esl, WS)
Fourier coefficients, 36, 86 —iG,, Lol 182. 183
— integral, 193, 194 — factor, 103, 170, 176
— inversion theorem, 84 independent, rationally, 249, 287
— series, 86 infinite convolution, 55 ff.
INDEX 347
infinitely divisible a.c.f., 258 ff. lattice d., «-decomposition of, 302
— — boundary c.f., 310 ff. — points, 6, 225
—— c.f., definition, 107 L-class, 162
— — —, examples, 108 £-class, 162, 262-266, 280
— — —, factorization, 122 Lebesgue decomposition of c.f., 19
— — distribution, 108 — — theorem, 4
— — —, «-decomposition of, 299, 301 — measure, 66
— — —, one-sided, 312 — properties, 124, 190
—-—-—with bounded Poisson spec- left extremity, 142
trum, 281 ff. LRerrasiGy.9t 339
— — — with Gaussian component, 280, Levin, B. Ya., 210, 340
281 LEvINSON, N., 105, 340
IncHaM, A. I., 105, 339 Lévy, P., 63, 86, 89, 95, 136, 137, 143,
integrable, quadratically, 76 161, 165, 188, 211, 243, 245, 250,
integral function: see entire function 251, 252, 259, 340
integral representation, 191 Lévy canonical representation, 118, 121,
— — of a.c.f., 191-193 132, 163, 164, 176, 179
— — of boundary c.f., 306 Lévy—Khinchine canonical representa-
— — of stable densities, 148 tion, 117, 118, 121, 124, 125, 190
— transform, 9 Lewis, T., 190, 340
inversion formulae, 30 Li, 62
— — for absolutely integrable c.f., 33 Lrénarp, A., 183
— theorem, 31 Lim (weak limit), 43
iterated exponentials, 213 limit in the mean (l.i.m.), 76
— inferior, closed, 62
JESSEN, B., 19, 20, 64, 67, 339 — theorem, 107, 126-128
JOHANSEN, S., 118, 339 limits of d.f., 42 ff.
Jorpan, C., 27, 339 LINNIK, Yue Ve, 975 150) 2255227--228;
jump, 2 DB, PAD, 2, A, LY), 2D, SOP;
305, 340, 343
Kawata, T., 104, 107, 339 Lipschitz condition, 25
kernel, 10, 99 LITTLEwoop, J. E., 83, 338
KERSHNER, R., 19, 67, 339 LIvINGsTONE, A. E., 84, 342
KHINCHINE, A. YA., 87, 92, 104, 210 LoerFFEL, H., 321, 340
— phenomenon, 104 LokEve, M., 1, 4, i ISO, Ko, P37 SS,
Khinchine’s, criterion, 77, 210 340
— theorem, 262 ILGEENCS, 185, MOP, BIA, Pin. S05, S78.
Ko.tmocorov, A. N., 54, 128, 136, 137, 339, 340, 341
143, 162, 165, 326, 338
—, canonical representation, 119, 121, Maclaurin expansion, 23, 191
MaRCcINKIEWICZ, J., 213, 221, 224, 341
—, —— of ac.f., 260 —, theorem of, 213, 221, 224
KonuEmM, ASCE "419, 339 MarKUSHEVICH, A. I., 59, 240, 246, 296,
Krasner, M., 182, 183, 339 330, 341
KREIN, M. Ga 89, 339 Mathias, theorem of, 79
Krein’s theorem, 89 maximum modulus, 195, 301, 329
une, Ws MOS SOY mean, convergence in the, 76
KuratTowskl, K., 62, 339 Mepeyessy, P., 95, 142, 341
median, 167
Laua, R. G., 97, 293, 300, 305, 339 Muirter, H. D., 224, 341
LapPLace, P. S. DE, 10 mixtures of d., 315-318
Laplace d., 7, 13, 18, 88, 109, 122 modulus, maximum, 195, 301, 329
—, first law of, 7 Moivre—Laplace, law of, 7
— integral, 193 moment, 10, 11 ff., 13, 20 ff., 25, 42, 198
—, second law of, 7 —, algebraic, 10
— transform, 193 —, absolute, 10, 25, 26
lattice d., 6, 17, 225, 245, 302 —, factorial, 10
348 INDEX
WIENER, N., 76, 341 ZINGER, A. A., 227, 228, 235, 302, 343
Wintner, A., 19, 20, 24, 64, 67, 124, ZoroTarev, V. M., 142, 143, 157, 165,
125, 165, 338, 339, 343 343
ZYGMUND, A., 22, 25, 92, 203, 310,
ZEMANIAN, A. H., 212, 343 343
ST. JOHN FISHER COLLEGE LIBRARY
ois ae 1970 |
010101 000 |
aa
DATE DUE .