[논문 리뷰] Quadratic Julia Sets with Positive Area

Xavier Buff, Arnaud Chéritat|ArXiv.org|2006. 05. 18.

Mathematical Dynamics and Fractals참고 문헌 10인용 수 6

한 줄 요약

이 논문은 불변점이 크레머 고정점, 시겔 원판, 무한한 위상 자식 재정규화를 가진 예를 구성하기 위해 변형 기법을 사용하여, 르베그 측도가 양인 이차 다항식의 존재를 증명한다. 포스트-비판적 집합을 제어하고 McMullen, Chéritat, Yoccoz의 결과를 활용함으로써, 비하이퍼볼릭적이고 일부 경우에선 선형화가 불가능한 경우에도 이러한 조르겐 세트가 양의 면적을 가질 수 있음을 입증한다.

ABSTRACT

We prove the existence of quadratic polynomials having a Julia set with positive Lebesgue measure in three cases: the presence of a Cremer fixed point, the presence of a Siegel disk, the presence of infinitely many (satellite) renormalizations.

연구 동기 및 목표

• 이차 다항식의 조르겐 세트가 양의 면적을 가질 수 있다는 오랫동안 남아있던 추측을 해결하기 위해.
• 크레머 고정점, 시겔 원판, 무한한 위상 자식 재정규화를 가진 특정 역학적 특성을 지닌 이러한 다항식의 명시적 예를 구성하기 위해.
• 이전 결과를 확장하여, 비하이퍼볼릭적이며 비선형화가 불가능한 설정에서도 양의 면적이 가능함을 보여주기 위해.
• 유계 유형 무리수를 변형하고 변형 과정에서의 측도 손실을 제어함으로써, 새로운 증명 전략을 제시하기 위해.
• 상한 반연속성과 시겔 원판 경계 근처의 가측 밀도를 활용하여, 양의 면적이 유지될 수 있음을 보여주기 위해.

제안 방법

• 유계 유형 무리수에 대해 작은 변형이 채워진 조르겐 세트의 대부분의 면적을 유지한다는 핵심 명제를 바탕으로 한 변형 전략의 사용.
• McMullen의 결과를 적용하여, 유계 유형 회전 수를 가진 시겔 원판의 경계 근처에서 채워진 조르겐 세트의 가측 밀도에 대해 분석.
• Chéritat의 포물선 폭발 기법을 활용하여 변형된 시겔 원판과 그 포스트-비판적 집합의 기하학을 제어.
• Yoccoz의 재정규화 이론을 활용하여 시겔 원판의 구조와 그 회전 수를 분석.
• Inou와 Shishikura의 결과를 통합하여, 비정상 고정점이 있는 다항식의 변형에서 포스트-비판적 집합을 제어.
• 등각 동형과 보편 덮개 사상의 사용을 통해 기본 도메인에서의 역학을 분석하고 핵심 사상의 단사성을 증명.

실험 결과

연구 질문

• RQ1 크레머 고정점을 가진 이차 다항식이 르베그 측도가 양인 조르겐 세트를 가질 수 있는가?
• RQ2 면적이 양인 조르겐 세트를 가진 시겔 원판을 가진 이차 다항식이 존재하는가?
• RQ3 무한한 위상 자식 재정규화 가능성을 지닌 이차 다항식으로서 면적이 양인 조르겐 세트를 가진 예를 구성할 수 있는가?
• RQ4 유계 유형 회전 수를 가진 매개변수의 작은 변형에서 채워진 조르겐 세트의 면적이 어떻게 유지될 수 있는가?
• RQ5 비하이퍼볼릭성 또는 선형화의 부재에도 불구하고 양의 면적이 유지되는 역학적 메커니즘은 무엇인가?

주요 결과

• 논문은 크레머 고정점이 있고 르베그 측도가 양인 조르겐 세트를 가진 이차 다항식의 존재를 입증한다.
• 이중 다항식이 시겔 원판을 가지며 조르겐 세트의 면적이 양인 경우가 존재함을 증명하여 이전 결과를 확장한다.
• 무한한 위상 자식 재정규화 가능성을 지닌 이차 다항식의 예를 구성하며, 그 조르겐 세트가 양의 면적을 가짐을 보여준다.
• 한계로 수렴하는 매개변수의 수열에 대해 채워진 조르겐 세트의 면적이 양의 상한으로 항상 유지됨을 보였다.
• 면적 손실이 매우 작아지도록 제어되는 변형 기법에 의존하여, 극한 다항식이 양의 면적을 가짐을 보장한다.
• 채워진 조르겐 세트의 면적이 상한 반연속성이며, 작은 변형에서도 유지될 수 있는 유계 유형 무리수의 집합을 사용한다.