[논문 리뷰] Limit and end functors of dynamical systems via exterior spaces

J.M. García-Calcines, L.Hernandez Paricio외 1명|arXiv (Cornell University)|2012. 02. 08.

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

한 줄 요약

이 논문은 외부 공간을 사용하여 동역학계에 대한 함자적 프레임워크를 제안하며, 흡수 가능한 열린 부분집합(r-외부 집합)을 통해 극한 및 끝 공간을 구성하여 장기적 행동을 분석한다. 주요 기여는 국소적으로 컴팩트한 T₃ 공간에서 r-극한 공간이 주기점의 집합과 일치하고, 바-극한 공간이 ω-극한 집합의 클로처와 일치함을 증명하는 것으로, 범주론을 통해 위상적 및 동역학적 불변량을 통합한다.

ABSTRACT

In this paper we analyze some applications of the category of exterior spaces to the study of dynamical systems (flows). We study the notion of an absorbing open subset of a dynamical system; i.e., an open subset that contains the "future part" of all the trajectories. The family of all absorbing open subsets is a quasi-filter which gives the structure of an exterior space to the flow. The limit space and end space of an exterior space is used to construct the limit spaces and end spaces of a dynamical system. On the one hand, for a dynamical system two limits spaces $L^{ }(X)$ and $\bar L^{ }(X)$ are constructed and their relations with the subflows of periodic, Poisson stable points and $Ω^{ }$-limits of $X$ are analyzed. On the other hand, different end spaces are also associated to a dynamical system having the property that any positive semi-trajectory has an end point in these end spaces. This type of construction permits us to consider the subflow containing all trajectories finishing at an end point $a$. When $a$ runs over the set of all end points, we have an induced decomposition of a dynamical system as a disjoint union of stable (at infinity) subflows.

연구 동기 및 목표

• 외부 공간을 사용하여 동역학계를 연구하기 위한 범주론적 프레임워크를 개발하기 위해.
• r-외부 부분집합에서 유도된 극한 및 끝 공간을 통해 흐름의 장기적 행동을 특성화하기 위해.
• 주기점과 ω-극한 집합과 같은 위상적 불변량을 외부 호모토피 이론의 함자적 구성과 연결하기 위해.
• 끝 공간의 점들을 통해 흐름을 안정적 부분흐름으로 분해하기 위해.
• 적절한 호모토피 이론의 범주론적 도구를 사용하여 고전적 동역학계 개념을 일반화하기 위해.

제안 방법

• 모든 미래 궤도가 어떤 시간 이후에 포함되는 흡수 가능한 열린 부분집합을 사용하여 r-외부 흐름을 정의하기 위해.
• r-외부 집합 E에 대한 역극한으로서 $ L^\mathbf{r}(X) $를 구성하고, 그 닫힘의 역극한으로서 $ \bar{L}^\mathbf{r}(X) $를 구성하기 위해.
• 외부 공간의 범주를 사용하여 극한 및 끝 공간을 위한 함자를 정의함으로써, 동역학계에 대한 함자적 접근을 가능하게 하기 위해.
• 외부 호모토피 이론의 개념을 적용하여 위상공간의 구조와 그 점근적 행동을 분석하기 위해.
• r-외부 집합의 경계점들을 통해 $ \bar{L}^\mathbf{r}(X) \setminus L^\mathbf{r}(X) $에 속하는 점들을 특성화하기 위해.
• 국소적 컴팩트성과 정규성을 활용하여 위상적 성질을 극한집합과 ω-극한의 클로저와 연결하기 위해.

실험 결과

연구 질문

• RQ1 외부 공간의 범주가 어떻게 동역학계의 극한 및 끝 행동을 함자적으로 묘사하는 데 사용될 수 있는가?
• RQ2 r-극한 공간 $ L^\mathbf{r}(X) $와 주기점의 부분흐름 $ P(X) $ 사이의 관계는 무엇인가?
• RQ3 국소적으로 컴팩트한 T₃ 공간에서 바-극한 공간 $ \bar{L}^\mathbf{r}(X) $와 ω-극한 집합의 클로저 $ \overline{\Omega^\mathbf{r}(X)} $는 어떻게 관련되어 있는가?
• RQ4 외부 공간의 끝 공간을 사용하여 무한대에서 안정적 부분흐름으로 흐름을 분해할 수 있는가?
• RQ5 $ \bar{L}^\mathbf{r}(X) = \overline{\Omega^\mathbf{r}(X)} $가 성립하는 위상적 조건는 무엇인가?

주요 결과

• 국소적으로 컴팩트한 $ T_3 $ 공간에서 r-극한 공간 $ L^\mathbf{r}(X) $는 주기점의 부분흐름 $ P(X) $와 일치한다.
• 동일한 조건 하에서 바-극한 공간 $ \bar{L}^\mathbf{r}(X) $는 $ \Omega^\mathbf{r} $-극한 집합의 클로저 $ \overline{\Omega^\mathbf{r}(X)} $와 일치한다.
• 국소적으로 컴팩트한 $ T_3 $ 공간에서 포함 사슬 $ P(X) \subset P^\mathbf{r}(X) \subset \Omega^\mathbf{r}(X) \subset \overline{\Omega^\mathbf{r}(X)} = \bar{L}^\mathbf{r}(X) $가 성립한다.
• 점 $ x \in \bar{L}^\mathbf{r}(X) \setminus L^\mathbf{r}(X) $가 존재하는 것은, 어떤 r-외부 집합 $ E $와 시간 $ t $가 존재하여 $ t \cdot x \in \mathrm{Fr}(E) $임과 동치이다.
• 만약 $ x \notin \overline{\Omega^\mathbf{r}(X)} $ 이면, $ X \setminus \overline{V}_x $ 가 r-외부이므로 $ x \notin \bar{L}^\mathbf{r}(X) $ 임을 의미하는 근방 $ V_x $ 가 존재한다.
• 국소적으로 컴팩트한 정규 공간에서 $ \bar{L}^\mathbf{r}(X) \subset \overline{\Omega^\mathbf{r}(X)} $ 이며, $ T_3 $ 분리 조건이 성립할 경우 등식이 성립한다.