[논문 리뷰] Morse-Smale systems and horseshoes for three dimensional singular flows

Shaobo Gan, Dawei Yang|arXiv (Cornell University)|2013. 02. 05.

Mathematical Dynamics and Fractals참고 문헌 19인용 수 16

한 줄 요약

이 논문은 모든 3차원 $C^1$ 벡터장이 모스-스멀 시스템 또는 스말의 말수레를 보이는 시스템으로 $C^1$ 근사가 가능하다는 것을 증명하며, 흐름에 대한 페이리의 추측의 3차원 해석을 해결한다. 증명은 단면 푸앵카레 사상과 동질 궤도의 교차 분석을 사용하여, 모스-스멀 근사가 불가능할 경우 횡방향 동질 궤도가 존재함을 보이고, 이는 말수레 역학을 이끈다.

ABSTRACT

We prove that for every three-dimensional vector field, either it can be accumulated by Morse-Smale ones, or it can be accumulated by ones with a transverse homoclinic intersection of some hyperbolic periodic orbit in the $C^1$ topology.

연구 동기 및 목표

• 벡터장에 대한 3차원 해석의 페이리 추측을 해결하는 것. 이는 모든 시스템이 모스-스멀 시스템 또는 말수레를 가진 시스템으로 근사된다는 것이다.
• 3차원 흐름에서의 특이점이 미분형식 이론에서 사용된 기법들을 직접 적용하는 것을 어렵게 하므로, 이러한 과제를 다루는 것.
• 3차원 벡터장이 모스-스멀 시스템으로 근사될 수 없다면, 그 시스템은 횡방향 동질 궤도를 가질 수밖에 없으며, 이는 말수레 역학을 암시한다.
• 모스-스멀 벡터장과 비자명한 하이퍼볼릭 기본 집합(말수레)을 가진 시스템의 집합이 3차원 흐름의 $C^1$ 위상에서 조밀함을 확립하는 것.

제안 방법

• 3차원 흐름의 역학을 표면 위의 미분형식으로 줄이기 위해 단면 푸앵카레 사상을 사용하여, 하이퍼볼릭 구조의 분석을 가능하게 한다.
• 횡방향 동질 궤도의 이론을 적용하며, 푸앵카레와 스말의 결과를 활용하여 이러한 교차가 말수레 역학을 암시한다는 것을 이용한다.
• 약한 쿠퍼-스멀 조건을 통한 변형을 이용하여 추가적인 동질 궤도를 유지하거나 생성함으로써, 소규모 $C^1$ 변형에 대한 강건성을 확보한다.
• 특이점 근처에서 불안정 다발의 행동을 분석하며, 특히 불안정 다발의 오른쪽 및 왼쪽 분리선과 국소 단면과의 교차를 구분한다.
• 동질 궤도 수의 최대성에 기반한 모순 증명을 사용하여, 횡방향 동질 궤도의 존재가 말수레의 존재를 암시함을 보인다.
• 크로비지에의 미분형식 연구에서 적응된 방법을 응용하기 위해 수정된 형태의 중심 모델 기법을 사용한다.

실험 결과

연구 질문

• RQ1 모든 3차원 $C^1$ 벡터장이 모스-스멀 시스템 또는 스말의 말수레를 가진 시스템으로 $C^1$ 근사될 수 있는가?
• RQ2 3차원 벡터장이 모스-스멀 시스템으로 근사될 수 없을 경우, 반드시 복잡한 역학을 보이는가?
• RQ3 3차원 흐름에서의 특이점은 어떻게 미분형식 기반 기법(예: 크로비지에의 중심 모델)의 직접 적용을 방해하는가?
• RQ4 3차원 흐름에서 횡방향 동질 궤도 교차가 존재할 경우, 언제 말수레가 존재하게 되는가?
• RQ5 특이점의 동질 궤도 수는 $C^1$ 변형을 통해 증가시킬 수 있으며, 이는 체인 재진행 집합의 구조에 어떤 영향을 미치는가?

주요 결과

• 모든 3차원 $C^1$ 벡터장은 모스-스멀 시스템 또는 스말의 말수레를 보이는 시스템으로 $C^1$ 근사가 가능하며, 이는 페이리의 추측의 3차원 해석을 확인한다.
• 3차원 벡터장이 모스-스멀 시스템으로 근사될 수 없다면, 그 시스템은 하이퍼볼릭 주기 궤도의 횡방향 동질 궤도를 가져야 하며, 이는 말수레의 존재를 암시한다.
• 특이점이 존재하는 3차원 특이 흐름의 전이 집합의 역학은 특이점의 영향으로 인해 일반적인 미분형식의 역학과 근본적으로 다름을 보이며, 표준 샤프티드 렘마 적용이 불가능하다.
• 증명은 모스-스멀 근사가 불가능할 경우 최소한 하나의 횡방향 동질 궤도가 존재함을 보이며, 변형을 통해 $n$개 이상의 동질 궤도를 가진 시스템을 구성할 수 있음을 보여, 최대성과 모순되며 말수레 구조의 존재를 암시한다.
• 특이점 근처에서 불안정 다발의 분리선(오른쪽 및 왼쪽)을 분석함으로써, 복귀 사상에서 방향 보존 또는 반전 행동이 혼합 또는 비혼합 역학을 유도할 수 있으며, 이는 모두 말수레 존재를 지지한다.
• 결과적으로, 모스-스멀 벡터장과 비자명한 하이퍼볼릭 기본 집합을 가진 벡터장의 합집합이 닫힌 3차원 다양체 위의 $C^1$ 벡터장 공간에서 조밀함을 증명한다.