[论文解读] Statistical properties of dynamics. Introduction to the functional analytic approach

Stefano Galatolo|arXiv (Cornell University)|Oct 9, 2015

Mathematical Dynamics and Fractals参考文献 17被引用 12

一句话总结

本文提出一种函数分析方法，通过转移算子在函数空间和测度空间上的作用，研究动力系统的统计性质。该方法建立了正规不变测度的存在性、谱间隙、相关性衰减以及在扰动下的稳定性，关键结果通过弱化但基本的Lasota–Yorke不等式和扩张系统与双曲系统的谱理论证明。

ABSTRACT

These are lecture notes for a simple minicourse approaching the satistical properties of a dynamical system by the study of the associated transfer operator (considered on a suitable functions or measures spaces). The following questions will be addressed: *existence of a regular invariant measure; *Lasota Yorke inequalities and spectral gap; *decay of correlations and some limit theorem; *stability under perturbations of the system *linear response *random systems *hyperbolic systems. The point of view taken is to present the general construction and ideas needed to obtain these results in the simplest way. For this, some theorem is proved in a form which is weaker than usually known, but with an elementary and simple proof. These notes are intended for the Hokkaido-Pisa University summer course 2021.

研究动机与目标

• 开发一个函数分析框架，用于分析动力系统的统计性质，重点研究转移算子在函数空间和测度空间上的作用。
• 通过Lasota–Yorke不等式，建立扩张映射和分段扩张映射的正规不变测度的存在性。
• 通过转移算子的谱性质，分析相关性衰减、混合性及趋于平衡态的收敛性。
• 研究在确定性和随机扰动下，不变测度和统计性质的稳定性。
• 为线性响应理论和混沌系统中不变测度的数值计算提供理论基础。

提出的方法

• 定义作用于 $ L^1 $ 和Sobolev型范数（$ W^{1,1} $）上的转移算子，以研究动力系统作用下测度的演化。
• 证明弱化但基本的Lasota–Yorke不等式形式，以建立正则化效应和转移算子的统一有界性。
• 利用 $ W^{1,1} $-型范数中的谱间隙估计，推导出相关性的指数衰减和中心极限定理。
• 对算子族应用统一压缩论证，证明系统在小扰动下的稳定性。
• 构建转移算子导数的统一有界性，以推导出动力系统平滑变化下的线性响应公式。
• 通过转移算子的迭代估计，证明 $ W^{1,1} $ 正则性在迭代下保持不变，从而实现趋于平衡态的收敛性。

实验结果

研究问题

• RQ1 在何种条件下，动力系统存在正规不变测度？如何通过转移算子构造该测度？
• RQ2 在何种条件下，转移算子谱中存在谱间隙并实现相关性的指数衰减？
• RQ3 在小的确定性或随机扰动下，不变测度和混合速率等统计性质如何变化？
• RQ4 能否基于转移算子框架，为动力系统的平滑变化推导出线性响应公式？
• RQ5 转移算子在映射族上表现出统一压缩的条件是什么？该条件能否确保统计性质的稳定性？

主要发现

• 在 $ W^{1,1} $-范数下建立了Lasota–Yorke不等式，其常数依赖于 $ \inf|T'| $、$ \|T''/(T')^2\|_\infty $ 和 $ \|\partial G/\partial x\|_\infty $，确保迭代过程中的正则性控制。
• 转移算子 $ L_F $ 满足 $ \|L_F^n \mu\|_{W^{1,1}} \leq \lambda^n (\|\mu\|_{W^{1,1}} + \|\phi'_\mu\|_1) + B\|\mu\|_1 $，其中 $ \lambda < 1 $，证明了统一正则性及趋于平衡态的收敛性。
• 谱间隙意味着相关性的指数衰减，其估计源自 $ \|L_F^n \mu - \mu\|_{W^{1,1}} \to 0 $ 以速率 $ \lambda^n $。
• 通过转移算子族的统一压缩性，证明了在小扰动下的稳定性，且给出了不变测度变化的有界性。
• 利用转移算子的导数算子，推导出圆周扩张映射的线性响应公式，表明不变测度关于系统参数的可微性。
• 通过基于 $ W^{1,1} $-正则性和转移算子谱性质的逼近方案，使不变测度的数值计算具有严格理论基础。