[論文レビュー] Natural extensions and Gauss measures for piecewise homographic continued fractions

Pierre Arnoux, Thomas Schmidt|arXiv (Cornell University)|Sep 16, 2017

Mathematical Dynamics and Fractals参考文献 22被引用数 4

ひとこと要約

本稿では、$I \times \mathbb{R}^d$ 上のスカラーファクター付き積分系（skew product system）を用いて、部分的ホモグラフィックな連分数写像の絶対連続不変測度（ガウス測度）および自然拡張を明示的に構成するヒューリスティックな手法を導入する。パラメータ化された反復関数系（pIFS）を構築し、その吸引集合がLebesgue測度を支持するようにすることで、$I$ 上の周辺測度が望ましい不変密度を与える。既知の結果（例：標準ガウス測度）を回復するとともに、高次元および非ユニモジュラーな場合へと拡張する。

ABSTRACT

We give a heuristic method to solve explicitly for an absolutely continuous invariant measure for a piecewise differentiable, expanding map of a compact subset $I$ of Euclidean space $R^d$. The method consists of constructing a skew product family of maps on $I imes R^d$, which has an attractor. Lebesgue measure is invariant for the skew product family restricted to this attractor. Under reasonable measure theoretic conditions, integration over the fibers gives the desired measure on $I$. Furthermore, the attractor system is then the natural extension of the original map with this measure. We illustrate this method by relating it to various results in the literature.

研究の動機と目的

• コンパクトな$\mathbb{R}^d$ の部分集合上での拡張的で、計算的にアクセス可能な部分的微分可能写像の絶対連続不変測度を構成する一般化された方法を開発すること。
• 連分数写像の自然拡張と、Lebesgue測度を保存するスカラーファクター付き積分系における吸引集合との間の体系的関係を確立すること。
• ムービング変換に基づく幾何学的・力学的構成により、標準ガウス測度など既知のガウス測度を回復すること。
• $\mathrm{SL}(2,\mathbb{Z})$ を超えて、非ユニモジュラーおよび方向反転写像（例：$\alpha$-連分数、Hei-Chi Chanの写像）を含む枠組みへの拡張を図ること。
• スカラーファクター付き写像の軌道図を用いて、不変密度および自然拡張の境界構造を視覚的かつ計算的に特定する道筋を提供すること。

提案手法

• 行列$M \in \mathrm{SL}(2,\mathbb{R})$ を用いたムービング変換により、$I \times \mathbb{R}^d$ 上のスカラーファクター付き写像$\widetilde{T}_M$ を定義する。$(x,y) \mapsto (M \cdot x, (cx + d)^2 y - c(cx + d))$ であり、ヤコビアン行列式が1であるため、Lebesgue測度を保存する。
• 元の写像の各分岐に対応するスカラーファクター付き写像を関連づけ、$I \times \mathbb{R}^d$ 上にパラメータ化された反復関数系（pIFS）を定義する。これは、定義域の分割にインデックスが付いた写像族として構成される。
• $(cx + d)$ の有界性を仮定することで、ハウスドルフ距離におけるpIFSの固定点として、一意なコンパクト不変集合$K \subset I \times \mathbb{R}^d$ の存在を証明する。
• $K$ と$\widetilde{T}(K)$ が同じ正のLebesgue測度を持つ場合、$K$ の$I$ 上の周辺測度は元の写像$T$ の不変測度であることを示す。
• $x \in I$ における$K$ の繊維測度を用いて、不変密度を計算し、これが連分数系におけるガウス測度に対応することを示す。
• 古典的および一般化された連分数（例：Ralston, Nakada $\alpha$, Rosen, Veech, Hei-Chi Chan）にこの手法を適用し、既知の自然拡張および不変密度を回復する。

実験結果

リサーチクエスチョン

• RQ1 pIFSの吸引集合$K$ が正のLebesgue測度を持つための条件は何か？ これにより、$I$ 上の周辺測度が非退化な不変測度となる。
• RQ2 この手法は、拡張的でない、あるいは弱く収縮的な写像（特に中立的固定点を有するもの）へと拡張可能か？
• RQ3 IFSにおける「開集合条件」と類似した一般条件が、吸引集合$K$ 上の測度の不変性および正値性を保証できるか？
• RQ4 この構成は$p$-進設定や非ユニモジュラー行列、方向反転写像へと一般化可能か？
• RQ5 高次元における吸引集合$K$ の幾何構造は、どのように可視化・解析可能か？ 特に、動的スライスやアニメーション投影を用いた手法について。

主な発見

• 本手法により、正則連分数写像の標準ガウス測度$\mu(dx) = \frac{1}{\log 2} \frac{1}{1+x} dx$ が、スカラーファクター付き積分系における吸引集合$K$ の周辺測度として正確に回復された。
• ガウス写像に関して、pIFSを用いて構成された自然拡張は、1977年にNakada-Ito-Tanakaが導入したものと一致し、既存の結果と整合性が確認された。
• スカラーファクター付き積分系における吸引集合$K$ は$\widetilde{T}$ に関して不変であり、正のLebesgue測度を支持することが示された。これにより、$I$ 上に絶対連続不変測度が存在することが保証された。
• テストされたすべての例（$\alpha$-連分数、RosenおよびVeech写像、Hei-Chi Chan写像）において、本手法は明示的な不変密度および自然拡張を効果的に得た。
• 非ユニモジュラーおよび方向反転写像に対しても本手法は頑健であり、Hei-Chi Chan連分数の例でその有効性が実証された。これは、$\mathrm{SL}(2,\mathbb{Z})$ を超える広範な応用可能性を示唆する。
• 本稿は計算的手順を提供する：$K$ 上でのスカラーファクター付き写像の軌道図をプロットすることで、$K$ の境界および不変密度の数値近似が可能となり、効果的な可視化と解析が可能となる。