[논문 리뷰] On Sobolev's mappings on Riemann surfaces

Vladimir Ryazanov, С. В. Волков|arXiv (Cornell University)|2016. 04. 01.

Analytic and geometric function theory참고 문헌 9인용 수 3

한 줄 요약

이 논문은 리만 곡면 위의 도메인에서 유한 변형을 갖는 소볼레프 사상의 연속적이고 위상동형으로 확장되는 날카운 기준을 도출한다. 이는 변형 함수 $ K_f $ 가 경계점 근처에서의 행동을 통해 이루어지며, 최대 변형도가 특정 적분성 또는 진동 조건(예: 로그 성장 또는 유한 평균 진동)을 만족할 경우, 사상이 도메인의 폐포로 위상동형으로 확장된다는 것을 증명한다.

ABSTRACT

In terms of dilatations, it is proved a series of criteria for continuous and homeomorphic extension to the boundary of mappings with finite distortion between regular domains on the Riemann surfaces

연구 동기 및 목표

• 리만 곡면 위의 도메인 경계로의 연속적 확장을 보장하는 충분조건을 도출하는 것.
• 특히 경계점 근처에서의 변형 함수 $ K_f $ 를 통해 이러한 사상의 경계 행동을 특성화하는 것.
• 경계 근처에서 $ K_f $ 의 성장 또는 진동에 기반한 효과적인 적분형 및 점별 기준을 제공하는 것.
• 복소평면에서의 기존 결과를 일반 리만 곡면으로 일반화하기 위해 내재된 기하학적 및 분석적 도구를 사용하는 것.
• 변형에 대한 적절한 조건이 만족될 경우, 사상이 도메인의 폐포 사이의 위상동형으로 확장된다는 것을 증명하는 것.

제안 방법

• 소볼레프 사상의 변형을 제어하기 위해 중심적인 분석적 대상으로 최대 변형도 $ K_f(p) $ 를 사용하는 것.
• 경계점에서 $ K_f $ 에 대한 FMO(유한 평균 진동) 조건을 적용하여 경계 확장을 보장하는 것.
• metric 원 $ h(p,p_0) = r $ 위에서 $ K_f $ 의 $ L^1 $-평균인 $ ||K_f||(p_0,r) $ 를 포함한 적분 조건 $ \int_0^\delta \frac{dr}{||K_f||(p_0,r)} = \infty $ 를 사용하는 것.
• FMO 조건과 경계 정(regularity)을 보장하는 limsup 조건 $ \limsup_{\varepsilon \to 0} \mathchoice{{\vbox{\hbox{$\textstyle-$}}\kern-5.83331pt}}{{\vbox{\hbox{$\scriptstyle-$}}\kern-3.90001pt}}{{\vbox{\hbox{$\scriptscriptstyle-$}}\kern-2.75pt}}{{\vbox{\hbox{$\scriptscriptstyle-$}}\kern-2.25pt}}\!\int_{B(p_0,\varepsilon)} K_f(p)\,dh(p) < \infty $ 의 등가성을 활용하는 것.
• 성장 조건을 충족하는 볼록 함수 $ \Phi(K_f) $ 를 통해 $ \int_\delta^\infty \frac{d\tau}{\tau \Phi^{-1}(\tau)} = \infty $ 를 만족시키는 조건을 이용하여 적분성과 따라서 경계 확장을 보장하는 것.
• 리만 곡면에서의 등각 좌표 변환에 대한 소볼레프 및 변형 클래스의 불변성을 활용하는 것.

실험 결과

연구 질문

• RQ1 리만 곡면 위의 도메인 경계로의 연속적 확장을 보장하기 위해 변형 함수 $ K_f $ 에 어떤 조건이 필요한가?
• RQ2 경계점 근처에서 $ K_f $ 의 국소적 행동(예: 로그 성장 또는 유한 평균 진동)이 사상의 경계 확장에 어떤 영향을 미치는가?
• RQ3 적분 발산 조건 $ \int_0^\delta \frac{dr}{||K_f||(p_0,r)} $ 가 도메인의 폐포로의 위상동형 확장을 보장할 수 있는가?
• RQ4 경계점에서 $ K_f $ 에 대한 FMO 조건이 사상의 확장을 보장하는 데 어떤 역할을 하는가?
• RQ5 예를 들어 $ \int_U e^{\alpha K_f} \, dh < \infty $ 와 같은 지수 적분 조건이 경계 정(regularity)과 어떤 관련이 있는가?

주요 결과

• 모든 $ p_0 \in \partial D $ 에 대해 $ \int_0^\delta \frac{dr}{||K_f||(p_0,r)} = \infty $ 이면, 사상 $ f $ 는 $ \overline{D} $ 로 위상동형으로 확장된다.
• 만약 $ p \to p_0 $ 일 때 $ K_f(p) = O\left(\log \frac{1}{h(p,p_0)}\right) $ 라면, 경계 근처에서 변형이 로그 성장함을 나타내며, 이 조건에서도 결론이 성립한다.
• 모든 $ p_0 \in \partial D $ 에 대해 $ \limsup_{\varepsilon \to 0} \mathchoice{{\vbox{\hbox{$\textstyle-$}}\kern-5.83331pt}}{{\vbox{\hbox{$\scriptstyle-$}}\kern-3.90001pt}}{{\vbox{\hbox{$\scriptscriptstyle-$}}\kern-2.75pt}}{{\vbox{\hbox{$\scriptscriptstyle-$}}\kern-2.25pt}}\!\int_{B(p_0,\varepsilon)} K_f(p)\,dh(p) < \infty $ 이면, $ f $ 는 $ \overline{D} $ 로 연속적으로 확장된다.
• 모든 $ p_0 \in \partial D $ 에 대해 $ \int_U \Phi(K_f(p))\,dh(p) < \infty $ 이고, $ \int_\delta^\infty \frac{d\tau}{\tau \Phi^{-1}(\tau)} = \infty $ 를 만족하는 볼록 함수 $ \Phi $ 가 존재하면, $ f $ 는 $ \overline{D} $ 로 위상동형으로 확장된다.
• 특히, 어떤 $ \alpha > 0 $ 에 대해 $ \int_U e^{\alpha K_f(p)}\,dh(p) < \infty $ 이면, $ f $ 는 폐포로 위상동형으로 확장된다.
• 만약 $ \int_{\varepsilon < h(p,p_0) < \varepsilon_0} K_f(p) \frac{dh(p)}{h(p,p_0)^2} = o\left(\left[\log \frac{1}{\varepsilon}\right]^2\right) $ 이고 $ \varepsilon \to 0 $ 일 때 성립하면, $ f $ 는 $ \overline{D} $ 로 위상동형으로 확장된다.