[논문 리뷰] Distortion of Hausdorff measures and improved Painlevé removability for quasiregular mappings

Kari Astala, Albert Clop외 3명|ArXiv.org|2006. 09. 12.

Analytic and geometric function theory참고 문헌 10인용 수 8

한 줄 요약

이 논문은 유계 $K$-등각성 맵에 대해, $\sigma$-유한한 하우스도르프 $\frac{2}{K+1}$-측도를 가진 집합들이 제거 가능하다는 것을 보여줌으로써, 기존의 제거 가능성 기준을 향상시킨다. 이는 차원 $\frac{2}{K+1}$만으로는 충분하지 않음에도 불구하고 성립한다. 핵심 결과는 $K$-등각성 맵에 의한 1차원 하우스도르프 콘텐츠의 날카운 변형 추정으로, 이는 $\mathcal{H}^{\frac{2}{K+1}}(E) = 0$ 이면 $\mathcal{H}^{1}(\phi(E)) = 0$ 임을 의미하며, 원래 집합의 $\frac{2}{K+1}$-차원 하우스도르프 콘텐츠에 대한 정량적 유계를 포함한다. 이는 고전적인 페인레베 제거 가능성 기준을 차원 1에서 $K$에 의존하는 임계 차원으로 향상시키며, 등각성 맵 이론에서 오랫동안 남아있던 문제를 해결한다.

ABSTRACT

The classical Painlevé theorem tells that sets of zero length are removable for bounded analytic functions, while (some) sets of positive length are not. For general $K$-quasiregular mappings in planar domains the corresponding critical dimension is $\frac{2}{K+1}$. We show that when $K>1$, unexpectedly one has improved removability. More precisely, we prove that sets $E$ of $σ$-finite Hausdorff $\frac{2}{K+1}$-measure are removable for bounded $K$-quasiregular mappings. On the other hand, $\dim(E) = \frac{2}{K+1}$ is not enough to guarantee this property. We also study absolute continuity properties of pull-backs of Hausdorff measures under $K$-quasiconformal mappings, in particular at the relevant dimensions 1 and $\frac{2}{K+1}$. For general Hausdorff measures ${\cal H}^t$, $0 < t < 2$, we reduce the absolute continuity properties to an open question on conformal mappings.

연구 동기 및 목표

• 유계 해석 함수에 대한 고전적 페인레베 제거 가능성 기준이 $K > 1$ 인 $K$-등각성 맵으로도 향상될 수 있는가를 규명하는 것.
• 등각성 맵에 의한 하우스도르프 측도의 변형이 차원만으로는 충분하지 않은 더 강력한 제거 가능성 조건을 유도하는가를 조사하는 것.
• $K$-등각성 맵에 의한 1차원 하우스도르프 콘텐츠의 변형에 대해 날카운 정량적 추정을 수립하는 것.
• 특히 임계 차원 $\frac{2}{K+1}$ 에서 등각성 맵에 의한 하우스도르프 측도의 역상의 절대연속성에 대해 탐구하는 것.

제안 방법

