[论文解读] Point fixe lié à une orbite périodique d'un difféomorphisme de R2

Boris Kolev|ArXiv.org|Dec 3, 2007

Advanced Differential Equations and Dynamical Systems参考文献 1被引用 4

一句话总结

该论文利用尼尔斯科夫不动点理论，证明了在 $\mathbb{R}^2$ 上任意 $C^1$ 保向微分同胚若存在周期轨道，则必存在一个与该轨道相连的不动点。通过将 $\mathbb{R}^2$ 紧化为 $S^2$，移除周期轨道的点，并分析所得曲面的尼尔斯科夫类，作者证明了至少存在两个尼尔斯科夫类，其中至少一个类对应于与周期轨道相连的不动点。

ABSTRACT

Given a diffeomorphism of the plane, which has a periodic orbit, we show how Nielsen fixed point theory can be used to establish the existence of a fixed point which is linked with this periodic orbit.

研究动机与目标

• 建立 $C^1$ 保向微分同胚在 $\mathbb{R}^2$ 上若存在周期轨道，则必存在一个与该轨道相连的不动点。
• 展示尼尔斯科夫不动点理论可为该结果提供直接且概念清晰的证明。
• 阐明不动点被视为“与周期轨道相连”的拓扑条件。
• 证明该相连条件等价于在紧化曲面上，不动点与无穷远点位于同一尼尔斯科夫类。
• 通过代数拓扑工具，对甘巴多的结果进行推广，提供更具内在几何意义的拓扑证明。

提出的方法

• 通过立体投影将 $\mathbb{R}^2$ 紧化为 $S^2$，并将微分同胚 $f$ 延拓为固定北极点 $P_\infty$ 的映射 $\hat{f}$。
• 通过将每个周期轨道点 $P_i$ 替换为一个边界圆 $S_i$，构造一个带边界的紧曲面 $M$。
• 定义一个诱导同胚 $\tau: M \to M$，其在 $S^2 \setminus \{P_1, \dotsc, P_n\}$ 上与 $\hat{f}$ 一致，且保持动力学结构。
• 对 $\tau$ 应用尼尔斯科夫理论，依据连接不动点的弧的同伦类对不动点进行尼尔斯科夫类分类。
• 利用李特尔伍德数 $L(\tau) = 2$ 及当 $n \geq 3$ 时 $\chi(M) < 0$ 的事实，推导出 $N(\tau) \geq 2$，即尼尔斯科夫数。
• 证明若 $f$ 的不动点 $P_0$ 不与轨道相连，则 $P_0$ 与 $P_\infty$ 在 $\tau$ 的尼尔斯科夫类中属于同一类，利用万有覆叠上的同伦提升性质。

实验结果

研究问题

• RQ1 每个 $C^1$ 保向微分同胚在 $\mathbb{R}^2$ 上若存在周期轨道，是否必然存在一个与之相连的不动点？
• RQ2 尼尔斯科夫不动点理论能否直接证明此类相连不动点的存在性？
• RQ3 何种拓扑条件可刻画不动点与周期轨道“相连”的情形？
• RQ4 诱导映射 $\tau$ 在紧化曲面 $M$ 上的尼尔斯科夫数 $N(\tau)$ 与相连不动点的存在性有何关系？
• RQ5 对 $f$ 的可微性假设是否必要？该结果能否推广至连续映射？

主要发现

• 诱导映射 $\tau$ 在紧化曲面 $M$ 上的尼尔斯科夫数 $N(\tau)$ 至少为 2。
• 当 $n = 2$ 时，曲面 $M$ 为环面，$\tau$ 恰好有两个尼尔斯科夫类，每个类的指标为 1。
• 当 $n \geq 3$ 时，$\chi(M) < 0$ 意味着尼尔斯科夫类的指标至多为 1，且由 $L(\tau) = 2$ 可推出 $N(\tau) \geq 2$。
• 任何不与周期轨道 $\mathcal{O}$ 相连的 $f$ 的不动点 $P_0$，在 $\tau$ 中必须与 $P_\infty$ 属于同一尼尔斯科夫类。
• 由于 $N(\tau) \geq 2$，至少存在一个 $\tau$ 的不动点（因而也是 $f$ 的不动点）位于与 $P_\infty$ 不同的尼尔斯科夫类中，这意味着它与 $\mathcal{O}$ 相连。
• 因此，$f$ 必然至少存在一个与周期轨道 $\mathcal{O}$ 相连的不动点，从而证明了定理 1.1。