[논문 리뷰] Sobolev spaces of isometric immersions of arbitrary dimension and codimension

Robert L. Jerrard, Mohammad Reza Pakzad|arXiv (Cornell University)|2014. 05. 19.

Geometric Analysis and Curvature Flows참고 문헌 13인용 수 4

한 줄 요약

이 논문은 $n$차원 평면 영역에서 $\mathbb{R}^{n+k}$로의 $W^{2,p}_{\text{loc}}$ 등거리 임bedding에 대해 $p \geq \min\{2k, n\}$일 때 $C^{1}_{\text{loc}}$ 정규성과 가로지르기 가능성을 확립한다. 이는 $C^2$ 이하의 소볼레프 공간으로의 유연성 결과를 일반화한 것으로, 임베딩이 국소적으로 평면을 따라 펼 수 있는 표면(가로지르기 가능)임을 증명한다. 또한 헤시안 행렬의 질량이 $k$ 이하로 제한된 스칼라 함수, 특히 비정상적인 몽체-암페르 방정식 $\det D^2u = 0$의 해에 대해서도 유사한 유연성 결과를 도출한다. 주요 기여는 임의의 차원과 계수에서 유연성의 정밀한 정규성 임계값을 규명한 것이다.

ABSTRACT

We prove the $C^{1}$ regularity and developability of $W^{2,p}$ isometric immersions of $n$-dimensional flat domains into ${\mathbb R}^{n+k}$ where $p\ge \min\{2k, n\}$. Another parallel consequence of our methods is a similar regularity and rigidity result for the $W^{2,n}$ solutions of the degenerate Monge-Ampère equations in $n$ dimensions. The analysis also applies to the situations when the degeneracy is extended to $(k+1) imes (k+1)$ minors of the Hessian matrix and the solution is $W^{2,p}$, with $p\ge \min\{2k, n\}$.

연구 동기 및 목표

• 등거리 임베딩에서의 유연성 전이 임계값이 나스-쿠이퍼의 접근 방식에서의 탄력성에서 가로지르기 가능성으로 변화하는 정규성의 임계값을 규명하는 것.
• 소볼레프 정규성으로 고차원 평면 영역과 고계수에 대한 가로지르기 표면 이론을 확장하는 것.
• 헤시안 행렬의 질량이 거의 확실히 $k$ 이하인 스칼라 함수 $u$에 대해 정규성과 가로지르기 가능성을 확립하는 것, 특히 비정상적인 몽체-암페르 방정식 $\det D^2u = 0$의 맥락에서.
• $W^{2,p}_{\text{loc}}$ 등거리 임베딩이 $p \geq \min\{2k,n\}$일 때 국소적으로 $C^1$이자 가로지르기 가능함을 증명하는 것, 이는 임의의 계수에서 성립한다.

제안 방법

• $W^{2,p}_{\text{loc}}$ 정규성과 헤시안 행렬의 구조를 이용해 소볼레프 공간에서의 두 번째 도함수의 질량을 분석한다.
• $p$-용적과 준연속성과 같은 기하 측도 이론 기법을 적용하여 특이 집합의 크기를 제어한다.
• 계수에 대한 귀납법과 층화 구조를 이용하여, 임베딩이 거의 확실히 상수인 평면 위에서 국소적 가로지르기 가능성을 증명한다.
• 밀도 있는 약한 평면 층화의 개념을 활용해 임베딩의 행동과 헤시안 행렬의 질량을 연결한다.
• 도함수의 등치수준 집합의 연결 성분과 그 사영을 통한 약한 가로지르기 가능성의 일반화된 개념을 활용한다.
• 특이 집합의 구조와 용적 추정을 통한 모순 증명을 통해 블로우업 극한 $\overline{w}$의 연속성을 증명한다.

실험 결과

연구 질문

• RQ1 임의의 차원과 계수에서 $W^{2,p}$ 등거리 임베딩이 국소적으로 $C^1_{\text{loc}}$이고 가로지르기 가능해지기 위한 정밀한 정규성 임계값 $p$는 무엇인가?
• RQ2 $k < n$일 때, $C^2$에서 $W^{2,p}$로의 등거리 임베딩의 유연성은 $p < 2$일 때까지 확장될 수 있는가?
• RQ3 幾乎 확실히 $\text{rank}(D^2u) \leq k$인 조건이 스칼라 함수 $u$의 정규성과 가로지르기 가능성을 어느 정도까지 암시하는가?
• RQ4 비정상적인 몽체-암페르 방정식 $\det D^2u = 0$은 $p \geq \min\{2(n-1), n\}$인 $W^{2,p}_{\text{loc}}$ 해에 대해 가로지르기 가능성을 암시하는가?
• RQ5 $p$-용적이 특이 집합에 대해 어떻게 작용하는지, 약한 가로지르기 맥락에서 블로우업 극한 $\overline{w}$의 정규성과의 관계는 무엇인가?

주요 결과

• 모든 $p \geq \min\{2k, n\}$에 대해 $W^{2,p}_{\text{loc}}$ 등거리 임베딩 $U: \Omega \to \mathbb{R}^{n+k}$는 국소적으로 $C^1_{\text{loc}}$ 정규성과 가로지르기 가능성을 가지며, 이는 첫 번째 기본 형식의 방향으로 직선으로 이루어진 층화 구조를 띤다.
• 결과는 임의의 $n$과 $k$에 대해 성립하며, 고전적인 가로지르기 결과(예: $n=2$, $k=1$)를 고차원과 고계수로 일반화한다.
• 헤시안 행렬의 질량이 거의 확실히 $k$ 이하인 스칼라 함수 $u \in W^{2,p}_{\text{loc}}(\Omega)$에 대해서도 동일한 $p$-임계값에서 $C^1_{\text{loc}}$ 정규성과 가로지르기 가능성을 증명한다. 이는 헤시안 질량 제약 조건 하에서의 유연성 이론을 확장한 것이다.
• 비정상적인 몽체-암페르 방정식 $\det D^2u = 0$는 $p \geq \min\{2(n-1), n\}$일 때 $u \in W^{2,p}_{\text{loc}}(\Omega)$에 대해 $C^1_{\text{loc}}$ 정규성과 가로지르기 가능성을 암시한다. 이 경우 $k = n-1$에 해당한다.
• 증명은 $p$-용적을 활용한 모순 증명에 기반한다: 만약 블로우업 극한 $\overline{w}$가 불연속이었다면, 평면 방향의 구의 용적이 0이 되었을 것이며, 이는 차원 $d \geq n - 2k + 1 > n - p$와 모순된다.
• $\overline{w}$의 연속성은 귀납법과 $p$-준연속성의 활용을 통해 $F_{\geq j}$ 집합에서 증명되며, 서로 다른 등치수준 집합에서의 수열 수렴이 일致함을 보여준다.