[논문 리뷰] On the Lebesgue measure of the Julia set of a quadratic polynomial

Mikhail Lyubich|arXiv (Cornell University)|1991. 05. 28.

Mathematical Dynamics and Fractals인용 수 47

한 줄 요약

이 논문은 이차 다항식 $ z^2 + a $의 줄리 집합이 무리수 고정점이 없고 무한히 재정규화 가능하지 않은 경우 르베그 측도가 0임을 증명한다. 요코츠 파artitions와 일반화된 다항식 유사 맵 구성법을 사용하여, 임계 표기의 비순환성은 모듈러스 추정과 극한 길이 부등식을 통해 0 측도로 이어짐을 보이며, 맥마헌의 삼차 다항식 결과를 이차 경우로 확장한다.

ABSTRACT

The goal of this note is to prove the following theorem: Let $p_a(z) = z^2+a$ be a quadratic polynomial which has no irrational indifferent periodic points, and is not infinitely renormalizable. Then the Lebesgue measure of the Julia set $J(p_a)$ is equal to zero. As part of the proof we discuss a property of the critical point to be {\it persistently recurrent}, and relate our results to corresponding ones for real one dimensional maps. In particular, we show that in the persistently recurrent case the restriction $p_a|ω(0)$ is topologically minimal and has zero topological entropy. The Douady-Hubbard-Yoccoz rigidity theorem follows this result.

연구 동기 및 목표

• 특정 동역학 조건 하에서 이차 다항식 $ p_a(z) = z^2 + a $의 줄리 집합의 르베그 측도를 확립하기.
• 맥마헌의 삼차 다항식에 대한 0 측도 결과를 이차 설정으로 확장하기.
• 임계 점의 지속적 재귀와 그에 따른 위상 최소성 및 엔트로피에 대한 영향을 통해 동역학적 행동 특성화하기.
• 줄리 집합에서 가측 불변 선형장이 존재하지 않음을 통해 $ p_a $의 강성 증명하기.

제안 방법

• 요코츠 파artitions와 임계 이터리너리(여정)를 이용해 $ p_a $의 동역학으로부터 일반화된 다항식 유사 맵 $ g $를 구성하기.
• 다중 연결 영역 $ A = D \setminus K $의 모듈러스 $ \mu(A) $를 조화 함수의 딜레르흐 적분의 역수로 정의하기.
• 표기 기법을 사용해 임계 조각의 역상들을 정리하고, 임계성에 따라 $ \mu^{n-1}_{k+1} = \mu^n_k $ 또는 $ 2\mu^n_k $인 모듈러스 $ \mu^n_k $에 대한 재귀 관계 유도하기.
• 그로츠쉬의 부등식과 등주 부등식을 적용하여 $ \mu(A(x)) \geq \sum \mu(A^n(x)) = \infty $임을 보이고, 이는 $ \bigcap V^n(x) $가 한 점임을 의미함.
• 지속적 재귀와 비순환 임계 표기와 함께 다항식 유사 맵 $ g $의 존재를 연결하기.
• bound $ \lambda(D)/\lambda(K) \geq 1 + 4\pi\mu(A) $를 사용하여 $ \sum \mu(A^n(x)) = \infty $이면 $ \lambda(K(g)) = 0 $임을 보임.

실험 결과

연구 질문

• RQ1 이차 다항식 $ p_a(z) = z^2 + a $의 줄리 집합이 르베그 영집합이 되는 동역학적 조건은 무엇인가?
• RQ2 임계 점의 지속적 재귀는 줄리 집합의 위상적 구조와 측도에 어떻게 관련되는가?
• RQ3 다중 연결 영역의 모듈러스를 다항식 유사 맵의 줄리 집합에 대해 0 측도를 증명하는 데 사용할 수 있는가?
• RQ4 임계 표기의 비순환성과 채워진 줄리 집합의 위상적 구조 사이의 관계는 무엇인가?
• RQ5 가측 불변 선형장이 존재하지 않음은 $ p_a $의 강성과 어떻게 관련되는가?

주요 결과

• 다항식 $ p_a $가 무리수 고정점이 없고 무한히 재정규화 가능하지 않다면, 줄리 집합 $ J(p_a) $의 르베그 측도는 0이다.
• 임계 표기가 비순환적일 경우, 구성된 다항식 유사 맵 $ g $의 채워진 줄리 집합 $ K(g) $는 르베그 측도가 0인 칸토어 집합이다.
• 임계 점의 지속적 재귀는 제약 조건 $ p_a|\omega(0) $가 위상적으로 최소적이며, 위상 엔트로피가 0임을 의미한다.
• 모듈러스 추정 $ \lambda(D)/\lambda(K) \geq 1 + 4\pi\mu(A) $는 $ \sum \mu(A^n(x)) = \infty $이면 0 측도로 이어지며, 이는 비순환성 조건 하에서 성립한다.
• 임계 표기가 비순환적이라는 것은 $ \bigcap V^n(x) $가 싱글턴임을 의미하며, 이는 $ K(g) $의 칸토어 집합 구조를 확인한다.
• 줄리 집합에서 가측 불변 선형장이 존재하지 않기 때문에 $ p_a $의 강성이 도출되며, 이는 줄리 또는 파투 집합에서 변형이 불가능함을 의미한다.