In potential theory, a branch of mathematics, Cartan's lemma, named after Henri Cartan, is a bound on the measure and complexity of the set on which a logarithmic Newtonian potential is small.
The following statement can be found in Levin's book.[1]
Let μ be a finite positive Borel measure on the complex plane C with μ(C) = n. Let u(z) be the logarithmic potential of μ:
u(z)=
1 | |
2\pi |
\intClog|z-\zeta|d\mu(\zeta)
Given H ∈ (0, 1), there exist discs of radii ri such that
\sumiri<5H
and
u(z)\ge
n | |
2\pi |
log
H | |
e |
for all z outside the union of these discs.