2025-11-12T18:28:10.294015

Weak limit of homeomorphisms in $W^{1,n-1}$ and (INV) condition

DoleÅ¾alovÃ¡, Hencl, MalÃ½

Let $Î©,Î©'\subset\mathbb{R}^3$ be Lipschitz domains, let $f_m:Î©\toÎ©'$ be a sequence of homeomorphisms with prescribed Dirichlet boundary condition and $\sup_m \int_Î©(|Df_m|^2+1/J^2_{f_m})<\infty$. Let $f$ be a weak limit of $f_m$ in $W^{1,2}$. We show that $f$ is invertible a.e., more precisely it satisfies the (INV) condition of Conti and De Lellis and thus it has all the nice properties of mappings in this class. Generalization to higher dimensions and an example showing sharpness of the condition $1/J^2_f\in L^1$ are also given. Using this example we also show that unlike the planar case the class of weak limits and the class of strong limits of $W^{1,2}$ Sobolev homeomorphisms in $\mathbb{R}^3$ are not the same.

academic

$W^{1,n-1}$ における同相写像の弱極限と(INV)条件

基本情報

論文ID: 2112.08041
タイトル: Weak limit of homeomorphisms in $W^{1,n-1}$ and (INV) condition
著者: Anna Doležalová, Stanislav Hencl, Jan Malý
分類: math.FA（関数解析）
発表日: 2023年4月26日
論文リンク: https://arxiv.org/abs/2112.08041

要旨

本論文は、Lipschitz領域 $\Omega,\Omega'\subset\mathbb{R}^3$ 上の同相写像列 $f_m:\Omega\to\Omega'$ に対して、所定のDirichlet境界条件を満たし、条件 $\sup_m \int_\Omega(|Df_m|^2+1/J^2_{f_m})<\infty$ を満たす場合、 $W^{1,2}$ における弱極限 $f$ がほぼ至るところ可逆であること、より正確にはContiとDe Lellis の(INV)条件を満たすことを証明している。本論文はさらに高次元への一般化と条件 $1/J^2_f\in L^1$ の鋭さに関する反例を提供し、その反例を用いて、平面の場合と異なり、 $\mathbb{R}^3$ におけるSobolev同相写像 $W^{1,2}$ の弱極限類と強極限類が異なることを証明している。

研究背景と動機

問題背景

本論文の研究の中核は、非線形弾性理論における変形写像の類に由来する。物理学において、「物質の相互貫通不可能性」の原理は、変形が一対一であることを要求し、これが研究者に何らかの意味で単射である写像の類を探索させている。

研究動機

物理的意義：非線形弾性モデルにおいて、物質の不可貫通性を保持する変形写像として機能できる関数の類を研究する必要がある
数学的課題：BallおよびCiarlet-Nečasの先駆的研究は、強い仮定の下で有限エネルギー写像が同相写像であることを示しているが、実際には空洞化や破断が生じる可能性があり、より弱い条件が必要である
理論的空白： $p>n-1$ の場合、(INV)条件の弱極限下での保存性は既知であるが、臨界的な場合 $p=n-1$ では理論的空白が存在する

既存方法の限界

MüllerとSpectorの研究は $f\in W^{1,p}$ かつ $p>n-1$ を要求するが、 $n=3$ の実際的なモデルでは通常 $|Df|^2$ 項が使用され、 $p=2=n-1$ となり、この条件を満たさない
ContiとDe Lellis は(INV)条件を $W^{1,n-1}\cap L^\infty$ に拡張したが、この類は弱収束下で閉じていないため、変分法の応用が制限される

核心的貢献

主定理：適切なエネルギー制御条件の下で、 $W^{1,n-1}$ 同相写像列の弱極限が(INV)条件を満たすことを証明
鋭さの結果：条件 $1/J^{2}_{f}\in L^1$ （ $n=3$ の場合）が(INV)条件を保存するための最適条件であることを示す反例を構成
次元の一般化：結果を高次元に推広し、一般的な次元 $n\geq 3$ に対する相応の理論を提供
強弱極限の相違： $\mathbb{R}^3$ において、Sobolev同相写像 $W^{1,2}$ の弱極限類が強極限類より厳密に大きいことを初めて証明

方法の詳細

問題設定

有界エネルギー条件の下で、 $W^{1,n-1}$ 同相写像列 $\{f_m\}$ の弱極限の可逆性を研究し、具体的には極限写像が(INV)条件を満たすことを証明する。

核心概念

(INV)条件

写像 $f\in W^{1,n-1}(\Omega,\mathbb{R}^n)\cap L^\infty(\Omega,\mathbb{R}^n)$ に対して、球 $B\subset\subset\Omega$ 上で(INV)条件を満たすとは、以下を意味する：

$\partial B$ 上のトレースが $W^{1,2}\cap L^\infty$ に属する
ほぼすべての $x\in B$ に対して： $f(x)\in \text{im}_T(f,B)$
ほぼすべての $x\in\Omega\setminus B$ に対して： $f(x)\notin \text{im}_T(f,B)$

ここで $\text{im}_T(f,B)$ は $B$ の $f$ による位相像である。

エネルギー汎関数

エネルギー汎関数を考える： $\mathcal{F}(f) = \int_\Omega (|Df|^{n-1} + \varphi(J_f)) dx$

ここで $\varphi$ は特定の条件を満たす凸関数であり、 $J_f$ は $f$ のJacobian行列式である。

主定理

定理1.1： $n\geq 3$ 、 $a = \frac{n-1}{n^2-3n+1}$ 、 $\Omega,\Omega'\subset\mathbb{R}^n$ をLipschitz領域とする。 $\varphi$ が条件を満たし $\varphi(t)\geq 1/t^a$ 、 $f_m$ が境界条件を満たす同相写像列であり、 $\sup_m \mathcal{F}(f_m)<\infty$ ならば、弱極限 $f$ は(INV)条件を満たす。

証明戦略

背理法の枠組み

$f$ が(INV)条件を満たさないと仮定し、以下のステップで矛盾を導く：

良い形状の構成：補題3.6を利用して良い形状 $K$ を見つけ、集合 $U = \{x\in\Omega: \text{Deg}(f,K,f(x))\neq 0\}$ と $V = \{x\in\Omega: \text{Deg}(f,K,f(x)) = 0\}$ がともに正の測度を持つようにする
骨格の構成： $\partial K$ 上に $(n-2)$ 次元の「骨格」を構成し、その上で関数がHölder連続となるようにする
エネルギー最小化置換：原写像を接線方向Dirichlet積分の最小化子で置換する
幾何学的矛盾：distortionの可積性条件を通じて幾何学的矛盾を導く