Radó–Kneser–Choquet theorem


In mathematics, the Radó–Kneser–Choquet theorem, named after Tibor Radó, Hellmuth Kneser and Gustave Choquet, states that the Poisson integral of a homeomorphism of the unit circle is a harmonic diffeomorphism of the open unit disk. The result was stated as a problem by Radó and solved shortly afterwards by Kneser in 1926. Choquet, unaware of the work of Radó and Kneser, rediscovered the result with a different proof in 1945. Choquet also generalized the result to the Poisson integral of a homeomorphism from the unit circle to a simple Jordan curve bounding a convex region.

Statement

Let f be an orientation-preserving homeomorphism of the unit circle |z| = 1 in C and define the Poisson integral of f by
for r < 1. Standard properties of the Poisson integral show that Ff is a harmonic function on |z| < 1 which extends by continuity to f on |z| = 1. With the additional assumption that f is orientation-preserving homeomorphism of this circle, Ff is an orientation preserving diffeomorphism of the open unit disk.

Proof

To prove that Ff is locally an orientation-preserving diffeomorphism, it suffices to show that the Jacobian at a point a in the unit disk is positive. This Jacobian is given by
On the other hand that g is a Möbius transformation preserving the unit circle and the unit disk,
Taking g so that g = 0 and taking the change of variable ζ = g, the chain rule gives
It follows that
It is therefore enough to prove positivity of the Jacobian when a = 0. In that case
where the an are the Fourier coefficients of f:
Following, the Jacobian at 0 can be expressed as a double integral
Writing
where h is a strictly increasing continuous function satisfying
the double integral can be rewritten as
Hence
where
This formula gives R as the sum of the sines of four non-negative angles with sum 2π, so it is always non-negative. But then the Jacobian at 0 is strictly positive and Ff is therefore locally a diffeomorphism.
It remains to deduce Ff is a homeomorphism. By continuity its image is compact so closed. The non-vanishing of the Jacobian, implies that Ff is an open mapping on the unit disk, so that the image of the open disk is open. Hence the image of the closed disk is an open and closed subset of the closed disk. By connectivity, it must be the whole disk. For |w| < 1, the inverse image of w is closed, so compact, and entirely contained in the open disk. Since Ff is locally a homeomorphism, it must be a finite set. The set of points w in the open disk with exactly n preimages is open. By connectivity every point has the same number N of preimages. Since the open disk is simply connected, N = 1. In fact taking any preimage of the origin, every radial line has a unique lifting to a preimage, and so there is an open subset of the unit disk mapping homeomorphically onto the open disk. If N > 1, its complement would also have to be open, contradicting connectivity.