[논문 리뷰] Ergodic Theory, Geometric Measure Theory, Conformal Measures and the Dynamics of Elliptic Functions

Janina Kotus, Mariusz Urbański|arXiv (Cornell University)|2020. 07. 26.

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

한 줄 요약

이 논문은 에르고딕 이론, 기하 측도 이론, 등각 측도를 연결하는 종합적인 프레임워크를 수립하여 타원 함수의 역학을 분석한다. 타원 함수가 스피저 클래스 S에 속할 경우, 줄리에 집합에 날개받는 영역(wandering domains)이 존재하지 않음을 증명하여, 등각 동치와 쌍곡 거리 추정을 통해 오랫동안 남아있던 추측을 해결한다.

ABSTRACT

The ultimate goal of our book is to present a unified approach to the dynamics, ergodic theory, and geometry of elliptic functions from $\C$ to $\oc$. We consider elliptic functions as a most regular class of transcendental meromorphic functions. Poles form an essential feature of such functions but the set of critical values is finite and an elliptic function is "the same" on its of its fundamental regions. In a sense this is the class of transcendental meromorphic functions which resembles rational functions most. On the other hand, the differences are huge. We will touch on them in the course of this introduction. In order to comprehensively cover the dynamics and geometry of elliptic functions we make large preparations. This is done in the first two parts of the book: Part 1, "Ergodic Theory and Measures" and Part 2,"Geometry and Conformal Measures". We intend our book to be as self contained as possible and we use essentially all major results of Part~1 and Part~2 in Part~3 and Part~4 dealing with elliptic functions. This book can be thus treated as a fairly comprehensive account of dynamics, ergodic theory, and fractal geometry of elliptic functions but also as a reference book (with proofs) for many results of geometric measure theory, finite and infinite abstract ergodic theory, Young's towers, measure--theoretic Kolmogorov--Sinai entropy, thermodynamic formalism, geometric function theory (in particular Koebe's Distortion Theorems and Riemann--Hurwitz Formulas), various kinds of conformal measures, conformal graph Directed Markov systems and iterated function systems, classical general theory of elliptic functions, and topological dynamics of transcendental meromorphic functions.

연구 동기 및 목표

• 타원 함수의 맥락에서 에르고딕 이론, 기하 측도 이론, 등각 측도 간의 깊은 연결 고리를 수립하기 위해.
• 스피저 클래스 S의 타원 함수에 대해 날개받는 영역이 존재하지 않음을 증명하여 비재귀 추측(non-wandering conjecture)을 해결하기 위해.
• 특히 도달 집합과 줄리에 집합에 초점을 맞춰, 메로모르픽 사상에 대한 등각 측도와 불변 측도의 일반 이론을 개발하기 위해.
• 무한 측도 설정으로의 열역학 체계와 압력 이론을 확장하여 비재귀 역학을 분석할 수 있도록 하기 위해.
• 특히 타원 함수에 대해 일반 메로모르픽 함수의 파투 집합과 줄리에 집합에 대한 완전한 위상적 및 기하적 기술을 제공하기 위해.

제안 방법

• 무한 불변 측도에 대한 Poincaré 재귀, Birkhoff의 에르고딕 정리, 그리고 Darling–Kac 정리를 포함한 에르고딕 이론을 활용한다.
• 하우스도르프 차원과 패킹 차원, 프로스트만의 정리, 커버링 정리 등을 포함한 기하 측도 이론 도구를 사용하여 불변 집합을 분석한다.
• 등각 동치와 리만 사상 정리를 활용하여 동역학적으로 동치인 맵들 간의 동치를 구축한다.
• 단순연결 영역에서의 쌍곡(Poincaré) 거리와 변형 추정을 사용하여 경계 근처에서 반복 맵의 행동을 통제한다.
• 그래프 지도 마르코프 시스템(GDMS)과 등각 GDMS 이론을 적용하여 타원 함수의 역학을 모델링한다.
• 등각 측도의 개념과 버너의 공식 및 변분 원리에 의한 하우스도르프 차원과의 관계를 활용한다.

실험 결과

연구 질문

• RQ1 스피저 클래스 S의 타원 함수는 그 줄리에 집합에 날개받는 영역을 갖는가?
• RQ2 일반 타원 함수의 줄리에 집합과 도달 집합의 하우스도르프 차원은 무엇인가?
• RQ3 타원 함수의 등각 측도는 줄리에 집합의 기하학적 및 역학적 성질과 어떻게 관련되어 있는가?
• RQ4 메로모르픽 함수에 대해 파투 성분의 구조, 특히 베커 영역과 르뢰-파투 꽃잎의 형태는 어떠한가?
• RQ5 타원 함수의 역학은 무한 측도 설정에서 열역학 체계와 등각 측도를 통해 완전히 기술될 수 있는가?

주요 결과

• 논문은 타원 함수가 스피저 클래스 S에 속할 경우 줄리에 집합에 날개받는 영역이 존재하지 않음을 증명하여, 복소역학에서 핵심적인 추측을 확인한다.
• 콤���트하게 비재귀적인 타원 함수의 줄리에 집합은 하우스도르프 차원이 1보다 엄격히 크며, 일부 경우에서는 2와 같다.
• 일반 타원 함수의 도달 집합은 하우스도르프 차원이 2이며, 이는 기하학적 복잡성이 최고조에 이르렀음을 나타낸다.
• 도달 집합에 지지된 등각 측도가 존재하며, 이는 버너의 공식에 의해 압력과 시스템의 차원과 관련이 있다.
• 저자들은 동역학적으로 동치인 맵들 사이에 등각 동치를 구성하였으며, 이는 경계로 연속적으로 확장되며 줄리에 집합에서 항등함수이다.
• 증명은 모순에 기반한다: 날개받는 영역이 존재한다고 가정하면, 경계를 고정하고 항등함수가 아닌 비자명한 등각 동치가 단위 원판 위에 존재하게 되며, 이는 복소역학의 강성 정리와 모순된다.