[论文解读] Logarithmic bounds for ergodic sums of certain flows on the torus: a short proof

Jérôme Carrand|arXiv (Cornell University)|Dec 14, 2020

Mathematical Dynamics and Fractals参考文献 8被引用 5

一句话总结

本文提供了简洁证明：对于2-环面上某些C1流，当Poincaré回传映射具有常型旋转数时，C1观测函数沿轨迹的遍历和的增长速度至多为对数级。通过将遍历积分与圆周上的Birkhoff和关联，并应用Denjoy-Koksma不等式，作者建立了对数界，证明了渐近行为中不存在偏差。该结果不仅推广至Giulietti-Liverani流，还涵盖非极小系统，表明具有受控遍历和的流类严格大于此前研究的类。

ABSTRACT

We give a short proof that the ergodic sums of $\mathcal{C}^1$ observables for a $\mathcal{C}^1$ flow on $\mathbb{T}^2$ admitting a closed transversal curve whose Poincar\'e map has constant type rotation number have growth deviating at most logarithmically from a linear one. For this, we relate the latter integral to the Birkhoff sum of a well-chosen observable on the circle and use the Denjoy-Koksma inequality. We also give an example of a nonminimal flow satisfying the above assumptions.

研究动机与目标

• 建立C1流在2-环面上轨迹上C1观测函数的遍历和的对数界。
• 通过放松极小性假设，将设定推广至Giulietti-Liverani流之外。
• 证明当旋转数为常型时，零平均C1观测函数的遍历积分至多以对数速度增长。
• 显式构造一个满足关键假设的非极小流，表明该流类严格大于先前研究的类。

提出的方法

• 通过到横截闭曲线的首次回传映射，将环面上的遍历积分与圆周上的Birkhoff和关联。
• 利用回传时间函数的光滑性，在圆周上定义一个转移观测函数g，表示f在回传时间上的积分。
• 对具有常型旋转数的圆周微分同胚，应用Denjoy-Koksma不等式以控制g的Birkhoff和。
• 利用常型数的连分数结构，控制回传时间的逼近，并推导出对数估计。
• 构造Poincaré映射与常型旋转之间的半共轭，以确认旋转数及非极小性。
• 利用Hartman-Grobman定理及稳定叶状结构的性质，分析流的动力学行为与不变集。

实验结果

研究问题

• RQ1 能否在比Anosov微分同胚导出的流更广的类中建立遍历和的对数界？
• RQ2 当Poincaré映射具有常型旋转数时，C1观测函数的遍历和的精确增长速率为何？
• RQ3 能否在T2上构造一个具有闭横截和常型旋转数的非极小C1流？
• RQ4 在具有无理旋转数的悬垂流背景下，Denjoy-Koksma不等式如何应用于遍历积分？

主要发现

• 任意零平均C1观测函数的遍历积分在时间上至多以对数速度增长，且对初始点一致成立。
• 该界的形式为 |Hx,T(f)| ≤ K1||f||C1 log(1 + T) + K2||f||C1，其中K1和K2仅依赖于流和旋转数。
• 证明表明遍历积分渐近展开中不存在偏差，与Baladi和Forni的结果一致。
• 显式构造了一个满足关键假设的T2上非极小C1流：存在具有常型旋转数的闭横截，且无周期轨道。
• 所构造的流具有一个极小不变集K，该集合在正向与负向时间均为吸引子，并支持唯一的不变测度。
• 通过涉及提升与交点的几何与动力学论证，证明Poincaré映射的旋转数为二次整数，因而属于常型。