[논문 리뷰] On C1-robust transitivity of volume-preserving flows

Mário Bessa, Jorge Rocha|ArXiv.org|2007. 07. 17.

Mathematical Dynamics and Fractals참고 문헌 10인용 수 4

한 줄 요약

이 논문은 $n \geq 4$ 차원의 컴act 다양체 위에서 $C^1$-강한 전이성인 체적보존 유동이 존재할 경우, 특이점이 없고, 벡터장이 $C^4$일 경우 선형 Poincaré 유동에서 지배적 분해(dominated splitting)를 가짐을 입증한다. 이 결과들은 $C^1$-체적보존 변형 기법을 사용하여 고전적인 강한 전이성 정리들을 체적보존 설정으로 확장하며, Franks의 보조정리의 체적보존 형태와 Arbieto-Matheus 붙임 보조정리를 포함한다.

ABSTRACT

We prove that a divergence-free and C1-robustly transitive vector field has no singularities. Moreover, if the vector field is C4 then the linear Poincare flow associated to it admits a dominated splitting over M.

연구 동기 및 목표

• $C^1$-강한 전이성 이론을 일반 및 심플렉틱 유동에서 체적보존(체적을 보존하는) 설정으로 확장하기.
• $n \geq 4$ 다항체 위에서 $C^1$-강하게 전이성인 발산이 없는 벡터장은 반드시 특이점이 없음을 보여주기.
• 벡터장이 $C^4$일 경우 선형 Poincaré 유동에서 지배적 분해의 존재를 확립하기.
• 이러한 결과를 증명하기 위해 $C^1$-체적보존 변형 도구, 특히 체적보존 버전의 Franks 보조정리 등을 개발하기.
• 체적보존 클래스에서의 강한 전이성이 지배적 분해를 통해 약한 초구형성(weak hyperbolicity)을 암시함을 보여주기.

제안 방법

• 비체적보존 유동에 대한 Vivier 및 Bonatti-Gourmelon-Vivier의 증명 전략을 체적보존 맥락으로 적응시키기.
• Arbieto-Matheus 붙임 보조정리를 사용하여, 전이성을 유지하면서도 $C^1$-체적보존 벡터장 변형을 구성하기.
• 주어진 점 $\overline{x}$의 정적 궤도를 보존하면서 선형 Poincaré 사상의 고유값을 모두 $\pm 1$로 수정하는 $C^1$-근접한 벡터장 $Y$를 구성하기.
• 궤도의 아크를 따라 원래와 변형된 Poincaré 사상 사이를 연결하는 일련의 선형 사상 $A_t^j$의 일차 파라미터 가중치를 정의하기.
• Lemma 3.2에 제시된 $C^1$-체적보존 변형 보조정리를 적용하여, 정적 궤도의 원통형 이웃에서 벡터장을 수정하면서 궤도 상의 유동은 그대로 유지하기.
• 연속된 궤도 아크들 사이에서 국소 변형을 겹침 일致성 조건을 만족하도록 결합하여, 원하는 역학을 유지하는 전역적 $C^1$ 벡터장 $Y$를 구성하기.

실험 결과

연구 질문

• RQ1 체적보존 설정에서 $C^1$-강한 전이성이 특이점의 부재를 암시하는가?
• RQ2 체적보존 유동에서 $C^1$-강한 전이성이 지배적 분해를 암시하기 위해 어떤 정규성 조건이 필요한가?
• RQ3 $C^1$-체적보존 변형을 통해 정적 점에서의 선형 Poincaré 사상을 수정하면서도 전이성을 유지할 수 있는가?
• RQ4 체적보존 유동에서 $C^1$-강하게 전이성인 경우 지배적 분해를 증명하기 위해 $C^4$ 정규성 가정이 필수적인가?
• RQ5 강한 전이성과 약한 초구형성의 맥락에서 체적보존 설정은 비체적보존 경우와 유사하게 다룰 수 있는가?

주요 결과

• $n \geq 4$ 차원의 컴팩트 다항체 위에서 $C^1$-강하게 전이성인 발산이 없는 벡터장은 특이점이 없다.
• 벡터장이 $C^4$일 경우 선형 Poincaré 유동은 전체 다항체 위에서 지배적 분해를 가진다.
• 특이점의 부재는 $C^1$-체적보존 변형을 통해 유니포텐트(일반화된 고유값이 1인) 선형 Poincaré 단조를 가진 정적 궤도를 생성하는 모순에 기반하여 입증된다.
• 지배적 분해는 강한 전이성을 유지하면서도 분해 조건을 위반하도록 $C^1$-변형을 통해 유도된 벡터장의 구성에 의해 확보된다.
• 이 증명은 $C^4$ 정규성 조건이 이러한 변형의 존재를 보장하기 위해 필요한 $C^1$-체적보존 변형 보조정리에 의존한다.
• $C^1$-강하게 전이성인 체적보존 벡터장의 $C^1$-밀도 부분집합이 존재하며, 이 집합의 모든 원소는 특이점이 없고 선형 Poincaré 유동에서 지배적 분해를 가진다.