← 返回 PaperDaily 前沿研究

2026年重磅！C1系统也能用Ledrappier-Young熵公式？

你能想象吗？一个需要C2光滑度（二阶导数连续）才能构建的经典理论，竟然在C1（一阶导数连续）这个更粗糙、更真实的环境下被成功复现！这就像只给了一张低分辨率草图，硬生生画出了高清细节。对于痴迷混沌、分形和动力系统本质的读者，这绝对是年度不容错过的硬核突破。

龙哥读论文 阅读 4 查看原文
2026年重磅！C1系统也能用Ledrappier-Young熵公式？
🐉 龙哥读论文知识星球来了！
公众号每日8篇拆解不够看？星球无上限更AI领域论文、资讯、招聘、招博、开源代码，一站式干货，每日2分钟刷完即赚！ 👇扫码加入「龙哥读论文」知识星球，前沿干货、实用资源一站式拿捏～ xingqiu_header

龙哥推荐理由：
你能想象吗？一个需要C2光滑度（二阶导数连续）才能构建的经典理论，竟然在C1（一阶导数连续）这个更粗糙、更真实的环境下被成功复现！这就像只给了一张低分辨率草图，硬生生画出了高清细节。对于痴迷混沌、分形和动力系统本质的读者，这绝对是年度不容错过的硬核突破。


原论文信息如下：
论文标题:
Ledrappier-Young Entropy Formula for C1 Diffeomorphisms with Dominated Splitting Part 2: Entropy Formulas and Measure Dimension
发表日期:
2026年06月 发表单位:
未明确指定 原文链接:
https://arxiv.org/pdf/2606.13384v1.pdf
都说动力系统是数学物理的“终极混响”——一点点初始误差，经过时间放大会变成蝴蝶效应。而在解读这种混乱背后的秩序时，有三个核心概念你绕不过去：熵（Entropy）、Lyapunov指数（Lyapunov Exponents）和测度维数（Measure Dimension）。它们就像三驾马车，拉动了整个均匀混沌理论。
度量熵（Kolmogorov在1950年代引入）量化了系统随时间演化的“混乱程度”——信息量到底能产生多少？Lyapunov指数（来自Oseledets乘性遍历定理）告诉我们相邻轨道是指数级靠近还是远离，也就是系统对初始条件有多敏感。而测度维数（包括Hausdorff维数、盒维数等）描述了不变测度在相空间中的“几何厚度”。这三者不是孤立的——经典的Margulis-Ruelle不等式告诉我们：熵 ≤ 正Lyapunov指数之和（按重数计）。而Pesin熵公式表明，对于C1+α保体积微分同胚，这个等式恰恰成立。更强大的Ledrappier-Young熵公式（[16, 17]）则将熵与每个Lyapunov指数对应的测度维数挂钩，在C2情形下完美统一了这三者。
所以你看，这三匹马一旦并驾齐驱，动力系统的“终极秘密”就呼之欲出。但问题是，这条通往“终极秘密”的路从前铺得很精细：C1+α甚至C2光滑度几乎成了标配。因为构造Lyapunov图、保证不稳定holonomy的Lipschitz性质，都需要高阶光滑性。一旦回到C1这个“粗糙”的底层，几乎所有经典工具都会断裂。那是否意味着C1系统永远无法享受Ledrappier-Young理论的红利？答案，就在这篇2026年的论文里。

突破C1+α壁垒：正则性假设的放松

为何C1+α甚至C2这么重要？核心在于构造不稳定叶状结构的holonomy映射（即沿着不稳定流形移动时，强不稳定叶的弯曲方式）。在C2及以上的世界里，这个holonomy是Lipschitz的——这意味着它几乎不扭曲测度，可以直接用来进行维数估计。但C1微分同胚呢？只有Hölder连续（而且还是指数可以任意接近1的那种Hölder）。差之毫厘，谬以千里——Hölder连续会在维数计算中引入一个缩放因子α，导致直接搬用Ledrappier-Young的经典框架会得到α倍偏移。
然而，这篇论文的作者找到了优雅的出路。关键假设是：系统具有受控分裂（Dominated Splitting）。这相当于在C1的“粗糙”表面下植入了一个隐藏的刚性结构——不同方向的扩张/收缩速度虽然紧挨着，但永远不会混杂。借助这个结构，可以绕开经典的Lyapunov图，转而使用虚假叶状结构图（Fake Foliation Charts），把C1的“烂摊子”收拾得井井有条。

核心利器：虚假叶状结构图与Hölder映射

