Professional Documents
Culture Documents
COMPLEX ANALYSIS
JOHN P D'ANGELO
Number Twenty-Eight
John P. D'Angelo
University of Illinois
Published by
THE MATHEMATICAL ASSOCIATION OF AMERICA
Committee on Publications
Gerald L. Alexanderson. Chair
I Complex Numbers 1
1.1 The real number system ........................ 1
Appendix A 247
A.I Algebra ...................................... 247
Bibliography 257
Index 261
Preface
numbers will probably not get past Chapter 1. Many physicists and en-
gineers can read this book; positivity conditions for polynomials often
arise in applied mathematics. Detailed discussion of some geometric
arguments that have broad scope for application will help readers in
this audience. In order to enliven the text, I sometimes interrupt the
development with a delightful or novel application of the ideas. I have
written the complete text at a level I hope to be accessible to second
year graduate students in mathematics.
The starting point for this book is the existence and properties of
the real number system R. From there. I define the complex number
field C in Chapter I and prove many results about it. For several rea-
sons the treatment differs considerably from a review of the standard
treatment of "one complex variable". One reason is that many texts
treat basic complex analysis well, and hence there is no need to re-
peat certain things here. A second reason is that I wish to anticipate
arguments that will arise later in the book. For example. I discuss the
absolute value function in great detail, both to prepare for our discus-
sion of the norm on Hilbert space, and to get the reader used to the
emphasis on inequalities. I discuss certain simple inequalities in one
variable to anticipate more difficult inequalities used later, so that these
later inequalities do not jar the reader. This evokes a basic principle
from music; a chord containing a C sharp may be used to anticipate
a C sharp (appearing as an accidental) that arises later in the melody.
Surprises should be pleasant.
Chapter IT provides an introduction to complex Euclidean space
C" and Hilbert spaces. Proofs of the Riesz representation lemma and
related results about orthogonal projection appear here. The chapter
closes with a discussion of how to use generating functions to verify
the orthonormality of a given collection of vectors. This enables us to
introduce Laguerre and Hermite polynomials.
Chapter III provides an introduction to functions of several com-
plex variables. I discuss enough theory of holomorphic functions of
several variables to introduce the Bergman kernel function and to com-
pute it for the unit ball. Chapter III also includes a nice treatment of the
Euler Beta function in n variables.
Preface xiii
acknowledge the AMS for awarding me this prize. I wish to thank the
MAA staff and especially Beverly Ruedi for their efforts in turning my
computer files into a finished book. Finally, I acknowledge the contri-
bution of my home institution, the University of Illinois, for providing
me an excellent library and computer facilities to help me write this
book.
John P. D'Angelo
Urbana, Illinois
CHAPTER I
Complex Numbers
I
2 Complex Numbers
(x.y)+(a.b)=(x+a.y+b)
(x. y)(a, b) _ (xa - yb, xb + ya).
Note that (t) results from formally applying the distributive law to the
product on the left and then writing i ` 1. After verifying the field
axioms for C we will dispense with the ordered pair notation and con-
sider (1) to be the definition of multiplication.
It is time to justify our claim that C is a field. Observe that (0. 0) is
an additive identity, and that (1. 0) is a multiplicative identity. Observe
that both addition and multiplication are commutative:
It is clear that (-x, -y) is the additive inverse of (x. y). It is less
clear what is the multiplicative inverse of a non-zero (x, y). Once we
have established the existence of multiplicative inverses for all such
(x. y). we will have shown that C is a field. We postpone the discussion
of inverses until we have introduced several useful concepts.
Henceforth we will write z = x + iv for the complex number
(x, y). We call x the real pare of z and y the imaginary part of Z. We
write x = Re(z) and y = Im(z). The notation and terminology are
consistent with writing U. 0) as x and (0. y) as iy. We have already
p ltio. of the complex uumher fkld 5
IzI=
When z = x + iy we have x2 + Y 2 = zz, so zz is a nonnegative
camber, and hence has a unique nonnegative square root in the real
fiber system.
Notice that z = 0 if and only if I z 0. Later we will interpret
I z I as the distance from z to the origin.
The next exercise implies that the mathematical expression
°z ? w" makes no sense for complex numbers and w unless both
happen to be real.
6 Complex Number.
1) z+w=z+ui.
2) zui = z w.
3) Z=z if and only ifzisreal. Inparticular 0-0and1 = 1.
4) I4I=Iz1.
Exercise 3. Prove that the collection of complex numbers (x, 0) for x
a real number is a field isomorphic to R.
IzWI=IzIIv-1. (2)
Izv, I'=I(xa-vb)+i(xh+va)I-
pe/ddoo of the cooptex ruwber field 7
= (x2+!'2)(a2+b2) = 1zI21w12.
Proof of (2) using conjugation:
Izwl2=zwzw=zwzu,=zzu'w=Iz121yw12.
The proof based on conjugation is much more appealing! It uses only
the definition of absolute value, the second property from Exercise 2,
and the commutativity of multiplication. By contrast, the proof based
on the real and imaginary parts requires superfluous algebraic manipu-
lation; we must expand a product. simplify the result, and then factor.
y=lm(x+iy)=Im(z)= ` 2i Z
We are finally prepared to find multiplicative inverses. Suppose
Z 0, then I z 12 # 0. Since I z 12 is real and nonzero its reciprocal
as a real number exists; earlier we noted that we may identify a real
number with a complex number. Therefore formula (3) below makes
sense, The reciprocal (or multiplicative inverse) of z is defined by
I I Z
Z
=cZy- = 1412. (3)
I _ x - iy _ x -V
Z x2 -+V 2 71 -+V Z +! X +,''-.
S Complex Numbers
u . u = Re(uv).
cos(8) = U V
(4)
lullvl
Hence, when u and u are unit vectors, the cosine of the angle between
them satisfies
cos(O) = Re(uv).
z(t)=zo+(a+ib)t=za+wt.
Application 1.3.1. Find the (minimum) distance to the origin from the
line given by z(t) = zo + wt. Assume that w # 0. Give a geometric
interpretation.
S2(t)=Izo+Wt
This quadratic polynomial in the real variable t is minimized when its
derivative vanishes. Thus we set
0=2Re(zow)+211w12
22I. (5)
This beautiful formula shows that the distance to the origin equals the
distance between two specific points: neither is the origin nor on the
line! These points are f and 7 : the second can be found geomet-
maples geometry 11
Iz+w12+Iz-w12=21z12+21ul12. (6)
The proof of (6) is immediate after expanding the left-hand side. The
meaning and applications of (6) are more interesting than its proof.
Formula (6) says that the sum of the squared lengths of the diagonals
of a parallelogram equals the sum of the squared lengths of the four
skies.
I-H 2+1
=
z2,-w1, 21 z 2wI'+21 V
2 "112.
(7)
Z +c Iz-W12 21S-u1I2
(8)
where a and b are real numbers. It is easy to see that the sum of two
ouch matrices has the same form, and that the product of two such ma-
trices also does. Note furthermore that the rules for adding and multi-
plying these matrices correspond precisely to our rules for finding sums
and products of complex numbers. Thus we may interpret the complex
numbers as the collection of such two-by-two matrices, where the field
operations are given by matrix addition and multiplication. From this
point of view, we are identifying (8) with the complex number a + ib.
In particular, the imaginary unit i corresponds to the matrix
0 -1).
ll 0
and real numbers correspond to real multiples of the identity matrix. If
z corresponds to
then z corresponds to
x y
-V X
Their matrix product is x2+v2 times the identity matrix. Thus zf serves
U a definition of I z 12 in this approach as well. Finally, the multiplica-
tveinverse corresponds to the matrix inverse because
(x -y I x r\1)
Y x } x2 + v2 k -V x / 12 12
14 Complex Numbers
(x+iy)(a+ib)=xa+i2yb+i(xb+ya)
=xa-yb+i(xb+ya).
1.5 Completeness
We have shown that C is a field. There is no way to make C into an
ordered field; see Exercise 1. On the other hand, familiar properties
of limits easily extend to the complex domain. The crucial idea is to
ioarpret I z 12 as the squared distance of z to the origin. With this notion
of distance, C is a complete field.
We defined C by introducing field operations on W. Now we
wish to introduce the Euclidean topology on R2 and obtain the com-
plat Euclidean line. The word line is appropriate because we will often
consider the field of complex numbers to be a one-dimensional vector
space over itself.
Recall that a metric space (M, d) is a set M together with a func-
tion d : M x M -+ R (called the distance function) satisfying the
follhowing axioms. See for example [Ah}. [F], or [TBBI for more infor-
m on metric spaces.
v.IA >N=d(z1,.z,1)<E.
SIz-SI+IW1. (9)
Statement (9) follows from the triangle inequality (10) for the Eu-
clidean norm
In+r1<1,71+IrI. (10)
I,7+r12<(InI+Ir1)2=1,7122+21,7IIrI+Ir12.
VAd
I Re(z)I<Iz1.
The first follows from (2) and property 4) of Exercise 2; the second is
*nous after squaring.
It remains to prove completeness. Suppose that {z,.) is a Cauchy
"goence of complex numbers. The inequality I z, - zµ I < e implies
<E
18 Complex Numbers
and
IIm(z,.)-lm(z,,)I <e.
Therefore the real and imaginary parts of a Cauchy sequence of com-
plex numbers define Cauchy sequences of real numbers. Since R is
complete, they have limits x and y. To finish we must verify that lz, l
converges to z = x + iy. This statement follows from the triangle in-
equality; we have
Iz. - zI <
I Re(z) I I Im(zv) - Im(z) I are less than
7; this happens for v sufficiently large.
Iz-wI< I1-zw`I
and determine when equality holds.
2) Prove the inequality
1-Iw12 <211-zw`1.
N I - `N+l
zn . (11)
n l-°
Prom (l 1) we see that the limit of the partial sums of the geometric
series exists if and only if I z I < 1: with that restriction we have
1 (12)
Z
11=0
The geometric series arises for many reasons and in diverse parts
¢matbematics. It even arises in elementary economics! The proof be-
.1Qiw of the root test indicates how the geometric series provides a ba-
ofComparison for other series. Other uses will be apparent later.
e following result (essentially from freshman calculus) determines
dle largest open set on which a given series converges. The idea of the
1 Is to compare the terntc of the given series to those of a geometric
AWAL
20 Complex Numhers
Proof We consider only the case where 0 < L < oo, leaving the
other cases to the reader. First we fix z satisfying I z I < R = i, and
verify convergence at Z. The idea is to find r with r < I such that
I c"z" I < r" for all large n. We then compare the given series with the
geometric series. To find r, we first define S by LI z I = I - S and then
define e by c = LS. By definition of the lim sup, there is an N such
that n > N implies I c" I < (L + E)". Hence, with r = I - S2.
Ic z"I <(L+E)n(1LS)"=(I+S)"(I-S)"
(1 - S2)n = r".
For n > N, the absolute values of the terms of a(z) are thus dominated
by the terms r" of a convergent geometric series. Hence the full series
a (z) converges.
On the other hand. when I z I > R = I, we put LI z I = 1 + S.
Choose a positive t with (I - r) > i+ . By definition of lim sup, there
are infinitely many n for which I c" (L - e)". For such n we have
L-E)"
L
Thus the terms in the series do not tend to zero, and therefore the series
diverges.
Coovergeoce for power series 21
Using the ratio test, and then the definition from calculus that e =
lim,.=(1+t-,,)R,we see that R
In this case we sce that the series converges at z when I z - p I < R and
diverges at z when I z - p I > R. We say that the disk {z : I z - P I < R)
is the region of convergence of a (z). The series may converge at some
points z for which I z - p I = R. Determining the precise set of such
points is a difficult matter that will not arise in this book. It is standard
but somewhat misleading to call {z : I z - p I = R) the circle of
convergence of a(z).
Exercise 8 gives an improvement of the ratio test, and suggests
other renditions of it.
Use this test to show that E a,, converges when °a = I - R for p > I.
or, more generally, when the ratio behaves asymptotically like 1- E and
p > 1. Give an example where the ratio "I'
Oil
behaves asymptotically
like I - - and the series diverges.
cause it illustrates the sense in which the geometric series models all
holomorphic functions.
We define the derivative f of a convergent power series f by dif-
ferentiating term by term. One of the main points of elementary com-
plex variable theory is that this definition is equivalent to the definition
using difference quotients. See for example [Ah] or [GK]. It is there-
fore natural to write for f'. Thus, when f (z) _ cn (z - p)" we
put
00 00
0-1
f'(z) = >ncn(z - = E(n + I)cn+1(z - p)". (13)
R=0 n=0
This definition relies on a crucial fact. If a power series converges
for I z - p I < r, then its derivative also converges for I z - p I < r, and
hence the derivative of a holomorphic function is also holomorphic.
This fact follows from Proposition 1.6.1 and the equality
i=1
1.7 Trigonometry
Complex analysis makes possible a deep understanding of trigonome-
try. By using polar coordinates to represent a point in C. one discovers
profound connections among many aspects of elementary mathematics.
Let z be a nonzero complex number. Then there is a unique
point w on the unit circle, namely w = ' -1, such that w is a pos-
itive multiple of Elementary trigonometry suggests we can write
w = eos(B) + i sin(O). This formula presumes that we have given
precise definitions of the cosine and sine functions. Many elementary
books are a bit sloppy about these definitions: a definition involving
angles requires a precise definition of angle. To reconcile this matter.
we proceed differently. We have used completeness to prove needed
results about convergent sequences and series. Now (Exercise 11) we
can find the radius of convergence of each power series in (IS) below
using the ratio test. We obtain infinity in each case. Hence. for Z E C.
we define
25
00
exp(z) = e'
R=O
(-I) n_2R
co. (z) =
R=O
(2n)! `
sin(z) _ F,
(2n + 0!
e'z+e-'"
cos(z) =
2
e'` - e-'°
sin(z) =
2i
We chose the power series definition because these two formulas might
seem unmotivated.
When z is real, the power series definitions for the exponential, co-
sine, and sine functions agree with their Taylor series expansions from
elementary calculus. The power series thus extend three important ele-
mentary functions to the complex domain. For us. however, the series
give the definitions of the functions, and the familiar facts about them
are not yet available to us. It is a delightful and easy exercise to derive
diem. We sketch some of this development.
In Exercise 13 you are asked to verify, when z is complex:
(17)
Notice that the exponential, cosine, and sine functions take real
values on the real line. When t is real, formula (18) therefore exhibits
the real and imaginary parts of e". As a consequence of (16), e" lies
on the unit circle.
TrIpmmeft7 27
sin(r) = cos(t)
dt COW) = - sin(t).
z=Izle;e (19)
In (19), 0 is the real number with 0 < 0 < 2rr such that
i sin(9).
i
= coh) +
Other representations arise by adding an integer multiple of 2ir
to B. In solving equations one must generally consider all such repre-
sentations. See Exercise 15.
28 Complex Numbers
Exercise 14. Use de Moivre's formula (Exercise 13) and the binomial
theorem to find formulas for cos(nt) and sin(nt) in terms of cos(t) and
sin (t ).
The next exercise is used in the proof of Application 1.7.2 and also
anticipates some of the ideas in Chapters II through IV
Exercise 16. Let S be a finite subset of the integers. Prove that the
functions e""9 for m e S are linearly independent. Suggestion: Sup-
pose some linear combination o(6) = Ecmelmp vanishes. Consider
the integrals
1 za
e-;keu(e)dtl.
Our next result indicates the sense in which we may treat z and Z
as independent variables. the proof applies polar coordinates to demon-
strate polarization!
j.k
0 = T c(k+m)k I z 1.k
k
for all m and for all z 0 0. Let p," denote the polynomial defined by
pm(t) = Ek C(k+"r)ktk. Each p", vanishes at infinitely many points.
and hence each p", vanishes identically. Therefore the coefficients
c(k+m)k all vanish, and p vanishes identically. C
in terms of zand z:
(z+l)(.+1)-(z- 1)(i:-
By Application 1.7.2, we obtain, for every : and w, the identity
(z+l)(u'+1)-(;,-1)(w-l)=2(z+ w).
Let p(z. w) define a polynomial in two (or 2n) complex variables.
As the notation suggests we write p(z. 47) for the value of p(z. w)
whore w happens to be z. Quite often in this book we will be studying
30 Complex Numbers
functions of this type, while thinking only of the function z - p(z, z).
For such functions it makes sense by Application 1.7.2 to view z and i
as independent variables. We make a systematic study of these issues
in Chapter VI.
We close this section by introducing without elaboration another
viewpoint on polarization. Observe that the complex-valued functions
z and z have linearly independent differentials dz and dz. Therefore z
and'.-; are (locally) functionally independent. This independence justi-
fies taking the partial derivatives of a smooth (infinitely differentiable)
function with respect to both z and z. Thus for example (I z 12) = z.
i = c-' _. m_ I .
Remark 1.8.1. (For those familiar with groups) See the Appendix for
the definition of a group. The unit circle is a group under multiplica-
tion. Let G be a finite cyclic group of order in. We may represent G as
a subgroup of the unit circle. To do so, let g be a generator of G. and
let ou be a primitive m-th root of unity. Define a function rr : G -' S'
by rr(gJ) _ S for I _< j < m. Then the powers of g in G precisely
correspond to the powers of w in C. Furthermore, tr is a group homo-
morphism, because 7r(8182} = tr(gi)tr($2) for all group elements gt
and g2.
Roots or unity 31
I =0. (20)
Formula (20) follows immediately from formula (11) for the sum
of a finite geometric series. It has a nice geometric interpretation.
Think of w as a point on S1. When w is a primitive m-th root of
unity, its powers correspond to the vertices of a regular m-gon. If
we think of these vertices as vectors based at the origin, then their
vector sum must be zero by symmetry. A similar argument applies
when w is not a primitive m-th root of unity. See Exercise 17.
2) Let w be a primitive m-th root of unity (thus w 1). and assume
m > 3. Then
m-1
Ew2j=0.
j=0
m-1
m j--fl
Exercise 19.
m-i
1 - TI (I -cuix -cu'v).
io
2) (Difficult) Let cu be a primitive (2r + 1)-st root of unity. Evaluate
J
i-TI (l-wix-w'Jv).
i=0
The answer is a polynomial in x and y with positive integer coef-
ficients. Try to find a formula for these integers. See [D] for more
information.
1.9 Summary
We summarize this introductory chapter. Our starting point was the ex-
istence of the real number system R and the elementary properties of
a complete ordered field. We have defined the complex number sys-
tem C in terms of R and shown it to be a complete field. The complex
numbers do not form an ordered field. We have therefore considered
inequalities about absolute values of complex numbers. Doing so has
enabled us both to provide geometric interpretations of operations with
complex numbers and to set down the basic principles for this book.
We have introduced both analytic notions such as convergent power
series and algebraic notions such as roots of unity. Many of the com-
putations in this chapter hold in greater generality, and thus the chapter
has prepared us for deeper discussion.
CHAPTER II
Complex Euclidean Spaces
and Hilbert Spaces
112112=(z.z). (2)
IIvII= (v.v)
Theorem I1.1.3 below justifies the terminology. The distance func-
tion corresponding to ( . ) (or to I I I I) is given by
d(u.v)=IIu-v1I.
36 Complex Euclidean Spaces and Hilbert
III' -S 11 <Ilu-vIl+IIu-CI1.
As before this follows immediately from the triangle inequality for the
norm:
Ilz+u'll IIziI+IIt1,11
Pmof Properties NI) and N2) of a norm are evident; NO follows from
property 4) of the inner product, and N2) follows by properties 2) and
6) of the inner product. Property N3) is the triangle inequality (4).
We first prove the Cauchy-Schwarz inequality (3). The reader
should compare this proof with Application 1.3.1. For all t E C. and
for all z and w in V,
o;=(z.w)+tIIa,11.2
fermit.n Inner prodndg 37
I(Z.w)12
0-:5 Ilzll`-2 I(Z.w)12 =IIzII2 -
I(Z,uw)12
(6)
11w112 + IIw1I2 11w112
IIZ+wII2=1IZ112+2Re(z,w)+11w112
Since Re(z. w) S I (z. w) I. the Cauchy-Schwarz inequality yields
Ilz+w112= IIz112+2Re(z,w)+11w112
I1 z112+211z11 I1 wll+Ilw112
=(11211+IIw11)2
Taking the square root of each side gives the triangle inequality and
Completes the proof that vi defines a norm on V.
Pmof. The first statement follows from the linearity of the inner prod-
uct and the Cauchy-Schwarz inequality. We have
Ilzn-z11IIu111.
11111-IIzn1I :Ell z
I 5 Ilz-z,i11,
from which the desired statement follows.
(Ev'.W =E(VA.w).
n n
The inequalities from Theorem 11.1.3 also lie behind complex ge-
ometry. For example, the formula for the squared norm of a sum gener-
alizes the law of cosines from elementary trigonometry. and the partic-
ular case when the vectors are orthogonal generalizes the Pythagorean
theorem. In complex Euclidean space we therefore have the usual no-
tions of angles, lines, and balls. In particular the open unit ball in C"
will play a significant role, so we use special notation for it:
B"={zEC":Ilzll<1}.
For emphasis we note that B is the open unit ball. Its boundary is the
unit sphere Stn-t: the number 2n - I is the real dimension of the unit
sphere in C".
IIz-w11 :5 c11-(z.w)I°
\
11f 1Ip = (fX If(x)1'dV(x))A.
(a, b) = E a%.bv
P
42 Complex Euclidean Sprees and Hilbert Spaces
(.f g) = f
s?
f(x)g(x)dV(x).
Then A2(C". dG) is a Hilbert space. The letter G stands for Gau.s-
sian. and dG is the measure given bye11`112 dV(z).
II L(z) II
IILII
IIzII
The notation I I I I has three different meanings, but the context prevents
ambiguity. This notation is used for the norm on the domain for
the norm on the range f'. and for a norm on the Banach space (See
IUMm V.1.4) of Iinear transformations between them.
The special case where the target il' of L is C is especially im-
PO tart; we will study this situation in Section 2.
44 Complex Euclidean Spain and Hilbert Spaces
IILz11:5 CIIz11.
2) L is continuous at the origin.
3) L is continuous at every point.
Proof. It follows from the E-S definition of continuity at a point and the
linearity of L that statements 1) and 2) are equivalent. See Exercise 5.
Certainly statement 3) implies statement 2). Finally statement 1) and
the linearity of L imply statement 3) because
11Lz-LwII=IIL(z-u))11 <CI1z-w11. 0
Exercise S. Consider the proof that 2) implies I) from Lemma 11.1.9.
For a given e, suppose 3 works in the a-S definition of continuity. What
values of C work in 1)?
112
112
2d2=112-w112+11C-w112=2
2 -wll'+2IIZ 2
2d.+211'2,
IIZ
Thus d2 > d.2, and strict inequality holds unless z = . Thus the
minimizer is unique.
f(A)=11v+Au-w112.
By Theorem 11.2.1, f achieves its minimum at A = 0. Therefore for
allA
Corollary. Then
0= w - u, = (n-V')0) (C-i;')
from which we ohtain v = c' and _ '.
The uniqueness assertion and (10) show that Pw1 + Pw2 is the
unique element of V corresponding to u,I + w2 guaranteed by Corol-
lary 11.2.2; by definition this element is P(wt + w2). By uniqueness
Pwt + Pure = P(wt + un). and P is additive. In a similar fashion we
write w = Pw 0) and hence
Cu' = c(Pww) a cc.
Theorem 11.2.1 and its consequences are among the most power-
ful results in the book. The theorem guarantees that we can solve a
minimization problem in diverse infinite-dimensional settings, and it
implies the Riesz representation lemma.
Fix w e it, and consider the function from it to C defined by
Lz = (z, w). Then L is a bounded linear functional. The linearity is
evident. The boundedness follows from the Cauchy-Schwarz inequal-
ity; setting C = I I w II guarantees that I L(z) I CI I z I I for all z e R.
The following fundamental result of F. Riesz characterizes
bounded linear f inctionals on a Hilbert space; a bounded linear func-
tinnal must be given by an inner product. The proof relies on projection
onto a closed subspace.
Theorem 1L2.4. (Riesz Lemma) Let 7-t be a Hilbert space and sup-
pose that L is a bounded linear functional on R. Then there is a unique
we7-1such that
L(z) = (z. w)
Proof. Let N(L) denote the nullspace of L, namely the set of z such
that L(z) = 0. Since L is linear, N(L) is a subspace of R. Since L is
bounded, it is continuous, and so N(L) is closed. If N(L) = R(, we
take w = 0 and the result is true.
Suppose that N(L) is not R. Theorem 11.2.1 implies that there is
anonzero element w orthogonal to N(L). To find such a wo, choose
any nonzero element not in N(L) and subtract its orthogonal projection
onft N(L).
Let now z be an arbitrary element of R. For a complex number a
we can write
_ (: - auwo) + auk).
5o Compkx Euclidean Spaces and Htlbert Spaces
(z.wo)=azIIwo112
=LL(w(z)o)lIwo112
From (11) we see dw
wo
L(z) = z, I I wo 1 1 2
L(wo)
Choosing 11 II
for z yields
IILII?IL111w11/ -Ilwll.
1 (Ilwll)
Combining the two inequalities shows that Il L I I= I I w 11.
30 EIaJl2
SC
j=1
for all a e 12. Show that b E 12 and that I b j 12 < C2. Suggestion:
Consider the map that sends a to F_ a jb j.
U3 Orthonormal expansion
We continue our general discussion of the theory of Hilbert spaces by
discussing orthonormal expansions. For the rest of this book we assume
that a Hilbert space is separable. This term means that the Hilbert space
has a countable dense set; separability implies that the orthonormal
systems we are about to define are either finite or countably infinite
sets. All the specific Hilbert spaces mentioned or used in this book are
separable. Some of the proofs given tacitly use separahility even when
the result holds more generally.
n=1
52 Complex EucUdeen Spaces and Hilbert Spaces
The limit r(z) will equal 11 z 112 for each z if and only if the orthonor-
mal system S is complete. This statement is the content of the following
fundamental theorem. In general r(z) is the squared norm of the pro-
jection of z onto the span of the zj.
l-z
As we noted in (20) from Chapter I, when z is an m-th root of unity the
itam is zero. From Remark 1.8.1 the powers of a primitive m-th root of
unity may be considered as the elements of a cyclic group r of order m.
Let w be a primitive m-th root of unity and consider averaging the
M complex numbers y 11 z + yC 112 as y varies over r. Since each group
element is a power of w, this average equals
I m-t
- E w111z
M 3--0
+ wj II2.
I of-[
(:. w'Ilz+wicU2. (16)
J_o
Remark 11.4.2. The special case of (16) where m = 4 arises often. For
m > 3. each identity expresses the inner product in terms of squared
norms. It is both beautiful and useful to recover the inner product from
the squared norm.
y((L(z+C),z(L(z-C).C)). (18)
3) Suppose in addition that (Lti. v) is real for all v a 71. Then, for all
zandC.
(Lz. C) = (LC. z).
Gaerattng tUnvttoas and ormonormat systems 55
Proof To prove (17) and (18) expand each (L(z + S e). z +W-') us-
ing the linearity of L and of the inner product. Gather all like terms
together. and use (20) from Chapter 1. For in > 3, all terms inside the
sum cancel except form copies of (Lz. ). The result gives (17). For
m = 2, the coefficient of (LC. z) does not vanish, and we obtain (18).
We have proved statements I) and 2).
To prove the third statement, we apply the first for some m with
m 3 and ar = 1; the result is
IM-1
(Lz. f) = l
M !-1
o (L(S +Jz), C +u>rz) = (L., z). (19)
A";.z"
II A(+1112 =
1-It12'
Proof We have (using the convergence in norm on compact subsets to
order the summation as we wish)
«0
(20)
II A(t)112 = (An. A, )t"tm.
m.n-0
Comparison with the geometric series yields the result: the right-hand
side of (20) equals T-1111- if and only if (An. Am) equals 0 for n # in
and equals l for n = in.
E L"tn
n=0
is the ordinary generating function for the sequence (L"). The formal
series
x to
nl
n=Q
[0. oo) with respect to the measure dx. Consider functions L,, de-
fined via their generating function by
Note that x > 0 and r E Bt. In order to study the inner products
(L".. L,a), we compute II A(x, t)112. Formula (21) will enable us to find
an explicit formula for the squared norm; Proposition B.5.I will imply
that the L. form an orthonormal system.
We have
I exp(l
xrl
Multiplying by the weight function a-" and integrating we obtain
II A(x.1)112
00
_(1-t)-1 (1-tt-t exp(_X (l+ I t r+ l t 1)1 dx.
o /1
Computing the integral on the right-hand side and simplifying
shows that
I I _1-1.12 I
11A(x,1)112=
(l-r)(l-7)!+-+- t-r
W=
Ln()
r,
-̀
n!
( d
dx
(22)
Geoeratiug functions and ortbonormnl systems 59
and hence are polynomials of degree n. They are called the La-
guerre polynomials. and they form a complete orthonormal system
for L2([0. oo). a-. dx). Laguerre polynomials arise in solving the
Schrbdinger equation for a hydrogen atom.
A similar technique works for the Hermite polynomials, which
arise in many problems in physics, such as the simple harmonic oscil-
lator. One way to define the Hermite polynomials is via the exponential
generating function
Exercise 9.
0Q xs
(1 -s)- texp(
P1--O
I -s}
over the interval [0, 1] and then change variables in the integral.
2) Integrate the result in 1) over R with respect to the measure a-12 dx.
3) Use 2) to show that the Hermite polynomials form an orthogonal
system with
11 H. 112=
4) Prove that
a--T,
the system of Hermite polynomials is complete in
L2(R, dx).
Exercise 12. Define the Legendre polynomials P. (x) for I x 1 < 1 and
Ill <I by
oc
1
P"(x)t".
1 -2xr+t-
Getueraft functions and ortbonormal systems 61
63
64 Complex Anatyak In Several variables
Ial=Ea;
for the order or length of the multi-index a. Already we obtain nice
notation for polynomials. Let q be a polynomial of degree d in n com-
plex variables. Then, where each coefficient ca is a complex number,
and where ca 76 0 for some a with I a I = d,
q(z) _ caza
1 a 1=c1
q(tz) = t"'q(z)
for all t E C and for all z E C". Observe that a polynomial q is homo-
geneous of degree m if and only if
q(z) _ caZa.
l a l=m
to homogeneous of degree in. Then E" =o (z) plays the role of the
N-th partial sum:
rN rN N
L
Ior 1=o
C0f`a
M=O la l=m
Care = >q.(Z).
m=o
E ca
Ia1=0 m=U
I
NO°m=O
(2)
f(x, v)
x-+v-
away from (0. 0). For arbitrary fixed .c or r. this function is infinitely
differentiable in the other variable. As a function of two variables it is
not even continuous at the origin!
SN(Z)= E ca(z-p)a.
.a1=0
[mrm f
B, SO)
u(.r + y') dV(y). (5)
Thus, for each point x. and each open ball about x lying in the do-
main of u. the value u(x) at the center of the ball equals the average
value of u over that ball. In the first integral dV(t) denotes the usual
m-dimensional volume element, and V(Br(x)) denotes the volume of
the ball Br(x). In the next section we will show how to find the con-
stant c," in the formula cmrm for the volume of a ball of radius r in
$sIoamrphic functions 69
L
k=t i)x,
=4 82
j=1 8Z j Z f
(6)
it follows easily from Remark 111.1.3 and (6) that the real and imaginary
puts of a holomorphic function f (in any number of variables) are
harmonic functions. In one variable, a harmonic function on a ball, for
example, is necessarily the real part of a holomorphic function. In more
than one variable no such converse assertion is true.
f(z) = V(Br(z))
8,tz) f(w)dV(w).
This conclusion follows immediately from the mean-value properties
-of do harmonic functions Re(f) and Im(f ). The mean-value property
fur holomorphic functions arises in the proofs of many results in com-
leat analysis.
Our next result is crucial in the development of the book. Using
16e mean-value property we show that estimates for holomorphic func-
tioosin L2(0) imply estimates in the supremum norm. Two corollaries
AN used many times in the sequel. Corollary 111.1.8 guarantees that
42(Q) is a Hilbert space, and Corollary 111.1.4 shows that evaluation at
apoint is a continuous linear functional on A2(c2). These facts allow us
70 Complex Analysis In Several Variables
f (z) =
v(B,{z}) fo,(,) f (w) dV(w).
We estimate the integral using the Cauchy-Schwarz inequality, applied
to f and I. Since the volume V = V(B,(z)) is the same for all the
balls, we obtain
1
I'dV)!
11 +W} _ 1-Iu112
Re(1-w I1-w12.
_ r 1 - I w I2 dv(w).
rrR2 (8)
0<R<I.
1)
1 -- R2
23r = dO '
fo I I - ReiH 11
numbers. Our work on the gamma function in this section will make
precise this extended sense of factorials.
An expression such as z'' -1 has meaning: here 2a-1 is the multi-
index whose j-th entry is 2a1 - 1. In this case I denotes a multi-index
consisting of n ones: according to our conventions the strange equality
1 = n results! The context prevents confusion.
Multi-index notation also applies to differentials. For example.
it is natural to write dx = dxi d.r2 ... dx" = d V (x) for the vol-
ume form associated with Lebesgue measure on R. For another ex-
ample, we consider the volume form in polar coordinates in C'. Thus
we make the usual polar coordinate change zj = rje"', in each vari-
able. Using multi-index notation we write instead z = rewhere
r E R" and each rj > 0. and 0 e [0, 2,r)". The volume form dV(z)
fgr Lebesgue measure becomes r d r dB. In other words, d V (z) _
rdrdO = IZ;=t r1 dr3 dOj.
We next define the gamma function, which enables us to mean-
ingfully write x! when x is a real number with x > -1. This special
function arises in probability and statistics, as well as in several crucial
ctxnputations in this book.
aroma 11L2.2. (Enler beta function) Suppose that a and b are pos-
VC numbers. The following formula holds:
74 Complex Anatyals in Several VarlabLm
' r(a)r(b)
r(a + b)
Proof. We give only a sketch. The reader should justify each statement.
We have
(10)
2 fI
0
cos2a-' (9) sin2b-' (9) d9.
8(a)=2"Iof I r r2°'-1dr.
JK
I I-.c
8(a, b) = 4(a + b)1 Y u'-I xza-l dy dx
o fo
r(a)r(b)
r(a + b)
Therefore 8(a. b) gives the Euler beta function. Definition 111.2.3 of the
beta function of n variables exhibits this function as an n-dimensional
integral. When n = 2 we obtain a single integral after integrating the
radial variable.
As an analogue to our convention for a!, it is natural to write f (a)
for the product r[ r(a j). This typographical convention helps lead to
a beautiful formula generalizing Lemma 111.2.2.
c2a - (n+IolN
a"U!
- (n+Faj)!.
7r" n ntj!
(z°`,z)=(2a)" rKr2a+idr_'rla(+111)=Iof
+111'Qcr+1I)
.'r"cr!
of
(n + I 1)!
f(z)-"dV(z)+
0 = (f. Z') =
J1 ! f(z) 27 dV(z).
The integrals over the two pieces therefore have the same absolute
value. Using this, the estimate I za 1 _< I. and the Cauchy-Schwarz
inequality gives
Bode catrnlns 77
where c(e) is the square root of Vol(JF). Hence c(e) tends to zero as e
tends to zero.
Since f(z) = "MN-xF-1NIAN fi,zu. and the convergence is
uniform on !f, we may interchange the limit and the integral over !E.
Distinct monomials are orthogonal on 4, so the only contribution arises
when µ = a. Hence
fa j IzaI2dV(z)I<c(e)11f112.
B(z, w) = J T)C(z.
(14)
We will show first that the partial sums of (15) form a Cauchy sequence
in A2(12). Choose positive integers N and M with N < M. Orthonor-
mality implies
M 2 M
j=N+i
_EJ =,V + 1
f = F, (f. (j)'bj.
f(z) = D f cj)cbj(z)
Taking absolute values and using Corollary 111.1.9 again gives
h = Dh. 0J)IJ
J
holds for all z E 92. Writing the inner products in (17) as integrals.
and then interchanging the order of integration and summation, gives
B3). The interchange is valid because of the uniform convergence on
compact subsets. See Exercise 13.
to kernel turctton 83
The formula (14) for the Bergman kernel function involves an infi-
nite sum and does not generally represent an elementary function. The
series does have an explicit formula in a few cases; next we find one
for the unit ball. This computation will be applied in Chapter VII.
Theorem III3.5. The Bergman kernel function for the unit ball in C"
is given by
n! t
B(Z, i;) = (18)
7r (1 - (Z, C))ntl
To verify that (19) yields (18). we will expand the right-hand side
of (18).
For I x I < 1 we differentiate the geometric series n times to obtain
(
(1-i)n+I d.i } 1-x
n
d xk
= (_.) k>0
= k>0
(n k). x k . ( 20 )
k
We will replace x with (z. i;) in (20). The multinomial expansion gives
k!
(')(z)0'= E (z.o'.
IaI_k a!
Of
aI=k
84 Complex Analysis In Several Variables
gives
(z{)
tt"(1 - (Z. c))"yt a Car
By Proposition 111.3.4 the right-hand side is the Bergman kernel for the
ball. C
a - Laz
ha(z) =
I - (z, a)
From the definition of the Bergman kernel it is fairly easy (Exer-
cise 15) to prove a change of variables formula. Let h : 92 -+ 92 be a
holomorphic automorphism. Then
By polarization we can then find B(a. L) for any points a and b in the
unit ball.
We give the details when n = 1. Here
a-:.
ha(z)=
I - za
86 Complex Analysts in Several Variables
Exercise 9. Let p be a positive real number, and let 92 denote the do-
main in C2 defined by 92 = {z : zj 12 + I z212p < I). Show that the
monomials are orthogonal, and compute their norms. Assuming that
the normalized monomials form a complete orthonormal system for
A''-(92). compute the Bergman kernel function for 92 by summing the
series (14). See [131) and [BFS} for generalizations.
Exercise 12. Find the relationship between the Bergman kerncl func-
tion for the Cartesian product of two bounded domains and the
Bergman kernel functions for the respective domains.
Exercise 13. Verify the validity of the interchange of infinite suns and
integral in the last step of the proof of Proposition M.3.4.
The Bergmnn kernel function 87
Exercise 15. Prove the change of variables formula (21) for the Berg-
man kernel function.
CHAPTER IV
Linear Transformations and
Positivity Conditions
89
90 Linear Transformations and Pusitivity Conditons
(L;..z)>0.
4) L is unitan if L*L = LL* = 1: equivalently, if L* = 1.
5) L is a projection if L2 = L.
(Lz, z) > 0
This function 0 is linear in the first variable and conjugate linear in the
second. and thus 0 defines a sesquilinear form. When L is Hermitian
the additional property ¢(z. w) = 4,(u . z) holds; we call 0 a Hermrtian
Ad joints and HermtNan forms 93
1) L is Hermitian.
2) For all zandC,
(L z. C) _ (z. L (L+;.z).
3) (Lz. z) is real for all z.
The reader should note that this conclusion faiLc for linear trans-
formations on real vector spaces with inner products.
(L(z+w),z+w)-(L(z-w).z-w).
Pg(z) = jg(w)B(z.iifldV(w)
Ul) U is unitary.
U2) U is surjective and U preserves inner products; that is. for all z
and w, we have
IiUz112=IIz11`
When 71 is finite-dimensional. surjectivity in 2) and 3) is an un-
necessary hypothesis.
-Pr+voj. First we claim that U preserves all inner products if and only
if U preserves norms. This claim follows either from the polarization
96 Linear Transformatbas aad PoMtiviq Cwiditloac
112
(z -) = I! z = I I Uz 112 = (U*Uz. ;.).
and U preserves inner products. Thus statements U2) and U3) are
equivalent.
Suppose next that statement U 1) holds: thus U* = U - . Since U
is invertible it is surjective. Furthermore. for all z. uw E f. we have
and hence
\
L(al.a2..... aj ....)= 2..... a
a2
whose terms are 1. 1... . .... , , 0.0, .... The sequence (zn 1 obvi-
ously converges in R. Each z is inn R(L), but the limit is not.
0=(L*Lv.v)=IILv 112.
nn
E(Vi
J=I
- P(xj))2
over all real polynomials p of degree at most k. Develop formulas
for the minimizer in case k = I and k = 2. Suggestion: Use Theo-
rem IV.2.6.
IV.3 Linearization
Minimization techniques help us understand orthogonal projections.
It is natural to ask whether we can use the ideas of calculus to solve
the minimization problem in Theorem TV.2.6. The answer is yes. Fur-
immmore, optimization techniques play a key role throughout linear
algebra. We next discuss linearization. the basic idea of differential cal-
limh...pIIE(p,h)II =0.
Ilhll
102 l.iuear 7ransformadons and Podtirlty Conditions
Exercise 10. Formulate and prove the chain rule for composition of
differentiable mappings between Banach spaces.
itz(z.z)
Lawrlntlon 103
r(z+h.fl -r(z.` .
Similar notation and discussion applies for the derivative with respect
OD T.
As an illustration consider the function r defined by r(z, 7) _
(Lz, z), where L is a Hermitian linear transformation. By Proposi-
tion IV. 1.4, r is real-valued. It is important to treat the z on the right-
bend side of the inner product as a T. As a function of z. r is differen-
tiable, and is the linear map defined by Zh = (h, Lz). To verify
this statement we treat and z as independent, and note that
ai11zI12=(.>;
Then all candidates for points where f achieves its constrained max-
imum (or minimum) can be found by considering those points x that
satisfy the constraints and also for which either
0(z)=(Lz,z)=(Az,z)=1.
Therefore the maximum value of 4 on the unit sphere is the maximum
eigenvalue of L. Our next theorem generalizes this discussion to show
that L has a basis of eigenvectors, and that each eigenvalue is the solu-
tion of an optimization problem.
I_
1) lI z 112 =
z is orthogonal to each of the vectors ut.... ox.
E(z. uj)uj.
j=t
108 i taear 7hnsfonaations and Pasidvity Condltlons
This proves (6) and completes the proof of all three statements.
Rark IV.4.5. The reader may wonder why Definition IV.4.4 is rea-
sonable. What do we mean by f(L) in the first place? The operator
f (L) has an unambiguous interpretation when f is a polynomial for
&smple. According to Theorem IV.4.2, formula (9) is a correct state-
ment when f is the identity function. It is easy to verify the correctness
of (9) when f (x) is a power of x, it follows that (9) holds for polyno-
mials in x. By the Weierstrass approximation theorem (f F], [TBB], or
Exercise 29), every continuous function on a compact subset of R is
do uniform limit there of polynomials, so (9) is the natural formula for
continuous functions as well.
Determine limN -,, GN (L). Suggestion: Use (11) from Chapter I and
k7), (9).
E(z. vl)vl
i=t J=I
v/ L (uj) _ ../TJ vj
Pz >_cllz112. (11)
The last step follows because the 4j are linearly independent; we may
choose c to be the (necessarily positive) minimum of I I 1 z j4 j 112
on the unit sphere in C".
Lkj Zj Zk
j.k=l
japositive definite.
(Lz, z) _ E zjoj
j=I
for not necessarily linearly independent vectors (0j). The last step in
(11) fails when these vectors are dependent. In this case the minimum
value of I I > c j O j 112 on the unit sphere is zero. The reasoning in the
proof shows that L is nonnegative definite if and only if there are vec-
tors { j }. not necessarily independent, such that Lkj = (0i. 0*). When
they are independent, L is positive definite.
Proof Let 7-1 = L2 ([0, oc), dx). The functions i + e -'j' are linearly
independent in N. The inner product of two of these functions is
°O e-(Xi+xk)r 1
I dt =
Q Xj +Xk
116 the conclusion follows from Remark IV.5.3.
Exercise 13. Prove that the functions t -> e-'j' are linearly indepen-
dent in H.
(Az.z)=p,Iz, 12.
When n = 2, one complex and two real numbers determine A:
-Ia12
s-pI IC1'=s-piIa12
PI
z aPI
P1
Pz
P1
Theorem IV.5.9. Suppose that A is Hermitian and that its leading prin-
cipal minor determinanLS pj for l < j < n do not vanish. Set pa = 1.
Then there are complex numbers µ for l < j < n and j + I < k < n.
such that
2
Pi
(Az, z) _ E Zj + E Aj Zk
j=1 Pi-i k=j+1
(Az.z)=pilzil" POIzi12
Therefore we will assume that u > 2, and we write z = ... (z, I,:n ).
Lei r be an integer with I <r <n+1.When r n we let z'
denote (zr, zr a 1. , zn ). When r = n + I we interpret z' as zero. For
each r we will write
r-l 2
where (Bz'. z') is a Hermitian form. The proof of (13) acts induction
on r. The basis step is simple. When r = I the summation on j from
the right-hand side of (13) contains no terms, and thus the result holds
with B = A.
Suppose we have established (13) for some r with I < r < n. We
will verify (13) with r replaced by r + 1. By induction we then obtain
(13) when r = n + I and therefore the conclusion of the Theorem.
yedthe dettndle Hnear tra Wormatlm In finite dfineasloi 117
where z" _ (Zr+I ..... zn). Set zi = 0 for l > r + 1 in (14). By substi-
tuting the result in (13) we obtain an expression for (Az, z). assuming
u = 0 for ! > r + 1. Equating coefficients then yields (15) and (16):
r-I
Arr =
PI Ar I2+Brr. (15)
1=1 PI-1
n
(Bz'. Z) = Brr Zr + µkZk + (Cz". Z").
k=r+1
r-I n 2
Pi
(Az. z) zj + E i Zk I
i=1 P1-I k=j+I
n 2
Cj(z) = Zj +...
where the omitted terms denote a linear function in the variables Zk for
k j, and such that
(Az,z)Pi
Pi-1
ICj(z)12.
Xi
Proof. The corollary restates Theorem IV.5.9, so there is nothing to
prove. E
Remark IV.5.12. The case where minor determinants can vanish re-
quires care. Consider for example the matrix
I 0 0
A= 0 0 0
0 0 -1
Then A is Hermitian, and its leading principal minor determinants are
1, 0. and 0. Yet A is obviously not nonnegative definite. There is; an ana-
logue of Theorem IV.5.7 for the degenerate case. but one must consider
all principal minor determinants rather than only the leading principal
minor determinants. See Exercise 16.
Suppose next that A is invertible, but has eigenvalues of both
signs. We cannot conclude that all the leading principal minor deter-
120 Linear')ransformattons and Postttvtty Conatttons
A
_ a 1
1
0}
det(A)_<11Ajj.
i=I
Pn
Ann
Pn-I
Akk , Pk
Pk-1
Idet(B)I'<r[Ilb;112
J=1
Idet(B)IZ=det(A)_<fiAjj=fIIIbjllz.
1=1 1=1
such that Akj = (a j . ak) and Bkj = (bj, bk). It then follows that
E(aj
j.k
0bj)112>0.
:q{A). We leave the proof to Exercise 15. We close the section with ad-
ditionat exercises providing inequalities for positive definite matrices.
Exercise 19. Let A and B be matrices of the same size, and suppose
0:5 t < 1. We call the matrix r A + (1 - t) B a convex combination of A
and B. Suppose that A and B are positive definite. Prove the following
inequality:
(tA + (I - t)B)-i
c to-1 + (1 - t)B-t.
If 2n
1
e-inre-fr dt e f(n+I lr di = 0.
2n A 27r fo
Still assuming that n A -1 we compute
!n =
2
fr edt
by elementary integration by parts to obtain
j.k=A
1+j+k < r k=o I'kl
integral yields
N Zi N
ZJZk
1
,j-ke-f(J+k)rg(t)dt
I +j+k 2yrJ Ji
N
2tr j (zje")
j \k
Zk e-ikrl g(t) dr
1
1 2 N I
N
-` 27r I R(t) I I E z j e-iir l 1 keikr dt. I
j k
(20)
gtDert's inequsltty 127
EN
2 N
=/27r
N ZjZk N 2
(22)
Since (22) holds for each N, we may let N tend to infinity and thus
obtain Hilbert's inequality.
We clarify the last step. The sums differ because of complex conjuga-
tion. We estimate by the Cauchy-Schwarz inequality and use (21) as
before. We obtain, for each N,
N
j.k=0 j
The theorem follows by letting N tend to infinity.
(l
L..
j.kk=O.
j.k=O
fl n 00
= 2>r
1 00 e-ijt 12g(t)dt. (24)
j =U
The Riesz Lemma (Theorem 11.2.4) shows that the dual space
of a Hilbert space may be identified with the space itself. The Riesz
Lemma is a special case of more general Riesz Representation Theo-
+tdns. See M. Such theorems characterize the dual spaces of various
Banach spaces. Let X be a compact subset of Rk, and let C(X) be the
apace of continuous complex-valued functions on X. as discussed af-
ter Definition U.1.5. All we need to know here is that the dual space
130 linear Tramformatiom and PosWviry Conditions
aiv(S.t)_ 11-,+'1)aie'3'.
1 f2x 1 2n
P(t)aN(S.t)dt = (P)e;",
2tr 2n
I
I- N +I l] aie-'3r dt.
By the orthogonality of the exponentials {e"t' } and under the assump-
tion that N D, the right-hand side becomes
(I -
jCN(St)dt (28)
1 sin=(g)
aN(S,r) = (29)
N + 1 sin2(3)
1 2:r-q
IimN- . f QN(S, r) dl = 0. (30)
1 et
sin2(1 2)
+ 2
= 4 4'
Multiplying the right-hand side of this formula by QN (S, t) gives
sin2(')aN(S,t) =(-e4 +
-ir
4 r
I N
1-
/
e-i(N+1)t l ei(N+1)r
N+1 4 +2 4 )
I
sin`
(N+l
2 1
77_1
We have now verified (29).
We now use (29) to prove (30). Fix n with 0 < n < rr. The
pOtitive expression
sin2(Npt)
sing (I )
134 Linear Tr.ndormadonm and PoWivity Conditions
1
ff QN(S.t)dt <
j2 1
N M 1.
If(-r)-aN(ffx)I <E.
By the definition of aN(f) we have
f(x)-aN(,f.x)
l c /
2yr
rA2.7
(ix_ )e_u1(t_f(L)) dt.
1 III -N \
We translate the integrand by writing t - x = u. We use the pe-
riodicity of f, and we write the limits of integration from -w to tr for
convenience. Then the definition of aN (S. u) and (28) give
jdkiooat Inequaltes from Fourter analysis 135
f(x)-cN(f.x)= -1
d
rn
(f(x)- f(x+u))oN(S,u)du
end hence
n
r
1
.f(x)-QN(f.x)I f(x)-f(x+u)I0N(S.u)du. (31)
2rr N
I
iParof Given f E C(S'), the Cesilro means aN (f) of its Fourier series
are trigonometric polynomials, and they converge uniformly to f by
is theorem. In other words, given c > 0, we can find an N such
#tIlf-aN(f)IIOC <E.
Lmark IV.7.9. Suppose that f is continuously differentiable on
tO, 2a] and f (0) = f (27r). Using integration by parts one can show
That .(f, t) converges uniformly (and hence pointwise) to f : in this
Oft we may write
x
f(t) _ ck(f )eiki
k=-oo
136 Linear 7mnstormidom and Posidvity Coedtliont
This equality holds for all t, and provides a simple circumstance under
which the Fourier series precisely represents the function.
j.k=0
bj_kz jzk = L
j.k-0 2a 0
e-'t'-ki'z1..k dg(t)
2
f27r
= l N zje +dg(r) 0.
Hence the Toeplitz matrix bJ_k for 0 < j, k < N is nonnegative defi-
nite.
Conversely, suppose we are given the sequence [b. I; we must con-
struct the measure. Let B denote the trigonometric series F b je'j', and
let (N (B. t) denote its N-th Cesilro mean.
The Toeplitz matrix (b j_k) is nonnegative; we choose zj = e't'
and obtain for each N
N N
0< bj-k:.JZk = F, bj_ke-+(j-ku
= (N + l)QN(B. r). (32)
J.k-0
The positive linear functionals defined by the aN (B, t) thus all have the
.ame norm.
Let V denote the subspace of C(S') consisting of trigonometric
polynomials. It is dense in C(S') by Corollary V.7.8. We define a lin-
'ear functional g on V by giving the value of g [ P I for p E V as in the
first equality in (33) below. Here P = > D c"(P)e'"'. Since aN(B, t)
is real, the second equality in (33) follows immediately from Proposi-
tOnIV7.5:
Waft the norms of the linear functionals aN(B, t) all equal bo, the
tllptm of g is at most bo. Since V is dense in C(S'). we see that g
tfAC*cnds to a bounded linear functional on C(S'). and hence defines a
Ppeasure. Since each aN (B, t) is a positive linear functional, so is g.
0
by
As in the case of Fourier series we can also take the Fourier transform
of a finite measure. We refer to [Do], [F], [Ka], or [S] for detailed in-
formation.
toss in this context. The abstract general version (due to Weil) con-
tuns both Theorem 1 V.7.10 and Theorem 1 V.7.13 as special cases; in
*C first case the group is the integers and in the second case the group
A real Euclidean space.
11f112-< 11f'112,
containing [0, 2tr]; in particular f' e L2(S') and f (t) = FY-30 ane''",
The following inequality holds on the Fourier coefficients a,,:
00 1
anl=IaoI+EIa.1<Iao1+ rn1
-x n#o n*o n#0
Next we observe that I ao I <_ 11 f 11 1 and that n#o I nan 12 = 11 f' 1122'
2
From Exercise 25 we may substitute 'r for Fn#o and complete the
proof.
Exercise 23. Derive formula (29) using the finite geometric series.
(I t dxdy
Jo Jo t -xy.
First expand the integrand in a geometric series and integrate term by
in to obtain EA i - . To evaluate the integral in closed form, make
ie change of variables (x. Y) = (u + v, u - o). Compute the resulting
ptegral by breaking the region of integration into two pieces and then
*sing basic calculus.
Bxer+cise 28. (Ceshro means and partial suns) Show that the
Cesrlro means (Definition IV.7.4) are the averages of the symmetric
Pertial sums.
142 Unar'flanstormations and Positivity Conditions
143
144 Compact and Integral Operators
Since Pn(cn+l) 01, the norm of P. is at least one. Thus (Pn} does
not tend to zero in norm. It does converge to 0 in the strodg operator
topology. To see this, observe that I I P (z) 112 = E'Y+i I (z, O.j) 13: this
is the tail of a convergent sum fot I I z 112 -and hence tends to zero.
Let Q be the n-shift defined by
PC
J=i
It is evident that I I Qn (z) I I = I I z I I for all n. so Qn does not converge
to 0 in the strong operator topology. On the other hand
Preoj. We provide a sketch and ask the reader to fill in the derails. Sup-
pose that is a Cauchy sequence in C('1-i. R('). We define its limit
146 Compact and Integral Operators
Lemma V.2.2. For each c > 0, there is a Cf > 0 such that, for all
x,YEIt
Ixyl <fx2+CVy2.
Proof. The simple proof evokes the proof of the Cauchy-Schwarz in-
equality. For all x. Y one has
2=Ex
0<<(/lxl--lYl) 2
+ Iy2-Ixyl.
1
I(z,u')I-ellZ112+C11w11`. (1)
Proposition V.2.3. Let L : 7-t -> f' be linear. The following three
statements are equivalent:
C 1) L is compact.
C2) For each e > 0, there is a C = CE > 0 and a compact operator
K = Kf such that
IILz112<Ellz112+C11Kz112. (3)
Proof. First we will note that the two inequalities, with the same K but
with different values of a and C, are equivalent, and hence C2) and C3)
are equivalent.
Suppose a is given, and C3) holds. Write (3) with c and C replaced
by their squares to obtain
IILz112 <(ElizII+CIIKz11)2:
(2) fol lows by taking square roots.
Suppose c > 0 is given, and C2) holds. Choose I with c = 212
and apply (2) with a replaced by q. Squaring the result implies the
estimate
IILz112 <2r1211z112+(C2+C')IIK:112=ElIz112+C"IIK:112
IIL(z,.)-L(zN)11=IIL(z,.-zp)II
:5 EIIzV ZM11+CE11KE(zu-z,)II. (4)
IITzII = II(T-A)z+Azll
11 (T - A)zII+IIAzII :5 EIIzII+IIAzII.
Proposition V.2.3 guarantees that T is compact. CI
Corollary U.S. Suppose that, for each c > 0. there is a finite number
of compact operators K,, ... , KN and constants Ct,... , CN such that
N
IILzII :5EIIzII+ECJIIK;zll.
J=t
Then L is compact.
We now consider the special case when the domain and target
Hilbert spaces are the same. In this case C(H, f) is an algebra. The
operations are addition. scalar multiplication, and composition of op-
erators. Our results so far enable us to conclude that )C(f) is an ideal
in this algebra.
Theorem V.U. Let L : 7-t -> 7-t' be compact. Then L` : 7-t' - 7-t is
compact.
Proof Given c > 0, it follows from (1) following Lemma V.2.2 that
Chore is a C such that
II L*z 112 = (L'z. L'z) = (z. LL`z) Ell z 112 + CII LL`z 112.
Ell
II Lz 112 = (Lz. Lz) = (z, L*Lz) 5 Z 112 + CII L*Lz 112.
(Tf)(z) = fn
K(z, ww)f(w)dV(w).
Ln(z) _ (z.
i=
Show that I I Ln - L I I tends to 0. This idea also appears in the proof of
Theorem V.3.5.
Proof. For each j there is a unit vector z1 for which L(z j) = A1z1.
These z1 form a bounded sequence in 7-t; since L is compact, the se-
quence (L(zj)) has a convergent subsequence, denoted by {L(wk)).
The limit C of (L(wk)) exists, and the limit A of {Ak} exists. If A 96 0,
then (wk) converges to i. By Lemma V.3.3, each eigenspace is finite-
dimensional, so (wk} is not eventually constant. On the other band, by
Lemma V.3.2. the eigenspaces are orthogonal. As in the last step of the
proof of Lemma V.3.3, a sequence of orthogonal unit vectors cannot
converge. We obtain a contradiction unless A = 0.
4IILzII2
< IIIL1114`IIILIII
(2",+2"'"2).
IIIL1112
(8)
After dividing both sides by I I z 112 and taking the supremum over
nonzero z, we obtain I I L 112 < 111 L 1112. Combining this inequality with
the opposite inequality (5) completes the proof of the first part.
jya pedal theorem for compact Hermittan operators 157
we also have I (u), zv) I -> I I L 11. Since z is a unit vector the Cauchy-
Schwarz inequality forces IIL' I I I L 11; on the other hand I I Lz,. 115
I
Since (Lzv. Z,,) -> P. and II w I I =IIL II. the right-hand side of (9)
tends to
11L.w112-21A2+IIL112 =o.
Lz=lim L(z,,)=w=µz=±11LIIz
and hence z is the desired eigenvector. C
II II 11.+1111 11,
Then we have
I1gll:52-IIg'II.
7r
T'f(y)= f I f(t)dt
r
f 1 f(r)dtdy.
fox v
ff
1
f(r)drdy=Af(x).
0
-f(x) = If "(X)
and the boundary conditions f'(1) = f (0) = 0. We solve the equation
by elementary methods to get the eigenvalucs and eigenvectors. For
each nonnegative integer n there is an cigenvalue 1 with
4U spectral theorem for compact Hermltan operators 161
= 2+na
1 rr
(2n + 1),rx
f (x) = sin 2
27F
I f(x)12dx < I If (X) 12 dx. (11)
0 o
Equality holds only for linear combinations of cosine and sine. In Ap-
plication V.3.8 we assume that f (0) = 0. In Application IV 7.16 we
Assumed that the average value off is zero, and in Application 1V.7.17
We gave a related inequality under the assumption that f r= Lt. Some
Assumption on the values off is required; by adding a constant to f we
can increase the left-hand side of (11) without changing the right-hand
side. Assuming that the average value off is zero amounts to assuming
that f is orthogonal to the constant functions.
162 Compact and tote ral Operators
ITf(x)I : j I K(x,y)11f(y)IdV(y)
=f IK(x.y)I4IK(x,y)Iilf(y)IdV(y)
n
Therefore
Proof.
ITf(x)-Tf(x')12
Vol(W) sup,.,,., I K(x. y)
I Tf,(x)-Tfn(x')I
II (18)
Remark V.4.3. We note also a simple way to show that certain oper-
ators are Hermitian. Let T be an integral operator on A2(S2). where
S2 c C, and suppose that T has integral kernel K(z, rii). Then 7' is
Hermitian if K satisfies K (z, T) = K (w. z). See Lemma 11T.3.2 fur the
case where T is the Bergman projection and see Proposition V1.2. 10 fur
another instance.
Exercise 9. Show that the functions Tf from Theorem V.4.2 are uni-
formly bounded.
Exercise 10. In each case show that the operator T is not compact on
La(10, Ii):
I ra'
Tf(x)=-x /) f(t)dr
Tf(x) =xf(x).
Suggestion for the second: Look for eigenfunctions. and contradict the
conclusion of the spectral theorem.
not required in the rest of the book, although some of the examples help
explain the proof of Theorem VII. I.1.
First we give an example of an unbounded operator with an inter-
val of eigenvalues. Then we diccuss the Hilbert transform and show that
certain related commutators define compact operators. We discuss the
Fourier transform and sketch the definition of pseudodifferential oper-
ator. This material provides a nice approach to the appealing notion of
fractional derivatives and integrals.
Tf(x)=je_'_hIf(t)dI.
The integral kernel a-I-`-'l is continuous and symmetric in x
and t. In case f e L2(R). the Cauchy-Schwarz inequality shows that
Tf is defined; in general however T f will not be in L2(R). Suppose
the domain of T is the subspace of f e L2 for which T./' E L2. Then
T becomes a good example of an unbounded operator.
Lerus consider T on V. For each a > 0, we show that the function
f. given by fa(x) is an cigenfunction for T with correspond-
ing eigenvalue tom:
00 .c
I iar dt = r x e r+r-ie1 di + / e`1 -'at dt
oc
-=e,'r I-ia) re-.c(l-ta)
=r I-ia. +
ex l+irr
= e ia.t 1 + I
= e -irrx
2
1 -ia l+ia 1+a2'
Thus we have
+ a2
168 Compact and Integral Operators
H2=(2P-1)2=4p2-4P+1=1;
H-I
hence = H and H= H*. Therefore H is unitary. C
1imf.o J
f - dx
f<Ix I<1 1 x
b / rc -E b
PVJ r +J )f(.r)dr.
. o +e
u(.)
PV d.
si S - e"
by
(Taf)(X)=
F(a) Jo
(x-y)n-lf(y)dy
jp case a = I we see that T f is the integral of f. By induction, we
at when a is a nonnegative integer that T. integrates f precisely a
times. Suppose that a. b > 0. Exercise I 1 uses the Euler beta function
is verify that the composition formula TbTa = Tb+a is valid. Because
of this property we are entitled to think of T. as integrating a times,
j Dr an arbitrary positive real number a. Hence we can define fractional
Mtegnils.
Suppose that f is continuously differentiable. It is easy to ver-
ify by integration by parts that Ta(f) = Ta+r (f'). Now suppose that
-1 < a < 0. We define T. on the space of continuously differentiable
functions by
By induction we see how to define, for all real a, the operator T. on the
space of infinitely differentiable functions. We thus obtain fractional
derivatives.
f( X) = (e x-r;X)
the Fourier inversion formula holds:
Sr
A
i
fA (t)d$.
(D'f)(x) = 2 )f R
D9 DO = D°`+1s
*gk pse at sMgular Integral operators 173
P = .f-t MpF.
Exercise 11. Prove the composition formula TbTa = Tb+o for the op-
erators defined in Example V.5.9. Suggestion: Interchange the order of
integration. change variables in the inner integral, and use the definition
of the Euler beta function.
4kj2
eT dt
.41
175
176 Podtlvity Coudltloi for Real-vahued Functiorn
Problem VI.1.1. Characterize those p E R[x] such that p(x) > 0 for
all nonnegative x.
Problem VI.1.2. Characterize those p e R[x] such that p(x) > 0 for
all real x.
proposition VI.13. Suppose p E RIxj. Then p(x) > 0 for all non-
Megative x if and only if there is an integer N and a polynomial r with
positive coefficients such that
Proof. Suppose first that (1) holds for some N. Then p(x) > 0 for
x > 0 because this is true for both GN and r. The interest therefore lies
in the converse assertion. We start with p and need to find N such that
(1) holds.
Here is the strategy of the proof. First we factor p into a product
of linear and quadratic polynomials:
p=f Ij fl q,.
Since p(x) is positive for x 0, we may assume each linear factor
jj has all positive coefficients. Suppose the conclusion of the Propo-
sition holds for each quadratic factor qi. Then, for each j, there is an
integer Ni such that GNJgi = r j, where ri has positive coefficients.
Let N = Nj. We then have
GNp=!lljJ]ri=r
where r, defined by the formula, has all positivc coefficients. The pos-
Wtivity follows because the product of polynomials with all positive
Coefficients also has all positive coefficients. Thus, to prove Proposi-
tion VI. 1.3, it suffices to verify it for quadratic polynomials.
Suppose now that p is a quadratic polynomial, and p(x) > 0 when
qt ? 0. The.positivity for large x guarantees that the coefficient of x2
is positive; after dividing by this coefficient we may assume p(x) =
+ bx + c. If b > 0, the conclusion is true with N = 1. If b < 0.
'we may first replace x by the positive number 4. and then divide
through by the positive number j. By doing so we reduce to the case
'Where p(x) = x2 - 2x + 1 + in, where m > 0. and m is the minimum
Value of p on all of R.
We compute r (x) = (1 + x)" p(x) explicitly using the binomial
theorem. We obtain
178 Positivity Coeditluns for Rest-vatned Functions
+EC(n,k)x*+(n(I+m)-2)x+l+m (2)
k=2
C(n,k)_(k2)-2(kn 1)+(m+I)( )
-2k k(k - 1)
k l+m+n-k+1 + (n-k+2)(n-k+l)).
(n)(
(3)
C(n, k)
D(n k) _
a)
-2k k(k - 1)
=m+1+n-k+1 + (n-k+2)(n-k+1)
We replace k by an for 0 < a < 1:
I
D(n,na)=m+1+ - ")
1-a+ (1-Of +A)(l-Of +
I + a(2
(m+l)(l-a+!)(I -of +rt)-2a(l-of +2)+a(a-n)
(1 -a+)
(4)
g(a)= (m+4)a2-(4+2m)nr+(m+ l)
The minimum of g is easily seen to be the positive number in 4 By
uniform convergence there is an n so that the numerator in (4) ex-
ceeds t for all a E [0. 1]. For this fixed n, the denominator in (4)
is bounded above; therefore (4) is bounded below by a positive con-
stant.
Thus we may choose n sufficiently large to ensure that each
C(n, k) is positive. Then r will have positive coefficients. We have ver-
ified the conclusion for quadratic polynomials, and therefore in gen-
eral.
Exercise 1. Suppose that p e R[xJ and that p(x) > 0 for all x. Show
that there are an integer N and polynomials g j for j = l..... N such
that
N
P(x) = F'Rj(x)'-.
j=I
Suggestion. Think of p as a polynomial in one complex variable z, and
factor p into a product of linear factors over C. Since p(x) is real fort
real, each factor z - w must be accompanied by a factor (z - w). With
u'=a+lbandz=x we have
(z-w)(z-u-)=(.r-a)2+ b2.
Thus each of these quadratic factors of p is a sum of squares. Since the
product of sums of squares is also a sum of squares. p itself is a sum of
squares.
n F1 1:
j=1
i
1=1
Lion VI.2.4), positive away from the origin, and depends only on the
absolute values of the complex variables. In this case the answer is yes.
2.1
c21=(19)-2( )+1.1(2211)l9 0!(21 -200.
(6)
It follows easily that all coefficients are positive for the first time when
the exponent N from Proposition VI. 1.3 is 41.
More generally we let pF (x) = x2 - 2x + I + e. The minimum
exponent that works in Proposition VI.1.3 for pF tends to infinity as
F tends to zero. To see this easily, note as in (6) that the coefficient
cN+1 of (1 + x)2N pF vanishes identically when c = N . Therefore the
minimum exponent exceeds f.
co = c(ia
for all a. P. hence R1) holds. Thus R3) implies RI).
To see that RI) implies R2). write r(w, z in terms of the coeffi-
cients, use the Hermitian symmetry, and interchange indices to obtain
R2).
as the reality conditions on the Hermitian form (Lz. z). We could have
proved Proposition VI.2.1 by deriving it from Proposition IV, 1.4.
Since the matrix of coefficients of a real-valued polynomial is Her-
mitian, we obtain the following useful result.
r(Z. Z) = F, CajZaZfi
a.f
r(z.Z)=11f(z)112-IIg(z)112. (91
Proof. There are several proofs: one uses the spectral theorem. We give
the most elementary proof, by providing formulas for f and g. Put
Cozo,
fR (Z) = 2 Zfl L..
of
gp(z) = 2 zfi -
of
Note that
II(g®h)(z)112=11g(:.)112+11h(z)112. (10)
4®"'
=z® ®z
11:.®'"112=IIz112m.
186 Paattivlry Conditlons fur Real-valued Functkw'.c
Note that H. maps into a space of smaller dimension than z®"' does.
The equality of their squared norms implies that the mappings H," and
zo"' are related via a linear transformation L. It follows from our next
result that H. (z) = P(U(z®'")), where U is unitary and P is a projec-
tion. See Exercise 5.
The next result has many applications (sec [DJ).
A(z) = UB(z).
U(Ba) = A.
If Bp is a linear combination of these Ba, then the definition of U(Bp )
is forced by linearity. On the other hand, the compatibility conditions
Real-valued polynomlak on C" 187
IIf(z)II2-IIg(z)112=IIF(z)112-IIGO II2
is equivalent to
a1=181=n'
In Definition V1.2.5 we insist that (14) hold for all complex num-
bers A. The (real) homogeneous function z --.- z2 +z2 satisfies (14)
with m = I for all real A, but not for all complex A. It is therefore not
bihomogeneous.
d(n, m) _
n + in -1 }.
in
C. (z) = za.
This mapping is called the Veronese mapping of degree in, and it sug-
gests an interesting point of view on bihomogeneous polynomials.
Let r be a bihomogcneous polynomial on C" of degree 2m with
matrix of coefficients C. We may consider C = (can) to be the ma-
trix of a Hermitian form on CN, where N = d(n, m). We have, with
r(z. z) S(z)).
r(Z,z)=1: Ifa(z)I'-LIgb(z)I2
a-1 b=1
=11f(z)112-1Ig(Z)112.
N
EAjI (i;. vj) 12
and hence
N N
r(z.Z =EAjI(C(z).vj)12=j:f1(C(z). IAjluj)I2.
j=1 j=1
d(m.n)
where the polynomials fa form a basis for the vector space of holomor-
phic homogeneous polynomials of degree in.
tically zero. Then there is a k with I < k < d(n. m) and linearly
independent homogeneous polynomials ju such that
k
(Lh)(z) = r(z.
s
To understand L we introduce convenient notation. We writs 0a
for the (not normalized) monomial function z - za. Then we have
(Lh.h) = 1: c.p(h,41p)(h.-0a).
Since the monomials of degree m form a basis for V., we see that
(Lh, h) > C1I h 112 if and only if the conjugated matrix (cap) is positive
definite. This holds if and only if (cap) is positive definite. C.
p(z,:) = I
where a and b are real numbers. The matrix is diagonal with eigen-
values 1, a. b, 1. The condition for nonnegativity of this polynomial
(Exercise 6) allows a orb to be arbitrarily negative as long as the other
is sufficiently positive.
p(t)
z(t) = q(t)
When q is a constant we call such a curve a holomwrphic curve. In gen-
eral the denominator q may vanish at some points, so a curve defines a
mapping into C' only away from the zero-set of q.
where the omitted terms are of higher degree. and (the vectors) a and
b are assumed not zero. Notice that the dots inside the squared norms
involve higher powers oft. whereas those on the right-hand side of (19)
involve terms in t and 1.
The exponent 2(m -k) can be negative, but it is always an even in-
teger. From (19) we see that there are no other terms of order 2(m - k);
the part of the series for z*r of lowest order must be independent of the
argument of t. Thus. if t = I t lee(+, the lowest order part is independent
of 9. The author named this necessary condition for being a quotient
of squared norms the jet pullback property. In differential topology jets
are essentially the same as Taylor polynomials.
z*r(t."t)=cltl2a+ .
where the omitted terms are of order greater than 2a. The presence of
any terms of order 2a other than cl t 12a prevents the limit from existing.
Since
z'r(l.1)=It1-4(21112+i2+r-+it14).
the jet pullback property fails. Hence r cannot be written as the quotient
of squared norms. It follows that x2 is not a quotient of squared norms
either.
z'r(t,1)=t416+21,110+161 +...
and the lowest order terms are not acceptable.
Exercise 8. Define p by
By Exercise 7, p(z, D >- 0 for all z. Fmd a curve r - z(I) such that
violates the jet pullback property.
oemcise 9. Show that (22) implies that the average value of f on the
hNerval [x. y] is at most the average of the values off at the endpoints.
198 Pbstuvity Conditions or Resl.vebcd Functions
ry,y,
Remark VI.4.4. Nonnegativity of the Hessian (in both the real and
complex cases) plays a crucial role in partial differential equations and
harmonic analysis. The notion applies even for continuous functions.
Mathematicians have developed Distribution Theory, where one con-
siders weak derivatives. The derivative of a (possibly nondifferentiable)
function is defined to be a continuous linear functional on an appro-
priate space of functions. Once this notion has been defined, one can
characterize plurisubharmonic functions as those whose complex Hes-
sian matrix, in the sense of distributions, is nonnegative. See (Do], [H],
[Kr]. !S], or [Ta] for information about these topics.
Readers familiar with real variable theory know that the class of
positive functions whose logarithms are convex plays a key role, An
analogous definition is useful in complex variable theory.
200 Posltivity Condidoi for Real-valued Functtoas
r2H(log(r)) = M(r).
When r is positive it is evident that r is logarithmically plurisub-
harmonic (M(r) > 0) if and only if log(r) is plurisubhannonic
(H(log(r)) > 0). In the general theory of plurisubharmonic functions
one allows functions to achieve the value -oo. This characterization
then holds for nonnegative functions r. Hence, even when r takes on
the value 0. we say -log(r) is plurisubharmonic" instead of saying "r
is logarithmically plurisubharmonic."
pkaisubbarmonk fbnetlons 201
Proof First we observe, for a < 6, that r is a squared norm, and hence
both r and log(r) are subharmonic. In the calculations we therefore
assume that a > 6. The Laplacian of r is easily found:
r- = 161z16+361214+(24-4a)Iz12+4.
Write t = 1 z 12. We see that r is subharmonic if and only if
imum value (fort > 0) is nonnegative. Thus we can find the largest u
for which u is nonnegative by choosing a so that u has a double rout
for some positive to. We first solve the equation u'(tt) = 0 for to. We
find that the nonnegative solution is given by
do(t)= 1+(4-a)t+(6+a)t2+(4-a)t3+t4
=(I + t)4 + a(-t + t2 - t3).
This expression is linear in a, and the coefficient of a is nonpositive
when t > 0. Therefore if do(t) is nonnegative fort > 0, then the same
holds for all smaller values of a. When a = 12, we see that da (t) is a
perfect square:
d(12)(t) = (l - 41 + t2)2.
Note that this polynomial has zeroes for positive t. When a > 12,
we see that do(t) has negative values. Therefore the condition for the
subharmonicity of log(y) is a < 12.
log(r) + 2 Re(a)
H(r)(a.a)+2Re(b(3r,a))+rIb12 > 0.
Since r is positive, we may choose b = This choice yields
I (Or. j) I2
H(r)(a.a)- > 0.
r
It follows immediately that M(r) > 0.
Conversely, suppose that M(r) > 0. The elementary inequality
and hence rB(r) > 0. Since r is positive we see that B(r) > 0 as well.
It follows immediately from (25) and (26) that the column vector
(z-1. .... -m) lies in the kernel of the matrix B(r). 1i
r(z, z) > 0.
II f (z) I I`
r(z. ) -
IIg(z)II2
P3) On the diagonal, r is the squared norm of a holomorphic polyno-
mial mapping. That is. there is an N and a holonorphic polyno-
mial mapping f from C" to CN such that
r(z,Z)=IIf(z)112.
P4) The matrix of coefficients of r is nonnegative definite. By Theo-
rem IV.5.2 this is the same as saying the matrix of coefficients of
r is of the form A' A. That is.
r(2. T) = capZa-40
I
P6) r is positive at one point on the diagonal. and r satisfies the global
Cauchy-Schwarz inequality: for all z and w.
rH(r)(a. a) ? I (8r, a) I2
at every point.
P8) On the diagonal. r is plurisubharmonic. That is. for all a E C".
H(r)(a. a) > 0
at every point.
Remark VI5.3. P3) and P4) are equivalent. One implication follows
for example from Theorem 1V.5.2. The other is easy. If cap
then
2
fazes
CasZazo = >(fa. fp)za''-0
a. a. I a
Proof. Suppose PS) holds, and write r' = II f II2. When m is odd.
we see that r is nonnegative. When ni is even, our hypotheses that r
is positive at a single point and that r is a polynomial, in combination
with r' = II f 11 guarantee also that r is nonnegative. Then, by the
usual Cauchy-Schwarz inequality,
Since m > 0, we may take m-th roots of both sides of (28) and preserve
the direction of the inequality. Thus (27) and hence P6) hold.
Next suppose P6) holds. Choose w so that r(u", ui) > 0; then (27)
implies r(z. z) 0 for all z. To verify P7) it remains to show that
M(r) > 0. Define a function u by
12.
u(z. z) = r(z, z r(w, i) - I r(z. Z)
According to P6). the function u is nonnegative. and it evidently van-
ishes at w. Therefore H(u) must be nonnegative definite at w. Thus:
Gathering this information together shows that P3) implies all the
other properties. Thus being a squared norm of a holomorphic polyno-
Pbsitlvity conditions Wr poIynonrids 211
ra(Z,Z) =
llzll4
-a {J IZj 14.
j=I
is a squared norm, so P3) holds, and all the statements are evident. So
we assume that a > 0. We have
z'r(t.i)=(II+t12+1)4-1611+t14
= 8(t2+21r 12+1'-)+...,
and the lowest order part does not satisfy the necessary condition. Thus
r is not a quotient of squared norms when a = 16. One can also note
that the zero-set of r16 is not a complex analytic variety.
It is easy to determine when P3) and P4) hold. They are equivalent
by Remark V1.5.3. so we consider P3). Expanding (x + y)4 by the
binomial theorem shows that the coefficient of x2 V2 in ra is 6 - a and
all other coefficients are positive integers. Thus the condition for r
being a squared norm is that a < 6.
Next we discuss P5). A power of ra will be a squared norm if
and only if all the coefficients of that power of (x + y)4 - ax21,2 are
Posittvhy coodltMms for polynomWs 213
r' =xR+8x7v+(28-2a)x6y2+(56-8a)xsy3
+ (70 - 12a + a2)x4y4 +
Comment. The author believes that PS) holds if and only if a < 8.
It is fairly easy to prove (in this example) that the set of a for which
P5) holds is an open set. and that the set of a for which P6) holds is a
closed set. In particular P5) and P6) are distinct conditions. It is perhaps
possible to prove that PS) and a sharp form of P6) are equivalent.
z= r
. 1 1
and uj= (1
12-
1
12-
Then ra(z, -u,,) = ' and ra(z. T) = ra(u), w) = I - 16. Plugging this
result into the inequality (27) yields
11612
<(1-161
This condition implies 1 - > 0. so the global Cauchy-Schwarz
inequality implies a < 8. We omit the proof of the inequality when
a < 8.
To prove P8). we use the special form of ra to find its complex
Hessian. We then use Theorem IV.5.7 (and lots of computation) to de-
cide when ra is plurisubharmonic. Let Aj . denote the partial derivative
z; szt (r,,). The entries of the Hessian follow:
214 Pndtivity Comdklons for Rest-vohad Fuectlons
122=4(1 z112+1z21213)+12(12112+1Z212)21Z212
-4aIz1141z212.
and this expression vanishes at two values in the unit interval. Again
when a = 12 we see that II I > 0 for 0 < I z1 12 < I. The expression
for III is a cubic in I z, (2 with only one real zero, which lies outside
the unit interval. Hence ra is plurisubharmonic when a = 12; it follows
easily that the same is true when a < 12. When a < 12, expression
(30) is positive for 0 < I zI I < 1. When a > 12, this expression is
negative for points close to its roots. Thus a = 12 is the cut-off point
for plurisubharmonicity. and P8) holds.
poaitivity conditions for polynondats 215
The condition for P7) is the same as the condition for P8), accord-
ing to Theorem V1.4.14. In Exercise 16 we ask the reader to verify this
directly.
Exercise 16. Verify directly that P7) holds in Proposition VI.5.6 if and
only ifa < 12.
Exercise 17. Verify that P2) holds in Proposition VI.5.6 when a < 16
by using Proposition VI.1.3. Suggestion: The polynomial q given by
q(t) = (t + 1); - at2 satisfies the hypotheses of Proposition VI.1.3,
and therefore its conclusion. Homogenize the result.
Exercise 18. (Difficult) Prove that P6) holds in Proposition V1.5.6 for
a = 8. It follows that P6) holds if and only ifa < 8.
(Open problem) Prove that P5) holds in Proposition VI.5.6 if and only
ifa < B.
CHAPTER VII
Stabilization and Applications
The results in this chapter generally have the same flavor. We are given
a polynomial whose values are positive on some set. We show that the
polynomial agrees with a quotient of squared norms on that set, thus ex-
plaining the positivity. These results are striking applications of Theo-
rem VII.1.1; this stabilization result shows that certain bihomogeneous
polynomials are quotients of squared norms. See Remark V11.1.4 for
an explanation of the term stabilization.
We state and discuss Theorem VlT.1.1 in Section 1. but postpone
its proof to Section 6. The proof uses the Hilbert space methods de-
veloped in this book; it combines properties of the Bergman kernel
function for the unit ball in C" with results about compact operators.
S4) Let kd (z, ; ) = (z. t )d r(z. ). There is an integer d such that the
integral operator defined on by the kernel kd is positive
definite from Vm+.d to itself.
S5) There is an integer d and a holomorphic homogeneous vector-
valued polynomial g of degree nr + d such that V(g) = {0} and
such that II z 112dr(z, z) = II g(z)112.
S6) r is a quotient (11 g 112)/(11 h 112) of squared norms of holomor-
phic homogeneous polynomial mappings whose zero-sets V(g)
and V(h) consist of the origin alone.
of squared norms. Since V(g) and V(h) consist of the origin alone. r is
positive away from the origin. Hence S6) implies S 1).
Taking these known implications into account, to p r o v e Theo-
rem Vll. l .1 it suffices to show that S 1) implies S4). We will accom-
plish this by using some of the facts about compact operators and the
Bergman kernel we have already proved.
We prove the remaining implication, S1) irnplier. S4). in Section 6.
Before proceeding to the applications we close this section by mak-
ing a few more remarks and deriving Pdlya's Theorem from Theo-
rem Vl.1.l.
IIzII2kIIg112=IIHk®g112.
From this we have the following. stabilization property. If S5) holds for
some do. then S5) holds for each d with d > do. Similarly, if S3) or S4)
holds for some do, then it holds for each d with d > do.
Observe that the polynomial in this warning depends upon the ab-
solute values of the complex variables, but not on their arguments. By
restricting to general bihomogeneous polynomials with this property
we obtain PSlya's result (Theorem V1. 1.4) as a corollary.
The middle term depends only upon the I zj 12: hence so does the right-
hand side. It follows that the E,,,,, there vanish unless µ = v. We there-
fore obtain
The main assertion that S I) and S3) from Theorem VII. l .l are
equivalent was proved in 1967 by Quillen. Unaware of that result,
Catlin and the author, motivated by trying to prove Theorem VII.3.l,
found a different proof, which we give in Section V11.6. Both proofs use
hard analysis; Quillen uses Gaussian integrals on all of C", whereas
the proof here uses the Bergman kernel function on the unit ball B.
Quillen uses a priori estimates, whereas the proof here uses facts about
compact operators on L2(B").
r(z.i)>e>0
for all z. Must r be a quotient of squared norms? The answer is no. The
following example, which appeared earlier as Example VI.3.5, recalls
for us the necessity of the jet pullback property.
r(z, )= l+z2+z2+21212.
Since I Re(z2) I < 1 12. we see that r(Z, z) >_ i for all z. On the other
hand, we showed in Example VI.3.5 that the jet pullback property fails,
and hence r is not the quotient of squared norms.
The author does not know whether the jet pullback property plus
an appropriate nonnegativity condition together provide a sufficient
condition for r to be the quotient of squared norms. In our next the-
orem we will place an additional restriction on r and conclude that r is
a quotient of squared norms. First we introduce some notation to make
Pbekivity everywhere 223
Theorem VI1.2.2. Let r be a polynomial such that r(z, z) >_ E > 0 for
all z e C". Suppose in addition that the bihomogeneous polynomial rh
is positive away from the origin. Then r is a quotient of squared norms
of holomorphic polynomial mappings. Thus there exist an integer N
and holomorphic polynomial mappings A : C" - CN and B : C"
CN such that A and B vanish nowhere and
r(z,i)= IIA(z)112
II B(z) II-.
R(z,t,7=ItIznir(l, } (3)
when r i4 0 and by
Suppose that rh > c > 0 there. Hence there is a S > 0 such that the
values of R are at least for I I z 112 +1112 = 1 and I t I Ti. For I t I
and 11 U
1. (3) guarantees that
R(z. t, z, r) = I t 12"'r
tt
(.
(IIz112+ItI')"R(z.t,74.r)= IIh(z,t)112.
Setting t = I gives us
(112112+1)dr(z.z7= I1h(z.1)112.
IIA(z)112=IIB(z)II2r(z.Z)>c.
Therefore also A(z) is never 0.
IIA(z.t)112
R(z.r.z.i) =
I1B(z.r)1122
is a quotient of squared norms. Then, since r(z, ) = R(z. 1. z, 1), we
see that
11 A(z.1)112
r(z,7 =
IIB(z.1)112
Hence r is a quotient of squared norms. On the other hand, we see that
A(z,0)112
rh(z,7 = 11
11 B(z.0)112
Thus the homogenization technique in the proof proves that both r and
rh are quotients of squared norms. When the homogenization technique
works, we obtain a holomorphic homotopy between r and rh.
The proof of Theorem VII. 3.1 below relies on Theorem V 11. I.1.
We homogenize r by adding a variable. as we did in Theorem V 11.2.2.
226 StabIlz tion aed Applications
Pmof We write
r(z. z} _ caflZ' .
Ia1.Ip1=0
1t1'-"'r(.>k>0
t t
Fc(z, t, z, i) > k.
WhenI(IIz112-It12)I?awehave
Fc(z.t.> C8'"+EcaflZaZptm-1a1j"-Ift I
(6)
(IIzIII+I1IZ)dFc(z.t,z.7)=IIh(z.t)II2
holds everywhere. Setting t = I and then I I z 112 = 1 shows that
Il q (z) I I
9(z)I12+1I q(z)
(7)
i=I
on the unit sphere. The rational mapping a satisfies the desired prop-
erties.
R
ai Z
B(z) = ei0
3 `1a1z (8)
In (8) the points a3 tic in the open unit disk, and each a3 can oc-
cur with an arbitrary finite multiplicity in the product. Suppose next
that q is an arbitrary polynomial in one variable, and that q is never
zero on the closed disk. By the fundamental theorem of algebra, q fac-
tors into linear factors in C; since its zeroes are outside the unit disk
we call them o. and see that q is a constant times the denominator
in (8). Thus, whenever q is nowhere zero on the closed unit disk. q
is the denominator of a proper holomorphic rational mapping of the
unit disk. The dimension N from Corollary VI1.4.3 can be chosen to
equal 1.
11f(z)112
r(c,f)=
11 g(z)112
Fc=r+Ch>r> 2
On the sphere where h > y, we have
FC=r+Ch> r)+Cy> 2.
Proof of tabltlzdon 233
IIz112"+2dr(z.z)+Cllz112li+2dh(z.r)
IIzII2dFc(z, ) =
= II A(z)112. (9)
Lemma V.11.6.1. Suppose that II z II < 1. For fixed positive or, the
value of the following function of z depends only upon II z 11:
(z) = I I II 11
(10)
1a
y (z. w)1p+ dV (w).
fit.
(IZ1-w112+1-Iwi12)1(1-Iw112)"-1dV(wl).
la(z} < C
B, 11- zlwl In+1
(11)
1-Iw1I2<211-ziuiil (12)
12 I
I zl - wl <I - Z101 12. (13)
supo<_1 <1
fI
1 -:Iw1 I7-2dV(wl)
,
J I1-wl,1-2dV(u,)< Il-w1,1-2dV(w)
, 82(I)
J1u-I 12
f s1<2
I C I'1-2dV(S)
2n 2
2q
rq-1drdO=27r-.
0 0 1
The crucial point in the proof of Lemma V116.2 is that the expo-
nent n-2 in (15) exceeds -2. The Poisson integral formula, Exercise 2
from Chapter i, shows what happens when r) tends to zero.
Remark VI1.63. One can use the estimate from Exercise 1 from
Chapter II to give a similar proof, in both cases one computes the in-
tegral over a ball in complex dimension n - 1. and ends up needing to
show that the same integral is finite for I > 0.
Stabilzattan and Appl1catIons
This inequality will yield a contradiction. Let 7-l denote the span of
{ fj ). Because of orthogonality. the inequality implies that -L is posi-
tive definite on N. Since -L is compact on A2(B ). it is also compact
on 7{. A compact operator on an infinite-dimensional Hilbert space
cannot be positive definite (Exercise 5). This contradiction proves that
the required jo exists. E
We are now ready to prove Theorem VII. 1.1. Recall that the only
remaining point is that S l) implies S4). The idea is to use the Bergman
kernel as a generating function for the functions. (z, C)d.
B(e. ) = rr"
(l - (z. ))" t
There are thus positive constants cd such that
B(z.T) _ ECd(Z,C)`1.
d=t
Define an integral operator T on by letting its integral
kernel be
r(z.T)B(z, i! )
Observe that T is Hermitian by Remark V.4.3. We will show that
T = Q + L., where Q and L satisfy the hypotheses of Lemma V1I.6.4.
Iknce the restriction of T to Vj will be positive definite for sufficiently
large j. By construction, the-restriction of T to Vj is the operator with
kernel rd (z, C)d r(z, g). Since cd > 0, this yields S4).
Let X be a smoxxh function with compact support in the hail, such
that X(z)>0for all zand x(0)>0.Wewrite
r(z, i;)B(z. i;) = (r (z. T) -r(z. <)) B(z.%)
+ (r(z. i) +X(S )) 8(z. 1 - f ). (16)
Q=M"P+PMx.
For h E A2 (B,,) we have Ph = h. Also P = P'. Using these facts we
compute
IA(z,I_<Clz-tI (18)
Prnof We use Proposition V.2.3. Given E > 0, we will show that there
is a compact operator Sl so that the following estimate holds:
B.
f1 IKo(z.C)IdV(C) f Ix(C)K(z,;)Idv(C)
= f Ix(S)IIA(z.l;)IIB(z,f)IdV(C)
:5f IA(z.C)IIB(z.f)Idy(C)
j
:s fn'
where the a; are also polynomials, and hence continuous. Then (18)
holds with fi - 1. Therefore Lemma V116.5 applies, and the first term
in (16) is the kernel of a compact operator. We have finally proved all
the needed statements for Theorem VIII.1.1.
We close the book by providing some insight into the proof that
the first term in (16) is the kernel of a compact operator. The idea is sim-
ple: the only singularities in the Bergman kerncl function arise when
z = C; the numerator r(z, i;) - r(z, z) vanishes when z = and thus
compensates for the singularity there.
This argument has a nice formulation using commutators. Recall
that (A. B] denotes the commutator AB - BA of operators A and B.
The operator coming from the first term in (16) can be written
Rp=[P.M_n]=PMsd-M-nP.
Proof of stabs lzation 241
n! R - -;/,
and the argument used in the proof of Lemma VII.6.5 shows that Rp is
compact.
The same idea applies much more generally. See [CD2] for a re-
sult on the compactness of [P, M] where P is the Bergman projection
of a domain much more general than the unit bull, and M is a more
general operator.
This afterword aims to provide some glimpses into research about pos-
itivity conditions in complex analysis. The papers mentioned here form
an incomplete list, but perhaps will give the interested reader an entry
to the research literature.
This proof of Theorem VII. 1.1 gives a nice application of the the-
ory of compact operators to a concrete problem about polynomials. The
proof here follows the approach from [CD1]. where Theorem VII 3.1
also appeared. Theorems V1T.4.2 and VII.5.1 come from [D2]. The
main assertion in Theorem VII.1.1. that Sl) implies S3), goes back
to [Q]; the proof there uses the Hilbert space A2(C", dG) mentioned
in Example 11.1.6. There is no explicit mention of compact operators
in [Q], although some of the key estimates are closely related to com-
pactness. As here, one of the key points is to estimate a commutator.
The main application in [Q] is a proof of the projective Nullstellensatz.
which implies the usual Nullstellensatz. Quillen points out that his di-
rect analytical proof of the Nullstellensatz resembles the proof of the
fundamental theorem of algebra using Liouville's theorem.
It is possible to reformulate Theorem VT1.1.1 as a theorem about
Hermitian metrics on powers of the universal line bundle over com-
plex projective space. See [CD3] and [D3]. This reformulation then
generalizes to an isometric imbedding theorem ([CD3]) for holomor-
phic vector bundles over compact complex manifolds. This imbedding
theorem evokes Calabi's result [C] on isometric imbedding. as well as
243
244 Afterword
A.1 Algebra
Definition. (Group) A group is a mathematical system consisting of
a set G. a binary operation, (g, h) N gh, and a distinguished element
1, such that the following hold:
247
248 Appeedlx
underlying set of elements. One also says "G is a group under multipli-
cation"; this clause has a clear meaning, yet it blurs the issue whether
G means the set or the mathematical system.
(x+v)z=xz+vz.
1) O is not in P.
2) Suppose x 96 0; then either x is in P or -.r is in P.
3) l is in P.
4) if x, y E P. then x + and x are in P.
Algebra 249
Statement 2) does not allow the possibility that both x and -x are
in P. In particular, if x = -x for some x in a field, then the field cannot
be ordered.
There are examples of fields that admit more than one ordering;
therefore the term ordered field includes the choice of the subset P.
Let F be an ordered field. We writex > y if and only ifs - y E P.
We writex > y if and only if either x = y or x > y. We writex < y if
and only if v > x, and we writer < y if and only if y > x. The axioms
for an ordered field imply the usual rules for manipulating inequalities.
1) forallvE V.
2) 1 v=vforallvE V.
3) c up for allV.u'E VandallcEF.
4) all cI.c2EFand all vE V.
5) ci (c, v) = (cic,) v for all ct, c, E F and all 0 E V.
250 Appendix
u=>cjvJ.
!_l
Such a sum is called a linear combination of the up
A.2 Analysis
It is a bit artificial to distinguish between algebra and analysis. For ex-
ample, one might say that fields belong to algebra while ordered fields
belong to analysis. Certainly inequalities are a major feature of analy-
sis. It is the completeness axiom for the real numbers that gets analysis
going.
We recall the standard definition of completeness for the real num-
ber system. Let F be an ordered field, and let S be a nonemptysubset
of F. Then S is bounded above if there is some m e F such that x < m
for all x e S. Such an m is an upper bound for S.
The simplest examples are of course R" and C" with the Eu-
clidean norms as defined in the text. It is easy to prove, but never needed
in this book, that all norms on a finite-dimensional vector space are
equivalent, in the sense that they lead to the same topology. This means
that they define the same collection of open sets. It suffices for us to
recall the notion of open set in the metric space setting. Metric spaces
have distance functions whose properties model those of nonmed lin-
ear spaces. When V is a nonmed linear space, we define a function
d : V x V - R by d (u. v) = I Iu - v 11. This function measures the dis-
tance between two points in V. More generally we have the following
definition.
Often one writes M instead of (M. d), especially when the dis-
tance function is clear from context. Normed linear spaces provide
good examples of metric spaces.
The next two lemmas make the connection between closed sets
and completeness.
Many results from elementary real analysis fit into the general
framework of metric spaces, and the usual epsilon-delta arguments
from elementary calculus generally work in this setting. Limit and con-
vergence arguments acquire a certain elegance. Early in the book there
is some detail when these items arise, but especially later some of this
standard material is used without reference. The reader might consult
[Ah], [F], and [TBB] for more information.
We continue with a list of terms the reader should know. and then
close the appendix with a brief discussion of some convergence results.
1) .F is equicontinuous.
2) F is uniformly bounded.
3) .F is closed.
Bibliography
[Ah] Ahlfors, Lars V., Complex Analysis, McGraw-Hill, New York. 1979.
[An] Andrews, Larry C.. Special Functions of Mathematics for Engineers.
McGraw-Hill. New York, 1992.
[B) Bellman, Richard, Introduction to Matrix Analysis, McGraw-Hill. New
York. 1970.
[BFS] Boas, Harold P., Fu, Siqi, and Straube, Emil, The Bagman kernel
function: explicit formulae and zeroes. Proc. Amer. Math. Soc., Vol. 127
(1999),805-811.
[C] Calabi, Eugenio, Isometric imbedding of complex manifolds, Annals of
Math 58 (1953). 1-23.
[CDI) Catlin, David W. and D'Angelo, John P. A stabilization theorem for
Hermitian forms and applications to holomorphic mappings, Math Re-
search Letters 3, (1996) 149-166.
[CD2] Catlin. David W. and D'Angelo, John P., Positivity conditions for bi-
homogeneous polynomial,;, Math Research Letters 4, (1997) 1-13.
[CD3] Catlin, David W. and D'Angelo. John P, An isometric imbedding the-
orem for holomorphic bundles. Math Research Letters 6, (1999) 1-18.
[D] D'Angelo. John P.. Several Complex Variables and the Geometry of Real
Nypersurfaces. CRC Press. Boca Raton. 1993.
[D1] D'Angelo, John P., An explicit computation of the Bergman kernel func-
tion. Journal of Geometric Analysis. Vol. I (1994), 23-34.
[D2] D'Angelo. John P., Positivity conditions and squared norms of bolo-
morphic polynomial mappings. Contemporary Mathematics, Volume 251
(2000), 163-172.
[D3] D'Angelo. John P. Proper holomorphic mappings. positivity conditions.
and isometric imbedding, to appear in Proceedings of KSCV4.
257
258 BtbHosnpky
[RI Reznick, Bruce, Some concrete aspects of Hilbert's 17th Problem. Con-
temporary Mathematics, Volume 253 (2000). 251-272.
[RR) Rosenblum. M. and Rovnyak. L. The factorization problem for nonneg-
ative operator valued functions, Bulletin A.M.S. 77 (1971), 287-31 8.
[Rul] Rudin, Walter, Function Theory in the Unit Ball of C". Springer-
Verlag, New York, 1980.
[Ru2] Rudin, Walter, Functional Analysis. McGraw-Hill, New York, 1973.
[SR] Saint Raymond, Xavier, Elementary Introduction to the Theory of Pseu-
dadifferential Operators, CRC Press, Boca Raton. 1991.
[S) Strichartz, Robert S., A Guide to Distribution Theory and Fourier Trans-
forms, CRC Press, Boca Raton, 1994.
['ib) Taylor, Michael E., Partial Differential Equations: Basic Theory,
Springer, New York, 1996.
[MB] Thompson, Brian S., Bruckner, Judith, and Bruckner, Andrew, Elemen-
tary Real Analysis. Prentice-Hall, Upper Saddle River, 2001.
[W] Wells, Raymond O., Differential Analysis on Complex Manifolds,
Pmntice-Hall, Englewood Cliffs, New Jersey, 1973.
Index
Abelian group, 248 Cesiro means. 24, 129. 131, 132, 135,
absolute value. 5 141
adjoins, 90 circle, 9
and-holomorphic, 79 closed disk, 9
arithmetic-geometric: mean inequality, commutator, 169,240
180,196 compact operator, 89,143-166,236,
Arvin, E., 179, 245 238.243.244
Arzelil-Ascoli theorem, 165, 254 compactific ation. 228
automorphism. 6.85 complete metric space. 3,16.145.252
complete ordered field, 1.250
Banacb space. 40,102.129, 143,252 complete orthono®al system, 51.72.
Bergman kernel function. 63.78-87, 75.80
94,237,244 completeness axiom, 2
Bergman projection, 94-95, 238 complex analytic, 22
beta function, 63, 73, 75, 171. 173 complex conjugation. 5
bihomogeneoua 191,188.191-192. complex Euclidean space. 33-61.89
217-222 complex Hessian. 198, 200.204
Blaschke product, 2.30 complex number field, 3-8
Bochner's theorem. 89, 129, 138 complex projective space. 243.244
bordered complex Heasian, 204,244 conjugate holomorphic. 79
bounded linear transformation. 43.90. convergence is norm, 144
93,98, 144 convex. 197, 199,203
convex combination. 123
Catlin. D.. 218,222 convexity inequality, 197
Caucby integral formula, 22 cosine. 25
Carchy principal value, 168-169 curve. 194-195
Caucby sequence. 2. 16.4.3. 252 cyclic group, 30
Caucby-Schwarz Inequality, 36.49.
50.81.82, 84. 127. 128, 140. de Moivre's formula, 26.28
147. 156. 157. 163. 167.244 diagonal. 182
261
262
IpELO'
ISBN 0.88385-033-8
ilIlt 850336