[논문 리뷰] Arc-like continua, Julia sets of entire functions, and Eremenko's Conjecture

Lasse Rempe|arXiv (Cornell University)|2016. 10. 20.

Mathematical Dynamics and Fractals참고 문헌 23인용 수 24

한 줄 요약

이 논문은 이산형 전체 함수의 줄리 집합의 위상적 구조를 조사하며, 각 연결 성분이 무한대를 추가하여 컴actify할 경우, 약한 기하 조건 하에서 스파너가 0인 연속체이자 호 유사 구조를 이룬다는 것을 증명한다. 또한, 모든 호 유사 연속체(예: sin(1/x)-곡선, 허위-팔라, 캐릭터)를 포함하는 단일 함수를 구성하여, 이러한 위상이 이 동역학적 설정에서 보편적임을 보여준다.

ABSTRACT

A hyperbolic transcendental entire function with connected Fatou set is said to be "of disjoint type". It is known that a disjoint-type function provides a model for the dynamics near infinity of all maps in the same parameter space; hence a good understanding of these functions has implications in wider generality. Our goal is to study the topological properties of the Julia sets of entire functions of disjoint type. In particular, we give a detailed description of the topology of their connected components. More precisely, consider a "Julia continuum" C of such a function, i.e. the closure in the Riemann sphere of a component of the Julia set. We show that infinity is a terminal point of C, and that C has span zero in the sense of Lelek; under a mild geometric assumption on the function C is arc-like. (Whether every span zero continuum is also arc-like was a famous question in continuum theory, only recently resolved in the negative.) Conversely, we construct a single disjoint-type entire function with the remarkable property that each arc-like continuum with at least one terminal point is realised as a Julia continuum. The class of arc-like continua with terminal points is uncountable. It includes, in particular, the sin(1/x)-curve, the Knaster buckethandle and the pseudo-arc, so these can all occur as Julia continua of a disjoint-type entire function. We give similar descriptions of the possible topology of Julia continua that contain periodic points or points with bounded orbits, and answer a question of Barański and Karpińska by showing that Julia continua need not contain points that are accessible from the Fatou set. Furthermore, we construct an entire function whose Julia set has connected components on which the iterates tend to infinity pointwise, but not uniformly. This is related to a famous conjecture of Eremenko concerning escaping sets of entire functions.

연구 동기 및 목표

• 이산형 전체 함수의 줄리 집합의 연결 성분의 위상적 구조를 규명하는 것.
• 각 줄리 집합 성분에 무한대를 추가하여 컴actify할 경우, 스파너가 0이거나 호 유사 구조인지 여부를 판단하는 것.
• 모든 호 유사 연속체 중 최소한 하나의 종점이 존재하는 것이 성분으로 나타나는 단일 이산형 전체 함수를 구성하는 것.
• 줄리 집합의 점들이 파투 집합에서 접근 가능한지 여부 및 무한대 방향으로의 이동이 균일한지에 대한 열린 질문을 해결하는 것.
• 에рем베노의 추측과 관련하여, 일부 연결 성분에서 균일한 이동 행동이 성립하지 않는 반례를 제시하는 것.

제안 방법

• 리만 구면에 무한대를 추가하여 컴actify한 상황에서 이산형 전체 함수의 동역학을 분석하기 위해 등각 동역학과 쌍곡 기하학을 사용한다.
• 레렉의 스파너가 0인 연속체 이론과 최근 연속체 이론의 결과(예: 후헨의 레렉의 추측에 대한 반례)를 적용하여 줄리 연속체를 분류한다.
• 트랙과 리만 표면의 구조를 재귀적으로 구성하며, 조각별 선형 근사와 제어된 모서리 분할을 사용하여 유한한 기하학적 성질을 확보한다.
• 스코트키 유형의 접합 과정을 통해 단일 전체 함수를 구성하여, 모든 원하는 호 유사 연속체가 줄리 집합의 성분으로 나타나도록 보장한다.
• 유니버설 커버에서 지오데식선이 경계에서 일정하게 떨어져 있도록 보장하기 위해, 유도 과정을 인덕티브로 수정한다.
• 유한한 장식 조건과 보조정리 8을 사용하여, 함수가 특정 기하 조건을 만족할 경우 모든 줄리 연속체가 허위-팔라임을 보장한다.

실험 결과

연구 질문

• RQ1 이산형 전체 함수의 줄리 집합의 연결 성분으로 나타날 수 있는 위상적 유형의 연속체는 무엇인가?
• RQ2 무한대를 추가하여 컴actify한 줄리 성분은 항상 호 유사 연속체 또는 스파너가 0인 연속체인가?
• RQ3 단일 이산형 전체 함수가 기하학적으로 서로 다른 비가산 개의 호 유사 연속체를 성분으로 포함할 수 있는가?
• RQ4 무한대로 발산하는 줄리 집합의 모든 점들이 무한대와 연결된 호 위에 존재하는가? 이는 성분 전체에 걸쳐 균일하게 성립하는가?
• RQ5 이산형 전체 함수에서 반복 함수가 어떤 연결 성분에서 점별로 무한대로 수렴하지만, 균일하게 수렴하지는 않는 경우가 존재할 수 있는가?

주요 결과

• 이산형 전체 함수의 줄리 집합의 임의의 연결 성분 $ C $ 에 대해, $ \hat{C} = C \cup \{\infty\} $ 는 레렉의 의미에서 스파너가 0이다.
• 약간의 기하 조건(유한한 장식 조건)이 만족되면 $ \hat{C} $ 는 호 유사 구조이며, $ \infty $ 는 $ \hat{C} $ 의 종점이다.
• 모든 호 유사 연속체 중 최소한 하나의 종점이 존재하는 것(예: $ \sin(1/x) $-곡선, 허위-팔라, 버킷핸들)이 $ \hat{J}(f) $ 의 연결 성분으로 나타나는 단일 이산형 전체 함수 $ f $ 가 존재한다.
• 이러한 연속체의 집합은 비가산적이며, 한 함수 안에서 모두 실현된다.
• 논문은 일부 연결 성분에서 반복 함수가 점별로 무한대로 수렴하지만, 균일하게 수렴하지는 않는 이산형 전체 함수를 구성하여, 바라니스키와 카르피ńska의 질문에 답한다.
• 줄리 연속체가 반드시 파투 집합에서 접근 가능한 점을 포함하지는 않으며, 이는 바라니스키와 카르피ńska가 제기한 질문에 대해 부정적으로 해결한다.