Uniqueness of diffeomorphic minimizers of $L^p$-mean distortion

TL;DR

This paper investigates the uniqueness of diffeomorphic minimizers of the $L^p$-mean distortion functional for Sobolev homeomorphisms between Lipschitz domains, establishing that such minimizers, if they exist, are unique.

Contribution

The paper proves that any diffeomorphic minimizer of the $L^p$-mean distortion functional, assuming existence, must be unique.

Findings

Uniqueness of diffeomorphic minimizers if they exist.

Supports the conjecture of existence of minimizers for all p in (1, ∞).

Provides a theoretical foundation for the analysis of distortion minimization.

Abstract

We study the $L^p$-mean distortion functionals, \[{\cal E}_p[f] = \int_\mathbb Y K^p_f(z) \; dz, \] for Sobolev homeomorphisms $f: \overline{\mathbb Y}\xrightarrow{\rm onto} \overline{\mathbb X}$ where $\mathbb X$ and $\mathbb Y$ are bounded simply connected Lipschitz domains, and $f$ coincides with a given boundary map $f_0 \colon \partial \mathbb Y \to \partial \mathbb X$. Here, $K_f(z)$ denotes the pointwise distortion function of $f$. It is conjectured that for every $1 < p < \infty$, the functional $\mathcal{E}_p$ admits a minimizer that is a diffeomorphism. We prove that if such a diffeomorphic minimizer exists, then it is unique.