Full flexibility of the Monge-Ampère system in codimension $d_*-d+1$

논문 요약: 코디멘션 $d^* - d + 1$에서의 몽주 - 암페르 (Monge-Ampère) 시스템의 완전한 유연성

1. 연구 배경 및 문제 정의

이 논문은 $d$차원 영역에서 정의된 **몽주 - 암페르 시스템 (Monge-Ampère system)**의 해에 대한 **완전한 유연성 (Full Flexibility)**을 증명하는 것을 목표로 합니다.

• 주요 시스템:
  • 몽주 - 암페르 시스템 (1.2): $v: \omega \subset \mathbb{R}^d \to \mathbb{R}^k$에 대해 $\det \nabla^2 v = F$ 형태의 고차원 일반화.
  • 폰 카르만 (Von Kármán) 시스템 (1.4): $v$ (수직 변위) 와 $w$ (수평 변위) 를 찾는 연립 방정식:
    $$\frac{1}{2}(\nabla v)^T \nabla v + \text{sym}\nabla w = A$$
    여기서 $A$는 주어진 대칭 행렬 필드입니다. 이 시스템은 등거리 사영 (Isometric Immersion) 문제 (1.5) 의 약한 형식 (weak formulation) 으로, 리만 계량 $g$를 $\mathbb{R}^{d+k}$로 등거리 사영하는 문제와 밀접하게 연관되어 있습니다.
• 연구 목표: 주어진 연속 함수 $v, w$와 행렬 $A$가 $\frac{1}{2}(\nabla v)^T \nabla v + \text{sym}\nabla w < A$를 만족할 때 (즉, $A$가 '하위 해 (subsolution)'일 때), 이를 임의의 오차 $\epsilon$ 내에서 $C^{1,\alpha}$ 정규성을 가진 해 $(\tilde{v}, \tilde{w})$로 근사할 수 있음을 보이는 것입니다.
• 핵심 질문: 유연성이 성립하는 최소한의 **코디멘션 (Target Codimension, $k$)**은 얼마인가?

2. 주요 결과 (Main Results)

저자들은 이전 연구들보다 훨씬 낮은 코디멘션에서 완전한 유연성이 성립함을 증명했습니다.

• 정리 1.1 (주요 정리):
  • 코디멘션: $k = \bar{d} = d^* - d + 1$.
    • 여기서 $d^* = \frac{d(d+1)}{2}$는 얀 (Janet) 차원입니다.
    • 즉, $k = \frac{d^2 - d + 2}{2}$입니다.
  • 유연성: 임의의 Hölder 지수 $\alpha < 1$에 대해, $C^{1,\alpha}$ 해들이 연속 함수 공간 $C^0$에서 조밀 (dense) 합니다.
  • 의의: 이전 연구 [24] 는 $k \ge 2d^*$일 때 유연성을 증명했고, [19] 는 $d=k=2$인 경우를 증명했습니다. 본 논문은 $d \ge 2$인 일반 차원에서 $k$를 $2d^*$에서 $d^* - d + 1$로 대폭 낮추었습니다.
• 정리 5.1 (등거리 사영으로의 확장):
  • 동일한 증명 기법을 사용하여, $d$차원 리만 계량을 $\mathbb{R}^{d^*+1}$ 차원 유클리드 공간으로 등거리 사영하는 $C^{1, 1-\epsilon}$ 정규성 해의 국소적 존재성을 증명했습니다.
  • 컴팩트 매니폴드의 경우, 코디멘션 $k \ge (d+1)d^* - d + 1$에서도 확장 가능합니다.

3. 방법론 (Methodology)

이 연구는 볼록 적분 (Convex Integration) 기법, 특히 나시 - 쿠이퍼 (Nash-Kuiper) 알고리즘을 기반으로 합니다.

