[论文解读] Sharpness for $C^1$ linearization of planar hyperbolic diffeomorphisms

Wenmeng Zhang, Weinian Zhang|arXiv (Cornell University)|May 17, 2013

Mathematical Dynamics and Fractals参考文献 30被引用 3

一句话总结

本文在庞加莱域和西格尔域中，为平面双曲微分同胚的 $C^1$ 线性化建立了精确的 Hölder 正则性阈值。通过分析不变流形和利用 Whitney 延拓定理的泛函方程，证明了当微分同胚在庞加莱域中为 $C^{1,\alpha}$ 且 $\alpha = \alpha_0$，在西格尔域中 $\alpha \in (0,1]$ 时，此前已知的 $C^{1,\beta}$ 线性化指数 $\beta$ 是最优的，从而解决了正则性界限的精确性问题。

ABSTRACT

Planar hyperbolic diffeomorphisms can be referred to two cases: Poincaré domain (both eigenvalues lie inside the unit circle $S^1$) and Siegel domain (one eigenvalue inside $S^1$ but the other outside $S^1$). In Poincaré domain it was proved that $C^{1,α}$ smoothness with $α_0:=1-\log|λ_2|/\log|λ_1|0$ is given, an interesting problem is: Is the exponent $α_0$ also sharp? On the other hand, in Siegel domain we only know that $C^{1,α}$ smoothness with $α\in (0,1]$ admits $C^1$ linearization. In this paper we further study the sharpness for $C^1$ linearization in both cases.

研究动机与目标

• 确定在庞加莱域中平面双曲微分同胚 $C^1$ 线性化的精确 Hölder 指数 $\alpha_0$，其中 $0 < |\lambda_1| < |\lambda_2| < 1$。
• 在西格尔域中建立 $C^1$ 线性化的精确正则性界限，其中 $0 < |\lambda_1| < 1 < |\lambda_2|$。
• 解决指数 $\alpha_0 = 1 - \log|\lambda_2|/\log|\lambda_1|$ 是否对庞加莱域中 $C^1$ 线性化是精确的。
• 在两个域中，以 $\alpha$ 表示线性化共轭映射 $\Phi$ 的 Hölder 指数 $\beta$ 的精确估计。

提出的方法

• 通过在 $C^1$ 范数下对序列 $\Lambda^{-n}F^n$ 的收敛性进行精确估计，分析与更强压缩方向相切的不变流形。
• 利用由共轭关系 $\Phi \circ F = \Lambda \circ \Phi$ 导出的泛函方程，研究线性化映射 $\Phi$ 的正则性。
• 应用 Whitney 延拓定理，将闭集上的 $C^{1,\alpha}$ 数据延拓为全局的 $C^{1,\beta}$ 微分同胚，从而保证共轭映射的光滑性。
• 通过与逆映射 $G = F^{-1}$ 的对偶论证，将结果推广至西格尔域中 $|\lambda_1\lambda_2| > 1$ 的情形。
• 通过反证法推导 $\beta$ 的精确界限，假设 $\beta > -\sigma(1 - \sigma)^{-1}\alpha$，并证明其与迭代渐近行为的不一致性。
• 引入一个具有受控非线性项的修正微分同胚 $F_*$，以隔离共轭映射的正则性，并分析其 $C^{1,\beta}$ 行为。

实验结果

研究问题

• RQ1 当 $0 < |\lambda_1| < |\lambda_2| < 1$ 时，指数 $\alpha_0 = 1 - \log|\lambda_2|/\log|\lambda_1|$ 是否对庞加莱域中平面双曲微分同胚的 $C^1$ 线性化是精确的？
• RQ2 在庞加莱域中，当微分同胚为 $C^{1,\alpha}$ 且 $\alpha = \alpha_0$ 时，线性化共轭映射 $\Phi$ 的最优 Hölder 指数 $\beta > 0$ 是多少？
• RQ3 在西格尔域中，$C^{1,\alpha}$ 微分同胚是否可实现 $C^1$ 线性化，且所得共轭映射 $\Phi$ 是否必为某 $\beta > 0$ 的 $C^{1,\beta}$？
• RQ4 当 $|\lambda_1\lambda_2| \leq 1$ 和 $|\lambda_1\lambda_2| > 1$ 时，$\beta$ 关于 $\alpha$ 的精确界限是什么？
• RQ5 在西格尔域中，当 $|\lambda_1\lambda_2| \leq 1$ 时，$\beta \leq -\sigma(1 - \sigma)^{-1}\alpha$ 的界限是否对 $C^{1,\beta}$ 线性化是精确的？

主要发现

• 在庞加莱域中，指数 $\alpha_0 = 1 - \log|\lambda_2|/\log|\lambda_1|$ 是精确的，即当 $\alpha < \alpha_0$ 时 $C^1$ 线性化不成立。
• 在庞加莱域中 $\alpha = \alpha_0$ 时，线性化共轭映射 $\Phi$ 为 $C^{1,\beta}$ 且 $\beta > 0$，且界限 $\beta \leq -\sigma(1 - \sigma)^{-1}\alpha$ 是精确的。
• 在西格尔域中 $|\lambda_1\lambda_2| \leq 1$ 时，界限 $\beta \leq -\sigma(1 - \sigma)^{-1}\alpha$ 是精确的，且 $\Phi$ 为 $C^{1,\beta}$，其中 $\alpha \in (0,1]$。
• 在西格尔域中 $|\lambda_1\lambda_2| > 1$ 时，精确界限为 $\beta \leq (1 - \sigma)^{-1}\alpha$，且该界限是最优的。
• 结果确认，此前已知的 $C^{1,\beta}$ 线性化（$\beta > 0$）在庞加莱域中 $\alpha = \alpha_0$ 且西格尔域中 $\alpha \in (0,1]$ 时是最优的。
• 通过分析迭代的渐近行为及不变流形上共轭映射的正则性，利用反证法确立了界限的精确性。