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
F f ( r e i θ ) = 1 2 π ∫ 0 2 π f ( φ ) ⋅ 1 − r 2 1 − 2 r cos ( θ − φ ) + r 2 d φ , {\displaystyle \displaystyle {F_{f}(re^{i\theta })={1 \over 2\pi }\int _{0}^{2\pi }f(\varphi )\cdot {1-r^{2} \over 1-2r\cos(\theta -\varphi )+r^{2}}\,d\varphi ,}}
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
J f ( a ) = | ∂ z F f ( a ) | 2 − | ∂ z ¯ F f ( a ) | 2 . {\displaystyle \displaystyle {J_{f}(a)=|\partial _{z}F_{f}(a)|^{2}-|\partial _{\overline {z}}F_{f}(a)|^{2}.}}
On the other hand, that g is a Möbius transformation preserving the unit circle and the unit disk,
F f ∘ g = F f ∘ g . {\displaystyle \displaystyle {F_{f\circ g}=F_{f}\circ g.}}
Taking g so that g(a) = 0 and taking the change of variable ζ = g(z), the chain rule gives
( F f ∘ g ) z = [ ( F f ) ζ ∘ g ] ⋅ g z , ( F f ∘ g ) z ¯ = [ ( F f ) ζ ¯ ∘ g ] ⋅ g z ¯ . {\displaystyle \displaystyle {(F_{f}\circ g)_{z}=[(F_{f})_{\zeta }\circ g]\cdot g_{z},\,\,(F_{f}\circ g)_{\overline {z}}=[(F_{f})_{\overline {\zeta }}\circ g]\cdot {\overline {g_{z}}}.}}
It follows that
… excerpt ends here. Continue reading the full article.
