[论文解读] Flow-independent Anisotropic space, and perturbation of resonances

Yannick Guedes Bonthonneau|arXiv (Cornell University)|Jun 21, 2018

Mathematical Dynamics and Fractals参考文献 14被引用 7

一句话总结

该论文通过构建一个与流动无关的各向异性空间 $ \mathcal{H}_G $，证明了在 Anosov 向量场的光滑 $ C^1 $-扰动下，Ruelle-Pollicott 振子的稳定性。该空间适应于邻近的向量场。证明了 $ X $ 在 $ \mathcal{H}_G $ 上的离散谱（对应于振子）随扰动连续变化，且有限个振子可作为扰动参数的解析函数被解析延拓，从而将微局部谱理论扩展至摄动设置。

ABSTRACT

Given an Anosov vector field $X_0$, all sufficiently close vector fields also are of Anosov type. In this note, we check that one can choose the so-called "Faure-Sjöstrand" anistropic spaces to be adapted to any smooth vector field sufficiently close to $X_0$ in $C^1$ norm. It follows that finite families of resonances depend smoothly on the vector field with the usual caveats. In this second version, more details are given on the perturbation of spectral projectors.

研究动机与目标

• 将 Anosov 流的微局部谱理论扩展至向量场的扰动，通过构造一个稳定的各向异性函数空间。
• 证明 Ruelle-Pollicott 谱——定义为预解核的极点——在向量场的小 $ C^1 $-扰动下仍保持离散且行为良好。
• 建立有限个振子作为 $ C^\infty $-光滑扰动参数的连续（且在非退化时为光滑）函数的解析延拓。
• 为振子的扰动理论提供一个严格的微局部框架，填补现有文献中关于双曲动力系统中谱数据稳定性方面的空白。

提出的方法

• 使用符号 $ G \in S^{\log}(T^*M) $ 构造各向异性空间 $ \mathcal{H}_G = \operatorname{Op}(e^{-G})L^2(M) $，其中 $ G $ 的选择反映 Anosov 流的稳定/不稳定分裂。
• 利用余切丛上的哈密顿流 $ \Phi_t $ 定义汇点和源点，以表征流动的微局部结构，并指导 $ G $ 的选择。
• 应用预解公式和迹类估计，通过 $ \| \partial_\epsilon D(X_\epsilon, s) \|_{\operatorname{Tr}} $ 的界来控制预解式对扰动的依赖性。
• 在复平面上应用 Rouché 定理，证明在初始有限个振子邻域内，振子的数量和位置在小扰动下保持不变。
• 使用谱投影算子 $ \Pi_\gamma(\epsilon) = \int_\gamma (X_\epsilon - s)^{-1} ds $ 跟踪共振态的演化，证明其在扰动参数下具有 $ C^k $-正则性。
• 通过算子范数和迹类估计，建立预解式及其导数的统一有界性，确保谱数据的解析性和正则性。

实验结果

研究问题

• RQ1 对于固定 Anosov 向量场 $ X_0 $ 构造的各向异性空间 $ \mathcal{H}_G $，能否在 $ C^1 $-拓扑下适应于邻近的向量场 $ X $？
• RQ2 在 $ X_0 $ 的小 $ C^1 $-扰动下，$ X $ 的 Ruelle-Pollicott 谱（定义为预解核的极点）是否仍保持在右半平面 $ \{ s \in \mathbb{C} \mid \Re s > -R \} $ 内的离散谱？
• RQ3 能否将 $ X_0 $ 的有限个振子作为 $ C^\infty $-光滑单参数族 $ X_\epsilon $ 的连续函数进行解析延拓？
• RQ4 与有限个振子相关的谱投影算子在扰动参数下是否连续可微？可建立何种正则性？
• RQ5 微局部框架能否扩展至向量场不固定的情况？

主要发现

• 对于任意 $ C^\infty $ Anosov 向量场 $ X_0 $，存在 $ \eta > 0 $，使得所有满足 $ \|X - X_0\|_{C^1} < \eta $ 的 $ C^\infty $ 向量场 $ X $，在各向异性空间 $ \mathcal{H}_G $ 上的谱在 $ \{ s \in \mathbb{C} \mid \Re s > -R \} $ 内是离散的。
• 在 $ \mathcal{H}_G $ 上，$ X $ 的谱与 $ G $ 的选择无关，且恰好对应于 $ X $ 的 Ruelle-Pollicott 振子。
• 对于扰动 $ X_0 $ 的 $ C^\infty $-光滑单参数族 $ X_\epsilon $，存在 $ \epsilon_0 > 0 $，使得在邻域 $ \Omega \subset \mathbb{C} $ 内的振子 $ \lambda_1(\epsilon), \dots, \lambda_N(\epsilon) $ 是 $ \epsilon \in ]-\epsilon_0, \epsilon_0[ $ 的连续函数。
• 当振子为单重时，它们是 $ \epsilon $ 的光滑函数，其演化由预解式和谱投影算子控制。
• 与避开初始振子的闭合围道 $ \gamma $ 相关的谱投影算子 $ \Pi_\gamma(\epsilon) $，在足够大的 $ r $ 下是 $ \mathcal{H}_{rG} $ 上有界算子的 $ C^k $-族，从而保证了谱投影的正则性。
• 预解式及其导数的迹类性质和在 $ \epsilon $ 上的一致有界性已被证明，使得 Rouché 定理可用于追踪振子的运动。