[논문 리뷰] On reversible maps and symmetric periodic points

Jungsoo Kang|arXiv (Cornell University)|2014. 10. 15.

Quantum chaos and dynamical systems참고 문헌 19인용 수 5

한 줄 요약

이 논문은 반사에 대해 불변인 평면 영역 위의 면적 보존 가역 맵이 풍부한 대칭성 주기적 행동을 보임을 증명한다: 비대칭 주기점이 하나라도 존재하면 무수히 많은 대칭 주기점이 존재한다. 이 맵이 도넛형 또는 원판 위에 존재할 경우, 내부 주기점이 없거나 무수히 많은 대칭 주기점이 존재하며, 고정점의 고정 집합에 대한 맵의 상을 통해 대칭 고정점 존재 여부의 필요충분조건을 제시한다. 이는 Poincaré-Birkhoff 정리를 가역 시스템으로 일반화한다.

ABSTRACT

In reversible dynamical systems, it is frequently of importance to understand symmetric features. The aim of this paper is to explore symmetric periodic points of reversible maps on planar domains invariant under a reflection. We extend Franks' theorem on a dichotomy of the number of periodic points of area preserving maps on the annulus to symmetric periodic points of area preserving reversible maps. Interestingly, even a non-symmetric periodic point guarantees infinitely many symmetric periodic points. We prove an analogous statement for symmetric odd-periodic points of area preserving reversible maps isotopic to the identity, which can be applied to dynamical systems with double symmetries. Our approach is simple, elementary and far from Franks' proof. We also show that a reversible map has a symmetric fixed point if and only if it is a twist map which generalizes a boundary twist condition on the closed annulus in the sense of Poincaré-Birkhoff. Applications to symmetric periodic orbits in reversible dynamical systems with two degrees of freedom are briefly discussed.

연구 동기 및 목표

• 반사 대칭을 가진 시스템에서 가역 동역학계의 대칭 주기점을 이해하는 것.
• 면적 보존 가역 맵에서 Franks의 주기점에 대한 이분법을 대칭 주기점으로 확장하는 것.
• 항등사상과 등장하는 가역 맵에서 대칭 고정점 존재 여부의 필요충분조건을 설정하는 것.
• Poincaré-Birkhoff의 경계 휠트 조건을 대칭 고정점이 존재하는 가역 시스템으로 일반화하는 것.
• 이중 대칭 또는 두 자유도를 가진 시스템에서 대칭 주기 궤도에 결과를 적용하는 것.

제안 방법

• Franks 원본 증명의 복잡한 기법을 피하기 위해 기본적인 위상적 방법, 즉 고정점 지수와 경로 올림 기법을 사용한다.
• 반사의 고정 집합을 둘러싼 고리에 고정점 지수를 적용하여 대칭 고정점을 탐지한다.
• 회전수와 경계 휠트 조건을 분석하기 위해 맵을 $ S = \mathbb{R} \times [0,1] $의 기본 커버링으로 올린다.
• 맵 $ f $ 에서 고정 집합 $ Y_i = \mathrm{Fix}\,I_\Omega $ 의 상을 분석하여 대칭 고정점 존재 여부를 판단한다.
• 정리 1.4에 대해 두 가지 별개의 증명을 사용한다: 하나는 $ f \circ I_S $ 의 고정점을 통한 증명이며, 다른 하나는 $ \mathrm{Fix}\,I_S $ 를 둘러싼 고리에서 지수 계산을 통한 증명이다.
• 최소한의 $ k, \ell \in \mathbb{N} $ 에 대해 $ f^k(z) = z $ 와 $ f^\ell(z) = I_\Omega(z) $ 를 만족하는 대칭 주기점의 개념을 적용한다.

실험 결과

연구 질문

• RQ1 도넛형 또는 원판 위의 면적 보존 가역 맵이 언제 무수히 많은 대칭 주기점을 가질 수 있는가?
• RQ2 비대칭 주기점이 하나라도 존재하면, 가역 맵에서 무수히 많은 대칭 주기점이 존재하는가를 보장할 수 있는 조건은 무엇인가?
• RQ3 항등사상과 등장하는 가역 맵이 연결된 고정 집합 성분에서 대칭 고정점을 가질 수 있는 필요충분조건은 무엇인가?
• RQ4 도넛형 위의 가역 맵에서 경계 휠트 조건은 대칭 고정점 존재 여부와 어떻게 관련되는가?
• RQ5 대칭 주기점에 관한 결과를 이중 대칭 또는 두 자유도를 가진 시스템으로 확장할 수 있는가?

주요 결과

• 모든 면적 보존 가역 맵은 도넛형 $ A $ 나 그 내부 $ \mathring{A} $ 에 대해 주기점이 없거나 무수히 많은 내부 대칭 주기점을 가진다.
• 이러한 맵에서 비대칭 주기점이 하나라도 존재하면 무수히 많은 대칭 주기점이 존재함을 보여주며, 이는 Franks 정리가 대칭 역학으로 확장된 결과이다.
• 항등사상과 등장하는 맵에서 홀수 주기점이 존재하면, 무수히 많은 내부 대칭 홀수 주기점이 존재하며, 이는 대칭 홀수 주기 궤도 존재 여부에 대한 이분법을 암시한다.
• 원판 $ D $ 나 그 내부 $ \mathring{D} $ 에서의 가역 맵은 정확히 하나의 내부 대칭 고정점과 다른 주기점이 없거나, 무수히 많은 내부 대칭 주기점을 가진다.
• 경계 휠트 조건을 만족하는 도넛형 $ A $ 위의 가역 맵은 $ \mathrm{Fix}\,I_A $ 의 각 연결 성분에 대칭 고정점을 가진다. 이는 Poincaré-Birkhoff 정리를 일반화한 것이다.
• 고정 집합 성분 $ Y_i $ 에서 대칭 고정점 존재 여부는 $ f(Y_i) \cap Y_i \neq \emptyset $ 와 동치이며, 이는 존재 여부에 대한 위상적 기준을 제공한다.