[论文解读] The dynamical Borel-Cantelli lemma and the waiting time problems

Stefano Galatolo, Dong Han Kim|ArXiv.org|Oct 6, 2006

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

一句话总结

本文建立了度量保测动力系统中动力Borel-Cantelli（BC）性质与等待时间行为之间的双向关系。证明了若系统对递减的球列满足BC性质，则典型点的等待时间与球的测度成反比；反之，在控制半径衰减条件下，等待时间行为可推出BC性质。关键贡献在于提出一个通用框架，用于在非混合系统（如Axiom A映射和典型区间交换系统）中推导BC结果，方法基于等待时间估计。

ABSTRACT

We investigate the connection between the dynamical Borel-Cantelli and waiting time results. We prove that if a system has the dynamical Borel-Cantelli property, then the time needed to enter for the first time in a sequence of small balls scales as the inverse of the measure of the balls. Conversely if we know the waiting time behavior of a system we can prove that certain sequences of decreasing balls satisfies the Borel-Cantelli property. This allows to obtain Borel-Cantelli like results in systems like axiom A and generic interval exchanges.

研究动机与目标

• 澄清混沌系统中动力Borel-Cantelli性质与等待时间行为之间的关系。
• 表明BC性质蕴含等待时间的特定标度，即对典型点有 τ ∼ 1/μ(B(y, r_n))。
• 建立等待时间行为可推出BC性质的充分条件，尤其针对缺乏强混合性质的系统。
• 将BC结果推广至非双曲系统，如Axiom A微分同胚与典型区间交换系统，其中传统混合论证失效。
• 提供一种通用方法，通过等待时间估计与受控半径衰减推导BC序列。

提出的方法

• 证明等待时间与集合测度之间的一般不等式，扩展[15]中的结果，并表明在BC性质下该不等式变为等式。
• 利用在遍历系统中，集合的上极限预像测度要么为零要么为全测度的事实，从而得出测度论结论。
• 在点y处局部维数d_μ(y)存在的假设下，应用等待时间标度 τ_B(y,r_n)(x) ∼ r_n^{-d_μ(y)}。
• 引入受控半径衰减条件：r_n ≥ f^{-1}(n)，其中f为递减函数，以实现从等待时间到BC性质的逆向推导。
• 将该框架应用于Axiom A系统，通过[16]中已知的等待时间界验证所需的衰减条件。
• 利用区间交换系统的算术与几何性质，特别是性质 ˜P (δ(n_k) ≥ C/n_k)，推导出满足 r_n ≥ K/n 的序列的BC结果。

实验结果

研究问题

• RQ1 动力Borel-Cantelli性质是否对典型点的等待时间产生特定标度？
• RQ2 是否可利用等待时间行为推导出某些收缩目标序列的Borel-Cantelli性质？
• RQ3 半径衰减速率的何种条件可确保等待时间标度蕴含BC性质？
• RQ4 是否可在非混合系统（如Axiom A映射与典型区间交换）中建立BC结果？
• RQ5 测度的局部维数如何影响等待时间标度与BC行为？

主要发现

• 若系统对递减球列 {B(y, r_n)} 满足动力Borel-Cantelli性质，则对几乎处处的x，等待时间 τ_{B(y,r_n)}(x) 满足 lim_{n→∞} log τ_{B(y,r_n)}(x) / (-log μ(B(y,r_n))) = 1。
• 反之，若存在递减序列 ρ_n ↓ 0，使得 τ_{B(y,ρ_n)}(x) < f(ρ_n)（f为递减函数），则对任意递减序列 r_n 满足 r_n > f^{-1}(n)，序列 {B(y, r_n)} 满足Borel-Cantelli性质。
• 在Axiom A系统中，对任意局部维数 d_μ(y) 有限的点y，当 r_n ≥ n^{-1/(d_μ(y) - ε)}（ε > 0 极小）时，序列 {B(y, r_n)} 满足BC性质。
• 对典型区间交换映射（具有性质 ˜P 的情形），当 r_n ≥ K/n（K > 0，n 足够大）时，序列 {B(y, r_n)} 满足BC性质。
• 通过以等待时间控制替代光滑密度假设，本结果将[6]中已有的BC结果推广至具有较不规则不变测度的系统。
• 该框架使得在缺乏强混合性质的系统（如区间交换）中推导BC结果成为可能，其依赖于算术性质与返回时间估计，而非混合性。