[논문 리뷰] Markov Towers and Stochastic Properties of Billiards

Domokos Szász, Tamás Varjú|ArXiv.org|2003. 09. 22.

Mathematical Dynamics and Fractals참고 문헌 23인용 수 8

한 줄 요약

이 논문은 마르코프 타워 이론을 확장하여 초구형 동역계, 특히 평면 로렌츠 과정에 대해 더 정교한 확률적 성질—특히 국소 중심극한정리—를 확립한다. 페르로–프로베니우스 연산자의 푸리에 변환의 스펙트럼을 분석함으로써, 스케일링 $\sqrt{n\log n}$을 갖는 비중앙극한정리와 유한 및 무한 수렴 영역 케이스 모두에서의 재귀성을 증명하며, 무한 수렴 영역 케이스에 대해 동역학적 방법을 사용한 첫 번째 엄밀한 증명을 제공한다.

ABSTRACT

The aim of this survey is twofold. First we show how the Markov tower construction is applicable for obtaining finer stochastic properties, like a local limit theorem of probability theory. Here the fundamental method is the study of the spectrum of the Fourier transform of the Perron--Frobenius operator. These ideas and results are applicable to all systems Young has been considering. Second, we survey the problem of recurrence of the planar Lorentz process. As an application of the results from the first part, we obtain a dynamical proof of recurrence for the finite horizon case. Here basically different proofs were given by K. Schmidt, in 1998, and J.-P. Conze, in 1999. As another application we can also treat the infinite horizon case, where already the global limit theorem is absolutely novel. It is not a central one, the scaling is $\sqrt {n \log n}$ in contrast to the classical $\sqrt n$ one. Beyond thus giving a rigorous proof for earlier heuristic ideas of P. Bleher, which used three delicate and hard hypotheses, we can also a) verify the local version of this limit theorem for the free flight function and b) prove the recurrence of the planar Lorentz process in the infinite horizon case.

연구 동기 및 목표

• 마르코프 타워의 적용을 지수적 상관 감소를 넘어서 더 정교한 확률적 성질, 예를 들어 국소 중심극한정리에까지 확장한다.
• 유한 및 무한 수렴 영역 케이스 모두에서 평면 로렌츠 과정의 재귀성을 동역학적 방법으로 증명한다.
• 무한 수렴 영역 로렌츠 기체에서 이동 거리에 대한 비중앙극한정리를 엄밀히 확립하며, 스케일링 $\sqrt{n\log n}$을 적용한다.
• 무한 수렴 영역 시스템에서 자유 비행 함수에 대한 국소 비정규극한정리의 타당성을 검증한다.
• 재귀성이 $\sum \frac{1}{n\log n}$ 및 $\sum \frac{1}{n\sqrt{\log n}}$의 발산성에 의해 유도되며, 적절한 스케일링 하에 성립함을 보인다.

제안 방법

• 전이 연산자 $P_t$의 스펙트럼 성질을 분석하기 위해 페르로–프로베니우스 연산자의 푸리에 변환을 사용한다.
• 연산자 노름에 대한 연속성을 확보하기 위해 $\bar{\kappa}^{-\delta}$를 포함하는 수정된 가중 함수를 사용해 연속적인 가중 연산자 $P_t$의 가중 가중 가중 연산자 $P_t$를 구성한다.
• 반복 적용된 $P_t^n(\mathbf{1})$을 주 eigen값 항 $\lambda_t^n \bar{\nu}$로 근사하며, 지수적으로 작은 오차를 허용한다.
• Birkhoff 합과 i.i.d. 랜덤 변수 합의 관계를 확립하기 위해 $t \to 0$일 때 $\lambda_t$와 특성 함수 $\hat{\kappa}(t)$ 사이의 渐近 등가성을 확립한다.
• 이동 과정 $S_n^\kappa$에 대해 국소 중심극한정리 프레임워크를 적용하기 위해 $n\log n \cdot \nu(S_n^\kappa = k_n) \to \phi(k)$의 수렴을 활용한다.
• 평행 통로의 경우 비등방적 스케일링 $B_n = \text{diag}(\sqrt{n\log n}, \sqrt{n})$을 사용하여 이방성 확산을 다룬다.

실험 결과

연구 질문

• RQ1 비균일 초구형성을 갖는 초구형 시스템에 대해 마르코프 타워 프레임워크를 국소 중심극한정리 유도에까지 확장할 수 있는가?
• RQ2 무한 수렴 영역 평면 로렌츠 기체에서의 극한정리에 적절한 스케일링은 무엇이며, 이는 정규분포 극한을 유도하는가?
• RQ3 무한 수렴 영역 케이스에서 평면 로렌츠 과정의 재귀성은 중심극한정리에 의존하지 않고 동역학적 방법으로 증명 가능한가?
• RQ4 편미분 전이 연산자 $P_t$의 스펙트럼 행동은 자유 비행 함수의 특성 함수와 어떻게 관련되는가?
• RQ5 특히 통로의 방향, 너비 및 경계점들이 극한 정규밀도를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 무한 수렴 영역 평면 로렌츠 과정에서 이동 거리 $S_n^\kappa$는 $\nu(S_n^\kappa \in \sqrt{n\log n} A) \to \int_A \phi(k) dk$를 만족하며, 여기서 $\phi$는 평균이 0인 비퇴화 정규밀도이다.
• 국소 중심극한정리가 성립한다: $n\log n \cdot \nu(S_n^\kappa = k_n) \to \phi(k)$, 여기서 $k_n / \sqrt{n\log n} \to k$이며, $\phi$는 통로 기하학과 경계점에서의 산란체 곡률에만 의존한다.
• 유한 수렴 영역 케이스와 유사하게, 무한 수렴 영역 케이스에서 평면 로렌츠 과정의 재귀성은 $\sum \frac{1}{n\log n}$의 발산성에 의해 유도된다.
• 평행 통로의 경우 비등방적 스케일링 $B_n = \text{diag}(\sqrt{n\log n}, \sqrt{n})$를 사용하면 $n\sqrt{\log n} \cdot \nu(S_n^\kappa = k_n) \to \phi(k)$가 성립하며, 재귀성은 $\sum \frac{1}{n\sqrt{\log n}}$의 발산성에 의해 유도된다.
• 편미분 전이 연산자 $P_t$의 주 eigen값 $\lambda_t$는 $\lambda_t = 1 + c|t|^2\log|t| + O(|t|^2)$를 만족하며, 이는 특성 함수 $\hat{\kappa}(t)$의 행동과 일치하여 i.i.d. 합과 渐近 등가성을 보장한다.
• 이 방법은 중심극한정리에 의존하지 않는 동역학적 재귀 증명을 제공하며, 이는 이전의 에르고딕 이론적 증명(스미트 및 콘제에 의한)과는 새로운 접근을 제공한다.