[论文解读] Pseudo-physical measures for typical continuous maps of the interval
本文研究典型连续区间映射的伪物理测度，证明所有遍历测度均为伪物理测度，且伪物理测度的集合是遍历测度与原子不变测度的闭包。研究发现该集合在不变测度空间中为第一纲集，并构造了具有无限熵及对每个 $ m \geq 2 $ 恰好为 $ \log m $ 熵的示例，表明熵函数既非上半连续也非下半连续。
We study the measure theoretic properties of typical C 0 maps of the interval. We prove that any ergodic measure is pseudo-physical, and conversely, any pseudo-physical measure is in the closure of the ergodic measures, as well as in the closure of the atomic measures. We show that the set of pseudo-physical measures is meager in the space of all invariant measures. Finally, we study the entropy function. We construct pseudo-physical measures with infinite entropy. We also prove that, for each m $\ge$ 1, there exists infinitely many pseudo-physical measures with entropy log m, and deduce that the entropy function is neither upper semi-continuous nor lower semi-continuous.
研究动机与目标
- 刻画区间上典型 $ C^0 $ 映射的测度性质，特别关注伪物理测度。
- 确定在典型 $ C^0 $ 设置下，遍历测度、原子测度与伪物理测度之间的关系。
- 分析伪物理测度集合的拓扑与熵性质，包括其大小及其在熵函数下的行为。
- 构造具有特定熵值的伪物理测度示例，包括无限熵及对每个 $ m \geq 2 $ 恰好为 $ \log m $ 的熵。
提出的方法
- 通过区间 $[0,1]$ 上博雷尔概率测度空间的弱*拓扑，利用连续函数的可数稠密族定义测度之间的距离。
- 应用 $ p\omega(x) $ 的概念，即轨道上经验测度弱*极限的集合，将伪物理测度定义为满足 $ p\omega(x) $ 在正勒贝格测度集合上 $ \varepsilon $-接近 $ \mu $ 的测度。
- 运用技术性逼近引理，基于 dyadic 类分划控制测度距离与测度差。
- 通过固定点的扰动构造原子加倍级联，生成支持遍历伪物理测度的不变集，并控制其熵。
- 使用符号动力系统与柱集分划计算度量熵，特别证明对 $ k $-块系统，每符号熵收敛至 $ k\log 2 $。
- 应用贝尔范畴理论证明具有特定性质（如原子加倍级联）的映射集合为 $ G_\delta $ 稠密集，因而为典型集合。
实验结果
研究问题
- RQ1对于典型的区间连续映射，所有遍历测度是否都是伪物理测度？
- RQ2伪物理测度的集合是否为遍历测度集合与周期轨道上原子测度集合的闭包？
- RQ3伪物理测度集合在所有不变测度空间中的拓扑大小如何？
- RQ4伪物理测度是否可具有无限度量熵或对每个 $ m \geq 2 $ 恰好为 $ \log m $ 的熵？
- RQ5度量熵函数在不变测度空间或伪物理测度子集上是否为上半连续或下半连续？
主要发现
- 对典型 $ f \in \mathcal{C}[0,1] $，所有遍历测度均为伪物理测度。
- 伪物理测度的集合是遍历测度与周期轨道上原子测度集合的闭包。
- 伪物理测度的集合在不变测度空间中为第一纲集，且内部为空。
- 对每个 $ m \geq 2 $，存在无穷多个具有恰好 $ \log m $ 度量熵的遍历伪物理测度。
- 存在具有无限度量熵的遍历伪物理测度，其通过原子加倍级联构造而成。
- 度量熵函数既非上半连续也非下半连续，即使限制在伪物理测度集合上亦然。
更好的研究，从现在开始
从阅读论文到最终审阅，大幅缩短您的研究时间。
无需绑定信用卡
本解读由 AI 生成，并经人工编辑审核。