[论文解读] Exactness, K-property and infinite mixing

Marco Lenci|arXiv (Cornell University)|Dec 17, 2012

Mathematical Dynamics and Fractals参考文献 22被引用 6

一句话总结

本文研究了无限测度保持动力系统中精确性与K-性质的含义，表明这些强混合性质蕴含一种弱形式的全局-局部混合：时间演化后的绝对连续概率测度渐近凝聚。关键贡献在于证明，对于精确或K-混合系统，不同初始状态下的可观测量平均值之差在长时间极限下趋于零，从而确立了一种由无限体积平均决定的平衡收敛形式。

ABSTRACT

We explore the consequences of exactness or K-mixing on the notions of mixing (a.k.a. infinite-volume mixing) recently devised by the author for infinite-measure-preserving dynamical systems.

研究动机与目标

• 阐明精确性与K-性质在无限遍历理论中的含义，特别是关于混合行为的影响。
• 建立强有限混合性质与无限体积混合概念之间的联系。
• 证明精确性蕴含一种弱形式的全局-局部混合，即时间演化后的测度渐近凝聚。
• 定义并分析平衡可观测量空间，该空间捕捉无限系统中的长期统计行为。
• 提供一个理解无限测度系统中收敛到平衡的框架，使用全局可观测量与无限体积平均。

提出的方法

• 引入 $L^∞(X,\mathscr{A},\mu)$ 中的全局可观测量，其在相空间中一致有界且定性相似。
• 通过一个测度有限的集合族 $V$ 的穷举族，定义无限体积平均 $\overline{\mu}(F) := \lim_{V\nearrow X} \frac{1}{\mu(V)} \int_V F\,d\mu$。
• 基于可观测量在时间演化下的相关性极限，提出五种无限混合的定义，包括全局-局部混合与全局-全局混合。
• 利用测度的前推 $T_*^n \mu_g$ 将全局-局部混合解释为收敛到平衡，其中 $\mu_g$ 是相对于 $\mu$ 绝对连续的概率测度。
• 将理论应用于具体系统：奇映射、$\mathbb{R}$ 上的平移不变扩张映射，以及带漂移的随机游走，证明精确性蕴含对某些 $F$ 有 $\rho(F) = \overline{m_{\mathbb{R}}}(F)$。
• 引入平衡可观测量空间 $\hat{\mathcal{E}}$，通过极限 $\rho(F) := \lim_{n\to\infty} m_{\mathbb{R}}((F\circ T^n)g)$ 定义，并证明精确性在一致收敛条件下可保证 $F \in \hat{\mathcal{E}}$。

实验结果

研究问题

• RQ1 精确性是否在具有无限不变测度的系统中蕴含某种形式的无限混合？
• RQ2 K-性质或精确性能否确保在无限系统中，不同初始状态导致相同的长期统计行为？
• RQ3 无限体积平均 $\overline{\mu}(F)$ 在表征无限测度系统中的平衡态方面起什么作用？
• RQ4 全局可观测量及其平均值在精确或K-混合系统中随时间演化如何表现？
• RQ5 在何种条件下，有界、周期性或渐近周期性可观测量属于平衡可观测量空间 $\hat{\mathcal{E}}$？

主要发现

• 精确性意味着，对于任意两个相对于 $\mu$ 绝对连续的概率测度 $\mu_g$ 与 $\mu_h$，所有全局可观测量 $F$ 满足差值 $T_*^n \mu_g(F) - T_*^n \mu_h(F)$ 趋于零，从而确立了渐近凝聚。
• 对于保持勒贝格测度的 $\mathbb{R}$ 上的平移不变扩张映射，任意 $\mathbb{Z}$-周期有界可观测量 $F$ 满足 $\rho(F) = \overline{m_{\mathbb{R}}}(F)$，即属于平衡可观测量空间 $\hat{\mathcal{E}}$。
• 在具有正漂移的随机游走系统中，任何渐近匹配满足 $\lim_{M\to\infty} \int_{a-M}^{a+M} F(x)\,dx$ 关于 $a$ 一致的函数 $F$ 的有界函数 $G$ 也属于 $\hat{\mathcal{E}}$，且 $\rho(G) = \rho(F)$。
• 当 $T$ 为精确映射且 $F$ 有界周期时，对所有 $g \in L^1(\mathbb{R})$，恒等式 $\lim_{n\to\infty} m_{\mathbb{R}}((F\circ T^n)g) = \overline{m_{\mathbb{R}}}(F) m_{\mathbb{R}}(g)$ 成立，确认了该设定下的全局-局部混合。
• 平衡可观测量空间 $\hat{\mathcal{E}}$ 包含所有满足 $\rho(F) = \lim_{M\to\infty} \int_{a-M}^{a+M} F(x)\,dx$ 关于 $a$ 一致存在的 $L^\infty$ 函数，且该极限等于无限体积平均 $\overline{m_{\mathbb{R}}}(F)$。
• 本文证明，精确性蕴含一种弱形式的全局-局部混合，即对所有 $F \in \mathcal{G}$，有 $\lim_{n\to\infty} \left| T_*^n \mu_g(F) - T_*^n \mu_h(F) \right| = 0$，表明收敛到同一统计态。