[论文解读] The cohomological equation for partially hyperbolic diffeomorphisms

Amie Wilkinson|ArXiv.org|Sep 29, 2008

Mathematical Dynamics and Fractals参考文献 27被引用 37

一句话总结

本论文通过一种新颖的喷射（jet-based）方法并结合 Journé 定理，证明了在 $ r $-bunching 条件与可达性下，对于 $ C^r $ 函数 $ \phi $ 在部分双曲微分同胚上，上同调方程 $ \phi = \Phi \circ f - \Phi $ 的可解性与正则性。关键贡献在于建立了一种正则性传递机制，将沿中心-稳定与不稳定叶的横截性（holonomy）正则性传递至解 $ \Phi $ 的完整 $ C^r $ 光滑性。

ABSTRACT

We establish a theory for the existence and regularity of solutions to the cohomological equation over an accessible, partially hyperbolic diffeomorphism. As a by-product of our techniques, we show that for $r>1$, any $C^r$ homogeneous, locally compact submanifold of a $C^r$ manifold is in fact a $C^r$ submanifold.

研究动机与目标

• 解决部分双曲系统中缺乏周期轨道阻碍的问题，该问题使得经典的 Livsic 型判据失效，无法求解上同调方程。
• 通过引入 $ su $-路径与环路作为新的阻碍框架，克服周期轨道缺失的挑战。
• 在 $ f $ 满足 $ r $-bunching、可达性且 $ \phi $ 为 $ C^r $ 的条件下，建立上同调方程解的正则性，扩展经典 Anosov 系统的结果。
• 开发一种基于喷射的正则性传递机制，将沿动力叶层的霍尔诺米（holonomy）数据中的 Hölder 或 $ C^r $ 正则性传播至全局解的光滑性。
• 解决关于在 $ r $-bunching 与可达性条件下 $ C^r $ 解是否存在这一开放问题，证明连续解必为 $ C^r $。

提出的方法

• 引入 $ su $-路径与环路的概念，将 Anosov 系统中的周期轨道阻碍推广至部分双曲系统。
• 定义并利用可容许丛的饱和截面及中心-稳定/不稳定霍尔诺米，沿动力叶层传播正则性。
• 构造阶数为 $ \overline{\ell} $ 的喷射丛，并利用其霍尔诺米定义转移函数的 $ C^{\overline{\ell},\overline{\alpha}} $ 正则性。
• 应用 Journé 定理，将来自横截叶层（如 $ \mathcal{W}^u $ 与 $ \widehat{\mathcal{W}}^{cs} $）的正则性提升至解的完整 $ C^r $ 光滑性。
• 利用 $ r $-bunching 条件确保喷射空间与霍尔诺米映射中导数增长的统一控制。
• 在喷射丛上实施图变换，迭代改进正则性估计，从而建立转移函数 $ \Phi $ 的 $ C^r $ 正则性。

实验结果

研究问题

• RQ1 当周期轨道缺失时，是否可在部分双曲微分同胚上对 $ C^r $ 函数 $ \phi $ 求解上同调方程 $ \phi = \Phi \circ f - \Phi $？
• RQ2 在 $ r $-bunching 与可达性条件下，若上同调方程存在连续解 $ \Phi $，是否必有 $ C^r $ 正则性？
• RQ3 从 $ \phi $ 到 $ \Phi $ 的正则性传递中是否必然损失一阶导数？还是可证明 $ \Phi $ 为 $ C^{r-\varepsilon} $（对任意 $ \varepsilon > 0 $）？
• RQ4 在非 Anosov 设置下，是否可利用基于喷射的霍尔诺米方法，将正则性从叶层传播至整个流形？
• RQ5 $ su $-路径阻碍是否完全刻画了部分双曲系统中上同调方程的可解性？

主要发现

• 在 $ r $-bunching 与可达性条件下，若 $ \phi $ 为 $ C^r $ 且 $ r > 1 $ 不是整数，则上同调方程 $ \phi = \Phi \circ f - \Phi $ 的任意连续解 $ \Phi $ 必为 $ C^r $。
• 若 $ f $ 与 $ \phi $ 为 $ C^1 $，则解 $ \Phi $ 为 $ C^1 $；若 $ f $ 与 $ \phi $ 为实解析函数，则 $ \Phi $ 也为实解析函数。
• 在 $ f $ 为 $ C^1 $ 的条件下，连续解为 Hölder 连续，将 Livsic 的结果推广至部分双曲系统。
• 以新颖方式应用 Journé 定理，将来自横截叶层的 $ C^{\overline{\ell},\overline{\alpha}} $ 正则性传递至全局 $ C^r $ 光滑性。
• 喷射丛框架可精确量化霍尔诺米近似中的误差，误差项有界于 $ o(d(x,y)^r) $，从而实现正则性传递。
• 一个 $ r $-bunched 且可达的部分双曲微分同胚，当且仅当 $ su $-路径阻碍消失时，其上同调方程存在 $ C^r $ 解。