[논문 리뷰] Stability and bifurcations for dissipative polynomial automorphisms of C^2

Romain Dujardin, Lyubich Mikhail|arXiv (Cornell University)|2013. 05. 13.

Advanced Differential Equations and Dynamical Systems참고 문헌 24인용 수 18

한 줄 요약

이 논문은 C^2에서의 다소 비소산성 다항자기동역학의 힐베르트 가중족에 대해, 동질적 접선이 발생하는 매개변수들이 분기 다각형 내에서 조밀함을 증명한다—이것은 팔리의 추측에 대한 복소수판의 확인이다. 저자들은 1차원 동역학에서 J-안정성에 대응하는 동역학적 유사체로 약한 안정성을 도입하고, 이러한 약한 안정성 지닌 맵들과 동질적 접선을 보이는 맵들이 매개변수 공간의 조밀한 부분집합을 이룬다는 것을 증명한다. 이를 위해 반타원형 분기 이론과 Denjoy-Carleman-Ahlfors 정리를 사용하여 반타원형 흡인영역 내 임계점을 구성한다.

ABSTRACT

We study stability and bifurcations in holomorphic families of polynomial automorphisms of C^2. We say that such a family is weakly stable over some parameter domain if periodic orbits do not bifurcate there. We first show that this defines a meaningful notion of stability, which parallels in many ways the classical notion of J-stability in one-dimensional dynamics. In the second part of the paper, we prove that under an assumption of moderate dissipativity, the parameters displaying homoclinic tangencies are dense in the bifurcation locus. This confirms one of Palis' Conjectures in the complex setting. The proof relies on the formalism of semi-parabolic bifurcation and the construction of "critical points" in semi-parabolic basins (which makes use of the classical Denjoy-Carleman-Ahlfors and Wiman Theorems).

연구 동기 및 목표

• C^2에서의 다항자기동역학 힐베르트 가중족에 대한 약한 안정성의 정의와 분석을 시도하며, 1차원 동역학에서의 J-안정성과 유사하게 한다.
• 비소산성 다항자기동역학의 맥락에서 분기 다각형의 구조를 조사한다.
• 중간 정도의 비소산성 조건 하에서, 동질적 접선이 분기 다각형 내에서 조밀함을 보여줌으로써 팔리의 추측의 복소수판을 확인한다.
• 약한 안정성 지닌 맵들과 무한히 많은 싱크를 가진 맵들이 매개변수 공간 내에서도 조밀함을 증명한다.
• 반타원형 분기의 형식론을 개발하고, 고전적 복소해석 도구를 사용하여 반타원형 흡인영역 내 임계점을 구성한다.

제안 방법

• C^2에서의 다항자기동역학 힐베르트 가중족에 대해 주기 궤도에서의 분기 없음을 조건으로 하여 약한 안정성의 개념을 도입한다.
• 약한 안정성 집합의 여집합으로서 분기 다각형을 정의하며, 1차원 동역학의 분기 집합과 유사하게 한다.
• 반타원형 분기의 형식론을 사용하여, 타원형 주기점 근처의 동역학을 분석한다.
• 다음과 같이 반타원형 흡인영역 내 임계점을 구성한다: 임계점이 존재하지 않는다고 가정할 경우, Denjoy-Carleman-Ahlfors 정리를 활용하여 점점 더 큰 점을 찾는다.
• Wiman의 정리를 적용하여 해석함수의 성장률을 제어하고, 불안정 다각형 내 임계점의 존재를 유도한다.
• Julia 집합의 레이어 구조와 교차성 논증을 사용하여, 임계점이 존재하지 않는다고 가정했을 때 모순을 이끌어낸다.

실험 결과

연구 질문

• RQ1 C^2에서의 다소 비소산성 다항자기동역학 힐베르트 가중족에 대해, 약한 안정성 집합이 매개변수 공간 내에서 조밀한가?
• RQ2 팔리의 추측에 따르면, 이러한 가중족에 대해 분기 다각형 내에서 동질적 접선이 조밀한가?
• RQ3 고전적 복소해석 도구를 사용하여 반타원형 흡인영역 내 임계점을 구성할 수 있는가?
• RQ4 불안정 다각형 내 임계점의 부재는 중간 정도의 비소산성 조건 하에서 모순을 초래하는가?
• RQ5 Julia 집합 J−의 레이어 구조는 타원형 점 근처의 안정 및 불안정 다각형 기하학을 어느 정도 제약하는가?

주요 결과

• C^2에서의 다소 비소산성 다항자기동역학 힐베르트 가중족에 대해, 분기 다각형 내에서 동질적 접선이 조밀함을 증명함으로써, 팔리의 추측의 복소수판을 확인한다.
• 동일한 조건 하에서, 약한 안정성 지닌 맵들과 무한히 많은 싱크를 가진 맵들이 매개변수 공간 내에서 조밀하다.
• 반타원형 기저 내 임계점의 구성은 Denjoy-Carleman-Ahlfors 정리와 해석함수 내 점점 더 큰 값의 존재에 의존한다.
• 만약 맵이 J*에서 초구형이라면, 안정 다각형 W^s(J)와 강한 안정 분할 F^ss(B)의 합집합은 안정점 근처에 레이어를 형성할 수 없다.
• |Jac f| < d^{-4} 조건이 성립할 경우, 타원형 점 p의 W^{ss}(p) ∩ J^{-} 내 성분은 단일 점이 되며, 이는 특정 가정 하에 비유계 성분 존재와 모순된다.
• 불안정 다각형 내 임계점의 부재는 반복적으로 앞으로 적분할 경우, 점점 더 큰 값의 출현과 레이어 구조 제약 조건으로 인해 Denjoy-Carleman-Ahlfors 정리에 의해 모순을 초래한다.