리만 공간의 리프노프 영역 사이 조화성·준등거리 사상, 전역 리프시츠 정규성

초록

저자들은 경계가 $C^{1,\alpha}$인 유한 영역 $D,\Omega\subset\mathbb R^n$ 사이의 조화적이며 $K$‑준등거리인 홈오몰피즘 $f:D\to\Omega$가 전체 영역 $\overline D$에서 전역 리프시츠 연속임을 증명한다. 핵심은 경계에서 얻는 초기 Hölder 연속성을 $C^{1,\alpha}$ 그래프 구조를 이용해 개선하고, 이를 근처 경계에서의 기울기 추정으로 전환한 뒤, 준등거리성으로 전체 미분을 제어하는 반복 스킴이다.

상세 분석

이 논문은 고차원에서 조화함수와 준등거리 사상의 상호작용을 정밀히 분석한다. 먼저 $D$와 $\Omega$가 $C^{1,\alpha}$(Lyapunov) 경계를 갖는 유한 영역이라는 가정 하에, $f$가 $K$‑준등거리이면서 조화적이면 $f$는 경계까지 연속적으로 연장될 수 있음을 알려진 Gehring–Martio 이론을 이용해 $\beta$‑Hölder 연속성을 확보한다. 여기서 $\beta\in(0,1)$는 도메인의 John·uniform 성질에 의해 얻어진다.

다음 단계는 경계에서의 $\beta$‑Hölder 추정치를 $C^{1,\alpha}$ 그래프 표현을 통해 “정규 성분”에 대해 더 높은 Hölder 지수 $\beta_1=(1+\alpha)\beta$ 로 향상시키는 과정이다. 구체적으로, 각 경계점 $\xi\in\partial D$에 대해 $f$를 적절히 회전·이동시켜 $\Omega$의 국소 그래프 형태 ${(y’,y_n):y_n=\Phi(y’)}$와 맞춘 뒤, $f$의 $n$‑성분 $f_n$와 $\Phi$ 사이의 관계 $f_n(\eta)=\Phi(\tilde f(\eta))$를 이용한다. $\Phi$의 $C^{1,\alpha}$ 성질과 $\tilde f$의 $\beta$‑Hölder 연속성을 결합하면 $f_n$는 $\beta_1$‑Hölder 연속임을 얻는다.

그 후 핵심적인 Lemma 3.1(및 3.2)을 적용한다. 이 보조정리는 경계에서 $\mu$‑Hölder 연속인 조화함수 $u$가 근처 내부에서 동일한 지수의 Hölder 연속과 $|\nabla u(x)|\lesssim \delta_D(x)^{\mu-1}$ 형태의 기울기 추정으로 전이된다는 것을 보인다. 여기서 $\delta_D(x)$는 $x$와 $\partial D$ 사이 거리이다. $\mu=\beta_1<1$인 경우에는 $\delta_D^{\beta_1-1}$ 형태의 발산을 제어하고, $\mu>1$이면 균일한 기울기 상수를 얻는다.

이 기울기 추정을 $f$의 전체 미분에 연결하기 위해, $K$‑준등거리성의 특성 $|Df|\le H(K),l(Df)$와 $l(Df)\le |\nabla f_n|$(최소 특이값과 $n$‑성분 기울기의 관계)를 이용한다. 결과적으로 $|Df(x)|\lesssim \delta_D(x)^{\beta_1-1}$가 얻어지고, 이는 경계에 가까워질수록 발산하지만 $\beta_1>0$이므로 $\delta_D^{\beta_1-1}$는 $L^\infty$ 상한을 제공한다.

마지막으로, 이 경계 근처 추정을 전체 영역에 전파한다. 경계 두 점 $\xi,\eta$를 연결하는 세 구간(법선 방향 직선, 경계 따라 이동, 반대 법선)으로 구성된 경로 $\gamma$를 잡고, 위에서 얻은 $|Df|\lesssim \delta_D^{\beta_1-1}$를 $\gamma$에 적분한다. $\gamma$의 각 구간에서 $\delta_D$가 선형적으로 변하거나 일정하므로 적분 결과는 $|f(\xi)-f(\eta)|\lesssim |\xi-\eta|^{\beta_2}$ 형태가 되며, 여기서 $\beta_2=1-(1-\beta_1)=\beta_1$가 된다. 즉, 경계 추정이 다시 한 번 향상되어 $\beta$가 $\beta_2$로 교체된다. 이 과정을 반복하면 지수가 1에 수렴하고, 결국 $|Df|$가 전역적으로 유계임을 보인다. 따라서 $f$는 $\overline D$ 전체에서 리프시츠 연속이며, 상수는 $n,K,\alpha$와 도메인의 $C^{1,\alpha}$ 정규화 상수에만 의존한다.

핵심적인 기여는 (1) $C^{1,\alpha}$ 경계에서의 “정규 성분”을 이용한 Hölder 지수 향상, (2) 경계‑to‑내부 전이용 Lemma 3.1의 정밀한 조화 측정, (3) 준등거리성으로 전체 미분을 제어하는 새로운 반복 스킴을 제시한 점이다. 이 결과는 기존에 $D$가 단위볼 같은 특수한 경우에만 알려졌던 Lipschitz 정규성을 일반적인 $C^{1,\alpha}$ 소스 도메인으로 확장한다는 의미에서 중요한 발전이다.