[논문 리뷰] On mixing diffeomorphisms of the disk

A. Avila, Bassam Fayad외 3명|arXiv (Cornell University)|2015. 09. 23.

Mathematical Dynamics and Fractals참고 문헌 9인용 수 9

한 줄 요약

이 논문은 디스크 또는 구면에서의 실해석적 면적보존 미분동형사상이 위상적 혼합이 될 수 없음을 증명하며, 해석적 범주에서 혼합 시스템의 매끄러운 실현에 대한 기본적인 장벽을 설정한다. 브루노 유형의 회전수에 대해 카움 이론을 적용하고, 프랭크스의 보조정리 및 유한정보 케이토스 닫힘 보조정리로부터 유도된 도함수 갭 추정치를 기반으로 한 새로운 $C^{k-1}$-정칙성 증명을 통해 비브루노 케이스에 대해 분석한 결과, 이러한 시스템은 반드시 양의 위상적 엔트로피를 가져야 하며, 이는 매끄러운 동역학 이론에서 오랫동안 남아있던 문제를 해결한다.

ABSTRACT

We prove that a real analytic pseudo-rotation $f$ of the disc or the sphere is never topologically mixing. When the rotation number of $f$ is of Brjuno type, the latter follows from a KAM theorem of Rüssmann on the stability of real analytic elliptic fixed points. In the non-Brjuno case, we prove that a pseudo-rotation of class $C^k$, $k\geq 2$, is $C^{k-1}$-rigid using the simple observation, derived from Franks' Lemma on free discs, that a pseudo-rotation with small rotation number compared to its $C^1$ (or Hölder) norm must be close to Identity. From our result and a structure theorem by Franks and Handel (on zero entropy surface diffeomorphisms) it follows that an analytic conservative diffeomorphism of the disc or the sphere that is topologically mixing must have positive topological entropy. In our proof we need an a priori limit on the growth of the derivatives of the iterates of a pseudo-rotation that we obtain via an effective finite information version of the Katok closing lemma for an area preserving surface diffeomorphism $f$, that provides a controlled gap in the possible growth of the derivatives of $f$ between exponential and sub-exponential.

연구 동기 및 목표

• 디스크 또는 구면에서 실해석적 면적보존 미분동형사상이 위상적 혼합이면서 위상적 엔트로피가 0일 수 있는지 여부에 대한 열린 문제를 해결하기 위해.
• 특히 엔트로피가 0인 시스템에 대해서도 해석적 범주에서 혼합 시스템의 매끄러운 실현에 대한 동역학적 장벽을 설정하기 위해.
• 디오판틴 또는 브루노 케이스를 초월해 비브루노 회전수에 대해 $C^{k-1}$-정칙성 프레임워크를 개발하여 정칙성 결과를 확장하기 위해.
• 면적보존 표면 미분동형사상에서 위상적 혼합이 일어날 경우 양의 위상적 엔트로피를 가져야 한다는 것을, 카움 이론과 도함수 갭 추정치의 조합을 통해 보여주기 위해.

제안 방법

• 브루노 유형의 회전수를 가진 가짜-회전에 대해 루스만의 카움 정리를 적용하여 $C^\rho$-정칙성을 확립한다.
• 자유 디스크에서 프랭크스의 보조정리를 사용하여, $C^1$-노름에 비해 작고 회전수가 작은 $C^k$ 가짜-회전은 반드시 항등사상에 대해 $C^{k-1}$-근접해야 한다는 것을 보인다.
• 면적보존 표면 미분동형사상에서 도함수의 지수적 성장과 비지수적 성장 사이의 갭을 제어할 수 있는 효과적인 유한정보 버전의 케이토스 닫힘 보조정리를 도출한다.
• 반복된 사상에 대한 도함수 궤도의 거동을 제어하기 위해 전진 및 후진 콘 필드 $C_n$ 과 $\tilde{C}_n$ 을 구성하며, $g_n$ 에 대해 콘의 불변성을 확보한다.
• $A_n$, $B_n$, 그리고 편미분 항 $\tilde{\rho}_n$, $\tilde{\rho}_n'$ 를 통한 $g_n$ 의 도함수 추정치를 이용하여 콘 필드 내의 벡터 성장률을 제한한다.
• 벡터가 $C_n$ 에 속해 있을 경우 그 이미지가 $C_{n+1}$ 에 속하고, 역으로 전이의 경우도 마찬가지로 성립함을 보여 콘 필드의 불변성을 증명한다. 이는 $e^{\rho_n^u}$, $e^{\rho_n^s}$ 와 작은 오차 항 $\rho_n$, $\rho_n'$ 의 추정치를 이용한다.

실험 결과

연구 질문

• RQ1 디스크 또는 구면에서 실해석적 면적보존 미분동형사상이 위상적 혼합이면서 위상적 엔트로피가 0일 수 있는가?
• RQ2 엔트로피가 0인 상황에서도 해석적 범주에서 혼합 시스템의 매끄러운 실현에 대해 동역학적 장벽이 존재하는가?
• RQ3 비브루노 회전수를 가진 $C^k$-가짜-회전에 대해 $C^k$-정칙성이 비브루노 케이스로 확장될 수 있으며, 만약 가능하면 어떤 정칙성 조건 하에서 성립하는가?
• RQ4 유한정보 버전의 케이토스 닫힘 보조정리는 면적보존 표면 미분동형사상에서 도함수 성장률의 갭을 제어할 수 있는가?
• RQ5 위상적 혼합, 위상적 엔트로피, 그리고 보존 표면 미분동형사상의 정칙성 사이의 관계는 무엇인가?

주요 결과

• 디스크 또는 구면에서 실해석적 가짜-회전은 회전수의 유형에 관계없이 항상 위상적 혼합이 될 수 없다.
• 브루노 유형의 회전수에 대해서는 루스만의 카움 정리에 의해 $C^\rho$-정칙성이 유도되며, 이는 혼합이 불가능함을 의미한다.
• 비브루노 회전수에 대해서는 프랭크스의 보조정리와 도함수 갭 추정치를 통해 $C^{k-1}$-정칙성이 확립되며, 이는 혼합을 금지한다.
• 면적보존 미분동형사상에서 지수적 성장과 비지수적 성장 사이의 갭이 제어 가능하다는 것이, 유한정보 케이토스 닫힘 보조정리를 통해 증명되었다.
• 디스크 또는 구면에서 실해석적 보존 미분동형사상에서 위상적 혼합이 일어나면 반드시 양의 위상적 엔트로피를 가져야 하며, 이는 핵심 열린 문제를 해결한다.
• 이 증명은 불변 콘 필드 구성과 도함수 성장률에 대한 균일한 추정치에 의존하며, 해석적 정규성 조건 하에서 혼합이 일어나지 않음을 보장한다.