Weak limit of homeomorphisms in $W^{1,n-1}$: invertibility and lower semicontinuity of energy

Basic Information

• Paper ID: 2212.06452
• Title: Weak limit of homeomorphisms in $W^{1,n-1}$: invertibility and lower semicontinuity of energy
• Authors: Anna Doležalová, Stanislav Hencl, Anastasia Molchanova
• Classification: math.FA (Functional Analysis)
• Publication Date: December 2022 (arXiv v2: September 2023)
• Paper Link: https://arxiv.org/abs/2212.06452

Abstract

Let $\Omega, \Omega' \subset \mathbb{R}^n$ be bounded domains and $f_m: \Omega \to \Omega'$ be a sequence of homeomorphisms with positive Jacobian determinant $J_{f_m} > 0$ a.e. and prescribed Dirichlet boundary data. Assume all $f_m$ satisfy the Lusin (N) condition and $\sup_m \int_\Omega(|Df_m|^{n-1}+A(|\text{cof} Df_m|)+\phi(J_f)) < \infty$, where $A$ and $\phi$ are positive convex functions. Let $f$ be the weak limit of $f_m$ in $W^{1,n-1}$. Under specific growth conditions on $A$ and $\phi$, we prove that $f$ satisfies the (INV) condition of Conti and De Lellis, the Lusin (N) condition, and lower semicontinuity of the polyconvex energy functional.

Research Background and Motivation

Problem Background

The core problem studied in this paper originates from deformation theory in continuum mechanics. In nonlinear elasticity theory, a mapping $f: \Omega \to \mathbb{R}^n$ represents the deformation from a reference configuration to a deformed configuration, where:

1. Physical constraints: The deformation should be injective (principle of "material non-interpenetration")
2. Mathematical challenge: In the critical Sobolev space $W^{1,n-1}$, classical invertibility theory no longer applies
3. Energy functionals: Practical models often involve integral functionals containing $|Df|^2$ terms, requiring work within the $W^{1,2}$ framework

Research Motivation

Traditional (INV) condition theory requires $f \in W^{1,p}$ with $p > n-1$, but in three dimensions ($n=3$), many practical models have energy functionals containing the classical Dirichlet term $|Df|^2$, making the assumption $p > n-1$ overly restrictive. Conti and De Lellis introduced the (INV) condition for the case $W^{1,2} \cap L^\infty$, but this class is not weakly closed, preventing direct application to variational methods.

Limitations of Existing Approaches

1. Lack of weak closure: The Conti-De Lellis (INV) class is not weakly closed
2. Regularity requirements: Traditional theory requires regularity $p > n-1$
3. Variational applicability: Absence of function classes suitable for variational methods

Core Contributions

1. Established (INV) property of weak limits: Proved that under appropriate energy control, weak limits of Sobolev homeomorphisms satisfy the (INV) condition
2. Proved lower semicontinuity of energy functionals: Established weak lower semicontinuity within the polyconvex functional framework
3. Constructed function classes suitable for variational methods: The considered class of weak limits is weakly closed, suitable for variational problems
4. Extended the theoretical framework: Generalized results from $W^{1,p}$ ($p > n-1$) to the critical case $W^{1,n-1}$
5. Provided variational applications: Proved existence of solutions to corresponding variational problems

Detailed Methodology

Problem Formulation

Consider the energy functional: $F(f) = \int_\Omega \left( |Df(x)|^{n-1} + A(|\text{cof}Df(x)|) + \phi(Jf(x)) \right) dx$

where:

• $A(|\cdot|)$ is a positive convex function satisfying $\lim_{t \to \infty} \frac{A(t)}{t} = \infty$
• $\phi$ satisfies conditions (1.2)-(1.4):
  • $\phi$ is a positive convex function on $(0,\infty)$ with $\lim_{t \to 0^+} \phi(t) = \infty$
  • $\lim_{t \to \infty} \frac{\phi(t)}{t} = \infty$
  • There exists a constant $A > 0$ such that $A^{-1}\phi(t) \leq \phi(2t) \leq A\phi(t)$

Core Technical Framework

(INV) Condition

For a ball $B \subset\subset \Omega$, a mapping $f \in W^{1,n-1}(\Omega,\mathbb{R}^n) \cap L^\infty(\Omega,\mathbb{R}^n)$ satisfies the (INV) condition if and only if:

1. Its trace on $\partial B$ belongs to $W^{1,n-1}(\partial B,\mathbb{R}^n) \cap L^\infty(\partial B,\mathbb{R}^n)$
2. $f(x) \in \text{im}_T(f,B)$ for a.e. $x \in B$
3. $f(x) \notin \text{im}_T(f,B)$ for a.e. $x \in \Omega \setminus B$

where $\text{im}_T(f,B)$ denotes the topological image, defined as the set of density points of $\{y \in \mathbb{R}^n : \text{Deg}(f,B,y) \neq 0\}$.

Key Technical Tools

1. Degree theory: Employs generalized degree $\text{Deg}(f,B,\cdot)$ for $W^{1,n-1} \cap L^\infty$ mappings
2. Equiintegrability: Establishes equiintegrability of $Df_m^{-1}$ (Theorem 2.5)
3. Geometric control: Utilizes energy control to obtain uniform estimates of geometric properties

Main Theorems

