기술 요약: 미지 함수에 의존하는 서브리만(Subriemannian) 라그랑지안에 대한 약한 KAM 정리

문제 정의

본 논문은 서브리만 다양체 $(M, D, \langle \cdot, \cdot \rangle)$ 상의 특정 클래스의 변분 문제로 확장된 약한 KAM(Kolmogorov-Arnold-Moser) 이론을 다룬다. 핵심 과제는 고전적인 설정에서 두 가지 동시 확장을 수행하는 것이다:

1. 기하학적 제약: 라그랑지안이 전체 접번들 $TM$이 아니라 서브리만 다양체의 수평 분포(horizontal distribution) $D$ 위에서만 정의된다. 이는 허용 가능한 곡선이 "수평" 곡선(거의 모든 곳에서 $D$에 접하는 곡선)이어야 함을 의미하며, 이로 인해 경로가 제한된다.
2. 함수적 의존성: 라그생지안 $L(v, u)$가 속도 $v$뿐만 아니라 미지 함수 $u$(관련 해밀턴-자코비 방정식의 해)에 명시적으로 의존한다. 이는 비선형성을 도입하여 표준적인 자율(autonomous) 라그랑지안 기법의 직접적인 적용을 방해한다.

저자들은 이와 관련된 코시 문제(Cauchy problem)의 점성 해(viscosity solution)의 존재성과 유일성을 확립하고, 이러한 제약 조건 하에서 락스-올레이니크 반군(Lax-Oleinik semigroup)의 정적 해로의 수렴(약한 KAM 정리)을 증명하는 것을 목표로 한다.

방법론

1. 변분 프레임워크 및 정의

저자들은 수평 절대 연속 곡선의 공간 $W^{1,1}_D([a, b])$와 서브리만 길이를 정의한다. 또한, 라그랑지안의 르장드르-펠(Legendre-Fenchel) 변환을 통해 서브리만 접 접촉 해밀턴 함수 $H: T^*M \times \mathbb{R} \to \mathbb{R}$를 다음과 같이 도입한다:
$$H(p, u) = \max \{ p(v) - L(v, u) : v \in D, \pi(v) = \pi^*(p) \}$$
라그랑지안 $L \in C^2(D \times \mathbb{R})$는 세 가지 결정적인 조건을 만족해야 한다:

• 균등 초선형성(Uniform Superlinearity): 모든 $k \geq 0$에 대해 $L(v, 0) \geq k\|v\| + C(k)$.
• 유계 단조성(Bounded Monotonicity): $-\lambda \leq \partial_u L(v, u) < 0$. 이는 $u$에 대한 의존성이 엄격하게 감소하지만 유계임을 보장한다.
• 엄격한 볼록성(Strict Convexity): $\partial^2_{vv} L(v, u)(w, w) \geq \kappa \|w\|^2$.

