[논문 리뷰] Quasiconformal and HQC mappings between Lyapunov Jordan domains

Vladimir Bozin Miodrag Mateljević|arXiv (Cornell University)|2018. 05. 11.

Analytic and geometric function theory인용 수 1

한 줄 요약

이 논문은 단위 원판에서 리아프노프 조르던 도메인으로의 조화 쿼드라식형 (hqc) 사상이 공-립시츠임을 증명하며, 미해결 문제를 해결한다. 국소적으로 특수한 리아프노프 도메인으로의 근사와 쿼드라하이퍼볼릭 거리 및 경계 왜곡에 대한 기하적 추정을 통해 저자들은 h의 자코비안이 양수 상수보다 크다는 것을 증명하며, 이는 전체 원판에서의 공-립시츠 연속성을 암시한다.

ABSTRACT

Let $h$ be a quasiconformal (qc) mapping of the unit disk $\mathbb{U}$ onto a Lyapunov domain. We show that $h$ maps subdomains of Lyapunov type of $\mathbb{U}$, which touch the boundary of $\mathbb{U}$, onto domains of similar type. In particular if $h$ is a harmonic qc (hqc) mapping of $\mathbb{U}$ onto a Lyapunov domain, using it, we prove that $h$ is co-Lipschitz (co-Lip) on $\mathbb{U}$. This settles an open intriguing problem.

연구 동기 및 목표

• 단위 원판에서 리아프노프 도메인으로의 조화 쿼드라식형 (hqc) 사상이 공-립시츠인지 여부라는 미해결 문제를 해결하기 위해.
• 경계에 접하는 특수한 리아프노프 도메인을 사용하여 쿼드라식형 사상의 국소 기하 모델을 수립하기 위해.
• 조화 쿼드라식형 사상의 자코비안이 양수 상수보다 크다는 것을 보여주어, 이는 공-립시츠 연속성을 암시하기 위해.
• 기하적 및 거리 추정을 통해 쿼드라하이퍼볼릭 거리 측도를 이용해 켈로그-바르샤프스키 정리를 조화 쿼드라식형 설정으로 확장하기 위해.
• 도메인 근사와 쿼드라하이퍼볼릭 거리 측도를 이용하여 칼라주의 결과, 즉 리아프노프 도메인으로의 조화 쿼드라식형 사상이 이중-립시츠임을 새롭게 증명하기 위해.

제안 방법

• 고정된 형상을 가진 특수한 리아프노프 도메인 Ua ⊂ U 및 lyp(D)−b ⊂ D를 정의하여, Ua가 점 a에서 경계에 접하며, lyp(D)−b가 h(a) = b에서 접하도록 한다.
• Gehring-Osgood 부등식 (GeOs)과 개선된 형태 (S-0)를 사용하여 쿼드라식형 사상 하에서 각도와 쿼드라하이퍼볼릭 거리의 비교를 수행한다.
• 하르낙 타입 추정을 적용하여 |Fa(z′) − b| ≥ s0(1 − |z′|)를 도출한다. 여기서 Fa = h ∘ φa이며, φa는 U에서 Ua로 사상한다.
• 기하적 추정을 수립한다: b 근처의 w에 대해 db(w) ≈ |w − b|이며, z′ = φa−1(z)일 때 db(w) ⪰ d(z′) = 1 − |z′|이다.
• 쿼드라식형 사상 하에서 쿼드라하이퍼볼릭 거리 측도의 불변성과 리아프노프 도메인 내에서 쿼드라하이퍼볼릭 거리 측도의 유계성을 이용하여 균일한 하한을 유도한다.
• 추정을 종합하여 모든 z ∈ U에 대해 λh(z) ≈ Λh(z) ≥ s4 > 0임을 보이며, 이는 공-립시츠 연속성을 암시한다.

실험 결과

연구 질문

• RQ1 단위 원판에서 리아프노프 도메인으로의 조화 쿼드라식형 사상은 공-립시츠 연속적인가?
• RQ2 경계 근처의 쿼드라식형 사상의 국소적 행동은 고정된 형상을 가진 볼록 리아프노프 도메인으로의 사상에 의해 근사될 수 있는가?
• RQ3 리아프노프 도메인 상의 조화 쿼드라식형 사상의 자코비안은 균일한 양수 하한을 갖는가?
• RQ4 해석함수에 대한 켈로그-바르샤프스키 정리는 조화 쿼드라식형 사상으로 확장될 수 있는가?
• RQ5 쿼드라하이퍼볼릭 거리 측도와 쿼드라식형 왜곡은 조화 쿼드라식형 사상의 경계 왜곡을 통제하는 데 어떤 역할을 하는가?

주요 결과

• 모든 a ∈ ∂U에 대해, a에서 접하는 특수한 리아프노프 도메인 Ua ⊂ U와 h(a)에서 접하는 볼록 리아프노프 도메인 lyp(D)−b ⊂ D가 존재하여 lyp(D)−b ⊂ h(Ua) ⊂ Hb를 만족한다. 여기서 Hb는 b를 포함하는 반평면이다.
• 거리 함수 db(w) = dist(w, ∂D−b)는 w가 b에 가까울 때 db(w) ⪰ |w − b|이며, z′ ∈ Ua에 대해 db(w) ⪰ d(z′) = 1 − |z′|이다.
• 자코비안과 연관된 양 Λh(z) = |∂h| + |∂̄h|는 U 전역에서 Λh(z) ≥ s4 > 0로 균일하게 유계이며, s4는 z에 의존하지 않는다.
• 양 λh(z) = |∂h| − |∂̄h|는 모든 z ∈ U에 대해 λh(z) ≈ Λh(z) ≥ s4 > 0를 만족하며, 이는 사상이 공-립시츠임을 암시한다.
• 결과적으로 조화 쿼드라식형 사상이 리아프노프 도메인 간에 공-립시츠임을 확인하며, 분야 내에서 오랫동안 미해결이었던 문제를 해결한다.
• 증명은 전역적 공-립시츠 성질을 국소적 볼록 모델로 환원하며, 특정 사상 h에 의존하지 않는 균일한 추정을 사용한다.