[論文レビュー] Fractality and Lapidus zeta functions at infinity

Goran Radunović|arXiv (Cornell University)|Oct 21, 2015

Mathematical Dynamics and Fractals参考文献 9被引用数 3

ひとこと要約

この論文は、有限のLebesgue測度を持つ非有界集合に対して、無限大におけるミンコフスキー次元および内容の概念を導入し、そのフラクタル的性質を分析するための新しいクラスのLapidusゼータ関数を定義する。本研究では、ゼータ関数の収束の横座標が無限大における上位ボックス次元に等しいことを確立し、特に非実数の複素次元がフラクタル性を示すことを示している。たとえば、次元が $\log_{1/a}2 - (b+1)$ で、複素次元が $\{-(b+1)\} \cup \left(\log_{1/a}2 - (b+1) + \frac{2\pi}{\log(1/a)}\mathbb{Z}i\right)$ であるカントール型集合の例が提示されている。

ABSTRACT

We study fractality of unbounded sets of finite Lebesgue measure at infinity by introducing the notions of Minkowski dimension and content at infinity. We also introduce the Lapidus zeta function at infinity, study its properties and demonstrate its use in analysis of fractal properties of unbounded sets at infinity.

研究の動機と目的

• 無限大における相対フラクタルドラム理論を非有界集合へと拡張し、無限大を基準集合として考える。
• 有限のLebesgue測度を持つ非有界可測集合に対して、無限大におけるミンコフスキー次元および内容を定義する。
• 無限大におけるLapidusゼータ関数を導入し、非有界集合のフラクタル的性質を検出する解析的ツールとして研究する。
• 非実数の複素次元が無限大においてフラクタル的揺動を示すことを証明し、有界な場合と類似した性質を示す。
• 2パラメータのカントール型非有界集合の具体的な例を提示し、そのフラクタル次元および複素次元を明示的に計算する。

提案手法

• 非有界集合 $\Omega$ の外側に位置する部分の測度を表す、無限大におけるチューブ関数を $|B_t(0)^c \cap \Omega|$ として定義する（$t \to \infty$）。
• 無限大における上位および下位 $r$-次元ミンコフスキー内容を、$t \to \infty$ のときの $|B_t(0)^c \cap \Omega| / t^{N+r}$ の $\limsup$ および $\liminf$ を用いて定義する。
• 無限大における上位および下位ボックス次元を、ミンコフスキー内容が $+\infty$ から $0$ に遷移する臨界指数 $D$ として定義する。
• 無限大におけるLapidusゼータ関数を $\zeta_{\infty,\Omega}(s) = \int_\Omega |x|^{-s-N} \, dx$ として定義し、$\operatorname{Re} s > \overline{\dim}_B(\infty,\Omega)$ で収束する。
• ゼータ関数の収束横座標を用いて、無限大における上位ボックス次元を同定する。
• 2パラメータのカントール型集合 $\Omega_\infty^{(a,b)}$ に理論を適用し、そのゼータ関数および複素次元を明示的に計算する。

実験結果

リサーチクエスチョン

• RQ1 非有界集合における次元や内容といったフラクタル的性質は、どのように無限大で定義できるか？
• RQ2 無限大におけるLapidusゼータ関数は、非有界集合のフラクタル幾何を特徴付ける上で果たす役割は何か？
• RQ3 非実数の複素次元が無限大において、有界な場合と類似したフラクタル的揺動を示すことは可能か？
• RQ4 2進の円環を用いて構成されたカントール型非有界集合のボックス次元および複素次元構造は何か？
• RQ5 ノルムの選択（例：$|\cdot|_\infty$）は、ゼータ関数およびそのメロモルフィック拡張にどのように影響するか？

主な発見

• 無限大におけるLapidusゼータ関数の収束横座標は、上位ボックス次元に等しい：$D(\zeta_{\infty,\Omega}) = \overline{\dim}_B(\infty,\Omega)$。
• 2パラメータの集合 $\Omega_\infty^{(a,b)}$ に対して、無限大における上位ボックス次元は $\log_{1/a}2 - (b+1)$ である。
• 集合 $\Omega_\infty^{(a,b)}$ に対する無限大におけるLapidusゼータ関数は、$\mathbb{C}$ 上でメロモルフィックであり、$\zeta_{\infty,\Omega}(s) = \frac{1}{s+b+1} \cdot \frac{1}{a^{-(s+b+1)} - 2}$ で与えられる。
• 無限大における $\Omega_\infty^{(a,b)}$ の複素次元の集合は、$\{\operatorname{Re} s > \log_{1/a}2 - b - 3\}$ の範囲で $\{-(b+1)\} \cup \left(\log_{1/a}2 - (b+1) + \frac{2\pi}{\log(1/a)}\mathbb{Z}i\right)$ に可視化される。
• 非実数の複素次元の存在は、$\Omega_\infty^{(a,b)}$ が無限大においてフラクタル的であることを確認し、標準的なカントール集合と類似した揺動的挙動を示す。
• ミンコフスキー内容は、$r > \log_{1/a}2 - (b+1)$ のとき $0$ であり、$r < \log_{1/a}2 - (b+1)$ のとき $+\infty$ であるため、ボックス次元が臨界的役割を果たしていることが確認される。