플루리포텐셜 복소 Monge‑Ampère 흐름의 일반 비교 원리와 장기 수렴

초록

본 논문은 우측항이 일반 측도 µ (µ가 유계 psh 함수의 Monge‑Ampère 측도로 지배됨)인 플루리포텐셜 복소 Monge‑Ampère 흐름에 대해 새로운 비교 원리를 증명한다. 이를 통해 Cauchy‑Dirichlet 문제의 약해 해의 유일성을 확보하고, 추가적인 가정 하에 해가 시간 무한대로 갈 때 정지해 ψ∞ 로 수렴함을 보인다.

상세 분석

이 연구는 Guedj‑Lu‑Zeriahi가 제시한 ‘parabolic pluripotential theory’를 기반으로, 기존에 L^p 밀도 g (dµ = g dV) 에만 적용 가능했던 비교 원리를 훨씬 일반적인 측도 µ 에 확대한다. 핵심 가정은 Ω ⊂ ℂⁿ이 엄격하게 pseudo‑convex이며, bounded psh 함수 φ 또는 ψ 가 (dd^c φ)^n ≥ µ, (dd^c ψ)^n = µ, 그리고 경계에서 0으로 수렴한다는 것이다. 이러한 µ 는 Kolodziej‑subsolution 정리를 통해 존재함을 보장한다.

정리 1.2는 두 함수 u, v ∈ P(Ω_T)∩L^∞(Ω_T) 가 각각 하위·상위 해이며 (0,T) 구간에서 locally uniformly semi‑concave(또는 semi‑convex) 조건을 만족하면, 경계 데이터 h₁ ≤ h₂일 때 u ≤ v 임을 증명한다. 기존 결과와 달리 상위 해에 대한 연속성 가정(1.4)이나 상위 해의 연합(envelope) 연속성 확보가 필요 없으며, 직접적인 비교 기법을 도입한다.

이를 위해 저자는 측도 dt∧(dd^c u)^n 의 Borel 가측성, 혼합형 부등식, 전역 최대 원리, 지배 원리 등을 정교히 확장한다(Lemmas 2.2–2.6). 특히 Lemma 2.4는 시간‑공간 집합 {v<u} 에 대한 Monge‑Ampère 측도의 비교를 제공하여, 이후 Lemma 2.5·2.6을 통해 ‘만약 dt∧(dd^c v)^n ≤ dt∧(dd^c u)^n 이면 u ≤ v’라는 강력한 전역 비교를 얻는다.

정리 1.4는 앞서 증명된 비교 원리를 이용해, (1.3)·(1.4) 조건을 만족하는 경계 데이터에 대해 유일한 약해 해가 존재하고, 그 해는 (0,T)에서 locally uniformly semi‑concave임을 보인다. 마지막으로 정리 1.5에서는 F가 전역적으로 Lipschitz(또는 강한 단조성) 조건 |F(z,r₁)−F(z,r₂)| ≥ L_F|r₁−r₂| 를 만족하면, 시간 t→∞ 에서 해 u(t,·)가 정지해 ψ^∞ ( (dd^c ψ^∞)^n = e F(z,ψ^∞) µ, ψ^∞|_{∂Ω}=0 ) 로 균등 수렴함을 증명한다. 이는 복소 Kähler‑Ricci 흐름의 장기 거동을 플루리포텐셜 프레임워크 안에서 일반화한 중요한 결과이다.