[论文解读] On the Hausdorff dimension of invariant measures for multicritical circle maps

Frank Trujillo|arXiv (Cornell University)|Oct 16, 2019

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

一句话总结

本文為無週期點的C³多臨界圓映射的唯一不變測度的Hausdorff維數確立了明確的界，顯示其僅取決於旋轉數的丟番圖性質。利用動力分劃與Frostman引理，證明當旋轉數屬於丟番圖類Dτ時，維數至少為1/(2τ + ν)；當旋轉數非丟番圖時，維數至多為1/(τ + 1)，從而對圓周上奇異不變測度提供了精確的定量估計。

ABSTRACT

We give explicit bounds for the Hausdorff dimension of the unique invariant measure of $C^3$ multicritical circle maps without periodic points. These bounds depend only on the arithmetic properties of the rotation number.

研究动机与目标

• 為具有無理旋轉數的C³多臨界圓映射的唯一不變測度的Hausdorff維數確立定量界。
• 分析Hausdorff維數如何依賴於旋轉數的丟番圖性質，特別是丟番圖條件中的參數τ。
• 透過連續分數係數與返回時間的增長關係，研究不變測度的奇異性。
• 利用測度論技術，為非有界類旋轉數提供奇異性的構造性證明。
• 將已知的單臨界映射結果推廣至多臨界情形，顯示維數由旋轉數與臨界性結構決定。

提出的方法

• 透過與臨界點相關的動力分劃中的區間迭代，構造一列µ-本質全測度集Anγ。
• 應用Frostman引理，將µ測度的局部尺度與Hausdorff維數關聯，使用log µ(Bǫ(x)) / log ǫ的逐點下極限估計。
• 利用連分數的遞歸結構與返回時間qn，控制動力分劃中區間的大小與測度。
• 使用定理2.1中的常數M來控制迭代的扭曲，確保區間長度與測度的統一控制。
• 透過分析構造集Anγ的直徑與測度，推導上界，顯示當d > 1/(τ + 1)時，其Hausdorff內容趨於零。
• 透過估計典型點附近小球的最小測度，推導下界，利用連分數係數an與返回時間qn的增長。

实验结果

研究问题

• RQ1 C³多臨界圓映射的唯一不變測度的Hausdorff維數如何依賴於其旋轉數的丟番圖類型？
• RQ2 當旋轉數非丟番圖時，Hausdorff維數的精確上界為何？其與指數τ的關係為何？
• RQ3 當旋轉數為類型τ的丟番圖數時，Hausdorff維數的精確下界為何？其如何依賴於連分數係數？
• RQ4 能否基於區間扭曲與返回時間的測度論論證，重新獲得不變測度的奇異性？
• RQ5 臨界點及其臨界性如何影響維數界？維數是否僅由旋轉數及其算術性質決定？

主要发现

• 對於任意C³多臨界圓映射，若其旋轉數屬於Dτ，則其唯一不變測度的Hausdorff維數滿足dimH(µ) ≥ 1/(2τ + ν)，其中ν取決於旋轉數與臨界性結構。
• 當旋轉數對任意τ > 0均不屬於Dτ時，Hausdorff維數的上界為dimH(µ) ≤ 1/(τ + 1)，其中τ由連分數係數的增長決定。
• 構造的集合Anγ的µ-測度隨n增加而趨近於1，且當d > 1/(τ + 1)時其Hausdorff內容趨於零，從而證明上界。
• 下界來自逐點估計，顯示對µ-幾乎所有x，有log µ(Bǫ(x)) / log ǫ的下極限被下界控制於1/(2τ + ν1 + ν2 log M)，其中ν1與ν2由連分數增長定義。
• 推論3.2顯示，對於非有界類旋轉數，不變測度相對於Lebesgue測度奇異，以新方法重新獲得Khanin的結果。
• 界為顯式，僅依賴於旋轉數的丟番圖類型與映射的臨界性，暗示在C³分類中維數為共軛不變量。