[논문 리뷰] Stability and limit theorems for sequences of uniformly hyperbolic dynamics

Armando Castro, Fagner B. Rodrigues외 1명|arXiv (Cornell University)|2017. 09. 06.

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

한 줄 요약

이 논문은 균일하게 초구형 동역계의 수렴하는 수열, 즉 아노소프 미분형과 컴act 리만다이안 매니폴드 위의 확장 맵에 대해 거의 확실한 불변 원리와 에르고딕 안정성을 확립한다. 생성 수열에 대해 리프시츠 연속적으로 변하는 순차적 동형사상을 도입함으로써, 연속 관측량에 대한 버크hoff 평균이 한계 시스템에서와 동일한 극한 행동을 보임을 증명하며, 이는 중심극한정리와 같은 고전적 극한정리가 비정적 동역계로 이행될 수 있음을 가능하게 한다.

ABSTRACT

In this paper we obtain an almost sure invariance principle for convergent sequences of either Anosov diffeomorphisms or expanding maps on compact Riemannian manifolds and prove an ergodic stability result for such sequences. The sequences of maps need not correspond to typical points of a random dynamical system. The methods in the proof rely on the stability of compositions of hyperbolic dynamical systems. We introduce the notion of sequential conjugacies and prove that these vary in a Lipschitz way with respect to the generating sequences of dynamical systems. As a consequence, we prove stability results for time-dependent expanding maps that complement results in [Franks74] on time-dependent Anosov diffeomorphisms.

연구 동기 및 목표

• 비정적 동역계로서 수렴하는 균일하게 초구형 맵 수열에 대해 중심극한정리 및 기능적 중심극한정리와 같은 극한정리를 확립하는 것.
• 아노소프 미분형과 확장 맵의 수열에 대해 에르고딕 안정성을 증명하여, 연속 관측량의 버크hoff 평균이 한계 시스템과 유사하게 행동함을 보이는 것.
• 시간에 따라 변하는 초구형 시스템을 그 한계 시스템으로 동형화하는 순차적 동형사상의 개념을 도입하고, 이들이 수열의 맵에 대해 리프시츠 연속적으로 의존함을 분석하는 것.
• 버크hoff 평균의 비정상 집합의 위상적 엔트로피가 순차적 동형사상 하에 유지됨을 보이며, 혼돈적 행동의 구조적 안정성을 확보하는 것.
• 자기 동적 초구형 시스템에서의 확률적 극한법칙을 비자기적, 수렴하는 동역계 수열로 이행하기 위한 정량적 프레임워크를 제공하는 것.

제안 방법

• 수렴하는 초구형 맵 수열과 그 한계 맵 사이의 순차적 동형사상 개념을 도입하고, 생성 수열의 $ C^1 $ 수렴 조건 하에서 이들이 존재하고 연속적임을 증명하는 것.
• 순차적 동형사상이 맵 수열 간의 $ C^1 $-거리에 대해 리프시츠 연속적으로 변함을 증명하여, 동형사상의 왜곡에 대한 균일한 통제를 확보하는 것.
• 동형사상을 통해 한계 시스템의 통계적 성질—혼합성, 상관관계의 감쇠, 거의 확실한 불변 원리—를 비자기적 시스템 수열로 이행하는 것.
• 페르론-프로베니우스 연산자 프레임워크를 간접적으로 활용하여, $ F_n = f_{n-1} imes \text{...} \times f_0 $ 의 역학을 한계 맵 $ f^n $ 의 반복에 연결함으로써 극한정리의 이행을 가능하게 하는 것.
• 동형사상 하에서 버크hoff 평균의 비정상 집합의 위상적 엔트로피가 유지됨을 증명하며, 이는 동형사상이 균일하게 항등사상으로 수렴함을 이용하는 것.
• 관측량의 허더 연속성과 동형사상과 항등사상 간의 $ C^0 $-거리에 대한 균일한 유계성을 이용하여 버크hoff 합의 오차를 제어하고, $ C^1 $-오차가 합산 가능하게 감소할 경우 오차가 $ \text{O}(n^{1/2 - \nu}) $ 임을 보이는 것.

실험 결과

연구 질문

• RQ1 균일하게 초구형 맵 수열이 $ C^1 $-위상에서 수렴할 경우, 중심극한정리와 같은 고전적 극한정리를 비정적 시스템으로 확장할 수 있는가?
• RQ2 초구형 맵 수열의 역학은 그 한계 맵의 관측량과 버크hoff 에르고딕 평균 측면에서 어떻게 관련되어 있는가?
• RQ3 아노소프 미분형 또는 확장 맵의 수렴 수열과 그 한계 시스템 사이에 순차적 동형사상이 존재하는가? 그리고 이들은 수열에 대해 연속적으로 어떻게 의존하는가?
• RQ4 버크hoff 평균의 비정상 집합의 위상적 엔트로피가 수열과 그 한계 시스템 간의 동형사상 하에 유지되는가?
• RQ5 자기 동적 초구형 시스템에 대한 거의 확실한 불변 원리가 동형사상을 통해 비자기적, 시간에 따라 변하는 시스템으로 어떻게 올려질 수 있는가?

주요 결과

• 균일하게 초구형 맵 수열에 대해 거의 확실한 불변 원리가 성립하며, 이는 $ C^1 $-거리에서 오차가 $ O(j^{-(1/2 + \nu)/\beta}) $ 로 감소할 경우에 성립하며, 이는 허더 관측량의 버크hoff 합이 분포상으로 브라운 운동으로 수렴함을 보장한다.
• 균일하게 초구형 맵 수열과 그 $ C^1 $-한계 맵 사이에 순차적 동형사상이 존재하며, 이들은 수열이 진행됨에 따라 균일하게 항등사상으로 수렴한다.
• 동형사상은 생성 수열 간의 $ C^1 $-거리에 대해 리프시츠 연속적으로 변하며, 리프시츠 상수는 한계 맵의 초구형성 조건에만 의존한다.
• 버크hoff 평균의 비정상 집합의 위상적 엔트로피—즉, 케라로 평균의 하한과 상한이 다른 점들의 집합—는 동형사상 하에 유지되며, 이는 한계 시스템의 위상적 엔트로피와 같다.
• 평균이 0인 허더 연속 관측량 $ \theta $ 에 대해, 버크hoff 합 $ \frac{1}{n} \theta(F_n(x)) $ 는 분포상으로 평균 0, 분산 $ \theta^2 = \text{Var}(\theta) + 2\text{Cov}(\theta, \theta \times f) $ 인 정규분포로 수렴한다. 이는 $ C^1 $-오차가 충분히 빠르게 감소할 경우에 성립한다.
• 비코베이스 관측량에 대해 버크hoff 평균이 비정상적인 점들의 집합은 위상적 엔트로피가 전부이며, 위상공간 내에서 베어르 잔여집합이 되며, 이는 한계 시스템과 수열의 맵을 통해 동형사상으로 유지된다.