[논문 리뷰] Hitting times, functional inequalities, lyapunov conditions and uniform ergodicity

Patrick Cattiaux, Arnaud Guillin|arXiv (Cornell University)|2016. 04. 21.

Geometric Analysis and Curvature Flows참고 문헌 63인용 수 22

한 줄 요약

이 논문은 강한 함수부등식(예: F-Sobolev 및 Poincaré 부등식)과 리아푸노프 유형 조건 사이의 완전한 등가성을 확립하며, 이러한 부등식들이 도달 시간의 일반화된 지수적 모멘트의 유한성에 의해 특징지어진다는 것을 보여준다. 또한 비유계 리아푸노프 조건이 여전히 균일 에르고딕성과 무한대에서의 하강 성질을 유도할 수 있음을 입증하여, 에르고딕성, 함수부등식, 도달 시간 적분 가능성 간의 이론적 프레임워크를 완성한다.

ABSTRACT

The use of Lyapunov conditions for proving functional inequalities was initiated in [5]. It was shown in [4, 30] that there is an equivalence between a Poincar{\\'e} inequality, the existence of some Lyapunov function and the exponential integrability of hitting times. In the present paper, we close the scheme of the interplay between Lyapunov conditions and functional inequalities by $\\bullet$ showing that strong functional inequalities are equivalent to Lyapunov type conditions; $\\bullet$ showing that these Lyapunov conditions are characterized by the finiteness of generalized exponential moments of hitting times. We also give some complement concerning the link between Lyapunov conditions and in-tegrability property of the invariant probability measure and as such transportation inequalities , and we show that some "unbounded Lyapunov conditions" can lead to uniform ergodicity, and coming down from infinity property.

연구 동기 및 목표

• 확산 과정에서 리아푸노프 조건, 기능적 부등식, 도달 시간 성질 간의 상호작용에 대한 이론적 간극을 메우기.
• 리아푸노프 유형 조건을 통한 강한 기능적 부등식의 완전한 특성화 수립.
• 도달 시간의 일반화된 지수적 모멘트의 유한성이 강한 기능적 부등식과 동치임을 보여주기.
• 비유계 리아푸노프 조건이 균일 에르고딕성과 무한대에서의 하강 성질에 미치는 영향 탐색.
• 리아푸노프 조건, 불변 측도의 적분 가능성, 운반 부등식 간의 관계 명확화.

제안 방법

• 저자들은 어떤 $ \lambda > 0 $ 와 유계 열린 집합 $ U $ 에 대해 $ LW \leq -\lambda W + \mathbf{1}_{\bar{U}} $ 를 만족하는 리아푸노프 함수 $ W $ 를 사용한다. 여기서 $ W \geq w > 0 $ 이다.
• 도달 시간 $ T_U $ 의 지수적 적분 가능성을 조건 $ \mathbb{E}_x[e^{\theta T_U}] < \infty $ (어떤 $ \theta > 0 $ 에 대해) 를 통해 분석한다.
• 핵심 기술적 도구로는 $ \phi $ 가 아래로 유계이고 $ 1/\phi $ 가 상수 $ \eta < 1 $ 유크스 조건을 만족하는 함수 $ \phi $ 를 만족하는 일반화된 리아푸노프 조건 $ (\phi\text{-}Lyap) $ 의 사용이다.
• 카우치-슈바르츠 및 기울기 추정을 통해 $ \beta_n = \int \psi^{2n} d\mu $ 의 모멘트에 대한 재귀적 경계를 유도하고, 지수적 모멘트 경계에 이를 이르는 과정을 수행한다.
• 증명은 $ \left| \nabla(\psi^n / \phi) \right|^2 $ 의 추정에 기반하며, $ |\nabla(\psi^2)|/\phi $, $ |\nabla\phi|/\phi^2 $, $ \psi^2/\phi^2 $ 의 유계성 조건을 가정한다.
• 저자들은 $ (\phi\text{-}Lyap) $ 조건이 $ \mathbb{E}_x[\exp(\int_0^{T_C} \phi^2(X_s) ds)] < \infty $ 와 연결됨을 보여주며, 이를 도달 시간 행동과 연결한다.

실험 결과

연구 질문

• RQ1 강한 기능적 부등식과 리아푸노프 유형 조건 사이에 완전한 등가성이 존재하는가?
• RQ2 도달 시간의 일반화된 지수적 모멘트의 유한성이 강한 기능적 부등식을 완전히 특성화할 수 있는가?
• RQ3 비유계 리아푸노프 조건이 여전히 균일 에르고딕성과 무한대에서의 하강 성질을 유도하는가?
• RQ4 리아푸노프 조건은 불변 측도의 적분 가능성과 운반 부등식과 어떻게 관련되어 있는가?
• RQ5 약한 Poincaré 부등식은 리아푸노프 조건과 국소 Poincaré 부등식으로부터 유도될 수 있는가?

주요 결과

• 강한 기능적 부등식(예: F-Sobolev, Poincaré)은 어떤 $ \lambda > 0 $ 와 유계 집합 $ U $ 에 대해 $ LW \leq -\lambda W + \mathbf{1}_{\bar{U}} $ 를 만족하는 리아푸노프 함수의 존재와 동치이다.
• 도달 시간 $ \mathbb{E}_x[e^{\theta T_U}] < \infty $ 의 일반화된 지수적 모멘트의 유한성은 강한 기능적 부등식에 대해 필수적이고 충분한 조건이다.
• 비유계 리아푸노프 조건이 여전히 균일 에르고딕성과 무한대에서의 하강 성질을 유도할 수 있으며, 이는 고전 결과를 확장한다.
• 함수 $ \phi $ 가 아래로 유계이고 $ 1/\phi $ 가 $ \eta < 1 $ 인 리프시츠 조건을 만족하는 $ \phi $-리아푸노프 조건이면, 어떤 $ a' > 0 $ 에 대해 $ \int e^{a' \psi^2} d\mu < \infty $ 가 성립한다.
• $ (\phi\text{-}Lyap) $ 조건은 $ \mathbb{E}_x[\exp(\int_0^{T_C} \phi^2(X_s) ds)] < \infty $ 를 함의하며, 이를 통해 모멘트 생성과 도달 시간 행동을 연결한다.
• 논문은 약한 Poincaré 부등식 결과의 역이 일반적으로 참이 아니라는 것을 보여주며, 거리의 지수적 적분 가능성은 Poincaré 부등식을 함의하지는 않는다.