[논문 리뷰] A family of natural equilibrium measures for Sinai billiard flows

Jérôme Carrand|arXiv (Cornell University)|2022. 08. 25.

Mathematical Dynamics and Fractals인용 수 2

한 줄 요약

이 논문은 유한 영역을 가진 두 토러스 위의 심인 비어드류 흐름에 대해 자연스러운 평형 측도의 가족을 수립한다. 이는 흐름의 평형 상태를 불연속적인 비어드류 사상 T의 평형 상태와 연결함으로써 이루어지며, 비정규 스케일링 바나흐 공간 위에서 작용하는 전이 연산자를 사용하여, 약간의 조건을 만족하는 조각별 힐더 잠재력에 대해 평형 상태가 유일하고 베르누이 성질을 가지며 T-적응적임을 증명한다. 또한 전체 지지를 가진다. 이에 대응하는 흐름 불변 측도는 베르누이 성질을 가지며 흐름에 적응적임을 보이며, 최대 엔트로피 측도와 기하 잠재력에 대한 결과를 확장한다.

ABSTRACT

The Sinai billiard flow on the two-torus, i.e., the periodic Lorentz gas, is a continuous flow, but it is not everywhere differentiable. Assuming finite horizon, we relate the equilibrium states of the flow with those of the Sinai billiard map $T$ -- which is a discontinuous map. We propose a definition for the topological pressure $P_*(T,g)$ associated to a potential $g$. We prove that for any piecewise H\"older potential $g$ satisfying a mild assumption, $P_*(T,g)$ is equal to the definitions of Bowen using spanning or separating sets. We give sufficient conditions under which a potential gives rise to equilibrium states for the Sinai billiard map. We prove that in this case the equilibrium state $\mu_g$ is unique, Bernoulli, adapted and gives positive measure to all nonempty open sets. For this, we make use of a well chosen transfer operator acting on anisotropic Banach spaces, and construct the measure by pairing its maximal eigenvectors. Last, we prove that the flow invariant probability measure $\bar \mu_g$, obtained by taking the product of $\mu_g$ with the Lebesgue measure along orbits, is Bernoulli and flow adapted. We give examples of billiard tables for which there exists an open set of potentials satisfying those sufficient conditions.

연구 동기 및 목표

• 조각별 힐더 잠재력에 대해 약간의 조건을 만족할 경우 심인 비어드류 흐름의 평형 상태의 존재성과 유일성을 수립하기.
• 불연속적인 비어드류 사상 T의 평형 상태와 연속적인 흐름 ϕt의 평형 상태를 자연스러운 올림 구조를 통해 연결하기.
• 얻어진 흐름 불변 측도 ¯µg가 베르누이 성질을 가지며 흐름에 적응적임을 증명하여 흐름의 야코비안 로그의 적분 가능성을 확보하기.
• 기하 잠재력(예: −t log JuT)을 초월하여 더 넓은 범위의 잠재력에 대해 평형 이론을 확장하기.

제안 방법

• 스패닝 또는 분리 집합을 사용하여 불연속적인 사상 T에 대해 상위 압력 P∗(T, g)를 정의하고, 약간의 가정 하에 보웬의 정의와의 동치성을 증명하기.
• 특정로 선택된 전이 연산자를 비정규 스케일링 바나흐 공간 위에서 작용시켜 최대 고유벡터를 구성하고, 이를 쌍으로 묶어 평형 상태 µg를 정의하기.
• 평형 상태 µg가 유일하고, 베르누이 성질을 가지며, T-적응적임을 증명하고, 모든 비어 있는 열린 집합에 양의 측도를 할당함을 보이기.
• µg를 궤도를 따라 르베그 측도와의 곱으로 올림하여 흐름 불변 측도 ¯µg를 얻기.
• 흐름의 미분의 로그의 적분 가능성을 검증함으로써 ¯µg가 베르누이 성질을 가지며 흐름에 적응적임을 보이기.
• 잠재력 g = −htop(ϕ1)τ가 흐름의 최대 엔트로피 측도와 이중사상 관계를 이루며, T의 평형 상태와의 이중사상 관계를 수립하기.

실험 결과

연구 질문

• RQ1 조각별 힐더 잠재력 g가 어떤 조건을 만족할 경우 심인 비어드류 사상 T는 평형 상태를 가질 수 있는가?
• RQ2 비정규 스케일링 바나흐 공간 위에서 전이 연산자를 사용하여 T에 대한 평형 상태 µg를 유일하게 구성하고, 이것이 베르누이 성질과 T-적응성을 갖는가?
• RQ3 µg를 흐름으로 올림하여 얻어진 흐름 불변 측도 ¯µg 역시 베르누이 성질과 흐름에 적응적인가?
• RQ4 충분 조건을 만족하는 잠재력의 집합이 일반적인 비어드류 테이블에 대해 잠재력 공간 내에서 열린 집합을 포함하는가?
• RQ5 T에 대한 평형 상태는 흐름 ϕt의 최대 엔트로피 측도와 어떻게 관련이 있는가?

주요 결과

• 모든 조각별 힐더 잠재력 g가 약간의 가정을 만족할 경우, 상위 압력 P∗(T, g)는 스패닝 또는 분리 집합을 통해 정의된 보웬의 압력과 일치한다.
• 사상 T에 대한 평형 상태 µg는 유일하고, 베르누이 성질을 가지며, T-적응적이고, 모든 비어 있는 열린 집합에 양의 측도를 할당한다.
• µg를 궤도를 따라 르베그 측도와의 곱으로 올림하여 얻어진 흐름 불변 측도 ¯µg는 베르누이 성질을 가지며 흐름에 적응적이다.
• 잠재력 g = −htop(ϕ1)τ는 T에 대한 평형 상태와 흐름 ϕt의 최대 엔트로피 측도 사이의 이중사상 관계를 형성한다.
• 일반적인 비어드류 테이블에 대해 충분 조건을 만족하는 잠재력의 열린 집합이 존재하여 이러한 평형 상태의 존재를 보장한다.