arxiv: v1 [math.cv] 18 Apr 2017

Transcription

1 arxiv: v [math.cv] 8 Apr 07 THE ROLE OF AN INTEGRATION IDENTITY IN THE ANALYSIS OF THE CAUCHY-LERAY TRANSFORM LOREDANA LANZANI AND ELIAS M. STEIN Abstract. The purpose of this paper is to complement the results in [LS-] by showing the dense definability of the Cauchy-Leray transform for the domains that give the counterexamples of [LS-], where L p -boundedness is shown to fail when either the near C boundary regularity, or the strong C-linear convexity assumption is dropped. Dedicated to the memory of Professor Minde Cheng on the occasion of the centenary of his birth. Introduction The purpose of this paper is to complement the previous results in [LS-] and [LS-] which deal with the L p -boundedness of the Cauchy- Leray integral in C n, n, proved under optimal regularity assumptions and geometric restrictions. If D is a suitable (convex) domain in C n then we can define the Cauchy-Leray integral [LS-] C(f) for an appropriate function f given on the boundary bd of D. The integral C(f)(z) is defined for z D and has the following properties: first, C(f)(z) is always holomorphic for z D; and second, if f = F bd where F is continuous in D and holomorphic in D, then C reproduces f, i.e. C(f)(z) = F(z), for z D. The well-known theory of the Cauchy integral in C (see [C], [CMM], [Da]) and in particular the classical theorem of M. Riesz for the unit disc, raise the question of the corresponding L p -boundedness of the This material is based upon work supported in part by the National Science Foundation under awards No. DMS-5036 (Lanzani) and DMS-6554 (Stein), while both authors were in residence at the Mathematical Sciences Research Institute in Berkeley, California, during the Spring 07 semester. 000 Mathematics Subject Classification: 30E0, 3A0, 3A6, 3A5, 3A50, 3A55, 4B0, 46E, 47B34, 3B0. Keywords: Hardy space; Cauchy Integral; Cauchy-Szegő projection; Lebesgue space; pseudoconvex domain; minimal smoothness; Leray-Levi measure.

2 LANZANI AND STEIN Cauchy-Leray integral for n, and more particularly determining the optimal conditions both on the regularity of the domain D and the nature of the convexity of D, for which this boundedness holds. To be precise, suppose f is a C function on the boundary of D, then under the circumstances detailed below we can define the induced Cauchy- Leray transform of f, C(f), as a function on the boundary of D given by () C(f) = C(f), bd and it is proved in [LS-] that the mapping f C(f) extends to a bounded transformation on L p (bd,dσ), < p <, where dσ is the induced Lebesgue measure on bd. This assertion holds under the following two conditions: (i) The boundary has regularity near C, in the sense that bd is of class C,. (ii) The boundary is strongly C-linearly convex. The convexity condition (ii) is weaker than strong convexity (the strict positive-definiteness of the real quadratic fundamental form at each boundary point); however it is stronger than strong-pseudoconvexity (the strict positivity of the Levi form). In [LS-] two simple counter-examples, elucidating the necessary nature of both conditions were given. These are in terms of two elementary domains in C. With z = (z,z ), and z = x + iy they are given by () {z : z +x +y4 < } and (3) {z : z + x m +y < } where < m <. Equivalently, we could replace z by z i, as we did in [LS-]. The first domain () has a C (in fact real-analytic) boundary, is strongly pseudo-convex but not strongly C-linearly convex. The second domain (3) is of class C ǫ, with ǫ = m, but on the other hand, is strongly C-linearly convex. For both domains we proved in [LS-] that L p -boundedness failed for all p, p, in the following sense. Whenever f is a bounded

