This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
q,. Putting we obtain a C°°-function on C" x C". Let (P(z;i;)
(1 -
:=
E aG, Z E C".
If 11z - II < q, /2, then Q (z; ) = P (z; ). In particular, q(.;) is holomorphic on
the ball B (i; , q, /2). Moreover, (10.1.3) and C2 < 1 yield the following inequality
2ReV (z;)
if
qi/2 and r(z) < C2rli/8. (10.1.4)
We choose
taken independent of .
Summarizing, V(;) is a C'-function on C" which does not vanish on G \ B(i;, q,/2) and which is holomorphic on B(%, q,/2). Therefore, 8(1/(p(;)) defines a 8-closed form a(;C) = Ei= a;(;)dz; of class C°O on G. Because of
a;(z;) =
J0
if zEGnB(i;,q,/2)
1 - az" (z;)/('2(z;)
if z E G \ B(, qi/2)
10.1 Strongly pseudoconvex domains
313
c) II d < C3, where the constant C3 is independent
and (10.1.4), it follows that Ila j
of . Hence by Theorem 10.1.1 there exist C°°-functions v(.; ) on d with 6v(.; C) II c < C4, where C4 does not depend on . where {z E G: Put on d \ C4 0). Then belongs to 0(G \ Z(t )) and because of (10.1.3) and (10.1.4) we have R ef > 0 on (G \ B g, /2)) U (G \ { }) =: G. Therefore, with the function is holomorphic on G and its values on G \ () lie inside the unit disc. If Z E G fl B q i /2), z ¢ Z( ),
a(.;) and II v
then
P(z;0
g(z;0 = 1 -
C4)
remains bounded near
it extends holomorphically through
Z(i;) fl G fl B(i;, q,/2), and therefore
E 0(G). Observe that there is a
But since
positive C5 such that
E aG, Z E (j.
IP(z;0I < C511Z -0,
Thus, if 0 < 112 < min{q,/2, 1/(4C4C5)}, then it follows that
Ig(z;0I< 1 -
C5 2CC5114C511zI 11Z -
ZEG, 11Z-y11<172,
- Il
where C6 := 2C5. Now, we choose C7 in such a way that lea - 11 < C,IAI for I,LI < C6,12. Then we obtain 11 -
C6C7IIz -III =: di Ilz -III,
In particular, this shows that h (Z ; ) = 1. What remains is the upper estimate for Ih G, Ilz-III>-q,.Then we get 4. Take
Re g(z; ) = Ilz -
1121 + Ilz
-
Z E G, IIz -III <'12
)1 away from the boundary point
I12(C4 - Re v(z; i ))
C4)12 II - Ilz gi /(l + (diam G)2 2C4)2 =: C8.
Hence we have Ih (z; ) I < e-c" =: d2 < 1.
0
314
X. Comparison on strongly pseudoconvex domains
Before presenting a result on approximation of bounded holomorphic functions we recall the following stability property of strongly pseudoconvex domains. If K is an arbitrary compact subset of the boundary of a strongly pseudoconvex domain, then there are arbitrarily small strongly pseudoconvex enlargements d with K C G
and aG = ad away from K. Observe that for the case K = aG this property has been just exploited in the proof of Theorem 10.1.2. In the general form this property will be used in the proof of the following result on approximation which has been found by I. Graham (cf. [Gra I]). Theorem 10.1.3. Let G be a strongly pseudoconvex domain in C. Then for sufficiently small R the set G n B(2;, R) is connected whenever E aG and there exists p = p(R) < R such that the following property holds. Given s > 0, there exists a number L = L(e, R) > 0 such that for any E 3G, f E H°O(G n R)), and W E G n p) there is an f E H°°(G) satisfying:
D" f(w) = D" f (w),
(i)
a E (Z+)", lal 5 1,
(ii)
IIIIIG 5 LIIf IIGnB(C.R),
(tu)
Ill - f II GnB(C.p) < E.
Proof. According to Theorem 10.1.2 we choose the data 112 < r1,, d,, d2 < 1, G D G, and E 0(G), E 3G, so that G n B(i;, R) with R := 2111 is connected for all i; E 3G. Introducing i;) + 3)/4, we can also require that
1/2,ZE0,1; E3G. Fix d3 E (d2, 1) and then take 0 < 11 < 112 such that
1,) C G and
E 3G. With p := min(11, 11i/5) there is a finite number of boundary points p). Then we choose N such that aG C UI , strongly pseudoconvex domains G; D G by modifying G near j so that d1,
IIz - III < 11,
G n B(t;, 2p) CC G3 C G and G \
4p) = Gj\ B(i;;, 4p).
Now let i;o E 3G, f E HO'-(G n B(to, R)), and W E G n
p). Then we find
jO with i o E B(i;j0, p). For simplicity we take i; fo = i;i.
We denote by X a cut-off function with 0 5 X 5 1, x - 1 on 6111/5), and X = 0 outside Then put a (aX)f on G n B(iO, 2171) and a := 0 on G \ Observe that a = 0 on G n and on G n (C" \ 9111/5)). Hence, by trivial extension, a can be thought of as a 5-closed (0, 1)-form on G, of class C°°. Instead of solving the equation au = a we will deal with the equations avk = k E N, where the right hand side is again a 5-closed (0, 1)-form of class
315
10.1 Strongly pseudoconvex domains
C00 on G1. Applying Theorem 10.1.1 gives a solution vk E CI(GI) with IIvkIIG, <
C depends only on X and so only on q j. Then the functions and are holomorphic on G and on G1 n B(1o, rl), respectively, with
fk := Xf -
C1C(d2/d3)kllf IIGnR(;o.R)
Now, if z Ed n
p), then IIz - c1 II
IIz - coil +
II
< 2p, i.e.
p) C GnB(i;1,2p) CC G1. Hence there is an L1 < 1, independent of w E G n B(i;o, p), such that the Cauchy inequalities imply that Lc(d)k al>k(w)
aZ> (w)
d311111
Let e < 1. We fix the exponent k so large that
cnB(xo.R)
< E with 8
,C (d3) k
s[2(1 + n(n + diam G))(1 + 11f IIGnB(C(,.R))]-1. So we obtain
max(Ilfk - f IIG,nB(Co.q),
I afk (w)
_ az (w)
1
} < Ellf IIGnB(;o.R)-
J
At the next step we define on G a new holomorphic function f by f (W)
f(z)
lk(Z) +
\
n
- fk(w) +
(8z; (w) f
A (w) I (z' - w')'
/
We note that i(w) = f (w) and .L(w) = 1(w). Moreover, since p < r),
it
follows that Il i - f llGnB({o.p)
IIIIIG
s,
IIfkhIG+IIIIIGnB(xo.R)
With L := max(2 + 2kCj Cd2 : 1 < j < N) the proof is complete.
0
X. Comparison on strongly pseudoconvex domains
316
10.2 The boundary behavior of the Caratheodory and the Kobayashi distances Looking at the explicit formula of the Carathe odory distance for the unit ball one easily sees that c-B. (0, ) behaves like -(log 8B"))/2 near the boundary. It will turn out that the same boundary behavior remains true in any strongly pseudoconvex domain (cf. [Aba 1], [Fad 2], [Vor]).
Theorem 10.2.1. Let K be a compact subset of a strongly pseudoconvex domain G C C". Then there exists a constant C > 0 such that
cG(zo, z) >- -(1/2) logdist(z, 8G) - C,
Zo E K, Z E G.
Proof. Because of C2-smoothness of 8G we can find a positive so such that for any point z E G with dist(z, 8G) < so there is exactly one point i; (z) E 8G satisfying
z = (z) - dist(z, 8G) v(i;'(z))
(10.2.1)
Here v(t; (z)) denotes the unit outer normal to 8G at the point 2; (z). Now, we choose positive real numbers 112 < qi, d1, d2, and the function h according to Theorem 10.1.2 with 2q, < so and q, < dist(K, 8G). Fix Zo E K. Now let z E G with dist(z, 8G) < 113 := min{q2, (1 - d2)/di }. Then, with the aid of the point i; (z) E 8G, we get the following estimate: cc(zo, z)
> Ih(z;4(z)) h (zo;
(z)) I
ll II + Ih(z;(z)) - II
>
11
> I - d2 - Ih(z;C(z)) - I
- 1-d2+Ih(z;l;(z))-lI >
-
1-d2-d, llz-i;(z)II >0.
Using (10.2.1) it follows that cG(zo, z) >
- 21
log
(1 - d2)
d,Ilz-i;(z)II
= 2 log (I d' d2) - 2 logdist(z, 8G).
10.2 The boundary behavior of the Carathdodory and the Kobayashi distances
317
On the other hand. if z E G with dirt(;., aG) ? q3, then cG(;.O,:) ? 0 > (- 1/2) log dist(z. aG) - C,
with a suitable Ci > 0. Analyzing the proof of Theorem 10.2.1 immediately gives the following local version of Theorem 10.2.1.
Theorem 10.2.1'. Let G be as in Theorem 10.2.1 and let e > 0. Then there exist positive numbers p2 < p, < £, and C such that for any E aG the following inequality is true:
CG(z, m) ? -(I/2) logdist(z. aG) - C.
E G n B(Z. p2), w E G \ B(1. pi).
Remark 10.2.2. (a) The proof of Theorem 10.2.1 shows a strong relation between the lower estimate of the Caratheodory distance and the existence of good peak functions.
(b) Moreover, if G is as above and if
are different boundary points of G. then even the following inequality has been claimed in (Fad 21, 1Vor1:
cG(:'.:") > -(1/2) logdist(:', 8G) - (1/2) logdist(:". aG) - C. whenever .7'. Z" E G.:' is near 4', and :" is near i; ". We will not use this result. Later on we will show a similar inequality for the Kobayashi distance which is much easier to obtain. As we have already mentioned, the lower estimate for the Caratheodory distance depends on deep results of complex analysis whereas the following upper estimate relies only on the smoothness of the boundary.
Proposition 10.2.3. For a bounded domain G in C" with smooth C2-boundary and a compact subset K of G there is a constant C such that
k(;(zo. z) < -(1/2) logdist(z. aG) + C.
zo E K.: E G.
Proof. If we choose e,> > 0 sufficiently small. then any point z E G such that dist(z, aG) < e() lies inside the ball 8(z', ei)) C G with := i; (z) i; (z) E )G. and moreover 2 = 4(z) - dist(z. aG)v(i; (z)). Applying the triangle
318
X. Comparison on strongly pseudoconvex domains
inequality we obtain kG(z, zo) < kG(z, z') + kG(z', zo) < kB(t'so)(z, z') + C, I _ -log so+Ilz - z'II +C, 2
I
I
2
2
--logdist(z,aG)+log(2so)+C,,
so - Ilz - z'II
where C, := sup(kG(w, w): w E K and W E G with dist(w, 8G) > so). The remaining case, namely z E G with dist(z, 8G) > so, can be handled as in the proof of Theorem 10.2.1. Combining the previous two theorems yields the following result.
Theorem 10.2.4. (cf. [Aba I]). For a strongly pseudoconvex domain G C C" and
zoEGwe have lim
cG(ZO, Z)
_
kG(zo, z)
zl8G - log dist(z, 8G)
- log dist(z, 8G)
I
2
where the limits are locally uniform in the first variable zo.
Moreover, we get a precise description of the boundary behavior of complex geodesics in strongly pseudoconvex domains (cf. Exercise 8.9). Corollary 10.2.5. Let gyp: E --> G be a complex CG-geodesic in a strongly pseudoconvex domain G. Then there exist k,, k2 > 0 (depending only on cp(0)) such that k, dist(cp(k.), 8G) < 1 - IAI < k2 dist(ep(A), aG),
k E E.
Proof For a compact set K C G with ep(0) E K, using Theorem 10.2.1 and Proposition 10.2.3, we obtain
- C, - (1/2)logdist(ep(.k), aG) < cG(V(o), V(X)) I
= P(0, X) = 2
log 1 + IXI < C2
1-IXI-
- 12 logdist(cp(A), aG)
with appropriate constants C,, C2 which depend only on K. Thus it follows that exp(-2C, )/ dist(ep(A), aG) <
1 + I'XI
< exp(2C2)/ dist(ep(A), 8G),
1 - IAI -
10.2 The boundary behavior of the Carathdodory and the Kobayashi distances
319
and so exp(-2C2) dist(ip(A), aG) < I - IXI < 2 exp(2C,) dist(O(X), 8G).
Corollary 10.2.5 will be used at the end of this section to show that complex cG-geodesics in strongly pseudoconvex domains are continuous up to the boundary.
Now, we turn to the lower estimate of the Kobayashi distance between two points near two different boundary points; cf. Remark 10.2.2(b). Proposition 10.2.6. Let t;', i;" be two different boundary points of a strongly pseudoconvex domain G C C". Then, for a suitable constant C, we have
kG(z', z") >- - (1/2) log dist(z', aG) - (1/2)log dist(z", aG) - C,
whenever z', z" E G. z' is near ' and z" is near ". Proof. Theorem 10.2.1' implies that there are disjoint neighborhoods U' = UV') and U" = such that for suitable smaller V' = CC U' and V" = CC U" and for an appropriate constant C the following inequalities are true:
kG(z', G \ U') > -(1/2) log disc (z', aG) - C,
kG(z", G \ U") ? -(1/2) logdist (z", aG) - C,
Z' E V',
(10.2.2a)
Z" E V".
(10.2.2b)
Now fix z' E V' and Z" E V" and choose e > 0. Then we can find a C'-curve a : [0, 1] --> G, a(O) = z', a (l) = z", such that
kG(z',z")+e >
f
'
XG(a(t);a'(t))dt.
(10.2.3)
0
With 0 < t, < t2 < 1 such that a([0, ti)) C U', a(ti) E RU', and a((t2, I]) C U", a(t2) E aU", conditions (10.2.3) and (10.2.2) imply that kG (z', z") + e > kG (Z', a(t I)) + kG(a(t2). Z")
> -(1/2) logdist(z', aG) - (1/2) logdist(z", 8G) - 2C. Since s is arbitrary, the proposition is verified.
Remark 10.2.7. A version of Proposition 10.2.6 with less restrictive conditions may be found in a paper of F. Forstneri6 and J.-P. Rosay (cf. [For-Ros]). They
X. Comparison on strongly pseudoconvex domains
320
only assume that G is a bounded domain whose boundary is C2 and strongly pseudoconvex in neighborhoods of the points ', c". In case where two points, whose k-distance is measured, converge to the same
boundary point the following upper estimate is also due to F. Forstneri6 and J.-P. Rosay. They dealt with bounded domains with C'+`-boundary. Here we will assume that the boundary is of class C2.
Proposition 10.2.8. Let G be a bounded domain in C" with smooth C2-boundary and let o E 8G. Then there exist a neighborhood U = U and a constant C > 0 such that 2
kG(zi, z2) <-
-2
logdist(zj, 8G) + 2 E log(dist(zj, 8G) + Ilzi - zzlI) + C j=1
J=1
forzi,z2EGnu. Proof. Since the boundary of G is of class C2, there exists R K 1 such that
(i) (ii)
1/8,
z-
E G and dist(z -
whenever z E G fl u, U := B(go, R), (iii)
E 8G n B(i;'o, 2R);
8G) > 38/4, 8R) and 8 < 2R; E 8G n
B(i; -4Rv(C), 4R) C G U
e 8G;
denotes, as before, the unit outer normal to 8G at . Now fix two points zi, z2 E G n u and choose the uniquely determined points
here
E 8G with Ilzj - jll = dist(zj. 8G). Recall that zj = j - Ilz; - ;Nv( j) Moreover, we obtain that
IIkj - doll S IRRj - zj 11 + Ilzj - roll :5 211zj - i;'ohI < 2R,
lie in G and dist(wj, 8G) ? (3/4)Ilzi -z211 because of (ii) above. So the triangle inequality
i.e. j E 8G n B(4a, 2R). Therefore, the points w j := zj - Ilzi -
10.2 The boundary behavior of the Caratheodory and the Kobayashi distances
321
leads to the following upper estimate 2
kG(zi, z2) < kG(wi, w2) +EkG(wi, zJ) i=1
< kG(wi, w2) + EkB( y.p,)(wi, zi) i=1 1logy'+Ilzi-will
=kG(wI,w2)+
pJ - Ilz/ - tUi ll
j=1 2
< kG(wi, W2) +
log
2 i=1
2
dist(zj,
aG)
where p. := Ilwj - i; jll < 4R. What remains is to estimate the term kG(wl, w2). First observe that we have l1wi
- w2II < (5/4) Ilzi -z211; here we use (i) above. Then we consider the analytic
C defined by rp(A) := w1 +,k(w2 - WI), A E C. If Al I< 3/5 (resp. IA - 11 < 3/5), we obtain
curve gyp: C
(.k) - will < (3/5)(5/4)Ilzi - 2211 < dist(wi, 8G) Ilsv(A) - w211 = I1- XI IIwi - w211 < (3/4)Ilzi - 2211 < dist(w2, aG)), ll
(resp.
i.e. if D := B(0, 3/5) U B(1, 3/5) C C, then VIo is a holomorphic map into G. So we finally conclude that kG(zI, z2) 2
< kn(0, 1)+log2-
2i=1
2
logdist(zj, aG) +
2i=1
log(dist(zf, 8G)+Ilzi -z211)-
O
Now, we intend to apply Theorem 10.2.1 and Proposition 10.2.8 to prove a theorem on the boundary behavior of proper holomorphic mappings between strongly pseudoconvex domains. For a more general treatment and an extensive bibliography the reader should consult the book of K. Diederich and I. Lieb [Die-Lie]; see also [Fors].
322
X. Comparison on strongly pseudoconvex domains
For the convenience of the reader we collect those properties of proper holomorphic mappings we will need. Details can be found in Rudin's book [Rud 2], pages 300-305.
Let F : G, -+ G2 be proper and holomorphic (G j , j = 1, 2, are domains
in C"). Put M := {z E GI: detF'(z) = 0). Then M
G1, F is an open
mapping, and the set of critical values F(M) of F is a proper analytic subset of G2. Moreover, FIG,\F-,(F(M)) : G, \ F-1 (F(M)) -- G2 \ F(M) is an unbranched proper holomorphic covering of finite order. After this short summary we can formulate the result we want to discuss; also cf. Exercise 10.5.
Theorem 10.2.9. Let G, and G2 be two strongly pseudoconvex domains in C". Then any proper holomorphic map F : G, --* G2 extends to a continuous map from G1 into G2.
Proof. We assume that G, is given by a pair (U1, r,) satisfying conditions (10.1.1).
Now let U' be an open set with 8G C U1 CC U1. Put K2 := F(G, \ Ui) and define
r2(w):=sup{r,(z):zEGandF(z)=w),
WEG2\K2.
Since F is proper and holomorphic, it turns out that r2 is negative and continuous on G2 \ K2 and psh on (G2 \ K2) \ F(M). So, r2 is a psh function on G2 \ K2 W-
Appendix PSH 21) with r2 (w) -) 0. w-OGz Since G2 has a C2-boundary, there exist positive numbers Eo, do, and Co with the following properties: for any point w E G2 with dist(w, aG2) < eo one can find points wo E G2 and t(w) E 8G2 satisfying (1)
B(wo, eo) C G2 \ K2,
(ii) (iii)
11w - is (w) 11 = dist(w, 8G2),
(iv) (v)
B(t(w) - 2(wo -- t(w)), So) _: B. C G2 \ K2, r2 < -Co on B..
B(wo, so) n aG2 = {g(w)
Now, we are going to prove a fact which is known as the Hopf Lemma. Fix w, wo, and t (w) as above. Then the function u : E - R defined as J r20 (WO +
I Y-1
1
ifA=1
10.2 The boundary behavior of the Caratheodory and the Kobayashi distances
323
is continuous and its restriction to E is subharmonic. If h : E -+ (-oo, 01 is the solution of the Dirichlet problem with u as boundary values, then Harnack's inequality implies that
u(A) < h(A) < h(0) I - I)_I < h(0)(1 - Al), IA E E. 1 + IAI
In particular, we obtain
r2(w) = u
(e0 - dist(w, aG2))
h(0)
EO
EO
dist(w, aG2).
Because of (iv) and (v), the number C, := h(0) = in J0 u(eie)d9 is negative, i.e.
r2(w) < C, dist(w, aG2)/e0 = -C2 dist(w, 8G2)
with
C2 :_ -C, /EO > 0.
Hence for Z E G, sufficiently near aG, we obtain C2dist(F(z), 8G2) < Ir2(F(z))I < Jr, (z)I -< C3 dist(z, aG), where C3 denotes a suitable positive constant. With a correctly chosen positive C we finally get the following inequality:
dist(F(z),aG2)
(10.2.4)
Z E G1.
The last step is to prove that F extends continuously to G1. Here Propositions 10.2.6 and 10.2.8 will do the main job. Obviously, it suffices to prove that for C G, with lim,,_a Z,, = ZO E 8G1 the image sequence any sequence (F(zV))VEN is also convergent. Observe that proper.
8G2)
V_ 00
0 since F is
Now, we argue via contradiction. Suppose that there are two different accumulation points w('), w(2) of i. e. there exist two subsequences F(zvj)) (z(i))VEN C (zv)VEN with = w(i) E aG2, j = 1, 2. Then Propositions 10.2.6 and 10.2.8 imply the following chain of inequalities:
-
2 logdist(F(z(i)), 8G2) - C1 < ko2(F(z,(,')), F(42))) < kc,(z('), z(2)) i=1 2
2
<- E 2logdist(z,(,'),aG,)+E j=1
j=1
where C1, C2 are suitable positive constants.
X. Comparison on strongly pscudoconvex domains
324
With the aid of (10.2.4) we can easily continue this estimate, and so we end up with
-C3 <
2 log(dist(z,(i), 8G,) + Ilz;' l _Z(2)11)+C2,
V E N,
0
which is obviously impossible.
As a simple consequence we get the following weak version of a deep result of C. Fefferman (cf. [Fef}, see also [Vor]). Corollary 10.2.10. Any biholotnorphic mapping between two strongly pseudoconrex domains in C" extends to a homeomorphism between their closures.
As promised after Corollary 10.2.5, we conclude this section with a general regularity result for complex CG-geodesics in strongly pseudoconvex domains.
Theorem 10.2.11. Let G be a strongly pseudoconvex domain in C". Then any complex CG -geodesic cp: E -+ G is 1/2-Holder continuous, and therefore it extends continuously to E.
Before we start the proof we establish the following lemma on good exhaustion of strongly pseudoconvex domains (cf. [For-Ste]). Lemma 10.2.12. Any strongly pseudoconvex domain G C C" admits a strictly psh C` function p : V -+ ]l1; defined on an open set V D G such that (i)
G = (Z E V : p(z) < 0),
(ii)
dp(z) g-` O for Z E G.
Proof. Assume that G is given by a pair (U, r) satisfying (10.1.1). Now choose
an open set U' ccUwith Moreover, let XI: R -)- IR be an increasing convex C° -function with the following properties:
X, (t) = 3.5E if t <4e. Then the function X, o r can be regarded as a C2-function on V := G U U' (by setting X, o r = 3.5E on G \ U'), which is psh and, in addition, strictly psh on
{zEU':r(z)>3e}.
10.2 The boundary behavior of the Caratheodory and the Kobayashi distances
325
Finally, we choose a C' -function X2 on C" with
X2(:)= 1 if:EG\U'orif: EGfU'andr(z) <2e, or if:EGfU'andr(:)>e. X2(:)=0if:¢G Obviously, for a suitably chosen positive constant a the function r,(:) cX2(:)II:II' + X, c r(:) fulfills all the requirements of Lemma 10.2.12.
0
Proof' of Theorem 10.2. / 1. According to Corollary 10.2.5, it suffices to show that
there is a positive C such that
xG(:: X)?CIIXIII dist(:,aG).
:EG. XEC".
(10.2.5)
Namely, from (10.2.5) and Corollary 10.2.5 it follows that Cillw,(
l
> xF(J.: I)
(I - IAI)
and therefore
II'v'(k)II <
C,(1
11X1)"2.
), E E.
Hence the Hardy-Littlewood theorem (cf. Appendix H 9) implies the claim of Theorem 10.2.11. To verify the inequality (10.2.5) we may assume that r: V -+ R is the function from Lemma 10.2.12. Then there exists a positive at such that
(1r)(::X)>a,11X112.
:EG.X EV".
We mention that it suffices to prove (10.2.5) for points : E G with sufficiently small boundary distance such that -r(:) < a2 dist(:, 1G) with a2 > 0. Now fix such a.:() E G and an Xo E (C"). and let E 0(E, G) with >'(0) = ;4) and a*'(0) = X,) for a > 0. Let ,) E aG with -:()II = dist(:o,. aG). Then r(:) := r(:) - a311z i;()II2 is a psh function on G. where a::= a,/2. Therefore. we obtain
(:l)) = r
-
V/ (0)
2ir ./)
II*(e) - ))II'd9.
326
X. Comparison on strongly pseudoconvex domains
Applying the Cauchy integral formula it follows that "
II'(0) II =
1
I2,ri j=1 I
I
1.i 0.) - 6'j dx A-
1
1
2n 1/2
(2rr (1 + a2/a3)'12
dist(zo. aG)..
0
Hence we end up with (10.2.5).
Remark 10.2.13. The main argument in the proof of Theorem 10.2.11 uses the fact that G admits a good strictly psh exhaustion function. Such functions also exist for any C°'-smooth bounded pseudoconvex domain whose boundary is B-regular
(for a precise definition see [Sib 5]). To be more concrete. for any 0 < r) < I there exists a defining function r on U = U(G) of 8G such that the function z E G, is a negative psh exhaustion function of G with rl (z) :(Cr) (z; X) > C II X 112, z E G, X E C", where C > 0. Modifying the argument in the proof of Theorem 10.2.11 we find that any complex cG-geodesics cp: E -> G is >)/2-H61der continuous on G. In particular, this result holds if the boundary of aG is real-analytic.
10.3 Localization In this section we study how to estimate our metrics on strongly pseudoconvex domains dealing only with local information. Both the results we will present were found by I. Graham (cf. [Gra I]).
Theorem 10.3.1. Let G be a strongly pseudoconvex domain in C". Then for a sufficiently small R the set G fl B(%', R) is connected and we have lim
Z_ zeGn8(x.R)
whenever (C,I)
YGnR(x.R)(z;X) = 1
YG(z;X)
E 8G, X E (C").. The convergence is uniform in i; E 8G and X e
10.3 Localization
327
Proof. According to Theorem 10.1.3 we can choose R, sufficiently small, and
p = p(R) < R. We recall that for z E C n R(t. R), g e aC, the inequality YG(z; )
YGnB((.R)(Z, ) always holds.
Now fix E > 0 and put s' := E/(2 + E). For this s' we choose L = L(e', R) via Theorem 10.1.3. Moreover, for E a G let It (.; ) denote the peak function of Theorem 10.1.2 with the data 172 < 111 < p, d2, d1, and G. With a suitable k E N we find that dZ L < I and
I -E'
if IIz - III <- 1) (E)
112
After these preparations we fix zo E G fl B(i;,11(e)) and X E (C").. Then we R), E) with find an f E O(G fl
f(zo) = 0
YGnB({.R)(ZO,X) =
and
of
" I(zo)Xjl = lf'(zo)Xi. azj I=1
J
According to what we said in Theorem 10.1.3, there exists f E HO0(G) with the following properties: f (zo) = 0, YGnB((.R)(zo; X) = I f'(zo)X I , IIf IIG < L. and Ilf -f IIGnB((.p) < E'.
Putting f :=
f gives a holomorphic function with (1 -E')YGnB((.R)(zo;X).
f(zo) =0. If'(zo)XI = Moreover, we get
IIf
d2 4L < 1
and
IIIIIGnB((.,i,) 5 I + E'.
Thus, if zo E B(i;, 11(E)), then
a(f/(1 +E'))
1 +E'
YGnB((.R)(zo;X)
- I - e'I
j=1
3Z jI
< (1 +E)YG(zo:X).
The analogous result for the Kobayashi-Royden metric is also due to 1. Graham (cf. [Gra I]) and will be a consequence of Proposition 7.2.9 and Theorem 10.1.2.
328
X. Comparison on strongly pseudoconvex domains
Theorem 10.3.2. Let G be a strongly pseudoconvex domain and let U = U(lo) be a neighborhood of a boundary point i;o E 8G such that G n u is connected. Then XGnU (Z; X)
lim
Z--zf
:ecnU
XG(z;X)
=I
.
where the convergence is uniform in X E (C")..
Proof First, recall from Proposition 7.2.9 that
xanU(z;X)
h for i;o. With r := inf(Il - h(w)I: w E G \ U) > 0 we see that V(s) := (z E G: 11 - h(z)I < s) C U if 0 < s < r. Obviously, V(s) 3 G n V, for an appropriate V, = V,(4). Following the calculation of the proof of Theorem 10.2.1, we obtain for z e G n V, and W E G \ U that kG(z, ur) > cG(Z. w)
(1/2) log(r/s)--o oo.
Hence for any s > 0 we have
x(;nU(z;X) < (1 +e)xG(z;X)
if Z E Gn v, s << 1.
0
Observe that the claim of Theorem 10.3.2 remains true if G is only assumed to be a bounded domain that admits a global peak function for 4o E G. As a consequence of the previous two results it turns out that the KobayashiRoyden and the Carathdodory-Reiffen metrics have the same asymptotic boundary behavior on strongly pseudoconvex domains. Theorem 10.3.3. For any strongly pseudoconvex domain G we have lim
xG (Z: X)
= I uniformly for X E (V).-
- -+aG y0 (z; X)
Proof. Suppose the contrary. Then there exist Co > 0 and sequences z,. = 4o E 8G and (X-,),.EN C (C"). with
x0(Z,,;X,.) ? (I +fo)ye(:,.;X,.).
C G. (*)
329
10.3 Localization
Because of the strong pseudoconvexity, Lempert's Theorem gives a neighborhood U = U (.O) such that ycnu = xcnu Therefore, by Theorems 10.3.1 and 10.3.2, it follows that lim
XG(zy; X,,)
V-+OC YG(zy,Xy)
= lim
XG(Z,.; X,,)
Ycnu(zv; XV)
-1
''-'x' xcnu(zV,XV) Ya(Z";XV)
which contradicts (*).
So far we have discussed localization theorems for the Caratheodory-Reiffen and the Kobayashi-Royden metric, respectively. Similar results are also true for the corresponding distances. At the moment we can only prove a theorem for the Kobayashi distance. The result for the Caratheodory distance will follow from a more general comparison result.
Theorem 10.3.4 (cf. [Ven 1]). Let U =
be a neighborhood of a boundary
point o of a strongly pseudoconvex domain G C C". Suppose that u fl G is connected. Then for any sequences lim,,_,' WV = o, z,, 54 w,,, we have lim
V--.OC
(WV),.EN C G fl u with limy
.z_
kcnu(zy, w,,) = 1
kc(z,,, w,)
The proof of this theorem relies on the following lemma. Lemma 10.3.5. Let G and i;'o be as in Theorem 10.3.4. Moreover, assume that there are sequences (z,,),.EN, (wv)vEN (t,,),,EN of points z,,, w,.. t,, in G, respectively, and a positive constant C with
lim z, = lim w,, = o and kG(Z,,, t,.) + kG(t,,. w,,) < kc(z,,, wV) + C, v r= N. V- OC
-
Then lim,...,,C t,, = o.
Proof. Suppose the contrary. Then there is a subsequence of again by (ty) with lim,,.. t,, = to jk 0. Case 1'. If to E G, then Theorem 10.2.1 implies that
which we denote
- (1/2) logdist(zV. aG) - (1/2) logdist(wV, aG) - C1 kc(zy, to) + kG(w, to) < kc(zy, w,,) + 2kc(ty, to) + C. which contradicts the upper estimate in Proposition 10.2.8.
330
X. Comparison on strongly pseudoconvex domains
Case 2°. If to E 8G, then by Proposition 10.2.6 we have
- (1/2) logdist(z,,. 8G) - (1/2) logdist(w,, 8G) - logdist(t1,, 8G) - C, < kG (z,, 0 + kG (t,,,
kG (z,,, WO + C,
which again does not fit with Proposition 10.2.8.
Proof of Theorem 10.3.4. Applying the localization result of Theorem 10.3.2, we find for given e > 0 a neighborhood V = V C U such that xGnU (Z; X) < ( I + e)xG (Z; X),
z E V f1 G, X
Moreover, there are C' -curves a,,: [0, 11 --> G connecting
C".
and w, such that
i
10
xG(a, (t);a;,(t))dt < (I +ev)kG(z,,, w,) with 0 < e,, < min{e, l/kG(z,,, w,,)].
Now, we claim that if v >> 1, then a ([0, 1]) C V. For otherwise there is a sequence (ri )JEN C (0, 1) with a,,, (Ti) _: ti 0 V. On the other hand, we obtain i
kG(z,,,, ti) + kG (ti, w,,;) < Z NG(ar,(t);a'V,(t))dt < kG(z,1, w,,;) + 1.
Hence by Lemma 10.3.5 it follows that limi.,, ti = o, i.e. ti E V for large j; a contradiction. Therefore, we conclude that for v >> 1 we have kcnu(Zv,WV) -< J KGnu(a,, (t); a,, (t)) dt 0
f1
< (I +e)J xG(a,(t);a;,(t))dt < (I +e)2kG(zv, o
0 Finally, we formulate a localization result for the Bergman metric, more precise
than the one of Theorem 6.3.5 (cf. [Die 1], [Hbr 1]). It can easily be obtained by modifying the 8-problem in the proof of Theorem 6.3.5 with the aid of an appropriate peak function (cf. Th 10.1.2); details are left to the reader.
10.4 Boundary behavior of the metrics
331
Theorem 10.3.6. Let G be a strongly pseudoconvex domain and let R > 0 be such that fur any o E 0 G the intersection G n B(to, R) is connected. Then for every e > 0 there exists S = SF E (0, R) such that MG(Z; X)
(i)
KG(Z;z) < KGnB(A,.R)(z;X) < (I +e)KG(Z;z).
Gt)
(iii)
MGne(z0.R)(z; X) < (I + e)MG(z; X )
(1
<18G(Z;X) <
(1 +e))BGff(r0R)(z;X)
whenever Z E GnB(to. 8), X E C". Moreover, if R is sufficiently small, then S = SF can be chosen independently of the boundary point o.
10.4 Boundary behavior of the Caratheodory-Reiffen and the Kobayashi-Royden metrics When one tries to understand the boundary growth of various metrics on a strongly
pseudoconvex domain, the following observation becomes important: strongly pseudoconvex domains locally (up to biholomorphisms) look like strictly convex domains, and therefore, up to localization, metrics should "coincide" near the boundary. The precise formulation of this asymptotical equality will be the main goal of this section. It was I. Graham who studied the boundary behavior of xG and yG on strongly pseudoconvex domains (cf. (Gra 11, also (Hen-Chi]). He obtained an asymptotic estimate of the length of normal and tangential vectors separately. In [Ala], G. Aladro obtained an estimate for the length of a general vector without specifying the asymptotic constant. He needed the boundary to be of class C". The theorem we are going to present here is in the spirit of the one recently found by D. Ma (cf. [Ma 1,2]), which is more precise than Graham's and Aladro's results. N. Sibony (cf. [Sib 41) also established estimates of the Kobayashi-Royden metric on domains which carry a "good" psh function. Moreover, estimates of these metrics near the boundary of pseudoconvex domains of finite type in C2 were found by D. Catlin
[Cat]. More recently, J. McNeal [McN] extended this investigation to smoothly bounded pseudoconvex domains G of finite type in C" under the additional hypothesis that G is "decoupled near Zo E 8G", i.e. up to a biholomorphic change of coordinates w = w(z) near zo, u'(zo) = 0, the domain G is locally given as {w E C": r(w) = 2 Re wt + E'=2 ri (wj) < 01 with rj smooth. subharmonic but not harmonic, and such that rj (0) = dri (0) = 0.
X. Comparison on strongly pseudoconvex domains
332
To prepare the proof of the main theorem we have to introduce the notion of an analytic ellipsoid. Let n
H(z, w) := E aijzitjlj,
z = (ZI, ... , Zn), w = (w), ... , wn) E
i.j=l
be a positive definite Hermitian form. Then the domain
E=E(H):={z=(ZI,..., Z,,)EC": 'I(z) :=-2Rez1+H(z,z) <0) (10.4.1)
is called an analytic ellipsoid. We point out that the Levi form of a strictly psh function can be taken as an example of such an H. Since H is given by a positive definite Hermitian matrix A = (ai j) I <;, j -,,, there
exists a unitary (n - 1) x (n - 1)-matrix S such that if we put
S:=
1
0
0S
'
jv, := S' A S has the following properties:
then the matrix B = (bi j) I
bjj>0 ifj>2, bij=0
if
i,j>2, i &j.
Setting
T
.
_
1
0
-bl2/b22
1
...
0
0 ,
-bin/b.,. 0
1
we find that C = (c; j) I O, j > 1. Therefore, R
z, - Zl+Ecjjzjzj <0) J=1
_ (Z E C": CIIIZ1 - 1/CIII2+cjjzjij < 1/c11
.
J=2
Using the transformation
CII,...,Znj' Cnn +(1/cll,0,...,0)
333
10.4 Boundary behavior of the metrics
we get n
(z E C":
1z112 < 1/c1i).
i=l Combining all these maps we have the following explicit biholomorphic mapping
F:£-li,, with F(z) := ,/cii4,-l (((S . T)-I zc)c) Using F and the formula for xgq, the next lemma becomes an easy exercise.
Lemma 10.4.1. Let E = £(H) and (D£ be as in (10.4.1). Then
xe(z:X)=Ye(z:X)=
2) 1/2
H(X,X)+ H(X, z) - X -4'E(z)
In the sequel, analytic ellipsoids will serve as local comparison domains in th process of estimating metrics on strongly pseudoconvex domains. The main result is the following (cf. [Ma 1,21) Theorem 10.4.2. Let G be a strongly pseudoconvex domain in C" that is given by (U, r) (cf. (10.1.1)). Then for every E E (0, 1) there exists S = S(E) > 0 such that the following properties hold: (i) for every z E G with dist(z, aG) < S there is a unique 7r (.7) E 8G with 11z - II = dist(z, aG), (ii) for every such z E G and even, X E C" the following inequalities are true
(1 -E)
(Gr)(r(z);X(,)) 2dist(z, 8G)
i/2 II
+ 4dist(z.3G)2)
< (1 +E)
-
yc(z;X) < xa(z;X) 1/2
(Gr)(7r(z);X(,}) + 2dist(z, aG)
4dist(z, aG)2)
'
where X is split into its normal and tangential components X(,,) and X(,) at the X(,)) = 0. and'=,(8r/8zi)(tr(z))(X(,))i point7r(z), i.e. X = X(,,)+X(,),
=0. The following technical lemma will be used in the proof.
Lemma 10.4.3. Let E = E(H) be as in (10.4.1) with H(z, z) - F;'j_, aij zizJ- >a II z I12. Z E C", where 0 < a < 1. For 0 < X < a let £a denote the analytic
X. Comparison on strongly pseudoconvex domains
334
ellipsoid
2<0). Ex _":
Let a E C and assume that la 1 < M and jai/ 1 < M, 1 < i, j < n, for fixed M > 1. Finally, fort > O put z(t) := (t - ate, 0, ... , 0) E C". Then
z(t)EEe CEj i f O<x 0 there exists a positive constant po < mina, pi), depending only on a, M, and e, such that 2
/2
(1-s)(H(2t'X)+1412)' <xea(z(t);X)
<xe (z(t);X)<(1+e)(H(ZtX)+1412`
i/z ,
whenever 0< x< po, 0< t< po, and X E C". Proof. First, a simple calculation shows that for 0 < t < p, the following inequality is true:
-2t(1 + SM3t) < `De (z(t)) <
hex
(z(t)) < -2t(l - 5M3t) ;
in particular, z(t) E Ek . For the remaining inequality we will only prove, for example, the lower estimate.
So, if 0 < t < pi, Lemma 10.4.1 leads to
(xe-(z(:);x))
-k (z (0)
I -x/a (1+5M3t)2
H(X, z(t)) - AX,t(1 - at) - X,
H(X,X)-XIIX112
2
H(X, X)
(
2t
X1I2
+
-
+ 412
C 4t2
2
-4)£z (z(t))
,z
(IIXII't +
2
t+IlXll Ix,lr})
where the positive constant C can be chosen in such a way that it depends only on M. If IX1 I < II X 11 ft, then it follows that 2
`xe"
(z(t)'X)
1 - x/a (I +5M3t)2
H(X, X)
1X112 412
+
2t
(1 -3C2a)
10.4 Boundary behavior of the metrics
335
II1II f we obtain
wbereac. for 11, I
1 -A/a (xe-(z(t);x)) > - (1 +5M-t) 2
(H(X, X)2
+
2t
4t2
(1 - 3Cf))
Therefore, we have the following lower estimate XC' (z (I); X)
>
-
a
X12
3C 2a
I
t
1/2
1 - 3C ft 1/2
1 + 5M 3t
H (X, X 21
1/2
X2 4t2 J
whenever 0 < f < a/(3C). Now, it is clear how to choose the constant po in Lemma 10.4.3.
O
Proof of Theorem 10.4.2. First, we choose a S, < I sufficiently small to have the following situation: (a) (8G)s, := {z E C": dist(z, 8G) < S, I CC U; (b) if z E (8G)8,, then dist(z, 8G) = 11z - 7r(z)II, where zr(z) E 8G is uniquely determined;
(c) (Cr)(z;X) > alIX112 and a < Ildr(z)II
<-
I/a for a suitable a E (0, I)
whenever Z E (8G)s,, X E C".
Moreover, for any y > 0 we can find S(y) < min{S,,a2) such that ID'3r(z) DAr(lr(z))I < y for all z E (8G)a(y) and for all multi-indices f E (Z+)2n, If1 < 2. Here we use the fact that r is a C2-function.
Now fix e > 0 and let o be an arbitrary point of G. We point out that the further construction will depend on ip. Nevertheless, we will omit the index i;o to keep the notation simple. On the other hand, all the constants in the estimates will be chosen independently of the specific o. For o we take a unitary matrix A = Ax,, transforming the vector into
the vector (-I,0,...,0), i.e. (-1, 0, .... 0) = (A
Thus T: C" C", T(z) := biholomorphically maps G onto the strongly pseudoconvex domain G := T(G) which is given by the pair U := T(U) and i := r o T-'. Note that gradr(0) = (-1, 0...., 0) and that (86)a, CC U. Therefore, we obtain the following Taylor expansion of r on B(0, S 1): n
F(z) = -2Re(z, -
CijZiZ;) + (Cr')(0;z) +,e(z)IIZII2.
(10.4.2)
2
where for any y > 0 we have I fl (z) I < C, y provided that II z II < 6(y) < B1. Here the constant C, > I can be chosen independently of o. Moreover, we have
X. Comparison on strongly pseudoconvex domains
336
? alla112. C,, = cj;. and Ic;jI < C2. C2 is again
(Gr)(0;a) =
independent of o. Let F : C" -+ C" be the map defined by 1
F(zl..... z,,) := (zl
-
7
?I
E CIjzizj, z2...
.
,,)
(10.4.3)
!-j=I
We will show that for every A with 0 < A < at and for all sufficiently small (depending on A) positive S < SI/2 the following inclusions are true:
6A nB(0,S)C F(GnB(0.25))cEc.
(10.4.4)
where ) := {wEC": -2Rewl+(11)(0;w)±AIIw112 <0). Moreover, for 0 < t < S/2 we claim that
F(t, 0,
..., 0) _ (t - 2c,It2, 0.....0) E e n B(0. S).
(10.4.5)
Observe that (10.4.5) is an immediate consequence of Lemma 10.4.3. (Note that the coefficients a; j of (&) (0; z) and c; j are uniformly bounded by a constant M > 1 which is independent of to.) To prove (10.4.4) we choose a positive Ro < SI, independent of to. such that
IIF(z') - z' - F(z") + z"II < 11 Z' - z"II/2,
z', z" E B(0, Ro).
Therefore, F := Fl
(10.4.6)
biholomorphically maps B(0, Ro) onto an open set V containing B(0, Ro/2): compare a proof of the inverse mapping theorem. Suppose now that 0 < A < a is fixed and take a point w E Ej n B(0. Ro/2). Put z := F-I (w) E B(0, Ro). Then, since IIzIl < 211w11 (cf. (10.4.6)) and since (V)(0; z) - (Gr')(0: F(z)) = 0(11Z 11-1). we obtain
i(z) _ -2 RewI + (F)(0;z)+p(z)IIzII2 < (Gr`)(0;z) - (f-r`)(0; F(z)) + (4i6(F-I(w)) - A)11w112 < (C3IIw11 +
provided that
4i6(F-I(w))
- A)IIw112 < 0
8 < Ro/2, i.e. Z Ed n 8(0.25).
10.4 Boundary behavior of the metrics
337
The second inclusion of (10.4.4) will follow similarly. Let Z E G n B (0, Ro) and
put w := F(z). Then -2 Re w, +(&)(0;w) -,111w112 < i (z) + (Gr')(0; w) - (&)(0'Z) - XIIw112 - $(z)IIzI12 (C311zII -18(z) - A/4)IIz112 < 0
provided that Ilzll < 23 and S sufficiently small. Hence the inclusions (10.4.4) are proved. So Ea and Ea can locally serve as an inner and an outer comparison domain for G, respectively. Now, we are able to apply Lemma 10.4.3 with H(z,z) _ (0; z). We fix
X = po < a and we choose a positive S < min(Ro/2, po) such that (10.4.4) and (10.4.5) hold and that for all 0 < t < S the point z(t) := (t, 0, ... , 0) belongs to G with dist(z(t), ad) = t. Of course, S can be chosen independently of o. Then, using Proposition 7.2.9, for X E C" and 0 < t < S/2 we obtain the following upper estimate (note that F(z(t)) E E, n B(0, S)): xd(z(t); X) < xg+nB(o.a)(F(z(t)); F'(z(t))X)
< cothke+(F(z(t)),£)+, \ B(0, S)) xE+(F(z(t)); F'(z(t))X) I
B(0.8))((C)(0;F'(z(t))X)
< (I +s)cothke+(F(z(t)),Ex \
+ IFi(z(t))X12)l/2. 4t2 (10.4.7)
2t
On the other hand, if we assume that S is sufficiently small, then we can apply Theorem 10.3.1. So we get Yc(z(t);X) > (I - s)Y6nB(0.8)(z(t);X) provided that t is sufficiently small, say t < SF < 6/2. Then (10.4.4) and Lemma 10.4.3 give
Yc(z(t); X)
(1 - s)YE, (F(z(t)); F'(z(t))X) I F1(z(t)) X 12)' /2 > (1 - s)2 ( (U)(0; F'(z(t))X) + 2t
4t2
(10.4.8)
To replace F'(z(t))X and F' (z(t))X by X(,) := (0, X2, ... , X") and X(") (X,, 0, ... , 0), respectively, we make the following observation:
X. Comparison on strongly pseudoconvex domains
338
there are positive constants C4, C5 such that the following two inequalities are true
I(1)(0;F'(z(t))X) - (CT)(0;X(,))I
<- C4(IXu12/.,,/t- + C5(%1t-IX112
I IFi (Z(t ))X 12 - IX1121 <
11X(,)112),
+ t312IIX(,)112).
Thus, since (Li)(0;X(,)) > aIIX(t)112, we derive
(1 +O(-It-)) ((C?)(0;
X(, ))
+ 11121 = (Ci)(0; F'(z(t))X) +
IF( 4(t))XI2J
4t2
(10.4.9)
Hence (10.4.7), (10.4.8), and (10.4.9) imply that
ya(z(t);X) > (1 -E)3
((/)(0; X( ))
X-I
12\'n
2
and
xc(z(t);X) < (1 +E)2 ((Gr)(0'X(t))
14112\ ,2
+
B(0,a))
if 0(C)(0;z) +AIIz112 > aIIzII2, z E E,+. As in the proof of Theorem 1.0.2.1 we obtain
kC (F(z(t)), £x \ B(0, 8)) > cc, (F(z(t)), £x \ B(0, 8)) >
1 - d2
1
10
2
g duIIz(t)II
1 to 2
I -- d2
g d1(1
with d2 = d2(S) < 1, d, > 0, and t sufficiently small. Hence we have verified that
xo(z(t);X) < (1 +E)3
((Li)(0;X(,)) + 11211/2 2
+ M)t
10.4 Boundary behavior of the metrics
339
provided that 0 < t < Sf < Sf < 1/23. So the proof is complete for any : E G with dirt(:, aG) < SF. Remark 10.4.4. Under the additional hypothesis that G has a C'-boundary D. Ma (cf. [Ma 2.3)) obtained stronger results in which he even specified the order of the asymptotical convergence. Moreover, in the case of the Kobayashi-Royden metric he has the following precise result. Let G be a bounded domain in C", not necessarily pseudoconvex. Assume that M is a relatively open subset of )G, M is a Cz strongly pseudoconvex hypersurface. and G is on the pseudoconvex side of M,). Let M be a compact subset of Mt). For S > 0 let QA := (: E C": dist(:, M) < S) and Gb := G n Qb. Moreover. assume that for a positive S we have a) 8G n Qb,, is relatively compact in b) there is a strictly psh function tq E with Gb, := (: E Qa,,: (p(:) < 0) and II grad w(:) II = I whenever : E Q,%, n M. Let S < 30 be a positive number such that for each : E GA there is a unique point
;r(:) E M n Qb with dist(:. dG) = 117r(z) - :II and such that M, := 2r(GA) cc Mo, n Q,,,.
Then there exists a positive C = C(G. M. S) such that for each : E GA the Kobayashi-Royden metric satisfies the following estimate:
exp(-C
u (: ))
((CQ)(n'(:): X(,)) IIX"II 11/ 2u(:) + 4u'(-)/J /-,( < exP(CV(
))
"c (z : X)
((C)(3r(:);X(s)) + 2u(z)
IIX"II'`
4u2(-.)1
where u(:) := dist(:. dG) and X = X(,)
E C" as in Theorem 10.4.2. There is an example (cf. Exercise 10.1) which shows that in the above estimate the factors exp(±C u(:)) cannot be improved to exp(±C(u(:))(WW')+, ) It should be mentioned that the proof of this precise result cannot be used as an approach to find the optimal estimate for the Caratheodory-Reiffen metric.
From Theorem 10.4.2 we immediately derive Graham's formulation of the asymptotic behavior.
Corollary 10.4.5. Let G and r he as in Theorem 10.4.2 and fix i;() E i)G. Then
lim SG(:;X)dist(:. )G) = z
4,
X E C".
where X(,,) denotes the normal component of X at () and where 8(; belongs to a holnmorphically contractible f,mih. of pseudometrics S. If X is a
344
X. Comparison on strongly pseudoconvex domains
complex tangent vector to dG at i;n, then lim 8G(z; X)2 dist(z. aG) = (1/2)(Cr)(Co; X).
We point out that the proof of Theorem 10.4.2 is based on the holomorphic contractibility. Nevertheless, it turns out that the estimates there remain true if we substitute yG and xG by the Bergman metric PG. This result, and much more information about the boundary behavior of derivatives of the Bergman kernel, were obtained by K. Diederich (cf. [Die 1,2]). Theorem 10.4.6. The inequalities of Theorem 10.4.2 remain true if yG and xG there are replaced by the Bergman metric divided by In -+ 1. Before we go into the necessary modifications of the proof of Theorem 10.4.2 we have to present the formula of the Bergman kernel for analytic ellipsoids.
Lemma 10.4.7. Let E = E(H) be as in (10.4.1) with H(z, z) = E"i=l aiizi,i Then the Bergman kernel of.6 is given by
n! det aii i-2
ZEE.
tit-here 4) (z) = -2Rez; + H(z. z). Proof Use a biholomorphic map from £ to B,,; cf. the proof of Lemma 10.4.1.
Proof of Theorem 10.4.6. Here we will use the same notations as in the proof of Theorem 10.4.2. We will discuss only those steps of the proof which are different now.
Fix e > 0 and choose w = po and S,, < 8 as in the proof of Theorem 10.4.2. Moreover, we may assume that S is chosen so small that the estimate of Theorem 10.3.6 holds uniformly with respect to the boundary points. Now let zo E G with dist(z(), aG) =: t < SF < 8, co E aG with l o - zoll = t, and Y E C". As above we put z(t) := (t, 0, ... , 0) and G := T (G). Then we begin the upper estimate of MG (see Remark 6.2.7 for the definition): MG(zo;Y) = Mc(z(t);X) < MGns(o.'_a)(z(t):X) = Mt'(Gne(o,2a))(F(z(t)):F'(z(t))X) IdetF'(z(t))I < M+0( F(z(t));F'(z(t))X) I det F'(z(t))I,
10.4 Boundary behavior of the metrics
341
where X := A Y. Here we have used the transformation rule for MG (cf. Remark 6.2.7) and its monotonicity in G. Moreover. if 3, is sufficiently small, by Theorem 10.3.6 we obtain KG(z4). Zo) = KG(z(t). z(t)) > (I - e)Kdne(o.26)(Z(1). z*))
> (I - E)KF(cne(o.za))(F(z(t)), F(z(t ))) I del F'(z(f))12
> (I - E)Kt (F(z(t )). F(:(t))) I del F'(z(t))I2. Hence the above inequalities yield (cf. Theorem 6.2.5)
PG(zo:Y) <
Mt+ne(o.a)(F(z(t)):F'(z(t))X)
(I - e)iiz
(10.4.10)
K. (F(z(t )). F(z(t)))
To increase the numerator of (10.4.10) we apply Theorem 10.3.6 again and we find that
Mt: nn(o.a)(F(;.(t)):F'(:(t))X) <(1 +E)Me, (F(z(t));F'(z(t))X) whenever 0 < r < SF and SF sufficiently small. On the other hand, the explicit formula for the Bergman kernel gives that
Ke, (F(:(t)). F(z(t))) ? (1 - E)Kt, (F(z(t )), F(z(t ))) provided that I = po is sufficiently small. So the final inequality looks like this: IJG(zo:X) <
+Ffi. (F(z(t)),F'(z(t))X)
_I+E
-E (n+1)x1. (F(:.(t)):F'(z(t))X).
cf. Example 6.2.1. Now, we can turn to the proof of Theorem 10.4.2 and continue starting with (10.4.7). We move now to the lower estimate. First, we apply again Theorem 10.3.6 to get
MG(;,o:Y) = Md(z(t):X) > (1 -E)McfA(o.aa)(z(t);X) > (I - e)MFiGng(U.2a1)(F(z(t)): F'(z(t ))X) I del F'(z(r))I
(1 - E)Me (F(z(r)): F'(z(t))X) I det F'(z(t))I
342
X. Comparison on strongly pseudoconvex domains
if 8, is sufficiently small. Moreover, we have the following chain of inequalities for the Bergman kernel (cf. Theorem 10.3.6): KG(ZO, Zo) = Kc(z(t), z(t)) $ Kcne(o.2a)(z(t ), z(t))
= KF((jns(o.2a))(F(z(t)), F(z(t))) I det F'(z(t))12 < Ke+ne(o.s)(F(z(t)), F(z(t))) I det F'(z(t))12
< (1 + E)Ke' (F(z(t)), F(z(t))) I det F'(z(t))12 if 8f is sufficiently small. Combining the last two inequalities we can conclude that #G(ZO:Y)
(1 - E) Mc; (F(z(t)): F'(z(t))X) (1 +E)i/2 KEA (F(z(t)), F(z(t)))
The last step then is similar to the one in the upper estimate, and therefore it is left to the reader. 0
10.5 A comparison of distances Recall that Theorem 10.2.4 has taught us that the quotient cG(zo, z)/kG(ZO, z) tends to one if z approaches the boundary. Moreover, the convergence is locally uniform in the first variable zo. Some more work leads to the fact that the above convergence is even uniform in the first variable. More precisely, we have Theorem 10.5.1 (cf. [Ven I]). Let G be a strongly pseudoconvex domain in C". Then for every E > 0 there exists a compact set K = K(E) C G such that CG (Z', Z") < kG(Z', Z") < (1 + *G W, Z"), whenever z' E G and Z" E G \ K.
The proof of Theorem 10.5.1 needs a very deep result of J. E. Fornaess (cf. [For]) which we state here in a form appropriate for our purposes. Theorem 10.5.2. Let G be a strongly pseudoconvex domain in C". (a) For any to E 8G there exist a domain G' J G, a neighborhood U = C G', a convex domain D CC C" with C2-boundary, and a holomorphic mapping
10.5 A comparison of distances
343
4: G' -> C" which satisfies the following properties:
4(G) C D,
(1)
(iii)
L(U\G)CC"\b, --I (4)(U)) = U,
(iv)
4)Iu is injective.
(ii)
(b) There exist a domain G D G, a bounded strictly convex domain b C CN, and
a holomorphic map *: G - CN such that is biholomorphic onto a closed submanifold of CN, (ii)
>(i(G)Cb andt/r(G\G)CCN\D,
(iii)
*(G) intersects ab transversally.
Proof of Theorem 10.5.1. Let us suppose that the claim of Theorem 10.5.1 does not aG hold. Then we find Co > 0 and sequences (; },,Er . (z;; ),,EN C G with z;'
r-.x
such that (1+Eo)cG(z,,,z,)
In particular, we have z,, 54 z;;. We may assume that lim,,,,,;, z; =: z" E aG and lim,,-x z;, =: Z' E G exist. If Z' E G, then Theorem 10.2.1 and Proposition 10.2.3 imply that
(1+So) <
kc;< -(1/2)logdist(z;;,8G)+C,
---p 1, cG(Z;,, z'') - -(1/2) logdist(;.", 8G) - C2 ,'-.x
which gives a contradiction. If Z' E aG with z' O z" we are led via Propositions 10.2.3, 10.2.6, and Theorem 10.5.2(b) to the following chain of inequalities: ',
(1 +80)
kb(VI(zv),*(zv)) cb(*(zv), (z")) -(1/2) logdist(z,,. aG) - (1/2) logdist(z,;, aG) + C, - -(1/2) logdist(*(z',), 3D) - (1/2) log dist(*(z,'), aD) - C2 CG(Zv.z'V )
1,
Employing *(aG) C ab gives dist('/r(w,,). aD) < C3dist(w,., aG)
for v > 1,
X. Comparison on strongly pseudoconvex domains
344
where w = z;, or w = z;;. Inserting this in the upper inequality leads again to a contradiction. It remains to consider the case that z' = z". According to Theorem 10.5.2(a) we
choose G', U = U(i;o) with io := z' = z", and 4. Put V :='(U); V is an open neighborhood of b E aD and 1b: U -+ V is biholomorphic. Now choose a ball V' around with V' C V and put U' := -b-1(V'). Then U' = C U.
Moreover, D n V' is connected, and therefore G n U' is connected, too. So. for v >> I we obtain
(I + Eo) <
kG(z, Z,,) <
kG(z' ,
(z"))
4'(z)) .
cG(Z', z;;) - kcnu'(z,,
because of Theorem 10.3.4; a contradiction. Therefore, Theorem 10.5.1 is completely verified.
Corollary 10.5.3. Let G be a strongly pseudoconvex domain in C" and let U = be an open neighborhood of io E aG such that G n u is connected. Then lim z'#:
CGnu (z'. z")
= 1.
CG(Z', Z")
Proof. Suppose the contrary. Then there are sequences (Z" ),0, (z' )vEN C G n u, , with CGnu (Z;,, z;;) > (1 + EO)CG (Z;, Z,"). Hence, by Theorem 10.5.1, z;, 56 CG(Z . z;,')(1 +EO)h12 > kG(z', z;;) provided that v >> 1. Thus it follows that (1 +so) 112kG(zV', z') kGnu(,
Z,,.
which contradicts Theorem 10.3.4.
Remark 10.5.4. 10.5.3.
0
0 It would be interesting to find a direct proof of Corollary
10.6 Characterization of the unit ball by its automorphism group The aim of this section is to characterize the unit Euclidean ball in C" by its automorphism group. An even stronger result dealing with unbranched proper holo-
10.6 Characterization of the unit ball by its automorphism group
345
morphic mappings will be presented. Roughly speaking, we will show that if there are sufficiently many unbranched proper mappings between two domains in C", then both domains are biholomorphically equivalent to the unit Euclidean ball.
Theorem 10.6.1 (cf. [Lin-Won]). Let G and D be two bounded domains in C". where G has a smooth C) -boundary, and let q E G. Assume that there exists a D. j E N. with lim j-,, Fj (q) _ sequence of unbranched proper maps F1: G wo E a D. such that D has a strongly pseudoconvexr boundary near w(). Then G and D are biholoniorphically equivalent to the unit ball B.
Before we go into the proof we should mention two consequences which were already announced in the title of this section (cf. [Ham-Sak-Yas], (Ros 11. [Won 11).
Corollary 10.6.2. (a) Any' strongh pseudoconvex domain G C C" is biholomorphlc all equivalent to B" if Aut(G) is not compact. (b) A bounded domain with smooth C2-boundary is biholomorphically equivalent to B,, ijf'the group Aut(G) acts transitively on G. Proof. One has only to recall that any bounded domain with smooth C--boundary admits at least one strongly pseudoconvex boundary point. Then, setting G = D, Theorem 10.6.1 applies.
Remark 10.6.3. Because of Corollary 10.6.2. the only (up to a biholomorphism) strongly pseudoconvex domain with a non compact automorphism group is the unit Euclidean ball. In the case of bounded pseudoconvex domains of finite type there are analogous results by E. Bedford and S. Pinchuk (cf. (Bed-Pin 1.2,31). For example, a pseudoconvex domain G CC C2 of finite type, for which Aut(G) is not compact. is biholomorphically equivalent to a Thullen domain (: E C2: Iz)12 + I:2l2A < 1) with k E N.
Now, we are going to prepare the proof of Theorem 10.6.1 giving a series of various lemmas.
Lemma 10.6.4. Under the assumptions of Theorem 10.6.1 there exists a subsequence (Fj, ),.EN C (Fj with Fj, F E O(G. C"). where F(z) = u,() for every z e G.
Proof. Since D is bounded. there is a subsequence (Fj,) C (Fj) such that F E f)(G. D). In particular. we have F(q) = w,). By hypothesis. the point w)) is a strongly pseudoconvex boundary point of D. Therefore there exist a neighborhood V = V(wo) and a function f E O(V. C) Fj,
346
X. Comparison on strongly pseudoconvex domains
with f (wo) = 1, If (w)I
(10.6.1)
Remark 10.6.5. Observe that this lemma shows that all information about G is already hidden in the shape of D near wo. So, using the local convexity of D at wo, it is easy to deduce that G is a simply connected domain. Since we will not use this fact, we omit the details of the proof. The proof of the next auxiliary result could be based on a certain fixed point theorem from differential geometry which is due to E. Cartan; cf. [He[], Th. 13.5. One only has to observe that the sectional curvature of the Bergman metric of B" is non-positive. Nevertheless, here we give a proof which does not depend on the concept of curvature. Lemma 10.6.6. Any unbranched proper holomorphic mapping r : B,, --> D to a domain D C C" is biholomorphic.
Proof. Since n is proper, it is surjective. So it remains to show its injectivity. Let us suppose the contrary, i.e. the existence of an integer N ? 2 such that ##r-I (w) = N for every w E D. Now fix w* E D and let ,r-1(w*) = (zi, . . . , zN) C B". Then, obviously, N
ro:=inf(r>0: nBk..(zj,r)00} j=1
N
is a positive number. We put K := n Bk., (zj, ro). Observe that K is a non-empty j=1
convex compact subset of B".
Let g C Aut(B,,) denote the finite group of covering transformations for
ir:B"--* D. Then forgEgandzEK we get ka.(zj, g(z)) =
z) = k,,(z+(j), Z) < r0,
i.e. the set K is invariant under the action of g. So K consists of at least N points with N > 2. Let us take two of them, say w', w" E K with w' # w". Since K is convex, the segment w'w" belongs to K.
10.6 Characterization of the unit ball by its automorphism group
347
Because of the minimality of r) and the convexity of kB,(z1. ), we conclude that there is at least one index j)), say jo) = 1. such that kB.(z), w) = ro for every III E
Now, if we look at the formula for kB, = tanh-) (c*.). we immediately see (using the identity theorem for real analytic functions) that kB,(z1. iv) = r() as long as u' and in B". But this contradicts the completeness lies on the line through w' and of B,,.
By virtue of Lemma 10.6.6 it remains to establish that G is biholomorphic to B,,. The idea is to apply the following classification result which is due to C. M. Stanton, cf. [Sta 2]. Proposition 10.6.7. Let G be a bounded pseraloconvex domain in C" with smooth
C' -boundar .Moreover, assume that ya = rG = 7-11~G. Then G is biholonrorphically equivalent to 13,,.
Proof. By Theorem 7.6.5. G is complete with respect to the Bergman distance. So G is a complete Hermitian manifold whose distance is given by kG = ca = i
+)bG' Let us fix a point zo E G and put
13:= it, E C":
1
Observe that B is given by a Hermitian scalar product. so it is obviously biholomorphic to the Euclidean ball B,,. In the next step we will use some well-known facts from differential geometry.
Namely, for any vector t' E C" there exists a uniquely determined C--curve a,.: R - G with a,,(0) = z,) and a,.(0) = v which is a geodesic with respect to the Hermitian structure of G and such that ar,.(t) = a,.(rr). t, r E R. Moreover, there is a small positive eo such that the mapping
4': (tv E C": N(r) < e()) - G with 4'(v) := exp.-,,(v) := a;,(I) is a C"-diffeomorphism onto a neighborhood of zj). Now, we are able to introduce the map F): B - G we will be interested in. We r E 3,,. Note that v -- tank-'(N(v'))/N(t') 4'(tanh-1(N(v)) put Fg(v)
extends to 3,, as a C"-function. Hence F, is a Cl-map near the origin. To see that F, is also holomorphic we want to apply Forelli's theorem (see IRud 21, Theorem 4.4.5). Thus we have to verify that F is slicewise holomorphic.
For if we fix a E C" with N(a) = I. then there exists an extremal analytic disc V E O(E. G) for ra (recall that G is taut) with tp(0) = zo. tp'(0) = a. In
348
X. Comparison on strongly pseudoconvex domains
particular, cp is a complex ca-geodesic. Then, if A E E., we study the C°°-curve at over R defined by a(t) := (p(tanh(tlAI)A/lAI),
t E R.
It is clear that &(0) = zo and &'(0) = Aa. In addition, for positive r we have
kG(zo,&(r)) = p(0,tanh(rlAI)A/IAI) = nIAI = / T MG(a(r);&'(t))dt. 0
Hence & is the shortest curve. In particular, it is the geodesic (starting at zo into direction of Aa), and so we obtain tanh-'(IAI)ka
Fo(Aa) = exp
_&
(tanlc'(IAI)\
Im
77 (p (.X)
IAI
Since A is arbitrary in E we find that the map E 9 A -). Fo(Aa) is holomorphic. Hence Forelli's theorem implies that Fo is holomorphic. The considerations above have also led to the following equality
kG(zo, Fo(a)) = tanh-'(xc(zo;a)),
a E EA.
(10.6.2)
Therefore, Fo is a proper holomorphic mapping from 3 to G. So it is surjective. According to the general properties of proper holomorphic maps, we know that
if M:= (v EBB: detFF(v)=0),then F: go \Fo'(Fo(M))-+ G\Fo(M) is a proper covering map and that Fo(M) is a proper analytic subset of G. On the other hand, (10.6.2) shows that F0 maps xG(zo; )..balls into kc, (zo, )-balls. Thus, generically, the fibres of Fo near zo consist of one element only, which implies 0 that Fo is globally injective.
Remark 10.6.8. The proposition above remains true under slightly weaker assumptions; cf. [Sta 2]. In this context we should also mention the recent work by M. Abate and G. Patrizio [Aba-Pat 1]. The next steps toward the proof of Theorem 10.6.1 consist in successive establishing the assumptions of Proposition 10.6.7.
Lemma 10.6.9. Let G, D, q, wo, and F j be as in Theorem 10.6.1 and (10.6.1). Then G is a pseudoconvex domain.
349
10.6 Characterization of the unit ball by its automorphism group
Proof. Obviously, it suffices to exhaust G by a sequence of pseudoconvex domains. By assumption, the domain D is strongly pseudoconvex near wo. Therefore, we D fl V is biholomorphic to find a neighborhood V = V(w0) of wo such that b a convex domain. Now, we are going to construct sequences (Dk)kWN and (Gk)kEN of subdomains Dk of b and Gk of G, respectively, and a subsequence (Fj,)kEN of (Fj)jEN such that
Fj, (q) E Dk CC Dk+, , Dk is biholomorphic to a convex domain, U Dk = D; k=,
(10.6.3)
x q c- Gk C Gk+1, UGk = G. and Fj, IG, : Gk -+ Dk is biholomorphic. k=I
(10.6.4)
We only indicate the first step of this construction. Without loss of generality we may assume that F, (q) E D. Then we fix an arbitrary subdomain D, CC D with F, (q) E D, such that D, is biholomorphic to a convex domain. We denote by G, the connected component of F, 1(D,) that contains the point q. Obviously. G, is a relatively compact subdomain of G. Moreover, since D, is simply connected and since F, is a covering map. F, IG, is a biholomorphic map between G, and D,: in particular, G, is pseudoconvex. For V E N and for a sufficiently small positive number a we put
G` := (z E G: dist(z, 8G) > a/v} CC G, D,' :_ (w E D: dist(w, aD) > a/v) CC D.
(10.6.5)
(10.6.6)
Then we fix an index j2 > j, := 1 such that Fj_(G, U Gi) CC D. After that we choose a domain D2 CC Din such a way that D, U D*u Fj, (G, U G i) CC D2 and that D2 is biholomorphic to a convex domain. Denote by G2 the connected component of F1.1 (D2) containing q. Then G2 is a relatively compact subdomain of G with G, C G2. Moreover, FJ21(;, -). D2 is biholomorphic and G2 is pseudoconvex. The continuation of this procedure then results in sequences whose existence was postulated.
Now, we turn to the comparison between the Kobayashi-Royden and the Carathdodory-Reiffen metrics on G x C". Lemma 10.6.10. Under the assumptions of Theorem 10.6.1 we have YG = xG on G x C".
350
X. Comparison on strongly pseudoconvex domains
Proof We will use the sequences (DA)AEN, (GA)keN, and (Fj,)AEN from the proof
of Lemma 10.6.9; cf. (10.6.3) and (10.6.4). If (z. X) E G x C", then applying Lempert's Theorem we conclude that
YG(z;X)=Alien yc;A(z;X)=Alien yij,(Fj,(z);Fi,(z)X)
= lien x& (Fj,(z);FjA(z)X) = lim xc;,(z;X) A
ac
A x>
xG(z;X)?Yc;(:.;X
i.e.yc;=xGonGxC". We recall that the Bergman metric is not holomorphically contractible. Nevertheless, the following statement is true. Lemma 10.6.11. If G C C C" is the union of an increasing sequence of subdomains GA, then PG = lim&-x PGA.
Proof We already know (cf. Theorem 6.1.15) that lim&., KG, = KG. It remains to prove that limA-.,o MG, = MG; cf. Theorem 6.2.5 and Remark 6.2.7. But this convergence is a simple consequence of Montel's argument. The details are left to the reader. Finally, we are in a position to complete the proof of Theorem 10.6.1.
Proof of Theorem 10.6.1. First, we recall that G is a pseudoconvex domain with smooth Cl-boundary for which yG = xG holds. To apply Proposition 10.6.7 it
suffices to verify that xc; _ fG/ n + 1 on G x V. Now fix z E G and X E (0), Moreover, choose a strongly pseudoconvex
domain b C b in such a way that D f1 U C D. where U = U(vu) CC V is a sufficiently small neighborhood of w,) and such that b is biholomorphically equivalent to a convex domain. Here D and V are taken from the proof of Lemma 10.6.9.
We denote by G', the domains of (10.6.5) and by b,* the domains corresponding to (10.6.6) defined now with respect to b instead of D. We are going to slightly modify the construction of the sequences (GA)Ac-N, (DA )AEN, and (Fj, )AEN; cf. Lemma 10.6.9.
10.6 Characterization of the unit ball by its automorphism group
C GR CC G. Di C
Assume that we have constructed subdomains Gt C C DA CC D. and mappings (F,,)A,-t satisfying
(a)
zEG; CG,.+i.
(b)
Fj, 1i:.: G,.
I-
(c)
1
1
(;)X)
<
3v
351
< I +2v- .
3D.(FJ,(`);F,,(z)X) -
--
1 < v
where S=x. y, or #. Next. we choose an index jj_' > jA such that FJ,-, (GA U GA) CC D n U. Moreover. we take a domain DA+i CC D with DA CC DA+t in such a way that DA+i D D,' U Fj,_, (GA U GA. ). that DA+t is biholomorphic to a convex domain. and (c) becomes true for v = k + 1. The further construction goes as before. Then we have the following chain of equalities:
fa(::X) = Yc(c:X) 0 lim
= lim
X) = lim fi (Fj,(:):FF,(:)X) Ye',(z;X) A--- yn,(Fi,(z):F),(z.)X)
Iim
A
(Fi,(z):Fj',(:)X) Y,)(Fj(:):FF,(z)X) lim lim X F, ' F F F X A
A
8i)(Fj,(z);Fj,(z)X)
=
A-1 yc)(F,, (z): F1, (--) X) (.)
F
F'
X
rt+1.
where (*) is a consequence of Theorems 10.4.2 and 10.4.6. Since z and X are 0 arbitrary, we find drawing on Lemma 10.6.10 that yu = xG = fc;/ n + I.
Remark 10.6.12. According to a result due to S. Pinchuk (cf. [Pin[) it is known that any proper holomorphic mapping between strongly pseudoconvex domains in C" is unbranched. Therefore, the formulation of Theorem 10.6.1 becomes very simple if G and D are assumed to be strongly pseudoconvex domains.
352
X. Comparison on strongly pseudoconvex domains
Notes
Most of the results in this chapter are based on the existence of precise solutions of the 5-equation on strongly pseudoconvex domains; cf. for instance, [Hen-Lei] and [Ran 21 for detailed information. The results on the boundary behavior of the Carathe odory and Kobayashi distances are mainly taken from the work of M. Abate [Aba I J and F. Forstneri & J.-P. Rosay [For-Ros]. They lead to a weak form of the beautiful extension theorem of C. Fefferman [FefJ; see also [Bel-Ligi. More general results are also true for proper holomorphic mappings. The book of K. Diederich and I. Lieb [Die-Lie] may serve as a source of further information; see also [For]. The boundary behavior of the Carathe odory-Reiffen (resp. the Kobayashi-Royden) metric was studied by 1. Graham [Gra 11, G. Aladro [Ala], and recently by D. Ma [Ma 1,2,31. In Chapter 10 we tried to follow the estimates given by D. Ma. The analogous results for the Bergman metric are due to L. HOrmander [Hdr I J and K. Diederich [Die 1,21. In the case of domains that are of finite type the boundary behavior of the metrics is studied by D. Catlin [Cats; see also [Her 41. The characterization of the unit ball by its automorphism group was initiated by B. Wong [Won 1 ] and J: P. Rosay [Ros I]. The general formulation given here is due to E. B. Lin and B. Wong [Lin-Won]. Recently, much effort is done to generalize this result by substituting the unit ball by complex ellipsoids as model domains; e.g. see [Kod-Kra-Maj.
351
Exercises 10.1 (cf. [Ma 3]). Define G := {z E C2: - 2Re(z1 +:1:2/2) + Izi + ziz2/212 + Iz212 < 0).
(a) Using (zi, z2) -# (zi - I + zIZ2/2, z2) prove that G is biholomorphic to 132.
(b) For z(t) := (t,0) and X(t) := (,17, 1). where t a small positive number, calculate the Kobayashi-Royden metric as
XG(z(t);X(t))=
3t+1;1=-3t2/4 21-t2
(c) Compare this formula with the estimate stated in Remark 10.4.4.
10.2 (cf. [Kra 2]). For 3/4 < t < 1. in := 1/(2 - 2t). put G, := {z E C2: 1 < Izi 12 + Iz21' < 4).
Note that G, is a domain with smooth C2-boundary. Prove that there exists C > 1 such that for points z(3) := (-1 - S. 0) E G, and X (1, 0) (S small) the following inequalities are true:
(1/C)dist(z(S), 8G,)-' < x(;,(z(S); X) < Cdist(z(S), aG,)-'.
(*)
Compare (*) with Theorem 10.4.2.
Hint. Use the analytic disc (P E 0(E, G,), 4(A) := (-1 - S + (S'/l0)A, )'2), for the estimate from above. Observe that for any V = (VI, 402) E Q(E, G,), 4(0) = z(S), aV'(0) = X (a > 0). the function g(A) A E E, has its values in the annulus (I E C: 1 - S < IXI < 41.
10.3. Let G be any bounded domain in C2 with smooth C2-boundary. Show that there are positive numbers Eo and C such that whenever z E aG and t E (0, so), then z-tv(z) E G and xG(z-tv(z); v(z)) > Ct" 31x, where, as usual, v(z) denotes the unit outer normal of G at z.
Hint. Use the shells B(z + eov(z), R) \ B(z + eov(z). co) D G as comparison domains.
354
X. Comparison on strongly pseudoconvex domains
10.4 (cf. [Ran 1]). Let G :_ (z E C3: IzlI2 + Iz212 + Iz314 < 1)
and put X := (0, 1, 0), X* := (0, 0, 1). Prove that yo(z; X) and yc(z; X*)
disc(-, aG)-'12 dist(z, aG)-1 14 if z __> (1, 0, 0) along the inner normal to aG at
(1,0,0). 10.5 (cf. [Die-Lie]). Let F: Gi -* G2 be a proper holomorphic mapping between bounded domains with smooth C2-boundaries in C". For S = y or S = x assume that
(a) there exist C, e > 0 such that dist(F(z), aG2) < Cdist(z, aG, )s, z E GI; (b) there is q > 0 with So2(w; X) > CIIXII dist(w, aG2)-", w E G2, X E C". Prove that F extends continuously to 61.
Miscellanea
As we have already mentioned in the Preface, we collect here various topics which belong to the theory, but which are somehow outside the main stream of the book. We report (without proofs) on the following problems: A: Lie structure of Aut(G), B: holomorphic curvature,
C: fixed points of holomorphic mappings and boundary regularity of complex geodesics, D: criteria for biholomorphicity, E: boundary behavior of contractible metrics in weakly pseudoconvex domains.
A The automorphism group of bounded domains Let G be a bounded domain in C". Then the Carathe odory distance CG defines the standard topology of G. If the automorphism group Aut(G) of G is provided with the compact-open topology, then Aut(G) carries the structure of a real Lie group. This result is due to H. Cartan (cf. [Cart 11). Here we discuss a method of proof which uses invariant distances (cf. [Kob 41). We define
lso, (G) := 10: G -+ G : ¢ is a bijective CG-isometry). Then, according to a result of van Dantzig and van der Waerden (cf. [Dan-Wae]), Iso,(G) provided with the compact-open topology is a locally compact group. Moreover, Aut(G) is an effective transformation group of G, i.e.
4: Aut(G) x G
G, 4(g, z) := g(z),
g E Aut(G). Z E G
is continuous with (i) (ii)
(iii)
4'(g: 'D(g1, Z)) = 40(92 a gi, z), g f E Aut(G), z E G; 4;(idG, Z) = z. Z E G; idG is the only group element satisfying (ii).
Miscellanea
356
Obviously, c(g, ) describes a CZ-transformation of G. Therefore, we can apply the following theorem of S. Bochner and D. Montgomery (cf. [Boc-Mon], [Mon-Zip]).
Theorem A.I. Let G be a locally compact effective transformation group of a connected C'-manifold M (i.e. 4: G x M -+ M as above) and let each transformation 'F(g, ): M --> M be of class C'. Then g is a real Lie group. Summarizing we obtain
Theorem A.2. The autontorphism group Aut(G) of any bounded domain G in C" is cr real Lie group.
We only mention that the Lie-structure of Aut(G) is often used to study the biholomorphical equivalence problem for classes of domains in C".
B Holomorphic curvature A thorough study of the Ahlfors-Schwarz Lemma in Chapter I leads to the conclusion that this result can be thought of as one from differential geometry, where the notion of curvature is mainly involved. To be able to deal with metrics, which are only upper semicontinuous, we first introduce the notion of the generalized
(lower) Laplacian. Let G c C be an open set and let u: G -- R be an upper semicontinuous function. Then
/
(su)(A) := 4 lim inf ' 12I
Jo
u(A + re'N)dO - u(A)) E [-oo, 001
is called the generalized Laplacian of it. If a is of class C2. then Du coincides with the standard Laplace operator. Moreover, if a general u takes a local maximum at Xo E G, then, as usual, (Du)(Ao) < 0. By means of this generalized Laplacian we introduce the notion of holomorphic curvature (cf. [Suz 1], (Won 2]). Namely, let G be a domain in C" and let Sc : G x C" -* [0, oc) denote an upper semicontinuous pseudometric on G. Then
the holomorphic curvature of SG at (Zo; X) E G x (V). with Sa (cc; X) > 0 is defined as the number h-curv(zo; X; SG)
sup
([alogS (gp;(p'))(0)
f
-2S3(zo, X)
. r > 0, V E 0(rE, G), v(0) _ ;.c, (p'(0) = X
II t-tolomorphic curvature
357
Obviously, if SG (zo; X) > 0, then
h-curv(zo;X;SG) = h-curv(zo;X/IIXIIe'O;SG),
GE R,
i.e. the holomorphic curvature only depends on the complex direction of X. Moreover, the holomorphic curvature is a biholomorphic invariant when it is considered with respect to holomorphically contractible metrics. For the Caratheodory-Reiffen and the Kobayashi-Royden metrics the following estimates are true (cf. [Suz I], [Won 2]).
Theorem B.1. (a) For any y-hyperbolic domain G C C" we have the following inequality: h-curv(.; ; yG) < -4 on G x (C"),,. xG) > -4 on G x (C").. (b) If G denotes a x-hyperbolic domain, then As a consequence of the Lempert Theorem we obtain the following corollary.
Corollary B.2. For a bounded convex domain G in C" the holomorphic curvature with respect to yG and xG is identically equal to -4. Now, we rewrite the Ahlfors-Schwarz Lemma of Chapter I in terms of holomorphic curvature.
Theorem B.3. Let G be a domain in C" and let SG be an upper semicontinuous metric on G (recall that SG (z; ,kX) = I A I SG (z; X) and SG (z; X) > 0 if X
0). If we
assume that h-curv(.; ; SG) < -c2 < 0 on G x (C" )., then the following inequality holds: SG(Z; X) < (2/c)xG(z; X),
Z E G, X E (C")..
A proof of this theorem can be found, for example, in [Din]. Theorem B.3 gives a tool, at least theoretically, to find comparison results for general metrics and the Kobayashi-Royden metric. Since it seems to be very difficult to estimate the holomorphic curvature in general, we restrict ourselves to the case of Hermitian metrics, in particular, to the Bergman metric.
Lemma B.4. Let G C C" and let SG(z;X) = (Eij=I gij(z)XiXj]1122 be a Hermitian metric on G with gij E C2(G) (z E G, X E C"). Then the holomorphic curvature of SG at (Zo; X) E G x (V). coincides with the holomorphic sectional curvature at zo in the direction of X, i.e. n
h-curv(zo;X;SG) = -2
Rijkl(z)XiXjXkXI/SG(ZO;X), i. j.k.l =1
(B.1)
Miscellanea
358
where
Rij,u(z) : =
ag1
(z) azk a,
n
a.6=
$i (z)g°` a
z)
a$p!
au
)
with (ga1(z)(g,j (z)) being the unit matrix.
Formula (B.1) can be found in [Won 2) and [Wu 2]; for a more explicit calculation compare [Aba-Pat 21. In the case of Thullen domains (complex ellipsoids) K. Azukawa and M. Suzuki
(cf. [Azu 2], [Azu-Suz]) found upper and lower estimates for the holomorphic sectional curvature of the Bergman metric, and therefore for the holomorphic curvature.
Theorem B.S. Let De := 6(l, 1/p) = {z E C2: Izil2 +
1), p > 0, and
Do := {z E C2: Izi I < 1, Iz2I < 1). Then the following inequalities are true:
(a)for0
(1 +2p)2
< 1 .h-curvz,X;PG) < 2
(
_2(2+llp+15p2+8p3) (2+ p)(1 +3p)(4+5p)
(b) for p > 1:
2(2+llp+15p2+8p3) (2+p)(1+3p)(4+5p)
< 1 .h-curv(z;X;Pc):5 _ 2
2 2+p
Remark B.6. The above theorem shows that for all D. p > 0, the holomorphic curvature of the Bergman metric is bounded from above by a negative constant. But, in general, such an estimate does not remain true for all complex ellipsoids. For example we have limp,o supX O h-curv(O; X ; &,(p, p)) = 4, where £(p, p) _ (z E C2: Izt I2P + Iz212p < 1) (cf. [Azu 2]).
Applying Theorems B.3 and B.5 we obtain a comparison between the Bergman metric and the Kobayashi-Royden metric on Thullen domains Dp. As Remark B.6 shows, Theorem B.3 cannot be used to get comparison for general complex ellipsoids. Nevertheless, using the localization for the Bergman and the KobayashiRoyden metric, one is led to the following result (cf. [Hah-Pfl 2]).
Theorem B.7. For p > 0, q > 0 there exists a positive constant Cp,q such that !3e(p,q)(Z X) < Cp,q) E(p.q)(Z; X ). Z E C(p, q), X E C.
C Complex geodesics
359
0 We do not know whether such a comparison is true for all pseudoconvex balanced Reinhardt domain in C2. Moreover, it seems to be open whether Theorem B.7 remains true in higher dimensions. 0 Evaluating Theorem B.5 in the case p = 1, i.e. D, = B2, gives
-4/(n + 1). -4/3. In general, it is easily seen that The following result of P. Klembeck (cf. [Kle]) again illustrates the affinity of strongly pseudoconvex domains to the ball.
Theorem B.8. Let G C C" be a strongly pseudoconvex domain with C'-boundary. Then, near the boundary of G, the holomorphic curvature of the Bergman metric
approaches the constant value -4/(n + 1) of the holomorphic curvature of the ball B".
The proof of Theorem B.8 relies on the asymptotic formula for the Bergman kernel due to C. Fefferman (cf. [Fef]).
C Complex geodesics Lempert's Theorem (Theorem 8.2.1) is a powerful tool of complex analysis on convex domains. There are various applications of this result. For example, we have
Theorem C.l (cf. [Vig 4]). Let G C C" be bounded convex domain and let M be an analytic subset of G. Then the following conditions are equivalent: (i) there is a holomorphic mapping F: G -+ G such that M = {z E G: F(z) = z); (ii) there exists a holomorphic retraction r : G - M. The proof of Theorem 8.2.1 we present in the book is based on the ideas taken from [Roy-Won]. Our proof is much more simpler and elementary than the original proof by Lempert (cf. [Lem 1,2]). On the other hand, Lempert's results on regularity
of complex geodesics are deeper and his methods may be also applied to more general situations. For instance, we have Theorem C.2 (cf. [Lem I]). Let G C C" be a strongly convex domain with CAboundary, where 3 < k < w. Then (a) any complex geodesic cp: E -+ G extends to a CA-2-mapping on E; (b) if h is a mapping as in (8.2.19), then h extends to a CA-2-mapping on E; (c) if k > 6, then kG is a CA-4 -function on G x G \ diagonal.
In [Lem 3] L. Lempert generalized his results from [Lem 1,2] to the case of strongly linearly convex domains (where our methods do not work). Abounded
Miscellanea
360
domain G C C" given by a defining function r E C2 is called strongly linearly convex if n
(cr)(a; X) > I
a
p.v=i
a
2
az' (a)X,X,I,
aEaG.X=(X,,...,X")E(C")swith
azo
(a)X,=0.
Example C.3. Any strongly convex domain is obviously strongly linearly convex but not vice versa. For we put
G := [z = (zi,
..., zn) E C": IIz112 + (Re(z' ))2 < 11.
Then G is a strongly linearly convex domain (with C'O-boundary) but not convex. We do not know whether G is biholomorphic to a convex domain.
0
0
Theorem C.4 (cf. [Lem 3]). Let G C C" be a strongly linearly convex domain with Ck-boundary, where k E loo, w}. Then: (a) CG = kG = kc. YG = xc,
(b) complex cc-geodesics are uniquely determined modulo Aut(E), (c) complex yc-geodesics are uniquely determined modulo Aut(E), (d) any complex geodesic extends as a Ck-mapping to E.
Recently, new approaches to complex geodesics were proposed by J. Agler ([Agl]) and Z. Slodkowski ([Slo]). For instance, using the methods of dilatation theory Agler proved the following generalization of Theorem 8.2.1. Theorem C.5 (cf. [Agl]). Let G C C" be a bounded domain and let zo, zo be points in G, zo 0 za. Then there exist a holomorphic mapping (p: E --> cony G and points Ao, X"0 E E such that zo = v(Aa). zo = tp(Ao), and cc(4, zo) = P(k', 0I0 ")-
In the meantime C. H. Chang, M. C. Hu, and H.-P. Lee studied complex geodesics for points in the closure of a domain. Let G be a taut domain in C" such that cc = kG (and yc = xc; cf. Proposition 8.1.5). Let 4. zo' E G, zo 0 zo'. We say that a complex geodesic gyp: E -- G is a complex geodesic for (z4, zo') if (p extends to a continuous mapping on k with zo, z4' E (p(E). Similarly, if zo E aG
and X0 E (C"), then we say that a complex geodesic rp : E -+ G is a complex geodesic for (zo, Xo) if cp extends to a CI-mapping on t such that there exist Ao E aE and ao E C with zo = V(o) and aov'(Ao) = Xo. Theorem C.6 (cf. [Cha-Hu-Lee]). Let G C C" be a strongly linearly convex domain with Ck -boundary.
D Criteria for biholomorphicity
361
(a) If k > 3, then for any points zd. zo E G with z' # zo there exists exactly one (modulo Aut(E)) complex geodesic for (zo, zp).
(b) If k > 14, then for any zo E 8G and for any Xo E C" with iXo E TZ(aG), (Xc, v(zo)) > 0, where v(zo) denotes the outer normal vector to 8G at zo, there exists exactly one (modulo Aut(E)) complex geodesic for (zo, Xo).
If G is not strongly linearly convex, then the above theorem is not longer true (even if G is strictly convex).
Theorem C.7 (cf. [Cha-Lee]). Let E = £(p) be a complex ellipsoid in C" with p = (P1. ... , p") E N". Suppose that £ is not strongly convex (i.e. p 9 (1, ... , 1); c f . Remark 8.4.1). F i x z o := (1, 0, ... , 0) E M.
(a) Let 4 _ (l;i,
.
. .
, ,,) E a£ \ (zo}. Suppose that either p, = I or j E {0} U aE.
Then there exists a complex geodesic for (z , 4). (b) There exists a function M : [0, 1) -* R,o such that if z0" I), then (z . z) admits a complex geodesic. 2:1=2 I jI2p; <
(c) If p, > 1, then there exists a point z E a£ (resp.
E £) such that
E £ and zp )
admits at least two non-equivalent complex geodesics.
D Criteria for biholomorphicity Criteria for biholomorphicity (cf. §8.7) were studied by several authors. There are two main streams of problems.
I° We are given two domains G1, G2 C C" and a holomorphic mapping F: GI -+ G2 such that F is a 8-isometry at a point a E G,, where 8 E (y, x). We would like to decide under what conditions F is biholomorphic; cf. Proposition 8.7.2.
21 We are given a domain G C C" and a point a E G such that yG(a; ) _ xG(a; .). We would like to decide whether G is biholomorphic to the indicatrix 1G (a) := (X E V: xG(a; X) < 1); cf. Proposition 10.6.7. Note that IG (a) is biholomorphic to B,, if the mapping C" 9 X -> xG (a; X) E R+ is a Hermitian form. In direction 1° we mention, for instance, the following result.
Theorem D.1 (cf. [Bell). Let G C C" be a bounded c-complete domain and fix
a E G. Let q: C" --* R+ be a C-norm and let B := (z E C": q(z) < 1). Suppose that F : G -* B is a holomorphic mapping such that xB (F (a ); F' (a) X) _ xG (a; X), X E C". Then F is biholomorphic.
362
Miscellanea
Problems of direction 2" are more difficult than those of I". We would like to mention the following results (in the chronological order). Theorem D.2 (cf. [Sta 11). Let G C C" be a c-finitely compact domain. Suppose
that yG (a; ) = xG (a; ) for a point a E G and (X E C": yd; (a; X) < 1
E.
Then the domain G is biholomorphic to E".
Theorem D.3 (cf. (Sta 2]). Let G C C" be a complete hyperbolic domain. Suppose
that yG (a; ) = xG (a; ) for a point a E G and suppose that yG or XG is a CO° Hermitian metric on G x V. Then G is biholomorphic to B".
Theorem D.4 (cf. [Pat]). Let G C C" be a strongly convex domain with C'°bou ndary. Then the following conditions are equivalent: (i) G is biholomorphic to B"; (ii) there exists a E G such that the function G 9 z -->
is of class C'°; (iii) there exists a E G and its neighborhood U such that xc; is a C'° Hermitian metric on U x C". We say that R is a real ellipsoid in C" if, after a C-linear change of coordinates, 7Z may be written as
R= ((:i.....<,,) EC":
, (Iz;I'+AjRe(zj)) < I]. i=1
where 0 < Ai < 1. j = 1..... n.
Theorem D.S (cf. [Kay]). Let ?Z C C" be a real ellipsoid. Then R is biholomorphic to B,, iff xR (0; ) is a Hermitian form.
Theorem D.6 (cf. [Aba-Pat 11). Let G C C" he a taut domain. Suppose that a E G is such that:
- yG(a. ) = xG(a; ) - there exists a neighborhood U of the point a such that xG is a C" function on U X (C" \ (Q}).
- the indicatrix I (a) is strongly there exist 0 < ri < r2 and a biholomorphic mapping 4) : Bx,; (a. r,) - Bc,; (a, r2) such that 4)(a) = a. Then G is biholomorphic to XG (a).
Theorem D.7 (cf. [Aba-Pat 11). Let G C C" be a taut domain. Then G is hiholomorphic to B. if there exists a point a E G such that y(, (a; ) = xG (a; ) and xG is a C'° Hermitian metric.
E Boundary behavior of contractible metrics on weakly pseudoconvex domains
363
Theorem D.8 (cf. [Tis]). Let G C C" be a strongly pseudoconvex domain with simply connected boundary. Then the following implications hold.
(a) If aG is C°° smooth and xr is a Hermitian metric in a neighborhood of 8G. then G is biholomorphic to B,,. (b) If aG is C2 smooth and xr is a C" Hermitian metric in a neighborhood of 8G, then G is biholomorphic to B. (c) If aG is smooth real analytic and xc, is a Hermitian metric in a neighborhood of a boundary point, then G is biholomorphic to On.
E Boundary behavior of contractible metrics on weakly pseudoconvex domains In Chapter X we discussed estimates from below and above for the Bergman, Carathdodory, and Kobayashi metrics near the boundary of strongly pseudoconvex domains. For various purposes it is worthwhile to know similar estimates also on pseudoconvex domains that are not strongly pseudoconvex. In dimension two the following result is due to E. Bedford and J.-E. Fornaess.
Theorem E.1(cf. [Bed-For 2]). Let G be a bounded pseudoconvex domain in C2 with smooth real analytic boundary. Then there exist C > 0 and 0 < e < 1 such that YG(z: X) > C11 X II(dist(z. aG))-F.
z E G, X E C2.
The necessary information for this inequality is taken from the construction of peak functions (cf. [Bed-For I ]). In the case where, in addition, G is convex the following result due to M. Range is true even in arbitrary dimensions. Theorem E.2 (cf. [Ran I ]). Let G be a bounded convex domain in C" with smooth real analytic boundary. Assume that G is given by G = [z E C" : r(z) < 0 } with a defining function r. Then there are positive numbers C and e < I such that
yG(z;X) > C(
IIXII
+ IE"_, (ar/az,,)(z)XI).
dtst(z. aG)8
dist(z, aG)
Z E G, X E C".
We only mention that the exponent a in Theorem E.2 is somehow related to the order of contact certain supporting analytic hypersurfaces have with 0G. It is still open whether the estimates in Theorem E.1 remain true in higher dimensions.
0
Miscellanea
364
For arbitrary dimensions a lower estimate for the Kobayashi-Royden metric has been found by K. Diederich and J.-E. Fornaess.
Theorem E3 (cf. [Die-For 1 ]). If G is a pseudoconvex domain in C" with smooth real analytic boundary, then for suitable C > 0 and s > 0 the following inequality is true
xG(z; X) > C dist(z, aG)-E,
Z E G, X E C".
Details can be also found in [Die-Lie]. As a consequence (cf. Exercise 10.5) one can prove that any proper holomorphic mapping F : G, -+ G2 is Htllder continuous on G1, where G, CC C" is a pseudoconvex domain with smooth C2-boundary and G2 CC C" is pseudoconvex with smooth real analytic boundary. Now, we come back to C2. We assume that a bounded pseudoconvex domain
G C C2 is given by G = {z E U fl G : r(z) < 0), where U = U(aG) and r E CI(U, R) with dr(z) # 0, z E U. A boundary point Co of G is said to be of finite type m if
m=sup{ordoroV: 4PEO(E,C"),9(0)=Co,V'(0)#0]. For more information about points of finite type see [Blo-Gra] and [Koh]. For simplicity, we will assume that Co = 0 and (ar/az2)(0) 0 0. Then for z near Co we put
Li(z):= (1,
ar (z)/ar (z)),
(*)
L2(z) :_ (0, 1).
Obviously, L, (z) and L2(z) form a basis of C2. Moreover, for j. k E N we set (Gj.k)(Z) a ar
azl - (azj
ar a a (z)l FZ2 (z)) lj-1I
az2az,
ar
- (az,
ar a (z)/ az2az2 (z))
]k-'
(Gr)(z; L i (z))
Observe that the assumption on the type implies that
if j + k < m,
(Cj,k)(0) = 0 54 0
for at least one pair (jo, ko) with jo + ko = m.
By means of the U k's, for I E N and z near 0 we define C,(z) := max{I(Gj,k)(z)I : j + k = I).
E Boundary behavior of contractible metrics on weakly pseudoconvex domain,
365
If now X is an arbitrary vector in C2 and if z is near 0, we have the following unique representation of X: X =: Xl(z)Ll(z) + X2(z)L2(z). With this notion in mind we finally define M
MM(z; X) := IX2(z)IIr(z)I-I + IXI (z)I > ICr(z)/r(z)11"'. !_2
After these preparations we can describe the size of the metrics in the following "small constant-large constant" sense. These estimates have been found by D. Catlin.
Theorem E.4 (cf. [Cat]). Let G be a pseudoconver domain with C°°-bouiulary. Assume that o is a boundary point of G of finite type m (we may suppose that (*) is satisfied). Then there exist a neighborhood U = U (to) and positive constants c and C such that for all z E G n U and all X = X, (z)Ll (z) + X2(z)L2(z) E C22 we have
CM.(z;X) <SG(Z:X)
We mention that if G is a bounded convex domain with smooth C^`-boundary
in C, n arbitrary, and if o E dG is a boundary point of a suitable finite linear type, then a similar "small constant-large constant" estimate has been established by J.-H. Chen [Che]. But, in general, the boundary behavior of contractible metrics on weakly pseudoconvex domains in C", n > 2, seems to be unknown except for special cases. We conclude this section with a recent result of G. Herbort into this direction. Let G be a domain in C", n > 2, which is given by
G:=(z=(z,, z)EC"=C' xC"-' :Rez,+P(;,) <0), where P is a real-valued psh polynomial on C"-' without pluriharmonic terms. We say that G is of homogeneous finite diagonal type if:
(a) there exist mj E N, 2 < j < n, such that P(t'/2i:Z2,
,
tl/2m"
4,) = tP(z),
Z = (Z2, ... Z,+) E
C"-', t > 0;
(b) P(z) - 2s J'j=2 Iz.;I`'", is psh on C"-' for a suitable s > 0.
Miscellanea
366
To be able to formulate the final result, the following auxiliary functions are needed: r
A,.j(z) := max(I 8za
8z!
2 < j < n, 2 < 1 < 2m j;
(z)I : v, µ E N, v + it = 11, 2mj
Ar
j C1(z) := f (_r(z))t/r,
2<j
r=2
MG(z;X) := I, az (z)X/VIr(z)I +ECj(z)IX3I, !=1
Z E G, X
E C".
j=2
'
Under the additional hypothesis that any term of P contains at most two of the . , z,,, the following comparison between MM, yc , and xG is true.
variables Z2,
Theorem E.5 (cf. [Her 4,5]). Suppose that G :_ (z E C" : Re z, + P(z) < 0) is a domain of homogeneous finite diagonal type and suppose that P has the form
P(z2,... , z") = F,Pj(zj) + E Pjk(zi, zk) j=2
,
2<j
where Pj, Pjk are real-valued polynomials and where for j c k we have
a-
Pjk(zj,zk) _
ZkrZ-ks
capyBZ7
.
a+ti>_ 1, y+b> I
Then there exist positive constants c and C such that
cMG(z; X) <_ S0(z; X) < CM;(z; X),
z E G, X E C",
where Sc = yc, SC = xc, or 8c = $c A particular case of Theorem E.5 is contained in [McN].
Appendix
HF Holomorphic functions References: [Chi], [Con], [Gun-Ros], [Kra 1], [Ran 2]. Since the whole book is based on the classical Schwarz Lemma, this lemma should be given first.
HF 1 (Classical Schwarz Lemma). Any f E O(E, E) with f (0) = 0 satisfies If (A)I < IAI for all A E E and I f'(0) I < 1. Moreover, if If (Ao)I = IAoI for at least
one Ae E E. or if I f'(0) I = 1, then f is just a rotation, i.e. f (A) = e'"A, A E E, where 0 is a suitable real number.
HF 2 (Classical Schwarz-Pick Lemma). If f E O(E. E), then A' - A" 1 -X"A' I
f (A,) 1-
If {
I
1
1 - IAIz'
1- If P-111'
'
1',X" E E.
(HF.1)
A"
(HF.2)
E E.
Moreover, if there are A', A" E E. A' 34 A", (resp. A" E E) such that equality holds in (HF.1) (resp. in (HF.2)), then f is of the form
f (A) = e'"
A
with a suitable 0 E R.
Recall that the proof of HF I is based on the maximum principle and the theorem on removable singularities. Therefore, the Schwarz Lemma remains true in more general situations; for example, compare PSH 22.
HF 3 (Fatou). Let f be a bounded holomorphic function on E. Then for almost all E 8E the function f has a non-tangential limit at 2;, i.e. the limit
f`W = lim f(A) = k-C a
f(A)
Appendix
368
exists and is independent of a > 1, where
{A E E: IA -1; J < a(I - Al)). I
HF 4 (Little Picard Theorem). Except the constant function there is no entire holomorphic function f E 0(C) omitting two different complex numbers as values.
HF 5. Any proper holomorphic map f E 0(P, P), where P := {x E C: 1/R < Al I< R}. R > I. is biholomorphic.
For a proof the reader is referred to Theorem 14.22 in [Rud 11 and asked for the necessary modifications of the proof there. HF 6 (Theorem of Bohr, cf. [Boh]). Any continuous injective function on a domain G C C is holomorphic or antiholomorphic if for every zo E G the following limit exists: lim f (z) - f (zo) E (0. oo).
Observe that the assumption "injective" is important here as the following example shows: f(~(A
Sl l
if lm'X >0 if Im'l < 0
The two papers [Gra-Mor] and [Trot may serve as a source of helpful information about HF 6 and similar questions.
A holomorphic covering is a holomorphic map n : MI -+ M2 between two connected complex manifolds satisfying the following property:
any point wo E M2 has a neighborhood U = U(wo) such that ,r (U) is the union of pairwise disjoint open subsets V; of MI with rr l v, : V; -a U being biholomorphic, i E 1; Jr is called the projection map.
HF 7 (Uniformization Theorem). Let G be an arbitrary domain in C. Then there exists a holomorphic covering 7r: M -+ G, where M is either C or E. such that for any other holomorphic covering n : Al - G and for any points z' E M, z' E Al with 2r(z') = there is a unique holomorphic map f : M -+ M satisfying
ito f =stand f(z')_:'.
Recall that it : M -> G is uniquely defined up to a biholomorphic mapping commuting with its projections; rr : M
G is called the universal covering of G.
369
HF Holomorphic functions
In short, the above result says that any domain G in the plane has E or C as its universal covering.
So far we have collected the main results from the classical complex analysis of the plane which were applied in this book. Now, we discuss a few results from several complex variables. HF 8 (Hartogs' Theorem). A function f : G --> C, where G is a domain in C", is holomorphic if it is holomorphic in each variable separately, i.e. if z° E G and I <
j < n are fixed, then the function f (z°, ..., z°_1, , z°+1.... , z") is holomorphic on the open set (A E C : (z°, ... ,
Z9
zn) E G).
HF 9 (Montel). Any locally bounded family .F of holomorphic functions on a domain C .F has a subsequence (f,,, )t EN that G C C" is normal, i.e. any sequence (f,
converges locally uniformly to an f E O(G). HF 10 (Holomorphic extension). Let G be a domain in C".
(a) If K C G is a compact subset of G such that G \ K is connected, then any f E O(G \ K) extends to an f E O(G), i.e. fIG\K = .fIG\K (b) If F C G is a closed (with respect to G) subset of G with H2"-2(F) = 0, then any f E O(G \ F) has a holomorphic extension to G.
(c) If F C G is as in (b) and Hen-'(F) = 0, then every f E HOD(G \ F) is holomorphically continuable to the whole G.
In particular, we recall that any proper analytic subset of G satisfies the condition in (c). Therefore, the classical Riemann Removable Singularity Theorem is a particular case of (c). HF 11. Let G and G be domains in C" such that any bounded holomorphic function
on G extends to a holomorphic function f on G with fIG = f IGo, where G° is a fixed non-empty open subset of G fl G. Then II f III
II f 11 G
HF 12. Any distribution T (in the sense of L. Schwartz) on G C C" with aT = 0 is given by a holomorphic function f, i.e. < f, (p > = < T, V > for all test functions
tpECO(G). We denote by Lt2,(G) the set of all square integrable holomorphic functions on a domain G. HF 13 (Holomorphic extension for L2-holomorphic functions). Let A be a proper analytic subset of a domain G C C". Then any function f E Lh (G \ A) extends to a holomorphic function on G.
Appendix
370
HF 13 can be found in [Ran 2] as exercise E 3.2; a proof of it is contained, for example, in [Bell 1].
HF 14. Let G; C C"' be arbitrary domains, j = 1, 2. Then N
{Ef1gi:NEN,ffEO(G1),giEO(G2),1 <j
is a dense subset in O(G 1 x G2) with respect to the topology of uniform convergence on compact subsets.
A proof of HF 14 may be found in [Nar 11, Ch. I, §5.
PSH Subharmonic and plurisubharmonic functions References: [Kli 3], [Rad].
For an open set G C C', an upper semicontinuous function u : G [-oo, +oo) is said to be subharmonic (shortly sh) if for every relatively compact open subset
Go of G and for every function h, continuous on do and harmonic on Go, we have: if u < h on BGo, then u < h on Go. We will write: u E SH(G). Now let G C C" be open. An upper semicontinuous function u : G -- R, is called plurisubharmonic (psh) on G if for each a E G and X E C" the function
{XEC:a+XX EG}9A->u(a+AX)E[-oo,+oo) is subharmonic (as a function of one complex variable). The set of all psh functions
[0,+00) is on G will be denoted by PSH(G). We say that a function u: G logarithmically-plurisubharmonic (log-psh) on G if the function log u is psh on G.
PSH 1. The set PSH(G) is a convex cone, i.e. for any U,, U2 E PSH(G) and for any ti, t2 > 0 we have t,u, + 12U2 E PSH(G). PSH 2. The plurisubharmonicity is a local property, i.e. a function u : G -+ R-" is psh on G iff for each a E G there exists an open neighborhood U of a in G such that uIU E PSH(U).
PSH Subharmonic and plurisubharmonic functions
371
PSH 3. Let u: G -+ [-oo, +oo) be upper semicontinuous. Then u E PSH(G) iff for any a E G, X E C", and r> 0 with a + rEX C G we have
a)
u(
j21r
u(a+reX)d6.
PSH 4. If f E O(G), then If I is log-psh on G. PSH 5. Let D C C" be a domain and let it E PSH(D), u $ -co. Then u belongs to L I (D. loc ). In particular, the set u - I (-oo) has Lebesgue measure zero.
PSH 6 (Maximum Principle). Assume that D C C" is a bounded domain and let
u E PSH(D), u $ const. Then
u(z) < sup{Iimsupu(z)l, reaD D3z-r
z E D.
PSH 7. Let G; be an open set in C",, j = I.2, and let F : G i - G2 be a holomorphic mapping. Then for any u E PSH(G2) the function u o F belongs to PSH(G1).
PSH 8. Let I C [-oo, +oc) be an interval and let cp: 1 -+ R be an increasing convex function. Then for any psh function u : G -> I the function (P o u belongs to P S H (G). In particular,
- if u E PSH(G), then e" E PSH(G), - if u is log-psh on G, then u is psh on G, - if u : G - IR+ is psh, then for any a > I the function ua is psh on G. PSH 9. If u 1, U2 are log-psh on G. then u i + u2 is log-psh on G.
PSH 10. If q : C" -> I[8+ is a C-seminorm, then q is log-psl: on C".
PSH 11. Let h : C" -+ R+ be such that h(Az) = IAIh(z). X E C, Z E C". Then h is psh on C" iff h is log-psh on C".
PSH 12. If (u,)x , C PSH(G) and u,. \ uo pointx'ise on G. then uo E PSH(G). PSH 13. If (u,.),',` , C PSH(G) and u,. 4 uo, then uo E PSH(G).
Appendix
372
PSH 14. If (ua),.EA C PSH(G) is locally uniformly bounded from above, then the function Ito := (Supua)* aEA
is psh on G, where "* denotes the upper semicontinuous regularization.
PSH 15. If
C PSH(G) is locally uniformly bounded from above, then the
function
uo := (limsupu,,)* is psh on G.
PSH 16. Let it E PSH(G), ao E PSH(Go) with Go C G. Suppose that lim supuo(z) < u(l; ).
E (dGo) fl G.
Then the function
u(,)
max{u(z), uo(z)),
z E Go
u(z),
zEG\Go
is psh on G.
Let 4) E CC(C". R+) be such that
z = (.I..... z,,) E C" suupp 4, = A,.
J
441 = 1.
Put
4),(z):=--4(F), E>0. EC". If G is an open set in C", then we put
PSH 17. If U E PSH(G), then u * 4), E PSH(GF) fl C' (G,.) and u * 4), \ u pointwise on G as E \ 0. Here "*" denotes the convolution operator.
PSH Subharmonic and plurisubharmonic functions
373
PSH 18. Let ui,u2 E PSH(G). If ui = u2 almost everywhere in G (w.r.t. Lebesgue measure), then ul - u2.
PSH 19 (Hartogs Lemma). Let (u,,)x , C PSH(G) be locally uniformly bounded from above and suppose that lim sup , u, < M on G. Then for each s > 0 and for each compact set K C G there exists vo such that
sup u, <M+e, v> vo. K
A set P C C" is called pluripolar if for each a E P there exist a connected
neighborhood U. of a and a function ua E PSH(U0), ua 0 -oo, such that
Pf1UaCu;'(-oo). PSH 20. Any analytic set is pluripolar. Pluripolar sets have Lebesgue measure zero.
PSH 21 (Removable Singularities Theorem). Let P C G be a closed (in G) pluripo-
lar set and let u E PSH(G \ P) be locally bounded from above in G. Then the function u(z)u(z),
I
IimsupG\P3z..zu(z ),
zEG\P zEP
is psh on G. If G is connected, then G \ P is also connected. In particular, if P C G is a closed pluripolar set, then for any u E P S H (G)
lim sup u(z') = u(z),
G\P3z'-z
z E G.
PSH 22 (Schwarz Lemma). Let u be a log-sh function on E such that - the function u(A)/IAI is bounded near zero and - lim sup1AI
I _ u (A) < 1.
Then u(A) < 1). 1, A E E.
PSH 23 (Hadamard Three Circles Theorem). Let u be a log-sh function on the
annulus P := (A E C: r, < IAA < r2} with 0 < r, < r2 < +oo. Suppose that limsup,Al.yrf u(A) < Mf, j = 1, 2. Then
u (A) < MI
M2 r . A E P.
Appendix
374
PSH 24 (Oka Theorem). Let G C CI and let u E SH(G). Suppose that a: [0, 11 G is an IR-analytic curve. Then
limsup u(a(1)) = u(a(0)). r -o+
PSH 25. If U E PSH(C") is bounded from above, then u - const. If U E C2(G), then Cu: G x C" -+ C will denote the Levi form of u, that is, "
(Gu)(a; X) := E
a2U
aZ-aZk
(a)X'Xk
Observe that (,Cu) (a;
X) =
a2Ua.x (0),
axa
where ua. (A) := u(a +X X). In particular, in the case n = I we get (Cu) (a; X) _ a Au (a) I X I2, where 0 is the Laplace operator in R2.
PSH 26. Let u E C2(G, ]R). Then u E PSH(G) if (Lu)(a; X) > 0 for any a E G and X E C". PSH 27. Ifu E PSH(G), then Cu > 0 in the sense of distributions, i.e. fG u
(Z)(L )(z; X)d),(Z)
0,
rP E C(G, R+), X E C".
PSH 28. Let u : G -* [-oo, +oo] be a locally integrable function such that Cu > 0 in the sense of distributions. Then there exists a function u E PSH(G) such that u = u almost everywhere in G. (a) A function u E C2(G, IR) is said to be strictly plurisubharnwnic on G if
(Lu)(a;X)>0foranyaEGandXE(C").. (b) A function u E C(G, IR) is called strictly plurisubharmonic on G if for any relatively compact open subset Go of G there exists an E > 0 such that the function Go
z--+ u(z)-EIIZI12ispsh.
PSC Domains of holomorphy and pseudoconvex domains
375
PSH 29. A function It E C2(G, R) is strictly plurisubharmonic in the sense of (a) in the sense of W.
iff it is stricthv
PSH 30 (cf. IRic]). Let U E C(G. R) he a strictly
function and let
e: G - (0, +oe) be an arbitrary continuous function. Then there exists a strictly plurisubhannonic fuunction r E C'(G. I18) such that u < v < u + e. A simple proof of PSH 30 can be found in [For-Ste].
PSC Domains of holomorphy and pseudoconvex domains References: (Gun-Ros), IHor 21. (Kli 31, IKra fl, [Ran 21. A domain G in C" is called a domain of holomorphy if there exists a holomorphic function f on G such that for every pair (U,. U2) of non-empty open sets U. C C" with U, C U2 n G U2. U2 connected, the function f J L,, is never the restriction of an f E 0(U, ). Observe, that any domain in the complex plane is a domain of holomorphy.
If F = F(G) denotes a subfamily of 0(G). we say that G is an .F(G)-domain of holomorphy if the above definition holds with f E .F(G). For example. an H' (G)-domain of holonmrphy is a domain which admits a bounded holomorphic function which cannot be holomorphically extended through 8G. There is a long list of equivalent descriptions of domains of holomorphy. for example:
PSC 1 (Theorem of Thullen). A domain G C C" is a domain of holomorphy iff G is holomorphically convex, i.e. whenever K C G is compact. then its holomorphically
convex envelope K := Iz e G: If'(:)I
IIIIIK. f E 0(G)) is compact. too.
Observe that such a characterization fails to hold for H' -domains of holomorphy as the famous example of N. Sibony [Sib II has shown. The most important characterization of domains of holomorphy is based on a more geometric condition. A domain G C C" is said to be pseudoconvex if the 8G) is psh on G. function - log
PSC 2 (Solution of the Levi Problem). A domain G C C" is a domain of holomorphy iff G is pseucloconvet.
PSC 3. Let G be a domain in C". Then the following properties are equivalent: (i) G is pseudoconver, (ii) there exists a psh C" function it on G such that (z E G : u (;.) < k) CC G for every k E IL.
376
Appendix
(a E) CC G, then
(iii) whenever Va E C(E, G) fl O(E, G) with UaEI UaEi W- (t) cc G.
PSC 4. (a) If Gi C C'j is pseudoconvex, j = 1, 2, then G 1 x G2 is pseudoconvex.
(b) If G = U G,,, where G, C G,+1 is an increasing sequence of pseudoconvex I
domains, then v= G is pseudoconvex.
For certain classes of domains in C" the following characterizations of domains of holomorphy are known.
PSC 5. A Reinhardt domain G C C", 0 E G, is a domain of holomorphy iff G is
complete (i.e. if z E G, Ai E E for 1 < j < n, then (A,zi...... nZ,,) E G) and log G :_ {x E R": (ex' , ... , e^) E G) is convex in the usual sense. PSC 6. A balanced domain G in C" given by its Minkowski function h as G = G,, = { z E C": h (z) < 1) is a domain of holomorphy iff h is psh iff log h is psh. PSC 7. A Hartogs domain G = {z = (z', zn) E C"-' X C: Z' E G', IznI < e-'(Z') }, where G' is a domain of holomorphy in C"-' and V is an upper semicontinuous function on G', is a domain of holomorphy iff V is psh on G'. A bounded domain G C C" with smooth C2-boundary is called strongly pseudoconvex if n
ar
(Gr)(z;X)>0forallzEaGandXE(C").with Eaz (z)Xi=0, j=1
where r denotes an arbitrary function defining aG (i.e. r is a C2-function on
an open neighborhood U of aG satisfying U fl G = {z E U: r(z) < 0) and gradr(z) 36 0 for every z E aG). PSC 8. Let G be a strongly pseudoconvex domain in C". Then there exists a defining CZ function r on a neighborhood U of aG which is strictly psh on U.
PSC 9. Let l; be a boundary point of a strongly pseudoconvex domain G. Then there exists a biholomorphic mapping F : U -+ V, U a neighborhood of and V a neighborhood of 0, such that F(U fl G) is strictly convex. PSC 10. Any pseudoconvex domain G can be exhausted by an increasing sequence of strongly pseudoconvex domains G CC G with real analytic boundary.
PSC Domains of holomorphy and pseudoconvex domains
377
A bounded domain G C C" is called hyperconvex if there exists a continuous negative psh function u on G such that whenever e < 0, then (z E G: u(z) < e} is relatively compact in G; u is called an exhaustion function of G. PSC 11. Any domain of holomorphy G C C" is the union of an increasing sequence of hyperconvex subdomains.
Let G be a bounded domain in C". A boundary point i; E dG is a peak point I and
with respect to F C C(G) if there exists a function f E F with f
If(z)I
point with respect to 001). For domains in C2 even more is known. PSC 13 (cf. [Bed-For I J). If G is a bounded pseudoconvex domain in C2 with real analytic boundary, then any boundary point i; E dG is a peak point with respect to
A°(G) := C(G) n 0(G).
0 It seems to be still an open question whether PSC 13 remains true in higher dimensions. 0 Now, we repeat the main result of Hormander's 8-theory. Let G be an arbitrary
domain in C" and let tp E PSH(G). By LZ(f?, exp(-cp)) we denote the space of functions in S2 which are square integrable with respect to the measure a-°dk,
where dal denotes, as usual, Lebesgue measure. Let L(°,)(G,exp(-(p)) be the space of (0. q) forms a = >iJl=q ajdzi with coefficients ai E L2(G, exp(-(P)); means that summation is done only over strictly increasing multi-indices J = (ji. , jq) and dzj = dz1, A ... A d;,,,,. Then L(O.q)(G, exp(-(p)) is a Hilbert space with respect to the following scalar product (G.exp(-a))
f
a = >j-1 a1d7J E L(01)(G, exp(-(p)) the formula Ja =
da
- J A d;i r=1 J=1 a`J
d_
Appendix
378
defines a closed densely defined operator 8: L(0.1)(G, exp(-(p)) -> L(o.2)(G, exp(-(P))
PSC 14. Let G be a pseudoconvex domain and let 9 E PSH(G). Assume that a (0, 1) form a = :' ajdzj E L20 1) (G, exp(-(p)) satisfies (i)
aj E COO (G),
(ii)
1 < j < n,
501 = 0.
Then there exists a C°° function u E C°°(G) with du = r,"=1 It dz; = a and
f lu(z)IZ(1 + II
For the convenience of the reader we also quote the results from the theory of Stein manifolds we used in Chapter 1:I. Let M be a (connected) complex manifold. M is said to be a Stein manifold if
(i) O(M) separates the points of M, (ii) M is CA(M)-convex,
(iii) for any point p E M there exists a holomorphic coordinate system near p that is given by global holomorphic functions on M.
Observe that a domain G C C" is a Stein manifold iff G is a domain of holomorphy.
PSC 15. Any open Riemann surface is a Stein manifold.
The next fundamental theorem says that, in fact, the theory of Stein manifolds takes place in C". To be precise, we have PSC 16 (Embedding Theorem). Let M be an n-dimensional Stein manifold. Then
there exists a holomorphic embedding F: M -+ C'+', i.e. there is a closed submanifold M' C CZ"+i and a biholomorphism F: M -* M'. PSC 17. Let M be a closed submanifold of C". Then there exist a neighborhood V of M and a holomorphic retraction p : V -)- M.
For a proof see [Gun-Ros], Ch. VIII, C, Th. 8. PSC 18 (cf. [Siu]). Let M be a closed submanifold of V. Then any open neighborhood V of M contains a domain of holomorphy G with M C G, i.e. M admits a neighborhood basis of domains of holomorphy.
AUT Automorphisms
379
We mention that PSC 18 is a very special case of a general result in [Siu).
AUT Automorphisms References: [Nar 2). [Rud 21. Let G be a domain in C". a E G. Set
Aut(G) Aut,,,(G)
(F: G -- G: F is biholomorphic). IF E Aut(G): F(a) =:0).
The group Aut(G) is called the group ofautomorphisms of G. We say that the group Aut(G) acts transitively on G if for any Z'. Z" E G there exists an automorphism
F E Aut(G) such that F(:') = z". Automorphisms of the unit disc
Let E be the unit disc in C. For a E E define
AUT 1. (a) Aut(E) = (e'"h,,: 0 E R, a E E). (e'" id: 8 E R) is equal to the group of rotations. (b)
(c) The group Aut(E) acts transitively on E; (h")-) = h_,,, h"(a) = 0.
Automorphisms of the unit polydisc
AUT 2.
(a) Aut(E") = (E" a (Z).....:n) - (
..... H E R. at..... an E E. a is an a r b i t r a r y pennutation o f (I .... , n)). E" 3 (;.).....we) (b) Auto(ER) 01 ..... N E R. a is an arbitrary permutation of (1..... n)). H,
Appendix
380
(c) The group Aut(E") acts transitively on P.
Automorphisms of the unit Euclidean ball Let B" be the unit Euclidean ball in C". For a E B. define
ha (Z)
=
1
IIaIl2
1 - IIal12(llall2z - (z, a)z) - IIaII2a + (z, a)a 1 - (z, a)
ifa00,
ho(z) : = id, where 11 11 stands for the Euclidean norm and
for the standard complex scalar
product in C". We have 1 - (ha(z), ha(w)) -_
(1 - (a,a))(1 - (z, w))
(1 - (z,a))(l - (a,w))'
Z,wEB"(aEB").
AUT 3. (a) Aut(B") = (U o ha: U is a unitary operator on C" and a E B"). (b) Auto(B,,) is the group of unitary operators on C".
(c) The group Aut(B") acts transitively on B"; (ha)-I = h_a h,, (a) = 0,
h,(a)(X) =
1
IIaIl2
1 - IIaI12(IIaII2X - (X, a)a) + (X, a)a 1 - IIaI12
XEC"(a#0).
GR Green function and Dirichlet problem References: [Hay-Ken], [Helm], [Kli 3], [Lan], [Nar 3].
Let G be any bounded domain in C. Then the Dirichlet problem for G is the following question:
given a function f E C(aG, IR), find a function h E C(G,1R) with hIaG = I such that h is harmonic in G. Because of the maximum principle for harmonic functions, the solution of the Dirichlet problem, if it exists, is uniquely determined. A domain is called regular with respect to the Dirichlet problem, or simply, a Dirichlet domain, if for any continuous boundary function f there exists a solution of the Dirichlet problem. In the case G = E we have the following explicit solution.
GR Green function and Dirichlet problem
381
GR 1 (Poisson Integral Formula). For any f E C(aE, R) the function I
h(z)
2n
2,r Jo
/ id f (e )
1-r2
d9 ifz=rexpicpE E
11-2rcnr
ifz E aE
f(z)
solves the Dirichlet problem.
More generally, the following result holds.
GR 2. A bounded domain G C C is a Dirichlet domain i ff even' boundary point i; of G is a local peak point for continuous subharmonic functions, i.e. for any E aG there exist a neighborhood V of i; and a function u E C(G fl v) fl SH(G fl v) such that
u(z) = 0.
(i)
lim Gnv3z-.
(ii)
lim sup u(z) < 0, Gnvaz-t
u(z) < 0,
(iii)
t E aG fl V. z E G n V.
GR 3 (Theorem of Bouligand). Let G be bounded and let a E aG. Suppose that there exist V = V(a) and U E C(G fl v) fl SH(G fl v) with lim
GnV BZ-a
u(z) = 0.
U(Z) < 0, z E G f1 V.
Then a is a local peak point for continuous subharmonic functions. Even more is true. Namely, there exists a harmonic function h on the whole G with
Iim h(z) = 0, limsuph(z) < 0,
b E (aG) \ (al.
G3; -+h
in particular, we have the following sufficient criterion.
GR 4. Any bounded domain G in C such that no connected component of C \ G reduces to a point is a Dirichlet domain. For a domain G C C fix a E G. The (classical) Green function of G with pole at a is a function g(; (a, ) : G \ (a) -+ R that satisfies the following three properties: 1) gc; (a, .) is harmonic on G \ (a I ; 2) g(; (a. ) + log I -aI extends to a harmonic function on G;
Appendix
382
3) there exists a polar set F C aG, such that: if E (aG) \ F, then limG3z- gG(a, z) = 0, if E F or = 00 E aG, then 9G (a. ) is bounded near GR S. If G C C is a donwin whose boundary is not a polar subset of C, then for ever), a E G the Green fiinction 9G (a, ) exists and is unique. Moreover, by the maximum principle for subharmonic functions we obtain
GR 6. Let G C C be a domain and let a E G be such that the Green function gG (a, ) exists. Then for any subharmonic function u : G -+ [-oo, 0) satisfying u(z) < C + log Iz - aI near a we have the following inequality u(z) < -gG(a, z),
zEG. Therefore,
GR 7. Let G be an arbitrary domain in G, a E G. If aG is polar, then gG(a, ) = 0 on G. If aG is not polar, then gG(a, ) = exp(-gG(a, )) on G, where gG denotes the "complex Green function"; cf. Chapter IV. In particular, g' (a, ) is of class C°" in G.
GR 8. For G = B(0, R) the Green function is given by 1
gG(a,z)=log(RI
R2 - az
z-a I)' z0a.
GR 9. Let G C C be a domain such that 9G (a, ) exists for every a E G. Then the Green function is symmetric, i.e. 9G W, z") = 9G (Z", z') whenever z', z" E G,
z'0z" We conclude this part of the appendix with the Riesz representation theorem.
GR 10 (Riesz Theorem). Let U E SH(G), u $ -oo. Then there exists a unique Borel measure µ on G such that for any compact subset K C G with int(K) : m we have it (Z) =
flog Iz - Idi.() + h(z),
Thus many of the local properties of subharmonic functions can be deduced from those of logarithmic potentials.
MA Monge-Ampere operator
383
MA Monge-Ampere operator References: [Ceg], [Kli 31.
Let d = 8 + a denote the operator of exterior differentiation in C". Define d' := i(a - a). Let G be an open set in C". Then the Monge-Ampere operator is an operator acting on PSH(G) n L'°(G, loc), that assigns to each function u E PSH(G) n L°°(G, loc) a non-negative Borel measure (ddeu)" on G. In the case where u E PSH(G)nC2(G), the definition of (ddc'u)" is elementary, namely
(dd`u)" _ (det
8:iazk] j,k=i..... n [_3u
)
(Lebesgue measure).
In the general case, if u i .... , u" E P S H (G) n L'(G,1oc ), then (for k = 1,
... , n)
dd`ui A - A dd`uk is defined inductively as a positive (k, k)-current of order 0 by the formula
A dd`uk A X = f ukdd` u, A c
IG dd`ui A
.
A dd`'uk_I A dd`'X,
where X is an arbitrary test form in G of bidegree (n -k, n -k); see [Kli 3§ 3.4, A dd'*u. for details. Then we set (dd`'u)" := dd"U A n-times
MA 1 (Domination Principle, cf. [Bed-Tay]). Let G be a bounded open subset of C" and let u+, u_ E PSH(G) n L°C'(G) be such that (dd`u+)" (dd`u_)" in G, lim inf (u+(:) - u_ (;.)) > 0 for all 4 E aG. G3:-Z
Then u+>u_onG. A plurisubharmonic function u : G --* R is said to be maximal if for any relatively compact open subset Go of G and for every function v upper semicontinuous
on do and plurisubharmonic in Go, if v < u on 8Go. then v < u in Go.
MA 2. Let u E PSH(G) n L"°(G, loc). Then u is maximal ,j)'(dd(u)" = 0 in G.
Appendix
384
H Hardy spaces References: [Durl, [Garl. [Coil, [Rud 11.
Let 0 < p < +oo. We say that a function h E O(E) is of class Hr(E) if sup O
UO
Ih(re'")Ied8
I
< +oo.
H1 . HOO(E)CH1'(E)CHy(E)forany0
E 8E (w.r.t. Lebesgue measure on CE) the function h has non-tangential limit at , i.e. the limit lim h(A) =
lim
h(A)
exists and is independent of a > 1, where
(A E E: IA - I < all - IAI)[ Moreover, h' E Le(d E).
H 3 (Cauchy and Poisson Integral Formulas). If h E H I (E). then
h(A)
21ri
1'.
2n
Jn
A E E,
/ere + A
2;r
1
h(A) =
Add,
Re ( eie
) h"(e'")dO,
A E E.
In particular, - if I h' 1 < M almost everywhere on c7 E, then Ih 1 < M on E;
- if h' E R almost everywhere on a E, then h = const E R. H 4 (Blaschke Products). Let (a,, )x 1 C E be such that M
F, (l-IaI)<+00.
(*)
H Hardy spaces
385
Pitt I := { v : a, j4 01 and let k : = #(N \ 1). Then the product
it,. I - a,. PEi
I - [t,.
1a,.l
X E E.
(**)
is locally unijorntly convergent. B E H' (E). I B* I = I almost everywhere on i) E, and the zeros of B (counted with rnultiplicities) coincide with (a,,);',` i.
H 5. If h E H r (E ). It # 0. then the zeros of h (counted with nmltiplicities) satisfi (*) In particular, using (**) one can define the Blaschke product Bf, for It.
H 6 (Decomposition Theorem). Let h E H"(E). It 0 0. Then log lh*I E L1(i)E). 2r
log Ih(0)I
<2n-
Jo
(* * *)
log Ih"(e'")Id9.
It=cB,, where c E 3 E is a constant,
Sh()`) := exp
(- L
e1" - da(0)
(a is a non-negative Bore! measure. singular w.r.t. Lebesgue measure). and
(t
Qh(a) := eXp
r2 :r
2n (
+ e'" - h log
\
Ih-(e"')IdHI)
.
h E E.
Moreover,
- Sh E H"'(E); - IS,, I = I almost everywhere on a E w. r.t. Lehesgue measure. - SS = 0 almost everywhere on 8E t'.r.t. the measure a; - the function BhSh is constant iff tine have equality in condition (* * *).
H 7 (Identity Principle). Let h E H"(E). Suppose that h* = 0 on a set of positive Lebesgue measure. Then h - 0. H 8 (F.& M. Riesz Theorem). Let p be a complex Borel measure on (0.27r ). Then the follon-ing conditions are equivalent:
Appendix
386
(i) f(2" f (e`")dµ(9) = 0 for all f Eqt) fl O(E); (ii) there exists h E H' (E) such that dµ(9) = MTh*(e'd)d9. H 9 (Hardy-Littlewood Theorem). Let h E O(E) and let 0 < a < 1. Then h ct7endx U u elz to an a-Holder-continuous function on k iff there exists a constant .11 that
(l
-
MIXI)_a
I
A E E.
References
[Aba 21
M. Abate, Boundary behavior of invariant distances and complex geodesics, Atti Acc. Lincei Rend. Fis., Ser. VIII 80 (1986). 100-106. M. Abate. The complex geodesics of the classical domains, preprint (1986).
[Aba 3]
M. Abate, Iteration Theory of Holomorphic Maps on Taut Manifolds,
[Aba 1 ]
[Aba 41
[Aba-Pat 1) [Aba-Pat 21 [Agl]
Mediterranean Press, 1989. M. Abate, A characterization of hyperbolic manifolds. Proc. Amer. Math. (1993) (to appear). M. Abate & G. Patrizio. Uniqueness of complex geodesics and characterization of circular domains, manuscripta math. 74 (1992). 277-297. M. Abate & G. Patrizio. Holomorphic curvature of Finsler metrics, preprint (1992). J. Agler, Operator theory and the Carathe dory metric, Invent. Math. 101 (1990), 483-500.
[d'An]
P. R. Ahem & R. Schneider, Isometrics of H'. Duke Math. J. 42 (1975). 321-326. L. V. Ahifors, An extension of Schwarz's Lemma, Trans. Amer. Math. Soc. 43 (1938), 359-364. L. V. Ahlfors & A. Beurling, Conformal invariants and function theoretic null sets, Acta Math. 83 (1950), 101-129. G. J. Aladro, Some consequences of the boundary behavior of the Caratheodory and Kobayashi metrics and applications to normal holomorphic functions, Ph. D. Dissertation, Pennsylvania State University, 1985. J. d'Angelo. A note on the Bergman kernel. Duke Math. J. 45 (1978), 259-
[Azu 11
265. K. Azukawa, Hyperboliciry of circular domains, T6hoku Math. J. 35 (1983).
[Ahe-Sch] [Ahl]
[Ahl-Beu] [Ala]
[Azu 21 [Azu 31
403-413. K. Azukawa, Bergman metric on a domain of Thullen type. Math. Rep. Toyama Univ. 7 (1984), 41-65. K. Azukawa, Two intrinsic pseudo-metrics with pseudoconrer indicatrices and starlike domains, J. Math. Soc. Japan 38 (1986), 627-647.
[Azu 4]
K. Azukawa, The invariant pseudo-metric related to negative pluri-
I Azu 5)
subharmonic functions, Kodai Math. J. 10 (1987), 83-92. K. Azukawa, A note on Carathctodory and Kobayashi pseudodisrances, Kodai Math. J. 14 (1991), 1-12.
[Azu-Suz]
K. Azukawa & M. Suzuki, The Bergman metric on a Thullen domain. Nagoya Math. J. 89 (1983), 1-11.
388
References
[Bar 1) [Bar 2] [Bar 31
[Bar 4] [Bed-Dem]
[Bed-For 1] [Bed-For 2] [Bed-Pin 11
[Bed-Pin 2]
T. J. Barth, The Kobayashi distance induces the standard topology, Proc. Amer. Math. Soc. 35 (1972), 439-441. T. J. Barth, Some counterexamples concerning intrinsic distances, Proc. Amer. Math. Soc. 66 (1977), 49-59. T. J. Barth, Convex domains and Kobayashi hyperbolicity, Proc. Amer. Math. Soc. 79 (1980), 556-558. T. J. Barth, The Kobayashi indicatrix at the center of a circular domain, Proc. Amer. Math. Soc. 88 (1983), 527-530. E. Bedford & J.-P. Demailly, Two counterexamples concerning the pluripolar Green function, Indiana Univ. Math. J. 37 (1988), 865-867. E. Bedford & J. E. Fornaess, A construction of peak functions on weakly pseudoconvex domains, Ann. of Math. 107 (1978), 555-568. E. Bedford & J. E. Fornaess, Biholomorphic maps of weakly pseudoconvex domains, Duke Math. J. 45 (1979), 711-719. E. Bedford & S. Pinchuk, Domains in C2 with noncompact group of automorphisms. Math. USSR Sbornik 63 (1989), 141-151.
[Bed-Pin 3]
E. Bedford & S. Pinchuk, Domains in C"+1 with noncompact automorphism group, J. of Geometric Analysis 1 (1991), 165-191. E. Bedford & S. Pinchuk, Domains in C"+1 with noncompact automorphism
[Bed-Tay]
group 11, preprint (1992). E. Bedford & B. A. Taylor. A new capacity for pluri-subharmonic functions,
[Bell [Bell
I]
[Bell 2] [Bel-Lig] [Ber 11 [Ber 21
[BFKKMP] [Blo-Gra] [Boa]
[Boc-Mon] [Boh]
Acta Math. 149 (1982), 1-41. L. Belkhchicha, Caracterisation des isomorphes analytiques de certains domaines bornes, C. R. Acad. Sci. Paris 313 (1991), 281-284. S. R. Bell. The Bergman kernel function and proper holomorphic mappings, Trans. Amer. Math. Soc. 270 (1982), 685-691. S. R. Bell, Proper holomorphic mappings between circular domains, Comment. Math. Helvetici 57 (1982), 532-538. S. R. Bell & E. Ligocka, A simplification and extension of Fefferman's theorem on biholomorphic mappings, Invent. Math. 57 (1980), 283-289. S. Bergman, Zur Theorie von pseudokonformen Abbildungen, Mat. Sbornik 43 (1936), 79-96. S. Bergman, The Kernel Function and Conformal Mapping, Math. Surveys V, Amer. Math. Soc., 1950. B. E. Blank, D. Fan, D. Klein, S. G. Krantz, D. Ma, & M.-Y. Peng, The Kobayashi metric of a complex ellipsoid in C2, preprint (1991). T. Bloom & 1. Graham, A geometric characterization of points of type m on real submanifolds of C", J. Diff. Geom. 12 (1977), 171-182. H. P. Boas, Counterexample to the Lu-Qi-Keng conjecture, Proc. Amer. Math. Soc. 97 (1986), 374-375. S. Bochner & D. Montgomery, Locally compact groups of differentiable transformations, Ann. of Math. 47 (1946), 639-653. H. Bohr, Uber streckentreue and konforme Abbildungen, Math. Zeitschrift 1 (1918), 403-420.
References
389
J. Bremermann, Holomorphic continuation of the kernel and the Bergman metric in "Lectures on functions of a complex variable", Univ. of Mich. Press, 1955, pp. 349-383. A. Browder, Point derivations on function algebras, J. Functional Analysis [Bro) 1 (1967), 22-27. J. Burbea, The Carathfodory metric in plane domains, Kodai Math. Sem. [Bur 1) Rep. 29 (1977). 157-166. J. Burbea, Inequalities between intrinsic metrics, Proc. Amer. Math. Soc. [Bur 2) 67 (1977), 50-54. J. Burbea, On metric and distortion theorems in "Recent developments in [Bur 3) several complex variables", J. E. Fornaess (ed.), Ann. Math. Studies 100, 1981. pp. 65-92. H. Busemann & W. Mayer. On the foundations of calculus of variations, [Bus-May] Trans. Amer. Math. Soc. 49 (1941), 173-193. L. Campbell & R. Ogawa, On preserving the Kobayashi pseudometric, [Cam-Oga] Nagoya Math. J. 57 (1975). 37-47. C. Carath6odory, Ober eine spezielle Metrik, die in der Theorie der ana[Car] 1-ytischen Funktionen auftritt, Atti Pontifica Acad. Sc., Nuovi Lincei 80 (1927), 135-141. H. Cartan, Sur les groupes des transformations analytiques, Hermann, 1935. [Cart I] H. Cartan, Sur les functions de n variables complexes: les transformations [Cart 21 du produit topologique de deux domaines borneefs, Bull. Soc. math. France 64 (1936), 37-48. D. Catlin, Estimates of invariant metrics on pseudoconvex domains of di[Cat] mension two, Math. Zeitschrift 200 (1989), 429-466. U. Cegrell, Capacities in Complex Analysis, Vieweg, 1988. [Ceg] [Cha-Hu-Lee] C. H. Chang, M. C. Hu, & H.-P. Lee. Extremal analytic discs with prescribed boundary data, Trans. Amer. Math. Soc. 310 (1988), 355-369. C. H. Chang & H. P. Lee, Explicit solutions for some extremal analytic discs [Cha-Lee] Izj12mi < 1, m j E N}, preprint (1991). of the domain D = (z E C": J.-H. Chen, Estimates of the invariant metrics on convex domains in C", [Chef Thesis Purdue Univ. (1989). E. M. Chirka, Complex Analytic Sets, Kluwer Acad. Publishers, 1989. [Chi] S. Cohn-Vossen, Existent ki rzester Wege, Comptes Rendus l'Acad. Sci. (Cob-Vos] URSS, Vol. III (Vlll) 8 (68) (1935), 239-242. J. B. Conway, Functions of One Complex Variable, GTM 11, Springer Ver[Con) lag, 1975. R. Courant & D. Hilbert, Meihoden der mathematischen Physik 1, Springer [Cou-Hill [Bre)
[Dan-Wae] [Dem] [Die I ]
Verlag, 1931. D. van Dantzig & B. L. van der Waerden, Uber metrische homogene Ri ume, Abhandlung Math. Sem. Univ. Hamburg 6 (1928), 374-376.
J. P. Demailly, Mesures de Monge-Ampere et mesures pluriharmoniques, Math. Zeitschrift 194 (1987), 519-564. K. Diederich, Das Randverhalten der Bergmanschen Kernfunktion and Metrik in streng pseudokonvexen Gebieten, Math. Annalen 187 (1970), 9-36.
390
[Die 2] [Die-For I ] (Die-For 21
[Die-For-Her]
References
K. Diederich, Uber die 1. and 2. Ableitungen der Bergmanschen Kernfunklion and ihr Randverhalten, Math. Annalen 203 (1973). 129-170. K. Diederich & J. E. Fornaess. Proper holomorphic maps onto pseudoconvex domains with real-analytic boundary, Ann. of Math. 110 (1979). 575-592. K. Diederich & J. E. Fornaess, Comparison of the Bergman and the Kobayashi metric. Math. Annalen 254 (1980), 257-262.
K. Diederich, J. E. Fornaess, & G. Herbort, Boundary behavior of the
Bergman metric, Proc. Symp. in Pure Math. 41 (1984), 59-67. [Die-Her-Ohs] K. Diederich, G. Herbort, & T. Ohsawa, The Bergman kernel on uniformly extendable pseudoconvex domains, Math. Annalen 273 (1986), 471-478. K. Diederich & I. Lieb, Konvexitlit in der komplexen Analysis, DMV Semi(Die-Lie] nar, Band 2, BirkhBuser Verlag, 1981. [Die-Sib) K. Diederich & N. Sibony, Strange complex structures on Euclidean space, J. Reine u. Angewandte Math. 311/312 (1979), 397-407. [Din] S. Dineen, The Schwarz Lemma, Clarendon Press, 1989. S. Dineen & R. M. Timoney, Complex geodesics on convex domains in [Din-Tim] "Progress in Functional Analysis", K. D. Bierstedt, J. Bonet, J.Horvath & M. Maestre (eds.), Elsevier Science Publishers B.V., 1992. [Doc-Gra]
F. Docquier & H. Grauert, Levisches Problem and Rungescher Satz f r Teilgebiete Steinscher Mannigfaltigkeiten, Math. Annalen 140 (1960), 94123.
[Dur] [Ear-Ham] [Eas]
P. L. Dureen, Theory of HP-spaces, Academic Press, 1970. C. J. Early & R. S. Hamilton, A fixed point theorem for holomorphic mappings, Proc. Symp. Pure Math. 16 (1970), 61-65. A. Eastwood, A propos des variittrs hyperboliques completes, C. R. Acad. Sci. Paris 280 (1975), 1071-1075.
[Eis]
[Fad I ]
[Fad 2]
[Fed] (Fef1
[For]
[For-McN] [For-Sib] [For-Ste]
D. A. Eisenman, Intrinsic measures on complex manifolds, Memoirs Amer. Math. Soc., 96, 1970. A. A. Fadlalla, Quelques propriettss de to distance de Carathiodory in "7th. Arab. Sc. Congr. Cairo II", 1973, pp. 1-16.
A. A. Fadlalla, On boundary value problem in pseudoconvex domains in "Analytic Functions, Blatejewko 1982", J.Lawrynowicz (ed.), Lecture Notes in Math. 1039, Springer Verlag, 1983, pp. 168-176. H. Federer, Geometric Measure Theory, Springer Verlag, 1969. C. Fefferman, The Bergman kernel and biholomorphic mappings of pseudoconvex domains, Invent. Math. 26 (1974), 1-65. J. E. Fornaess, Strictly pseudoconvex domains in convex domains, Amer. J. Math. 98 (1976), 529-569. J. E. Fornaess & J. D. McNeal, A construction of peak functions on some finite type domains, preprint (1991). J. E. Fornaess & N. Sibony, Construction of P.S.H. functions on weakly pseudoconvex domains, Duke Math. J. 58 (1989), 633-655. J. E. Fornaess & B. Stens0nes, Lectures on Counterexamples in Several Complex Variables, Mathematical Notes 33, Princeton University Press, 1987.
References [Fors] [For-Ros]
[Fra-Ves]
[Gam] [Gam-Gar] [Gar] [Gen 11
[Gen 2] [Gen 3]
[Glo) [Go]]
391
F. Forstnerii=, Proper holomorphic mappings: a survey, Preprint Series University Ljubljana 27 (1989). F. Forstnerid & J.-P. Rosay, Localization of the Kobayashi metric and the boundary continuity of proper holomorphic mappings, Math. Annalen 279 (1987). 239-252. T. Franzoni & E. Vesentini, Holomorphic Maps and Invariant Distances, North Holland Math. Sudies 40, 1980. T. W. Gamelin. Uniform Algebras. Chelsea Publishing Company, 1984. T. W. Gamelin & J. Garnett, Distinguished homomorphisms and fiber algebras, Amer. J. Math. 92 (1970), 455-474. J. Garnett, Bounded Analytic Functions, Academic Press, 1981. G. Gentili. On non-uniqueness of complex geodesics in convex bounded domains, Rend. Acad. Naz. Lincei 79 (1985), 90-97. G. Gentili, On complex geodesics of balanced convex domains, Ann. Mat. Pura Applicata 144 (1986), 113-130. G. Gentili, Regular complex geodesics in the domain D _ [Izt. :n) Izt I+I=21+. +Izn I < 1) in "Complex Analysis III", C. A. Berenstein EC's : (ed.). Lecture Notes in Math. 1277. 1987, pp. 235-252. J. Globevnik, On complex strict and uniform convexity, Proc. Amer. Math. Soc. 47 (1975), 175-178. G. M. Goluzin, Geometric Theory of Functions of a Complex Variable, Amer. Math. Soc., 1969.
[Gor]
[Gra l1
[Gra 2]
[Gra 31
[Gra-Mor] [Gru I ]
[Gru 2] [Gun-Ros] [Hah 11
N. J. Gorenskii, Some applications of the differentiable boundary distance in open sets of C" (Russian), Problems of holomorphic functions of several complex variables, Krasnojarsk (1973), 203-214. I. Graham, Boundary behavior of the Carathcodory and Kobayashi metrics on strongly pseudoconvex domains in C" with smooth boundary. Trans. Amer. Math. Soc. 207 (1975), 219-240. I. Graham, Holomorphic mappings into strictly convex domains which are Kobayashi isometries at one point, Proc. Amer. Math. Soc. 104 (1989), 917-921. 1. Graham, Sharp constants for the Koebe theorem and for the estimates of intrinsic matrics on convex domains, Proc. Symp. Pure Math. 52(Part 2) (1991), 233-238. J. D. Gray & S. A. Morris. When is a function that satisfies the Cauchy-Riemann equations analytic ?, Amer. Math. Monthly 85 (1978), 246-256. H. Grunsky. Eindeutige beschrankie Funktionen in mehrfach zusammenhangenden Gebieten 1, Jahresbericht der DMV 50 (1940), 230-255. H. Grunsky, Eindeutige beschrankte Funktionen in mehrfach zusammenhdngenden Gebieten 11, Jahresbericht der DMV 52 (1942), 118-132. R. Gunning & H. Rossi, Analytic Functions of Several Complex Variables, Pentice-Hall, Englewood Cliffs, 1965. K. T. Hahn, On completeness of the Bergman metric and its subordinate metric, Proc. Nat. Acad. Sci. USA 73 (1976). 4294.
392
References
K. T. Hahn. On completeness of the Bergman metric and its subordinate metrics 11, Pacific J. Math. 68 (1977). 437-46. (Hah 3] K. T. Hahn, Some remarks on a new pseudo-differential metric, Annales Pol. Math. 39 (1981), 71-81. [Hah 4] K. T. Hahn, Equivalence of the classical theorems of Schottky. Landau, Picard and hyperbolical y, Proc. Amer. Math. Soc. 89 (1983), 628-632. K. T. Hahn & P. Pflug, On a minimal complex norm that extends the real [Hah-Pfl 11 euclidean norm, Monatshefte f. Math. 105 (1988), 107-112. [Hah-Pfl 2] K. T. Hahn & P. Pflug, The Kobayashi and Bergman metrics on generalized Thullen domains, Proc. Amer. Math. Soc. 104 (1988), 207-214. (Ham-Sak-Yas] H. Hamada, F. Sakanashi, & T. Yasuoka, Note on a theorem of Wong-Rosay, Memoirs Fac. Sci. Kyushu Univ., Ser. A 39 (1985), 249-251. [Hat] L. A. Harris, Schwarz-Pick systems of pseudometrics for domains in normed [Huh 2]
[Har-Wri]
linear spaces in "Advances in Holomorphy". J. A. Barosso (ed.), Math. Studies 34, North Holland, 1979, pp. 345-406. G. H. Hardy & E. M. Wright. An Introduction to the Theory of Numbers,
(Hay]
Clarendon, 1979. M. Hayashi, The maximal ideal space of the bounded analytic functions on the Riemann surface, J. Math. Soc. Japan 39 (1987), 337-344.
[Hay-Ken]
W. K. Hayman and P. B. Kennedy. Subharmonic Functions, Academic
[Hell
Press, 1970. S. Helgason, Differential Geometry. Lie Groups and Symmetric Spaces, Academic Press, 1978.
[Helm]
L. L. Helms. Introduction to Potential Theory, R. E. Krieger Publishing
(Hen-Chi]
(Hen-Leil (Her 11
[Her 2] [Her 3] [Her 41
[Her 5] [Hor I ]
Company, 1975. G. M. Hcnkin & E. M. Chirka, Boundary properties of holomorphic functions of several complex variables, J. Sov. Math. 5 (1976), 612-687. G. M. Henkin & J. Leiterer, Theory of Functions on Complex Manifolds, Birkhliuser Verlag, 1984. G. Herbort, Logarithmic growth of the Bergman kernel for weakly pseudoconvex domains in C3 of finite type, manuscripta math. 45 (1983), 69-76. G. Herbort. Ober die Geod4lischen der Bergmanmetrik, Schriftenreihe d. Math. Inst. Univ. Munster, 2 Serie, Heft 26. 1983. G. Herbort, Wachstumsordnung des Bergmankerns auf pseudokonvexen Gebieten, Schriftenreihe d. Math. Inst. Univ. Munster, 2 Serie, Heft 46, 1987. G. Herbort, Invariant metrics and peak functions on pseudoconvex domains of homogeneous finite diagonal type. Math. Zeitschrift 209 (1992), 223-243. G. Herbort, The growth of the Bergman kernel on pseudoconvex domains of homogeneous finite diagonal type, Nagoya Math. J. 126 (1992), 1-24. L. HOrmandcr, L2 estimates and existence theorems for the a operator, Acta Math. 113 (1965), 89-152.
(HOr 2]
[Hua]
L. HOrmander, An Introduction to Complex Analysis in Several Variables, North Holland, 1990. L. Hua, Harmonic Analysis of Functions of Several Complex Variables in the Classical Domains, Amer. Math. Soc., 1963.
References
[lse] [Jak] [Jar-Pfl 1 ]
[Jar-Pfl 2]
393
M. Ise, On the Thullen domains and Hirzebruch manifolds, J. Math. Soc. Japan 26 (1974), 508-522. P. Jakobezak, The exceptional sets for functions from the Bergman space, Portugaliae Math. 50 (1993). 115-128. M. Jarnicki & P. Pflug, Effective formulas for the Caratheodory distance, manuscripta math. 62 (1988), 1-22. M. Jarnicki & P. Pflug, Bergman completeness of complete circular domains, Annales Pol. Math. 50 (1989), 219-222.
M. Jarnicki & P. Pflug, Three remarks about the Caratheodorv distance in "Deformations of Mathematical Structures", J. Lawrynowicz (ed.), Kluwer Academic Publisher, 1989, pp. 161-170. M. Jarnicki & P. Pflug, The simplest example for the non-innerness of'the [Jar-Pfl 4] Caratheodorv distance. Results in Math. 18 (1990), 57-59. M. Jarnicki & P. Pflug, A counterexample for the Kobavashi completeness [Jar-Pfl 5) of balanced domains, Proc. Amer. Math. Soc. 112 (1991), 973-978. M. Jarnicki & P. Pflug, Invariant pseudodistances and pseudometrics - com[Jar-Pfl 6] pleteness and product property, Annales Pol. Math. 60 (1991), 169-189. M. Jarnicki & P. Pflug, Some remarks on the product property, Proc. Symp. [Jar-Pfl 71 Pure Math. 52(Part 2) (1991), 263-272. M. Jarnicki & P. Pflug, The inner Caratheodory distance for the annulus, [Jar-Pfl 8] Math. Ann. 289 (1991), 335-339. M. Jarnicki & P. Pflug, The inner Caratheodory distance for the annulus II, [Jar-Pfl 9] Michigan Math. J. (1993) (to appear). [Jar-Pfl-Vig 1] M. Jarnicki, P. Pflug. & J.-P. Vigue, The Caratlieodory distance does not define the topology- the case of domains, C. R. Acad. Sci. Paris 312 (1991), 77-79. [Jar-Pfl-Vig 2] M. Jarnicki. P. Pflug, & J.-P. Vigue, A remark on Caratheodory balls, Archiv d. Math. 56 (1992). 595-598. [Jar-Pfl-Vig 3] M. Jarnicki, P. Pflug. & J.-P. Vigue, An example of a Caratheodorv complete but not finitely compact analytic space, Proc. Amer. Math. Soc. (to appear). M. Jarnicki, P. Pflug, & R. Zeinstra, Geodesics for convex complex ellip[Jar-Pfl-Zei] soids, preprint (1991). Z. Jinhao. Metric S on holonrorphv domain, Kexue Tongbao 33 (1988), [Jin] 353-356. W. Kaup, Uber das Randverhalten von holomorphen Automorphismen be[Kau] schrankter Gebiete, manuscripta math. 3 (1970), 257-270. W. Kaup & H. Upmeier. Banach spaces with biholomorphically equivalent [Kau-Upm] unit balls are isomorphic, Proc. Amer. Math. Soc. 58 (1976), 129-133. W. Kaup & J.-P. Vigue, Svmmetry and local conjugacy on complex ma[Kau-Vig] [Jar-Pfl 3]
nifolds, Math. Annalen 286 (1990), 329-340.
[Kay]
[Ker-Ros]
L. D. Kay, On the Kobavashi-Royden metric for ellipsoids. Math. Annalen 289 (1991), 55-72. N. Kerzman & J.-P. Rosay, Fonctions plurisousharmoniques d'exhaustion horn ees et domaines taut, Math. Annalen 257 (1981). 171-184.
References
394
(Kim 11
[Kim 2] [Kiel
[Kii
I]
[Kli 21
[Kli 3) [Kob 1] [Kob 2] (Kob 31 [Kob 41 [Kob 51 [Kob 61
[Kob 71 [Kod]
K.-T. Kim, Automorphism group of certain domains in C" with a singular boundary, Pacific J. Math. 151(1) (1991), 57-64. K.-T. Kim, Biholomorphic mappings between quasicircular domains in C", Proc. Symp. Pure Math. 52(Part 2) (1991). 283-290. P. Klembeck. Kdhler metrics of negative curvature, the Bergman metric near the boundary and the Kobayashi metric on smooth bounded strictly pseudoconvex sets, Indiana Univ. Math. J. 27 (1978), 275-282. M. Klimek, Extremal plurisubharmonic functions and invariant pseudodistances, Bull. Soc. Math. France 113 (1985), 231-240. M. Klimek, Infinitesimal pseudometrics and the Schwarz Lemma, Proc. Amer. Math. Soc. 105 (1989), 134-140. M. Klimek, Pluripotential Theory, Oxford University Press, 1991. S. Kobayashi, Geometry of bounded domains, Trans. Amer. Math. Soc. 92 (1959),267-290. S. Kobayashi, On complete Bergman metrics, Proc. Amer. Math. Soc. 13 (1962),511-513. S. Kobayashi, Invariant distances on complex manifolds and holomorphic mappings, J. Math. Soc. Japan 19 (1967), 460-480. S. Kobayashi, Hyperbolic Manifolds and Holomorphic Mappings, Pure and Appl. Math. 2, M. Dekker, 1970. S. Kobayashi, Some remarks and questions concerning the intrinsic distance, T6hoku Math. J. 25 (1973), 481-486. S. Kobayashi, Intrinsic distances, measures and geometric function theory, Bull. Amer. Math. Soc. 82 (1976). 357-416. S. Kobayashi, A new invariant infinitesimal metric, International Joum. Math. 1 (1990), 357-416. A. Kodama, Boundedness of circular domains, Proc. Japan Acad.. Ser. A Math. Sci. 58 (1982), 227-230.
(Kod-Kra-Ma] A. Kodama, S. G. Krantz, & D. Ma, A characterization of generalized complex ellipsoids in C" and related results, Indiana Univ. Math. J. 41 (1992),173-195. J. J. Kohn, Boundary behavior of a on weakly pseudoconvex manifolds of [Koh] [Kra 11
[Kra 2] [Kra-Par] [Kri]
[Kuc-Ray]
dimension two, J. Diff. Geom. 6 (1972). 523-542. S. G. Krantz. Function Theory of Several Complex Variables, Pure & Applied Mathematics, John Wiley & Sons, 1982. S. G. Krantz, The boundary behavior of the Kobayashi metric, Rocky Mountain J. Math. 22 (1992), 227-233. S. G. Krantz & H. R. Parks, Distance to Ck hypersurfaces, Journal of Diff. Equ. 40 (1981), 116-120. N. Kritikos, Uber analytische Abbildungen einer Klasse van vierdimensionalen Gehieten, Math. Annalen 99 (1927), 321-341. T. Kuczumow & W. O. Ray, Isometries in the Cartesian product of n unit open Hilbert balls with a hyperbolic metric, Ann. Mat. Pura Applicata 152 (1988),359-374.
References
[Kwa] [Lan]
[Landu]
[Lang]
395
M. H. Kwack, Generalization of the big Picard theorem, Ann. of Math. 19 (1969), 9-22. N. S. Landkof, Foundations of Modern Potential Theory, Grundlehren d. math. Wissenschaften. Band 180. Springer Verlag, 1972. M. Landucci. On the proper holomorphic equivalence for a class of pseudoconver domains, Trans. Amer. Math. Soc. 282 (1984), 807-811. S. Lang, An Introduction to Complex Hyperbolic Spaces, Springer Verlag, 1987.
[Lem 1 ]
[Lem 2] [Lem 3] [Lew]
[Lin-Wont [Look] [Ma 11
L. Lempert, La metrique de Kobayashi et la representation des domains sur la boule. Bull. Soc. Math. France 109 (1981). 427-474. L. Lempert. Holoinorphic retracts and intrinsic metrics in convex domains, Analysis Mathematica 8 (1982), 257-261. L. Lempert, Intrinsic distances and holomorphic retracts, Complex Analysis and Applications '81, Sophia (1984), 341-364. .1. Lewittes, A note on parts and hyperbolic geometry. Proc. Amer. Math. Soc. 17 (1966). 1087-1090. E. B. Lin & B. Wong. Curvature and proper holomorphic mappings between bounded domains in C", Rocky Mountain J. Math. 20 (1990), 179-197. K. H. Look, Schwarz Lemma and analytic invariants. Sci. Sinica 7 (1958), 435-504. D. Ma, Boundary behavior of invariant metrics and volume forms on strongly pseudoconvex domains. Duke Math. J. 63 (1991), 673-697.
[Ma 2]
D. Ma, On iterates of holomorphic maps. Math. Zeitschrift 207 (1991), 417-428.
[Ma 3]
D. Ma, Sharp estimates of the Kobayashi metric near strongly pseudoconvex point.,, preprint (1991). P. Mazet & J.-P. Vigue, Convexitct de la distance de Carathcsodory et points fives d'applications holonrorphes, Bull. Sc. math. 21 sdrie 116 (1992), 285-
[Maz-Vig]
305.
[Maz-Pfl-Skw] T. Mazur, P. Pflug. & M. Skwarczynski. Invariant distances related to the Bergman function. Proc. Amer. Math. Soc. 94 (1985), 72-76. [McN] [Mer]
J. D. McNeal. Local geometry of decoupled pseudoconvex domains in "Complex Analysis". D. Diederich (ed.). Vieweg, 1990, pp. 223-230. P. R. Mercer. Complex geodesics and iterates (!f holomorphic maps on convex domains in 0", Trans. Amer. Math. Soc. (to appear).
[Mon-Zip]
D. Minda, The strong form of Ahlfors' Lemma, Rocky Mountain J. Math. 17 (1987), 457-461. D. Minda & G. Schober, Another elementary approach to the theorems of Landau, Montel, Picard and Schottky, Complex Analysis 2 (1983),157-164. D. Montgomery & L. Zippin, Transformation groups, Interscience Tracts.
[Nar 1]
R. Narasimhan, Analysis on Real and Complex Manifolds, North Holland,
[Nar 2]
R. Narasimhan, Several Complex Variables, The University of Chicago
[Min]
[Min-Sch]
1955. 1968.
Press, 1971.
396
[Nar 31 [Nani]
References
R. Narasimhan, Complex Analysis in One Variable, BirkhBuscr, 1985.
I. Naruki. The holomorphic equivalence problem for a class of Reinhardt dorrurins. Publ. RIMS Kyoto Univ. 4 (1968). 527-543.
[Nog-Och]
[Ohs 11
[Ohs 2] [Ohs-Tak] [Pat]
[Pet]
In I [Pfl 21
IPfl 31
[Pfl 41
[Pin]
IPol 1] [Pol 2] [Pol-Shat [Rad]
[Ram I ] [Ram 21
[Ran I I [Ran 21
J. Noguchi & T. Ochiai, Complex Function Theory and Several Complex Variables, Amer. Math. Soc.. Translations of Mathematical Monographs, 80, 1990. T. Ohsawa, A remark on the completeness of the Bergman metric, Proc. Jap. Acad. 57 (1981), 238-240. T. Ohsawa, Boundary behavior of the Bergman kernelfiinction on pseudoconvex domains, Publ. RIMS Kyoto Univ. 20 (1984), 897-902. T. Ohsawa & K. Takegoshi. On the extension of L 2 -holomorphiefunctions, Math. Zeitschrift 195 (1987), 197-204. G. Patrizio, On holomorphic maps between domain in C", Ann. Sc. Norm. Sup. Pisa 13 (1986), 267-279. K. Peters. Starrheitssdtze fiir Produkte normierter Vektorrl wne endlicher Dimension and fur Produkte h}perboli scher komplexer Rdume, Math. Annalen 208 (1974), 343-354. P. Pflug, Quadratintegrable holonwrphe Funktionen and die Serre Vermutung, Math. Annalen 216 (1975), 285-288.
P. Pflug, About the Caratheodoty completeness of all Reinhardt domains in "Functional Analysis, Holomorphy and Approximation Theory II", G. 1. Zapata (ed.), Math. Studies 86, North Holland, 1984. pp. 331-337. P. Pflug, Various applications of the existence of well growing holomorphic ficncuons in "Analytic Functions, Blaiejewko 1982". J.Lawrynowicz (ed.). Lecture Notes in Math. 1039, Springer Verlag, 1984. pp. 331-337. P. Pflug. Holomorphiegebiete, pseudokonvexe Gebiete and das LeviProblem, Lecture Notes in Math. 432, Springer Verlag, 1975. S. Pinchuk, Proper holomorphicntappingsofstricth'pseudoconvexdomains. Soviet Math. Dokl 19 (1978). 804-807. E. A. Poletskii, The Euler-Lagrange equations for extremal holomorphic mappings of the unit disk. Michigan Math. J. 30 (1983), 317-333. E. A. Poletskii, Holonwrphic currents. preprint (1989). E. A. Poletskii & B. V. Shabat, Invariant metrics in "Several Complex Variables III", G. M. Khenkin (ed.). Springer Verlag, 1989. pp. 63-112. T. Radd, Subharmonic Functions, Ergebnisse der Math. and ihrc Grenzgebiete, Springer Verlag, 1937. 1. Ramadanov, Sur une propricstcs de la fonction de Bergman, Comt. Rend. Acad. Bulg. Sci. 20 (1967). 759-762. 1. Ramadanov, Some applications of the Bergman kernel to geometrical theory of functions, Complex Analysis Banach Center Publications 11 (1983). 275-286. R. M. Range. The Carathedor metric and holomorphic maps on a class of weakly domains, Pacific J. Math. 78 (1978). 173-189. R. M. Range. Holomorphic Functions and Integral Representations in Several Complex Variables, Springer Verlag, 1986.
References [Rei I ]
397
H.J. Reiffen, Die dijferentialgeometrischen Eigenschaften der invarianten
Distanzfunktion von Caratheodorv, Schriftenreihe d. Math. Inst. Univ. Munster, 26. 1963. [Rei 2]
[Rei 3] [Rein] [Rie]
[Rin] [Rob] [Ros 11
[Ros 2] [Rose] [Roy] [Roy-Won]
[Rud 1] [Rud 2] [RdhJ
[Sch 1] [Sch 21
H.J. Reiffen, Die Carathctodor' Distant and ihre zugehdrige Diferentialmetrik, Math. Annalen 161 (1965). 315-324. H.-J. Reiffen, Metrische Grqfien in Cy-Rdumen, Acad. Nazionale dei XL (1977-1978), 1-29. K. Reinhardt, Uber Abbildungen durrh analvtische Funktionen zweier Veranderlicher, Math. Annalen 83 (1921). 211-255. R. Richberg, Sterige streng pseudokonvexe Funktionen, Math. Annalen 175
(1968),251-286. W. Rinow, Die inhere Geometrie der metrischen Rtlume, Grundlehren der math. Wiss. 105, Springer Verlag. 1961. R. M. Robinson, Analytic ,functions in circular rings, Duke Math. J. 10 (1943),341-354. J.-P. Rosay, Sur une characterization de la boule parmi les domains de C' par son groupe d'automorphismes, Ann. Inst. Fourier 29 (1979), 91-97. J.-P. Rosay, Un example d'ouvert borne de C3 "taut" mais non hyperbolique complet, Pac. J. Math. 98 (1982), 153-156. P. Rosenthal, On the zeros of the Bergman function in double- connected domains, Proc. Amer. Math. Soc. 21 (1969). 33-35. H. L. Royden, Remarks on the Kobayashi metric in "Several complex variables, II". Lecture Notes in Math. 189. Springer Verlag, 1971, pp. 125-137. H. L. Royden & P.-M. Wong, Carathdrdory and Kobayashi metric on convex domains. preprint (1983). W. Rudin, Real and Complex Analysis, McGraw-Hill Book Company, 1974. W. Rudin. Function Theory of the Unit Ball, Grundlehren d. math. Wiss. 241, Springer Verlag, 1980. F. R(ihs, Funktionentheorie, Deutscher Verlag d. Wissenschaften. 1962. B. Schwarz, Bounds for the Caratheodorv distance of the unit bull, Linear and Multilinear Algebra 32 (1992), 93-101.
B. Schwarz, Caratlteodory balls and noun balls of the domain H =
[Sib 2]
((zl, t2) E C2, IziI + 1121 < 1), preprint (1992). M. A. Selby, On completeness with respect to the Carathetodory metric, Canad. Math. Bull. 17 (1974), 261-263. N. Sibony, Prolongement de fonctions holomorphes born es et metrique de Carathfodory, Invent. Math. 29 (1975), 205-230. N. Sibony, Remarks on the Kobayashi metric, unpublished manuscript
[Sib 3]
(1979). N. Sibony, personal communication (1981).
[Sell [Sib 11
[Sib 41
N. Sibony, A class of hyperbolic manifolds in "Recent developments in several complex variables", J. E. Fornaess (ed.), Ann. Math. Studies 100, 1981, pp. 347-372.
[Sib 5J
N. Sibony, Some aspects of weakly pseudoconvex domains, Proc. Symp. Pure Math. 52(Part 1) (1991), 199-231.
399
(Sic I) [Sic 21
[Sim] [Siu]
[Sko]
[Skw I ] [Skw 21
(S101
[Sta I1 ISta 21
[Sto]
References
J. Siciak, Extremal plurisubharnonic functions and capacities in C". Sophia Kokyuroku in Mathematics, 14, 1982. J. Siciak. Balanced domains of holomorphn of ripe H0°, Mat. Vesnik 37
(1985).134-144. R. R. Simha, The Caratheodorv metric on the annulus, Pore. Amer. Math. Soc. 50 (1975), 162-166. Y. T. Siu, Every Stein subvariety admits a Stein neighborhood, Invent. Math. 38 (1976). 89-100. H. Skoda. Applications des techniques L2 a la theorie de ideaux d'un algcbre de functions holomorphes avec poids, Ann. Scient. Ec. Normale Sup. 5 (1972),548-580. M. Skwarezydski, Biholomorphic invariants related to the Bergman function. Dissertationes Math., 173, 1980. M. Skwarczytiski, Evaluation functionals on spaces of square integrable holomorphic functions, Wylsza Szkola Intynierska w Radomiu, Prace Mat: Fiz.. Radom (1982). 64-72. Z. Slodkowski. Polynomial hulls with convex fibers and complex geodesics, J. Funct. Analysis 94 (1990), 156-176.
C. M. Stanton. A characterization of the polydisc, Math. Annalen 253 (1980). 129-135. C. M. Stanton, A characterization of the ball by its intrinsic metrics, Math. Annalen 264 (1983), 271-275. E. L. Stout. The Theory of Uniform Algebras. Bogden & Quigley publishers. 1971.
[Sui-Yams
[Sun] [Suz 11
[Suz 21 [Tis]
(Tro] [Vcn 11
[Ven 2] (Ven 3] [Ves 11
N. Suita & A. Yamada, On the Lu Qi-Keng conjecture, Proc. Amer. Math. Soc. 59 (1976), 222-224. T. Sunada, Holomorphic equivalence problem for bounded Reinhardt domains, Math. Annalen 235 (1978), 111-128. M. Suzuki, The holotnorphic curvature of intrinsic metrics. Math. Rep. Toyama Univ. 4 (1981), 107-114. M. Suzuki, The intrinsic metrics on the domains in C", Math. Rep. Toyama Univ. 6 (1983), 143-177. D. K. Tishabaev, On regions biholoinorphicalh' equivalent to a ball (Russian), Sib. Math. J. 2 (1991), 193-196. J. J. Trohimchuk. Continuous Mappings and Conditions of Monogenels, Daniel Davey, 1964. S. Venturini, Comparison between the Kobayashi and Carathetodors distances on strongly pseudoconvex bounded domains in C", Proc. Amer. Math. Soc. 107 (1989). 725-730. S. Venturini, Pseudodistonces and pseudometrics on real and complex manifold. Ann. Mat. Pura Applicata 154 (1989), 385-402. S. Venturini, Intrinsic metrics in complete circular domains, Math. Annalen 228 (1990), 473-481. E. Vesentini, Complex geodesics. Compositio Math. 44 (1981), 375-394.
References
399
[Yes 2)
E. Vesentini, Complex geodesics and holonorphic mappings, Sympos. Math. 26 (1982), 211-230.
[Yes 3]
E. Vesentini, Injective hvperbolicity. Ricerche di Mat.. Suppl. 36 (1987). 99-109. J.-P. Vigue, La distance de Caratheodorv n'est pas interieure, Resultate d. Math. 6 (1983), 100-104. J.-P. Vigue, The Caratheodc».v distance does not define the topology, Proc. Amer. Math. Soc. 91 (1984), 223-224.
[Vig I ]
[Vig 2] [Vig 31 [Vig 41 [Vig 51
[Vor]
[Web]
J.-P. Vigue, Sur la caracterisation des automorphisntes anlytiques d'un domain borne, Portugaliae Math. 43 (1985), 439-453. J.-P. Vigue, Points fires d'applications holomorphes duns tat doinaine borne, Trans. Amer. Math. J. 289 (1985), 345-355. J.-P. Vigue, Un lenune de Schwarz pour les dornaines bornes svmetriques irreductibles et certain dornaines bornes strictement convexes, Indiana Univ. Math. J. 40 (1991). 293-304. N. Vormoor, Topologische Fortsetung biholomorpher Funklionen auf dem Rande bei beschrankten streng-pseudokonvexen Gebieten inn C" min C cRand, Math. Annalen 204 (1973), 239-261. S. M. Webster. Biholomorphic mappings and the Bergman kernel off the diagonal, Invent. Math. 51 (1979). 155-169.
[Wiej
J. Wiegerinck, Domains with finite dimensional Bergman space, Math. Zeitschrift 187 (1984), 559-562.
[Won 1]
B. Wong, Characterization of the unit ball in C" by its automorphism group, Invent. Math. 41 (1977), 253-257.
[Won 21
B. Wong. On the holomorphic curvature of some intrinsic metrics, Proc. Amer. Math. Soc. 65 (1977), 57-61. H. Wit, Normal families of holomorphic mappings. Acta Math. 119 (1967).
(Wu 1] [Wu 2] (Yin)
[Zer]
194-233. H. Wu, A remark on holomorphic sectional curvature, Indiana Univ. Math. J. 22 (1973), 1103-1108. W. Yin, A comparison theorem of the Kobayashi metric and the Bergman metric on a class of Reihardt domains, preprint (1990). A. Zeriahi. Potentiels capacitaires ertrentaux et inequalites polynomiales sur un sousensemble algebraic de C", These, Part B, Universite Toulouse, 1986.
[Zin]
[Zwoj
B. S. Zinovev, On reproducing kernels for multicircular domains of holomorphy, Sib. Math. J. 15 (1974), 35-48. W. Zwonek, A note on Caratheodory isometries, Archiv d. Math. 60 (1993), 167-176.
List of symbols
General symbols
N - the set of natural numbers, 0 gE N Z - the ring of integer numbers Q - the field of rational numbers R - the field of real numbers C - the field of complex numbers Re z, Im z - real and imaginary parts of z E C A" - the Cartesian product of n-copies of the set A, e.g. C"
A.:=A\{0},e.g. C., (C"). A+:= {aEA:a>0),e.g.Z+, R+
A_:={aEA:a<0} A>o:= (a E A: a > 0), e.g. R>o
A.o:=(aEA:a<0)
Rte := R U {fop}
A+B:=(a+b:aEA,bEB), where A,BCX,(X,+) is agroup where ACC,BCX,X is a C-vector space (z, w) = (Z. w)n := Ei=, zj wi, z = (Zt, ... , Zn), w = (w1, ... , wn) E C" (, - the Hermitian scalar product in C"
z=(ZI....,Zn),w=(w1....,wn)EC" llzll = Ilzlln := ((z, z))"2 = (Izi I2 + ... +
z = (Z,.... , z") E C"
11 - the Euclidean norm in C" diam A the diameter of the set A C C" with respect to the Euclidean distance 11
dist(A, B) := inf{Ila - bIl : a E A, b E B) dist(a, B) := disc({a}, B) cony A the convex hull of the set A Bd(a, r) {x E X : d(x, a) < r}, a E X, r > 0, where (X, d) is a pseudometric space
Bd(a, r)
{x E X : d(x, a) < r}, a E X, r > 0, where (X, d) is a pseudometric
space
Bq(a. r)
{x E X : q(x - a) < r), a E X, r > 0, where (X, q) is a normed
space
Bq(a, r) space
{x E X: q(x - a) < r}, a E X, r > 0, where (X, q) is a nonmed
List of symbols
401
B(a, r)
BII II(a, r), a E C". r > 0 B(a, r) := BII II (a, r), a E C", r > 0
3,,:=B(0.1)CC"
B. - the unit Euclidean ball in C" E := B, = (A E C: IAI < I} - the unit disc (Einheitskreis) top G - the Euclidean topology of G, G C C"
Illlln:=supflf(a)I:aEA}, f: A ->C Ck(SZ1, S22) - the space of all CR-mappings F: SZ, -+ 512; k E Z+ U {oo} U (w} Ck(Q) := C* (Q, C) L I (S2. loc) - the space of all locally integrable functions on S2 L22(S1) - the space of all square integrable functions on S2
L2(1. exp(-V)) - the space of all square integrable functions with the weight exp(-(p ) O(1j, S2,) - the space of all holomorphic mappings F: 1? -3. S2,
O(1) := O(1. C) L2(S1) - the space of all square integrable holomorphic functions on S1 H0O(S2) - the space of all bounded holomorphic functions on S2 Aut(G) - the group of all automorphisms of G C C"
Auta(G) := {h E Aut(G): h(a) = a} sh:=subharmonic
SH(G) - the set of all subharmonic functions on G psh:=plurisubharmonic
PSH(G) - the set of all plurisubharmonic functions on G gr, - the (classical) Green function of G - locally uniform convergence dr(z) - the real gradient of r at z
a - the a-operator
G - the Levi form Symbols in Chapter I the M6bius distance
.
.
.
.
.
.
.
.
.
.
.
.
.
.
he.n ...............................3 .
Y
.
.
.
LY - the y-length . . . p - the Poincar< distance LP - the p-length . . . p'
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.4
.
.
.
.
.
.
.
.
.
.
.
5
3
...............................5 ...............................6
L, - the in-length
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
6
m' Isom(m)
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
.
.
.
.
402
List of symbols
Isom(P) lsom(Y)
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
16 16 16 18
Symbols in Chapter II
c - the Mobius pseudodistance for G
.
.
.
.
CG - the Carathe odory pseudodistance for G . . . . . . . . yG - the Caratheodory-Reiffen pseudometric for G . . . . . Gh = {h < 1) - the balanced domain with Minkowski function h top cG the Carathe odory topology for G . . . . . . . . .
.
.
.
.
.
.
.
.
.
L c - the cG length
.
.
.
.
.
29 35 36
.
.
.
.
.
.
.
.
.
Ln: - the yG-length . . . . . . . . . . . . . - the inner Caratheodory pseudodistance for G CG f yG - the integrated form of yG . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
AUt1d (G)
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
38 39 49 54 55
.
.
.
.
.
.
.
'
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
S(G) - the set of all admissible exponents of G log A - the logarithmic image of A . . . . .
.
.
Symbols in Chapter III
kG - the Lempert function for G . . . k* := tank kG . . . . . . . . . . . kG - the Kobayashi pseudodistance for G
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
71
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
71 73
73
........ ...................78
k := tanhkG
.
.
.
.
.
.
.
.
.
.
.
.
.
.
km) LAt, - the kG-length . . . . . . . . . . . xG - the Kobayashi-Royden pseudometric for G hG - the Hahn pseudometric . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
82 90 . 99 . 100 . 101 . 101
.
xG - the Kobayashi-Buseman pseudometric for G . LxG - the xG-length . . . . . . . . . . . . . L,,G - the scG-length
.
.
.
.
.
.
f xG - the intergrated form of xG f xG - the intergrated form of xG
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
101 101
Symbols in Chapter IV .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.111 .111
6, 00, Oh, 0,, Ob d = (dG)GEmo ICG(a) GG(a)
.
112
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. 115
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
S = (SG )GEOo
115
403
List of symbols
SG(a)
.
.
M( )(a) db?
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
115
.............................116 ..116 .
.
.
.
.
.
.
.
.
.
.
.
.
SG' gc - the complex Green function for G AG - the Azukawa pseudometric for G SG
.
.
.
.
.
.
.
115
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
116 116
.
.
.
.
.
.
.
.
.
.
116
.
.
.
.
.
.
.
.
.
.
116
.
.
.
.
.
.
.
.
.
116 120
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..............................116
SG - the Sibony pseudometric for G . . . the k-th MSbius function for G yG't' - the k-th Reiffen pseudometric for G (dd`u)" - the Monge-Ampere operator . tic
Z(G)
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..............................137 .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
139 139 139 140 140 140
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
141
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
144
9X(G)
Ld - the d-length . . . . . . . d` - the inner pseudodistance for d L8 - the 8-length . . . . . . . J'S - the integrated form of 8 . . Dd - the derivative of d . . . . S - the Buseman pseudometric for S d'
..............................146 f8 ..............................146 5Dd...............................146 ..............................147 Symbols in Chapter VI )LI(G) - the L2(G)-scalar product II IIV(ci - the L2(G)-norm . . . . KG - the Bergman kernel for G . . PG - the Bergman projection . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
170
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
171
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
171 171
BG ..............................185 .
,0c - the Bergman pseudometric for G hG - the Bergman pseudodistance for G
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
186 186
..............................188 MG ..............................190 6
exp(-(p)) - the space of all (0, q)-forms with coefficients in . . . . . . . . . . . . . . . . . . . L-(G, exp(-(p)) . . PG - the Skwarczyfiski pseudodistance for G . . . . . . . . . . Mc . . . . . . . . . . . . . . . . . . . . . . . . . . . L2
(,.,)(G,
194 195 197
List of symbols
404
Symbols in Chapter VIII
qG - the Minkowski function for G . . . q(, - the dual Minkowski subnorm for G . v(z) - the unit outer normal of G at z E aG r - the normalized Lebesgue measure on aE L" - the Lie ball in C" . . . . . . . . .
M
.
.
.
.
.
.
.
.
.
.
e(p) - the complex ellipsoid
.
.
.
.
.
.
.
.
.
.
.
.
.
246 . 247 . 248 . 250 . 259
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. 264
.
.
.
.
.
.
. 311
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
261
Symbols in Chapter X
gradr :-
the complex gradient of r
"
IIaII(; :_ F-;_l IIajIIG - the supremum norm of the form a
311 311
Index
A
Carath6odory ball
A-hyperbolicity
admissible exponent for G Ahlfors-Schwarz Lemma analytic capacity analytic ellipsoid Azukawa pseudometric
207
54
Carathe odory completeness Carathcodory pseudodistance
l1 221
Caratheodory-Reiffen pseudometric
3._2
Carathe odory topology
116.. LL8
213
b-finite compactness
213 1411
complex SG-geodesic
L 7-5
Bergman completeness Bergman kernel Bergman projection Bergman pseudodistance Bergman pseudometric Big Picard Theorem
2311
121 1Z1
L8ft
22
Cauchy inequalities
B b-completeness
balanced domain balanced pseudoconvex domain
11t
12
Cauchy Integral Formula Classical Schwarz Lemma Classical Schwarz-Pick Lemma complex dG-geodesic
-hyperbolicity
41
21lt
35
384
351 352 231
complex ellipsoid complex extreme point
232 264 252
complex geodesic
254
complex Green function l1 LL8 cone condition (general outer cone condition) 182 cone condition for n-circled domains
186 12
62
contractible family of functions
Ill
Blaschke product
384
Bohr theorem Borel-Caratheodory Lemma Bouligand theorem Brody hyperbolicity
358 56
contractible family of pseudodistances
381 202
contractible family of pseudometrics
Buseman pseudometric
145
contraction
C c-completeness c-finite compactness
c-hyperbolicity c-isometry c'-hyperbolicity CG
)-length
cG`)-rectifiability Cl-pseudodistance
213 213
28 22
40 35 35 L4fi
112 LL2
D a-closed (0, I)-form S-hyperbolicity S-length d-hyperbolicity d-length d-rectifiability dG-completeness dG-finite compactness
1
3!J 114 140 LL4
140 L40 213 213
406
Decomposition Theorem derivative
Dirichlet domain Dirichlet problem domain of holomorphy Domination Principle dual Minkowski subnorm
Index
385
Embedding Theorem Euclidean rectifiability exhaustion function extremal disc
323
3$4
Hahn pseudometric Hardy-Littlewood Theorem
99 386
375
Hardy space
384
383 242
Hartogs Lemma for plurisubharmonic functions 323 Hartogs Theorem 96 Hausdorff measure 82 holomorphic contractibility 12 holomorphic covering 368 holomorphic curvature holomorphic extension 362 homogeneous finite diagonal type
MOO
E elementary n-circled domain
Hadamard Three Circles Theorem
141
54
318 36 371 81, 22
extremal function for cG (z', z") L6
extremal function for yG (z: X)
365
Hopf lemma hyperbolic distance hyperconvex domain
L6
extremal function for
322 5
80.322
132
I
F Fatou theorem
362
finite type
364
Forelli theorem
347
G y-contraction y-hyperbolicity y-isomctry y-length ye-length Gelfand topology Gelfand transform
2 28
inner distance inner pseudodistance integrated form irrational type irreducible element of S(G) isometry
38 6 L4Q
101. 141 54 52
I
2 285 3 36 220 220
generalized Laplacian Generalized Poincare Theorem
356 25
generalized product property
309
General Schwarz-Pick Lemma Green function group of automorphisms
Al
L2
379
H H'`'-convexity H'1-domain of holomorphy H"`-extension
Identity Principle for HP 385 inner Caratheodory pseudodistance
K k-completeness k-finite compactness k-hyperbolicity k(; -length
k-th MSbius function k-th Reiffen pseudometric r--indicatrix x-isomctry x-hyperbolicity xG-length .,;.,C;-length
213 213 83 82 L16. 118 116. 118 92 285 207 Lot LOU
218 217
kernel function L69 Kobayashi-Buseman pseudometric
18
Loll
407
Index
Kobayashi completeness
22"3
Kobayashi pseudodistance Kobayashi-Royden pseudometric
352
non-tangential limit
23
0 44
374
Oka Theorem
L Landau theorem Lempert function Lempert's Theorem
243
p-rectifiability
Levi form
324
p-segment
P 14 21
-312 Levi polynomial 375 Levi Problem Lie ball 259 1159 Lie norm 22 Liouville domain Liouville Theorem 11 Little Picard Theorem au 311 local peak function 55 logarithmic image logarithmically plurisubharmonic func3751 tion Lu Qi-keng domain 1$4
p-isometry p-length
7 5
5
peak function
5 217
peak point
377
Picard theorem pluripolar set plurisubharmonic function
313
4 3211 5
Poincare distance
Poincare model Poincare Theorem
5 22
pointwise S-hyperbolicity
LL4
Poisson Integral Formula
3&L 384 42, 106. 296
product-formula product-property
pscudoconvex domain
42, 106. 29-6 375
M in-contractible family of functions
pseudometric
112
U2 in-contractible family of pseudodisLL2 tances m-contraction 2 2 m-isometry 3 m-segment maximal plurisubharmonic function 385 Maximum Principle for plurisubhar-
R rational type
54
monic functions
monic functions
Minkowski function Minkowski subnorm Mdbius distance MSbius function Mi bius pseudodistance
321
L&)46 241 3 115. 118 15
Mange-Ampere operator
393
Montel theorem
352
N
n-circled domain
53
regularity with respect to the Dirichlet problem
Reiffen pseudometric Reinhardt domain
380 116. LL& 54
removable singularities of holomorphic 3L2 functions removable singularities of plurisubharRiesz theorem Riesz, F.& M., Theorem Robinson's Fundamental Lemma
323 382
385 156
S
207 S-hypcrbolicity 14 Schottky theorem Schwarz Lemma for subharmonic 373 functions Schwarz-Pick Lemma 2
408
Index
Schwarz-Pick Lemma for the annulus 154 43
Sibony domain 116, 118 Sibony pseudometric 195 Skwarczyfiski pseudodistance 220 spectrum of H "*(G) square integrable holomorphic 170 function Stein manifold 378 strictly convex domain 257 strictly plurisubharmonic function 374 strongly convex domain 264 strongly linearly convex domain
subharmonic function
370
T taut domain theta function 'fhullen domain Thullen Theorem transitive action of a group U UFD-ring
77 162 173 375
379
Uniformization Theorem universal covering
177 368 368
W weak dG-completeness weak dG-finite compactness
213 213
360
strongly pseudoconvex domain 310, 376
ISSN 09:38-6572 ISBN :3-11-01:32.1-(i