[论文解读] Robustly invariant sets in fibre contracting bundle flows

Oliver Butterley, Carlangelo Liverani|arXiv (Cornell University)|Oct 14, 2012

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

一句话总结

本文建立了纤维丛流中鲁棒不变邻域存在的抽象条件，特别通过喷从丛将这些条件应用于Anosov流。证明了稳定流形近似在小扰动下仍保持不变，并利用此结果纠正了先前关于相关谱和Anosov流稳定性的论文中的一个缺陷。

ABSTRACT

We provide abstract conditions which imply the existence of a robustly invariant neighbourhood of a global section of a fibre bundle flow. We then apply such a result to the bundle flow generated by an Anosov flow when the fibre is the space of jets (which are described by local manifolds). As a consequence we obtain sets of manifolds (e.g. approximations of stable manifolds) that are left invariant, {\bf for all} negative times, by the flow and its small perturbations. Finally, we show that the latter result can be used to easily fix a mistake recently uncovered in the paper {\em Smooth Anosov flows: correlation spectra and stability}, \cite{BuL}, by the present authors.

研究动机与目标

• 建立全局截面在纤维丛流中存在鲁棒不变邻域的一般条件。
• 解决连续时间动力系统中短时双曲性失效的挑战，特别是针对流系统。
• 通过将抽象框架应用于以喷从丛为纤维的Anosov流，构造近似稳定流形的不变集。
• 纠正先前论文（Butterley & Liverani, 2012）中的一个关键错误：该论文中引理7.2错误地声称对所有 $ t \geq 0 $ 都有不变性，而实际上仅对 $ t $ 超过某个正阈值时才成立。
• 证明修正后的框架能够保持原论文的所有结果，确保其谱分析和稳定性分析的有效性。

提出的方法

• 在纤维丛 $ (E,B,\pi,F) $ 上引入一个流 $ \Psi^t $，并假设存在一个全局Lipschitz截面 $ s $ 和一个不变的紧致子集 $ E_0 $。
• 对流施加条件，以确保最终不变性（即 $ \Psi^{t_0}E_0 \subseteq E_0 $）以及纤维内的一致收缩/扩张。
• 通过提升动力学上的锥场论证，构造在小扰动下严格不变的一族锥。
• 将该理论应用于Anosov流的喷从丛，其中纤维代表局部流形的喷从，从而实现近似不稳定/稳定流形的不变集的构造。
• 在基于 $ \mathscr{B}^{p,q} $-型范数的分布Banach空间上使用转移算子技术，以控制谱性质。
• 构造一个 $ \mathscr{C}^r $ 黎曼度量 $ \|\cdot\|_1 $，使得流对所有 $ t \geq 0 $ 都表现出一致指数收缩/扩张，从而解决了小时间尺度上非一致性的缺陷。

实验结果

研究问题

• RQ1 在较弱的正则性和收缩假设下，是否可以构造纤维丛流中全局截面的鲁棒不变邻域？
• RQ2 Anosov流中标准的短时双曲性失效问题是否会导致在扰动下无法构造近似稳定流形的不变集？
• RQ3 能否通过纤维丛流的一般框架纠正Butterley & Liverani (2012) 论文中引理7.2的错误不变性声明？
• RQ4 是否可能在Anosov流上定义一个光滑黎曼度量，使得导出映射对所有 $ t \geq 0 $ 都表现出一致指数收缩/扩张，而不仅限于 $ t \geq t_0 > 0 $？
• RQ5 修正后的框架是否能保持原论文中关于Anosov流相关谱的谱和稳定性结果？

主要发现

• 在抽象的纤维丛流条件下（包括最终不变性和一致锥收缩），证明了全局截面存在鲁棒不变邻域。
• 对于Anosov流，该构造生成了流形集合（稳定流形的近似），这些集合在流及其小扰动下对所有 $ t \geq 0 $ 都保持不变，而不仅限于 $ t \geq t_0 $。
• 本文纠正了Butterley & Liverani (2012) 论文中引理7.2的关键错误：该论文错误声称对所有 $ t \geq 0 $ 都有不变性，而实际上仅对 $ t \geq t_0 > 0 $ 成立；修正后的框架恢复了整个谱分析的有效性。
• 转移算子的谱半径被控制在 $ (a + \bar{p}\lambda)^{-1} $ 以内，通过 $ \|\cdot\|_{p,q} $-范数和 $ \epsilon $-球覆盖论证实现显式控制。
• 构造了一个 $ \mathscr{C}^r $ 黎曼度量 $ \|\cdot\|_1 $，使得对所有 $ t \geq 0 $ 都有 $ \|DT_t v\|_1 \geq e^{\sigma t} \|v\|_1 $，其中 $ \sigma > 0 $，从而解决了小时间尺度的双曲性问题。
• 新度量与原始度量在一致等价意义下成立，并满足 [2, 条件2] 的要求，确保了原论文中扰动理论的适用性。