We say that a sequence $ν_j$ of normalized Borel measures on $R$ is universal if, for any $f\in L_1(X,m)$ and any ergodic flow on the probability space, the following convergence holds: $$\left\|\int_R f(T_{r}x) dν_j(r) -\int f \, dm\right\|\to 0, \ \ j\to \infty.$$ If, for some $n$, the convolution powers $ν_j^{\ast n}$ form a universal sequence for ergodic flows, then $ν_j$ is also universal. This generalizes one of Kozlov-Treschev's results from \cite{KT}.
论文ID : 2511.09229标题 : Universal Averaging for Ergodic Flows作者 : Ryzhikov V.V.分类 : math.DS (Dynamical Systems)发表时间 : 2025年11月12日提交至arXiv论文链接 : https://arxiv.org/abs/2511.09229 本文研究了遍历流(ergodic flows)的通用平均问题。作者定义了一个归一化Borel测度序列 ν j \nu_j ν j 在 R \mathbb{R} R 上的通用性:对于任意 f ∈ L 1 ( X , m ) f\in L_1(X,m) f ∈ L 1 ( X , m ) 和任意遍历流,如下收敛成立:
∥ ∫ R f ( T r x ) d ν j ( r ) − ∫ f d m ∥ → 0 , j → ∞ \left\|\int_\mathbb{R} f(T_{r}x) d\nu_j(r) -\int f \, dm\right\|\to 0, \quad j\to \infty ∫ R f ( T r x ) d ν j ( r ) − ∫ f d m → 0 , j → ∞
主要结果表明:如果对某个 n n n ,卷积幂 ν j ∗ n \nu_j^{*n} ν j ∗ n 形成遍历流的通用序列,则 ν j \nu_j ν j 本身也是通用的。这推广了Kozlov-Treschev的一个重要结果。
经典遍历理论的推广 :经典遍历定理考虑的是均匀平均(如 h = χ [ 0 , 1 ] h = \chi_{[0,1]} h = χ [ 0 , 1 ] ),而Kozlov和Treschev在2003年的开创性工作中引入了加权同伦平均(weighted homothetic averages)的概念,形式为:
P t f ( x ) = ∫ R f ( T r t x ) h ( r ) d r P_t f(x) = \int_\mathbb{R} f(T_{rt}x)h(r)dr P t f ( x ) = ∫ R f ( T r t x ) h ( r ) d r 已知结果的局限 :Kozlov-Treschev的定理1.1证明了对于关于Lebesgue测度绝对连续的归一化测度 ν \nu ν ,上述平均收敛到常数。但这留下了一个核心问题:哪些奇异测度(singular measures)也具有通用性? 研究动机 :绝对连续测度的"卷积根"可能是奇异的 需要理解通用性在卷积操作下的稳定性 探索奇异测度在遍历理论中的作用 这个问题在动力系统理论中具有基础性意义,因为:
扩展了遍历定理的适用范围 揭示了测度的卷积结构与遍历性质之间的深刻联系 为多重混合性质和非均匀平均理论提供新工具 主要理论结果(定理1.2/2.1) :证明了通用性在"提取卷积根"操作下的稳定性——如果测度 ν \nu ν 的某个卷积幂 ν ∗ n \nu^{*n} ν ∗ n 是通用的,则 ν \nu ν 本身也是通用的构造性结果 :利用Sidon自同构的谱测度,给出了具体的奇异通用测度的例子——这些测度在低阶卷积幂时是奇异的,但在 d ≥ n d \geq n d ≥ n 阶时变为绝对连续通用流的刻画 :证明了所有混合流对连续测度类都是通用的(定理3.1) 证明了具有刚性因子的流不是通用的(定理3.2) 构造了非混合但通用的流的例子(注记3.3) 提出开放问题 :是否存在所有卷积幂都是奇异的通用测度?输入 :
概率空间 ( X , B , m ) (X, \mathcal{B}, m) ( X , B , m ) 上的遍历流 { T t } t ∈ R \{T_t\}_{t\in\mathbb{R}} { T t } t ∈ R R \mathbb{R} R 上的归一化Borel测度 ν \nu ν (或测度序列 { ν j } \{\nu_j\} { ν j } )函数 f ∈ L 1 ( X , m ) f \in L_1(X,m) f ∈ L 1 ( X , m ) 输出 :判断测度(序列)是否通用,即是否有:
∥ ∫ R f ( T r x ) d ν ( r ) − ∫ f d m ∥ L 1 → 0 \left\|\int_\mathbb{R} f(T_r x) d\nu(r) - \int f \, dm\right\|_{L_1} \to 0 ∫ R f ( T r x ) d ν ( r ) − ∫ f d m L 1 → 0
定义积分算子 P P P :
P f ( x ) = ∫ R f ( T r x ) d ν ( r ) Pf(x) = \int_\mathbb{R} f(T_r x) d\nu(r) P f ( x ) = ∫ R f ( T r x ) d ν ( r )
关键观察:
如果 P P P 对应测度 ν \nu ν ,则 P n P^n P n 对应测度 ν ∗ n \nu^{*n} ν ∗ n (n n n 重卷积) P P P 在常数函数上作用为恒等算子限制在零均值函数空间 L 1 0 L_1^0 L 1 0 上,记为 Q Q Q 引理 :设 Q j Q_j Q j 是 L 2 L_2 L 2 中的正规算子序列(即 Q j ∗ Q j = Q j Q j ∗ Q_j^* Q_j = Q_j Q_j^* Q j ∗ Q j = Q j Q j ∗ ),如果对所有零均值函数 f ∈ L 2 f \in L_2 f ∈ L 2 ,有 ∥ Q j n f ∥ → 0 \|Q_j^n f\| \to 0 ∥ Q j n f ∥ → 0 ,则 ∥ Q j f ∥ → 0 \|Q_j f\| \to 0 ∥ Q j f ∥ → 0 。
证明思路 (不依赖谱表示的初等论证):
由 ∥ Q j n f ∥ → 0 \|Q_j^n f\| \to 0 ∥ Q j n f ∥ → 0 和算子可交换性,得到:
( Q j ∗ Q j ) 2 n f → w 0 (Q_j^* Q_j)^{2n} f \xrightarrow{w} 0 ( Q j ∗ Q j ) 2 n f w 0 这等价于:
( Q j 2 n − 1 f , Q j 2 n − 1 f ) → 0 (Q_j^{2^n-1} f, Q_j^{2^n-1} f) \to 0 ( Q j 2 n − 1 f , Q j 2 n − 1 f ) → 0 逐步降幂:
( Q j ∗ Q j ) 2 n − 1 f → w 0 , … , Q j ∗ Q j f → w 0 (Q_j^* Q_j)^{2^{n-1}} f \xrightarrow{w} 0, \ldots, Q_j^* Q_j f \xrightarrow{w} 0 ( Q j ∗ Q j ) 2 n − 1 f w 0 , … , Q j ∗ Q j f w 0 最后一个收敛等价于 ∥ Q j f ∥ → 0 \|Q_j f\| \to 0 ∥ Q j f ∥ → 0 密度论证 :L 1 0 L_1^0 L 1 0 中的 L 2 L_2 L 2 函数是稠密的范数控制 :∥ Q j g ∥ 1 ≤ ∥ Q j g ∥ 2 → 0 \|Q_j g\|_1 \leq \|Q_j g\|_2 \to 0 ∥ Q j g ∥ 1 ≤ ∥ Q j g ∥ 2 → 0 (对 L 2 L_2 L 2 函数)逼近论证 :对任意 f ∈ L 1 0 f \in L_1^0 f ∈ L 1 0 和 ϵ > 0 \epsilon > 0 ϵ > 0 ,选择 g ∈ L 2 g \in L_2 g ∈ L 2 使得 ∥ f − g ∥ 1 < ϵ \|f-g\|_1 < \epsilon ∥ f − g ∥ 1 < ϵ ,则对充分大的 j j j :
∥ Q j f ∥ 1 ≤ ∥ Q j ( f − g ) ∥ 1 + ∥ Q j g ∥ 1 ≤ ϵ + o ( 1 ) \|Q_j f\|_1 \leq \|Q_j(f-g)\|_1 + \|Q_j g\|_1 \leq \epsilon + o(1) ∥ Q j f ∥ 1 ≤ ∥ Q j ( f − g ) ∥ 1 + ∥ Q j g ∥ 1 ≤ ϵ + o ( 1 ) 卷积根的稳定性 :首次系统地建立了通用性在卷积根提取下的稳定性,这是一个非平凡的结果,因为奇异性可能在卷积下消失正规算子的初等处理 :避免使用谱定理,给出了完全初等的证明,使结果更加自洽Sidon自同构的应用 :创新性地利用Sidon自同构的谱性质构造具体例子,将抽象的泛函分析结果与具体的动力系统联系起来Cantor型测度构造 :在定理3.2的证明中,构造了一个类似Cantor集的测度,巧妙地利用刚性序列 t ( i ) t(i) t ( i ) 和慢增长序列 m ( i ) m(i) m ( i ) 注 :本文是纯数学理论论文,不包含数值实验或数据集。所有结果都是严格的数学证明。
构造性例子 :利用文献4 中的Sidon自同构构造具体的奇异通用测度 通过特殊流(special flow)将圆周上的谱测度转化为 R \mathbb{R} R 上的测度 反例构造 :对定理3.2,构造了精细的Cantor型测度,该测度在刚性时间上不收敛到常数 存在性证明 :对注记3.3,参考文献5 的方法构造非混合但通用的流 如果归一化Borel测度 ν \nu ν 的某个卷积幂 ν ∗ n \nu^{*n} ν ∗ n 对遍历流是通用的,则 ν \nu ν 本身是通用的。
意义 :这允许我们从已知的绝对连续通用测度(由定理1.1保证)推导出奇异通用测度的存在性。
如果测度序列 { ν j } \{\nu_j\} { ν j } 的卷积幂序列 { ν j ∗ n } \{\nu_j^{*n}\} { ν j ∗ n } 是通用的,则 { ν j } \{\nu_j\} { ν j } 本身是通用的。
推论 :结合Kozlov-Treschev的结果,任何卷积幂为绝对连续的测度都是通用的。
所有混合流对连续测度类都是通用的。
证明要点 :利用混合性质 μ ( A ∩ T t B ) → μ ( A ) μ ( B ) \mu(A \cap T_t B) \to \mu(A)\mu(B) μ ( A ∩ T t B ) → μ ( A ) μ ( B ) ,通过直接计算验证。
具有刚性因子的流不是通用的。
构造要点 :
利用刚性序列 t ( i ) t(i) t ( i ) 满足 μ ( A ∩ T t ( i ) A ) → μ ( A ) \mu(A \cap T_{t(i)} A) \to \mu(A) μ ( A ∩ T t ( i ) A ) → μ ( A ) 扩展到 μ ( A △ T m ( i ) t ( i ) A ) → 0 \mu(A \triangle T_{m(i)t(i)} A) \to 0 μ ( A △ T m ( i ) t ( i ) A ) → 0 (对慢增长的 m ( i ) m(i) m ( i ) ) 构造Cantor型测度,其支撑在嵌套区间系统上 在第 n n n 层,定义 2 n 2^n 2 n 个区间 I 0 , I 1 , … I_0, I_1, \ldots I 0 , I 1 , … ,每个测度为 2 − n 2^{-n} 2 − n 区间选择使得 p ( i ) t ( i ) ∈ m ( i ) t ( i ) I 0 p(i)t(i) \in m(i)t(i)I_0 p ( i ) t ( i ) ∈ m ( i ) t ( i ) I 0 且 μ ( A △ T t A ) < 0.001 μ ( A ) \mu(A \triangle T_t A) < 0.001\mu(A) μ ( A △ T t A ) < 0.001 μ ( A ) 结果 :对 f = χ A f = \chi_A f = χ A ,平均值 ∫ R f ( T m ( i ) t ( i ) r x ) d ν ( r ) \int_\mathbb{R} f(T_{m(i)t(i)r}x) d\nu(r) ∫ R f ( T m ( i ) t ( i ) r x ) d ν ( r ) 接近 f f f 而非常数。
存在非混合但对所有连续测度通用的流。
构造思想 :
在快速增长序列 n i n_i n i 上有反混合:μ ( A ∩ T n i A ) → μ ( A ) / 2 \mu(A \cap T_{n_i} A) \to \mu(A)/2 μ ( A ∩ T n i A ) → μ ( A ) /2 但偏离混合的区间 I k I_k I k 足够小且稀疏,使得对所有连续测度 ν \nu ν :
∑ i ν ( J i / t k ) → 0 , k → ∞ \sum_i \nu(J_i/t_k) \to 0, \quad k \to \infty ∑ i ν ( J i / t k ) → 0 , k → ∞ Sidon自同构的例子 :
从文献4 中的Sidon自同构 S S S 出发 其谱测度集中在单位圆上 构造特殊流 T t T_t T t ,返回函数恒为1 得到的谱测度在 R \mathbb{R} R 上是奇异的(低阶卷积),但高阶卷积幂绝对连续 由定理1.2,这些奇异测度是通用的 Kozlov-Treschev (2003) 1 :首次引入加权同伦平均 证明了绝对连续测度的通用性(定理1.1) 开创了非均匀平均的研究方向 Ryzhikov (1991) 2 :研究多维时间流的同伦平均 探索混合性质与平均的关系 证明了 ∫ R μ ( A ∩ T r t B ) h ( r ) d r → μ ( A ) μ ( B ) \int_\mathbb{R} \mu(A \cap T_{rt}B)h(r)dr \to \mu(A)\mu(B) ∫ R μ ( A ∩ T r t B ) h ( r ) d r → μ ( A ) μ ( B ) Bogachev (2020) 3 :系统综述了Kozlov-Treschev平均在遍历定理中的应用 研究了非均匀平均的各种推广 Ryzhikov (2026) 4 :研究Sidon自同构的谱性质 提供了卷积幂逐步变为绝对连续的测度例子 为本文提供了关键的构造工具 Ryzhikov (2021) 5 :研究刚性变换的混合集 证明了某些非混合变换仍可在大部分时间上混合 为注记3.3提供了理论基础 相比现有工作,本文:
首次建立卷积稳定性 :通用性在卷积根提取下的稳定性是全新的扩展到奇异测度 :突破了Kozlov-Treschev的绝对连续性限制完整刻画通用流 :给出了混合流、刚性流、以及中间情况的完整图景技术上更初等 :避免深层谱理论,使证明更可接近通用性的卷积稳定性 :通用测度的卷积根仍是通用的,这为构造新的通用测度提供了系统方法奇异通用测度的存在性 :通过Sidon自同构,证明了存在奇异但通用的测度通用流的结构理论 :混合 ⇒ \Rightarrow ⇒ 通用(对连续测度) 刚性因子 ⇒ \Rightarrow ⇒ 非通用 存在非混合的通用流 构造的非显式性 :虽然证明了奇异通用测度的存在,但具体构造依赖于Sidon自同构的深层理论连续测度的限制 :定理3.1-3.3仅对连续测度类讨论,原子测度的情况未涉及最优性未知 :定理中的卷积幂次数 n n n 是否最优未讨论量化估计缺失 :收敛速度没有定量估计开放问题 :是否存在所有卷积幂都奇异的通用测度?这是本文提出的核心开放问题量化理论 :建立收敛速度的估计,依赖于测度的奇异性程度高维推广 :将结果推广到 R d \mathbb{R}^d R d 上的流应用探索 :在具体动力系统(如双曲流、Hamiltonian流)中应用这些结果算法问题 :给定测度,如何判断其是否通用?理论深度 :揭示了测度的卷积结构与遍历性质的深刻联系 正规算子引理的初等证明展示了高超的技巧 将抽象泛函分析与具体动力系统优雅地结合 结果的完整性 :不仅证明了主要定理,还给出了具体构造 通过反例(定理3.2)和正面例子(注记3.3)完整刻画了通用流的景观 提出的开放问题具有明确的研究价值 方法的创新性 :避免使用谱定理的初等论证更具启发性 Cantor型测度的构造技巧精妙 卷积根的思想可能有更广泛应用 写作的清晰度 :双语呈现(英文和俄文)增加了可及性 证明思路清晰,逻辑严密 引用文献恰当,历史脉络清楚 具体例子的可计算性 :Sidon自同构的构造相当抽象,难以给出显式公式 定理3.2中Cantor测度的构造虽然理论上清晰,但实际计算复杂 结果的锐利性 :定理中"某个 n n n "的最优性未讨论 是否可以放松绝对连续性到其他条件(如有界变差)未探索 证明技术的局限 :正规算子引理的证明虽然初等,但仅适用于 L 2 L_2 L 2 空间 从 L 2 L_2 L 2 到 L 1 L_1 L 1 的延拓依赖于密度论证,可能损失定量信息 应用方向不明确 :作为纯理论工作,未讨论在具体问题中的应用 与其他数学分支(如调和分析、数论)的联系未充分挖掘 对领域的贡献 :显著推进了非均匀遍历定理的理论 为奇异测度在动力系统中的作用提供了新视角 开放问题可能引发后续研究 实用价值 :作为纯数学理论工作,直接应用有限 但可能在长期平均、统计物理等领域有潜在应用 可复现性 :所有证明都是完整的数学论证,完全可验证 理论构造虽然抽象,但逻辑清晰 技术影响 :正规算子的初等处理技巧可能在其他问题中有用 卷积稳定性的思想可能启发相关研究 遍历理论研究 :为研究非标准平均提供工具谱理论 :通过动力系统的视角理解测度的谱性质调和分析 :卷积结构与遍历性质的联系可能有调和分析的应用理论物理 :在统计力学中,非均匀时间平均可能有物理意义1 V.V. Kozlov, D.V. Treschev, On new forms of the ergodic theorem , J. Dynam. Control Systems, 9:3 (2003), 449-453
2 V.V. Ryzhikov, Connection between the mixing properties of a flow and the isomorphicity of the transformations that compose it , Math. Notes, 49:6 (1991), 621-627
3 V.I. Bogachev, Non-uniform Kozlov–Treschev averagings in the ergodic theorem , Russian Math. Surveys, 75:3 (2020), 393-425
4 V.V. Ryzhikov, Спектр и совместная динамика пуассоновских надстроек над преобразованиями ранга один , Матем. сборник, 117:1 (2026)
5 V.V. Ryzhikov, Mixing Sets for Rigid Transformations , Math. Notes, 110:4 (2021), 565-570
总结 :本文是遍历理论领域的一项重要理论进展,通过精巧的泛函分析技巧建立了通用测度的卷积稳定性,并给出了奇异通用测度的存在性证明。尽管作为纯理论工作缺乏直接应用,但其提出的开放问题和发展的技术方法对该领域的后续研究具有重要启发意义。论文的主要价值在于深化了我们对测度结构与动力系统遍历性质之间关系的理解。