[论文解读] The entropy of alpha-continued fractions: analytical results

Giulio Tiozzo|arXiv (Cornell University)|Dec 13, 2009

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

一句话总结

本文通过在有界变差函数空间上对转移算子进行谱分析，建立了Nakada的$\alpha$-连分数映射的度量熵$ h(T_\alpha) $的Hölder连续性。此外，还证明了对具有温和增长的无界可观测量（包括$ \log|T_\alpha'| $）的中心极限定理，证实了Birkhoff平均收敛到熵时服从正态分布。

ABSTRACT

We study the ergodic theory of a one-parameter family of interval maps T_alpha arising from generalized continued fraction algorithms. First of all, we prove the dependence of the metric entropy of T_alpha to be Hoelder-continuous in the parameter alpha. Moreover, we prove a central limit theorem for possibly unbounded observables whose bounded variation grows moderately. This class of functions is large enough to cover the case of Birkhoff averages converging to the entropy.

研究动机与目标

• 建立度量熵$ h(T_\alpha) $作为参数$ \alpha \in (0,1] $的函数的Hölder连续性，解决其正则性方面的长期猜想。
• 将中心极限定理扩展到一类新的Banach空间$ B_{K,\delta} $中的无界可观测量，允许处理在零附近总变差缓慢增长的函数。
• 证明Birkhoff平均的渐近方差关于$ \alpha $的连续性，支持数值观察到的光滑参数依赖性。
• 提供转移算子$ T_\alpha $的统一Lasota-Yorke不等式的全新且正确的证明，纠正了先前工作的缺陷。
• 证明不变密度$ \rho_\alpha $在$ L^1 $-范数下是Hölder连续的，尽管其在$ BV $-范数下不连续。

提出的方法

• 在有界变差函数空间上应用转移算子的谱理论，通过统一的Lasota-Yorke不等式控制本质谱半径。
• 利用区间分划结构和导数界，建立映射$ T_\alpha $与$ T_{\alpha'} $之间距离在合适度量下的Hölder连续性。
• 通过扰动下谱分解稳定性的结果，推导出不变密度$ \rho_\alpha $在$ L^1 $-范数下的Hölder连续性。
• 引入Banach空间$ B_{K,\delta} $，其函数具有总变差的温和增长，从而可处理如$ \log|T_\alpha'| $等无界可观测量。
• 通过扩展[1]中的技术，证明$ B_{K,\delta} $中可观测量的中心极限定理，显示其收敛到具有正方差$ \sigma^2 > 0 $的正态分布。
• 通过泛函分析框架和不变测度的正则性，分析Birkhoff和的方差$ \sigma^2_{\alpha,f} $，并证明其关于$ \alpha $的连续性。

实验结果

研究问题

• RQ1 Nakada的$\alpha$-连分数的度量熵$ h(T_\alpha) $在参数$ \alpha \in (0,1] $下是否具有Hölder连续性？
• RQ2 是否可以为如$ \log|T_\alpha'| $等无界可观测量建立中心极限定理，而这些量在熵计算中至关重要？
• RQ3 尽管熵函数具有非单调性和自相似结构，$ C^1 $可观测量的Birkhoff平均的渐近方差是否仍关于$ \alpha $连续？
• RQ4 即使当$ \alpha \to 0 $且新分支出现时，是否仍可对$ T_\alpha $的转移算子证明统一的Lasota-Yorke不等式？
• RQ5 当$ \alpha $变化时，不变密度$ \rho_\alpha $在$ L^1 $-范数下的正则性如何表现，尽管其在$ BV $-范数下不连续？

主要发现

• 度量熵$ h(T_\alpha) $对任意指数$ 0 < s < \frac{1}{2} $是Hölder连续的，解决了关于其正则性的猜想。
• 不变密度$ \rho_\alpha $在$ L^1 $-范数下是Hölder连续的，尽管其在有界变差范数下不连续。
• 对所有非平凡实值函数，Banach空间$ B_{K,\delta} $中均成立中心极限定理，该空间包含如$ \log|T_\alpha'| $等无界可观测量，且具有正的渐近方差$ \sigma^2 > 0 $。
• $ \log|T_\alpha'| $的Birkhoff平均依分布收敛到以$ h(T_\alpha) $为中心的正态分布，证实了[10]中的数值证据。
• $ C^1 $可观测量的Birkhoff和的渐近方差$ \sigma^2_{\alpha,f} $关于$ \alpha $连续，支持了数值观察到的光滑参数依赖性。
• 为$ T_\alpha $的转移算子建立了修正后且统一的Lasota-Yorke不等式证明，对所有$ \alpha \in (0,1] $均成立，包括在$ \alpha \to 0 $附近。