[論文レビュー] Fractal curvatures and Minkowski content of self-conformal sets

Tilman Johannes Bohl|arXiv (Cornell University)|Nov 14, 2012

Mathematical Dynamics and Fractals参考文献 7被引用数 8

ひとこと要約

本稿は、自己同型的集合に対して、最小限の仮定のもとで、Cesàro平均を用いたスケーリングされた幾何測度の平行集合の解析を通じて、一般の自己同形的集合におけるフラクタル曲率およびミンコフスキー内容の存在と収束を確立する。主な貢献は、エルゴディック理論を用いたフレームワークを確立し、自己相似的集合から自己同形的集合へと結果を拡張することであり、開集合条件とやや強い正則性仮定のみを必要とする。

ABSTRACT

For self-similar fractals, the Minkowski content and fractal curvature have been introduced as a suitable limit of the geometric characteristics of its parallel sets, i.e., of uniformly thin coatings of the fractal. For some self-conformal sets, the surface and Minkowski contents are known to exist. Conformal iterated function systems are more flexible models than similarities. This work unifies and extends such results to general self-conformal sets in R^d. We prove the rescaled volume, surface area, and curvature of parallel sets converge in a Cesaro average sense of the limit. Fractal Lipschitz-Killing curvature-direction measures localize these limits to pairs consisting of a base point in the fractal and any of its normal directions. There is an integral formula. We assume only the popular Open Set Condition for the first-order geometry, and remove numerous geometric assumptions. For curvatures, we also assume regularity of the Euclidean distance function to the fractal if the ambient dimension exceeds three, and a uniform integrability condition to bound the curvature on "overlap sets". A limited converse shows the integrability condition is sharp. We discuss simpler, sufficient conditions. The main tools are from ergodic theory. Of independent interest is a multiplicative ergodic theorem: The distortion, how much an iterate of the conformal iterated function system deviates from its linearization, converges.

研究の動機と目的

• 自己相似的集合から自己同形的集合へのフラクタル曲率およびミンコフスキー内容の理論を一般化すること。
• 平行集合のスケーリングされた体積、表面積、曲率測度のCesàro平均的収束を確立すること。
• 幾何測度論を用いて、自己同形的集合のためのフラクタル曲率方向測度を定義し、局所化すること。
• 幾つかの幾何的仮定を最小限に抑え、開集合条件と曲率の重なり領域における一様可積分性条件のみに依存すること。
• 自己同形的写像の反復系における乗法的エルゴディック定理を証明し、反復による歪みの収束を示すこと。

提案手法

• 平行集合 $F_r$ の振動するスケーリングされた幾何測度を安定化させるために、$r \in [\epsilon,1]$ の対数的スケールにおけるCesàro平均を用いる。
• 熱力学的形式主義を適用して、ミンコフスキー次元 $D$ を決定し、共形確率測度 $\mu$ を構成する。
• エルゴディック理論と乗法的エルゴディック定理を用いて、反復された共形写像の歪みを分析する。
• フラクタル曲率方向測度を、$r^{D-k}$ で正規化された $F_r$ のリップシッツ＝キリング曲率測度の弱極限として定義する。
• 等連続関数列における測度平均の収束を扱うために、ベクトルトーペリッツ定理を導入する。
• 幾つかの滑らかでない境界や複数の法線方向を持つ集合に対し、幾何測度論を用いて曲率方向測度を定義する。

実験結果

リサーチクエスチョン

• RQ1 自己同形的集合のフラクタル曲率およびミンコフスキー内容が、平行集合測度のCesàro平均的極限として存在するための最小限の条件は何か？
• RQ2 フラクタル曲率方向測度は、自己同形的集合上の点のペアおよび法線方向にどのように局所化できるか？
• RQ3 開集合条件は、自己同形的集合における幾何的平均の収束を保証するために果たす役割は何か？
• RQ4 ユークリッド距離関数の正則性は、$d > 3$ の埋め込み次元において曲率収束にどのように影響するか？
• RQ5 重なり領域における曲率の均一可積分性条件は必要不可欠であり、弱めることが可能か？

主な発見

• 開集合条件のもとで、平行集合のスケーリングされたレベーグ測度の弱極限としての局所化平均ミンコフスキー内容 $C_d^{\text{frac}}(F, \cdot)$ が存在する。
• 距離関数が正則で、重なり領域における曲率が一様可積分である限り、すべての $0 \leq k < d$ に対してフラクタル曲率方向測度 $C_k^{\text{frac}}(F, \cdot)$ がCesàro平均的収束を示す。
• 反復された共形写像の歪みがほとんど everywhere で収束することを示す乗法的エルゴディック定理を用いて、収束が確立される。
• 一様可積分性条件は、限定的な逆方向の結果により、鋭いものであることが示され、収束を失うことなく除去できない。
• $k = d$（体積）および $k = d-1$（表面積）の場合、より弱い仮定のもとで収束が成立し、後者は以前は自己相似的集合でのみ知られていた。
• 積分公式により、フラクタル曲率測度が記号的空間上の平均として表現され、不変測度 $\mu$ およびIFSの力学と関連づけられる。