[論文レビュー] Moreira's Theorem on the arithmetic sum of dynamically defined Cantor sets

Pablo Shmerkin|ArXiv.org|Jul 23, 2008

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

ひとこと要約

本稿は、実直線上の2つの動的に定義されたカントール集合の算術的和に関するモアイラの定理の完全かつ修正済みの証明を提供する。弱い$C^2$条件—具体的には、写像の合成の2階微分が消えないことと、縮小率の対数比が可換でないこと—の下で、和集合のハウスドルフ次元は、個々の次元の和と1の最小値に等しい。

ABSTRACT

We present a complete proof of a theorem of C.G. Moreira. Under mild checkable conditions, the theorem asserts that the Hausdorff dimension of the arithmetic sum of two dynamically defined Cantor subsets of the real line, equals either the sum of the dimensions or 1, whichever is smaller.

研究の動機と目的

• モアイラの定理—2つの動的に定義されたカントール集合の算術的和の次元に関するもの—の厳密かつ完全な証明を提供し、[Mor98]における元の証明の誤りを是正すること。
• 一般の$C^2$条件下で、和集合$K^1 + K^2$のハウスドルフ次元が、ちょうど$\min(\dim_H(K^1) + \dim_H(K^2), 1)$に等しいことを確立すること。
• 中心的な仮定—写像の合成の2階微分が消えないこと、および縮小率の対数比が可換でないこと—が、両方とも必要かつ実際の応用で検証可能であることを示すこと。
• 結果の適用範囲を、一般または測度論的設定にとどまらず、明示的に構成可能な具体的なカントール集合のペアへと拡張すること。
• 今後の幾何測度論や力学系における問題に役立つフレームワークを提供すること、特に、ほとんど everywhere の結果では不十分な状況に有用であることを目的とする。

提案手法

• 正則なカントール集合$K^1$および$K^2$を、$C^2$反復関数系（i.f.s.）によって吸引子として定義し、微分解析に十分な滑らかさを保証すること。
• アフィン共役による摂動技法を用いて、問題を写像が恒等写像に近いモデルに還元し、歪みを制御可能にする。
• 積空間上の組み合わせ的議論を用いて、スケーリングおよび平行移動されたシリンダーセットの互いに素な族を構成すること。
• 写像$\Pi_\lambda(x,y) = x + \lambda y$を用いた射影の議論を適用し、$\lambda$の全集合に対して射影の次元が下から有界であることを示すこと。
• 無理数性による$\log r_1 / \log r_2$の性質により、スケーリング要因$r_2^l / r_1^k$が$\mathbb{R}^*$で稠密であることを用い、線形写像から一般の$C^2$写像への結果の拡張を行う。
• 次元が小規模な$C^1$摂動に対して安定であり、次元が上半連続であることを利用し、摂動された写像から元の写像へと次元を移行すること。

実験結果

リサーチクエスチョン

• RQ1 2つの動的に定義されたカントール集合の算術的和のハウスドルフ次元が、個々の次元の和と1の最小値に等しくなる条件は何か？
• RQ2 すべての$\lambda \in \mathbb{R}^*$に対して、和集合の次元が一様に下から有界に保たれるか？その条件は何か？
• RQ3 写像の合成の2階微分が消えないという条件が、次元の低下を防ぐために果たす役割は何か？
• RQ4 対数的縮小率の可換でない性質が、和集合の次元に与える影響は何か？
• RQ5 線形写像から一般の$C^2$写像へと結果を拡張しても、次元の公式は保存されるか？

主な発見

• 与えられた$C^2$条件下で、算術的和$K^1 + K^2$のハウスドルフ次元は、ちょうど$\min(\dim_H(K^1) + \dim_H(K^2), 1)$に等しくなる。これは、幾何測度論における長年の予想を解決する。
• $\left(f^1_i \circ (f^1_j)^{-1}\right)''(x_0) \neq 0$（ある$i,j$および$x_0 \in K^1$に対して）という条件は、次元の低下を防ぐのに十分な非線形性を保証する。
• $\log |(f^1_{l_1})'(y_1)| / \log |(f^2_{l_2})'(y_2)| \notin \mathbb{Q}$という条件は、スケーリング要因が非可換であることを保証し、臨界状況での次元が最大になるために不可欠である。
• 結果は$\mathbb{R}^*$のすべての$\lambda$に対して成り立つ。これは、通常の「ほとんど至る所」の結果を超えて、より強い結果を示している。
• 摂動により写像を恒等写像に近づけ、互いに素な像の組み合わせ的構成を用いる証明技法は、頑健であり、次元論における他の問題への応用が可能である可能性がある。
• 元の証明[Mor98]には誤りが含まれていたが、本稿で提示された修正版は完全で自己完結的であり、すべての技術的ステップが検証済みである。