[論文レビュー] Parabolic Iterated Function Systems with Applications to the Backward Continued Fractions

Andrei E. Ghenciu|ArXiv.org|Nov 8, 2007

Advanced Mathematical Modeling in Engineering参考文献 5被引用数 8

ひとこと要約

本稿は、双曲的でないパラボリックな反復関数系（IFS）を構成することで、後退連分数（BCF）系におけるテキサント予想を確立した。このパラボリックIFSの極限集合のハウスドルフ次元は1である。関連する双曲的IFSと、圧力および歪度の詳細な解析を用いて、任意の $ t \in [0,1] $ に対して、ハウスドルフ次元がちょうど $ t $ である部分系が存在することを証明し、BCF系における完全なHDスペクトルを確認した。

ABSTRACT

To the Renyi or backward continued fraction transformation we associate a parabolic iterated function system whose limit set has Hausdorff dimension 1. We show that the Texan Conjecture holds, i.e. for every t in1] there exists a subsystem whose limit set has Hausdorff dimension t

研究の動機と目的

• 後退連分数（BCF）系におけるテキサント予想を解決すること。この予想は、任意の $ t \in [0,1] $ が、ある部分系のハウスドルフ次元として実現可能であるというものである。
• BCF変換に対応するパラボリックIFSを構成すること。これは、包あふれの固定点を有するため、標準的な双曲的IFSよりも複雑である。
• BCF IFSの任意の部分系が、任意の所望のハウスドルフ次元 $ t \in [0,1] $ を達成できるように正則化可能であることを確立すること。
• 元のパラボリックIFSの関連する双曲的IFS $ S^* $ が、極限集合を可算集合の差異を除いて保存することを示し、双曲的技法による解析を可能にする。

提案手法

• 後退連分数写像からパラボリックIFSを構成し、開集合条件、有界歪度、コーン条件を満たすようにする。
• パラボリックな $ i $ および $ i \neq j $ の場合に、写像 $ \varphi_{i^n j} $ によって生成される関連する双曲的IFS $ S^* $ を用いて、双曲的圧力理論により極限集合を解析する。
• トポロジカル圧力およびファイニットネスパrameter解析を適用し、$ \lambda_A(t) = e^{P_A(t)} $ の推定値を得る。この際、導関数 $ \| \varphi_\omega' \| $ の境界を用いる。
• 不等式を用いて歪度を制御し、語全体にわたる導関数比の均一な境界を保証する。
• Mathematicaを用いた数値計算により、特に $ b \leq 5 $ の有限部分系の次元境界を検証する。
• 不等式 $ \dim_H(J_{A \cup \{b\}}) \leq \dim_H(J_{A \cup \{b+1, b+2, \ldots\}}) $ を証明し、次元補間を可能にする。

実験結果

リサーチクエスチョン

• RQ1 任意の $ t \in [0,1] $ が、後退連分数系の部分系のハウスドルフ次元として実現可能か？
• RQ2 一部の共形的IFSで完全スペクトルが成立しないことを踏まえ、パラボリックIFSに対してもテキサント予想を拡張可能か？
• RQ3 関連する双曲的IFS $ S^* $ は、元のパラボリックIFSの極限集合および次元に関してどのように関係しているか？
• RQ4 パラボリックIFSが完全HDスペクトルを有するための条件は何か？また、圧力および歪度推定を用いてどのように証明可能か？
• RQ5 数値的検証と解析的境界の組み合わせにより、有限部分系における完全次元スペクトルを確認可能か？

主な発見

• 後退連分数系は完全なハウスドルフ次元スペクトルを有する。すなわち、任意の $ t \in [0,1] $ に対して、$ \dim_H(J_A) = t $ を満たす部分系が存在する。
• BCF系に対応するパラボリックIFSは、すべての必要条件を満たす：開集合条件、有界歪度、コーン条件、および直径が収縮するパラボリック固定点。
• $ b > 5 $ の場合、$ t = 1 $ のとき、不等式 $ \sum_{n \geq 0} [2(n+2)(b-1)]^{-2t} \leq \sum_{n \geq 0, j \geq b+1} [(n+2)(b-3/2)]^{-2t} $ が成り立つ。これは完全スペクトルの支持となる。
• Mathematicaを用いた数値的検証により、$ \dim_H(J_{\{2,3,4,5\}}) < 1.995/2 $ が確認され、他の有限部分系に対しても同様の境界が得られ、次元補間の支持が得られた。
• すべての有限 $ A \subset \{2,3,4,\ldots\} $ に対して、不等式 $ \dim_H(J_{A \cup \{b\}}) \leq \dim_H(J_{A \cup \{b+1, b+2, \ldots\}}) $ が成り立つ。これにより、次元の稠密な近似が可能である。
• 完全次元1を有するが、次元が $ (0.95, 0.97) $ の部分系を含まない系の反例が構成された。これは、完全スペクトルが一般には成立しないことを示している。