[论文解读] On C1-robust transitivity of volume-preserving flows

Mário Bessa, Jorge Rocha|ArXiv.org|Jul 17, 2007

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

一句话总结

该论文证明了在维度 $n \geq 4$ 的紧致流形上，$C^1$-鲁棒遍历的保体积流在向量场为 $C^4$ 时无奇点，并且其线性庞加莱流在该条件下存在一个主导分解。这些结果通过使用 $C^1$-保体积扰动技术（包括保守版本的 Franks 引理和 Arbieto-Matheus 粘贴引理）将经典鲁棒遍历定理推广至保体积情形。

ABSTRACT

We prove that a divergence-free and C1-robustly transitive vector field has no singularities. Moreover, if the vector field is C4 then the linear Poincare flow associated to it admits a dominated splitting over M.

研究动机与目标

• 将 $C^1$-鲁棒遍历性结果从一般流和辛流推广至保体积（即体积守恒）情形。
• 证明在维度 $n \geq 4$ 的流形上，$C^1$-鲁棒遍历的散度为零向量场必须无奇点。
• 在 $C^4$ 正则性条件下，建立线性庞加莱流中主导分解的存在性。
• 发展 $C^1$-保体积扰动工具，包括保守版本的 Franks 引理，以证明上述结果。
• 证明在保体积类中，鲁棒遍历性通过主导分解蕴含弱双曲性。

提出的方法

• 将 Vivier 和 Bonatti-Gourmelon-Vivier 关于非保体积流的证明策略适配至保体积情形。
• 使用 Arbieto-Matheus 粘贴引理构造保持遍历性的 $C^1$-保体积向量场扰动。
• 构造一个与原向量场 $C^1$-接近的向量场 $Y$，使其保持某点 $\overline{x}$ 的周期轨道，同时将线性庞加莱映射修改为仅具有特征值 $\pm 1$。
• 沿轨迹弧定义一个单参数线性映射族 $A_t^j$，在原始与扰动庞加莱映射之间进行插值。
• 应用 $C^1$-保体积扰动引理（引理 3.2），在周期轨道的管状邻域内修改向量场，而不在轨道上改变流。
• 通过重叠一致性将局部扰动在连续轨迹弧上拼接，构造出保持所需动力学性质的全局 $C^1$ 向量场 $Y$。

实验结果

研究问题

• RQ1 在保体积情形下，$C^1$-鲁棒遍历性是否蕴含无奇点？
• RQ2 在何种正则性条件下，保守流中 $C^1$-鲁棒遍历性可推出线性庞加莱流中存在主导分解？
• RQ3 能否构造 $C^1$-保体积扰动，以改变周期点处的线性庞加莱映射，同时保持遍历性？
• RQ4 $C^4$ 正则性假设是否为证明 $C^1$-鲁棒遍历保守流中主导分解所必需？
• RQ5 在鲁棒遍历性与弱双曲性背景下，保体积情形是否可类比于非保体积情形？

主要发现

• 在维度 $n \geq 4$ 的紧致流形上，$C^1$-鲁棒遍历的散度为零向量场无奇点。
• 若向量场为 $C^4$，则线性庞加莱流在整个流形上存在主导分解。
• 通过反证法证明无奇点：利用 $C^1$-保体积扰动构造具有幂幺线性庞加莱单值群的周期轨道。
• 通过构造一个 $C^1$-扰动的向量场，保持鲁棒遍历性但强制破坏主导条件，从而获得主导分解。
• 证明依赖于一个 $C^1$-保体积扰动引理，该引理要求 $C^4$ 正则性以确保此类扰动的存在性。
• 存在一个 $C^1$-稠密子集，其元素均为 $C^1$-鲁棒遍历的保体积向量场，且所有元素均无奇点，并在对应的线性庞加莱流中存在主导分解。