[논문 리뷰] Dynamics of $C^1$-diffeomorphisms: global description and prospects for classification

Sylvain Crovisier|arXiv (Cornell University)|2014. 05. 01.

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

한 줄 요약

이 논문은 컴acts 매니폴드 위의 $C^1$- diffeomorphism에 대한 글로벌 분류 프레임워크를 제안하며, 이러한 시스템의 공간이 초구형 역학, 동형접선 다루기 또는 이종차원 사이클로 구성된 열린 영역으로 분해된다는 추측을 제기한다. 이는 초구형성의 주요 장애물이다. 논문은 국소적 분기와 지배적 분해를 분석하여 일반적인 $C^1$ 역학을 분류하는 프로그램을 진행하며, 높은 차원에서의 비초구형 동형접선 클래스와 강건한 접선의 핵심 결과를 제시한다.

ABSTRACT

We are interested in finding a dense part of the space of $C^1$-diffeomorphisms which decomposes into open subsets corresponding to different dynamical behaviors: we discuss results and questions in this direction. In particular we present recent results towards a conjecture by J. Palis: any system can be approximated either by one which is hyperbolic (and whose dynamics is well understood) or by one which exhibits a homoclinic bifurcation (a simple local configuration involving one or two periodic orbits).

연구 동기 및 목표

• 다양한 역학적 행동을 보이는 열린 영역으로 나누어 $C^1$-diffeomorphism의 공간을 전역적으로 기술하는 것.
• Palis의 추측에 따르면, 모든 $C^1$-diffeomorphism이 초구형 시스템 또는 동형접선 분기(접선 또는 이종차원 사이클)를 보이는 시스템으로 근사 가능하다는지 조사하는 것.
• 지배적 분해와 리아프노프 지수를 통한 시각에서 비초구형 체인-재귀성 및 동형접선 클래스의 구조를 이해하는 것.
• 비초구형 동형접선 분기의 강건성과 $C^1$ 역학에서 초구형성의 장애물로서의 역할을 탐색하는 것.
• 비초구형 동형접선 클래스가 비이sov된 상태이거나 보편적인 역학을 보일 조건을 설정하여 일반 시스템에서의 복잡성을 암시하는 것.

제안 방법

• 구조적 통제를 유지하면서도 변형이 가능한 $C^1$-위상에 기반해 $C^1$-diffeomorphism의 역학을 분석하는 것.
• 닫힘 보조정리와 변형 기법을 적용하여 주기 궤도와 그 안정/불안정 다발을 연구하는 것.
• 확장/수축 속도가 통제된 부분다발들로 접속다발을 분해하는 지배적 분해 개념을 사용하는 것.
• 비초구형 클래스 내에서 중심다발($E^c$) 내의 리아프노프 지수의 역할을 분석하여 체적 수축 또는 확장을 판단하는 것.
• 국소적 분기 이론과 매개변수화된 시스템 가중치를 통해 강건한 동형접선 다루기와 이종차원 사이클을 연구하는 것.
• Pujals와 Rodriguez-Hertz가 도입한 임계집합을 활용하여 지배적 분해의 부재와 비초구형 행동을 탐지하는 것.

실험 결과

연구 질문

• RQ1 모든 $C^1$-diffeomorphism이 초구형 시스템 또는 동형접선 다루기 또는 이종차원 사이클을 보이는 시스템으로 근사 가능할 수 있는가?
• RQ2 $C^1$-일반적인 비초구형 diffeomorphism은 반드시 비초구형 동형접선 클래스를 가져야 하는가?
• RQ3 만약 동형접선 클래스가 옹호되지 않는다면, 강건한 접선을 가진 비이sov된 비초구형 클래스를 포함하는가?
• RQ4 비초구형 동형접선 클래스의 중심다발에서 리아프노프 지수의 합이 양수인 주기 궤도가 존재하는 조건은 무엇인가?
• RQ5 비초구형 동형접선 클래스의 최세 지배적 분해가 주기 궤도의 최소 안정 차원을 결정할 수 있는가?

주요 결과

• 일반적인 $C^1$-diffeomorphism의 경우, 비초구형 동형접선 클래스는 존재하며, 그 접속다발 분해에서 지배적 분해가 존재하지 않는 것으로 특징지어진다.
• 만일 $\dim(E^c_1) \geq 2$ 인 비초구형 동형접선 클래스에서 $E^c_1$ 내의 리아프노프 지수의 합이 양수이면, 최소 안정 차원은 $\dim(E^s) + 1$ 이며, 이 클래스는 $E^c_1 \oplus \cdots \oplus E^c_\ell \oplus E^u$ 와 탄성된 국소적으로 불변인 부분다발 안에 존재한다.
• 만일 $E^c_1$ 내에서 $\dim(E^s \oplus E^c_1) - k + 1$ 개의 가장 큰 리아프노프 지수의 합이 음수이면, $E^c_1$ 방향으로 체적이 수축되며, 이는 다른 역학적 구조를 암시한다.
• 지배적 분해 $E^s \oplus E^c \oplus E^u$ 를 가진 비주기적 클래스는 $\dim(E^c) \geq 2$ 여야 하며, 더 세밀한 지배적 분해를 가질 수 없으며, 이는 구조적 강성성을 암시한다.
• 강건한 동형접선 다루기는 $\dim(M) \geq 3$ 일 때 $C^1$-diffeomorphism에서 발생할 수 있으며, 이러한 구성은 소규모 변형에 대해 안정적이다.
• 비어 있지 않은 열린 $C^1$-diffeomorphism 집합이 존재하며, 그 시스템의 역학은 보편적이다: 단위 구 내의 어떤 diffeomorphism도 다각형의 작은 구에서의 반복적 행동으로 근사 가능하다.