[논문 리뷰] On behavior of homeomorphisms with inverse modulus conditions

Evgeny Sevost’yanov, С. А. Скворцов|arXiv (Cornell University)|2017. 12. 20.

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

한 줄 요약

이 논문은 역모듈러스 조건 $ M(f(\Gamma)) \leq \int_D Q(x) \rho^n(x)\,dm(x) $ 를 만족하는 모든 적합한 $ \rho $ 에 대해, $ g: D' \to D $ 의 역함수 $ f = g^{-1} $ 를 갖는 호메오모르피즘 $ g $ 의 국소적 및 경계 행동을 조사한다. $ Q \in L^1(D) $ 이고, 경계의 국소적 연결성과 약한 평탄성 조건을 만족할 경우, 저자들은 $ D' $ 내에서 $ g $ 의 등연속성과 $ \overline{D'} $ 로의 연속적 연장이 가능함을 증명하며, 연장된 가족이 닫힘에서 등연속임을 보인다.

ABSTRACT

We consider some class of homeomorphisms of domains of Euclidean space, which are more general than quasiconformal mappings. For these homeomorphisms, we have obtained theorems on local behavior of it's inverse mappings in a given domain. Under some additional conditions, we proved results about behavior of mappings mentioned above in the closure of the domain.

연구 동기 및 목표

• 역모듈러스 조건을 만족하는 호메오모르피즘 $ g $ 의 국소적 및 경계 행동을 분석하는 것.
• 이전 연구에서 사용된 정규화 제약 조건(예: 두 점을 고정하는 것)을 제거하여 더 넓은 적용 가능성을 확보하는 것.
• 기하학적 조건과 적분 가능성 조건 하에서 도메인의 닫힘으로의 등연속적 연장과 등연속성을 확립하는 것.
• 역가족 $ \{f_m\} $ 가 $ \{g_m\} = \{f_m^{-1}\} $ 는 등연속일지라도 등연속이 아닐 수 있음을 보여, 역모듈러스 조건 하에서 행동의 비대칭성을 부각하는 것.

제안 방법

• 모든 적합한 $ \rho $ 에 대해 $ M(f(\Gamma)) \leq \int_D Q(x) \rho^n(x)\,dm(x) $ 를 만족하는 $ f = g^{-1} $ 를 갖는 사상 $ g: D' \to D $ 의 클래스 $ \mathfrak{R}_Q(D, D') $ 를 정의한다.
• 곡선 가족의 모듈러스 $ M(\Gamma(E,F,D)) $ 를 사용해 연결성과 경계 행동을 정량화한다.
• 기하학적 조건 적용: 경계점에서의 국소적 연결성과 $ \partial D' $ 의 약한 평탄성으로, 작은 이웃이 큰 모듈러스를 갖는 집합들을 분리함을 보장한다.
• $ Q \in L^1(D) $ 조건 하에서 모듈러스 추정과 컴팩턴스 추론을 통해 $ D' $ 내에서 등연속성을 확립한다.
• 약한 평탄성과 국소적 연결성 가정을 이용해 $ \overline{D'} $ 로의 연속적 연장이 가능함을 증명하며, $ \overline{D'} $ 에서의 이미지가 $ \overline{D} $ 가 됨을 보장한다.
• 반례를 통해 $ \mathbb{B}^n \to B(0,2) $ 를 사상하는 $ f_m $ 이 0에서 등연속이 아니지만, $ \{g_m = f_m^{-1}\} $ 는 $ \overline{B(0,2)} $ 에서 등연속임을 보여, 역행 조건 하에서 행동의 비대칭성을 입증한다.

실험 결과

연구 질문

• RQ1 역모듈러스 조건을 만족하는 $ f = g^{-1} $ 를 갖는 호메오모르피즘 $ g: D' \to D $ 의 가족이 $ D' $ 에서 등연속이 되기 위한 조건은 무엇인가?
• RQ2 이러한 사상 $ g $ 는 닫힘 $ \overline{D'} $ 로 연속적으로 연장될 수 있으며, 연장된 가족이 등연속이 되는 조건은 무엇인가?
• RQ3 기하학적 경계 조건(국소적 연결성 및 약한 평탄성)과 $ Q $ 의 적분 가능성 조건이 등연속성을 보장하기 위해 어떻게 상호작용하는가?
• RQ4 역가족 $ \{f_m\} $ 는 $ \{g_m = f_m^{-1}\} $ 이 등연속일 경우 어떻게 행동하는가? 그리고 이는 쿼드라식 컨フォ르멀 맵핑에서 관찰되는 대칭성의 붕괴를 초래하는가?
• RQ5 두 점을 고정하는 등의 정규화 제약 조건을 제거함으로써 결과를 쿼드라식 컨포르멀 맵핑을 초월해 일반화할 수 있는가?

주요 결과

• $ Q \in L^1(D) $ 이고 $ \overline{D}, \overline{D'} $ 가 컴act일 경우, 항상 $ D' $ 에서 $ \mathfrak{R}_Q(D, D') $ 의 가족은 등연속이다.
• $ D $ 가 모든 경계점에서 국소적으로 연결되어 있고, $ D' $ 가 약한 평탄성을 갖으며 $ Q \in L^1(D) $ 이면, 각 $ g \in \mathfrak{S}_{\delta,A,Q}(D,D') $ 는 $ \overline{D'} $ 로 연속적으로 연장되며, 연장된 가족은 $ \overline{D'} $ 에서 등연속이다.
• 연장된 사상 $ \overline{g}: \overline{D'} \to \overline{D} $ 는 $ \overline{g}(\overline{D'}) = \overline{D} $ 를 만족하며, 닫힘의 구조를 유지한다.
• 반례에서 역가족 $ \{f_m\} $ 는 $ \{g_m = f_m^{-1}\} $ 가 $ \overline{B(0,2)} $ 에서 등연속임에도 불구하고 0에서 등연속이 아니며, 이는 역모듈러스 조건이 등연속성을 반대로 보존하지 않음을 보여준다.
• $ Q \in L^1(D) $ 조건은 등연속성에 필수적이다. 이 조건이 없으면 모듈러스 제어가 실패하고 등연속성이 보장되지 않는다.
• $ f_m $ 과 $ g_m $ 의 예시는 역모듈러스 조건을 만족하는 사상의 클래스가 쿼드라식 컨포르멀 맵핑을 초월하며, 그 역가족이 매우 다를 수 있음을 보여준다.