[论文解读] Distortion of Hausdorff measures and improved Painlevé removability for quasiregular mappings

Kari Astala, Albert Clop+3 more|ArXiv.org|Sep 12, 2006

Analytic and geometric function theory参考文献 10被引用 8

一句话总结

本文通过证明具有 $\sigma$-有限的 Hausdorff $\frac{2}{K+1}$-测度的集合在有界 $K$-拟正则映射下是可去的，从而改进了相关可去性结果，即使仅具有 $\frac{2}{K+1}$-维的集合也并不足够。关键结果是对 $K$-拟共形映射下 $1$-维 Hausdorff 质量的精确扭曲估计，该估计表明 $\mathcal{H}^{\frac{2}{K+1}}(E) = 0$ 蕴含 $\mathcal{H}^{1}(\phi(E)) = 0$，且该结论带有涉及 $E$ 的 $\frac{2}{K+1}$-维 Hausdorff 质量的定量界。该结果将经典 Painlevé 可去性阈值从维度 $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.

研究动机与目标

• 确定有界解析函数的经典 Painlevé 可去性阈值是否可被改进以适用于 $K$-拟正则映射。
• 研究 $K$-拟共形映射下 Hausdorff 测度的扭曲是否能导致强于仅依赖维度的可去性条件。
• 为 $K$-拟共形映射下 $1$-维 Hausdorff 质量建立精确的定量估计。
• 探讨在临界维度 $\frac{2}{K+1}$ 处，拟共形映射下 Hausdorff 测度的拉回的绝对连续性。

提出的方法

• 证明 $1$-维 Hausdorff 质量的精确扭曲估计：对于 $K$-拟共形映射 $\phi$，有 $\mathcal{M}^{1}(\phi(E)) \leq C (\mathcal{M}^{\frac{2}{K+1}}(E))^{\frac{K+1}{2K}}$。
• 建立强质量保持性质：对于在紧集 $E$ 外为共形且在无穷远处归一化的 $K$-拟共形映射 $h$，有 $\mathcal{M}^{1}(h(E)) \leq C_K \mathcal{M}^{1}(E)$。
• 通过迭代函数系统递归构造拟共形映射，构建一个紧集 $E$，使得 $\mathcal{H}^{h}(E) \simeq 1$ 且 $\dim(E) = \frac{2}{K+1}$，同时确保对于相关测度函数 $h'$，有 $\mathcal{H}^{h'}(\phi(E)) \simeq 1$。
• 应用 Mattila 的容量与测度定理，得出 $\mathcal{H}^{h'}(\phi(E)) = 1$ 意味着非可去性，从而构造出 $\sigma$-有限性并非必要性的反例。
• 将 $K$-拟共形映射下 $\mathcal{H}^{t'}$ 的一般绝对连续性问题约化为关于在紧集外为共形的映射下 $\mathcal{M}^{t}$-质量保持性的猜想。
• 使用插值与 Riesz 容量估计分析 $1 < t < 2$ 时 $\mathcal{H}^{t}$-测度的行为，尽管这些界不足以证明 $t' > 1$ 时的完全绝对连续性。

实验结果

研究问题

• RQ1 当 $K > 1$ 时，有界解析函数的经典 Painlevé 可去性条件是否可被改进以适用于 $K$-拟正则映射？
• RQ2 是否具有 $\sigma$-有限 $\frac{2}{K+1}$-维 Hausdorff 测度的集合对于有界 $K$-拟正则映射是可去的？
• RQ3 在 $K$-拟共形映射下，紧集的像的 $1$-维 Hausdorff 质量是否满足关于原集的 $\frac{2}{K+1}$-维质量的精确定量界？
• RQ4 能否通过在紧集外为共形的映射下的质量保持性质来刻画 $K$-拟共形映射下一般 Hausdorff 测度 $\mathcal{H}^{t}$ 的扭曲？
• RQ5 临界维度 $\frac{2}{K+1}$ 是否足以保证可去性，还是必须要求测度的 $\sigma$-有限性？

主要发现

• 即使仅具有 $\frac{2}{K+1}$-维的集合也不足够，具有 $\sigma$-有限 $\frac{2}{K+1}$-维 Hausdorff 测度的集合对于有界 $K$-拟正则映射仍是可去的。
• 建立了精确的定量界：对于任意 $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$。
• 对于在紧集 $E$ 外为共形且在无穷远处归一化的 $K$-拟共形映射 $h$，其 $1$-维 Hausdorff 质量保持至多一个常数倍：$\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$，但 $\mathcal{H}^{h'}(\phi(E)) \simeq 1$ 对于相关函数 $h'$ 成立，表明 $\sigma$-有限性对于可去性是必要的。
• 该构造证实，仅维度 $\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)$ 下仍为开放问题。