3 CAUCHY-LERAY INTEGRALS 3 function on bd supported on a proper subset of the boundary, C(f)(z) can be defined (as an absolutely convergent integral) whenever z bd is at a positive distance from the support of f, (which we still denote by C(f)(z)). One might ask if there is an inequality of the form (4) C(f) L p (S) A p f L p (bd) whenever S is a subset of bd disjoint from the support of f, with the bound in (4) independent of f or S, and with the underlying measure the induced Lebesgue measure. This was shown in [LS-] to fail for both domains for all p, p. In order to define the Cauchy-Leray transform for the domains that satisfy (i) and (ii), it was shown in [LS-] that whenever f is of class C on the boundary, then C(f)(z) extends to a continuous function on D. It is our purpose here to demostrate that a similar assertion holds for the counter-example domains () and (3) and thus the induced Cauchy-Leray transform f C(f), initially defined for C -functions, does not extend to a bounded operator on L p, for any p, for both domains () and (3). Restricting ourselves to the case n =, one can write the Cauchy- Leray integral as (5) C(f)(z) = f(w) ( (w,z)) dλ(w) where (w, z) is the non-hermitian pairing ρ(w) ρ(w),w z = (w j z j ), w j j= with ρ a defining function of D, and dλ the corresponding Leray-Levi measure. Forthedomainsthatsatisfy(i)and(ii), thecontinuityofc(f)(z), z D when f isofclassc onbd canbeshown asaconsequence ofthe principle that the Cauchy-Leray kernel (when n ) is a derivative. This is most aptly expressed in the global integration-by-parts performed in the proof of Proposition 5 below, which can be summarized as (6) C(f) = E(df)+R(f)+f Here the kernels of the operators E and R both have singularities weaker than that of C and are in fact absolutely integrable singularities. The one for E is of the order

4 4 LANZANI AND STEIN (7) (w,z), (8) and the one for R is of the order z w (w,z), or even z w (w,z). However application of this formalism to the first example, (), is problematic: because of the flatness of that domain (which can be restated in terms of the higher degree of vanishing of (w,z) along the diagonal {w = z}, see (9)), the integrability of (8) cannot be guaranteed because the numerator in (8) does not help to control the singularities that are away from the diagonal. Thus in this case a different argument is needed, one that uses a local integration by parts, depending on the location of the coordinate patch with respect to the flat part of the boundary. This is carried out in Proposition in Section below. In the second example the difficulty comes from the lack of C - regularity. Here, however, a simple but critical modification of the argument that was used in [LS-] to prove an earlier version of (6) for the nice domains works for the most relevant choices of m that pertain the domain (3). This is carried out in Proposition 5 and Lemma 6 in Section 3 below. These results together with what was done in [LS-] then give us our main conclusion: Theorem. In the cases of the domain (), and the domain (3) for 3/ < m <, for any function f of class C on bd, the Cauchy integral C(f)(z) extends to a continuous function on D. If we set C(f) = C(f) then the mapping f C(f) cannot be extended to a bounded operator on L p (bd) for any p, p. There are two additional comments to make. First, since the main interest ofthesecondexample istheclassc ǫ withǫsmall, thisclearly falls within the restriction 3/ < m <. Second, there is a weaker conclusion that covers the full range < m <. This is stated in Proposition 7 below. bd

5 CAUCHY-LERAY INTEGRALS 5. The first example Writing z j = x j + iy j for j =,, our first example is the domain (), that is D = {(z,z ) : z +x +y4 < }... The Cauchy-Leray integral for the domain (). Recall that D is strictly convex and this grants (9) ( ρ(w),w z) R (x u ) +(x u ) +(y v ) +(v +y )(v y ) when w,z bd. From this strict convexity it follows that D supports the Cauchy-Leray integral (0) Cf(z) = f(w)j ( ρ ρ)(w) (πi) ρ(w),w z, z D, where j denotes the pullback via the inclusion j : bd C, and in fact with respect to the induced Lebesgue measure dσ, we have f(w)γ(w) Cf(z) = dσ(w), z D, ρ(w),w z with Γ a smooth, strictly positive function on bd, see [LS-]. Proposition. Suppose that f C (bd). Then Cf(z) extends to a continuous function on D. This proposition allows us to define the induced Cauchy-Leray transform C(f), at least initially for f that are of class C on bd, by () Cf = Cf bd... Proof of Proposition. Throughout this section we shall simplify the notation slightly by writing ρ instead of ρ, and by setting (w,z) = ρ(w),w z. We need first a local representation of the Cauchy-Leray integral, which was the idea that (w,z) arises as a derivative. We fix a point ζ bd, and we will restrict attention to points z D, w bd both near ζ. We can introduce a new coordinate system, centered at ζ, so that we pass from the original coordinates in C to the present coordinates by a translation and a unitary linear