• 단계별 구성 (Stage Construction):
  • 주어진 하위 해 $(v, w)$에서 시작하여, 결함 (Defect) $D = A - (\frac{1}{2}(\nabla v)^T \nabla v + \text{sym}\nabla w)$을 점진적으로 줄이는 과정을 $K$번 반복합니다.
  • 각 단계에서 **쿠이퍼의 주름 (Kuiper's corrugations)**을 추가하여 결함을 상쇄합니다.
• 핵심 기술적 혁신:
  1. 결함 분해 (Defect Decomposition): 대칭 행렬을 랭크 1 행렬 ($\eta \otimes \eta$) 의 선형 결합으로 분해합니다 (Lemma 2.2).
  2. 코디멘션별 점진적 소거:
     • 1 차 코디멘션 ($n=1$): 모든 $\eta_{1j}$ ($j=1, \dots, d$) 에 해당하는 기본 결함을 소거하기 위해 중간 하위 해 쌍 $(V_{1j}, W_{1j})$을 구성합니다. 이때 Lemma 2.4를 $N$번 적용하여 오차 항의 차수를 낮춥니다.
     • 나머지 코디멘션 ($n=2, \dots, \bar{d}$): 남은 결함 ($\eta_{ij}, 2 \le i \le j$) 을 소거합니다.
  3. 새로운 관찰 (Key Observation):
     • 이전 단계에서 생성된 오차 항들 중 $\nabla^2 v_0$ (초기 해의 2 차 도함수) 만을 포함하는 항들이 특정 방향으로 진동한다는 점을 발견했습니다.
     • 이 진동 항들을 Lemma 2.4 와 유사한 논리로 추가 분해하고 축소할 수 있음을 보였습니다. 이는 $P^j_i$ 성분이 없는 형태로 단순화되어, 더 낮은 코디멘션에서도 결함을 효과적으로 흡수할 수 있게 합니다.
  4. 수렴 조건:
     • 반복 과정에서 해의 2 차 도함수 발산 속도 ($\sigma^{dK+N}$) 와 결함 감소 속도 ($\sigma^{-KN}$) 를 균형 있게 조절합니다.
     • $K, N \to \infty$일 때, 허용 가능한 Hölder 지수 $\alpha$가 1 에 수렴하도록 설계되었습니다.

4. 주요 기여 (Key Contributions)

1. 최소 코디멘션의 하향 조정: 몽주 - 암페르 시스템 및 등거리 사영 문제에서 완전한 유연성이 성립하는 코디멘션의 하한을 $2d^*$에서 $d^* - d + 1$로 낮췄습니다. 이는 기하학적 유연성의 이론적 한계를 크게 확장한 것입니다.
2. 새로운 주름 구성 기법: 기존 문헌 (예: [24], [27]) 에서 사용되던 방식보다 더 효율적인 결함 소거 전략을 개발했습니다. 특히, 1 차 코디멘션과 나머지 코디멘션을 구분하여 처리하고, 진동 항의 구조를 세밀하게 분석하여 추가적인 차원을 확보하지 않고도 유연성을 달성했습니다.
3. 일반화된 결과: $d=2$인 특수한 경우뿐만 아니라 임의의 차원 $d \ge 2$에 대해 결과를 일반화했습니다. 또한, Monge-Ampère 시스템뿐만 아니라 비선형인 등거리 사영 시스템 (Isometric Immersion System) 으로도 자연스럽게 확장 가능함을 보였습니다.

5. 의의 및 영향 (Significance)

• 기하학적 유연성 이론의 심화: 나시 - 쿠이퍼 정리의 고차원 일반화에서 중요한 이정표를 세웠습니다. 특히, 낮은 코디멘션에서도 매끄러운 해가 존재하지 않더라도, $C^{1,\alpha}$ 해가 조밀하게 존재한다는 사실은 기하학적 구조가 매우 유연함을 보여줍니다.
• 물리학적 응용: 얇은 막 (thin films) 의 변형, 탄성체 역학 등에서 발생하는 폰 카르만 방정식과 같은 비선형 편미분 방정식의 해의 존재성과 정규성에 대한 이해를 깊게 합니다.
• 수학적 기법의 발전: 볼록 적분 기법에서 사용되는 주름 (corrugation) 과 오차 제어 (error control) 기법을 고차원 및 낮은 코디멘션 환경에 맞게 정교하게 다듬은 것은 향후 관련 PDE 연구에 중요한 도구로 활용될 것입니다.

요약하자면, 이 논문은 볼록 적분 기법을 고도화하여 몽주 - 암페르 시스템과 등거리 사영 문제의 유연성이 이전까지 알려진 것보다 훨씬 낮은 차원 (코디멘션) 에서도 성립함을 증명함으로써, 비선형 편미분 방정식과 미분기하학 분야의 중요한 진전을 이루었습니다.