The following problem arises
in the study of rational approximation: classify all plane sets E such that
μ(z) ≡∫dμ(ζ)∕(ζ − z) = χE(z) area almost everywhere for some complex Borel
measure μ. A partial solution to this problem for compact sets is given here. The
main result is the following.
THEOREM. Let K be a compact plane set with connected dense interior. Then
there is a measure μ such that μ= χK area a.e., if and only if K has finite Painlevé
length.