Theorem 1.2: Let $n \geq 3$, $\Omega, \Omega' \subset \mathbb{R}^n$ be bounded domains, and functions $\phi$ and $A$ satisfy conditions (1.2) and (1.6). Let $f_m \in W^{1,n-1}(\Omega,\mathbb{R}^n)$ be a sequence of homeomorphisms from $\Omega$ to $\Omega'$ satisfying $Jf_m > 0$ a.e., $f_m$ satisfies the Lusin (N) condition, and $\sup_m F(f_m) < \infty$

Let $f$ be the weak limit of $f_m$ in $W^{1,n-1}(\Omega,\mathbb{R}^n)$. Then:

1. $f$ satisfies the (INV) condition
2. Under the additional condition (1.3), $f$ satisfies the Lusin (N) condition and has lower semicontinuity of energy
3. Under the condition $|\partial\Omega'| = 0$, we have $h(f(x)) = x$ and $f(h(y)) = y$ a.e.

Technical Innovations

Proof Strategy Innovations

1. Proof by contradiction framework: Assumes failure of the (INV) condition to construct a contradiction
2. Geometric analysis: Controls degree differences through "bubble" analysis
3. Energy concentration: Transforms geometric control into energy estimates using isoperimetric inequalities

Key Technical Breakthroughs

1. Control of cofactor matrix: The condition $\sup_m \int_\Omega A(|\text{cof}Df_m|) dx < \infty$ ensures equiintegrability of the derivative of the inverse mapping
2. Transmission of Lusin (N) condition: Proves that this condition transfers from $f_m$ to the limit $f$
3. Continuity of degree: Establishes convergence of degree under weak convergence

Experimental Setup

Theoretical Verification

This work is primarily theoretical, with verification through:

1. Counterexample construction: Constructs examples where lower semicontinuity fails when the Lusin (N) condition is not satisfied (Lemma 4.5)
2. Necessity of conditions: Proves necessity of all assumed conditions
3. Application verification: Verifies applicability of the theory in variational problems

Constructive Proofs

• Transforms continuity problems into energy estimates through Vitali covering and minimizing sequence construction
• Employs diagonalization methods to handle sequence convergence

Main Results

Theoretical Results

1. Existence theorem: Under prescribed boundary conditions, the corresponding variational problem admits a minimizer
2. Regularity results: Minimizers satisfy the (INV) and Lusin (N) conditions
3. Lower semicontinuity: Polyconvex energy functionals are lower semicontinuous in the weak topology

Application Results

Theorem 5.3: For polyconvex functions $W$ satisfying the conditions, the variational problem $\min\{E(h) : h \in H^w_{f_0}(\Omega,\mathbb{R}^n)\}$ admits a solution that satisfies physical reasonableness conditions.

Comparative Analysis

Compared to the work of Henao and Mora-Corral 24, this paper:

1. Provides a more geometric proof method
2. Does not require condition (1.3) to obtain the (INV) property
3. Establishes new almost everywhere invertibility properties (1.9)

Related Work

Historical Development

1. Ball and Ciarlet-Nečas: Laid the foundation for invertibility research in nonlinear elasticity
2. Müller and Spector: Introduced the (INV) condition for the case $W^{1,p}$ ($p > n-1$)
3. Conti and De Lellis: Extended the theory to the case $W^{1,2} \cap L^\infty$

Positioning of This Work's Contribution

This paper fills the theoretical gap in the critical case $W^{1,n-1}$, providing mathematical foundations for practical physical models.

Conclusions and Discussion

Main Conclusions

1. Under appropriate energy control, weak limits of Sobolev homeomorphisms preserve invertibility properties
2. Polyconvex energy functionals exhibit good variational properties on the constructed function class
3. The corresponding variational problem admits physically reasonable solutions

Limitations

1. Cavitation restriction: Condition (1.3) prevents modeling of cavitation phenomena
2. Boundary regularity: Requires assumptions on Lipschitz domains
3. Dimensional restriction: Main results are limited to $n \geq 3$

Future Directions

1. Investigate whether the Lusin (N) condition can be relaxed
2. Explore theory on more general domains
3. Develop numerical methods to compute corresponding minimizers

In-Depth Evaluation

Strengths

1. Theoretical depth: Resolves fundamental problems in critical Sobolev spaces
2. Methodological innovation: Skillful combination of geometric analysis and variational methods
3. Application value: Provides rigorous mathematical foundations for nonlinear elasticity theory
4. Technical rigor: Detailed proofs with precise technical handling

Weaknesses

1. Condition complexity: Requires multiple technical conditions, which may be difficult to verify in practice
2. Constructiveness: Lacks effective algorithms for constructing minimizers
3. Generalizability: Some results depend strongly on specific function classes

Impact

1. Academic contribution: Advances the development of Sobolev mapping theory
2. Application prospects: Provides theoretical support for computational mechanics
3. Methodological value: Developed techniques applicable to related problems

Applicable Scenarios

1. Nonlinear elasticity: Large deformation elasticity theory
2. Fluid mechanics: Variational description of incompressible flows
3. Materials science: Constitutive relation modeling for new materials

References

This paper cites important literature in the field, including:

• Ball 2: Convexity conditions in nonlinear elasticity
• Müller-Spector 34: Original definition of (INV) condition
• Conti-De Lellis 12: Theory for the case $W^{1,2} \cap L^\infty$
• Henao-Mora-Corral 24: Related distributional Jacobian theory

Technical Characteristics: This paper successfully combines geometric measure theory, calculus of variations, and Sobolev space theory, providing new theoretical tools and methods for addressing fundamental mathematical problems in continuum mechanics.