S CUOLA N ORMALE S UPERIORE DI P ISA Classe di Scienze
J. J. K OHN
Potential theory and several complex variables
Annali della Scuola Normale Superiore di Pisa, Classe di Scienze 3
esérie, tome 17, n
o4 (1963), p. 373-386
<http://www.numdam.org/item?id=ASNSP_1963_3_17_4_373_0>
© Scuola Normale Superiore, Pisa, 1963, tous droits réservés.
L’accès aux archives de la revue « Annali della Scuola Normale Superiore di Pisa, Classe di Scienze » (http://www.sns.it/it/edizioni/riviste/annaliscienze/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisa- tion commerciale ou impression systématique est constitutive d’une infraction pénale.
Toute copie ou impression de ce fichier doit contenir la présente mention de copyright.
Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques
http://www.numdam.org/
COMPLEX VARIABLES (1)
by
J. J. KOHN(2)
A.
Introduction.
The purpose of this paper is to
present
an outline of thepotential
theoretic method on open
complex
manifolds and to describe some of itsapplications.
A detailed account of these results will be found in[7].
Thetype
ofproblem
discussed here was first formulatedby
Garabedian andSpencer
in[2]. Spencer
and the author in[5J investigated
theproblem by
means of
singular integral equations. Morrey
in[9]
established thea priori
estimate
(I)
of section G in aspecial
case; y which was the author’sstarting point
to the solution of theproblem (see 16J, [7]
and[8]).
Ash in his thesis and in[1~ developed
a method forderiving (I)
withrespect
tomoving
frameswhich enabled him to establish
(I)
ingreater generality.
The introduction ofmoving
frames alsosimplifies
the statement and derivation of(III).
Esti-mates of the same
type
as(III)
have been establishedby
A. Andreotti and E. Vesentini.We wish to
point
outthat,
with theexception
ofcomplex
dimensionone
(see
sectionI),
theboundary
valueproblems
discussed here are not« coercive ». Thus the methods for
solving
the Dirichletproblem
cannot begeneralized,
instead we haveadapted
thetechniques developed
in H6rman-der’s book
[4].
Pervenuto alla Redazione il 28 Settembre 1963.
(1) This material was presented in a lecture at the Conference on Analytic functions
held in Krakow, Poland from August 30 to September 4, 1962.
(2) This research has beeu partially supported by the National Science Foundation
through ooutraots held at the Institute for Advanced Study, Princeton and at Brandeis
University.
B.
Notation.
Let M be a hermitian
complex analytic
manifold ofcomplex
dimensionn. We denote
by A
the space of C °°complex-valued forms,
then we havethe
following
direct sumdecomposition :
if q)
EsllY’ q
wewrite,
in terms ofholomorphic
local coordinates :The
complex gradient
. is definedby :
where
and
Observe that
82
= 0 and that if u is a function then it isholomorphic
ifand
only
if 8u = 0.The hermitian metric on M induces an inner
product
on the forms ateach
point
ofM,
thusif 99 and V
are in their innerproduct,
is a C °° function on M. If the
integrals
oaf andover M are finite we define
(cp, ip) and 11
rpII by :
and
we denote
by -0
the hilbert space which is obtainedby completion
underthis inner
product.
-Now we the formal
adjoint
ofa, by requiring
thatlsg
be that form which satisfies theequation
for all
compactly supported
forms y. Observe that C q-l(thus
_
(0))
and that 1)2 = 0.Finally
we define thecomplex Laplace-Beltrami operator by 0
=81) -f - 1)a
and note that0
preservestype,
that isD
C (4p, q .C.
Summary
ofpotential theory
when M iscompact.
If M is
compact
we say that aform Q
EA
is harrnonic if it satisfies theequation Jg
= 0 and we denoteby 9f
the space of harmonic forms.Now observe that:
hence 99
is harmonic if andonly
ifagg
= 0 andOq)
= 0. Inparticular
if99 E
° then g is harmonic if andonly
ifagg
= 0.The
following
is the basic theorem ofpotential theory
oncompact
ma-nifolds. It asserts that there exists a « Green’s
operator » N
for the La-place-Beltrami operator,
which commutes with a and which has certainregularity properties.
Moreprecisely
we have :THEOREM. There exists a
unique
boundedoperator
N : whosenull space is
9~
and whose range isorthogonal
tog{
such that :a) If 99
EA then 99
=-~- Hg,
where g is theorthogonal projec-
tion on
W.
Furthermore N has the
following properties : b)
N preservesdifierentiability,
i. e.N sIl
c A.c) If 99
E A thenNagg
=angg.
d)
N iscompletely
continuous.The
following
are immediate consequences ofproperties a), b)
andc), I) 9~ represents the a-cohomology,
that isII)
Given a E A thereexists 99
EA
such thatR
g = a if andonly
if a is
orthogonal
to9~ ~
andthen 99
= Na satisfies theequation.
III)
Given there exists such thatag~
= aif and
only
if(i) a
isorthogonal
tock
and(ii)
8(1,. =0 ;
andthen 99 =
satisfies the
equation.
IV) If f
is a function then we haveD.
Some applications of potential theory
on open manifolds.The
expression
for theholomorphic projection
of a functiongiven by IV)
is useful inestablishing
existence theorems onnon-compact
manifolds.The formula is not so
interesting
oncompact
manifolds since in that caseall
holomorphic
functions are constant.As the first
example
we outline the solution of the Leviproblem
onmanifolds - the
problem
was first solvedby entirely
different methodsby
H. Grauert(see [3]).
We restrict our attention to a manifold M which is an open submanifold of a hermitian manifold lVl’ such that M(the
clos-ure of
M)
iscompact
and blVl (theboundary
ofM)
is a C °° submanifold of of real dimension 2~ 2013 1. Under theseassumptions
we say that M is a,finite manifold.
DEFINITION. A finite manifold M is called
strongly pseudo-convex
ifevery P E
blVl has aneighborhood U (in IVl’)
on which there is a real C °°function
f
such that:if
and f ( Q) o
if u.b)
c)
There is aholomorphic
coordinatesystem (z1~ ... , z")
on U suchthat the n
by n
matrix ispositive
definite. ,The Levi
problem
can be stated as follows. If M isstrongly pseudo-
convex and if P E bM to show that there exists a
holomorphic
function hon M such that lim
aniformly.
It is not hard to construct aQ2013>
holomorphic
function u in a smallneighborhood
U ofP,
whose zeros inter-sect M
only
at P(in
fact we may choose for u apolynomial
ofdegree two).
Now let V and W be
neighborhoods
of P such that U :) 17 :) V n W andlet o
be a C °° function on U which is one on IF and zero outside of V.Further let
f
be the function defined on 111by :
if
if Then we define the
required
function hby:
Now observe that
a f
is C °° on M and hence(by the regularity
theoremdiscussed in the last
section) N7f
is also C °° onM,
therefore Iz has thesame
singularity
at P asf
and hence h is therequired solution,
sinceby IV)
it is alsoholomorphic.
As another
application
ofIV)
we sketch aproof
of the existence ofholomorphic
coordinates on anintegrable almost-complex manifold ;
thistheorem was first
proved by
Newlander andNirenberg
in[10]
and theproof given
here isalong
the linessuggested by Spencer
in[11].
If W isan
integrable almost-coinplex
manifold and if P E W we want to constructa
holomorphic
coordinatesystem
withorigin
at P. Observe that thetangent
space at P has a
complex
structure and denoteby u1, ... ,
u1t the coordi- nates on this space. Let M be the unit ball in thetangent
space. Let4S : M - W,
be adiffeomorphism
which sends theorigin
into P and which induces theidentity
map on thetangent
space at P. Foreach t,
0 c t 1we define
~ : ~ 2013~
Wby :
Thus for each t we obtain an
integrable almost-complex
manifoldMt,
whoseunderlying
differentiable manifold is l~ and whosealmost-complex
structureis induced
by It.
Note that the structure onMo
is the same as thecomplex
structure on thetangent
space at P.The manifolds
lVl
t(for
smallt)
arestrongly pseudo-convex integrable almost-complex
manifolds on which there exists anoperator Nt
which hasproperty IV).
Furthermore if qa EsIl,
thenNt cp
and all its derivatives are continuous in t in the sense of the sup norm oncompact
sets. Now letut
bethe functions on
Mt
definedby:
Then
the ut
areholomorphic
functions on y and for small t there existsa
neighborhood
V of theorigin
on whichthe ut
are a coordinatesystem.
Now for fixed t,
smallenough,
we define the functions zk onby:
and the zk are
holomorphic
coordinates in aneighborhood
of P.E.
Formulation of
theproblem.
In this section we formulate the
problem
offinding
anoperator N
onan
arbitrary complex
hermitian manifold Msatisfying
theproperties
whichare the
appropriate generalizations
of those listed in section C.6. Annali della Scuola Norm. Sup. - Pisa.
First note that in
general
the null space ofQ
is ingeneral
muchbigger
than the intersection of the null spacesof 3
and 0. Hence the definition ofqe
must bechanged.
Furthermore observe that every holo-morphic
function on M is an element of thea-cohomology ; thus,
in gene-ral,
thea-cohomology
of M is infinite dimensional so if we wantI)
of sec-tion C to hold we cannot
expect
that N will becompletely
continuous.We will define a closed
operator
.I with domainQLCZ,
which forsmooth forms in will coincide
with J and qe
will be the null space of L. Let T be the closure of a and letQT
denote the domain of T. Let T ~ be the hilbert spaceadjoint
of T andCDT’
the domain ofT*.
Now wedefine .L
by :
and we observe that
Then we have :
PROPOSITION. L is
self-adjoint.
This
proposition depends
on the fact that T2 = 0 and(T*)2
=0~
1 wethen obtain :
is a bounded
symmetric operator
and hence .L isself-adjoint.
Thefollowing
is an immediate consequence.
COROLLARY.
The
operator
.L restricted to9DL (=) (the orthogonal complement
ofge
in
CDL)
is one to one, we wish to prove the existence of a boundedoperator N
on
E
whose restriction to~ (v) cff
is the inverse of L. Theoperator N
exists
if
andonly if
is closed. IfL(DL
is closed thenfor 99
E we havewhere $
EOL
and g is theorthogonal projection
on~.
Then we define Nby ~ == ~ 2013 H$.
So that if is closed then N exists and if N existsthen, by
the closedgraph theorem, L(DL
is closed.Whenever is closed then the
operator
N exists and satisfies thefollowing:
a) If g
EZ then cp = LY99 + Hcp.
b)
N preservesdifferentiability.
c) If 99
ECDT
thenTNQ
=1VTq?.
These
properties
are thegeneralizations
ofproperties a), b)
andc)
of section C.Thus the
properties I) II), III)
andIV)
are alsosuitably generalized.
F.
Statement
of the main results.We restrict our attention to the case where M is a
strongly pseudo-
convex
manifold,
as defined in section D. Theconvexity assumption
isneeded since if M is a bounded domain in
en
and if the matrix isnegative
definite at somepoint
of theboundary
then the range of T is not closed and hence is not closed.We denote
by -(7f
thesubspaces
ofnl consisting
of forms which are000 on M
(that
is up to andincluding
theboundary).
The main result is thengiven by
thefollowing
theorem.THEOREM. If M is a
strongly pseudo-convex
manifold then there existsa bounded
operator N on -0
which has thefollowing properties : a)
If 9) EE then
=EN99 + Hg.
b)
N preservesdifferentiability
anddifferentiability
up to the boun-dary,
i.ec s7l
and csIl.
c) If 99
E thenNTq,
=TN99.
d)
The restriction of A toEp, q for q )
0 iscompletely
continuousand thus > 0 is finite dimensional.
In order to establish this theorem we first
give
anotherdescription
ofthe
operator
L. Let~D
= we define an innerproduct
Don T) by :
then
(D
is a hilbert space under D. Now it is easy toverify
that .L is theunique self-adjoint operator
whose domain is contained in9
and such thatif 99
E(DL
then-
for
all V
ECD.
The existence of the
operator
N follows from thefollowing proposition
which is established
by
means of the apriori
estimates discussed in the next section.PROPOSITION. If J11 is
strongly pseudo-convex
andif q ]
0 then D re- stricted toQP, q
iscompletely continuous,
i.e. if(g~~,~
is a sequence in q such that Dqm)
~ 1 then it has asubsequence
which converges in.6.
Note that this
proposition implies
that is finite dimensional when q>
0 and since is ingeneral
infinite dimensional the restriction q>
0 is essential.The above
proposition implies
thatif q ~.
0 then there existsC )
0such that for
all r
EQ
we haveFurthermore if cp E then the left side of this
inequality equals (Lg, (p)
and
by applying
Schwarz’sinequality
we obtain whichproves that
if q >
0 then is closed. Now to show that o is closedwe want to prove that there exists
C ~
0 such that if wehave Since T* restricted to
CDP, 0
is zero, .L restricted toequals
If then andthus, applying
the above
inequality
we obtain I Recall that, thus if it can be
approximated by Loc;
that is we can choose so that is as small as we wish.
Then we have :
Therefore for all which proves that
is closed.
G. The basic a
priori estimates.
Let then we
have,
THEOREM. If Jl is
strongly pseudo-convex
andif q >
0 then there exists G’>
0 such that forall 99
E we havewhere
II depends
on the choice of a finitecovering
of Mby
coordinateneighborhoods
and isgiven by :
and d~S is the volume element on the
boundary.
The estimate
(I)
is used to prove that D restricted to) 0,
iscompletely
continuous. Given a sequence such that D 1then, by
Rellich’slemma,
for anycompact
set If c lkl there exists asubsequence
of which converges in the
11 II
- norm restricted to K. To be able to choose asubsequence
which converges on all of M we must show that the11 II
- norm of 99k over aboundary strip
can be madesmall, independently
of
k,
if the width of thestrip
is small. This isaccomplished by using
thefollowing
estimate inconjunction
with(I).
PROPOSITION. There exists
C >
0 and E>
0 such that forall 99
Enl
and all 0 a m 8 we have :
where
M,, = I
distance of P to bM isgreater
thana).
It is not
enough
to prove that D iscompletely
continuous onCbp’’7
wemust show that D is
completely
continuous on This is doneby showing
that is dense inCl) p, q
in the D-norm. The denseness follows from theregularity
theorem and this theorem uses the estimate described below.Let R
(P)
be the distance of P to blVl and let r be a real C°° function such that in someneighborhood
of bill we have:For let . Then if E
E
we define :and
The
norms II 111"
are allequivalent
in the sense thatthey
induce thesame
topology
onf.
Now if EO
we defineD1" 1p) by:
and
again
for all z,D,
defines the sametopology
onCD.
PROPOSITION. If if is a
strongly pseudo-convex
manifold andif q
] 0 then there exists C>
0 such that for all 1: ~ 0 andall 99
E have :where A
(q)
is a combination ofcomponents of 99
which vanishes on bM.H. Remarks
about
theproofs of
the estimates.Before
describing
how the estimate(III)
is used to establish the regu-larity properties
and how these are used to prove that95
is dense in~D
we will outline the ideas behind the
proofs
of the estimates.First we remark
that, by using
apartition
ofunity,
it suffices to prove the estimates for forms whosesupports
lie in a coordinateneighborhood
inwhich intersects bM. So let
Po
E blVl and U a coordinateneighborhood
with
origin
atPo.
Let~1,
... ,~n
be an orthonormal basis for the forms oftype (1, 0)
at eachpoint
ofU,
such thatwhere
the a§
I are C °° functions on U and i Z so thatIn
= ar.If 99
E then in1I fl M we have: CfJ
=(p ii CI.f
where I and J areordered sets of
p-tuples
andq-tuples respectively
andThen we have :
LEMMA.
If 99
E E if andonly
if99 -
= 0 on bM whe-never n E J.
If u is a differentiable function on u we define
ui
andup by :
and
where
the ’~
areconjugates
of the~~ .
Consider thefollowing
commutator:The
strong pseudo-convexity
isequivalent
to thepositive
definiteness of the(n -1 ) by (n -1 )
matrixti
evaluated on bM. Theinequality
(1)
is obtained as follows :where the
remaining
terms are combinations ofcomponents
which do notinvolve
derivatives ;
thenwhere,
H is some
(q
is the orderq-tuple consisting
of Handk,
sgn
(H k)
is zero if k E H and is thesign
of thepermutation
which maps(Hk)
if The first term of the aboveexpression
is bounded from belowby
and the terms indicatedby
dots containproducts
in which
only
one factor is differentiated withrespect
tothe
thusthey
can be estimated
by (small + (large 2. Integration by parts
on the second termgives :
where the
remaining
terms can be estimatedby (small const.) (large 112.
It remains to observe thatwhere the
remaining
terms contain no derivatives. Thus we obtain the de- sired estimateby combining
the above statements.The a
priori
estimate(III)
is obtainedby
a similarargument.
Theprecise
form of(III)
isgiven
in thefollowing.
THEOREM. If if is
strongly pseudo convex
there exists a constant Csuch that for all
q ~ 0? g~ supported
in and wehave :
I.
ltegularity
on thebouudary.
In this section we
briefly
indicate the method used inobtaining
theregularity
theoremsN sil
c,~, c s8l
and the denseness inCD
underthe D-norm. The detailed
proofs
aregiven
inpart
II of[7].
The
technique
which has beendeveloped
forestablishing regularity
ofstandard
elliptic systems
is based on an apriori
bound of the.L2-norms
ofthe first
derivatives,
here weonly
have the weaker bound of the E-norm.Now for functions
(or forms)
which vanish on theboundary
the E-norm isequivalent
to theL2-norm
of the firstderivatives,
hence in the case q == nwe can
apply
the usualtechniques (in particular
when n == 1 this is theonly case).
When 0q ~ n
it is easy to construct a sequence of forms incbp, q
whose D-norms and E-norms converge but the.L2-norms
of the firstderivatives
diverges.
Let the
closure,
underD,
of then if q > 0 the estimates(I), (II)
and(III)
hold for forms in Note that thecomponents
appea-ring
in the last term of(III)
vanish on theboundary
hence we can boundtheir first derivatives. Then
by
anadaptation
of Aormander’stechniques,
which is too
lengthy
to describehere,
we obtain thefollowing.
PROPOSITION. If M is
strongly pseudo-convex
then there exists z>
0 such thatif 9.9
E I>
0 and satisfies theequation Di 1p) 1p)-,;
for some a E
sil p, q
andall y
E EThe
following
theoremimplies
the existence of N.THEOREM. If M is
strongly pseudo-convex
thenCD, = CD,
i. e.95
is dense inCD
under the D-norm.PROOF. Choose T so that the above
proposition
holds.Let y
ECDp, q
beorthogonal
to theDi
innerproduct,
that isDz ( y, y)
= 0 for allLet ak E q be a sequence such that 7 = lim ak in
the II 11-norm.
Let 99k
E lJ)f’ q
be such that:for Then 99k E and hence it follows
(see [7])
that the aboveequation
holds for all ; so that inparticular
and since we conclude
that y
= 0 and henceTHEUREM. If M is
strongly pseudo-convex
thenfor and
PROOF. First observe that for any we have :
The
equation
isequivalent
torequiring
thatfor all Since and since ~ I
we have that and the of the first derivatives of is finite - in fact bounded
by
Thuschoosing
zlarge enough
we canapply
the samearguments
as in the pre- viousproposition using
the aboveinequality
inconjunction
with(III).
Thestatements and are obtained
by
similar ar-guments. Finally
to show that and we notethat if then so that and
Brandeis University Waltham, Massachusetts
REFERENCES
[1]
ASH, M. E., « The basic 03B4-estimate in the non-kähler case », Proc. Amer. Math. Soc., toappear.
[2]
GARABEDIAN, P. R. and SPENCER, D. C. «complex boundary value problems », TransAmer. Math. Soc , vol. 73 (1952), pp. 223-242.
[3]
GRAUERT, H., « On Levi’s problem and the imbedding of real-analytic manifold », Ann.of Math., vol. 68 (1958) pp. 460-472.
[4]
HÖRMANDER, L., « Lectures on partial differential operators », Academic Press, New York, 1963.[5]
KOHN, J. J, and SPENCER, D. C , « Complex Neumann problems », Ann. of Math., vol.66 (1957) pp. 89-140.
[6]
KOHN, J. J., « Solution of the 03B4-Neumann problem on strongly pseudo-convex manifolds », Proc. Nat. Acad. of Sci., U.S.A., vol. 47 (1961) pp. 1198-1202.[7]
KOHN, J. J., « Harmonic integrals on strongly pseudo-convex manifolds I », Ann. of Math.,vol. 78 (1963) pp. 112-148.
[8]
KOHN, J. J., « Regularity at the boundary of the 03B4-Neumann problem », Proc. Nat. Acad.of Sci., U.S.A., vol. 49 (1963) pp. 206-213.