[논문 리뷰] Shadowing, expansiveness and specification for C1-conservative systems

Mário Bessa, M. Lee외 1명|arXiv (Cornell University)|2013. 05. 15.

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

한 줄 요약

이 논문은 다변수 다양체에서 $C^1$-일반적이고 $C^1$-강건한 체적보존 미분동형사상과 미분방정식에 대해, $d \geq 3$ (유동의 경우 $d \geq 4$)인 차원에서 영상성, 확장성, 약한 사양성 성질이 모두 아노소프 시스템을 특징짓는다는 것을 증명한다. 핵심 결과는 이러한 성질이 일반적이거나 강건할 때 그 시스템이 아노소프임이 필요하고 충분함을 보여주며, 보존역학에서 아노소프 시스템 외의 일반적인 비하이퍼볼릭성에 대한 추측을 해결한다.

ABSTRACT

We prove that a C1-generic volume-preserving dynamical system (diffeomorphism or flow) has the shadowing property or is expansive or has the weak specification property if and only if it is Anosov. Finally, we prove that the C1-robustness, within the volume-preserving context, of the expansiveness property and the weak specification property, imply that the dynamical system (diffeomorphism or flow) is Anosov.

연구 동기 및 목표

• 체적보존 미분동형사상과 미분방정식의 $C^1$-위상에서 영상성, 확장성, 약한 사양성 성질이 일반적인가를 규명하는 것.
• 이 성질들이 보존 설정에서 아노소프 시스템과 $C^1$-강건하게 동치가 되는가를 조사하는 것.
• 비아노소프 보존 시스템이 일반적으로 이러한 동역학적 성질을 갖지 않는다는 열린 질문을 해결하는 것.
• 기존의 산산각 동역학 결과를 보존(체적보존) 맥락으로 확장하여, 특히 유동과 고차원 시스템에 대해 적용하는 것.
• 체적보존 클래스에서 약한 사양성, 확장성 또는 영상성의 $C^1$-안정성이 전역 하이퍼볼리시티(아노소프)를 암시한다는 것을 증명하는 것.

제안 방법

• 체적보존 미분동형사상과 미분방정식의 $C^1$-위상에서 잔여집합을 분석하기 위해 베어 체계 이론을 사용하여 성질의 일반성을 확립하는 것.
• 로빈슨의 $C^1$-체적보존 버전의 쿠퍼-스멀 정리를 적용하여 안정다양체와 불안정다양체의 교차가 횡단적으로 이루어지도록 보장하는 것.
• 약한 사양성 성질과 그 $C^1$-안정성의 활용을 통해 주기점 지수에 대한 제약 조건을 유도하고, 비하이퍼볼릭성이 발생할 경우 모순을 이끌어내는 것.
• 지배적 분할 구조와 위상적 혼합성을 이용하여, 미분방정식에서 $C^1$-안정한 약한 사양성에서 전역 하이퍼볼리시티를 유추하는 것.
• 문헌 [37]과 [6]의 기법을 응용하여, $C^1$-안정한 약한 사양성이 비하이퍼볼릭 주기궤도의 부재를 암시한다는 것을 증명하는 것.
• 모순에 의한 증명: 아노소프가 아닌 시스템이 $C^1$-안정한 약한 사양성을 갖는다고 가정하면, 서로 다른 지수를 가진 주기점이 존재하게 되어 횡단성 조건을 위반한다.

실험 결과

연구 질문

• RQ1 체적보존 미분동형사상에서 영상성 성질이 $C^1$-일반적일 때 그 시스템이 아노소프이기 위한 필요충분조건인가?
• RQ2 $C^1$-강건한 약한 사양성 성질이 체적보존 클래스에서 아노소프 시스템을 암시하는가?
• RQ3 $C^1$-일반적인 체적보존 미분동형사상 중 약한 사양성 성질이 없는 것이 아노소프 클래스 외부에 존재할 수 있는가?
• RQ4 다양체의 차원이 이 성질들을 통한 아노소프 시스템의 특징짓기의 타당성에 어떤 영향을 미치는가?
• RQ5 면적보존 표면 사상에서 타원 궤도와 불변 원이 약한 사양성 성질을 방해하는 데 어떤 역할을 하는가?

주요 결과

• 체적보존 미분동형사상에서 $C^1$-일반적일 때 영상성 성질을 갖는다. 유일하게 아노소프일 때 성립한다.
• 체적보존 미분동형사상에서 $C^1$-일반적일 때 확장성 성질을 갖는다. 유일하게 아노소프일 때 성립한다.
• 체적보존 미분동형사상에서 $C^1$-일반적일 때 약한 사양성 성질을 갖는다. 유일하게 아노소프일 때 성립한다.
• $C^1$-안정한 약한 사양성 성질이 체적보존 클래스에서 아노소프임을 암시한다.
• 유동의 경우, $C^1$-안정한 약한 사양성 성질은 차원 $d \geq 4$에서 전역 하이퍼볼리시티(즉, 아노소프)를 암시한다.
• 표면의 경우($d=2$), 타원 궤도와 불변 원의 장애로 인해 $C^1$-안정한 약한 사양성은 아노소프임을 암시한다.