Radó-Kneser-Choquet Theorem for simply connected domains (p-harmonic setting)

Abstract

A remarkable result known as Rad´o-Kneser-Choquet theorem asserts that the harmonic extension of a homeomorphism of the boundary of a Jordan domain ⌦ ⇢ R2 onto the boundary of a convex domain Q ⇢ R2 takes ⌦ di↵eomorphically onto Q . Numerous extensions of this result for linear and nonlinear elliptic PDEs are known, but only when ⌦ is a Jordan domain or, if not, under additional assumptions on the boundary map. On the other hand, the newly developed theory of Sobolev mappings between Euclidean domains and Riemannian manifolds demands to extend this theorem to the setting on simply connected domains. This is the primary goal of our article. The class of the p -harmonic equations is wide enough to satisfy those demands. Thus we confine ourselves to considering the p -harmonic mappings. The situation is quite di↵erent than that of Jordan domains. One must circumvent the inherent topological diculties arising near the boundary. Our main Theorem 4 is the key to establishing approximation of monotone Sobolev mappings with di↵eomorphisms. This, in turn, leads to the existence of energy-minimal deformations in the theory of Nonlinear Elasticity. Hence the usefulness of Theorem 4. We do not enter these applications here, but refer the reader to Section 1.2, for comments. .