Cartan's and Gauss's equations and rigidity theorems for isometric embeddings in low Sobolev regularity

기술 요약: 낮은 소볼레프 정칙성을 가진 등거리 매립에 대한 카르탕 및 가우스 방정식과 강성 정리

문제 정의
본 논문은 매립 사상(embedding map)의 정칙성이 낮을 때, $\mathbb{R}^3$로의 등거리 매립에 대한 근본적인 기하학적 방정식—구체적으로 카르탕의 구조 방정식과 가우스 방정식—의 유효성을 다룬다. 고전적인 매끄러운 설정에서, 내재적 기하학(곡률)과 외재적 기하학(매립) 사이의 관계는 카르탕의 구조 방정식과 가우스 방정식에 의해 지배된다. 그러나 $C^2$ 미만의 정칙성을 가진 매립의 경우, 헤시안 행렬식(Hessian determinant)과 접속 1-형식(connection 1-forms)은 고전적인 의미에서 잘 정의되지 않을 수 있다. 저자들은 낮은 소볼레프 정칙성을 가진 매립에 대해 이러한 방정식들이 분포(distribution)의 의미에서 성립하는지 조사하며, 특히 "결함 측도(defect measures)"(방정식을 위반하는 특이점)를 피하기 위해 필요한 최소 정칙성 임계값을 식별한다.

방법론
저자들은 분포 분석, 분수 소볼레프 공간 이론, 그리고 기하학적 측도론을 결합하여 사용한다.

1. 카르탕 방정식에 대한 분포적 프레임워크:

   • 저자들은 공형(coframe) $\{\eta_i\}$가 $C^0 \cap H^{1/2}$ 정칙성을 가질 때, 내부 곱 공식 $\omega = \iota_{e_2}d\eta_1 - \iota_{e_1}d\eta_2$를 사용하여 접속 1-형식 $\omega$를 정의한다.
   • 저자들은 연속적인 $S^1$ 값 사상(구체적으로 $H^{1/2} \cap C^0$에 속하는 사상)의 리프팅 성질을 활용하여, 거친 직교 정규 프레임을 회전 각도 $\theta \in H^{1/2} \cap C^0$를 통해 매끄러운 참조 프레임과 연결한다.
   • 거친 프레임을 매끄러운 프레임으로 근사하고 극한을 취함으로써, 저자들은 정칙성이 최소한 $C^0 \cap H^{1/2}$인 경우 구조 방정식이 분포의 의미에서 성립함을 증명한다. 이 임계값은 $W^{1,p}$ ($p<2$)와 같은 더 낮은 정칙성에서의 반례를 참조할 때 최적의 것으로 언급된다.

2. 가우스 방정식의 유도:

   • 저자들은 카르탕의 두 번째 구조 방정식($d\omega = K_g d\text{vol}_g$)과 그래픽 표현 $u = (\Psi, f)$에 대한 가우스 방정식 사이의 연결 고리를 확립한다.
   • 핵심적인 기술적 단계는 분포적 야코비안 행렬식(Jacobian determinant)에 대한 연쇄 법칙을 증명하는 것이다. $C^1 \cap W^{1+2/3, 3}$ 매립의 경우, 저자들은 표준적인 근사와 연쇄 법칙 논법을 사용한다.
   • 더 까다로운 $c^{1, 1/2} \cap BV^2$ 사례의 경우, 리틀 횔더 공간(little Hölder spaces)과 유계 변동(bounded variation)을 포함하는 함수들을 위한 특수한 야코비안 행렬식 연쇄 법칙을 개발한다. 이는 몰리피케이션(mollification)된 도함수들에 대한 상쇄 추정치와 야코비안 행렬식의 특정한 구조에 의존한다.

3. 제거 가능한 특이점:

   • 저자들은 특이 집합 근처에서의 가우스 방정식의 거동을 분석한다. 만약 매립이 영(zero) $(s_0, p_0)$-용량(capacity)을 갖는 집합 근처에서 충분히 정칙적이라면, 가우스 방정식이 전역적으로 성립함을 증명한다.

4. 강성과 볼록성:

   • 확립된 가우스 방정식을 적용하여, 저자들은 Conti–De Lellis–Székelyhidi 및 Pakzad의 논증을 응용한다. 저자들은 비음의 가우스 곡률($K_g \ge 0$)을 가진 유계 외재 곡률 표면에 대한 포고렐로프(Pogorelov)의 이론을 활용하여 볼록성과 강성 결과를 도출한다.

