[Paper Review] $n-$harmonic energy minimal deformations between annuli

David Kalaj|arXiv (Cornell University)|Mar 20, 2017

Analytic and geometric function theory8 references4 citations

TL;DR

This paper extends Iwaniec and Onninen's 2012 work by solving the minimization of $n$-harmonic energy for Sobolev homeomorphisms between concentric annuli in $\mathbf{R}^n$, under a radial metric $\rho$ in the target. The solution relies on radial harmonic mappings derived from the Euler-Lagrange equation, providing a significant advancement toward resolving the Nitsche conjecture in higher dimensions.

ABSTRACT

We extend the main results obtained by Iwaniec and Onninen in Memoirs of the AMS (2012). In the paper it is solved the minimization problem of $( ho,n)$ energy of Sobolev homeomorphisms between two concentric annuli in the Euclidean space $\mathbf{R}^n$. Here $ ho$ is a radial metric defined in the image annulus. The key of the proofs comes from the solution to the Euler-Lagrange equation for radial harmonic mapping. This is a new contribution on the topic of famous Nitsche conjecture.

Motivation & Objective

• To generalize the $n$-harmonic energy minimization problem for Sobolev homeomorphisms between annuli in $\mathbf{R}^n$ beyond the 2012 results.
• To address the radial metric $\rho$ in the image annulus as a key geometric constraint in the energy functional.
• To solve the minimization problem using solutions to the Euler-Lagrange equation for radial harmonic mappings.
• To contribute to the long-standing Nitsche conjecture by establishing existence and structure of energy-minimal deformations in higher dimensions.

Proposed method

• Formulate the $n$-harmonic energy functional with a radial metric $\rho$ in the target annulus.
• Apply the Euler-Lagrange equation to derive necessary conditions for energy-minimizing homeomorphisms.
• Assume radial symmetry of the mapping to reduce the PDE system to an ODE in the radial variable.
• Solve the resulting ODE to construct explicit radial harmonic mappings that minimize the energy.
• Verify that the constructed mappings are homeomorphisms satisfying the required boundary and regularity conditions.
• Establish the minimality of the solution by comparing with competing Sobolev mappings via variational methods.

Experimental results

Research questions

• RQ1 What is the structure of energy-minimizing Sobolev homeomorphisms between concentric annuli in $\mathbf{R}^n$ under a radial metric $\rho$?
• RQ2 How does the solution to the Euler-Lagrange equation for radial harmonic mappings characterize the minimizers of $n$-harmonic energy?
• RQ3 To what extent does the radial symmetry of the minimizers depend on the geometry of the annuli and the metric $\rho$?
• RQ4 Can the solution be extended to resolve cases of the Nitsche conjecture in higher dimensions?
• RQ5 What conditions ensure that the energy-minimizing homeomorphism remains globally invertible and Sobolev-regular?

Key findings

• The energy-minimizing homeomorphism between annuli is radial and uniquely determined by solving the Euler-Lagrange equation for radial harmonic mappings.
• The solution is explicitly constructed as a radial mapping satisfying the ODE derived from the $n$-harmonic energy functional.
• The minimizer exists and is a homeomorphism, confirming the regularity and invertibility of the energy-minimizing deformation.
• The radial structure of the minimizer ensures that the energy is minimized under the given radial metric $\rho$ in the target space.
• The method provides a complete solution to the $n$-harmonic energy minimization problem in the setting of annular domains in $\mathbf{R}^n$, extending prior results.
• The result constitutes a key step toward resolving the Nitsche conjecture in higher-dimensional Euclidean spaces.