遍历理论中的叶状结构与局部线性化
叶状结构是微分动力系统中一个基本概念,它将相空间划分为一系列相互不相交的子流形(称为“叶”)。在遍历理论中,我们关心的是在保测变换下,这些叶结构如何与系统的遍历性质相互作用。
1. 叶状结构的基本定义
一个d维的光滑叶状结构 F 将一个n维流形M分解为一系列连通、浸入的d维子流形(即叶),使得M中每一点p都有一个邻域U(称为“叶状图册”中的图册)和一个微分同胚 φ: U → R^n,它将U中每个叶的连通分支映射到R^d × {常数} 的超平面。简单来说,局部上,叶看起来就像一堆平行的d维平面。这些叶在整体上可能会非常复杂地缠绕在一起。
2. 遍历理论与不变叶状结构
在动力系统理论中,我们特别关注在变换T: M → M下保持不变的叶状结构。这意味着,如果L是F的一片叶,那么它的像T(L)也必须是F中的一片(完整的)叶。不变叶状结构是理解系统长期行为的关键几何框架。
例如,在双曲系统中,稳定流形和不稳定流形就是两个最重要的不变叶状结构。点沿着稳定流形向未来会相互指数靠近,沿着不稳定流形向过去会相互指数靠近。
3. 局部线性化与叶状结构的关系
局部线性化是研究动力系统局部行为的一个强大工具。它的核心思想是:在一个非游荡点(如不动点或周期点)附近,能否通过一个坐标变换(称为“线性化坐标”或“共轭”),将非线性的动力系统变成一个线性的系统。
这个线性化过程与叶状结构紧密相关:
- 线性化提供不变的“坐标轴”:一个可对角化的线性映射有明确的特征方向和与之对应的不变子空间。这些不变子空间就是线性系统的“叶”。
- 非线性系统的叶作为线性化坐标的“水平集”:如果非线性系统在一点附近可以光滑地线性化,那么这个线性化坐标变换会将非线性系统的稳定/不稳定流形(即非线性系统的叶)映射到线性系统的稳定/不稳定子空间(即线性系统的叶)。
- 因此,成功的局部线性化等价于在该点附近找到一个非常规则的(即“平直的”)叶状结构,使得动力系统在沿着这些叶的方向上的行为是简单的线性行为。
4. 遍历理论中的意义:绝对连续性与SRB测度
当我们将遍历理论(研究统计行为)与叶状结构(研究几何结构)结合起来时,一个核心概念是叶状结构的“绝对连续性”。
- 问题:一个变换可能同时存在多个不变叶状结构(如稳定叶状结构W^s和不稳定叶状结构W^u)。一个自然的问题是:沿着不稳定叶的积分(体积)与横截于稳定叶的积分(体积)之间有什么关系?
- 绝对连续性:如果一个叶状结构是绝对连续的,那么粗略地说,一个在横截方向上测度为零的集合,在几乎每片叶上测度也为零。这意味着叶的“形变”是足够好的,不会将零测集扭曲成正测集。
- 与局部线性化的联系:如果系统在某个意义下可以很好地局部线性化,那么其不稳定叶状结构通常是绝对连续的。这是证明许多系统存在SRB测度(一种描述混沌系统稳态分布的物理测度)的关键一步。SRB测度沿着不稳定方向是绝对连续的,这正是不稳定叶状结构的绝对连续性所保证的几何性质。
总结
遍历理论中的叶状结构与局部线性化深刻相连。局部线性化的可能性为系统提供了良好的局部几何坐标,这些坐标直接定义了规则的(线性的)不变叶状结构。在整体上,这些叶状结构的绝对连续性等遍历性质,是连接系统的微观几何(叶的结构)与宏观统计(SRB测度)的桥梁,是光滑遍历理论研究的核心内容之一。