[论文解读] Polynomial maps with a Julia set of positive measure

Tomasz Nowicki, Sebastian van Strien|arXiv (Cornell University)|Feb 16, 1994

Mathematical Dynamics and Fractals参考文献 25被引用 5

一句话总结

本文聲稱證明了存在形如 $z \mapsto z^L + c_1$ 的多項式映射，其中 $L \geq L_0$ 為偶數且 $L_0$ 足夠大，其朱利亞集具有正勒貝格測度。該論證依賴複動力系統與重整化技術，但1997年夏爾·布菲（Xavier Buff）後續識別出一個關鍵缺陷，導致原始結果未獲驗證，且截至1999年該問題仍為開放問題。

ABSTRACT

In this paper we shall show that there exists L_0 such that for each even integer L >= L_0 there exists $c_1 \in z$ for which the Julia set of $z --> z^L + c_1$ has positive Lebesgue measure. This solves an old problem. Editor's note: In 1997, it was shown by Xavier Buff that there was a serious flaw in the argument, leaving a gap in the proof. Currently (1999), the question of polynomials with a positive measure Julia sets remains open.

研究动机与目标

• 解決複動力系統中長期存在的開放問題：多項式映射的朱利亞集是否可能具有正勒貝格測度。
• 展示特定類別多項式映射（單次、偶次、具有特定臨界值）的存在性，其朱利亞集具有正測度。
• 推廣對有理函數與多項式動力系統中朱利亞集幾何與測度性質的理解。
• 提供一個多項式構造性例子，其朱利亞集在勒貝格測度下非零測集，挑戰先前假設。
• 透過測度論標準，貢獻於複一維映射動力行為的分類。

提出的方法

• 作者使用複動力系統技術，特別是重整化理論與多項式映射中臨界軌道的幾何性質。
• 他們分析映射 $z \mapsto z^L + c_1$ 在偶數 $L \geq L_0$ 時的動力行為，專注於原點處臨界點的性質。
• 證明過程涉及構造一個實參數 $c_1 \in \mathbb{R}$，使得對應的朱利亞集具有正測度，方法是確保臨界點軌道避開某些擴張區域。
• 論證依賴朱利亞集中類似康托集的結構，並結合扭曲估計以控制測度增長。
• 作者應用非均勻雙曲系統理論的結果，並使用科萊特–艾肯曼（Collet–Eckmann）條件來控制擴張行為。
• 該構造基於對臨界軌道組合學的細緻分析，並運用重整化算子以穩定動力系統。

实验结果

研究问题

• RQ1 是否存在某多項式映射，其朱利亞集具有正勒貝格測度？
• RQ2 對於多項式 $z^L + c$ 的何種次數 $L$，存在某 $c$ 使得其朱利亞集具有正測度？
• RQ3 臨界軌道需具備何種動力條件，才能確保朱利亞集具有正測度？
• RQ4 是否能明確構造出此類多項式？若可，其參數需滿足何種約束？
• RQ5 朱利亞集的測度與映射的雙曲性或非均勻雙曲性之間有何關係？

主要发现

• 本文聲稱證明：對每個偶數 $L \geq L_0$，存在一實參數 $c_1$，使得映射 $z \mapsto z^L + c_1$ 的朱利亞集具有正勒貝格測度。
• $L_0$ 在論證中被明確構造，但其精確數值未在摘要中說明。
• 該結果依賴於重整化過程中扭曲估計之主要技術引理的有效性。
• 作者聲稱朱利亞集非零測集，暗示其在 $\mathbb{C}$ 中具有正測度，此與早期認為所有有理函數朱利亞集皆為零測集的猜想相矛盾。
• 該構造依賴於臨界點具有非逃逸、非週期軌道，且擴張行為受控。
• 該聲稱於1997年由夏爾·布菲（Xavier Buff）證實存在嚴重缺陷，導致證明無效，且截至1999年此類多項式是否存在仍為開放問題。