[Paper Review] n-Harmonic mappings between annuli

Tadeusz Iwaniec, Jani Onninen|arXiv (Cornell University)|Feb 4, 2011

Analytic and geometric function theory44 references17 citations

TL;DR

This paper investigates n-harmonic mappings between concentric spherical annuli in R^n, focusing on energy-minimizing homeomorphisms in the Sobolev space W^{1,n}. By employing free Lagrangians and variational analysis, it establishes existence, uniqueness, and symmetry properties of extremal mappings, revealing unexpected phenomena such as the failure of radial symmetry above a critical Nitsche bound for n ≥ 4.

ABSTRACT

The central theme of this paper is the variational analysis of homeomorphisms $h\colon \mathbb X \onto \mathbb Y$ between two given domains $\mathbb X, \mathbb Y \subset \mathbb R^n$. We look for the extremal mappings in the Sobolev space $\mathscr W^{1,n}(\mathbb X,\mathbb Y)$ which minimize the energy integral \[ \mathscr E_h=\int_{\mathbb X} ||Dh(x)||^n dx. \] Because of the natural connections with quasiconformal mappings this $n$-harmonic alternative to the classical Dirichlet integral (for planar domains) has drawn the attention of researchers in Geometric Function Theory. Explicit analysis is made here for a pair of concentric spherical annuli where many unexpected phenomena about minimal $n$-harmonic mappings are observed. The underlying integration of nonlinear differential forms, called free Lagrangians, becomes truly a work of art.

Motivation & Objective

• To analyze extremal homeomorphisms between annuli that minimize the n-harmonic energy integral ∫|Dh|^n dx.
• To resolve the existence and uniqueness of n-harmonic mappings between annuli, particularly in the context of quasiconformal mappings and nonlinear elasticity.
• To investigate the role of boundary conditions allowing free slipping, challenging classical symmetry assumptions.
• To establish the validity and limitations of radial symmetry in minimizing mappings, especially beyond the Nitsche bound.
• To develop and apply the theory of free Lagrangians to integrate nonlinear differential forms and derive sharp energy estimates.

Proposed method

• Utilizes the n-harmonic energy functional E_h = ∫_X |Dh(x)|^n dx as the primary variational integral in W^{1,n}(X,Y).
• Applies the concept of free Lagrangians to integrate nonlinear differential forms and derive energy bounds, enabling exact computation of extremal mappings.
• Employs polar and spherical coordinates to reduce the problem to radial symmetry, analyzing the n-Laplacian for strain functions.
• Constructs extremal mappings via h(x) = |x|^α Φ(x/|x|), where Φ is a spherical mapping with |DΦ| ≤ α and J(ω,Φ) ≡ 1.
• Uses inverse mapping f = h^{-1} to relate outer and inner dilatations, proving K_O(x,h) = K_I(y,f) for quasiconformal mappings.
• Constructs explicit area-preserving perturbations of the identity on S^{n-1} using Lambert’s cylindrical projection and piecewise-linear deformations.

Experimental results

Research questions

• RQ1 Under what conditions does an n-harmonic homeomorphism exist between two concentric annuli in R^n?
• RQ2 When does radial symmetry fail as a minimizer of the n-harmonic energy, particularly for n ≥ 4?
• RQ3 What is the role of boundary slipping in the existence and uniqueness of extremal mappings?
• RQ4 How do free Lagrangians enable exact integration of nonlinear differential forms in the variational problem?
• RQ5 What is the sharp upper bound on the modulus of the target annulus for which an extremal n-harmonic homeomorphism exists?

Key findings

• For n ≥ 4, radial symmetry fails as a minimizer when the modulus of the target annulus exceeds a critical Nitsche-type bound, leading to non-radial extremal mappings.
• An extremal n-harmonic homeomorphism exists between annuli if and only if the modulus of the target annulus is at most N^†(Mod A), where N^† is a sharp upper bound depending on n.
• The energy functional E_h is minimized by mappings of the form h(x) = |x|^α Φ(x/|x|), where Φ satisfies |DΦ| ≤ α and J(ω,Φ) ≡ 1 almost everywhere.
• For contracting pairs (Mod A* ≤ Mod A), the unique minimizer is radial and conformal, with energy equal to the conformal energy.
• For expanding pairs (Mod A* > Mod A), extremal mappings exist only up to the Nitsche bound; beyond this, no such homeomorphism exists.
• Explicit constructions of area-preserving homeomorphisms on S^{n-1} with arbitrarily small C^0 norm and Jacobian identically 1 are provided, demonstrating the flexibility of the framework.