[논문 리뷰] Intrinsic ergodicity for certain nonhyperbolic robustly transitive systems

Jérôme Buzzi, Todd Fisher|ArXiv.org|2009. 03. 21.

Mathematical Dynamics and Fractals참고 문헌 15인용 수 8

한 줄 요약

이 논문은 d ≥ 3인 d차원 토러스 𝕋^d에서 Mañé의 예로 구성된 비하이퍼볼릭이지만 강하게 전이 가능한 미분동형사상의 클래스에 대해 내재적 에르고딕성을 확립한다. 각각의 미분동형사상이 선형 Anosov 요소와 동형인 유일한 최대 엔트로피 측도를 가지며, 이로 인해 위상적 엔트로피가 국소적으로 일정하고, 균일한 하이퍼볼리시티 또는 구조적 안정성 없이도 시스템이 내재적으로 에르고딕하다는 것을 보여준다.

ABSTRACT

We show that a class of robustly transitive diffeomorphisms originally described by Mañé are intrinsically ergodic. More precisely we obtain an open set of diffeomorphisms which fail to be uniformly hyperbolic, but nevertheless have constant entropy and isomorphic unique measures of maximal entropy.

연구 동기 및 목표

• 강하게 전이 가능한, 균일하게 하이퍼볼릭적이지도, 구조적으로 안정적이지도 않은 미분동형사상이 여전히 내재적으로 에르고딕한가를 판단하는 것.
• 유일한 최대 엔트로피 측도가 C¹ 위상에서 연속적으로 변화함을 보여, 비-Anosov 시스템에 대해 내재적 안정성의 개념을 확장하는 것.
• 중심 다이내믹스가 비자명한 강한 부분 하이퍼볼릭 미분동형사상의 엔트로피 구조를 분석하는 것.
• 3차원에서 강하게 전이 가능한 시스템에 대해 내재적 에르고디시티가 성립하는지 여부를 밝히는 것 — 부분 하이퍼볼리시티가 필수 조건임을 고려하여.

제안 방법

• d ≥ 3인 𝕋^d 위에서 Mañé 유형의 미분동형사상 f₀의 C¹-열린 이웃 U를 구성하여, 각 g ∈ U가 강하게 부분 하이퍼볼릭이자 강하게 전이 가능하도록 하는 것.
• g에서 선형 Anosov 사상 f_A로의 반연속 사상 π_g: 𝕋^d → 𝕋^d를 정의하여 동역학을 인수 분해하고, h_top(g) = h_top(f_A)를 만족시키는 것.
• 중심 래미네이션의 유한 곡률과 정규 하이퍼볼리시티를 이용하여, μ-거의 모든 x ∈ 𝕋^d에 대해 π_g^{-1}(x)가 길이가 일정하게 유계된 컴팩트 구간임을 보이는 것.
• Bowen의 부등식을 통해 모든 x에 대해 π_g^{-1}(x)의 섬유 엔트로피 h(g, π_g^{-1}(x)) = 0임을 증명하고, h_top(g) = h_top(f_A)임을 유도하는 것.
• Ledrappier-Walters 엔트로피 분해를 이용하여, 최대 엔트로피 측도 ν의 π_g에 의한 상대 이미지가 반드시 f_A의 유일한 최대 엔트로피 측도 μ와 일치함을 보이는 것.
• 중심 팽창/수축 속도가 (λ_c − γ)^{1−m−σ}(b(f) − γ)^{2m+σ} > 1를 만족함을 증명하여, π_g가 거의 모든 곳에서 일대일임을 보이는 것 — 이는 전이 집합이 거의 확률적으로 싱글턴임을 강제함.

실험 결과

연구 질문

• RQ1 강하게 전이 가능하지만 균일하게 하이퍼볼릭적이지 않은 미분동형사상에 대해 내재적 에르고딕성을 확립할 수 있는가?
• RQ2 비-Anosov 강하게 전이 가능한 시스템의 C¹ 이웃에서 위상적 엔트로피가 국소적으로 일정한가?
• RQ3 이러한 시스템에서 소규모 C¹ 편향에 대해 최대 엔트로피 측도의 존재성이 유지되는가?
• RQ4 비하이퍼볼릭 강하게 전이 가능한 시스템의 동역학을 Anosov 시스템을 통해 인수 분해하면서도 엔트로피와 측도 이론적 구조를 유지할 수 있는가?

주요 결과

• d ≥ 3인 경우, 공집합이 아닌 열린 집합 U ⊂ Diff^1(𝕋^d)가 존재하여, 각 f ∈ U는 강하게 부분 하이퍼볼릭이자 강하게 전이 가능하며 내재적으로 안정적이다.
• U에 속하는 어떤 f도 Anosov가 아니며, 구조적으로 안정적이지도 않음을 보여, 내재적 에르고디시티가 균일한 하이퍼볼리시티 없이도 발생할 수 있음을 입증한다.
• U 위에서 위상적 엔트로피는 일정하며, 모든 f ∈ U에 대해 h_top(f) = h_top(f_A)를 만족한다. 여기서 f_A는 선형 Anosov 사상이다.
• 각 f ∈ U는 유일한 최대 엔트로피 측도 μ_f를 가지며, π_f에 의한 μ_f의 상은 f_A의 유일한 최대 엔트로피 측도 μ와 일치한다.
• 반연속 사상 π_f는 거의 모든 곳에서 일대일이므로, μ_f는 f에 대한 유일한 최대 엔트로피 측도임을 의미한다.
• 핵심 동역학 조건 (λ_c − γ)^{1−m−σ}(b(f) − γ)^{2m+σ} > 1는 π_f에 의한 전이 집합이 거의 확률적으로 싱글턴임을 보장하며, 이는 최대 엔트로피 측도의 유일성을 강제한다.