6 6 LANZANI AND STEIN transformation, and so that in the new coordinates w = (w,w ), w j = u j +iv j, the point ζ has coordinates (0,0) and ρ v (ζ) = ρ(ζ), while ρ (ζ) = ρ (ζ) = ρ (ζ) = 0. u v u Since then the tangent space to bd at ζ is given by {(u +iv,u )} we can express bd near ζ as a graph v = Φ(u,v,u ), with Φ(0,0,0) = 0 and Φ(0,0,0) = (0,0,0). In particular if w = (w,w ) bd is close to ζ with say, w ζ < δ then w u = + i Φ u = +io(δ). Lemma 3. We have () (w,z) 0, if w ζ < δ, and z ζ < δ u when δ is sufficiently small. Proof. where u (w,z) = I + II + III I = ρ(w), w z u and thus I cδ because w z δ; and II = ρ(w) ρ(ζ), w u and therefore II cδ because w ζ δ. However III = ρ(ζ), w [ = 0, ( ρ (ζ) i ρ )] [ (ζ) 0, ( +io(δ) )] = u u v = i ρ(ζ) ( +io(δ) ) = i ρ(ζ) +O(δ). Thus III ρ(ζ) > c > 0 and so () is established. For w in the above neighbrhood of ζ, let us write Γ(w)dσ(w) = Λ(u,v,u )du dv du, and γ(w) = Λ(w) u (w,z). Then γ(w) is a smooth function (uniformly in z for z ζ < δ).

