[論文レビュー] Metric properties of mean wiggly continua

Jacek Graczyk, Peter W. Jones+1 more|arXiv (Cornell University)|Mar 29, 2012

Holomorphic and Operator Theory参考文献 14被引用数 3

ひとこと要約

本稿は、小スケールにおける十分な回折（wiggly）性を有する連続体である平均的回折連続体（mean wiggly continua）の概念を導入し、$β$-数の積分推定を用いてハウスドルフ次元の下界を確立する。非一様な、平均に基づく条件へと一様な回折性に関する先行結果を拡張するため、制御された崩壊を示すボレル確率測度を構成する。

ABSTRACT

We study lower and upper bounds of the Hausdorff dimension for sets which are wiggly at scales of positive density. The main technical ingredient is a construction, for every continuum K, of a Borel probabilistic measure μwith the property that on every ball B(x,r), with x in K, the measure is bounded by a universal constant multiple of r\exp(-g(x,r)), where g(x,r) > 0 is an explicit function. The continuum K is mean wiggly at exactly those points x in K where g(x, r) has a logarithmic growth to infinity as r goes to 0. The theory of mean wiggly continua leads, via the product formula for dimensions, to new estimates of the Hausdorff dimension for Cantor sets. We prove also that asymptotically flat sets are of Hausdorff dimension 1 and that asymptotically non-porous continua are of the maximal dimension. Another application of the theory is geometric Bowen's dichotomy for Topological Collet-Eckmann maps in rational dynamics. In particular, mean wiggly continua are dynamically natural as they occur as Julia sets of quadratic polynomials for parameters from a generic set on the boundary of the Mandelbrot set.

研究の動機と目的

• 一様な回折性に基づく次元推定を非一様的で平均的な条件へ一般化すること。
• すべてのスケールにおける回折性に基づいて局所的質量の崩壊を制御する測度論的道具を開発すること。
• 正のスケール密度における振動的幾何を持つ連続体の鋭い次元推定を確立すること。
• 動的系、特にマンデルブロ集合の境界上にある二次多項式のジュリア集合への理論の応用。
• 漸近的に平坦な集合が次元1をもち、漸近的に非多孔質な連続体が最大次元に達することを証明すること。

提案手法

• 回折的部分集合 $Z \subset K$ 上にボレル確率測度 $\mu$ を構成し、すべての $x \in Z$, $r > 0$ に対して $\mu(B(x,r)) \leq c' r \exp(-c \int_r^{\mathrm{diam}\,K} \beta_K^2(x,t) \frac{dt}{t})$ が成り立つようにすること。
• $β$-数の積分に基づく測度の崩壊を制御するためのコロナ型分解技術を用いる。
• 平均的回折連続体を、$\liminf_{r \to 0} \frac{1}{-\log r} \int_r^{\mathrm{diam}\,K} \beta_K^2(x,t) \frac{dt}{t} > 0$ を満たすものとして定義する。
• ハウスドルフ次元の積分公式を用いてカントール集合の次元を推定する。
• 測度構成を用いて、平均的回折連続体が $\dim_H(K) > 1$ を満たすことを証明する。
• フレームワークを応用し、トポロジカル・コールェット＝エーケン地図における幾何的ボーウェンの二分法を証明し、$\partial\mathcal{M}$ 上のパラメータにおける二次多項式のジュリア集合が平均的回折的であることを示す。

実験結果

リサーチクエスチョン

• RQ1 スケール全体にわたる平均的な回折性を持つ連続体に対して、ハウスドルフ次元の下界を確立できるか？
• RQ2 $\beta_K^2(x,t)$ の積分と連続体のハウスドルフ次元との間の鋭い関係は何か？
• RQ3 平均的回折連続体の理論は、特にマンデルブロ集合の境界上にある複素動的系におけるジュリア集合に応用可能か？
• RQ4 漸近的に平坦な集合は必然的にハウスドルフ次元1をもち、漸近的に非多孔質な連続体は最大次元に達するか？
• RQ5 制御された崩壊を示す測度 $\mu$ の測度論的構成は、対応する連続体の幾何的構造とどのように関係するか？

主な発見

• 直径1の任意の連続体 $K$ に対して、$Z \subset K$ に含まれる回折的部分集合上に、すべての $x \in Z$, $r > 0$ に対して $\mu(B(x,r)) \leq c' r \exp(-c \int_r^{\mathrm{diam}\,K} \beta_K^2(x,t) \frac{dt}{t})$ を満たすボレル確率測度 $\mu$ が存在する。
• $\mathcal{H}^1(E) < \infty$ を満たす $K \setminus E$ のすべての $x$ に対して $\liminf_{r \to 0} \frac{1}{-\log r} \int_r^{\mathrm{diam}\,K} \beta_K^2(x,t) \frac{dt}{t} \geq \beta_0^2 > 0$ が成り立つならば、普遍定数 $c > 0$ を用いて $\dim_H(K) \geq 1 + c\beta_0^2$ が成り立つ。
• より弱い条件 $\liminf_{r \to 0} \frac{1}{-\log r} \int_r^{\mathrm{diam}\,K} \beta_K^2(x,t) \frac{dt}{t} > 0$ の下でも、次元推定は有効であり、$\dim_H(K) > 1$ を示す。
• 漸近的に平坦な集合はハウスドルフ次元が正確に1である。
• 漸近的に非多孔質な連続体は最大ハウスドルフ次元に達する。
• マンデルブロ集合の境界 $\partial\mathcal{M}$ 上のパラメータにおける二次多項式のジュリア集合は平均的回折的であり、したがって次元が1より大きい。これは、それらの動的自然性を確認する。