THE SEMIADDITIVITY of CONTINUOUS ANALYTIC CAPACITY and the INNER BOUNDARY CONJECTURE 1. Introduction the Continuous Analytic

Total Page:16

File Type:pdf, Size:1020Kb

THE SEMIADDITIVITY of CONTINUOUS ANALYTIC CAPACITY and the INNER BOUNDARY CONJECTURE 1. Introduction the Continuous Analytic THE SEMIADDITIVITY OF CONTINUOUS ANALYTIC CAPACITY AND THE INNER BOUNDARY CONJECTURE XAVIER TOLSA Abstract. Let ®(E) be the continuous analytic capacity of a compact set E ½ C. In this paper we obtain a characterization of ® in terms of curvature of measures with zero linear density, and we deduce that ® is countably semiadditive. This result has important consequences for the theory of uniform rational approximation on compact sets. In particular, it implies the so called inner boundary conjecture. 1. Introduction The continuous analytic capacity ® was introduced by Erokhin and Vi- tushkin (see [Vi]) in the 1950’s in order to study problems of uniform rational approximation in compact subsets of the complex plane. Up to now, the geo- metric properties of the capacity ® have not been well understood. It has been an open question if ® is semiadditive as a set function, that is to say, if ®(E [ F ) · C(®(E) + ®(F )); for arbitrary compact sets E; F ½ C, where C is an absolute constant. It was known that an affirmative answer to this question would imply impor- tant results on uniform rational approximation, such as the so called “inner boundary conjecture” (see [VM, Conjecture 2]). In this paper we will show that ® is indeed semiadditive. As a consequence, the inner boundary con- jecture is true. Our proof of the semiadditivity of ® does not follow from the recently proved semiaddivity of analytic capacity γ in [To5]. However, some of the ideas and techniques of [To5] are essential for the results of this paper. To state these results in more detail, we need to introduce some notation and terminology. The continuous analytic capacity of a compact set E ½ C is defined as ®(E) = sup jf 0(1)j; where the supremum is taken over all complex functions which are contin- uous in C, analytic on C n E, and satisfy jf(z)j · 1 for all z 2 C; and 0 f (1) = limz!1 z(f(z) ¡ f(1)). For a general set F , we set ®(F ) = supf®(E): E ½ F; E compactg: Date: May, 2002. Supported by the program Ram´ony Cajal (Spain). Also partially supported by grants DGICYT BFM2000-0361 (Spain) and 2001/SGR/00431 (Generalitat de Catalunya). 1 2 XAVIER TOLSA If in the supremum above we don’t ask the continuity on C for f (we only ask f to be analytic on C n E and jf(z)j · 1 for all z 2 C n E), we obtain the analytic capacity γ of the compact set E. For a general set F , we set γ(F ) = supfγ(E): E ½ F; E compactg: Our main result is the following. Theorem 1.1. Let Ei, i ¸ 1, be Borel sets in C. Then, ³[1 ´ X1 ® Ei · C ®(Ei); i=1 i=1 where C is an absolute constant. The semiadditivity of continuous analytic capacity was already known in some special cases. Melnikov [Me1] proved it for two compact sets E; F sep- arated by an analytic curve. Vitushkin [Vi] extended the result to the case in which the curve which separates E and F is piecewise Lyapunov. Davie [Dve] showed that it is enough to assume that the curve is hypo-Lyapunov. On the other hand, Davie also proved in [Dve] that the semiadditivity of γ for arbitrary compact sets (recently proved in [To5]) implies the semiaddivity of ® for disjoint compact sets. However, as far as we know, the semiadditivity of ® for arbitrary compact sets (which is needed for the proof of the inner boundary conjecture) cannot be derived directly from the semiadditivity of γ. Melnikov, Paramonov and Verdera [VMP] also proved the semiadditivity of ®+ (which is a variant of ® originated by Cauchy transforms of positive measures) in several cases (in particular, for bounded Borel sets E and F which are relatively open in the topology of E [ F ). We need now to introduce some additional terminology in connection with uniform rational approximation. Given E ½ C compact, we denote by R(E) the algebra of complex functions on E which are uniform limits on E of functions analytic in a neighborhood of E (i.e. each function is analytic in a neighborhood of E). A(E) is the algebra of those complex functions on E ± which are continuous on E and analytic on E. Vitushkin proved that the following result is a consequence of the semiadditivity of ® (see [Vi, p.187]). Theorem 1.2. Suppose that for all z 2 @E, with the exception of a set with zero continuous analytic capacity, we have ± ®(B¯(z; r) n E) lim sup < 1: r!0 ®(B¯(z; r) n E) Then, R(E) = A(E). The inner boundary of E, denoted by @iE, is the set of boundary points which do not belong to the boundary of any connected component of C n E. The inner boundary conjecture is a corollary of the preceding theorem: Theorem 1.3 (Inner boundary conjecture). If ®(@iE) = 0, then R(E) = A(E). THE SEMIADDITIVITY OF CONTINUOUS ANALYTIC CAPACITY 3 In the special case where dim(@iE) < 1 (where dim is the Hausdorff dimension), Davie and Øksendal [DØ] had already proved that R(E) = A(E). Another partial result was obtained in [MTV2] as a straightforward consequence of the semiadditivity of γ. Namely, it was shown that R(E) = A(E) also holds if γ(@iE) = 0. The semiaddivity of ® follows from a more precise result which asserts that ® and ®+ are comparable. Further, ®+ (and also ®, because of its com- parability with ®) can be characterized in terms of the so called curvature of measures, or equivalently in terms of L2 estimates for the Cauchy transform. We now proceed to define the main notions involved in these results. Given a complex Radon measure º on C, the Cauchy transform of º is Z 1 Cº(z) = dº(»); z 62 supp(º): » ¡ z This definition does not make sense, in general, for z 2 supp(º), although one can easily see that the integral above is convergent at a.e. z 2 C (with respect to the Lebesgue measure L2). This is the reason why one considers the truncated Cauchy transform of º, which is defined as Z 1 C"º(z) = dº(»); j»¡zj>" » ¡ z for any " > 0 and z 2 C. Given a ¹-measurable function f on C (where ¹ is some fixed positive Radon measure on C), we write Cf ´ C(f d¹) and C"f ´ C"(f d¹) for any " > 0. It is said that the Cauchy transform is 2 2 bounded on L (¹) if the operators C" are bounded on L (¹) uniformly on " > 0. The capacity ®+ of a bounded set E ½ C is defined as ®+(E) = sup ¹(E); where the supremum is taken over all positive Radon measures ¹ supported on E such that C¹ is a continuous function on C (i.e. it coincides L2-a.e. with a continuous function on C), with kC¹kL1(C) · 1. Notice that we 0 clearly have ®+(E) · ®(E), because (C¹) (1) = ¹(E). If in the definition of ®+(E) we don’t ask C¹ to be continuous on C, we obtain γ+(E). That is, γ+(E) = sup ¹(E), with the supremum taken over all positive Radon measures ¹ supported on E such that kC¹kL1(C) · 1. A positive Radon measure ¹ is said to have linear growth if there exists some constant C such that ¹(B(x; r)) · Cr for all x 2 C, r > 0. The linear density of ¹ at x 2 C is (if it exists) ¹(B(x; r)) Θ¹(x) = lim : r!0 r Given three pairwise different points x; y; z 2 C, their Menger curvature is 1 c(x; y; z) = ; R(x; y; z) 4 XAVIER TOLSA where R(x; y; z) is the radius of the circumference passing through x; y; z (with R(x; y; z) = 1, c(x; y; z) = 0 if x; y; z lie on a same line). If two among these points coincide, we let c(x; y; z) = 0. For a positive Radon measure ¹, we set ZZ 2 2 c¹(x) = c(x; y; z) d¹(y)d¹(z); and we define the curvature of ¹ as Z ZZZ 2 2 2 (1.1) c (¹) = c¹(x) d¹(x) = c(x; y; z) d¹(x)d¹(y)d¹(z): The notion of curvature of measures was introduced by Melnikov [Me2] when he was studying a discrete version of analytic capacity, and it is one of the ideas which is responsible of the big recent advances in connection with analytic capacity. On the one hand, the notion of curvature is connected to the Cauchy transform. This relationship comes from the following identity found by Melnikov and Verdera [MV] (assuming that ¹ has linear growth): 1 (1.2) kC ¹k2 = c2(¹) + O(¹(C)); " L2(¹) 6 " 2 2 where c"(¹) is an "-truncated version of c (¹) (defined as in the right hand side of (1.1), but with the triple integral over fx; y; z 2 C : jx ¡ yj; jy ¡ zj; jx ¡ zj > "g). Next theorem contains the aforementioned characterization of ® and ®+. Theorem 1.4. For all compact sets E ½ C, we have (1.3) ®(E) ¼ ®+(E) 2 ¼ supf¹(E) : supp(¹) ½ E; Θ¹(x) = 0 8x 2 E; c (¹) · ¹(E)g; with absolute constants. The notation A ¼ B means that A is comparable to B, that is to say, that there exists a positive absolute constant C such that C¡1A · B · CA. In (2.3) in next section, the reader will find another characterization of ® 2 and ®+ which involves the L norm of the Cauchy transform.
Recommended publications
  • A Family of Singular Integral Operators Which Control the Cauchy Transform
    A FAMILY OF SINGULAR INTEGRAL OPERATORS WHICH CONTROL THE CAUCHY TRANSFORM PETR CHUNAEV, JOAN MATEU, AND XAVIER TOLSA Abstract. We study the behaviour of singular integral operators Tkt of convo- lution type on C associated with the parametric kernels (Re z)3 Re z Re z 1 k (z) := + t · ; t 2 ; k (z) := ≡ Re ; z 2 n f0g: t jzj4 jzj2 R 1 jzj2 z C It is shown that for any positive locally finite Borel measure with linear growth 2 2 the corresponding L -norm of Tk0 controls the L -norm of Tk1 and thus of the Cauchy transform. As a corollary, we prove that the L2(H1bE)-boundedness of Tkt with a fixed t 2 (−t0; 0), where t0 > 0 is an absolute constant, implies that E is rectifiable. This is so in spite of the fact that the usual curvature method fails to be applicable in this case. Moreover, as a corollary of our techniques, we provide an alternative and simpler proof of the bi-Lipschitz invariance of the L2-boundedness of the Cauchy transform, which is the key ingredient for the bilipschitz invariance of analytic capacity. Contents 1. Introduction and Theorems 2 2. Notation and definitions 5 2.1. Constants 5 2.2. Curvature and permutations of measure 6 2.3. Beta numbers and densities 7 3. Main Lemma and proofs of Theorems 7 3.1. Proof of Theorem 1 7 3.2. Proof of Theorem 2 8 4. Other corollaries 8 5. Plan of the proof of Main Lemma 9 6. The David-Mattila lattice 9 7.
    [Show full text]
  • CURVATURES of the MELNIKOV TYPE, HAUSDORFF DIMENSION, RECTIFIABILITY, and SINGULAR INTEGRALS on Rn
    PACIFIC JOURNAL OF MATHEMATICS Vol. 196, No. 2, 2000 CURVATURES OF THE MELNIKOV TYPE, HAUSDORFF DIMENSION, RECTIFIABILITY, AND SINGULAR INTEGRALS ON Rn Hany M. Farag One of the most fundamental steps leading to the solution of the analytic capacity problem (for 1-sets) was the discov- ery by Melnikov of an identity relating the sum of permu- tations of products of the Cauchy kernel to the three-point Menger curvature. We here undertake the study of analogues of this so-calledMenger-Melnikov curvature, as a nonnegative function defined on certain copies of Rn, in relation to some natural singular integral operators on subsets of Rn of vari- ous Hausdorff dimensions. In recent work we proved that the Riesz kernels x |x|−m−1 (m ∈ N\{1}) do not admit identities like that of Melnikov in any Lk norm ( k ∈ N). In this paper we extendthese investigations in various ways. Mainly, we re- place the Euclidean norm |·| by equivalent metrics δ(·, ·) and we consider all possible k, m, n, δ(·, ·). We do this in hopes of finding better algebraic properties which may allow extend- ing the ideas to higher dimensional sets. On the one hand, we show that for m>1 no such identities are admissible at least when δ is a norm that is invariant under reflections and permutations of the coordinates. On the other hand, for m =1, we show that for each choice of metric, one gets an identity and a curvature like those of Melnikov. This allows us to generalize those parts of the recent singular integral and rectifiability theories for the Cauchy kernel that depend on curvature to these much more general kernels, andprovides a more general framework for the curvature approach.
    [Show full text]
  • Bilipschitz Maps, Analytic Capacity, and the Cauchy Integral
    Annals of Mathematics, 162 (2005), 1243–1304 Bilipschitz maps, analytic capacity, and the Cauchy integral By Xavier Tolsa* Abstract Let ϕ : C → C be a bilipschitz map. We prove that if E ⊂ C is compact, and γ(E), α(E) stand for its analytic and continuous analytic capacity respec- tively, then C−1γ(E) ≤ γ(ϕ(E)) ≤ Cγ(E) and C−1α(E) ≤ α(ϕ(E)) ≤ Cα(E), where C depends only on the bilipschitz constant of ϕ. Further, we show that if µ is a Radon measure on C and the Cauchy transform is bounded on L2(µ), 2 then the Cauchy transform is also bounded on L (ϕµ), where ϕµ is the image measure of µ by ϕ. To obtain these results, we estimate the curvature of ϕµ by means of a corona type decomposition. 1. Introduction A compact set E ⊂ C is said to be removable for bounded analytic func- tions if for any open set Ω containing E, every bounded function analytic on Ω \ E has an analytic extension to Ω. In order to study removability, in the 1940’s Ahlfors [Ah] introduced the notion of analytic capacity. The analytic capacity of a compact set E ⊂ C is γ(E) = sup |f (∞)|, where the supremum is taken over all analytic functions f : C \ E−→ C with |f|≤1onC \ E, and f (∞) = limz→∞ z(f(z) − f(∞)). In [Ah], Ahlfors proved that E is removable for bounded analytic functions if and only if γ(E)=0. Painlev´e’s problem consists of characterizing removable singularities for bounded analytic functions in a metric/geometric way.
    [Show full text]
  • CURVATURES of the MELNIKOV TYPE, HAUSDORFF DIMENSION, RECTIFIABILITY, and SINGULAR INTEGRALS on Rn
    Pacific Journal of Mathematics CURVATURES OF THE MELNIKOV TYPE, HAUSDORFF DIMENSION, RECTIFIABILITY, AND SINGULAR INTEGRALS ON Rn Hany M. Farag Volume 196 No. 2 December 2000 PACIFIC JOURNAL OF MATHEMATICS Vol. 196, No. 2, 2000 CURVATURES OF THE MELNIKOV TYPE, HAUSDORFF DIMENSION, RECTIFIABILITY, AND SINGULAR INTEGRALS ON Rn Hany M. Farag One of the most fundamental steps leading to the solution of the analytic capacity problem (for 1-sets) was the discov- ery by Melnikov of an identity relating the sum of permu- tations of products of the Cauchy kernel to the three-point Menger curvature. We here undertake the study of analogues of this so-called Menger-Melnikov curvature, as a nonnegative function defined on certain copies of Rn, in relation to some natural singular integral operators on subsets of Rn of vari- ous Hausdorff dimensions. In recent work we proved that the Riesz kernels x |x|−m−1 (m ∈ N\{1}) do not admit identities like that of Melnikov in any Lk norm ( k ∈ N). In this paper we extend these investigations in various ways. Mainly, we re- place the Euclidean norm |·| by equivalent metrics δ(·, ·) and we consider all possible k, m, n, δ(·, ·). We do this in hopes of finding better algebraic properties which may allow extend- ing the ideas to higher dimensional sets. On the one hand, we show that for m > 1 no such identities are admissible at least when δ is a norm that is invariant under reflections and permutations of the coordinates. On the other hand, for m = 1, we show that for each choice of metric, one gets an identity and a curvature like those of Melnikov.
    [Show full text]