2025-11-10T02:50:04.699754

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

DoleÅ¾alovÃ¡, Hencl, Molchanova

Let $Î©$, $Î©'\subset\mathbb{R}^n$ be bounded domains and let $f_m\colonÎ©\toÎ©'$ be a sequence of homeomorphisms with positive Jacobians $J_{f_m} >0$ a.e. and prescribed Dirichlet boundary data. Let all $f_m$ satisfy the Lusin (N) condition and $\sup_m \int_Î©(|Df_m|^{n-1}+A(|\text{cof} Df_m|)+Ï(J_f))<\infty$, where $A$ and $Ï$ are positive convex functions. Let $f$ be a weak limit of $f_m$ in $W^{1,n-1}$. Provided certain growth behaviour of $A$ and $Ï$, we show that $f$ satisfies the (INV) condition of Conti and De Lellis, the Lusin (N) condition, and polyconvex energies are lower semicontinuous.

academic

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

基本信息

论文ID: 2212.06452
标题: Weak limit of homeomorphisms in $W^{1,n-1}$ : invertibility and lower semicontinuity of energy
作者: Anna Doležalová, Stanislav Hencl, Anastasia Molchanova
分类: math.FA (泛函分析)
发表时间: 2022年12月 (arXiv v2: 2023年9月)
论文链接: https://arxiv.org/abs/2212.06452

摘要

设 $\Omega, \Omega' \subset \mathbb{R}^n$ 为有界区域， $f_m: \Omega \to \Omega'$ 为一列同胚映射序列，具有正雅可比行列式 $J_{f_m} > 0$ a.e. 和给定的 Dirichlet 边界数据。假设所有 $f_m$ 满足 Lusin (N) 条件且 $\sup_m \int_\Omega(|Df_m|^{n-1}+A(|\text{cof} Df_m|)+\phi(J_f)) < \infty$ ，其中 $A$ 和 $\phi$ 为正凸函数。设 $f$ 为 $f_m$ 在 $W^{1,n-1}$ 中的弱极限。在 $A$ 和 $\phi$ 满足特定增长条件下，证明了 $f$ 满足 Conti 和 De Lellis 的 (INV) 条件、Lusin (N) 条件，以及多凸能量泛函的下半连续性。

研究背景与动机

问题背景

本文研究的核心问题源于连续介质力学中的变形理论。在非线性弹性理论中，映射 $f: \Omega \to \mathbb{R}^n$ 表示从参考构型到变形构型的变形，其中：

物理约束要求：变形应该是单射的（"物质不相互渗透"原理）
数学挑战：在临界 Sobolev 空间 $W^{1,n-1}$ 中，经典的可逆性理论不再适用
能量泛函：实际模型中常涉及包含 $|Df|^2$ 项的积分泛函，这要求在 $W^{1,2}$ 框架下工作

研究动机

传统的 (INV) 条件理论要求 $f \in W^{1,p}$ 且 $p > n-1$ ，但在三维情况下（ $n=3$ ），许多实际模型的能量泛函包含经典 Dirichlet 项 $|Df|^2$ ，这使得 $p > n-1$ 的假设过强。Conti 和 De Lellis 针对 $W^{1,2} \cap L^\infty$ 情况引入了 (INV) 条件，但该类不是弱闭的，无法直接用于变分方法。

现有方法局限性

弱闭性缺失：Conti-De Lellis 的 (INV) 类不是弱闭的
正则性要求：传统理论需要 $p > n-1$ 的正则性
变分适用性：缺乏适合变分方法的函数类

核心贡献

建立了弱极限的 (INV) 性质：证明了在适当能量控制下，Sobolev 同胚的弱极限满足 (INV) 条件
证明了能量泛函的下半连续性：在多凸泛函框架下建立了弱下半连续性
构造了变分方法适用的函数类：所考虑的弱极限类是弱闭的，适合变分问题
推广了理论框架：将结果从 $W^{1,p}$ ( $p > n-1$ ) 推广到临界情况 $W^{1,n-1}$
提供了变分应用：证明了相应变分问题解的存在性

方法详解

任务定义

考虑能量泛函： $F(f) = \int_\Omega \left( |Df(x)|^{n-1} + A(|\text{cof}Df(x)|) + \phi(Jf(x)) \right) dx$

其中：

$A(|\cdot|)$ 为满足 $\lim_{t \to \infty} \frac{A(t)}{t} = \infty$ 的正凸函数
$\phi$ $ϕ$ 满足条件 (1.2)-(1.4)：
- $\phi$ 为 $(0,\infty)$ 上的正凸函数， $\lim_{t \to 0^+} \phi(t) = \infty$
- $\lim_{t \to \infty} \frac{\phi(t)}{t} = \infty$
- 存在常数 $A > 0$ 使得 $A^{-1}\phi(t) \leq \phi(2t) \leq A\phi(t)$

核心技术框架

(INV) 条件

对于球 $B \subset\subset \Omega$ ，映射 $f \in W^{1,n-1}(\Omega,\mathbb{R}^n) \cap L^\infty(\Omega,\mathbb{R}^n)$ 满足 (INV) 条件当且仅当：

其在 $\partial B$ 上的迹属于 $W^{1,n-1}(\partial B,\mathbb{R}^n) \cap L^\infty(\partial B,\mathbb{R}^n)$
$f(x) \in \text{im}_T(f,B)$ 对 a.e. $x \in B$
$f(x) \notin \text{im}_T(f,B)$ 对 a.e. $x \in \Omega \setminus B$

其中 $\text{im}_T(f,B)$ 为拓扑像，定义为集合 $\{y \in \mathbb{R}^n : \text{Deg}(f,B,y) \neq 0\}$ 的密度点集合。

关键技术工具

度理论：使用广义度 $\text{Deg}(f,B,\cdot)$ 处理 $W^{1,n-1} \cap L^\infty$ 映射
等积分性：证明 $Df_m^{-1}$ 的等积分性（定理 2.5）
几何控制：利用能量控制获得几何性质的一致估计

主要定理

定理 1.2：设 $n \geq 3$ ， $\Omega, \Omega' \subset \mathbb{R}^n$ 为有界区域，函数 $\phi$ 和 $A$ 满足条件 (1.2) 和 (1.6)。设 $f_m \in W^{1,n-1}(\Omega,\mathbb{R}^n)$ 为从 $\Omega$ 到 $\Omega'$ 的同胚序列，满足 $Jf_m > 0$ a.e.， $f_m$ 满足 Lusin (N) 条件，且 $\sup_m F(f_m) < \infty$