[论文解读] Invariant manifolds for analytic dynamical systems over ultrametric fields

Helge Glöckner|ArXiv.org|Aug 20, 2008

advanced mathematical theories参考文献 16被引用 3

一句话总结

本文在完备的非阿基米德域上建立了解析动力系统中不变流形——特别是 a-稳定、中心稳定和中心流形——的存在性与结构。通过非阿基米德分析及切映射的谱条件，证明了在 a-双曲性条件下，a-稳定集是与 a-稳定子空间相切的解析子流形，将经典稳定流形定理推广至非阿基米德设定，并应用于局部域上的李群。

ABSTRACT

We give an exposition of the theory of invariant manifolds around a fixed point, in the case of time-discrete, analytic dynamical systems over a complete ultrametric field K. Typically, we consider an analytic manifold M modelled on an ultrametric Banach space over K, an analytic self-map f of M, and a fixed point p of f. Under suitable conditions on the tangent map of f at p, we construct a centre-stable manifold, a centre manifold, respectively, an r-stable manifold around p, for a given positive real number r not exceeding 1. The invariant manifolds are useful in the theory of Lie groups over local fields, where they allow results to be extended to the case of positive characteristic which previously were only available in characteristic zero (i.e., for p-adic Lie groups).

研究动机与目标

• 将经典稳定流形理论推广至完备非阿基米德域上的解析动力系统，特别是在正特征情形下。
• 通过切映射的谱条件与几何条件，在非阿基米德设定中定义并构造 a-稳定、中心稳定与中心流形。
• 通过将双曲性概念推广至 a-双曲性，为非阿基米德域上部分双曲动力系统奠定基础。
• 证明在固定点处线性化映射的 a-双曲性条件下，a-稳定集是与 a-稳定子空间相切的解析子流形。
• 建立局部与全局稳定流形在动力系统下不变，并通过逆迭代呈现递归结构。

提出的方法

• 使用切映射 $T_p(f)$ 的 a-双曲性，通过将切空间分解为 a-稳定与 a-不稳定子空间，并对算子范数施加条件来定义。
• 应用非阿基米德分析与满足强三角不等式的非阿基米德范数，以巴拿赫空间模型定义动力系统。
• 在序列空间中使用压缩映射原理，将 a-稳定流形构造为在 a-不稳定子空间上的图像。
• 利用反函数定理与解析隐函数理论，证明不变流形是浸入的解析子流形。
• 应用谱理论，将 a-双曲性与有限维线性映射的谱联系起来，确保对所有特征值 $\lambda$ 都有 $a \neq |\lambda|$。
• 通过反向迭代构造流形：$W_a^s = \bigcup_{n=0}^\infty f^{-n}(\Omega)$，其中 $\Omega$ 是点 $p$ 的适当邻域。

实验结果

研究问题

• RQ1 在非阿基米德域上的流形上，何种条件下解析微分同胚会存在不变的 a-稳定流形？
• RQ2 经典双曲性概念应如何适应非阿基米德设定，以保证稳定流形的存在？
• RQ3 a-稳定集 $W_a^s(f,p)$ 的精确结构是什么？它在何时是解析子流形？
• RQ4 选择 $a \in (0,1]$ 如何影响不变流形的几何与动力行为？
• RQ5 在存在非双曲部分的情况下，该理论能否推广至中心稳定与中心流形？

主要发现

• a-稳定集 $W_a^s(f,p)$ 是流形 $M$ 的浸入解析子流形，且与切空间的 a-稳定子空间 $T_p(M)_{a,s}$ 相切。
• 在 $W_a^s(f,p)$ 上的流形结构是唯一的，并在 $f$ 下不变，且 $f|_{W_a^s}$ 是其自身的解析微分同胚。
• 在 $W_a^s$ 中点 $p$ 的每个邻域都包含一个子流形 $\Omega$，使得 $W_a^s = \bigcup_{n=0}^\infty f^{-n}(\Omega)$，反映了反向动力学。
• 当 $a=1$ 时，1-稳定流形 $W^s$ 与经典稳定流形一致，且 $T_p(f)$ 是双曲的当且仅当 $1 \notin \{|\lambda| : \lambda \text{ 是 } T_p(f) \otimes_{\mathbb{K}} \mathrm{id}_{\overline{{\mathbb{K}}}} \text{ 的特征值} \}$。
• 在有限维情形下，a-双曲性等价于对线性化映射在代数闭包中的所有特征值 $\lambda$ 都有 $a \neq |\lambda|$。
• a-不稳定流形通过反向迭代与压缩映射原理，作为在不稳定子空间上的解析函数图像被构造出来。