[論文レビュー] The entropy of alpha-continued fractions: analytical results

Giulio Tiozzo|arXiv (Cornell University)|Dec 13, 2009

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

ひとこと要約

本稿は、有界 variation 関数上の移動作用素のスペクトル解析を用いて、Nakada の $\alpha$-連分数写像 $ T_\alpha $ の測度的エントロピー $ h(T_\alpha) $ の Hölder 継続性を確立する。さらに、$ \log|T_\alpha'| $ を含む、緩やかに成長する関数のクラスに属する有界でない観測関数について、中心極限定理を証明し、Birkhoff 平均がエントロピーに収束する正規分布の性質を確認する。

ABSTRACT

We study the ergodic theory of a one-parameter family of interval maps T_alpha arising from generalized continued fraction algorithms. First of all, we prove the dependence of the metric entropy of T_alpha to be Hoelder-continuous in the parameter alpha. Moreover, we prove a central limit theorem for possibly unbounded observables whose bounded variation grows moderately. This class of functions is large enough to cover the case of Birkhoff averages converging to the entropy.

研究の動機と目的

• パrameter $ \alpha \in (0,1] $ における測度的エントロピー $ h(T_\alpha) $ の Hölder 継続性を確立し、その正則性に関する長年の予想に応える。
• 有界変動関数の新しいクラス $ B_{K,\delta} $ における有界でない観測関数に対する中心極限定理を拡張する。この空間では、原点付近での全 variation の緩やかな成長を許容する。
• Birkhoff 平均の漸近的分散が $ \alpha $ に関して連続であることを証明し、パrameter の滑らかな依存性に関する数値的観察を支持する。
• 移動作用素 $ T_\alpha $ に対して、従来の研究における欠陥を是正した、一様な Lasota-Yorke 不等式の新しい正しい証明を提示する。
• 不変密度 $ \rho_\alpha $ が $ BV $-ノルムでは連続でないものの、$ L^1 $-ノルムにおいて Hölder 継続的であることを示す。

提案手法

• 有界変動関数空間上での移動作用素のスペクトル理論を用い、本質的スペクトル半径を抑えられる一様 Lasota-Yorke 不等式を適用する。
• 区間分割の構造と微分係数の評価を活用し、写像 $ T_\alpha $ と $ T_{\alpha'} $ 間の距離の Hölder 継続性を確立する。
• 摂動下でのスペクトル分解の安定性結果を応用し、$ L^1 $-ノルムにおける不変密度 $ \rho_\alpha $ の Hölder 継続性を導出する。
• 全 variation が原点付近で緩やかに成長する関数の空間 $ B_{K,\delta} $ を導入し、$ \log|T_\alpha'| $ のような有界でない観測関数の取り扱いを可能にする。
• 文献 [1] の技法を拡張して、$ B_{K,\delta} $ に属する観測関数に対して中心極限定理を証明し、正の分散 $ \sigma^2 > 0 $ を持つ正規分布への収束を示す。
• Birkhoff 和の分散 $ \sigma^2_{\alpha,f} $ を解析し、関数解析的枠組みと不変測度の正則性を用いて、$ \alpha $ に関する連続性を証明する。

実験結果

リサーチクエスチョン

• RQ1 Nakada の $\alpha$-連分数写像の測度的エントロピー $ h(T_\alpha) $ は、パrameter $ \alpha \in (0,1] $ に対して Hölder 継続的か？
• RQ2 エントロピー計算に中心的な役割を果たす $ \log|T_\alpha'| $ のような有界でない観測関数に対し、中心極限定理を確立できるか？
• RQ3 エントロピー関数が非単調的かつ自己相似的構造を持つにもかかわらず、$ C^1 $ 観測関数の Birkhoff 平均の漸近的分散は $ \alpha $ に関して連続か？
• RQ4 新しい分岐が出現する $ \alpha \to 0 $ の極限においても、$ T_\alpha $ の移動作用素に対して一様 Lasota-Yorke 不等式を証明できるか？
• RQ5 不変密度 $ \rho_\alpha $ の正則性は、$ BV $-ノルムでは連続でないが、$ L^1 $-ノルムにおいて $ \alpha $ の変化に伴いどのように振る舞うか？

主な発見

• 測度的エントロピー $ h(T_\alpha) $ は任意の指数 $ 0 < s < \frac{1}{2} $ に対して Hölder 継続的であり、その正則性に関する予想を解決する。
• 不変密度 $ \rho_\alpha $ は $ BV $-ノルムでは連続でないものの、$ L^1 $-ノルムにおいて Hölder 継続的である。
• 正の漸近分散 $ \sigma^2 > 0 $ を持つ正規分布への収束を示す中心極限定理が、$ B_{K,\delta} $ に属するすべての非定数実数値関数に対して成立する。この空間には $ \log|T_\alpha'| $ のような有界でない観測関数が含まれる。
• $ \log|T_\alpha'| $ の Birkhoff 平均が、$ h(T_\alpha) $ を中心とする正規分布に分布収束することを確認し、[10] の数値的証拠を裏付ける。
• $ C^1 $ 観測関数の Birkhoff 和の漸近的分散 $ \sigma^2_{\alpha,f} $ は $ \alpha $ に関して連続であり、パrameter の滑らかな依存性に関する数値的観察を支持する。
• $ T_\alpha $ の移動作用素に対して、$ \alpha \in (0,1] $ において、$ \alpha \to 0 $ の近傍を含めて一様かつ正しい Lasota-Yorke 不等式の証明を確立した。