곡면과 다양체 제약 ROF 모델의 리프시츠 정규성

초록

곡면 위에서 정의된 ROF 변분문제를 다양체값으로 일반화하고, 목표 다양체의 곡률과 데이터 범위에 대한 제한 하에 최소화 문제의 존재·유일성을 보이며, 최소화 해가 리프시츠 연속성을 갖는 것을 증명한다. 또한 1차원 신호, 국소 정규성 및 Mosolov 문제와 같은 변형에도 동일한 정규성 결과를 확장한다.

상세 분석

본 논문은 기존의 유클리드 공간에서 정의된 Rudin‑Osher‑Fatemi (ROF) 모델을 두 차원 곡면 Σ와 완비 연결 리만 다양체 N으로 확장한다. 핵심은 변분 에너지
(E(u)=\int_{\Sigma}|du|,d\mu_g+\frac{\lambda}{2}\int_{\Sigma}d_h^2(u,f),d\mu_g)
의 최소화 해가 존재하고, 적절한 곡률 상한 (\kappa)와 작은 범위 조건 (f(\Sigma)\subset B_h(p,R),,R<R_\kappa) 하에서 유일함을 보이는 것이다. 여기서 (R_\kappa)는 섹션 곡률이 (\kappa) 이하인 구의 강한 볼록성을 보장하는 반경이며, 인젝션 반경과도 연관된다.

곡률이 비양수((\kappa\le0))이면 에너지 함수가 지오데식적으로 볼록해져 유일성 및 Lipschitz 연속성(데이터가 (C^{0,1})이면 해도 동일한 정규성을 가짐)을 얻는다. 비양수 곡률 가정은 기존 p‑조화 사상 이론에서 NPC(Non‑Positively Curved) 가정과 일치한다. 또한, 목표 다양체가 단순 연결이면 Cartan‑Hadamard 정리에 의해 전역적으로 (\mathbb{R}^n)과 동형이므로 작은 범위 조건이 자동으로 만족한다.

정규성 증명은 두 단계로 구성된다. 첫째, 정규화 파라미터 (\varepsilon>0)와 (\sigma>0)를 도입해 에너지 밀도를 (\sqrt{|du|^2+\varepsilon^2})와 추가적인 2‑에너지 (\sigma\int|du|^2)를 포함한 변형 문제 (E_{\sigma,\varepsilon})를 정의한다. 이는 1‑라플라시안의 퇴화성을 완화하고, 표준 에너지 추정과 최대 원리를 적용할 수 있게 만든다. 둘째, 거리 mollification을 이용해 데이터 (f)를 부드럽게 근사하고, 정규화된 PDE
(\operatorname{div}_g!\big((|du|^2+\varepsilon^2)^{-1/2}du+\sigma du\big)=-\lambda\exp^{-1}_u f)
에 대해 Bernstein‑type 기법을 적용한다. 여기서 (w=|du|^2)가 타원형 부방정식의 하위해가 됨을 보이고, 최대 원리를 통해 (w)의 전역 상한을 얻는다. 이 과정에서 Neumann 경계조건을 만족하는 (C^3) 정규성을 확보하기 위해 기존 Neumann 문제에 대한 정규성 이론을 확장하고,