[논문 리뷰] Local Stable and Unstable Manifolds for Anosov Families

Jeovanny de Jesus Muentes Acevedo|arXiv (Cornell University)|2017. 09. 02.

Mathematical Dynamics and Fractals참고 문헌 3인용 수 4

한 줄 요약

이 논문은 초구형 행동을 보이는 비자기적 동역학계인 Anosov 가족에 대해 국소적 안정 및 불안정 다변량 이론을 수립한다. 일반화된 Hadamard-Perron 접근법을 사용하여 안정 및 불안정 분포에 탄성하는 미분 가능 부분다양체를 구성하며, 그 존재성, 불변성, 지수 수축/팽창성, 그리고 초기 조건에 대한 연속적 의존성을 증명한다.

ABSTRACT

Anosov families were introduced by A. Fisher and P. Arnoux motivated by generalizing the notion of Anosov diffeomorphism defined on a compact Riemannian manifold. In addition to presenting several properties and examples of Anosov families, in this paper we build local stable and local manifolds for such families.

연구 동기 및 목표

• 고전적 안정 다변량 이론을 Anosov 가족을 통해 비자기적, 비정적 동역학계로 확장하기 위해.
• 비자기적 설정에서 다양체 간의 수직성 부족 및 기하학적 변화 문제를 다루기 위해.
• 적절한 감쇠 조건 하에서 허용 가능한 다변량이 안정 및 불안정 집합과 일치함을 증명하기 위해.
• 전체 공간에서 초기 조건에 대한 다변량의 연속적 의존성을 확립하기 위해.
• 시간에 따라 변화하는 초구형 구조를 갖는 시스템에 대해 Hadamard-Perron 정리를 일반화하기 위해.

제안 방법

• 콤���한 리만다이프의 접선다양체의 균일한 초구형 분해를 갖는 다변량 사이의 미분동형사상의 수열로 Anosov 가족을 도입한다.
• 양의 수열 $\delta_n'$ 및 $\epsilon_n'$을 사용하여 허용 가능한 노름 및 감쇠 속도의 가족을 정의함으로써 안정 및 불안정 다변량을 정의한다.
• 일반화된 Hadamard-Perron 정리를 적용하여 $E^s$ 및 $E^u$ 분포에 탄성하는 미분 가능 부분다양체를 구성한다.
• 궤도 沿해 지수 수축/팽창을 보장하기 위해 수열 $\delta_n$ 및 $\epsilon_n$ 에 대해 조건 (4.1)을 도입한다.
• 시간에 걸쳐 일관성을 확보하기 위해 불변성 성질: $f_{n-1}^{-1}(\mathcal{N}^u) \subseteq \mathcal{N}^u$ 및 $f_n(\mathcal{N}^s) \subseteq \mathcal{N}^s$ 을 적용한다.
• 순차 수렴 논증을 통해 연속적 의존성을 증명하며, $\mathcal{N}^r(p_m, \eta)$ 내의 수열의 극한이 $\mathcal{N}^r(p, \eta)$ 에 속함을 보인다.

실험 결과

연구 질문

• RQ1 기저가 되는 다양체와 계량이 시간에 따라 변화하는 Anosov 가족에 대해 국소적 안정 및 불안정 다변량을 구성할 수 있는가?
• RQ2 일반화된 Hadamard-Perron 방법으로 구성된 허용 가능한 다변량이 어떤 조건에서 실제 안정 및 불안정 집합과 일치하는가?
• RQ3 다변량의 크기는 궤도를 따라 어떻게 변화하며, 감쇠 속도를 제어할 수 있는가?
• RQ4 다변량이 초기 조건에 대해 전체 공간에서 연속적으로 의존하는가?
• RQ5 이 프레임워크는 비균일 초구형 또는 랜덤 동역학계에 얼마나 잘 일반화될 수 있는가?

주요 결과

• 정리 4.6는 $\mathbf{f}_0^n(p)$ 에서 접선공간이 $E^u$ 와 일치하는 $M_n$ 의 미분 가능 부분다양체인 국소 불안정 다변량 $\mathcal{N}^u(p, \eta)$ 의 존재성을 수립한다.
• 불안정 다변량는 $f_{n-1}^{-1}(\mathcal{N}^u(\mathbf{f}_0^n(p), \eta)) \subseteq \mathcal{N}^u(\mathbf{f}_0^{n-1}(p), \eta)$ 를 만족하여 역방향 불변성을 확보한다.
• 지수 수축이 정량화됨: $q \in \mathcal{N}^u(p_{n+1}, \delta)$ 이면 $d(\mathbf{f}_{n+1}^{-(k+1)}(q), \mathbf{f}_{n+1}^{-(k+1)}(p_{n+1})) \leq \frac{2}{\Delta_{n+1}} \tilde{\lambda}^{k+1} d(q, p_{n+1})$.
• 다변량 $\mathcal{N}^u(p, \eta)$ 는 컴팩트 다양체에서의 순차 수렴을 통해 $p$ 에 대해 연속적임을 증명한다.
• 정리 4.7 은 정방향 불변성 및 지수 성장 제어를 갖는 안정 다변량 $\mathcal{N}^s(p, \eta)$ 에 대해 유사한 결과를 수립한다.
• 감쇠 조건 (4.1) 하에서 구성된 허용 가능한 다변량은 실제 안정 및 불안정 집합과 일치하며, 유일성의 증명을 제공한다.