[논문 리뷰] A Franks' lemma that preserves invariant manifolds

Nikolaz Gourmelon|arXiv (Cornell University)|2009. 12. 06.

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

한 줄 요약

이 논문은 $C^1$-다이나믹스에서 프랭크스의 레미마를 확장하여, 주기 궤도를 따라 도함수의 변형이 강한 안정/불안정 다변량을 유지할 수 있음을 보여준다. 이는 변형 경로가 이러한 다변량의 존재를 유지할 경우에 성립한다. 핵심 기여는 반도체 불변 다변량을 임의의 작은 이웃 영역 내에서 유지하는 경로 기반의 호환성 변형 기법을 제시한 것이다. 이는 비강한 분할 조건 하에서 동역학과 동형 구조를 제어할 수 있게 한다.

ABSTRACT

A well-known lemma by John Franks asserts that one obtains any perturbation of the derivative of a diffeomorphism along a periodic orbit by a $C^1$-perturbation of the whole diffeomorphism on a small neighbourhood of the orbit. However, one does not control where the invariant manifolds of the orbit are, after perturbation. We show that if the perturbated derivative is obtained by an isotopy along which some strong stable/unstable manifolds of some dimensions exist, then the Franks perturbation can be done preserving the corresponding stable/unstable semi-local manifolds. This is a general perturbative tool in $C^1$-dynamics that has many consequences. We give simple examples of such consequences, for instance a generic dichotomy between dominated splitting and small stable/unstable angles inside homoclinic classes

연구 동기 및 목표

• 표준 $C^1$-변형이 주기 궤도의 불변 다변량 제어를 부족하게 하는 문제를 해결하기 위해.
• 도함수의 변형 하에서 주기 궤도의 강한 안정/불안정 다변량을 유지하는 변형 방법을 개발하기 위해.
• 강한 분할이 없는 조건에서 동형 접촉과 이odal 사이클을 체계적으로 생성하기 위한 체계적 도구를 제공하기 위해.
• 등급화된 강한 다변량의 전체 플래그를 등급화된 도함수 경로 하에서 유지하는 방식으로 프랭크스 레미마를 일반화하기 위해.
• $C^1$-일반 동역학, 특히 작은 각도 또는 약한 분할 조건이 존재하는 비하이퍼볼릭 설정에서의 응용을 가능하게 하기 위해.

제안 방법

• 주기 궤도를 따라 도함수를 나타내는 행렬의 경로를 따라 선형 코어클의 호환성 변형을 사용한다.
• 이 호환성 경로 전반에 걸쳐 특정 차원의 강한 안정/불안정 방향이 존재해야 한다.
• 변형된 미분형사 $g$ 는 주기 궤도와 이웃 영역 $U$ 외부에서는 $f$ 와 일치하며, 궤도에서 새로운 도함수 튜플과 일치하도록 구성된다.
• 구성은 $i$-강한 안정 방향이 존재하고, 어떤 점에서 $i$개의 가장 큰 고유값의 절댓값이 동일할 경우, 주어진 애너루스 $A(f,P)$ 내에서 $g$ 의 $j$-강한 안정 다변량이 $f$ 와 일치함을 보장한다. ($j \leq i$)
• 변형의 $C^1$-크기는 매트릭스 공간에서의 호환성 경로 반지름에 임의로 가까워질 수 있다.
• 이 기법은 $C^1$-선형화 및 이전 연구의 변형 결과(예: 보조정리 6 및 정리 1.5)에 기반하며, 불변 다변량의 구조를 유지하도록 적응된 것이다.

실험 결과

연구 질문

• RQ1 표준 $C^1$-도함수 변형에서 주기 궤도를 따라 강한 안정/불안정 다변량을 유지할 수 있도록 프랭크스 레미마를 수정할 수 있는가?
• RQ2 도함수의 호환성 경로에서 불변 다변량의 반국소적 구조를 유지하기 위한 조건는 무엇인가?
• RQ3 어떻게 체계적으로 동형 접촉이나 이odal 사이클을 생성하면서 핵심 불변 다변량의 구조를 유지할 수 있는가?
• RQ4 고유값 절댓값의 동일성과 강한 부분다변량의 존재는 불변 다변량에 대한 변형 효과를 통제하는 데 어떤 역할을 하는가?
• RQ5 이 방법은 전체 강한 다변량 플래그를 유지할 수 있도록 확장 가능하며, 보존적, 심플렉틱적, 또는 흐름 설정에 적용 가능한가?

주요 결과

• 주기 궤도를 따라 도함수의 $C^1$-변형을 구성할 수 있으며, 이는 주어진 애너루스 내에서 $i$-강한 안정 방향이 호환성 경로 전반에 존재할 경우, 모든 $j \leq i$ 에 대해 $j$-강한 안정 다변량을 유지한다.
• 변형의 크기를 매트릭스 공간에서의 호환성 경로 반지름에 임의로 가까이 만들 수 있어, 왜곡을 최소화할 수 있다.
• 어느 시간 $t_0$ 에서 $i$개의 가장 큰 안정 고유값의 절댓값이 동일할 경우, 애너루스 내에서 전체 $i$-허용 플래그의 강한 안정 다변량이 유지된다.
• 이 방법은 강한 분할이 없는 동형 클래스 내에서 동형 접촉과 이odal 사이클을 생성할 수 있게 하며, 관련된 불변 다변량의 구조를 유지한다.
• 결과는 고유값의 호환성 경로에 의해 결정되는 플래그의 호환성 등급에 일반화되어 반국소적 동역학을 제어할 수 있다.
• 체계는 체적 보존 및 심플렉틱 설정으로 확장 가능하며, 추가적인 기술적 작업이 필요하며, 흐름 설정으로도 적응 가능하다.