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$ 위의 미리 정해진 Dirichlet 경계 조건을 만족하는 동형사상 수열 $f_m:\Omega\to\Omega'$ 을 연구한다. 조건 $\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$ 에서 $W^{1,2}$ Sobolev 동형사상의 약극한 류와 강극한 류가 서로 다름을 증명한다.

연구 배경 및 동기

문제 배경

본 논문의 핵심 문제는 비선형 탄성 이론의 변형 사상 류에서 비롯된다. 물리학에서 "물질의 상호 침투 불가능" 원리는 변형이 일대일이어야 함을 요구하며, 이는 어떤 의미에서 단사인 사상 류를 찾도록 연구자들을 이끈다.

연구 동기

물리적 의미: 비선형 탄성 모델에서 변형 사상으로 작용할 수 있는 함수 류를 연구해야 하며, 이러한 사상은 물질의 불침투성을 유지해야 한다
수학적 도전: 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$ 에서 $W^{1,2}$ Sobolev 동형사상의 약극한 류가 강극한 류보다 진부분집합임을 처음으로 증명

방법 상세 설명

작업 정의

유계 에너지 조건 하에서 $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$ 의 야코비안 행렬식이다.

주요 정리

정리 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) 조건을 만족하지 않는다고 가정하고 다음 단계를 통해 모순을 유도한다:

좋은 형태 구성: Lemma 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의 적분 가능성 조건을 통해 기하학적 모순을 유도한다