[论文解读] On the Closing Lemma problem for vector fields of bounded type on the torus

S. P. Lloyd|Nov 7, 2008

Advanced Differential Equations and Dynamical Systems参考文献 10被引用 3

一句话总结

本文通过扭转扰动法，建立了在2-环面上具有有界类型旋转数且鞍点处散度为零的$C^r$向量场的$C^r$闭包引理。证明了任意非平凡遍历点在任意小的$C^r$扰动下均变为周期点，其关键依赖于一个关于保序圆周映射中半游荡区间不存在性的新结果，该映射具有有界类型旋转数。

ABSTRACT

We investigate the open Closing Lemma problem for vector fields on the 2-dimensional torus. Under the assumption of bounded type rotation number, the $C^r$ Closing Lemma is verified for smooth vector fields that are area-preserving at all saddle points. Namely, given such a $C^r$ vector field $X$, $r\geq 4$, with a non-trivially recurrent point $p$, there exists a vector field $Y$ arbitrarily near to $X$ in the $C^r$ topology and obtained from $X$ by a twist perturbation, such that $p$ is a periodic point of $Y$. The proof relies on a new result in 1-dimensional dynamics on the non-existence of semi-wandering intervals of smooth maps of the circle.

研究动机与目标

• 为解决此前因负面结果而被认为受阻的2-环面上有界类型向量场的$C^r$闭包引理问题。
• 将$C^r$闭包引理扩展至在鞍点处散度为零且具有有界类型旋转数的向量场，补全此前关于无界类型的研究。
• 确立扭转扰动可闭合遍历轨线的条件，特别是在存在共向黑细胞且无灰细胞的情况下。
• 证明在具有有界类型旋转数且对数导数变差有界的保序圆周映射中，不存在前向或后向半游荡区间。
• 对具有有界类型旋转数的环面上向量场提供结构表征，表明在鞍点处散度为零时，不存在灰细胞且黑细胞共向。

提出的方法

• 分析向量场$X$的横截环路$\Sigma$上诱导的返回映射，当黑细胞共向时将其延拓为连续映射。
• 应用保序圆周映射的新结果：若旋转数为有界类型且对数导数具有有界变差，则不存在前向或后向半游荡区间。
• 在横截环路$\Sigma$上使用一维参数族的$C^r$扭转扰动，确保扰动后的向量场保持与$X$的$C^r$接近。
• 在扰动后的返回映射的迭代中应用介值定理，以定位距离遍历点$p$任意近的周期点。
• 构造一个与排斥子吸引域不相交的环路$\Sigma$，使得返回映射可连续延拓，从而可应用扰动理论。
• 依赖于鞍点处的$C^r$线性化坐标（当$r \geq 4$时假设存在），以保证扰动与返回映射的光滑性。

实验结果

研究问题

• RQ1 对于2-环面上的有界类型向量场，是否可建立$C^r$闭包引理，尽管此前结果对该类问题失败？
• RQ2 在鞍点处散度为零的有界类型向量场中，扭转扰动是否足以闭合遍历轨线？
• RQ3 能否证明具有有界类型旋转数且对数导数变差有界的保序圆周映射中不存在半游荡区间？
• RQ4 在鞍点处散度为零且具有有界类型旋转数的环面上向量场具有何种结构特性？
• RQ5 在返回映射满足何种条件下，$C^r$扭转扰动能使周期轨线任意接近一个遍历点？

主要发现

• 对于$C^r$向量场在2-环面上，若其具有有界类型旋转数、有限个双曲奇点，且在每个鞍点处散度为零，则当$r \geq 4$时，$C^r$闭包引理成立。
• 对于此类向量场，任意非平凡遍历点$p$均可通过与原向量场$C^r$任意接近的扭转扰动变为周期点。
• 在合适的横截环路$\Sigma$上，当黑细胞共向时，诱导的返回映射可延拓为连续映射，从而可应用扰动技术。
• 证明了一个新的不存在性结果：具有有界类型旋转数且对数导数具有有界变差的保序圆周映射，既无前向也无后向半游荡区间。
• 证明了在鞍点处散度为零的有界类型向量场中，不存在灰细胞，且黑细胞共向，这是其结构性质。
• 若在鞍点处存在$C^2$线性化坐标，则该结果对$C^2$向量场依然成立，从而将适用范围从$C^4$扩展至$C^2$。