[논문 리뷰] Morse Theory of Attractors via Lyapunov Functions

Desheng Li|arXiv (Cornell University)|2010. 03. 01.

Stability and Controllability of Differential Equations참고 문헌 23인용 수 6

한 줄 요약

이 논문은 완비 거리 공간 위의 반유동에서의 흡인집합에 대한 모어 이론 프레임워크를 구축함으로써, 연속적이고 반경 방향으로 무한히 커지는 전역 모어-리아푸노프 함수를 구성함으로써, 변형 보조정리와 모어 집합에 대한 임계군 정의를 가능하게 한다. 주요 기여는 부드럽지 않은 설정으로 고전적 모어 이론을 확장하기 위해 연속적 리아푸노프 함수만을 사용하여 모어 부등식과 방정식을 수립하는 것이다. 이는 동역학계 이론과 제어 이론에 응용 가능하다.

ABSTRACT

This paper is concerned with the Morse theory of attractors for semiflows on complete metric spaces. First, we construct global Morse-Lyapunov functions for Morse decompositions of attractors. Then we extend some well known deformation results in the critical-point theory to Morse-Lyapunov functions which are only continuous. Based on these works, we finally introduce the concept of critical groups for Morse sets and establish Morse inequalities and Morse equations for attractors.

연구 동기 및 목표

• 완비 거리 공간 위의 반유동의 흡인집합에 대해 고전적 모어 이론을 연속적 리아푸노프 함수를 사용하여 확장하기.
• 흡인집합 기저 전체에 정의된 전역 모어-리아푸노프 함수를 구성하기.
• 부드러운 임계점 이론에서의 변형 보조정리를 연속적 모어-리아푸노프 함수로 일반화하기.
• 부드러움이 없을 경우 모어 집합에 대한 임계군을 정의하고, 부드럽지 않은 설정에서 모어 부등식과 방정식을 수립하기.
• 商 위상공간의 구조와 그 임계군 불변량에 대한 영향을 탐색하기.

제안 방법

• 흡인집합 기저 $\Omega$ 위에서 연속 함수 $V \in C(\Omega)$ 인 전역 모어-리아푸노프 함수를 구성하여, $x \to \partial\Omega$ 일 때 $V \to \infty$ 가 되도록 하기.
• $\Omega \setminus \mathcal{R}$ 에서 Dini 도함수 $D^+V(x) < -v(x) < 0$ 를 만족시켜 $V$ 가 궤적을 따라 엄격히 감소하도록 보장하기. 여기서 $\mathcal{R} = \bigcup M_k$.
• $a < c_k < b$ 인 경우에 임계군 $C_q(M_k) = H_q(V_b, V_a)$ 를 정의하기. 여기서 $c_k = V(M_k)$ 는 $[a,b]$ 내에 존재하는 유일한 일반화된 임계값이다.
• 만약 $V^{-1}([a,b])$ 가 모어 집합을 포함하지 않는다면, $V_a$ 는 $V_b$ 의 강한 변형 재구성임을 증명하기.
• 商 위상공간 $\tilde{X} = X / \sim$ 을 도입하고, $\tilde{C}_q(M_k) = H_q(\tilde{V}_b, \tilde{V}_a)$ 를 정의하기.
• 상대 호모로지와 유한 차원 조건을 사용하여, 원래 및 상자 위상공간 설정 모두에서 모어 부등식과 방정식을 수립하기.

실험 결과

연구 질문

• RQ1 연속적 리아푸노프 함수만을 사용하여, 완비 거리 공간 위의 반유동에서의 흡인집합에 대해 모어 이론을 확장할 수 있는가?
• RQ2 부드러운 임계점 이론에서의 변형 보조정리는 연속적 모어-리아푸노프 함수로 어떻게 일반화할 수 있는가?
• RQ3 부드러움이 없을 경우 모어 집합에 대한 임계군의 적절한 정의는 무엇인가?
• RQ4 상자 임계군은 표준 임계군과 어떻게 다를 수 있으며, 어떤 동역학적 정보를 담고 있는가?
• RQ5 연속적 리아푸노프 함수를 갖는 흡인집합에 대해, 언제 모어 부등식과 방정식이 성립하는가?

주요 결과

• 논문은 궤적을 따라 엄격히 감소하고, 반경 방향으로 무한히 커지는 전역 모어-리아푸노프 함수 $V \in C(\Omega)$ 를 구성한다.
• 만약 $V^{-1}([a,b])$ 가 모어 집합을 포함하지 않는다면, $V_a$ 는 $V_b$ 의 강한 변형 재구성임을 증명하여, 고전적 변형 결과를 연속 함수로 확장한다.
• 단일 평형점 모어 집합 $M_k$ 에 대해, $b > c$ 이고 $V^{-1}((c,b])$ 가 다른 모어 집합을 포함하지 않는 한, $V_c$ 는 $V_b$ 의 강한 변형 재구성이다.
• 임계군 $C_q(M_k)$ 는 $H_q(V_b, V_a)$ 로 정의되며, $M_k$ 가 단일 평형점일 경우 모든 $q$ 에 대해 $C_q(M_k) = 0$ 이다. 이는 $M_2 = S^1$ 인 예시에서 확인된다.
• 상자 위상공간에서는 $\tilde{C}_q(M_2) \cong H_q(S^2, [0]) \cong \mathbb{G}$ ($q=2$ 에서), 나머지 경우는 0이며, 이는 상자 임계군이 표준 임계군과 다를 수 있음을 보여준다.
• 논문은 원래 및 상자 설정 모두에서 모어 부등식과 모어 방정식을 수립하였으며, 모어 유형 수의 교대 합에 수렴 조건을 적용하였다.