[논문 리뷰] Ergodic optimization theory for a class of typical maps

Wen Huang, Zeng Lian외 3명|arXiv (Cornell University)|2019. 04. 03.

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

한 줄 요약

이 논문은 Axiom A 기여자, Anosov 미분형, 균일하게 팽창하는 사상 등을 포함하는 광범위한 동역계 클래스에 대해, 시스템이 Anosov 그림자 성질(ASP)과 Mañé-Conze-Guivarc’h-Bousch 성질(MCGBP)를 모두 만족할 경우, 일반적인 호일러 연속 관측량이 유일한 최소화 측도를 주기 궤도에 지지함을 입증한다. 이 결과는 원과 헌트가 제기한 $ C^1 $-관측량에 대한 에르고딕 최적화 이론의 장기적인 열린 문제를 해결한다.

ABSTRACT

In this article, we consider the weighted ergodic optimization problem of a class of dynamical systems $T:X o X$ where $X$ is a compact metric space and $T$ is Lipschitz continuous. We show that once $T:X o X$ satisfies both the {\em Anosov shadowing property }({\bf ASP}) and the {\em Mañé-Conze-Guivarc'h-Bousch property }({\bf MCGBP}), the minimizing measures of generic Hölder observables are unique and supported on a periodic orbit. Moreover, if $T:X o X$ is a subsystem of a dynamical system $f:M o M$ (i.e. $X\subset M$ and $f|_X=T$) where $M$ is a compact smooth manifold, the above conclusion holds for $C^1$ observables. Note that a broad class of classical dynamical systems satisfies both ASP and MCGBP, which includes {\em Axiom A attractors, Anosov diffeomorphisms }and {\em uniformly expanding maps}. Therefore, the open problem proposed by Yuan and Hunt in \cite{YH} for $C^1$-observables is solved consequentially.

연구 동기 및 목표

• 에르고딕 최적화 이론에서 $ C^1 $-관측량에 대한 일반적인 주기 궤도 최적화(TPO) 추측을 해결하기 위해.
• 일반적인 관측량의 최소화 측도가 주기 궤도에 유일하게 지지되는 조건을 설정하기 위해.
• ASP와 MCGBP를 모두 만족하는 시스템이 일반적인 호일러 및 $ C^1 $ 관측량에 대해 유일한 주기적 최소화 측도를 보장함을 증명하기 위해.
• 이전의 균일하게 팽창하는 사상과 유한형 기호 체계에 대한 결과를 더 넓은 초위상 동역계 클래스로 확장하기 위해.
• 강한 초위상성과 정규성 조건을 갖는 시스템에서 에르고딕 최적화를 위한 일반적 프레임워크를 제공하기 위해.

제안 방법

• 저자들은 컴acts 메트릭 공간 $ X $ 상에서 $ T: X \to X $ 인 리프시츠 연속 사상에 대해 가중치가 부여된 에르고딕 최적화 문제를 분석한다.
• 궤도를 주기 궤도로 근사화하는 데 제어하기 위해 Anosov 그림자 성질(ASP)을 도입하고 적용한다.
• 관측량의 변형을 가능하게 하는 코바운드리 존재를 보장하기 위해 Mañé-Conze-Guivarc’h-Bousch 성질(MCGBP)을 사용한다.
• 증명은 모든 에르고딕 측도에 대해 Birkhoff 평균이 음수가 아닌 함수 $ G $ 를 구성하는 데 기반하며, 궤도 합과 호일러 노름에 대한 추정을 사용한다.
• 핵심 추정은 리프시츠 상수와 초위상 상수를 사용해 근접한 점들 간의 궤도 합 차이를 유계화하는 데 있다.
• 반증에 기반한 추론: 비주기적 최소화 측도가 존재한다고 가정하면, $ G $ 의 평균이 양수가 되어 최소성과 모순된다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 동역계가 일반적인 호일러 관측량의 최소화 측도가 주기 궤도에 유일하게 지지되는가?
• RQ2 초위상 동역계에서 $ C^1 $-연속 관측량에 대해 TPO 추측이 성립하는가?
• RQ3 MCGBP와 ASP 성질을 사용하여 최소화 측도의 유일성과 주기성을 보장할 수 있는가?
• RQ4 Axiom A 기여자와 Anosov 미분형과 같은 고전적 초위상 시스템이 주기적 최소화 측도 조건을 얼마나 잘 만족하는가?
• RQ5 관측량의 변형이 에르고딕 최적화에서 최소화 측도의 구조에 어떤 영향을 미치는가?

주요 결과

• ASP와 MCGBP를 모두 만족하는 임의의 시스템 $ T: X \to X $ 에 대해, 일반적인 $ \alpha $-호일러 관측량의 최소화 측도는 유일하게 주기 궤도에 지지된다.
• 만약 $ T $ 가 컴팩트 매니폴드 $ M $ 상의 $ C^1 $-미분형 $ f: M \to M $ 의 부분계면이라면, 동일한 결과가 $ C^1 $-관측량에 대해 성립한다.
• 이 결과는 원과 헌트(2000)가 제기한 $ C^1 $-관측량에 대한 열린 문제를 해결한다.
• ASP와 MCGBP를 모두 만족하는 시스템의 클래스에는 Axiom A 기여자, Anosov 미분형, 균일하게 팽창하는 사상 등이 포함된다.
• 증명은 주기적이지 않은 모든 에르고딕 측도는 철저히 구성된 함수 $ G $ 의 Birkhoff 평균이 양수가 되어야 하며, 이는 최소성과 모순됨을 보여준다.
• 핵심 기술적 단계는 비주기 궤도에 沿해 $ G $ 의 합을 유한 시간 간격에서 엄격히 양수로 만들 수 있음을 보이는 데 있다. 이는 최소화 성질을 위반한다.