[논문 리뷰] Equilibrium states for interval maps: the potential $-t\log |Df|$

Henk Bruin, Mike Todd|ArXiv.org|2007. 04. 17.

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

한 줄 요약

이 논문은 $C^2$ 다중모달 구간 맵에서 임의의 임계 궤도를 따라 도함수의 다항성 증가 조건을 만족하는 경우, 잠재력 $\varphi_t(x) = -t\log|Df(x)|$ 에 대해 $t \approx 1$ 에서 평형 상태의 존재성과 유일성을 확립한다. 압력 함수 $t \mapsto P(\varphi_t)$ 가 $t=1$ 근처에서 해석적임을 증명하며, 호프바우어 타워에서의 자연스러운 유도 구조와 이행 가능성 논증을 통해 열역학적 체계를 비-콜렛-에크만 맵으로 확장한다.

ABSTRACT

Let $f:I o I$ be a $C^2$ multimodal interval map satisfying polynomial growth of the derivatives along critical orbits. We prove the existence and uniqueness of equilibrium states for the potential $ϕ_t:x\mapsto -t\log|Df(x)|$ for $t$ close to 1, and also that the pressure function $t \mapsto P(ϕ_t)$ is analytic on an appropriate interval near $t = 1$.

연구 동기 및 목표

• 임계 궤도를 따라 도함수의 다항성 증가 조건을 만족하는 $C^2$ 다중모달 구간 맵에서 잠재력 $\varphi_t(x) = -t\log|Df(x)|$ 에 대해 평형 상태의 존재성과 유일성을 확립한다.
• 기존의 전이 연산자 방법이 실패하는 비-콜렛-에크만 맵으로 열역학적 체계를 확장한다.
• 자연스러운 유도 구조와 호프바우어 타워를 이용한 프레임워크를 개발하여, 다양한 유도 구성 간의 평형 상태의 이행 가능성과 호환성을 보장한다.
• 압력 함수 $t \mapsto P(\varphi_t)$ 가 $t=1$ 근처에서 해석적임을 증명한다.
• 임의의 유도 구조에 의해 발생하는 비유일성과 비표준 측도 문제를 해결하기 위해, 표준적이고 자연스러운 유도 구조의 클래스를 구성한다.

제안 방법

• 호프바우어 타워를 이용해 자연스러운 유도 구조를 구성하며, 이때 도메인은 구간에서 가 countably many 분지가 있는 마르코프 확장으로 올려진다.
• 호프바우어 타워의 마르코프 성질을 이용해, 주기 궤도와 교차가 있는 집합이 타워 내에서 전체 도메인으로 올려짐을 보장한다.
• 유도 논증을 적용해, 양의 엔트로피를 가진 임의의 에르고딕 측도는 타워의 유한한 수준 집합에서 일정한 양의 비율을 일정하게 소비하는 올림을 가져야 함을 보인다.
• 제닝스 부등식과 실린더 집합 수세기 기법을 활용해 엔트로피를 상향으로 유계화하고, 측도의 올림이 타워의 대부분을 회피할 경우 모순이 발생함을 도출한다.
• 호프바우어 타워의 전이 그래프에 기본 부분그래프가 존재함을 이용해 흡수 집합을 정의하고, 올린 공간 내 주기점의 존재성을 보장한다.
• 유도 시스템과 이행 가능성에 기반해 평형 상태가 $t$ 에 대해 해석적으로 변함을 보여, 압력 함수 $P(\varphi_t)$ 가 $t=1$ 근처에서 해석적임을 증명한다.

실험 결과

연구 질문

• RQ1 임계 궤도를 따라 도함수의 다항성 증가 조건을 만족하는 $C^2$ 다중모달 구간 맵에서, 맵이 콜렛-에크만이 아닐 경우에도 잠재력 $\varphi_t(x) = -t\log|Df(x)|$ 에 대해 평형 상태가 존재하는가?
• RQ2 이러한 맵에서 압력 함수 $P(\varphi_t)$ 가 $t=1$ 근처에서 해석적임을 입증할 수 있는가?
• RQ3 평형 상태는 유일한가? 그리고 전이 연산자의 준콤팩트성에 의존하지 않고도 이 유일성이 확보될 수 있는가?
• RQ4 모든 평형 상태가 서로 다른 선택에 대해 일관되게 작용하는 표준적 유도 구조를 구성할 수 있는가?
• RQ5 양의 엔트로피를 가진 측도가 호프바우어 타워에서 일정한 양의 비율을 일정한 수준 집합에서 소비함을 보여, 유도 구조와 호환됨을 입증할 수 있는가?

주요 결과

• 임계 궤도를 따라 도함수의 다항성 증가 조건을 만족하는 $C^2$ 다중모달 구간 맵에서, $t=1$ 근처의 $t$ 에 대해 잠재력 $\varphi_t(x) = -t\log|Df(x)|$ 의 평형 상태는 존재하며 유일하다.
• 압력 함수 $t \mapsto P(\varphi_t)$ 는 $t=1$ 을 포함하는 구간에서 해석적이다.
• 양의 엔트로피를 가진 임의의 에르고딕 측도는, 수준 집합이 유계일 경우, 호프바우어 타워 내에서 측도가 일정한 하한 $\eta>0$ 이하로 떨어지지 않는 집합으로 올려진다. 이 하한은 측도에 관계없이 동일하다.
• 이러한 측도의 올림은 호프바우어 타워의 유한한 수준 집합의 컴acts에 포함된 부분집합에서 일정한 양의 비율을 소비해야 하며, 이는 유도 구조와의 호환성을 보장한다.
• 호프바우어 타워와 전이 그래프를 이용해 자연스러운 유도 구조를 구성할 수 있으며, 이는 유도 시스템이 흡수적이며 유일한 평형 상태를 지닌다.
• 이 방법은 전이 연산자 준콤팩트성에 의존하지 않아, 이전 방법이 실패하는 비-콜렛-에크만 맵에도 적용 가능하다.