arxiv: v7 [math.cv] 8 Apr 2009

Transcription

1 arxiv:08.067v7 [math.cv] 8 Ar 009 THE CORONA THEOREM FOR THE DRURY-ARVESON HARDY SPACE AND OTHER HOLOMORPHIC BESOV-SOBOLEV SPACES ON THE UNIT BALL IN C n ŞERBAN COSTEA, ERIC T. SAWYER, AND BRETT D. WICK Abstract. We rove that the multilier algebra of the Drury-Arveson Hardy sace Hn on the unit ball in Cn has no corona in its maximal ideal sace, thus generalizing the Corona Theorem of L. Carleson to higher dimensions. This result is obtained as a corollary of the Toelitz corona theorem and a new Banach sace result: the Besov-Sobolev sace B σ has the baby corona roerty forallσ 0 and < <. In addition we obtain infinite generator and semi-infinite matrix versions of these theorems. Contents. Introduction. The corona roblem in C n 3.. The Baby Corona Theorem 4.. Plan of the aer 6 3. Charentier s solution kernels for 0, q-forms on the ball Ameliorated kernels 4. Integration by arts The radial derivative Integration by arts in ameliorated kernels 8 5. The Koszul comlex Wedge roducts and factorization of the Koszul comlex 0 6. An almost invariant holomorhic derivative 6.. Real variable analogues of Besov-Sobolev saces 5 7. Schur s Test Oerator estimates Estimates in secial cases The estimates for general F µ Aendix Charentier s solution kernels Integration by arts formulas in the ball Equivalent seminorms on Besov-Sobolev saces Schur s test 78 References 8. Research suorted in art by a grant from the National Science and Engineering Research Council of Canada.. Research suorted in art by National Science Foundation DMS Grant #

2 Ş. COSTEA, E. T. SAWYER, AND B. D. WICK. Introduction In 96 Lennart Carleson demonstrated in [] the absence of a corona in the maximal ideal sace of H D by showing that if {g j } N j is a finite set of functions in H D satisfying N. g j z c > 0, z D, j then there are functions {f j } N j in H D with. N f j zg j z, z D, j In 968 Fuhrmann [4] extended Carleson s corona theorem to the finite matrix case. In 980 Rosenblum [3] and Tolokonnikov [7] roved the corona theorem for infinitely many generators N. This was further generalized to the one-sided infinite matrix setting by Vasyunin in 98 see [8]. Finally Treil [30] showed in 988 that the generalizations sto there by roducing a counterexamle to the two-sided infinite matrix case. Hörmander noted a connection between the corona roblem and the Koszul comlex, and in the late 970 s Tom Wolff gave a simlified roof using the theory of the equation and Green s theorem see [5]. This roof has since served as a model for roving corona tye theorems for other Banach algebras. While there is a large literature on corona theorems in one comlex dimension see e.g. [9], rogress in higher dimensions has been limited. Indeed, aart from the simle cases in which the maximal ideal sace of the algebra can be identified with a comact subset of C n, no corona theorem has been roved until now in higher dimensions. Instead, artial results have been obtained, such as the beautiful Toelitz corona theorem for Hilbert function saces with a comlete Nevanlinna- Pick kernel, the H coronatheorem on the ball and olydisk, and results restricting N to generators in. the case N is trivial. In articular, Varooulos [35] ublished a lengthy classic aer in an unsuccessful attemt to rove the corona theorem for the multilier algebra H of the classical Hardy sace H of holomorhic functions on the ball with square integrable boundary values. His BM O estimates for solutions with N generators remain unimroved to this day. We will discuss these artial results in more detail below. Our main result is that the corona theorem, namely the absence of a corona in the maximal ideal sace, holds for the multilier algebra M H n of the Hilbert sace H n, the celebrated Drury-Arveson Hardy sace on the ball in n dimensions. Theorem. If {g j } N j is a finite set of functions in M Hn there are functions {f j } N j in M Hn satisfying.. satisfying., then In many ways Hn, and not the more familiar sace H, is the natural generalization to higher dimensions of the classical Hardy sace on the disk. For examle, Hn is universal among Hilbert function saces with the comlete Pick roerty, and its multilier algebra M H n is the correct home for the multivariate von Neumann inequality see e.g. [9]. See Arveson [8] for more on the sace Hn, including the model theory of n-contractions.

3 THE CORONA THEOREM IN C n 3 More generally, the corona theorem holds for the multilier algebras M B σ of the Besov-Sobolev saces B σ, 0 σ, on the unit ball in C n. The sace B σ consists roughly of those holomorhic functions f whose derivatives of order n σ lie in the classical Hardy sace H, and is normed by { m f B σ B n k0 f k 0 + z m+σ R m f z dλ n z for some m > n σ where R n j z j z j is the radial derivative. In articular H n B. Finally, wealsoobtainsemi-infinite matrix versionsofthese results. Note: Our techniques also yield BMO estimates for the H corona roblem, which will aear elsewhere.. The corona roblem in C n Let X be a Hilbert sace of holomorhic functions in an oen set Ω in C n that is a reroducing kernel Hilbert sace with a comlete irreducible Nevanlinna-Pick kernel see [9] for the definition. The following Toelitz corona theorem is due to Ball, Trent and Vinnikov [0] see also Ambrozie and Timotin [] and Theorem 8.57 in [9]. For f f α N α N X and h X, define M f h f α h N α and f MultX, N X M f X N X su M f h N X. h X Note that max α N M fα MX f MultX, N X N α M f α M X. Toelitz corona theorem: LetX beahilbert function saceinanoenset Ω in C n with an irreducible comlete Nevanlinna-Pick kernel. Let δ > 0 and N N. Then g,...,g N M X satisfy the following baby corona roerty ; for every h X, there are f,...,f N X such that f X f N X δ h X,. g zf z+...+g N zf N z hz, z Ω, },. if and only if g,...,g N M X satisfy the following multilier coronaroerty ; there are ϕ,...,ϕ N M X such that ϕ MultX, N X, g zϕ z+...+g N zϕ N z δ, z Ω. The baby corona theorem is saidtohold forx ifwheneverg,...,g N M X satisfy.3 g z g N z c > 0, z Ω, then g,...,g N satisfy the baby corona roerty.. The Toelitz corona theorem thus rovides a useful tool for reducing the multilier corona roerty. to the more tractable, but still very difficult, baby corona roerty. for multilier algebras M B σ of certain of the Besov-Sobolev saces B σ when - see below. The caseofm B σ when must be handled by moreclassicalmethods and remains largely unsolved.