还记得前面说的“假”吗？由于不能用真实的Lyapunov图（需要C1+α），论文利用了受控分裂诱导的虚假叶状结构（Fake Foliations）。这里的“虚假”并不意味着无效，而是指这些叶状结构只在某个局部（尺度由A(x)控制）才是真正的流形，但通过精心构造，它们完美模拟了真实不稳定流形的几何行为。具体来说，对几乎每个点x，可以在切空间TxM上构建三个受控的叶状结构：对应于指数λi-1以下的子空间、第i个指数对应的方向、以及更高的方向。关键在于，这些虚假叶状结构在图像变换（由局部线性化gx近似f）下是协变的。
在这些虚假叶状结构的基础上，论文定义了直化映射（Straightening Maps），将弯曲的局部不稳定叶“掰直”成欧氏空间中的直积形式。这个过程可以直观地理解：沿着第i个叶，把第i-1个叶的holonomy“拉直”，使得原本弯曲的叶变成水平面。但代价是，这个直化映射是α-Hölder连续的，而不是Lipschitz。好在α可以任意接近1（只要控制好参数），当最终让α→1时，误差因子消失，就得到了精确的等式。
下面这张图形象地展示了直化过程：左图是沿着第i个不稳定叶的虚假叶状结构（第i-1个叶弯曲地浸泡其中）；右图是通过直化映射后，所有第i-1个叶被拉成平行直线，holonomy变成了一个函数。
图1：直化映射的说明。左侧为原始虚假叶状结构，右侧为经过直化映射Ω后的结果，第i-1个叶被拉直，holonomy变为一个定义在水平线上的函数。
图1：直化映射的说明。

主要成果：C1情形下的熵公式与应用

准备好了工具，就可以宣布战果了。论文的核心是定理1.2（横向熵公式）：假设受控分裂成立，且第i个Lyapunov指数λ_i的重数为1（即它对应的一维方向是孤立的），那么第i个横向维数（即沿着第i-1个叶到第i个叶之间的“横向”维数）是精确的。记这个公共值为γ_i，则第i个横向熵h_i - h_{i-1} = λ_i · γ_i。注意，这里并不需要整个叶维数是精确的，只需要横向部分是精确的——这比Ledrappier-Young原始结论更弱，但在C1背景下已经是最好的部分推广。
如果进一步假定所有中间非负Lyapunov指数（除了最大的那个）的重数均为1，那么完整的Ledrappier-Young型熵公式就复原了（定理1.3和1.4）。也就是说，对于具有受控分裂的C1系统，只要每个“层次”的扩张是真正一维的，那么熵= Σ (正Lyapunov指数 × 对应维数)，与C2情况一模一样。
有了这个“发动机”，论文在测度维数理论中推导出一大批经典结果的C1版本。比如： - 零横向维数的刻画（定理1.5）：条件测度集中在一维强不稳定叶上当且仅当横向维数为零。 - 上点态维数的上界（定理1.6）：对于“简单受控”测度，上维数 ≤ 不稳定的总维数 + 稳定维数 + 中心维数（如果存在）。 - Eckmann-Ruelle猜想（定理1.7）：对于双曲且简单受控的C1系统，测度是精确维数的，且维数 = 不稳定总维数 + 稳定总维数。这是对经典C1+α结果的实质性推广，甚至对C1 Anosov系统也是新结果。
下面这个示意图展示了计数引理中的构造——局部不稳定叶被剖分成合适的小矩形，用于估计维数： 图2：引理6.3的说明，展示了在第i-1个叶上的分割和计数过程。
图2：引理6.3的说明。

挑战与局限：受控分裂与单重数假设

任何成果都有代价。这篇论文的两大假设是： (1) 受控分裂：虽然很多自然系统满足（比如Anosov系统、部分双曲系统），但并非所有C1微分同胚都有受控分裂。如果Lyapunov指数之间混合严重，这个工具就失效了。 (2) 单重数假设：只有所有中间指数（除了最大的正指数和最小的负指数）是简单的时候，才能得到完整的熵公式。如果某个指数重数大于1（比如二维等扩张方向），那么Ledrappier-Young公式在C1下是否仍然成立？这个问题还悬而未决。作者明确提到，当重数大于1时，是否还能得到精确的横向维数仍然未知。
此外，虽然论文扩展了许多维数理论的应用，但在处理中心方向（零Lyapunov指数）时，仍然要求中心维数≤1。对于更复杂的中心行为，这篇论文的工具箱还不够强大。这些限制也指出了未来的研究方向：能否摆脱单重数假设？能否将虚假叶状结构的方法推广到更一般的非受控分裂情形？
下图展示了引理7.11中的几何构造——用于处理双曲情况下的精确维数：
图3：引理7.11的说明，展示了沿着不稳定叶的Gauss映射和计数矩形。
图3：引理7.11的说明。

