하이퍼볼릭 반발 고정점 위의 물리적 측정과 C¹ 원주 커버링

초록

이 논문은 이중화 지도와 위상동형인 C¹ 원주 커버링을 구성하여, |f′(p)|>1인 하이퍼볼릭 반발 고정점 p에 물리적 측정 δₚ가 존재함을 보인다. 한 점 q에서만 매끄러움이 깨지는 경우는 전측정이 p의 베이슨에 속하고, 전체 C¹인 경우에도 양의 Lebesgue 측정이 베이슨에 포함된다. 핵심은 ‘실현 보조정리’를 이용해 원하는 유도 지도(F)를 갖는 전체 분기(map)를 만들 수 있다는 점이다.

상세 분석

본 연구는 원주 S¹ 위의 전역 2‑분기(covering) 사상을 D에 정의하고, 그 안에서 두 가지 유형의 사상을 구축한다. 첫 번째는 고정점 p가 초과 팽창(|f′(p)|>1)임에도 불구하고 물리적 측정 δₚ가 전 Lebesgue 측정(즉, |B_{δₚ}|=1)을 차지하도록 설계된 비정칙 사상이다. 이 사상은 q∈S¹{p}에서만 연속성을 잃으며, 그 외 구간에서는 C^∞이다. 두 번째는 전 구간에서 C¹을 만족하지만, q에서의 미분이 0이 되는 사상으로, 이 경우에도 B_{δₚ}의 Lebesgue 측정이 양수(|B_{δₚ}|>0)임을 보인다.

핵심 기술은 ‘유도 지도(F)’와 ‘귀환 시간(τ)’을 이용한 집합 E와 C의 정의이다. E는 귀환 시간이 결국 엄격히 증가하는 점들의 집합이며, 이를 통해 경험적 측정이 δₚ로 수렴함을 증명한다(명제 2.2). F가 특정 비율 조건을 만족하는 두 서브클래스(F_weak와 F_strong)에 속하면, 각각 |E|>0 혹은 |E|=|I₂|가 된다(명제 2.3). 여기서 I₂는 p의 전 이미지 구간이며, F_strong*는 모든 구간 K_n이 전체 구간 I₂로 볼록 사상되는 경우를 의미한다.

이러한 F를 실제 사상 f에 구현하기 위해 ‘실현 보조정리(Lemma 2.6)’를 도입한다. 주어진 첫 번째 분기 f₁와 원하는 유도 지도 F에 대해, 고유하게 정의되는 두 번째 분기 f₂를 구성함으로써 전체 사상 f=f₁∪f₂가 D에 속하고, F가 f의 I₂ 위 첫 귀환 지도임을 보인다. 정리의 증명은 구간 J_n을 f₁의 역이용으로 정의하고, K_n과 J_n 사이를 일대일 호모몰피즘으로 연결하는 과정으로 이루어진다.

정리 2.6의 활용을 통해, 저자들은 F_strong에 해당하는 F를 설계해 전측정 베이슨을 얻는 예시(명제 2.4)와, F_weak에 해당하는 F를 설계해 C¹이면서도 양의 베이슨을 갖는 예시(명제 2.5)를 각각 구성한다. 이 과정에서 그래프 조각(ϕ_{a,b})와 접합(Glue) 기법을 통해 f₂의 매끄러움을 제어한다. 특히, Gluing Lemma(5.2)는 인접한 그래프 조각이 C^∞ 혹은 C^r 방식으로 매끄럽게 맞물리는 조건을 제시한다.

결과적으로, 하이퍼볼릭 반발 고정점이 물리적 측정의 지지점이 될 수 있음을 보이며, 이는 전통적인 ‘중립 고정점’이나 ‘비확장’ 상황에서만 물리적 측정이 존재한다는 기존 직관에 반한다. 또한, 실현 보조정리를 통해 유도 지도만 지정하면 원하는 전역 사상을 만들 수 있다는 일반적인 도구를 제공한다는 점에서 독립적인 가치가 있다.