[논문 리뷰] Henon mappings in the complex domain II: projective and inductive limits of polynomials

John H. Hubbard, Ralph W. Oberste-Vorth|arXiv (Cornell University)|1994. 01. 12.

Mathematical Dynamics and Fractals참고 문헌 19인용 수 75

한 줄 요약

이 논문은 다항식 $p$가 초구형이고 매개수 $a$가 작을 때, 복소 헨온 사상에서의 불변 집합—예를 들어 $K_+$, $J_+$, $K$, $J$—의 위상적 구조를 기술한다. $p$에 의해 정의된 동역학계의 사영 및 귀납 극한을 사용하여 이러한 집합을 위상적 극한으로 기술함으로써, 특정 조건 하에서 잼아 집합 $J$와 안정성 영역의 경계가 레이크스 오브 와다 성질을 갖는다는 것이 드러났다.

ABSTRACT

Let H: C^2 -> C^2 be the Henon mapping given by (x,y) --> (p(x) - ay,x). The key invariant subsets are K_+/-, the sets of points with bounded forward images, J_+/- = the boundary of K_+/-, J = the union of J_+ and J_-, and K = the union of K_+ and K_-. In this paper we identify the topological structure of these sets when p is hyperbolic and |a| is sufficiently small, ie, when H is a small perturbation of the polynomial p. The description involves projective and inductive limits of objects defined in terms of p alone.

연구 동기 및 목표

• 복소 영역 내 헨온 사상에서의 불변 집합 $K_\pm$, $J_\pm$, $K$, $J$ 의 위상적 구조를 이해하는 것.
• 초구형 다항식의 동역학 이론을 헨온 사상에 의해 소규모 변형에 대해 확장하는 것.
• 비단사성 다항식과 단사성 헨온 사상 간의 갈등을 사영 및 귀납 극한을 통한 단사 동역학계 구축으로 해결하는 것.
• 안정성 영역의 경계 구조를 특성화하고, 특히 그것이 레이크스 오브 와다 성질을 갖는 조건을 규명하는 것.
• 초구형 다항식에서 $|a|$가 작을 경우, 헨온 사상의 불변 집합이 $p$만으로 정의된 시스템의 극한으로 나타남을 증명하는 것.

제안 방법

• 사영 극한 $\hat{\mathbb{C}}_p = \varprojlim(\mathbb{C}, p)$ 를 구성하여 $p$에 대한 역행렬 궤적을 포함하며, 여기서 $\hat{p}$ 는 전이열의 시프트로 작용하는 단사 동역학을 지닌다.
• 초구형이고 $|\alpha|$ 가 작을 경우, 다항식의 비가역성과 개방성을 유지하는 리프트 $f_{p,\alpha,R}$ 를 사용하여 귀납 극한 $\check{\mathbb{C}}_p = \varinjlim(J_p \times D, f_{p,\alpha,R})$ 를 정의한다.
• 귀납 극한 구축을 통해 헨온 사상의 주기점의 안정다양체를 모델링하며, 특히 안정성 순환에 초점을 맞춘다.
• 실수 평면 $\mathbb{R}^2$ 에서 안정성 영역의 접근 가능한 경계와 귀납 극한 $\check{\mathbb{R}}_p$ 사이의 위상동형사상 $\Phi_+$ 를 수립하여 실수 동역학과 복소 헨온 구조를 연결한다.
• 역극한 이론과 동역학계 이론을 적용하여, $p$ 가 만델브로 집합에 조밀할 경우 $J_+ \cap \mathbb{R}^2$ 에서 안정성 영역의 경계가 $J_+ \cap \mathbb{R}^2$ 에 조밀해짐을 보여준다.
• 앨렉산더 코hom로지 이론을 사용하여 $J_+ \cap \mathbb{R}^2$ 의 한점 컴actification 의 코homology 를 분석함으로써 위상적 불변량과 동역학적 주기 간의 연결 고리를 설정한다.

실험 결과

연구 질문

• RQ1 다항식 $p$ 가 초구형이고 $|a|$ 가 작을 때, 헨온 사상의 불변 집합 $K_\pm$, $J_\pm$, $K$, $J$ 는 어떻게 위상적으로 기술할 수 있는가?
• RQ2 사영 및 귀납 극한을 통해 비단사성 다항식과 단사성 헨온 사상 간의 갈등을 어떻게 조화시킬 수 있는가?
• RQ3 헨온 사상에서 안정성 영역의 경계가 레이크스 오브 와다 성질을 갖는 조건은 무엇인가?
• RQ4 귀납 극한 구축 $\check{\mathbb{C}}_p$ 는 헨온 사상의 주기점의 안정다양체 구조를 어떻게 모델링하는가?
• RQ5 같은 주기를 갖는 안정성 순환을 가진 헨온 사상들 간의 카운터비트 시퀀스가 다를 경우, 어떤 위상적 불변량이 이를 구별하는가?

주요 결과

• 사영 극한 $\hat{\mathbb{C}}_p$ 는 $p$ 의 역행렬 궤적을 모델링하는 단사 동역학계를 제공하며, $\hat{p}$ 는 전이열의 시프트로 작용한다.
• 초구형이고 $|\alpha|$ 가 작을 경우, $J_p$ 에 임계점이 없기 때문에 귀납 극한 $\check{\mathbb{C}}_p = \varinjlim(J_p \times D, f_{p,\alpha,R})$ 는 잘 정의되어 있고 하우스도르프 성질을 갖는다.
• 실수 평면 $\mathbb{R}^2$ 에서 각 안정성 영역의 접근 가능한 경계는 $J_+ \cap \mathbb{R}^2$ 에 조밀하여, 모든 안정성 영역이 동일한 경계를 공유함을 의미한다.
• 다항식 $p$ 가 만델브로 집합에 조밀할 경우, $J_+ \cap \mathbb{R}^2$ 의 한점 컴actification $X_{p,a}$ 는 $\check{H}^1(X_{p,a}, \mathbb{Z}) \cong \mathbb{Z}^k$ 를 만족하며, 여기서 $k$ 는 안정성 순환의 주기이다.
• 귀납 극한 구축은 $\check{\mathbb{R}}_p$ 에 프랙탈 유사한 구조를 유도하며, 구간을 연결하는 호들이 다항식의 카운터비트 시퀀스를 반영함으로써, 동일한 주기이지만 다른 조합론적 성질을 가진 사상들 간의 위상적 차이를 시사한다.
• 논문은 실수 이차 다항식에서 안정성 3순환을 갖는 경우, 귀납 극한 구축이 레이크스 오브 와다 유사한 구조를 생성함을 보여주며, 여러 안정성 영역이 공통 경계를 공유함을 밝혔다.