[論文レビュー] Geometric properties of the Markov and Lagrange spectra

Carlos Gustavo Moreira|arXiv (Cornell University)|Dec 17, 2016

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

ひとこと要約

本稿は、MarkovおよびLagrangeスぺクトルの任意の半直線 $(-\infty, t)$ との交差におけるHausdorff次元が同一であり、$[0,1]$ の任意の値を取ることを確立している。次に、次元関数 $d(t) = \mathrm{HD}(L \cap (-\infty, t))$ が $[0,1]$ に正しく連続的かつ非減少的であり、$d(t) = \min\{1, 2D(t)\}$ を満たすことを証明している。ここで $D(t)$ は $k(\alpha)$ 写像における前像のHausdorff次元を表す。

ABSTRACT

We prove several results on (fractal) geometric properties of the classical Markov and Lagrange spectra. In particular, we prove that the Hausdorff dimensions of intersections of both spectra with half-lines always coincide, and may assume any real value in the interval $[0, 1]$.

研究の動機と目的

• 3 と Freiman 定数 $c \approx 4.5278$ の間の古典的 Markov スペクトルおよび Lagrange スペクトルのフラクタル幾何的構造を調査すること。
• これらのスぺクトルが半直線 $(-\infty, t)$ と交差する際のHausdorff次元の挙動を特定すること。
• 次元関数 $d(t) = \mathrm{HD}(L \cap (-\infty, t))$ の連続性および値域に関する未解決問題を解明すること。
• Markov スペクトルと Lagrange スペクトルの幾何的および次元的性質の観点からそれらの関係を明確化すること。

提案手法

• 本稿は、双方向無限列 $\underline{\theta} \in \Sigma = (\mathbb{N}^*)^{\mathbb{Z}}$ 上の力学系フレームワークを用い、$f(\underline{\theta}) = \alpha_0 + \beta_0$ を定義する。ここで $\alpha_0$ および $\beta_0$ は連分数の尾部を表す。
• Lagrange スペクトルを $L = \{ \limsup_{n \to \infty} f(\sigma^n \underline{\theta}) \mid \underline{\theta} \in \Sigma \}$ と定義し、Markov スペクトルを $M = \{ \sup_{n \in \mathbb{Z}} f(\sigma^n \underline{\theta}) \mid \underline{\theta} \in \Sigma \}$ と定義し、これらを連分数展開に関連付ける。
• 主な技術的アプローチは、$k(\alpha)$ 関数の前像 $k^{-1}(-\infty, t)$ の分析であり、そのHausdorff次元 $D(t)$ をスぺクトル交差の次元と関連付けることにある。
• 特に Hall のレ ray および Freiman の $L$ および $M$ の最大の半直線に関する研究を含む、正則カントール集合およびその算術和に関する理論の結果を応用する。
• 有限連分数語における関数 $s(\alpha) = 1/(q_n(q_n + q_{n-1}))$ の性質に関する補題を用いて、距離の評価と次元推定を行う。
• 関数 $d(t)$ の Hölder 不連続性の証明には、部分商が有界で、歪みが制御された連分数語の列を構成し、部分商の有界性を用いて $|x - y|$ の下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 Markov スペクトルおよび Lagrange スペクトルが半直線 $(-\infty, t)$ と交差する際のHausdorff次元は、すべての $t$ に対して一致するか？
• RQ2 関数 $d(t) = \mathrm{HD}(L \cap (-\infty, t))$ は $[0,1]$ の任意の値を取ることができるか？
• RQ3 次元関数 $d(t)$ は連続的かつ非減少的であり、$\sqrt{12}$ よりも前に値 1 をとるのか？
• RQ4 $d(t)$ は Hölder 連続的関数であるか、それとも特異的挙動を示すのか？
• RQ5 $d(t)$ と次元 $D(t) = \mathrm{HD}(k^{-1}(-\infty, t))$ の関係は何か？

主な発見

• すべての $t \in \mathbb{R}$ に対して、$L \cap (-\infty, t)$ および $M \cap (-\infty, t)$ のHausdorff次元は一致し、共通の値を $d(t)$ と表す。
• 関数 $d(t)$ は $\mathbb{R}$ から $[0,1]$ への連続的かつ非減少的かつ全射であり、$d(t) = \min\{1, 2D(t)\}$ を満たす。
• $d(t)$ は、$L \cap (-\infty, t_1]$ の補集合の連結成分上で定数であり、ここで $t_1 = \min\{t \in \mathbb{R} \mid d(t) = 1\} < \sqrt{12}$ である。これはカントール型の構造を示唆する。
• ある $\delta > 0$ が存在し、$d(\sqrt{12} - \delta) = 1$ である。これは次元が $\sqrt{12}$ よりも前に 1 に達することを示している。
• 部分商が有界で歪みが制御された連分数語の列を用いた背理法により、$d(t)$ は Hölder 連続的でないことが示された。
• $L \cap (-\infty, t_1]$ はコンパクトであり、Lebesgue測度は 0 で、内部は空であるが、$t_1$ において次元が 1 に達している。