[논문 리뷰] Hyperbolicity versus non-hyperbolic ergodic measures inside homoclinic classes

Cheng, Cheng, Sylvain Crovisier외 3명|arXiv (Cornell University)|2015. 07. 29.

Mathematical Dynamics and Fractals참고 문헌 17인용 수 3

한 줄 요약

이 논문은 $C^1$-일반적인 미분구상에서, 비초등성의 동형류 집합이 반드시 비초등성의 에르고딕 측도를 지닌다는 것을 증명한다. 이는 Díaz와 Gorodetski의 추측을 확인하는 것으로, 비초등성의 원인을 분석하고, 초등성의 실패 시 이질적 순환 또는 주기적 소스를 탐지하기 위해 리아풀로프 지수와 변형 기법을 사용한다. 일반성 조건을 통해 서로 다른 인덱스를 가진 주기점이 존재하지 않음을 배제하고, 측도의 비초등성을 확립한다.

ABSTRACT

We prove that, for $C^1$-generic diffeomorphisms, if a homoclinic class is not hyperbolic, then there is a non-hyperbolic ergodic measure supported on it. This proves a conjecture by Díaz and Gorodetski [28]. We also discuss the conjectured existence of periodic points with different stable dimension in the class.

연구 동기 및 목표

• C^1-일반적인 미분구상에서 비초등성의 동형류 집합에 비초등성의 에르고딕 측도가 존재한다는 Díaz와 Gorodetski의 추측을 해결하기 위해.
• 전반적인 시스템 대신 동형류 집합에 초점을 맞춰 더 넓은 비초등성 이론의 국소적 버전을 수립하기 위해.
• 리아풀로프 지수와 주기 궤도의 구조를 분석하여 동형류 집합 내 비초등성의 동역학적 함의를 명확히 하기 위해.
• 동형류 집합 내 초등성이 결여되어 있으면, 변형 기법과 일반성 논증을 통해 비초등성의 불변 측도가 존재함을 보여주기 위해.

제안 방법

• 주기점이 체인 재귀 집합에 밀도를 이루고, 동형류 집합이 주기 궤도를 포함하는 체인 재귀 클래스와 일치함을 보장하기 위해 $C^1$-일반성을 활용한다.
• 리아풀로프 지수의 불변 측도를 분석하기 위해 $C^1$-안정성 추측과 비균일 초등성 이론을 적용한다.
• 리아풀로프 지수가 0에 수렴할 경우 이질적 순환 또는 소스를 탐지하기 위해 변형 기법을 사용하며, 정리 2.9와 보조정리 3.1을 활용한다.
• 동형류 집합 위에서 지배 분해와 최종 지배 분해를 분석하여 가능한 동역학적 구조를 분류한다.
• 비초등성이 존재하면 비초등성의 측도가 존재하거나 서로 다른 인덱스를 가진 주기점이 존재할 수 있으며, 일반성 조건을 통해 후자를 배제한다.
• 측도의 주기 궤도에 의한 근사 및 중심 리아풀로프 지수의 소규모 변형에 대한 행동에 관한 결과를 적용한다.

실험 결과

연구 질문

• RQ1 모든 $C^1$-일반적인 미분구상의 비초등성 동형류 집합은 비초등성의 에르고딕 측도를 지니는가?
• RQ2 주기 궤도의 리아풀로프 지수와 그 측도의 행동을 통해 동형류 집합 내 초등성의 부재를 감지할 수 있는가?
• RQ3 서로 다른 안정 차원을 가진 주기점이 포함된 동형류 집합에서 발생하는 동역학적 장애는 무엇인가?
• RQ4 비초등성의 동형류 집합에서 변형이 이질적 순환 또는 소스를 생성할 수 있는 조건은 무엇인가?
• RQ5 일반성 조건 하에 비초등성의 동형류 집합에서 서로 다른 인덱스를 가진 주기점이 존재하지 않음을 배제할 수 있는가?

주요 결과

• $C^1$-일반적인 미분구상에서, 동형류 집합 $H(p)$가 초등적이지 않다면, 적어도 하나의 비초등성의 에르고딕 측도를 지닌다.
• 동형류 집합 내에서 리아풀로프 지수가 양쪽에서 0에 수렴하는 주기 궤도의 수열이 존재하면, $C^1$-소규모 변형을 통해 이질적 순환을 생성할 가능성이 있다.
• 모든 주기 궤도가 동일한 인덱스를 가지며 동형류 집합이 비초등적이라면, 일차원 중심 번들과 함께 부분적으로 초등적인 분해가 존재하거나, 두차원 중심 번지를 가진 최종 지배 분해가 존재한다.
• 주기 궤도의 중심 리아풀로프 지수가 양의 쪽에서 0에 수렴할 경우, 임의로 작은 변형으로 $H(p)$로 수렴하는 소스의 수열을 생성할 수 있으며, 이는 측도의 비초등성을 암시한다.
• 일반성 조건 하에 $H(p)$ 내에서 서로 다른 인덱스를 가진 주기점이 존재하지 않음을 보장하므로, 비초등성은 반드시 측도 이론적 구조에 반영되어야 한다.
• 결과는 비주기적 집합으로 확장되지 않으며, 일부 $C^1$-일반적인 미분구상은 비주기적 집합을 지닌다 하더라도 오직 초등성의 에르고딕 측도만 지닌다.