히스토리안 군에서 접촉 벡터장의 수평 Sobolev 정규화와 전송 방정식의 완비성

초록

본 논문은 Heisenberg 군 ℍⁿ에서 수평 Sobolev 정규성을 가진 접촉 벡터장 b에 대해 전송 및 연속성 방정식의 존재·유일성을 증명한다. 기존 유클리드 BV 이론으로는 다루지 못하는 비유클리드 기하 구조를 이용해,

상세 분석

이 연구는 두 가지 핵심적인 난관을 극복한다. 첫 번째는 Heisenberg 군 ℍⁿ의 비가환적인 리군 구조 때문에, 전통적인 유클리드 공간에서 사용되는 차분 몬테카를로 기법이 바로 적용되지 않는다는 점이다. 저자들은 수평 방향의 Sobolev 공간 W^{1,s}_H와 W^{2,s}_H를 정의하고, 차분 연산자를 ℍⁿ의 군법칙 ∘ 와 동질적 팽창 δ_ε에 맞추어 재구성한다. 이를 통해 f(p∘δ_ε w)−f(p) 와 같은 차분식이 ε→0 에서 ∇H 및 ∇²_H 에 대한 강한 L^s 수렴을 보인다(정리 3.5). 두 번째 난관은 커뮤테이터 C_ε = div(b u_ε)−div(b) u_ε 가 일반적인 Sobolev 함수에 대해 강하게 소멸하지 않을 수 있다는 점이다. 여기서 저자들은 접촉 벡터장의 특수 구조 b = ∑{j=1}^n (Y_jψ X_j−X_jψ Y_j)+ψ T (식 1.3)를 활용한다. 이 구조는 수평 성분 X_jψ, Y_jψ가 W^{1,s}_H에 속하고, 수직 성분 ψ가 W^{2,s}_H에 속함을 보장한다. 특히 수직 성분이 ψ T 형태로 나타나기 때문에, 차분 전개에서 발생하는 2차 항이 정확히 ε ∇_H ψ 와 같은 형태로 소멸한다. 저자들은 이러한 “미세한 소거”를 정리 4.9와 식 (1.5),(1.6)에서 정량적으로 분석하고, 최종적으로 C_ε→0 을 L¹_loc 에서 증명한다.

또한, 정규화 속성은 커뮤테이터가 소멸함을 전제로 하며, 이는 곧 전송 방정식의 약해 해가 임의의 C¹ 함수 β에 대해 β(u) 가 역시 약해 해가 됨을 의미한다. 이 속성을 이용해, 초기 데이터가 단순히 측정가능(measurable)한 경우에도 연속성 방정식의 해가 존재함을 보이고, 한쪽 제한을 갖는 div b 조건 하에 Regular Lagrangian Flow가 유일하게 존재함을 증명한다(정리 5.3).

마지막으로, 저자들은 본 결과가 기존의 유클리드 BV 이론(