[論文レビュー] Metric properties of N-continued fractions

Dan Lascu|arXiv (Cornell University)|Oct 7, 2015

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

ひとこと要約

本稿は、正則連分数の一般化である$N$-連分数の測度論的理論を確立し、関連する変換$T_N$の不変測度$G_N$とペロン＝フロベニウス作用素を導出する。$G_N$のエルゴード性と不変性を証明し、ペロン＝フロベニウス作用素の収縮推定値を提示することで、古典的なガウス＝クズミン＝レヴィ理論を$N$-ケースに拡張し、リプシッツノルムにおける明示的な減衰率を示す。

ABSTRACT

A generalization of the regular continued fractions was given by Burger et al. in 2008 [3]. In this paper we give metric properties of this expansion. For the transformation which generates this expansion, its invariant measure and Perron-Frobenius operator are investigated.

研究の動機と目的

• ブルガーらによって導入された$N$-連分数展開への連分数の測度論的理論の拡張を目的とする。
• 連分数を生成する変換$T_N$に対する不変測度$G_N$を特定すること。
• $T_N$のペロン＝フロベニウス作用素を、不変測度$G_N$および他の確率測度の下で分析すること。
• 変動およびリプシッツノルムの観点から、ペロン＝フロベニウス作用素$U$の収縮性質を確立すること。
• 古典的な結果（ガウス＝クズミン＝レヴィの定理など）を$N$-連分数設定に一般化すること。

提案手法

• $[0,1]$上での$N$-連分数変換$T_N(x) = \frac{N}{x} - \left\lfloor \frac{N}{x}\right\rfloor$を定義し、ガウス写像の一般化とする。
• $A \in \mathcal{B}_{[0,1]}$に対して$G_N(A) = \frac{1}{\log\left(\frac{N+1}{N}\right)} \int_A \frac{dx}{x+N}$として不変測度$G_N$を導入し、$T_N$に関する不変性を証明する。
• 自然拡張フレームワークを用いて、力学系$([0,1], \mathcal{B}_{[0,1]}, G_N, T_N)$を研究し、$T_N$に付随するペロン＝フロベニウス作用素$U$を導出する。
• プッシュフォワード公式を用いて、$Uf(x) = \sum_{i \geq N} \frac{N}{(x+i)^2} f\left(\frac{N}{x+i}\right)$としてペロン＝フロベニウス作用素を導出する。
• 変動およびリプシッツノルムを用いて作用素$U$を分析し、$\mathrm{var}(Uf) \leq \frac{1}{N+1} \mathrm{var}(f)$および$s(Uf) \leq q \cdot s(f)$（$q$は(4.24)に明示）を証明する。
• 関数$\rho_N(x) = \frac{k_N}{x+N}$が作用素$U$の不動点であることを示し、$G_N$が不変測度であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 $N$-連分数変換$T_N$に対する不変測度$G_N$は何か？
• RQ2 不変測度$G_N$の下で$T_N$のペロン＝フロベニウス作用素はどのように振る舞うか？
• RQ3 変動およびリプシッツノルムの観点から、ペロン＝フロベニウス作用素$U$はどのような収縮性質を示すか？
• RQ4 $N$-連分数系は、古典的なガウス＝クズミン＝レヴィ理論をどのように一般化するか？
• RQ5 不変測度$G_N$の下でペロン＝フロベニウス作用素はどのように漸近的挙動を示すか？

主な発見

• $N$-連分数変換の不変測度$G_N$は$G_N(A) = \frac{1}{\log\left(\frac{N+1}{N}\right)} \int_A \frac{dx}{x+N}$として与えられ、$T_N$-不変である。
• 変換$T_N$は$G_N$に関してエルゴード的であり、典型的な軌道が$G_N$の下で均等分布することを保証する。
• 変換$T_N$のペロン＝フロベニウス作用素$U$は、任意の$f \in L^\infty(I)$に対して$\mathrm{var}(Uf) \leq \frac{1}{N+1} \mathrm{var}(f)$を満たし、変動ノルムにおいて強い収縮を示す。
• リプシッツ連続関数に対しては、作用素$U$は$s(Uf) \leq q \cdot s(f)$を満たし、$q = N \sum_{i \geq N} \left( \frac{N}{i^3(i+1)} + \frac{i+1-N}{i(i+1)^3} \right)$として明示的な収縮推定値が得られる。
• 関数$\rho_N(x) = \frac{k_N}{x+N}$はペロン＝フロベニウス作用素$U$の不動点であるため、$G_N$が不変測度であることが確認される。
• 力学系$([0,1], \mathcal{B}_{[0,1]}, G_N, T_N)$は自然拡張を備えており、全測度論的力学系の構成を支援する。