[논문 리뷰] Smooth Siegel disks via semicontinuity: a remark on a proof of Buff and Cheritat

Artur Avila|ArXiv.org|2003. 05. 19.

Mathematical Dynamics and Fractals참고 문헌 3인용 수 3

한 줄 요약

이 논문은 Yoccoz와 Risler의 재규격화 이론에 관한 기존 결과 및 상한 및 약한 하한 반연속성의 논증을 활용하여, 매끄러운(C∞) 경계를 가진 이차 Siegel 디스크의 존재성을 간결하게 증명한다. conformal 반경 함수 α ↦ 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.

연구 동기 및 목표

• Buff와 Cheritat의 결과를 바탕으로, 이차 Siegel 디스크의 C∞ 경계 존재성을 단순화하고 추상화된 증명을 제공하는 것.
• 핵심 동역학 메커니즘이 포물선 폭발이 아니라 conformal 반경 함수의 반연속성 성질에 기반한다는 것을 보여주는 것.
• 이차 가족을 초월하여 비선형 또는 정칙 함수에 대해 비-Brjuno Siegel 디스크가 없는 다른 유리 함수나 정칙 함수에 대해 이 방법을 일반화하는 것.
• Herman 고리에 대해 이 접근법을 확장하여 원환면 위의 해석적 선형화에 대해 유사한 결과를 도출하는 것.

제안 방법

• Hurwitz의 정리와 정규 가족에 기반한 conformal 반경 함수 rα의 상한 반연속성 이용.
• Yoccoz의 정리(rα = 0 for non-Brjuno)와 Risler의 결과(비-Brjuno 수에서의 연속성)에 기반해 Brjuno 및 비-Brjuno 무리수에서 rα의 약한 하한 반연속성 적용.
• 상한 및 약한 하한 반연속성 함수에 대해 중간값 정리를 적용하여, 주어진 반경 r < rα₀를 갖는 매개변수의 조밀성을 도출.
• rβi가 r로 단조 감소하면서 α₀로 수렴하는 매개변수 βi의 수열을 구성하여, E_r 위상에서 균일화 지도의 수렴 보장.
• 콤���트 부분집합에서의 균일 수렴 위상과 매끄럽거나 준해석 함수의 완비 거리 공간 E_r를 이용해 선형화 지도의 정규성 제어.
• Yoccoz의 정리를 Geyer의 복소 Arnold 가족에 대한 결과로 대체하여 Herman 고리에 대해 적용, 반연속성의 구조 유지.

실험 결과

연구 질문

• RQ1 이차 맵에서 매끄러운 Siegel 디스크의 존재성을 포물선 폭발 기법에 의존하지 않고 확립할 수 있는가?
• RQ2 conformal 반경 함수 α ↦ rα가 중간값 정리를 만족하기 위해 필요한 최소한의 동역학적 가정은 무엇인가?
• RQ3 반연속성과 재규격화의 방법이 이차 다항식을 초월해 어떻게 일반화될 수 있는가?
• RQ4 유리 함수에서 Herman 고리에 대해 유사한 결과가 성립하는가, 특히 복소 Arnold 가족에서 성립하는가?
• RQ5 비-Brjuno 수에서 rα의 약한 하한 반연속성이 비-Brjuno 매개변수에 대한 특수한 처리가 필요 없음을 보장하는가?

주요 결과

• 임의의 Brjuno 수 α₀에 대해 rα₀ > 0 이고, 임의의 r < rα₀ 및 δ > 0 에 대해, rα = r 이며 Dr 위에서 Lα가 E_r 위상에서 Lα₀와 δ-근접인 α가 α₀에 임의로 가까이 존재한다.
• 정리 2.1의 조건을 만족하는 매개변수 α의 집합은 칸토어 집합이며, 이는 비가чёт수의 이러한 매끄러운 Siegel 디스크가 존재함을 시사한다.
• d ≥ 2 인 z ↦ e^{2πiα}z(1+z/d)^d 및 z ↦ e^{2πiα}ze^z 등의 유리 함수 가족에 대해서도 이 방법이 적용되며, 비-Brjuno Siegel 디스크가 없는 경우에 한하여 성립한다.
• 동일한 증명 구조는 Herman 고리로도 확장되어, rλ = r < rλ₀ 이며 Ar 위에서 Tλ|Ar가 Tλ₀|Ar와 E_r 위상에서 가까운 λ가 λ₀ 근처에 존재함을 보여준다.
• Herman 고리의 경우, rλ = 0 이지만 경계 동형 T가 원래 Tλ₀|S¹와 C⁰-근접인 λ도 동일한 방법으로 생성된다.
• 증명은 Siegel 디스크 경계의 매끄러움이 포물선 폭발에 의한 동역학적 제어가 아니라 매개변수 공간의 위상적 성질과 반연속성 성질의 결과임을 보여준다.