[论文解读] On the regularization of conservative maps

Artur Avila|ArXiv.org|Oct 8, 2008

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

一句话总结

本文证明了在光滑流形上，$C^\infty$ 保体积映射在 $C^1$ 保体积映射空间中是 $C^1$-稠密的，从而解决了动力系统领域长期悬而未决的一个问题。证明通过一种局部的、递归的粘合过程构造光滑逼近，结合了手工技巧与受偏微分方程启发的思想，确保局部性以避免长程依赖，并克服了在 $C^1$ 正则性下标准正则化方法的失效。

ABSTRACT

We show that smooth maps are $C^1$-dense among $C^1$ volume preserving maps.

研究动机与目标

• 解决一个长期开放的问题：$C^\infty$ 保体积映射是否在 $C^1$ 保体积映射的 $C^1$ 拓扑下是稠密的。
• 为 $C^1$ 保守映射提供一个正则化定理，该问题自 Zehnder 的工作以来对 $r>1$ 一直未解决。
• 克服标准基于 PDE 的正则化技术在 $C^1$ 正则性下的失效，特别是由于雅可比行列式 $C^0$ 范数缺乏控制。
• 确立 $C^1_{\operatorname{vol}}$ 类别是保守动力学的正确框架，因为连续体积形式不一定是 $C^1$-等价于光滑形式。
• 表明 $C^1_{\operatorname{vol}}$ 结构不必然与 $C^\infty_{\operatorname{vol}}$ 结构相容，凸显了 $C^1_{\operatorname{vol}}$ 类别的必要性。

提出的方法

• 通过基于单元格等级的分层递归过程，在嵌套的单元格族上定义局部 $C^\infty_{\operatorname{vol}}$ 映射，构造光滑逼近。
• 使用一个背景映射 $f$ 来指导局部决策，确保构造过程中的相容性与局部性。
• 通过映射 $\lambda_x$、$H_x$ 和 $s$ 的缩放与粘合技术，定义 $\tilde{h}_x$，使其在每个点 $x$ 处为“良好”且在相交单元格间保持相容。
• 应用推论 4 将局部映射扩展至整个单元格，同时保持体积和 $C^\infty$ 正则性，并控制 $C^1$-范数。
• 对流形进行三角剖分，并在坐标图中应用局部构造，将逼近过程全局化。
• 在单纯形上按维度递增的顺序逐步进行光滑化，同时在先前已光滑化的区域附近保持映射不变。

实验结果

研究问题

• RQ1 能否用 $C^1$ 保体积映射 $C^1$-逼近 $C^\infty$ 保体积映射？
• RQ2 为何标准的 Dacorogna-Moser 方法在 $C^1$ 情况下失效，尽管它在 $r \geq 2$ 时有效？
• RQ3 在 $C^1$ 流形上，所有连续体积形式是否都与光滑体积形式 $C^1$-等价？
• RQ4 $C^1_{\operatorname{vol}}$ 类别是否为保守动力学的正确设定，还是仅使用 $C^1$ 与连续体积形式已足够？
• RQ5 能否在不依赖流的悬垂或生成函数的前提下，为 $C^1$ 保守映射实现正则化定理？

主要发现

• 在任意 $C^\infty$ 流形上，$C^\infty$ 保体积映射的空间在 $C^1$ 保体积映射空间中是 $C^1$-稠密的。
• Burago-Kleiner 和 McMullen 提供的反例表明，$C^1$ 曲面上的某些连续体积形式不一定是 $C^1$-等价于光滑形式，从而否定了朴素正则化的可行性。
• $C^1_{\operatorname{vol}}$ 结构不必然与 $C^\infty_{\operatorname{vol}}$ 结构相容，这与更高正则性情形不同。
• 构造确保 $\|\tilde{f} - f\|_{C^1}$ 处处很小，且 $\tilde{f} = f$ 在紧集 $K_0$ 的一个邻域内成立。
• 通过基于三角剖分的递归过程，全局逼近得以实现，该过程能平滑地将局部 $C^\infty_{\operatorname{vol}}$ 映射扩展至更高维度的单元格。
• 通过由原映射 $f$ 指导的决策过程强制实现局部性，从而避免了长程效应，规避了离散化 PDE 方法的陷阱。