Académique Documents
Professionnel Documents
Culture Documents
Mathematics
Edited by A. Dold and B. Eckmann
1094
Analyse Complexe
Proceedings of the Journ6es Fermat - Journees SMF,
held at Toulouse, May 24-27, 1983
Springer-Verlag
Berlin Heidelberg New York Tokyo 1984
Editors
Eric Amar
Roger Gay
Unite associee CNRS 226, Universite de Bordeaux I
35t Cours de la Liberation, 33405 Talence, France
This work is subject to copyright. All rights are reserved, whether the whole or part of the matenat
is concerned, specifically those of translation, reprinting, re-use of illustrations, broadcasting,
reproduction by photocopying machine or similar means, and storage in data banks. Under
£9 54 of the German Copyright Law where copies are made for other than private use, a fee is
payable to "Verwertungsgesellschaft Wort", Munich.
© by Springer-Verlag Berlin Heidelberg 1984
Printed in Germany
Printing and binding: Bettz Offsetdruck, Hemsbach/Bergstr.
2146/3t 40-5432~i 0
PREFACE
MARDI 24 MAI
I . LIEB (en collabo, avec RANGE) : Formules int~grales dans la th~orie du pro-
bl~me ~ -Neumann.
E. BEDFORD : Boundary behaviour of proper holomorphic correspondances. (*)
N
MERCREDI 25 MAI
Mme M. HAKIM (en collabo, avec N. SIBONY) : Valeurs au bord des modules de fonc-
tions holomorphes.
Chr. KISELMAN : Monge-Amp6re en dimension f i n i e . (*)
J.J. KOHN : The D i r i c h l e t Problem f o r the complexe Monge-Amp~re Equation.
L. LEMPERT : Solving the degenerate Monge-Amp~re Eauations with one concentra-
ted s i n g u l a r i t y .
L. GRUMAN : Prolongement d'ideaux. Applications. (*)
EL MIR : Prolongement des courants p o s i t i f s ferm~s.
Th BLOOM : I n t e r p o l a t i o n polynominale des fonctions analytiques. (*)
VENDREDI 27 MAI
K. DIEDERICH : Proper holomorphic mappings with f i b e r s of p o s i t i v e dimension.
J.P. DEMAILLY : Propagation des s i n g u l a r i t 6 s des courants p o s i t i f s ferm~s. (*)
Ph. CHARPENTIER : Z~ros des fonctions de la classe de Nevanlinna en plusieurs
variables. (*)
J. VERDERA : Quelques r ~ s u l t a t s d'approximation par des modules holomorphes. (*)
Mme H. LAURENT : Th~or~me de Plemelj et th~or6me de Bochner sur les vari~t~s
de Stein. (*)
J. ESTERLE : Continuit~ des caract6res d'une alg6bre de Fr~chet et applications
de Bieberbach, (*)
Les conferences marquees d'un ast~risque ont donn~ l i e u aux textes publi~s
dans ce volume.
LISTE DES PARTICIPANTS
Thomas Bloom
On the convergence of I n t e r p o l a t i n g Polynomials f o r Entire Functions . . . . . . 15- 19
Urban Cegrell
On the D i s c o n t i n u i t y of the Complex Monge-Amp~re Operator . . . . . . . . . . . . . . . . . 29- 31
Philippe Charpentier
Sur les z~ros des fonctions de type Nevanlinna dans le bidisque . . . . . . . . . . . . 32- 43
Jean Esterle
Probl@me de Michael et fonctions enti@res de plusieurs variables complexes 65- 83
Lawrence Gruman
Solutions of Difference Equations with Non-constant Coefficients . . . . . . . . . . 84-138
Christer O. Kiselman
Sur la d ~ f i n i t i o n de l ' o p ~ r a t e u r de Monge-Amp~re complexe . . . . . . . . . . . . . . . . . 139-15o
Christine Laurent-Thiebaut
Th~or~me de Bochner sur une vari~t~ de Stein . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151-161
Josef Siciak
Highly Noncontinuable Functions in Polynomial Convex Sets . . . . . . . . . . . . . . . . . 173-178
Joan Verdera
Uniform approximation by solutions of higher order Cauchy-Riemann equations 179-184
Holomorphic Correspondences of Bounded Domains in ~n
1. Introduction
-i
(i) V n ~ (U) is nonsingular
-i
(ii) ~ and ~D are local diffeomorphisms on V n ~ (U)
(2.1) f : f2 + D p
sym
{ Y l .... 'Yp}
(i) inverses
(ii) composition
(iii) unions
We s a y t h a t an e l e m e n t T ~ Aut#(~) is s t a b l e if
u T j c A u t # (~)
j:l
Let f : ~ ÷ Y be a p r o p e r mapping from a domain R cc { n to a
complex space Y . Thus Aut~(~)- = T ~ Aut#(i%) : fT f} is c l o s e d
under the operations (i) , (ii) , and (iii) above.
that u T j c A u t # (9~)
j=l ~.
Conversely, we let T = o Tj By a t h e o r e m of C a r t a n [7],
j:l
~/T is a c o m p l e x space, where we identify zI ~ z2 if z 2 c Tz I •
It is e v i d e n t that ~2 = ;~ , a n d this is a p r o p e r equivalence relation.
T : {0 < Izl < 1 , lwl < i} -~ (0 < lwl < Izl < I} to be given by T(z,w) : (z,zw)
3. Examples of Correspondences
k z -z j
B(Z) : e i{ JI
j:l I-~ z
3
Example 3.5. Let Q' : {Izl 2 + Iz1-2 + [wl 4 + Iwi -4 < 8} . Then ~'
is s t r o n g l y pseudoconvex, but T(z,w) : (w 2 , _
+ /~) is an irreducible
2-to-2 self-correspondence of 9'
Another difference between mappings and correspondences arises
as follows. Let n : ~ ÷ ~2 be the branched covering map n(z,w) =
(z,w 2 )
P q
i=l
[ ui(Z)KD(fi(z)'w) : j=l~ UJ ( w ) K ~ ( z , F j (w)) t
1 q
(*) ~D(W' ,w") - }i U i(w')Kf~(F i(w') ,Fj ( w " ) ) U j (w") .
q i,j=l
Setting w' = w" = f(z) , z = Fl(W) , and taking the first term of t h e
summation, we have
: ~ ~ N/AutO(N)
and a biholomorphism
: ~/Aut~([~) + Y .
Then
A u t ~~ (~) c A u t # (J) ,
(**) Tg = g T
for all g e G .
T(k) : Tg(j)
= gT(j)
a l , . . . , a p ~ Sj such that
T(j) n ] \{j}
-i
T(j) : gTg (j)
: gT(j)
contains g(k) = m .
For the converse, we let
G : {g e G : g(k) : k}
k
T(k) = Gk(m)
= {g(m) : g e G k}
T(j) := g T ( k )
gGk(m ) : g'Gk(m )
References
E. Bedford S. Bell
Mathematics Department Mathematics Department
Indiana U n i v e r s i t y Princeton University
Bloomington, Indiana 47405 USA Princeton, N.J. 08544 USA
ON THE CONVERGENCE OF INTERPOLATING POLYNOMIALS
FOR ENTIRE FUNCTIONS
by
Thomas Bloom*
~lheorem 0.i: Let f be an entire function of one complex variable. Let AI,A2,... b~
a discrete sequence of points in the complex plane with density function D(R). Let
~, T, 6 be positive constants. Suppose that f is of order ~ , type ~T and that lim
D(R)RD -
> 6. Let pm(Z) denote the Lagrange-Hermite interpolating polynomial to f at AI,
• .., A m. Then the sequence {pm(Z)} converges uniformly to f on compact subsets of ¢
if
T [ix~-I
<0.2) ~ < 2~-~ ~-LT-~ dx
Now, Kergin interpolation (see [i], [3], [6], [7] and section 1 of this paper) pro-
vides a generalization to several variables of Lagran~ge-Hermite interpolation and in
[i], this interpolation was used to generalize theorem 0°I to entire functions ef sev-
eral variables. The density function and type were measured with respect to balls in
cn
In this paper we will prove (theorem 2.3), a generalization of theorem (0.i) where the
density function and type are measured with respect to polydiscs.
The Kergin interpolant te the Cauehy-Szege kernel for the ball is a rational function
of the variables and the points. The explicit expression is used to obtain estimates
in [i].
The Kergin interpolant to the Cauchy kernel for a polydisc is not a rational function
of the variables and points however we obtain a series representation for it in this
paper which is used to obtain the required estimates. For related results see [4].
The author would like to thank the University of Paris VI and the University of Paris
XI for their hospitality during the research for this paper.
i. Kergin Inter~ohtign
i.i Let V be an open convex set in cn and let f be a function analytic on V. Let AI,
...,Am be distinct points of V.
If n = 1 (i.e. the one variable case) the Lagrange interpolating polynomial is the
unique analytic polynomial of degree Sm-I w h i c h interpolates f at A I , . . . , A m. We will
denote it by LA(f). If some of the points {Aj} coincide, the Lagrange-Hermite poly-
nomial (also denoted LA(f)) interpolates f and an appropriate number of its deriva-
tives [5]. If n > 1 (and m > i) there is no longer a unique polynomial of total de-
gree ~m-I which interpolates f at A ~ . . . , A m. Kergin interpolation provides a canonical
choice of interpolating polynomial. It is determined by the uniqueness property
of theorem 1.2.
There is a unique linear map XA: 0(V) --+ pm-i such that:
(1.2.1) XA(f)(Aj) = f(Aj) for j = l,...,m
(1.2.2) Suppose that f is of the form g o H where H: cn _+ ~ is affine and g is analy-
tic on the open set H(V) c ¢. Then ×A(f) = LH(A)(g) o H where LH(A)(g) is
the Lagrange-Hermite interpolating polynomial to g at H(AI),...,H(Am).
1.3 Remarks
(1.3.1): k A is still defined if some of the points {Aj} coincide.
(1.3.2): For f fixed XA(f) is a continuous function of A i , . . , , A m.
(1.3.3): X A is continuous as a linear map from 0(V) to p m - i
(1.3.4): If f is a polynomial of degree ~m-i then XA(f) = f.
For a proof of theorem 1.2 and further details see ([2],[3],[6]).
1.4 Let A(O,R) denote the closed polydisc center 0, radius R in {nand let C(R) denote
its distinguished boundary. That is
Let f be analytic in a neighborhood ofA(0,R). Then it follows from the Cauchy integral
formula and I. 3 that
1
(1.4.2) f(z) - XA(f)(z ) (2~i)c(~)T(z,A,[)f([)d[l...d$n
17
In section 2.3 we will obtain an estimate for IT(z,A,g) I which will enable us to es-
timate the quantities in (1.4.2). Lemmas 1.5 and 1.6 will be used to obtain that
estimate.
We set m t = c a r d ( J t ) . Thus m = [ m t.
m t=l
We set o =
t j=O sjt"
Proof: Let w be a complex variable and AI,...,A m points of the complex plane. Let
7 be an integer kl, Then
m ¥0 Y1 Ym
(1.5.2) w Y - Lh(WT ) = ~ (w-k.) [ w i I ...A m
j=l 3 y=m+Y0+...+7 m
For z , ~ A I , . . . , A m c c n
we have, by (i.5.2) and (1.2.2)
m Y0 71 Ym
(1.5.3) (z'{) Y - XA(Z'g)Y = H (z-Aj-~) [ (z-<) ~,.~) ...(Am'{)
j=l y=m+y0+,..y m
i. 6 Lemma : Let non-negative integers N.] and M t be given for j = 0,... ,m and t = 1
where F consists of all multi-indices s subject to the restrictions .Isjl = N.3 and
J
s. N0!...Nm!
(1,6.2)
ISj ~,
I=Nj j,t[ xj~t SO ! "'Sm!
18
2. Convergence Properties
2.1 We will now obtain an estimate for IT(z,A,{)I subject to the conditions
Thus 70 Yl Ym
m P Pl "''Pm R i m [P+Pt]
(2.1.5) I~(~,<~)i ~ (p+pt) [ R~ R-p Rn n ---]
R n t=l 7=m+Y 0+" " '+Tin t=l [R-pt
Now, let f be entire in ~ n We let M(R) = Max [f(z) I" Then substituting (2.1.5)
zc~(0 ,R)
into (1.4.2) we have ~ [~4"Pt]
(2.1.6) If(z) - XA(f(Z)) I < ~_R$ t=l[R-PtJ (see [5], p.171)
n • . . n
2.3 Theorem: Let f be entire on ¢ and {Aj} a dlscrete sequence of polnts in ~ ,
Suppose f is of order ~D, type ~ and lim u ~ >_ 6. ]~len the sequence of interpolat-
~ C
Proof: From (1.4.2) it follows that it suffices to find, for each integer m, a real
number R(m) such that
References
gel:
l'est pas si w • bD. Notre th6or~me pour m fini est une earact6ri-
= {f @ A ~ : f : 0 sur V} e s t de t y p e fini
puis 1970 (voir [5] et [8]). Pour la p r e u v e des th~or@mes nous re-
sont beaucoup plus fortes dans notre contexte. Pour les r 6 s o u d r e ont a
22
obtenu d'autres r@sultats partiels que nous pensons peuvent @tre int@-
chainement.
oo oo
Pour w C bD on p o s e P = {f C A : %~f(w) = 0 V ~}, l'id@al
W
lle e s t d a n s le l i v r e de T o u g e r o n [10j:
diatement le
alors I ~ P~ = I P~
W W
d~rons la suite e x a c t e
k
o0 L = A~ @...@ A ~, h(f I ..... fk ) = i~ I fig i et N est le s o u s - m o d u l e
ppement de T a y l o r au p o i n t w E bD
k
(Tw fl' .... Twfk) --~ i~l(Twfi) (Twgi)
Tw f d6signant le d @ v @ l o p p e m e n t de T a y l o r au w de la f o n c t i o n f.
k
Voyons
q u e l est le n o y a u de h. Si i~l fi gi E I n p ~ : I P ~
k k w w
(Corollaire) , on a i~l fi gi : i:iE hi gi avec hi @ Pw'~ c ' e s t - ~ - d i r e
de n u ! l i t 6 s dans Am de w@bD.
le l a n g u a q e suivant:
au p o i n t ~).
s dS
d s+l f(Z I ..... Zs,Z) = z d S f ( Z l ..... Z s) - i ~ 1 f(Z 1 ..... VzZ 1 .... ,Z s)
euclidienne.
gent complexe.
finis
m : 0 ou i).
mn
accord avec la r e m a r q u e pr@c@dente, on observe que Pmw = Qwm si
m = 0,i.
t6 p o u r les fonctions de pm
w
on trouve
f ~ Pm
w ~ la~f(z)l : o (d(z,w) 2 m - 2 r l l o g d ( z iw) l) r I~I : r, r ~< m
I N pm : I pm.
W w
27
et p a r cons6quent la s o m m e
I = {f E A m : f El.}
wj j
28
BIBLIOGRAPHIE
Urban Cegrell *)
Uppsala University
Department of Mathematics
ThunbergsvRgen 3
S-752 38 Uppsala
Sweden
It was shown in Cegrell [3] that the Monge-Ampgre operator is discontinuous in the
weak topology and Lelong [4] showed later that every locally bounded plurisubharmonic
function can be approximated in the weak sense by functions with vanishing Monge-
Ampere mass.
From now on ~ will denote an open and bounded subset of ¢2 and we study the set
M(u) of positive measures M(u) = {>; MA(u{,ui)j
~ ~ ~ , {uj}j= I locally bounded
sequence of plurisubharmonic functions with u. ~ u} for every fixed u E PSH(~) N
J
Lloc(~) . Here, PSH(~) denotes the plurisubharmonic functions on ~ and by
we mean weak convergence in the sense of distribution theory (i.e. lim ~ @u. =
= f ~n V~ c Co(~)) . i
oo
Proof: a) Let 0 < ~ < I and > C M(u) he given. Choose (ul)~= I , a locally
bounded sequence of plurisubharmonic functions so that u. ~ u and
]
MA(uj,u].) ~ ~ , then
*) Partially supported by the Swedish Natural Science Research Council Contract 4145.
30
The following proposition shows that there are restrictions on the measures in M(u).
MA(uj,u].) < ~ , Vj E ~ .
Thus Q
~(Q) < lim ~ MA(uj,uj) < E
j~+~ Q
which proves a).
To prove b), we need only observe that if u.j 6 PSH(~) N Lloc(~) tends weakly to
u then uj tends uniformly to u on every compact subset of the complement of
the support of Au .
S MA(u,u) = f ~(v,v)
f *d~ J f ~MA(u,u)
for every ~ C PSH(~) A Lloc(~) and every open set ~' with K c g' c c ~ .
co oo
Proof: By Proposition 3a all measures in m(u) have the Same mass. The Theorem
follows from the fact that two comparable measures with the same mass are equal.
References
[I] Bedford, E. and Taylor, B.A., The Dirichlet problem for a complex Monge-Amp~re
equation. Inv. Math. 37 (1976), 1-44.
[2] A new capacity for plurisubharmonic functions. Acta Math. 149 (1982),
1-40.
[3] Cegrell, U., Discontinuit~ de l'operateur de Monge-Amp~re complexe. C.R.A.S.
Paris. 6Mai 1983).
[4] Lelong, P., Discontinuit~ et annulation de l'op~rateur de Monge-Ampgre complexe.
In B~minaire P. Lelong, P. Dolbeault, H. Skoda, LNM 1028, 219-224.
SUR LES ZEROS DES Ia~ONCTIONS DE T Y P E NEVANLINNA
DANS LE BIDISQUE
Philippe CHARPENTIER
INTRODUCTION
ted q u e c e s c a r a c t d r i s a t i o n s s o n t e n c o r e v r a i e s p o u r c e r t a i n s d o m a i n e s p s e u d o c o n v e x e s
de type fini.
t.q. rz l< et
33
Les resultats que nous pr~sentons sont, avec quelques ameliorations, tir6s de
Pour obtenir des conditions suffisantes sur un ensemble analytique pour qu'il soit
un z6ro d' une fonction d ~une de ces classes, nous utilisons lh aussi la m6thode de la
p~solution de 1' ~quation ib'b, et, pour r6soudre 1' 6quation 5, nous utilisons les
noyaux minimaux donn~s dans ~ ] : si f(~) = fl(~_) d~ 1 + f2(~) d~ 2 est une (0,1)-
forme de classe C 1 dans 1~2, -b-form@e, pour k = (kl,k 2) C(R+) 2, la fonction
1 g' --
Uk(Zl'Z2) = ~ {~D fl(~-l'z2)Hl([l'zl)d~lAd[] * ~D f2(z1'[2)H2([2'z2)d~-2 Ad~2} +
I t2 12 - - - -
i , j = 1, 2, iCj,
est la solution de l'@quation 5Li k = f qui est orthogonale aux fonctions holomorphes
2 i 12)k1-1(1_ 19 k2-1
clans L ( ( 1 - l z li z2 ~ ) dX(Zl,Z2)).
NOTATIONS :
I~es e~sultats que nous donnons dans le paragvaphe sont identiques h ceux
donn@s darts ~4].
Dans les 6nonc6s qui suivent, nous utiliserons la notation suivante : si X est
un sous-ensemble analytique de D2, et si e est te courant d'int6gration sur X,
pour tout p~el ~ ~- 0, nous notons
35
(i) A(X,1)< +~ ;
(ii) ~ ~r2(Z)(1021(~)I
+ ~0~2(z)l)<+~.
D2
q u ' a l o r s l e s c o n d i t i o n s (i) et (ii) sont s a t i s f a i t e s , mais une telte condition n ' e s t pas
a i s d m e n t que A ( X , 1 ) < +o: 4quivaut h ~ ~I.2 (z)(0 11 (z) + @22 (z)) < +~ et p a r
D2
suite, (ii) e s t une c o n s d q u e n c e de (i).
Les conditions suffisantess ont d6montrdes en ddtail dans ~4-~, aussi nous
l'4quation idw = 0 h I' aide de I' homotopie de Poincar4, puis Wo, I 4tant la compo-
LtEiVgVltE 1.
?~lizil>r}(I-Izi 2":-+
~ iHi(:i,@ IdX (zi)< c rain(0- I:i 1~):,(:-r2):);
(:-l:]21ki
!Hi(:i,zi) Idk(zi)<_ C i ki-1 ;
{Iz i I<r} (1_ i< i 12+1-r21
~T IHi([i'zi)Id~(zi)-< C.
1
(ii) Pour 0<~<min(kl,k2) , '+K([,z) l d @ s i g n a n t l e m o d u l e d e l ' u n e d e s
composantes de K(~,z), on a :
1Li(~,z) Jd~(z)_< c.
bD 2
k = (k 1,½).
37
2
LEMME 2. Soit 0 =i Y 0 .. dz. Adz. un coueant positif feem6 dane D2.
i,j=l 13 I J
Pour tout c ~ 0, posons
C A(0,1).
r 6 s u l t a t s c o r r e s p o n d a n t s de ~4.j .
T H E O R E M E 4. P o u r q u ' u n s o u s - e n s e m b l e a n a l y t i q u e X de D 2, de c o u r a n t
2
d ~int6gration 0 = i E O ~ ^ dz. , soit un z 6 r o d ' u n e f o n c t i o n de N(T2), il faut
i,j=l ijdzi J
que :
01 l(Z) + ~i' 4-oo
d ~ m o n s t r a t i o n s de [4~ p o u r o b t e n i r l e s t h 6 o r ~ m e s c i - d e s s u s .
La d i f f i c u l t g e s s e n t i e l l e c o n s i s t a n t ~ o b t e n i r une e s t i m a t i o n d ' u n e s o l u t i o n de
Comme prdc@demment, il nous faut tout d ' a b o r d estimer les noyaux de la rdsolu-
tion du ~.
LEMME 3.
(ii) Pour 0 < a < min(kl,k2), [K(~,z)[ ddsignant le module de l'une des
composantes de K(¢,z), on a
~2D2(¢)c* 26T2(<- )
k = (k 1 ,k2).
La d6monstration du (iv) est faite dans ~zl] (Lemme 12). Pour voir le (iii), il
suffit de reprendre les calculs faits dans ~4~ Lemme 3, c), pour s'apercevoir qu'ils
donnent l'estimation ci-dessus. Enfin les estimations (i)eL (ii) s ' obtiennent sans
2
LEMME 4. Soit 0 = i E 0 dzi^ dzj un cout~ant positif fel~m~dans D2.
i,j=1 ij
Soit ct>_ -1, et supposons que :
(z) (x+2
bD 2
(0 11(z) + 022(z)) < +~.
gD 2 ~T2 (z)
Alors on a :
OO
D6montrons rapidement ce lemme : nous pouvons supposer que 0 est C
d~ns --2
D (c~. [ 4 ] , L~mme 5). Consid~ron~ ~lors l~ ~orme d~f6rentielle
w(~) = e ( z ) ^ ~ i_[~112 %.
Enremarquant que, sur b({/z 1 [< [z 2 I}),
~'~12(z)dX (z) ,
ce qui donne aussitSt la premi~i;e in~galit~ du lemme.
*J
O(z) d~(z) = 0. En utilisant la formule (2)de la d~monstration du Lemme 5 de ~ 4 ] ,
I, 2
il vient
41
< co.
1
h(z) = %
\hr(Z) dr.
(i) Pour i , j = 1, 2, i~j, etpour a > -1, ona:
c I ~
bD2
(z)~+2 ig(z) ]dX (z).
D2 ~T2 (z)
REFERENCES
( c ' e s t - h - d i r e tel que E 0 jk X j Xk s o i t , quel que soit le couple (k 1 ' k 2 ) C ~ 2 ' une
(1) ~ D ~(~ 11
+ 022)
< o~ ,
1. NOTATIONS
L=X 1 +iX2, Uid6al ~k de J. J. Kohn est, pour k >- 2 , l'id6al engendr6 par les
Ak(W) = ( T, IX i ( w ) / 2 ) 1/2"
j-<k i1''" j
3
bf =abp + b ~ , Ob la] S C k et Ibt _< CkAk+ 1.
2. ESTIMATION DE i0 A b p A ~ n .
Pour E> O, posons D ¢= ( - ~ < p < 0}. Dansla suite sera suppos@
assez petit pour que les fonctions Ak soientbien d6finies dans De.
46
p o s i t i f f e t i n g s a t i s f a i s a n t 5 la c o n d i t i o n d e B l a s c h k e , a l o e s :
ie A b p ^ ~p
<
2/3 1 / 3 27m-1 1-2/m-1 1-1/2m oo.
D E A2 + A3 ~ +...+ Am_ 1 ~ , +
l e n t s . En p a r t i c u l i e r , p o u r un d o m a i n e s t r i c t e m e n t p s e u d o - c o n v e x e , les estimations
estim~s poul. le r~gular, isd dans D~~ = { - ~ < p < - ~ } et passer h la l i m i t e . Nous allons
iO A bP ASp
,
DE A2+~ 3 8 +...+ - + D
Dz' (avec E' > ~ mais encore assez petit pour que les Ak soient d~finis dans
bD. I1 e n r d s u l t e que :
47
O) b ~PSml/m3Ae^'SO =~ (-P}Sml/me^b'bo
5D e De
bbp=abpA~P +/3bPA[u + T ~ D A ~ + ~ A ~ ,
m-~+l 2m 1 1
~{ Z (-p) Ak--~- . . ) . S. m l (iO)Abp A'bp
It< m m
2m 2m . 1
f m. I "t ---1
k<m m
Le p r e m i e r t e r m e e s t major6 p a r
A/"\ ( _ p ) 2 / m S - 1 / m ( i o ) A b o A~O, et peut 6 i r e
d m
De
r e t r a n c h ~ au terme de gauche de (5) avec une petite c o n s t a n t e , ~ c o n d i t i o n d ' a v o i r
choisi e a s s e z petit.
majorer par :
2m 2m 1 2-2
K (-p)(iO)l~a:A-~+~ ( E (-p) k Ak+l)2(_p)S m iOhbpA'bp.
D e k<m m
P o u r c o n c l u r e il suffit de m o n t r e r que :
2m 2m 1 1-2
Z (-p) k Ak+l/ (-p) S
k<m m
e s t b o r n e , ce qui e s t gIfimentaire : quitte h c h o i s i r K a s s e z g r a n d , le s e c o n d terme
(6) f R2
--(ie)aBo a~p < ~ ,
DE
inf ( )
l/k .
2_<k_<m
a d m i s s i b l e s , la quantit6
/- ~ 1J k
S(z)
D(z) = inf (
2_<k m Ak-Frr j '
a k ( n ( z ) ) - ~ ( z ) - d(~(z)) ,
R(z) est @quivalent ~ D(z). Comme D(z) ne d6pend pas (h des constantes pros) de la
e n c o r e @quivalent h (1) :
I.es 0ij ~tant des mesures, ; D \ D ~ (0 11 + 622 ) < oo et, puisque d~j~
I
(i0)A ~ A ~, On conclut en c h o i s i s s a n t K assez petit
D[ DE
et en u t i l i s a n t le fait que k est minor@.
la signification g6om6trique de R.
NOUS montrerons par contre que ~b(Z)] 1/k est aussi le "plus grand rayon dans la
est obtenu non pas dans un plan parall61e au plan complexe tangent en ~c, mais sur la
dans [ 3 ] . Apr6s changement de cooedonn4es tel que w=0 et ~(z) = z2, on peut
supposer que :
p(zl,z 2)=-
k-1
Re z 2 +cx~l ~
1 ~%
" c~.-k-c~
(0) ~7 ~-~ +4( IzI Ik+', Tz,IIz21, Jz2i2),
oz I OZ l
de faqon admissible vers O, c'est dire qu'il existe des constantes c et C telles
est partout positive ou nulle sur bD. I] en r~sulte que le polyn6me Q, qui est non
identiquement nul, est partout positif ou nul. En particulier k est pair. On
reconnaft en Q le polyn6me ~1 Ap, oh
k-1 kp -k-~
p(z1,~1)= ~; I b~zk_O~(0) z~z I
~=I o~(k-o~)~ bz~ 1
1 5201Tp(ei@,e-iO)dO = 5i
2-'# ~ P dx Idy I > O, ile×istedonc @o tel que
z I t<1
i£ -ie ie
P(e °,e o)>0. Alors, pour ~1 =te o, tCR,
52
est positifd~s que [~1 [ k > C Re z2, du moins si Re z 2 est assez petit. Ceci
Jean-Pierre DEMAILLY
U n i v e r s i t ~ de G r e n o b l e I
I n s t i t u t F o u r i e r , B P 74
38402 S a i n t - M a rt i n - d ' H ~ r e s / F R A N C E
Abstract.
0. I N T R O D U C T I O N E T E N O N C E DES R E S U L T A T S .
T ne s o i t p a s t r o p g r a n d e . On v ~ r i f i e a l o r s de p l u s q u ' i l n ' y a p a s p r o p a g a t i o n d e s
(avec p+q=n ) .
T H E O R E M E 1. - Soit T u n c o u r a n t ~ 0 f e r m 4 d a n s u n o u v e r t de R u n g e
¢n
P cc et d e u x r 4 e l s c > 5 > 0 . On s u p p o s e que la c l a s s e de c o h o m o l o g i e
~T(Z, r)
(Cl) sup .~/250 -r~ n - i dr < +oo , re spectivement
!
~5/2 C~T(Z ' r) ~
(c') J sup - - d r < +~
n
0 z6~5\fi c r
s e l o n que T e s t de b i d e g r 6 {1,1) ou (q,q) , q>_2 . A l o r s il e x i s t e un
courant ® >_ 0 ferm6 dans ~n qui c o i h c i d e a v e c T sur fl et de c l a s s e
c
C e n d e h o r s de 5 "
et v ~ r i f i a n t l ' h y p o t h ~ s e t e c h n i q u e s u i v a n t e
(6) tout courant ® d~fini sur ~ et tel que ® _> T sur ~ v~rifie ® >_ T
(Diederich-Fornaess [3J ).
(Cq) sup
i6/2 ~T(z, r)
- - d r < +~
zE~6\% '0 r 2n-q
La c l a s s e de e o h o m o l o g i e de T dans C, e s t n u l l e p a r hypoth~se, d o n e il
off k(V,z,r) d ~ s i g n e la m o y e n n e de V s u r la s p h e r e de c e n t r e z et de r a y o n r .
N > 0 et des r~els e > e' > 5' > 5 tels que
I U = V sur Pc,
U = sup{V,N~) sur Q5\~¢
U = N~ sur (rn\~6,
et le e o u r a n t ® = i?TU r 6 p o n d ~ la q u e s t i o n .
]
~c
d.%
/
. . . . . . . . .
-X
On a s s o e i e ~ T le p o t e n t i e l
Bn-l(z_C)
K(z,~) = - e
n ] z_~ 12n-2
~(zG) = ~
57
i~V(z) = fX(~)T(C)Ai3zbzK(Z,~) .
p o r t e de la m a s s e en d e h o r s de la d i a g o n a l e .
t u
On a s s o e i e m a i n t e n a n t ~ T le p o t e n t i e l
Vp(Z) = .I'c42(C)T(~) A K p ( z , ~ ) ;
un c a l c u l a n a l o g u e ~ c e l u i de i~V donne
58
- ~ 2 i ~ ( O - ~ A T(O A .~Kp(~,~)
done p a r C a u e h y - S e h w a r z
p2 Bn_ 1
- 4i 5c$ A~pA AT .
l z < t2% '
2
La d e r n i ~ r e i n t 6 g r a l e a d m e t bien une m i n o r a t i o n du type I(z) puisque p ~ 1 et
59
K
P
=0 (, 1
z- C12n-2 z-C 12n P'
)d,
pr
s,eshypoth
ses
21, et,22, I1onest
v i s i b l e m e n t de m g m e p o u r l ' i n t 6 g r a l e ~i~ X A T A K d a n s le d 6 v e l o p p e m e n t de iS~V .
Les termes c r o i s 6 s de i~V font i n t e r v e n i r la ( n - l , n ) - f o r m e
~ K = (n-1)c n 5 [ z - C ] 2 n-i
t~-~ 12n A6
(2.5) III(z)1! ~ c
(1+;6/2 ----%/z,r//
0 r 2 n p ' ( r 2) J
C h o i s i s s o n s une f o n c t i o n e r o i s s a n t e ~ : ]0,+¢~[ ~ ] 0 , + ~ [ de c l a s s e C° , v 6 r i f i a n t
-> v au v o i s i n a g e de 0 et t e l l e que
~(r) 1/2 1
(2.6) ~j+¢o dr ~ --
' 0 rn n-1
On d6finit
apr~s integration par p a r t i e s . La condition (C') montre que la derni~re ligne est fonction
born~e de z E f}5 \ g .I
E
question. ,,
DE LA D E N S I T E .
La d 6 m o n s t r a t i o n du t h 6 o r @ m e 2 fair a p p e l ~t un p r o c 6 d ~ s i m p l e p e r m e t t a n t de
construire un c o u r a n t p a r sommation des courants d'int~gration sur les fibres d'un mor-
(3.1) T = ? [F-l(t)]d~a(t)
tEM
p a r la f o r m u l e
(T,v> = ftEMd~(t)SF_l(t)v
schema ei-dessous).
F-l (t)
J
i
i
L
M
Ii est clair que T est un courant > 0 ferm@ de bidimension (p,p) A
support suivant, qui est un oas particulier du th6or@me 2.1 d@montr~ dans [2].
62
il e x i s t e u n e u n i q u e m e s u r e la ~ 0 t e l l e que T a d m e t t e la d 6 c o m p o s i t i o n
T = f'tCM[ F - i ( t ) l d ~ ( t ) .
plurlpolaire eomplet) s'il existe une fonction u p.s.h, dans ~ telle que A ~_ u - l ( - ~ )
(resp. A =u-l(-~)) .
II s ' a g i t m a i n t e n a n t de e h o i s i r e o n v e n a b l e m e n t le m o r p h i s m e F , la v a r i ~ t 8 M
tEV :
compact dans P .
T a bien une masse infinie dans (! d'apr~s le th~or~me de Fubini. So[t maintenant
® un courant >_ 0 ferm~ dans N tel que @ _> T sur w . L'ensemble ferm~
A = F-I(P) est pluripolaire complet dans l'ouvert F-I(v) ~ ~ , done le courant IA.®
Supp 1A.® a A ~ F - ] ( M ) .
r [ ~-1 ( t ) l d ~ ( t ) .
1A'®IF-I(v) = 'itEM
qu'~ s'assurer de la validit~ des estimations de masse (3) ou (4) par un choix
convenable de i~I , 1~ et ~, .
l'ouvert V c ¢q p o s s ~ d e une s o u s - v a r i ~ t ~ M t o t a l e m e n t r ~ e l l e et p l u r i p o l a i r e
On c h o i s i t a l o r s p o u r ~. une m e s u r e p o s i t i v e de d e n s i t ~ C °o et ~ s u p p o r t c o m p a c t
[0,1] . On c h o i s i t a l o r s p o u r P un e n s e m b l e de C a n t o r c o n v e n a b l e et p o u r s o u s -
p o u r la d ~ m o n s t r a t i o n d u q u e l n o u s r e n v o y o n s fi [ 1 ] .
64
l e s h y p o t h e s e s du t h 6 o r ~ m e 2 :
(t) ~1 y(r) d r = + ~
~0 r
BIBLIOGRAPHIE
[1] J.P. DEMAILLY. - Propagation des singularit6s des courants positifs ferm6s ;
s o u m i s a u x Ark.iv f 6 r M a t e m a t i k .
[3] K. D I E D E R I C H a n d J . E . F O R N A E S S . - S m o o t h , b u t n o t c o m p l e x a n a l y t i c p l u r i -
p o l a r s e t s ; M a n u s c r i p t a M a t h . 37, pp. 1 2 1 - 1 2 5 (1982).
[4] H. E L MIR. - S u r le p r o l o n g e m e n t d e s c o u r a n t s p o s i t i f s f e r m 6 s ; T h ~ s e de
D o c t o r a t d ' E t a t s o u t e n u e ~ l ' U n i v e r s i t 6 de P a r i s VI, 23 n o v e m b r e 1982,
parMtre aux Acta Mathematica.
ET
Jean E S T E R L E
telles que s'il existe un caract~re discontinu sur une atg~bre de F r 4 c h e t commu-
N
n F 1 ... o F n ( C 2) f i ¢ (et plus g6n4ralement l i r n p r o j ((E p n , % ) j ¢ pour tout
P 1~_ P
syst~me projectif ((I: n , F ) o h F : ~ ; n + l _ _ _ ~ Ig n est enti~re pour tout n ).
n n
conversation avec l'auteur e n 1978 [1Z]. La d6monstration que nous donnons ici,
bas6e sur le th~or~me de Mittag Leffer sur les limites projectives d'espaces m6-
triques, a 6t4 obtenue par l'auteur en Novembre 1982. On peut 4tendre le r4sultat
au cas non commutatif, mais n o u s n e le f e r o n s pas ici (voir [13]).
N f l " " " o f (C) f l ¢ pour route suite (f) de fonctions enti~res sur tg , m a i s
n n
des constructions dues RFatou[16] et Bieberbach[4] montrent qu'il existe des
66
[45 , e x p o s ~ e de mani>re tr>s claire par Stehl4 [307, consiste ~ montrer que
Ig p si @ poss>de un autre point fixe r4pulsif. En fait, il s ' a v > r e que l'/tude de
de (Ep converge uniform4ment sur tout compact vers une fonction F non d6g4-
priori) telle que les seules fonctions enti~res H de (E2 dans l u i - m @ m e telles
U n e id4e naturelle pour construire une suite (Fn)r~ 1 de fonctions enti~res de (E2
dans l u i - m @ m e telles que r ~ F1 ''' o Fn((I;2) = ~ consiste 5 e s s a y e r d'obtenir par
i~'0
• .+i P
5" IkiI ..... i I RII' " P < +oo pour tout R ~" 0 R a p p e l o n s qu'on appelle
il~0.. P
ip~ 0
68
Aq .
Soit maintenant X un caract~re de A . O n ignore si les caract~res
pour tout 4 1 4 m e n t u de A p .
analogue au corollaire Z.2. dans une discussion avec l'auteur pendant une pause
Shing Shah [Z7] sur la continuit4 des f o r m e s lin4aires positives sur les alg~bres de
70
0 l'~quation :
eta(z)] : G(kz) .
u : Zx + f(y)
8 : (x,y) ~ (u,v) avec
~ v : Zy + f(u)
oh f est une fonction enti~re sur C v6rifiant f(n,n) = (-n, -n) , f'(n,n) = 0
pour nE Z . Z'existence d'une telle fonction entibre r6sulte des r6sultats elassi-
r~me suivant :
ta relation :
(eoG) (z) : (Goe'(O)) (z) .
cas p~' 2 a 4t4 trait4 par R e i c h en 1969 dans [Z4] et [25]. O n peut alors trouver
que la suite ((}noB'n)r~l converge uniform6ment sur tout compact vers une
mite uniforme sur tout compact d'automorphismes qui est elle-m~me injective,
mais non surjective. Nous gtudions au paragraphe suivant les proprigt~s des fonc-
t i o n s de ce t y p e .
~V x ~ U et dU ,
73
OV OU
imreuve : S u p p o s o n s que F ~, F , G ,.~ G et soit K un c o m p a c t de
n n~OO n r~oo
U . Alors G(K) est un c o m p a c t de V . Ii existe 6 >0 tel que [z-v]~
D ( F (a), r / Z ) ,
% ID(a,~ ) est injectif pour n assez grand et il e x i s t e p~0 et k~0 tel que
[F'(a) ]-I (z+F(a)-Fn(a)) = Gn(U) , c'est-h-dire tel que z = L(u). O n volt donc que
Fn(D(a, kr)) contient D(F(a), r) pour tout n ~ n y et pour tout r ~ D • Ii r6sulte
6galement du lemrne que G ID(a,~) est injective, ce qui irnplique que
n
FnID(a,~ ) l'est aussi, pour n;~n . Ceci ach~ve la d~rnonstration.
o
(voir B o c h n e r et Martin [5, chapitre 8,th~or~rne 7]). S u p p o s o n s qu'il existe une in-
finit6 d'entiers n tels que LIK n'est pas injective. Alors, quitte ~ extraire
des sous-suites convenables de la suite (~n) , on peut s u p p o s e r qu'il existe deux
suites convergentes (Xn) et (yn) d'~l~rnents de K telles que Xn/ Yn '
th4or~me on volt qu'il existe ~ ;~ 0 tei que FnI D(x, ~) soft injective pour n
a : F(x) = lim Fn(Xn) = lira F (y) ; F(y) ce qui contredit le fair que F est in-
n~ oo r~oo n n
jective. Ceci 4tablit le corollaire.
bien de F ne s'annule nulle part sur U alors pour tout compact L de F(U)
D(a, ra) C Fn(D(b a,k ara)) pour tout n~ n I1 e x i s t e alors une famille finie
a
fonction analytique.
pour n ~ n
K ;
76
r >0 tel que le poydisque D(a,r) soit contenu dans U . Pour tout i~ p la
fonction z'* J(F)(a I ..... ai_ l,z,ai+ 1 ..... ap) est limite uniforme sur D(a,r)
de la suite de fonctions (d4finies pour n assez grand) z -~ J(Fn) (a I. . .ai_ I , z,
ai+ I ..... ap) . C o m m e a u c u n e de ces fonctions ne s'annule sur D(a i, r), il r4sulte
que J(F) (aI..... ai_ I, z, ai+ 1 ..... ap) = 0 pour tout z ~ D(a i,r).
E n rdpdtant cet a r g u m e n t on voit facilement que le jacobien de F s'an-
nule sur tout u n voisinage de a et par consdquent sur U tout entier. D a n s le
can contraire on volt que J(F) ne s'annule pan sur U . Soient a, b E U avec
F est injective sur U pour tout n on voit que F est injective sur U .
n n
D ' a p r ~ s le t h d o r ~ m e de l'application ouverte, F ( U ) est ouvert et
KI= I n 6 ~Pl inf [u-z]-~< 6/Z}. II r4sulte des indgalit~s de C a u c h y qu'il existe
zE K
On a a l o r s , pour zE K
-i
COROLLAIRE 5.12 - L'application 0-~ O est continue sur
(Aut GP,<Y) et (Aut GP,<Y) est h o m 4 o m o r p h e 5 un espace m4trisable et complet.
une suite strictement croissante (ni) d'entiers telle que (@~(z))i~ 1 converge
BIEBERBACH
17z
n+l
Preuve : Posons ~p(z) = e (z~lI;) .
I1 e x i s t e deux ouverts f)l et fl 2 de (l] tels que A -rr c ~1 ' K c •2 ' f~l N f~2 =
e
et tels que le compi4mentaire de Q1 O f~2 darts la sphgre de Riemann soit con-
nexe. I1 r 4 s u l t e alors du thdor~me de R u n g e q u ' i l e x i s t e une suite (Qp) de poly-
n6mes tels que Qp(Z) e 0 uniform4ment sur K et Qp(Z) p.~co~ 2 uni-
p~co
formgment sur k-rr • Posons fp= QpO ~ . Alors f p (z) 1~ c ° ~ 2 unifo rm4-
e
ment sur Un+ 1 et fp(Z) P~°° ~ 0 uniformdment sur &n+~ . De p l u s , chaque
fp est p~riodique de p ~ r i o d e 2ni + 2i . Quitte ~ tronquer la suite (fp) on peut
@ (x,y) = (u,v)
P
avec
~ u =x+f
P
v : y + fp(U)
(y)
THEOREME 6 •Z _
Ii existe une fonction enti~re injective F : (i]2
~ ¢2
,
suivante s :
-I -i
(I) ~n "'" o ~I (VI) cc~ Yn+ I (n~
>1)
p [ ~n
-i "''0~1 i (Vi) ]CBp(Vn+1)
CVn+2 pourtout p~l.
-1
Cornrne e
(w) c o n v e r g e u n i f o r m 4 m e n t vers w sur D , on a :
P . e -1 2 -n n
[~i "'" o ~n(W) - ~Pl '" o ~ n o (0J) I < p o u r tout 00E D si p est a s s e z
p n
grand. E n posant ~0n+ 1 = @-i P avec p a s s e z grand, on voit que les conditions
de C a u c h y ona :
J(F) (W) = lira J(~l "'" o ~ n )(w) = 1 p o u r tout W E (E2 , et F
n-*l
est injective d'apr~s le t h 4 o r ~ m e 5.11 • Cornrne I~n -i " " " o ~I1 (W) I ~> n+l p o u r tout
WE V 1 et tout n•l , on a F((~ Z) n V 1 = ~ d'apr~s le corollaire 5.13 , et le
thdor~rne est d d m o n t r 4 .
que J(G) (~) fi 0 pour tout ~E~ 2 et telle que inf(Ixl, lyl)~l pour tout
414rnent 0~ = (x, y) de G(~2).
REFERENCES
[4] L. B I E B E R B A C H - Beispiel z w i e n g a n z e n F u n k t i o n e n z w e i e r k o m p l ~ x e n
Variablen, w e l c h e eine schlichte v o l u m t r e u e A b b i l d u n g des R auf
einen Teil seiner sebst vermitten. S . B . P r e u s s A k a d . W i s s , (1933),
476-479.
[24] L. R E I C H - D a s t y p e n p r o b l e m b e i f o r m a l - b i h o l o m o r p h e n A b b i l d u g e n mit
a n z i e h e n d e m Fixpunt. Math. A n n . 179 (1969), 227-250.
[29] N. SIBONY & PIT -MANN WONG - Some remarks on the Casorati -
Weierstrass theorem. Ann. Polon. Math. 6 (1969), 437-441.
NON-CONSTANT C O E F F I C I E N T S
by Lawrence GRUMAN
m
A :~1~(ch( U (~-B.)) ~ ( ~ ) . We study the range of A i n ~ ( ~ ) . In p a r t i c u l a r , we
i=I i
shall show t h a t :
i) if a i (z) ~ 0 in ~ f o r every a i . which is the c o e f f i c i e n t o f ~ ' ~i.
j g ~i. j
m J
an extremal p o i n t of ch ( i ~ I #i ) , then the operator A is s u r j e c t i v e ;
Suppose t h a t
85
X2Ach(Q (Q-B)). There are, however, a d d i t i o n a l extension phenomena which are less
evident. I f A is as above and A' = at(z+5) - a2(z)x ~ , then in general f o r ~ e ~ ( ~ ) ,
m
subset of ch( U (f~-[~i)), then i t is the image of an element with support in a re-
i=I
fated compact subset of ~ . Since these are r e f l e x i v e spaces, a l i n e a r subspace is
weakly closed i f and only i f it is s t r o n g l y closed. Thus, the t h i r d step is to prove
an a p r i o r i estimate between the pseudonorms d e f i n i n g the dual spaces.
We ~hall male ample use of the thoery of coherent ( i . e . l o c a l l y f i n i t e l y
generated) a n a l y t i c sheaves, which is of fundamental importance in the theory of
holomorphic functions of several complex v a r i a b l e s . We r e f e r the reader who is not
f a m i l i a r with t h i s theory to the two t e x t s [6, 7] which contain the e s s e n t i a l of
what we need. By an abuse of language, we w i l l often say t h a t an ideal I e ~ ( f ~ ) is
coherent i f the sheaf t h a t i t generates in ~ is coherent.
What is new in t h i s treatment is a systematic use of a r e s u l t of R. Gay
[4, 5] which characterizes the s o l u t i o n s of exponential type of systems of convolu-
t i o n equations. In our o p i n i o n , t h i s work has not received the a t t e n t i o n t h a t i t
deserves, and h o p e f u l l y , i t can be used more general way in the study of opera-
tors w i t h non-constant c o e f f i c i e n t s .
I would p a r t i c u l a r l y l i k e to thank Professor C.A. Berenstein, who suggested
t h i s p r o j e c t to me and whose kind i n t e r e s t and many conversations helped me along
the path of progress.
I.- Preliminaries.
Then
(i) hK(~ I + 5 2 ) ~ hK(~1) + hK(~2) (h K is s u b a d d i t i v e ) .
(ii) hK(t ~)) = t hK(~ ) for t > 0 (h K is p o s i t i v e l y homogeneous of order 1).
is c a r r i e d by K° and K1 , u is c a r r i e d by Ko n KI .
El F II h = sup IF(G) e x p - h ( ~ ) l
~n
we d e f i n e as before the F o u r i e r - B o r e l t r a n s f o r m o f
m
f~1* ~2 . . . . * ~ m(Z) = 11 f ~ ( z ) . If F E(~)and ~
aj* F = 0 , j = 1, .... m then
i =I Bi
2 , - A p p r o x i m a t i o n to s o l u t i o n s o f a system o f c o n v o l u t i o n equations.
t i o n s F ~ E(~ I ) such t h a t a i . F = O, i = I . . . . . m .
We s h a l l not need t h i s result here but in a f o r t h c o m i n g paper where we s h a l l treat
similar p r o b l e m s . However, t h i s is a result o f independent i n t e r e s t , and s i n c e i t s
proof is almost identical to that of a result t h a t we s h a l l need (theorem 9 ) , we
include it here f o r f u t u r e reference. The f o l l o w i n g proposition a l l o w s us to r e f o r -
mulate the q u e s t i o n :
90
X" rl ~r # ~ for r E [ r 1 , ~ 2] . I f L~
< dim X' ~< m-1 , we apply the induction
hypothesis to X' Q.E.D.
f E Iy(X n Y ) ( r 2 ) ) = { f E ~ ( ~ i ~ I N Y) : f ( z ) = 0 v z E X N Y} then
fq E I ( a I . . . . . am;Y n ~7~ ) .
Proof : Choose L >r2 >~2 " Then, since I ( Y ) = { f E~.(~) : f(z) = 0,z E Y}
Q.E.D.
l(a I ..... am;Y n ~r~ ) n~<(Y n 9r,~ ) = l(al ..... am;Y n ~rm ) .
Z aY
( J ) (¥z ) s = aj(z), j = I,..., m ," c ~ J ) ( z ) e ~ ( Y ~ ( ) r l ) and e i t h e r
a ~ J ) ( z ) ~ - 0 or a(J)(z)y ~ 0 on X.
I(a I , ,am;Y n
. . . . ~r2 )
Let ~ be the s m a l l e s t value of Iyl such t h a t a¥'
(j) - 0 on Y for
iI
and so we can w r i t e (k,y)(z) = h (k,y)(z)s ~ where e i t h e r
gi I
iI iI
h((k,y)(z) ~ 0 on Y or hg ( k , y ) z) ~ 0 on X ,
of X n ~r2 which generate the sections (~ +q(k ,~r) for r <~2 with exten-
< ~q_~(~1 )
where ¢i ~< ¢2 < "'" ~< ~L ' ¢i < q-i and 1 ~< j < p , we have
(iq) ~ (j)
gq (C1)(z) = Z { % j=IZ Dlq.(¢1 . . . . CZ,B,j)ay,(Z)
¢1 < ~2 ~ "" < ¢~=q- ~=0 I y ' l = ~+~+i
¢..; ~ q-i y'+8 = y
-1
Z Z Z . d i i(£~)(z) A~£d_ziq_L+l(~_l)(Z)h(q (¢~,y')(z)}
~=0 ¢+y'=y i < iq_ 1 < Pq_l(¢l) q q-1
i ~ iq_~+ 1 4 pq_C+I(CL_I)
on the l e f t is i d e n t i c a l l y zero on X .
96
satisfies P
~ C~j )(z)gj (z) = b',q(Z)S ~ (resp. Z ~ n(z)s ~
j=l I~1~ ~+q+l
if p = q) .
~i ~q(k) k
Ciq:l(Z) = iq=l% Ciq (z) diqiq_l(~z) on X . We extend c k.lq to a function
~k
Clq (z) holomorphic on Y ~ r
• Then
~q(k) ~k iq
~.lq-l(z~ - iq=lZ Ciq (z) ~iqiq-l(~l) = I~I>% I c~ (Cl) s~ so i f
¢~J)(z)C = s z s
H ~1~ ~2<.,< ~=q-t-1 £=0 IBI=£ l<iq_l< Uq_l(~l)
~i < q-i-i
~q(k)
(~iq-1(z) - iq-l~ ~q(z) ~.lqlq-i
• (~1)(z) x Diq_1(~1,..., ~£, B, J)~
then
- "
= Z
*(J),
CB,q~Z)S
, 5
and Z
P ~(J).
q (z)gj(z) = Z b (z)s ~
¢~J)(z) IBl> k+l j=l I~I> q+l ~'q
b (z) = ~p ~p(k)
Z ~ ik (z) h ki (z) on X , where the h ki E~4~(Y N ~r 2 ) are
ao k=O i =I p p p
P
calculated from (~) and (3) , and c i (z)E~(C( n ~r) . Since dim(X N Y) <dim Y,
f
by the induction hypothesis on dim Y , we can find r~ , r ~ with
N ~r2 . F i n a l l y , we set
m
,::j (z) = g Z Z Z
0< ~ 1< q ~l<g2<..~Lm=q-m A=0 IBI=L 1<
~i ~< q - i
~i Nil
Combining a l l these steps, we see that we can fi n d rI , r2 ,
NIP ~ti N ~ ~H ~.
[rl,r2] c [rl,r2] such t h a t for r 1 ~< r 1 < r 2 <~ r 2 ,
a I . . . . . a m and p(z)) such t h a t f o r every r1'r2 ' ~{1 ~< r l < r2 <~{2 ' setting
98
Z fcJZ)S a m
Z ( S ( i ) (z)s B) ( ~ a ( i ) s a)
I~1_>1 i:1 I+1:>o ca I+/++ Y
rb
Q.E.D.
3 . - D e t e r m i n a t i o n o f the c o m p a t i b i l i t y conditions.
m
Let A = i = I Z a i ( z ) % ~ i ' Bi ~ ~n . We w i l l call the #i the frequencies o f A.
IO0
i) m : E ÷ F is surjective.
ii) t : F'+ E' i s o n e - t o - o n e w i t h weakly c l o s e d image.
Dk = {z : l z (k)
. - ~Z c(~z I< r i i = i ..... ~} , Kc U Dk and
1 j =i ij j ' k
h I . . . . . hq C 11 n 12 + 13 , gl . . . . . gq E ~ ( B ( Z ; q z ) ) such that
q
f l B ( z ; n z ) = i=12 gihi . Since supp ~k c ~ Ok(nO ) , we can find a f i n i t e set
(2)
and g~2) E ~21 F~ ~3± . We set ~I = ~ g~l) d~ k and ~2 = ~ gk dT k •
Q.E.D.
(K2)~/3 with ~Z
" ' ~~ ~Z . . .+. . .~Z
. . Applying the same reasoning to ~"' , we can
find ~L (iv) E l(a I , . . .,am)± N I(b~l ,. . . , b L t L )1 and
~ (v) E l(b) ± N l ( b ~ l . .•. . b~t ~ )± carried by (K2)c/2 such that (v)
C~,E. D.
Ko , then given ~ > 0 , there exist distributions ~i ± l(a ..... aoto,ai± .... ait i)
s
with support in (Ko)~ such t h a t p ~ Z ~i "
i=l
Yk * Fpp f o r a l l p .
k
( i . e. d (~ - qj(B - B j ) ) ) . I d e a l l y , one would l i k e to e l i m i n a t e t h i s as-
j=1
k
q depending only on landKsuch that i f f e F l l(s~ , . . sq ), then u(f) = 0
i=I I "' i t i
for ~(I~)', pII, u carried by K. Thus, by Lemma 13, we can take
I i = I(s~ , . . sq ). Q.E.D.
I "' i t i
Proof ; L e t ~ b e the sheaf of the ideal of holomorphic functions which vanish on XI.
By Cartan's Theorem A, we can f i n d s = (s I . . . . st) which generate the stalks~'z(X I)
f o r every z ~ 1 , and we can assume without loss of g e n e r a l i t y that
{z ~ : s(z) = 0}4 XI. By Lemma 6, there e x i s t s qo such that sm6 I(~ I) f o r I(~I ~ qo.
Let Xo = ~z ~ B: ao(z) = 01 and l e t Xi , i = I . . . . . k be those i r r e d u c t i b l e branches
of X which meet ~I " For every i , we choose a ball B i ~ 1 such that Bi ~ X j = ~,
j # i , Bi ~ Xi # ~ and Bi ~ ~I-Xo i f Xi~Xo . I f Xi~ Xo, then ao(Z)
S '(i)(z)sB where h i ) ( z ) e (B i ) and 'n~
(i)(z) ~0 in Xi n Bi . Let
ao(Z) = IBI~q1(i) n B
since ( a o l ) ~ I ( a o ) , I] 2 = ( p - p l ) ] . ( a o l ) . Q.E.D.
and ~e~i~(cn) ' carried by K, a compact convex set, such that At(~J) = O. Then there
exist ideals l j , j = I . . . . . M, entire functions a i j , bij, i = I ..... sj and fre-
quencies vij (depending only on A and K) such that
M sj
= Z ( Z % (ai.bi! ~j) )
j=1 i=I vij J J sj
where ~j is a measure with distance (supp ~j, Iz : H
i=I
bij = 0}) } 0 ' ~ j I~ I j
J
Suppose that we c~n determine in a c~nonical way depending only on A and li~
i = I~ ..~ ,s , ideals lj, entire functions aij , bij and freouencies ~ij
as above with dim X(Ij) = m such that for every -M6~ we can find ,JPL as
M '
above (perhaps trivial) with ~ - j=~1~J = ~k=1 v k with W k J_ Ik,
dim X(Ik) .< m-1 and where Ik depends in a canonical way only on A and K.
q r=1
We assume with :ut loss of generality that for every q and every freeuency
0j ouoh that there doe~ not exist ~ with \ + ~j = ~ + ~i for ooze
111
we can assume that .L (Iq + Iq) and .L ~ + I(aj)). This gives a new
canonical decomposition in which X is absent.
q
Let X = U (Xq+~i) an~ let Xp, I ~ p & T , be the irreducible
1~_i~_m
1~q
where ~ol I Ioi with dim X(lol)< m and loi is determined in ~ canonical
x(lqi I) = x(iI) and Iol with X(Iol) : X(Iol ) and analytic funotionals
Sqi± Iqi(aJl , a.ji ' ~Jt- ~j[ ) + I1' So ~ (ajlI° + Iol + Ii),
s1
o~(Z(%)+i 1)~cht~t ~I = ~ s +s +s .
i=I qi o o
Again by Lemmas 13 and 22 and Corollary 17, we can find I' with
qi I
112
/%!
x(z&i~)=x(~i) a~_s q ~(z, qi I + I(aji'aj I' #j-~)+z% ),
,,(2)
we then find ]~ % J. (Iqi 2 + Iq2(%i,%2, ~ Ji- ~J2 ) + Iq2) .ith
X(Iqi2) C X(Iqi ) and "~ol ~" I'oi with dim X(I'oi )< m depending canonically
where Vii_ (Iqi + i(aji)) and W[~ I" with dim X(I~i) < m and I"
qi qi
i2)c lJ " ~ - ~ ! ~ )
ZJ
(I[ I)) ° We no~,; repeat this procedlure T times %0 obtain
rT
~i (T'I) = S T~(T) (~!T) ~!T) - I T)) + v(T-l)
v.. ~j Ig J i
j=1 IJ
where #'l ~ ~i e l i ' dim X ( l i ) < m and I i depends in a canonical way only on A and K.
£
By Lemma 12, we can assume t h a t supp ~uj(T)~ [z : i=Ig b i j ( z ) = 0] is empty. Suppose
now t h a t ~ ± I j(T) is a representative whose support does not meet the zeros of b i j .
Let Cp -
(p+1) ~ and ~ be the hyperplane such t h a t q K o ( B i j ) takes on
2qKo(B i .)
J
i t s minimum f o r ~ . We suppose f o r s i m p l i c i t y t h a t B i . = 0 , i n f x I = 0 ,
j Ko
sup x I = ~ < qKo(6i ) + I . Let K = ( ~ -qKo(Bi ) B ) n { z : p B ~ -e < x I < X +Cp } .
K.~ j P p j P
We show t h a t i f we have d i s t r i b u t i o n s ~ ( k , ~ ) Z I k , ~ ,o E ×(t,m) , t ~p-1 ,
that F (C) = ~ Fv(k, ° (~). Since an exponential sum is of regular growth, we have
k,o
. M
hG( ~ ci e x p < ~ i ' C>)(~ = hG(C)+ h M c i exp #i,~ >(~)= h~(~)+hB(~) ~ hK(~)
i=I i =I
tion for g ~ A ~ ( ~ - B ( A ) ) that for every J(A), there exists fJ(A) defined in ~j, such
Q.E.D.
117
(here, i I ~ l i K = supremum j i m ( f ) : fe
(~;), sup I f l = 1] ).
K
Proof : Let ~i = ( ~ - i + I ) ~ . We show by i n d u c t i o n on i t h a t we can f i n d Ci and ~i
w i t h s u p p o r t in K such t h a t ~ = ~ i + s i , w i t h b j s i = O, j = I . . . . . i,
l
where blS I = O.
~i+I ci
New now s e t Pi+1 = Pi+~i+2 ' si+1 = ( s i - ~ i + 1 ) " Then b j s i + I = O, j=1 . . . . . i+I .
B
Proof : I f Fc E, then we can t a k e C = I . Thus, assume F~ E. Let B' = be the
I
E F
E' = {l F' = are closed subspaces o f B'
B ~
Set B" = ~ . Then the q u o t i e n t map ~ : B ' ~ B" is o n e - t o - o n e on E ' , and since
m
Lemma 28 : Let ~ be a convex domain in ~n A(m a 8) = Z a (z)~
the extremal points of B(A) . Let X~= {z E(~: f(z) =OVf E T} and
mo
)( =j=IU {z E ~ : a i j ( z ) = O} . Suppose that X~n Xn~ = 0 Then
3 .
Co E Kjo(O) . Let T ( ( ) = ( e i . * F) ( ( ) . Then we also have h~-(~o) = h'(~o) .
Jo
By Lemma 25, we can f i n d CI > 0 depending on ~ and an increasing sequence
rm ÷ ~o such that
F (C) = w • F(~) . Then, since ~ exp h~K (~)dlml(5) < C(m) , there e x i s t
E
constants k(w) ,C(m) , and C'(w) such t h a t
go E Kjo (cf. Lemma 2~) . Then by Lemma 25, we can f i n d C" Ro and
that sup IFv(g)l =1 and (5) holds and furthermore IIAt(Fjj)II ~-1
llgll< Ro ' hK'B(A)
Then the Fv(~ ) are u n i f o r m l y bounded on compact subsets of ~n , so we can
choose a subsequence which converges u n i f o r m l y on compact subsets to G .
But then At(G)=O and so G~ 0 by ( i i ) of Lemma 2~ . Thus, the subse-
quence converges u n i f o r m l y to zero i n a neighbouhood of {~:II~II < Ro} ,
which c o n t r a d i c t s the f a c t t h a t ll~suPI[~(~)lll~ =1 . We l e t C=inf(C2,C1) .Q.E.D.
m
Theorem 30 : Let ~I be a convex domain i n ~n , A= E ai(z)T~i a difference
i=l
operator w i t h c o e f f i c i e n t s ai(z ) E~(~) Suppose t h a t ~ij j=l . . . . . mo
intersect ~ .
either composite or simple but not subordinate to~' and the two such that
where a %~1(Z + V2- ~'1) and & ~2(z) are relatively prime in ~((C n)
with zI(z + ~2- %~1) (z)-I = a~,l(Z +~'2-%~1) a~(z) -1.
a a ~2
X(I')
K C X( Ijl(~; ~)) (resp. X(I")
K C X(~C YZ - ~'I I_C~"
(~' ; ~) ) )' then
which intersect ~(A(J). The components o~ A(J) are (Ao, ... ,Aq,A:')
where (Ao~ ... ~Aq) are the components of A. The composite frequencies
of A(J) are the composite freqtleneies of A or ~ = ~- ~ +
ii) for every compact convex subset K of d'l, there exists M(K) such
independent, then it is easy to see that there exists A(K,q) such that
Ao~ and for each component As, we shoose s = 0, since in this case~ the
vr saried bY Kr such Z*
126
Theorem 32: Let A be regular for the open convex set /9-~ C n and
O
d~pending only on K(p), ~ = ~o' "'" ' No such that for every ~ ~0,
y?o
Proof: We can assume without loss of generality that Mo =~(q) for
some fixed q >~ qo " Let ~ ] = {A~: rank A~.<q +~ and if rank A ~ > q
4 ~,...,~(r) ~ d v= ~ ~
can find aobi, I = I, ... ~J~ which generate the s~ctions of this ideal
then there exists a proper convex subset K'o of Ko such that aob i
carried by K~ and I] ij
(A) .L I!~.
~3 ) + Ijl (A~- ;T~) carried by K"=
- ~ "~(~) -
~j(~) = [ ~i(s + ~j ~)Vij ~ ~i(~+~-~)~n(~ ;~)
By twice applying Lemm~ 22, we can find a com~Zct K'r depending only
on su~ort ~!~.)
iJ
, ~ : {+ ~ .... ,~(r) and analytic functionals
such that if
k=1
Let A k, = ~ Wj (z + ~.i - ~.)
J A A - ma V (z) "~F, i Ag and set
• 1 - ~j
rJ r~
~i an extremal frequency of A ~ such that %'. = ~. - ~. Let
l l 3
--At(~ ))
convex subset of Ko. Suppose that for some aobi, aobi~A- is not
carried by ((Ko)
' f )~/4 " Let F be the Fourier-Borel transform of aobi~g.
(r)
and that of ~= ~ A l ( i#A ). Then if ~(~) = h((Ko)f)E/4
Then (~o)
~*(Fa~y:+ ~,~
Z F~ (~)a
vj - v i ~!~)v~ )
J 1
h*
Qt*(F exp < F j , ~ 2 )
(¢o)
Corollary 33: Let A be regular for the open convex subset .CA C C n and
O
Theorem 32, do, ~ i & E(cn) ' such that f~ o= a°' f ~ i = bi' i= I .... ,~.
Then there exists to depending only on p(~ ) and A ° such that for
-I
Proof: Let a.. = a a b. for ~j an extremal frequency of A
51 ~j o l
131
and ~ji E E(cn) ' (resp. ~j ~ E(cn) ') be such that f@ = aji
ji
IFp~ (:)~ ~_ C 2 exp p(~) for :aF~ for all q . Since for every
to gr(~) over the ball I~!~-' r ~o~K ~r} , we see that for
~ o j" Ifl(AA~;~)" The result then follows from Lemma 12. For the
general case~ we work with the Fourier - Borel transform. For simplicity~
is taken over all F~ such that d~F~ = 0 for ~ E(cn) ' such that
i,j :3
I~ F & o - ~l{-Kt/2~{ C 1 for some ~ ~ S~ then, setting Kt= ch(Uk Kt- ~k))'
for all ~ such that f. ~ Iyz (A# ;K) and #=~,+1~A"~F(F~ ) =p=~+l/~
Ap~ (%/)"
ii) there exist R e and k o < I ~,epending only on A o and K such that
By Lemmas 13, 26, an@ 27, we can find i° (which for simp]icity
frequency of A ~ and
B large enough, we see that we can find ~o, ~th~o - ~o~t~ V/8 such
that if ~\~o~,R1 ,
~T 4 e~o ( - ~ t / 4 ( ~ o ) - ~ \ ~ o ~ 1 2 ).
= ~o
iii) there exists a constant C6 such that if I = l~G~%l~ L~G~I < 3/2,
then I} F~ ~ ~_ C 6 BI GII~ •
Kt/2
p=&o+l At Kt/2
We can choose a subsequenoe which we again call G (k) such that F ~k)-
It follo~Ts from the Open Mapoing Theorem that this is a Fr6chet space.
that the transpose operator has strongly closed image, an~ this is the
article.
138
BIBLIOGRAPHIE.
[1] BERENSTEI~4, C.A. and H.A. DOSTAL, Some remarks on convolution equations,
Ann. I n s t . Fourier 23 (1973), 55-74.
[2] BERENSTEIN, C.A. and M.A. DOSTAL, The R i t t Theorem in Several Variables,
Ark. f . mat., vol. 12 n°2 (1974), 267-280.
[3] EHRENPREIS, L., Fourier Analysis in Several Complex Variables, Wiley (1970),
New-York.
Christer O0 Kiselman
I. Introduction
2. La bonne dgfinition de l'op~rateur de Monge-Ampgre r~el
3. Difficult~s dans le cas complexe
4. Le Monge-Ampgre en tant que fonction g~ngralisge
5. La mesure de Monge-Amp~re port~e par le graphe fini
Bibliographie
1. Introduction
. . [ ~2u )
Mu = d e t ~ , u C C2(~2) , ~2 c gn ;
Le Monge-Amp~re d ' u n e distribution est bien d~fini dans toute alg~bre qui con-
tient les distributions. Au p a r a g r a p h e 4 nous rappelons la definition de l ' o p ~ r a t e u r
de Monge-Amp~re darts l ' a l g g b r e des fonctions g&:Eralisges de C o l o m b e a u , et nous d~-
m o n t r o n s q u ' a u Monge-Amp~re d ' u n e fonction phrisousharmonique localement b o r n g e on
peut associer, en un s e n s p r g c i s , une distribution, et que c e t t e distribution n'est
que l a m e s u r e de Monge-Amp~re d E f i n i e par Bedford et Taylor (le thEor~me 4 . 2 ) .
Soit f: f~ ~ I R une fonction convexe d~finle dans une pattie ouverte et eonvexe
de IRn et soit
Donc F est une partie fermge de ~ x IR n eonstituge de tousles (x,~) tels que
la fonetion affine
p: F -~ ~2 et q: F-~IR n
que p est additive : il se peut que q(A) et q(B) ne soient pas disjoints si
A N B = ~ ; or dans ce cas q(A) N q(B) est un ensemble de mesure de Lebesgue nulle
grace ~ la convexit6, et on a bien
= p(A) + p(B) .
pour toute fonction convexe de classe C 2 . Notons que les termes d6finissant le d@-
terminant n'ont pas de sens comme distributions en g6n6ral. Par exemple, si f(x) =
2 2 1/2
= (x I +x2) , on ne peut pas donner un sens ~ f~if~2 comme distribution ; or la
difference fllf22 f12f21 vaut ~6 si on la d6finit par ce proc6d~ de transport
de la mesure de Lebesgue g l'aide des deux projections q et p .
C'est cette belle interpr6tation g6om6trique qui m'a donn6 l'id6e de chercher
quelque chose d'analogue pour les fonctions plurisousharmoniques. Cependant, deux
ph6nom~nes nouveaux apparaissent que nous allons regarder au paragraphe suivant.
La fonction
Le premier exemple d'une telle fonction ~ ~tg donng par B. Shiffman et B.A.
Taylor, voir Siu [1975, p. 451-453].
Le~e 3.2. - Soit f(x I ..... x n) = g(Xl)h(x2,...,x n) une fonction de classe C2 d_~6-
finie pour x.<< 0 et telle que g > O, g' < O, g " < O et h < 0 . Alors f est
j
convexe si et seulement si la forme quadratique
(gg"hh~k _ g ,g 'h'h')tjt
j k k
2
est positive. Si h'~k = O quand j # k il suffit pour cela que les fonctions
2
gg"hh". - ( n - l ) ( g ' h ' ) , j = 2 ..... n ,
JJ J
soient positives.
qui est positive si et seulement si f est convexe. En la multipliant par g"h > 0
on obtient la condition
( Z h j t j ) 2 _< ( n - i ) Z(h~tj) 2
Lemme 3.3. - Soit f(x) = g(Xl)h(x2,...,Xn) corinne dans le lemme 3.2, et supposons
que h".
jj > O et h"jk = O quand j # k. Alors le M o n g e - A m p ~ r e de f est
143
2x 2 2x n
h(x 2 ..... Xn) = e +...+ e - I ,
on obtient
2X . 4X •
gg"hhjj -(n-l)(g'hi)2 = a(a-l)(-xl)2a-2h 4e ~ - ( n - l ) a 2 ( - 5 ) 2a-2 "4e j =
2xj]
= 4a(-xl)2a-2e2Xj [(l-a)(-h) - ( n - l ) a e
expression qui est bien strictement positive dans un ouvert x. < b. < 0 si les
J J
Ibjl sont assez grands. D'apr~s le lemme 3.3 on a
= a I (1-a)(-h) + a ~ (-I)
2
On voit que la masse port~e par un ensemble x 1 < b I < 0 , (x2,...,Xn) C E , E ~tant
de mesure de Lebesgue non nulle, est infinie si an - 2 ~ -I, c'est-~-dire si i/n
< a < I o
On peut noter aussi que non seulement la masse de M est infinie, mais aussi
n-i/a u
celle de Mu/(-u) . Ici l'exposant n -I/a est aussi proche de n-I qu'on veut.
C'est la limite critique, car Taylor [1983] a montr~ que la masse de Mu/(-u) n-I
port~e par un compact K est toujours m a j o r ~ e ind~pendamment de la fonction u ,
suppos~e p l u r i s o u s h a r m o n i q u e et strictement n~gative dans un ouvert ~ contenant K.
I
(g~(O)g~(O) -g{(-o~)gi(-o~)) .
C'est done la masse de Monge-Amp~re port6e par X . On voit que cette masse n'est pas
d6termin6e par le comportement de f au voisinage des droites xI = 0 et x2 = 0 ;
en d'autres termes, la masse du Monge-Amp~re complexe de la fonction
2
Mu = ~ g~(O)g~(O)
et parce que
2
f ~ = T (gl(O)g2 (0) -gl ( - ) g 2 ~ ))
~\{o}
2
on serait oblig~ ~ dire que la masse port~e par l'origine est - ~ gl(- )g2 ~ ) . Or
si cette masse n'est pas nulle, l'origine est un point polaire de u .
Les fonctions g6n6ralis6es de Colombeau [1983, 1983a] forment une alggbre qui con-
tient les distributions et par consequent tout produit de distributions ; en parti-
culier le M o n g e - A m p g r e d'une distribution quelconque est une fonction g6n6ralis6e
bien d6finie. Etant donn6e f 6 ~'(~) o8 ~ est un ouvert dans IR n nous d6finis-
sons
~2f \
Gf(~) = d6t \ ~ , ~ •
C'est un polynSme continu sur ~(~) , homog~ne de degr6 n . Ii est naturel de cher-
cher ~ lui associer une distribution, c'est-~-dire un polyn$me homog~ne de degr6 i
sur ~(~) .
Soit u: ~ ( ~ ) -~ ~ une fonction continue sur ~(~) , g ~ IRn. Nous dirons que
admet une d i s t r i b u t i o n q0-associ~e u ~'([2) , si pour toute @ ~(~) on a
Donc
$2 u
Gu(~) = d6t \
{ ~
\
, ~ ,
Th6or~me 4.2. - Soit ~ C $(¢n) une fonction test qui est positive, d'int6grale I
et telle que ~(tz) soit une fonction de It ] pour tout z E Cn . Alors pour toute
fonction p l u r i s o u s h a r m o n i q u e et loca]ement born6e dans un ~nvert ~ de ~n , G
- - U
v
Dgmonstration. - Soit u = u * ~s,O : u * ~g,0 " On sait que us est plurisoushar-
m o n i q u e dans un ouvert relativement compact w donn6 si s est assez petit, et que
us tend vers u en d6croissant. Alors (en d6finissant Ujk par la premiere 6gali-
t6),
$2 u
~ z j ~ k (~g,z) = Ujk(~s, z) = Ujk * ~S,o(Z) = (us)jk(Z) ,
et
I G u ( ~ S , z ) @ ( z ) d l ( z ) = f M u s ( Z ) ~ ( z ) d l ( z ) ~ Mu(9) ,
147
limites de
Le th~or~me 4.2 nous donne ainsi u n lien entre le M o n g e - A m p ~ r e au sens des fonc-
tions g ~ n ~ r a l i s @ e s de Colombeau et le M o n g e - A m p g r e comme m e s u r e au sens de Bedford
et Taylor. Or dans la thgorie des fonctions g~n~ralis~es on a besoin d'une notion de
~0-association pour une autre classe de fonctions test ~ , ~ savoir celles qui sa-
tisfont ~ ~ * P = P pour tout polynSme P de degr~ inf~rieur ~ un c e r t a i n hombre
N , et cela ne permet pas une c o n d i t i o n comme la p o s i t i v i t ~ que nous avons gt~ obli-
ggs d'imposer. Le thgorgme 4.2 n'est donc pas bien adapt~ au calcul des fonctions
g ~ n ~ r a l i s g e s oO le d~veloppement de Taylor - ici il s'agit de Brook Taylor - joue
u n r$1e fondamental, ca qui explique l'importance de la c o n d i t i o n Cp * P = P •
D ' a u t r e part il est naturel de se d e m a n d e r si Gu n'admet pas une d i s t r i b u t i o n ~-
associ~e m ~ m e pour certaines fonctions p l u r i s o u s h a r m o n i q u e s non born~es. Ii nous
para~t p r o b a b l e qu'on peut admettre toute u telle que u = -(-v) I/n pour une v
p l u r i s o u s h a r m o n i q u e et strictement nggative, m a i s aussi d'autres fonctions non bor-
nges d ' u n comportement suffisamment r~gulier.
L e m m e 5.1.- Soit f
une f o n c t i o n d~finie dans un ouvert ~ c ~n , et d ~ f i n i s s o n s
+
F(z,t) = (f(z) - Re t) , (z,t) C ~ x ¢ . Si f est de classe C 2 on a pour tout
ouvert W darts ~ x ~ :
o8 on a not6
V z = {t E ¢ ; (z,t) ff W}
et
et
Sh 3h d ~ = i 1
i~th A ~ t h = i ~ dt ^ ~ t ~ dt A d ~ = ~ dt' A d t "
(5.2) S MF : S M f v(f(z)) ,
(z,t)£UxV z EU
D6monstration. - On note que, dans ce cas, z ~v (f(z)) = v(f(z)) est une fonction
z
plurisousharmonique. Soient f. des fonctions p l u r i s o u s h a r m o n i q u e s de classe C2
J
au v o i s i n a g e de Ucc~ qui tendent vers f en d6croissant, et soient ~i comme
dans la d 6 m o n s t r a t i o n du lemme 5.1. Alors
Mf = p#M F o~ p(z,t) = z .
150
Dans le cas ggn~ral l'image directe Mf = p#M F est une mesure de Borel non ng-
cessairement de masse localement finie, dont MF apparalt comme une esp~ce de r~so-
lution en partageant la masse ~ventuellement infinie sur les niveaux diff~rents d~-
finis par le graphe de la fonction f m~me. La d~finition de ~f g@n@ralise donc
celle de Mf , mais MF contient plus d'information. En choisissant V tel que
v(t') ~ 0 quand t'~ - ~ on peut introduire des facteurs att~nuants tels que p#M F
soit toujours de masse localement finie. D'apr~s Taylor [1983] il suffit de prendre
v(t') = (-t') -n+l , t'< -i .
Bibliographie
Aleksandrov, A.D.
1955 Die innere Geometrie der konvexen Flichen. Berlin, Akademie-Verlag.
Cegrell, Urban
1981 An estimate of the complex Monge-Amp~re operator. Manuscrit, 5p., Uni-
versit~ d'Uppsala.
Colombeau, Jean-Frangois
1983 Une multiplication g~n~rale des distribution$.C.R. Acad. Sci. Paris
S~r. I Math. 296, 357-360.
1983a A multiplication of distributions. J. Math. Anal. Appl. ~ , 96-115.
Siu, Yum-Tong
].975 Extension of meromorphic maps into K~hler manifolds. Ann. of Math. !Q~,
421-462.
Taylor, B.A.
1983 Communication 2ersonnelle.
Christer O. Kiselman
Universit@ d'Uppsala
Institut de Math~matiques
Thunbergsv~gen 3
S-752 38 Uppsala, Suede
Th~or~me de Bochner sur une vari~t~ de Stein
Hartogs :
est ~gale ~ f .
noyau de Bochner-Martinelli.
v
Finalement HARVEY et LAWSON [5] et CIRKA [2] d~montrent des r~sultats ana-
l
logues dans le cas o~ ~n est remplac~ par une vari~t~ X v~rifiant H.(X, ~ = 0 .
fonctions) il existe des r~sultats de KOHN et ROSSI [8] et de POLKING et WELLS [11].
En utilisant des noyaux donn~s par HENKIN et LEITERER [7] sur les vari~t~s de
I. NOTATIONS et RAPPELS.
O~(u) = du I . . . . . du n
n
~o'(v) = E (-I) j-1 v. A dv
j=l 3 s#j s
oh A dv = dv I . . . . . ~ j ..... dv n
s~j s
152
par la condition suivante: si z], • ..,z n sont des coordonn6es locales holomorphes
M x M ÷M , (z,%) ~ z
%
I. II existe une section holomorphe s(z, ~) : M × M ÷ T(M x M) telle que pour
< • , . > est la dualit~ entre T(M x M) et ~ *(M x M) ) d~finisse une m~trique hermi-
tienne lisse sur T(M x M) et x*~, Ix*Io = ~ < x * , o -~ x* > une mgtrique hermitienne
lisse sur T (M x M) .
de T (M x M) .
~X(z, ~) ~X(z, ~)
=
donnEes ehoisies.
~°(z) = ~(~ s, s, z) est une forme di~fErentielle~l,ferm~e sur M'-{z}de bidegrE (n,n-l)
on pose alors
n
- = E (-I) j-I A - vs snr W .
Wi,~(v) j=l vj s#j ~z,~
soit ~ >12X un entier et f une (O,q) forme continue sur D telle que ~f soit
Etant donn@e une m@triq~e hermitienne sur la vari@t@ M , si f est une (p,q)-
/
DEFINITION 2.3. - On suppose qu'il existe une fonction ~¢o , P , ~ valeur r~elle d~-
~D = {z;p(z) = a }
Soit F une forme diff~rentielle d~finie sur M~D , alors F admet une
et on pose a l o r s T = Vb~D F ou vb D F .
Alors il existe une forme diff~rentielle ~k , F , d~finie sur M~D qui v~ri-
a/ sii f est une forme diff~rentielle 91 (il suffit alors que SD soit 9 I + ~ a>O)
I r 2~(z
F(z) : f(~) ^ ~°(z,~)H (resp. F(¢) = JlzE~Df(z) ^ ,~)).
~E~D
<Vb~D
+ F _ Vb;D F ,~ > = (-l) q <[i, f]O,q+l ,~ > (resp. (-I) q+l <[i, f]n,n-q,~ >)
de plus
et fIM~O .
de B o c h n e r :
D ~ m o n s t r a t i o n du th~or~me 2.4.
ia t r a n s f o r m ~ e de B o c h n e r - M a r t i n e l l i g ~ n ~ r a l i s @ e de f :
F(z) = <f, i* ~(z , . )> I f(O ^ ~q(Z, ~)si f est de type (O,q)
~ESD
et F(~) = <f , i ~ ( • ,0 > = f(z) (z,O si f est de type (n,n-¢-l) .
zE~D q
avec ~ I = f2n° = 0 .
/ I # l
3. TRANSFORMEE DE B O C H N E R - M A R T I N E L L I GENERALISEE.
ait deux composantes connexes U÷ e~ U ; 6t~nt donn6 une fonction, une forme ou
Les premiers r6sultats de ce type sont dus ~ PLEMELJ [IO] en 1908. II d6montre
un th6or~me de saut dans ~ pour la transform6e de Cauchy. Cela a 6t@ g~n6ralis6 en-
le cas o~ la donn6e est une fonction ~] et par HARVEY et POLKING [6] dans le cas o~
la donn6e est une (p,q)-forme diff6rentielle ~l . Des r6sultats du m~me genre ont 6t6
obtenus r6cemment par DOLBEAULT [3] dans le cas ob l'espace ambiant est un hyperplan
--
et ( F + + F -I V)t = 2(VP ir f(~) ^ ~ (z,~)) t •
) ~CV
D e pl~s pour tous compacts K~V a ssez petit et L c
~± il existe une cons-
IIF±II~,L ~ CIfII~,q(V )
pour toute f E ~J
q(V)~ telle que supp f = K .
D~monstration.
On remarque tout d'abord que l'on peut facilement se ramener au cas ob f est
m6thode utilis6e par HARVEY et POLKING [6] dans la d6monstration du th6or~me de Plemelj
D c M ~ V , SD soit ~l et supp f c ~D N V .
On montre que
d'ordre 2n-] en z = { .
Par ailleurs on a
f(~) - f(z))a°(t,~) =
~C~D VF(t) si t £
ell Z ) ,
relation F + - F-IS D = f .
La seule difficult6 est l'existence lorsque V est de volume fini de VP[ ~°(z,~) .
J<6V
Cela r6sulte de l'expression locale suivante du noyau ~°(z,%) :
~O(z,~ ) (n-l)! ~n lu 2n
[u L0~(u) ^ c0~(u)
(z,~) c(z)
(2iv) n lu!~n <7, u> n
159
diff6rentielle sur V .
te c telle que
]F~II%L ~ C{lfll~l
O n , n _ q _ i (V)
D@monstration.
Comme pr6c@dem~ment, nous pouvons supposer que f est g support dans un domaine
de carte W de M .
on pose ~z,<(u) = A u.
j=l dz'~ 3
n
~' %(0) = Z (-I) j - I 0. A - 0S
z, j=l 3 s¢j 3z'~
v ^
et ~(z,~)
(2i~r)n z,
n-I
On notera ~Q n = ~q(Z,~) et on remarquera que ~ ~°(z ~) n'est
q
q=o,...,n-I q=o
autre que ~o
W×W
On a alors
F(~) = [ zEV
f(z) ^~°(z,~)
q
= I
J
f(z) ^ ~°(z,~)
z£V
zEV zEV
La premiere int~grale est une fonction continue sur W car ~°(z,~) - ~n(~,z) ad-
Pour la seconde int~grale on peut d~montrer , par des m~thodes analogues , une
port compact tel que [i, f] A~p = 0 (rest. [i. f]n'n-qA~p= O) o_~ i est
l'injection de V dans U .
ad__~me~ des valeurs au bord su_r V , vb~ F e__tt vb~ F qui v~rifient :
<vb V+ F - Vbv F , ~ > = (-1) q < [i. f ] O,q+], ~ > (resp.(-|)q+1 <[i, f]n,n-q , ~ >)
D~monstration.
B IBL I OGRAPHI E
V
[2] E.M. CIRKA. - Analytic representation of CR-functions. Math. USSR, Sbornik (4) ,
una funzione analitica di piu variabili complesse. Atti Aecad. Naz. Liencei
[6] R.HARVEY et J.POLKING. - Fundamental solutions in complex analysis. Duke Math. Jour-
[7] G.M.HEN~KIN et J.LEITERER. - Global integral formulas for solving the ~-equation
[8] J.J.KOHN et H.ROSSI. - On the extension of holomorphic functions from the boundary
Funktionen, Randwerte betreffend, Monatsh. Math. und Phys. 19, 1908, p. 205-210.
generalized Bochner-Hartogs theorem. Abh. Math. Sem. Univ. Hamburg, 47, 1978,
p. 3-24.
Norman Levenberg
B. A. Taylor
and let
C(K) = exp(-y(K)).
c , n
(dd u K) : 0 in Cn\K .
UK(Z) = 0, z ~ K\E
where E is a p l u r i p o l a r set.
1
max u K (z )
log T(K} iz I:1
On the other hand, there exist constants A,% > 0 such that for all
compact sets K C {Izl £ i},
Proof. We have a l r e a d y shown that T(K) < C(K). To see that the
other estimate of the T h e o r e m follows from (2.2), c o n s i d e r the f u n c t i o n
_ l fl=lu~(r~)d<~(~)
~ - log r, which is a l o g a r i t h m i c a l l y convex
A(r) Cn I
function of r with lira A(r) < y(K). Thus, A(r) < A(1) + log r
n-1
(2. 5) const. f UK(Z)da(z) £ I ( U K - log R)dCv ~ ~]dcgJ ^~]dCuK 9-j-I
rz[=l j=0 Izp=R
Now use the fact that *
uK(~) -log R < ] + s when [z [ : R is large,
the fact that d C v ^ (ddCv) 3 ^ (ddCu) n r j - I ~ 0 on Izl : R, a n d t h e fact
that (see [TA]) , a s R ÷ ~,
to c o n c l u d e that
< ny
~nn
l=llI! u~(z) do(z)
This completes the proof.
a) the d e g r e e s of the
(z) e
are n o n d e c r e a s i n g , and
3
b) the m o n o m i a l s of a f i x e d d e g r e e are o r d e r e d lexi-
2 2 2
cographically; e.g. z I, ZlZ 2, ZlZ 3, z 2, z2z 3 , z 3
P(z)Q(z) do(z)
= f
Iz!=l
then U* is a u n i t a r y transformation. Let [aik] be the m a t r i x
representing U* in terms of the b a s i s {el(z) } , so that
= 1 • V (K) .
m
f
(4.3) log d(K) : ~ log T(K,8)dm(@)
E (see [Z]). And, because K C{Izl <_ I}, we have f(e) < 0.
However, for a n e g a t i v e convex function of 8 , we have
I i inf f(@)
f(8)d~(@) < ~ @ ~ int(E)
t
log d(K) < -- inf log T(U(K),8 ).
-- n
8eZ
1
< -- log <(U(K), (0 ..... 0,I)).
-- n
References
D e p a r t m e n t of M a t h e m a t i c s
U n i v e r s i t y of M i c h i g a n
Ann Arbor, MI 48109 U.S.A.
HIGHLY NONCONTINUABLE FUNCTIONS ON POLYNOMIALLY C O N V ~ S~S
(3) lim f - 7 a P. = 0.
S-~ j=1 J
Hence in order to show I ° and 2 ° it is sufficient to prove the lol-
l ow in g
Lemma 2 (An extension of the 0strowski theorem on lacunary power
series [2~,~4~,~5~,[13~). Let A be a piece of an algebraic set X. Let
f be holomorphic in the Cartan's sense on A (i.e. f is holomorphic on
First, in order to prove Lemma 2, observe that (d) follows from (c).
176
By the definition of ~( E% E
j=1 J
is uniformly convergent on K for every multiindex cK . Therefore by the
Whitney's extension property of regular fields of Taylor series we can
conclude that f ~ ) and
~f(x) = £ a~Uo<~j(x>, x~ 5.
j=1
177
Then the f u n c t i o n
nj
(4) f(x) := j~=icj ~ X , U j ~ , xe B,
REFER~CES
~1], E.Bedford and B.A.Taylor, A new capacity for plurisubharmonic
functions, Acta Math. 149 (1982), 1-40.
~2~, L.Bieberbach, Analytische Fortsetzung, Springer Verlag 1955.
[3], J.Globevnik and E.L.Stout, Highly noncontinuable functions on
convex domains, Bull.Sci.Math. 104 (1980), 417-434.
~4], A°A.Gon~ar, A local criterion for single-valuedness of analytic
functions, Mat.Sb. 89 (1972), 148-164.
178
Iagellonian University
Institute of Mathematics
Reymonta 4
30-059 KRAKOW, Poland
U n i f o r m a p p r o x i m a t i o n by solutions of h i g h e r
o r d e r C a u c h y - R i e m a n n equations
Joan V e r d e r a
F a c u l t a t de M a t e m & t i q u e s
U n i v e r s i t a t de Barcelona
Gran Via 585. B a r c e l o n a 7. Spain
2. One v a r i a b l e results. Fix a compact subset X of C, and let H(X) be the algebra
of all functions which are holomorphic in a n e i g h b o r h o o d o f X. For O< mEZ, let
H(m,X) denote the H ( X ) - m o d u l e c o n s i s t i n g of (the r e s t r i c t i o n s to X of) the functions
f satisfying ~ m+If : 0 in a n e i g h b o r h o o d (depending on f) of X. Write
A(m,X) = { f E C ( X ) ~ m ~ I : o in X },
Theorem (Trent-Wang [13]). If X has no interior points, then H(I,X) (and therefore
H(m,X), m > i ) is dense in C(X).
Thus the problem is reduced to compact sets with non empty interior, and, in
fact, to compacts which are the closure of their interior. It turns out that the
existence of interior points makes the p r o b l e m much harder, as it does in the holo-
morphic case. The best known result for the case with non empty interior is the
f o l l o w i n g e x t e n s i o n o f M e r g e l y a n theorem (m-O in the statement below).
180
Theorem (Carmona [4]). Suppose that @\X has only finitely many connected compo-
nents. Then H(m,X) is dense in A(m,X), O~m E ~.
Theorem [15]. Suppose that X has no interior points and let f@C~(X). Then f
is approximable in the L i p ( m - l , X ) - n o r m by functions in H(m,X), 1 < m.
In [1.5] more precise results are stated involving S o b o l e v type norms. An inte-
resting fact to point out is that in proving them one is n a t u r a l l y led to a p p l y
the theory of C a l d e r 6 n - Z y g m u n d o p e r a t o r s of h o m o g e n e o u s type.
F u r t h e r results concerning approximation by more general H(X)-modules can be
found in [3] and [14 ].
~2f
(i) ~. ~. - 0 , i _< i , j _< n,
l j
hood of D.
pseudoconvexity is necessary.
We come now to present a description of the main steps in the proof of the
Theorem. We will use Vitushkin technique of separation of singularities, as adapted
by Henkin to deal with approximation problems by holomorphic functions in strictly
pseudoeonvex domains.
To get concise expressions for our formulae we introduce an operator, denoted
by 8, acting on forms in the following way
Recall that
3
P.(~,z),
¢(~,z) (and thus H(~,z) and K(C,z)) are defined for ~ in a
neighborhood of bD and for z in a neighborhood of D. Using remark (b) and the reprod~
cing property of Henkin's kernel we obtain the following
Having at our disposal an integral formula we can easily write down the operators
S.. For f E A(D) ACI(D) define
i
One shows without pain that S f satisfies properties (a),(b) and (c), for f E
i
E A(D) NCI(D). The trouble is that we need to get S defined on the whole of A(D) in
i
such a way that (a),(b) and (c) hold for f~A(D). The idea is to remove the derivati-
ve on f in the second integral in the above formula by performing an integration by
parts via Stoke's Theorem. The problem in applying Stoke's Theorem is that we have not
defined K(~,z) for ~ in a neighborhood of D.
Fortunately, one knows several methods to extend the map P(~,z) = (Pl(~,z), ...
.... Pn(~,z)) to a map P~((,z) : (P~(~,z),...,P~(~,z)) defined on a neighborhood of
D× D, satisfying the following property: if ¢~(~,z), H~(<,z) and K~(~,z) are defined
by the right hand sides of (2), (3) and (4) respectively, with Pj replaced by P~ (and
3
by 9~), then the following "generalized Cauehy integral formula" holds
Observe now that the five terms in the right hand side of (6) make sense for
183
(8) t te~CeK*(C,z)
1 dora(E) j const r, z6D,
JDnB(z,r)
where m is Lebesgue measure in cn, and B(z,r) is the Euclidean ball with center
z and radius r. Inequality (7) generalizes a familiar property of Cauchy kernel
in are variable, and it is interesting in its own right. For example, using (7)
one is able to prove the Lip ~ estimate for solutions of t h e ~ - e q u a t i o n by adapting
the one variable argument (see [2]). Inequality (8) is (essentially) reduced to
(7) owing to the particularly simple formulas defining P~.
Further details can be found in [2].
References