[论文解读] Exponential mixing for generic volume-preserving Anosov flows in dimension three

Masato Tsujii|arXiv (Cornell University)|Jan 1, 2016

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

一句话总结

该论文证明了在三维紧致黎曼流形上，$C^r$ 体积守恒阿诺索夫流的指数混合性是一个开且稠密的性质，通过引入一种新颖的稳定叶状结构扭曲几何条件——$s$-模板——证明了在 $C^3$-开集与 $C^r$-稠密集中，此类流均表现出相关性的统一指数衰减。

ABSTRACT

Let $M$ be a closed $3$-dimensional Riemann manifold and let $3\le r\le \infty$. We prove that there exists an open dense subset in the space of $C^r$ volume-preserving Anosov flows on $M$ such that all the flows in it are exponentially mixing.

研究动机与目标

• 确定指数混合性是否为三维体积守恒阿诺索夫流的一个普遍性质。
• 研究相关性的指数衰减是否在这些流的邻域中保持稳定。
• 确立鲍文-鲁埃勒猜想的结果——指数混合性——在此设定下具有普遍性。
• 引入并运用 $s$-模板的概念，以刻画稳定子丛沿不稳定流形的几何扭曲。
• 证明在满足 $s$-模板非可积性条件的流的邻域中，相关性衰减具有统一的指数衰减估计，且常数一致。

提出的方法

• 引入 $s$-模板的概念，以描述稳定子丛沿不稳定流形的扭曲方式，形式化了稳定与不稳定叶状结构联合可积性的几何障碍。
• 以 $s$-模板为基础，定义了针对 $\rho > 0$ 的非可积性条件 $(NI)_\rho$，该条件捕捉了稳定与不稳定叶状结构无法联合可积的失败特征。
• 在高维参数空间中使用大偏差论证，证明当 $r \geq 3$ 时，$(NI)_\rho$ 在 $\mathfrak{F}^r_A$ 的一个稠密集上成立。
• 应用扰动技术，证明只要某一流满足某个 $\rho > 0$ 的 $(NI)_\rho$ 条件，则其在 $C^3$-拓扑下存在一个邻域，使得指数混合性在该邻域中一致成立。
• 改编并修改了以往关于转移算子与各向异性索伯列夫空间的研究技术，以处理非光滑对象，并确保衰减估计的一致性。
• 通过在各向异性索伯列夫空间中使用反证法与弱收敛性，证明了衰减常数 $c_\alpha$ 与 $C_\alpha$ 在流的邻域中的一致性。

实验结果

研究问题

• RQ1 指数混合性是否为三维紧致流形上 $C^r$ 体积守恒阿诺索夫流的一个普遍性质？
• RQ2 能否通过 $s$-模板对稳定与不稳定叶状结构的不可积性进行量化，从而推出指数混合性？
• RQ3 若某一流满足非可积性条件 $(NI)_\rho$，则其 $C^3$-邻域中指数混合性是否保持成立？
• RQ4 能否为整个此类流的开集建立统一的指数衰减估计？
• RQ5 指数混合的速率（即指数级）在流的 $C^3$-小扰动下是否保持稳定？

主要发现

• 存在一个 $C^3$-开集与 $C^r$-稠密集 $\mathcal{U} \subset \mathfrak{F}^r_A$，使得 $\mathcal{U}$ 中的所有流均为指数混合的。
• 对每个 $f^t_0 \in \mathcal{U}$，存在 $\mathfrak{F}^r_A$ 中的一个 $C^3$-开邻域，使得指数衰减估计 (1) 在该邻域中以统一常数 $c_\alpha$ 与 $C_\alpha$ 成立。
• 当 $r \geq 3$ 时，对足够小的 $\rho > 0$，$(NI)_\rho$ 在 $\mathfrak{F}^r_A$ 的一个稠密集上成立，且该条件蕴含指数混合性。
• 证明建立了相关性的统一指数衰减：对所有 $t > 0$ 及所有零均值的 $\varphi, \psi \in C^\alpha(M)$，有 $\left|\int \varphi \cdot (\psi \circ f^t) \, dm\right| \leq C_\alpha \|\varphi\|_{C^\alpha} \|\psi\|_{C^\alpha} \exp(-c_\alpha t)$。
• 通过在各向异性索伯列夫空间中使用反证法与弱收敛性，证明了衰减常数的一致性，表明高频部分的统一压缩可防止范数集中。
• 该结果首次给出了三维空间中具有非空开集的体积守恒阿诺索夫流，其稳定表现出指数混合性。