[논문 리뷰] Central limit theorems for spatial averages of the stochastic heat equation via Malliavin-Stein's method

Le Chen, Davar Khoshnevisan외 2명|arXiv (Cornell University)|2020. 08. 06.

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

한 줄 요약

이 논문은 다항 스토하스틱 히트 방정식의 공간 평균에 대한 정량적 중심극한정리들을 마리얀 보조법과 스텐의 방법을 이용하여 수립한다. 달랑의 조건 하에서, 해의 리프시츠 함수성에 대한 정규분포 수렴을 증명하며, 선형 함수성에 대해 총변동거리의 명시적 경계를 제공한다. 이는 KPZ 방정식의 호프-콜레 해를 포함한다.

ABSTRACT

Suppose that $\{u(t\,, x)\}_{t >0, x \in\mathbb{R}^d}$ is the solution to a $d$-dimensional stochastic heat equation driven by a Gaussian noise that is white in time and has a spatially homogeneous covariance that satisfies Dalang's condition. The purpose of this paper is to establish quantitative central limit theorems for spatial averages of the form $N^{-d} \int_{[0,N]^d} g(u(t\,,x))\, \mathrm{d} x$, as $N ightarrow\infty$, where $g$ is a Lipschitz-continuous function or belongs to a class of locally-Lipschitz functions, using a combination of the Malliavin calculus and Stein's method for normal approximations. Our results include a central limit theorem for the {\it Hopf-Cole} solution to KPZ equation. We also establish a functional central limit theorem for these spatial averages.

연구 동기 및 목표

• 큰 영역에서 스토하스틱 히트 방정식 해의 공간 평균에 대한 중심극한정리를 수립하기 위해.
• 마리얀 보조법과 스텐의 방법을 이용하여 정규근사 오차의 정량적 경계를 유도하기 위해.
• 중심극한정리를 KPZ 방정식의 호프-콜레 해와 전체 과정에 대한 기능적 중심극한정리로 확장하기 위해.
• 달랑의 조건 하에서 해 장과 그 공간 평균의 에르고딕 행동을 분석하기 위해.
• 마리얀 도함수의 비음성화를 증명함으로써 클락-오쿠보 공식과 이후 중심극한정리 증명에의 응용을 가능하게 하기 위해.

제안 방법

• 저자들은 해와 그 함수성의 마리얀 도함수를 계산하기 위해 마리얀 보조법을 사용하여, 정규근사에 대한 스텐의 방법 적용을 가능하게 한다.
• 표준 정규확률변수와 정규화된 공간 평균 사이의 총변동거리에 대한 스텐-마리얀 경계를 적용한다.
• 해의 마리얀 도함수에 대한 클락-오쿠보 공식의 새로운 응용에 기반하며, 도함수 과정의 비음성화를 활용한다.
• 소음에 대해 매끄러운 계수를 가진 근사 SPDE를 구성하기 위해 소음의 평활화를 수행한 후, L²(Ω) 수렴을 통해 극한으로 보낸다.
• 해 장에 대한 추상적 에르고딕성 결과를 수립하여, 달랑의 조건 하에서 중심극한정리의 타당성을 뒷받침한다.
• 기능적 중심극한정리의 경우, 모멘트 경계와 확장된 마리얀-스텐 프레임워크를 이용하여 유한차원 분포의 수렴성과 콤팩트성 조건을 검증한다.

실험 결과

연구 질문

• RQ1 영역 크기 N → ∞ 일 때, 스토하스틱 히트 방정식 해의 공간 평균은 중심극한정리를 만족하는가?
• RQ2 그러한 공간 평균에 대해 정규근사 오차의 정량적 경계를 도출할 수 있는가?
• RQ3 KPZ 방정식의 호프-콜레 해는 기능적 중심극한정리를 만족하는가?
• RQ4 해의 마리얀 도함수는 거의확실하게 음이 아닌가? 그리고 이는 중심극한정리 증명에 어떻게 기여하는가?
• RQ5 중심극한정리가 성립하기 위한 소음의 공간상관 조건(예: 달랑의 조건)의 최적 조건은 무엇인가?

주요 결과

• 달랑의 조건만으로도, $ N \to \infty $ 일 때 $ N^{-d} \nabla_{[0,N]^d} g(u(t,x)) \, dx $의 정규화된 공간 평균에 대해 중심극한정리를 수립한다.
• 리프시츠 함수 $ g $ 에 대해, 총변동거리에서 수렴 속도는 $ C N^{-1/2} $ 로 경계되며, 이는 $ \sigma $ 와 스펙트럴 측도 $ \widehat{f} $ 에 따라 명시적인 상수에 의존한다.
• KPZ 방정식의 호프-콜레 해는 기능적 중심극한정리를 만족하며, 기능적 공간에서 브라운 운동으로의 수렴이 성립한다.
• 모든 $ t>0 $, $ x \in \mathbb{R}^d $ 에 대해 마리얀 도함수 $ D_{s,z}u(t,x) $ 는 거의확실하게 음이 아니다. 이는 클락-오쿠보 공식 적용에 있어 핵심적이다.
• 과정 $ \mathcal{S}_{N,t}(g) $ 에 대해 기능적 중심극한정리가 성립하며, 스코로호드 공간의 cadlag 경로에서의 수렴이 성립한다.
• 결과는 날카롭게 성립한다. 즉, 조건 $ \int \frac{\widehat{f}(dz)}{1+\|z\|^2} < \infty $ (달랑의 조건) 는 중심극한정리가 성립하기 위해 필수적이고 충분하다.