[論文レビュー] Transfer operators and atomic decomposition

Alexander Arbieto, Daniel Smania|arXiv (Cornell University)|Mar 16, 2019

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

ひとこと要約

本稿では、最小限の正則性を持つ区分的写像の転送作用素を研究するため、良好なグリッド構造を持つ測度空間上に、新しいタイプのベソフ型バナッハ空間の族を導入する。原子的分解とラソータ＝ヨルケ不等式を用いることで、低正則性条件下でも転送作用素の擬似コンパクト性を証明し、相関の指数的減衰、中心極限定理、および有界でない観測量に対する確率的不変性原理を可能にする。

ABSTRACT

We use the method of atomic decomposition and a new family of Banach spaces to study the action of transfer operators associated to piecewise-defined maps. It turns out that these transfer operators are quasi-compact even when the associated potential, the dynamics and the underlying phase space have very low regularity. In particular it is often possible to obtain exponential decay of correlations, the Central Limit Theorem and almost sure invariance principle for fairly general observables, including unbounded ones.

研究の動機と目的

• 低正則性ダイナミカルシステムにおける転送作用素の関数解析的枠組みを構築すること。
• L^1 空間における転送作用素のスペクトル退化（スペクトルが閉単位円板全体になる）を克服すること。
• 最小限の滑らかさを持つ系において、有界でない観測量のための相関の指数的減衰および統計的極限定理（CLT, ASIP）を確立すること。
• 滑らかでない、または不連続な力学系への古典的結果の一般化。
• 原子的分解と新しいベソフ型ノルムを用いて、転送作用素が擬似コンパクトなスペクトル的性質を示す、強固なバナッハ空間設定を提供すること。

提案手法

• 著者らは、『良好なグリッド』と有限測度を備えた測度空間上に、古典的ベソフ空間を一般化する新しいベソフ空間 $ \mathcal{B}^s_{p,q} $ のクラスを定義する。
• 関数をグリッド要素上に台を持つ原子の和として表現する原子的分解を用い、ノルムの精密な制御を可能にする。
• 主要な技術的道具は、力学系と転送作用素の作用に基づいて位相空間を分割する動的スライシング技術である。
• 転送作用素 $ \Phi $ に対して、$ \mathcal{B}^s_{p,q} $ 上でラソータ＝ヨルケ不等式を確立し、$ \|\Phi f\|_{\mathcal{B}^s_{p,q}} \leq C_1 \|f\|_{\mathcal{B}^s_{p,q}} + C_2 \|f\|_{L^1} $ を示す。この不等式は擬似コンパクト性を示唆する。
• 転送作用素 $ \Phi $ が $ L^{t_0} $ および $ L^1 $ 上で有界であることを証明し、補間およびジャコビアンと歪みに関する推定を用いて、本質的スペクトル半径を制御する。
• 歪みの境界と、前像の測度の指数的減衰に基づいて、本質的スペクトル半径を制御し、スペクトルギャップの推定に至る。

実験結果

リサーチクエスチョン

• RQ1 正則性が低い区分的写像の転送作用素に対しても、相関の指数的減衰および統計的極限定理が成立するか？
• RQ2 滑らかでない写像やポテンシャルに対しても、転送作用素が擬似コンパクトとなるような関数空間を構築することは可能か？
• RQ3 原子的分解は、滑らかでない、または不連続な力学系における転送作用素の解析にどのように応用できるか？
• RQ4 位相空間および力学系にどのような条件を課すと、転送作用素の本質的スペクトル半径が1未満になるか？
• RQ5 関数解析的枠組みを有界でない観測量にまで拡張しても、中心極限定理などの統計的性質を保持できるか？

主な発見

• 写像、ポテンシャル、位相空間が最小限の正則性を持つ場合でも、新たに定義されたベソフ空間 $ \mathcal{B}^s_{p,q} $ 上で転送作用素 $ \Phi $ は擬似コンパクトである。
• 1が孤立した単純固有値であり、残りのスペクトルが1未満の半径の閉円板内にある限り、すべての観測量が $ \mathcal{B}^s_{p,q} $ に属する場合に相関の指数的減衰が確立される。
• 中心極限定理と確率的不変性原理は、$ L^2 $ を超える広範な有界でない観測量のクラスに対して成り立つ。
• 歪みと拡張の条件が弱くても、$ \Phi $ が $ \mathcal{B}^s_{p,q} $ 上で作用する際の本質的スペクトル半径は1未満であり、スペクトルギャップが保証される。
• 定数 $ C_{\text{DC1}}, \lambda_{\text{DC2}} $, および $ \epsilon' $ を用いて、作用素ノルムと本質的スペクトル半径の明示的評価が得られる。これらの定数は歪みと拡張率に依存する。
• 原子的分解によるベソフ空間の構成により、滑らかな状況では古典的ベソフ空間と一致するが、非滑らかな系へも拡張可能となる。