[論文レビュー] Coincidence and noncoincidence of dimensions in compact subsets of $[0,1]$

A. R. Mitchell, L. Olsen|arXiv (Cornell University)|Dec 22, 2018

Mathematical Dynamics and Fractals参考文献 14被引用数 5

ひとこと要約

本稿では、$[0,1]$ のコンパクト部分集合を構成し、その6つのフラクタル次元——ハウスドルフ次元、下位修正ボックス次元、パッキング次元、下位ボックス次元、上位ボックス次元、アッソウド次元——を、既知の理論的不等式の範囲内で、互いに独立して任意に指定できるようにしている。構成は、それぞれ異なる次元的性質を寄与するように設計された4つの集合の和集合を用い、それぞれの次元において正かつ有限なハウスドルフ測度およびパッキング測度を持つことを保証している。

ABSTRACT

We show that given any six numbers $r,s,t,u,v,w \in (0,1]$ satisfying $r \leq s \leq \min(t,u) \leq \max(t,u) \leq v \leq w$, it is possible to construct a compact subset of $[0,1]$ with Hausdorff dimension equal to $r$, lower modified box dimension equal to $s$, packing dimension equal to $t$, lower box dimension equal to $u$, upper box dimension equal to $v$ and Assouad dimension equal to $w$. Moreover, the set constructed is an $r$-Hausdorff set and a $t$-packing set.

研究の動機と目的

• コンパクト部分集合 $[0,1]$ 内で、6つの標準的フラクタル次元が、既知の次元的不等式の範囲内で、互いに独立して実現可能であることを示すこと。
• 特に下位修正ボックス次元とアッソウド次元を含む、次元の差異の全範囲が同時に達成可能かどうかという問題を解決すること。
• 構成された集合が、それぞれの次元において正かつ有限なハウスドルフ測度およびパッキング測度を持つことを保証し、それが $r$-ハウスドルフおよび $t$-パッキング集合であることを確認すること。
• この構成を高次元空間に拡張し、$ \mathbb{R}^d$ においても同様の次元制御が可能であることを示すこと。
• ヒューイット＝ストロムバーグ測度および一様性の性質を調査し、開集合上で一様な局所次元の性質を満たさないことを示すこと。

提案手法

• 4つの互いに素な部分集合 $C$, $D$, $E$, $F$ の和集合として $X = C \cup D \cup E \cup F$ を構成し、それぞれが特定の次元値を寄与するように設計する。
• 反復的関数系（IFS）と制御されたスケーリングを用いた再帰的構成により、各成分に正確な次元値を割り当てる：$C$ はハウスドルフ次元および下位修正ボックス次元を制御し、$F$ はパッキング次元およびアッソウド次元を制御する。
• ハウスドルフ、パッキング、上位ボックス、アッソウド次元の有限和における安定性を活用し、下位ボックス次元の安定性は、幾何的配置を注意深く制御することで確保する。
• 既知の測度論的特徴づけを適用する：例えば $\underline{\dim}_{\text{MB}}X = \sup\{\alpha : \mathcal{U}^\alpha(X) = \infty\}$ を用い、測度による次元制御の妥当性を検証する。
• 1次元の構成を $ \mathbb{R}^d$ に適応する際には、単位区間を単位 $d$-立方体に置き換え、収縮写像もそれに合わせて修正する。
• 次元関数および測度の性質の有限安定性を用いて、全集合 $X$ の全体的な次元および測度の値を導出する。

実験結果

リサーチクエスチョン

• RQ1 Hausdorff、下位修正ボックス、パッキング、下位ボックス、上位ボックス、アッソウド次元の6つのフラクタル次元を、既知の次元的不等式の範囲内で、$[0,1]$ の1つのコンパクト部分集合に対して、互いに独立して割り当てることは可能か？
• RQ2 次元が等しくない場合でも、それぞれの次元において正かつ有限なハウスドルフ測度およびパッキング測度を持つ集合を構成することは可能か？
• RQ3 下位修正ボックス次元とアッソウド次元は、このような構成において互いに独立に動作するのか？他の次元とは独立に設定可能か？
• RQ4 この構成を高次元空間 $ \mathbb{R}^d$ に一般化でき、6つの次元すべてに対して完全な制御を維持できるか？
• RQ5 ヒューイット＝ストロムバーグ測度 $\mathcal{U}^\alpha$ および $\mathcal{V}^\alpha$ は、臨界次元において有限または無限の値をとるか？また、パッキング次元および下位修正ボックス次元とどのように関係するか？

主な発見

• 任意の6つの数 $r,s,t,u,v,w \in (0,1]$ に対して、$r \leq s \leq \min(t,u) \leq \max(t,u) \leq v \leq w$ を満たす場合、$\dim_{\text{H}}X = r$, $\underline{\dim}_{\text{MB}}X = s$, $\dim_{\text{P}}X = t$, $\underline{\dim}_{\text{B}}X = u$, $\overline{\dim}_{\text{B}}X = v$, $\dim_{\text{A}}X = w$ を満たすコンパクト部分集合 $X \subseteq [0,1]$ が存在する。
• 構成された集合 $X$ は $r$-ハウスドルフ集合である。すなわち $\mathcal{H}^r(X) \in (0,\infty)$ であり、$t$-パッキング集合である。すなわち $\mathcal{P}^t(X) \in (0,\infty)$ であり、それぞれの次元において非自明な測度を持つことを保証する。
• 下位修正ボックス次元 $\underline{\dim}_{\text{MB}}X = s$ は成分 $F$ を通じて達成され、アッソウド次元 $\dim_{\text{A}}X = w$ は成分 $E$ によって制御されており、他の次元とは独立に実現されていることが示された。
• 集合 $X$ は一様に均質ではない：ある開集合 $U$ に対して $\underline{\dim}_{\text{MB}}(X \cap U) \neq \underline{\dim}_{\text{B}}(X \cap U)$ であるため、ニルソンとウィングレンの構成における局所次元定数性を満たさない。
• 下位ヒューイット＝ストロムバーグ測度 $\mathcal{U}^s(X)$ は、$s = r$ の場合にのみ正かつ有限であり、それ以外の場合は $\mathcal{U}^s(X) = 0$ である。これはハウスドルフ次元に厳密に依存していることを示している。
• 上位ヒューイット＝ストロムバーグ測度 $\mathcal{V}^t(X)$ は正かつ有限であり、$X$ が $t$-上位ヒューイット＝ストロムバーグ集合であることを確認している。$\mathcal{V}^t(X) < \infty$ かつ $\mathcal{V}^t(C) > 0$ である。