Finite random iterated function systems do not always satisfy Bowen's formula

基本信息

• 论文ID: 2509.02070
• 标题: Finite random iterated function systems do not always satisfy Bowen's formula
• 作者: Yuya Arima (名古屋大学数学研究科)
• 分类: math.DS (动力系统)
• 发表时间: 2025年11月6日 (arXiv预印本)
• 论文链接: https://arxiv.org/abs/2509.02070

摘要

本文构造了一个满足开集条件的有限随机迭代函数系统，使得Bowen公式的随机版本不成立。这个反例表明，为随机递归构造建立的类似结果并不总是适用于随机迭代函数系统。

研究背景与动机

问题背景

1. 随机分形集合的研究意义：随机分形集合作为比确定性迭代函数系统生成的分形集合更接近自然现象的模型，在数学和物理学中具有重要地位。
2. 两种主要的随机构造方法：
   • 随机迭代函数系统(RIFSs)：在每一层级上统一选择IFS
   • 随机递归构造：对每个有限字符串独立选择IFS，具有更强的独立性
3. 现有理论的局限性：虽然已知随机递归构造的维数理论结果，但对于RIFSs是否总是成立相同的结果尚不清楚。

研究动机

本文旨在探索RIFSs与随机递归构造之间的根本差异，特别是在分形维数理论方面。作者发现，尽管两种方法在许多情况下给出相似的结果，但在某些特殊情况下会出现显著差异。

核心贡献

1. 构造了关键反例：提供了一个满足开集条件的有限随机迭代函数系统，使得随机版本的Bowen公式失效
2. 揭示了理论差异：证明了随机递归构造的结果不能直接推广到随机迭代函数系统
3. 严格的数学证明：通过结合连分数理论和遍历理论，给出了完整的数学论证
4. 理论边界的明确：明确了RIFSs理论的适用范围和局限性

方法详解

任务定义

构造一个有限随机迭代函数系统 $(p⃗,Ψ)$，使得对于 $P$-几乎所有的 $ω ∈ Ω$，有： $\dim_H(J(Ψ(ω))) < B(Ψ)$ 其中 $B(Ψ)$ 是Bowen参数。

构造框架

1. 基本设置

• 取 $X = [0,1]^d$，定义仿射相似映射： $φ_i(x) = \frac{1}{2}x + \frac{1}{2}v_i, \quad v_i = \sum_{ℓ=1}^d i_ℓe_ℓ$
• 定义索引集：
  • $I_1 := \{0\}^d$ (单点集)
  • $I_{2^d} := \{0,1\}^d$ (全顶点集)

2. 框架定义

引入"框架"概念 $F = (\{U_n\}_{n∈ℕ}, \{V_n\}_{n∈ℕ})$，满足：

• $(F1)$: $1 ≤ U_1$
• $(F2)$: $nU_n ≤ V_n$ 且 $(U_n + V_n)^3 ≤ U_{n+1}$

3. IFS构造

对每个 $i ∈ ℕ$，定义： $I^{(i)} := I_1^{U_i} × I_{2^d}^{V_i}$

每个 $ψ_τ^{(i)}$ 是 $U_i + V_i$ 个映射的复合。

概率向量选择

选择概率向量： $p_n = \frac{1}{Cn^2}, \quad C = \sum_{n=1}^∞ \frac{1}{n^2}$

这个选择与连分数理论中的经典结果相呼应。

技术创新点

1. 连分数理论的应用

利用连分数展开的概率性质，特别是Khinchin定理的推广，建立了随机序列与连分数系数增长率之间的联系。

2. 遍历理论的巧妙运用

通过Birkhoff遍历定理分析极限行为：