[論文レビュー] Explicit Correlation Bounds for Expanding Circle Maps Using the Coupling Method

Henri Sulku|arXiv (Cornell University)|Nov 11, 2012

3D Shape Modeling and Analysis参考文献 3被引用数 5

ひとこと要約

この論文は、カップリング法を用いて滑らかな拡張写像の相関関数の崩壊に関する明示的で定量的な境界を確立し、指数的混合を示す一意な絶対連続不変測度の存在を証明する。 Hölder連続な観測量に対する相関関数の指数的崩壊率の明示的定数を導出し、このような系においてカップリング法を用いた初めての明示的境界を与える。その依存関係は拡張定数λと観測量のHölderノルムに依存する。

ABSTRACT

In this paper, several fundamental facts, especially the existence and uniqueness of an absolutely continuous ergodic measure with an exponential mixing rate, are derived for smooth expanding circle maps. Although the results are classical, the coupling method is relatively modern and employed here for the first time to yield explicit bounds in terms of system constants. The work constitutes a part of the author's Bachelor's thesis. The author hopes that the manuscript can serve as a useful introduction to the flexible coupling method in the theory of dynamical systems.

研究の動機と目的

• 滑らかな拡張円写像における相関関数の崩壊に関する明示的で定量的な境界を確立すること。
• 現代のカップリング法を古典的力学系に適用し、混合速度における明示的定数を導出すること。
• 指数的混合を示す一意な絶対連続不変測度の存在を証明すること。
• 系のパラメータ（λやHölderノルムなど）に関して、相関関数の崩壊率に関する明示的境界を導出すること。
• 力学系分野の研究者向けにカップリング法の自己完結的入門を提供すること。

提案手法

• 2つの独立した系の軌道を比較し、その一致までの時間を推定することで、相関関数の崩壊を制御するため、カップリング法が用いられる。
• 写像T下での密度と観測量の時間発展を解析するために、移動作用素Lが用いられる。
• T^nの逆像枝を用いて、前像間の距離を推定し、d((T^n)_i^{-1}(x), (T^n)_i^{-1}(y)) ≤ λ^{-n} d(x,y) という境界を得る。
• Hölder連続性が移動作用素を介して反復に伴い保存され、定量的に評価され、Hölder定数H_α(L^n ψ)の境界が得られる。
• 拡張性と前像の被覆性を用いて、密度の均一な下界を確立し、不変密度の正値性を保証する。
• 指数的崩壊率θはθ = (1 - exp(-3(Ω+1))^(log(λ)/(4(Ω+1)))として導出され、λとΩに明示的に依存する。

実験結果

リサーチクエスチョン

• RQ1 拡張円写像における相関関数の崩壊に対して、どのような明示的で定量的な境界を導出できるか？
• RQ2 カップリング法を用いて、滑らかな拡張写像における指数的混合速度の明示的定数を導出できるか？
• RQ3 観測量のHölder正則性は、相関関数の崩壊率にどのように影響するか？
• RQ4 相関関数の崩壊率は、拡張定数λと観測量のHölderノルムにどのように依存するか？
• RQ5 カップリング法を用いて、明示的境界を伴う絶対連続不変測度の存在と一意性を確立できるか？

主な発見

• Lebesgue測度に関して絶対連続であり、一意的エルゴードである不変測度μが存在する。
• 不変密度はリプシッツ連続であり、不変測度の正則性を保証する。
• 有界なfとHölder連続なgに対して、|∫f∘T^n g dμ - ∫f dμ ∫g dμ| ≤ C‖f‖_∞(‖g‖_∞ + H_α(g)) θ^{αn} が成り立ち、明示的定数を伴う。
• 崩壊率はθ = (1 - exp(-3(Ω+1))^(log(λ)/(4(Ω+1))) ∈ (0,1)として与えられ、λとΩに明示的に依存する。
• 定数C = 96(2 + Ω)^2は、系の幾何的および正則性パラメータの観点から明示的に導出される。
• 大規模なnに対してL^nψの均一な下界が示され、不変密度が正であることが示された。