4 4 Ş. COSTEA, E. T. SAWYER, AND B. D. WICK Remark. A standard abstract argument alies to show that the absence of a corona for the multilier algebra M X, i.e. the density of the linear san of oint evaluations in the maximal ideal sace of M X, is equivalent to the following assertion: for each finite set {g j } N j M X such that.3 holds for some c > 0, there are { ϕ j } N j M X and δ > 0 such that condition. holds. See for examle Lemma 9..6 in [9] or the roof of Criterion 3.5 on age 39 of [5]... The Baby Corona Theorem. To treat N > generators in., it is just as easy to treat the case N, and this has the advantage of not requiring bookkeeing of constants deending on N. We will use the Koszul comlex for infinitely many generators, and invert higher order forms in the equation, and 3 devise new estimates for the Charentier solution oerators for these equations including, a the use of shar estimates on Euclidean exressions w z w f in terms of the invariant derivative f see Proosition 4, b the use of the exterior calculus together with the exlicit form of Charentier s solution kernels in Theorems 4 and 6 to handle rogue Euclidean factors w j z j see Section 8, and c the alication of generalized oerator estimates of Schur tye in Lemma 0 to obtain aroriate boundedness of solution oerators. In addition to these novel elements in the roof, we make crucial use of the beautiful integration by arts formula of Ortega and Fabrega [0], and in order to obtain l -valued results, we use the clever factorization of the Koszul comlex in Andersson and Carlsson [4] but adated to l. Notation. For sequences f z f i z i l we will write f z f i z. i When considering sequences of vectors such as m f z m f i z i, the same notation m f z i m f i z will be used with m f i z denoting the Euclidean length of the vector m f i z. Thus the symbol is used in at least three different ways; to denote the absolute value of a comlex number, the length of a finite vector in C N and the norm of a sequence in l. Later it will also be used to denote the Hilbert-Schmidt norm of a tensor, namely the square root of the sum of the squares of the coefficients in the standard basis. In all cases the meaning should be clear from the context. Recall that B σ Bn ;l consists of all f f i i H ;l such that.4 m f B σ ;l k f 0 + k0 z m+σ m f z dλ n z <, for some m > n σ. By Proosition below see also [], the right side is finite for some m > n σ if and only if it is finite for all m > n σ. As usual we will write B σ for the scalar-valued sace.

