[论文解读] Smooth Siegel disks via semicontinuity: a remark on a proof of Buff and Cheritat

Artur Avila|ArXiv.org|May 19, 2003

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

一句话总结

本文通過半連續性論證與 Yoccoz 和 Risler 在重整化理論方面的已知結果，提供了一個簡化版的證明，證實了二次 Siegel 圓盤具有光滑（C∞）邊界的存在性。利用全純半徑函數 α ↦ rα 的上半連續性與弱下半連續性，作者證明：對於任意 Brjuno 數 α₀ 滿足 rα₀ > 0，存在任意接近 α₀ 的參數 α，使得其對應的半徑 r < rα₀，且對應的共形映射在光滑拓撲下收斂，進而導出光滑邊界動力系統。

ABSTRACT

Recently, Xavier Buff and Arnaud Cheritat have provided an elegant proof of the existence of quadratic Siegel disks with smooth boundary. In this short note, we show how results of Yoccoz and Risler can be used to conclude the same result. Our proof is a small modification of the argument given by Buff and Cheritat.

研究动机与目标

• 提供一個簡化且抽象的證明，證實二次 Siegel 圓盤具有 C∞ 光滑邊界的存在的結果，基於 Buff 和 Cheritat 的結論。
• 證明核心動力機制並非依賴拋物爆破，而是源自全純半徑函數的半連續性性質。
• 將方法推廣至二次多項式家族之外，適用於其他有理函數或整函數，只要其不包含非 Brjuno 的 Siegel 圓盤。
• 將方法延伸至 Herman 環，顯示類似結果適用於圓周微分同胚的解析線性化。

提出的方法

• 利用全純半徑函數 rα 的上半連續性，其來源為 Hurwitz 定理與正常族理論。
• 在 Brjuno 數與非 Brjuno 無理數上，應用 rα 的弱下半連續性，基於 Yoccoz 定理（非 Brjuno 數時 rα = 0）與 Risler 的結果（在 Brjuno 數的稠密集上連續）。
• 對同時具有上半連續與弱下半連續性的函數應用介值定理，推導出任意給定半徑 r < rα₀ 的參數在參數空間中稠密。
• 構造一序列參數 βi 收斂至 α₀，使得 rβi 單調遞減至 r，確保線性化映射在 E_r 拓撲下收斂。
• 利用緊子集上一致收斂的拓撲與光滑或擬解析函數的完備度量空間 E_r，控制線性化映射的正則性。
• 將論證適應至 Herman 環，以 Geyer 對複數 Arnold 家族的研究結果取代 Yoccoz 定理，同時保持半連續性結構不變。

实验结果

研究问题

• RQ1 是否可不依賴拋物爆破技術，證實二次映射中光滑 Siegel 圓盤的存在性？
• RQ2 為確保全純半徑函數 α ↦ rα 滿足介值定理，所需的最小微動力假設為何？
• RQ3 半連續性與重整化方法在二次多項式之外可推廣至何等程度？
• RQ4 Herman 環在有理函數中是否具有類似結果，特別是在複數 Arnold 家族中？
• RQ5 在非 Brjuno 數上，rα 的弱下半連續性是否足以消除對非 Brjuno 參數特殊處理的需要？

主要发现

• 對於任意 Brjuno 數 α₀ 滿足 rα₀ > 0，任意給定 r < rα₀ 及 δ > 0，存在任意接近 α₀ 的 α，使得 rα = r，且 Lα 在 Dr 上的限制在 E_r 拓撲下與 Lα₀ 的 δ-鄰近。
• 滿足定理 2.1 條件的參數集合為 Cantor 集，顯示存在不可數無窮多個此類光滑 Siegel 圓盤。
• 該方法適用於有理函數族，如 z ↦ e^{2πiα}z(1+z/d)^d（d ≥ 2），以及 z ↦ e^{2πiα}ze^z，只要其不包含非 Brjuno 的 Siegel 圓盤。
• 相同證明結構可延伸至 Herman 環，得出在 λ₀ 附近存在 λ，使得 rλ = r < rλ₀，且 Tλ|Ar 在 E_r 拓撲下接近 Tλ₀|Ar。
• 對於 Herman 環，該方法亦可產生滿足 rλ = 0 但其邊界共軛 T 在 S¹ 上與 Tλ₀|S¹ 的 C⁰-接近的參數 λ。
• 證明顯示，Siegel 圓盤邊界的光滑性源於參數空間的拓撲性質與半連續性，而不僅僅是透過拋物爆破實現的動力控制。