[論文レビュー] Bypassing dynamical systems : A simple way to get the box-counting dimension of the graph of the Weierstrass function

Claire David|arXiv (Cornell University)|Nov 26, 2017

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

ひとこと要約

本稿では、力学系理論に依存せずに、ワイエルシュトラス関数のグラフのボックス次元を計算する、新規で素朴な手法を提示する。近似グラフの列を構築し、関数の増分に関するホルダー型推定を導出することで、著者たちは直接的にボックス次元が $ D_{\mathcal{W}} = 2 + \frac{\ln \lambda}{\ln b} $ であることを確立する。これは、フラクタル幾何学における長年の問題に対して、自己完結的でアクセスしやすい導出を提供する。

ABSTRACT

In the following, bypassing dynamical systems tools, we propose a simple means of computing the box dimension of the graph of the classical Weierstrass function defined, for any real number~$x$, by~$ {\\cal W}(x)=\\displaystyle \\sum_{n=0}^{+\\infty} \\lambda^n\\,\\cos \\left ( 2\\, \\pi\\,N_b^n\\,x \ ight) $, where~$\\lambda$ and~$N_b$ are two real numbers such that~\\mbox{$0 <\\lambda<1$},~\\mbox{$ N_b\\,\\in\\,\\N$} and~$ \\lambda\\,N_b > 1 $, using a sequence a graphs that approximate the studied one.

研究の動機と目的

• 力学系理論の高度な道具を用いずに、ワイエルシュトラス関数のグラフのボックス次元を直接的かつ素朴に導出すること。
• 先行の証明で用いられるリャプノフ次元、安定・不安定多様体、複雑な測度論的道具の必要性を回避すること。
• 基本的な解析学と近似技法のみを用いることで、ボックス次元の計算をより広い読者にアクセス可能にする。
• 次元の公式を直接示すホルダー型推定を関数の増分に対して明示すること。
• 2ページの自己完結的議論を通じて、予想された次元 $ D_{\mathcal{W}} = 2 + \frac{\ln \lambda}{\ln b} $ を検証すること。

提案手法

• 本手法は、単位正方形上での $ C^\infty $ な収縮写像からなる反復関数系を用いて、ワイエルシュトラス関数を近似する区分線形グラフの列を構築する。
• 近似グラフ上の点をより細かいスケールのセグメントへ写像する写像族 $ T_{\mathcal{M}} $ を定義し、フラクタル構造を保存する。
• 鍵となるステップは、長さ $ L_m = (N_b - 1)^{-m} $ の小さな区間における関数の垂直変動 $ |h_{j,m}| $ の推定であり、これが $ L_m^{2 - D_{\mathcal{W}}} $ のスケーリングに従うことを示す。
• 余弦項の幾何学的および三角関数的推定を用いて、ホルダー型不等式 $ |\mathcal{W}(x_1) - \mathcal{W}(x_2)| \lesssim |x_1 - x_2|^{2 - D_{\mathcal{W}}} $ を導出する。
• ワイエルシュトラス関数の周期性と整数基数 $ N_b $ に起因する自己相似構造を活用し、ダイアディックな区間の有限和への問題の還元を行う。
• 最終的な次元結果は、関数の増分のスケーリング挙動から導かれ、標準的なフラクタル次元理論を用いてホルダー指数とボックス次元を直接結びつける。

実験結果

リサーチクエスチョン

• RQ1 ワイエルシュトラス関数のグラフのボックス次元は、リャプノフ指数や不変測度といった力学系の道具を用いずに計算可能か？
• RQ2 複雑な解析学や測度論を避けて、次元 $ D_{\mathcal{W}} = 2 + \frac{\ln \lambda}{\ln b} $ のより単純でアクセスしやすい導出が可能か？
• RQ3 小さな区間における関数の増分に対する直接的推定から、次元が回復可能か？
• RQ4 反復関数系に基づく自己相似的近似スキームは、グラフの複雑さの正しいスケーリング挙動をもたらすか？
• RQ5 三角級数と幾何的構成に対する素朴な推定のみを用いて、予想された次元を検証可能か？

主な発見

• ワイエルシュトラス関数のグラフのボックス次元は正確に $ D_{\mathcal{W}} = 2 + \frac{\ln \lambda}{\ln b} $ であり、マンデルブロの予想を裏付ける。
• 関数は鋭いホルダー型推定を満たす：すべての $ x_1, x_2 \in [0,1] $ に対して $ C_{\text{inf}} |x_1 - x_2|^{2 - D_{\mathcal{W}}} \leq |\mathcal{W}(x_1) - \mathcal{W}(x_2)| \leq C_{\text{sup}} |x_1 - x_2|^{2 - D_{\mathcal{W}}} $ が成り立ち、正の定数 $ C_{\text{inf}}, C_{\text{sup}} $ が存在する。
• 証明は自己完結的であり、力学系理論やフラクタル幾何学の高度な道具を一切用いない、基本的な実解析のみを要する。
• 本手法は収縮写像からなる反復関数系を用いて近似グラフの列を構築し、局所的変動を精密に制御可能である。
• 長さ $ L_m = (N_b - 1)^{-m} $ の区間における垂直変動は $ L_m^{2 - D_{\mathcal{W}}} $ のスケーリングに従い、スケーリング指数と次元を直接結びつける。
• 結果はわずか2ページで得られ、リードラッピエ＝ヤング理論や複素平面におけるフーリエ解析といった複雑な道具を必要としていた先行の証明を著しく簡略化する。