비정규 교환 해밀토니안의 약한 KAM 이론

초록

연속·볼록한 두 해밀토니안이 라크–올레니크 반연산자를 통해 교환될 때, 이들은 동일한 약한 KAM 해와 동일한 오브리 집합을 공유한다. 또한 공통의 임계 하위해를 존재시키며, 토넬리 경우에는 C¹,¹ 정칙성을 가질 수 있다.

상세 분석

본 논문은 연속적이고 볼록한 해밀토니안 H와 G에 대해 “교환”이라는 개념을 Lax‑Oleinik 반연산자의 교환성으로 정의한다. 이는 다중 시간 해밀턴‑자코비 방정식(∂ₜu+H=0, ∂ₛu+G=0)의 존재와 일치한다. 저자는 이 교환성이 약한 KAM 이론에 미치는 영향을 체계적으로 분석한다. 첫 번째 주요 결과는 H와 G가 교환하면 두 해밀토니안이 동일한 임계값 c를 공유하고, c‑subsolution(임계 하위해)들의 집합이 일치한다는 것이다. 특히, 모든 임계 하위해는 동일한 “유일성 집합” D 위에서 미분 가능하며, 그 기울기는 해마다 동일하다. 이는 기존 토넬리(정칙) 경우에 사용되던 흐름·시냅스 구조를 전혀 필요로 하지 않으며, 순수히 반연산자와 viscosity 해법만으로 증명된다.

다음으로 저자는 공통의 임계 하위해를 구성한다. 이 하위해는 오브리 집합(Aubry set) 외부에서는 엄격하게 불평등 H(x,Du) < c, G(x,Du) < c를 만족한다. 토넬리 상황에서는 추가적인 정칙성(∈C¹,¹)을 확보할 수 있는데, 이는 Lagrangian L의 엄격 볼록성으로부터 얻어지는 미분 가능성 결과와 연결된다.

핵심 기술적 기여는 두 가지이다. 첫째, 임계 하위해가 오브리 집합 위에서 갖는 미분 가능성 및 그 기울기의 일관성을 증명하는 새로운 정리(섹션 4)이다. 이는 Clarke 미분가능성, 서브‑슈퍼다양체 개념을 정교히 활용하고, 연속 해밀토니안에서도 “유일성 집합”을 정의한다. 둘째, 이러한 미분 가능성 결과를 이용해 교환성으로부터 약한 KAM 해와 오브리 집합의 동일성을 도출한다(섹션 5). 기존 연구는 symplectic 흐름과 Poisson 괄호의 소거 조건에 의존했지만, 본 논문은 Lax‑Oleinik 반연산자의 교환성만으로 충분함을 보인다.

또한, 토넬리 해밀토니안에 대해서는 C¹,¹ 정칙성을 갖는 공통 임계 하위해가 존재함을 증명한다(정리 1.2). 이는 이전에 알려진 “공통 Aubry 집합” 결과를 강화한 것으로, 최적 제어 및 비정규 동역학에서도 적용 가능성을 시사한다.

전체적으로 논문은 비정규(연속) 해밀토니안 체계에서도 약한 KAM 이론의 핵심 구조—임계값, Aubry 집합, 약한 KAM 해—가 교환성에 의해 보존된다는 강력한 일반화를 제공한다. 이는 기존 토넬리 한계에서 벗어나, viscosity 해법과 반연산자 이론만으로도 풍부한 동역학적 정보를 얻을 수 있음을 보여준다.