[논문 리뷰] Quantitative spectral gaps and uniform lower bounds in the small noise limit for Markov semigroups generated by hypoelliptic stochastic differential equations

Jacob Bedrossian, Kyle Liss|arXiv (Cornell University)|2020. 07. 27.

Stochastic processes and financial applications참고 문헌 62인용 수 7

한 줄 요약

이 논문은 노이즈 강도 $\epsilon \to 0$ 일 때, 히포에일리프틱 SDE에 의해 생성되는 마코프 세미군에 대한 평형 상태로의 지수 수렴 속도에 대해 $\epsilon$ 에 대해 균일하고 날카로운 양적 추정을 수립한다. 이는 나비에-스토크스 갈레르킨 절단 모델 및 로렌츠-96 모델을 포함한다. 균일한 히포에일리프틱 모저 및 데 지오페르기 유형의 반복 기법을 조합하여, $\epsilon \to 0$ 일 때 최적의 스케일링을 반영하는 스펙트럼 간격 추정을 증명한다. 이는 정적 밀도에 대한 균일한 하한과 소음이 작은 극한에서 최적의 감쇠 속도를 포함한다.

ABSTRACT

We study the convergence rate to equilibrium for a family of Markov semigroups $\{\mathcal{P}_t^ε\}_{ε> 0}$ generated by a class of hypoelliptic stochastic differential equations on $\mathbb{R}^d$, including Galerkin truncations of the incompressible Navier-Stokes equations, Lorenz-96, and the shell model SABRA. In the regime of vanishing, balanced noise and dissipation, we obtain a sharp (in terms of scaling) quantitative estimate on the exponential convergence in terms of the small parameter $ε$. By scaling, this regime implies corresponding optimal results both for fixed dissipation and large noise limits or fixed noise and vanishing dissipation limits. As part of the proof, and of independent interest, we obtain uniform-in-$ε$ upper and lower bounds on the density of the stationary measure. Upper bounds are obtained by a hypoelliptic Moser iteration, the lower bounds by a de Giorgi-type iteration (both uniform in $ε$). The spectral gap estimate on the semigroup is obtained by a weak Poincaré inequality argument combined with quantitative hypoelliptic regularization of the time-dependent problem.

연구 동기 및 목표

• 히포에일리프틱 SDE에 의해 생성되는 마코프 세미군이 소음이 작은 극한에서 평형 상태로의 지수 수렴 속도에 대해 날카롭고 정량적인 추정을 도출하는 것.
• 소음이 작은 범위에서 $\epsilon$ 에 대해 균일한 상한과 하한을 정적 측도의 밀도에 대해 확립하는 것.
• 수렴 속도에 대해 $\epsilon$ 에 대해 최적의 스케일링을 반영하는 균일한 스펙트럼 간격 추정을 증명하는 것.
• 스케일 불변성에 의해 고정된 소산과 큰 소음 극한으로 결과를 확장하는 것.

제안 방법

• 정적 밀도의 $L^\infty$ 상한을 구하기 위해 $\epsilon$ 에 대해 균일한 히포에일리프틱 모저 반복을 사용하는 것.
• 정적 밀도에 대한 $\epsilon$ 에 대해 균일한 양의 하한을 확립하기 위해 데 지오페르기 유형의 반복을 적용하는 것.
• 스펙트럼 간격 추정과 $L^2$에서 $L^\infty$ 정규화 사이의 연결을 위해 약한 파인카레 부등식 기법을 활용하는 것.
• 시간에 의존하는 문제에 대한 정량적 히포에일리프틱 정규화를 분석하여 세미군 감쇠를 제어하는 것.
• 잘 정의된 문제와 균일한 추정을 보장하기 위해 점성 커파이팅 $\delta$ 를 가진 정규화된 포커-플랑크 방정식을 사용하는 것.
• 콤���트 임bedding과 유일성에 의해 $\delta \to 0$ 일 때 정규화된 해 $f_{\epsilon,\delta}$ 가 진짜 정적 밀도 $f_\epsilon$ 로 수렴함을 증명하는 것.

실험 결과

연구 질문

• RQ1 소음 강도 $\epsilon \to 0$ 일 때, 히포에일리프틱 SDE에 의해 생성되는 마코프 세미군의 스펙트럼 간격의 최적 스케일링은 무엇인가?
• RQ2 이러한 세미군의 정적 밀도에 대해 $\epsilon$ 에 대해 균일한 상한과 하한을 확립할 수 있는가?
• RQ3 갈레르킨 절단된 나비에-스토크스 또는 로렌츠-96 모델과 같은 모델에서 평형 상태로의 수렴은 소음이 작은 극한에서 어떻게 스케일링되는가?
• RQ4 스케일 불변성을 통해 고정된 소산과 큰 소음 극한으로 스펙트럼 간격 추정을 확장할 수 있는가?
• RQ5 모든 $\epsilon > 0$ 에 걸쳐 정적 밀도를 균일하게 제어할 수 있는 기법은 무엇인가?

주요 결과

• 지수 수렴 속도에 대한 날카롭고 스케일링에 최적화된 정량적 추정이 확보되었으며, 스펙트럼 간격은 $\epsilon^{\alpha}$ 로 스케일링되며 $\alpha \geq 0$ 이다.
• 소음 파ameter $\epsilon$ 에 영향을 받지 않는 $\epsilon$ 에 대해 균일한 정적 밀도 상한이 히포에일리프틱 모저 반복을 통해 확립되었다.
• 데 지오페르기 유형의 반복을 통해 $\epsilon$ 에 대해 균일한 정적 밀도 하한이 증명되었으며, 이는 밀도가 0에서 멀리 떨어져 있음을 보장한다.
• 약한 파인카레 부등식과 시간에 의존하는 문제의 정량적 히포에일리프틱 정규화를 통해 스펙트럼 간격 추정이 유도되었다.
• 결과는 스케일 불변성에 의해 강건하므로, 고정된 소산과 큰 소음 극한 또는 고정된 소음과 소멸하는 소산 극한에 대해 대응하는 최적의 추정이 성립한다.
• 정적 밀도 $f_\epsilon$ 가 매끄럽고 엄밀히 양임을 보였으며, $\delta \to 0$ 일 때 정규화된 해 $f_{\epsilon,\delta}$ 가 $H^k_{\text{loc}}$ 에서 $f_\epsilon$ 로 수렴함을 보였다.