[논문 리뷰] Polynomial maps with a Julia set of positive measure

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

Mathematical Dynamics and Fractals참고 문헌 25인용 수 5

한 줄 요약

이 논문은 $L \geq L_0$ 이면서 $L_0$가 충분히 큰 짝수인 형태의 다항사상 $z \mapsto z^L + c_1$가 존재하여 그의 줄리아 집합이 양의 르베그 측도를 가진다고 주장한다. 이 증명은 복소다이나믹스와 재규격화 기법에 기반하지만, 1997년 바실 뷔프에 의해 심각한 결함이 밝혀져 원래 결과는 검증되지 않은 채로 남아 있으며, 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.

연구 동기 및 목표

• 복소다이나믹스 분야에서 오랫동안 미해결된 문제인 다항사상이 줄리아 집합을 양의 르베그 측도로 가질 수 있는지 여부를 해결하는 것.
• 모노닉이고 짝수 차수이며 특정한 임계값을 가지는 다항사상의 특정 클래스가 존재함을 보여주어 그 줄리아 집합이 양의 측도를 가짐을 입증하는 것.
• 유리형 및 다항다이나믹스에서 줄리아 집합의 기하학적 및 측도론적 성질에 대한 이해를 확장하는 것.
• 르베그 측도 하에서 영집합이 아닌 줄리아 집합을 가지는 다항사상의 구체적 예를 제시하여 이전의 가정에 도전하는 것.
• 측도론적 기준을 통한 복소일변수 다이나믹스 사상의 동역학적 행동 분류에 기여하는 것.

제안 방법

• 저자들은 다항사상에서 임계 궤도의 기하학과 재규격화 이론을 포함한 복소다이나믹스 기법을 사용한다.
• 짝수 정수 $L \geq L_0$ 에 대해 $z \mapsto z^L + c_1$ 사상의 역학을 분석하며, 임계점 0의 행동에 초점을 맞춘다.
• 증명은 임계점의 궤도가 특정한 확장 영역을 피하도록 보장함으로써, 르베그 측도가 양이 되는 매개변수 $c_1 \in \mathbb{R}$ 를 구성하는 데 기반한다.
• 증명은 줄리아 집합 내에 칸토어 유사한 구조가 존재하고, 이와 함께 왜곡 추정치를 통해 측도 증가를 제어하는 데 의존한다.
• 비균일적으로 하이퍼볼릭 시스템 이론의 결과를 적용하고, 확장 정도를 제어하기 위해 콜렛–에크만 조건의 개념을 사용한다.
• 구성은 임계 궤도의 조합론적 성질을 세밀하게 분석하고, 동역학을 안정화시키기 위한 재규격화 연산자를 활용한다.

실험 결과

연구 질문

• 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}$ 상에서 양의 측도를 가짐을 암시하며, 이는 이전에 모든 유리형 사상의 줄리아 집합이 측도가 0이어야 한다는 추측과 모순된다.
• 구성은 임계점이 비이탈적이며 비순환 궤도를 가지며, 확장 정도가 제어되는 경우에 기반한다.
• 1997년 바실 뷔프에 의해 이 주장에 심각한 결함이 드러나 증명이 무효화되었으며, 1999년 기준으로 이러한 다항식의 존재성은 여전히 미해결 문제로 남아 있다.