Quasiconformal maps, analytic capacity, and non linear potentials. (English) Zbl 1295.30052

Tolsa, Xavier; Uriarte-Tuero, Ignacio

Duke Math. J. 162, No. 8, 1503-1566 (2013).

A compact set \(E\subset\mathbb C\) is said to be \(K\)-removable (\(K\geq 1\)) if, for every open set \(\Omega\supset E\), every bounded \(K\)-quasiregular map \(f:\Omega\setminus E\mapsto\mathbb C\) admits a \(K\)-quasiregular extension to \(\Omega\). The case \(K=1\) corresponds to the compact sets that are removable for bounded analytic functions. It has been shown by Ahlfors that a compact set \(E\subset\mathbb C\) is removable for bounded analytic functions if and only if \(\gamma(E)=0\), where \(\gamma(E)\) denotes the analytic capacity of \(E\). The Painlevé problem for \(K\)-quasiregular maps consists in describing \(K\)-removable sets in metric and geometric terms. The first author [Acta Math. 190, No. 1, 105–149 (2003; Zbl 1060.30031); Ann. Math. (2) 162, No. 3, 1243–1304 (2005; Zbl 1097.30020)] obtained a solution of the classical Painlevé problem (\(K=1\)) in terms of the so-called curvature of measures. There is a well-known connection between \(K\)-removable sets and analytic capacity; \(E\) is \(K\)-removable if and only if \(\gamma(\phi(E))=0\) for every planar \(K\)-quasiconformal map. It has been considerably difficult to find sufficient conditions for removability and to construct “small” non-removable sets, in terms of geometric quantities.
In the paper under review, the authors give a sharp “metric” condition for \(K\)-removability in terms of Riesz capacities. They prove that if \(\phi:\mathbb C\mapsto\mathbb C\) is a \(K\)-quasiconformal map, with \(K>1\), and the compact set \(E\) is contained in a disk \(B\), then \[ \frac{\dot{C}_{\frac{2K}{2K+1},\frac{2K+1}{K+1}}(E)}{\text{{diam}}(B)^{\frac{2}{K+1}}}\geq c^{-1}\Big(\frac{\gamma(\phi(E))}{\text{{diam}}(\phi(B))}\Big)^{\frac{2K}{K+1}}, \] where \(\dot{C}_{\frac{2K}{2K+1},\frac{2K+1}{K+1}}\) is a Riesz capacity associated to a nonlinear potential and the constant \(c\) depends only on \(K\). The proof is long and technical, and includes distortion estimates (of capacities, measures and contents) under quasiconformal maps and a corona-type decomposition for measures with finite curvature and linear growth. Also, the authors introduce a new way of studying Riesz capacities via “Hausdorff-like” measures or contents. The strategies of proof of the main results are carefully described in separate parts of the paper.

Reviewer: Stamatis Pouliasis (Quebec)

MSC:

30C62	Quasiconformal mappings in the complex plane
31A15	Potentials and capacity, harmonic measure, extremal length and related notions in two dimensions

Keywords:

quasiconformal maps; analytic capacity; Riesz capacities; Hausdorff measures

Citations:

Zbl 1060.30031; Zbl 1097.30020

References:

