열 흐름을 통한 CAT(0) 대상 조화지도에 대한 새로운 국소 리프시츠 정규성 증명

초록

본 논문은 CAT(0) 거리공간을 대상으로 하는 조화지도 열 흐름의 적절한 약해해에 대해, 기존의 타당성 결과를 보다 elementary하게 재증명한다. Korevaar‑Schoen의 비교 기법을 활용하여 EVI(진화 변분 부등식)에서 얻어지는 새로운 파라볼릭 부등식과 시간 미분의 서브솔루션 성질을 결합, Moser 반복을 적용해 |∇u|²의 L∞ 경계를 얻는다. 결과적으로 모든 완비 리만 다양체(양의 사주 반경·곡률 제한) 위에서 해가 국소적으로 리프시츠 연속임을 보이며, ε‑정규화 근사해에 대한 균일 리프시츠 추정식도 제시한다.

상세 분석

이 논문은 두 가지 핵심 아이디어를 통해 CAT(0) 대상에 대한 열 흐름의 정규성을 새롭게 접근한다. 첫 번째는 적절한 약해해가 만족하는 진화 변분 부등식(EVI)으로부터 파라볼릭 형태의 부등식(식 1.6)을 도출하는 것이다. 이 부등식은 테스트 함수 η∈C₀^∞(M×(0,∞))에 대해
∬{M×(0,∞)}|∇u|²(∂ₜη+2Δη+Cη+C|∇η|) dv dt ≥ -C ∬{M×(0,∞)}η|∂ₜu|² dv dt
을 만족한다. 여기서 C는 도메인 메트릭 g의 C^{1,1} 노름에만 의존한다. 두 번째 아이디어는 |∂ₜu|²가 (∂ₜ-2Δ)·≥0라는 서브솔루션 성질(식 1.7)을 이용해 |∂ₜu|²를 L^∞ 로 제어할 수 있다는 점이다. 이 두 부등식을 결합하면 |∇u|²에 대한 비선형 파라볼릭 부등식이 얻어지고, 이는 전통적인 Moser 반복 기법을 적용할 수 있는 형태가 된다. Moser의 Harnack 부등식을 사용하면 |∇u|²가 국소적으로 유계임을 얻으며, 따라서 u는 공간 변수에 대해 국소 리프시츠 연속성을 갖는다.

또한 저자들은 ε‑정규화 접근법(Weighted Energy Dissipation, WED)으로 정의된 근사해 u_ε에 대해 동일한 비교 기법을 수행한다. 유클리드 도메인 ℝⁿ에서는 평행 이동을 이용한 차분 기법을 적용해 d²(u_ε(x+he_i,t),u_ε(x,t))/h²가 약해 해임을 보이고, 이를 h→0 한 뒤 식 (2.8)인
(ε∂ₜ²-∂ₜ+Δ)|∇u_ε|² ≥ 0
을 얻는다. 이 부등식과 기존의 에너지 추정식을 결합하면 ε에 독립적인 균일 리프시츠 상수 c(n)·E(u₀)^{1/2}·r^{-n/2}가 도출되어, Theorem 1.4의 균일 추정식이 증명된다.

마지막으로, 도메인이 일반 완비 리만 다양체일 때는 평행 이동 대신 벡터장 ω에 대한 흐름 x(x,s)를 이용한다. EVI를 ω‑흐름에 끌어올려 (2.10)–(2.12) 식을 유도하고, 이를 통해 곡률과 사주 반경에만 의존하는 상수 C를 얻는다. 따라서 결과는 (M,g) 가 양의 inj(M)와 유계 곡률을 갖는 모든 완비 리만 다양체에 대해 성립한다.

이와 같이 논문은 기존의 복잡한 비선형 분석을 피하고, 비교 기하학적 구조와 변분 부등식만으로도 열 흐름의 리프시츠 정규성을 얻을 수 있음을 보여준다. 이는 CAT(0) 대상에 대한 비선형 파셜 미분 방정식 이론을 크게 확장하는 의미가 있다.