Difference between revisions of "Painlevé problem"
Ulf Rehmann (talk | contribs) m (moved Painleve problem to Painlevé problem over redirect: accented title) |
|||
| Line 1: | Line 1: | ||
| − | + | {{MSC|53A04|53A35}} | |
| − | |||
| − | |||
| + | [[Category:Analysis]] | ||
| − | + | {{TEX|done}} | |
| − | === | + | ===The problem and first results=== |
| − | + | ||
| + | The Painlevé problem is to find a characterization in geometric terms for the removable singularities of bounded analytic functions, or equivalently, for the null-sets of the [[analytic capacity]]. P. Painlevé studied this problem already in 1888 and proved a sufficient condition: if a compact plane set $K$ has length (that is, one-dimensional [[Hausdorff measure]]) zero, then it is removable for bounded analytic functions. The latter means that whenever $U$ is an open set in $\mathbb C$ containing $K$ and $f$ is bounded and analytic in $U\setminus K$, then $f$ has an analytic extension to $U$. In the other direction; if $K$ has [[Hausdorff dimension]] greater than 1 (in particular, if $K$ has interior points), then $K$ is not removable. A deep result due to A.P. Calder\'on from 1977 says that if $K$ is a subset of a [[rectifiable curve]], then $K$ is removable if and only if it has length zero. | ||
| + | |||
| + | ===Tolsa's solution=== | ||
| + | |||
| + | |||
| + | In {{Cite|T}} X. Tolsa solved Painlevé's problem. The solution depends on the so-called Menger curvature $c(z_1,z_2,z_3)$ for triples of points in $\mathbb C$ and a formula of M.S. Melnikov relating it to the Cauchy kernel $1/z$. By definition the Menger curvature is the reciprocal of the radius of the circle passing through the points $z_1,z_2,z_3$; it is equal to zero if and only if the three points lie on one line. Tolsa's solution is: | ||
| + | |||
| + | A compact set $K\subset \mathbb C$ is not removable for bounded analytic functions if and only there is a positive non-trivial Borel measure $\mu$ on $\mathbb C$ such that | ||
| + | $\mu(D)\leq diam(D)$ for all discs $D$ in $\mathbb C$ and $\int\int\int c(z_1,z_2,z_3)^2d\mu z_1d\mu z_2d\mu z_3<\infty$. | ||
| + | |||
| + | |||
| + | Good general reference is {{Cite|P}}. | ||
| + | |||
| + | ===References=== | ||
| + | |||
| + | {| | ||
| + | |||
| + | |- | ||
| + | |||
| + | |||
| + | |valign="top"|{{Ref|P}}|| H. Pajot, "Analytic Capacity, Rectifiability, Menger Curvature and the Cauchy Integral" , Spinger-Verlag Lecture Notes 1799, 2002. {{MR|}} {{ZBL|}} | ||
| + | |||
| + | |- | ||
| + | |||
| + | |valign="top"|{{Ref|T}}|| X. Tolsa, "Painlevè's problem and the semiadditivity of analytic capacity" , Acta Mathematica, 190 (2003), 105-149. {{MR|}} {{ZBL|}} | ||
Latest revision as of 17:55, 24 September 2012
2020 Mathematics Subject Classification: Primary: 53A04 Secondary: 53A35 [MSN][ZBL]
The problem and first results
The Painlevé problem is to find a characterization in geometric terms for the removable singularities of bounded analytic functions, or equivalently, for the null-sets of the analytic capacity. P. Painlevé studied this problem already in 1888 and proved a sufficient condition: if a compact plane set $K$ has length (that is, one-dimensional Hausdorff measure) zero, then it is removable for bounded analytic functions. The latter means that whenever $U$ is an open set in $\mathbb C$ containing $K$ and $f$ is bounded and analytic in $U\setminus K$, then $f$ has an analytic extension to $U$. In the other direction; if $K$ has Hausdorff dimension greater than 1 (in particular, if $K$ has interior points), then $K$ is not removable. A deep result due to A.P. Calder\'on from 1977 says that if $K$ is a subset of a rectifiable curve, then $K$ is removable if and only if it has length zero.
Tolsa's solution
In [T] X. Tolsa solved Painlevé's problem. The solution depends on the so-called Menger curvature $c(z_1,z_2,z_3)$ for triples of points in $\mathbb C$ and a formula of M.S. Melnikov relating it to the Cauchy kernel $1/z$. By definition the Menger curvature is the reciprocal of the radius of the circle passing through the points $z_1,z_2,z_3$; it is equal to zero if and only if the three points lie on one line. Tolsa's solution is:
A compact set $K\subset \mathbb C$ is not removable for bounded analytic functions if and only there is a positive non-trivial Borel measure $\mu$ on $\mathbb C$ such that $\mu(D)\leq diam(D)$ for all discs $D$ in $\mathbb C$ and $\int\int\int c(z_1,z_2,z_3)^2d\mu z_1d\mu z_2d\mu z_3<\infty$.
Good general reference is [P].
References
| [P] | H. Pajot, "Analytic Capacity, Rectifiability, Menger Curvature and the Cauchy Integral" , Spinger-Verlag Lecture Notes 1799, 2002. |
| [T] | X. Tolsa, "Painlevè's problem and the semiadditivity of analytic capacity" , Acta Mathematica, 190 (2003), 105-149. |
Painlevé problem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Painlev%C3%A9_problem&oldid=28145