주요 기여 및 결과

• 정리 1.1 (카르탕 방정식): 저자들은 직교 정규 공형이 $C^0 \cap H^{1/2}_{loc}$일 때 카르탕의 구조 방정식이 분포의 의미에서 성립함을 증명한다. 이는 이전의 결과들(예: $W^{1,p}$에 대한 Giron [35])을 확장하며, 유일한 분포적 접속 1-형식이 존재하기 위한 임계값으로서 $H^{1/2}$를 식별한다.
• 정리 1.3 (가우스 방정식): 본 논문은 다음 정칙성을 가진 등거리 매립 $u$에 대해 가우스 방정식 $\det D^2 f = K_g(1+|Df|^2)^2$의 유효성을 확립한다:
  • $u \in c^{1, 1/2}_{loc} \cap BV^2_{loc}$, 또는
  • $u \in C^1 \cap W^{1+2/3, 3}_{loc}$.
    두 경우 모두 방정식은 분포의 의미에서 성립한다.
• 따름정리 1.4: $c^{1, 1/2} \cap BV^2$ 클래스의 매립에 대해, 가우스 방정식은 르베그 측도에 대해 거의 모든 곳(almost everywhere)에서 성립하며, 이는 헤시안 측도의 절대 연속 부분과 곡률을 연결한다.
• 정리 1.5 (제거 가능한 특이점): 가우스 방정식은 매립이 컴팩트 집합 $S$ (여기서 $S$는 영 $(s_0, p_0)$-용량을 가짐, $s_0 = 2(1-s), p_0 = p/(p-2)$) 외부에서 충분히 정칙적($W^{1+2/3, 3}$)이라면 전역적으로 성립한다.
• 정리 1.6 (닫힌 곡면의 강성): $K_g \ge 0$인 매끄러운 구(sphere)의 모든 $C^1 \cap W^{1+2/3, 3}$ 등거리 매립은 닫힌 볼록 곡면이다. 만약 $K_g > 0$이면, 매립은 매끄럽다($C^\infty$). 이는 Borisov와 Pakzad의 강성 정리를 더 낮은 정칙성으로 확장한 것이다.
• 정리 1.7 (볼록 캡의 강성): 평면 경계 조건을 가진 볼록 캡(경계가 있는 영역)에 대해서도 유사한 강성 및 정칙성 결과가 입증되었으며, 이는 Han과 Hong의 매끄러운 결과들을 확장한다.

의의 및 주장
본 논문은 카르탕의 구조 방정식을 $C^0 \cap H^{1/2}$ 영역까지 엄밀하게 확장한 첫 번째 연구라고 주장하며, 이 임계값은 야코비안 문제와 관련하여 최적인 것으로 알려져 있다. $C^1 \cap W^{1+2/3, 3}$ 및 $c^{1, 1/2} \cap BV^2$의 낮은 정칙성 클래스에서 가우스 방정식의 유효성을 확립함으로써, 저자들은 매끄러운 이론과 내쉬-쿠퍼(Nash-Kuiper) 정리에서 연구된 매우 불규칙한 설정 사이의 간극을 메운다.

그 의의는 이전에 증명된 것보다 낮은 정칙성을 가진 매립에 대해 고전적인 강성 정리(Cohn-Vossen, Borisov)를 적용할 수 있게 한다는 점에 있다. 저자들은 자신의 방법이 가우스 방정식을 가정하거나 다른 근사 기법을 사용하는 기존 연구(예: Pakzad [53])와 달리, 카르탕 방정식을 통해 가우스 방정식을 유도한다는 점에서 차별화됨을 명시적으로 밝힌다. 저자들은 특정 정칙성 임계값($s=2/3, p=3$)을 식별했으나, 모든 $C^1$ 등거리 매립에 대해 가우스 방정식의 유효성을 결정짓는 정확한 경계(예: $s=2/3, p \neq 3$인 경우)는 여전히 미해결 과제로 남아 있다고 겸허히 서술한다. 본 연구는 새로운 실험적 응용을 제안하기보다는 낮은 정칙성에서의 등거리 매립 연구를 위한 이론적 토대를 공고히 하는 데 목적이 있다.