[논문 리뷰] Malliavin calculus and ergodic properties of highly degenerate 2D stochastic Navier--Stokes equation

Martin Hairer, Jonathan C. Mattingly외 1명|ArXiv.org|2004. 09. 03.

Stochastic processes and financial applications참고 문헌 18인용 수 3

한 줄 요약

이 논문은 2차원 스토케스틱 나비에-스토크스 방정식의 해의 유한차원 사영에 대해 매끄럽고 엄밀히 양수인 밀도의 존재를 증명하고, 시스템이 유일한 불변 측도를 가진 에르고딕성을 입증한다. 말리아빈 미분법과 새로운 점점 강한 프리켈러 성질을 사용하여, 최소한의 노이즈 조건 하에서 무한차원 스토케스틱 편미분방정식에 대해 허만더 유형의 초타원성 이론을 확장한다.

ABSTRACT

The objective of this note is to present the results from the two recent papers. We study the Navier--Stokes equation on the two--dimensional torus when forced by a finite dimensional white Gaussian noise. We give conditions under which both the law of the solution at any time t>0, projected on a finite dimensional subspace, has a smooth density with respect to Lebesgue measure and the solution itself is ergodic. In particular, our results hold for specific choices of four dimensional white Gaussian noise. Under additional assumptions, we show that the preceding density is everywhere strictly positive.

연구 동기 및 목표

• 열악한 노이즈 조건 하에서 2차원 스토케스틱 나비에-스토크스 방정식의 해의 유한차원 사영에 대해 매끄러운 르베그 밀도의 존재를 확립한다.
• 최소한의 노이즈 조건 하에서 해 과정이 에르고딕이며 유일한 불변 측도를 가짐을 증명한다.
• 말리아빈 미분법을 사용하여 허만더 유형의 초타원성 이론을 무한차원 스토케스틱 편미분방정식으로 확장한다.
• 점점 강한 프리켈러 성질에 기반한 새로운 프레임워크를 개발하여 열악한 스토케스틱 편미분방정식에서의 에르고딕성 증명을 가능하게 한다.
• 불변 측도가 유일하고, 노이즈에 대한 날카로운 조건 하에서 시스템이 지수적으로 혼합됨을 보여준다.

제안 방법

• 해의 전이 커널이 유한차원 부분공간에서 $C^\infty$ 밀도를 가짐을 증명하기 위해 말리아빈 미분법을 적용한다.
• 마르코프 과정의 강한 프리켈러 조건의 일반화로 점점 강한 프리켈러 성질을 도입한다.
• 말리아빈 미분법 프레임워크 내에서 근사적 통합별 부분 공식을 사용하여 점점 강한 프리켈러 성질을 검증한다.
• 필요한 통합별 부분 공식을 달성하기 위해 비마르코프이자 비적응 과정 $v_t$를 구성함으로써 점점 강한 프리켈러 성질의 증명을 가능하게 한다.
• 매끄러운 밀도 결과와 점점 강한 프리켈러 성질을 조합하여 불변 측도의 유일성을 확립한다.
• 4차원의 가산 노이즈를 가진 2차원 스토케스틱 나비에-스토크스 방정식에 이 프레임워크를 적용한다.

실험 결과

연구 질문

• RQ1 2차원 스토케스틱 나비에-스토크스 방정식의 해의 유한차원 사영이 매끄러운 르베그 밀도를 갖는 조건은 무엇인가?
• RQ2 해 과정이 언제 에르고딕이며, 불변 측도가 유일한 조건은 무엇인가?
• RQ3 점점 강한 프리켈러 성질은 열악한 스토케스틱 편미분방정식에 대해 최소한의 노이즈 조건 하에서 에르고딕성을 증명하는 데 사용될 수 있는가?
• RQ4 2차원 스토케스틱 나비에-스토크스 방정식에서 초타원성과 에르고딕성을 달성하기 위해 필요한 최소한의 노이즈 차원은 얼마인가?
• RQ5 말리아빈 미분법은 비타원형이고 열악한 노이즈를 가진 무한차원 스토케스틱 편미분방정식에서 에르고딕성을 증명하기 위해 어떻게 적응시킬 수 있는가?

주요 결과

• 임의의 시간 $t > 0$ 에서 해의 법칙은 임의의 유한차원 부분공간으로 사영된 결과에 대해 르베그 측도에 대해 $C^\infty$ 밀도를 갖는다.
• 추가적인 가정 하에서 이 밀도는 유한차원 부분공간 전역에서 엄밀히 양수이다.
• 노이즈가 4차원이면서 특정 조건을 만족할 경우, 해 과정은 에르고딕이며 유일한 불변 측도를 가진다.
• 점점 강한 프리켈러 성질은 임의의 기약성과 점점 강한 프리켈러 성질을 갖는 마르코프 과정이 유일한 불변 측도를 가짐을 의미한다.
• 이 프레임워크는 가산적이고 열악한 노이즈를 가진 비선형 스토케스틱 편미분방정식에 대해 에르고딕성을 증명하는 일반적인 방법을 제공한다.
• 저자들이 제시한 관련 연구에서 보여시피, 개발된 도구를 사용하여 시스템의 지수 혼합성을 확립할 수 있다.