[Paper Review] Optimal regularity for planar mappings of finite distortion

Kari Astala, James T. Gill+2 more|ArXiv.org|Jan 30, 2008

Advanced Mathematical Modeling in Engineering12 references3 citations

TL;DR

This paper establishes optimal regularity estimates for planar mappings of finite distortion under exponential integrability of the distortion function. By analyzing the interplay between the distortion function and the Jacobian via complex analysis and singular integral operators, it proves that |Df|² log^{β−1}(e + |Df|) ∈ L¹_loc for all β < p, resolving long-standing conjectures by Iwaniec-Sbordone and Iwaniec-Koskela-Martin in two dimensions.

ABSTRACT

Let $f:Ω o\IR^2$ be a mapping of finite distortion, where $Ω\subset\IR^2 .$ Assume that the distortion function $K(x,f)$ satisfies $e^{K(\cdot, f)}\in L^p_{loc}(Ω)$ for some $p&gt;0.$ We establish optimal regularity and area distortion estimates for $f$. Especially, we prove that $|Df|^2 \log^{β-1}(e + |Df|) \in L^1_{loc}(Ω) $ for every $β

Motivation & Objective

• To establish sharp regularity estimates for planar mappings of finite distortion when the distortion function satisfies e^{K(⋅,f)} ∈ L^p_loc(Ω) for p > 0.
• To resolve the conjecture of Iwaniec-Sbordone (Conjecture 1.1) and Iwaniec-Koskela-Martin (Conjecture 7.1) on optimal regularity in two dimensions.
• To provide optimal area distortion estimates for such mappings, linking the integrability of the distortion to the summability of the gradient's logarithmic power.
• To extend the regularity theory of quasiconformal mappings beyond bounded distortion to the finite distortion setting with exponential integrability.
• To demonstrate applications to degenerate elliptic PDEs, showing that finite energy solutions inherit sharp regularity from the distortion condition.

Proposed method

• Utilizes complex notation for planar mappings, expressing the distortion condition as |∂f/∂z̄| ≤ k(z)|∂f/∂z| with k(z) = (K(z)−1)/(K(z)+1) < 1.
• Applies the Beltrami equation ∂f/∂z̄ = μ(z)∂f/∂z, where μ(z) is the complex dilatation with |μ(z)| < 1 a.e.
• Employs the Stoilow factorization theorem to relate solutions of degenerate elliptic PDEs to mappings of finite distortion.
• Analyzes the singular integral operator S (Beurling-Ahlfors transform) and its iterates to control the decay of ||(μS)^n μ||_2.
• Uses the theory of Hardy spaces H^2 and L^p estimates to derive bounds on the gradient |Df| via the logarithmic scale log^β−1(e + |Df|).
• Applies the theory of exponential integrability of K(z,f) to derive sharp L¹_loc estimates for |Df|² log^{β−1}(e + |Df|) with β < p.

Experimental results

Research questions

• RQ1 What is the optimal regularity class for planar mappings of finite distortion when e^{K(⋅,f)} ∈ L^p_loc(Ω) for p > 0?
• RQ2 Can the conjectured regularity threshold |Df|² log^{β−1}(e + |Df|) ∈ L¹_loc(Ω) for all β < p be rigorously established?
• RQ3 Does the exponential integrability of the distortion function e^{K(⋅,f)} imply optimal area distortion and gradient summability in the logarithmic scale?
• RQ4 How do the regularity properties of mappings of finite distortion relate to solutions of degenerate elliptic PDEs with variable ellipticity?
• RQ5 Can the decay rate of the iterated singular integral ||(μS)^n μ||_2 be improved beyond O(n^{-(1+ε)/2}) when e^{K(⋅,f)} ∈ L^1_loc(Ω)?

Key findings

• The paper proves that for any p > 0, if e^{K(⋅,f)} ∈ L^p_loc(Ω), then |Df|² log^{β−1}(e + |Df|) ∈ L¹_loc(Ω) for all β < p, establishing the optimal regularity threshold.
• This result confirms Conjecture 1.1 of Iwaniec-Sbordone and Conjecture 7.1 of Iwaniec-Koskela-Martin in dimension n = 2.
• The decay rate of the singular integral operator norms ||(μS)^n μ||_2 is shown to not be square summable at p = 1, indicating that the decay in Theorem 3.1 cannot be improved.
• For solutions u of degenerate elliptic PDEs with finite energy, the condition e^{K(z)} ∈ L^p_loc(Ω) implies |∇u|² log^{β−1}(e + |∇u|) ∈ L¹_loc(Ω) for all β < p.
• The same regularity holds for |A(z)∇u|² log^{β−1}(e + |A(z)∇u|) ∈ L¹_loc(Ω), showing that the energy seminorm inherits the same logarithmic integrability.
• The results imply that mappings of finite distortion with exponential distortion integrability exhibit self-improving regularity, generalizing classical quasiconformal theory to the finite distortion regime.