복소 Monge Ampere 방정식 해의 연속성 지표

초록

본 논문은 고립된 특이점을 가진 Stein 공간에서 L^p 밀도(p>1)를 갖는 복소 Monge‑Ampère 방정식의 Dirichlet 문제 해가 경계 데이터가 Hölder 연속일 경우 특이점 외부에서 Hölder 연속성을 유지함을 증명한다. 구체적으로, 해의 모듈러스 ω_u,x(t) 가 ω_φ(t^{1/2}) 와 t^{1/(nq+1)} 의 최대값에 의해 지배됨을 보이며, 이는 기존 매끄러운 도메인 결과와 일치한다.

상세 분석

논문은 먼저 Stein 공간 X 를 고립된 특이점 X_sing 만을 갖는 복소 해석적 공간으로 설정하고, β 라는 양의 (1,1)-형식으로 정의된 Hermitian 거리 d_β 를 사용한다. Ω⊂X 를 강하게 pseudo‑convex 하고 경계가 C^2 로 정의된 Stein 도메인으로 잡아, ρ<0 인 엄격한 psh 정의함수로 Ω={ρ<0} 를 표현한다. Dirichlet 문제 MA(Ω,φ,f) 는 (dd^c u)^n = f β^n, u|_{∂Ω}=φ 로 정의되며, 여기서 f∈L^p(Ω,β^n), p>1, φ∈C^0(∂Ω) 로 가정한다.

주요 결과인 Theorem A는 해 u 가 각 점 x∈Ω 에 대해
ω_{u,x}(t) ≤ C_x·max{ ω_φ(t^{1/2}), t^{1/(nq+1)} }
을 만족함을 보인다. 여기서 1/p+1/q=1, C_x 은 x 가 특이점에 접근할수록 무한대로 발산한다. 이 식은 φ 가 Hölder 연속이면 ω_φ(t)≈t^α 로 추정되므로, u 는 α*‑Hölder 연속성을 갖는다(α*<min{2α,1/(nq+1)}).

증명 전략은 크게 네 단계로 나뉜다. 첫째, 경계 근처에서 φ 와 f 의 특성을 반영한 하·상(Barrier) 함수를 구성한다. Lemma 2.2, 2.3 에서는 각각 f 가 경계 근처에서 유계인 경우와 f≡0 인 경우에 대해 명시적인 psh 장벽을 만든다. 특히, φ 의 모듈러스를 t^{1/2} 로 변환하는 기술은 기존의 차원‑독립적인 장벽 구축과 차별화된다.

둘째, 해의 정규화(regularization)를 위해 특이점 해소 π: \tilde X→X 를 사용하고, \tilde Ω 에서 Kähler 형식 τ 를 잡아 지오데시적 평균 연산 η_δ 를 정의한다. 이는 Demazure‑Kolodziej 방식의 정규화와 유사하지만, τ 와 β 를 동시에 고려함으로써 거리 d_β 와 d_τ 사이의 비교를 가능하게 한다.

셋째, L^1‑추정과 안정성 정리를 활용한다. Theorem 1.6 (GGZ23a) 은 두 psh 함수 사이의 L^1 차이가 경계 차이와 L^1‑노름에 의해 제어됨을 제공한다. 이를 통해 정규화된 해와 원래 해 사이의 차이를 정량화하고, ω_u,x(t) 의 상한을 얻는다.

넷째, 특이점 근처에서 거리 λ(x)=d(x,X_sing) 를 도입해 상수 C_x 가 λ(x)^{-α} 형태로 발산함을 보인다. 이는 특이점이 해의 연속성에 미치는 영향을 정확히 측정한다는 점에서 의미가 크다.

또한, 논문은 기존 문헌(