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!
'. Conversely, if
To
L
'(R 2 ) then c/>(x)+d, and pis large. The right-hand
Mo
>HI ~ CIEI.
Then
is bounded on
is bounded on Lq(R 2 ), for p'< q < p [16].
To prove this assume first that
To
is bounded on LP(R 2). Then
the first step is to notice that this implies that
This is proven by observing that if we dilate the region Ro by a huge factor p to get
R~
and translate
R~
properly (by rk) then R:•rk
looks like a half plane with boundary line making an angle of ok with the positive x axis. Then if rk(t) are the Rademacher functions, and Tp,rkfA
0
and
=X
p,rk
Ro
f
then
87
MULTIPARAMETER FOURIER ANALYSIS
Taking the limit as p
oo,
4
\1 (~1Tkfk12)
we have
1~
IILP
~ell (~ifk12)
1~
IILP
where Tk is the Hilbert transform in the direction Ok. The next step is to use the above inequality to prove a covering lemma for rectangles in
mo.
Let IRkl be a sequence of such rectangles.
""' 1, R ~ "" Select R given that R 2 ,· .. , Rk-l have been chlSen provided IR n [j~k
Rj ll < ~ JR J.
Then if R is unselected
Mo<Xu'R'/ ;: - ~
on R
so that
Let Ek
=
Rk-
u
~J.
j
below, since JEkl2'
and let fk =
x~ .
Then looking at the picture
J:!.k
~IRk! on at least a set
Figure 3
of measure>
l~O i'tki the
88
ROBERT FEFFERMAN
segments pictured contain at least 1 /100 of their measure in Ek. If we duplicate the rectangle Rk as shown, on these segments Tkfk > 1/100. Applying Tk =Hilbert transform in the direction perpendicular to ek to Tkfk we see that Tk(Tt/k) > 1/100 on all of R~. Repeating twice more we get
I
I x~) I(~
IILP ~ c I(~ lx~k 12 )
1/2
This shows that
Me
1/2
IILP ~ Cllxu~k\ILP ·
is of weak type (p/2)'.
Conversely, assume that
Me
is bounded on L(PI 2 >'. Define
Sk=l(o:((1'( 2 )\2k~( 1 <2k+ 1 1. Then if Sk alsostandsforthe multiplier operator corresponding to Sk, we see that
But in R 1 we have the classical weight norm inequality for the Hilbert transform:
It follows that (3.3) is
(3.4)
Me
is bounded on L(q 12 )'/( 1 +E) if e is sufficiently small. It follows
that (3.4) is
89
MULTIPARAMETER FOURIER ANALYSIS
proving that
4.
To
is bounded on Lq .
HP spaces - one and several parameters In this lecture we wish to discuss another chapter of harmonic
analysis relating to differentiation theory and singular integrals, namely Hardy Space theory. In this lecture, we shall discuss the one-parameter theory, and, in the next, the theory in several parameters. In the beginning when HP spaces were first considered, they were spaces of complex analytic functions in R;
=
lz =X+ iy lx fR 1, y fR 1 , y >01 which satisfies
the si.21e restriction
J
)1/p
+oo
(
IF(x +iy)iPdx
:S: C for all y
f
R~ .
-00
One of the main reasons for introducing these spaces was the connection with the Hilbert transform. If F(z)
=
u(z) + iv(z) is analytic with u and
v real, and if F is sufficiently nice then F will have boundary value u(x) + iv(x) where v(x) is the Hilbert transform of u(x). It turns out, since
increases as t .... 0, we have +oo
IIF II
H
1
d~f sup
t>O
I
IF(x +it)ldx""' llull 1
1 + llvll 1 1 · L (R } L (R }
-oo
So we may view the space H 1 through its boundary values as the space of a 11 real valued functions f as well.
f
L 1 (R 1) whose Hilbert transforms are L 1
90
ROBERT FEFFERMAN
If we want a theory of HP(R 0 ) then, following Stein and Weiss we may consider the functions F(x,t) in R~+l = {(x,t)jxcR 0 , t >01 whose values lie in Rn+l: F(x,t) = (u 0 (x,t),·· ·,un(x,t)) where the ui{x,t) satisfy the "Generalized Cauchy-Riemann equations," n
au.
I~ (x,t) i=O
=0
(t
=xo)
1
and
au.1
ax. J
auj
- "'L"" for all i,j. = ax1
These Stein-Weiss analytic functions are then said to be HP(R~+ 1 ) if and only if sup t>O
(J
1 IF(x,t)IPdx) /p = JIFII
[17].
HP(Rn)
Rn
Again, these functions have an interpretation in terms of singular integrals, since if a Stein-Weiss analytic function F(x,t) is sufficiently "nice" on R~+l, then the boundary values ui(x) satisfy ui{x) = Ri [u 0 ]{x) where Ri is the ith Riesz transform given by Ri(f Xx) = f
cnxi * --. lxln+l
1
In particular we may consider an H (Rn+
+1
) function {by
identifying functions in R~+l with their boundary values) as a function f with real values in L 1(R 0 ) each of whose Riesz transforms Rif also belong to L 1 (Rn). An interesting feature of HP spaces is that they are intimately connected to differentiation theory as well as singular integrals. To discuss this, let us make some well-known observations. For a harmonic function u(x,t) which is continuous on R~+l and bounded there, u is given as an average of its boundary values acc01ding to the Poisson integra 1:
91
MULTIPARAMETER FOURIER ANALYSIS
Let f(x) = l(y,t)\ \x-y\ < tl. Then since convolving with Pt at a point x can be dominated by an appropriate linear combination of averages of f over balls centered at x of different radii, it follows that if u*(x)
=
sup
\u(y ,t)\ , then u*(x)
'S cMf(x)
.
(y,t)lf{x)
Unfortunately, if u(x,t) is harmonic, for p :S 1, u
=
P[fJ, and
fan \u(x,t)\Pdx ~ C then the domination u* ~ CMf is not useful, since M is not bounded on LP , and it is not true in general that u*(x) for a,.e.
F
say
X l i
< oo
Rn. On the other hand, suppose F is Stein-Weiss analytic,
H 1 (R~+l).
Then a beautiful computation shows that if 1 >a > 0 is close enough to 1
{a~ n~l) then 6(\F\a)?: 0 so that \Fia is subharmonic.
H
s(x,t) is subharmonic and has boundary values h(x) then s is dominated by the averages of h, i.e., s(x,t) ~ P[h](x,t) . Applying this to G = \Fia (which has we see that G*
'S M(h)
Ll/a so that M(h)
l
for some h
t
JG 1 /a(x,t)dx
~ C for all t > 0)
Ll/a. Now M is bounded on
Ll/a and so G* (Llla. It follows that F*
l
L1 •
Just as for a random f ( L 1(Rn) we do not necessarily have Rif ( L 1 (R 0 ) (singular integrals do not preserve L 1 ) it is also not true that for an arbitrary L 1 function f that for u = P[f]. u* then u* (
L 1(Rn).
l
L 1 . But if f
Thus the nontangential maximal function F*(x) ~
sup
\F(y ,t)\
l
L 1(Rn)
(y,t)lf(x)
if and only if the analytic function f
l
H 1 (R~+l).
l
H1 (R!+ 1 )
92
ROBERT FEFFERMAN
We know so far that we can characterize HP functions in terms of singular integrals and maximal functions. There is another characterization which is of great importance. To discuss it, let us return to HP functions in R ~ as complex analytic functions, F
=
u + iv. It is an
interesting question as to whether the maximal function characterization of HP can be reformulated entirely in terms of u. That is, is it true that F* c LP if and only if u* c LP ? In fact, this is true, and the best way to see this is by introducing a special singular integral, the LusinLittlewood-Paley-Stein area integral,
s 2(u)(x) =
JJ
l'i7ui 2 (y.t)dtdy
l(x)
which we already considered in the first lecture. As we shall see later, for a harmonic function u(x,t), IIS{u)ll
LP
~ llu*!l
LP
for all p
> 0 [18].
The importance of S here is that the area integral is invariant under the Hilbert transform, i.e., S(u)
=S(v),
since l'i7vl = l'i7ul.
When we combine the last two results, we immediately see that
It is interesting to note that the first proof of !IS{u)ll
""'!iu*ll P, LP L 1 ~ p > 0 was obtained by Burkholder, Gundy, and Silverstein [19] by using probabilistic arguments involving Brownian motion. Nowadays direct real variable proofs of this exist as we shall see later on. To summarize, we can view functions f in HP spaces by looking at their harmonic extensions u to R~+l and requiring that u* or S{u) belong to LP(Rn).
93
MULTIPARAMETER FOURIER ANALYSIS
It tums out that there is another important idea which is very useful
concerning HP spaces and their real variable theory. So far, we have spoken of HP functions only in connection with certain differential equations. Thus, if we wanted to know whether or not f take u
= P[f] which of course satisfies
~u =
l
HP we could
0.
This is not necessary. If f is a function and f/J < c;(Rn) with
fR
¢n =1, then we may form f* (x) =
sup
If *f/Jt(y)l, ¢t(x) =
(t,y)E r(x)
en rp(x/t) and if 1/J < c;(Rn) and J.P = 0 we may form s3.(f Xx) ==
is suitably non-trivial (say radial, non-zero)
rr
J,
'I'
if * .Pt(y)l 2 dy dt tn+l
[18] .
rex)
Then C. Fefferman and E. M. Stein have shown that 11£11 P n "" llf*ll P n "" IIS,,.(f)il P n for 0 H (R ) L (R ) 'I' L (R )
< p < oo
•
Thus, it is possible to think of HP spaces without any reference to particular approximate identities like Pt{x) which relate to differential equations. In addition to understanding the various characterizations of HP spaces, another important aspect is that of duality of H 1 with BMO, which we shall now discuss. A function rp(x), locally integrable on Rn is said to belong to the class BMO of functions of bounded mean oscillation provided
~~I
J
lr/J{x)- r/Jo I dx
'S
M
for all cubes Q in Rn ,
Q
f. f/J. IQI o
where r/Jo = _!_
The BMO functions are really functions defined
modulo constants and
II
llaMo is defined to be sup
l~l J0
lr/J-r/Jol·
ROBERT FEFFERMAN
94
According to a celebrated theorem of C. Fefferman and Stein, BMO is the dual of H 1 (18]. This result's original proof involves knowing that singular integrals map L"" to BMO and also a characterization of BMO functions in terms of their Poisson integrals which we now describe. Suppose p. :2: 0 is a measure in R~+l and Q S.: Rn is a cube. Let S(Q)
=
{y,t)ly £Q, 0 < t <side length (Q)I. Then we say that p. is a
Carleson measure-on R~+l iff p.(S(Q)) ~ CIQI. The basic property that characterizes Carleson measures is
for all functions u on R~+l. In connection with this type d measure there is the characterization of functions in BMO(Rn) in terms of their Poisson integrals. A function cp(x) on Rn with Poisson integral u(x,t) is in BMO if and only if the associated measure
is a Carleson measure. C. Fefferman proved this and used it to prove that every function in BMO acts continuously on H 1 :
These are the basic facts of HP spaces that will concern us here and which we shall later generalize to product spaces. Let us now prove that for a harmonic function u(x ,t)
95
MULTIPARAMETER FOURIER ANALYSIS
We begin with the estimate llu*llp
:S Cpi!S(u)llp, and to do this we
shall show that
liu*>Cal[
~ C~2 ~
J
S2(u)(x)dx +
liS(u)>al~.
J
S(u}
From this our claim follows. This is because for Ag(a) = lllgl >all we have
~ J~ ..-
Hu. n
1 Au .(a)da
p -
f
0
j .•- f.~ j t 1
0
<
J
J
00
f3As(u)(f3)
0
L.
,<•>
0
00
\
fli>.S(u)(JJ)d {3 + •• ,.
j
J 00
aP- 3dad{3 +
aP-l>..S(u)(a)da .
0
00
Assuming p < 2 as we clearly may, this is
~
I
00
f3P-l>..S(uif3)d{3
-v
1\S(u)l\~.
0
To prove the estimate on llu* >Call, we set the notation that
E: = ~M(xE) > l.
f
H,
and then claim
S 2 (u)(x)dx:::: c JJI'Vu(y.t)\ 2 t dtdy where
ln fact, if (y ,t) dR then \B(y,t) n!S(u)>all <
=
u
r(x)
xils(u)>al
R
S(u):Sa
!R
t
\B(y,t)l .
.
96
ROBERT FEFFERMAN
Then
I
I ( I iVul 2(y,t)t 1 -ndyd~
S2 (u)(x)dx "
xd S(u~a
S(u}Sa
(4.1) -=
Jf
I
dx
T(x)
\'Vu\ 2 (y,t)t 1 -nJixj(y,t)d'{.i),x/lS(u)>allldydt.
Rn+l
+
But fa (y,t)
f
R,
\lx\(y,t)£r{x),xi!S(u)>all\-= \B(y,t)nciS(u)>al\ ~ ~ \B(y,t)\ and (4.1) is
as claimed.
II. The next step is to write \'Vu \2 to 9t :
ffA(u 2)(y,t) t dydt = JJ' R
Now
t
=
A(u 2 ), and apply Green's theorem
J~an
t- u 2
aR
~do. an
~ c > 0 for some c so the above gives
Since, for purposes of all estimates we may assume that u is rather nice, we may assume u('Vu)t vanishes at t = 0, so
97
MULTIPARAMETER FOURIER ANALYSIS
J
u(Vu)t do=
dR
J
u(Vu) t do
dR
where aR is the part of dR above IS(u) > al. It is not hard to see that !Vult~ a on dR so that
Putting all of our estimates together, we see that
I
u 2du
~J
I
t(u~a
dR
S2 (u)(x)dx +a'IS(u)
III. Next we wish to define a function
f
by
f(
x)
=
>
.,,l
)
u(x, r(x)) where
(x, r(x)) t: dR defines the function r. We claim that in the region R
lui~ Plr] +Ca.
(4.2)
This is done by harmonic majorization. It is enough to show this on dR, and this in turn is just saying that for any point p t: c1R, jU(p)l is dominated by the average over a relative ball on dR of u +Ca. This follows from the estimate
IVult~ Ca
on dR. Anyway, from (4.2) we
have, for xi IS(u) > al, u*(x) ~ CP[f]*(x) + Ca, so that finally llu* > C'all
~ IM((x) >all~ ~ llfll~ a
< _g_ a2
I S(u)~
This completes the proof.
S 2 (u)(x)dx + c llS(u)
>all .
98
ROBERT FEFFERMAN
The proof that \\u*\\p ~ Cp\IS(u)\\p which we ;ust gave has been lifted from Charles Fefferman and E. M. Stein's Acta paper [18]. To prove the reverse inequality we want to go via a different route, and we shall follow Merryfield here [20]. We prove the following lemma. In the next lecture we show how this lemma proves \lu*l\p ~ Cp\IS(u)l\p. LEMMA.
Let f(x) and g(x)
f
L 2 (Rn),
and suppose
rp
f
and u ~ P[£]. Then
for some
rp
f
c;(Rn) with
f rp
== 0 (
rp
real-valuecl).
Proof.
-2
Jf Rn+l
+
u(x,t)
~ u(x,t)(g*cJ>t) 2(x,t)dtdx
c;(R") radial
MULTIPARAMETER FOURIER ANALYSIS
where
I
=
JJ
u(tV(g*cf>t)) t -l 12 · Vu(g*cf>t) t 1 12dt dx
Rn+l
+
and
We see that
but
99
100
ROBERT FEFFERMAN
But
so
Putting this together gives
5.
More on HP spaces At this point we wish to discuss the theory of multi-parameter HP
spaces and BMO. We saw, in the last lecture, that HP(Rn) could be defined either by maximal functions or by Littlewood-Paley-Stein theory. All of these spaces, HP and BMO were invariant under the usual dilations on R 0
,
x-+ 8x, and this is hardly a surprise, since they can be
defined by the maximal functions and singular integrals which are
MULTIPARAMETER FOURIER ANALYSIS
101
invariant under these dilations. Here we shall define HP and BMO spaces which are invariant under the dilations (in R 2 ) (x 1 ,x 2 ) -. (8 1x 1 ,8 2 x 2 ), 8 1 ,8 2 > 0. For convenience we shall work in R 2 but all of this could just as we 11 be carried out in Rn x Rm, n, m > 1 . We shall call our HP and BMO spaces "product HP and BMO" and denote them by HP(R~ x R~) and BMO(R! x R~) so that we reserve HP(R 2 ) for the one-parameter space ci functions on R 2 • Let (x 1 ,x 2)
f
R 2 and denote by r(x) the set
Let u(x,t) be a function in R~ x R~, x
f
R2 , t
f
R+ x R+' which is
biharmonic, i.e., harmonic in each half plane separately. Then the nontangential maximal function and area integral ci u are defined by u*(xl'x 2) =
iu(y 1 ,t 1 ,y 2 ,t 2)1
sup (y,t)tf'<x 1 ,x 2 )
and
S2 (u)(x) =
Jf
1";;\ \72u(y.t)l 2dyldy2dtldt2.
f'(x)
More generally, if ¢
f
C~(R 2 ) and if
then for a function f on R 2 f*(x) =
sup (y, t) f f'<x)
If* ¢t t (x)l 1' 2
102
ROBERT FEFFERMAN
then
Given f(x 1 , x 2 ), we define its hi-Poisson integral by u(x 1 ,t 1 ,x 2 ,t 2 ) = P[f](x,t) = f * Pt t (xl'x 2), where the hi-Poisson (or just Poisson for 1' 2
short) kernel is defined by Pt t (x 1 ,x 2 ) 1, 2
=
P(x~\
t1 1t; 1 P(x 1)
t2)
tl
and
where P is the !-dimensional Poisson kernel. Then, of course, P[f] is bi-harmonic in R! x R!. In analogy with the 1-parameter case, we define f c HP(R!xR!) if and only if u* c LP(R 2) where u = P[fl. It is not hard to see, just as in the single parameter case that for any ¢ c c;(R 2), \lf*ll
L
P "'
llu* II
LP
f¢
=
1,
for p > 0 ,
so that we may use any approximate identity which is sufficiently nice to define product HP spaces. In terms rf area integrals, we also have, for 1/J(x 1 ,x 2) suitably nontrivial, say ¢
even in x 1' x 2 and not = 0,
To complete the chain of equivalences, we would like to know that
IIS(u)\1
L
P "'
\lu*\1
L
P.
103
MUL TIPARAMETER FOURIER ANALYSIS
In fact, this is true, but is not obvious, and so we in tend to present the proof here. The proofs are by iteration, but they are not of the same totally straightforward nature as the iteration in the jessen-MarcinkiewiczZygmund theorem. Often, this is the case in the analysis of product domains, namely, the proof is by iteration, but this requires a different way o{
looking at the one-parameter case than one is used to.
Proof that of S{u) ( LP, then, u*
l
LP (Gundy-Stein) [21 ]. We can
assume that u -= P[f]. Then since the 2-parameter area integra 1 is invariant under taking Hilbert transforms in each variable separately, we see that we may write
where ~2
f++
is supported in
g1, ( 2 > 0
and
f+-
is supported in ( > 0,
< 0, etc., and we have S(f±±) ( LP. By reflection we may assume f
is analytic (i.e., P[f]
is hi-analytic) and then show that f*
l
LP. But
for u = [f] a hi-analytic function, we know that for a > 0, ju(x 1 ,t 1 ,x 2 ,t 2 ) Ia is subharmonic in each half plane (xi,ti) l separately; this implies
Ri
that
lfa
So what we must show is that
To show this let us define some notation. In R 1 , if f( x) has Poisson integral u, we let Qt be the operator (or kernel) which takes f to t\lu{x,t), so that
104
ROBERT FEFFERMAN
s2(f)(x) =
ff
lhQt(y)l2
d~~t.
r(x)
Then going back to our present situation where f is given on R 2 , we define
J
00
-Qlf(xl'x 2) =
f(x 1 -y,x 2 )Qt(y)dy
-00
and
Q[
similarly. Then let us define a Hilbert space valued function
by
Now we know that in the one-parameter case
IIS 1fllp ~ cp\!fllp
and a
glance at the proof of this fact reveals that it remains valid for Hilbert space valued functions. Fix x 2 • Then
-00
-00
and integrating this in x 2 ,
(5.1)
If
S 1 (F)(xl'x2)Pdxldx2
~ cp JJIF(xl'x2)1~2(l) dxldx2 .
R2
R2
But fixing x 1 , since jF(x 1 ,x 2 )1 2 ~""'
L (J )
integral of f(x 1 , ·) at x 2 , we have
is the value of the one-parameter
MULTIPARAMETER FOURIER ANALYSIS
105
and so (5.1) is greater than or equal to
On the other hand when the S 1 operator acts on the first variable we have
the two-parameter area integral c:f f. Next, let us prove that IIS(u)il
LP
~ cpllu*ll P [21 ]. The proof is a L
simple iteration of the one-parameter case given previously. To begin with, we recall Merryfield's lemma: Let ¢ [-1, +1] and have
f¢
=
l
C;'(R 1) be supported in
1. Then there exists 1/J
l
C;'(R 1 ) whose support
is also contained in [-1, +1] with ft/1 = 0 and such that if u = P[f],
Introduce the notation t\lu(x,t)
= Q~(x)
, u(x,t)
=
P tf(x), g * ¢t(x)
=
Pt(g)(x) and g*I/Jt(x) ~ Qt(g)(x), Q~, i ~ 1,2, will denote the operator acting in the ith variable. Then we estimate
106
ROBERT FEFFERMAN
If
(5.2)
Fix x 2 , t 2 • Then (5.2) is
Now
+
lJ f
1 2"' 2 dtl (Pt f(x)) ('lt g(x)) dx 2 dx 1 . 1
1
t1
Then
J
ff
xl
So the inequality we seek in the product case is
JJ
£2 (x)g 2 (x)dx 1 dx 2
•
107
MULTIPARAMETER FOURIER ANALYSIS
It is now easy to see that IIS(u) II L P :S CP llu* I LP, P > 0. In order to simplify things a little, we shall take a modified definition of u* in what follows, namely
u*(x) =
sup (y,t)fr
10
lu(y,t)l
10(x)
where
This is an irrelevant change, since a trivial computation shows that ·llu*llp is, for a larger aperture, no more than a constant times llu*llp for a smaller aperture, the constant depending only on the apertures involved.
In (5.3), take ¢(x) Let us estimate
=
1 for all lxl < 1/3, and g(x) =X
u
*< x )
108
ROBERT FEFFERMAN
J
S2 (u)(x)dx when u
~- P(f]
M(Xu*>a)
where R*
=
l(y,t)jjR(y,t)nlu*>all < 2 ~ 0 jR(y,t)ll and where R(y;t) is
the rectangle in R 2 with sides parallel to the axes and with side lengths 2t1'2t 2 centered at y. Notice that if !R(y;t)nlu*>all < 1 ~ 0 !R(y;t)l then g * <:f>t(Y)
=
=
Ptg(y) > c for some c > 0. It follows that
i + ii + iii + iv. Consider i: If "' Qt(gXy)
*I 0
then u*(x)
~a
for some x
But then ju(y ,t) I ~ a so i is less than or equal to
f
R(y; t).
MULTIPARAMETER FOURIER ANALYSIS
ii is less than or equal to
Again
(iii) is similar to (ii). Finally, (iv) is less than or equal to
So we have
I lu*;Sal
S 2(u)(x)dx
~c
a 2 !1u*>all +
J u*(x);Sa
u* 2 (x)dx
109
110
ROBERT FEFFERMAN
and we have seen before that this implies that !IS(u)il
L
P
:S. Cpllu*ll
LP
, 2 > p > 0.
The next topic that we shall consider is that of duality of H 1 and BMO in the product setting. In the classical case there were four results which expressed this duality. 1) The characterization of Carleson measures 11 for which the Poisson transform f ... P[f] is bounded from LP(dx) to LP(dl1) , p > 1 . 2) The characterization of functions in BMO(R 1) by a condition on their Poisson integrals in terms of Carleson measures. 3) The characterization of functions in the dual of H 1 by the BMO condition. 4) The atomic decomposition of H 1 . Let us try to guess what the analogous theory should look like in product spaces. For simplicity we consider the dual of H 1 (R~xR~). Then what should an element of BMO(R!xR~) look like? We might look at tensor products of functions in BMO(R 1 ) to get a feel for the answer. So, for example if ¢ 1 and ¢ 2 are in BMO(R 1 ) then ¢ 1 (x 1 )¢ 2 (x 2) might be our model. Of course, this function ¢(xl'x 2) satisfies
(5.4)
~~I
I
l¢(x 1 ,x 2 )- c 1 (x 1 )-c 2 (x 2 )1 2 dx 2dx 2 :S. C
R
for the appropriate choice of functions c 1 and c 2 of the x 1 ,x 2 variable. A Carleson measure in R~ x R~ would be a non-negative measure 11 for which (5.5)
where P is the hi-Poisson integral. The obvious guess is that 11
111
MULTIPARAMETER FOURIER ANALYSIS
satisfies (5.5) if and only if IL(S(R)) ~ CIRI for all rectangles R
C
R2
with sides parallel to the axes, where the Carleson region S(R) is defined by S(I xj) == S(I) xSQ) for R =I xj. In terms of these Carleson measures, it is not hard to show that ¢ satisfies (5 .4) if and only if its hi-Poisson integral u satisfies
And finally, all of this in some sense is equivalent to asserting that every f
f
H 1 (R~ xR~) can be written as I A.kak where I IA.kl ~ Cilfll
H
1
and
ak(x 1 ,x 2 ) are "atoms," i.e., ak is supported in a rectangle Rk == Ikxjk such that
J
ak(x 1 ,x 2 )dx 1
0
for all x 2
ak(x 1 ,x 2 )dx 2 = 0
for all x 1
=
Ik
I Jk
and
In 1974 [22], L. Carleson showed that 11(S(R)) ~ CIRI was not sufficient to guarantee the inequality
J
ifiPdx.
R2
From here it is not difficult to produce examples of functions ¢(xl'x 2 ) which satisfy
112
ROBERT FEFFERMAN
R
where C 1 ,C 2 dependon R, yet ¢/LP(R 2 ) forany p>2. Therefore, this condition is not strong enough to force ¢ to belong to the dual of H1 . In other words the simple picture of the structure of H 1 (R~xR~) and BMO(R~ xR~) suggested above as the obvious guess is completely wrong.
Rather one considers the role of rectangles to be played instead by arbitrary open sets. Although this may seem a bit frightening at first glance, it turns out, and this is of course the final test of the theory, that nearly all the classica 1 theory of HP and BMO can easily be carried out using the approach suggested here. By way of introduction, we shall prove that for any function ¢
f
H 1 (R~xR;)*, if u = P[¢] we have a Carleson condition with respect
to open sets satisfied by the appropriate measure. To describe this result, we !!Jake the following definition ([23], [24], and [25 ]). Let n ~ R 2 be an arbitrary open set, and let R(y; t) be the rectangle in R 2 centered at (yl'y 2 ) = y and with side lengths 2t 1 and 2t 2 • Then S(fl) the Carleson region above n is defined as
U S(R) = l(y,t) ( (R;) 2 R(y; t) ~ n!.
S(Q) =
1
RCfl
Then we say that 11 ~ 0 in (R;) 2 is a Carleson measure if and only if ll(S(fl))o:;Cifll for every open set n~R 2 ·f (H 1 (R~xR~)* if and only if for u = P[f],
In fact, this follows immediately from the inequality (5.3). To see this, notice that lv't V2 ul is invariant under the Hilbert transform Hx.(i = 1,2) 1
so that if we prove this when f when f is of the form
f
L 00(R 2 ), we will have proven it also
113
MULTIPARAMETER FOURIER ANALYSIS
A function a(x) on R 2 will be in H 1 (R~xR!) if and only if a Hx a, Hx a , and Hx Hx a 1
2
1
2
l
l
L 1 (R2),
L1 .
In fact, if a iH 1 (R~xR;) then S(a)iL 1(R 2) hencesoare S(H
x1
a),
S(Hx a) and S(Hx Hx a); therefore Hx.a,Hx Hx a ( L 1 • Conversely, 2
1
2
1
1
2
if a,Hxia, and Hx 1Hx 2a iL 1 (R 2 ) thenwecanform F++,F+_,F_+, and F __ iL 1 (R 2) suchthat a =~F±± and reflections ofthe F±± are boundary values of hi-analytic functions. A bianalytic function F with (distinguished) boundary values in L 1(R 2) has F* l L 1 by a subharmonicity argument applied to IF Ia, a< 1. So a*
i
H 1 (R~xR;>*.
Define a map from
i
L 1 and a
H 1 (R;xR~) ..P__, ED
i
H 1 . Let
L 1 (R 2)i by
i=1
Then ll~fll
1 "'-' 11£11 1 . ~ is obviously one to one, so t?- 1 = ~ exists eL H and is bounded on lm(~). The map o ~ extends, by Hahn-Banach to
an element of the dual e L 1 = e L 00 • Then
Thus every element of (H 1 )* is of the form
114
ROBERT FEFFERMAN
So it suffices to show that if f
But in (5.3), take g
L 00(R 2) with u
t
"'x 0 (x 1 ,x 2),
[-1 ,1] then ~t g{x) = 1 if (x, t)
l
=
P[f] then
and notice that if
f ¢>
"=
1, supp if>(x)
~
S(O) . This is because for such {x, t),
R(x; t) ~ 0 and g * cf>t(x) = fR2 if>t(x -u)du
=
1. It follows from (5.3) that
Jf117,17,u! t,t,dxdt s cnfll~fflii,.l'l dtt dx 2
S(0)
6. Duality of H 1 and BMO and the atomic decomposition
In this lecture we shall consider in greater detail the spaces HP(R~xR~) and BMO(R~xR!), which we discussed briefly in section 5. There we saw that in product spaces, the most obvious guesses at characterizations of HP atoms of BMO failed. In order to circumvent these difficulties we must take a slightly different approach than we are used to in the classical !-parameter case. In what follows we shall be working with functions in HP(R! xR~) or
BMO(R~xR!> only. The theory for R!xR!
X"'X
R! or for R~tl x R~+l
is quite similar and only requires minor changes. Now let !R be the family of all rectangles with sides parallel to the axes and Sid be the subfamily of 9l whose sides are dyadic intervals. If f( x l'x 2) is a sufficiently nice function on R 2 , and «/!
l
C 00{R 1),
ifJ is even, ifJ i 0 real valued and supp{«/1) ~ [-1 ,1], and «/! has a large
115
MULTIPARAMETER FOURIER ANALYSIS
number of moments vanishing, then for
I ~~(e-),2d~/e00
=
1
0
we have
In fact, taking Fourier transforms of both sides, for the right-hand side we have
We can use this representation to decompose the function f as follows: R
t
!Rd. Set ~l(R) = l(y,t)
f
R;xR;\ y
f
R, f 1 < t 1 ~ 2fi where
fi , i = 1,2 is the side length of R in the xi direction I. Since
R~ xR.!
=
U
W(R), if we define
Rf!Jld
fR(xl,x2)
=
ryf{y,t)I/Jt t (xl -yl'x2-y2)dy
J"
1 2
/!
1 2
~(R)
where f(y,t)
=
hY,t(y), then f =
I
fR, and each fR is supported in
Rt!Rd
"' the double of R and has the property that R
ROBERT FEFFERMAN
116
"' I
JfR(x 11 x 2)dx 2 = 0
for all x 1
"'
J
where ~ = Tx]. It will be convenient to define a norm I IR on functions supported on a rectangle R 1 as follows.
where N is a large integer. With these preliminaries we can pass to a theorem characterizing (H 1)* in a number of useful ways. THEOREM
[25]. For a function on R 2 the following are equivalent:
(1) ¢ t H 1 (R~xR~)*.
(2) ¢ = g 1 + Hx (g 2) + Hx (g 3) + Hx Hx (g 4) for some g 11 g 2,g 3 and 1
2
1
2
g 4 in L ""(R 2).
(3) If u = P[¢] in R! x R~ 1 then
If
lvl \72ul 2(ylt)tlt2dt
~ Clilll
for all open sets
n s; R 2 .
S({l)
(4) If ¢(y 1 t) = ¢
If S(il)
* 1/Jt(y),
l¢(y,t)l 2dy dtt
then
~ CIUII
for all open sets
n c R2.
MULTIPARAMETER FOURIER ANALYSIS
117
l: cRbR where bR(xl'x 2) are
(5) ¢J can be written in the form
RfRd
supported in
~, \bR\R ~ 1
and
. R2 . In
I c~ ~ C\01
R~U
for all n
Proof. To begin with, we proved in section 5 that (1) -=9 (2).
~ (1), since if f
trivial that (2)
f
and since f
f
open
It is also
H 1(R!xR!),
f
f(x)Hx Hx (g)(x)dx =fHx Hx (fXx)g(x)dx 1
H1
,
2
1
2
Hx Hx (f) ( L 1 • 1
2
Next, we recall that (2)
=--~
(3) was also proven in the preceding
section. Now we claim that (3) or (4') implies (1). We show that (4) implies (1), \
the other proof being similar.
We,~o
this via the atomic decomposition of
H 1 which we shall describe here only enough to derive our implication. We shall present the decomposition of H1 in greater detail later. Let f ( H 1 (R~xR~). Then S.p(f) ( L 1 (R 2 ) (this follows by vector iteration, just as in the argument that S(f) ( L 1 implies f ( L 1 ). Consider the sets nk = IS.p(f) ak(x 1 ,x 2) =
> 2k1, k ( Z. Set ~
fR(x).
RdRd
\RnUkl > 1/2\R\ \Rnnk+ 11 < 112\R\ Then, as we shall elaborate later on ~k(x 1 ,x 2 ) H 1(R +2 xR +2 ) atom where
is an
118
Then f
ROBERT FEFFERMAN
=
~ ,\kak where .\k
=
2klflkl, and by the strong maximal theorem
lflkl ~ Cl!lkl so that
~ ,\k ~ CIISr/,(OIILl ~ C'II£11Hl . Now consider ¢(x 1 ,x 2) satisfying (4). Then it will be enough to show that
f
ak(x1,x 2)¢(x1,x2)dx < c
R2
and then simply sum over k. But
(6.1)
where the sum is taken over
Then (6.1) becomes
¢(x)
*
dx. J..ryf(y,t)lfrt(x -y) ~yt 1 2 2
lukl
2{(R)
=J
(u J..ry RdR
k
2ICR)
fJr(y,t)¢(y,t)dy
J...
td~ 1 2
k ~(R)
l£(y,t)l2dy
~~
J
12
/2(
u
RdR
k
ry J.,
WCR)
)1/2 l¢
119
MUL TIPARAMETER FOURIER ANALYSIS
I
(6.2)
To show this
Suppose that (y, t)
l
~(R), R
enough, then (y,t)
l
r(x) for all x
dRk. Then if the aperture of l
R. Since
we see that
for (y,t) c
U
~(R),
and this proves (6.1).
RcRk
But then
I
S¢(f)2(x)dx
flk;nk+l and combining this with (6.1) yields
~ (2k+l)2jflkl
r
is large
120
ROBERT FEFFERMAN
As for
u
Rf\\
iJ
l¢(y,t)l 2 dy
~\
•
1 2
~(R)
if we observe that for any R
f
fflk, ~(R) is contained in S(flk), we get
IJak· ¢dxl SC
by (4). This shows that
and completes the proof that (4)
implies (1 ). We shall show next that (2) implies (4). Let g
f
L ""'(R 2). We claim
that if U C R 2 , then
If
lg(y,t)l 2 dy
t~:2 Cllgii~IUI •
s(U) where g(y,t) = g *r/lt t (y). To show this, observe that since 1 2
supp(rp); [-1,1], supp(r/lt t (·-y))~R(y,t). Hence, if (y,t) fS(U), 1' 2
g *r/Jt(y) = (gxu) * rpt(y) and so
An easy application of Plancherel's formula says that this is, in turn,
J 'f'"' d;.., 00
II gxn 11 22
1·/.(1:)12
0
121
MULTIPARAMETER FOURIER ANALYSIS
Since,
f+ 1 if!= 0, -1
(/J(O)
=
0 and (/J
£
C 00
{ (/J(~) = 0(1~1-N) as 1~1
->
oo, for each N
> 0.
so
Joo ~~(~)1 2 ~~ <
00 •
0
It follows that
JJ
lg(y,t)l 2 dy
t~! 2 s cllgll~lnl
s
replaced by Hx Hx (g). then we proceed as follows. Observe that 1
where IJI
=
2
Hx Hx (t/1). The function IJI splits into a product of 1
2
'l'(l)(x 1)·'1'< 2 >(x 2) where qt(i) is odd, C 00 and decreasing at oo like lxii-N (depending on how many moments of if! vanish). Now suppose we choose 7J(x) on R 1 sothat supp(7])~(1/4,4), 71£C 00{R 1), 71 evenand 00
I
k=-oo
11( \)
11(;1{).
2
= 1 . Let 71 0 (x) = I
k
11( \) 2
and for k > 0, let 71k(x) =
Set I/Jk,j(x 1 ,x 2 ) = qt{l)(x 1)71k(x 1)· '1'< 2 >(x 2)71k(x 2). Then
122
ROBERT FEFFERMAN
(a) supp('l'k,j)
s; 4R(O; 2k,2j)
(b) 'l'k,j is odd in each variable separately (c) 'l'kj is c;(R 2 ) and
By Minkowski's inequality, we have
Now, to estimate
we use the same argument as that given·above, except that now supp('l'k,j) ~ 4R(O; 2k,2j) and not the unit square. If (y,t) R(y; t)
Thus
s; {}
£
S(O), then
and the support of ('l'k,j)t( · -y) will be contained in
123
MULTIPARAMETER FOURIER ANALYSIS
By the strong maximal theorem ll)kj I :S C(k+j)2k+j_; and it is easy to see that
J0oo f0
00
1Wkj1 2
d~
decreases like a large power of T(k+j) as
k,j ... ""· So our desired estimate follows from (6.2). So far we have proven the equivalence of (1), (2), (3) and (4). We shall not go into the details of the equivalence of (5) except to say the proof is given in the Annals paper of Chang-Fefferman [25]. Rather, let us point out a beautiful application of the equivalence of (5) with the other definitions of BMO which occurs already in the one-parameter setting. This is the theorem of A. Uchiyama [26], which tells us which families of multipliers homogeneous on Rn of degree 0 determine H1 (Rn). He showed that for multiplier operators I, Kl' K2 .-··, Km with multipliers
1, Oi(O that f, Kif E L 1(Rn) implies f
l
H1(Rn) if and only if the Oi
separate antipodal points of sn- 1 , i.e., if and only if for every ~ l sn- 1 , there exists i such that Oi(~) i Oi(-4). The way Uchiyama proves this is to show that the dual statement is true, namely, every ¢ EBMO(Rn) can be written as
This depends on a simple lemma. LEMMA.
If
()i
are as above, then given f
there exist functions g 0,···, gm
l
f
L 2 , and a vector
II l
cm+ 1 ,
L 2 so that
To prove the formula (6.4), Uchiyama decomposes ¢=I C 1 ¢ 1 as in our (5), and applies the lemma to get functions g 1(x) such that Kg 1(x) C1 ¢ 1(x) for which g(x) is perpendicular to the correct when modified ooly slightly to
g1 ,
11,
has the property that I
=
and the result,
g1 l
L"". For
the details see Uchiyama's recent paper in Acta [26]. Now, finally we wish to discuss the atomic decomposition of H1(R,!xR.;>
in greater detail. There are interesting applications of this
124
ROBERT FEFFERMAN
decomposition besides duality with BMO(R~xR~) which was presented above. We shall be content with one more application here which sheds a good deal of light on the nature of these atoms. Namely, we intend to give a second proof, directly by real variables, that on R~ x R~ if S.p(f) c L 1(R 2) then f* c L 1(R 2) [27). Suppose S.p(f) c L 1(R 2). Then in our discussion of duality we defined atoms
To simplify this notation we define w = Ok and A(x) = 2klfik\ak(x). Let
~ 1 and ~ 2 c C;'(R 1) with ~i(x) ~ 0,
f ~i
= 1 , and supp(~i) C [-1, +1).
Set
Define W = M< 2 ><xw) > - 1- • We need to estimate A * ~t t (x) for 1010 1' 2 x I (;). To do this let us make the following definitions. If R is a rectangle then R 1 , R 2 will be its sides, so that R = R 1 xR 2 . Let
~
A:(x)=
A~(x)
fR(x),
=
J
Rc9lw \R 1 \=2j
Then to estimate A
* ~t
t (x), since supp(~t( · -x)) s; R(x; t) = S, in
1' 2
the definition of A we need only consider those f R for which For any such rectangle R dRk, since R C w,
where (;) denotes again
M<2 ><x
w
)>-
1- • Then 1010
Rn S I
0.
MULTIPARAMETER FOURIER ANALYSIS
A* cf>t t (x) 12
=
I,
. 2 3;js1 l
A~1
* cf>t t (x)
I,
t-
12
. 2 1 ;js 2 l
-
~
A~J
f
12
1 2
IR11 iSJ < P,
where 18 C 9lk consists ci rectangles R so that Thus R ~~ for all R
* cf>t t (x)
fR * cf>t t (x)
m
REv
R'ns .f. 0.
125
IR21
IS 2 I < P
and
18, and the reason this subtracted
term occurs is that we have double counted these fR whose R sides are both very small. In order to estimate A~* cf>t t (x) we use the following trivial lemma. 1
1 2
LEMMA. On R 1 suppose that c/>(x)
f
C 00 and is supported in an interval
{}, Suppose a{x) is supported on disjoint subintervals of {}, Ik whose lengths are all ~ yj{}j. Assume that a(x) has N vanishing moments over each Ik. Then
f
a{x)c/>(x)dx
~ Cllc/>(N+l)lloo(yj{}j)N+ 1 Jla{x)jdx.
{}
We estimate A~ * cf>t t (x) using the fact that for each fixed x 2 , 1 1 2 A~(· ,x 2 ) has N vanishing moments over disjoint x 1 intervals over 1
.
length 2 · 21. (Actually, we sould have to break up A~ into 3 pieces to 1
insure this, but we spare the reader this trivial complication.) It follows from the lemma that
Convolving in the x 2 variable, we have
lA~
* cf>t t (x)l;:; C 1 1' 2
21. I N +1 51
1
~ lSI
f 'S
IA~Idx'. 1
126
ROBERT FEFFERMAN
For this we get
By symmetry
and also
Thus
To sum up our findings, we have seen that if x I 6> then
127
MULTIPARAMETER FOURIER ANALYSIS
(6.5)
lA
* cPt
t (x)l ~ C 1 2
I ~ Sncui)N/4~1 IS I IS I S' ~
""
J
J(y)dy
where
To finish the proof, we need another lemma: LEMMA.
Let g(x)
I fR(x) where B is a collection of dyadic
=
RdB rectan~les.
Then
Proof. Let llhll
J
g(x)h(x)dx
2
2 =
L (R )
=f I,
1 . Then
LJf(y,t)l/lt(x-y)dy
R£~
1 2 ~(R)
=
I
RdB
:~
ryf(y,t)h(y,t)dy
J.,
l"CR)
td~ 1 2
· h(x)dx
128
ROBERT FEFFERMAN
Now, notice that, by the lemma,
IIJII~ ~
If
\f(y,t)\ 2 dy
t~tt 2 ~
Rf~R)
J S~(f)(x)dx ~
C ·2 2 k·lwl.
fik;flk+l
The same estima.te holds for \lA II~ . Then
Also away from
W
so
~ Clwi 112 iwl 112 2k = C2klwl. It follows that IIA *11 1
~ C2klwl and also llakll 1 ~C.
ROBERT FEFFERMAN DEPARTMENT OF MATHEMATICS UNIVERSITY OF CHICAGO CHICAGO, ILLINOIS 60637
BIBLIOGRAPHY [1]
B. Jessen, J. Marcinkiewicz and A. Zygmund, Notes on the Differentiability of Multiple Integrals, Fund. Math. 24, 1935.
[2]
E. M. Stein and S. Wainger, Problems in Harmonic Analysis Related to Curvature, Bull. AMS. 84,1978.
MULTIPARAMETER FOURIER ANALYSIS
129
[3]
A. Cordoba and R. Fefferman, A Geometric Proof of the Strong Maximal Theorem, Annals of Math., 102,1975.
[4]
J. 0. Stromberg, Weak Estimates on Maximal Functions with Rectangles in Certain Directions, Arkiv fur Math., 15, 1977.
(5]
A. Cordoba and R. Fefferman, On Differentiation of Integrals, Proc. Nat. Acad. of Sci., 74, 1977.
[6]
A. Nagel, E. M. Stein, and S. Wainger, Differentiation in Lacunary Directions, Proc. Nat. Acad. Sci., 75, 1978.
[7]
A. Cordoba, Maximal Functions, Covering Lemmas, and Fourier Multipliers, Proc. Symp. in Pure Math., 35, Part I, 1979.
[8]
F. Soria, Examples and Counterexamples to a Conjecture in the Theory of Differentiation of Integrals, to appear in Annals of Math.
[9]
B. Muckenhoupt, Weighted Norm Inequalities for the Hardy Maximal Function, Trans. of the AMS, 165, 1972.
[10] R. Hunt, B. Muckenhoupt, and R. Wheeden, Weighted Norm Inequalities for the Conjugate Function and Hilbert Transform, Trans. AMS, 176, 1973. [11] R. R. Coifman and C. Fefferman, Weighted Norm Inequalities for Maximal Functions and Singular Integrals, Studia Math., 51, 1974.
[12] M. Christ and R. Fefferman, A Note on Weighted Norm Inequalities for the Hardy-Littlewood Maximal Operator, Proceedings of the AMS, 84, 1983. [13] R. Fefferman, Strong Differentiation with Respect to Measures, Amer. Jour. of Math., 103, 1981.
[14]
, Some Weighted Norm Inequalities for Cordoba's Maximal Function, to appear in Amer. Jour. of Math.
[15] C. Fefferman, The Multiplier Problem for the Ball, Annals of Math., 94, 1971. [16] A. Cordoba and R. Fefferman, On the Equivalence between the Boundedness of Certain Classes of Maximal and Multiplier Operators in Fourier Analysis, Proc. Nat. Acad. Sci., 74, No. 2,1977. [17] E. M. Stein and G. Weiss, On the Theory of HP Spaces, Acta. Math., 103, 1960. [18] C. Fefferman and E. M. Stein, HP Spaces of Several Variables, Acta Math., 129, 1972. [19] D. Burkholder, R. Gundy, and M. Silverstein, A Maximal Function Characterization of the Class HP, Trans. AMS, 157, 1971.
130
ROBERT FEFFERMAN
[20] K. Merryfield, Ph.D. Thesis: HP Spaces in Poly-Half Spaces, University of Chicago, 1980. [21] R. Gundy and E. M. Stein, HP Theory for the Polydisk, Proc. Nat. Acad. Sci., 76, 1979. [22] L. Carleson, A Counterexample for Measures Bounded on HP for the Bi-Disc, Mittag-Leffler Report No.7, 1974. [23] S. Y. Chang, Carles on Measure on the Bi-Disc, Annals of Math., 109, 1979. [24] R. Fefferman, Functions on Bounded Mean Oscillation on the Bi-Disc, Annals of Math., 10, 1979. [25] S. Y. Chang and R. Fefferman, A Continuous Version of the Duality of H 1 and BMO on the Bi-Disc, Annals of Math., 1980. [26] A. Uchiyama, A Constructive Proof of the Fefferman-Stein Decomposition of BMO(Rn), Acta. Math., 148, 1982.
ELLIPTIC BOUNDARY VALUE PROBLEMS ON LIPSCHITZ DOMAINS Carlos E. Kenig*
Dedicated to the memory of jack P. Burke PREFACE This paper is an outgrowth of a series of lectures I presented at the Summer Symposium of Analysis in China (SSAC), held at Peking University in September, 1984. The material in the introduction and parts (a) and (b) of Section 1 comes from the expository article 'Boundary value problems on Lipschitz domains' ([19]), which I wrote jointly with D. S. Jerison in 1980. The rest of the paper can be considered as a sequel to that article. Some of the material in part (b) of Section 2, and all d. Section 3 comes from the recent expository article "Recent progress on boundary value problems on Lipschitz domains'' ([23] ). The results explained in Section 2, (b) and Section 3 are unpublished. Full details will appear elsewhere in several joint papers. Acknowled~ements.
I would like to thank Peking University, and the
organizing committee of the SSAC, Professors M. T. Cheng, S. L. Wang, S. Kung, D. G. Deng and R. Long for their invitation to participate in the SSAC, and for their warm hospitality during my visit to China. I would also like to thank Professor E. M. Stein for his many efforts to make the SSAC a success. Thanks are also due to Mr. You Zhong and Mr. Wang Wengshen for taking careful notes of my lectures. Finally, I would like to thank B. Dahlberg, E. Fabes, D. Jerison and G. Verchota for the many discussions and fruitful collaborations that we
*Supported in part by
the NSF.
131
132
CARLOS E. KENIG
have had throughout the years, which resulted in the work explained in this paper.
Introduction A harmonic function u is a twice continuously differentiable function on an open subset of Rn, n ~ 2, satisfying the Laplace equation n
L\u
=
l:
2
au
j=l ax~
= 0. Harmonic function arise in many problems in mathe-
J
matical physics. For example, the function measuring gravitational or electrical potential in free space is harmonic. A steady state temperature distribution in a homogeneous medium also satisfies the Laplace equation. Moreover, the Laplace equation is the simplest, and thus the prototype, of the elliptic equations, or systems of equations. These in turn also have many applications to mathematical physics and geometry. A first step in the understanding of this more general situation is the study of the Laplacian. This will be illustrated very clearly later on. Initially we will be concerned with the two basic boundary value problems for the Laplace equation, the Dirichlet and Neumann problems. Let D be a bounded, smooth domain in Rn and let f be a smooth (i.e. C"") function on aD, the boundary of D. The classical Dirichlet problem is to find and describe a function u that is harmonic in D,
continuous in
D, and equals f on aD. This corresponds to the problem
of finding the temperature inside a body D when one knows the temperature f on iJD. The classical Neumann problem is to find and describe a function u that is harmonic in D' belongs to C 1 (D), and satisfies
~
=
f on
ao'
where
~ represents the normal derivative of u on
ao.
This corresponds to the problem of finding the temperature inside D when one knows the heat flow f through the boundary surface
ao.
Our main purpose here is to describe results on the boundary behavior of u in the case of smooth domains, and to study in detail the extension
ELLIPTIC BOUNDARY VALUE PROBLEMS
133
of these results to the case of minimally smooth domains, where we allow corners and edges, i.e. Lipschitz domains. This class of domains is important from the point of view of applications, and also from the mathematical point of view. Their importance resides in the fact that this is a dilation invariant class of domains with some smoothness. They have the borderline amount of regularity necessary for the validity of the results we are going to expound on. In a smooth domain, the method of layer potentials, (which we are going to develop soon) yields the existence of a solution u to the Dirichlet problem with boundary data f ( ck,a(aD), and the bound
k
=
0,1,2,···
O
-12, as the smoothness of the domain
decreases. We will then show the flexibility of our methods by considering extensions of our results to systems of elliptic equations in Lipschitz domains. The specific systems of equations that we will study are the Navier systems which arise in the linear and infinitesimal theory of elasticity, when the displacements or the surface forces are given on the boundary of a homogeneous and isotropic elastic body D. These systems are the prototype of the second order elliptic systems of equations. We will also
134
CARLOS E. KENIG
study the so-ca lied Stokes problem; this is the linearized stationary problem of the mathematical theory of viscous incompressible flow. Before going on to study the general situation, we will formulate appropriate theorems, by examining a model case, namely the Laplacian in the unit ball 8. In this case we have a lot of symmetry at our disposal and everything can be done explicitly. Let do denote surface measure of
as.
THEOREM. Suppose that 1 < p ~
oo
and f
l
LP(aB,do). Then, there
exists a unique harmonic function u in 8 such that lim u(rQ) lor almost every Q (
I
{*)
as , and
I
u*(Q)P do{Q) :::: CP
dB where u*{Q)
~
r->1
f(Q)
\f(Q)\P da(Q) ,
dB
sup \u(rQ)\.
=
o-:;r
=
u(rQ) converges to f(Q) not only in
LP norm, but also in the sense of Lebesgue's domina ted convergence. In the analogous estimates to (*)in the Neumann problem, u is replaced by the gradient ci u. In that case the estimate fails fa p even if
~
= oo,
is continuous.
In both the case of the Dirichlet problem and the Neumann problem, the radial limit can be replaced by a non-tangential limit: if X tends to Q with \X-Q\ < (1+a) dist(X, aB) 1 for some fixed
a> 0 then u(X) 1
has the limit f(Q) for almost every Q. The theorem is most easily proved by writing down a formula for the solution, u{X) =
faa
1 1-\Xi 2 P(X,Q) f(Q) da(Q), where P(X,Q) = wn IX-Q I"
·
The estimate now follows as an easy consequence of the Hardy-Littlewood maximal theorem. An analogous formula holds for the Neumann problem.
ELLIPTIC BOUNDARY VALUE PROBLEMS
135
This time, it is more difficult to obtain the estimates. One needs to use the Calderon-Zygmund theory of singular integrals, and the HardyLittlewood maximal theorem. The case of the Laplacian in the ball is relatively easy because of the existence of explicit formulas for the solution. What should we do in the case of a general domain, where explicit formulas are not available? What should we do to study systems of equations? What happens to our solutions as the domains become less smooth? We hope to give a systematic answer to these questions in the rest of this paper. §1. Historical comments and pceliminaries (a) The method of layer·potentials for Laplace's equation on smooth domains.
DEFINITION. A bounded domain D is called a Lipschitz domain with Lipschitz constant less than or equal to M if for any Q laD there is a ball B with center at Q, a coordinate system (isometric to the usual coordinate system) x'=(x 1 , .. ·,xn_ 1 ), xn, withoriginat Q anda function cf>: Rn- 1 --. R such that c/>(0)=0, lc/>(x')-cf>(y')l
s Mjx'-y'j
and DnB = IX=(x',xn):xn>c/>(x')lnB.
H for each Q the function cf> can be chosen in C 1 (Rn- 1), then D is ca lied a C 1 domain. If in addition,
llc/>
satisfies a Holder condition
of order a, lllc/>(x')-llcf>(y')i :S·Cix'-y'la, we call D a C 1•a domain. Notice that the cone re ~ I (x ',xn): xn < -M lx'll satisfies re n B
c co.
Similarly, ri ~ {(x ',xn): xn >Mix'il satisfies ri n BCD. Thus, Lipschitz domains satisfy the interior and exterior cone condition. The function ¢ satisfying the Lipschitz condition i¢(x ') -- cf>(y') I ~ Mjx'-y'l is differentiable almost everywhere and 17¢
l
L ""(Rn- 1 ), llllc/>lloo :SM.
136
CARLOS E. KENIG
Surface measure o is defined for each Borel subset E C aD n B by
o(E) =
J
(1 + \'Vcp(x')\ 2 ) 1 12 dx',
E*
where E* =lx': (x',cp(x'))lEI. The unit outer normal to !D given in the coordinate system by ('i]cp(x '), -1 )/(1 + \'Vcp(x ')\ 2 / 12 exists for almost every x'. The unit normal at Q will be denoted by NQ. It exists for almost every Q
(a>,
with respect to do. In order to motivate the use of the method of layer potentials, we need to recall some formulas from advanced calculus, and some definitions. We will start with the derivation corresponding to the Dirichlet problem. We first recall the fundamental solution F(X) to Laplace's equation in Rn: ~F = 5, where
1
n >2
(n-2) wn \X \n-2 F(X) =
lrr log \X\
n=2
where wn is the surface area of the unit sphere in Rn. F(X) is the electrical potential in free space induced by a unit charge at the origin. It provides a formula for a solution w to the equation tlw = 1/J , with
0
1/J c C (Rn),
w(X) = F *1/J(X) =
f
F(X-Y)I{I(Y)dY.
Rn It will be convenient to put F(X,Y) ~ F(X-Y). Notice that tl.yF(X,Y) =
8(X-Y). The fundamental solution in a bounded domain is known as the Green function G(X,Y). It is the function on
DxD
continuous for X ~ Y
and satisfying tlyG(X,Y) = 8(X-Y), X c D; G(X,Y) = 0, X £ D, Y £!D.
137
ELLIPTIC BOUNDARY VALUE PROBLEMS
G(X,Y) as a function of Y is the potential induced by a unit charge at X that is grounded to zero potential on aD. The Green function can be obtained if one knows how to solve the Dirichlet problem. In fact, let ux(Y) be the harmonic function with boundary values ux(Y)\an = F(X,Y)\ao. Then, G(X,Y) = F(X,Y)-ux(Y).
(1)
On the other hand, if we know G(X,Y), we can formally write down the solution to the Dirichlet problem. In fact, u(X) =
=
J
J
D
D
u(Y)o(X,Y)dY =
f [u(Y)~yG(X,Y)
u(Y)AyG(X,Y)dY =
-Au(Y)· G(X,Y)]dY
=
D
J[u(Q)
~Q (X,Q)- ~Q (Q)G(X,Q~ du(Q)
=
ao
=
I
u(Q)
a;Q G(X,Q)du(Q)'
ao
where the fourth equality follows from Green's formula. Thus, we have derived the formula
(2)
u(X) =
J
f(Q)
:;Q
(X,Q)du(Q)
an
for the harmonic function u with boundary values f. The problem with
138
CARLOS E. KENIG
formula (2) is of course that we don't know G(X,Q). Because of formulas (1) and (2), C. Neumann proposed the formula
w(X) =
J :Q J f(Q)
(X,Q)da(Q) =
<3J>
1
f(Q)
= (un
<X-Q,NQ> IX--Q I" da(Q)
av as a first approximation to the solution of the Dirichlet problem, L\u in D,
=
0
ulao =f.
w(X) is known as the double layer potential of f. First of all w is harmonic in D. Also, one can show that as X .... Q t CD, w(X) ....
t
f(Q) +
Kf(Q), where K is the operator on CD given by
Kf(Q)
=
J-n
J ao
If Kf were zero, we would be done, and in some sense it is true that Kf
is small compared to
~ f, when the domain D is smooth. In fact, CD
has dimension n-1 , while it is easy to see that if CD is C 00 ,
Thus, the operator K: C(CD) .... C(
t
I+ K is invertible modulo
a finite dimensional subspace of C(aD). H D and co are connected, T is actually invertible on C(
139
ELLIPTIC BOUNDARY VALUE PROBLEMS
1 u(X)=wn
I
g(Q)
<X-Q,NQ> IX-Qin da(Q),
ao where g = T- 1(f). The operator K is compact on C(OD) even in C 1 ,a
,N: >I <- IP-Qin-1-HZ} C \
domains {because in this case I< Q-P \ IP-QI
and so this
procedure solves the classical Dirichlet problem in that case too. If D is a coo domain, K is compact from ck,a(OD) to ck,a(OD), k=l,2,···,0), ucC 00(D). Thisapproach can also be used to obtain results for f c LP(OD) in C 00 domains, and even on C t,a domains. We will now sketch the extension of the theorem for the ball stated in the introduction to C 1 •a domains. We first define non-tangential approach regions as follows: r{3(Q) =!X tD: IX-Q I < (1 +/3)dist (X, aD) I . The non-tangential maximal function, with opening {3, of a function w defined in D is
Because of the estimate
I
domains, it is easy to see that K is compact as a mapping on LP(OD). Also, standard arguments show that
where M is the Hardy-Littlewood maximal operator on aD , and w is the double layer potential of f. Finally, from LP bounds for M, K and T- 1
=(~
I+K}-
1,
one obtains:
140
CARLOS E. KENIG
THEOREM.
and u(x)
=
Let D be a C l,a domain, 1 < p < "". If f f LP(aD, da), <X-Q,NQ> w1n f.:.v 0 IX-Q In T- 1f(Q)da(Q), then IINaull ~ t-' LP(da)
Cpllfll P
L (da)
and the harmonic function u tends to f non-tangentialiy.
The difficulty in the case of C 1 and Lipschitz domains, is that, in this case the size-estimate on the kernel of K is
-P,Np >I c I
fan
must have
~u = 0 in
D,
~ian =f. By Green's formula, we
fda= 0. When D and co are connected this is the only
compatibility condition needed. We will only consider that case for simplicity. A good first guess at the solution u is the so-called single layer potential of f given by v(x) = en f.:.
f(Q)
vD
~ (Q)
=
=
1 da(Q). Once again v is harmonic in D IX-Qin-2
I
and
~ f(Q)-K*f(Q), where K* is the adjoint of K above, i.e.
Q
*
fao f(Q)F(X,Q)da(Q)
1 K f(P) = -
f.:~ UJn vD
< P- Q,N P > IP-Q
ck,a(ao) to ck,a(.D)
In
*
f(Q)da(Q). Thus, K
is compact from
and Fredholm's theory says that
I
T' = ~ 1-K*
is
invertible on the subspace of ck,a (aD) of functions of mean value 0. Therefore the solution to the Neumann problem can be written
u(X)
=
J
(T- 1 f)(Q)F(X,Q)da(Q),
dD and if f
£
C""(aD), u
f
C""(5). If D is C 1 ,a, T is also invertible on
ELLIPTIC BOUNDARY VALUE PROBLEMS
141
the subspace of LP(aD) of functions with mean value, 1 < p < oo, Hence:
Let D be a C 1 •a domaih, ( D and
THEOREM.
1
fa 0
co
connected). Let
fda=O. Then,
u(X) = fao (T- 1f)(Q)F(X,Q)da(Q) is harmonic in D, V'u(X) has nontan~entiallimits
\IN,iV'u)ll P L
fJ
(da)
\lu(Q) for a.e. QtOO, f(Q)=
~ Cpllfll
What do we do when
.
LP(da)
ao
is merely C 1 , or even merely Lipschitz?
As I mentioned before, the LP boundedness of K is even in doubt. In 1977, A. P. Calderon ([1]) showed that for any C 1 ·domain, K: LP(OD) .... LP(OD), 1 < p < oo is a bounded operator. Shortly afterwards, Fabes, Jodeit and Riviere ([11]) showed that K is in fact compact in this case. They were thus able to extend the theorems above to the case of C 1 domains. Before going on to the main subject matter of this paper, i.e. the method of layer potentials on Lipschitz domains, I want to discuss another important method for the Dirichlet problem for Laplace's equation. (b) The method of harmonic measure Another way of studying the Dirichlet problem for Laplace's equation is in terms of the notion of harmonic measure. Let D be a bounded Lipschitz domain in Rn. As we mentioned before, then D satisfies the exterior cone condition, and so, by a classical result ci. Zaremba and Lebesgue, we can solve the classical Dirichlet problem for !l in D, for any f tC(aD). Given X mapping f
1-->
t
D, the maximum principle shows that the
u(X) defines a positive continuous linear functional on
C(OD). Therefore, by the Riesz representation theorem, there is a unique positive Borel probability measure wx on
u(X) =
J
f(Q)dwx(Q)
an
an
such that
142
CARLOS E. KENIG
wx is called the harmonic measure for D, evaluated at X. For example, harmonic measure for the unit ball B , evaluated at the origin is a constant multiple of surface measure: w 0 = u/o(aB). (This follows from the mean value property of harmonic functions.) For different X, the measures wx are mutually absolutely continuous (a simple consequence of Harnack's principle). We fix X 0
X
t
D, and denote w = w 0 • The importance of
harmonic measure to the boundary behavior of harmonic functions on Lipschitz domains can be illustrated by the following theorem of Hunt and Wheeden (1967): If u is a positive harmonic function in a Lipschitz domain D, then u has finite non-tangential limits almcst everywhere with respect to w. Conversely, given any set E C aD, with w(E) = 0, there is a positive harmonic function u in D with lim u(X) X
-->
Q, for every Q
t
= + oo as
E. Despite its advantages, harmonic measure has
some inherent difficulties. First, it is hard to calculate it explicitly. Second, it is tied up to the maximum principle, positivity, and the Harnack principle, and so it is not useful for the Neumann problem, or for the Dirichlet problem for systems of equations. In general, harmonic measure may be very different from surface measure. H D is a C 1 •a domain, then harmonic measure and surface measure are essentially identical in that each is a bounded multiple of the other. This can be proved by the classical method of layer potentials. Along the same lines, as we saw before, one can use layer potentials to solve the Dirichlet and Neumann problems with boundary data in LP. On C 1 domains, it is no longer true that harmonic measure is a bounded multiple of surface measure, or vice versa. Moreover, as was explained before, the applicability of the method of layer potentials is not obvious. The situation for general Lipschitz domains is even less obvious. In 1977, B. E. J. Dahlberg ((4]) proved that on a C 1 or even a Lipschitz domain, harmonic measure and s•uface measure are mutually absolutely continuous. Using a quantitative version of mutual absolute continuity, and the theory of weighted norm inequalities, he proved ([5])
ELLIPTIC BOUNDARY VALUE PROBLEMS
143
that in a Lipschitz domain D one can solve the Dirichlet problem as in the theorem above with f
£
L 2 (ao, da). In fact, he showed that given a
Lipschitz domain D, there exists e = e(D) such that this can be done for f
£
LP(ao, da), 2-e 'S p 'S
oo.
Also, simple examples to be presented
later show that given p < 2, we can find a Lipschitz domain D for which this cannot be done in LP. By establishing further properties for harmonic measure on C 1 domains, he was able to show the results above in the range 1
< p < oo for C 1 domains. (The best possible regularity
result for harmonic measure on C 1 domains is due to D. Jerison and C. Kenig (1981): if k =
~~, then log k £ VMO(dD) .)
A shortcoming of Dahlberg's method of proof, as was explained before, is that, by studying harmonic measure, it relied on positivity and the Harnack principle. This made the method inapplicable to the Neumann problem, or to systems of equations. Also the method does not provide useful representation formulas for the solution. (c) The method of layer potentials revisited In 1979, D. Jerison and C. Kenig [16], [17] were able to give a simplified proof of Dahlberg's results, using an integral identity that goes back to Rellich ([30]). However, the method still relied on positivity. Shortly afterwards, D. Jerison and C. Kenig ([18]) were also able to treat the Neumann problem on Lipschitz domains, with L 2 (aD,da) data and optimal estimates. To do so, they combined the Rellich type formulas with Dahlberg's results on the Dirichlet problem. Thus, it still relied on positivity, and dealt only with the L 2 case, leaving the corresponding LP theory open. In 1981, R. Coifman, A. Mcintosh andY. Meyer [2] established the boundedness of the Cauchy integral on any Lipschitz curve, opening the door to the applicability of the method of layer potentials to Lipschitz domains. This method is very flexible, does not relie on positivity, and does not in principle differentiate between a single equation or a system of equations. The difficulty then becomes the solvability of the integral
144
CARLOS E. KENIG
equations, since unlike in the C 1 case, the Fredholm theory is not applicable, because on a Lipschitz domain operators like the operator K in part (a) are not compact, as simple examples show. For the case of the Laplace equation, with L 2 (aD, do) data, this difficulty was overcome by G. C. Verchota ([33]) in 1982, in his doctoral dissertation. He made the key observation that the Rellich identities mentioned before are the appropriate substitutes to compactness, in the case of Lipschitz domains. Thus, Verchota was able to recover the L 2 results of Dahlberg [S] and of Jerison and Kenig [18], for Laplace's equation on a Lipschitz domain, but using the method of layer potentials. These results of Verchota's will be explained in the first part of Section 2. In 1984, B. Dahlberg and C. Kenig ([16]) were able to show that given a Lipschitz domain DC Rn, there exists e = e(D) > 0 such that one can solve the Neumann problem for Laplace's equation with data in LP(OD, do), 1 < p::; 2 +e. Easy examples (to be presented later) show that this range of p's is optimal. Moreover, they showed that the solution can be obtained by the method of layer potentials, and that Dahlberg's solution of the LP Dirichlet problem can also be obtained by the method of layer potentials. They also obtained end point estimates for the Hardy
space H 1(aD,do), which generalize the results for n [21 ], and for
C1
=
2 in [20] and
domains in [12]. The key idea in this work is that one
can estimate the regularity of the so-<:alled Neumann function for D , by using the De Giorgi-Nash regularity theory for elliptic equations with bounded measurable coefficients. This, combined with the use of the socalled 'atoms' yields the desired results. These results will be explained in the second part of Section 2. Also in 1984, B. Dahlberg, C. Kenig and G. Verchota ([8)) and E. Fabes, C. Kenig and G. Verchota ([13]) were able to extend the ideas of Verchota to be able to obtain results for L 2 boundary value problems for some systems of equations on Lipschitz domains. The systems treated are those that arise in linear elastostatics and in linear hydro-
ELLIPTIC BOUNDARY VALUE PROBLEMS
145
statics. The results obtained had not been previously available for general Lipschitz domains, although a lost of work had been devoted to the case of piecewise linear domains. (See [24], [25] and their bibliographies.) For the case of
c1
domains, these results for the systems
of elastostatics had been previously obtained by A. Gutierrez ([15] ), using compactness and the Fredholm theory. This is of course, not available for the case of Lipschitz domains. The authors use once more the method of layer potentials. lnvertibility is shown again by means ri. Rellich type formulas. This works very well in the Dirichlet problem for the Stokes system (see part (b) of Section 3), but serious difficulties occur for the systems of elastostatics (see part (a) of Section 3). These difficulties are overcome by proving a Korn type inequality at the
boundary. The proof of this inequality proceeds in three steps. One first establishes it for the case of small Lipschitz constant. One then proves an analogous inequality for non-tangential maximal functions on any Lipschitz domain, by using the ideas of G. David ([10]), on increasing the Lipschitz constant. Finally, one can remove the non-tangential maximal function, using the results on the Dirichlet problem for the Stokes system, which are established in part (b) of Section 3. As a final comment, I would like to point out that even though throughout this paper we have emphasized non-tangential maximal function esti-
mates, also optimal Sobolev space estimates hold. All the Sobolev estimates can be proved in a unified fashion, using square functions and a variant of some of the real variable arguments used in part (b) of Section 3. The details will appear in a forthcoming paper of B. Dahlberg and C. Kenig, [7].
§2. Laplace's equation on Lipschitz domains (a) The L 2 theory A bounded Lipschitz domain D C Rn is one which is locally given by the domain above the graph of a Lipschitz function. Such domains satisfy
146
CARLOS E. KENIG
both the interior and exterior cone condition. For such a domain D, the
fJ
non-tangential region of opening
at a point Q
f
ao
is rfJ{Q) =
IXfD: \X-Q\ <(l+fJ)dist(X,aD)I. All the results in this paper are valid, when suitably interpreted for all bounded Lipschitz domains in Rn, n :?: 2, with the non-tangential approach regions defined above. For simplicity, in this exposition we will restrict ourselves to the case n:?: 3 (and sometimes e~en to the case n = 3 ), and to domains DC Rn, D
=
l(x,y): y >cf>{x)}, where cf>: Rn-l
->
R is
a Lipschitz function with
Lipschitz constant M, i.e. \c/>(x)-c/>(x')\ ~ M\x-x'\. o- = l(x,y):y
ao,
lim
u ±(Q) will denote
u{X) or
X-->Q
xtri lim
u(X), respectively. If u is a function defined on D, N(u)(Q) =
X->Q
xtre(Q) sup \u(X)\. xtri We wish to solve the problems (D)
~Au = 0 { u\ao
=
Au= 0 in D
in D f
t
(N) {
L 2 (aD, du)
~I
ao
= f
t:
L 2(aD,du)
The results here are THEOREM 2.1.1. There exists a unique u such that N(u)
£
L 2(aD, da),
solving (D), where the boundary values are taken non-tangentially a. e .. Moreover, the solution u has the form
u(X) =;
n
for some g c L 2(aD,da).
J ao
<X-Q,NQ> I In g{Q)da(Q) , Q-X
147
ELLIPTIC BOUNDARY VALUE PROBLEMS
THEOREM
that N(V'u)
2.1.2. There exists a unique f
u
tendin~
to 0 at
oo,
such
L 2 (aD,da), solving (N) in the sense that No·Vu(X) ... f(Q)
as X ... Q non-tangentially a.e. . Moreover, the solution u has the form
u(X)
=
f
2)
/
"'n n-
1 IX-Q ln-2
g(Q)da(Q) ,
dD for some g
E
L 2 (ao, da).
In order to prove the above theorems, we introduce the double and single layer potentials
J
<X-Q,N >
Kg(X) = Jn
IX-Qjl?
g(Q)da(Q)
dD and
Sg(X) = -
l
cun n
2)
f
1
IX-Qin-2
g(Q)da(Q) .
dD If Q = (x, ¢(x)), X = (z ,y), then
Kg(z,y) =
J n
Sg(z,y)
=-
J Rn-1
1
cu {n-2)
n
THEOREM 2.1.3. a) If g
l
y-¢(x)-(z-x). V¢(x) g(x)dx llx-zl2 + [¢(x)-¢(z)]2]n/2
I
Jl + IV¢(x)l2
Rn- 1
llx-zl 2 + l¢(x)-y]2] 2
LP(di), da), 1 < p < oo,
n-2 -
g(x)dx.
then N('i7Sg), N(Kg)
also belong to LP(ao, da) and their norms are bounded by
Cll&ll
LP(dD,da)
.
148
{b)
CARLOS E. KENIG
lim
...!..
e-+0
I \x-z\>e
a. e. and \\Kg\\
1 . 11m (;) e _.. 0 n
cf>(z) -~(x)-{z-x) · V~(x) g(x)dx = Kg(z) exists [\x-z\2 +[~{x)-¢{z)]2]n-2
LP(dD,do)
J -
~ C \\gl\
Lp(dD,do)
1
< p
(z-x,~{z)-¢{x))J1 + IV~(x)\ 2 g(X )d X
\z-x l>e
[\z-x 12 + [~(z) _ ~{x)]2]n/2
LP(
=
exists a.e. and in
LP(dD,da)
, 1 < p
±} g{Q) + Kg{Q)
I
)±; )=+!. ( )N z + 1... 1'tm ("S v g \Z - 2 g Z
(z-x,~(z)-~{x))'l/(1 +IV~(x)\ g(X )d X [\z-x \2 + [~(z) _ ~(x)]2]n/2
lz-x\>e COROLLARY
2.1.4. {Nz\]Sg)±{z)
L 2 (il>, do) adjoint of
=
+} g{z)- K*g{z),
where K* is the
K.
The proof of Theorem 2.1.3 a) follows by well-known techniques from the deep theorem of Coifman, Mclntos h and Meyer ([2 ]). THEOREM
([2]). Let (}: R _.. R be even, and CDC>. Let A,B: Rn- 1 ... R
be Lipschitz. Let K(z,x) = A(z)-A(x) \z-xln operator
M*g(z) =sup E-+0
I
ofB(z)-B(x)l. [ lz-x\ J
I
K(z,x)g{x)dx\
\t-x\>e
is bounded on LP(Rn- 1 ), 1 < p < oo, with
Then, the maximal
•
149
ELLIPTIC BOUNDARY VALUE PROBLEMS
\I 'VAll""~ M, ll\7811"" ~ M.
where C = C(M,O,n,p), and
The proof of (b), (c) follow from the theorem above, together with the following simple lemmas. LEMMA.
If f c C':)'(Rn-l), then
lim _!_ e .. own
I
¢(z)-¢(x)-(z-x). \7¢(x) f(x)dx = [jx-zl2+[¢(x)-¢(z)]2]n/2
lz-x\>e
=-~_!_I ~ wn 1
zk-xk A
Iz-x 1n-1
[¢(z)-¢(x)~ lx-zl
L(x)dx' axk
where A(O) = 0, A'(t) = (1 +t 2)-n/ 2 , and where the equality holds at every z at which ¢ is differentiable, i.e. for a.e.z. LEMMA.
If a c Rn- 1 , a
.J ¢(a), f r C';;'(Rn- 1) and A is as in the
previous lellUlla, then
_!_f a-¢(a)- {a-x). 'V¢(x) wn
=
f(x)dx =
[Ja-xl2+[¢(x)-a]2]n/2
_21 sign (a-¢(a))f(a)- w1 n
f~
xk-ak A
~ lx-ajn-1
{¢~x) -j\ 1!
\
x--a
J uxk
(x)dx .
Moreover, the integral on the right-hand side of the equality is a continuous function of {a,a) c Rn. It is easy to see that (at least the existence part) of Theorems 2.1.1 and 2.1.2 will follow immediately if we can show that {~I+
K)
and
150
t
CARLOS E. KENIG
are invertible on L 2 (aD,do). This is the result of
I+K*
G. Verchota ([331). THEOREM 2.1.5.
(±~I+ K)
,
(± ~ I+ K*)
are invertible on L 2(aD, do).
In order to prove this theorem, it suffices to show that (±
~
I+ K*)
are invertible. In order to do so, we show that if f f L 2(aD, do), I (2!. I+ K*\ fll 2 ~ 11(-12 I- K*) fll 2 , where the constants } L (liD,do) L (ao,do) of equivalence depend only on the Lipschitz constant M. Let us take this for granted, and show, for example, that ~ I+K* is invertible. To do this, note first that if T
=
~ I+ K* , IITfll L 2 ~ C llfll L 2 , where C
depends only on the Lipschitz constant M. For 0::; t operator Tt =
~ I+
K:, where K:
~
1, consider the
is the operator corresponding to the
aT
domain defined by t¢. Then, T 0 = ~ I, T1 = T, and (/ : LP(Rn-l) .... LP(Rn- 1), 1 < p < oo with bound independent of t, by the theorem of Coifman-Mclntosh-Meyer. Moreover, for each t, independent of t. The invertibility of T now follows from the continuity method: LEMMA 2.1.6. Suppose that Tt: L 2 (Rn- 1) .... L 2 (Rn- 1) satisfy (a) liT tfll
L
2
> C 1llfll 2 L
(b) IITtf-Tsfll 2 ~C 2 \t-s\\fl\ 2 , O::;t,sSl. L L 1 2 2 (c) T0 : L (Rn-l) .... L (Rn- ) is invertible. Then, T1 is invertible. The proof of 2.1.6 is very simple. We are 1 I+ K*) fll 2 thus reduced to proving (2 .1. 7) II (-2
L (ao,da)
~ II (-21 I- K*) fll L 2 (ao,d [)
In order to prove (2.1.7), we will use the following formula, which goes back to Rellich [30] (also see [28], £29], [27}). LEMMA 2.1.8. Assume that u fLip (D), L\u
=
0 zn D , and u and its
151
ELLIPTIC BOUNDARY VALUE PROBLEMS
derivatives are suitably small at
Then, if en is the unit vector in
oo.
the direction of the y-axis,
f
ao Proof. Observe that div (en1Vul 2) = div
-t; V'u t
V'u · V'u +
=
i·
t
div V'u
=
J~·~do.
ao
!Vui 2 =
2fy \lU · V'u,
~ V'u · Vu.
while
Stokes' theorem now
gives the lemma. We will now deduce a few consequences of the Rellich identity. Recall that Nx
=
(-V'cp(x),l)/Vl + IV'cp(x)! 2 , so that
COROLLARY
1 (l+M2)
11 ::;
2
1.
2.1.9. Let u be as in 2.1.8, and let T 1(x), T2(x),
Tn_ 1 (x) be an orthogonal basis lor the tangent plane to aD at (X, cp(X)). n-1
Let IY'tu(x)l 2 = j~1 I
J (~Y ao
da:S
c
J ao
1vtul 2 du.
152
CARLOS E. KENIG
COROLLARY 2.1.10. Let u be as in 2.1.8. Then,
Proof.
fao
IV'ufda::;
2(fao IV'ul 2 da) 112 Van 1~1 2 daf 12 ,
by 2.18,
and the corollary follows.
lnordertoprove2.1.7,let u~Sg. Becauseof2.1.3c, V'tu iscon tinuous across the boundary, whileby2.1.4,
{~}± ={+~
1-K*} g.
We
D, to obtain 1.1.7. This finishes the proof
now apply 2.1.11 in D and of 2.1.1 and 2.1.2.
We now turn our attention to L 2 regularity in the Dirichlet problem. DEFINITION 2 .1.12. f
f
L~(A), 1
< p < oo, if f(x, ifJ(x)) has a distribu-
tional gradient in LP(Rn- 1). It is easy to check that if F is any extension to Rn of f, then V'xF(x,ifJ(x)) is well defined, and belongs to LP(A). We call this V'tf. The norm in Lf(A) will be IIV'tfiiLP(A). THEOREM 2.1.13. The single layer potential S maps L 2 (A) into Lf(A) boundedly, and has a bounded inverse. Proof. The boundedness follows from 2.1.3a). Because of the L 2 -Neumann theory, and 2.1.11, IIV'tS(£)11 2 L
> cji~.
argument used in the proof of 2.1.5 now proves 2.1.13. THEOREM 2.1.14. Given f with IIN(V'u)li 2
L (A)
f
:S C IIV'tfll
L~(A), there exists a harmonic function u,
, 2 L (A)
and such that V'tu
= V'tf
(a.e.) non-
tangentially on A. u is unique (modulo constants), and we can chose u
=
S~), where g
t
L 2 (A).
153
ELLIPTIC BOUNDARY VALUE PROBLEMS
The existence part of 2.1.14 follows directly from 2.1.13. (b) The LP theory
We will start out our treatment of the LP theory by discussing some counterexamples. Let z = x +iy
€
C, and for 0 < {3 < 2TT, let
Df3 = {z €C: [arg zl < {3/21. We will consider the holomorphic function f(z)
=
z 171 f3, which maps 0{3
conformally onto OTT, the right-hand plane. We will also consider a bounded domain 0{3 C Df3, with the property that d0{3 \O is smooth, and such that d0{3
n {[z[ < 11 = dD{3 n {jz[ < 11.
Let u(x,y) = Ref(z), and
u(x,y)[ 0 · v is harmonic in 0{3, and v is identically zero near '{3 the corner of d0{3, and is smooth everywhere else in 0{3. Let s be v(x,y)
=
the arc length parametrization of artf3, starting at 0. Then, it is clear that
~ € L (d0{3). Let w(x,y) 00
equations,
=
Im f(z)[ 0 . By the Cauchy-Riemann '{3
However, N('ilv)(s) = N('ilw)(s) ~ s-l+TT/{3. This function belongs to LP(ds) if and only if p TT/ {3- p > -1 . Fix now a p > 2, and choose {3 so close to 2TT that p TT/{3-p < -1. Then, N('i7w) iLP(aO{:J). If {} I- K*) were invertible in LP(aO{:J), then, since would have that w(z)
=s((} 1-K*)-l(~))(z)
~
€
L 00 (d~), we
has a non-tangential
maximal function in LP(dQ{:J). By the L 2 -uniqueness in the Neumann problem, w-w is constant in 0{3, but this is a contradiction. This shows that given p > 2, we can find a Lipschitz domain so that {} I-- K*) is not invertible in LP. The example can also be used to
154
CARLOS E. KENIG
show that } I+ K is not always invertible in L q , when q < 2. In fact, fix q < 2, and let p satisfy
p~-p<-;.
~ +~
=
1 . Choose (3 so that
Let B = {lzi
Let ill = ill * be harmonic measure evaluated at X*, and k = ~. We first claim that k {}(3 with pole at
I LP(ds). In fact, let ~*' Then, for s near
G(X) be the Green's function of 0, k(s) =
~ {s)
lim G(s+eN)-G(s) = lim G(s+eN) > C lim v(s+eN~ = C e->0
e
e->0
e
-
e--+0
e
av
aN
=
{s) ~ 8 -1+TT/(3,
where the first inequality follows from the fact that both G and v are positive, and harmonic on B, and 0 on an(3 n B (this is Lemma 5.10 in [19]). Assume now that ~I+ K were invertible on Lq(ds). Let g 2: 0
l
C(a1l(3), and h(X) be the solution of the Dirichlet problem with
data g. Then, h(X*) =
J J gdill
a~ also, by the L 2 -theory, h(X*) =
gkds ,
=
anf3
K[{~ l+~- 1 (g~ (X*)'
where
K
is
the double layer potential. Let U be a ball centered at X*, contained in {}(3. By the mean value property of harmonic functions and Harnack's principle, we have
h(X.J
~ 1~1
£~ £ h
c(
~1/q
N(h)•d/
t'
~ c~ •••;
x/q
,
because of the second formula for h(X*), and the assumed Lq boundedness of (~ I+~ - 1 . But this implies that k l LP(ds), a contradiction. We now turn to the positive results. They are:
155
ELLIPTIC BOUNDARY VALUE PROBLEMS
2.2.1. There exists e = e(M) > 0 such that, tiven
THEOREM
f t LP(Cl), da), 2- e ~ p
with N(u)
t
< oo, there exists a unique u harmonic in D,
LP(aD, da) such that u converges non-tangentially almost
everywhere to f. Moreover, the solution u has the form
Jn
u(X) =
J
<X-Q,NQ> IX-Qin g(Q)da(Q) '
ao for
some g t:
LP(aD,da).
THEOREM 2.2.2.
f
l
There exists e = e(M) > 0, such that, given
LP(aD, da), 2-e ~ p < oo, there exists a unique u harmonic in D,
tending to 0 at
oo,
with N(V'u)
t:
LP(aD, da) , such that NQ V'u(X) con-
verges non-tangentially a.e. to f(Q). Moreover, u has the form
u(X) =
for some g
t
(1 2) wn n-
f ao
g(Q)da(Q) , 1 IX-Q ln-2
LP(aD,da).
THEOREM 2.2.3.
There exists e = e(M) > 0 such that given f
t:
1 < p < 2 + e, there exists a harmonic function u, with IIN(V'u)l! -
CI!V'tfll
LP(
A, and such that V'tu )
=
for some g
£
(1 2) cun n-
LP(aD,da).
J ao
L
P
~)
S
V'tf (a.e.) non-tangentially on A·u
is unique (modulo constants). Moreover, u has the form
u(X) =-
Li(A),
1 2 g(Q)da(Q), IX-Qin-
156
CARLOS E. KENIG The case p - 2 of the above theorems was discussed in part (a). The
first part of 2.2.1 (i.e. without the representation formula), is due to
B. Dahlberg (1977) ([5]). Theorem 2.2.3 was first proved by G. Verchota (1982) ([331). The representation formula in 2.2.1, Theorem 2.2.2, and the proof that we are going to present of 2 .2 .3 are due to B. Dahlberg and
C. Kenig (1984) ([6]). Just like in part (a), 2.2.1, 2.2.2, and 2.2.3 follow from. THEOREM 2.2.4. There exists
e = e(M) > 0 such that (±}I- K*} is
invertible in LP(OO, do), 1 < p ::; 2 + e, ( ±
LP(aD, da), 2-e < p < -
oo,
~ I+ K)
is invertible in
and S: LP(CD, da) ... LP(aD, da) is invertible 1
l
=
Sf, f nice, then, for 1 < p ~ 2 +e, 11\?tu II P ~ L
(oD,do)
~
. This will be done by proving the following two theorems: l ~rll u1, LP(()o ,da) THEOREM 2.2.5. Let ~u = 0 in D. Then \\N('i]u)\\ P
C ~~~rll
un LP(iJD,da)
'
1 < p <; 2+E.
THEOREM 2.2.6. Let ~u = 0 in D. Then IIN(\?u)\1 C Ntull
LP(iJD ,do)
L
P L
S (iJD,do)
(iJD,do)
:S
, 1 < p ::; 2 +e.
We first turn our attention to the case 1 < p < 2 of Theorem 2.2.5. In order to do so, we introduce some definitions. A surface ball B in A isasetoftheform (x,cp(x)), where x belongstoaballin Rn-l. DEFINITION 2.2. 7. An atom a on A is a function supported in a surface ball B, with l\ai\L""<;1/a(B), and with fA ada=O. Notice that atoms are in particular L 2 functions. The following interpolation theorem will be of importance to us.
157
ELLIPTIC BOUNDARY VALUE PROBLEMS
THEOREM
2.2.8. Let T be a linear operator such that IITfll 2 A < L ( ) -
C llfl\ 2
,
L (A)
and such that for all atoms a, UTa II 1
L (A)
:S C. Then, for
1
(
)
L (
)
For a proof of this theorem, see [3]. Thus, in order to establish the case 1 < p < 2 of 2.2.5, it suffices to show that if a
=
~ is a atom, then 1\N(Vu)ll Ol~
L
1
translation invariance we can assume that c/>(0)
=
0, supp a C B 1 =
((x, cf>(x)): lxl < 11. Let B* be a large ball centered at (0,0) in Rn, which contains (x, cf>(x)), lxl < 2. The diameter of on M. Since lla II 2
:S
L (A)
faons*
1 1 a(B 1)1 2
s*
depends only
= C, by the L 2 .Neumann theory,
N(Vu) :S C
f.
estimate
c8.
na
o
N(Vu)da). We will do so by appealing to the regu-
larity theory for divergence form elliptic equations. Consider the biLipschitzian mapping
-->
o-
given by cll(x,y) = (x, c/>(x)- [y---cf>(x)]).
Define u* on D- by the formula u* = uo~- 1 , u* verifies (in the weak sense) the equation div(A(x,y)Vu*) = 0, where A(x,y) = J
B(x,y)
=
Because
e> 2' Cl~\ 2 •
~
~
=
L 00(0-), and
Notice also that supp ~~ C 8 1 < B* n
for (x,y)
~A(x,y)
£
f
u(x,y)
D
aD.
for (x,y)
Define now
£
D
, and U'(x,y) ={ for (x,y)
0 in
f
ao \B*
D-
I
u*(x,y) for (x,y) £ D-
it is very easy to see that u is a (weak)
solution in Rn\B* of the divergence form elliptic equation with bounded measurable coefficients, Lti' (and hence Vu) at H. Weinberger ([31 ]).
oo,
~
div B(x,y) V'U
=
0. In order to estimate u 1
we use the following theorem of
J.
Serrin and
158
CARLOS E. KENIG
u
THEOREM 2.2.9. Let 1\ull DO L
(R
n\B*)
solve Lu = 0 in Rn\s*, and suppose that
Let g(X) solve Lg = 0 in lXI > 1, with
g(X)~JXI 2 -n. Then, u(X)=uDO+ag(X)+v(X), where Lv=O in Rn\B*, and Jv(X)J ~ C !lull
L
00
\
•
(Rn B*)
IXI 2-n--v, where v > 0, C > 0 depend
only on the ellipticity constants of L. Moreover, a = C JB(X) \lu(X) · 'Vt/J(X), where
t/1 c C""(Rn),- t/1 =0 for IX I in 2B*, and t/1
Let us assume for the time being that that if B(X)
=
a is
u
,,1
for lar~e X.
is bounded and let us show
a = 0. Pick a t/J as in 2.2.9. In D, I, and so J, B\lu\lt/1 = J, \lu· W = lim f_ e \lu· \lt/1, where as
in 2.2.9, then D
e ... o
D
D
p
D~ =l(x,y):l(x,y)J
f
sideequals lim e-->0
harmonicity of u, and
OD~
•
2=
~=lim f e{t/J-1]~,
e
aop
E-->0
faoe 0~ ~.
OD~\ao;
p
1• '
=
aop
since,bythe
0. Let ODpe 1 = l(x,y) c iJDPE : y > c/>(x) + e I, •
Then, lim
f
e [t/J-1]
aop = fao t/Ja- fan
E--> 0
lim Jaoe [t/J-11 ~ = fao [t/J-1]a e ... o p, 2 t/1=0 on suppa. Moreover, J0 _B\7u\7t/I=J0
~
= lim
a=
E-+
0
f
ao~,l
fiKJ t/Ja
{t/J-1] ~ +
= 0, since
\lu·\lt/1*, where c/l*=c/Jo(/),
by our construction of B. The last term is also 0 by the same argument, and so a = 0. We now show that u (and hence
u ) is bounded.
We will
assume that n ~ 4 for simplicity. Since lla II 2 A < C, we know that L ( )
u(X)-= en
fa
£( Q)
D IX-Qin-2
l(x,y):y>¢(x)+1l,
da(Q), with 1\fll 2 A
1 < C cL 2(A), andso u cLDO(D 1 ). IX-Q\n-2 -1 + IQin-2
Let now B be any ball in Rn so that 28 C Rn\B*,
B is of unit size,
and such that a fixed fraction of B is contained in D 1 . Since N(\lu) c L 2(A), with norm less than C, f2ano l\7ul 2 ~ C, and moreover on sno 1 , lu(X)J~C. Therefore,bythePoincareinequality
ELLIPTIC BOUNDARY VALUE PROBLEMS J2B \ul 2 S C. But, since lr solves L\1 = 0,
m~x lui'S C
llu\1 L ""(ftn\ B*)-
([26]). Therefore, \1 c L""(Rn\B*),
159
Hence, since
a=O, 'i]u;,\lV,and \v(x,y)!SC/(Ixi+IY/)n- 2w, v>O. For R?:Ro= diamB*, set b(R)= f N('Vu) 2 , where, AR=I(x,¢(x)):R
or= l(x,y); ¢(x) < y < ¢(x) + CR, rR < lx I< L 2 -Neumann theory in fi 7 ,
f.
AR in r from 1/4 to 1/2 gives
I
N1('Vu)2da 'S
~
r- 1RI,
N 1('i]u) 2 daS C
I
IVul2dX
fY\
c(~,
H.
By the
\Vu\ 2 da. Integrating
OUT
J
'S RC3
0 114 \fi 112
AR
T
"-2 u ,
C 1R
since Llr = 0 (see [26] for example). The right-hand side is bounded by 1 J;;. Rn = CR 1-n- 2v, and hence b(R) < CR 1-n- 2v. Then, R3 R2(n-2)-2v n-1
f
AR
N('i]u) < C( f AR
N('i]u) 2) 112
R2
< CR-v. Choosing now R = 2j , -
and adding in j , we obtain the desired estimate. We now turn to the case 1 < p < 2 of 2.2.6. We need a further definition. 1
.
....
DEFINITION 2.2 .1 0. A function a is an H 1 atom 1f A= 'Vta satisfies
....
(a) supp A C B, a surface ball, (b) 1/A/1 < 1/a(B), (c) L DO We will use the following interpolation result:
{Ada=
0.
160
CARLOS E. KENIG
THEOREM 2.2.11. Let T be a linear operator such that \ITf\1
Cil£11 L 2 (!\) :\
and IITall 1
< C for all
L (t\)-
1
1 < p < 2, IITf\1
< c llfll
LP(A)-
Li(A)
<
2
L (A)-
1
H 1 atoms a. Then, for
.
Hence, all we need to show is that if 11u = 0, 'iltu = 'ilta, and a is 1
•
a unit size H 1 atom, N('Vu)
1
l
L (A). But note that if we let u(x,y)
(x,y) £ D
u(x,y) = {
-u*(x,y) (x,y) ( othen
u
is a weak solution of Llr = 0 in Rn\a*, since ulao \a• = 0.
Then, \r = lr 00 + ag + v, but a
=
0 since lr -lr 00 must change sign at
oo.
The argument is then identical to the one given before. Before we pass to the case 2 < p < 2 + e, we would like to point out that using the techniques described above, one can develop the SteinWeiss [32] Hardy space theory on an arbitrary Lipschitz domain in Rn. This generalizes the results for n results for
c1
=
2 obtained in [20] and [21], and the
domains in [121
Some of the results one can obtain are the following: Let H~t(aD) II •\ai: II\ I< oo, ai is an atom!, Hi_at(aD)
= II\ai: II\ I<
=
+oo,
ai is an H~ atom I. THEOREM 2.2.12. a) Given f
£
H!t
function u, which tends to 0 at oo, such that N('Vu) such that NQ'Vu(X) .... f( Q)
non·tan~entially
£
L 1 (aD), and
a.e. Moreover, u(X) =
S(g)(X), g£H!t· Also, u\a 0 lHtat(aD). b) Givenf£HLat• there exists a unique (mcxlulo constants) harmonic function u, such that N('Vu) g
£
£
L 1(aD), and such that 'iltulao = 'iltf a.e. Moreover, u
H!t, and
=
S(g),
~ £ H!t(aD). c) If u is harmonic, and N('iJu) £ L 1 (aD),
161
ELLIPTIC BOUNDARY VALUE PROBLEMS
then
~ f H~t(aD),
u !00
H} ,at(aD). d) f c H!t
f
(~
N(\7Sf) c L 1 (aD), if and only if
1- K*) f c H!t
We turn now to the LP theory, 2
< p < 2 +e.
In this case, the results
are obtained as automatic real variable consequences of the fact that the L 2 results hold for all Lipschitz domains. We will now show that I!N(\7u)ll P A
L ( )
~ CII~NII P A Ul'l L ( )
for 2
< p < 2 +e.
The geometry will be clearer if we do it in R~, and then we transfer it to D by the bi-Lipschitzian mapping ci>: R~
->
D , «<>(x,y) -= (x ,y + ¢(x)).
We will systematically ignore the distinction between sets in R~ and their images under ci>. Let y = l(x,y) c R~: lxl
< yl, y*
= l(x, y) c
R~: alxl < yl, where a
is a small constant to be chosen. Let m(x) =
sup !Vu(z,y)\, and £x+y
(z,y)
m*(x) =
sup !Vu(z,y)j. Our aim is to show that there is a small lx+y*
(z,y)
e 0 > 0 such that
au = dN.
f
Let h
f m2 +Edx
~c
= M(f 2) 112 ,
f
\f! 2 +edx, for all 0
< e ~ e0 ,
where
where M denotes the Hardy- Littlewood
maximal operator. Let E..\= lx c Rn 1 : m* (x) >..\I. We claim that
~m*>..\,h 0 !
m2
~ C..\2 \E,.\1
+ Ca
~m*>..\l m 2 •
Let us assume the claim, and
prove the desired estimate. First, note that
by the claim. Choose now and fix a so that C·a
f.
E..\
e
m2 :SC..\2 IE,.\I t CJ.I
f0
00
..\.e- 1
h~..\.1
f.E..\ m2 d..\ <- C
< 1/2.
Then,
m 2 . For e>O, Jm 2 +e=ef. 00 ..\e- 1 0
f ( ' " ..\ 1 +E
0
\lm* >..\l!d..\+Ce
f."" ..\e- 1 (J. 0
f.
lm>..\1
m 2 d..\< -
\ m2 )d..\.
h>~
162
CARLOS E. KENIG
By a well-known inequality (see [14] for example), lEAl~ Callm >All. Thus, fm 2 +e ~ Ce f 0oo A1 +e llm>AIIdA+Ce f000 Ae-l(Jh>A m2)dA ~ Ce fm 2+E+ Cfm 2 he. Ifwenowchoose e0 sothat Ce 0 <1/2, for e<e 0 , fm 2 +e~ C
f m2 he.
If we now use Holder's inequality with exponents 2 ~e and 2
2 ~ e , we see tha!
f
m2H
~
2+e
e
C(J m2 H) 2 +e(JM(f 2) -2-) 2+e, and the
desired inequality follows from the Hardy-Littlewood maximal theorem. It remains to establish the claim. Let IQkl be a Whitney decomposition of the set EA = lm*>AI, such that 3Qk C EA, and I3Qkl has bounded overlap. Fix k , we can assume that there exists x that h(x) ~ A, and hence, f2Qk f2 ~ CA2 1Qk I. For 1 ~ r rQk, and Qk,r cll(Qk ,7)
)
=
l(x,y): x
£
£
:s 2,
Qk such let Qk,r =
rQk, 0 < y < r length (Qk)l. Qk,r (and
is a Lipschitz domain, uniformly in k, r. Also, by construction
of Qk, there exists xk with dist(xk,Qk)::::: length (Qk), and such that m*(xk) ~A. Let
'"" ,T Ak ,T = aQk
so that dQk,r
=
n xk + y*
Qk, r U Ak,r U Bk,r. Note that the height of Bk,r is
dominated by Ca length (Qk), and that IV'ul :SA on Ak,r. Let m1 be the maximal function of \7u, corresponding to the domain Qk ,7 (i.e.
where the cones are truncated at height ::::: f(Qk) ). Then, for x m(x)
~
m1 (x) +A. Also,
Jm~ ~ J m~ ~(using Qk
al)k
. r
the
£
Qk,
ELLIPTIC BOUNDARY VALUE PROBLEMS
163
Integrating in r between 1 and 2 , we see that
Thus,
f.
f.
Qk
m2 ~ Ca
f2
Qk
m2 + C..\2 1Qkl· Adding in k, we see that
< C..\2 IE..\l + Ca f. m2 which is the claim. Note also lm•>..\1 '
lm•>A,h~l-
that the same argument gives the estimate !IN(VU)llp ~ Cil'Vtullp, 2 < p < 2 + e , and the LP theory is thus completed. §3. Systems of equations on Lipschitz domains (a) The systems of elastostatics.
I"n this part we will sketch the extension of the L 2 results for the Laplace equation to the systems of linear elastostatics on Lipschitz domains. These results are joint work of B. Dahlberg, C. Kenig and G. Verchota, and will be discussed in detail in a forthcoming paper ([8]). Here we will describe some of the main ideas in that work. For simplicity here we restrict our attention to domains D above the graph of a
cp: R 2 ... R.
Lipschitz function Let ..\ > 0, p.
~
0 be constants (Lame moduli). We will seek to
... =
solve the following boundary value problems, where u
i
(ul'u 2 ,u 3)
~\{ + (..\ + p.) 'V div \: = 0 in D
(3.1.1)
...
ulao
f
.... =
f
2
£
L (il>,da)
~t; + (..\ + p.) 'V di v 1: =
0 in D
(3.1.2) { ..\(div \:)N + p.IV\:+(Vi:)tlNlao =
f
£
L 2 (il>,da).
164
CARLOS E. KENIG
(3.1.1) corresponds to lmowing the displacement vector
ii
on the
boundary of D, while (3.1.2) corresponds to knowing the surface stresses on the boundary of D. We seek to solve (3.1.1) and (3.1.2) by the method of layer potentials. In order to do so, we introduce the Kelvin matrix of fundamental solutions (see [24] for example), r(X) = (rij(X)), where A 0 ii
c xi xi TXi + 4rr·IXI3 , and
rii(X) = 4"
1 [1 A = 2 p:
1 1 1 [1 1 ] +_2il.+XJ ' c = ~ p: -z;;x
.
We will also introduce the stress operator T, where Tti' = ~ (div i:) N +
pi \l~ + vi: t I N . The double layer potential of a denc;ity g(Q) is then given by i:(X) = Kg(X) =
fao
IT(Q)r(X-Q)Itg(Q)da(Q), where the operator T is applied
to each column of the rna trix
r.
The single layer potential of a density g(Q) is
ti'(X) = Sg(X) =
J
r(X-Q) · g(Q)da(Q).
ao Our main results here parallel those of Section 2, part a). They are THEOREM
3.1.3. (a) There exists a unique solution of problem 3.1.1 in
L 2 (00, da). Moreover, the solution U' has the form
D, with N( ti')
f
ti'(X) = Kg(X),
g
f
L 2 (00, da).
(b) There exists a unique solution of (3.1.2) in D, which is 0 at infinity,
with N(\]u) Sg(X),
f
L 2 (aD, da).
Moreover the solution ~ has the form ~(X)=
gfL 2 (aD,da). 2
~
(c) If the data f in 3.1.1 belongs to L 1 (00, da), then we can solve
(3.1.1), with N(\7~)
f
L 2 (cD,da). Moreover, we can take ~
~
~
u(X) = Sg(x), g
f
2
L (00, da).
The proof of Theorem 3.1.3 starts out following the pattern we used to prove 2.1.1, 2.1.2 and 2.1.14. We first show, as in Theorem 2.1.3. that the following lemma holds:
165
ELLIPTIC BOUNDARY VALUE PROBLEMS
LEMMA
3.1.4. Let Kg, Sg be defined as above, so that they both solve
j.LAii + (A+p.)'V div ii (a)
(b)
=
0 in R 3\CID. Then:
IIN
1{:' +
(J~
)-(P)
.!:
=
2"1
--+
--+
g(P) + Kg(P)
(~~ (Sg)j) ± = ±{A2C ni(P)gj(P)- ni(P) nj(P) < N(P), g(P)>} + •
where Kg(P)
=
p.v.
~.v.
fao
[
:.,
l'(P-Q)ol(Q)do(Q~j
,
IT(Q) f'(P-Q)It g(Q)da(Q), and A, C are the
constants in the definition of the fundamental solution. Thus, just as in Section 2, part (a) is reduced to proving the invertibility on L 2(00, da) of
± ~ I+ K,
±
~ I+ K*, and the invertibility from
L 2(ao, da) onto L~(aD, da) of S. Just as before, using the jump relations, it suffices to show that if \I(X) = Sg(X), then [ITii'll 2
::::;
L
[I'Vtii'll
•
2
L (aD,da)
Before explaining the difficulties in doing so, it is very
useful to explain the stress operator T (and thus the boundary value problem 3.1.2), from the point of view of the theory of constant coefficient second order elliptic systems. We go back to working on Rn, and use the summation convention. Let a~~, 1 lJ
<:::
r, s
ellipticity condition
<:::
m, 1
:S
i, j
<:::
n be constants satisfying the
166
CARLOS E. KENIG
and the symmetry condition a~~ = a~.r. Consider vector valued functions 1J J1 .; = (u 1 , •.. , urn) on nn satisfying the divergence from system
~ a~J a~.
us
=
0 in D. From variational considerations, the most
J
1
natural boundary conditions are to Dirichlet condition (~I an= f) or the Neumann type condjtions,
aus t.... = ni a~j (jx, = fr.
The interpretation of J problem (2) in this context is that we can find constants a~~, 1 :S i, j ~ 3, 1J 1 :S r, s :S 3, which satisfy the ellipticity condition and the symmetry condition, and such that ~II+ (A+p.)V div
II= 0
axa
a ..
i
rs aus a .. ax = 0 in D 1J j
in D if and only if
.... and with Tu = dv u. In order to obtain the II
equivalence between the tangential derivatives and the stress operator we need an identity of the Rellich type. Such identities are available for general constant coefficient systems (see [29], £27]). LEMMA 3.1.5 (The Rellich, Payne-Weinberger, Neeas identities). Suppose rs ax. us = 0 rn · D ' a rs t ha t ax. aij' .. = a sr .. ' h.... is a constant vector in Rn , 1 J 1J J1 .... and u and its derivatives are suitably small at oo. Then,
a
a
Proof. Apply the divergence theorem to the formula
REMARK 1. Note that if we are dealing with the case m = 1 , aij = I,
....
and we choose h =en, we recover the identity we used before for Laplace's equation.
ELLIPTIC BOUNDARY VALUE PROBLEMS REMARK 2.
167
Note that if we had the stronger ellipticity assumption that
a~~ e.re_s > C I I~JI 2 , we would have, if ~ = l(x, cp(x)): cp: Rn- 1 -• R, lJ 1 J f, t L IIVc/JIIoo
~ Ml,
... 2 ~ that IIVtull L (uu,do)
I
~ ~--, .:~...1 2 . uv L ( 0 D,do)
In fact, if we take
->
h =en, then we would have
~
J
1Vurl 2 do
iJD
~C
J
hfnf
a~j tri '*:do=
iJD
For the opposite inequality, observe that, for each r,s,j fixed, the vector hinfafj - hf.nfa~j is perpendicular to N. Because of Lemma 3.1.5,
Hence,
f00
2 do) 112 (f I -- 2 112 , and so !Vu-- 12 do~ C(fao I\7tu-- 1 00 \7u 1 do)
REMARK 3. In the case in which we are interested, i.e. the case of the
systems of elastostatics,
168
CARLOS E. KENIG
which clearly does not satisfy a~~~{~~?: C I 1~l1 2 , since the 1J J tt quadratic form involves only the symmetric part of the matrix (q). In this case, of
cour~e
:
= T~ = A (div
REMARK 4. The inequality IIV'\i II 2 L
~ N + ~tiV'it +viti IN . (do ,do)
~ CIIV't~ll 2 ~
L (uu ,do}
holds
in the general case, directly from Lemma 3.1.5, by a more complicated
fan
algebraic argument. In fact, as in Remark 2,
rs aur aus hfnfaij ax. ax. do= J
1
r rs rs auf aus 2 Jao (hfnf aij - hi nf afj) ~ · dXj do, and for fixed r, s, j,
(hfnfarr- hinfafJ) is a tangential vector. Thus,
c Uao
... 2
IV't ul do)
1 12
(
fao IV'ul ... 2 do) 112 .
fao hfnfa~j ~~do"::
.
.
Cons1der now the matnx drs =
(a~~ nin1.)- 1 . This is a strictly positive matrix, since a~~ ~i ~1-rl"rf > 1J 1) -
c l"'cl21 ., 12 .
M d (au\ {au\ ore over' rs Cfj;}r \'av}s
rs aur aus
- aij axi
sm aum dXj = drsni aijrt aut dXj . nffk axk
rs iJuf aus rt aut St auT tT aut auT d rt aut a .. ax. ax.= drsnkakfc1X:. nmamv ax -a fd}[ ax = rsnkakvd}[ 1J 1 J v v v v sr aur tr aut aur I rt st tr I aut aur nmamf'dXf- avf~ drsnkakvnmamf- avf I dXV Now, note
e
e
dXf.
axe=
that for t, r, f fixed, ldrsnka~~ma~tf - a~fl is perpendicular to N, by our definition of drs, and the symmetry of a~j: drsnka~ma~~nv- a~r.nv = rt d st tr akvnlfv rsamfnm- 8 mfnm a!enm
-a~t'm = 0.
=
tr d sr tr _ B st tr _ av!fvnk rsamfnm -- amt'm- ts 8 mfnm-amenm-
Therefore,
fao hfnfdrs{~(~~ do~
169
ELLIPTIC BOUNDARY VALUE PROBLEMS
.... We now choose h =en, so that hyny? C, and recall that (drs) and
(a~~nknj) are strictly positive definite matrices. We then see that
Now, as I'Virl 2 = I'Vtlrl 2 +
1:1
2 , the remark follows.
REMARK 5. In order to show that suffices to show that
fao
I'Vtul 2 da
fao I'V~I 2 da~ C fao
~
C
fao \T~\ 2 da,
\A(div U')I + lll'Vll'+VU'tl\ 2 da.
In fact, if this inequality holds, we would clearly have that C
fao I\lu. . + \lu....tl2 da
it
fao
IVU'\ 2 da ~
(Korn type inequality at the boundary). The Rellich-
Payne-Weinberger-Necas identity is, in this case (with h =en ),
fao nnl~ lvll'+'V~tl 2 But then,
ii)2 tda=2 fao ~ ·IA(div ~)N+Ili'Vir+'VirtiNida. .... . . ....t 1 2 1 12 1\7u+\7u fao I\lu-- 12 da~ C
The rest of part (a) is devoted to sketching the proof of the above inequality. THEOREM3.1.6. Let U' solve ~U'+(A+/l)'VdivU'=O in D, II=S(g),
where
g is nice.
Then, there exists a constant C, which depends only
on the Lipschitz constant of ¢
so
that
170
CARLOS E. KENIG
I
I\JII\ 2 do
<_S
C
ao
I
lA. (div II)I + p.l \JII + \JIItl\ 2 do.
ao
The proof of the above theorem proceeds in two steps. They are: LEMMA
3.1. 7. Let II be as' in Theorem 3.1.6. Then,
. J ao
N(\]u) 2 do~ C
LEMMA
f
3.1.8. Let
II
J ..
N(A.(div u )I+ p. I\]u. . + \]u....t 1) 2 do .
ao be as in Theorem 3.1.6. Then,
N(A(div u--> 'I+ p.I \]u.... + \]u->t I) 2 do
<_S
C
I .
\A.(div u )I+ p.I \]u... + \]u->t II 2 do .
ao
ao
Lemma 3.1.7 is proved by first doing so in the case when the Lipschitz constant is small, and then passing to the general case by using the ideas of G. David ([9] ). Lemma 3.1.8 is proved by observing that if ~ is any row of the matrix A.(div i:)I+p.I\Ji:+\Jirtl, then ~ is a solutioo of the Stokes system
/'t.~ = \]p in D { (S) div ~ = 0 in D
~lao= 7( L 2 (aD,do) This is checked directly by using the system of equations
p.!'t.\I + (A+p.)\7 div II= 0. One then invo~s the following Theorem of E. Fabes, C. Kenig and G. Verchota, whose proof will be presented in the next section. THEOREM
3.1.9. Given
f ( L 2(0D, do),
there exists a unique solution
(;,p) to system (S) with p tending to 0 at oo, and N(~) ( L 2(aD,do).
Moreover 1\N(;)II 2
L
~ Clifll
· 2 L (dD,do)
171
ELLIPTIC BOUNDARY VALUE PROBLEMS
We now turn to a sketch of the proof of Lemma 3.1.7. \We will need the following unpublished real variable lemma of G. David ([10]). LEMMA
3 .1.1 0. Let F : R x Rn ... R be a function of two variables t
x = (x 1 ,. .. ,xn)
l
Rn. Assume that for each x, the function t
1-+
l
R,
F(t,x)
is Lipschitz, with Lipschitz constant less than or equal to M, and for each i, 1
~
i ~ n, the function xi
1-+
F(t,x) is Lipschitz, with Lipschitz
constant less than or equal to Mi, for any choice of the other variables. Givenaninterval IxJ =IxJtx .. ·xJn, where the J/s and I are
1 dimensional compact intervals, there exists a function G(t,x) · Rx Rn ... R with the following properties: (a) G(t,x) (b) If
~
F(t,x) on I xJ.
E = {(t,x) d
x
J: F(t,x)
=
G(t,x)l, then
lEI ~
i IIIIJ 1.
{c) For each i, the function G{t,x 1 ,x 2 , .. ·,xi-l'-, xi+l'"",Xn) is Lipschitz, with Lipschitz constant less than or equal to Mi, and one
of the following statements is true: Either for each x, -M < aG (t x) < 4M
-s·
-at·
for each x
or
4M aG , -S ~ at (t,x) :<: M.
The proof of this lemma is the same as in the 1 dimensional case, treating x as a parameter {see [9]). Before we proceed with the proof of Lemma 3.1. 7, we would like to point out that in the analogue of Lemma 3.1.7 for bounded domains, a normalization is necessary since if ii"{X) solves the systems of elastostatics, so does ii"(X) +
£: + BX,
where
£:
is a constant vector,
while B is any antisymmetric 3 x3 matrix. The right-hand side of the inequality in the lemma of course remains unchanged, while the left-hand side increases if B 'increases.' The most convenient normalization is that for some fixed point X* in the domain Vii"(X*)-Vii"(X*)t
=
0. This
gives uniqueness modulo constants to problem 3.1.2 in bounded domains.
172
CARLOS E. KENIG
We now need to introduce some definitions. Let 0 0 C R~ be a fixed, C
00
domain with \(x,O): \1\x\11 = max\xi\ ~ 1\C
l\lxll\~liCD 0 CI(x,y):O
aD 0 ,
l(x,y):O < y < 1,
If ¢:Rn-l .... R is
\IIV' ¢111 ~ M, we construct the mapping T¢: R~ .... Rn by
Lipschitz, with
T¢(x,y)=(x,cy+T/y*¢(x)) where TJ(CQ'(Rn-l) isradial, JTJ=l, and C = C(M) is chosen so that T¢(R~) C {(x,y): y > ¢(x)l, and so that T¢ is a bi-Lipschitzian inapping. Also, it is clear that T¢ is smooth for (x,y) with y > 0, and T¢(x,O) = (x, ¢(x)). We will den~te by A¢ the point T¢(0,1). Lemma 3.1. 7 is an easy consequence of LEMMA 3.1.11. Given M > 0 and ¢ with l\IV' ¢111 ~ M, there exists a constant C = C(M) such that lor all functions t; in D¢, which are Lipschitz in 5¢, which satisfy ~t; +(A+ p.)\7 div t; vii(A,J.) = V'ii(A,J.)t' we have IIN,J.(\i'ii)\1 2 'fJ
~tl vii+ vtrt Ill
'fJ
2
L
'fJ
•
L
=
0 in D¢ and
~ C\IN,J.(A(div ii)I + 'fJ
Here N,J. is the non-tangential maximal operator 'fJ
corresponding to the domain D ¢. This lemma will be proved by a series of propositions. Before we proceed we need to introduce one more definition. We say that Proposition (M,e) holds if whenever ¢ is such that constant vector
i
with
!II aIll
IIIV'¢111 ~ M, and there exists a
~ M so that l!IV'¢ -i Ill ~ e, then, for all
Lipschitz functions ii on D¢ with ~t; + (A+If) IJ div ii
=
0 in D¢,
with Vii(A¢) = V'iit(A¢) we have
where C = C(M,e). Note that if Proposition (M,e) holds, then the corresponding estimates automatically hold for all translates, rotates or dilates of the domains D¢, when ¢ satisfies the conditions in Proposition (M,e). In the rest of this section, a coordinate chart will be a translate, rotate or dilate of a domain D¢. Thebottom B¢ of i!iJ¢ willbe T¢(aD 0 U(x,O):xfRn-l).
ELLIPTIC BOUNDARY VALUE PROBLEMS
173
PROPOSITION 3.1.12. Given M > 0, there exists e = e(M) so that
Proposition (M,e) holds. We will not give the proof of Proposition 3.1.12 here. We will just make a few remarks about its proof. First, in this case the stronger estimate IIN,.~,.(\lt;)ll 2 'fJ
L (aD ,dO')
~ CI!A(div t;)N +/LI\i'U' +V'~tiNII 2 L
(® ,du)
holds. This is because in this case, the domain ~cp is a small perturbation of the smooth domain D... • For the smooth domain D.... , we can aX ax solve problem 3.1.2 by the method of layer potentials (see [24], for example). If e is small, a perturbation analysis based on the theorem of Coifman-Mclntosh-Meyer ([2]) shows that this is still the case. This easily gives the estimate claimed above. PROPOSITION3.1.13. Forall M>O, e>O, a€(0,0.1), ifProposition (M,e) holds, then Proposition ((1-a)M,l.le) holds.
We postpone the proof of Proposition 3.1.13, and show first how Proposition 3.1.12 and Proposition 3.1.13 yield Lemma 3.1.11.
Proof of Lemma 3.1.11. We will show that Proposition (M,e) holds for any M,e. Fix M,e, and choose R so large that if e(10M) is as in Proposition R
3.1.12, then (l.l)Re(lOM)? e. Pick now aJ· > 0 so that
.n
(1-aJ·)=l/10.
J=l
Then, since Proposition (10M, e(lOM)) holds, by Proposition 3.1.12, applying Proposition 3.1.13 R times we see that Proposition (M,e) holds. We will not sketch the proof of Proposition 3.1.13. We first note that it suffices to show that
where
Ncp
is the nontangential maximal operator with a wider opening of
the non-tangential region. This follows because of classical arguments relating non-tangential maximal functions with different openings (see [14]
174
CARLOS E. KENIG
for example). Pick now ¢ with 111\7¢-i Ill~ 1·le, llli Ill :S (1-a)M. We will choose N¢ as follows: Since ao¢\B¢ is smooth, it is easy to see that we can find a finite number of coordinate charts (i.e. rotates, translates and dilates of
D.p ),
which are entirely contained in D¢ ,
such that their bottoms B.p are contained in aD¢, such that T.p((x,O): lllxlll < 1/2) cover (/JJ¢• and such that the o/'s involved satisfy
IIIVI/1111
S.
(t- f) M, and there exist
fl.p
:S (x,O): 1\\x\\1 < ~ )
such that llli.plll
l.lle . The non-tangential region defining N¢, on T.p ( is defined as follows: let F C {<x,O): \llxlll < ~} sider the cone on R~. y = l<x,y)
f
R~: b \xI
be a closed set. Con-
< y I, where b is a small
constant. Consider now the domain DF on R~, given by DF =
U ((x,O)+y). Then DF is the domain above the graph of a xfF
Lipschitz function (), for which IIIV Olil s_ Cb, for some absolute constant C (independent of F ). It is also easy to see that we can take now b so small (depending only on M and e )
~hat
domain above the graph of a Lipschitz function
if!,
which satisfies
IIIV~III S.
(1-
to) M,
tangential region defining N¢, for Q
Tl/1
~x,O):
if!
with
IIIVI/1-a".plll f
T .p(f~,_F) is the ~
:S l.llle.
lllxlll <
t)
if!,
and
The non is then
the image under T.p of (x,O) + y, with b chosen as above, suitably truncated, and where Q
=
T.p((x,O)). Let now, to lighten notation,
m = N¢(\7~), iii= N¢(A(div ~)I+ f!l'V~+'V~tl). For t > 0, consider the open-set Et ~ lm > tl. We now produce a Whitney type decomposition of Et into a family of disjoint sets IUj I with the property that each Uj is contained in T.p (<x,O): 1\\xl\l < for a coordinate chart cube in
D.p,
t)
each Uj contains T.p(lj), where Ij is a
11\x \\1 < ~ , and is contained in T.p(lj), where 1j is a fixed
multiple of Ij. Finally, we can also assume that there exists a constant 'Tlo suchthatif diam(Uj)S.Tlo• thereexistsapoint Qj in ao¢, with
dist (Qj ,Uj) ~ diam Uj, such that m(Q j) s_ t. Let now f3 > 1 be given. We claim that there exists
o> 0
so small that if Ej
=
Uj
n lm > {3t, iii S. otl
175
ELLIPTIC BOUNDARY VALUE PROBLEMS
then a(Ej)
s (1-17M)a(Uj)
where 17M> 0. Assume the claim for the time
being. Then
J-
Joo ta(Ef!t)dt ~ f 2{3
ta(E,ldt - 2{3 2
0
J
2
J 00
ta(Ej)dt + 2{3 2
ta(m>8t)dt S
~ 2{3 2 (1-17M)
0
0
ta(Uj n E{3t)dt S
0
0
00
J 00
J 00
ta(Uj)dt +
0
J
Thus, if
we chocse {3 > 1 , but so that {3 2 ·(1-17M) < 1 , the desired result follows. It remains to establish the claim. We argue by contradiction. Suppose not, then a(Ej) >(1-17M) a(Uj). Let Ej
=
Tt(Ej). If 17M is chosen suffi-
ciently small, we can guarantee that IEj nijl? ·99~1- Let now Fj = Ej n Ij, and construct now the Lipschitz function as
i~ the definition of N¢.
lll'iJ«/J-a«/1111 S l.llh.
Thus,
~ :2: «/!,
=
lxdj
:f=~l.
We now apply Lemma 3.1.10"'to
then !FjnFjl ?C a(Uj), with
and such that there exists af, with lll'iJf-aclll S
corresponding to it,
lll'iJ;III S
at a time, to find a Lipschitz function f, with f Fj
«/!
t l.llle <E.
ill acill S
~
(~ -f0 ) M, «/!,
one variable
«/! on Ij, such that if III'Vf\11
s
(1
-f0)M,
(1 - laO) M so that
We can also arrange the truncation of our non-
tangential regions in such a way that on the appropriate rotate, translate and dilate of Df (which of course is contained in the corresponding coordinate chart associated to IA(div u)I t
11! 'iJu + 'iJut II S 8t.
D«/1,
which is contained in D¢ ),
To lighten the exposition, we will still
denote by Df the translate, rotate and dilate of Df. Note that Proposition (M,E) applies to it. We divide the sets Uj into two types. Type I
176
CARLOS E. KENIG
are those with diam Uj
~
TJo, and type II those for which diam Uj s_ TJo·
We first deal with the Uj of type I. In this case, Df has diameter of the order of 1. Because of the solvability of problem 3.1.2 for balls, and our normalization, we see that on a ball BCD¢, diam B A¢ (B, we have JB !Vlti 2
s_c
~
1,
JB \Adiv lti+,JVlt+vtttl\ 2 . Joining Af
to A¢ by a finite number of balls, and using interior regularity results for the system ~\i + (A+p.) 'V div lt = 0, we see that IV~(Af)l
S. C8t,
for
some absolute constant C. Then
J
s_ C a(Uj)8 2t 2 + c
Nl(A(div
lt)I+p.IV~+Vltt1) 2 da,
aof by (M,e). Thelastquantityisalsoboundedby Ca(Uj)8 2t 2 , whichis a contradiction for small 8. Now, assume that Uj is of type II. Note that in this case
th~e
exists Qj caD¢, with dist(Qj,Uj) ~ diam Uj, and such that !Vu(X)i
S.
t
for all X in the nontangential region associated to Qj. Because of this, it is easy to see, using the arguments we used to bound ivii'(Af)l in case I, that for all X in a neighborhood of Af and also on the top part of Df, we have that !Vu(X)\ m(Q) Nt<
~
S.
t +
C8t. Since for Q cTr{I(FjnFj),
(3t, and f3 > 1 , if 8 is small enough, we see that we must have
Q)? m(Q).
Hence, N1 (vU -[IIU(Af); vU'
177
ELLIPTIC BOUNDARY VALUE PROBLEMS
<J3:;_1 )t if 8 issmalland QfTr;,(FjnFj). Thus,applying (M,e) to Df, we see that CX:{{3-1) 2 t 2 a{Uj) ~
J
T)(FPFi)
l . . - [vir(A f> -2 vir tlJ
faof Nf \'Vu
2
~
.... [Vir(A ) - virt(Aff])2 Nf Vu f 2 da ~
da ~ Ca(Uj)8 2t 2 , a contradiction if 8
is small. This finishes the proof of Proposition 3.1.13, and hence of Lemma 3.1.11. (b) The Stokes system of linear hydrostatics
In this part I will sketch the proof of the L 2 results for the Stokes system of hydrostatics. These results are joint work of E. Fabes, C. Kenig and G. Verchota ([13]). We will keep using the notation introduced in part (a).
II =
We seek a vector valued function
(u 1 , u 2 ,u 3 ) and a scalar valued
function p satisfying
(3.2.1)
~
flit = Vp in D div it= 0 in D .... .... 2 u lao ~- f ( L (00, da)
in the non-tangential sense.
THEOREM 3.2.2 (also Theorem 3.1.9). Given f ( L 2(aJ, da), there
exists a unique solution ( J,p) to (3.2 .1 ), with p tending to 0 at
oo,
and N(J)£L 2 (CD,da). Moreover, ~(X)=Kg{X), with g£L 2(aJ,da). In order to sketch the proof of 3.2.2 we introduce the matrix f'(X) of fundamental solutions (see the book of Ladyzhenskaya [25] ), f'(X) =
a..
x.x.
" lXI .
" \X\3 x.
(f 1.,.(X)), where f 1.J.(X) =-81 ~ + -81 -
.
vector q(X) = q 1 (X)), where q 1(X)
1
_J , and its corresponding pressure
1 -. = --
477\X\ 3
Our solution of (3 .2 .2) will
..
be given in the form of a double layer potential, u(X) =
fan
K.g(X) . =
IH'(Q)r(X-Q)Ig(Q)da(Q), where (H'(Q)f'(X-Q))if = oijqe(X-Q)nj{Q) +
178
CARLOS E. KENIG
ar.f act" (X-Q)nj(Q).
We will also use the single layer potential ;(X)=
J
In the same way as one establishes 3.1.4, one has: LEMMA
3.2.3. Let Kg, Sg be defined as above, with
Then, they both solve Ali= 'Vp in D, and
o-.
Also
(a)
!IN
(b)
(Kg)±(P) = ±} g(P) - p. v.
(c)
IIN(\.lSg)\1 L 2
+ p.v.
fan
o-,
div;
g
f
=
L 2 (ciD, du).
0 in D and
IH'(Q) r{P-Q)I g(Q)du(Q)
a
_.
fan aP.
r(P-Q)g(Q)du(Q)
1
.... +
1 ....
(HSg )-(P) ~- ± 2 g(P) + p.v.
(e)
fan
....
IH(P) r{P-Q)I g(Q)du(Q),
For the proof of this lemma in the case of smooth domains, see [25]. The proof of Theorem 3.2.2 (at least the existence part of it), reduces to the invertibility in L 2 (ciD,du) of the operator } I+K, where Kg(P) ~ - p.v.
fan
to show (3.2.4)
IH'(Q)r{P-Q)Ig(Q)du(Q). As in previous cases, it is enough
ELLIPTIC BOUNDARY VALUE PROBLEMS
179
This is shown by using the following two integral identities. LEMMA
flii
3.2.5. Let
= \lp, div
J=
suitably small at
LEMMA
h
be a constant vector in Rn, and suppose that
0 in D, and that ii,p and their derivatives are
Then,
oo.
-·
...
3.2.6. Let h,p and u be as in 3.2.5. Then,
The proofs of 3.2.5 and 3.2.6 are simple applications of the properties of ii,p, and the divergence theorem . .... Chaos ing h = e 3 , we see that, from 3.2 .6 we obtain COROLLARY
3.2.7. Let ii,p be as in 3.2.5. Then,
J an
p 2 do :S C
J
IVii 12 do,
an
where C depends only on M.
A consequence of Corollary 3.2.7 and Lemma 3.2.5, is that, if
at: ~ aNat: p·N, av
then we have
180
CARLOS E. KENIG
COROLLARY
->
•
3.2.8. Let u,p be as m 3.2.5. Then,
Jl~t da ~
an
J ac
~
lvtt: 12 da +
l
J
/ns
an
~r da,
where the constants of equivalence depend only on M. Proof. 3.2.5 clearly implies, by Schwartz's inequality, that C
fan
~~~ 2da.
fan
iVI:i 2 daS:
Moreover, arguing as in the second part of the Remark 2
after 3.1.5, we see that 3.2.5 shows that
Ian
IVII 12 da S: C
Ian
IVtli 12 da
Ilac
+I
p ns hf
tx:
da
By Corollary 3.2.7, the right-hand side is bounded by
3.2.8 follows now, using 3.2.7 once more. ~
To prove 3.2.4, let u continuous across
aD.
~
=
~
S(g). By d) in 3.2.3, \ltu and ns
~s
ax.
are
J Using this fact, 3.2.3 e) and Corollary 3.2.8,
3.2.4 follows. In closing we would like to point out another boundary value problem for the Stokes system, which is of physical significance, the so-called slip boundary condition
181
ELLIPTIC BOUNDARY VALUE PROBLEMS
(3.2. 9)
This problem is very similar to (3.1.2). Using the techniques introduced in part (a), together with the observation that if ~ir = V'p, div
ir = 0
in
D, the same is true fa each row v of the matrix [\7~+ vtrt - p·l], we have obtained THEOREM 3.2.10. Given f c L 2 (dD,du) there exists a unique solution
( ~.p) to (3.2.9), which tends to 0 at ->
Moreover, u(X)
=
-+
•
-+
S(g )(X), wzth g
f
oo,
and with N(Vir) c L 2 (dD, du).
2
L (dO, du).
DEPARTMENT OF MATHEMATICS UNIVERSITY OF CHICAGO CHICAGO, ILLINOIS 60637 REFERENCES [1]
A. P. Calderon, Cauchy integrals on Lipschitz curves and related operators, Proc. Nat. Acad. Sc. U.S.A. 74 (1977), 1324-1327.
[2]
R. R. Coifman, A. Mcintosh and Y. Meyer, L'integrale de Cauchy definit un operateur borne sur L 2 pour les courbes lipschitziennes, Annals of Math. 116(1982), 361-387.
[3]
R. R. Coifman and G. Weiss, Extensions of Hardy spaces and their use in analysis, Bull. AMS 83 (1977), 569-645.
[4]
B.E.J. Dahlberg, On estimates of harmonic measure, Arch. Rational Mech. and Anal. 65 (1977), 272-288. - - - - · On the Poisson integral for Lipschitz and C 1 domains, Studia Math. 66 (1979), 13-24.
[5] [6]
B.E.J. Dahlberg and C. E. Kenig, Hardy spaces and the LP Neumann problem for Laplace's equation in a Lipschitz domain, to appear, Annals of Math.
[7]
----,Area integral estimates for higher order boundary value problems on Lipschitz domains, to appear.
[8]
D.E.J. Dahlberg, C.E. Kenig and G. C. Verchota, Boundary value problems for the systems of elastostatics on a Lipschitz domain, in preparation.
182 [9] [10]
CARLOS E. KENIG
G. David, Operateurs integraux singuliers sur certaines courbes du plan complex, Ann. Sci. del'Ecole Norm. Sup. 17 (1984), 157-189. , personal communication, 1983.
[11] E. Fabes, M. Jodeit, Jr., and Nf Riviere, Potential techniques for boundary value problems on C domains, Acta Math. 141, (1978), 165-186. [12] E. Fabes and C. E. Kenig, On the Hardy space H1 of a C 1 domain, Ark. Mat. 19 (1981), 1-22.
[13] E. Fabes, C. E. Kenig and G. C. Verchota, The Stokes system on a Lipschitz domain, in preparation. [14] C. Fefferman and E. Stein, HP spaces of several variables, Acta Math. 129 (1972), 137-193. [15] A. Gutierrez, Boundary value problems for linear elastostatics on c 1 domains, University of Minnesota preprint, 1980. [16] D. S. Jerison and C. E. Kenig, An identity with applications to harmonic measure, Bull. AMS Vol. 2 (1980), 447-451. [17]
, The Dirichlet problem in non-smooth domains, Annals of Math. 113(1981), 367-382.
[18]
, The Neumann problem on Lipschitz domains, Bull. AMS Vol. 4 (1981), 203-207
[19]
, Boundary value problems on Lipschitz domains, MAA Studies in Mathematics, Vol. 23, Studies in Partial Differential Equations, W. Littmann, editor (1982), 1-68.
[20] C. E. Kenig, Weighted HP spaces on Lipschitz domains, Amer. J. of Math. 102(1980), 129-163.
[21]
, Weighted Hardy spaces on Lipschitz domains, Proceedings of Symposia in Pure Mathematics, Vol. 35, Part 1, (1979), 263-274.
[22]
, Boundary value problems of linear elastostatics and hydrostatics on Lipschitz domains, Seminaire Goulaouic-MeyerSchwartz, 1983-84, Expose no. XXI, Ecole Polytechnique, Palaiseau, France.
[23]
, Recent progress on boundary value problems on Lipschitz domains, to appear, Proceedings of Symposia in Pure Mathematics, Proceedings of the Notre Dame Conference on Pseudodifferential Operators, Volume 43 (1985), 175-205.
[24] V. D. Kupradze, Three dimensional problems of the mathematical theory of elastocity and thermoelasticity, North Holland, New York, 1979. [25] 0. A. Ladyzhenskaya, The mathematical theory of viscous incompressible flow, Gordon and Breach, New York, 1963.
ELLIPTIC BOUNDARY VALUE PROBLEMS
183
[26]
J. Moser, On Harnack's theorem for elliptic differential equations, Comm. Pure Appl. Math. Vol. XIV (1961), 577-591.
[27]
J.
Necas, Les methodes directes en theorie des equations elliptiques, Academia, Prague,1967.
[28] L. Payne and H. Weinberger, New bounds in harmonic and biharmonic problems, J. Math. Phys. 33 (1954), 291-307. [29]
, New bounds for solutions of second order elliptic partial differential equations, Pacific J. of Math. 8 (1958), 551-573.
[30] F. Rellich, Darstellung der Eigenwerte von ~u + Au durch ein Randintegral, Math Z. 46 (1940), 635-646. [31] J. Serrin and H. Weinberger, Isolated singularities of solutions of linear elliptic equations, Amer. J. of Math. 88(1966), 258-272. [32] E. Stein and G. Weiss, On the theory of harmonic functions of several variables, I, Acta Math. 103 (1960), 25-62. [33] G. C. Verchota, Layer potentials and boundary value problems for Laplace's equation in Lipschitz domains, Thesis, University of Minnesota, (1982), also, J. of Functional Analysis, 59(1984), 572-611.
INTEGRAL FORMULAS IN COMPLEX ANALYSIS Steven G. Krantz* §1. Three basic methods for obtaining integral formulas We begin by discussing three ways to think about integral formulas on domains in C 1 , with a view to finding techniques which might generalize to en . These are (I)
Exploit symmetry of the domain;
(II)
Use differential forms and Stokes's theorem;
(III) Use functional analysis. Discussion of I. Let 11
=
lz E"C: lz I < 11. For n E" Z 1 define cpn(rei())
=
rlnleinO. Then direct calculation shows that
ciJn(O)
=
2~
J cpn(ei~d() 277
1
all n.
(1.1)
0
Now if f is harmonic on a neighborhood of 11
1
then f has an L 2
convergent Fourier expansion
(1.2) n=-oo
By linearity 1 (1.1) and (1.2) yield
*Work supported in part by the National Science Foundation. The splendid lecture notes prepared by Li Hui Ping, Li Xin Min and Ye KeYing greatly simplified the task of writing this paper. 185
186
STEVEN G. KRANTZ
J f(ei~dO. 21T
f(O) =
irr
(1.3)
0
Of course formula (1.3) holds in particular for holomorphic f; then we rewrite (1.3) as •
f(O) "' 1 .
2iTi
J~ 27T
elO -0
(iei 0d0) = 1 .
0
where y(O)
=
t
2m j
f((;) d' ,_0 y '
(1.4)
eiO, 0 ~ 0 < 277.
Now (1.4) is the Cauchy integral formula on the disc for the point z
=
0. In order to obtain the general Cauchy formula, we exploit more
symmetry. Recall that if z £A is fixed then the function
called a Mobius transformation, has the following properties: (a)
cp: A .... A
is biholomorphic (i.e. holomorphic, one-to-one, and
onto, with a holomorphic inverse). (b) cp(O) = z
(c)
cp,
¢- 1 are smooth on a neighborhood of ~.
If f is holomorphic on a neighborhood of
X,
define g(~) = f orf>(~).
Then (1.4) applied to g yields
f(z)
= g(O) = 2;i
f g(~) d~ ~ f f(rp~)) d~. =
y
Change variables by ~ =
y
cp - 1((;) = ('-z)/(1-z (;).
Then
187
INTEGRAL FORMULAS IN COMPLEX ANALYSIS
and logarithmic differentiation of ¢- 1 gives
f(z) =
2 ~i ~ f('') [:~z + 1 ~ ,:] d'
(1.5)
y
Now the numerator of the second integrand in (1.6) is a holomorphic function of '
which vanishes at 0. By (1.4), the second integral
vanishes. Formula (1.6) now becomes
which is the Cauchy Integral Formula for the disc. REMARK
1. If f is only assumed to be harmonic, then we cannot argue
that the second integral in (1.6) vanishes. Instead, a little algebra applied to (1.5) gives
This is the Poisson Integral Formula. REMARK
2. Among bounded domains in C, only the disc (and domains
biholomorphic to it) has a transitive group of biholomorphic self maps. (This follows from the Uniformization Theorem; see also [32].) Thus approach I has serious limitations in C1 . In en the limitations are even more severe. Indeed in Section 7, after we develop a lot of machinery, we shall return to the concept of symmetry in en and gain some new insights.
188
STEVEN G. KRANTZ
Discussion of II. We need some notation. Recall that in real differential
analysis on R2 we use the basis Jx ,
t
for the tangent space (i.e. all
linear first order differential operators are linear combinations of these) and dx , dy for the cotangent space. We have the pairings
< axa• dx >
=
a • dy > < ay
=
1 •
< axa. dy >
=
a• dx > < ay
=
0.
In complex analysis, it is convenient to define differential operators
The motivation for this notation is twofold. First,
Secondly, if f( z) = u(z) + iv(z) is a C 1 function, with u and v real valued, then
(au _av
ar =0 ~ ax = dY az
and
auay =_- av) ax •
(1.7)
which is the Cauchy-Riemann equations. Thus af = 0 means thett f is
az
holomorphic. We also define
dz = dx + idy , dz = dx - idy . It is immediate that
<
£-.
dz > = <
Jz, dZ > = 1 ,
< aa. dz > = < ~. dz > z
az
=
0.
189
INTEGRAL FORMULAS IN COMPLEX ANALYSIS
An arbitrary 1-form is written
(1.8)
u(z) = a(z)dz + b(z)dz and we define the exterior differentials
au = ~ dz az Clearly du = au
+au.
STOKES' THEOREM.
A
dz 1
au = az aa dz
A
(1.9)
dz ,
Recall If {l CC Rn is a bounded domain with smooth
boundary and u is a smooth form on fi then
In our new notation, if
n ~ C 1 ~ R2
and u is a 1-form as in (1.8), (1.9),
then Stokes' Theorem becomes
(1.10)
I(~
-;)
dz
A
dZ .
n Now we can prove THEOREM.
If {l ~ C is smoothly bounded and f is holomorphic on a
nei~hborhood of
fi then
f(z)
=~ 21Tl
If(() d(. all z ( ( -z
an
n.
190
STEVEN G. KRANTZ
Proof. Fix z
and
!(')
.,-z
t:
0. Let e
a= 0\D(z,e). We apply Stokes' Theorem to the 1-form d' on the domain
=I' l u(')
C: 1(-zi <
=
a (note that u has smooth coefficients on a
'""' but not on all of 0 ). Thus, by (1.10), neighborhood of the closure of 0, (1.11)
'""' This last is 0 by (1.7). Thus, since 00
=an U aD(z,e)
(with suitable
orientations), we have
J J u(') =
an Parametrizing aD(z,e) by
as e ...
o+.
REMARK
u(') .
aD(z,E)
'=
z + eeitl, 0
~ 6 < 217, we obtain
This completes the proof. o
1. In the proof of the theorem, if we assume that f is smooth
but not necessarily holomorphic, then the right side of (1.11) does not vanish; instead it equals
,_z
1, n (at/a') d( Ad'. Thus the proof of the
theorem yields
(1.12)
This formula, valid for all f
£
C 1(0), will be valuable later on.
el
191
INTEGRAL FORMULAS IN COMPLEX ANALYSIS
REMARK 2. As it stands, the method of Stokes' theorem will not general-
ize to en. Namely, we used the fact that ~~J is holomorphic with an isola ted singular point at z . In en , n ~ 2, holomorphic functions
never have isolated singularities. A more sophisticated approach will therefore be needed.
n ~ e is a smoothly bounded domain and if E > 0' am> E I. If E is sufficiently small, say
Discussion of Ill. If define
{}E =
lz
l {}:
dist(z,
0 < E < Eo I then ne will also be smoothly bounded. Define
H 2(0)={f holomorphicon 0:
Jlf(()l 2 ds(()
sup
o<e<eo ane
(Here ds is the element of arc length.) That this definition is unambiguous is a technical matter (see [31, Ch. 8]). We shall need PROPOSITION ([31] ).
f
If
l
Each f
l
H 2 ({}) has associated to it a unique
L 2 (aO). The Poisson inte8ra 1 of f is f. A I so
11 E:
(}{}E
-> (}{}
is normal projection then (flan)
a
<"e)- 1 ---+ f
in L 2 (an).
E
Thus we may make H 2 into an inner product space by definin8
=
Jtida an
for f,g
l
H2 (0).
(1.13)
192
STEVEN G. KRANTZ
BASIC LEMMA. If K C
0 is compact then there is a constant C = C(K)
such that sup jf(z)l ~ Cllfll 2 , all f zlK H
Proof. Fix z
l
K. Let e1 <
fo (distance
l
H 2 (n).
(K, afl) ). Then
(Stokes)
(Schwartz)
~ C(el) .
I If(~') ds(~') 12
1 /2
ane 1 < C(K) 11£11 2 H
•
o
Now (1.13) and (1.14) imply that H2 (n) is a Hilbert space. Fix
z ( n and define the functional
f
1->
f(z) .
(1.14)
INTEGRAL FORMULAS Then the lemma, with K
=
IN
COMPLEX ANALYSIS
193
lz!, shows that ¢z is continuous. The
Riesz Representation Theorem yields a unique kz
£
H2 (0) such that
In other words,
f(z)
Jc(()~)ds((}, an
=
all f £ H2(0), z £0.
Formula (1.12) is called the Szego formula and k/0
(1.15)
=S(z,()
the Szego
kernel (see [31, Ch. 1] for further details). REMARK 1. Formula (1.15) has the advantage of working on any smoothly bounded domain (even in en ), and the disadvantage of being nonexplicit. As an exercise, check that when 0 = .1 s;_ e and z = 0 then S(z,()
=2~.
any z
£
Then use Mobius transformations to calculate S(z,() for
.1. You will rediscover the Cauchy formula!
§2. The Cauchy-Fantappie Formula Now we begin to consider integral formulas in en. For purposes of differential analysis we introduce the notation
a_!._ (:a
dZ- - 2 itx, J
i
J
a)
~
J
•
a)
_i__!_~_i_+i az - 2 ax. dy, j
J
J
•
It is easily checked that
!_ if"
z.=_l_z.=1,
j 1
azj
1
=<_l_,crz.>=1, uz j 1 az j 1
and all other pairings are 0.
j=1, .. ·,n,
194
STEVEN G. KRANTZ
If a= (a 1,···,ak),
fJ
= (f3 1 ,···,fJe) are tuples of non-negative
integers (multi-indices) then we write dza =dz
a1
A··· Adz
ak'
cfZ fJ
=azfJ 1 A···
Aazt:;!o ·
,...L
A differential form is written
u
=I aaf3 dza Acrzf3
(2.1)
a,fJ
with smooth coefficients a a{3" (If 0 ranges over
lal
=
p,
1{31
=
:S p ,q c Z and the sum in (2 .1)
q only, then u is called a form of type
(p,q) .) We then define
au =
~ aaafJ
B ~ -r:- dzj A dza A Oz' , ~ . U.t: ) a, f3 ,J
By a calculation (or functoriality), du = called holomorphic if d"u
=0.
=
~ iJaafJ
.J3 .
~ - - Qz j A dza A dz f3 oz.J a, ,j
au + au.
A C 1 function
(Note: this means that df ifi:.
is
=0,
J
j
=1, ·· · ,n,
so f is holomorphic in the one variable sense in each
variable separately.) Finally, we introduce two special forms: if w = (w 1,···,wn) is an n-tuple of smooth functions then we define the Leray form to be ~
. 1
71(w) = ~ (-1)1+ wj A dw 1 A ... A dwj_ 1 A dwj+l A··· A dwn. j=l
Likewise cu(w)
= dw 1 A · · · A d wn .
INTEGRAL FORMULAS IN COMPLEX ANALYSIS
195
We define a constant
J
W(n) =
lU(I) " lU(() .
B(O,l)
Here B(z ,r) = I( len: ,, -z I < rl. Now we may formulate a generalization of approach II in Section 1. THEOREM (The Cauchy-Fantappie formula). Let 0 ~en be a smoothly
bounded domain. Assume that w = (wl····,wn)
l
C 00(0
X
n\~)'
wj =Wj(z,(), and n
~ wj(z,() • ((j-zj) ~ 1 on
0 X 0\ ~.
(2.2)
j=l
Iff fc 1
di>
is holomorphic on n, then lor any z f0 we have
f(z)
=
nW~n)
If(() Tf(w) "6J(() .
an Before proving this result, we make some detailed remarks. REMARK 1. In case n = 1 , then w = w1 = - 1-
(-z
The Cauchy-Fantappie formula becomes
f(z) = 1 . Jf(() d( ,
2m
(-z
an which is just Cauchy's formula.
(of necessity). So
(2.3)
196
STEVEN G. KRANTZ
REMARK
2. As soon as n
~
2, the condition (2.2) no longer uniquely
determines w. However an interesting example is given by
Let us calculate what the theorem says for this w in case n = 2. Now
which by direct calculation
(2 .4)
Thus, by the theorem, we get a form of the Bochner-Martinelli formula:
for f (
c 1( n).
holomorphic on
n.
Now we turn to the proof of the Cauchy-Fantappie formula. For simplicity, we restrict attention to n = 2. Let
INTEGRAL FORMULAS IN COMPLEX ANALYSIS
If a 1 , a 2
f
1
197
then we define
B(a 1 , a 2 ) = det (a 1 ,
= I,
e (o) a~(l)
A
d(a;(2) .
ocs 2 We claim that B has three key properties: (1) B(a 1 ,a 2) does not depend on a 1 ; -
1
2
(2) a(B(a ,a) :0; (3) If a 1 ,a 2 ,{3 1 ,{3 2
(1
then B(a 1 ,a 2 ) - 8({3 1 ,{3 2 ) is "'J( exact.
Assuming (1 ), (2) and (3) for the moment, let us complete the proof (note that (1) is used only to prove (3)). Letting
we have (observe that B(a 1 ,a 2 ) = 1J(w))
J
f(() 'Tf(W) A w(()
=
an
J
f(() B(a 1 , a 2) A w(() .
an
Note that, by (2), d((f(()B(a 1 ,a 2 ) =
a,f(()
= 0+0
=
A
A
w(())
B(a 1 , a 2)
0.
A
w(() + f(()a,B(a 1 ,a 2 )
1\
w(()
(2 .5)
198
STEVEN G. KRANTZ
Hence, letting 0 < e < dist (z, ail), we have by Stokes' Theorem that (2.5)
J
f(()B(a 1 ,a 2)" w(()
dB(z,e)
J
f(()!B(a 1 ,a 2)-B(,8 1 ,,8 2 )1 Aw(()
(2.6)
dB(z,e)
+
f
B(,Bl, ,82) "w(().
dB(z,e)
But the first integral
f
f(() dA " w(O
dB(z,e)
(for some A , by (3))
f
d(f(() " A " w(())
aa(z,e)
(2.7)
by Stokes' Theorem, since aaB(z ,e) = 0. Thus (2.5)- (2 .7) give
J
f(() lJ(w) " w(() =
an which, by (2.4),
J aa(z,e)
f(() B(,8 1 , ,8 2) " w(()
INTEGRAL FORMULAS IN COMPLEX ANALYSIS
1 e4
J
f((} fl((-z) "
oB(z,e)
1 e4
J
f(z)
rfl-z) "
oB(z,e)
(Stokes) =
.!.
e4
f(z)
J
2w((-z) " w((> + O(e)
B(z,e)
J =
2w(()" w((> + O(e)
f(z) · 2W(2) + O(e) .
Letting e -+ 0 yields the desired result. o We conclude this section by proving (1)-(3). For (1), we have
199
200
STEVEN G. KRANTZ
which, by adding row 2 to row 1,
This calculation is correct for ( 1 .f- z 1 , ( 2 .f- z 2 • The full result follows by continuity. For (2), imitate the proof ci (1). For (3), use (1) to write
Now an easy calculation, as in (1), shows that this last equals '"JA where
This completes our discussion of the Cauchy-Fantappie formula.
§3. Introduction to the
a problem
One of the principal problems in complex function theory is the construction of holomorphic functions with specified properties. In one dimension, there are a number of highly developed techniques: Runge and Mergelyan theorems, power series, infinite products, integral formulas, and so on. In several variables, these techniques are either unavailable, much less useful, or much less accessible.
201
INTEGRAL FORMULAS IN COMPLEX ANALYSIS
The two most prevalent techniques for constructing functions in several complex variables are sheaf theory and the inhomogeneous Cauchy-Riemann equations. The latter interact strongly with the subject of integral formulas, and in any case are a more flexible technique than the former. To these we now turn our attention.
n
The setup for our study is that, for a given form f =
.~ j=l
seek a function u such that du =f. Notice that since 0
(ao +'da) Hence
+
all
f 1.(z) dz1., we
=
d2
=
"d 2 , linear independence considerations yield that ff 2 =
f necessitates df
=
a2 + =
0.
0.
A simple calculation shows that, for n ~ 2, this compatibility condiat. ar tion is equivalent to _J =___li, all j, k. Notice, however, that when
azk azi
n
=
1 the condition df = 0 is always vacuously satisfied. This differ-
ence can be explained in part by the fact that the equation
au = f
is
really n equations (:j = fj) in one unknown (namely u ). For n > 1 the system is then "over-determined" and a compatibility condition is necessary. For n = 1 the system is not over-determined. The three basic considerations about a POE are existence, Wliqueness and regularity. It is easy to check that
a is elliptic on functions in the
interior of a given domain; hence, if u exists, it will be smooth whenever f is (we will see this in a more elementary fashion later). So interior regularity is not a problem. Also, since the kernel of
a consists of all
holomorphic functions, uniqueness is out of the question. So, for us, existence is the main issue. The following example shows that the compatibility condition does not by itself guarantee existence of u. EXAMPLE.
Let {l C C 2 be given by
n = (B(0,4)\B(0,2)) U B ((2,0), ~)
at ~ 0
202
STEVEN G. KRANTZ
v
Let U=B((l,O).o and V=B((1,0),H asshown. Let 1jfC;(u) satisfy 11
=1
on V. Finally, let
Then f is smooth and
aclosed on
holomorphic on supp (Ji,) then the function h
n n.
= u - _1__1 zl-
n\(s ((1,0), }) n lz 1 =11).
0 since
1 is well-defined and z 1 -1
If there existed a u satisfying ~ = f would be holomorphic
(dh ~ 0)
on
But u would necessarily be smooth near
(1 ,0) (since f is) hence h has a singularity at, for instance, (1 ,0). Thus we have created a function holomorphic on 8(0,4)\8(0,2) which does not continue analytically to (1 ,0). This contradicts the Haitogs extension phenomenon (an independent proof of this phenomenon will be given momentarily). o Now that we know that ~
=
f is not always solvable, let us turn to
an example where it is useful to be able to solve the
a equation.
203
INTEGRAL FORMULAS IN COMPLEX ANALYSIS
EXAMPLE. Consider the following question for an open domain 0 CC en:
If w = n n lzn = Ol -10 and if g is holomorphic { on w (in an obvious sense), can we find G
(3.1)
holomorphic on 0 such that Giw = g ?
If 0 is the unit ball, then the trivial extension G(zpz 2 ,···,zn)"' g(z 1 ,···,zn_ 1,0) will suffice. However if {} = B(0,2)\B(0,1) s; e 2 then g(z 1,0) = 1/z 1 is holomorphic on o> but could not have an extension G (else the Hartogs extension phenomenon would be contradicted). o THEOREM. Suppose that w C Cn is a connected open set such that
whenever f is a smooth a-closed (0.1) form on
ali
=
n
then the equation
f has a smooth solution. Then the answer to (3.1) is "yes."
Proof. Let 77: en-> en be given by 77(Zl····,zn) = (zl····,Zn-1'0). Let B = lz ( n: 17Z I wl. Then B, w are disjoint relatively closed subsets of
n,
tive neighborhood of w and ¢ Define
n
so there is a C 00 function ¢ on
'"" F
=0
such that ¢
=1
on a rela-
on a relative neighborhood of B.
on 0 by
'"" F(z)
{¢(z) · f(11(z))
if
0
else.
z
£
supp ¢
=
Then F gives a C 00 (but certainly not holomorphic) extension of f to 0.
204
STEVEN G. KRANTZ ~
~
We now seek a v such that F + v is holomorphic and F + vi(L) =f. With this in mind, we take v of the form zn · u and we want -~
a(F+v)=O or
Now f
is holomorphic on supp ¢ and z n is holomorphic so all that
o TT
remains is
acp . (f 017)
t-
zn .
au = 0
or
(- #).
(f 017)
(3.2)
zn The critical fact is that, by construction,
0
n {zn =01
acp
=
0 in a neighborhood of
so the right-hand side of (3.2) is smooth on {}. Also it is
easily checked to be
a closed.
Thus our hypothesis is satisfied and a ~
u satisfying (3.2) exists. Therefore F
=F +v
has all the desired
properties. o Our two examples show that solving the
a equation is (i) subtle and
(ii) useful. Thus we have ample motivation to prove our next result. LEMMA.
Let ¢
l
C~(C), k ~ 1 , and define f
u(z)
satisfies u (
c k(C)
Proof. We have
and
1 =- 2m -.
au = f.
=
cp(z)dZ. Then
lJ¢<() -- - )' c
( -z
d(
A
d.,
205
INTEGRAL FORMULAS IN COMPLEX ANALYSIS
~- 2;i
II
(&p/iJZt' +Z) d, Ad/;
c 1
= -
27Ti
If
(&p;at;>
D(O,R)
where D(O,R) is a disc which contains supp ¢. We apply Remark 1 of II in Section 1 to ¢ on D(O,R) to obtain that the last line
=
¢(z)-
2~i
J ~~}
d/;.
an(o,R) The integral vanishes since ¢ = 0 on aD(O,R), hence
all = f.
finally that u c ck by differentiation under the integral sign.
Observe
0
REMARK. In general, the u given by the lemma will not be compactly supported. Indeed if If¢ /. 0 and if u were compactly supported (say u
~
D(O,R) ) then a contradiction arises as follows:
an(O,R)
The supports of solutions to the
D(O,R)
a problem explain many phenomena in
one and several complex variables. We explore this theme later. Meanwhile, contrast the Lemma and Remark with the following result.
206
STEVEN G. KRANTZ
THEOREM.
Let n
>1
and let
C~(Cn).
on en and suppose each
ui(z) • -
If',j
2~
=
+ · ·· +
Then for any 1
~j ~n
the
(z " .... z;' ~~·z i+" ...•z.) d( • d(
c satisfies ui t
C~(Cn)
Proof. Fix 1
:S m :S n. We need to check that
and
~j
=
;j
=
zm
:5 m ~ n.
If
m = j then the result follows from the lemma. H m J j then use the compatibility condition
acpj
azm
=
acpm aZj
to write
~ ui(z) =-1~ m
217i
c
By the lemma, this last equals
eJ j,
then uj = 0 for zf large (since then
holomorphic for zf. large (since continuation, u
=0
all =
is then 0 ). So, by analytic
off a compact set. Next, uj - uf = 0 since it is
compactly supported and holomorphic. Finally, uj
f
C~Cn) by differen-
tiation under the integral sign. o REMARK.
The proof actually shows that u is zero on the unbounded n
component of c( j~l supp
INTEGRAL FORMULAS
IN
207
COMPLEX ANALYSIS
compactly supported solution to ~ =f. In the present case, one exists and is given by an integral formula. §4. The Harto!Js Extension phenomenon and more on the
a problem
We have cited the Hartogs extension phenomenon in the examples of Section 3. The reader will want to check that the proof of it that we now give is independent of those examples. THEOREM (The Hartogs Extension Phenomenon). Let
be a bounded, connected open set. Let K
s; 0
n s; en
I
n >1
I
be compact. Assume that
O\K is connected. If f is holomorphic on O\K then there is a holomorphic F on 0 such that F IO\K =f. Proof. Choose and
cp = 0
cp
f
C""(Q) such that
cp = 1
in a neighborhood of aG
in a neighborhood of K. Define
"' t
cp(z) · f(z)
F(z)
if
z ( 0\K
if
z
=
0
f
K.
Then F is a C"" extension of f to 0, but it is not in general holomorphic. We now seek v such that F + v is holomorphic on 0 (and "V
F
+vln\K =f).
Thus we seek
v
satisfying ,...., a(F+v)=O
or or (4.1) since f is holomorphic on supp
cp.
Now
cp = 1
near ail so (- &/>)
·f
is smooth and compactly supported in Q. The theorem of Section 3 now guarantees that there exists a v satisfying (4.1 ). Moreover, the remark following the theorem guarantees that v = 0 near
oO.
Thus F + v is
208
STEVEN G. KRANTZ
holomorphic and, near
an' F + v = F = ¢
. f =f. By analytic continua-
"' +V = f on U and the result follows. o tion, F Notice how the hypothesis n > 1 was used in the proof to control supp v. The Hartogs extension phenomenon has several interesting consequences: (i)
A holomorphie function f in en, n ?: 2, cannot have an isolated singularity. If it did, say at P, then f would be holomorphic on B(P,2e)\B(P,e) for e small hence, by the Hartogs phenomenon, on B(P,2e), and hence at P. That is a contradiction
(ii)
A holomorphic function f in en, n ?: 2, cannot have an isolated zero. If it did, say at P, then apply (i) to 1/f to obtain a contradiction.
(iii) If U s; en is open, E
s; U ,
f is holomorphic on U\E, and E is
a complex manifold of complex codimension at least 2, then f continues analytically to all of U. To see this, notice that for n = 2 the set E is discrete and the result follows from (i). For n > 2 , the result follows from the case n = 2 by considering fl
fC en. Now we return to discussion of the
lf
operator. There are essentially
four aspects to this matter: (1) Existence of solutions;
lf data and lf solutions;
(2) Support of
(3) Choosing a good solution, where "good" means smooth or bounded; (4) Estimates and regularity. Regarding (4), we have noted that ellipticity considerations imply that when (), = g then v is smooth wherever g is. As an exercise, use the theorem of Section 3 to give another proof of this assertion. (Hint: if g is smooth on B(P,r), then let ¢ B (P, ~). Let
lfr
t
c;(s
u = ¢ · v and f = 'J(¢ · v)
~· 1}} =
t
c;(B,(P,r)) satisfy ¢
satisfy
lfr
=1
=1
on
on B (P, ~}. Define
(j¢ · v +¢·g. ~hen d"u = f. Apply the theorem
209
INTEGRAL FORMULAS IN COMPLEX ANALYSIS
of Section 3, decomposing f as f =
(1/1· d¢ · v) + (1-l/l)(ff¢ · v)+ ¢·g.)
This is all that we shall say about interior regularity. Topic (2) has been discussed vis
a vis the Hartogs phenomenon.
Topics (1) and (3) are more subtle. First note that if
a(u+h) = f
air = f
then also
for any holomorphic h. Given f, one cannot expect all
u + h to be nice (i.e. bounded, or L 2 , or C"" up to the boundary). How does one find a nice solution? An idea from Hodge theory is to study the solution u to
a,
is orthogonal to the kernel of
au
=
f which
i.e. which is orthogonal to holomorphic
functions. This solution has been studied by Kohn [25], [27], [28], Catlin [3], [4], Greiner-Stein [16), and others. It is often called the Kohn
solution or canonical solution to the
a equation.
We now briefly review some of what is known about the Kohn solution, and other solutions, to the
a problems on domains in
en. (In this
section we shall take "pseudoconvex" and "strongly pseudoconvex" as undefined terms. These terms will be discussed in detail in Section 5; for now, a pseudoconvex domain is a domain of existence for the
a
operator.) (a) If
n
is a bounded pseudoconvex domain in en and f = I.fjdzj is a
a-closed form with all fj
f
L 2 (fl), then there is a u
f
L 2 (n) with
du=f. Also lluiiL 2 :SC(n)TilfjiiL2 • See[20]. (Exercise: the canonical solution also satisfies this estimate.) (b) If
n~
en is smoothly bounded and pse~doconvex and f
a a-closed (0,1) form with all fj
f
=
I.fjdzj ~s
C (fl) then there is a u 00
f
C""(n)
satisfying au =f. See [26]. It is not known whether the canonical solution has this property. (c) If
n s;
c_:n is strongly pseudoconvex with c
2
boundary and if
f = If.dz. is a a-closed (0,1) form with bounded coefficients, then J
J
thereisa u satisfying au=f and llull "".::;ci!lf1.11 L
oo·
L
The
210
STEVEN G. KRANTZ
canonical solution has this property. See [11], [17], [22], [16], [351. Sibony [39] has shown that there are smooth pseudoconvex domains on which uniform estimates for
a do not hold.
It is not known on
which parameters the uniform estimates depend (however see [13]). Range [38}, Henkin [17}, and others have proved uniform estimates on certain weakly pseudoconvex domains. (d) Complete, and sharp, estimates have been computed on strongly pseudoconvex domains in Lipschitz, Sobolev, Besov and other norms. See [16], [30}. These estimates hold for the canonical solution. One feature of the theory is that the operator assigning the canonical solution Kf to a a-closed (0,1) form f is compact in these norms. This compactness is best exp:essed as a "subelliptic estimate" (see [27] ). Catlin [4] has announced a characterization of those domains on which
a satisfies a subelliptic estimate.
Many times an estimate tells us how to choose the right solution to ~ =f. We conclude this section with an example of how estimates can be
useful. DEFINITION. Let 0 ~ en be a domain and P £a{}. A holomorphic
function f: 0-+ C is called sin~ular at P if for every e > 0, flnna(P,e) is unbounded. It is useful to be able to construct singular functions. Often we ·can
nearly do this in the sense that we can find a neighborhood U cl P and a holomorphic function on
un0
which is singular at p (this is "called
a local singular function). Then the problem reduces to extending local singular functions to global ones. LEMMA.
Let 0 ~ en be a domain on which the
uniform estimates. If p (
ao
a operator satisfies
and there exists a local
si~ular
at P which is bounded off any B(P,e) then there exists a
function
~lobal
one.
211
INTEGRAL FORMULAS IN COMPLEX ANALYSIS
Outline of proof. Let g: U n 0 ... C be a local singular function at P. Let V be an open neighborhood of P such that satisfy ¢
=1
near P and ¢
a problem to find a bounded
=0
off V. Set f
V £ U. =
Let ¢ £ C 00(U)
¢ · g + u and solve a
u. Then f is a global singular function at
P. Fix a strongly pseudoconvex domain 0. We sha 11 prove later that {i) uniform estimates for the
a operator hold on
0 and {ii) local singular
functions satisfying the hypotheses of the lemma exist for each p £
ao.
By taking a suitable root of the local singular function and applying the lemma, we may construct for each P £ aG a singular function Fp at P which is in L 2{0).
Now we will prove that there is an L 2 holomorphic
function F on 0 that cannot be holomorphically continued past any boundary point. This shows that 0 is a domain of holomorphy and essentially solves the Levi problem (se17 [31 ]). For the construction of F, let !Pi lj: 1 be a countable dense set in 00. Let Hij be the L 2 holomorphic functions on 0 U B (Pi,T) , j = 1,2, ....
Let A 2 (0) be the L 2 holomorphic functions on 0. Con-
sider the restriction map Yij : Hij -> A 2 (0). Define Xij
=
image Yij
£ A2 (0).
Because FP. exists for each i, Xij /. A2 {0) for all i,j. We claim that 1
.u. Xij /.A2 (0). Assume the claim for now. Take F £A2 (0)\ .u. Xij' l,J
l,J
This is the F we seek. The claim now follows from: PROPOSITION.
Let X and Y be Banach spaces, and T: X-> Y a
continuous linear map. Then the following are equivalent: (1) T(X) is not of first category in Y .
(2) T is an open mapping. (3) T is onto.
Proof. This a variant of the Open Mapping Theorem for Banach spaces. (I am grateful toR. Huff for this proposition.) o
212
STEVEN G. KRANTZ
§5. Convexity and pseudoconvexity Let n ~ RN be an open set. Then n is called geometrically convex ifwhenever P,Q£n and
O~t~1
then (1-t)P+tQfn. Incalculus,
however, a C 2 function y = f(x) is called convex if fq? 0. How are these ideas related? If n has smooth boundary, then we may think of n as given by
n = !x
£
RN: p(x) < Ol
for a smooth function p with \lp i 0 on
an
(Exercise: use the
implicit function theorem). The function p is called a defining function
(an,
for n. If p
Tp(an)
let =
j
::j
Then Tp(an) is the (real) tangent space to
(p). aj =
an
o!.
at P. If n
=
!p < Ol
we say that n is convex at p fan if
(5.1)
We say that n is strongly convex at P if strict inequality obtains in (5.1) when 0 I a £ Tp(an). A domain is convex (strongly convex) if each boundary point is. EXERCISES
(i)
(see [31 ]):
For a smoothly bounded domain, geometric convexity is equivalent to convexity.
(ii)
If n is smoothly bounded and convex, then n can be written
as an increasing union of strongly convex domains. (iii) The above definitions are independent of the choice of p. In order to understand the
~:ole
of convexity in complex analysis, we
need to discuss inner products. If z, w (en, we define the Hermitian
inner product
213
INTEGRAL FORMULAS IN COMPLEX ANALYSIS
n
=I zjwj j=l
and if we identify
and likewise
then we define the real inner product 2n
=I
tjsj .
j=l
Notice the following facts: (1)
=
Tp(aO) (3) With
=
Re (
lz ten: p~) < 0} has smooth boundary, P =
la t en: Re
n. p
=
tan,
then
Ol .
as in (2), let j"p(aO) = Ia fen: H
call 1p(an) the complex tangent space to
a t 1p(aQ) then ia
t
an
=
01.
We
at p. If
1p(a0). Also ~-p(aD) ~ Tp(an) and it is
the largest subspace of Tp(aQ) which is closed under multiplication by i. Now if 0 = lz
t
en: p(z) < 0} is smooth and convex and P
t
an
then
0 lies on one side of Tp(a{l). Thus if we define fp(z) =
n 0 ~an
(and if
n.
is strongly convex then Z(fp)
nan= I PI).
Thus 1/fp is singular at P. Also Re fp < 0 on 0 so we may choose 0
t
Z such that 1/(f p) 1 /N is holomorphic on
n
and in L 2 (0).
214
STEVEN G. KRANTZ
Thus each P
l
an
has an L 2 singular function. By the argument at the
end of Section 4, 0 supports an L 2 holomorphic function which cannot be analytically continued to any large open set. So any convex domain is
a domain of holomorphy. If we want to understand domains of holomorphy, convexity will not
tell the whole story. For convexity is not a biholomorphic invariant: consider ~:A ... C given by ~(z) = (z+3) 3 . What is needed is a new notion called pseudoconvexity: DEFINITION, If 0 = {z len: p{z) < 01 is smoothly bounded we say that
0 is (Levi) pseudoconvex at P
l
an
if
(5.2)
We call 0 stronAly pseudoconvex at P if strict inequality holds in (5.2) for all 0 /, w
l
j"p(OO). The domain is pseudoconvex (strongly pseudo-
convex) if each boundary point is. EXERCISE. If P
£
a0 is strongly pseudoconvex prove that if A > 0 is
sufficiently large and 'P(z)
=(eAp(z)_l)/A
then
n a2"' ~ _ _P_(P)w-wk>Ciwl 2 , VP laO,Vw lip(OO).
~
j,k=l
az.az J k
1
-
(5.3)
See [31] for details. The rather technical notion of pseudoconvexity is vindicated by the following deep theorem (see [31 ]): THEOREM. If 0 ~ en is smoothly bounded then the following are
equivalent :
0 is pseudoconvex (ii) 0 is a domain of holomorphy (iii) the equation ~ = f, f a a closed {p,q) form, is always (i)
solvable.
INTEGRAL FORMULAS IN COMPLEX ANALYSIS
215
This theaem means that pseudoconvex domains are the natural arena for complex function theory. Also (exercise, or see [31]) any pseudoconvex domain is the increasing union of smooth strongly pseudoconvex domains. So strongly pseudoconvex domains, in a certain sense, are generic. In order to unify and illustrate the ideas introduced so far in this section we prove LEMMA.
If 0 ~en is smoothly bounded and P faD is a point of
convexity then P is a point of pseudoconvexity. Proof. Let p be a defining function for 11. Let a ( j"p(an). Writing the definition of convexity in complex notation we have
cf2 I az.Iz n
j,k=l
1
a2 I __ P_(P)a.(ik n
(P)a-ak +
k
j,k=l azj
But a similar inequality also obtains for ia
1
azk
f
j"p(an). Adding the two
inequalities yields the result. o §6. Solutions for the
a problem
We briefly describe the Hilbert space setup for H
ff problem. We fix a smoothly bounded 0
~
en
and introduce the
notation
Ill
Ill
Ill
The operators T,S are of course unbounded, but they are densely defined
216
STEVEN
(since
c;
also SoT
=
=
KRANTZ
is dense in L 2 ). It is easy to check that T, S are closed;
0 so if F
=
ker S then Range T s;_ F .
An existence theorem for the Range T
G.
a equation amounts to proving that
F . Moreover, it is an exercise in functional analysis to
check that this is equivalent to proving an inequality of the form (6.1) See [20) for details. Rather than prove (6.1), it is more convenient to study the symmetric inequality
Notice that when y
l
F, (6.2) reduces to (6.1).
Unfortunately this program, as stated, fails. The difficulty is that the computation of T* gives rise to boundary terms which, in general, cannot be controlled. (However, in the strongly pseudoconvex case and on weakly pseudoconvex domains satisfying a non-degeneracy condition, there are delicate techniques for handling the boundary terms. See [25].) Hermander 's idea [20) was to work not in Euclidean L 2 but rather in L 2 of the measure space e- ~ dx . If
~ is chosen to have certain con-
vexity properties and to blow up rapidly at
an.
then the boundary is
effectively suppressed ( 0 becomes a complete Riemannian manifold) and the Hilbert space program outlined above works. After the existence problem is thus tamed, the weights can be eliminated (provided bounded) and one obtains an existence theorem in L 2((},dx).
n
is
A leisurely
exposition of all these ideas can be found in [31). We now formulate a version of HOrmander's result, which we will use freely in what follow: THEOREM (Hormander). If 0 ~ en is smoothly bounded and pseudo-
convex, and if f is a
a closed
cients, then there exists u
l
(0,1) from on 0 with L 2 (0,dx) coeffi-
L 2 (!l,dx) such that
au =f.
INTEGRAL FORMULAS IN COMPLEX ANALYSlS
217
REMARK. Hormander's theorem can be used to prove most of the theorems at the end of Section 5 characterizing domains of holomorphy. See [31] for details. Our next main goal is to obtain an integral formula for a solution to the
J
problem on a convex domain. We first need:
THEOREM (Bochner-Martinelli). Let 0 be a domain in en with C 1 boundary. Let f
f(z)
=
f
C 1 (0). Then for all z
Wl( ) { n n
f
0 we have
Jf(~)T/ ( 1(-z\ ~-z 2\~ "cu(~)
an
Proof. Apply Stokes' theorem to the form
on the domain 0\B(z,e). Imitate the proof of the Cauchy Integral Formula (or see [31] ). Now fix 0 a bounded, C 2 , convex domain. Choose e > 0 so small that
n=lz (en: dist (z, ll) <
E
I
is convex (hence pseudoconvex). Let f
be a smooth, a-closed (0,1) form on 0. By Hormander's theorem, there
is a smooth u on 0 such that
au =f.
We apply the Bochner-Martinelli
formula to u (which is certainly in C 1 (0) ). Thus
218
=
STEVEN G. KRANTZ
1 nW(n)
J( ( u( )7j
(-z \
\(-z
12)
ao The first term on the right is not useful, since it involves u, so we will remedy matters by subtracting an appropriate holomorphic function from the right side of (6.3) (see the discussion in Section 4 on choosing a good solution). The Cauchy-Fantappie formalism now comes into play:
If U =
!p < Ol,
let
r-~
w(z,()
(()
=~ ::. ()
-2£._ (')) ,
,
~~. ()
a
n
with
H(z) =
nW~n)
J
u(()7j(w(z, ()) "(<)(()
ao is well defined and holomorphic in z (because w is). Now let v(z)
=o
u(z) - h(z). Then certainly
Jv
= ~ =
f and, by (6.3),
219
INTEGRAL FORMULAS IN COMPLEX ANALYSIS
-
Wl() Jf(() AT/ (
n n
(-z \ l(-z12}
"UJ(()"' I- II.
{}
(-z
r
r
Let G=Ox[O,l] anddefine g(z,.,,A)=(l--A)--+Aw(z,.,) tobea
l(-zl 2
form on G . Then I = n.
~(n)
I
u(()T/(g)
A
UJ(() •
ao By Stokes' theorem, applied on G, this
=
nW~n)
J
d(u(()T/(b)
A
UJ(()) .
G
But d(u((}T/(g)
A
UJ((}) = {]u
A
T/(g)
A
+ u(()d(T/(g)) ""f
A
71(g)
A
UJ((} A
UJ(()
w(()
(this last equality takes advantage of the special algebraic properties of Cauchy-Fantappie forms). So we finally obtain HENKIN'S INTEGRAL FORMULA.
If {}
=
lp < 01
is C 2 and convex and
f is a smooth, a-closed (0,1) form on a neighborhood of {} then the
function
220
STEVEN G. KRANTZ
v(z) = n·
~
f
.. )
!((} • '!(g) • ..,(()
( a!lx(O,l]
satisfies
a;,.
=
f on 0. Here
g(z, '· ..\.) = (1-..\) (
w(z, O
'-z \
IP-z1 2}
+ A.w(z, 0
,
~-~,1 <00 ' ... ' -~a::n <0) 0 0
=
ll>(z,
tl>(z,
and
The standard reference for Henkin's work is [18]; see also [311 Similar formulas were derived by Grauert-Lieb [11]. Kerzman [22], and fJvrelid [35]. Now we assume that 0 is strongly convex, and show how to use Henkin's formula to obtain uniform estimates for solutions to the
a
problem. For simplicity we work in C 2 only. So
f " 71(g) " w(O
= f "
[g 1
~ d..\ - g ~ dj 2
" d ' 1 "d ' 2 •
After some algebra, and integrating out A, the Henkin formula is
INTEGRAL FORMULAS IN COMPLEX ANALYSIS
+
2 ~(2 )
221
J
f 1 (()8 1 (z, ()d(1 A d(2 A d(1 A d( 2
{}
+ 2 w~2 )
J
f 2 (()B 2 (z,(}d(1 Ad(2 Ad( 1 Ad( 2
•
{}
In order to prove an inequality of the farm
1\v\\ it suffices to check that
L
oo
~
Cl\£1\ L .,., '
(6.4)
222
STEVEN G. KRANTZ
JIAj(z,O\da(() 'S C,
1,2
(6.5)
i=1,2
(6.6)
j
=
an and
.J\Bi(z,()\dV(()'SC, {l
with the estimates uniform over z
En.
(Here da is area measure on
an.)
By symmetry we check only j = 1. For B 1 , choose R > 0 such that B(z, R) 2 0 for all z
E
0. Then
For A 1 , we must work harder. We need to know something about the degree to which the denominat"or
+ (quadratic terms) +(error terms)
The last
esti~te
is by strong convexity - see Section 5. Thus
223
INTEGRAL FORMULAS IN COMPLEX ANALYSIS
Let
7TZ
be the normal projection of z to
nate in the complex normal direction at
ao.
Let tl be a coordi-
(that is, i times the real
TTZ
normal direction) in (){}. Recall that
and
It follows that
lm
(~ ap (0(z.-(.~ ~a(,. J J J=l
J
=
lm
(~ dp (z)(z ·-(·~ ~ az. J J j=l
+ O(iz-(i 2)
J
measures (essentially) the complex normal component of z- (; at
1TZ.
As a result
Introducing two additional coordinates t 2 , t 3 centered at span the complex tangential directions at i«l>(z,()\
provided ( is near
TTZ ,
~~
1TZ,
1TZ ,
we conclude that
(\Re w(z,()\ + \Im(z,O\)
say \( -1TZ \ < r 0 • Then
which
224
STEVEN G. KRANTZ
The second integral is trivially bounded since when lz-'1 ~ r 0 then A 1 is bounded. The first is majorized by
c
J f
=C
+C
f
Now
c'r 0
J }·
rdr = C · C'r 0 < oo
0
Likewise
•
INTEGRAL FORMULAS IN COMPLEX ANAJ..YSIS
225
J
C'r 0
J}
(ilog rl + llog Cj)rdr
0
The estimates for A 2 , B 2 follow by symmetry, as already noted. We have proved THEOREM. With 0 strongly convex and f, v as in Henkin's integral
formula for solutions of the
a problem,
REMARKS. 1) To eliminate the hypothesis that f is defined on a neighborhood of
n
we observe that for e > 0 small enough the domain
ne = lz dl: dist (z' aQ) > el
226
STEVEN G. KRANTZ
is smoothly bounded and strongly convex. Moreover, the estimates in the theorem on Oe depend boundedly on e {by a calculation). Thus estimates can be obtained for f a smooth form on 0 with bounded coefficients by applying a limiting argument to the solution u
oe.
e
of a(*)= f on
2) The results of the theorem actually hold on smoothly bounded strongly
pseudoconvex domains. This is most easily seen by using the following important result: THE FORNAESS IMBEDDING THEOREM [9}. Let 0 CC
en
be a
stron~ly pseudoconvex domain with C 2 boundary. Then there is a neigh-
borhood
n of n' a
k > 0' a
c 2 strongly convex domain u ~ cn+k'
and a holomorphic imbeddin~ F : 0 . . cn+k such that (i)
F(O) ~ U
(ii)
F(0\0) ~co
(iii) F(Ofl) ~
(iv)
ima~e
au
F is transversal to
au.
The upshot of this theorem is that the Henkin singular function
«<>
which
we know how to construct on U can be pulled back to 0. The construction of the Henkin solution to the
a equation and the uniform estimates
follow just as before. 3) The singular function «<> can be constructed more directly on a strongly pseudoconvex domain 0 as follows: first write 0 where
(see (5.3)). For ( tail fixed we define
=
lp < ol
227
INTEGRAL FORMULAS IN COMPLEX ANALYSIS
The function L, called the Levi polynomial, has the property that there a neighborhood
u(
of ( such that
0 n U( n lz: L{z,O = Ol =I( I.
One
can modify L, by solving a (j problem (see [18] or [31]) to obtain cp -
such that !l
n lz: IP(z, 0 = Ol = 1(1
n
and IP(z, () = .l: Pj(z, ()(zr(j) j=l
with Pj holomorphic in z. Henkin's program may be carried out using this and w(z,()
=
(-P1(z,()/IP(z,(),···,-Pn(z,()/IP(z,()).
Notice that, by the discussion in the preceding paragraph, 1/L( · , () is a local singular function at (. This, together with the uniform estimates for the
a equation which we have obtained, completes the program
outlined in Section 4 to show that a strongly pseudoconvex domain is a domain of holomorphy. §7. Connections between various integral formulas and applications
In Section 1 we constructed the Szego kernel for domains in e
1•
How-
ever the construction goes through for domains in en once one has the basic lemma, and that follows in en from the Bochner-Martinelli formula. We leave the details of the basic Szego theory in en as an exercise. Recall that the Szego kernel for a domain !l is the reproducing kernel for H 2 (!l). Now fix z ( !l. By construction, S(z, ·) ( H 2(!l). By the reproducing property, it follows that
S(z,() =
J
S((,w)S(z,w)da(w)
an =
J
S(z,w)S((,w)da(w)
an =
S((,z)
=
S((,z) .
228
STEVEN G. KRANTZ
Thus the operator
has the following three properties: (a) S: L 2(a!l) ... H2(!l)
(b) S is self-adjoint (c) S is idempotent. Therefore S is the Hilbert space projection of L 2 (a!l) onto H 2(1l). It turns out that the Henkin operator on a strongly pseudoconvex
domain very nearly has properties (a)- (c). First, by a theory of nonisotropic singular integrals developed especially for boundaries of strongly pseudoconvex domains (see [8], [36]): the Henkin operator
H:f
1-+
nW~n)
J
£(() T/(w)
A
cu{()
(7.1)
ao (with the w produced from the Fornaess theorem as in Section 6) maps L 2(a!l) onto H 2(0). Also H is idempotent. Now H is not quite self-
adjoint, but it is nearly so. To see this, one needs to write (7.1) in the form _1_ If(() N(z,() do((}
nW(n)
an where do is area measure on iKl. This is a straightforward but tedious calculation (see [23]). It turns out that N is real. It also turns out that
INTEGRAL FORMULAS IN COMPLEX ANALYSIS
229
As a result of the preceding observations, the kernel
is a kernel which is less sin§ular than the original Henkin kernel. Thus H - H*, rather than being a non-isotropic singular integral operator {as is H), is a smoothinB operator. This observation of Kerzman and Stein is now exploited as follows. Denote H* -H =A. The reproducing properties of S and H guarantee that {1) S = HS
and (2) H
~
SH.
Thus (3) S = S* ~ (HS)* - S*H* = SH* .
Subtracting (2) from (3) gives S-H~S(H*-H)=SA.
This is an operator equation on L 2 • We may resubstitute the equation into itself as follows:
S == H +SA ~
H + (H+SA)A
~ H + HA + SA2 H + HA + (H+SA)A2 - H + HA + HA2 + SA3
(7.2)
==
"' • •• ==
H + HA + · ·· HAk + SAk+l .
Now we know that each of the operators HA, HA2, ··· are smoothing. If we apply both sides of (7.2) to a sequence ¢j t c;(OO) such that ¢i .... 8(
230
STEVEN G. KRANTZ
in the weak-* topology on aG, we obtain an equation relating S(z, () and H(z, 0. In particular, H and S are equal modulo terms which are
less singular. From this fundamental result, many basic mapping properties of S can be determined (see [36] ). The basic construction of Kerzman and Stein can be used in other contexts. Let us turn now to one of these: the Bergman kernel. Fix a domain
n cc en
and define
(Notice that, for {} smoothly bounded, H2 (fl) is a proper subspace of A2({})
-
Exercise.) Define
n 11£11 =
J
lfl 2 dV 1 12
n for f,g
E A2 (fl).
The basic lemma in this context, sup jf(z)l ~ CKIIfll K
for K CC {}, is easily derived from the mean value property for holomorphic functions. As in Section 1, the abstract Hilbert space theory yields a reproducing kernel for A2 which we call the Bergman kernel. Just like the Szego kernel, the Berman kernel (denoted by the letter K) satisfies K(z,O = K((,z). Thus the associated operator
INTEGRAL FORMULAS IN COMPLEX ANALYSIS
B: f r--
231
J
f(') K(z, ()dV(()
{}
is self-adjoint. It maps onto A2 (by construction) and is idempotent. So B : L 2({}) .... A2 ({}) is Hilbert space projection. A remarkable construction of S. Bergman (see [31]) is as follows: note that, for z
f {}
fixed,
f
K(z,z) = K(z,w) K(w,z)dV(w)
=J1K(z,w)l 2 dV(w) > 0.
Therefore we may set
By a calculation (see [31 ]), the matrix (gij(z)) gives a non-{]egenerate Kahler metric on {} (called the
biholomorphic
mappin~s.
Ber~man
metric) which is invariant under
In particular it holds that if «<>: 0 1 .... f! 2 is
biholomorphic then
As a result, metric geodesics and curvature are preserved. The Bergman metric and kernel are potentially powerful tools in function theory, provided we can calculate them. To do so, we exploit the idea of Kerzman and Stein [231 to compare K with the Henkin kernel. However a complication arises: the Henkin integral (7.1) is a boundary
232
STEVEN G. KRANTZ
integral while the Bergman integra 1 is a solid integral. How can we compare functions with different domains? What we would like to do is apply Stokes' theorem to the Henkin integral and turn it into an integral over 0. However, for z
l
0 fixed, Henkin's kerne 1 has a singularity at (
=
z . So
Stokes' theorem does not apply. The remedy to this situation is to use an idea developed in [19], [30],
[33]: for each fixed z ( n' let
Now construct a smooth extension 'liz of 1/Jz to 0. The CauchyFantappie formula is still valid with 'Pz replacing takes place on the boundary where 'II z =
.Pz
(since the integral
ifJ z ). Thus Stokes' theorem can
be applied to the new Henkin formula containing 'II z. The resulting solid integral operator on L 2(0) can be compared with the Bergman integral via the program of Kerzman and Stein (details are in [33]). The result is that
K(z,()
=
'l'z(() +(terms which are less singular).
As a result, curvature, geodesics, etc. of the Bergman metric may be calculated. Also the dependence of these invariants on deformations of
an
can be determined (see [12], [13]; it should be noted that the methods
of [1] or [6] may be used for the deformation study instead of the KerzmanStein technique). The following are the three principal consequences of these calculations for a smoothly bounded strongly pseudoconvex (a) As Q
J
z
->
an,
n:
the Bergman metric curvature tensor at z converges
to the constant Bergman metric curvature tensor of the unit ball. The convergence is uniform over
an.
(/3) The kernel and the curvature vary smoothly with smooth perturbations of
an.
(y) 0, equipped with the Bergman metric, is a complete Riemannian
manifold.
233
INTEGRAL FORMULAS IN COMPLEX ANALYSIS Now we conclude this paper by coming full eire le and discussing
once again the topic of symmetry of domains. The reader should consider that, up to now, all of our effort has been directed at obtaining (a), (fJ), (y). Now we use those to derive concrete information about symmetries. If {} s;_ en is a domain, let Aut fl denote the group of biholomorphic self-
mappings. If two domains
nl
and
n2
are biholomorphic we will write
nl ~ n2. THEOREM (Bun Wong [41 ]). If {} CC en is smoothly bounded and
strongly pseudoconvex and if Aut fl acts transitively on !1, then
n ~ball. Proof (Klembeck). Let Pol n be any fixed point. Let IPjl Pj .... afl. By hypothesis, choose ¢j
<; n satisfy
Aut fl such that ¢j(P0)= Pj. Then the holomorphic sectional curvature tensor K for the Bergman metric l
satisfies K(P0)
=
K(¢j(P0)) = K(Pj)-> (constant curvature tensor of the ball).
(*)
Thus the Bergman metric curvature tensor is constant on !1. We now use THEOREM (Lu Qi-Keng [34]). If M is a complete connected Kahler
manifold with the constant holomorphic sectional curvature of the ball then M ~ball. This theorem, together with (*), completes the proof. o THEOREM (Greene- Krantz [13] ). If fl
an
<; en is smoothly bounded and if
is Coo sufficiently close to the unit ball B then either (i)
n~ B
or (ii) fl
i; B and Aut fl is compact and has a fixed point.
234
STEVEN G. KRANTZ
Proof. Step 1. If
0 i B then Aut 0 is compact. For if Aut 0 is not
compact then a normal families argument [12] implies that for P0 t 0 '3 cpj tAut 0 such that cpj(P0) ..., an. As in the proof of the preceding theorem, it follows that n ~ball. Step 2. Recall the following result of Cartan-Hadamard (see
[24]):
THEOREM. If M is a complete Riemannian manifold of non-positive curvature and if K is a compact group of isometries on M then K has a fixed point.
Now we prove the theorem by denying (i) and proving (ii). Step 3. By a calculation, the ball B has negative (bounded from zero)
Bergman metric curvature. But the stability result (/3) implies that this statement holds for domains 0 which are Coo sufficiently close to B. By Step 1, Aut 0 is compact. So the result follows from (y) and Step 2. o Now we turn to a conjecture of Lu Qi-Keng (see [34]): CONJECTURE. If n ~en is a bounded domain then the Bergman kernel K(z, ') never vanishes on n
X
n.
On the disc and the ball this conjecture is correct; for the ball in en one can calculate (see [31]) that K(z,,) = n! 77 n
1 (1-z·On+l
However it turns out that in C 1 the conjecture is true if and only if 0 is simply connected (see [40]). From this it follows that the conjecture is not always true in en either. lO See this, let e 2
2 {}="disc
X
annulus. Then the uniqueness of the Bergman kernel easily implies that the kernel for 0 is the product of those for the disc and annulus. Now n
=
unj where nj ~ nj+l and each nj is smooth and strictly pseudo-
convex (see [31]). By a theorem of Ramadanov [37], Kn ..... Kn normally. J
235
INTEGRAL FORMULAS IN COMPLEX ANALYSIS
By Hurwitz's theorem [31 ], Kn. vanishes for j large enough. So there J exist smooth strictly pseudoconvex domains with vanishing Bergman kernels. Thus we have the MODIFIED LU QI-KENG CONJEC~URE. If n CC en is smoothly bounded and diffeomorphic to the ball, then Kn never vanishes. Some results about the modified conjecture may now be formulated. Let
us agree to topologize the collection of all smoothly bounded strictly pseudoconvex domains by equipping their defining functions with the C 00 topology. Then we have (see [12 ], [13]): (i)
If
(ii) If
e = tn: Kn 'U
never vanishes I then
=In: Kn is bounded from
Ol
e is closed.
then
'U
is open.
Statement (i) follows from Hurwitz's theorem. Statement (ii) follows from ({3). Facts (i) and (ii), together with the fact that
e,
'U are non-
empty (since both contain the ball), nearly provide a connectedness argument to verify the modified Lu Qi-Keng conjecture. The conjecture was recently resolved in the negative by Boas and by Catlin. Now we turn to a semi-continuity result for automorphism groups: THEOREM (Greene-Krantz (14] ). If n 0 CC en is a smoothly bounded
strongly pseudocorwex domain and it
n
is a sufficiently small smooth
perturbation of no then (i)
Aut n
s;
Aut n 0
subgroup
(ii) 3¢:
n . . no
a diffeomorphism such that Aut n
J
a
1-+
¢oao¢- 1 tAut n 0
is a univalent group homomorphism.
t
Sketch of proof. We may as well suppose that n 0 ball, else the result is straightforward. Then normal families arguments show that, for n
•
sufficiently near n 0 , n 1::, ball. Thus Aut n is compact and, by averaging the Euclidean metric, one can construct a new metric y, smooth
236
STEVEN G. KRANTZ
across all. which is invariant under Aut {}. By patching this metric with the Bergman metric, and modifying it near Isom(y) =
y
an,
we can arrange that
is a product metric near
an.
Finally, we construct the metric double M of {} equipped with y. Known theorems [5] about semi-continuity of isometry groups of deformations of a compact Riemannian manifold now give the result. o
-
We introduce our final result by recalling a corollary of the Uniformization Theorem (see [2]): THEOREM. If 0 CC e, P c 0, and the isotropy group lp of Aut{} is
infinite, then
n ~ A.
The generalization of this result to en would require new ideas since, in that context, there is no uniformization theorem. Also, on dimensional grounds, the infinitude of lp is an insufficient hypothesis when n > 1. Instead we have THEOREM (Greene-Krantz [15]). If M is any n dimensional, connected,
non-compact complex manifold, and if lp has a compact subgroup H which acts transitively on real tangent directions at P, then M is biholomorphic to either the ball or en. Idea of proof. First create an H-invariant metric on M by averaging over .H. By a continuity argument, we show that metric balls B(P,r) centered at P are biholomorphic to the unit ball in en. This last is the heart of the argument: It involves analysis of geodesics and equivariance properties of the Bergman the
a equation.
metri~
on B(P,r) and of the canonical solution to
Since (by inspection of the proof), the biholomorphisms
of B(P,r) to B vary continuously with r, and since the biholomorphisms match up as r increases, the conclusion follows. o Let us conclude by briefly reviewing the course we have come. We began by exploiting the many symmetries of the disc to derive an integral
237
INTEGRAL FORMULAS IN COMPLEX ANALYSIS
reproducing formula on the disc. Since generic domains possess few symmetries, we developed two alternate techniques to find integral formulas - via Stokes' theorem and via Hilbert space theory. The latter method has the advantage of being canonical while the former is explicit. We used explicit integral formulas in several complex variables to establish a number of basic results in the theory. Then, using an idea of Kerzman-Stein, we were able to relate the explicit formulas to the canonical ones. Finally, we used this connection between explicit and canonical formulas to return to the question of symmetries of domains. We established results which explain how the automorphism group of a domain
!l'
depends on the geometry of
an.
There are still many open problems in the study of automorphism groups of domains. One of the most compelling is to decide which domains have non-eompact automorphism groups. Another is to relate the dimension of Aut (n) as a Lie group to the rank of the Levi form on
an.
I hope that
the survey presented here wiH inspire some new people to consider these questions. DEPARTMENT OF MATHEMATICS THE PENNSYLVANIA STATE UNIVERSITY UNIVERSITY PARK, PA. 16802
BIBLIOGRAPHY
[1J
L. Boutet de Monvel and J. Sjostrand, Sur Ia Singularite des noyaux de Bergman et Szego, Soc. Mat. de France Asterisque 34-35 (1976), 123-164.
[2]
R. Burckel, An Introduction to Cl~ssical Complex Analysis, Birkhauser, Basel, 1979.
[3]
D. Catlin, Necessary conditions for subellipticity of the J-Neumann problem, Ann. of Math. (2)117(1983), 147-172.
f4]
, Boundary invariants of pseudoconvex domains, to appear.
[5]
D. Ebin, The Manifold of Riemannian metrics, Proc. Symp. in Pure Math., Vol XV (Global Analysis), AMS (1970), 11-40.
[6]
C. Fefferman, The Bergman kernel and biholomorphic mappings of pseudoconvex domains, Invent. Math. 26 (1974), 1-65.
238
STEVEN G. KRANTZ
[7]
G. Folland and J. ]. Kohn, The Neumann Problem for the CauchyRiemann Complex, Princeton Univ. Press, Princeton, 1972.
[8]
G. Folland and E. M. Stein, Estimates for the Jb complex and analysis of the Heisenberg group, Comm. Pure Appl. Math. 27(1974), 429-522.
[9]
]. Fornaess, Strictly pseudoconvex domains in convex domains, Am. jour. Math. 98 (1976), 529-569.
[10] B. A. Fuks, Introduction to the Theory of Analytic Functions of Several Complex Variables, Translations of Mathematical Monographs, American Mathematical Society, Providence, 1963. [11] H. Grauert and I. Lieb, Das Ramirezche Integral und die Gleichung a£ = n im Bereich der Beschrankten Formen, Rice Univ. Studies 56 (197~), 29-50. [12] R. E. Greene and S.G. Krantz, Stability of the Bergman kernel and curvature properties of bounded domains, in Recent Developments in Several Complex Variables, J.E. Fornaess, ed., Princeton Univ. Press, Princeton, 1981. [13]
, Deformations of complex structures, estimates for the of the Bergman kernel, Adv. Math. 43 (1982), 1-86.
[14]
, The automorphism groups of strongly pseudoconvex domains, Math. Ann., 261 (1982), 425-446.
a equation, and stability
[15] ----,Characterization of complex manifolds by the isotropy subgroups of their automorphism groups, preprint. [16] P. Greiner and E. M. Stein, Estimates for the Cf-Neumann Problem, Princeton Univ. Press, 1977. [17] G. M. Henkin, A uniform estim.ate for the solution of the Cf-problem on a Weil region, Uspekhi Math. Nauk. 26 (1971), 221-212 (Russ.). [18]
, Integra I representation of functions holomorphic in strictly pseudoconvex domains and some applications, Mat. Sb. 78(120) (1969), 611-632; Math. U.S.S.R. Sbornik 7(1969), 597-616.
[19] G. M. Henkin and A. Romanov, Exact Holder estimates of solutions of the d equation, lzvestija· Akad. SSSR; Ser. Mat. (1971), 1171-1183, Math. U.S.S.R. Sb. 5 (1971), 1180-1192. [20] L. Hormander, L 2 estimates and existence theorems for the operator, Acta Math. 113 (1965), 89-152.
a
[21] T. Iwinski and M. Skwarczynski, The convergence of Bergman functions for a decreasing sequence of domains, in Approximation Theory, Reidel, Boston, 1972.
239
INTEGRAL FORMULAS IN COMPLEX ANALYSIS
au
[22] N. Kerzman, Holder and LP estimates for solutions of = f on strongly pseudoconvex domains, Comm. Pure Appl. Math. XXIV (1971), 301-380. [23] N. Kerzman and E. M. Stein, The Szego kernel in terms of CauchyFantappiekernels, Duke Math.]. 45(1978), 85-93. [24] S. Kobayashi and K. Nomizu, Foundations of Differential Geometry, Vol. I, II, Interscience, New York, 1963, 1969. [25] J. J. Kohn, Harmonic integrals on strongly pseudoconvex manifolds I, Ann. Math. 78(1963), 112-148; II. ibid 79(1964), 450-472.
a
[26] ------·Global regularity for on weakly pseudoconvex manifolds, Trans. Am. Math. Soc., 181 (1973), 273-292. [27]
, Sufficient conditions for subellipticity on weakly pseudoconvex domains, Proc. Nat. Acad. Sci. (USA) 74 (1977), 2214-2216.
[28]
, Subellipticity of the a:.Neumann problem on pseudo-convex domains: sufficient conditions, Acta Math. 142(1979), 79-122.
[29]
, Methods of partial differential equations in complex analysis, Proc. Symp. Pure Math. 30, Part 2 (1977), 215-237.
[30] S. Krantz, Optimal Lipschitz and LP estimates for the equation ali= f on strongly pseudoconvex domains, Math. Ann. 219(1976), 233-260. [31]
, Function Theory of Several Complex Variables, John Wiley and Sons, New York, 1982.
L32]
, Characterization of smooth domains in C by their biholomorphic self-maps, Am. -Math. Monthly (1983), 555-557.
[33] E. Ligocka, The Holder continuity of the Bergman projectioo and proper holomorphic mappings, preprint.
[34] Lu Qi-Keng, On Kahler manifolds with constant curvature, Acta Math. Sinica 16 (1966), 269-281 [Chinese]; Chinese ]. Math. 9(1966), 283-298. [35] N. 0vrelid, Integral representation formulas and LP estimates for the a equation, Math. Scand. 29(1971), 137-160. [36] D. H. Phong and E. M. Stein, Estimates for the Bergman and Szego projections on strongly pseudoconvex domains, Duke Math. ]our. 44(1977). [371 I. Ramadanov, Sur une propriete de la fonction de Bergman, C. R. Acad. Bulgare des Sci. 20(1967), 759-762.
[38] R. M. Range, The Caratheodory metric and holomorphic maps on a class of weakly pseudoconvex domains, Pac. ]our. Math. 78(1978), 173-189.
240
STEVEN G. KRANTZ
[39] N. Sibony, Un exemple de domain pseudoconvexe regulier ou 1'equation u = f n 'ad met pas de solution bornee pur f bournee, Invent. Math. 62 (1980), 235-242. [40] N. Suita and A. Yamada, On the Lu Qi-Keng conjecture, Proc. Am. Math. Soc. 59 (1976), 222-224. [41] B. Wong, Characterizations of the ball in en by its automorphism group, Invent. Math. 41 (1977), 253-257.
VECTOR FIELDS AND NONISOTROPIC METRICS Alexander Nagel * The main object of this paper is to show how nonisotropic metrics constructed from vector fields play an important role in certain recent developments in partial differential equations and several complex variables. As we shall see, these metrics are useful in describing boundary behavior of holomorphic functions in pseudoconvex domains, in estimating the kernel of the Szeg6 projection in some of these domains, and in estimating the size of approximate fundamental solutions to certain nonelliptic, hypoelliptic partial diiferential operators. The exposition is divided into three parts. In the first, we set the stage by recalling certain classical theorems which are models for and which motivate the more recent results. In the second part, we outline the construction of metrics from a given family of vector fields. In the third part, we show how to apply this construction to some examples from several complex variables and partial differential equations, and obtain in this way analogues of the results sketched in part one. It is a pleasure to thank Professor M. T. Cheng, and my other hosts at the University of Peking for their invitation to participate in the Summer Symposium in Analysis in China. It was an honor and a privilege to attend the Symposium, and I am grateful for the very warm hospitality I received. It is also a pleasure to thank E. M. Stein for organizing and directing the
Symposium. All of his efforts are greatly appreciated.
*Research supported in part by an NSF grant at the University of Wisconsin, Madison.
241
242
ALEXANDER NAGEL
Much of this paper is an exposition of joint work with Eli Stein and Steve Wainger, and I am particularly grateful to them for many years of stimulation, encouragement, and collaboration. Part I. Some classical theorems and examples In order to motivate our later discussion, we begin by considering three examples of melrics: the standard Euclidean metric; a nonisotropic but translation invariant metric on Rn; and the translation invariant metric on the Heisenberg group. In the Euclidean case, we see how the balls and metric are involved in Fatou's theorem on nontangential limits of Poisson integrals, and in estimates for the Newtonian potential andrelated singular integral operators. In the other two examples, we see how analogous estimates can be made for kernels related to the heat operator and to the Kohn Laplacian, and how nonisotropic balls on the Heisenberg group are involved in Koranyi 's extension of Fatou's theorem to existence of admissible limits of holomorphic functions. In each of these settings, there is a natura \ly given family of first order linear homogeneous differential operators, or vector fields. In part II of this paper, we shall see that the general construction of metrics applied to these families of vector fields gives back the natural metric in these classical settings. The discussion of results in these examples will be very brief, but references are given for the complete proofs of all the results. §1. The isotropic Euclidean metric and the Laplace operator The standard metric on Rn is defined by
In this example, the important first order operators are just the partial derivatives with respect to the n variables
J:. 1 ,... , ~ n . The Laplace
VECTOR FIELDS AND NONISOTROPIC METRICS
243
operator
is of course just the sum of squares of these first order operators. We first study the role of the Euclidean metric in the solution of the Dirichlet problem for R~+l = {(x 1 , ... , xn,y) ~ (x,y)ly >01. We identify the boundary of R~+l with Rn = Rn x
IOI,
and, given a function f on Rn,
we want a function u(x,y) harmonic in R~+l such that u(x,y)-+ f(x 0) as (x,y)
-+
(x 0 , 0).
For continuous boundary data, the problem is completely solved by the Poisson integral formula. Thus suppose f is continuous on Rn, and f c L 1 (Rn) + L 00 (Rn) . Set
where n+l en=
r(n~l) /17
2
Then: (a) Pf is harmonic on R~+l. (b) Pf extends continuously to the boundary and takes on the boundary values f. (c)
f
Rn
IPf(x,y)IPdx ~ llfllp for 1 ~ p
'S
oo.
(d) Suppose u is harmonic on R~+l and
244
ALEXANDER NAGEL
Then if s > 0 and fs(x)
u(x,s),
=
P(fs)(x,y) = u(x,y+s) . Proofs of these assertions, along with many other of the results discussed here, can be found in Stein [16], Chapter III. Assertions (c) and (d) above suggest a generalization of the ·Dirichlet problem to certain classes of discontinuous boundary functions. For
1
~
p
~ oo,
let hp denote the space of functions u(x,y) harmonic on
R~+l which satisfy
sup y>O
J
lu(x,y)iPdx = llul/p p
h
< oo if p < oo
Rn sup lu(x,y)l = llull 00 Rn+l h
< oo if p ="".
+
Now we are interested in the boundary behavior (along y =0) of functions u in hp, and it is here that the Euclidean metric begins to play an important role for us. To study the boundary behavior, a fundamental concept is that of a nontangential approach region. For a> 0 and x 0
!
Rn
define:
Note that if B(x 0 , 8)
=
lx
t
Rnllx-x 0 1 < ol are the balls defined by the
standard Euclidean metric, then
Thus the nontangential approach regions in R~+l are really defined in terms of the projection 11(x,y) = x of R~+l onto the boundary, the "height function" h(x,y)
= y,
and the family of Euclidean balls on the
boundary. We shall later see that in other examples, natwal approach regions can be defined in essentially the same way.
VECTOR FIELDS AND NONISOTROPIC METRICS We say that a function u(x,y) has a nontangential limit at x 0
245
f
Rn
if and only if for all a > 0, lim u(x,y) exists as (x,y) approaches (x 0 ,0) and (x,y) t ra(xo). In 19~ Fatou [4] proved: THEOREM 1. For 1
~
p
~
"", if u t hp, then u has a nontangential
limit at almost every point of Rn. A standard modern approach to this theorem involves two main estimates. The first involves the Hardy-Littlewood maximal operator. Let f t Lf0 c(Rn) and set Mf(x 0) =sup \B\- 1
J
lf(y)j dy
B
where the supremum is taken over all Euclidean balls B which contain x 0 • The basic estimates for the maximal operator are given in: THEOREM 2 (Hardy and Littlewood). For 1
~
p < oo, there are constants
Ap < oo so that (i)
IIMflip ~ Aplifllp if 1 < p ~ ~
(ii) !lx t RniMf(x) >All ~ A 1A- 1 IIfll 1 if p
=
1.
The very definition of the maximal operator involves the family of Euclidean balls, and the proof of the crucial estimate (ii) depends on a covering lemma for these balls. The second basic estimate needed to prove Fatou's theorem involves the nontangential supremum of a function defined on R~+ 1 . Thus for any
a > 0 and any v(x,y) defined on R~+ 1 set Nav(xo)
=
sup lv(x,y)l. (x,y)tra<x 0 )
For Poisson integrals, this non-tangential supremum is point-wise dominated by the Hardy-Littlewood maximal function of the boundary data:
246
ALEXANDER NAGEL
THEOREM 3 (Hardy and Littlewood). For a > 0 there exists a constant Ca < "" so that if f ( L 1(Rn) + L ""(Rn) and if u(x,y) = Py for all x
l
* f(x),
then
Rn
These are the two quantitative estimates which underlay the qualitative statement of Fatou's theorem. Complete proofs d these results can be found for example in Stein [16], Chapters I and III. However, since we shall appeal to this kind of argument again, we now recall how Fatou's theorem follows fro!D these two theorems. Let p <"" and let u f hp. If s > 0 and if we let fs(x) = u(x,s), then sup
\u(x,y+s)\ = Na[P(fs)](x 0)
(x,y)fra<xo>
Therefore if .\ > 0 \lx 0 fRn\
sup
\u(x,y+s)\ >.\I\
(x,y)lra<x 0 )
1 -< [C a,\ - \\M(fs )\\ p ]P 1 < - [C a Ap.\- \\fs !I p ]P
Since s > 0 was arbitrary, we obtain for any u f hp (1)
VECTOR FIELDS AND NONISOTROPIC METRICS
Now let u
t:
247
hp be real valued, and set Oau(xo) "'lim sup u(x,y) -lim inf u(x,y)
where the limits are taken as (x,y) approaches (x 0 ,0) and (x,y) ( 1a(x 0 ). Then the following facts are easy to verify: (a) Oau(x)
«; 2Nau(x)
(b) Oa(u+V )(x) 'S_ Oau(x) + Oav(x) (c) Oau(x 0 ) = 0 if and only if u has a limit within la(xo) (d) Oau(x)
=0
if u = Pf and f is continuous.
Now let un(x,y) = u (x,y +
=
~)
• Then
0 a (u--u n) < - 2N a (u-u n)
Hence, by inequality (1), we have: llx t: RniOaulx) >..\II 'S llx t: Rnl Na(u-un) >..\/211
~ [2CaAp.\- 1 llu-unllhP]P. Since p < oo, llu-u
II
n hP
... 0
as n ... "", and since ..\ > 0 is arbitrary, it
follows that
By taking a countable sequence ci a's which increase to infinity, we obtain a proof d Fatou's theorem. It is clear that the family of Euclidean balls plays an important role in this theorem, not only in the definition of nontangential approach regions, but also crucially in the definition of the Hardy-Littlewood maximal operator and the proof of its boundedness. We now recall how these
248
ALEXANDER NAGEL
balls are also involved in studying the fundamental solution for the Laplace operator. An important fundamental solution for /'t.. is given by the Newtonian potential:
N(x) = if n = 2
lrr log lxl where wn = 2rrn 12 if
cp
f
;r(T) . Then
C ~(Rn) cp(x) =
I
~N
=
8 as distributions. In particular,
N(x-y)/'t..cp(y)dy
(2)
R" and if
1/;(x) =
f
N(x-y)cp(y)dy
(3)
R" then /'t..f/;
=
cp .
Proofs of these facts can be found in Folland [5], Chapter 2. A great deal is known about the operator
f-+ N
* f(x) =
f
N(x-y)f(y)dy .
R" Basically, the fundamental idea is that, when measured with appropriate norms, N
*f
has two more orders of smoothness than f itself. For
example, if f satisfies a HCilder continuity condition of order a, 0
*N
is of class C 2 and all second derivatives again
249
VECTOR FIELDS AND NONISOTROPIC METRICS
satisfy a Holder continuity condition of order a. (See Bers, john, and Schechter [1], page 232.) Proofs of these continuity properties of the operata f ... N
*f
depend on size estimates of the kernel N(x,y) =
N(x-y) which can be written:
(4)
where
o = lx-yl.
Written in this way, these inequalities again make clear
the important role played by the Euclidean metric and the Euclidean balls. This importance can also be seen when we consider certain singular integral operators. We claimed earlier that N
*f
is two orders smoother
than f. Using formula (2), this means that for all i,j,
a2cp
ax.ax. 1
as smooth as carries
!'!.cp
this.
!'!.cp. Thus a2cp
should be
J
we are led to the study of the operator which
to ~ . There are two ways in which we can think of 1 J
Formally differentiating equation (2) we see that
a2cp (x) ~ 1
Y·Y·
J
=
f
(5)
kij(x-y)!'!.cp(y)dy
where kij(y) =en _!_.1 IYI-n for an appropriate constant en IYI 2
i 0. We note
that the kernel kij is not locally integrable at 0, so we must study the integral in equation (5) in the principal value sense. Now the kernel k· ·(x,y) = k··(x-y) satisfies the following estimates in terms of the 1J
1J
Euclidean metric:
250
where 8
ALEXANDER NAGEL
=
\x-yl. It is well known how to combine estimates of this type
with the Calderon-Zygmund decomposition of L 1 functions to prove LP(Rn)
boundedn~ss of the operator A.cp
-+
d2 cp provided that one
~ 1 J
knows that this operator is bounded on L 2 (Rn) (see for example, Stein (16], Chapter 2). Bounded ness on L 2(Rn) follows from the cancellation property
J ~j(x)dx
=
0,
a
¢<~) =
I
e-21Tix·~ cp(x)dx
Rn so that
cp(x)
=
I
e2"ix·~ ~(~)d~
Rn if, for example,
cp
f
C~(Rn). Then:
(A.cp) ~(~)
=
-417 2 1~1 2 ~0
a2r:p A.cp-+ ax.ax. 1
J
in
251
VECTOR FIELDS AND NONISOTROPIC METRICS so
(
::12..1.. 'fJ
u
)
diidXj
~· f 1~1 2
~
~<0 =-l_J (!lrp} (~}.
Our operator is thus given on the Fourier transform side by multiplication by a bounded function. It follows from Plancherel's theorem that the operator is bounded on L 2 (Rn), Thus we have THEOREM 4. For 1 < p < oo there are constants Ap < oo so that if
¢
f
C~(Rn)
§2. Spaces of
hom~eneous type
In our discussion of the Laplace operator, we emphasized the role of the Hardy-Littlewood maximal operator and the Calderon-Zygmund decomposition of L 1 functions. These basic tools of Euclidean harmonic analysis can be used in much more general settings, and can be applied to a variety of interesting non-Euclidean examples. What is really necessary for the theory to work is a measure space together with an appropriate family of balls, and many people have been involved in these generalizations; see for example Koranyi and Vagi [10], Riviere [14], and Coifman and Weiss [3]. Here I want to briefly sketch the approach of Coifman and Weiss to what they call "spaces of homogeneous type.'' A locally compact space X is a space of is a continuous map p: X x X d~t
-4
homo~eneous type
[0, oo) and a non-negative Borel measure
on X so that:
(1} p is a pseudometric; i.e., for all x,y,z (a) p(x,y)
=
if there
0 if and only if x = y
(b) p(x,y) = p(y,x} (c) p(x,z) ~ K~(x,y}+p(y,z}].
f
X,
252
ALEXANDER NAGEL
(2) The measure p. has the "doubling property" relative to the family of falls B(x,B) = !y£X\p(x,y)<8): There is a constant A so that for all
XfX, 5>0
~t(B(x ,25))
:S Ap.(B(x, 8))
.
In order to emphasize the crucial importance of properties (lc) and (2), we now recall the proof of part (ii) of Theorem 2 in this general setting. Thus if f f
Lf c(K,dp.), define 0
Mf(x 0) =sup IBI- 1
J\f(y)\d~t(Y) 8
where the supremum is taken over all "balls" B which contain x 0 • We prove: THEOREM 5.
There is a constant A 1 so that if f
£
L 1(X,dp.),
A> 0, let E = IMf >AI, and let ICE be any compact subset. If x £ I, since Mf(K) > ,\ there is a ball Bx containing x so that Proof. For
IBx 1- 1
J
\f(y)\ dp.(y)
B
> ,\ .
X
The balls lBx lxfi cover :I, and since :I is compact we can find a subcover, which we call B 1 , ···, BN. Suppose Bj = B(xj,8j) so Bj has "radius" 8j. Choose Bi 1 so that inductively choose Bi , ···, Bi 1
(1) B·
1k
k
for all j. We can then
so that
is disjoint from Bi , ···, Bi 1
l\ ~ 5j
k-1
(2) 8. > 8. for all j such that Bl. is disjoint from lk- J In this way we get a finite subsequence Bi , ... , Bi 1
m
which are disjoint.
VECTOR FIELDS AND NONISOTROPIC METRICS
253
Suppose Bj is a ball from our original finite sequence which does not appear in the subsequence. Then there is a first k so that Bik n B; .f
0.
By property (2), oik ~ oj • Let xik be the center rJ. 1\k and xi the center of Bj. Then if z ( Bik
n Bj,
p(xik'xj) ~ K[p(xik'z) + p(z,x;)l < 2Ko 1. • k If y ( Bj, then p(x;,y) < oj, and so p(xik'y) ~ K[p(xik'xj) + p(xj,y)] < K(2K +l)o 1• k Let B: k
=
•
B(xi ,K(2k+l)8i ) . Then B. C B~ , and so 1k k k J
!,
c
N
m
j=l
k=l
U B; c U s;k .
m
Hence I!(!)< :I p.(B7 ) . But by property (2) of spaces of homogeneous - k=l
type
k
*
tt(B 1·
) < A h -
=
l+log 2 K(2K+l)
p.(B-1 ) k
•
A tll(Bik) .
Thus
~-t(!,)~Al ~ #L(Bik)
f B.
lk
lf(y)idy<;A 1i\- 1 lifll 1
254
ALEXANDER NAGEL
since the balls IBi I are disjoint. Since I was an arbitrary compact k subset of E, we obtain the same estimate for the measure of E. §3. The heat operator and a nonisotropic metric We turn now to an example which, though elementary, involves truly nonisotropic phenomena. We consider the heat operator
a2
n
a
L=g-~ - = - - 6 . Ul 4. ax~ at x J
j=l
on Rn+l, where we use coordinates (x 1 ,· .. ,xn,t)
=
(x,t). Unlike the
Laplace operator 6. on Rn, L is not elliptic. Nevertheless there is a remarkable fundamental solution for L. Define n
(4nt)
-:ze-lx \2 /4t
if
t
>0
if
t
<0 .
E(x,t) 0
Then E is C"" on Rn+ 1 \I(O,O)I, and LE = tions. (See Folland [5], Chapter 4.) Thus if
JJ oo
¢(x,t) =
L =- ~ -
f/J E CQ'(R~+ 1 )
n
(471S)-2 e-IYI 2 14s 'L¢<x-y ,t-s)dyds
0
where
o in the sense of distribu-
Rn
f'...x is the formal adjoint of L.
In order to study the operator f .... E
* f,
we would like to obtain size
estimates on the kernel E and its derivatives analogous to those for the
VECTOR FIELDS AND NONISOTROPIC METRICS
255
Newtonian potential N in equation (4). However, if B((x,t), 8) denotes the ball in the standard Euclidean metric, the estimate IE(x,t)l
s c o 21B((x,t), o)i- 1 ~ 0-n+l
with {) = (ixl 2 +t 2)1 12 is false. To see this, let t = lxl 2 with lxl small, so E(x,t) = Clxl-n, while = (lxl 2 + lxl 4) 112 ~ lxl, so
o
5-n+l ~ lxl-n+l. Thus we carinot obtain the appropriate kind of estimate with the Euclidean metric. To remedy this situation, we make the crucial observation that, like the Newtonian potential N, the fundamental solution E possesses a certain homogeneity, though now this homogeneity is non isotropic. For
,\ > 0 define It is easy to check that
We associate to the family of dilations a pseudometric p((x,t),(y,s)) =
The corresponding family of balls Bp((x, t), 5) = l(y ,s)
f
ftn+ljp((x,t), (y ,s)) < ol
are now ellipsoids of size 5 in the directions of x 1, · · ·, xn, and of size 5 2 in the direction of t. Thus
256
ALEXANDER NAGEL
Moreover, it follows from the homogeneity of E that we now have: (a) jE(x,t)j ~ C o 2 jBP((x,t), o)j- 1 (b) I'VxE(x,t)l <:; CoiBP((x,t),o)j- 1
(c)
~~
(7) (x,t)l
:S C \Bp((x,t), o)\- 1
l
a2E . (d) raxi C'&j (x,t)l ~ CjBP((x,t),o)j- 1 where
o = p((O,O), (x,t)).
Thus we obtain estimates for the fundamental solution E(x,t) which are exactly analogous to those we have for N(x), provided we view the operator
£
as acting like a second order operator, so in equation (7c)
we loose two powers of
o rather than one.
We can now use the general theory of spaces of homogeneous type to show that L satisfies certain subelliptic estimates analogous to the elliptic estimates for N given in Theorem 4. For example, one can prove: THEOREM
6. For 1
< p < oo there are constants Ap < oo so that if
¢ ( C 0 (Rn+ 1) then
The operator L is the sum of squares of the first order operators
£:. ···, ~n
minus the operator
~,
which we shall count as an operator
1
of order two. We shall later see how the appropriately weighted vector
fields
£-., .. ·,-£=n , and 1
~ give hack the non isotropic metric
p.
257
VECTOR FIELDS AND NONISOTROPIC METRICS
§4. The
Sie~el upper
half space and the Heisenberg group
Nonisotropic balls and metrics play an important role in the theory of boundary behavior of holomorphic functions in strongly pseudoconvex domains. This is discussed for example in the monograph by Stein [17]. Here we recall what happens in the case of a model strictly pseudoconvex domain, the generalized upper half space, and its boundary, the Heisenberg group. We let n=l(zl,···,zn,zn+l) =
n
(z,zn+l) ( cn+lllmzn+l >
~
lzjl 2 = lzl 2
Recall that n is the image of the unit ball B =
!
l(w 1 ,···,wn+l)l~tlwl<1l J=l
under the biholomorphic map
1
The boundary of n is the set an= l(z,zn+l) ( cn+lllmzn+l = lzl 2 1 =
Thus "Ye can identify
l(z,t+ilzl 2 )1z ( cn,t ( Rl.
an
with en
X
R by associating to the point
(z,t+ilzl 2 )£an thepoint (z,t)£CnxR. Wecanmake cnxR intoa group Hn, the Heisenberg group, by defining (z ,t) · (w ,s) = (z+w, t+s+21m
where
=
.~ zjwj. This definition can be motivated and the group
J=l
\
258
ALEXANDER NAGEL
properties verified by the following considerations: to each point h = (w,s) (en
X
R we associate a holomorphic map Th: cn+l .... cn+l by
the formula
Th is clearly holomorphic. Moreover, if hj
= (wj,sj),
j
= 1, 2,
then a
simple calculation shows that
where
From this it follows that Hn is a group, and
Let p(z,zn+l) = Imzn+l- lzl 2 be the "height function" for that (z,zn+l) (
n
if and only if p(z,zn+l)
and only if p(z ,zn+l) = 0. If h = (w ,s)
f
> 0' and (z,zn+l)
n
(an
so if
Hn we compute
p(Th(z,zn+l)) = lm(zn+l +S +ilwl 2 +2i
Thus T h carries
n
to itself and dO to itself. If h = (w ,s) ( H0
have identified (w,s) with the point
(w,s+ilwi 2)
(an,
£an
and if h
=
(w,s)
f
Hn, then
we
and this is the
same as Th(O,O). Thus under the identification, Hn acts on follows: if (z,t)
,
an
as
VECTOR FIELDS AND NONISOTROPIC METRICS
Th(z,t)
'=
ThT(z,t)(O,O)
'=
Th·(z,t)(O,O)
'=
(w,s) · (z,t)
=
(z+w, t+s-2Im< z ,w >) .
259
We now make Hn (or an) into a space of homogeneous type. Define d :Hn xHn ... [0, 0<>) by d((z,t); (w ,s)) == [lz-w 14 +It-s +21mCz ,w >! 2 ] 1 14 , or, if we identify Hn with
an,
The function d is invariant under the action of Hn . Thus if h = (u,r)
f
Hn, easy algebraic manipulations show that d(Th(z ,t), Th(w ,s)) = d((z,t), (w ,s)) .
If we define the balls B((w ,s), o) = I (z ,t)jd((z ,t), (w ,s)) < ol then this invariance property means that B((w,s),o) = T(w,s)(B((O,O), o)). We claim that d is a pseudometric. For if t' = (z,t), w = (w,s) and
U' "'
(u,r) are in Hn with d(t',w) < o,d(w,u)<
o
then
o !w-ul < o
!z-w! <
lt-s+2lm
o
ls-r +2Im<w ,u >I < 2 •
260
ALEXANDER NAGEL
Hence \z-ul ~ lz-wl + lw-u\ <28, and lt-r+21m
~ 28 2 + 21Im
Therefore d(Z,1i) ~ 2max (d(z,Vi), d( w,1i)) ~ 2[d
What do the conesponding balls B(z, 8) look like? We see that
\V t B(Z,8) is essentially equivalent to the pair of inequalities: lz-wl < 8
Fix
z = (z,zn+l) tan.
The complex tangent space to
an
at z is
given by the equation (t)n+l- zn+l- 2i<w,z> If w = (w ,wn+l)
(an'
=
0
0
the distance from \V to this complex tangent plane
is essentially
=
\Re (wn+l-zn+l)+i(\w\ 2 + lz 12 -2Cw,z >)I
=
IRe (wn+l-zn+l-2i
~ lw-z[ 2 +(Re(wn+Czn+l-2i
< 82
""'
0
261
VECTOR FIELDS AND NONISOTROPIC METRICS
Thus the balls B(z, 8) are essentially "ellipsoids" of size 8 in the directions of the complex part of the tangent space to
an
at
z,
and of
size 8 2 in the orthogonal real direction, and hence in particular
Thus the doubling property of the balls is verified, and d{l (or Hn ) equipped with the pseudometric d is indeed a space of homogeneous type. We now want to discuss the analogue of Fatou's theorem for boundary behavior of holomorphic functions in n. This problem was first studied by Koranyi [9] for domains like {}, and was later generalized by Stein [17] to general smoothly bounded domains in en. Here we want to emphasize the role of the nonisotropic balls on the boundary, in analogy with the role of Euclidean balls on Rn in Fatou's theorem. We begin by defining appropriate nonisotropic approach regions in G. Let rr : {} ... aG be the projection
For a> 0 and
VI= (w,s+ilwl 2 ) l an let
Aa( VI) = l(z ,zn+t) l n:rr(z ,zn+l) l B( VI, ap(z,zn+ 1 ) 1 12 )1 where of course B(w,8) is the nonisotropic ball defined by the pseudometric d. It is clear that this definition is analogous to our earlier definition of nontangential approach regions ra<xo) in n~+l. Now (z,t+ilzl 2 +iy)
f
Aa
pair of inequalities: lz-wl < ay 112 lt-s+21m
262
ALEXANDER NAGEL
but requires nontangential approach in the complementary real direction, and so the sets lA a< w)l are essentially the admissible approach regions introduced by Koranyi [9]. The in variance of the balls B( w, o) under the action of Hn , together with the fact that the height function p is invariant under the mappings Th, imply that the approach regions Aa(w) are carried into each other under the action of Hn. Thus it is easy to check that if h = (w ,s) ( Hn, then (z,z 0 +1 ) ( Aa((O,O)) if and only if Th(z,zn+l) ( Aa(w,s+ilwl 2 ). Let F be a function defined on 0, and for ' (dO, set NaF(, 0) =
sup
IF(z,zn+l)l .
(z ,z:n+l )£Aa<(o>
If f
£
L{0 c(afl),
define
Mf('o) =sup IBI- 1
I
lf(,)jda(()
B
where the supremum is taken over all nonisotropic balls B containing
'0,
and da is surface area measure on
an.
We now have the following analogues of Theorems 2 and 3, which were used to prove Fatou's theorem. THEOREM
7.
For
1
:5 p ~
:5 Ap II flip
oo
there are constants Ap < oo so that 1
(i)
IIMfllp
(ii)
II' (ani Mf( ')>>-II~ A 1>--111fll,
THEOREM
oa
it
P = 1.
8. Suppose u is continuous on {} and pleurisubharmonic on
0. For a > 0 there is a constant Ca (independent of u ) so that for all
'(an
263
VECTOR FIELDS AND NONISOTROPIC METRICS
Theorem 7 of course follows from Theorem 5 and the Marcinkiewicz interpolation theorem (see Stein [16], Chapter 1), since we already know
an
is a space of homogeneous type. Before proving Theorem 8, we point
out some of the consequences of these results. For 1 ~ p ~ "", we let Hp(O) denote the space of holomorphic functions on
n
which satisfy
sup J\F(z,t+i\zl 2+iy)[Pdu(z,t): y>O
1\Fil~
<
oo
if
p <
oo
p
an
For 1
COROLLARY.
so that if F (i)
~ p ~""
and a> 0. There are constants Ap,a <""
E Hp(fi)
l!N~ll p<:_Apal\FliH
for l
p (ii) \1, tdU\NaF{,)>AI\ <:_ A1,i- 1\\Fl\H 1 L
'
if
p = 1.
Proof. Put Fe (z ,zn~ 1) = F(z,zn+l +ie). Then FE is continuous on and pleurisubharmonic on 11, so by Theorem 8
Since llFell p :':: l\FliH L
and
p
for 1 ::: p ~"" we see that
n.
264
ALEXANDER NAGEL
I NaF >AI=
U lNaFE>AI
e
so the corollary follows by the monotone convergence theorem and the regularity of the measure da. We can now apply exactly the same argument we used for Fatou's theorem to prove_ THEOREM 9 (Koranyi). If F ( Hp(Q), then F has admissible limits at
almost every point of
an.
It remains to prove Theorem 8. For simplicity, we deal wit~ the case
n =1 . Since the approach regions A. a({.) are carried into each other by the action of Hn , it suffices to prove the estimate at the origin (0,0). We first obtain an estimate on the radial maximal function:
J
271
\u(yteiO,s+it)\dOds dt
0
3y
y
J'" J J 2
0
--y2
2
Iu({te i9,s+it)l dt ds d9 .
y
-
2
Letting r = yt, and interchanging the order of integration, we get
VECTOR FIELDS AND NONISOTROPIC METRICS
f
265
lu(()ido(()
J
B((O, 0), 2
iu(()idu(() .
VY)
Thus, by translation invariance, we see there is a constant A so that for (z,zn+l)
l
n iu(z,zn+l)l
~ AIBl- 1
J
lu(Oldo(()
B
where B =B(77(z,zn+l),2p(z,zn+l) 1 12 ). Now let (z ,zn+l)
l
Aa((O,O)). Then 77(z ,zn+1)
t
B((O,O), ap(z,zn+l ) 1 12 ),
so
But now using the doubling property of the ba Us, it follows that there is a constant A so that if (z,z 0 +1)
lu(z,z 0 +1)1
t
Aa(O,O)
~ A'IBi-l
I B
lu(()ida(()
(8)
266
ALEXANDER NAGEL
where B =B((0,0),(2a-t4)p(z,zn+ 1) 112), and this last average is certainly dominated by A'Mu(O,O). We remark that estimates of type (7) are actually false for Poisson integrals of harmonic functions. The nonisotropic ba Us on iJO are also useful in studying singular integrals and fundamental solution_s. For example, the Cauchy-Szego projection of L 2(ofi) onto H 2(fi) is given by the operator
Sf(z,zn+ 1) = Jf(w,wn+ 1)S((z ,zn+l), (w,wn+l))do
an where
with en,;, 2n- 1 nl/~+ 1 (see Nagel and Stein [11], page 23). In particular, for z = (Z,t) and w ~ (w,s) on
an
we have,
. -( n+1)[(s-t-2Im
o = d(z,w).
It is also easy to check
that derivatives of S yield estimates with corresponding negative powers of
o.
Thus S behaves like a singular integral kernel relative to this
family of nonisotropic balls, and from this follows LP and Lipschitz estimates for the operator f ->Sf (see Koninyi and Vagi [10]). Finally, we consider fundamental solutions. On Hn let
a a X·=...,-+2y-"""!;", J ox, J 01:
a
J
J
where we write z · J
=X·
J
a
a T="""t:
Y-=...,--2x·~·
oy.
J
J
ot
01:
+ iy-. These vector fields form a basis for the J
left invariant vector fields on Hn. Put - = -1 (X -+iY .) - (X ·-iY.), Z. Z · = 21 J
and consider for a
t
C.
J
J
J2
J
J
267
VECTOR FIELDS AND NONISOTROPIC METRICS
This second order operator arises in the following way: if we identify Hn with
an,
the vector fields
zj
annihilate the boundary values of holo-
morphic functions. Thus, in analogy with the operator
a,
we consider
n
abf
=I zid(i,
on functions,
j=l
and we extend this in the usual way to (O,q) forms on
an.
In L 2 (Hn)
we can define a formal adjoint (~)*, and the Kohn Laplacian is then
On q forms, o{,q> acts diagonally, and is given by the operator ~a where a = n - 2q. The operator c::1tJ is not elliptic but Kohn's fundamental work [8a] showed that one can obtain subelliptic estimates for ~a. Folland and Stein [6] discovered a fundamental solution for ~a· Define:
THEOREM 10 (Folland and Stein). ~acf>a
tions, where ca is a constant, and ca
=
cao in the sense of distribu-
.J 0 if a t
±n, ±(n+2), ±(n-t-4),
etc. Thus except for the exceptional values of a, solution for ~a, and it is easy to verify that
where
o = d((O,O), (z,t)).
1 cf> is a fundamental ca a
One also obtains corresponding estimates for
derivatives of cf>a, so that again there is a complete analogy with the estimates (4) for the Newtonian potential.
268
ALEXANDER NAGEL
In the case of the Heisenberg group, the basic vector fields are xl,···,Xn, y
I•"' ,Y n
I
and the vector field T which is given "weight"
two. We shall later see how the general construction applied to these vector fields gives the nonisotropic pseudometric d. Part II. Metrics defined by vector fields Our object in this part of the paper is to outline the construction of metrics from certain families of vector fields. Many details of the arguments will be omitted, and complete proofs can be found in [13]. In [7J, Hormander studied differentiability along noncommuting vector fields, and used the techniques of exponential mappings and the Campbell-Hausdorff formula. The case of vector fields of type 2 was studied in [11]. Balls reflecting commutation properties c:i vector fields have also been studied by Fefferman and Phong [4a], by Folland and Hung [Sa], and by SanchezCalle [lSa]. Let
nc
RN be a connected open set, and l:_t y l•'",Yq be C 00
real vector fields defined on a neighborhood of 0. We associate to each vector field Yj an integer d j = d(Y ;)
? 1 which we call the formal
degree, and we make two fundamental assumptions about this collection of vector fields. -
N
(1) For each x dl, the vectors IY 1 (x),· .. ,Yq(x)l span R . (2) For all j, k, we can write [Y;,Y k] =
e
I
c~k(x)Ye
where
de:Sd/dk 1
-
cjk c C 00(0). Here [X,Y] =- XY- YX is the commutator of the two vector fields. There are several basic examples to keep in mind.
=i;
and let dj =1 for 1 ~ j <:n. In this J case we shall recover the standard Euclidean metric on Rn.
(A) Let N =-q =n, let
Y;
let dj = 1 for 1 ~ j :Sn and J let dn+l = 2. In this case we shall obtain the nonisotropic metric
(B) Let N =q =n+1, let Yj
=~-,and
on Rn+l appropriate for the study of the heat operator
VECTOR FIELDS AND NONISOTROPIC METRICS
269
n (J2 _a__ ~-.
axn+l
(C) Let N = q
.J-
=
c1xf
2n 4 l and let
Y· = + 2y. J ox, J J
4
l
Ql
~j~n with d. J
a - 2xj ata
=
1
l ~j ~n
y n+j = ay. J y2n+l
i=l
= [Yj,Yn+j] = - 4
!t
with d 2 n+l = 2 .
In this case of course we are dealing with the Heisenberg group, and we shall recover the invariant metric on Hn defined earlier. (D) (An example of Grushin type). Let N = 2, q = 3, and let
with d 1
=
d 2 = 1 and d 3 = 2. This example leads to a metric
appropriate for studying the hypoelliptic operator See Grushin [6a].
£ 2 +X~ a22 • ax 1
ax 2
(E) (This example generalizes (A), (C), and (D).) Let X 1 ,···,Xp be Coo
real vector fields on fi. Let x
=
X <2 >=
IX 1 ,···,XP! I· ··, [X 1'. XJ·] , · · · I
x< 3 > = I· .. , [Xi, [Xj,xk]),
···I, etc.
so that xCk) is a vector whose components are all the commutators of X 1 ,···, Xp, of length k. We say that the vector fields _X 1, .. ·,Xp are of Hormander type m or finite type m if at each X ( n , the components of x
270
ALEXANDER NAGEL
Let Y 1 ,···,Yq be some enumeration of the components of x
as in (E) of finite type, but this time let d(Xj) = 1 for 1
~
j ~n
while d(Xo) = 2, with appropriate weighting of higher commutators. This example leads to a metric appropriate for studying the generalization of the heat operator X~+Xf +··· + X~:-X 0 • Our object now is to construct natural metrics out of the family of vector fields Y 1, .. ·,Yq. I want to distinguish between two general approaches to this problem. On the one hand, one can define a metric in terms of a "global definition." Here, we let the metric be given as the infimum d some functional over a large class of curves. Then the defining properties of a metric, such as the triangle inequality, are relatively easy to verify, but the local geometry of the corresponding family of balls is hard to understand. On the other hand, we can define a metric in terms of a "local definition''; here we want the metric to be given in terms of an exponential mapping. Now the local geometry is clearer, but it is much more difficult to verify that one really has a metric. We now discuss each of these approaches, and then try to sketch why the two definitions are in fact equivalent.
§5. Global definitions DEFINITION
1. Let x 0 ,x 1 £0, and say p(x 0 ,x 1) < 6 if and only if
there is an absolutely continuous map ¢: [0,1] .... j
=
0, 1 , so that for almost all t c (0,1)
n
with ¢(j) = xj,
271
VECTOR FIELDS AND NONISOTROPIC METRICS q
<{J'(t)
=I, a/t)Y;(¢(t)) j=l
where
Ia; (t)\ < 8
PROPOSITION.
d(Y.) 1 •
~ CC
p is a metric on fi. For every compact set
there are constants C 1 , C 2 so that if x 0 ,x 1
i
fi
~
1
C 1 \xo-x 1 \ where
\x 0 -x 1 \
S p(x 0 ,x 1) S C 2 \x 0 -x 1 \iii.
is the standard Euclidean metric.
We sketch the proof: (1) That p(x,y) = 0 if and only if x = y is clear. (2) p(x,y)
=
p(y,x) since we can replace cp(t) by ¢(1-t).
is a smooth curve joining them, so p(x,y) < oo. (4) The triangle inequality: Suppose x,y,z l fi. Given e > 0, there are
(3) Given x and y, there
curves ¢,1/1: [0,1] .... 1} with ¢(0)=x, ¢(1)=y, t/J(O)=y, t/J(1)=z, q
q
cp'(t)=Ia/t)Y/¢(t)), t/J'(t)=Ibj(t)Yj(lj!(t)), with 1
la;(t)\
1
S (d(x,y)+e)
d(Y .) 1 ,
lb;(t)\
S d(y,z).+e)
d(Y .) 1
•
Define 8: [0,1] .... fi by ¢(at) O(t) = {
.;, (at-1) !
= z and (J'(t) =
q
.2 c;(t)Y;(8(t)) where J=1
lc;COI
d(Y .) 1 ~ (d(x,y)+d(y,z)+2e)
•
This shows, since e
~
is arbitrary, that d(x,z)
d(x,y)+d(y,z).
Now let I C Q be compact. Then there is a constant C that if x ,y
t
=
CI so
I, there is a smooth curve ¢ joining x to y with
l¢'(t)\ ~C\x-y\.
Since Y 1 , .. ,Yq span RN at every point, we can
q
write ¢'(t)
=
I c .(t) Y · with \cJ·(t)\ ~ C\¢'(t)\. But then: J J
j=1
- \c/t)\ ~ C\x-y\ = C(\x-y\
1 d(Y .) d(Y .) l
1
J
1
and so p(x,y)
:S C\x-y\m.
Conversely, if x,y £I and p(x,y) =
o,
there is a curve ¢ joining
q
x to y with ¢'(t) = _I aj(t)Yj(¢(t)) and \a/t)\
:S (28)
d(Y .) J
almost
J=1
everywhere. But then
J'
lx-yl "
>'(t)dt
0
l
Q and say p 2 (x 0 ,x 1 ) <
there is a Coo curve ¢ : [0 ,1] .. Q with ¢(j) q
¢'(t)
=
o if and only if
xj , j
=
0,1, and
d(Y .)
=_I ajYj(¢(t)) where aj £Rand \aj I < o
l .
Note that in this
J=1
definition, we have somewhat restricted the class of curves over which we take an infimum. However, in general it is not true that p 2 (x,y) is finite for any two points of 0. For example, if 0 is not convex, N
=
q
=n, Yj
=
£:, and 1
dj
=
1, 1 :S j
:S n,
then p 2 (x,y) < oo if and
only if X and y can be joined by a straight line c;ontained in 11
SO
p2
is not even a pseudometric in this case. On the other hand, it is clear that at least in this example, the metric p 2 is locally equivalent to the standard Euclidean metric. Now suppose we are in the case of vector fields IX 1,···,Xpl of finite type m . DEFINITICiN 3. Let Xo,Xl (
n
and say PlXo,xl)
< 0 if and only if
there is an absolutely continuous map ¢: [0,1] -~ n with ¢(j) = xj, q
j
=
0,1, with ¢'(t)
=
_I aj(t)X/¢(t)) and laj(t)l < o almost everywhere. J=l
Note that in this definition, we only allow the derivative ¢'(t) to belong to the span of IX 1(¢(t)),···,Xp(¢(t))l, which may not be all of RN. It is again easy to verify that p 3 satisfies the triangle inequality, but it is not a priori clear that p(x,y) is finite for any two points of {}. This is in fact a consequence of the finite type hypothesis, and was first proved by Caratheodory in 1909 [2]. To get some feeling for why p3 is finite, and to begin to understand the role of commutators, let us consider the following example of Grushin type in R 2 . Let the coordinates be X and y and let xl = x2 = xk
t·
!,
Note that these vectors fail to span
[Xl,X2] = kxk-1
t,
[Xl [Xl'X211
=
R2
along X = 0, but
k(K-1)xk-2
t ,··· ,
and
where the commutator is of length k + 1, so IX 11 X 2 1 are of finite type k + 1.
What points belong to the ball centered at (x 0 ,0) of radius shall consider two special cases: x 0 = 1 and x 0 = 0.
o?
We
274
ALEXANDER NAGEL
Case 1. If we let
and
then this show-s that the points (1 +0,0) and (1, o) belong to the p3 ball centered at (1,0) of radius Euclidean ball of radius
o.
In fact, this ball is essentially the
o centered at
(1,0).
Case 2. Again, starting at (0,0) we can go to (o,O) by using the vector
Jx.
field
but it is not immediately clear how to get from (0,0) to other
points on the y axis. To do this, we need to use a curve which is only piecewise smooth. Let
¢> 1(t)
=
(ot,O)
¢~ 2
¢> 3 (t)
=
(o-<St, ok+ 1 )
O
so
¢>i = oxt
O
so
¢12 = oxz
0
so
¢13
=
-oxt.
This shows that the p3 distance from (0,0) to (0, sk+l) is at most 3o. In fact the p 3 ball with center (0,0) is an "ellipsoid" of size the
X
o in
direction and size Ok+l in the y direction.
Thus we have given three
possi~le
definitions of a metric or pseudo-
metric in terms of the family of vector fields Y 1,· .. ,Yq. It is also clear from the definitions that we have the following inequalities:
p(x,y)
~
p 3 {x,y) (when p 3 is defined).
In fact, these three quantities are locally equivalent. One can prove that for every x 0
f
0 there is a neighborhood U of x 0 and constants Cl'C 2
sothatforall x,yf0, x/.y, and j=2,3.
275
VECTOR FIELDS AND NONISOTROPIC METRICS
Pj(x,y) 0
< c 1 < p(x,y ) < c 2 < oo
§6. Local definitions In order to begin to see why these pseudometrics are locally equivalent, we need to consider a local definition of metric, and this in turn relies on the notion of an exponential map. Given a point p c {}, we let TPO denote the tangent space to 0 at p. Suppose we are given C 00 yector fields Sl'···, SN defined near p which form a basis for RN at p. Then we can construct a map from a neighborhood of 0 c TPO to a neighborhood of p in 0 as follows: N
every tangent vector -; at p can be uniquely written as N
with (a 1 ,···, aN)
£
RN, and so
I a.S .(p) "' -;
j=l. J J
_I a1.s1. is a smooth vector field defined
J=l
near p. We can flow along the integral curve of this vector field for unit time if IJajl is sufficiently small, and the result is by definition exp
C¥
1 sj) (p), the exponential map of -;.
Given vector fields S 1 ,···,SN we can Klentify TP{} with RN via N
(a 1, ... , aN) ....... I
aJ.SJ.(p), and then the exponential mapping
J=l
introduces a coordinate system centered at p, the so-called canonical coordinates relative to the vecta fields S 1,·· ·,SN. The Jacobian of this exponential map at 0
£
RN is just det (S 1, ... ,SN), the volume of the
"parallelopiped" spanned by S 1' .. ·, SN. It is important to remember however that this exponential map from T PO to 0 depends on the choice of vector fields S 1 ,···,SN. Now we return to the general situation of vector fields Y 1 ,· .. ,Yq in n
c RN.
On each tangent space T xn there is a natural notion of length.
276
If ~
ALEXANDER NAGEL
t
T x{} we say
if and only if q
~ = ~ a.Y.(x) ~ j=l
where Ia j I <
d(Y .)
o
ll
...
J •
Of course this representation of v need not be
unique. Nevertheless questions about the set
are presumably just problems in elementary linear algebra. In giving a local definition of metric, we want to transfer these "balls" in the tangent space at
X
to genuine balls in {1, and this suggests the USe of
an exponential map. The question is: how does one choose an appropriate N-tuple of vector fields in order to construct such a map? To motivate the answer, we first ask a simple question: what is the volume in T xn of the set
I ~INx(v) < o\? This amounts to the following
problem. Let Y 1' ... ,Y q be vectors in RN which span, and consider the map
q
9(al''",aq)
=
~
ajYj.
i=l
What is the volume of the image under 6 of the box
Forany N-tuple l=(i 1 .-··,iN) let d(l)=d(Y. )+ .. ·+d(Y.). and let lt
A1 =det(Yi•'",Yi ). 1
N
lN
VECTOR FIELDS AND NONISOTROPIC METRICS LEMMA.
277
There are universal constants Cl'C 2 so that 0 < C 1 '::
19(Qa)l/; IX 11£ld(I) ~ C 2 < oo. (Here the sum is taken over all N-tuples I.) Proof. For each N-tuple I, the image 9(Qa) contains all vectors of N
the form
! ajYi. where la1.1 < 5
j=ol
d(Y i.>
J
J ,
and this is just the image under
a linear map 'from RN to RN with determinant A1 • Thus
We must now prove the reverse inequality.