[논문 리뷰] Parabolic Bifurcations in Complex Dimension 2

Eric Bedford, John Smillie외 1명|arXiv (Cornell University)|2012. 08. 13.

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

한 줄 요약

이 논문은 복소 차원 1에서의 포물선 분기 이론을 복소 차원 2로 확장하여, 반정적 미분형사의 변화에 따른 역학 집합—예를 들어 $K^+$, $J^+$, $J^*$, $K$—의 비연속적 행동을 분석한다. 피터르 좌표와 새로운 정규화를 사용하여, 변화된 매핑의 고차 반복이 모델 매핑 $T_\alpha$로 수렴함을 증명함으로써, 정방향 시간의 구속집합에서 연속성 실패를 설명하고, 라바르의 정리에 대한 두 차원 버전을 수립한다.

ABSTRACT

Parabolic bifurcations in one complex dimension demonstrate a wide variety of interesting dynamical phenomena. In this paper we consider parabolic bifurcations of families of diffeomorphisms in two complex dimensions. Specifically we consider a two variable family of diffeomorphisms $F_ε: M o M$ given locally by $$F_ε(x,y) = (x + x^2 + ε^2+ ..., b_εy+...)$$ where $|b_ε|<1$, and the `$...$' terms involve $x$, $y$ and $ε$.

연구 동기 및 목표

• 고정점의 고유값이 1과 $|b_0|<1$인 반정적 미분형사에 초점을 맞추어, 복소 차원 1에서의 포물선 분기 이론을 두 복소 차원으로 확장한다.
• 다항식 미분형사의 역학적 행동을 반정적 고정점 근처에서 분석하며, 특히 정방향 및 역방향 구속집합의 변화를 다룬다.
• 피터르 좌표를 통해 정의된 모델 매핑 $T_\alpha$로의 고차 반복의 수렴에 대해, 라바르의 정리의 두 차원 버전을 수립한다.
• 함수 $\epsilon \mapsto X(F_\epsilon)$가 $X = J^*, J^+, K^+, K$ 일 때 $\epsilon = 0$ 에서 비연속적이며, $X = J^-, K^-$ 일 때는 연속적임을 증명한다.

제안 방법

• 반정적 고정점 근처에서 미분형사 $F_\epsilon$ 의 국소 형태를 단순화하는 정규화 (3.1) 를 도입한다.
• 두 개의 피터르 좌표를 정의한다: 이중적인 흡인 영역 $\mathcal{B}$ 에서의 $\varphi^\iota$ 와 일차원 반발성 잎 $\Sigma$ 에서의 $\varphi^o$ 로, 기능 방정식 $\varphi(f(p)) = \varphi(p) + 1$ 을 만족한다.
• 모델 매핑 $T_\alpha = (\varphi^o)^{-1} \circ \tau_\alpha \circ \varphi^\iota$ 를 구성하며, 여기서 $\tau_\alpha(\zeta) = \zeta + \alpha$ 는 피터르 좌표 공간에서 시간-$\alpha$ 이동으로 작용한다.
• $\alpha$-시퀀스 $\epsilon_j \to 0$, $n_j \to \infty$ 이며 $n_j - \pi/\epsilon_j \to \alpha$ 를 만족하는 조건을 사용하여 고차 반복 $F_{\epsilon_j}^{n_j}$ 의 극한을 분석한다.
• 고차 반복 $F_{\epsilon_j}^{n_j} \to T_\alpha$ 가 $\mathcal{B}$ 의 컴acts부분집합에서 균일 수렴함을 증명하여, 반복의 모델 매핑으로의 수렴을 확립한다.
• 고차 반복의 수렴을 보장하기 위해 $K^+$ 와 $J^+$ 의 반연속성 성질을 적용하여 $\limsup_{j\to\infty} K^+(F_{\epsilon_j}) \subset K^+(F, T_\alpha)$ 를 유도함으로써, 극한 집합과 모델 역학 간의 연결 고리를 확립한다.

실험 결과

연구 질문

• RQ1 반정적 미분형사가 $\mathbb{C}^2$ 에서 변화할 때, 채워진 쾨리 집합 $K^+$, $J^+$, $J^*$, $K$ 는 어떻게 행동하는가?
• RQ2 변화된 매핑의 고차 반복이 피터르 좌표를 통해 정의된 모델 매핑 $T_\alpha$ 로 얼마나 정확히 수렴하는가?
• RQ3 $\epsilon \mapsto K^+(F_\epsilon)$ 가 $\epsilon = 0$ 에서 비연속인 이유는 무엇이며, $\epsilon \mapsto K^-(F_\epsilon)$ 는 왜 연속적인가?
• RQ4 피터르 좌표는 고차원에서 흡인성과 반발성 역학 간의 전이를 어떻게 기술하는가?
• RQ5 기저 $\mathcal{B}$ 와 강력한 안정다양체 $W^{ss}(O)$ 의 기하학적 성질은 분기 구조에 어떤 영향을 미치는가?

주요 결과

• $\epsilon \mapsto K^+(F_\epsilon)$ 는 $\epsilon = 0$ 에서 비연속적이며, 임의의 $\alpha$-시퀀스에 대해 $\limsup_{j\to\infty} K^+(F_{\epsilon_j}) \subset K^+(F, T_\alpha)$ 를 만족한다.
• $\alpha$-시퀀스를 따라 고차 반복 $F_{\epsilon_j}^{n_j}$ 의 극한은 기저 $\mathcal{B}$ 에서 모델 매핑 $T_\alpha$ 로 수렴하며, 이는 라바르의 정리를 두 복소 차원으로 일반화한 것이다.
• $K^+(F, T_\alpha) \cap \mathcal{B}$ 는 $\{\varphi^\iota = \text{const}\}$ 의 섬유들의 합집합이며, $\mathcal{B}$ 의 진부분집합이므로 기저 내의 모든 점이 정방향 극한 집합에 남아 있지는 않다.
• $K(F, T_\alpha) = K^-(F) \cap K^+(F, T_\alpha)$ 는 비어 있지 않으며 불변이며, $J(F, T_\alpha) = \partial K^+(F, T_\alpha) \cap K^-(F)$ 이며, $\mathcal{J}^*_{\alpha} \subset J(F, T_\alpha)$ 이다.
• $\epsilon \mapsto K^-(F_\epsilon)$ 는 $\epsilon = 0$ 에서 연속적이지만, $\epsilon \mapsto K^+(F_\epsilon)$ 는 비연속적임을 증명할 수 있으며, 이는 정방향 방향에서의 비자명한 역학 때문임을 밝힌다.
• 다이나믹스 평면의 상단 영역에서의 수직 이동은 약 $c_0^+ \approx -5.83$ 이며, 영상 내의 수평 스트립 수는 $8 \approx 44 / 5.83$ 과 일치하며, 이는 이동의 주기와 일치한다.