7 CAUCHY-LERAY INTEGRALS 7 Corollary 4. Suppose f is a C function on bd supported in the above neighborhood of ζ. If z ζ < δ, z D, then ( ) (3) Cf(z) = f(w) γ(w) du dv du. (w, z) u Proof. bd Cf(z) = bd Then in the support of f, we have (w,z) = (w,z) u (w,z) f(w)γ(w)dσ(w) ( u (w, z) ). Inserting this in the above and carrying out the indicated integration by parts in the u variable then yields (3). To continue we make several other observations. First, whenever z bd, write z ǫ = z + ǫν(z), where ν(z) is the inward unit normal vector at z and ǫ 0, that is ν(z) = ρ(z) ρ(z). Assume as before that w,z bd, z w δ. Then with δ sufficiently small (4) Re (w,z ǫ ) cǫ+re (w,z) with c > 0. In fact (5) (w,z ǫ ) = (w,z) ǫ ρ(w),ν(z). But ν(z) = ν(w)+o( z w ), thus and altogether ρ(w),ν(z) = ρ(w),ν(w) + O( z w ), (w,z ǫ ) (w,z) = ǫ ρ(w),ν(w) +O(ǫ z w ). Since Re ρ(w),ν(w) = ρ(w), this yields (4). In fact, if w z > δ then the strict convexity of D gives that Re (w,z ǫ ) > c; by the compactness of D if we take 0 < c 0 < sufficiently small, we may combine all of the above and conclude that ) (6) Re (w,z ǫ ) c 0 (ǫ+re (w,z) uniformly in z,w bd.

8 8 LANZANI AND STEIN The key observation is that (7) (Re (w,z)) dσ(w) C +β β bd uniformly for z bd, if 0 β < /4, and with σ the induced Lebesgue measure on bd. For small fixed η > 0, we may assume that the integration in (7) is over the η-ball centered at z; otherwise the strict convexity of D gives that Re (w,z) c > 0 if w z η, and the compactness of D grant that the inequality (7) holds when the integration is taken over the complement of the η-ball about z. Toillustratewhatisdonenext, assumethatz liesintheballcentered at the origin. Then in the coordinates z = (z,z ) and w = (w,w ), we know by (9) that in particular Re (w,z) (x u ) +(x u ) +v (v y ). Moreover the tangent space to bd at the origin is given by (u + iv,u ). So far w is near the origin, bd is represented by a graph (u +iv,u +iφ(u,v,u )) with Φ a smooth function, and hence the induced measure dσ is given by dσ = D(u,v,u )du dv du, where the density D is bounded. This shows that (7) will be proved as soon as we have that (8) ( u +u +v (v y ) ) du +β du dv < uniformly in y B where B is the unit ball: {u +v +u < } in the parameter space. However ( u +u +A ) du +β du = C β A β, A > 0, β > 0 R as a simple rescaling u = u A/, u = u A/ shows. So we take A = ( v (v y ) ), and observe that v β v y dv β <, if 0 β < /4, v and this proves (8) for 0 < β < /4 and thus also for β = 0. We next lift the restriction that z lies in the η-neighborhood of the origin, and assume instead that z lies in the η-neighborhood of ζ, for some fixed ζ bd. Now the tangent space to bd at ζ is given by {w : (ν(ζ),w ζ) R = 0}, where ν(ζ) is the inner unit normal at ζ.

9 CAUCHY-LERAY INTEGRALS 9 Weconsiderthefourrealcomponentofν(ζ),thatwelistasν,ν,ν,ν, whichcorrespondtothetheu,v,u,v variables, respectively. Denote by ν a component among these four that has the maximum absolute value. Now there are two cases: Case : ν ν ; Case : ν = ν. Now in Case (which is what happens at ζ = 0, since there ν = ν = ), assume momentarily that ν = ν. Then the tangent space at ζ = (ξ +iη,ξ +iη ) can be written as u ξ = a(v η )+b(u ξ )+c(v η ) with a, b, c. So if we take v, u and v as independent variables to represent bd as a graph, we see by (9) that it suffices to show that B ( v +u +v (v y ) ) +β dv du dv < uniformly in y, which is the same as (8), except that u has been replaced by v. Similarly if ν = ν, or ν = ν. Now in Case, when ν = ν, we represent the tangent space as v η = a (u ξ )+b (u ξ )+c (v η ) and then by (9) it suffices to see that ( u +u +v) +β du du dv < B which in fact holds for 0 β <. This concludes the proof of (7). Returning to the proof of Proposition, we will show that whenever f is a C function on bd, then Cf(z ǫ ) converges uniformly for z bd, as ǫ 0. To see this we decompose f as a finite sum N f = f j, bd j= where each f j is a C function supported in a ball B j of radius η/, centered at ζ (j) bd. If z Bj (the ball with the same center but twice the radius) and η is sufficiently small, then by Corollary 4 (9) Cf j (z ǫ ) = (f j γ)du dv du. (w,z ǫ ) u Next observe that (0) (w,z ǫ ) (w, z) dσ(w) ǫβ. bd

10 0 LANZANI AND STEIN Indeed because both Re (w,z ǫ ) and Re (w,z) are non-negative and (w,z ǫ ) (w,z) = O(ǫ), see (5), the integrand in (0) is dominated by cǫ Re (w,z ǫ ) Re (w,z). But (5) tells us more precisely that Re (w,z ǫ ) c 0 Re (w,z) and Re (w,z ǫ ) c 0 ǫ. As a result, the integrand in (0) is dominated by a multiple of ǫ β (Re (w,z)) +β, and we need only invoke (7) to get (0). From this and (9) we obtain that Cf j (z ǫ ) converges uniformly for z B j as ǫ 0. However when z / B j, then (w,z ǫ) 0fortherelevantwandz, andtheconvergence as ǫ 0 is obvious. This gives the desired result for each f j, and hence for their sum, proving Proposition. 3. The second example For our second example, the domain (3), we choose ρ(w) = w + u m +v as a defining function. Here and in the sequel we make use of the notation: [u ] = u m sign(u ). The Cauchy-Leray denominator (w,z) = ρ(w),w z for D is then (w,z) = ( )( m[u ] m +i+v u v +i(v y ) ) + ( )( u iv u x +i(v y ) ). As a preliminary step we decompose the boundary of D into finitely many coordinate patches, either of the first or the second kind. The coordinate patches of the first kind are centered at points which lie in the critical variety (where u = 0). Those of the second kind are at a positive distance from that variety. We then decompose our given C -function f as a sum of C functions, each supported on one of these patches. For those of the second type, since we are now where matters are regular, we may argue as in Section. This reduces matters to the patches of the first kind. Since for these patches we have that u is small, then one of the three variables v,u,v must be bounded away from zero. Whichever is can be taken as the dependent variable in

11 CAUCHY-LERAY INTEGRALS the representation of bd as a graph over that patch. For simplicity of notation here we assume it is v, but if it were u or v instead, then the argument below would be unchanged. Then for v (the dependent variable) we have () v = ( ( u m + w ) ) ) / ( u m + w. The following basic estimates for (w,z) can be proved as in [LS-, Lemma 4.3]: Re (w,z ǫ ) Re (w,z) ǫ where as before, z ǫ = z +ǫν(z), and for any w, z bd. (w,z ǫ ) (w,z) ǫ 3.. The Cauchy-Leray integral for the domain the domain (3). Suppose that f C (bd) and set f(w) () Cf(z) = (w,z) dλ(w) z D with dλ(w) = j ( ρ(w) ρ(w)). Then in fact ) C(f)(z) = f(w)j (η(w,z) η(w,z) where η(w,z) := ρ(w) (w, z) is a so-called generating form for D, see [LS-3, Sections 4. and 9.]. The Cauchy-Fantappiè theory then grants that C(g)(z) = g(z), z D whenever g isholomorphicindandcontinuousond,see[ls-3,section 5]. In particular choosing g(z) = (the constant ) we have that C()(z) = for z D and thus for z D, and from this it follows that (3) C(f)(z) = dλ(w) + f(z), z D. (w,z)

12 LANZANI AND STEIN Proposition 5. Let D be the domain (3) with 3/ < m <. Suppose that f C (bd). Then C(f) extends to a continuous function in D. More precisely, for z bd set z ǫ = z +ǫν(z) D. Then, we have that C(f)(z ǫ ) converges uniformly in z bd to a limit that we denote C(f)(z). Furthermore, we have that such limit admits the representation C(f)(z) = E(df)(z) + R(f)(z) + f(z), z bd where E(df) and R(f) are absolutely convergent integarls given explicitly by (8) and (9) below. Proof. By the above considerations we have that C(f)(z ǫ ) = dλ(w) + f(z) for any z bd. (w,z ǫ ) We will show that the quantity dλ(w) (w,z ǫ ) converges uniformly in z bd as ǫ 0. To this end, we consider the following smooth approximation of ρ, see [LS-, Section 5]: (4) ρ γ (w) = (u +γ)m/ +v +u +v. Then for any 0 < γ < we have with (5) A γ (z ǫ ) = 4π dλ(w) = A γ (z ǫ ) + B γ (z ǫ ) (w,z ǫ ) and (6) B γ (z ǫ ) = 4π j ( ρ (ρ ρ γ ) ) (w). (w,z ǫ ) j ( ρ(w) ρ γ (w) ). (w,z ǫ ) The dominated convergence theorem grants that (7) A γ (z ǫ ) 0 as γ 0

13 CAUCHY-LERAY INTEGRALS 3 for each fixed z ǫ. Next we deal with the term B γ (z ǫ ), again assuming that z ǫ has been fixed. Applying Stokes theorem to the manifold M = bd (which has bm = ) we obtain that ( ) 0 = d w j ( ) ργ (w). (w,z ǫ ) Thus (since d ρ γ 0) we obtain 0 = (w,z ǫ ) j (df(w) ρ γ (w)) + (w,z ǫ ) j [ d w ( (w,z ǫ ) ] ρ γ (w). But d w (w,z ǫ ) = ρ(w)+ ρ(w) (w z) where ρ(w) (w z) is short-hand for the -form ( ) ρ(w) dw + ρ(w) dw (w j z j ). w j w w j w j= It follows that B γ (z ǫ ) = j (df(w) ρ γ (w)) + (w,z ǫ ) ρ(w) (w z) j ρ γ (w). (w,z ǫ ) Invoking the dominated convergence theorem one more time, we obtain lim B j (df(w) ρ(w)) γ(z ǫ ) = + γ 0 (w,z ǫ ) ρ(w) (w z) j ρ(w). (w,z ǫ ) Combining all of the above we conclude that where we have set C(f)(z ǫ ) f(z) = E(df)(z ǫ )+R(f)(z ǫ ) E(df)(z ǫ ) = df(w) j ( ρ(w)), (w,z ǫ )

14 4 LANZANI AND STEIN and R(f)(z ǫ ) = Define (8) E(df)(z) := ρ(w) (w z) j ρ(w). (w,z ǫ ) df(w) j ( ρ(w)), z bd (w, z) and (9) R(f)(z) := ρ(w) (w z) j ρ(w), z bd. (w,z) We shall next see that for any z bd, each of E(f)(z) and R(f)(z) is an absolutely convergent integral, and this in turn will grant that (30) E(df)(z) < ; R(f)(z) < for any z bd. To prove these assertions we recall that (3) Re (w,z) c w z for any z bd and w bd by the convexity of D, and that j ( ρ(w)) = O( u m ) and ρ(w) = O( u m ). Thus, since f is supported in a coordinate patch of the first kind, writing x = Rez we have E(df)(z) C df(w) u m w z dσ(w) C u +u +v < u x m du u +u +v du dv. The desired finiteness of E(df)(z) now follows from Lemma 6 below applied with β = 0 and α := m (0,) (in fact our hypothesis that 3/ < m < gives that α is in (/,)). Similarly we have, by (9), (3) and the fact that f(w) f(z) = O( w z ), that

15 CAUCHY-LERAY INTEGRALS 5 R(f)(z) C f(w) u m 4 w z dσ(w) C u +u +v < u x m 4 u +u +v du du dv. The finiteness of R(f)(z) is again a consequence of Lemma 6 below applied with β = 0 and α := m 3 (which is in (0,) thanks to our assumption that 3/ < m < ). To conclude the proof of the proposition we are left to show that of E(df)(z ǫ ) and R(f)(z ǫ ) converge respectively to E(df)(z) and R(f)(z) uniformly in z bd (in fact, absolutely and uniformly in z bd). To prove the convergence of E(df)(z ǫ ), note that E(df)(z ǫ ) E(df)(z) C u m (w,z ǫ ) (w, z) dσ(w). Now by the basic estimate for (w,z ǫ ) we have that (w,z ǫ ) (w, z) c 0 ǫ Re (w,z ǫ ) Re (w,z). And since the basic estimate for Re (w,z ǫ ) in particular gives ǫ Re (w,z ǫ ), we also have that ǫ β Re (w,z ǫ ) β for any 0 β <. Inserting this in the above (and using once again the basic estimate: Re (w,z) Re (w,z ǫ )) we obtain E(f)(z ǫ ) E(f)(z) Cǫ β u m dσ(w). Re (w,z) +β Invoking one more time the convexity of D we conclude that the above integral is further bounded by Cǫ β u m dσ(w) Cǫβ w z +β u +u +v < u x m (u du du dv. +u +v )+β The desired conclusion now follows by Lemma 6 with α = m and with any 0 < β < (m )/. Finally, we claim that (3) R(f)(z ǫ ) R(f)(z) 0 as ǫ 0

16 6 LANZANI AND STEIN uniformly in z bd. To see this we begin as before, with R(f)(z ǫ ) R(f)(z) C By the basic estimate for (w,z) we see that u m 4 w z (w,z ǫ ) (w,z) dσ(w). (w,z ǫ ) (w,z) c ǫ (w,z ǫ ) (w,z ǫ ) (w,z) + c ǫ (w,z) (w,z ǫ ) (w,z) c ǫ Re (w,z ǫ )(Re (w,z)) + c ǫ (Re (w,z ǫ )) Re (w,z) c ǫ Re (w,z ǫ )(Re (w,z)) = c ǫ β ǫ β Re (w,z ǫ )(Re (w,z)). Using again the trick: ǫ β (Re (w,z ǫ )) β for any 0 β <, we bound the latter with c ǫ β (Re (w,z ǫ )) β (Re (w,z)) c ǫ β (Re (w,z)) +β. Finally, by the convexity of D we conclude that (w,z ǫ ) (w,z) C ǫ β w z. 4+β Combining all of the above we conclude that R(f)(z ǫ ) R(f)(z) Cǫ β u m 4 dσ(w) w z +β Cǫ β u +u +v < u x m 4 (u du du dv. +u +v )+β The desired conclusion now follows by applying Lemma 6 with α = m 3 (which is in (0,) thanks to our hypothesis that 3/ < m < ) and with any 0 < β < α/ = m 3/. This concludes the proof of the Proposition (assuming the truth of Lemma 6, whose proof is given below).

17 CAUCHY-LERAY INTEGRALS 7 Lemma 6. Suppose that x. Then we have that I α,β := u x +α ( u +u +v ) +β du du dv A α,β < u +u +v < is true for any α (0,] and any 0 β < α/. The constant A α,β is independent of x. Proof. Note that I α,0 I α,β for any β > 0, thus we only need prove the conclusion in the case when 0 < β < α/. To begin with, we write u x +α ( u +u +v) +β du du dv = u u +u +v < u x +α R ( u +u +v) +β du dv du. Notice that the change of variables: u := u ũ and v := u ṽ, gives ( ) u +u +v +β du dv = u β ( ) +ũ +ṽ +β dũ dṽ c u β R with c = c(β) (in particular C is independent of u ). Thus I α,β c u β u x +α du = I + II + III, u R where we have set I := u β u x +α du ; II := u β u x +α du, u x / and III := x /< u x u β u x +α du. u > x

18 8 LANZANI AND STEIN Now the active integrand factor for A is u β, that is I x +α u β du = a x +α x β = a x α β = O() u x / since α > β (and a = a(β), that is a is independent of x ). On the other hand, the active integrand factor in II is u x +β, that is II x β x /< u x u x +α du x β u 3 x (again, here b = b(α) is independent of x ). Finally u +α du = b x β+α = O() III u β u +α du u +α β du = c < u > x again because α β (0,) (and with c = c(α,β) independent of x ). While we are unable to prove that the Cauchy-Leray integral for the domain (3) extends to a continuous function on the entire closure D when < m 3/, we have the following result, valid for each < m <, whose proof will appear elsewhere. Proposition 7. Suppose that f C (bd). Then C(f) extends to a continuous function in D \ { bd {x = 0} }. More precisely, for z bd set z ǫ = z +ǫν(z) D. Then, we have that C(f)(z ǫ ) converges uniformly in z bd\{x = 0} to a limit that we denote C(f)(z) which satisfies C(f)(z) C x +m. 0 References [APS] Andersson M., Passare M. and Sigurdsson R., Complex convexity and analytic functionals, Birkhäuser, Basel (004). [BaLa] Barrett D. and Lanzani L., The Leray transform on weighted boundary spaces for convex Reinhardt domains, J. Funct. Analysis, 57(009), [C] Calderòn A. P, Cauchy integrals on Lipschitz curves and related operators, Proc. Nat. Acad. Sci. 74 no. 4, (977)

19 CAUCHY-LERAY INTEGRALS 9 [CMM] R. Coifman, A. McIntosh and Y. Meyer, L intègrale de Cauchy dèfinit un opèrateur bornè sur L pour les courbes lipschitziennes Ann. of Math. 6 (98) no., [Da] G. David, Opérateurs intégraux singuliers sur certain courbes du plan complèxe, Ann. Scient. Éc. Norm. Sup. 7 (984), [Hans] Hansson T., On Hardy spaces in complex ellipsoids, Ann. Inst. Fourier (Grenoble) 49 (999), [Hö] Hörmander, L. Notions of convexity, Birkhäuser, Basel (994). [K] Krantz S., Canonical kernels versus constructible kernels, preprint. ArXiv:.094. [LS-] Lanzani L. and Stein E. M. The Cauchy-Leray integral: counterexamples to the L p -theory, preprint, arxiv: [LS-] Lanzani L. and Stein E. M. The Cauchy integral in C n for domains with minimal smoothness, Advances in Math. 64 (04) , DOI: dx.doi.org/0.06/j.aim ). [LS-3] Lanzani L. and Stein E. M. Cauchy-type integrals in several complex variables, Bull. Math. Sci. 3 () (03), 4-85, DOI: 0.007/s [Ra] 0038-y. Range M., Holomorphic functions and integral representations in several complex variables, Springer Verlag, Berlin, (986). [Ro-] Rotkevich A. S., The Cauchy-Leray-Fantappi integral in linearly convex domains (Russian) Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 40 (0), Issledovaniya po Lineinym Operatoram i Teorii Funktsii 40, 7-88, 0; translation in J. Math. Sci. (N. Y.) 94 (03), no. 6, Dept. of Mathematics, Syracuse University Syracuse, NY USA address: llanzani@syr.edu Dept. of Mathematics, Princeton University, Princeton, NJ USA address: stein@math.princeton.edu