Methods of The Theory of Functions of Many Complex Variables Vladimirov
Methods of The Theory of Functions of Many Complex Variables Vladimirov
with a preface by
Academician N. N. Bogolyubov
translated by
SCRIPT A TECHNICA. INC.
edited by
LEON EHRENPREIS
Courant Institute of Mathematical Sciences
New York University
1111111
THE M.I. T. PRESS
Massachusetts Institute of Technology
Cambridge. Massachusetts. and London. England
Originally published under the title
Copyright @ 1966 by
The Massachusetts Institute of Technology
v
VI PREFACE
N. N. Bogolyubov
Introduction
PREFACE v
INTRODUCTION vii
XI
XII CONTENTS
The symbol z· will also be used for negative integral values of aJ.
We shall denote the vector (1. 1. ....... 1) by I. When there is no
danger of confusion, we shall write z'instead of Z1Z2 .... Zn' dz in-
z
stead of dZ 1 dZ 2 ...... dz", and instead of (Z2' ..... z,,).
or balls
Clearly,
Ao. (A) < 60.+ 1 (A) < flo (A) and lim 6 0 (A) = 6 0 (A).
_""00 •
(2)
tJ.j, (x) =
no ..
•
Since x EBe 0 •• we have 6B (x) < 6 0 • (x) and therefore
6 B (x) < inf• flo• (x).
On the other hand. since U (x. flo. (x» c O. and x EB. we have
Obviously,
flO (z) = inf fl •• 0 (z). (4)
1/11=1
4. Surfaces
We shall say that a function f (x) belongs to the class elm) =
elm)(0) (for Tn c= O. I ....) in an open set 0 if its first Tn derivatives
are all continuous in O.
A set S c R" is called a k-dimensional surface (for I < k < n - 1)
of class elm) (for Tn = 1. 2.... ) if, in some neighborhood of every
point XO ES, it is defined by the equations
xj=xj(X O; t). j= 1. 2..... n. 1=(/1' t 2• .... til)
U = I. 2. ...• n. S = I. 2. •..• k)
Where the functions f. (XO; x) Eelm) and the rank of the matrix al,l
Ix} is n-k in this neighborhood.
Thus, we can define a topology on a k-dimensional surface S of
class e(J) in terms of the collection of those neighborhoods of the
POints in S that are homeomorphic to the k-dimensional ball. Suppose
6 THE BASIC PROPERTIES OF HOLOMORPHIC FUNCTIONS
6. Other definitions
We shall say that a series (sequence) converges uniformly in an
open set 0. if this series (sequence) converges uniformly on every
set that is compact in D.
If a function f (x) is bounded (resp. bounded above, resp. bounded
below) or is summable on every compact subset of the open set D.
we shall say that this function is locally bounded (resp. bounded
above, resp. bounded below) or locally summable in D.
We shall say that a function f (x) defined on an open set 0 c: RB is
unbounded at a point xO E00. if there exists in 0. a sequence of
points {x(1')} such that x(") _ X O and 1f (X(II» 1_ 00 as k _ 00.
We shall say that a real function defined on an open set 0 ap-
proaches + 00 everywhere on 00. if, for arbitrary M, the set
Ix : f (x) < M, x EO)is compact in O.
Clearly. if f (x) approaches + 00 everywhere on 00.. it is un-
bounded at all points of 00.
We shall say that a maximum principle applies to sets Sand T
with respect to a certain class of real functions if. for an arbitrary
function f (x) in that class.
M = sup I(x).
xEK
M = lim f(x.) .
• -+co
if
These functions gN(X) are each bounded from below and upper-
semicontinuous and the sequence converges to f (x). If we apply the
result obtained to each of the functions gN(X}. we can see. by the
familiar diagonal process that the assertion holds in this case also.
lim
.-+"" K
f f. (x) dx = f f(x)dx.
K
(7)
then,
lim
« ..... 00 K
Jf. (x)dx = I K
lim f. (x) dx.
a:-+oo
(8)
Proof: If
lim
m-+oo K
f f.(x)dx > -00,
lim f f.(x)dx=-co,
a-+..:x:> K
lim
tz-+oo K
Jf.(x)dx"> f lim f.(x)dx.
K 0.400
8. Fatuu's lemma
If a sequence of measurable functions Ita (xl I is such that - "" 'S: fa (xl 'S: C < + "",
lim
0-1-00 K
r f. (x)dx -< f K
lim f. (x) dx.
.~..JO
(9)
Proof: We set
'f (x)
a
= m;;'O
sup f + (x).
a m
Then,
But
1.(X)<,'f,(X).
K
J1.(x)dX<..r K
'f. (x)dx.
so that
9. Fubini's theorem
If f(x, y) is a measurable nonnegative function defined on a compact set A x B,
and if one of the iterated integrals
has a finite value, then f(x, y) is summable and the other iterated integral also
has a finite value. Furthermore,
·Editor's note: Actually the fonn in which generalized functions are used nowadays Is
due to L. Schwartz [11].
14 THE BASIC PROPERTIES OF HOL.OMORPHIC FUNCTIONS
if /x/ < 1.
if /xl:>l.
where the constant Cn is chosen so that
I I
f w(IXj)dx=Cllonf e-1-p'pn-1dp=l.
o
which. obviously. belongs to D (0) if E < flo (SI)' Here, f. (x) - f (x)
as E _ + 0 in the topology of D 'ol (0).
Thus. D (0) is dense in DIU) (0).
Suppose that a set A cO. Then. there exists a function e € OW) such that
e(x) = 1 for x € A and 0 5. I for x € O.
Specifically, if t!,.o (A) < 3e, the mean function (e A'), (x), where eA' (x)
is the characteristic function of the set A' = U U (x. t), is the re-
xEA
quired function.
From this. we have the following assertion regarding the parti-
tion of unity. Let 0 denote an open set of the form 0 = U Oa. where the open
sets Oa are compact in 0 and each compact set K Co has a ~onempty intersection
with only a finite number of sets Oa in the collection 10al. Then, there exist func-
tions ea(x) such that 0 .s
e a € OWa ) and u ~ ea(x) = 1 for x € O.
a
We shall say that a set M cD (0) is bounded in D(O) if S9cO'eO
and ID·cr(x)I<K. for allcrEM.ltfollowsfromthis and from Arzela's
theorem that every closed bounded subset of D (0) is compact in
D(O).
We shall say that an operator T that maps D (0') into D (0) is
continuous if Tcr. _ 0 as a. -> 00 in D (0) wherever cr. _ 0 as a. _ 00
in D(O').
An operator T is continuous if and only if it is bounded. that is. if it maps
every bounded set in OW') into a set that is bounded in 0(0).
For example, ~he differential operators D·~ and the operators of
the form ~cr indicating multiplication by a function<jl E Coo) (O)are con-
tinuous from D (0') into D (0).
where fED*(O) and <po <jIED(O~; (j. <Pk)-O if <Pk-O as k_oo in D(O).
Sometimes, to show the argument of basic functions clearly, we
shall use the notation f (x) for a generalized function f and we shall
write the quantity (j. rr) in the form of an "integral":
*In a number of works (see, for example, [38, 30, 40», instead of [12), the definition
generalized functions are regular. We shall say that all other gen-
eralized functions are singular. An example ofa singular generalized
function is Dirac's delta-function
The space D* (0) is complete with respect to (weak) convergence; that is, if
a sequence !. (for a = 1. 2•.••) of functions D' (O)is such that, for an
arbitrary cpED(O), the numerical sequence (f •• tp)has a limit, there
exists a function fED" (0) such that f. - f as a - co.
A generalized function ! ED* (0). vanishes in an open set 0' eO if
(f. 11')=0 for all tpED(O'). For lED'(O) to vanish in 0', it is nec-
essary and sufficient that it vanish in a neighborhood of every
point of the set 0'. This assertion follows immediately from the
partition of unity (see section 3.1). It then follows that if two gen-
eralized functions coincide in a neighborhood of every point of the
set 0', they coincide everywhere in 0'.
Suppose that 0' is the largest open set in which a given gen-
eralized function fED" (0) vanishes. We shall call the complement
of 0' with respect to 0 the carrier of I and we shall write S, . - 0 '\ 0' •
Obviously, S, is closed in O. If S,EO, the generalized function! is
said to be of compact carrier in O. If f is of compact carrier in
R", we shall simply call it of compact carrier. For example, o(x)
is of compact carrier and its carrier is the point x = O.
The set M"eD" (0) is said to be bounded in D" (0) if, for an arbi-
trary tp ED (0), the set of numbers (j. If) is uniformly bounded with
respect to f EM". It can be shown that the set of numbers (f,cp) is uniform-
ly bounded for all f € M* and cp € M, where M is an arbitrary bounded set in D (0).
From this it follows that, if I.-f in D"(O) and tp._tp in D(O),
then
(f., 'P.)-(f, 'P) as ~-+oo*.
-Editor's Note: The author is somewhat sloppy here and does not distinguish between
convergence and sequential convergence.
FACTS TAKEN FROM THE THEORY OF GENERALIZED FUNCTIONS 17
If
as
.'P.- 0 inwhereas1 belongsthento an arbitrary
11-00,
D (0) 11_ 00, 'PJ-+ 0 uniformly with respect to I
(f,
bounded set in
D*(O). If
1._0 in D*(O) aSI1_oo, then(/•• 'P)-Ouniformlywith respect to, as
11-00, where If belongs to an arbitrary bounded set of D(O).
For the set M to be bounded in D (0), it is necessary and sufficient
that, for arbitrary IElY'(O). the set of numbers (f. tp) be uniformly
bounded with respect to cp EM.
From this it is clear that the differential operator D'f in D" (0) is
conjugate to the operator (_1)'0' D''f' in D (0).
Let 10 ED" (0) be a convolutor; that is, suppose that 10 possesses
the property that the convolution operator (see section 3.1)
lo.'f=(/o(~). cp(x+S»
is continuous from D(O') into D(O). For example, if S'oc.U(O. ,). the
functional 10 is a convolutor (from D(O') into D(O) if Ao(O') > 2,).
The convolution operator 10.1 in the space of generalized functions
is defined as the adjoint operator to the convolution operator de-
fined on the space of basic functions by formula (13):
(fo·'· tp)=(f. lo·tp). IED"(O). cpED(O').
It follows from this definition that if 10 (x) is a finite summable func-
tion and I (x) is a locally summable function, then
If 'PED, then
18 THE BASIC PROPERTIES OF HOLOMORPHIC FUNCTIONS
(rp*j)(x)=(j(e). rp(x-e)).
The operator ,*j maps D*(O) into ctOO)(O') if If ED, S,cU(O. r), and
40(0') > r*
We have the following equations:
4. Measures
A measure on a set A is a completely additive (complex) function
that has a finite value on all Borel sets that are compact in A. A
measure p. in an open set 0 defines a generalized function p. E[J' (0)
by the formula
p. (a) = f I (x) dx .
•
In this case, let us agree to identify the generalized functions (p.. (jI)
and (f. (jI) and to write p. = I.
We shall say that a generalized function lED" (0) is positive in 0
and to write I ~ 0 if (/. (jI)~ 0 for all '!I~O in D(O). Thus, a positive
measure in 0 defines a positive generalized function in O. The
converse is also true: E;very positive generalized function in D*W) defines
a unique positive measure.
The Simplest example of a positive measure is the delta-function.
Suppose that a measure p. is defined on the entire space Rft. We
shall say that this measure is of power increase if
where the ,.,._ are measures in O. This result follows from the Riesz and
Hahn-Banach theorems.
20 THE BASIC PROPERTIES OF HOLOMORPHIC FUNCTIONS
Here,
S= n
m~O
s(m).
m=N.N+1. ..••
From this it follows that ,( (x) is a locally summable function and f(x)
10S*, it does not increase (as ter than a polynomial *.
We define convergence in· S as weak convergence: f. - finS'
if (f., rp)-(f, rp) for all ip E S. Since S is a perfect space. weak con-
vergence in S implies strong convergence. that is, convergence
with respect to the norm in some space Slm).: If. I cS1m). and
IIf.-fL m-O as a_oo.
The space S* is complete with respect to weak (and.consequently,strong)
convergence.
We shall say that a set M'cS is (weakly) bounded if l(f. ip)1 c (rp) -<
for all f EM'. In this case the set M O is (strongly) bounded, that is,
M'cSlm)O and IIfll-rn-<K. where fEM' for some m.
For a generalized function f in DO to belong to S', it is necessary
and sufficient that all its regularizations cp * f for ip ED belong to fj M'
Finally, we note that the space S is reflexive: S = SOO,
In the proof of these assertions. an important role is played by
the
THEOREM {Banach-Steinhaus}. Por a sequence Ifa ! o( continuous linear (unc-
tionals on a Banach space B to converge weakly to a continuous linear functional
on B, it is necessary and sufficient that
(1) the sequence of norms III fall I be bounded and
(2) the limit lim (fa, rh) exist for all rh in some set that is dense in B.
(17)
where the ga (x) are continuous functions of power increase with carrier contained
in a arbitrary neighborhood S; on the set Sf"
If the carrier S, is a regular set, this theorem can be strength-
ened. The strengthening is based on the following theorem on the
extension of differentiable functions.
-Editor's Note: 1ms is not true: e.g., f could be the derivative of a function of
polynomial growth..
FACTS TAKEN FROM THE THEORY OF GENERAL.IZED FUNCTIONS 23
Suppose that F' is a regular set (characterized by the numbers d > 0, cu > 0,
and 0 < q S. 1 [see section 3.5]) and that m' is a nonnegative integer. Then, a
number K exists such that, for an arbitrary function ¢ in c(m)(R n), where m is
the smallest integer verifying the inequality mq ~ m', there exists a function", in
c(m) (R n) with the properties
where
where the /La(X) are measures of power increase with carriers in F'. (We note that
the representation (19) is a generalization of formula (16).)
We indicate the proof of this theorem. Let N denote the order of
f and let III denote the smallest integer that verifies the inequality
mq ~ N + 1 (where q is determined from F). According to the
theorem on the extension of differentiable functions for arbitrary
!pES, there exists a tjlEC(m)(R") with properties (18):
D·!p(x)=D·~(x), lal<'lII, xEFi IItj1I1N+l<.KlIcpllm.F'
from which it follows that tjI ES(N) (see section 3.6), that <t. !p) = (j. tjI)
(see section 3.5), and that
holds.
The carrier Sf is called the spectrum of the Fourier transfor-
mation Fill.
The operator F performs a homeomorphic mapping of S* onto S* with the in-
verse operator F- 1 [f] = (217)-n F[fh~·)l.
The following formulas are immediate consequences of the def-
inition:
(23)
(fo'''f)(x)=(fo(~). cp(~+x»
Every solution u E D*W) of the homogenous equation (29) is the limit (in the
sense of D*W) of a sequence Ua(X), where a = 1, 2, ... , of infinitely differenti-
able solution of the equation in the open sets
U.=Ul~
.* u. a= 1.2 •..••
P(~)F [EI= 1.
E(x)= I - (n-2)
Inr
2.<'
1
an
r 2- n
•
n:>3.
n=2.
where 1-'0' (,) = Il (, no') is the restriction of the measure Il to 0' and uo is a
solution in D*(Q') of the homogenous equation corresponding to Eq. (29).
This is true because, by virtue of formulas (14) and (30), we have
hi 0'
D'p(e)
p (e) - o. IeI - 00. /11 r > O. (32)
for all 0 1 cR m and 02cR" such that 0 1 X 02CO and for all cp ED (02).
An operator P (iD z' iDv) is said to be hypoelliptic with respect to
x if every solution of the homogeneous equation
P(lO z • tDy)u=O
(33)
(35)
I
f (x) = e--;; for x =1= 0, / (0) = 0).
Suppose that a function f (z) is holomorphic at a point ZO in the
sense of Weierstrass. Then. the series (35) converges absolutely
in the closed polycircle S (ZO, r) and, hence,
for some M>O .• (Here.r=(r .. '2' .... rn) [cf. the notations in sec-
tion 1.2].) Consequently. in S(ZO, r>. the series (35) is dominated
by the series
Every generalized function u (x, y) ED' (0) that satisfies the sys-
tem of equations (39) is said to be pluriharmonic (harmonic in the
case in which ·n = 1) in the domain O.
Every pluriharmonic function is infinitely differentiable.
30 THE BASIC PROPERTIES OF HOLOMORPHIC FUNCTIONS
(40)
-By virtue of the Heine-Borel theorem. this means that f (z) Is bolomorpuc with re-
spect to each variable individually in the somewhat larger polycirc1eS(zO, r+ e/) for
some £>0.
DEFINITIONS AND SIMPLEST PROPERTIES 31
0 0 0
/(C)=/ ( z.+r.e " Z2+r2e
18 18
I, ••• , ZR+r"e "=
18 )
= / (ZO + re18)
in Eq. (40) is uniformly bounded in absolute value for 0 ~ 0, ~ 2'11:,
where J = 1, 2, ... , IJ. It is easy to show that this function is meas-
urable. Therefore, it is summable and, from Fubini's theorem
(see section 2.9), the iterated integral (40) may be replaced with the
multiple integral
-
/ (z) -
,I
(2 )"
J J :z,.
•••
2..
/(zO+,eI8) ,101 dO -
( 0 + re-z
18 )1 =
"0 0 z
=
1
(2"i)"
J /(C)dC
(C _ z)/' Z ES (ZO, r).
(41)
(43)
(cf. section 4.1). But then the function / (z) satisfies the Cauchy-
Riemann conditions (36) in the usual sense and, hence, is holo-
morphic with respect to each individual variable in the domain Q.
This means that !(z) is holomorphic in Q, q.e.d.
3. Cauchy's formula
Suppose that!(z) is holomorphic inadomainO= A. X O2 X ... X a"
where each OJ is a domain in the zCplane with a piecewise-smooth
boundary 00" and is continuous in O. Then. by following the reason-
ing of the preceding section, we can verify that Cauchy's formula is
valid for the function! (z):
_1_
(21ti)" iJO
J iJO
f(C)dC
(C - z)1
={ !(z).
O.
if
if
(44)
IX ... X n
where the positive direction on 00, is taken in such a way that the
domain a, is on one's left. We note that formula (41) is a particular
case of formula (44) with a = S (zo. r).
Cauchy's formula (44) expresses the values of /(z) in a :2n-
dimensional domain a = a. x O2 X ... X a" in terms of its values on
the n-dimenSional oriented manifold 00. X 00 2 X ... X oO,,-that is.
the hull of the domain '0. The hull constitutes a portion of the
boundary 00 of the domain O. We note that 00 consists of points z
of the form
z,EoOj' (z •. .... z/_I' z,+ •. .... z,,)EO. X ...
. .. X 0J-' X 0,+. X ... X a". . j = I. 2..... n.
For generalizations of Cauchy's formula for different regions O.
see Chapter IV.
Formula (44) can be differentiated an arbitrary number of times:
D"!(z). zE~.
{ (45)
o. zEO.
0'1. (z)=
"I r
= (2"i)" ~ (z'_z)o+r
f.(z') r '
•
C Cd"
cp(z - ) d x dy.
(47)
i1s(..·fr)
34 THE BASIC PROPERTIES OF HOLOMORPHIC FUNCTIONS
The function
IjI(Z') = f ({I(Z'-C)~
as (zO. ~ I)
DOf,,(z)-
__"_1-/
(2I1:i)"
f(z')
(z' - z)o+l
J T(z' -C)dCdx' dy' =
as(.... .;./)
.. I
== (2m)" f f(C)
(C-z)o+1
dC
=
D'f()
Z
as (zO. rl)
5. Formal derivatives
Suppose that a function f(x. y)=u(x. y) +l'fl(x. y) possesses all
first-order derivatives. Then,
(48)
so that
(52)
vector-valued function z (,\) maps the domain B into the domain G. Then. the
rr
function z (,\)j is holomorphic in B.
Proof: Suppose that 1..° EB. Then. z (1..0 ) Ea and the power series
(54)
(55)
k = 1. 2.•••• tn.
C- az + b ad - clJ =F O. (56)
- cz+d'
n times
*Other ways of extending the space en are expounded in the book by Fults [11. section 5.
38 THE BASIC PROPERTIES OF HOLOMORPHIC FUNCTIONS
~l = Zl' ~ = 1-.:
Z2
Cl = J.....
z\
~ = Z2: ~l = J..
z\
~ = ..l.
Zt
which map these infinitely distant points into the points (a. 0). (0. a)
and (0. 0), respectively. The function / (~) is holomorphic at these
infinitely distant points if the functions
are holomorphic at the points (a. 0). (0. a) and (0. 0), respectively.
Therefore. the expression "f(z) is holomorphic at the point (a.oo),"
for example, means that there exists a bicirclelz l - al < Tl' /Z2/ < T2
at which the function f(zl 1 I z,) can be expanded in absolutely con-
vergent Taylor series and, hence, that the function / (z) can be ex-
panded in a Laurent series
In the neighborhood /zl-a/ < Tl' /Z2/ > l/r, of the point(a. 00).
where the summation is carried out over all 11=(11, •••• In), where
'/ is + or- fori = 1.2 ••••• n. By expanding(C-Z)-1 in the corre-
sponding series. substituting into (57). and replacing the integrals
over the contours IZJ 1= ri with integrals over the contours IZJ 1=r;
(with the corresponding change in sign). we obtain the expansion
of I (z) in a Laurent series
(58)
I(z)= ~a".z·
•
with coefficients
(59)
Special cases of formulas (58) and (59) are the Taylor ex-
panSion (35) in a neighborhood of ZO = 0 and the Laurent expan-
sions in neighborhoods of the infinitely distant points of the form
( •••• O. " •• 00. ".). In particular, if rj==O. it follows from (59)
that a.=O for IlJ+ 1 <0.
6. HOLOMORPHIC CONTINUATION
Fif!;o 5
F(z)= ~ a.(z-xD)"
1·1;;>0
_z+w _z-w. _ _
Z--2-' W -2/' z-Z+lW. w-Z-lW.
+
The function / (Z iW. Z -lW) is holomorphic in the corresponding
neighborhood of the point °
(see section 4.6) and it vanishes for
real Z and W. According to the holomorphic continuation theorem,
I(Z+iW. Z-lW)=/Cz, w)=O.
3. Liauville's theorem
Iff(z) is holomorphic inC n (i.e., is an entire function) and if I fez) I ~c(1 + I z I)m,
then fez) is a polynomial of degree not exceeding m.
Proof: If we apply formula (45) to the polycircle S (0. RI), we
obtain
D
•
/(0)= (21ti)n
a! f
[z,[=R
....~.
r
IZnl=R
f (C) de
(61)
Therefore,
/ (zv) = (2_.1.I")n r
.
jjS(Z~. '1)
...
f
iJS(Z~, 'n)
f (z) dz •
(z-ZO)' (62)
42 THE BASIC PROPERTIES OF HOLOMORPHIC FUNCTIONS
Let us show thatl/(z>I=M on the hull oS (-1. rl)X ... c)S(z~. rn). If
1/ (z')1 were less thanM at some point z' ot this set. there would.
because of the continuity. be a neighborhood of this point throughout
which 1/ (z>l would be less than M. But this contradicts Eq. (62)
because we would then have
2'1t 2.
1/ (ZO)/ = AI < (2!)n J ... J1/ (zO + re iB) I dOl' •• dOn < M.
o 0
/(z)=/(z)+
o r,-,
z',
Z /I
iJf d '
~ - , zl'
1;1 iJz j
(63)
where the integration is carried out over the curve L. Here, the result does not
change if we replace the curve L in formula (63) with an arbitrary piecewise-
smooth curve in G that is homotOPIC to it. In pnrticular, If the domain G is simply
connected, the integral in (63) is independent of the path of integration.
Proof: If we integrate Eq. (53) over the path L. we obtain
formula (63).
Necessary and sufficient conditions for the value of the line
integral in (63) to be independent of the path of integration are
conditions (39). By virtue of the monodromy theorem, these con-
ditions are satisfied in a neighborhood ofthat surface along which a
continuous deformation of the path L transforms that path into
another path in G that is homotopiC to L. This completes the proof.
It follows from this theorem that conjugate functions (see
section 4.1) can be expressed each in terms of the other. For
example,
7. HOLOMORPHIC MAPPINGS
1. Definition oj a holomorphic mapping
A mapping C=C(z) of a domain 0 onto a domain 0 1 is said to be
holomorphic* if the vector-valued function e(z) = leI (z) . •••• en (z)) is
holomorphic in 0 and
zEO. (65)
2. BihoWmorphic mappings
A holomorphic mapping of a domain a onto a domain 0 1 is not in
general one-to-one. For example, the conformal mapping C= (z - 1t
of the circle Iz I < 1 onto the corresponding domain is not one-to-
one for n~ 3.•
If a holomorphic mapping of a domain a onto a domain 0 1 is one-
to-one, such a mapping is said to be biholomorphic (single-sheeted).
(schlicht). In this case. we say that the domains a and 0 1 are
equivalent.
Let us showthatthe mapping z = z( e>, that is, the inverse of a biholomor-
phic mapping ( = (z>. is also a biholomoTphic mapping.
Proof: It follows from what was said in the preceding section
that the mapping z = z (e) is infinitely differentiable and that the
corresponding Jacobian is nonzero in the domain 0 1 (on the basis of
classical theorems). It remains to show that the vector-valued
function z (q = [z.(C), ... , zn (C»)is holomorphic in 0 10 en the basis of
section 4.2, to do this we need only show that
1 <1. (66)
1 <:1. k<:n.
3. Boundary points
Let us make more precise the concept of a boundary pOint of
a finite domain O. Suppose that ZO E00. This means that there
exists a sequence of points Z(k). k = 1. 2. ... such that Z(k) ~ ZO for
z(al E0. It may happen that the points of this sequence lie in dif-
ferent components of the open set On·U(zo. r)~ Therefore, it is
sometimes convenient (for example, in the theory of holomorphic
mappings) to assign to a single geometric point ZO E00 several
(possible infinitely many) boundary points RdzO). R2 (zO) • • ,. lying
over ZO and corresponding to different sequences of points of the
domain a that converge to zO.
Suppose that the point ZO Eao is accessible from the domain a
(see section 1.5).
We shall say that this sequence Z(k) E0, for k = 1.2 •... , con-
verges to the boundary point R (ZO) (cf. Section 8.7) lying over the
point ZO EaD. if (1) Z(k) _ ZO as k ~ 00 and (2) for every r, there exists
an N such that all points z(a), for Ie> N, are contained in the same
component of the open set 0 nU (zo. r). We shall identify two
boundary points RI (zO) and R2 (ZO) if the corresponding sequences
{z(k)1 and {~(k)} are such that the sequence
DO zW. ~(t). Z(2l. ~(2l. •• converges to some
boundary point lying over zoo
If exactly p (where 1-< p <: 00) distinct
boundary points lie over a geometriC
point zO Eao, we shall say that the point
zO is p-multiple. For example, in Fig. 7,
the point zO is 2-multiple. Every point on
the boundary of a plane domain bounded by
a closed Jordan curve is 1-multiple.
Every interior point of a plane nonclosed
Fis.7 Jordan curve is 2-multiple. These as-
sertions follow from Jordan's and Schon-
flies' theorems (see section 1.5).
HOLOMORPHIC MAPPINGS 47
4. Biholomorphic in C1
The following theorems are valid in the plane CI (see Goluzin
[5], Chapter II; Lavrent'yev and Shabat [94], Chapter II).
THEOREM (Riemann). Let G denote an Cll'bitrCll'Y simply connected domain
boundary consisting of more than one poil/t. Then. there exists a unique bihola-
morphic mapping ( = (z) of this domain onto the unit circle 1(I < 1 such that a
given point zO € G and a direction assigned at that point are mapped respectively
into the point ( = 0 and the direction of the positive real axis.
THEOREM (Caralheodory). If all the boundary points of a bounded simply
connected domain G Cll'e accessible, then. under a biholomorphic mapping ~ = ~(z)
of this domain onto the open unit circle 1(I < 1. the correspondence of the points
a'G and the points of the circle 1'I = 1 will be one-ta-one. Here, the inverse
function z = z(,) is continuous for 1(I ~ 1 if we understand for its value on
the circle I' 1= 1 the limit values from the open circle I' 1< 1. In pCll'ticulCll', if
the domain G is bounded by a closed Jordan curve, the function, = (z) maps 11
onto 1'I ~ 1 in a one-to-one bicontinuous manner.
THEOREM (Koebel. If a function z = z«(), where z(O) = 0, maps the circle
I" 1 < 1 biholornorphically onto the domain G and does not assume a value c >
in that circle, then 1 z' (0) 1 ~ 4c.
°
5. The group of automorphisms
A biholomorphic mapping of a domain onto itself is called an
automorphism of that region. The set of all automorphisms of a
domain obviously constitutes a group, which we shall call the group
of automorphisms of the given domain.
Let us give some examples of domains and their automorphisms.
Multipie-circuiCll' domains (ReinhCll'dt domains). A domain a possessing
the property that ZO Ea implies z E.O. for all points z = (zO-a) e I9 +a,
48 THE BASIC PROPERTIES OF HOLOMORPHIC FUNCTIONS
j= 1. 2..... n.
If the relation zO-E 0, where a is a multiple-circular domain, im-
plies that all the points
or
parameters. On the other hand, Cartan [123] has shown that the
+
group of automorphisms of the domain TT+ -1/ 2 (n 1)(n 2) is a +
parametric group. Therefore, this domain has no other auto-
morphisms and the automorphisms listed (1)-(4) generate its group
of automorphisms.
If T maps a domain G biholomorphically into a domain Gl and if A is the
group of automorphisms of the domain G. the group of automorphisms of the do-
main Gl is
8. DOMAINS OF HOLOMORPHY
1. Definitiun oj a domain oj holomorphy
A domain * 0 is said to be a domain of holomorphy of a function
I I (z) is holomorphic in a but is not holomorphic in a larger
(z) if
domain (more precisely, if f cannot be continued holomorphically
outside 0). The domain of holomorphy of a function is also called
the domain of existence of that function.
For example, the domain of holomorphy of the function
co
lo(z) = ~
11=0
Z·, (67)
I
1/0 (,e " )1:> .~+I'·'e
00 I E. .//
q -
/ q
~o ,·'e
I J!...,
q .
I
=
= ~
00
,.,- ~
0=q+1
q I
0=0
,·'eI qP 0'/ -+00 for
but the set of rational values for <p is everywhere dense in the
interval (0. 21t)and, therefore,/o(z) has singularities at all points of
as (0, 1).
If every component of an open set Oc=.C n is a domain of holo-
morphy, we shall say that 0 is an open set of holomorphy.
2. Domains oj holomorphy in Cl
The question arises as to whether every domain is a domain of
holomorphy of some function. The answer to this question is quite
different for n = 1 and n ~ 2.
In the space C l , every domain is a domain of holomorphy.
At the moment, we shall prove this assertion with the hypothesis
that the domain 0 in question is bounded by a closed Jordan curve.
It will be proven in its general form in sections 19.2 and 16.8 (see
also Stoilow [117], Vol. I, Chapter IX).
Indeed, there exists a biholomorphic mapping C=ID(Z) of the
domain a onto unit circle lei < 1that maps onto IC I~ 1 in a one-to- a
one and bicontinuous manner (see section 7.4). Therefore, the
Q: [Z=(ZI' Z2):{<lzl<I].
must necessarily be holomorphic in a larger domain, namely, the open sphere
1z 1 < I, (more precisely. that it admits a holomorphic continuation
into the sphere 1Z 1< 1).
This assertion means that G cannot be the domain of holomorphy of any
function.
To prove it, consider the function
'P
( z)=_I_.
2""
f de
[(C. z,)
C-z,·
(68)
ICi=~
This function is holomorphic with respect to ZI and Z2 individually
in the bicirc~e Iz.I <3/~, IZ21 < y"1/4 since
[(C. z2):ICI=T,!z21<Y7/4IcQ(seeFig.8). 11/1
According to the fundamental theorem of 1
Hartogs (see section 4.2), 'P (z) is holo-
morphic in that bicircle. Furthermore, the
function 'P (z) coincides with 1 (z) in the do-
main Iz.l<3/4, 1/2< IZ21 < y"1/4 since this
domain is contained in 0, so that Cauchy's
formula
as asserted.
8. Remark
We def'med covering domains in terms of holomorphic continua-
tion. However, the class of covering domains thus introduced turns
out to be insufficient, for example, in the case in which we need to
consider the holomorphic continuation of several functions simul-
taneously. This leads us to the definition of intersection of domainS
of holomorphy. In this case, the concept of a covering domain
needs to be extended by using the abstract definition of such a do-
main. (For details, see Fuks [1] and Behnke and Thullen [4].) In
the last decade, the concept of a covering domain has been con-
siderably generalized, which has lead to the rapidly developing
theory of complex spaces by use of present-day topological and
algebraic methods (see Fuks [1]. Chapter nI;Grauertand Remmert
[60)). The basic concepts of this theory that deal with domains of
holomorphy are also expounded in Wightman [61].
DOMAINS OF HOLOMORPHY 55
9. SUBHARMONIC FUNCTIONS.
Plurisubharmonic functions of (complex) variables are defined
in terms of plurisubharmonic functions of a single variable. These
last coincide with subharmonic functions of two real variables.
Therefore, it will be natural for us to study first subharmonic
functions of two variables. The corresponding results (except for
the material of section 9.16) remain valid without Significant
changes for subharmonic functions of an arbitrary number of
variables. A detailed exposition of subharmonic functions is to be
found in the book by Privalov [9].
2. Poisson's formula
Suppose that a function U (z) is harmonic in S(zO, r) and continuous in S (zO, r).
Then, for U (z), Poisson's formula is valid:
2~
1 r2 -
i. = re". z = (,e
p p2 ·r I
P(z . ..) = 2n r 2 - 2rp cos (:p - 0) +;;2 • r T.
(2)
1 r-p 1 r+p
-2-+
n r p <,P(Z. i.)<. -2 --.
n r-p
(4)
U (Z) = 2~ .r
o
U (Z + re/b) dB. (5)
3. Hanuzck's Theorem
THEOREM (Harnack's) A decreasing sequence lVol of functions that are
harmonic in a domain G converges uniformly in G either to a harmonic function or
II) -00. Suppose that -S (zo. r)~O. If we apply Poisson's formula
(1) to the nonnegative harmonic functions U. - U.+ p and use prop-
erties (4) and (5), we obtain Harnack's inequality
~+: (U. (ZO) - Un~(zoJJ <:: U. (z) - V •• ~ (z) <:
(6)
<:: rr+
-p
p [V.(ZO)- V.n(ZO)].
,
(6) Va (Z) --+ V (z) uniformly in S (zo ,/2). On the basis of the Heine-
Borel theorem, Va (z) converges uniformly to V (z) in every sub-
domain O'eO. Therefore, V(z) is a harmonic function in 0, which
completes the proof.
2.
u(z) <: JP(z - zo, re 1o )u(zo+re1o)d6. (7)
°
Conversely, if u(z) < +00 is upper-semicontinuous in the domain G and satis-
fies the inequality
~"
for all z E G and for all sufficiently small r ~ ro (z), then u (z) is a subharmonic
function in G.
Proof; Suppose that u (z) < +::x:> is subharmonic in S (ZO, r) and
upper-semicontinuous in S (ZO, r). On the basis of section 2.4, there
exists a decreasing sequence of continuous functions Va (z) for
(l = I, 2, ... , that converges to u (z) in S (ZO, r). Let um(z) be a har-
monic function S (ZO, r) that assumes the value um (z) on as (ZO, r).
Since
Therefore,
SUBHARMONIC FUNCTIONS 59
2~
= f
u
P(z-ZO, relB) 11m
a:~.::n
u. (zo+ relB)dfl =
2. (13)
= f
o
P(Z-ZO, reiD) lim u.(zO+reID)dfl=
II~OO
2~
° 2ft
From the theorem of section 9.4, the function lim u. (z) is sub-
_-+00
harmonic.
SUBHARMONIC FUNCTIONS 61
of the family I Ua I of functions that are subharmonic and locally uniformly bounded
above in the domain G are subharmonic functions in G.
Proof: The function /I (z) <+
00 and is upper-semi continuous in a.
If we apply inequality (8) (for, < ~a(Z» to each function ".(Z), we
obtain by use of Levi's theorem (see section 2.7)
2n
-
~
II (Z + re iS ) cla.
On the basis of the test of section 9.4, this proves that the function
v(z) is subharmonic. We can treat the function u (z) in an analogous
fashion.
where the supremum is over all functions II (z) that are subharmonic
in a and that do not exceed , (z).
62 PLURISUBHARMONIC FUNCTIONS AND PSEUDOCONVEX DOMAINS
Finally, if u (z) is a subharmonic function and u (z) <.' (z), then u(z)-<
v(z). This means that the function v(z) that we have constructed is
the greatest subharmonic minorant of the function, (z)in the domain
O.
The least superharmonic majorant V (z) of a lower-semi-
continuous function R (z) > - co in a domain 0 is defined analogously:
(14)
J
Iz-z' 1-',+'
~I
Op p-"H
ds= f
•
Iz-z'l-r
~I
Op p-'
ds=a.
Fig. 10
J(,. zO; V) at the pOints '1 and '20 These statements prove that
J(r. zO; u) is convex with respect to In r in ('1' '2). Because '1 and
r2 were arbitrarily chosen (except that p <'1 <'2 < R), we conclude
from this that this function is convex with respect to In , for all
r E(p. R), which completes the proof.
Rel/UJrk: This theorem holds also in R"for arbitrary" ~ 3. Here,
the function In , must be replaced by r- a+2•
<:: 2~ J
o
rdr.! u(zo+reIS)dO= 21"
0 S
J
(ZII' ro)
u(z)dxdy=-oo.
.r
2~
112 (z) < 2~ "l (ZO + relS) d6, z E5 (zQ, S). r <:: 8.
o
SUBHARMONIC FUNCTIONS 65
f u2 (z)dxdy< f ul(z)dxdy.
S~~~ s~~~
which is impossible.
e J p In / dx .....
./ f pi dx. 1'f f P d x= 1• ...... 0
Po? I V'
.... 0
section 9.4, that the functions u. (z) are subharmonic and infinitely
differentiable in the open sets
where
O.CO.-IlandUO.=O .
•
As our set 0., we take that component o. to which the fixed point of
the domain 0 belongs.
Let us show that the monotonically decreasing sequence of
functions [u.! converges to u(z) at every point zEo. If zEO, then
S(z. p)eO for some p > O. But then, there exists a number N>- 1
such that S(z. p)@O.for all a.>-N. Since the function J (rjll, z; u) de-
creases monotonically with increasing a. (see section 9.8), it
follows from the last term of Eq. (17) that the sequence u. (z). for
a. ~ N, decreases monotonically. On the other hand. the test of section
2.2 tells us that. for arbitrary positive e. there exists a positive
+
number 8 (where (8 ~ p) sucb that u (z') < u (z) I! for all Iz' - z I < 8.
From this and from (16 and 17). it follows that u. (z) < u (z) +e for all
sufficiently large «. This. together with tbe inequality u (z) ~ u. (z),
proves that lim u.. (z) = a (z) for aU z EO, which completes the proof.
--:toco
02U (z)
4 --_- = tJ.a (x. y)
oz oz >- o. zEO. (18)
(19)
(p." 'f') = 2~ J
o
'f' (re li ) da, 'f'ED(O),
But since
flr - ~ 1 ~
-,-.- - 4" Ilu. as r-+ O. (20)
Conversely, suppose that Il (z) ED' (0) and satisfies inequality (18)
in the domain O. Then, IlU defines a positive measure in 0 (see
section 3.4). We denote this measure by /1.. Thus, Il satisfies
Poisson's equation 1l1l=P.. We denote by E(z)=(I/:.1,,)lnlzl thefunda-
mental solution of this equation, IlE = 0, and we denote by p.O' the
restriction of the measure (l to an arbi~rary subdomain 0' c: O. Then,
u (z) can be represented by Riesz' formula in A' (see section 3.10):
u=E*p.o'+Vo', (21)
!Ilnlz- z'lldxdy
o·
is continuous with respect to Zl in 0' and since the measure P.o'
defines a continuous linear functional over the space of functions
that are continuous in 0', the iterated integral
2~ f
0'
Inlz-z'l dp.(z')=E*p.a·,
u (z) = 2~ I
0'
In jz - z'ldp. (z') + Ua·(z). (22)
Let us show now that the right member of Eq. (22) is a sub-
harmonic function in the domain O~ We denote it by 1'1 (z). Since,
for every z Ea'. the sequence of continuous functions In (Iz - z' I E) +
approaches In Iz - z'l monotonically from above as E ~ 0, it +
follows on the basis of Levi's theorem (see section 2.7) that
where
and the hypothesis of the theorem that the function u. (z) I eaz I is sub-
harmonic in a. for all «. Then, by virtue of section 9.14, we have
+
for all b and e, where a = b Ie. From this, taking the minimum
over b and e and using the fact that u. ~ 1 / II is positive, we obtain
the inequality
ou,.
a.b.u.- (ax )1 - (dY
ou,. )1 ~O.
1 [ u. b.u. - ( h
11 In u. = u: iJu. )1 - (T,
ou. )'] .
SUBHARMONIC FUNCTIONS 71
Here, we may assume that the point z (to> lies on the circle I z.1 " r
and that the curve z = z (I). for 0 -< I -< 10• lies
entirely inside the closed circle I z I = r. Sup-
pose that p < r. We denote by Lp that portion
of the curve L that lies between the points
z (to) and z (I p)' where z (I p) is the last point of
intersection of L with the circle Iz I= p (as
we move along L to the point 0 [see Fig. 11]).
We denote by D, the circle lei < r deleted
by the curve L,. Since L is a Jordan curve.
D is a simply connected domain and all points
l
o its boundary dD, are accessible from D
(see section 1.5). Here. points of curve L'
are double points. We denote by d'D, thJ Fi8. II
boundary of D, with the multiplicity of its
points taken into consideration 1see secfion 7.3].
72 PLURISUBHARMONIC FUNCTIONS AND PSEUOOCONVEX DOMAINS
Let us consider the function z = that maps the open circle W. (e)
Ie 1< 1 single-s~eetedly and conformally D, in such a way that on~
cop (U) = 0 and wp (0) > O. According to Caratheodory's theorem (see
section 7.4), w. maps the circle IeI-< I in a one-to-one manner onto
i)'Op' Here, the function "\(C) is continuous in lei < 1.
Thus, the function "'p (C) / c is holomorphic in IeI < 1 and is con-
tinuous and nonzero in ICI = I. Therefore. the function In I'\(;) I
is harmonic in ICI < I and continuous in ICI < 1. If we apply formula
(5) to it, we obtain
In Iw; (0) I=
2. 2.
="2
1 "
f '' I
1>
In (/8) dO="2
-p--
eli
1It ;, r In I wp(e IB ) Id6.
(26)
On the other hand, since the function Olp (e) does not assume the
value p in the circle lei < I, it follows, on the basis of Koebe's
theorem (see section 7.4) that Iw' (0) I -< 4p. From this and from in-
equality (27), it follows that P
I-a 2 1
P P9'4"'
6. Jensen's inequality
U (z) -<: f ... f P n (z - zO, re le ) u (ZO + re ie ) dfll ... dfl n' (30)
o 0
where
which is valid for all functions f (z) that are holomorphic in S (0, r).
The following properties ofthekernelP. (z, ~)followfrom (3) and (4):
.r ... .r
2'11: 211:
mll(r.
(32)
Then, on the baSis of (33) and (35), we have. for z E:~ (0, r),
u.(rel~)<:u:(~)<:M, }
u:. 1 (8) <: u: (0) _110 (6) <: A. (37)
PLURISUBHARMONIC FUNCTIONS 77
From this and from inequality (36), we conclude that, for z ES(0. rO),.
:l'lt 211:
Suppose that f ... f uo(0)d6 > -00. It then follows from (37) and
°
from section 2.8 that
0
E. _ 0, monotonically decreasing. as (,t - 00. We
choose for N = N (E. rO) the smallest integer such thatM n (r. rO) eN -<. E.
From this and from (38), we have the desired inequality (34) in the
polycircle S (0. rO) for ex:> N.
On the other hand, if
21t 2n:
f ... f uu(O)dO=-oo.
° °
then
2ft 2.:
° °
monotonically decreaSing, as a _ 00. By using inequalities (36),
(37), and (32) and Eq. (31), we obtain, for all z ES (0. -rO),
2. 2.
u.(z)'<M f ... f Pn(z. re/~)dO+
° 2.
0
21l
+f ... JPn{r. e i O)[u:(6)-Mjd6-<.
o 0
2. 2K
From this it follows that a. (z) -+ - 00 uniformly for all z ES (0. rO).
Consequently, inequality (34) remains valid in this case also in the
polycircle a -+ 00 for all sufficiently large a. This completes the
proof of the theorem.
is called the mean value of u (z), where a~n is the area of the surface
of the unit sphere in R2n:
also the {unction J (r. zO; u) is an increasing function with respect to r E [0, R) if
U (zo, R) c G and is convex with respect to In r in (p, R) if[z: p < I z _ zO I <
R] < G (see section 9.8).
Proof: If we integrate inequality (29) over all a such that Ia I = 1
and use the properties of integrals over a unit sphere, we obtain
2~
I
.r
a 1=1
u(zo+ra)da=JznJ(r. zO; a).
~
2" •
o
r2.
a (ZO + rae li ) dO
PLURISUBHARMONIC FUNCTIONS 79
o" w( I z I ); w( I z I ) = o. I zI > 1;
I
02. f
I)
w(p)p2n- 1 dp= 1
= f r2n-
o
Iw (r) [ f u (z + ~ a) daJ dr
1'1= 1
=
1
f J(~.
=02n
o
z; u)r2n - 1w(r)dr.
~ d 2a - -
~--_- ajak=(!f(zj u)a. a)
J•• dZJ oz.
is positive in Gl that is, for an arbitrary nonnegative function cp € D (0) and,
arbitrary vectors a,
~
~! u(z)--_-dxdyajak"';pO.
d2'1'Cz) -
l.k dZjOZll
Conversely, if u € D*(O) is such that the Hermitian form (H(z; u)a,li) is posi-
tive in a, there exists a unique function that is plurisubharmonic in G and that
coincides with u(z) almost everywhere (cf. section 9.14).
Proof: If U (z) =1= - 00 is a plurisubharmonic function in a, there
exists, by virtue of the theorem in section 10.9, a sequence of
plurisubharmonic functions Ua (z), for II = 1. 2, ...• in the class
C(OO) (Oa)' where 0ac.0a+ 1 and UOa=O such that ua(z)_u(z), de-
creasing monotonically. Therefore. if we use the definition of
plurisubharmonic functions and the theorem in section 9.14, we
conclude that
-
(!f(z' ")a. a)=
• a
d2ua (z+Aa)
d). dJ..
I .......
A=O -:P'
0
•
zE a•.
A= I I, oc~ i·'I
iJz·
j.k=1.2 ..... n.
and hence
where the functions zJ (zO; A) are holomorphic and the rank of the
matrix
where the functions Is (ZO; z) are holomorphic and the rank of the
matrix of the 01.1 oZJ is equal to n-k in that neighborhood (cf. 7.2).
In accordance with the definitions of section 1.4, an analytic
surface is a surface of class C<"'l. Therefore, the concepts ex-
pounded in section 1.4 are applicable to analytic surfaces.
If a manifold F of dimension 2k is given by the equations
1.(z)=O fors= 1. 2..... n-k, where the functions Is(z) are holo-
morphic in a neighborhood of F, then F is called a 2k-dimensional
analytic set.
A=II ::~~.
It remains only to use the theorem of section 10.10.•
An analogous assertion holds for functions that are holomorphic
in U (F).
Fig. 13
(42)
is valid.
To see this. note that inequality (42) is valid for N = I. Suppose
that it is valid for N - 1. Then, by using inequality (41), we obtain
(43)
so that
u (X O) - ~ (x k ) -< Ek [a - u (xO)I·
This. together with (43) proves that u (x)is continuous at the point xo.
,"' (}2u
~ ox-oxk bjJ,,=(H(x; u)b. b)
J. k J
.
sup u. (x)
lim u. (x)
. . . . 00
of the family (u.(x)l of functions that are convex in 8 and that are
locally uniformly bounded above in 8 are convex functions in 8
(cf. section 10.4).
If a function u{z} ; u(x,y) is convex in a domain G C R 2n , it is plurisub-
harmonic in that domain_
Proof:Ji we take aj=bj+icj • we have
CONVEX FUNCTIONS 87
(44)
- 1 1
(H(z: u)a. a)=T(H(x. y: u)B. B)+"4(H(x. y: u)C. C).
- 1 1
(H(z: u)a. a)=T(H(x; u)b. b)+"4(H(x; u)e. c). q.e.d.
Por a function R (Tl, where r = (T!, r2, ... , rn ), to be convex with respect to
the variables (lnq, r2, ... , lnr n) in a domain B contained in the octant rj > 0, for
j > 1,2, .... n,itisnecessaryandsufficientthatthefunctionu(z) = R(jZll, ... ,
I Zn i> be plurisubharmonic in the multiple-circular domain
we obtain
If we define
a = (r11 a.lcos «(jll - ~j)' •..• r nl an Icos (CjIn - an»'
~=(rllallsin(~l- 61), .... rnl a nl sin (CjIn - 6n ».
we obtain
- 1 1
(H(z; u)a. a)=4"(H(lnr; R)a. a)+"4(H(lnr; R)~. ~).
j = 1. 2..... n; z EOJ;
2) R(r? ...• rj • ...• r~) increases with respect to each variable rj( with the
others fixed> in the interval [O.R~) whenever the interval er? ...• rj' ...• r~).
where 0 S rj < RJ. is contained in B;
(3) ~(r) is convex with respect to <In'!. 1nr2 •...• inrn)ataliinteriorpoints
of the set B;
(4) R (d possesses property (3) at all interior points of every (nonempty) face
the circle 1 Zj! < Rj (see Fig. 14). Then, the function
R (r~ . ..•• rj' .... r~) =
2r.
---
The necessity of conditions (3) and (4)
follows from the theorem in section 11.4 '2
and from the fact that the function u (z)
on an arbitrary analytic plane I = Z i. =
... = z) k = 0 is plurisubharmonic with
z,
respect to the remaining variables in !If -
the intersection of the domain 0 by that
plane (see section 10.13).
Proof of the sufficiency: It follows easily o r,o
from condition (1) that the function
u(z) u(z) =R(lzll ..... IZnD< +co and is Fig. 14
upper-semicontinuous in O. Let us show
that the function II (z) is plurisubharmonic in O. From condition (3)
and the lemma of section 11.4, we conclude that u (z) is plurisub-
harmonic in 0 if Z 1 ••• Z II .,c O. It remains for us to consider the
points of the manifold Z I ... Z" = 0 belonging to the region O. Sup-
pose, for example, that
ZO=(Z~ • .... z~. o..... O)E o.
z~ ... z~""O (O<,k<,n- 1).
Then, for some rO>O, we have S(zo. rOJ)€O and Zl'" zk""Ofor
Z ES(zo. raJ). According to what we have proven, it follows from
condition (4) that the function R(/z.l . .... IZkl. o..... 0) is pluri-
subharmonic at those points of the intersection of the domain 0 by
the analytic plane Zk+l = ... = zn = 0 at which Zl'" Zk""O. In
particular, this function is plurisubharmonic in the polydisk
j z) - zj I <, rO, for j = 1. 2..... k. Therefore. for all a =(al' a2 • . . . . an)'
we have (see section 10.2)
~21t.
./ 1 r (I
Q
2•
Thus, inequality (29) (see section 10.2) is satisfied for all points of
the manifold zJ'" ZII=O. Therefore, the function u(z) is pluri-
subharmonic in a, which completes the proof.
necessary and sufficient that, for all b and for every rectangular interval lying in
B, the function u(x) + bx altain its maximum value on the boundary of that in-
terval.
The necessity of the condition is obvious. Let us show that it is
suffiCient. If u (Xo)= - 00 for Xo EB, then, obviously, u (x) = - =
for x EB. Therefore, let us assume Il (x»-oo for x EB. Suppose
that an interval x=Ax'+(I-A)X". for 0<1.< I. is contained in B.
We choose the vector b so that
h
were re iO = I'-'Ie iO 1 .... , rne iO n\ ·· . f . .h t
j, IS an increasing unctIOn Wit respect oeac
h
variable rj and is logarithmically convex with respect to <lnT!, ... , 1nrn) in the
domain
in B. But 1.00 (x; u,) _ A"" (x; u) as E _ +0. Therefore. the function
A.., (x; Il) is logarithmically convex, which completes the proof.
8. Remarks
We point out some relationships between subharmonic, pluri-
subharmonic, and convex functions in (real) spaces of various
94 PLURISUBHARMONIC FUNCTIONS AND PSEUDOCONVEX DOMAINS
. .
-In ~o (z) = sup [ - In flo (z)]
is a plurisubharmonic function in a (see section 10.3). Thus, a is a
pseudoconvex domain, which completes the proof.
PSEUDOCONVEX DOMAINS 95
~\~v.I 1/
11/
, II
Fil;.15
96 PLURISUBHARMONIC FUNCTIONS AND PSEUDOCONVEX DOMAINS
m= lof ~a o(z)Ix.(z)l> 0
zEoS '
(see section 1.3) for every vector a such that Ia 1= 1. From this and
the fact that the set oS is closed, it follows that the sets
6/1.0(z)~mlx(z)rl. zES.
from which Eq. (45) follows.
In particular, we have shown that Eq. (45) holds for an arbi-
trary domain in CI. In this case, it reduces to Eq. (46).
Let us assume now that the vectors a and b are linearly de-
pendent. Without loss of generality, we may assume that a = b. In
this case, if we use the formula
(47)
where Tj =112 IV (AO) - h (AO)I > o. But the function V (A) < + 00 and is
upper-semicontinuous in the circle IA1-<: r. Therefore, it follows
from (48) and from the Heine-Borel theorem that there exists a
number rl (see section 2.2) such that IAol < r. < r and
(50)
that is,
l!".o(z) le'(Z)I~ I. zE T.
zES. (52)
100 PLURISUBHARMONIC FUNCTIONS AND PSEUDOCONVEX DOMAINS
From the maximum theorem for the sets S;and as: and the function
(see section 10.14), we have
-In.:la (z)
From this it follows that fio (S;):;;;,. fia (oS:). From this inequality and
from (53) and (54), we obtain the chain of inequalities
.:la (S.):;;;" min (r::. o (S;). !::.o [0'\ U (00)1} >
:;;;,.min[!::.o(oS;). p]>min [min [!::.a(oS.). !::.al0"-U(oO)]]. pj= (55)
= min [t:.a (as.). pl.
PSEUDOCONVEX DOMAINS 101
If we take the limit as IX -)000 in (55) and use the continuity of the
function tJ.o (z) and the boundedness of the sets So and To. we derive
the inequalitytJ.o(So):> min (tJ.o(To). pl. It fol-
lows from this inequality and from the in- or;
clusion Toea that tJ.o(So) > o. But So is a C
set. Therefore, Suc:O. Thus, a weak con-
tinuity principle applies to the domain a
and, hence, a is a pseudoconvex domain.
Suppose now that a is an unbounded
domain. We introduce the open bounded
sets OR = On U (0. R) (see Fig. 16). On the
basis of formula (3),of section 1.3, we
have
,,,----{i(7;J---, ...,
... ,,
,,
, ,,
/ \
I
, I \
\
\
I I
I
\
\ I
,
I
\ /
" '---------------- ,'/
.
the three properties: O.«=O,O.cO.+ 1o andUO.=O~ Fromthe fourth
=
such that G. Ga+l 4: G, where V.{z) € e(IXl) in U«(h•.
Proof: The sufficiency fonows from section 12.2. Let us prove
the necessity. Since 0 is a pseudoconvex domain, there exists a
function V (z)that is plurisubharmonic in 0 such that[z: V(z) <lXjeO
for all a= I. 2...• (see section 12.1). Furthermore. there exists a
decreasing sequence V: (z), for k= 1, 2.... , of plurisubharmonic
functions of class C.x» in open sets B II • that converges to the function
V (z). The sets Bit can be chosen in such a way thatBIl~BHl~O and
UBIl = 0 (see section 10.9). From what has been said, it follows
II
that, for every a ~ I, there exists a number k (a) ~ I such that
'[
0.= z: . 1
V,,(.)(z)+-;;-lzI2-a<O. zE D.].
may take the sequence of components of the open sets O~ that con-
tain a fixed point ZO EO. This completes the proof.
for arbitrary real M (see section 1.6) it follows from the fact that
a biholomorphic mapping homeomorphic that
as asserted.
A biholomorphi.c mapping ( = ({z) maps a pseudoconvex domain G onto a
pseudoconvex domain Gl.
Proof: Since the domain a is pseudoconvex, there exists a func-
tion V (z) that is plurisubharmonic in a and that approaches + 00
everywhere on ao (see section 12.1). But then, the function V [z (C»,
where z = z (C), representing the inverse transformation, is pluri-
subharmonic in 0 1 (see section 10.11) and, from the preceding
lemma, it approaches +00 everywhere on aOt. Therefore, the do-
main 0 1 is pseudoconvex (see section 12.8).
u (z) = max I I+ In
[1111 zll -In R (z). In ~; r (z)]
PSEUDOCONVEX DOMAINS 107
B=int n
x'EoB
[x:a(x-xO»O).
°
Here, a (x - Xo) = is the supporting plane to the domain B at the
point Xo EiJB (see Fig. 22).
XES,.. (56)
If this were not the case, there would be a point XO ES. at which
(57)
Let us denote by x' some point on iJB lying at a distance fJ. B (X O) from
xC (see Fig. 23). Let us draw a straight
line L, through x' parallel to the segment
S.. Let iJS. = {a., b.l. From the construc- B
tion, there exist points a: and b:
on the
straight line L, such that la.-a~I=fJ.B(xO)
and lb. - b~ I= fJ. B (Xo). It follows from this
a:
and inequality (57) that EB and b: EB.
Since the point XO lies between a. and
b., the point x' must lie between a; and FiS' 23
b~. But this is impossible since the do-
main is convex. This contradiction proves inequality (57). Taking
the limit as ( 1 _ 00 and making use of the continuity of the function
fJ.B(x) and the boundedness of the sets So and To. we obtainfJ.B(So)~
aB(To). Since ToEa, it follows from this that ABlSo»U. which, to-
gether with the boundedness of SOt implies that So&B. This means
that the weak continuity principle is valid for the domain B.
110 PLURISUBHARMONIC FUNCTIONS AND PSEUDOCONVEX DOMAINS
Proof of the sufficiency: Suppose that x' EB and x" EB. Let us connect
these points by a piecewise-smooth curve Ix: x = x (I), 0 t 1I, -< -<
where x' = x (0) and x" = x (1). which
lies entirely in the domain B. Since x'
is an interior point of B, it follows
that, for sufficiently small t, all
straight line segments connecting the
points x' = x (0) and x (t) lie entirely in
B (see Fig. 24). Then, from the weak
continuity principle, these segments
are also contained in the domain B for
Fi8· 24 all t E[0, 1J and. in particular, for
t = 1• Consequently, B is a convex
domain.
and. consequently.
(ab)'
[a (x _ XO»)' ;> o.
JC E: Sa'
(59)
is a convex domain (see section 13.1) and In A. (0) = supae -< InB••
EEQ
If G is a bounded complete logarithmically convex domain, it can be represented
in the form
where aj are nonnegative integers and the planes ea = In A.. (a) are the
supporting planes for the domain Q. so that
homeomorphism of (- 00. 00) onto (0. 00), the nmction V (e<) con-
+
verges to 00 everywhere on iJQ (cf. lemma in section 12.11).
Therefore, the domain Q is convex (see section 13.4).
We shall prove the converse assertion for the two limiting
cases of complete domains and domains not containing points of
the manifold Zl ••• zn = o.
I( G is a complete logarithmically convex domain or if it does not contain
points of the manifold Zl ... Zn = O. it is a pseudoconvex domain.
Proof: Suppose that 0 is a complete logarithmically convex do-
main. Then, 0= U OR' where theOR=OnS(o. RI)areboundedcom-
R>O
plete logarithmically convex domains. <Ai the basis of section 12.2,
we need only prove that each of the domains ORis pseudoconvex.
From what we have already proven. OR can be represented by
formula (60):
0R=int n
10 1>1
[z:lz«I<A«(OR))·
Let us show that the domain [z: Iz«1 < A«l is pseudoconvex iflell >- I.
Note that
( ) __ 1_
If z - (2"j)/I
f •••
r
w
tfA,z, ... ,. A"z,,)
(A _ I)'
).
d , (1)
IAd=' P"I='
116
MULTIPLE-CIRCULAR DOMAINS AND POWER SERIES 117
When z E a'. the points (AJZI' .... AnZn) are strictly contained in a for
IA}I =r. where j = 1. 2..... n. since
~lzl(r-l)~-;-.
Therefore. the function !p(z) is holomorphic ina' and I/(A.Z ...... Anzn)l-<
M for all zEO'. where IA,I =r. for j= 1. 2..... n.
Furthermore. since 0 E 0'. the function I (z) can be expanded in a
Taylor series
I(z)= ~ aa z •• aa = -;-
Q •
DOl (0) (2)
•'1>0
!P (z) = I (z).
where
.f ..
f(z')
z' a+1
dz'.
(4)
'I Zn H z~ I
The functions !Po (z) are holomorphic in A' and the series (3) con-
verges absolutely and uniformly in 0'.
Let us show that/.(z)=a.inO'. It follows from (4) and Cauchy's
theorem that these equations are valid in But then. the s(o. f).
equations !Po (z) = a.zo. which are valid in S (0. f). remain valid in
0'. This proves our assertion.
118 DOMAINS AND ENVEL..OPES OF HOL..OMORPHY
and it can be expanded in the absolutely convergent power series (2) in TrW).
Thus, "!teO) is a hoi om orphic extension of the domain o.
(5)
where
M=ma~1 ~
zEO 101;;.0
aoz o'.
~ la.IIA.(Q')1 (6)
1.1;'0
(7)
(8)
~ la.1 A.(rO)
J.J ;;'0
for arbitrary 0 < r < I; that is, on the basiS of (7), it implies
120 DOMAINS AND ENVELOPES OF HOLOMORPHY
But this means that the series (8) converges absolutely in S (0. I).
It follows from the above definition that the image of the domain 0°
in this space is D(Q), which is the convex envelope of Q:
It follows from this and the results of section 13.6 that the log-
arithmically convex envelope 0 of a complete multiple-circular
domain 0 is of the form
0°= U o~.
R>U
O~=int n
1-1>1
[z: IZ'I <.4.(OR»)· uR=onS(o. RI).
OO=int n [z:IZ"I<A.(O»).
1'1>1
R>O.
~ [aa+(~)lal/.rga.]za. (9)
1.1 :>0
(10)
absolutely in S (0. I). Let us suppose that there exists an ClO such that
A.,(O')> A•• (O). It follows from the absolute convergence of the
series (11) in S (0. I) and from the relationship A.m (0) = (A. (O»m
that the series
l: (AA: (a,»)m z ..
ex>
m:O 0
(a) m,
(13)
When z EO', the points P·d = r are strictly contained in 0 for all
(AIZi'z)
since, on the basis of (12),
I(z)= ~ aozi'(z-zo)". 1
a. = at DOl (0. -
ZO)
lel>O
= z
~ ao zj'(z- O)7i=/(z)
101:>0
for
zEO'.
where
CPo (z) = I
:bti •r ' -
I A,l -r
I (AI ZI. dA, =
Z) ).a+1
I
• (Z).
zd. (15)
I (z)=_
I f f(Z;. i)
10+1
1
dz l • 0:= 0, 1. ••••
(16)
CI 21ti ,Zl
r/zd-lzd
The series (14) converges absolutely and uniformly in 0'.
According to Cauchy's theorem. the integral (16) defining the
function I. is independent of r. Therefore. we may take the limit
in formula (16) as r _ 1 + 0.• We then obtain
1
I.(z) = 2"
f J(z;. i)
,.+1
,
dz l • 0:==0, 1. •••• (17)
1tl ZI
I zI\-/ z;1
The representation (17) is valid for z EO~ But the right member
in (17) is independent of 0' c= O. Therefore. the functions I.(z) are
defined throughout the entire domain o. Furthermore. on the basis
of Cauchy's theorem. these functions are independent of ZI when ZI
varies in some annulus r (z) < 1 zll < R (Z) (or in the Circle I zll < R (i»
lying entirely in the domain a (see Fig. 27).
00
in that domain. Here, the functions fa (z) are holomorphic in G and are indepen-
dent of Zl in every component (annulus or circle) of the open set
a., = [z: roO (z) < I ztl < RoO (z). ZEB').
a., = [z: I zll < Rz.(i). zEB'].
where 8' is a subdomain of the domain B that depends on zO. On the
basis of section 2.2, the functions r z. (z)and R•• (z) must be upper- and
lower-semicontinuous, respectively, in B'.
On the basis of the results of the preceding section, in the ex-
pansion (19), the functions f. (z) in the domain Oz' are independent of
Zl. Therefore, the functions f.(Z)=f.(Z), being holomorphic in
O. are also holomorphic in B'. Thus, the expansion (19) in the
domain oz' can be written as follows:
00
1t(0)= U 1t (Oz,) =
z'EO
= [z: Zl = Az;. z=z. z'EO. 11.1-<1]=
= [z: I z.I < R (z). zEB).
3. Hartogs' theorem
Here, we shall confine ourselves to a consideration of the
simplest case. that in which the function! (z) is single-valued in
It (0) , that is. to the case of complete Hartogs domains.
Suppose that the function! (z) is holomorphic in a complete Har-
togs domain
O=(z: IZl_1 < R(Z>. zEB).
where the domain 8 is the projection 0 onto the plane of symmetry
Zl = 0 and the function R (Z) is lower-semicontinuous in 8 (see sec-
tion 2.2). (8 coincides with the intersection of the domain 0 and
the analytiC plane Zl = 0.) On the basis of the results of sections
15.1 and 15.2, the function! (z) can be represented in 0 by a Har-
togs series
go
z
For each EB. we denote the radius of convergence of the series
(21) by R~ (z). ~ince !he series (21) converges for I zil R (z). it <
>-
follows that R~ (z) R (z). Furthermore. on the basis of the Cauchy-
Hadamard theorem. we have
(22)
~
is a domain (see section 2.2). Clearly.
0,=>0.
It turns out that the series (21) 1 --
G
-----
~
-
converges absolutely and uniformly in the
domain 01' We shall prove this statement
in the following section. As a preliminary. o
8
.I - 1
II. (z)j'i<. M.
- 1 - (24)
lim czlnl/.(z)I<'-lnRI'
.~+ 00
for a= I. 2....• Suppose that 0 < R~ < R < RI • and 0 <,~ <,) for
1=2 •...• n. Then. on the basis of (24). the functions 'f. (i) =1. (z) R'
M- 1 which are holomorphic in S(~o. r). satisfy the conditions
1 - R -1 - R
-lnl'P.(z)I-<.ln-.
CI r. cx~+ooCl R •
lim -lnl'P.(z)I-<.ln-
I
(25)
128 DOMAINS AND ENVELOPES OF HOLOMORPHY
- 1 - - -
The functions u.(z) =4 In 1 '¥. (z) I are plurisubharmonic in S(ZO, r)
(see section 10.5) and, on the basis of (25). satisfy the conditions
of the generalized Harnack's theorem (see section 10.7) with 0
replaced by s(io, r) and A replaced by In R -In R, • If we set E =
In R, -In R > 0 , we conclude from this theorem that there exists
a number N = N (E, ;0) such that, for all 11 >- N and in S (ZO, ,0). z
-
u. (z) = ~I In I<fl. (z)
-
1-< 0,
that is.
it also converges absolutely and uniformly in the larger complete Hartogs domain
- - - 1 -
-lnR,(z)=lim_ lim ,,In/f.(z')1
z· .... z «-+ +00
is plurisubharmonic in Band Rf ~ R.
Proof; Suppose that B' is an arbitrary relatively compact sub-
domain of B. On the basis of the Heine-Borel theorem. we can
cover the compact set B'with a finite number of polydisks that are
compact in B. Let S (ZO, r) be one of these. Since the function R I (z)
is lower-semicontinuous in B. it assumes its smallest value S (zo, f)
on R;> 0 (see section 2.3). Therefore. on the basis of (22).
J-1m
-:- 'VII • (-)1
Z = -R"
I
- -.. - R
-
./ 1 ./ I
.<- R' ,
. - . He j (z) f (Z) ,
HARTOGS' DOMAINS AND SERIES 129
It follows from this that the series (21) converges absolutely in the
z
circle Iz,1 < R~ for every ES (zo. r) (see Fig. 28). Furthermore,
!..his seri~s _ cC?Dverges absolutely al!.d uniJor!Uly i;!l the polydisk
S(O. r,) X S (zo. r). where r, =1/2 minR(z)for.z ES (zo. r). (Thefimction
R (z) is lower-semicontinuous and positive in B and hence r, > 0
[see section 2.3].) According to Hartogs' theorem (see section 15.3).
the series (21) converges absolutely and uniformly in the poly-
disk S(o. R,} X S(zo. i). Since an arbitrary subdomain 0, that is
compact in 0' can be covered by a finite number of such polydisks,
the series (21) converges absolutely and uniformly in 0'. This
means that the series (21) converges absolutely and uniformly in
0, (see section 1.6).
It follows from the absolute and uniform convergence of the
series (21) in the domain 0 that. for an arbitrary subdomain B' reB.
there exist numbers M and r, such that
From this we conclude that the set { ~ In If. (z) I } of functions that
are plurisubharmonic in B is uniformly bounded from above on B'.
But then. the function -In RI (z) is plurisubharmonic in B (see
section 10.3). which completes the proof.
Proof: The function -lnR,(i) belongs to the class FB of Hartogs'
functions (see section 10.15).
COROLLARY. Every function that is holomorphic in a complete Hartogs domain
G is holomorphic (and single-valued) in the domain Gr.
where
- - - 1 -
V,(z)= - lim lim -lnl/.(z')1
i' -+z 11-+ +00 (l
6. Hartogs-Laurent series
Let us now consider a Hartogs domain that does not contain a
single point of its plane of symmetry (see section 12.13)
00
- =
f • (z) 1
2";
J1(Z;.,•• z) dz..,
1 Cl = o. ± 1. ..•• (28)
I z.
where the integration is carried out over an arbitrary closed piecewise-smooth
contour lying entirely in the annulus
HARTOGS' DOMAINS AND SERIES 131
z
Proof: For every EB. let us expand the function! (z) in a series
of the form (27). Bere. the functions !. <,z) are given by formula (28)
with the contour I lying in the annulus r(z)<lzll < R(z). We have
where
00 ""
!+(z)=~ zU.(Z). !_(z)=~ ziR!_.('Z).
maO m-l
It follows from this and from the representation (27) that the func-
tion ! .. (z) is holomorphic in the complete Bartogs domain
a+=[z: IZll<R(z), zEB).
cp(Z)=L(;.. z)=l>~!_.(Z)
a=1
It follows from what we have said that the function f (z) is holo-
morphic in the domain OJ = oj n a,. The remaining assertions of
the theorem follow easily from the results of section 15.2, which
completes the proof.
(31)
The inequalities
Furthermore. since 1Z; I < r. /3. the circle S (z;. '2 -I z; I) in the
z2-plane is contained in the circle Sea. '2) and contains the circle
S(o. r2/3) (see Fig. 29). Therefore, for every (z~, zg . ...• z~) in
S(O. 'I) XS(z;. P3) X ... X S(z:. PII). the function f(z~. Z2' z~. .... z~) is
holomorphic with respect to Z2 in the circle S (z;. '1-1 Z21). There-
fore. from Hartogs' theorem of section 15.3 (with Zl replaced by
Z2)' we conclude that the functionf(z) is holomorphic in the poly-
disk
sup
6ES (zO. pI)
II (z>l '"6EA,
sup If (z)1
(34)
where Ap = U S(z', pI) (see Fig. 30), holds.
ilEA
If the open set S (zO, r/) n0 is a domain. then. on the
Remark:
basis of the holomorphic continuation theorem (see section 6.1),
the continued function I (z) is single-valued in S (ZO, rl) UO.
we obtain
l ~D'/(ZO)1
a' """~MI. F P -\01 • (36)
I (z) = ~
\01:>0
!, D'I (zO) (z - zO)"
for arbitrary PI < pI. Suppose that inequality (37) does not hold for
some PI < P. that is. that
1 36 DOMAINS AND ENVELOPES OF HOLOMORPHY
(38)
On the other hand. cpp EKo. M,p. p = I. and on the basis of inequality
(36), which we have proven, we have
2. K-convex domains
In connection with the results obtained in the preceding section,
we may introduce the concept of a K-convex domain.
A domain a is said to be K-convex (convex with respect to
the class of functions Ko) if. for an arbitrary set Ac:Q, the set
HOLOMORPHIC CONVEXITV 137
FA=- n [z:
IEKo
I/(z)l<sup/!(z)l· zEO]
zEA
is compact in O.
In other words. a domain 0 is said to be K-convex if. for every
set AgO. there exists a set FA such that AcF AC:O (see Fig. 31) and
for every point ZO EO" FA. there exists
a function f EKo such that
(40)
set FA (for the domain 0) is contained in all the sets FA,. and hence
is bounded. Therefore. it remains to show that 80 (FA) > O. But this
follows from (3) [see section 1.3] and (40):
138 DOMAINS AND ENVEL.OPES OF HOLOMORPHY
Inequality (39) follows from the above inequality and inequality (41):
is a K-convex domain.
Proof: Consider an arbitrary ACGO'. Then, 8o (A) > p. Furthermore,
since 0 is a K-convex domain and Ko' =:JKo ' it follows that
F~= n [z:
IEKo'
l/(z)l-<:suplf(z)l. zEO']CFAfiiO.
zEA
3. A corulitionjor K-convergence, I
In what follows, we shall assume that the class Ko contains the
functions z\' Z2' •••• Zn if 0 is an unbounded domain. Let us prove the
LEMMA. If a-domain G is not K-convex. tOOre exists a set A c G and a se-
quence of points z(kl E G, for k = I, 2, ... , such that z(kl -+ zo E aa,and for
an arbitrary function f E KG,
such that ~II e \.l.\hl eO and the functions "1:"111 EKG (see Oka [72J).
HOL.OMORPHIC CONVEXITY 141
(44)
~=[z: IXa(z)I<1.
Cl= 1,2..... N; zEF')
possesses all the required properties, which completes the proof.
Remark: The above theorem is analogous to the theorem on the
apprOximation of a convex domain by an increasing sequence of
convex bounded polyhedra.
Corollary. Suppose that the conditions of the preceding theorem are satisfied.
Then, if KG = HD (or if KG = P), where G C D, we may take Weil domains as the
~. (see section 12.15).
Proof: From what we have proven, for an arbitrary subdomain
Q'ISi a there exists a domain
is a K-convex domain, where F eGis the smallest class containing the func-
tions Zj and I!G (F) = 2r > 0, where j = I, 2, ... , n and a = 1,2, ...• N.
Proof: If 0' Ca.
F., c: n Iz:
j ••
IZjl<:L. Ix~(z)l<:p.
A. c; A.+I c: a and U A. =0 .
•
Since a is a holomorphically convex domain for the set A., there
exist a set Fit a point a(U E0'\ FI and a function I. EHQ such that
A. c: FI c: 0 .• 1 a l1l - zllli <: I, and
Furthermore, since UA, = a, there exists a set A", il2 > ill=l, such
that FI U laW] CA.,. For the set A•• , there exist a set F2 , a point
a (2 ) E a \ F2 and a function 12 EHa such that A" c F2 e 0,1 a (2 ) - Z(2) 1<
< 112, and
and so on. Consider a number ilk> Ilk-I such that F k-I U{alA-ill cA,••
For the set A,., there exist a set F", a point alt Ea '\ F. and a
function I. EHa such that A,,,, c F k C a, I a lk ) - Zlk) I < Ii' and
sup Ilk (z) I = I. If k (a(k» I > 1 (45)
zEA'k
(46)
1</<.-1
I(z)= (47)
Since, on the basis of (45), IIj (z) I < I for z EA'I and A'I c: a, where
U A,; = a, it follows that the series (47) converges absolutely and
;
uniformly in the domain a, thus defining the function/(z), which
is holomorphic in O. Also, since alk) E A'k+1 C A'I' for I> k, it
follows on the basis of (45) that III (a lk » I < 1 for I > k. Therefore,
we conclude from (46) and (47) that
Ik)}I'·
I/(a1k'Ji:> I f k
(
ak2 _ ~
.<;1<; A-I (48)
~ I r.'
- ~ j2:>k- 6 +1.
k t I';;;
Let us choose an arbitrary point ZO EE. It follows from the
construction that the point ZO occurs infinitely many times in the
sequence Z(k), for k = I, 2, •... Suppose that Z(k l } = ZO for I < kl < k2 <
.. ,. Then, we conclude from the inequality 1a(k;) - ZO 1-< 1 / III < 1/ j
that the sequence a(k l ), for 1 = 1, 2, ... of points of the domain a
converges to the point ZO EE c ao. On the other hand, it follows from
(48) that 1I (a(k;» 1-+ +::xl as 1-+ =.
This means that the nmction
f (z) is infinite at the point ZO EE (in the sense of the definition in
section 1.6), which completes the proof.
144 DOMAINS AND ENVEL.OPES OF HOL.OMORPHY
sup If (z) I
zEA
< If (ZO) I (49)
(see section 16.2). Let us denote by F A, the image of the set FA.
Consider a point ~o E 0 1 " F A, and the point zn = z (Co). where z = z (~) is
the inverse mapping. Clearly. ZO EO" FA. For the point zO. there
HOLOMORPHIC CONVEXITY 145
(50)
This follows from the lemma just proven and the theorem in
section 16.6.
THEOREM. If an increasing sequence of domains of holamarphy Ga S! Ga + l ,
for a = 1,2, ... , is such that each class HGa + 1 is dense in the class Hca , then
G= Ua
Ga is a domain of holomorPhy (see Behnke and Stein [48]).
To prove this theorem, it will, on the basis of the corollary of
the preceding lemma, be sufficient to show that each domain O. is
convex with respect to the class Ho. To prove this last assertion,
it will, on the basis of the lemma in section 16.2. be sufficient
146 DOMAINS AND ENVELOPES OF HOLOMORPHY
zEO•.
In every fixed subdomain G. Ci! a" where v> 11, this sequence of
functions I a (z) for k = O. 1 .•. converges uniformly in itself since.
on the basis of (52), the inequalities
P P
I/HP- la 1-<: ~ IfHI-IHI-II < e ~ 2- I - k < e2- a•
1=1 1=1
zE O.
hold for arbitrary p ~ 1 and k > v + 1 - 01. Consequently, this sequence
converges uniformly in a. and. thus (since a. is arbitrary) defines
a holomorpbic function I(z) in the domain G (see section 4.4).
Obviously, the function I (z) can be written as a series of the form
1=/0+(/1-/0)+(/2-/1)+ ....
Therefore, by virtue of (51) and (52), we obtain
00
(see sections 16.2 and 16.5). If we cover the compact set 00." with
a finite number of these neighborhoods U (z(l). rl), where 1 = 1. ~ ••• ,
Nil' and reason as in section 16.5. we can exhibit a Weil domain
148 DOMAINS AND ENVELOPES OF HOLOMORPHY
such that O•• _ICOkCO•• and the functions 'X.~., are holomorphic in
0'.+1.
Thus. we have constructed a sequence of Wei! domains Ok' for
k = I. 2.... , with the following properties:
Since Tof:iO, we have 0o(Tu»O and, hence, 00 (So) > 0; that is, be-
cause of the boundedness of the set So, we have So IE 0, which
completes the proof.
COROLLARY. 8very domain of holomorphy is pseudoconuex.
This follows from the first condition for pseudoconvexity
(see section 12.4).
150 DOMAINS AND ENVELOPES OF HOLOMORPHV
. .
SOC:: U(8«). c:: U(8..),.. q.e.d.
2. "Disk" theorems
We note the following special cases of
Fip;. 34 the ccntinuity theorem. They are referred
to as "disk" theorems. These theorems
are very convenient for applications.
Suppose that (z. w) € en + m and z = z <t>. where 0 5! .t.s 1. is a continu-
ous curve in en. Suppose also that OW, for 0 .s
t ~ I, is a family of domains
inem possessing the property that, for an arbitrary compact set K' c 0(0), there
exists a number" = ,,(K'), in (0,1] such that K' c 0 (t) for all 0 5! t < 'I, there.
CONTINUITY PRINCIPLES 151
Suppose that the domain of holomorphy G contains the cdisks· [(z, w): z = z<t),
w € DW], where 0 < t ~ I, and the points [(z,w): z = z(o), w = D(O)\Kl,
where K is a compact set contained in D(o). Then, G contains also the limit
cdisk· [(z, w): z = z(O), w € D(O»).
Suppose thatGW, forO ~ t ~ l,isafamilyofboundeddomainsinClpossessing
the property that, for an arbitrary compact set K C g(O), there exists a number
"I = "I (K), in (0,11 such that Keg (t) for all t in [0, "I). Suppose also that the
family of "disks·
is such that (1) the vector-valued function z (A, t> is holomorphic with respect
to A in the domain g<t> for every t € [0,11, it is continuous, and az "lOin
aA
g(d x [0,11; (2) the domain of holomorphy G contains "disks" D (t) for 0 < t .s. 1
and the boundary of the limit "disk" aD(o) = [z: z = z(a,O>, A € ag(O»). Then,
D(o)c=G.
Analogous "disk" theorems hold for a specific function fez). For
example, corresponding to Theorem n is the
THEOREM. Suppose that a function fez) is holomorphic at points of the set
U D (t> UOD(O).
0<1.;;1
Then, fez) can be holomorphically continued into points of the "disk· D (0).
[lzl-z~l<r/JcD(t)forall 0<1<"1.
Fig. 35
where U is some neighborhood of the curve
Z= z(I), -<
where 0 1 ~ "II <: .", and the function R (z) is lower-
semicontinuous and satisfies the conditions
(56)
U_ =[A: zO+AbEU).
'0, b
lim \-lnR(zO+b)..(/)1l =
1-+0. I#)
= -In R[z (0»).
D(t)=[z: z=aA+b(t).
A Eg (t)). 0 -< t -< l.
According to the hypothesis of the theorem
D (0) 15 U (dO). Therefore, there exists a
number to -< I, such that D(t) 15 U (dO) for
0-< I < to. If we note now that
we conclude from the "disk" theorem (see section 17.2) that the
function f (z) can be holomorphically continued into all points of
the "disk" D (1) and, in particular, to the point z' EO.
Thus, the function f (z) can be holomorphically continued to an
arbi trary point z' E0 from an arbitrary point ZO EOn U (00) along
any path connecting them that lies in the domain O. But 0 is assumed
to be a simply connected domain. From the monodromy theorem
(see section 6.6), the function / (z) is single-valued in O. which
completes the proof.
In other words, we may say that the domain U (00) U0 is a
holomorphic extension of the neighborhood U (00).
We note that this theorem remains valid without the assumption
that the domain 0 is simply connected. This assertion constitutes
the Osgood-Brown theorem (see [1], p. 324).
COROLLARY. A holomorphic function cannot have isolated singularities if
n ~ 2.
are contained in T B' and certain points of the limit "disk" corre-
sponding to t = to are also contained in r B'.
By applying the strong "disk" theorem (see section 17.3).
we see that function / (Az' + a l ) is holomorphic at all points of this
litirlt "disk." From this we conclude that it is also holomorphic
at all points of the "disk" for t = 1
LOCAL PSEUDOCONVEXITY 155
Let us set c = grad 'P (ZO). Since grad 'P 4< 0 in U (zo. r) , it follows that
c 4< 0 and, because of the continuity, we have
Re (c. grad 'P (z»:> x > o. (58)
for some r l -< r and x> O. Let us take a sequence of analytic sur-
faces
Conversely, if
at a point zO of a class C(2) hypersurface S = (z: cp (z) = 0] for all a", 0 satis-
fying condition (61), then S is pseudoconuex in the senses of Cartan and Levi at
the point zO on the (cp (z) < 0) side. Furthermore, it is possible to pass through
point zO a (2n - 2)-dimensional analytic surface P(z) = 0, where P(z) is a
second-degree polynomial lying entirely on the (cp(z) > 0) side in some neighbor-
hood of the point zO, excluding, of course, the point zOo
Proof:* Since 'I'EC!2', it follows that. on the manifold z=zo+
a)..+b)..2 passing through zoo this function may. for smalll.,be ex-
pressed in accordance with Taylor's formula in the form
Therefore. formula (63) for the vectors aO and bO takes the form
which passes through the point z'. On the basis of (64). on this
surface in the neighborhood U (z'. 2p), we have
= (H (z; cp) (z - z').
'? (z)
z-- z') + 0 ( Iz - z'1 2) =
_ r(H(z;,,) (z-z'). z-z') + (65)
-l Iz-z'1 2
+0(1)] jz-z'1 2.
Furthermore. we conclude from con-
dition (62) that (H (ZO; cp) a. a) >-" > 0
for some a and for all a such that Ia 1= 1
which satisfy condition (61). But on the
surface Pz' (z) = 0 in the hypersphere U Fill' 39
(z'. 2p) condition (61) is approxima~ely
satisfied for the vectors a = ,: - z, up to a quantity of the order
p. SpeCl°fic ally. ,z-z 1
...., I"
~ 2I z -1 z'\ ~ 0OZIOZk
2
'1' (z') ( Zj-zl)(Z,,-Zk)
j, "
, , I+
+ Igrad cp (ZO) - grad 'f' tz')1 <: cp,
On the basis of what has been said. we conclude from (65) that
Therefore,
o -~R'
2
Vz.z.
L(rJ=- o
o _J.. R" _ _l_R'
4 4[ z,[
R' dO In R
- 16[ z, " d (In [z. [ )2 •
LOCAL PSEUDOCONVEXITY 161
In this case. the condition L('f» > omeans that the function InR( IZ21)
is convex with respect to In IZ21 for 0 < IZ21< Ro.; that is. the
domain
0 ~VZ, oR
2 z, - oz.
V~'z,
R
L(cp)=- - 1- 0 = - T u1nR .
41 z,1
{)oRZ2 0 -t:.R
The condition L ('1') > 0 means that the function -In R (Z2) is subhar-
monic in B; that is. the domain Gis pseudoconvex (see section 12.3).
(3) Suppose that a portion of the boundary of the tubular domain
T B = B + IR2 is 'I' = XI - ~ (x 2) = 0 (see section 7.5). Then.
-~~'
1
0 "2
1 ~" .
1
L(cp)=-
"2 0 0 =-16
-~V
I ,II
0 -"4'i'
The condition L (r) > 0 means that tjI" -< 0; that is. the curve XI ='r (Xl)
is convex (cf. section 13.5).
(4) For the semitubular domain
G=[z: V(Z2) < XI < V (Z2)' z2EB. Iyd<oo)
let us consider a portion of the boundary 'fl= XI-V (Z2) or 1'2=
v(z2)-X 1 • where z2EB. We have
0
1 OV
2" oz.
1 1 1
L(1'I)= - 0 0 =-"4t:.V. L (:;;2) = "4 t:J.v.
2"
oV 0 -~V
oz,
162 DOMAINS AND ENVELOPES OF HOLOMORPHY
0>0. (66)
then the domain G is pseudoconvex in the sense of Cartan at the point zO and
there exists a locally supporting (2n - 2)-dimensional analytic set P(z) = 0 for
the domain G at the point zO. where P(z) is a second-degree polynomial.
Proof: The assertion of the theorem has already been proven
(see section 18.4) for the case in which grad f (ZO) 4= O. Suppose that
grad f (zO) = o. In this case, formula (64) yields
cp(z)=Re ~
\" az.azt
a', (z') (z,-z,)(za-za
, ')
+
,a I
for all z' Eao nu (zo. p) and z EU (z'. 2p) if p < i /3. From this and
from (66), it follows that
p z• (z)
"'.,
== ~ a', (z')
aZJ az" (z J - zj) (z" -z~)=O. z' E iJa nU (ZO, Pl.
I."
LOCAL PSEUDOCONVEXITY 163
lying in the hyper spheres "U (z'. 2p) if the number p is chosen suf-
ficiently small. Now this inequality means that each analytic set
p.,(z)=O for z'Ec)QnU(zo. p) has no points in common with the set
:On U{ZO, p) (see Fig. 39). Just as in the proof of the second portion
of the theorem in section 18.4. it follows from this that On U (ZOo p)
= u- (zO. p) is an open set of holomorphy. that is. that the domain
a is pseudoconvex in the sense of Cartan at the point .•0 EiJO. which
completes the proof.
From this theorem and the theorem in section 12.10. we have
the
COROLlARY. gvery pseudoconvex domain is the union of an increasing
sequence of bounded domains that are locally pseudoconvex in the sense of C artan.
7. Analytic hypersurfaces
An analytic hyper surface is a {2n - 1)-dimensional set S defined
in a neighborhood U (ZO, r) of each point ZO ES by an equation of
the form
/(ZO; z. t)=O, It I < E,
where the function l(zO; z, t) is holomorphic with respect to z in
U(zo. r) for each fEe-e. e) and continuous with respect to tin (-E, e)
for each z in U (zo. r) and where l: 1:~ 14' 0 for all (z. t) EU (ZO, r) X
X (- E, E). For definiteness. wJ assume that I (ZO; zoo 0) = 0 and
df / iJz, =F O. We note that e depends on zoo
Examples of analytic hvpersurfaces:
(a) The cut C= [z: I{z)= t, a < t < b) where/(z) is a holomor-
phic function in a neighborhood of C and grad cp 0 on C. 4'
(b) The level surface of the absolute value of a holomorphic
function So = Iz: II (z)1 = 11. where / (z) is a holomorphic function
in a neighborhood of So and grad / =F 0 on So. This is an example
since So=[z: I(z)=e", It I <00).
It follows from the definition of an analytic hyper surface S
that. through every point z' ES n U (ZO, p). where p < r /3. it is possible
to pass the supporting (2n - 2)-dimensional analytic surface I (ZO; z,
p')=O. where /(ZO; Zl, p')=O. that lies onS in the sphereU(z', 2p).
From this it follows that U (ZO, p) \. S is an open set of holo-
morphy. To see this. note that. for every point Zl of the boundary
of this set. there exists a barrier function that is holomorphic in
U(ZO, p)\.S and that has a singularity at the point Zl: for points z/ES.
we may choose as a barrier the function I/(ZO; z, P'»)-'. and. for
the remaining points of the boundary. we may choose the function
(69)
j = I. 2, ..• , n, (71)
Here. the solution u passing through the given point (UO, XO) is unique.
and. thus. the manifold of solutions of the system (71) with con-
ditions (72) depends on a single parameter. This dependence is
continuous.
Let us apply this result to our system of differential equations
(70) when the relationship (69) holds for two independent functions
XI and YI. where ZI = XI + IYI. If we use Eq. (69) to eleiminate one
of the functions. let us say. YI' and use the Cauchy-Riemann
conditions, we obtain a canonical system of 2n - 2 equations in the
function XI. However. this procedure would lead to extremely tedious
calculations. We can perform essentially the same calculations by
a Simpler method, namely. the technique of formal derivatives (see
section 4.5). In these terms, the integrability conditions (72) take
the form
(73)
where the symbol d~ denotes the total derivative. The first set of
equations (73) can be verified by direct calculation. Let us prove
the validity of the second set of equations (73). From Eqs. (69) and
(70), we have
0'1' 09
OZ) az;- (74)
~ ~
i)Zj oz. OZIOz,.
~ ~
OZjOZI OZIOZ;
...!L ~ ~ (..!:Lj.E:t) 0 a = 0
oz. 2 < J~
• _<II lZi OZJ oz. J A •
which is valid for all (a2' 03' •••• a,,). The validity of the second set
of equations (73) then follows.
Thus, the conditions for integrability of the system (69)-(70)
are satisfied. Consequently, this system has a one-parameter
family of solutions z.=z.(z. p), where 'lpl<a, which depends
continuously on the real parameter p. On the basis of the second
set of equations (70), the functionz l (z. p)isholomorphic with respect
to z in some neighborhood of the point zoo (CD the basis of the
Heine-Borel theorem, this neighborhood may be chosen indepen-
dently of p. if B is sufficiently small.) Then through every point
z' ES. in some neighborhood of the point ZO there passes a unique
z.
integral surface z. = (z. p') if = z; z. (;'.
p'). This means that_the
hyper surface S coincides with the analytic surface z. = z. (z. p),
where IpI < B , in some neighborhood of the point zO ES. This com-
pletes the proof of the theorem.
II :::: ~ (75)
is 2. Then, no domain G (zo) containing the domain U-(zo, r) for some r and having
zO on its boundary can be pseudoconvex in the sense of either Cartan or Levi at
the point zoo Here (see Fig. 40),
D(t) = [z: z= zo+ pt+ a). + {)A2, 11.1< pl. 0 -<: t < B,
are "disks" (in the sense of section 17.2) that depend continuously
on the parameter t. By virtue of formulas (63) and (76), at points
of the "disks" D(t),
168 DOMAINS AND ENVELOPES OF HOLOMORPHY
grad CP2 (z) = "'l (z) grad 'fl (z). zEF. (77)
where 1m '"'I (z)4'O. This is true because FE c(2) and hence the rank
of the matrix
that are contained in U (F) and that depend continuously on the param-
eter t. Let us show that for 'l and p sufficiently small, each "disk"
D (t) (for 0.< t -< 'l) has only one point z (I) in common with the sur-
face F. This assertion follows from the fact that the system of
+
equations crdz (I) cAl = 0 (for 1= 1, 2) has a unique solution A=1 = 0
in the circle IAI -< p for each 1 E[0, '71) since (by virtue of (79» the
Jacobian determinant of the functions <Ptlz (t)+ cAl with respect to A
and r does not vanish in U (ZO, r). Furthermore, by construction,
the curve z =z (I) (for 0 < 1 -< '71 lies in U (z', r')c a. Therefore, all
the "disks" D (t) (for 0 < 1 -< '71) lie in the domain of holomorphy O.
For the same reason, the limit "disk" D (O) with the exception of
the point ZO corresponding to A=O also lies in O. From the "disk"
theorem (see section 17.2), ZO EO. This contradiction proves that
FeO.
Thus, either F lies entirely in a or F lies entirely on dO. In
the latter case, F is a locally pseudoconvex surface and, hence,
by virtue of the theorem in section 18.12. is an analytic surface.
This completes the proof of the theorem.
COROLLARY. Suppose that a k-dimensional (for k = O. 1•...• 2n - 3) sur-
(ace o( class C(2) F' is such that U(F')\F' is contained in a domain of holomorphy
G. Then. F' c G.
Fill. 42
~ 1 -
(H(z. V.)a. a)~mlaI2. zEU(O.) (see section 12.10).
For a domain 0 to be a domain of holomorphy, it is necessary
and sufficient that it be locally pseudoconvex in the sense of Cartan
(see section 18.3).
Let us now consider a number of important examples of domains
of holomorphy.
Let us suppose that 'U,(ZU) < 'U (Zo) at some point ;0 E B. Since the
function 'U,(zL is upper-semicon!inuous_ in B, ~ere ~xists a neigh-
borhood U (zo. r) such that 'U,(z) < v (ZO) forz f;. U (zo. !). But_this
contradicts the equation Of = O. Therefore, 'U,(z) = 'U (z) for z EB.
The second of Eqs. (80) is proven in an analogous manner. This
completes the proof.
where
8H (0) [H(G'»)>r.
From the theorem that we have just proven, H (TB) = TO(S~ where
o (B) =( r,:
0 < "lj < 'It. j = I. 2. 3) (see Fig. 44). The mapping
This mapping maps the function f (z) into the function cp (C) = f (e :/),
which is holomorphic in TQ and which is periodic with respect to
each variable C, individually with period 2'11:1. According to the
theorem in section 21.1, the function cp(C) isholomorphic in the con-
vex envelope O(Tn)=To(B). From the holomorphic continuation
theorem (see section 6.1), the equations !f(C+2'11:ta)=!f(C) where
«= (al' a2• •••• a~) (where in tum the a, are integers), which are
valid in TB' remain valid in To (B). Thus, the function cp (C) is periodic
with respect to each variable C, individually (with period 2'it1)
in the domain TO(B)o Therefore, on the basis of (85), the function
fjl(ln Izil + I arg z,} is holomorphic (and single-valued) in
Obviously, the function cp (z) coinCides with the function f (z) in the
domain a. This means that f (z) is holomorphic in a*·. which com-
pletes the proof.
Here, the radii r=r (ZO) are chosen sufficiently small that
a' = max v(z) < A' = min V (z).
zE iTl", r) zE il(", r)
This is always possible since the functions 11 (z) and \l (z) are upper-
and lower-semicontinuous, respectively (see section 2.2). Clearly,
a ~ a' and A' ~ A (see Fig. 45).
From the hypothesis.! (z) is holomorphic .I,
Let us show that the functions ViZ) and -v',(Z) are plurisubhar-
monic in B. On the basis of the theorem in section 19.5, it will be
sufficient to show that the domain a, is a domain o..f holomorphy.
Consider a pointzOEaO,. Let us assume first that zOEaB. Since B
is assumed to be a domain of holomorphy. there exists a function
10(%) that is holomorphic in B and that has a singularity at every
point of aB. Thus. in this case. there exists a barrier function
lo(z) that is holomorphic in a, and that has a singularity at the
point zoo (This function is independent of Zl')
~et us suppose now that ZOE B. Then, either x~=lI/(zO) or x~=
V / (ZO). Let us c~nsider the_first case (the second bei~ analogous
to it). Since lI,(ZO)= lim 'VI (z). there exists a sequence z(-J, for k=
~~
1. 2. . . .• of points in the domain B such that z(-J -+- ZO and
- - ~
'VI (Z(k»-+-
lIlz0) as k ... 00. F~om this it follows that, for arbitrary £ > 0,
there exists a point z' such that
Iz' -ZOI < (:r .
(86)
l'V I (Z')-lIt<;ZO)1 < 2~2'
Furthermore, since the strip 'VI (;') < XI < VI (;'), throughout which
the function I(zl' z') is holomorphic. is of maximum width, this
function has a (finite) singular point z; such that
/' (-, "
Z ) - X I < 2Y2'
O.,.,.111 I
From this and from (86), it follows that the point z' =(x; +i'y~. i')
(see Fig. 46) does not belong to a and that it satisfies the inequality
Iz' -zol = V 1 x; -x~12+ Ii" - ';°1 -< 2
UO.=H(O).
Proof; Let us show first that 0 1 cH (a). The function - In /lH (a) (z)
is plurisubharmonic in H(O) (see section 19.1) and, consequently,
in 0o=OcH(O). Also.
- In /lH (0) (z) <: - In /la, (z). zE 0 0 ,
From this and from the definition of greatest plurisubharmonic
minorant (see section 10.4) Vo (z) of the continuous function -In /la,
(z) in the domain 0 0 , it follows that
that is,
D=UO •.
CONSTRUCTION OF ENVELOPES OF HOLOMORPHY 189
V.+ 1 (z) < v. (z), lim V. (z) = -In!:lD (z), z EU (ZO, r).
."00
Consequently, the function -.In ~D (z) is plurisubharmonic in U (ZO, r)
(see section 10.3). Since U (zo, r)is a neighborhood of an arbitrary
point ZO ED. it follows that the function -In AD (z) is plurisubhar-
monic in D (see section 10.3), which completes the proof.
Suppose that V (X) is the largest plurisubharmonic majorant of the function
-In tla (zo + Xa), where 1 a 1
= I, in the open set Gzo = [,\: zO + Xa E GJ. Then,
G U TTzO ,0 c H(0), where ,4
AEOzO, a)·
Integral Representations
191
192 INTEGRAL REPRESENTATIONS
where x = (Xl' -'=2' •••• xn) and the coefficients C1.J, ... Jk (x) are contin-
uous functions in some domain of the space Rn. Two forms are
considered equal if each can be transformed into the other by a
transformation of the products of the differentials according to the
formula
(2)
With the use of rule (2), every kth-order form can be reduced
to the canonical form
(3)
(4)
where
al' J (x')=
I'" k
(5)
ddlX= O.
just obtained the integral of the form 11 over the oriented bounded
surface V including its boundary and we adopt the notation
J«= vJa(x)dx
v
except that the formula for change of variables in this integral
contains not the absolute value of the Jacobian but the Jacobian
itself:
f
v
11 = f
v'
11', 11' = a Ix (x')] D (X!' ... , x:) dx; •.. dx~.
xI' ... , xn
4. Stokes' formula
(8)
FACTS FROM THE THEORY OF DIFFERENTIAL. FORMS 197
To prove Eqs. (11), we need only note that the exterior dif-
ferential of the form in the integrand is, by virtue of the Cauchy-
Riemann conditions, equal to zero and to use Stokes' formula.
Specifically,
ZI ')_1 '}+I
where the integrations are taken over the curves I). for j -4= k •
lying in the circles S(z~. r j ) and connecting the points z} and
zj • Since the paths II' for j"* k • and the closed curves iJg II' are
arbitrary, it follows from Eq. (13) that the
function z,
Z"
1 v,"
01/
" Zn
Here. the square brackets indicate that the enclosed term is omitted.
Let us suppose that the space e" is oriented in accordance
with section 22.5.
THE MARTINELLI-BOCHNER INTEGRAL REPRESENTATION 201
!~
Iz-q=.
.f IZ ~~12n ~ {C} -
)=1
Z) d~ d~1 ... lift)] dC} ...
(16)
J= J Ic
1:1 =1
1
j2n ±~df. d~l'"
j=1
(17)
202 INTEGRAL REPRESENTATIONS
Since
aor
'I
if k =t.
k=l. 2 •.••• N.
if k =F t.
f
-
(z) -
(n-I)I
(2iti)n
J z_ I
f(C)
n
~ -
C12n "" (~, -
- ;;-
z ,) d~l d~1 .,.
~ dUll '=1 (18)
... [dc,1 dC j ••• df.n den'
(20)
l:<"C,-W,)dt"ldC1 •••
(2ltj)" IC-zOl=' [(z-r.) (w-C»)/I '=1
... [dc:,1 dC, ... rKlI dC,..
It follows from this hypothesis that each set S'\ ... m.either
is empty or is a (2n - k )-dimensional surface of class C(oo) (see
section 1.4). This is true because the functions CP.(z)=x.(z)x.(z)-1
are infinitely differentiable in U (0) and, by virtue of the Cauchy-
Riemann conditions,
0'f.
OZ} = X.
oz. +::-X. ox. = X.- o/..
OZ} OZj OZ}'
.
J=
1 2
. . .... n.
',',
igrad 9 . grad'f'
S.,. The number of hyper surfaces a., may actually be less than N.
In this case, we assume that the corresponding a., are empty:
a., = 0. The orientation of a induces an orientation of the hyper-
surfaces 0" (in accordance with section 22.2). The boundary
oa., of each hyper surface au, consists of a finite number of
(2n - 2)-dimensional bounded orientable surfaces a.,., with boundary
of class CleO' 00., = U a.,., that lie on S.,., (see Fig. 52). Let us
assume that a.,., = 0 if
. III = <12 or if oa., and oa., do not have a
206 INTEGRAL REPRESENTATIONS
(23)
Fig. 52
=S(O. '1) X ... X S(O. 'n)'
n(n-I)
d[S(O. ')1=(-1)-2-aI2 ... n.
n (n-I)
as(o. 'I)X", X as(o. ',,)=(-I)-2- aI2 ... 11'
(24)
THE BERGMAN-WElL INTEGRAL REPRESENTATION 207
•.. =(_1)-2-
" (,,-I)
f
n (n-I)
=(_1)-2- ZI ... z"dz l ... dz n •
an .0. n
Since the surfaces as (0. 'I) x ... x as (0. r,,) and 012 ••• n consist of
the same geometric points. the required relation (24) follows
from this.
It can be shown in an analogous manner that if a Weil domain
°
a is of the form 1 X 02 X ... X On • then
2. Hejer's theorem
Suppose that a function )( (z) is holomorphic in a domain of holomorphy D c en.
Then. there exist functions Pj«(. z) that are h%morphic in D x D such that
Let us accept this theorem without proof. Its proof can be found
in the article by Hefer [59) or the book by Fuks (2). p. 137. We
208 INTEGRAL. REPRESENTATIONS
n
elj = ~ [olj.tC. ~)d~.
,,=1
+ blj. (:. t)dC.l. 1= k -r 1..... n.
• •••• tIC" I
D (dC • ••• , tIC)= ItIC\
••• • • =
tIC\, .... tlC lI
n I tIC \ dC.z ... de". (27)
(34)
Ok = d?
Nn-="j," - (n -
I'
i~) .
C:N- -z) +d~1 (' -) k
=..
1 2 .... n (35)
n k '0 - Z •
where
,
I I.
1. ",.1. 1 ~I;- T! (:-Zl
l\'IJ-k
:i:. ::-z) ,E•.. "0/:- Z) d;
= ~ (-1)"+1 D (ql' .... (qll . .... q". ;n-:":I' de. .... d't), (39)
/el
k=l. 2 •.••• n.
We note that we used properties (28)-(33) in our operations
with the determinants.
4. The Bergman-Weilformula
Suppose that f(2) is a function that is holomorphic in a neighborhood of a
Weil domain
o==(z: Ix.(z)I<I. a==1. 2 ..... N; zEU(G»).
where the functions Xa are holomorphic in the domain of holomorphy D ) U ( ii).
Then, the Bergman-Weil formula
n In-II
(_1)-2-
(21ti)n
(40)
{f z Eo.
(Z).
== O. zED '\ (0 U a).
THE BERGMAN-WElL INTEGRAL REPRESENTATION 211
where q,., .. . 1I.n are n-dimensional s I/Tfaces constituting the hull ~ (a). holds (see
section 24.1). The coordinates of the vectors qm' for II 1. 2 ••••• =
N. are given by the formula
(41)
I q. \ ..... q. \
D(q•. ...• q. ) = I ...... .
I •
(43)
I n
q'2 q'Jnn l n • ••• ,
(45)
«I 0'11 1
_I j(z). zEa.
-10. zEo.
212 INTEGRAL REPRESENTATIONS
n In-II - -
= (-I )-2-D (;;/ . d~. .. .. tit) d~1 d~2 ... dr.n•
n(n-I)
(47)
X D(q" •• .... q.". Il". d(..... d()dC l ... dC n =
fez). zEo.
{
= O. zED'\(oU8).
where the functions fl" are determined by Eqs. (35) and (36).
Suppose that k = 1. 2 ••••• n - 1. It will now be more convenient
for us to treat the indices IXI' •••• IX" in the summation in formulas
(47) as independent. Since the determinant D changes sign (see
section 24.3) when the two columns q. and q. are Switched and
since the surfaces 0........... and • •
~. are oppositely a.: .• .....
~ y
THE BERGMAN-WElL INTEGRAL REPRESENTATION 213
oriented (see section 24.1), Eq. (47) leads to the following equations
for k = 1,2, .•• , n - 1:
<_1)-2-
(2,,;)' (k
.(n-II
+
I)!
k+1
~ ~
..!. f /("'.) X
1=1 "I'" [.t! '" "k+1 -,,,,, ['d'" "k+1
(48)
XD(q 4. ..... [qJ1 ..... q2k+1 .6 •. dF:. .... df.)X
'3. II(
~ • _ ff (z). z Ea.
X dr. 1 d~2 ... d'.,,- \ 0. z ED '\. (aU,.
~)
[
= d /(r.)D q'I' ....( c-z..
q.". N,,-k' dl. . .... d, -")] X
k=l. 2 ..•.. n-l
n(n-I) k+l
~
(_1)-2-
(21<;)" (k + 1)1 tf
'I ...
~
[°11 ... ""+1 ··1'" ('d'"
! '.+1
X
= u(- l}k+I-/
o'J l ~ .. -, ... -"+1'
"I
214 INTEGRAL REPRESENTATIONS
n (n-I) .t+1
(_1)-2- ~ X
(2"'i)~ (k + 1)1 1= I
X ~
-,'" [Clz)o .. lIk+1
~ (_1/+ 1- 1
rJ l
.r
0'11, .. , 11"+1
/(C)X
6. Remarks
(1) By means of the Bochner-Martinelli (for k = 1) and Bergman-
Weil (for k = n) formulas, formula (47) gives yet another set of
intermediate representations corresponding to k = 2, ••• , n - 1.
If we replace z
by ZO , where ZO is a fixed point in a domain a,
just as in section 23.1, we obtain new integral representations,
which are valid in a sufficiently small neighborhood of the point zoo
(2) Integration in the Bergman-Weil formula is over the hull
~(a) of the Weil domain a. Therefore, every function/(z) that is
holomorphic in the closure of a Weil domain a is completely
determined by its values on the hull ~ (a).
We note in passing that if the Weil domain a is a polycircle
S(O, r), the Bergman-Weil formula reduces to Cauchy's formula
(see section 4.3) since, in this case, we may take Pa, = for 0.,
1 <: a and j < n, where 8 is the Kronecker delta, and then use
0}
formula (24).
(3) For n 1, the Bergman-Weil formula reduces to Cauchy's
formula
_1_.
211:1 ~
~ J t-zd~ f (C) = { f (z).
0•
z ~ ~.
zEa.
• tI ~
•
For n = 2, the Bergman-Weil formula takes the form
THE BERGMAN-WElL INTEGRAL REPRESENTATION 215
where
Q•. s(z) =
(_1)-1-
(51)
(2,-;;)"
8. Runge domains
A domain a is called a Runge domain if the class of polynomials
is dense in Ho. A Runge domain is always single-sheeted.
The following theorem. due to Runge (see Markushevich [70].
p. 285). is always applicable in the space CI. For a domain G to be
a Runge domain, it is necessary and sufficient that it be simply connected.
In the space C" for n ~ 2. we have no such simple geometric
characteristic of Runge domains: not every simply connected
domain is a Runge domain, and not every Runge domain is simply
connected (see Fuks [2]. p. 68).
First of all. we shall show that a domain G is a Runge domain if
its envelope of holomorphy H (G) is a Runge domain.
The assertion that if H(O) is a Runge domain. so will a be a
Runge domain is trivial and follows from the more general fact
that if any holomorphic extension 0° of a domain a is a Runge
domain. then a is a Runge domain.
Conversely. suppose that a is a Runge domain. Let us show
that H (a) is also a Runge domain. Let f (z) be a function that is
holomorphic in a and hence in If (a). Then. there exiSts a sequence
of polynomials Pa(z) for ex = 1.2 ••••• that converges uniformly to
a function f in a domain 0 (see section 16.2). We denote by 0,
the (largest) domain of uniform convergence of the sequence
/Pal. Let us show that 0, is a polynomially convex domain. Suppose
that this is not the case. According to the lemma of section 16.3.
there exists a set ACEO/. where 8of (A) = r > O. and a point zOE 0/.
where oo,(ZO) < r. such that the inequa ity
IP(zo)1 -;. supIP(z)1
zEA
for all p < r. Since Ap IS 0,. it follows from inequality (52) that
the sequenceIP.lconvergesuniformly in S(ZO, pI) and, consequently,
that S (ZO, p/)eO, for all p < r, which is impossible. Therefore,
0, is a polynomially convex domain.
Thus, we have shown that 0, is a domain of holomorphy (see
section 16.7). Since 0/:::::,0, it follows that H(O)eO,. Therefore,
the sequence [P.l converges uniformly in H(O), defining a function
that is holomorphic in H(O) (see section 4.4). On the basis of the
holomorphic continuation theorem (see section 6.1), this function
coincides with the original function j. This establishes the fact that
an arbitrary function j EHo can be represented as the limit of a
sequence of polynomials that converges uniformly in fiCO). This
means that H(O) is a Runge domain, which completes the proof.
Remark: The reasoning followed in the above proof can easily
be generalized to the case of functions belonging to any class
Ka (in the present case, Ko =11. In this way, we obtain a solution
of Julia's problem, namely, that every domain of uniform con-
vergence of a sequence of hoi omorphic functions is a domain of
holomorphy (see Cartan and Thullen [7]).
Let us give some examples of Runge domains.
(1) Multiple-circular domains that contain their centers (this
follows from section 14.1).
(2) Complete Hartogs domains [z: IZII < R (Z). EB] if the z
base B is a Runge domain in en-I (this follows from section 15.3).
(3) Semi tubular domains [z: v (i) < XI < V (z), EBI if B is az
Runge domain (see Shirinbekov [74]).
9. Weil's theorem
where the functions Q•. • (z) defined by formula (51) are polynomials
[since in (42) we may take polynomials for the functions p.,(z)]. It
follows from this that. for every E> O. there exists a polynomial
p(z) such that
I/(z)-P(z)I<E, zED.
1. Cones
Fig. 54
- -
LEMMA 1. POT C to be equal to Ct. it is necessary and sufficient that
/Lc <e) '" /Lc I <e).
The necessity of the condition is obvio~ s.!nce POe (~) PO, (E). Let =
us prove its sufficiency. Suppose that C~CI' Then. there exists
a point eo E pr C such that eo E pr 1 (see Fig. 56). Therefore. c
l'e(-eO)= IEol = I and
C· = IE: POc (E) <: 0); C. = Rft \ C· = I;: POe (e) > 0).
(53)
(since o (C) '\ U (0. l)c:O IC '\ U (0. 1D. which. together with inequality
(53),proves Eq. (51).
'.k----.z:,
1
Fig. 55 Fig. 56
Since II-c m> 0 for ~ EC•• it follows from inequality (53) that Pc>- 1.
The number Pc characterizes the nonconvexity of the cone C.
Specifically. we have
LE~fMA 2. Por a cone C to be convex, it is necessary and sufficient that
Pc = 1.
The necessity is obvious. To prove the suffiCiency. suppose
that Pc = ). Then. on the basis of (53) and (54), II-c (E) = 11-0 (C) mfor all
E. From Lemma 1. C= 0 (C). which completes the proof.
LEMMA 3. If a cone C is open and consists of a finite number of components,
Pc < +00.
Proof: Let us first show that
1'0 (C) (E) = 1 and I'c m>- a > 0 for all E E pr O( - C). (55)
and the inequality p-c<e) > 0 for all eE pr 0 (- e). Thus, the con-
tinuous function I-'-c m is positive on the compact set pr 0 (- e) and
therefore.
Inf I-'-c (e) = a > O.
eEprO(-C)
(58)
which contains the point yO. Since the cone 0 (el lies in the semi-
space YI ~ 0 , it follows that
inf
E.<O. IEI=!
POc m= a > O.
222 INTEGRAL REPRESENTATIONS
From this and from Eq. (56), we conclude that Pc =..!. < + 00.
which completes the proof. a
EXAMPLES
(1) C=R". ThenR"'=[O), fIoRn(E) = lEI. and PRn=I._
(2) C = r+ is a future light cone. Then. r H = r. Pr += 1. and
LEMMA 2. Let C be an open cone and C' a cone that is compact in 0 (C).
Then, there exist a number a = a(C') > 0 and an open cone e" = en (C') (see
Fig. 59> containing the cone e· such that
yEC', (60)
Proof; Since the cone C' consists of interior points of the cone
C.. = 0 (C), we have y~ > 0 for all ~ E pr C- and all y E pr C' (see
section 25.1). Inequality (60) for some a> 0 and C" follows from
this and from the homogeneity and continuity of the form y~. In this
case, the cone C· is compact in C", which completes the proof.
For tubular radial domain TC, we introduce the kernel
(62)
D'K(z)= f e-y<+IX«iE)"de
e·
converge uniformly with respect to z EU (ZO, 8) since
c· °
-e
c·
Fi~. 58 Fij!;.59
224 INTEGRAL REPRESENTATIONS
Inequality (62) follows from this equality and from inequality (60)
for all y E C':
00
EXAMPLES
(1) Suppose that C = 1'1 = (y: YI> O. J = 1, 2..... nJ. Then. ~ = ~
and
co IE 'Iel
J... Je J
00
~
K(z)= del'" den = .
o 0 Z,Z. '" ZII
(2) Suppose that c=r'. then r+" =r+ and (see section 30)
(64)
gy(~)=(2tt)-nety f !(x+ly)e-I(xdx=
= (2tt)-n f / (z) e-1tzdz
(65)
l ,', dZ n
z:x+ly
From this and from the Cauchy-Poincare theorem (see section 22.6).
we conclude that the integral (65) is independent of the plane of
integration z = x + ly. Ix I < + 00 no matter how fast y varies in
the domain B. This means that the function gym is independent of
y E B. Since B is an arbitrary compact subdomain of the cone C •
.g y (~) is independent of y for all y in C.
We now denote the function g y (E) by g (E). This function is
measurable and. on the basis of (65). it possesses the properties
yEC. (68)
yEC', (69)
From this and from Fatou's lemma (see section 2.8). we conclude
that
Let us shou' that g (f) ~ 0 almost everywhere in the cone C*. In particular, if
the cone 0 «:) contains an entire straight line. then g(~) ~ 0 almost everywhere
in Rn. (In this case. mes C* ~ 0 [see section 25.21.)
'*
Suppose on the contrary that g (~) 0 on a set of positive measure
in the cone C. = RR \ C'. Then, there exists a point EO EC. such that
g (E) *- 0 on a set of positive measure in the sphere I ~ - EO I < 0
for arbitrary 0 > O. Since eo EC., there exists a point yO E pr C such
that eOyo < - a < O(see Fig. 60). From continuity considerations, this
inequality must hold in a sufficiently small sphere I~ - eo I < a' <: 0 ;
that is, eyO < -a for all I e - EO I < &' • Therefore,if we set
C' = [y: y = tyO, t > 0] in inequality (69), we obtain
f If(x+ly)-f(x+tO)1 dx-+O 2
4. Bochner's formula
Every function f(z) that is holomorphic in a tubular radial domain T C and that
satisfies inequality (64) can be represented in the form of an integral
where K (z) is the kernel of T C and f(x + iOl is the boundary value of the function
fez) as y ... 0 for y E C.
Proof: Since g m = 0 almost everywhere in R n '\ C', formula (67)
can be represented in the form
(73)
If we apply the convolution theorem to the integral (73) and make use
of formulas (61) and (70), we obtain formula (72).
Corollary. Every function f(z) that is holomorphic in a tubular radial domain
T C and that satisfies equality (63) is holormophic in the convex envelope 0 (T c ) =
TO (e). For all y in a cone C' that is compact in O(C), it satisfies an inequality
of the form
n
II/(x +ly)11 <: N(C') lyl-YII/(x+tO)ll. (74)
where the number N (C') is independent of f(z). Here, if the cone 0 (C) contains an
entire straight line, then f (z),= O.
Remark: That / (z) is holomorphic follows from the representation
(73) and from the properties of the kernel K (z) and also from
Bochner'S theorem [see section 17.5]). Inequality (74) follows from
the representation (72). from inequality (62), and from the
Bunyakovskiy-Schwarz inequality:
·We also mention a new approach to the proof of the dispersion relations that has
been developed in recent works by Bros, Epstein, and Glaser [124J. and Bros, Messiah,
and Stora [26] and that does not use the Jost-Lehmann-Dyson representation.
229
230 SOME APPLICATIONS OF THE THEORY
1. SPectral junctions
Suppose that a function f (z) is holomorphic in a tubular domain
TB = R n + lB.. We shall use the term spectral function of the function
f (z) to denote the generalized function g ED' possessing the fol-
lowing properties:
(a) gme-EyEs· for all yEB;
I
(b) f (z) = F Ig (e) rYE) (x) = g (e) e1z<de for all z ETB.
Here, we shall call the function fez) the Fourier-Laplace transform
of the spectral function gm.
FUNCTIONS THAT ARE HOLOMORPHIC 231
zER"+IK: (1)
and (b) necessary that fez) be holomorphic in the convex envelope O(T B ) = TO (B)
and that il and all its derivatives satisfy an inequality of the type (1).
COROLLARY. If fez) is holomorphic in TB and satisfies inequality (1), then
fC.z) is holomorphic**in TO(B) and it and its derivatives satisfy an inequality of
the type (1) in TO(B).
Let us prove the sufficiency. Suppose that f (z) is holomorphic
+
in a tubular domain R" IB = r B and satisfies inequality (1) in it.
+
Then. for every y EB. the function f (x ly) defines a functional on
S. Consequently.
(2)
and. therefore,
(3)
(4)
gym =
(A - t1)N
(2..)4
J I(x
[A + (x
+ Iy) ,-1£ (..-+Iy)
+ iy)(x + iy)]N dx.
It follows from inequalities (1) and (4) that the function
I (z)(A + ZZ)-Ne-lta
Is holomorphic in "fO and that its modulus does not exceed C(O),ty
(1 +
Ix!>-II-I. Therefore, the integral
f I(x+iy).-l£(.r+ly)
[A+(x+iy)(x+ly)]N
dx =
= JI
z-s+ly
(z)(A + ZZ)-N e- I £% dZ I ••• dZ 4
where
(7)
(8)
from which it follows that a <: 1. By using inequality (7) and the flWt
thatK'c1t. we obtain inequality (8):
yEO(B), (12)
where the nonnegative numbers a and (:3 are independent of R' and C'. Then, there
exists in S* a unique boundary value
that is independent of the sequence y ... 0 for y E C. (Here, we assume that the
sequence y ... 0 is contained in some cone c' that is compact in C.) (See Vladimirov
[42, 30); for the octant TO ; C, see Tillman (133).)
Proof: We may assume that the nonnegative numbers ex and ~
are integers. Let us choose a compact subcone C' e.C and a positive
+
number'"lj such that (a. 2) '"Ij < R. Let us show that the set
/0 (A; x, Y)=/(X+Ay).
is holomorphic in the strip 0 < "t < R and, on the basis of (13), sat-
isfies the inequality
236 SOME APPLICATIONS OF THE THEORY
is holomorphic in the strip 0 < 'I < R and satisfies the inequality
1/.+1 ()..; x. y)1 <C(HI)(1 + + laD~(l + lalrl.
Ixl
<
y Epr C'. 0 < 't '/j,
From this and the boundedness of the set (16), we obtain, for all
q>EM,
If I(X+1Y't)<P{X)dxl=
= If I{x - yo+ yo+ Iy't) <p(x)'x dx do I= (0)
lim
Y-+O.YEC'
(f (x + Iy). F [cp)) = (2'1t)n (g. If). <p ED (17)
lim
Y-+O, YEC'
(/ (x + Iy). ~ (x») = (j. ~).
On th~ basis o.r (1 !~'. the functional IE s<mJo constructed on the set
Q that IS dense m S(·· IS of the form
(f. 4)=(21t)"(g. p-I [41). ~EQ.
so. This is true because the boundary value of IE S' and. hence.
by virtue of (17), S can be extended to the entire space g according
to the formula
(19)
which, for all ~ € C~, where C~ is an arbitrary cone that is compact in C., and,
fOT all f > 0, satisfy the inequality
(20)
where the numbers p and a are connected with p' and a' by the
relations
1 1
p+y=l. (p' a't (pa)" = 1. (21)
it is necessary and sufficient that, for some nonnegative 13, the function f(z)
sat isfy the inequality
(22)
5. Proof of Theorem 1
Suppose that fez) EHp(a+£. C). where p> I and a> 0, that is,
suppose that fez) satisfies inequality (18) for some nonnegative
values of a. and ~. Then, on the basis of section 26.3, there exists
a boundary value
O,(a)=p,m
J !(x+iy)e-Ie(X+/Yldx
(2+c l ,e,2'+(X+ly)(X+ly)Jn , '
(25)
But the norm of the functioncp, (e; x) in the space Sml does not increase
faster than a polynomial in ~:
FiS·62
(33)
- Ey -< 11-0 (e) (e) I y I. 11-0 (e) (e) -< pcp.e (e). eEc•. (35)
f(z)= ~(-IZ>'
, JO,(e)e'~de. zETO(C). (37)
Let us find a bound for each individual integral in the sum (37).
By using inequalities (33). (36}. and (28) and Eqs. (21). we ob-
tain the following chain of inequalities for z ETc':
1/ O,(e)elF.zde/< /lo,ml,-EYde+ /
c· c'
la, (e)1 e- EY de<
•
<d /(1 +lel)',-61~IIYlde+
c·
+ M: (c;) .r exp {- (a' -II) [p.c mt' + PcP.e (E) I y I) de <
c'
•
<d .r(1+IEI>'e-aIEIIYldE+
+ M: (c:)
c'
Jexp {- (a' - 2e) [Ilc (e)J P + Pcllc mIy I} x
*
x de
(1+leJ)n+l"'"
~ [.r""(l + p')pn-I,-It> 1Y1dp+
M(l)
•
(c')
o
+sup exp (-(a ' -2e)[llc mJP' +
EEc'
D'!(z) = ~(-IZ)'
I
f (te)" °1(E)e'z: da
also belong to the class H p (ap~ + e; 0 (C»)- This proves Theorem 1.
6. Proof of Theorem 2
+
If ! (z) E HI (a E; C) its spectral function g (t) exists (see sec-
tion 26.1) and belongs to S" (see section 26.3). It remains to show
that g (e) = 0 for Jlc m> Q. It will be sufficient to prove this equation
for a small neighborhood I a- to I < 'Ij of an arbitrary point to in the
m
domain Jlc (a) > a (see section 3.2). Let!p be an arbitrary function
in D such that Sic U (to. "l). Since g m is the spectral function of
! (z). we have for a lyE C • (see section 26.1)
(g. tp)=(etYrll!(X+ly»). tp)=
> + +
where N is an integer such that 2N ~ n 1. and a is the La-
placian operator.
Since eo Ec., it follows from the lemma in section 26.5 that,
for an arbitrary sufficiently small number 'Ij', there exists a vec-
tor yO Epr C (see Fig. 62) such that
(39)
When we substitute this inequality into Eqs. (38) and use in-
equality (18) for e' = (y: y = )."oJ and p = I (with a replaced with
a+ e) we obtain, for arbitrary ~ > 0 and). > 0,
We note that (since POe (E) is a convex function (see section 25.1»
the set F is convex(see section 13.4). Furthermore, on the basis of
(35), the chain of inequalities
(41)
is valid for all (y. e) E0 (e) x F. Therefore,e-'Y g (~) ES· for all yEO (e).
From this it follows that the function f (z) is holomorphic in TO (c)
(see section 26.2).
Since the carrier g is contained in the regular set P, it follows
from the theorem in section 3,8 that
g m= ~ n a Po a(~) (42)
,",;;Om
where the measures I&: possess the properties
(43)
SfLac F. (44)
fez) = (45)
(47)
that exist in the space S* coincide. Then, f(z) is an entire function and satisfies
the inequality
(48)
Here. since there are only finitely many components C\' C2• •••• C,. the
polynomials P, and the functions Cf, can be chosen so as to be inde-
pendent of k. But then, it follows from Eqs. (47) that 01.1 = O2.1
= ... = 0,.1 = 0 Consequently, the spectral function g(E) can be
"
represented as a sum of the form (19). where the functions aim
satisfy inequality (20) in each COne Ch •
10Iml<M~ .• (prE)e-(a'-·)[~e(£»)P'. k=1. 2. .... t. (50)
Here, the numbers a' and p' are connected with a and p by relations
(21) and the functions M~,. (pr ~)are bounded in each cone C~. which
is compact in Ch.
Now, let us note that (see Fig. 63)
(51)
(52)
~ M.
. {
(pr ~) exp - (a' - E)
[ 1'0 Ie)
Pc
(~) ] p' }
•
(53)
where
(54)
250 SOME APPLICATIONS OF THE THEORY
, U C••.'
C.e: (55)
l<k,,'
(See Fig. 64, for the case of t = 2.) Therefore, there exists a cone
C;. that is compact in C/ •. and whose complement C;. is also C: \.
compact in Co. Now we have assumed that there exist cones C~.
for k = 1. 2.... t - 1. that are compact in the corresponding Ch
such that
, ,
C. \. Ct.e: U '
CA •.
I<k<t-I
(57)
It follows from this lemma that the function M; (pr ;)is bounded
on each cone C~ that is compact in C~ SpeCifically, from (54) and
(55), we have
BOGOLYUBOV'S "EDGE OF THE WEDGE" THEOREM 251
sup
EEC~
M: Epr e) = tEC:
sup min IM~ .• (pr e)] ~
iEII(E)
(58)
-<: max , (pr e)
sup M ..... = , (')
OIax M ..... C.... = M.'(C•.
')
1<:11<:1 EEC~. 1<:11<:1
lim
y-+o.YEe
J/(x + Iy) 'f (x) dx = (/. 'f).
(59)
exists for arbitrary rP E D (0) and is independent of the sequence y -> O. where
y E C. Then. the function f(z) is holomorphic (and single-valued) in the domain
T~ U where is a (complex) neighborhood of the set G of the form
G. G
lim
y-+O. yEC
J/(x+lY)'f(x)dx=(j. cp).
where the positive number (J < 1 is independent of xo. G, R, and f (see Figs. 65
and 66).
y z
o or
Fig. 66
IT C n(- C) = 0 in the
Remark:
statement of the theorem, then
/ (z) is holomorphic only on the
portion of the neighborhood {j
lying in the tubular domain TO (e)
Fig. 65 that is, in the domain Tk U
(0 nTO (el) (see Epstein [36]).
The "edge of the wedge" theorem is a consequence of the fol-
lowing
LEMMA (special case of the "edge of the wedge" theorem). Suppose that
a function f(z) is holomorphic in an open set T r , = [z: 1 z 1 < 1/. y E rsl. where
rs is a circular cone 02y~ > 1Y 12 for 0 > 1. Suppose also that, for an arbitrary
function rP E D [U <0,1/»)' the limit (59) exists and is independent of the sequence
y -> 0 for y E rs. Then, f(z) is holomorphic in the hypersphere 1 z 1 < (Jl1/. where
(Jl = (Jl (0).
Proof: Since C n (-C) oF 0. there exists a circular cone (see
F~. 65)
r o, , = [
y: 821 (ey) 2 > y 12 -
1 (ey)2J •
contained in the cone C n(- C). Let us rotate the coordinate axes in
R n in such a way that the vector e will coincide with the vector
(\, 0). y" = By. and B* = B- 1• Let us contract the axis by taking y;
a= 1 + I / &" y; = 1 / & y;. ;, = y". We denote this transformation by
C,: y' =c,y". Cal =C 1ja. The product of the last two transformations
)" = CaBy maps the cone r~, onto the cone r a" where 8' = I + 31,
BOGOLYUBOV'S "EDGE OF THE WEDGE" THEOREM 253
Suppose now that xOE Q. Let us set 4 o (xO);=",/. Then, U(xo, ",/)c:
Qc:U(O, R),and, consequently,
(60)
which. since II > I. contains the set Tr". The transformation (60)
maps the functionl (z) into the function t
11(z')=1 (BoC{Z'+xO).
which contains the hypersphere U (xO, &",/) since (by virtue of the
inequality 1\ > I)
max If(z)1
~
-< max
-r
If(z)l· (61)
Izl<:"8 zET~
Im[bC+z(I-C2)1=
(62)
=(I-p2)y+psin6[b-2p(xcos6-ysin6)]
f(x)=',.,(x; 0)=
= _1_.
2r.1.
r
Ie 1=1
'f (x; C) de
C
=~
2" .
f r
()
2.
F (z) = ~
2Tt ,
r
2.
°
is holomorphic in the hyper sphere 1 z 1 <: ,~_.
2r 2
From (62), with p = I, we have
Furthermore,
[1)0 - 2 (XI cos 6 - YI sin 6)]2 - 41 cos 8 - Ysin 012::> x
::> [ljO-2ICos a1 (I xll+1 xl )-2Isln61(IYII+1 YI)]2:>
(69)
:> (.,p - 2 V21 cos 611 x 1- 2 Y21 sin 0 II Y 1)2::>
::>(ljO_ 2 V21 z I?::>(ljo-.,d > O.
From inequalities (65) and (69) and from Eq. (68), we have the
inclusions
D, = [w: w = bel~ + z (1 - e216 ). Iz I <: 2 ~2 ' e <: 6 <: It-e,
F, (z) = ~(l'+
•
,T') f
1t+.
[be;" + z (1 - e~i")l dO. 0 < _< i
is holomorphic in the hyper sphere Iz I < 2 ~2 (see section 4.6).
Since If(w)I<M for wEDucf;" it follows on the basis of (67) that
F, (z) - F (z) uniformly with respect to I z I<: 2 ~2 as £ - u. Conse-
quently. the function F (z) is holomorphic in the hyper sphere
I z I -< 1] /8 1]' /2 yf (see section 4.4).
For real values of z = x, where x belongs to the hyper sphere
Ix 1-< 1] /8 this function F (z) that we have constructed coincides
with the function f (x). which is the boundary value off (x + iy)
as Y Er _ O. Consequently, f (x) is holomorphic for I x I < 1] / 8. It
remains to show that F (z) coincides with/ (z) for z E T~, that is. that
'8
<l'(z)=F(z)-/(z)=o for zET~.
8'
256 SOME APPLICATIONS OF THE THEORY
[u(o. y1'1)]bY
(TY. 'f)=! f !(x'+ly)'j'(x')dx'• .vEri' Iyl < V11l;
(f. cp). y=O.
where
(I. <j»= lim
y -+0, yE r.
J!(x'+lY)<j>(i')dx'.
It follows from this definition that, for every cp ED [ U (0, Vi"lj) ],
the function (P. 7) is continuous with respect to y and hence bounded
Let us show that the function 0' (z) is holomorphic in the hyper-
spherelzl < 8ts
and satisfies the inequality
10'(z)l< max la~(z)l. Izl-< ,';.;.
z{fr~ 8, 8 (70)
VB
Since
O'(z)=(T)·(x'). f(X'-X»)_O
uniformly with respect to z Efr'l • Butthenitfollows from inequality
Vi
(70) that 0' (z) - 0 uniformly with respect to z for Iz I < ,';.;. This
8y 8
means that 0' (z) is, for all z such that Izi < ,~_ a generalized
8y 8
function in D' [u (0. Va)]'
258 SOME APPLICATIONS OF THE THEOREM
We define
(r.Y) .,
IP =0' (ly).
for all Ixl ~ 3~' Ixol ~3~' yEr.lyl ~ 3~. But then, on the basis of
the ho!omorphic continuation theorem (see section 6.1), Eq.
(73) is also va1idforal1lxl~3~' Ixol~3~ and IYI"·3~.Inpar
ticular. for x = - xO. we have from (73)
For every cpED[U(O. ~li)]' the function (rY• cp)=Ol' (ly) is con-
tinuous with respect to y for Iyl" 31.
Therefore, on the basis
of Schwartz' kernel theorem (see sechon 3.12), r Y defines a gen-
eralized function
in
BOGOLYUBOV'S "EDGE OF THE WEDGE" THEOREM 259
in
Since the functions d" (z) are holomorphic in the hyper sphere Iz I < ~
it follows on the basis of the theorem in section 4.4 that T (x. y)
is holomorphic in that hypersphere.
Furthermore, it follows from (71) that
is, for sufficiently small A such that 0 -<). -< a = a ("I). strictly con-
tained in the domain 7'1' U 0; that is.
(75)
FdC== ±1)cO.
From this it follows that the domain TI ' U6' can be represented in
the form TrUG=
=[z: ZI E B. 1:V1 < V (ZI)'
Ixl < +(0).
where B is the complex z,-plane deleted by the cuts - 00< XI <: - m
and m -< x I < 00, YI = 0 (see Fig. 67) and
in C2. To obtain the desired domain H (Tf U0), we now need only
construct in H (S) a domain on the base C" that is invariant with
respect to the group of real rotations and translations of the
variables z.
According to the theorem in section 21.5 the envelope of holo-
morphy of the semi tubular domain S is single-sheeted and is of
the form
(78)
(79)
The inequality
IlmVz~-m212 =
={ V(x~+ y~-m2)2+4m2y~ -i(x~- y~-m2)~ y~.
To conclude the proof of inequality (79), we need only show that
(80)
11m V z~-m21> V32(m-lxm2-(XI-X~)2- Y~
in the circle
(81)
(84)
Izd>2m.
Fif!:.68
FiS·70
where the union is taken over those pairs of points x'. x" in B~ -1) (S).
~hich +can be connected by a C -similar curve that lies entirely in
C.t=C a :
If
we shall say that the set S is C-regular (see Fig. 71). For n = 2,
every connected set is C-regular. For n >- 3, this is not always the
case. For example, the spiral shown in Fig. 72 is not a C-regular
region.
A THEOREM ON C-CONVEX ENVEL.OPES 267
For n = I, there are two and only two open cones without com-
mon pOints, namely, C± = r'" = [± y > 0). These constitute the cone
r = [y ~ 0). Therefore Br(S) = S for n = 1.
_ If C= R". then, obviously.Be(S)=R". If
C = 0. then Be (S) = S • In all cases. either
Be (S) = S or Be (S) is n-dimensional;Be [Be
(0») = Be (0).
Fig. 73
Fig. 72
in particular,
Br(O_oo.oo)=R". BdQ-oo.o)=[x: xl+lil<E. x1<0).
Be (S) = U
.
Be (S.).
.
where S = US•.
3:,
z,
r'
a {;a.b
r
Fig. 74 Fig. 75
in B~-I' (S). Since l is compact. the assumption that the lemma holds
for I - 1 implies that leBg- 11 (SN) for some N. But then. on the basis
of (85). Bc{x', x")c:Bg'(SN) ana, consequently. XO EB~' (SN). This means
that
II"
assume that the domain r CR U {j is the I I
I II I
/ I
~
Let us show first that any two curves c' Z" ETC~ and lying
LI and L2 connecting two points z' ET R and
in T cR U a
- are homotopic.
As we move along the curve LI (from the point Z' to the point Zll)
a
we must leave the domain TC~ U and enter the convex domain TC~.
If we again enter the domain 6 as we move further along the curve
L I , then, from what we have proven for t = 1. that portion of the curve
LI lying in TC~, is homotopic to some curve lying in the domain 6.
270 SOME APPLICATIONS OF THE THEOREM
in the set BV!)(x ' • x") that depend continuously on the parameter ex
and having the property that at points of the curves L. for ex < 1 our
function f (z) is holomorphic whereas the curve L I • contains at
least one singular point of that function.
Let us extend the vector polynomial p. m
to complex values A= e+ 1"1/. For each eo E[0. 1J.
this polynomial can be represented in the form
p. (A) = do (ex; eO) + d 1(IX; + ...
eO) (A - eO)
. <0' om (89)
' " + dm(ex.~)(I\-O,
1. Entire junctions
For the definition of functions in the class H) (a; C). see section
26.4. Suppose that a cone 0 is connected. According to Theorem
2 (section 26.4). for a function /(z) to belong to H.(a; C). it is
necessary and sufficient that its spectral function g mvanish for
IlC<E) > Q. From Corollary 1 to this theorem. the class H) (a; C)
coincides with the class H.(apc; O(C».
From this and from Theorem 1 in section 29.1. we have the
following
THEOREM.* For a function f(z) to belong to 111 (a; C), where the cone C
consists of the components C1. C2 • ...• C t and C n
(-C) "I CJ. to be holomor-
phic in the domain rC U G, it is necessary and sufficient that its boundary
values fk (x). for k = 1. 2 •...• t. coincide in G and that its spectral functions
gk «() = ,..-1[fkl vanish when Jl.C k «() > a. Here. it is necessary that f(z) be
holomorphic in TCo U Bc (G) and hence that the f k (x) coincide in Bc (G).
In what follows. we shall asswne for simplicity that the cone
C consists of two convex components in C± such that C- = - C+.
We shall denote the corresponding boundary values and spectral
functions by
Consider the case of a = O. In this case. the class HI (0; C) =Ho (C)
constitutes a class in the sense of section 16.1 (see remark in
section 26.4). Therefore. the set of class Ho(C) functions that are
holomorphic in the domain rcUQalso constitutes aclass K=K cU-
(in the sense of section 16.1). T a
We shall refer to the largest domain in which every class K
function is holomorphic (and single-valued) as the envelope of
a
TC U and shall denote it by K (TC U0). The following questions
arise in connection with this definition:
(1) When do the envelopes H (rc u 0) and K (rc u 0) exist, that is,
when are they single-sheeted?
We note that these envelopes always exist in the class of
nonsingle-sheeted domains (see section 20.1) and that
H (TC U O)c.K (TC U 0). (92)
Below, we shall see that the envelope BC<O) does not always ex-
haust Re K (Tc U0).
(94)
The set F consists of convex closed sets F% (see section 26.6).
It is a regular set (see section 3.5). In addition
~c-m=~c+(-e). r=-F+. (95)
Remarkl: Suppose that the spectrum
I ESO is contained in the set (L + +e+) u
U(L- +e-), where L+ andL- are closed
convex cones not containing any entire
straight line such that L + = - L - and
where e+ and e- are fixed points (see
Fig. 81). Then, / E L,. (C), where C = c+
UC-, C±= int L:to, and a = max [0.
I-'c+ (e+). I'c- (e-)].
To see this, note that, from Lemma Fi~. 80
1 of section 25.2, int L:to =1= 0. Further-
more,
L± =L ± •• =C±o=C±' = [e: ~c± (~) <: 0]
(see section 25.1). Since the functions I'c± mare convex and homo-
geneous of degree one, we have
I-'c±(e)~ sup I'c i (e)= SUPI-'ci(e+ei)-<:
EEL±+E± EE/.±
F+ nr = [~ : I-'c+ (E) < a and I1'c (E) <: aJ = IE: I-'c (E) <: aI,
But the closed set F' n F- is compact because it is contained in the
sphere 1~IO:;:pca since I-'c(E)>-J....I-'O(c)(e)=~IEI and, on the basis of
Pc Pc
Lemma 3 of section 25.1, 1 <. Pc < + 00. For a = 0, F~ nF- = [01
and, on the basis of section 3.5,
'1}= ~ c.D'3.
1-I .;; In
Therefore,
U
]'C a
and hence holomorphic in the corresponding K -convex
envelope. which cannot be arbitrary (it must in any case be pseudo-
convex [see section 17.1]. Therefore. at its real points (in which,
by virtue of (97). I(x) must vanish). it cannotbe arbitrary.
280 SOME APPLICATIONS OF THE THEOREM
(100)
difference equations
integral equations
. .
that is holomorphic in the domain T e U Be (G>. This solution therefore vanishes
in the larger domain constituting the envelope Be (G).
COROLLARY 1. I( two solutIOns of Eq. 000> that belong to S coincide in
the domain G, they also coincide in BeW>'
From Remark 1 in section 29.3. we obtain the
COROLLARY 2. Suppose that F [fo]- (~) = 0 outside two closed convex cones
L + and L - (where L - = -V) that do not contain any entire straight line. Then, in
the representation (97) of each solution u € S* of the equation fo • u = O. the
function fez) € HoW). where C = C+ U C- and C t = intU·
For example. every solution u ESO of the iterated wave equation
Omu = 0 (for In:> I that vanishes in an open set 0 also vanishes in
Br(O). that is. in the convex envelope of 0 with respect to timelike
curves.
Proof: In this case. fo = Omil (x).
and F± = r±. r
that is, u ELo(l'). Noting that int u = r± and I' = r± u r-
and using Corollary 2. we obtain the assertion made.
THEOREM 2. Suppose that the equation
(105)
can be solved for the highest derivative with respect to Xl and that this equation
satisfies condition (101):
(106)
Let u € S* denote a solution of Eq. (l05). Suppose that this solution satisfies
the conditions
satisfies this equation in the ordinary sense and satisfies the con-
ditions
where g (e) is the set of points in the domain g that lie at a distance
from oggreater than e (see Fig, 82). By using Holmgren's theorem
(see Petrovskiy [105J. p. 49). we conclude from (108) thatu~ (x)=O
in some n-dimensional neighborhood g' (e) of the (n - l)-dimen'sional
set g (e). From this. we conclude on the basis of Theorem 1 that
u" (x)=O in the envelope Be Ig' (e») and a fortiori in the envelope
Be Ig (e») c: Be Ig' (e»).
Now let e -. +
O. Then. in S-
u,,(x)_u(x),
a·"",• (0, x) _
axj
(109)
_
d·" (0, x) ,a=O, I,., ..
ax;
(Cl " Rl) X (Cl " Rl) X ,,' X (Cl " Rl)
and
(112)
(114)
Setting
1
that P[TEHo(C).
We ~till need to consider the case in which M -1= 0 and ~ > o.
Since the cone C is convex. for all z ETC we have (see section 25.1)
C"=C intC=C. and
that is, P ~Z) EHo (C). This completes the proof of the lemma.
*Here, we use the following notations, which are employed in quantum mechanics:
(337m) (see section 30).
SOME APPLICATIONS OF THE PRECEDING RESULTS 287
U(a)D c:: D
p'-p
I (x - y) = (p'llA (x), B (y)lIp) e- 1 -2- IX+Y)
*"Ibis completeness will exist if ~ is a rigged Hilbert space. that is, if there exists
a COlDltahly Hilbert kernel space '1' with nOndegenerate scalar product such that.i) is the
completion of <l> with respect [0 this scalar product (see Gel'fand and VilenJdn [44],
OJ.aprer 1. section 4.
288 SOME APPLICATIONS OF THE THEORY
°
vanishes for (x - y)2 < for arbitrary eigenamplitudes of the state
and Ip). By using (b), we obtain the chain of equations
Ip')
f(x-y)=
-I p'-p (x+"i
=e 2 [(p'IA(x)B(y)Ip)-(p'IB(y)A(x)Ip)l=
p'-p
= e -/ - 2 - ,ny' le1p'X-lpY(p'IU (X) A(x) U(- X) U (x-ylX
X U (y) B (y) U (- y)I p) - e1p'y-ipx (p'I U (y) B(y) U ( - y) X
X U(- X + y) U (x)A (X)U(- x)Ip)J =
=e
I p'; P \x-YI
~ (p'IA(O)
f e-I(X-MdE(q)B(O)Ip)-
-l P'-+P !X-Y' ,.
-e 2 (p'IB(O)j el (X-MdE(q)A (O)Ip) =
(n== 1).
which is impossible.)
However, if we confine ourselves to particular classes of genera-
lized functions or if we relax some of the conditions enumerated,
such a multiplication operation can exist. Along these lines, see
Bogolyubov and Parasyuk [139] and Konig [157,158].
Here, we sha,ll mention one of the possible ways of defining a
multiplication of certain generalized functions which are the differ-
ences between boundary.1alues otfunctions that are holomorphic in
the tubular domains TCR and TCR and that satisfy inequality (13).
Here, C: = C± n U (0. R). We note in passing that, by virtue of the
theorem in section 29.3. every class La(C) generalized function
satisfies the conditions listed. (For n = I, every generalized function
in S·belongs toLo(r)wherer= [y =1= O](see Remark 2 in section 29.3].)
Thus, suppose* that, in the sense of convergence in the space SO,
I" (x) = lim F~(x). k= I, 2..... m *)
" .... 0. "E c+
where
-ACCOrding to our agreement (see section 26.3) the notation y -> O. Y E C+ means that
the sequence y -> 0 is contained in some cone that is compact in C~.
290 SOME APPL.ICATIONS OF THE THEORY
(120)
_ (_l)lal a
c . - -a-1 -Cfd2···lm' 'f'o(X) X ). (122)
lim
0-++0
J <P±(X~
00
-00
x n
dx= lim Vp
.-++0
f <p(x)-~(O) +'f'(0)
-~
00
X±u
lim Vp
.-++0'
r
-00
co
x
+dXj
E
=
N 00
-
-
1·
1m
N-++oo
j<P(X)-<P(O) d
X
x + 'f' (0) 1· 1m
&"",,+0
j -iEdx
--r--+
X •
'=
-N -00
00
where
1 (_I)k-l dk- 1 1
P-= --p-.
xk (k - 1)1 dx t - 1 x
(2) Find 32 (x) = 3(x) 0 (x) for n = 1. It follows from (123) that
3 x __
( ) - 2,,1
I (_1___
x-iO
1_).
x+/O
Therefore,
Suppose that 'f' E51 1l and that'f' (0) = O. Then, calculating the corre-
sponding limit (118), we obtain
lim
y-++o_~
f IPY (x)]2 'f' (x) dx =
~
= ~. Y~"!o f
-00
(x' r y2)' 'f' (x) dx = O.
294 SOME APPLICATIONS OF THE THEORY
a2 (x)=ca(x).
ez=~zo-ez.
so that
We recall that a light cone I' = Ix: x 2 > 01 consists of two convex
components, namely, a future light cone r" = Ix: x o > Ixll and a
past light coner-=[x: xl<-Ixll. WedenoteT±=Tr±=R+WI:; T
=T+ U T-.
We define the generalized functions B(± xo) a(t, (x 2), for 0 ""k < ,
« n-I )/2, (where n> 2), by the formula
J 0 (± x o) a(t, (x 2)'P (x) dx =
= J
x,>lzl
O,,'P(x)dxodx l .. , dXn=
= J (ox.
r+
d
0'1' 0'1'
dX I ... dx n +ox;dxodx 2 .. · dx,,- ...
We now use Stokes' formula (see section 22.4). Since the point 0,
the vertex of the cone r+, is singular, we need to draw a sphere
of radius E around it and integrate over the region r,+ = r+ \ U (0. E)
(see Fig. 84). We obtain
f 0" [6(xo)6(x2»)'P(x)dx= lim
.-++0
J ~.,
cJr+
uX.
dXI ... dx" +
0., II' 0.,
+-:r-dxOdx2 •.• dx,,- ••• +(-1 )--s-dxodxl ... dX,,_I'
~ u~
The boundary or: consists of two portions, namely, or+ \. U (0. E) and
r+ n oU (0. E). On the first of these, since x~ = x 2 , we have
(127)
= lim
.-++0
[-2("-1) J'PdXI'"
2x.
dx,,+
cJr:
+ J .:. «-1)"-1 XI dX 2 ••• dX II + ...
cJr+ ncJU (0, I)
... + x" dX I ... J
dx,._I) •
296 SOME APPLICATIONS OF THE THEORY
41'r(n+l)
2 -2-. "± .(1'-1)( 2)
D~[6(±xo)6(x)] = r(ntl-k) II( xo)u x. (128)
(130)
if zE T±
We now introduce the generalized functions
Finally. by using formulas (136) and (138). we obtain from the above
expression
~ 1':
4 -m-I[+ ( )S(m-I)(x 2)+
_1':6 Xo
(143)
~
2 1t
-m ( ),(m-I)( x .
E Xo 0
2) if n=2m+ I. m> I.
(144)
1
2(-1) -
m I
1:
-m-~2 r (m 1)
- 2 6(Xo)[e(x2)x2)
-m+.!.
2.
if n=2m.
GENERALIZED FUNCTIONS ASSOCIATED WITH LIGHT CONES 301
lim Dn (xo' x) = O.
A"o-+:tO
It follows from formula (143) that, for every xo. the generalized
functions
are meaningful (see also section 3.11). ConSider a nmction 'P (x) ES.
m
We define ~ = F -1 [<pl. By using the definition (141) of the function
D.(x), we obtain
for X o- ±o
(D" (XO. xl. <p (x» +f e(~) a(e~ -I; 12) ~ d~o d; =
elEoX. (;)
= 2 f 6(Eo)a(e~-m2)sin(Eoxo)~(;)d~od;=
o (Dn(x •
ox; x). <p(x))=
f Sin (Ileell ~ d; _ O.
= xo) (;)
o
= Icos(I;IXo)~(;)d;- f~(;)d;=".?(O).
f
iJ~12 (Dn(xo. x). cp(x»=- sin(I;lxo)I;I~(;)d;_O.
o
asx o - ±O. which proves relations (145).
Finally. let us show that the generalized nmctions
(146)
i (-1>"2 -\ r("; 1)
n n+l
1t --2-
n-l
6 (±xO)[6(x 2)x 2)--2-.
n even
302 SOME APPLICATIONS OF THE THEORY
= -;
En:t) (x) elzx dx =
2 n-I
1t--2- .
r 6(±xo)8 T
(n-3)
(x2)e lzx dx=
=- r(;P) 2-
n-I
n 1t- T
f O;;-r [8(±x~8(x2)]elzxdx=
n-I
n+1
=
-2-
~(~) 2- n 1t--2-
n-I
f 8(±xo)8(x2)e IZx dx= 1.
Suppose now that " is an even number ,,~ 2. By using formula (130).
we obtain
- z2E~:I:) (z) =
_z2(_I)
i-I
2
f 8 (±xo)[8(x2) x 2 I
)-2" e1zxdx =.2 n -
•
I 1t 2
. II
r(i)(- Z2)-"2.
This integral can be evaluated in a manner analogous to the inte-
gral (139) by using the same tables of integrals. It follows from
(146) that the generalized function
1
En(x)= 2IB.+)(x)+E~-'(x)J=
='1 (-I~
~-I
r( n; I)
n+1
1t - - 2 - [8 (X2) X2)--2-.
0-1
n even
(147)
REPRESENTATIONS OF THE SOUJTIONS OF THE WAVE EQUATION 303
are finite.
Let u ES' be an arbitrary solution of the wave equation. Then,
by virtue of the hypoellipticity of the wave operator with respect
to Xo (see section 3.11), we conclude that. for every a.
()
u % =D (
n %0 -
I AU (a. x')
a. % ) • -':'-ox-'--o---'-
+
(149)
+ oDn (x. - oXO
a. x') (
* u a.
X').
This formula expresses the solution u (x) in terms of its value and
the value of its conormal derivative on an arbitrary spacelike
hyperplanex~ = a.
304 SOME APPL.ICATIONS OF THE THEORY
By denoting
do. (x) = ,
0 (xo -
iJu(x)
a) - i J -
Xo
+ -:;-
()
(8 (xo -
uXo
a) u(x»,
(150)
2. SPacelike hypersurjaces
A closed class ell hypersurface l: (see section 1.4) is said to be
spacelike if, at an arbitrary point X O of this hypersurface, the
conormal I = I (XU) lies in the cone r+ + xu. that is. if.
for an arbitrary point XO EE. If the point X O does not lie on EI the
intersection of the cone r+x o with the hypersurface E is along a
bounded simply connected domain lying on E. The spacelike hyper-
surface E partitions the space RtHl into two domains x> E and
x < E lying on the sides Xo -+ + 00 and Xn -+ - 00 respectively (see
Fig. 85).
--"",;
- --:--- ~z,-.,.Z)
r
r----:. .,1"
. . . r _J._--....
I
I
I
I I
o I I z,
, I
zl:---;(t) :
z, ~.a'.
lying E = Ix: Xo = III (%») (see Fig. 86) I we see that the length of this
curve does not exceed Y21 x' - x" Isince
I
f
-< V(Igrad 1Il1 2+
o
1)1 %' - %"1 2 dt <
-< V21%' - %"1-< y'2 Ix' - x"l. q.e.d.
We shall say that a spacelike hyper surface I is strictly space-
like if, for all x EII the inequality Ixo - a 1-< p I% I holds for some
p < 1 and a (see Fig. 87).
Suppose that / is some (generalized) function. We denote by
~ (E) /.
of
0 (1:) OT
and
306 SOME APPLICATIONS OF THE THEORY
r'a
FilJ·87
3. Representation II
In this section, we shall show that the hyperplane Xo = a in
formula (150) can be replaced with an arbitrary strictly spacelike
hypersurface L
REPRESENTATIONS OF THE SOLUTIONS OF THE WAVE EQUATION 307
_ { u (x). x > E.
u(x)= O. x<~. u(x)=u(x)-u(x). (155)
Let us show that the functions ii(x) and ~ (x) satisfy the equations
Dnu (x) = ~t (a; x). Dn~ (x) = - 'I't (a; x). (156)
where the generalized function 'I't ED' is defined by the formula (cf.
section 31.1)
Remembering that
=
r>
fI
9Dn u dXodx t ••• dx n -
- . f( aO'f0'(- - 90'(
OU)
- dE.
I
is bounded (see Schwartz [11], Vol. II, p. 26). Therefore, the repre-
sentations
U=E<+I
n
...'rt'
I. u=-EI-I
_ n
...'1"1:
I. (159)
(160)
Then, the convolution f .. g exists in S" and is continuous with respect to g (in
in the sense that f .. g in s* as g -+ 0, where S C F),
Proof: Since F is a regular set. g cfn be extended in accordance
with the theorem in section 3.8 to be a continuous linear functional
on a Banach space with norm II II m. F for some m = m (g) >- o. There-
fore. to prove the asserted properties of the convolution
(162)
Let us now show that there exists a number a = a (p) < 1 such that
If such a a did not exist. there would be points x' and x" satisfying
the conditions
IIf*:pllm,'<
~K2i1~IIN sup
I x.1 <p I "I
Ix;I>I"'I>'
1+lxl )p+m
~K2I1cpIiN X)X~L, ( 1+Y2(1-a)lxllx'l <Kllcpl!N' q.e.d.
310 SOME APPLICATIONS OF THE THEORY
Let us suppose now that the solution U (x) of the wave equation
belongs to SO .• Then, its regularization
belongs to BM and also satisfies the wave equation. Here, the fol-
lowing limit relationships are valid in the sense of convergence in
SO as e_+O:
(165)
and use the lemma and the limit relations (164) and (165). we con-
clude that formula (160) remains valid for an arbitrary solution
u (x) in st. Thus. we have proven the
THEOREM. For any strictly spacelike hypersurface 1:. an arbitrary solution
u(x) in stof the wave equation can be represented in the form
(168)
where
(169)
REPRESENTATIONS OF THE SOLUTIONS OF THE WAVE EQUATION 311
4. Representation III
Every solution u (x) ES· of the wave equation belongs to the class
Lo(r).Therefore. from the theorem in section29.3,it can be repre-
sented in the form of the difference (96)
(172)
where
1 -!!.!..!. n+l
cn=2i(n_I)~ 2 r(-2-)'
In what fOllows, we shall need the following
LEMMA. 1. Suppose that a space like hypersurface 1:. is such that - 00 < a ~
xo ~ b < +00 for all x E 1:.. Then, for arbitrar:y m ~ 0, there exists a nonnegative
number s such that
312 SOME APPLICATIONS OF THE THEORY
(174)
as y -> 0, where y E ~.
According to the lemma in section 30. the function (Z-X')2
Proof;
400 for all z ET and x' ERn+l. Therefore, the function [_(z-x')2J- 1
is infinitely differentiable with respect to x'. Suppose that Yo > O.
To prove inequality (173). we use (141). Assuming s = s (m) suffi-
ciently large and remembering that
Therefore,
III D' [- (x + iy)2)- n;\ -D' IIxI2-(xo+ LO)2)- n~\ }. fPL, t-<
-<~ sup (1+lx'l)mlfl;I"+T'-1;I+Te-ix~I~I+lz'l X
2 ITI';m. x'Et
X (e-y,,.,+ya-l)F[fPl(l!;l. e)d;l-<
-< K5 sup If e1z'l(l- ~rr ]+\ X
ITI'; m. z'
a.;,..; ';b
X 1;I',+To-1;'+Te-iX:,ll(e-y,I£I+yt_l) X
' i)
\. - D
iJZj
I
[-(z-x )21
I. -~ l'
~ --·I D [-(Z+~Z.-X
I
J.Z j I
I
)2)
_n:-'2 _
(180)
But then, it follows from Stokes' formula (see section 22.4) that
the line integral in (179) is independent of the path of integration
for all homotopic paths in D that connect the points a and z. Since
oF/OZj =I}, it follows from the fundamental theorem of Hartogs
(see section 4.2) that the function F (z)is holomorphic in D. If the
domain D is simply connected, then, from the monodromy theorem
(see section 6.6), the function F(z) is single-valued in D. If D is a
Runge domain. then F (z) is also single-valued in D (see section
24.8). Since 1}=rJI/rJz} in the domain D I • it follows on the basis of
section 6.7 that the functions F (z) and f (z) coincide in the domain
D\. which completes the proof.
Let us apply Lemma 2 to the functioos (178) for Ill=s- 1 and
D = D\ = T±. We can. on the basis of formula (179) determine all
the derivatives D'f± (z) of order s - 1 =1/1 from the right members
of Eqs. (178) for 1/1=s. From these derivatives, we can deter-
mine all derivatives of order s - 2 = III. etc. Finally. after s steps.
we obtain the functions I± (z) themselves. Let us denote this opera-
tion by ifJ. Thus,
=[x: A-(x)<xo<A+(X»).
where (see Fig. 88)
inf [X~+lx-X'I]'1
A-(x)= x'EO
A+(x)= sup [x~-I x - x' 11- (183)
x'EO
THE JOST-LEHMANN-DYSON INTEGRAL REPRESENTATION 317
that
N(O)= n
xEO
[(x', A):(x-x')2<),2j=[(x', A): c;:(x') <),2j, (184)
where
0; =Br(O)n(lxol <11).
11= 1. 2. ,',. Br(O)=UO~
= n
... w !'
o
(x'. ).): (x - X')2 <: ).2) = N (BreO») = N (0) .
(189)
•
On the basis of (187), formula (188) may be rewritten in the form
Fi~. 90
N..r>(O) = n
xEIJ
[(X'. A): A(X-X') <0. AE!'j· (191)
Br(O)cB(O). (193)
FiS·91
Fig. 93
,
. "
"
O(C}
"zo'a-v'/.&I.'.tJ~
zo,n-(;.1;'::·(c-lo}?
k o
Fig. 94
---.1:,
(5) a= Ix: Ixol + Ixl < al: Br(O; = B(O) = 0; N(O)= [(x', A):
(a + IX~ 1)2 -< ).2+ Ix'1 2J.
(6) O=lx: a<xo-x J <bl; BrlO)=BlO)=O;N..,(O)4'0(see
Fig. 94).
where u(x, A) f S* satisfies the wave equation On+ lu = 0 and the condition
d
iiA (I (x, 0)=0. (195)
Dn+lu = - f (a + ::,)
z u J (;. A)e H.x d~ =
(200)
= «21~~~J A f r IfW)/
ZN J I- 6 (aZ)](azt+ J elf..< d~.
Since the carrier F-Jlfl is contained in the cone az :> 0, since its
order is N, and since the function
and all its first N derivatives vanish in the cone ~2:> 0, it follows
(see section 3.5) that
F- 1 [fl (~)[ 1 - 6 (E2)l (a 2 t· 1==0.
It follows from this and from (200) that U (x. A) satisfies the wave
equation Dn+1u = O.
Let us prove that this functionu (x. A) that we have constructed is
unique. Suppose that a second such function existed. Then, on the
basis of (194) and (195), their difference vex. A) would satisfy the
wave equation and the conditions
at! (x. 0)
v(x.O)= OA =0.
where r J Ifl mcos (). VE2) is understood to mean the functional de-
fined by the right member of Eq. (199).
Let us suppose now that a function f (x) of class Lo (I') vanishes
in a I' -regular open set O. According to Theorem l,f(x) can be
represented in the form (194), where the function U (x. A) satisfies
the wave equation On+Ju=O and condition (195). From this, we
conclude on the basis of Theorem 2 of section 29.4 that U (x. A)
vanishes in the I' -convex envelope Br(O) of the set 0, which lies
in the plane A = O. (The envelope BdO) is (n 2)-dimensional.) +
But the open set 0 is assumed to be I' -regular in Rtt+I. Then,
THE JOST-LEHMANN-DYSON INTEGRAL REPRESENTATION 323
FiS·9S
where the functions Bor. (x. A) are defined by formulas (186) and are
continuous.
We shall say that a r -regular open set 0 satisfies condition
(A) if there exists a strictly spacelike hyper surface E contained in
the set (see Fig. 95)
8r(0)UN(0)=[(X.A): 8-<xo <8'. or 8' <x,,<B-].
for some p < I and a. Then. we may take this hypersurface as the
t of the definition. For example. if a set 0 is symmetric with
respect to the hyperplane xo=O,then B+ = - B-,sothat E=(xo=O).
Condition (203) will be satisfied. for example. if 0 lies in the
strip Ixul < rL (see Fig. 95) because then. on the basis of (186).
we have
In this case. the set N (0) contains the set (11 + IXn j)2 -< ;.2 (see Fig. 95
and cf. Example 4 of section 32.1).
324 SOME APPUCATIONS OF THE THEORY
where Dn+l (x, ~.) is a fundamental solution of the Cauchy problem for
the wave equationD/I+1u=O (see section 30). On the basis of (202),
the function U (x.),,) vanishes in that part of the hyperplane IjI in
which B- < B+ (see Fig. 95). Therefore, on the basis of (169), the
weight function E also vansihes at these points. The remaining
points of E satisfy the inequality 8+ < B- and, hence , on the basis of
(185), belong to N (a) (see Fig. 95). Therefore, S.c En N (a) and
the preceding representation may be rewritten in the form
S",cInN(O). (205)
(206)
3. Remarks
co
= - 4~a E (xo) f
A'
a
(k 2 _).2)-'/' (x2 - k2) dk 2,
""
f (x) = f e(xO- x~)dx' mlK
.f
[0, 'P (x' II
a[(X - X')2_ k2J dk 2 X
Yii
( k2 >"'2)-'/'
X .f -=-421: 2 [<\I (X', k')+",(x', -A')Jdk',
Ymll [0, 'P(X'»)
that is.
f (X)= f e (XO-X~)a [(X-x')2-k
N(O)
2J X(X', k 2) dx' dk 2• (208)
,
u (x.I\)= O (x.),)-E
orf U [1'+ (x'. A'»).
(x'. "IEI:
B+<;x;<;;B-
Therefore, a fortiori
for xERn+l\..
(x'.
U
"IEN (a)
[(X-X')2-A,2>-0]= B (0).
we see that
The assertion of the theorem follows from this on the basis of (188).
COROLLARY. If G is a r -regular open set. then the carrier of an arbitrary
function f(x) of class La (r) that vanishes in G is connected in the union of the
(admissible) hypeTboloids for G including the infinitely distant hyperboloids. that
is. the hyperplanes. ,\(X - x') = 0 (see Dyson [41]).
This follows from the preceding theorem and formulas (187)
and (192).
CONSTRUCTION OF AN ENVEL.OPE OF HOL.OMORPHY 327
satisfy the conditions of the theorem but they are not polynomials,
which is impossible. (The holomorphy of the function 11 in T fol-
lows from the lemma in section 30; the holomorphy off2 in T
is obvious since 1m p. (z - x'») =),,)/ =1= 0 for}l E rand )" E where r.
), =1= 0; that these are functions of class Ho (r) follows from the lemma
of section 29.5.)
K' (T U 0) = cn+ I \. U
(x'. AlE N (0)
(z: (z - X')2 = 1. 2 /.
(210)
N (0) i= 0;
or
K'(Tu6)=c,,+l \ U
(.r'. ~)E Nco (0)
[z: A(Z-X')=o/.
(211)
N(O)=0,
respectively.
Reasoning as in section 32.1. we represent formula (211) in
the form of the union of the increasing sequence of envelopes
K , (T U 0..
-r) for Gt = 1. 2. ...• of the form (210). where 0,l' = Br(O)
n(i xoi < IX):
K' (TU o)=U. K' (T U a!'). N(O)= 0. (212)
(214)
=int n(C
x'
n + 1 '\ [z: (z - X')2 = p. p>- max [0. cp(x') 1J!.
'!'p.(Z2)=(Z2_p.)-I. p.o<p..
where rb E S* with carrier in N (m n ~, where Po and the PI, for III = s, are
polynomials, where s is an integer (here (t/J, Po, PI) and s depend on 0, where ~
is a space like hy~ersurfaq~ defined by condition (A'>, and where L~ is an integra-
tion operator in J\. (T U G) (see section 31.4).
Proof: Suppose that I (z) belongs to lIu (r) and is holomorphic in
the domain TU O. According to the theorem of section 29.3, the
generalized function
10 (x) = I + iO. x) -
(x o I (xo - 10. x) (216)
belongs to the class Lo (r) and vanishes in the r -regular open set O.
According to Theorem 1 of section 32.2.10 can be represented in
the form (194): 10 (x) = II (x. 0), where u(x. A) belongs toS*, satisfies
the wave equationO n +1 u=o and, by virtue of (202),vanishesin
+
the envelope BreO), where r is an (n 2)-dimensional light cone.
According to the theorem of section 29.3, U (x. A) can be represented
in the form of the difference
-See Jost and Lehmann [33], Vladimirov and Logunov [29], Omnes [31] and Vladimirov
(30).
CONSTRUCTION OF AN ENVELOPE OF I;I0LOMORPHY 331
D~F(z, C)=
(218)
= en tl J '" (x', A) D! [-(z-x'Y+(C->-)2r~ dx' d)+P/ (z, C)
where the PI are polynomials, '" ES·, S.jJc En N (a), and E is a space-
like hyper surface lying in the strip a <: Xo -< b and in the set BdO)
UN (a). (Since a possesses the property (A'), such a hypersurface
exists; here, Syc F, where
(219)
is a regular set.)
Let us show now that the functions
n
Fl(z)=cn+l J",(x', >-)Da-(z-x'Y+>-2r2 dx'dA+
(220)
+Pl(z, 0), III >s
are holomorphic in K' (T U 0) if s is sufficiently great.
It follows from the definition of the envelope K' (T U0) (see
section 33.1) that
for all 1 such that III ~ s, where s = max [0, m - nl and the set F' is defined in
(219).
Proof: Let z range over A' <sK' (T U 0). Then, for (x', A) in the strip
a-< x~ <: b (where (a > - = and K' (T U 0), we have the inequality
= SUp
10 1<:'"
(1 + Ylx'1 2+)..2t Dix· ••I )D~[-(Z_X')2+)..2)-TI-<:
IX'. ')EF
-< C1
,.,<m . . ·.• (1 +
sup Ylx'I 2 +)..2)"'+1 01+'" X
.
,,<,x' <,b
-<C 2 +C 3 SUp
(1 +Ylx' II +).2)"'+1
n
01+ 1/ 1
=
101<,,,,. -+1.1+1/1
1... ·1'+.' .. 2< (lx'I'+J.I-C)2
= C2 +C3 SUp
(1 +
r)'1I+1/1
n C",., (0'). q.e.d.
r .. ViC "2+1/1
(r'-C)
The carrier of the generalized function 4(x'. )")in (220) is con-
tained in the regular set F. According to the theorem of section
3.8. I!' can be continued so as to be a continuous linear functional
on a Banach space with norm II II "'. F for some nonnegative m. Let
us set s=max[O. m-n). It follows from inequality (221) and the
structure of the functions Cf,(Z; x'. )..) that, for all I andj (where
(111)sand ° <,.j-<:n),
Ii orrl (z; x'. A) 'l'dz +.i1 Zj; x'. A) - '1'1 (z; x', A) II
d _0.
~ oZJ Zj ",.F
I~zjl-O
uniformly asz EO'eK' (T U0). Therefore, the right members in (220)
have all first derivatives in K' (T Ua), and these derivatives can be
obtained by differentiating under the "integral" sign. On the basis
of Hartogs' fundamental theorem (see section 4.2), the functions
F,(z). for 111>$, are holomorphic in K'(TUO).
We note now that, on the basis of (218) and (220),
By comparing this result with Eq. (216) and using the theorem
in section 29.3. we conclude that the functions f Cz) and F (z, 0) can
differ only by a polynomial. which we denote by Po(z). From this
and from (222). we obtain the representation (215). This completes
the proof of the theorem.
·According to the theorem on a r -convex envelope (see section 28.3), this condition
can be weakened by asswninglhat lheenvelope Br<G) is bounded by two spacelike hyper-
surfaces.
334 SOME APPLICATIONS OF THE THEORY
and
F = [( x I ....
,). a+b
x O• =-2-'
or
This result is due to Bogolyubov (see section 27.5; see also Sora-
kina [96]).
(6) Let us suppose that an open set 0 is such that N (0) = 0 and
that a sequence a;.
for a = 1. 2. ...• possesses property (A')
beginning with sufficiently large a. Then. by using the theorem
proven in the preceding section. we conclude that function I (z) of
CONSTRUCTION OF AN ENVELOPE OF HOLOMORPHY 335
function f(z) of every class HoW) that is holomorphic in TUG, where NW) ;
0, is holomorphic in the union of the increasing sequence of envelopes K'(T U ('J ),
as a -> "", that is (on the basis of (212), in the envelope K'(T U G')
defined by
formula (211). Consequently, Eq. (223) also holds in this case.
where
+
are the squares of the masses, where s = (p k)2 is the square of
the total energy. and where -t = _(p_p')2 is the square of the
transfer of momentum, is of the form
According to the theorem in section 33.2, the function fp, p' (C) is
holomorphic in the envelope
*Equation (227) is simply Cauchy's fonnula for the s-plane with the cuts
Here, in the "slits"lm s = oand I, < Re s < 12 the function T is real, so that, by virtue
of Schwartz' symmetry principle the following equation is valid on the cuts:
The integral in (227) should be understood in the sense of generalized functions. For more
infonnation. see Taylor [34).
CONSTRUCTION OF AN ENVELOPE OF HOLOMORPHY 337
T(
s,
,
't, 't.
t)_(s+SO)n(
- "
jil+jOO')lmT(S','t,'t,.t)d'+
(s'-s)(s'+so)n S
-co I, I (227)
this interval is
(cf. section 27.5; see Lehmann [28) and Vladimirov and Logunov
[29».
In conclusion. we make two remarks:
(1) Suppose that a = 0 in the spectral conditions. In this case.
Let us suppose also that the function !p, p' (C) decreases suffiCiently
fast at infinity that we may sets = oand Po = 0 in the representation
(215). This representation then takes the form
f p, p ,,~)
\
-
-
j 0/ ().) dA
(~2 _1,2)nrl • (228)
m .. (b', ...,
where the p. are polynomials and the flUlctions Il> (w) are holo-
morphic and polynomially bounded in the w-plane withcut along the
line 1m w = 0, max (/)2, c2) -<: Re w. By virtue of the theorem in sec-
tion 32.4, the case in which 0 = [q: q2 < - /)2) reduces to the case
that we have considered (where /)=c=O). SinceB{O)=Br(O)=[q2
< 0). These results were established by a different method by
Bogolyubov and Vladimirov [97].
The three conditions
(~) g p, p' (x) = 0 for x? < 0 (local commutativity),
(~) .g p, p' (q) = 0 for q2 < m~ (spectralness),
(1) Sufficiently rapid decrease of the flUlction / p, p' (~) at infinity
imply Lorentz invariance and the Kall~n-Lehmann representation
(228). This result shows obviously that the axioms of quantum field
theory are not independent (see also Streater [114]).
(2) The spectral conditions cannot be given arbitrarily: the
domain 0 in which gp, p' (q) vanishes must be such thatB(O) =1= R4.
To see this, note that in the opposite case, we would, by virtue
of the quasi-analytic nature of class LJ{r) functions (see section
=
32.4), have i p, p' (q) 0, so that / p, p' (C) would be a polynomial and
the theory would become trivial.
References
1. B. A. Fuks, Introduction to the Theory of Analytic Functions
of Several Complex Variables, Providence, American Mathe-
matical SOCiety, 1963.
2. B. A. Fuks, Spetsial 'nyye glavy teorii analiticheskikh funktsiy
mnogikh kompleksnykh peremennykh. (Special chapters in the
theory of analytic functions of several complex variables),
Fizmatgiz. 1963.
3. S. Bochner and W. T. Martin. Several Complex Variables,
Princeton University Press. 1948.
4. H. Behnke and P. Thullen, Theorie der Funktionen mehrerer
komplexer Veriinderlichen. Ergebnisse der Mathern •• Berlin.
1934.
5. G. M. Goluzin. Geometricheskaya teoriya funktsiykompleksnogo
peremennogo (Geometric theory of functions of a complex
variable). Gostekhizdat. 1952.
6. F. Hartogs. "Zur Theorie der analytischen Funktionen meh-
rerer unabhangiger Vedinderlichen, insbesondere uoer die
Darstellung derselben durch Reihen, welche nach Potenzen
einer Veriinderlichen fortschreiten." Math. Ann., 62 (1906),
1-88.
7. H. Car tan and P. Thullen. "Zur Theorie der Singularitaten
der Funktionen mehrerer komplexen Vedinderlichen." Math.
Ann•• 106 (1932).617-647.
8. I. P. Natanson. Teoriya funktsiy veshchestvennoy peremennoy
(Theory of functions of a real variable). Gostekhizdat. 1950.
9. I. I. Privalov. Subgarmonicheskiye funktsii (Subharmonic func-
tions). ONTI-NKTP. 1937.
10. G. H. Hardy, J. E. Littlewood. and G. P6lya, Inequalities.
Cambridge University Press. 1934.
11. L. Schwartz. Theorie des distributions. t. 1-11. Paris. 1950-
1951.
12. P. Lelong. Fonctions plurisousharmonlques; mesures de Radon
assoclEies. Applications aux fonctions analytiques, Colloque
sur les fonctions de plusieurs variables, Brussels,
1953, 21.40.
13. H. J. Bremermann, "Complex convexity," Trans. Amer. Math.
Soc. 82 (1956).17-51.
14. P. S. Alexsandrov. Kombinatornaya topologiya (Combinatorial
topology). Gostekhizdat. 1947.
339
340 REFERENCES
349
350 INDEX
Vector-valued function 44, 151 Weil domain 108, 141, 191, 204
Vllenldn, N. Ya. 287 hull of 205
Vladimirov, V. S. 183,229,235,279,327, polynomial 148
337 Weil expansion 215
Weil's theorem 276,329
Whitney, H. 23
Weak continuity principle 95, 157 Whimey's construction 23
Weierstrass' definition 28 Wightman, A. S. 54, 229, 286, 320
Weierstrass theorem 42, 270
Weil, A. 204 Zielezny, Z. 283