[논문 리뷰] Point fixe lié à une orbite périodique d'un difféomorphisme de R2

Boris Kolev|ArXiv.org|2007. 12. 03.

Advanced Differential Equations and Dynamical Systems참고 문헌 1인용 수 4

한 줄 요약

이 논문은 $C^1$로 가속되는 방향을 유지하는 $\mathbb{R}^2$의 미분동형사상이 주기 궤도를 가질 경우, 그 궤도와 연결된 고정점을 반드시 가진다는 것을 노이만 고정점 이론을 통해 증명한다. $\mathbb{R}^2$를 $S^2$로 컴actify하고 주기 궤도의 점들을 제거한 후, 얻어진 표면의 노이만 클래스를 분석함으로써 저자들은 최소 두 개의 노이만 클래스가 존재함을 증명하며, 그 중 하나는 반드시 주기 궤도와 연결된 고정점에 대응한다.

ABSTRACT

Given a diffeomorphism of the plane, which has a periodic orbit, we show how Nielsen fixed point theory can be used to establish the existence of a fixed point which is linked with this periodic orbit.

연구 동기 및 목표

• 주기 궤도를 가진 $C^1$ 방향을 유지하는 $\mathbb{R}^2$의 미분동형사상에서 그 궤도와 연결된 고정점의 존재를 확립하는 것.
• 노이만 고정점 이론이 이 결과를 직접적이고 개념적으로 증명할 수 있음을 보여주는 것.
• 고정점이 주기 궤도와 '연결되어 있다'고 간주되는 위상적 조건을 명확히 하는 것.
• 연결 조건이 컴actify된 표면에서 고정점과 무한원점이 같은 노이만 클래스에 속해 있을 때에 해당하는 것과 동치임을 보여주는 것.
• 감바우도의 결과를 일반화하여, 대수적 위상수학 도구를 사용한 더 본질적인 위상수학적 증명을 제공하는 것.

제안 방법

• 구면투영을 통해 $\mathbb{R}^2$를 $S^2$로 컴actify하고, 미분동형사상 $f$를 북극 $P_\infty$를 고정하는 $\hat{f}$로 확장한다.
• 각 주기 궤도 점 $P_i$를 경계 원판 $S_i$로 대체함으로써 경계를 가진 컴act 표면 $M$을 구성한다.
• $\hat{f}$를 $S^2 \setminus \{P_1, \dotsc, P_n\}$에서 유지하면서 $M \to M$으로의 유도된 호메오모르피즘 $\tau$를 정의한다. 이는 동역학을 유지한다.
• 노이만 이론을 $\tau$에 적용하여, 고정점을 호모토피된 호를 기반으로 노이만 클래스로 분류한다.
• Lefschetz 수 $L(\tau) = 2$ 이고 $n \geq 3$일 때 $\chi(M) < 0$ 이므로, $N(\tau) \geq 2$인 노이만 수를 유도한다.
• 만약 $f$의 고정점 $P_0$가 궤도와 연결되어 있지 않다면, 그 점과 $P_\infty$는 $\tau$의 동일한 노이만 클래스에 속함을 보이며, 이는 기본 겹침의 등가 이sov의성을 사용한다.

실험 결과

연구 질문

• RQ1 모든 $C^1$ 방향을 유지하는 $\mathbb{R}^2$의 미분동형사상이 주기 궤도를 가질 경우, 반드시 그 궤도와 연결된 고정점을 가져야 하는가?
• RQ2 노이만 고정점 이론을 사용하여 이러한 연결 고정점의 존재를 직접적으로 증명할 수 있는가?
• RQ3 고정점이 주기 궤도와 연결되어 있다고 간주되는 위상적 조건은 무엇인가?
• RQ4 컴actify된 표면에서 유도된 사상 $\tau$의 노이만 수 $N(\tau)$는 연결 고정점의 존재와 어떻게 관련이 있는가?
• RQ5 미분 가능성 조건 $f$는 본질적인가, 아니면 결과를 연속 함수로까지 확장할 수 있는가?

주요 결과

• 컴actify된 표면 $M$에서 유도된 사상 $\tau$의 노이만 수 $N(\tau)$는 최소 2이다.
• 경우 $n = 2$일 때, 표면 $M$은 애너루스이며 $\tau$는 정확히 두 개의 노이만 클래스를 가지며, 각각의 지수는 1이다.
• 경우 $n \geq 3$일 때, $\chi(M) < 0$ 이므로 노이만 클래스의 지수는 최대 1이며, $L(\tau) = 2$ 이므로 $N(\tau) \geq 2$가 유도된다.
• 주기 궤도 $\mathcal{O}$와 연결되어 있지 않은 $f$의 고정점 $P_0$는 반드시 $\tau$에서 $P_\infty$와 같은 노이만 클래스에 속한다.
• $N(\tau) \geq 2$ 이므로, $\tau$의 고정점 중 $P_\infty$와 다른 노이만 클래스에 속하는 고정점이 최소 하나 존재하며, 이는 $\mathcal{O}$와 연결되어 있음을 의미한다.
• 따라서 $f$는 주기 궤도 $\mathcal{O}$와 연결된 고정점을 최소 하나 이상 가져야 하며, 이는 정리 1.1을 증명한다.