• 1차원 하우스도르프 콘텐츠에 대한 날카운 변형 추정을 증명: $K$-등각성 맵 $\phi$ 에 대해 $\mathcal{M}^{1}(\phi(E)) \leq C (\mathcal{M}^{\frac{2}{K+1}}(E))^{\frac{K+1}{2K}}$.
• 강력한 콘텐츠 보존 성질 수립: $K$-등각성 맵 $h$ 가 컴acts set $E$ 외부에서 등각적이며 무한대에서 정규화되어 있을 경우, $\mathcal{M}^{1}(h(E)) \leq C_K \mathcal{M}^{1}(E)$.
• 반복 함수 시스템을 통한 등각성 맵의 재귀적 구성 기법을 사용하여, $\mathcal{H}^{h}(E) \simeq 1$ 이고 $\dim(E) = \frac{2}{K+1}$ 인 컴팩트 집합 $E$ 를 구성함. 이때 관련 측도 함수 $h'$ 에 대해 $\mathcal{H}^{h'}(\phi(E)) \simeq 1$ 이 되도록 보장함.
• Mattila의 정리(용량과 측도에 관한)를 적용하여 $\mathcal{H}^{h'}(\phi(E)) = 1$ 이면 비제거 가능성임을 결론 내림. 이는 $\sigma$-유한성의 필요성을 보여주는 반례를 구성함.
• $K$-등각성 사상 하에서 $\mathcal{H}^{t'}$ 의 일반적인 절대연속성 문제를, 컴팩트 집합 외부에서 등각적인 사상에 대한 $\mathcal{M}^{t}$-콘텐츠 보존 성질에 대한 추측으로 환원함.
• 인터폴레이션 및 리스용량 추정을 사용하여 $1 < t < 2$ 에서 $\mathcal{H}^{t}$-측도의 행동을 분석함. 그러나 이러한 유계는 $t' > 1$ 에서의 완전한 절대연속성 증명에 부족함.

실험 결과

연구 질문

• RQ1 고전적인 페인레베 제거 가능성 조건이 $K > 1$ 인 $K$-등각성 맵으로도 향상될 수 있는가?
• RQ2 $\sigma$-유한한 $\frac{2}{K+1}$-차원 하우스도르프 측도를 가진 집합들이 유계 $K$-등각성 맵에 대해 제거 가능한가?
• RQ3 $K$-등각성 맵에 의한 컴팩트 집합의 이미지에 대한 1차원 하우스도르프 콘텐츠가 원래 집합의 $\frac{2}{K+1}$-차원 콘텐츠에 대해 날카운 정량적 유계를 만족하는가?
• RQ4 $K$-등각성 맵에 의한 일반 하우스도르프 측도 $\mathcal{H}^{t}$ 의 변형이, 컴팩트 집합 외부에서 등각적인 맵에 대한 콘텐츠 보존 성질을 통해 특징지어질 수 있는가?
• RQ5 임계 차원 $\frac{2}{K+1}$ 이 제거 가능성에 충분한가, 아니면 측도의 $\sigma$-유한성이 필수적인가?

주요 결과

• $\sigma$-유한한 $\frac{2}{K+1}$-차원 하우스도르프 측도를 가진 집합들은 유계 $K$-등각성 맵에 대해 제거 가능하다. 이는 차원 $\frac{2}{K+1}$ 만으로는 충분하지 않음에도 불구하고 성립한다.
• 날카운 정량적 유계가 확립됨: 임의의 $K$-등각성 맵 $\phi$ 와 컴팩트 집합 $E$ 에 대해 $\mathcal{M}^{1}(\phi(E)) \leq C (\mathcal{M}^{\frac{2}{K+1}}(E))^{\frac{K+1}{2K}}$ 이며, 이는 $\mathcal{H}^{\frac{2}{K+1}}(E) = 0$ 이면 $\mathcal{H}^{1}(\phi(E)) = 0$ 이라는 결과를 유도한다.
• $K$-등각성 맵이 컴팩트 집합 $E$ 외부에서 등각적이며 무한대에서 정규화되어 있을 경우, 1차원 하우스도르프 콘텐츠는 상수 범위 내에서 보존됨: $\mathcal{M}^{1}(h(E)) \leq C_K \mathcal{M}^{1}(E)$.
• $\dim(E) = \frac{2}{K+1}$ 이고 적절한 측도 함수 $h(t) = t\eta(t)$ 에 대해 $\mathcal{H}^{h}(E) \simeq 1$ 이지만, 관련 측도 함수 $h'$ 에 대해 $\mathcal{H}^{h'}(\phi(E)) \simeq 1$ 이 되는 반례를 구성함. 이는 $\sigma$-유한성이 제거 가능성에 필수적임을 보여준다.
• 이 구성은 $\dim(E) = \frac{2}{K+1}$ 가 제거 가능성에 충분하지 않음을 확인한다. $\mathcal{H}^{h}(E) \simeq 1$ 이면 유계 $K$-등각성 맵 하에서 $\phi(E)$ 는 비제거 가능하다.
• 논문은 일반적인 절대연속성 문제 $\phi^*\mathcal{H}^{t'} \ll \mathcal{H}^{t}$ 를 $\mathcal{M}^{t}$-콘텐츠 보존 성질에 대한 추측으로 환원하였으며, 이는 일반적인 $t \in (0,2)$ 에서도 열려 있는 문제이다.