[논문 리뷰] On the Hausdorff dimension of invariant measures for multicritical circle maps

Frank Trujillo|arXiv (Cornell University)|2019. 10. 16.

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

한 줄 요약

이 논문은 정수점이 없는 C³ 다중임계점 원주 사상의 유일한 불변 측도의 하우스도르프 차원에 대해 명시적인 경계를 설정하며, 이는 회전 수의 디오판틴 성질에만 의존함을 보여준다. 동역학적 분할과 프로스트만의 보조정리를 사용하여, 디오판틴 클래스 Dτ에 속하는 회전 수에 대해 차원이 최소 1/(2τ + ν)임을 증명하고, 비디오판틴 수에 대해서는 최대 1/(τ + 1)임을 보이며, 원주 위의 비정상적 불변 측도에 대해 날카로운 정량적 추정을 제공한다.

ABSTRACT

We give explicit bounds for the Hausdorff dimension of the unique invariant measure of $C^3$ multicritical circle maps without periodic points. These bounds depend only on the arithmetic properties of the rotation number.

연구 동기 및 목표

• 무리수 회전 수를 가진 C³ 다중임계점 원주 사상의 유일한 불변 측도에 대한 하우스도르프 차원에 대해 정량적 경계를 설정한다.
• 하우스도르프 차원이 회전 수의 디오판틴 성질, 특히 디오판틴 조건에서의 유형 τ에 어떻게 의존하는지 분석한다.
• 연속 분수 계수와 복귀 시간의 성장과의 연관성을 통해 불변 측도의 특이성을 조사한다.
• 측도 이론적 기법을 사용하여 비유계형 유형의 회전 수에 대해 특이성의 구성적 증명을 제공한다.
• 일임계점 사상에 대한 기존 결과를 다중임계점 경우로 일반화하며, 차원이 회전 수와 임계성 구조에 의해 결정됨을 보여준다.

제안 방법

• 임계점과 관련된 동역학적 분할의 구간 반복을 이용해 µ-측도가 전부인 집합 Anγ의 수열을 구성한다.
• 프로스트만의 보조정리를 적용하여 국소 스케일링과 하우스도르프 차원을 연결하며, log µ(Bǫ(x)) / log ǫ의 점별 하한 근사치를 사용한다.
• 연속 분수의 재귀적 구조와 복귀 시간 qn을 이용하여 동역학적 분할의 구간 크기와 측도를 제어한다.
• 정리 2.1에서 사용된 상수 M을 활용하여 반복의 왜곡을 유계로 유지함으로써, 구간 길이와 측도에 대한 균일한 제어를 확보한다.
• 구축된 집합 Anγ의 직경과 측도를 분석하여 상한을 도출하며, d > 1/(τ + 1)일 때 그 하우스도르프 콘텐츠가 0이 됨을 보여 상한을 증명한다.
• 소구간 내 일반적인 점 주위의 최소 측도를 추정하여 하한을 유도하며, 연속 분수 계수 an과 복귀 시간 qn의 성장을 활용한다.

실험 결과

연구 질문

• RQ1 C³ 다중임계점 원주 사상의 유일한 불변 측도의 하우스도르프 차원은 그 회전 수의 디오판틴 유형에 따라 어떻게 달라지는가?
• RQ2 회전 수가 디오판틴이 아니면 하우스도르프 차원의 날카로운 상한은 무엇이며, 이는 지수 τ와 어떻게 관련되는가?
• RQ3 회전 수가 유형 τ의 디오판틴일 경우 하우스도르프 차원의 날카로운 하한은 무엇이며, 연속 분수 계수에 어떻게 의존하는가?
• RQ4 구간 왜곡과 복귀 시간에 기반한 측도 이론적 접근을 통해 불변 측도의 특이성을 회복할 수 있는가?
• RQ5 임계점과 그 임계성은 차원 경계에 어떻게 영향을 미치며, 차원은 회전 수의 산술적 성질에 의해 결정되는가?

주요 결과

• 임의의 C³ 다중임계점 원주 사상에서, 회전 수가 Dτ에 속하면 그 유일한 불변 측도의 하우스도르프 차원은 dimH(µ) ≥ 1/(2τ + ν)를 만족하며, 여기서 ν는 회전 수와 임계성 구조에 따라 결정된다.
• 회전 수가 어떤 τ > 0에 대해서도 Dτ에 속하지 않으면, 하우스도르프 차원은 dimH(µ) ≤ 1/(τ + 1)로 상한이 주어지며, τ는 연속 분수 계수의 성장에 의해 결정된다.
• 구축된 집합 Anγ는 n이 증가함에 따라 µ-측도가 1에 수렴하며, d > 1/(τ + 1)일 때 그 하우스도르프 콘텐츠가 0이 되어 상한이 증명된다.
• 하한은 점별 추정을 통해 도출되며, µ-거의 모든 점 x에 대해 log µ(Bǫ(x)) / log ǫ의 liminf가 1/(2τ + ν1 + ν2 log M)보다 작지 않음을 보여준다. 여기서 ν1과 ν2는 연속 분수 성장에 의해 정의된다.
• 보조정리 3.2는 비유계형 유형의 회전 수에 대해 불변 측도가 르베그 측도에 대해 특이함을 보이며, Khanin의 결과를 새로운 방법으로 재확인한다.
• 경계는 명시적이며 디오판틴 유형과 지도의 임계성에만 의존하므로, C³ 범주에서 차원이 동치 불변량임을 시사한다.