[论文解读] Density of positive Lyapunov exponents for SL(2,R) cocycles

Artur Avila|arXiv (Cornell University)|Apr 25, 2010

Quantum chaos and dynamical systems参考文献 11被引用 6

一句话总结

本文证明了在所有非周期性底动力系统和所有标准正则类（如赫尔德连续、索博列夫、光滑）下，SL(2,R)柯西积的正李雅普诺夫指数在空间中是稠密的。通过在施罗丁格柯西积背景下运用分析与摄动技术，证明了对泛函势能集合，正李雅普诺夫指数在能量的稠密集上普遍存在，从而解决了该设定下非一致双曲性普遍存在的长期悬而未决问题。

ABSTRACT

We show that SL(2,R) cocycles with a positive Lyapunov exponent are dense in all regularity classes and for all non-periodic dynamical systems. For Schrödinger cocycles, we show prevalence of potentials for which the Lyapunov exponent is positive for a dense set of energies.

研究动机与目标

• 确定在各种正则类下，零李雅普诺夫指数的柯西积是否可被正李雅普诺夫指数的柯西积逼近。
• 解决SL(2,R)柯西积设定中非一致双曲性密度问题，特别是针对光滑和解析正则类。
• 建立施罗丁格柯西积在泛函势能集合下，对能量的稠密集中正李雅普诺夫指数的普遍性。
• 将已知的低正则性（连续）设定下的结果推广至高正则性（赫尔德、光滑、解析）类别。

提出的方法

• 引入柯西积的‘丰富’拓扑空间概念，该空间允许通过李代数 sl(2,R) 上的指数映射实现光滑摄动。
• 运用科塔尼理论与解析延拓技术，分析柯西积中参数函数的李雅普诺夫指数。
• 利用普吕弗角函数 Φε(v + E + tw, sw) 在 s = 0 附近的解析性，研究单值群迹的零点阶数。
• 基于 Φε 的渐近展开采用反证法，排除在正测度参数集中李雅普诺夫指数恒为零的可能性。
• 利用零点阶数 k(E,t) 的连续性与上半连续性，提取出紧集 K 与区间 J，使得主导项 c(E,t) 在其上连续且为正。
• 结合引理 4.2 的估计与嵌套尺度上的几何级数论证，当假设在正测度集上李雅普诺夫指数为零时，导出矛盾。

实验结果

研究问题

• RQ1 当底动力系统为非周期性时，SL(2,R)柯西积中正李雅普诺夫指数的集合在连续柯西积空间中是否稠密？
• RQ2 在高正则类（如 Ck、赫尔德、解析）中，能否用正李雅普诺夫指数的柯西积逼近零李雅普诺夫指数的柯西积？
• RQ3 对于施罗丁格柯西积，是否存在一个势能集合，使得在能量的稠密集上李雅普诺夫指数为正，且该集合具有普遍性？
• RQ4 李雅普诺夫指数恒为零的参数集结构如何？在泛函条件下是否可被排除？

主要发现

• 对于任意非周期性底动力系统和所有标准正则类（包括光滑与解析类），正李雅普诺夫指数在丰富柯西积空间中是稠密的。
• 对于施罗丁格柯西积，使得李雅普诺夫指数在能量的稠密集上为正的势能集合，在测度与范畴意义下具有普遍性。
• 证明表明，若李雅普诺夫指数在正测度参数集上恒为零，则会因普吕弗角函数的渐近行为及其关于 s 的幂级数展开而导出矛盾。
• 单值群迹展开中的主导项被证明具有 c(E,t)s^k 的形式，其中 k 为偶数，且在正测度的紧集上 c(E,t) > 0，这是导致矛盾的关键。
• 通过将普吕弗函数的统一估计与嵌套尺度上的几何级数论证相结合，导出矛盾，表明假设的零指数会导致不可能的增长率。
• 即使扰动 w 固定而通过线性族 v + tw 变化势能，该结果仍成立，证明了在完整参数空间中的稠密性。