[論文レビュー] 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

ひとこと要約

本稿は、有界な $K$-準正則写像の再構成可能性について、$\sigma$-有限な Hausdorff $\frac{2}{K+1}$-測度を持つ集合が再構成可能であることを示すことによって、改善された再構成可能性条件を確立している。これは、次元 $\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 > 1$ の $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}}$ が成り立つ。
• 強力なコンテンツ保存性を確立：$K$-準正則写像 $h$ がコンパクト集合 $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}$-測度の振る舞いを、補間と Riesz 容量推定を用いて分析するが、$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$-有限性が要求されるか？

主な発見

• $\sigma$-有限な $\frac{2}{K+1}$-次元 Hausdorff 測度を持つ集合は、有界な $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$-準正則写像 $h$ がコンパクト集合 $E$ の外部で正則であり、無限遠点で正規化されているとき、$1$-次元 Hausdorff コンテンツは定数倍の範囲で保存される：$\mathcal{M}^{1}(h(E)) \leq C_K \mathcal{M}^{1}(E)$。
• $\dim(E) = \frac{2}{K+1}$ かつ $\mathcal{H}^{h}(E) \simeq 1$（適切な測度関数 $h(t) = t\eta(t)$）であるが、関連する $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)$ に対しては未解決のままである。