[논문 리뷰] A Theory of Hypoellipticity and Unique Ergodicity for Semilinear Stochastic PDEs

Martin Hairer, Jonathan C. Mattingly|arXiv (Cornell University)|2008. 08. 09.

Stochastic processes and financial applications참고 문헌 32인용 수 11

한 줄 요약

이 논문은 다항 비선형성과 가감성 소음을 갖는 반선형 확률 편미분방정식에서 초등감마성과 유일한 에르고딕성을 증명하기 위한 일반적인 프레임워크를 수립한다. 허르만드의 괄호 조건 하에서 말리아빈 공분산 연산자의 균일한 하한을 도출함으로써, 점점 강한 펄서 성질을 확립하고, 2차원 스토케스 방정식과 반응-확산 시스템과 같은 방정식들에 대한 에르고딕성을 가능하게 한다.

ABSTRACT

We present a theory of hypoellipticity and unique ergodicity for semilinear parabolic stochastic PDEs with "polynomial" nonlinearities and additive noise, considered as abstract evolution equations in some Hilbert space. It is shown that if Hormander's bracket condition holds at every point of this Hilbert space, then a lower bound on the Malliavin covariance operator $M_t$ can be obtained. Informally, this bound can be read as "Fix any finite-dimensional projection $Π$ on a subspace of sufficiently regular functions. Then the eigenfunctions of $M_t$ with small eigenvalues have only a very small component in the image of $Π$". We also show how to use a priori bounds on the solutions to the equation to obtain good control on the dependency of the bounds on the Malliavin matrix on the initial condition. These bounds are sufficient in many cases to obtain the asymptotic strong Feller property introduced in [HairerMattingly06]. One of the main novel technical tools is an almost sure bound from below on the size of "Wiener polynomials", where the coefficients are possibly non-adapted stochastic processes satisfying a Lipschitz condition. By exploiting the polynomial structure of the equations, this result can be used to replace Norris' lemma, which is unavailable in the present context. We conclude by showing that the two-dimensional stochastic Navier-Stokes equations and a large class of reaction-diffusion equations fit the framework of our theory.

연구 동기 및 목표

• 다항 비선형성과 가감성 소음을 갖는 반선형 확률 편미분방정식에 대한 초등감마성과 유일한 에르고딕성 이론을 일반적으로 개발하는 것.
• 허르만드의 제곱합 초등감마성 정리를 무한차원 확률 편미분방정식으로 확장하는 것.
• 유일한 에르고딕성을 증명하기 위한 핵심 단계로 점점 강한 펄서 성질을 확립하는 것.
• 2차원 스토케스 방정식과 반응-확산 방정식을 포함한 광범위한 SPDE 클래스에 적용 가능한 프레임워크를 제공하는 것.
• 사전 해 추정을 통해 말리아빈 행렬의 하한이 초기 조건에 대한 의존도를 통제하는 것.

제안 방법

• 허르만드의 괄호 조건 하에서 말리아빈 공분산 연산자 $\mathcal{M}_t$ 에 대한 하한을 도출하여, 작은 고유값이 정규 함수 부분공간에 거의 투영되지 않는 성분에 대응함을 보장한다.
• 해에 대한 사전 추정을 사용하여 말리아빈 행렬 하한이 초기 조건에 대한 민감도를 통제한다.
• 비마코프성 또는 비적응성 조건이 존재하는 비마코프성, 비말리아빈 설정에서 노리스의 보조정리를 대체하기 위해, 비적응성이고 리프시츠 연속인 계수를 갖는 위너 다항식에 대한 거의 확실한 하한을 도입한다.
• 구체적인 SPDE에 추상적 프레임워크를 적용하여, 2차원 스토케스 방정식과 반응-확산 방정식에서 조건이 만족됨을 검증한다.
• 비선형성의 다항식 구조를 활용하여 말리아빈 행렬에 대한 정량적 추정을 도출한다.
• 유도된 하한을 통해 점점 강한 펄서 성질을 확립하며, 적절한 조건 하에서 이것이 유일한 에르고딕성을 암시한다.

실험 결과

연구 질문

• RQ1 다항 비선형성과 가감성 소음을 갖는 반선형 SPDE가 어떻게 유일한 불변 측도를 갖는가?
• RQ2 허르만드의 괄호 조건은 어떻게 무한차원 SPDE에서 초등감마성을 보장하는가?
• RQ3 점점 강한 펄서 성질을 보장하기 위해 말리아빈 공분산 연산자에 필요한 및 충분한 하한은 무엇인가?
• RQ4 마코프성 또는 적응성 가정이 없는 상황에서 말리아빈 행렬 하한이 초기 조건에 대한 의존도를 어떻게 통제할 수 있는가?
• RQ5 이 추상적 조건들이 2차원 스토케스 방정식과 반응-확산 방정식과 같은 구체적 SPDE에 얼마나 널리 적용되는가?

주요 결과

• 초기 조건의 힐베르트 공간에서 허르만드의 괄호 조건은 말리아빈 공분산 연산자 $\mathcal{M}_t$ 에 대한 균일한 하한을 암시하며, 이는 작은 고유값이 정규 함수 부분공간에 거의 투영되지 않는 성분에 대응함을 보장한다.
• 해에 대한 사전 추정을 통해 말리아빈 행렬 하한이 초기 조건에 대한 의존도를 통제할 수 있으며, 이는 상태 공간 전반에 걸친 균일한 추정을 가능하게 한다.
• 비적응성이고 리프시츠 연속인 계수를 갖는 위너 다항식에 대한 거의 확실한 하한이 확립되었으며, 이는 비마코프성 맥락에서 노리스의 보조정리를 대체한다.
• 유도된 하한 하에서 점점 강한 펄서 성질이 달성되었으며, 이는 유일한 에르고딕성을 증명하기 위한 핵심 단계이다.
• 2차원 스토케스 방정식은 이 이론의 조건을 만족하며, 주어진 프레임워크 하에서 그 유일한 에르고딕성을 암시한다.
• 다항 비선형성과 가감성 소음을 갖는 광범위한 반응-확산 방정식의 집합도 이 프레임워크를 만족하며, 그 유일한 에르고딕성이 확인된다.