[论文解读] Monotonicity of entropy and positively oriented transversality for families of interval maps

Genadi Levin, Weixiao Shen+1 more|arXiv (Cornell University)|Nov 30, 2016

Mathematical Dynamics and Fractals参考文献 9被引用 4

一句话总结

本文提出一个通用框架，利用全纯运动与转移算子，证明一维区间映射单参数族的正向横截性，涵盖非解析及分段光滑映射。该框架建立了如 $ f_c(x) = |x|^\ell + c $ 和 $ f_c(x) = b e^{-1/|x|^ au} + c $ 等族的拓扑熵与Kneading序列的单调性，为已知结果提供新证明，并通过分离性条件与转移算子的谱分析，将结果推广至非解析情形。

ABSTRACT

In this paper we will develop a very general approach which shows that critical relations of holomorphic maps on the complex plane unfold transversally in a positively oriented way. We will mainly illustrate this approach to obtain transversality for a wide class of one-parameter families of interval maps, for example maps with flat critical points, piecewise linear maps, maps with discontinuities but also for families of maps with complex analytic extensions such as certain polynomial-like maps.

研究动机与目标

• 建立一种通用方法，用于证明区间映射族的横截性，尤其在复解析方法失效时。
• 将已知的关于拓扑熵与Kneading序列单调性的结果，推广至非解析的单峰与多峰映射。
• 提出一个基于分离性条件的判据，确保全纯运动的提升性质，从而导出横截性。
• 证明转移算子 $ \mathcal{A} $ 的谱半径小于1，从而蕴含横截性与熵的单调性。
• 将该方法应用于多种映射族，包括具有平坦临界点、不连续性（Lorenz映射）及分段线性映射的族。

提出的方法

• 通过有限正向不变标记集（如后临界集）上的全纯运动定义提升性质。
• 通过动力学提升运动生成转移算子 $ \mathcal{A} $，其谱性质决定横截性。
• 关键推论为：提升性质 $ \Rightarrow \text{spec}(\mathcal{A}) \subset \mathbb{D} \Rightarrow $ 正向横截性。
• 证明提升性质可由复平面上的“分离性”条件推出，确保不同区域的动力学相异。
• 对于特定族（如 $ f_c(x) = f(x) + c $），该方法简化为验证临界值上的分离条件。
• 通过可测黎曼映射定理与谱半径估计分析转移算子 $ \mathcal{A} $，并证明1不是其特征值。

实验结果

研究问题

• RQ1 一参数族区间映射的拓扑熵是否随参数单调变化？
• RQ2 能否为非解析映射（如具有平坦或非多项式临界点的映射）建立临界关系的横截性？
• RQ3 当映射非全纯时，单峰映射的Kneading序列是否关于参数单调？
• RQ4 转移算子 $ \mathcal{A} $ 的谱半径能否严格小于1，以确保横截性？
• RQ5 分离性条件是否在一般区间映射族中蕴含全纯运动的提升性质？

主要发现

• 对于族 $ f_c(x) = b e^{-1/|x|^\ell} + c $，当 $ b > 2(e\ell)^{1/\ell} $ 时，Kneading序列在 $ c \in [-\beta, \infty) $ 上单调递增，其中 $ \beta $ 满足 $ f_{-\beta}(\beta) = \beta $。
• 对于族 $ f_c(x) = |x|^\ell + c $，其关联的转移算子 $ \mathcal{A} $ 的谱半径小于1（当 $ \ell $ 为偶数时），从而蕴含横截性。
• 对于具有平坦临界点的Lorenz映射双参数族 $ f_{c_1,c_2}(x) $，算子 $ \mathcal{A} $ 的谱半径严格小于1，确保横截性。
• 对对称Lorenz映射 $ f_{c,-c} $，其拓扑熵的单调性由帐篷映射族的单调性推出，因为 $ h_{\text{top}}(f_t) = h_{\text{top}}(T_t) $。
• 该方法通过验证分离性条件与提升条件，证明了分段线性多峰映射与具有不连续性的映射的横截性。
• 对于多项式与有理函数族，通过可测黎曼映射定理，提升性质成立，从而导出正向横截性与熵的单调性。