[논문 리뷰] Logarithmic bounds for ergodic sums of certain flows on the torus: a short proof

Jérôme Carrand|arXiv (Cornell University)|2020. 12. 14.

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

한 줄 요약

이 논문은 2-토러스 위의 특정 C1 유동에서 Poincaré 재입사 사상의 회전수가 일정 유형임을 가정할 때, C1 관측량의 에르고딕 합이 최대 로그 성장함을 간결하게 증명한다. 에르고딕 적분을 원주 위의 Birkhoff 합으로 연결하고 Denjoy-Koksma 부등식을 적용하여 로그 상한을 확립함으로써, 점근적 행동에서의 이탈이 없음을 증명한다. 이 결과는 Giulietti-Liverani 유동을 초월하여 비최소 시스템을 포함함으로써, 제어 가능한 에르고딕 합을 가지는 유동의 엄밀히 더 큰 클래스를 확장한다.

ABSTRACT

We give a short proof that the ergodic sums of $\mathcal{C}^1$ observables for a $\mathcal{C}^1$ flow on $\mathbb{T}^2$ admitting a closed transversal curve whose Poincar\'e map has constant type rotation number have growth deviating at most logarithmically from a linear one. For this, we relate the latter integral to the Birkhoff sum of a well-chosen observable on the circle and use the Denjoy-Koksma inequality. We also give an example of a nonminimal flow satisfying the above assumptions.

연구 동기 및 목표

• 2-토러스 위의 C1 유동 궤적을 따라 C1 관측량의 에르고딕 합에 대해 로그 상한을 확립하기.
• 최소성 조건을 완화시켜 Giulietti-Liverani 유동을 초월한 설정으로 일반화하기.
• 상수형 회전수 조건 하에서 평균이 0인 C1 관측량의 에르고딕 적분이 최대 로그 성장함을 증명하기.
• 닫힌 횡단선과 상수형 회전수를 가지며 최소가 아닌 유동의 명시적 예를 구성하여, 이 유동의 클래스가 이전에 연구된 것보다 엄밀히 더 크다는 것을 보여주기.

제안 방법

• 유동의 궤적을 따라 에르고딕 적분을 횡단 닫힌 곡선으로의 첫 번째 재입사 사상에 의해 원주 위의 Birkhoff 합으로 연결하기.
• 재입사 시간 동안 f의 적분을 이용해 원주 위의 전이 관측량 g를 정의하며, 재입사 시간 함수의 미세성 활용하기.
• 상수형 회전수를 가진 원주 위의 미분동역학에서 Denjoy-Koksma 부등식을 적용하여 g의 Birkhoff 합을 상한으로 제한하기.
• 상수형 수의 연분수 구조를 이용해 재입사 시간의 근사화를 제어하고 로그 추정을 도출하기.
• Poincaré 사상과 상수형 회전수의 회전 사이에 준위상 동형을 구성하여 회전수와 비최소성 확인하기.
• Hartman-Grobman 정리와 안정성 분할의 성질을 이용해 유동의 동역학과 불변 집합 분석하기.

실험 결과

연구 질문

• RQ1 Anosov 미분동역학에서 유도된 것 이외의 더 넓은 유동 클래스에서 에르고딕 합에 대해 로그 상한을 확립할 수 있는가?
• RQ2 Poincaré 사상의 회전수가 상수형일 때, C1 관측량의 에르고딕 합의 정확한 성장률은 무엇인가?
• RQ3 닫힌 횡단선과 상수형 회전수를 가지며 최소가 아닌 T2 위의 C1 유동을 구성할 수 있는가?
• RQ4 무리수 회전수를 가진 스텝 유동의 맥락에서 Denjoy-Koksma 부등식은 에르고딕 적분에 어떻게 적용되는가?

주요 결과

• 모든 평균이 0인 C1 관측량에 대해, 초기점에 관계없이 시간에 따라 에르고딕 적분의 크기는 최대 로그 성장함을 보장한다.
• 상한은 |Hx,T(f)| ≤ K1||f||C1 log(1 + T) + K2||f||C1 형태이며, K1과 K2는 유동과 회전수에만 의존한다.
• 증명은 에르고딕 적분의 점근적 전개에서의 이탈이 없음을 입증하며, Baladi와 Forni의 결과와 일관된다.
• 닫힌 횡단선과 상수형 회전수를 가지며 주기 궤적이 없는 비최소 C1 유동이 명시적으로 구성되었으며, 핵심 가정을 만족한다.
• 구성된 유동은 정규 불변 집합 K를 가지며, 이는 정방향과 역방향 시간 모두에서의 흡인자이고, 유일한 불변 측도를 지닌다.
• 기하학적 및 동역학적 추론(상승 및 교차점 분석)을 통해 Poincaré 사상의 회전수가 이차 정수이므로 상수형임을 증명한다.