[论文解读] Existence and Uniqueness of Orbital Measures

Michael F. Barnsley|ArXiv.org|Jul 30, 2005

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

一句话总结

本文给出了一个关于包含凝聚测度与由迭代函数系统（IFS）导出的加权前推算子的凸组合的线性测度方程解的存在性与唯一性的初等证明。该解被称为轨道测度，通过所有IFS映射的有限复合的无穷级数构造而成，在温和的拓扑与概率条件下绝对收敛，即使在不假设底层空间具有压缩性或完备性的情况下亦成立。

ABSTRACT

We note an elementary proof of the existence and uniqueness of a solution $% μ\in \mathbb{P(X)}$ to the equation $μ=pμ_{0}+q\hat{F}μ$. Here $\mathbb{X}$ is a topological space, $\mathbb{P(X)}$ is the set of Borel measures of unit mass on $\mathbb{X}$, $μ_{0}\in $ $\mathbb{P(X)}$ is given, $p>0$, and $q\geq 0$ with $p+q=1$. The transformation $\hat{F}:% \mathbb{P(X) o P(X)}$ is defined by $\hat{F}\upsilon = sum\limits_{n=1}^{N}p_{n}\upsilon \circ f_{n}^{-1}$ where $f_{n}:\mathbb{% X o X}$ is continuous, $p_{n}>0$ for $n=1,2,...,N$, $N$ is a finite strictly positive integer, and $ sum\limits_{n=1}^{N}p_{n}=1$. This problem occurs in connection with iterated function systems (IFS).

研究动机与目标

• 建立方程 μ = pμ₀ + qF̂μ 在 μ ∈ P(X) 中解的存在性与唯一性，其中 F̂ 是 Borel 概率测度上的线性前推算子。
• 提供一种初等证明，不依赖压缩映射原理或强拓扑假设（如完备性或紧致性）。
• 将解表征为所有 IFS 映射有限复合的收敛级数，其权重由概率 pn 和参数 q 决定。
• 证明解在凝聚测度与 IFS 算子联合作用下保持不变，从而定义所谓的“轨道测度”。

提出的方法

• 解 μ 显式构造为无穷级数：μ = pμ₀ + ∑_{|σ|≥1} pq^{|σ|} p_σ₁⋯p_σ_{|σ|} (f_σ₁∘⋯∘f_σ_{|σ|})(μ₀)，其中 σ 遍历 {1,…,N}∗ 中所有非空有限字符串。
• 通过与几何级数 ∑_{n=0}^∞ pq^n = 1 的逐项比较，确立级数的绝对收敛性与在 Borel 集上的一致收敛性。
• 通过在不相交 Borel 集上交换求和顺序，验证 μ 是一个定义良好的 Borel 概率测度，满足可列可加性。
• 通过直接代入与级数项的重编号，证明解满足不动点方程 μ = pμ₀ + qF̂μ。
• 唯一性通过假设存在另一解 ν 并利用迭代代入法证明其必须与 μ 相等，从而导出相同的级数表示。
• 算子 F̂: P(X) → P(X) 定义为 F̂ν = ∑_{n=1}^N p_n ν∘f_n^{−1}，解可紧凑表示为 μ = p(1 − qF̂)^{−1}μ₀ = ∑_{m=0}^∞ pq^m (F̂)^m μ₀。

实验结果

研究问题

• RQ1 在空间 X 与映射 f_n 的假设尽可能弱的条件下，方程 μ = pμ₀ + qF̂μ 在 μ ∈ P(X) 中是否存在唯一解？
• RQ2 即使不假设压缩性，是否仍可将解显式构造为所有 IFS 映射有限复合的收敛级数？
• RQ3 当 p → 0 时，轨道测度会发生什么变化？它是否收敛于 ν = F̂ν 的解？
• RQ4 若 X 缺乏压缩性或完备性，是否会导致唯一不变测度的存在性被破坏？
• RQ5 在何种条件下，轨道测度在 p → 0 时不会收敛至 F̂ 的不动点？

主要发现

• 解 μ 唯一地定义为所有 IFS 映射有限复合的绝对收敛级数，其权重为 p q^{|σ|} p_σ₁⋯p_σ_{|σ|}。
• 该测度 μ 是 X 上定义良好的 Borel 概率测度，经由可列可加性与单位质量归一化验证。
• 通过直接代入与级数项重编号，确认解满足不动点方程 μ = pμ₀ + qF̂μ。
• 唯一性源于任何其他解都必须生成相同的级数展开，因此必须等于 μ。
• 当 p → 0 时，轨道测度满足 lim_{p→0} μ([0,x]) = 0 对所有 x ∈ [0,1) 成立，表明其不收敛于 ν = F̂ν 的解。
• 将 [0,1) 替换为 [0,1] 也无法解决收敛至不动点的失败问题，因为极限测度仍为退化测度。