5 THE CORONA THEOREM IN C n 5 Wenowstateourbabycoronatheoremforthel -valuedbanachsacesb σ Bn ;l, σ 0, < <. Observe that for σ < 0, M B σ B σ is a subalgebra of C [ and so has no corona. The N generator case of Theorem when σ 0, n, and < < is due to Ortega and Fabrega [0], who also obtain the N generator case when σ n and <. See Theorem A in [0]. In [] Ortega and Fabrega rove analogous results with scalar-valued Hardy-Sobolev saces in lace of the Besov-Sobolev saces. Let M g B σ B σbn;l denote the norm of the multilication oerator M g from B σb n to the l -valued Besov-Sobolev sace B σ Bn ;l. Theorem. Let δ > 0, σ 0 and < <. Then there is a constant C n,σ,,δ such that given g g i i M B σ Bn Bσ Bn;l satisfying M g B σ B σbn;l, g j z δ > 0, z, j there is for each h B σ a vector-valued function f B σ Bn ;l satisfying.5 f B σ ;l C n,σ,,δ h B σ, j g j zf j z hz, z. Corollary. Let 0 σ. Then the Banach algebra M B σ Bn has no corona, i.e.. imlies.. In articular this includes Theorem that the multilier algebra of the Drury-Arveson sace H n B has no corona the one-dimensional case is Carleson s corona theorem, and also includes that the multilier algebra of the n- dimensional Dirichlet sace D B 0 has no corona the one-dimensional case here is due to Tolokonnikov [9]. The corollary follows immediately from the finite generator case of Theorem and the Toelitz corona theorem and Remark since the saces B σ have an irreducible comlete Nevanlinna-Pick kernel when 0 σ [7]. We also have a semi-infinite matricial corona theorem. Corollary. Let 0 σ. Let H be a finite m-dimensional Hilbert sace and let H be an infinite dimensional searable Hilbert sace. Suose that F M B σ H H satisfies δ I m F zfz I m. Then there is G M B σ H H such that GzFz I m, G MB σ BnH H C σ,n,δ,m. This corollary follows immediately from the case of Theorem and the Toelitz corona theorem together with Theorem MCT in Trent and Zhang [34]. See [34] for the notation used here. We already commented above on the secial case of this corollary for the Hardy sace B B H D on the disk. The case m of this corollary for the classical Dirichlet sace B 0 B DD on the disk is due to Trent [33]. It would be of interest to determine the deendence of the constants on and δ in Theorem.

6 6 Ş. COSTEA, E. T. SAWYER, AND B. D. WICK... Prior results. In [4] Andersson and Carlsson solve the baby corona roblem for H and obtain the analogous baby H corona theorem on the ball for < < and with constants indeendent of the number of generators see also Amar [], Andersson and Carlsson [5],[3] and Krantz and Li [6]. Partial results on the corona roblem restricted to N generators and BMO in lace of L estimates have been obtained for H the multilier algebra of H by N. Varooulos [35] in 977. This classical corona roblem remains oen Problem in [4], along with the corona roblems for the multilier algebras of B σ, < σ < n. More recently in 000 J. M. Ortega and J. Fabrega [0] obtain artial results with N generators in. for the algebras M B σ when 0 σ <, i.e. from the Dirichlet sace B 0 u to but not including the Drury-Arveson Hardy sace Hn B. To handle N generators they exloit the fact that a antisymmetric matrix consists of just one entry u to sign, so that as a consequence the form Ω in the Koszul comlex below is -closed. The aer [0] by Ortega and Fabrega has roved to be of enormous influence in our work, as the basic groundwork and aroach we use are set out there. In [3] S. Treil and the third author obtain the H corona theorem on the olydiskd n see alsolin [8] and Trent[3]. The Hardysace H D n on the olydisk fails to have the comlete Nevanlinna-Pick roerty, and consequently the Toelitz corona theorem only holds in a more comlicated sense that a family of kernels must be checked for ositivity instead of just one. As a result the corona theorem for the algebra H D n on the olydisk remains oen for n. Finally, even the baby corona roblems, aart from that for H, remain oen on the olydisk... Plan of the aer. We will rove Theorem using the Koszul comlex and a factorization of Andersson and Carlsson, an exlicit calculation of Charentier s solution oerators, and generalizations of the integration by arts formulas of Ortega and Fabrega, together with new estimates for boundedness of oerators on certain real-variable analogues of the holomorhic Besov-Sobolev saces. Here is a brief lan of the roof. We are given an infinite vector of multiliers g g i i M B σbn Bσ Bn;l that satisfy M g B σ B σbn;l and inf g δ > 0, and an element h B σ. We wish to find f f i i Bσ Bn ;l such that M g f g f h, f 0, 3 f B σ ;l C n,σ,,δ h B σ. An obvious first attemt at a solution is f g g h, since f obviously satisfies, can be shown to satisfy 3, but fails to satisfy in general. To rectify this we use the Koszul comlex in Section 5, which emloys any solution to the roblem on forms of bidegree 0,q, q n, to roduce a

7 correction term Λ g Γ 0 so that THE CORONA THEOREM IN C n 7 f g g h Λ gγ 0 now satisfies and, but 3 is now in doubt without secifying the exact nature of the correction term Λ g Γ 0. In Section 3 we exlicitly calculate Charentier s solution oerators to the equation for use in solving the roblems arising in the Koszul comlex. These solution oerators are remarkably simle in form and moreover are suerbly adated for obtaining estimates in real-variable analogues of the Besov-Sobolev saces in the ball. In articular, the kernels Kw, z of these solution oerators involve exressions like.6 wz n q w q w z w,z n, where w,z P z w z+ z Q z w z is the length of the vector w z shortened by multilying by z its rojection Q z w z onto the orthogonal comlement of the comlex line through z. Also useful is the identity w,z wz ϕ z w where ϕ z is the involutive automorhism of the ball that interchanges z and 0; in articular this shows that dw,z w,z is a quasimetric on the ball. In Section 6. we introduce real-variable analogues Λ σ,m of the Besov- Sobolev saces B σ along with l -valued variants, that are based on the geometry inherent in the comlex structure of the ball and reflected in the solution kernels in.6. In articular these norms involve modifications D of the invariant derivative in the ball: Df w w P w + w Q w. Three crucial inequalities are then develoed to facilitate the boundedness of the Charentier solution oerators, most notably.7 z m wα wαf w C w,zm w m m D F w, for F H ;l, which controls the roduct of Euclidean lengths with Euclideanderivativesontheleft, intermsoftheroductofthesmallerlength w,z and the larger derivative w D on the right. We caution the reader that our definition of D m is not simly the comosition of m coies of D - see Definition 6 below. In Section 4 we recall the clever integration by arts formulas of Ortega and Fabrega involving the left side of.7, and extend them to the Charentier solution oerators for higher degree forms. If we differentiate.6, the ower of w,z in the denominator can increase and the integration by arts in Lemma 3 below will temer this singularity on the diagonal. On the other hand the radial integration by arts in Corollary 3 below will temer singularities on the boundary of the ball.

8 8 Ş. COSTEA, E. T. SAWYER, AND B. D. WICK In Section 7 we use Schur s Test to establish the boundedness of ositive oerators with kernels of the form z a w b w,z c wz a+b+c+n+. The case c 0 is standard see e.g. [36] and the extension to the general case follows from an automorhic change of variables. These results are surrisingly effective in dealing with the ameliorated solution oerators of Charentier. Finally in Section 8 we ut these ieces together to rove Theorem. The aendix collects technical roofs of formulas and modifications of existing roofs in the literature that would otherwise interrut the main flow of the aer. 3. Charentier s solution kernels for 0, q-forms on the ball In Theorem I. on age 7 of [3], Charentier roves the following formula for 0, q-forms: Theorem 3. For q 0 and all forms f ξ C of degree 0,q +, we have for z : { } f z C q f ξ Cn 0,q+ ξ,z+c q z f ξ Cn 0,q ξ,z. Here Cn 0,q ξ,z is a n,n q -form in ξ on the ball and a 0,q-form in z on the ball that is defined in Definition below. Using Theorem 3, we can solve z u f for a -closed 0,q +-form f as follows. Set uz c q fξ Cn 0,q ξ,z Taking z of this we see from Theorem 3 and f 0 that z u c q z fξ C 0,q n ξ,z fz. It is essential for our roof to exlicitly comute the kernels Cn 0,q when 0 q n. The case q 0 is given in [3] and we briefly recall the setu. Denote by : C n C n [0, the ma w,z wz w z. We comute that 3. w,z Rewz + wz { w z + w z } and by symmetry w z + wz w z z w z + z w z w + wz z w z + z 4 Re z wz + wz z w z + zw z, w,z w w z + ww z.

9 THE CORONA THEOREM IN C n 9 We also have the standard identity 3. w,z zw ϕ w z, where Thus we also have 3.3 ϕ w z P ww z+ w Q w w z. wz w,z P wz w+ w Q w z w P zz w+ z Q z z w. It is convenient to combine the many faces of w,z in 3., 3. and 3.3 in: 3.4 w,z wz w z z w z + zw z w w z + ww z To comute the kernels C 0,q n µξ,w,z wz ϕ w z wz ϕ z w P wz w+ w Q w z w P zz w+ z Q z z w. ξw z n we start with the Cauchy-Leray form n i [ ] ξ i j i dξ j n i dw i z i, i which is a closed form on C n C n C n since with ζ w z, µ is a ullback of the form νξ,ζ n ξζ n i [ ] ξ i j i dξ j n i dζ i, i which is easily comuted to be closed see e.g in [4]. One then lifts the form µ via a section s to give a closed form on C n C n. Namely, for s : C n C n C n one defines, s µw,z sw,zw z n n i s i w,z[ j i ds j ] n i dw i z i. Now we fix s to be the following section used by Charentier: 3.5 sw,z w wz z w. i

10 0 Ş. COSTEA, E. T. SAWYER, AND B. D. WICK Simle comutations [0] demonstrate that { 3.6 sw,zw z w wz z w } w z { } w z wzw+ w z w z w z wz w wz + w zw z by the second line in 3.. w z wz w + wz + w zw w z w z + wz w z w,z, Definition. We define the Cauchy Kernel on to be 3.7 C n w,z s µw,z for the section s given in 3.5 above. Definition. For 0 n and 0 q n we let C,q n be the comonent of C n w,z that has bidegree,q in z and bidegree n,n q in w. Thus if η is a,q+-form in w, then Cn,q η is a,q-form in z and a multile ofthe volume form in w. We now reareto giveexlicit formulasfor Charentier s solution kernels Cn 0,q w,z. First we introduce some notation. Notation. Let ω n z n j dz j. For n a ositive integer and 0 q n let P q n denote the collection of all ermutations ν on {,...,n} that ma to {i ν,j ν,l ν } where J ν is an increasing multi-index with cardj ν n q and cardl ν q. Let ǫ ν sgnν {,} denote the signature of the ermutation ν. Note that the number of increasing multi-indices of length n q is n! q+!n q!, n! while the number of increasing multi-indices of length q are q!n q!. Since we are only allowed certain combinations of J ν and L ν they must have disjoint intersection and they must be increasing multi-indices, it is straightforward to see that the total number of ermutations in Pn q that we are considering is n! n q!q!. From Øvrelid [] we obtain that Charentier s kernel takes the abstract form Cn 0,q w,z w,z n sgnνs iν w s j z s l ω n w. j J ν l L ν ν P q n Fundamental for us will be the exlicit formula for Charentier s kernel given in the next theorem. We areinformed by Partof ProositionI. in [3] that Cn,q w,z 0 for w, and this serves as a guiding rincile in the roof we give in the aendix. It is convenient to isolate the following factor common to all summands in the formula: wz n q w q 3.8 Φ q nw,z w,z n, 0 q n. Theorem 4. Let n be a ositive integer and suose that 0 q n. Then 3.9 Cn 0,q w,z q Φ q nw,zsgnνw iν z iν dw j dz l ωn w. j J ν l L ν ν P q n

11 THE CORONA THEOREM IN C n Remark. We can rewrite the formula for Cn 0,q w,z in 3.9 as 3.0 Cn 0,q w,z Φ q nw,z µk,j z k w k dz J dw J {k}c ω n w, J q k/ J where J {k} here denotes the increasing multi-index obtained by rearranging the integers {k,j,...j q } as J {k} { j,...j µk,j,k,j µk,j,...j q }. Thus k occuies the µk,j th osition in J {k}. The notation J {k} c refers to the increasing multi-index obtained by rearranging the integers in {,,...n} \ J {k}. To see 3.0, we note that in 3.9 the ermutation ν takes the n-tule,,...n to i ν,j ν,l ν. In 3.0 the n-tule k,j {k} c,j corresonds to i ν,j ν,l ν, and so sgnν becomes in 3.0 the signature of the ermutation that takes,,...n to k,j {k} c,j. This in turn equals µk,j with µk,j as above. We observe at this oint that the functional coefficient in the summands in 3.9 looks like q Φ q nw,zw iν z iν q wzn q w q w,z n w iν z iν, which behaves like a fractional integral oerator of order in the Bergman metric on the diagonal relative to invariant measure. See the aendix for a roof of Theorem 4. Finally, we will adot the usual convention of writing Cn 0,q f z f w Cn 0,q w,z, when we wish to view Cn 0,q as an oerator taking 0,q +-forms f in w to 0,q- forms Cn 0,q f in z. 3.. Ameliorated kernels. We now wish to define right inverses with imroved behaviour at the boundary. We consider the case when the right side f of the equation is a,q +-form in. As usual for a ositive integer s > n we will roject the formula Cs,q f f in B s for a -closed form f in B s to a formula Cn,s,qf f in for a -closed form f in. To accomlish this we define ameliorated oerators C,q C,q n,s R nc,q s E s, n,s by where for n < s, E s R n is the extension restriction oerator that takes forms Ω η I,J dw I dw J in B s and extends restricts them to B s by E s ηi,j dw I dw J ηi,j R dw I dw J, R n ηi,j dw I dw J ηi,j E dw I dw J. I,J {,,...,n} Here R is the natural orthogonal rojection from C s to C n and E is the natural embeddingofc n intoc s. Inotherwords,weextendaformbytakingthecoefficients to be constant in the extra variables, and we restrict a form by discarding all wedge

12 Ş. COSTEA, E. T. SAWYER, AND B. D. WICK roducts of differentials involving the extra variables and restricting the coefficients accordingly. For s > n we observe that the oerator Cn,s,q has integral kernel 3. Cn,sw,z,q Cs,q w,w,z,0dv w, w B s n z,w, where B s n denotes the unit ball in C s n with resect to the orthogonal decomosition C s C n C s n, and dv denotes Lebesgue measure. If f w is a -closed form on then f w,w f w is a -closed form on B s and we have for z, f z f z,0 s w,w,z,0f wdv wdv w { } Cs,q w,w,z,0dv w w B s n B s C,q Cn,sw,zf,q wdv w. f wdv w We have roved that Cn,sf,q z Cn,sw,zf,q wdv w is a right inverse for on -closed forms: Theorem 5. For all s > n and -closed forms f in, we have C,q n,s f f in. We will use only the case 0 of this theorem and from now on we restrict our attention to this case. The oerators Cn,s 0,0 have been comuted in [0] and are given by 3. C 0,0 n,s f z where C 0,0 n c n,j,s j0 w s n+j z j wz s n+j wz j Cn 0,0 w,z f w, n w,z c wz n 0{ wz w z } n n j w j z j n dw k dw l. k j j l

13 THE CORONA THEOREM IN C n 3 A similar result holds for the oerators C 0,q n,s. Define Φ q n,s w,z Φq n w,z w s n n q w z j c j,n,s wz wz j0 wz n q w q w n q j0 w,z n c j,n,s wz n q j s n n q wz j0 w s n+q+j z j wz s n+j w,z n. w z j c j,n,s wz Note that the numerator and denominator are balanced in the sense that the sum of the exonents in the denominator minus the corresonding sum in the numerator counting w,z double is s+n+j s+j n+, the exonent of the invariant measure of the ball. Theorem 6. Suose that s > n and 0 q n. Then we have Cn,s 0,q w,z C0,q n w,z w s n n q w z j c j,n,s wz j0 wz Φ q n,s w,z µk,j z k w k dz J dw J {k}c ω n w. J q k/ J Proof: For s > n recall that the kernels of the ameliorated oerators C 0,q n,s are givenin 3.. For easeof notation, we will set k s n, sowe have C s C n C k. Suose that 0 q n. Recall from 3.9 that where w q s w,z q wzs q w,z s sgnνw iν z iν dw j dz l ωs w ν Ps q j J ν l L ν q s,i ν w,z dw j dz l ωs w. j J ν l L ν C 0,q ν P q s wz s q w q q s,i ν w,z Φ q s w,zw i ν z iν w,z s w iν z iν. To comute the ameliorations of these kernels, we need only focus on the functional coefficient q s,i ν w,z of the kernel. It is easy to see that the ameliorated kernel can only give a contribution in the variables when i ν n, since when n+ i ν s the functional kernel becomes radial in certain variables and thus reduces to zero uon integration.

14 4 Ş. COSTEA, E. T. SAWYER, AND B. D. WICK Then for any i n the corresonding functional coefficient q s,i w,z has amelioration q n,s,i w,z given by q n,s,i w,z w B s n q s,i w,w,z,0dvw wz s q w w q z i w i w B k w,w,z,0 s dv w z i w i wz s q w w q w B k w,w,z,0 sdv w. Theorem 6 is a thus a consequence of the following elementary lemma, which will find alication in Section 4 below on integration by arts as well. Lemma. We have wz s q w w q w B s n w,w,z,0 sdvw π s n s n! Φq n w,z w s n n q w z j c j,n,s wz wz. See the aendix for a roof of Lemma. j0 4. Integration by arts We begin with an integration by arts formula involving a covariant derivative in [0] Lemma. on age 57 that reduces the singularity of the solution kernel on the diagonal at the exense of differentiating the form. However, in order to reare for a generalization to higher order forms, we relace the covariant derivative with the notion of Z z,w -derivative defined in 4. below. Recall Charentier s exlicit solution Cn 0,0 η to the equation Cn 0,0 η η in the ball when η is a -closed 0,-form with coefficients in C : the kernel is given by C 0,0 n w,z c 0 wz n w,z n for w,z where n j w j z j n dw k dw l, k j j w,z wz w z. Define the Cauchy oerator S n on with kernel S n ζ,z c ζz n dσζ, ζ,z. Let η n j η jdw j be a 0,-form with smooth coefficients. Let Z Z z,w be the vector field acting in the variable w w,...,w n and arameterized by z z,...,z n given by n 4. Z Z z,w w j z j. w j j l

15 THE CORONA THEOREM IN C n 5 It will usually be understood from the context what the acting variable w and the arameter variable z are in Z z,w and we will then omit the subscrits and simly write Z for Z z,w. Definition 3. For m 0, define the m th order derivative Z m η of a 0,-form η n k η kwdw k to be the 0,-form obtained by comonentwise differentiation holding monomials in w z fixed: 4. Z m ηw n k Z m η k wdw k n k n α m w z α m η k w α w dw k. Lemma. cf. Lemma. of [0] For all m 0 and smooth 0,-forms η n k η kwdw k, we have the formula, 4.3 Cn 0,0 ηz Cn 0,0 w,z ηw m j0 +c m c j S n w,z Z B j [Z ] η wdσw n Cn 0,0 w,z Z m ηw. Here the 0,-form Z j η acts on the vector field Z in the usual way: Z j [Z ] n n η Z j n η k wdw k w i z i w k z k Z j η w k w. i k We can also rewrite the final integral in 4.3 as Cn 0,0 w,z Zm ηw Φ 0 n w,z Z m [Z ] η wdv w. i See the aendix for a roof of Lemma. k We now extend Lemma to 0,q +-forms. Let η η I wdw I I q+ bea0,q +-formwithsmoothcoefficients. Givena0,q +-formη I q+ η I dwi andanincreasingsequencej oflength J q, wedefinetheinteriorroductη dw J of η and dw J by 4.4 η dw J I q+η I dw I dw J µk,j η J {k} dw k, k/ J since dw I dw J µk,j dw k if k I \ J is the µk,j th index in I, and 0 otherwise. Recall the vector field Z defined in 4.. The key connection between

16 6 Ş. COSTEA, E. T. SAWYER, AND B. D. WICK η dw J and the vector field Z is η dw J Z n n µk,j η J {k} dw k 4.5 w j z j w j k n w k z k µk,j η J {k}. k We now define an m th order derivative D m η of a 0,q +-form η using the interior roduct. In the case q 0 we will have D m η Z η m [Z ] for a 0,- form η. Remark 3. We are motivated by the fact that the Charentier kernel Cn 0,qw,z takes 0,q +-forms in w to 0,q-forms in z. Thus in order to exress the solution oerator Cn 0,q in terms of a volume integral rather than the integration of a form in w and z, our definition of D m η, even when m 0, must include an aroriate exchange of w-differentials for z-differentials. Definition 4. Let m 0. For a 0,q+-form η I q+ η Idw I in the variable w, define the 0,q-form D m η in the variable z by D m ηw Z m η dw J [ Z ] wdz J. J q Again it is usually understood what the acting and arameter variables are in D m m but we will write D z,w ηw when this may not be the case. Note that for a 0,q +-form η I q+ η Idw I, we have η η dw J dw J, J q and using 4. the above definition yields 4.6 D m ηw Z m η dw J [ Z ] wdz J J q n J q k J q k j w k z k µk,j Z m η J {k} wdz J n w k z k µk,j α m w z α m η J {k} w α w dzj. Thus the effect of D m on a basis element η I dw I is to relace a differential dw k from dw I I J {k} with the factor µk,j w k z k and this is accomlished by acting a 0,-form on Z, relace the remaining differential dw J with dz J, and then to aly the differential oerator Z m to the coefficient η I. We will refer to the factor w k z k introduced above as a rogue factor since it is not associated with a derivative w k in the way that w z α is associated with m w. The oint of this α distinction will be exlained in Section 8 on estimates for solution oerators.

17 THE CORONA THEOREM IN C n 7 The following lemma exresses Cn 0,qηz in terms of integrals involving Dj η for 0 j m. Note that the overall effect is to reduce the singularity of the kernel on the diagonal by m factors of w,z, at the cost of increasing by m the number of derivatives hitting the form η. Recall from 3.8 that wz w n l l Φ l n w,z w,z n. We define the oerator Φ l n on forms η by Φ l n B ηz Φ l n w,zηwdv w. n Lemma 3. Let q 0. For all m 0 we have the formula, m 4.7 Cn 0,q ηz q c k S n D j η z+ c l Φ l n D m η z. k0 The roof is simly a rerise of that of Lemma comlicated by the algebra that reduces matters to 0, -forms. See the aendix. 4.. The radial derivative. Recall the radial derivative R n j w j w j from 6.4. Here is Lemma. on age 58 of [0]. See the aendix for a roof. Lemma 4. Let b >. For Ψ C C we have w b ΨwdV w w b+ n+b+ b+ l0 Remark 4. Tyically the above lemma is alied with Ψw wz s ψw,z where z is a arameter in the ball and RΨw wz s Rψw,z since s wz is antiholomorhic in w. I + b+ R ΨwdV w. We will also need to iterate Lemma 4, and for this urose it is convenient to introduce for m the notation R b R b,n n+b+ I + b+ b+ R, m Rb m R b+m R b+m...r b R b+m k. k Corollary 3. Let b >. For Ψ C C we have w b ΨwdV w B n w b+m R m b ΨwdV w.

18 8 Ş. COSTEA, E. T. SAWYER, AND B. D. WICK Remark 5. The imortant oint in Corollary 3 is that combinations of radial derivatives R and the identity I are layed off against owers of w. It will sometimes be convenient to write this identity as F wdv w R m b F wdv w where 4.8 R m b w b+m R m b w b, and rovided that Ψw w b F w lies in C Bn C. 4.. Integration by arts in ameliorated kernels. We must now extend Lemma 3 and Corollary 3 to the ameliorated kernels Cn,s 0,q given by C 0,q n,s R nc 0,q s E s. Since Corollary 3 already alies to very general functions Ψw, we need only consider an extension of Lemma 3. The rocedure for doing this is to aly Lemma 3 to Cs 0,q in s dimensions, and then integrate out the additional variables using Lemma. Lemma 5. Suose that s > n and 0 q n. For all m 0 and smooth 0,q +-forms η in we have the formula, m n,s ηz c k,n,s S n,s C 0,q k0 D k η [Z ] q z+ c l,n,s Φ l n,s l0 D m η z, where the ameliorated oerators S n,s and Φ l n,s have kernels given by, w s n w s n S n,s w,z c n,s wz s c n,s wz wz n+, Φ l n,s w,z Φl n w,z w s n n l w z j c j,n,s wz wz. Proof: Recall that for a smooth 0,q +-form ηw I q+ η I dwi in, the 0,q-form D m E s η is given by D m E s ηw D m η dw J dz J J q J qd m k/ J J q k/ J µk,j j0 J qd m k/ J µk,j η J {k} wdw k α m µk,j η J {k} wdw k dz J w k z k w z α m w αη J {k} w, where J {k} is a multi-index with entries in I n {,,...,n} since the coefficient η I vanishes if I is not contained in I n. Moreover, the multi-index α lies in I n m since the coefficients η I are constant in the variable w w n+,...,w s. Thus D m z,0,w,w E sη D m z,wη D m η, dz J

19 THE CORONA THEOREM IN C n 9 and we comute that R n Φ l s Dz,0,w,w m E sη z Φ l s Dm η z,0 µk,j J q k I n\j α m where J {k} I n and α I n m and Φ l s w k z k w z α m w αη J {k} w z,0 Φ l s w k z k w z α m w αη J {k}w,w z,0, s l wz w Bs w l w k z k w z α m w,w,z,0 s w w l wzs l B s n w,w,z,0 s dv w j0 w αη J {k}wdv w,w w k z k w z α m w αη J {k}wdv w. By Lemma the term in braces above equals π s n w s n n l w z j s n! Φl nw,z c j,n,s wz wz, and now erforming the sum J q k I n\j µk,j α m yields 4.9 R n Φ l s Dz,0 m E sη z Φ l s D m z η z,0 Φ l n,s D m z η z. An even easier calculation using formula in.4.4 on age 4 of [4] shows that 4.0 R n S s E s Dzη z,0 k S s Dzη z,0 k S n,s Dzη k z, and now the conclusion of Lemma 5 follows from 4.9, 4.0, the definition C 0,q R n Cs 0,q E s, and Lemma The Koszul comlex n,s Here we briefly review the algebra behind the Koszul comlex as resented for examle in [8] in the finite dimensional setting. A more detailed treatment in that setting can be found in Section of [5]. Fix h holomorhic as in.5. Now if g g j j satisfies g j g j δ > 0, let Ω 0 g g g j g j Ω 0 j j, which we view as a -tensor in l C of 0,0-forms with comonents Ω 0 j g j. Then f Ω g 0hsatisfiesM g f f g h, but ingeneralfailstobe holomorhic. The Koszul comlex rovides a scheme which we now recall for solving a sequence of equations that result in a correction term Λ g Γ 0 that when subtracted from f above yields a holomorhic solution to the second line in.5. See below.

20 0 Ş. COSTEA, E. T. SAWYER, AND B. D. WICK The -tensor of 0,-forms Ω 0 Ω 0 j g j g g g j g j g g 4 g 4 and can be written as Ω 0 Λ g Ω gj Ω g 0 j is given by j j [ g k {g k g j g j g k }. k kω j,kg k] j where the antisymmetric -tensor Ω of 0,-forms is given by Ω [ Ω j,k ] [ ] j,k {g k g j g j g k } g 4, j,k and Λ g Ω denotes its contraction by the vector g in the final variable. We can reeat this rocess and by induction we have 5. Ω q+ q Λ g Ω q+ q+, 0 q n, where Ω q+ q is an alternating q +-tensor of 0,q-forms. Recall that h is holomorhic. When q n we have that Ω n+ n h is -closed and this allows us to solve a chain of equations Γ q q Ωq q h Λ gγ q+ foralternatingq-tensorsγ q q of0,q -forms, usingthe amelioratedcharentier solution oerators Cn,s 0,q defined in 3. above note that our notation suresses the deendence of Γ on h. With the convention that Γ n+ n 0 we have Ω q+ q h Λ g Γ q+ 5. q 0, 0 q n, Γ q+ q Ω q+ q h Λ g Γ q+ q, q n. Now f Ω 0 h Λ gγ 0 is holomorhic by the first line in 5. with q 0, and since Γ 0 is antisymmetric, we comute that Λ g Γ 0 g Γ 0g,g 0 and q, M g f f g Ω 0 h g Λ gγ 0 g h 0 h. Thus f f i i is a vector of holomorhic functions satisfying the second line in.5. The first line in.5 is the subject of the remaining sections of the aer. 5.. Wedge roducts and factorization of the Koszul comlex. Here we record the remarkable factorization of the Koszul comlex in Andersson and Carlsson [4]. To describe the factorization we introduce an exterior algebra structure on l C. Let {e,e,...} be the usual basis in C, and for an increasingmultiindex I i,...,i l of integers in N, define e I e i e i... e il, where we use to denote the wedge roduct in the exterior algebra Λ C of C, as well as for the wedge roduct on forms in C n. Note that {e I : I r} is a basis for the alternating r-tensors on C. If f I r f Ie I is an alternating r-tensor on C with values that are 0,k- forms in C n, which may be viewed as a member of the exterior algebra of C C n,.

21 THE CORONA THEOREM IN C n and if g J s g Je J is an alternating s-tensor on C with values that are 0,l-forms in C n, then as in [4] we define the wedge roduct f g in the exterior algebra of C C n to be the alternating r +s-tensor on C with values that are 0,k +l-forms in C n given by 5.3 f g f I e I g J e J I r I r, J s K r+s J s f I g J e I e J ± I+JK f I g J e K. Note that we simly write the exterior roduct of an element from Λ C with an element from Λ C n as juxtaosition, without writing an exlicit wedge symbol. This should cause no confusion since the basis we use in Λ C is {e i } i, while the basis we use in Λ C n is {dz j,dẑ j } n j, quite different in both aearance and interretation. In terms of this notation we then have the following factorization in Theorem 3. of Andersson and Carlsson [4]: l 5.4 Ω 0 Ω 0 where i k 0 Ω 0 g i g g k0 g e k 0 i l i k i g ki and Ω 0 g i g g e k i i. l+ Ωl+ l, The factorization in [4] is roved in the finite dimensional case, but this extends to the infinite dimensionalcasebycontinuity. Sincethe l normis quasi-multilicative on wedge roducts by Lemma 5. in [4] we have 5.5 Ω l+ C lω 0 l Ω 0, 0 l n, l wheretheconstantc l deendsonlyonthenumberoffactorslinthewedgeroduct, and not on the underlying dimension of the vector sace which is infinite for l C. It will be useful in the next section to consider also tensor roducts 5.6 Ω 0 Ω 0 i g i g e i g j g e j j i,j g i g j g 4 e i e j, and more generally X α Ω 0 Xβ Ω 0 where Xm denotes the vector derivative defined in Definition 7 below. We will use the fact that the l -norm is multilicative on tensor roducts.

22 Ş. COSTEA, E. T. SAWYER, AND B. D. WICK 6. An almost invariant holomorhic derivative In this section we continue to consider l -valued saces. We refer the reader to [6] for the definition of the Bergmantree T n and the corresondingairwise disjoint decomosition of the ball : K α, α T n where the sets K α arecomarableto balls of radius one in the Bergmanmetric β on the ball : βz,w ln + ϕ z w ϕ z w Proosition. in [36]. This decomosition gives an analogue in of the standard decomosition of the uer half lane C + into dyadic squares whose distance from the boundary C + equals their side length. We also recall from [6] the differential oerator D a which on the Bergman kube K α, and rovided a K α, is close to the invariant gradient, and which has the additional roerty that Da m f z is holomorhic for m and z K α when f is holomorhic. For our uroses the owers Da m f, m, are easier to work with than the corresonding owers m f, which fail to be holomorhic. It is shown in [6] that Da m can be used to define an equivalent norm on the Besov sace B B 0, and it is a routine matter to extend this result to the Besov- Sobolev sace B σ n when σ 0 and m >. σ The further extension to l -valued functions is also routine. We define z,..., and z,..., z z n z z n so that the usual Euclidean gradient is given by the air z, z. Fix α Tn and let a c α. Recall that the gradient with invariant length given by f a f ϕ a 0 f aϕ a0 f a{ a } P a + a Q a fails to be holomorhic in a. To rectify this, we define as in [6], 6. D a f z f zϕ a 0 f z{ a P a + a Q a }, for z. Note that z a z a t when we view w as an n comlex matrix, and denote by w t the n transose of w. With this interretation, we observe that P a z az a has derivative P a a P a z aat a [a a i a j ] i,j n. The next lemma from [6] shows that Da m and Dm b are comarable when a and b are close in the Bergman metric. Lemma 6. Lemma 6. in [6] Let a,b satisfy βa,b C. There is a ositive constant C m deending only on C and m such that for all f H ;l. C m Dm b f z Dm a f z C m D m b f z,

23 THE CORONA THEOREM IN C n 3 We remind the reader that D m a f z i Dm a f iz if f f i i. The scalar roof in [6] is easily extended to l -valued f. Definition 5. see [6] Suose σ 0, < < and m. We define a tree semi-norm B σ,m Bn;l by 6. f B,m σ Bn;l α T n B d c α,c z σ D m cα f z dλn z We now recall the invertible radial oerators R γ,t : H H given in [36] by R γ,t Γn++γΓn++k +γ +t f z Γn++γ +tγn++k +γ f kz, k0 rovided neither n + γ nor n + γ + t is a negative integer, and where f z k0 f kz is the homogeneous exansion of f. This definition is easily extended to f H ;l. If the inverse of R γ,t is denoted R γ,t, then Proosition.4 of [36] yields 6.3 R γ,t wz n++γ R γ,t wz n++γ+t wz n++γ+t, wz n++γ, for all w. Thus for any γ, R γ,t is aroximately differentiation of order t. ThenextroositionshowsthatthederivativesR γ,m f zare L normequivalent to { f 0,..., m f 0, m f z } for m large enough. The scalar case σ 0 is Proosition. in [6] and follows from Theorems 6. and Theorem 6.4 of [36]. The extension to σ 0 and l -valued f is routine. See the aendix and also []. Proosition. Suose that σ 0, 0 < <, n+γ is not a negative integer, and f H ;l. Then the following four conditions are equivalent: z m+σ m f z L dλ n ;l for some m > n σ,m N, z m+σ m f z L dλ n ;l for all m > n σ,m N, z m+σ R γ,m f z L dλ n ;l for some m > n σ,m+n+γ / N, z m+σ R γ,m f z L dλ n ;l for all m > n σ,m+n+γ / N. Moreover, with ψz z, we have for < <,. C ψ m +σ R γ,m f L dλ n;l m k f 0 + z m +σ m f z k0 dλ n z C ψ m +σ R γ,m f L dλ n;l

24 4 Ş. COSTEA, E. T. SAWYER, AND B. D. WICK for all m,m > n σ, m + n + γ / N, m N, and where the constant C deends only on σ, m, m, n, γ and. There is one further equivalent norm involving the radial derivative n f 6.4 Rf z z f z z j z, z j and its iterates R k R R... R k times. Proosition. Suose that σ 0, 0 < < and f H ;l. Then m z m +σ R k f z dλ n z k0 m k0 k f 0 + j z m +σ m f z dλ n z for all m,m > n σ, m +n+γ / N, m N, and where the constants in the equivalence deend only on σ, m, m, n and. The seminorms n B,m σ Bn;l turn out to be indeendent of m >. σ We will obtain this fact as a corollary of the equivalence of the standard norm in.4 with the corresonding norm in Proosition using the radial derivative R 0,m. n Note that the restriction m > σ is dictated by the fact that Dc m α f z involves the factor z m times m th order tangential derivatives of f, and so we must have that z m +σ dλ n z is a finite measure, i.e. m +σ n >. The case scalar σ 0 of the following lemma is Lemma 6.4 in [6]. n Lemma 7. Let < <, σ 0 and m >. σ Denote by B β c,c the ball center c radius C in the Bergman metric β. Then for f H ;l, m f B,m σ Bn;l j f 0 α T n B β c α,c j0 z σ D m cα f z dλn z z m+σ R σ,m f z dλ n z + m j0 + m j0 j f 0 j f 0 f B σ,m ;l. See the aendix for an adatation of the roof in [6] to the case σ 0 and l -valued f. We will also need to know that the ointwise multiliers in M B σ B σ Bn;l are bounded. Indeed, standard arguments show the following. Lemma M B σ B σbn;l H ;l B σ Bn ;l.

25 THE CORONA THEOREM IN C n 5 Proof: If ϕ M B σ B σ, then ϕ B σ Bn;l Bn ;l since B σ, and M ϕ : B σ B σ Bn ;l and M ϕ : Bσ Bn ;l B σ. If e z denotes oint evaluation at z, x l and f B σ, then the calculation f,m ϕ xe z M B σbn ϕ f,xe z B σ ;l ϕ i f,x i e z B σ shows that This yields i i x i ϕ i zf z x i ϕ i z f,e z B σ f,ϕ i zx i e z i i M ϕ xe z x,ϕz l e z. B σ Bn f, x,ϕz l e z B σ, x,ϕz l e z B σ M ϕ xe z B σ which gives M ϕ B σ ;l B σ Bn xe z B σ ;l M ϕ B σ B σ Bn;l x e z B σ, x,ϕz ϕz su l M ϕ x 0 x B σ B σbn;l, z, and comletes the roof of Lemma 8. In order to deal with functions f on that are not necessarily holomorhic, we use a notion of higher order derivative D m introduced in [6] that is based on iterating D a rather than. Definition6. For m N and f C ;l smooth in we define Θ m f a,z D m a f z for a,z, and then set D m f z Θ m f z,z D m z f z, z. Note that in this definition, we iterate the oerator D z holding z fixed, and then evaluate the result at the same z. If we combine Lemmas 6 and 7 we obtain that for f H ;l, m f B σ,m ;l j0 j f 0 + z σ D m f z dλ n z. 6.. Real variable analogues of Besov-Sobolev saces. In order to handle the oerators arising from integration by arts formulas below, we will need yet more general equivalent norms on B σ,m Bn ;l.

26 6 Ş. COSTEA, E. T. SAWYER, AND B. D. WICK Definition 7. We denote by X m the vector of all differential oerators of the form X X...X m where each X i is either z times the identity oerator I, the oerator D, or the oerator z R. Just as in Definition 6, we calculate the roducts X X...X m by comosing D a and a R and then setting a z at the end. Note that D a and a R commute since the first is an antiholomorhic derivative and the coefficient z in R z is holomorhic. Similarly we denote by Y m the corresonding roducts of z I, D instead of D and z R. In the iterated derivative X m we are differentiating only with the antiholomorhic derivative { D or the holomorhic derivative R. When f is holomorhic, we thus have X m f z m } m R k f. The reason we allow k0 z times the identity I to occur in X m is that this roduces a norm as oosed to just a seminorm without including the term m k0 k f 0. We define the norm B σ,m ;l for smooth f on the ball by m f B σ,m ;l z m+σ R k f z dλ n z, k0 and note that rovided m + σ > n, this rovides an equivalent norm for the Besov-Sobolev sace B σ Bn ;l of holomorhic functions on. These considerations motivate the following two definitions of a real-variable analogue of the norm B σ,m ;l. Definition 8. We define the norms Λ σ,m ;l and Φ σ,m Bn;l for f f i i smooth on the ball by f Λ σ,m ;l z σ X m f z 6.7 dλ n z, f Φ σ,m ;l z σ Y m f z dλ n z. It is not true that either of the norms Λ σ,m ;l or Φ σ,m Bn;l are indeendent of m for large m when acting on smooth functions. However, Lemmas 6 and 7 show the equivalence of norms when restricted to holomorhic vector functions: n Lemma 9. Let < <, σ 0 and m >. σ Then for f a holomorhic vector function we have 6.8 f B σ,m ;l f Λ σ,m Bn;l f Φ σ,m Bn;l. The norms Λ σ,m ;l arise in the integration by arts in iterated Charentier kernels in Section 8, while the norms Φ σ,m ;l are useful for estimating the holomorhic function g in the Koszul comlex. For this latter urose we will use the following multilinear inequality whose scalar version is, after translating notation, Theorem 3.5 in [0]. The extension to l -valued functions is routine but again, for the convenience of the reader, we give a detailed roof in the aendix.

27 THE CORONA THEOREM IN C n 7 n Proosition 3. Suose that < <, 0 σ <, M, m > σ and α α 0,...,α M Z M+ + with α m. For g M B σ B σbn;l and h B σ we have, z σ Y α gz... Y αm gz Y α0 hz dλ n z C n,m,σ, M g M B σbn Bσ Bn;l h B σbn. Remark 6. The inequalities for M in Proosition 3 actually characterize multiliers g in the sense that a function g B σ Bn ;l H ;l is in M B σ B σbn;l if and only if the inequalities with M in Proosition 3 hold. This follows from noting that each term in the Leibniz exansion of Y m gh occurs on the left side of the dislay above with M Three crucial inequalities. In order to establish aroriate inequalities for the Charentier solution oerators, we{ will need to control terms of the form z w α m w F w, D m α z w,z, Dm z wz k} { and Rz m wz k} inside the integral for T as given in the integration by arts formula in Lemma 3 above. Here we are using the subscrit z in arentheses to indicate the variable being differentiated. This is to avoid confusion with the notation D a introduced in 6.. We collect the necessary estimates in the following roosition. Proosition 4. For z,w and m N, we have the following three crucial estimates: 6.9 m z m wα wαf w w,z D C m, F w F H w Bn ;l,m α. Dz w,z { C z } 6.0 w,z + w,z, z R z w,z C z w,z, 6. { Dz m wz k} k z C wz wz z m { R m z wz k} k C wz z wz m m., Proof: To rove 6.9 we view D a as a differentiation oerator in the variable w so that { D a w a } P a + a Q a.

28 8 Ş. COSTEA, E. T. SAWYER, AND B. D. WICK A basic calculation is then: azϕ a z D a t { } P a z a+ a Q a z a { a } P a w + a Q a w P a z a a P a w + a Q a z a a z a w. a Q a w From this we conclude the inequality z i a i F w w i z a F w az a ϕ az D af w a,z a D a F w, as well as its conjugate z i a i F w a,z w i C Da a F w. Moreover, we can iterate this inequality to obtain m z m aα wαf w a,z C mf, a Da w for a multi-index of length m. With a w this becomes the first estimate 6.9. To see the second estimate 6.0, recall from 6. that D a f z { a } P a f z+ a Q a f z. We let a z. By the unitary invariance of w,z wz z w, we may assume that z z,0,...,0. Then we have { w,z wz zw zz w } z j z j w j zw+z j w z j w j +w j zw z j w z j w j z +z j z w j z +w j zw z j w z j w j z +z j z w +w j zw z.

29 THE CORONA THEOREM IN C n 9 Now Q z f 0, f z,..., f z n with j. From z z,0,...,0 and j we have z j 0 and so z j w,z z j w j Now 3.4 imlies 6. w,z and thus a tyical term in Q z is z j w,z z z j w j zw z, j. z w z + zw z, which together with the above shows that z Q z w,z C z w z C z z w zw z C z w,z +C w,z. As for P z D f z,0,...,0 we use 6. to obtain P z w,z z w z +z z w +w zw z z w z + z w + zw z C w,z+ z w. However, w,z w z z w w z + w z { z w + z w } z + w w z z w and so altogether we have the estimate 6.4 P z w,z C w,z. Combining 6.3 and 6.4 with the definition 6. comletes the roof of the first line in 6.0. The second line in 6.0 follows from 6.4 since R z P z. To rove the third estimate 6. we comute: D z wz k R z wz k Since w + a we have k wz k D z wz { k wz k z } P z + z Q z wz { k wz k z } P z w+ z Q z w ; k wz k wz. Q z w Q z w z w z, w + z Rewz Re wz wz,

30 30 Ş. COSTEA, E. T. SAWYER, AND B. D. WICK which yields { D z wz k} z + z wz k C wz wz C wz k z wz. Iteration then yields Schur s Test Here we characterize boundedness of the ositive oerators that arise as majorants of the solution oerators below. The case c 0 of the following lemma is Theorem.0 in [36]. Lemma 0. Let a,b,c,t R. Then the oerator z a w b w,z c T a,b,c f z f wdv w wz n++a+b+c is bounded on L B n ; w t dv w if and only if c > n and 7. a < t+ < b+. We sketch the roof for the case c 0 when and t n. Let ψ ε ζ ζ ε and recall that w,z wz ϕz w. We comute conditions on a, b, c and ε such that we have T a,b,c ψ ε z Cψ ε z and T a,b,c ψ ε w Cψ ε w, z,w, where Ta,b,c denotes the dual relative to L λ n. For this we take ε R and comute z a w n++b+ε ϕz w c T a,b,c ψ ε z dλ n w. wz n++a+b Note that the integral defining T a,b,c ψ ε z is finite if and only if ε > b. Now in this integral make the change of variable w ϕ z ζ and use that λ n is invariant to obtain z a ϕ z ζ n++b+ε c ζ T a,b,c ψ ε z ϕ z ζz n++a+b dv ζ. ζ n+ Plugging the identities ϕ z ζz ϕ z ζ,ϕ z 0 z ζz, z ζ ϕ z ζ ϕ z ζ,ϕ z ζ ζz,