[논문 리뷰] Notes on Chain Recurrence and Lyapunonv Functions

John Franks|arXiv (Cornell University)|2017. 04. 24.

Advanced Differential Equations and Dynamical Systems인용 수 5

한 줄 요약

이 논문은 위상동역학에서의 체인 재귀성과 완전 리아프노프 함수에 대한 간결한 서술을 제공하며, 콘리의 기본 정리를 통해 컴acts metric space 위의 호메오모르피즘에 대해 완전 리아프노프 함수의 존재를 증명한다. 체인 재귀 집합이 컴팩트하고 불변임을 규명하고, 체인 전이 성분을 분류하며 체인 재귀 집합 외부에서 엄격히 감소하는 연속 함수를 구성할 수 있음을 보여준다.

ABSTRACT

This short expository note provides an introduction to the concept of chain recurrence in topological dynamics and a proof of the existence complete Lyapunov functions for homeomorphisms of compact metric spaces due to Charles Conley. I have used it as supplementary material in introductory dynamics courses.

연구 동기 및 목표

• 동역학계 연구자들을 대상으로 위상동역학에서의 체인 재귀성 개념을 소개하고 명확히 하기 위해.
• 찰스 콘리가 확립한 lincoln의 정리를 바탕으로, 콤팩트 메트릭 공간 위의 호메오모르피즘에 대해 완전 리아프노프 함수의 존재를 자가 포함된 증명을 제공하기 위해.
• 체인 재귀성과 흡인-반발 쌍을 사용하여 시스템의 역학을 체인 전이 성분으로 분해하는 방법을 보여주기 위해.
• 완전 리아프노프 함수의 수준집합과 시스템의 체인 전이 성분 사이의 대응관계를 확립하기 위해.
• 이러한 함수에 의해 체인 재귀 집합의 상이 ℝ의 컴팩트하고 내부가 없는 부분집합임을 보여주며, 미끄러운 동역학에서의 임계값과 유사성을 제공하기 위해.

제안 방법

• ε-체인을 사용하여 체인 재귀성을 정의한다: 점 x가 모든 ε > 0에 대해, f(xi)와 xi+1 사이의 거리가 ε 이하인 끝점이 x인 유한한 점의 수열을 갖는다면, x는 체인 재귀이다.
• 격리 주변을 통한 흡인자와 반발자를 정의한다: 컴팩트 집합 A가 f(cl(U)) ⊂ U를 만족하고, cl(U)의 정방향 반복의 교차가 A와 일치하면 A는 흡인자이다.
• A와 A*를 분리하기 위해 연속 함수 g₀(x) = d(x,A)/(d(x,A) + d(x,A*))를 구성한다.
• g₁(x) = sup{g₀(fⁿ(x)) | n ≥ 0}을 정의하여 궤도를 따라 비증가하는 함수를 만들며, X \ (A ∪ A*)에서 연속성을 확보한다.
• 가산 많은 흡인-반발 쌍에 관련된 함수들의 가중합을 사용하여 최종 리아프노프 함수 g(x) = Σ (2gₙ(x)/3ⁿ)를 구성한다. 이는 수렴성과 연속성을 보장한다.
• g(x)의 삼진 전개를 사용하여 g(R(f))가 칸토어 집합에 포함되도록 보장함으로써 컴팩트성과 내부가 없음을 확보한다.

실험 결과

연구 질문

• RQ1 콤팩트 메트릭 공간 위의 호메오모르피즘의 역학은 어떻게 체인 재귀성과 흡인-반발 쌍을 통해 분해될 수 있는가?
• RQ2 체인 전이 성분을 분류하는 완전 리아프노프 함수의 존재를 보장하는 조건은 무엇인가?
• RQ3 체인 재귀 집합은 불변 측도와 재귀 점의 구조와 어떻게 관련되어 있는가?
• RQ4 체인 재귀 집합 외부에서 엄격히 감소하고 체인 전이 성분 내에서 일정한 연속 함수를 구성할 수 있는가?
• RQ5 완전 리아프노프 함수에 의해 체인 재귀 집합의 상이 가지는 위상적 성질은 무엇인가?

주요 결과

• 체인 재귀 집합 R(f)는 f에 대해 닫혀 있고 불변이며, f가 열린 집합에서 전부를 포함하는 유한 측도를 보존할 경우 전체 공간 X와 같다.
• 모든 x, y ∈ X와 ε > 0에 대해, f가 전부를 포함하는 유한 측도를 보존하고 X가 연결되어 있을 경우, x에서 y로 향하는 ε-체인이 존재한다.
• 모든 호메오모르피즘 f에 대해 콤팩트 메트릭 공간에서 완전 리아프노프 함수 g: X → ℝ가 존재하며, 다음 조건을 만족한다: x ∉ R(f)이면 g(f(x)) < g(x), 그리고 x, y ∈ R(f)이면 g(x) = g(y) iff x ∼ y.
• g(R(f))는 ℝ의 컴팩트하고 내부가 없는 부분집합이며, 특히 칸토어 중간삼분집합에 포함되어 있어 내부가 없다.
• g의 수준집합은 정확히 체인 전이 성분과 대응된다: g(x) = g(y) iff x와 y는 체인 동치이다.
• 가산 많은 흡인-반발 쌍에 관련된 함수들의 가중합을 통한 g의 구성은 균일 수렴성과 연속성을 보장한다.