2. 비자율 라그랑지안을 위한 토넬리 정리(Tonelli's Theorem)

방법론의 상당 부분은 서브리만 설정에서의 작용 범함수(action functional) $A_L(\gamma) = \int L(t, \dot{\gamma}(t)) dt$에 대한 토넬리 유형의 정리를 증명하는 데 할애된다.

• 균등 적분 가능성: 저자들은 유계 작용을 갖는 곡선들의 가족이 균등 적분 가능한 속도를 가짐을 증명한다(보조정리 1). 이는 $W^{1,1}$에서의 컴팩트성 논의를 적용하는 데 필수적이다.
• 하반연속성(Lower Semicontinuity): 작용 범함수가 균등 수렴에 대해 하반연속임을 확립한다(정리 4). 증명은 문제를 수평 분포가 자명한 국소 차트로 환원하고 $L$의 엄격한 볼록성을 활용하는 과정을 포함한다.
• 최소화자의 존재: 아르첼라-아스콜리(Arzelà-Ascoli) 정리와 작용의 하반연속성을 사용하여, 임의의 두 점 사이의 작용에 대한 최소화자의 존재를 증명한다(따름정리 3).

3. 락스 반군과 고정점 논법

저자들은 연속 함수 $\phi \in C(M)$에 작용하는 락스-올레니크 반군 $T_t$를 다음과 같이 정의한다:
$$T_t[\phi](x) = \inf \left\{ \phi(\gamma(0)) + \int_0^t L(\dot{\gamma}(s), u(s, \gamma(s))) ds : \gamma \in W^{1,1}_D([0, t]), \gamma(t) = x \right\}$$
여기서 $u$는 구하고자 하는 해이다.

• 고정점 구성: 저자들은 공간 $C([0, T] \times M)$ 상의 연산자 $A_\phi$를 정의하고, 일반화된 의미에서 이것이 수축 사상(contraction)임을 증명한다(보조정리 3). 이 연산자를 반복함으로써, 코시 문제의 점성 해에 대응하는 유일한 고정점 $u$를 확립한다.
• 반군 성질: 반군 성질 $T_{s+t} = T_s \circ T_t$를 증명하고(따름정리 4), 단조성 및 비확장성(non-expansiveness) 성질을 확립한다(명제 3 및 4).

4. 정적 해로의 수렴

약한 KAM 정리를 증명하기 위해, 저자들은 $T_t[\phi]$의 점근적 거동을 분석한다.

• 균등 유계성 및 등립립쉬츠 연속성: 리프시츠 초기 데이터 $\phi$에 대하여, 가족 $\{T_t[\phi] + c_0 t\}$가 균등 유계이며 등립립쉬츠(equi-Lipschitz)임을 보인다(보조정리 4 및 보조정리 5). 여기서 $c_0$는 마네 임계값(Mañé critical value)과 관련된 임계 상수이다.
• 극한의 존재: 해밀턴 함수의 공간 미분 성장에 대한 추가 가정(가정 1) 하에, 수열 $T_t[\phi] + c_0 t$가 $t \to \infty$일 때 함수 $\psi$로 균등하게 수렴함을 증명한다. 이 극한 $\psi$는 정적 해밀턴-자코비 방정식 $H(x, D_x \psi, \psi) = c_0$의 점성 해이다.

주요 결과

1. 존재성 및 유일성 (정리 1): 임의의 연속 초기 조건 $\phi$에 대하여, 다음 코시 문제의 점성 해 $u \in C([0, \infty) \times M)$가 유일하게 존재한다:
   $$\begin{cases} u_t + H(x, D_x u, u) = 0 \\ u(0, x) = \phi(x) \end{cases}$$
   이 해는 락스-올레니크 공식에 의해 변분적으로 표현된다.

2. 약한 KAM 정리 (정리 2):

   • 임계 상수 $c_0 \in \mathbb{R}$가 존재하여, 리프시츠 $\phi$에 대해 가족 $\{T_t[\phi] + c_0 t\}$는 균등 유계이며 등립립쉬츠이다.
   • $H(x, D_x \psi, \psi) = c_0$를 만족하는 정적 해 $\psi \in \text{Lip}(M, d)$가 존재한다.
   • 가정 1 하에서, 극한 $\lim_{t \to \infty} (T_t[\phi] + c_0 t)$는 균등하게 존재하며 정적 해를 생성한다.

3. 토넬리 최소화자: 본 논문은 $u$에 의존하는 서브리만 라그랑지안에 대해서도 임의의 두 점 사이의 작용을 최소화하는 곡선이 존재함을 확립하며, 이를 통해 고전적인 토넬리 결과를 이 제약적이고 비자율적인 설정으로 확장한다.

의의 및 주장

본 논문은 라그랑지안이 미지 함수에 의존하는 서브리만 기하학의 맥맥에서 약한 KAM 이론의 기초적인 결과들을 성공적으로 확장했다고 주장한다.

• 기하학적 확장: 저자들은 분포 $D$에 대한 브래킷 생성(bracket-generating) 조건이 카르노-카로테오도리(Carnot-Caratheodory) 거리를 유도하는 다양체 위상에 충분하다는 것을 입증하였으며, 이를 통해 점성 해의 정의와 서브리만 맥락에서의 컴팩트성 논의(Arzelà-Ascoli) 적용을 가능케 했다.
• 함수적 의존성: $u$에 대한 의존성(특히 단조성 조건 $-\lambda \leq \partial_u L < 0$)을 처리함으로써, 저자들은 라그랑지안이 자율적이지 않은 어려움을 극복하였다. 이는 제어 이론이나 평균장 게임(mean field games)에서 흔히 나타나지만 서브리만 설정에서는 그동안 덜 탐구되었던 해밀턴-자코비 방정식의 처리를 가능하게 한다.
• 변분법의 견고성: 이 연구는 기저가 되는 기하학이 비적분적(non-integrable, 서브리만)이고 역학이 비자율적일 때도 변분적 접근법(락스-올레니크 반군)이 해의 존재성, 유일성 및 수렴을 증명하는 강력한 도구로 남아 있음을 재확인한다.

저자들은 리프시츠 연속성 이상의 해의 정칙성(regularity)에 관한 미결 과제를 해결하거나 새로운 실험적 응용을 제안하는 것이 아니라, 순수하게 이론적인 기여를 하고 있으며, 이 특정 클래스의 해밀턴-자코비 방정식을 다루기 위한 필요한 분석적 틀을 제공하는 데 집중하고 있다.