[논문 리뷰] Lyapunov stable chain recurrent classes

Jiagang Yang|ArXiv.org|2007. 12. 04.

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

한 줄 요약

이 논문은 동차성 탄성에서 벗어난 $C^1$ 미분구상의 잔여 부분집합에 대해, 주기점의 안정다양체가 환경 다양체에 밀도를 이룬다는 것을 증명한다. 일반성 추론과 연결 보조정리들을 사용하여, 리아푸노프 안정 체인 재귀 클래스가 동차성 클래스임을 증명하고, 특정한 지배 분할을 갖는다는 것을 보이며, 본 아우티의 추측과 일반적인 펠리스 추측에 대한 부분적 증거를 제공한다.

ABSTRACT

We show that for a $C^1$ residual subset of diffeomorphisms far away from homoclinic tangency, the stable manifolds of periodic points cover a dense subset of the ambient manifold. This gives a partial proof to a conjecture of C. Bonatti.

연구 동기 및 목표

• 일반적인 $C^1$ 미분구상에서 주기점의 안정다양체의 밀도에 관한 C. 본아티의 추측에 대한 부분적 증명을 제공하는 것.
• 일반적인 역학의 맥락에서 리아푸노프 안정 체인 재귀 클래스의 구조를 조사하는 것.
• 특수한 체인 재귀 클래스에서 지배 분할과 동차성 클래스의 구조에 대한 약한 추측을 검증하여 $C^1$ 펠리스 추측의 일반화에 기여하는 것.
• 리아푸노프 안정 체인 재귀 클래스가 동차성 클래스임을 증명하고, 인덱스에 따라 지배 분할을 갖는다는 것을 확립하는 것.

제안 방법

• 동차성 탄성에서 벗어난 일반적인 역학을 분석하기 위해 $C^1$ 잔여 부분집합 $R \subset (\overline{HT^{1}})^c$ 를 사용한다.
• 역학적으로 일관된 영역에서 연결 보조정리를 적용하여, 특정 집합에 높은 밀도를 가진 주기 궤도를 생성하는 변형을 구성한다.
• 원래의 미분구상 $f$로 수렴하는 미분구상의 수열 $g_n$ 을 사용하며, $g_n$ 의 주기 궤도가 유한한 집합들의 합집합 $\bigcup_{i=1}^N \Phi_i$ 에서 비율 $>s$ 이상의 점을 포함하도록 하여 일반성 확보.
• 일반성 성질 보조정리를 사용하여 $g_n$ 에서의 밀도 성질을 원래의 미분구상 $f$ 로 이행함으로써, $f$ 자체가 $\bigcup_{i=1}^N \Phi_i$ 에서 고밀도 궤도를 갖는 주기점을 갖는다는 것을 보장한다.
• 지역 역학과 통제 가능한 변형을 사용하여 리아푸노프 안정 체인 재귀 클래스 근처의 역학을 분석하여 지배 분할의 존재를 검증한다.
• 크로비지에의 중심 모델과 기본 극한의 성질을 적용하여 일반 설정에서 동차성 클래스의 구조를 특성화한다.

실험 결과

연구 질문

• RQ1 동차성 탄성에서 벗어난 일반적인 $C^1$ 미분구상에서 리아푸노프 안정 체인 재귀 클래스는 반드시 동차성 클래스인가?
• RQ2 모든 리아푸노프 안정 동차성 클래스는 $i_0$ 인덱스에 대해 $E^{cs}_{i_0}$ 가 수축하거나, 코드미니엄-1 부분 지배 분할을 갖는가?
• RQ3 비하이퍼볼릭성과 동차성 탄성의 부재 조건 하에서 주기점의 안정다양체의 일반적 밀도를 확립할 수 있는가?
• RQ4 체인 재귀 클래스의 구조에 관한 추측들(예: 추측 4, 7)이 리아푸노프 안정 설정의 특수한 경우에 얼마나 성립하는가?
• RQ5 리아푸노프 안정 체인 재귀 클래스의 구조를 통해 $C^1$ 펠리스 추측에 접근할 수 있는가?

주요 결과

• 잔여 부분집합 $R \subset (\overline{HT^{1}})^c$ 에 대해, 주기점의 안정다양체의 합집합이 다양체 $M$ 에서 밀도를 이룬다. 이는 본아티의 추측을 지지한다.
• 이러한 일반적인 미분구상에서 리아푸노프 안정 체인 재귀 클래스는 모두 동차성 클래스이다.
• 최소 인덱스 $i_0$ 를 갖는 모든 리아푸노프 안정 동차성 클래스 $C$ 에 대해, $C$ 위의 탄젠트 번들의 지배 분할 $T_C M = E^{cs}_{i_0} \oplus E^{cu}_{i_0+1}$ 이 존재한다.
• 또한 $E^{cs}_{i_0}$ 가 수축하면 $C$ 는 인덱스 $i_0$ 의 기본 극한이며, 또는 $E^{cs}_{i_0}$ 가 $E^{s}_{i_0-1} \oplus E^{c}_1$ 으로 분해되고 $E^{s}_{i_0-1}$ 가 수축하고 $\dim(E^c_1|_C) = 1$ 이면, $C$ 는 동시에 인덱스 $i_0-1$ 과 $i_0$ 의 기본 극한이 된다.
• 이 결과들은 특히 리아푸노프 안정 설정에서 추측 4와 7에 강력한 증거를 제공하며, 일반적인 $C^1$ 펠리스 추측을 지지한다.
• 변형과 궤도 밀도 추론에 기반한 증명 기법은 이 클래스의 일반적인 $C^1$ 미분구상이 풍부하지만 구조적인 궤도 구조를 갖는다는 것을 확인한다.