[1]	D. R. Adams and L. I. Hedberg, Function Spaces and Potential Theory , Grundlehren Math. Wiss. 314 , Springer, Berlin, 1996. · Zbl 0834.46021
[2]	K. Astala, Area distortion of quasiconformal mappings , Acta Math. 173 (1994), 37-60. · Zbl 0815.30015
[3]	K. Astala, A. Clop, J. Mateu, J. Orobitg, and I. Uriarte-Tuero, Distortion of Hausdorff measures and improved Painlevé removability for bounded quasiregular mappings , Duke Math. J. 141 (2008), 539-571. · Zbl 1140.30009
[4]	K. Astala, A. Clop, X. Tolsa, I. Uriarte-Tuero, and J. Verdera, Quasiconformal distortion of Riesz capacities and Hausdorff measures in the plane , Amer. J. Math. 135 (2013), 17-52. · Zbl 1264.30015
[5]	K. Astala, T. Iwaniec, and G. Martin, Elliptic Partial Differential Equations and Quasiconformal Mappings in the Plane , Princeton Math. Ser. 48 , Princeton Univ. Press, Princeton, 2009. · Zbl 1182.30001
[6]	K. Astala, T. Iwaniec, and E. Saksman, Beltrami operators in the plane , Duke Math. J. 107 (2001), 27-56. · Zbl 1009.30015
[7]	K. Astala and V. Nesi, Composites and quasiconformal mappings: new optimal bounds in two dimensions , Calc. Var. Partial Diff. Eq. 18 (2003), 335-355. · Zbl 1106.74052
[8]	A. Clop and X. Tolsa, Analytic capacity and quasiconformal mappings with \(W^{1,2}\) Beltrami coefficient , Math. Res. Lett. 15 (2008), 779-793. · Zbl 1166.30007
[9]	G. David, Unrectifiable \(1\)-sets have vanishing analytic capacity , Rev. Mat. Iberoam. 14 (1998), 369-479. · Zbl 0913.30012
[10]	V. Eiderman, F. Nazarov, and A. Volberg, Vector-valued Riesz potentials: Cartan-type estimates and related capacities , Proc. Lond. Math. Soc. (3) 101 (2010), 727-758. · Zbl 1209.42008
[11]	M. T. Lacey, E. T. Sawyer, and I. Uriarte-Tuero, Astala’s conjecture on distortion of Hausdorff measures under quasiconformal maps in the plane , Acta Math. 204 (2010), 273-292. · Zbl 1211.30036
[12]	J. Mateu, L. Prat, and J. Verdera, The capacity associated to signed Riesz kernels, and Wolff potentials , J. Reine Angew. Math. 578 (2005), 201-223. · Zbl 1086.31005
[13]	J. Mateu, X. Tolsa, and J. Verdera, The planar Cantor sets of zero analytic capacity and the local \(T(b)\)-theorem , J. Amer. Math. Soc. 16 (2003), 19-28. · Zbl 1016.30020
[14]	P. Mattila, “Geometry of sets and measures in Euclidean spaces” in Fractals and Rectifiability , Cambridge Stud. in Adv. Math. 44 , Cambridge Univ. Press, Cambridge, 1995. · Zbl 0819.28004
[15]	P. Mattila, On the analytic capacity and curvature of some Cantor sets with non \(\sigma\)-finite length , Publ. Mat. 40 (1996), 195-204. · Zbl 0888.30026
[16]	M. S. Mel’nikov, Analytic capacity: A discrete approach and the curvature of measure , Mat. Sb. 186 (1995), no. 6, 57-76. · Zbl 0840.30008
[17]	P. V. Paramonov, Harmonic approximations in the \(C^{1}\)-norm , Mat. Sb. 181 (1990), 1341-1365, 1990. · Zbl 0716.31004
[18]	L. Prat, Potential theory of signed Riesz kernels: Capacity and Hausdorff measure , Int. Math. Res. Not. IMRN 2004 , no. 19, 937-981. · Zbl 1082.31002
[19]	I. Prause, A remark on quasiconformal dimension distortion on the line , Ann. Acad. Sci. Fenn. Math. 32 (2007), 341-352. · Zbl 1122.30014
[20]	H. M. Reimann, Functions of bounded mean oscillation and quasiconformal mappings , Comment. Math. Helv. 49 (1974), 260-276. · Zbl 0289.30027
[21]	X. Tolsa, Painlevé’s problem and the semiadditivity of analytic capacity , Acta Math. 190 (2003), 105-149. · Zbl 1060.30031
[22]	X. Tolsa, Bilipschitz maps, analytic capacity, and the Cauchy integral , Ann. of Math. (2), 162 (2005), 1243-1304. · Zbl 1097.30020
[23]	X. Tolsa and I. Uriarte-Tuero, Quasiconformal maps, analytic capacity, and nonlinear potentials , preprint, [math.CA]. 0907.4188 · Zbl 1295.30052
[24]	I. Uriarte-Tuero, Sharp examples for planar quasiconformal distortion of Hausdorff measures and removability , Int. Math. Res. Not. IMRN 2008 , art. ID rnn047-43. · Zbl 1154.30013
[25]	J. Väisälä, Bi-Lipschitz and quasisymmetric extension properties , Ann. Acad. Sci. Fenn. Ser. A I Math. 11 (1986), 239-274.
[26]	A. Volberg, Calderón-Zygmund Capacities and Operators on Nonhomogeneous Spaces, CBMS Reg. Conf. Ser. Math. 100 , published for the Conference Board of the Mathematical Sciences, Washington, D.C., Amer. Math. Soc., Providence, 2003. · Zbl 1053.42022