[논문 리뷰] A spectral gap for transer operators of piecewise expanding maps

Damien Thomine|arXiv (Cornell University)|2010. 06. 14.

Mathematical Dynamics and Fractals참고 문헌 14인용 수 3

한 줄 요약

이 논문은 스모وث 함수와 유계 변동 함수를 사용하여 조각별로 확장되는 사상의 전이 연산자에 대한 스펙트럼 간격을 증명하며, 지수적 혼합 속도를 갖는 유한 개의 혼합 물리적 측도가 존재함을 보인다. 이는 소볼레프 노름과 보간 이론을 기반으로 한 강건한 프레임워크를 사용하여 라스오타-요르케 및 코위슨 유형의 결과를 일반화하며, 반복과 헨니온의 정리를 통해 본질적 스펙트럼 반경에 대한 정밀한 추정치를 도출한다.

ABSTRACT

We provide a simplified proof of the existence, under some assumptions, of a spectral gap for the Perron-Frobenius operator of piecewise uniformly expanding maps on Riemannian manifolds when acting on some Sobolev spaces. Its consequences include, among others, the existence of invariant physical measures, and an exponential decay of correlations for suitable observables. These features are then adapted to different function spaces (functions with bounded variation or bounded oscillation), so as to give a new insight of - and generalize - earlier results.

연구 동기 및 목표

• 최소한의 정규성 가정 하에 조각별로 확장되는 사상의 전이 연산자에 대한 스펙트럼 간격을 확립하는 것.
• 소볼레프 및 유계 변동 공간과 같은 표준 함수 공간을 사용하여 라스오타-요르케 및 코위슨의 물리적 측도 결과를 일반화하는 것.
• 특수 함수 공간을 사용하는 대신 보간 이론과 푸리에 분석에 기반하여 스펙트럼 간격 결과의 증명을 단순화하고 통합하는 것.
• 유계 변동 함수를 사용하는 C^1+Lip 사상의 극한 경우까지 프레임워크를 확장하여 코위슨의 정리를 강화하는 것.

제안 방법

• 푸리에 변환을 통한 정의와 보간 이론을 사용하여 불연속성을 허용하면서도 정규성을 보장하는 소볼레프 공간을 사용한다.
• C^1+α 미분형과의 복합에 대한 기본 부등식과 국소화 기법을 적용하여 연산자 노름을 제어한다.
• 헨니온의 정리를 사용하여 본질적 스펙트럼 반경을 분석하고 전이 연산자를 반복하여 스펙트럼 추정치를 정밀화한다.
• 소볼레프 공간에서 라스오타-요르케 유형의 부등식을 유도하여 페론-프로베니우스 연산자의 본질적 스펙트럼 반경을 유계화한다.
• 콘 방법과 컴actness 추론을 적응하여 물리적 측도의 존재성과 혼합 성질을 증명한다.
• 사상의 반복을 통해 스펙트럼 반경 추정치를 개선하여 식 (6.6)의 극한 표현을 이끌어낸다.

실험 결과

연구 질문

• RQ1 특수 함수 공간을 사용하는 대신 표준 소볼레프 공간을 사용하여 조각별로 확장되는 사상의 전이 연산자에 대해 스펙트럼 간격을 확립할 수 있는가?
• RQ2 확장률과 불연속성 복잡성에 따라 페론-프로베니우스 연산자의 본질적 스펙트럼 반경에 대한 정밀 추정치는 무엇인가?
• RQ3 지도가 조각별 C^1+α 이고 밀도가 유계 변동일 경우, 이 방법이 물리적 측도에 대해 지수적 혼합을 보장하는가?
• RQ4 이 프레임워크는 C^1+Lip 경우까지 확장 가능하여 코위슨의 정리를 향상시킬 수 있는가?
• RQ5 스펙트럼 간격은 불연속성의 조합 복잡성과 확장률에 어떻게 의존하는가?

주요 결과

• 전이 연산자의 본질적 스펙트럼 반경은 확장률 λ_n 과 불연속성 복잡성 D_n^b 를 포함하는 표현으로 유계화되며, 각 반복 n 에 대해 (λ_n^{-α} + 4γ_d D_n^b / ((λ_n - 1)γ_{d-1}))^{1/n} 으로 주어진다.
• 이 유계가 n → ∞ 일 때의 극한은 스펙트럼 간격 추정치 ρ_ess ≤ sup{ lim (λ_n^{-1/n} (D_n^b)^{1/n}), lim (λ_n^{-α/n}) } 를 유도하며, 이는 지수적 혼합을 보장한다.
• 조각별 C^1+α 균일 확장 사상의 경우, 페론-프로베니우스 연산자는 소볼레프 공간에서 스펙트럼 간격을 가지며, 이는 이 공간에 밀도를 갖는 유한 개의 혼합 물리적 측도가 존재함을 의미한다.
• C^1+Lip 경우에서 이 방법은 코위슨의 정리의 더 강력한 형태를 도출하여, 유계 변동 밀도를 갖는 유한 개의 물리적 측도가 존재함을 증명한다.
• 이 프레임워크는 강건하며, 사알로프의 공간 V_α 와 같은 다른 함수 공간으로도 적응 가능하여, 소볼레프 공간과 BV 공간을 초월한 광범위한 적용 가능성을 시사한다.
• 반복과 헨니온의 정리를 사용함으로써 사알로프의 정리에서의 初기 유계보다 더 날카로운 스펙트럼 반경 추정치를 도출할 수 있으며, 수렴 속도가 향상된다.