龙迷三问

下面是龙哥对于大家可能的一些问题的解答：

这篇论文解决什么问题？它的主要目标是：将经典的Ledrappier-Young熵公式（原本需要C2或C1+α光滑性）推广到更一般的C1微分同胚，同时只要求一个温和的附加结构——受控分裂。这样，许多以前需要高阶光滑才能证明的维数结果（比如Eckmann-Ruelle猜想）就能在C1系统下成立。

什么是“受控分裂”（Dominated Splitting）？受控分裂是对切丛的一种分解 TΛM = E ⊕ F，使得存在N>0使得对任意x和任意单位向量 u ∈ E(x), v ∈ F(x)，有 ||Df^N u|| / ||Df^N v|| ≥ 2。简单说，F方向的扩张速度总是比E方向快至少一个因子，但两者的扩张率可以非常接近。这个条件防止了方向混合，允许我们独立地处理每个子丛。

“假叶状结构”（Fake Foliations）和真实的不稳定流形有什么不同？真实的不稳定流形 W^i(x) 由反向迭代点的指数收敛定义，具有唯一的、光滑的性质。而“假叶状结构”是在切空间中使用局部线性化构造的一个C1叶状结构，它只在某个尺度上与真实不稳定流形一致，但具有更好的全局定义性质（不依赖于具体的点），并且可以通过受控分裂的图像变换来保持。在足够小的尺度内，它们重合，因此可以代替真实流形进行局部维数分析。

如果你还有哪些想要了解的，欢迎在评论区留言或者讨论~

龙哥点评

论文创新性分数：★★★★★

实验合理度：★★★★★（纯数学证明，论证严谨，逻辑链完整，无实验但理论合理度满分）

学术研究价值：★★★★★（极大地拓宽了Ledrappier-Young理论在C1系统的适用范围，对动力系统维数理论有深远影响）

稳定性：★★★★★（数学定理，在假设下恒成立，稳定性完美）

适应性以及泛化能力：★★★☆☆（依赖于受控分裂和单重数假设，不能直接应用于一般C1系统；但通过应用，已覆盖Anosov、部分双曲等大类）

硬件需求及成本：★★★★★（纯理论，无计算需求）

复现难度：★★★★☆（证明篇幅较长，涉及复杂几何构造，需深入理解动力系统与遍历论，但思路清晰，假叶、直化映射可一步步复现）

产品化成熟度：★☆☆☆☆（纯数学基础理论，暂无直接产品化应用，但可作为混沌控制、数据同化等应用的理论支撑）

可能的问题：假设条件（受控分裂 + 单重数）在非均匀双曲系统中并不普遍成立。此外，论文未处理零Lyapunov指数维数大于1的情形，且部分定理（如定理1.5）的详细证明被省略或仅给出轮廓，追根究底需要自行推导细节。


主要参考文献

[1] Y. Tong. Ledrappier-Young entropy formula for C1 diffeomorphisms with dominated splitting Part 2: Entropy formulas and measure dimension. arXiv:2606.13384v1, 2026.
[2] F. Ledrappier and L.-S. Young. The metric entropy of diffeomorphisms. Annals of Mathematics, 122(3):509–539, 1985.
[3] L. Barreira, Y. Pesin, and J. Schmeling. Dimension and product structure of hyperbolic measures. Annals of Mathematics, 149(3):755–783, 1999.
[4] F. Ledrappier and J.-S. Xie. Vanishing transverse dimension and conditional measures. Ergodic Theory and Dynamical Systems, 42(1):145–172, 2022.

*本文仅代表个人理解及观点，不构成任何论文审核或者项目落地推荐意见，具体以相关组织评审结果为准。欢迎就论文内容交流探讨，理性发言哦～ 想了解更多原文细节的小伙伴，可以点击"阅读原文"，查看更多原论文细节哦！       

end
熵、指数与维数，三大基石终连成线！想和龙哥一起深入探索混沌背后的数学之美？快来加入讨论吧～
欢迎加入龙哥读论文粉丝群，扫描下方二维码或者添加龙哥助手微信号加群：kangjinlonghelper。一定要备注：研究方向+地点+学校/公司+昵称（如 动力系统+北京+清华+龙哥），根据格式备注，可更快被通过且邀请进群。
『龙哥读论文』微信群目前包含：图像处理、大模型及智能体、自动驾驶及机器人、AI医疗及AI金融5个群
wechat_helper dianzan
转发文章 微博 X LinkedIn Facebook
龙哥读论文 · PaperDaily

本文基于龙哥读论文 PaperDaily 数据库整理，结合论文原文与工程视角进行解读。