[논문 리뷰] Poincar\'e inequality, and central limit theorems for parabolic stochastic partial differential equations

Le Chen, Davar Khoshnevisan외 2명|arXiv (Cornell University)|2019. 12. 03.

Stochastic processes and financial applications참고 문헌 12인용 수 9

한 줄 요약

이 논문은 공간-시간 가우시안 노이즈에 의해 구동되는 d차원 비선형 스토케스틱 히트 방정식의 해에 대한 점유 영역에 대한 기능적 중심극한정리들을 수립한다. 파이카르 불등식, 말리아빈 미적분학, 레비의 특성화를 이용하여, 해의 리프시츠 함수성에 대한 정규화된 공간 평균이 브라운 운동으로 수렴함을 증명하며, 선형 케이스와 지표 함수성에 국한된 이전 결과들을 일반화한다.

ABSTRACT

Let $\{u(t\,,x)\}_{t\ge 0, x\in \mathbb{R}^d}$ denote the solution of a $d$-dimensional nonlinear stochastic heat equation that is driven by a Gaussian noise, white in time with a homogeneous spatial covariance that is a finite Borel measure $f$ and satisfies Dalang's condition. We prove two general functional central limit theorems for occupation fields of the form $N^{-d} \int_{\mathbb{R}^d} g(u(t\,,x)) \psi(x/N)\, \mathrm{d} x$ as $N ightarrow \infty$, where $g$ runs over the class of Lipschitz functions on $\mathbb{R}^d$ and $\psi\in L^2(\mathbb{R}^d)$. The proof uses Poincare-type inequalities, Malliavin calculus, compactness arguments, and Paul Levy's classical characterization of Brownian motion as the only mean zero, continuous Levy process. Our result generalizes central limit theorems of Huang et al \cite{HuangNualartViitasaari2018,HuangNualartViitasaariZheng2019} valid when $g(u)=u$ and $\psi = \mathbf{1}_{[0,1]^d}$.

연구 동기 및 목표

• 스토케스틱 히트 방정식의 해에 대한 공간 평균에 대한 중심극한정리를 선형 케이스를 초월하여 확장하기.
• 노이즈와 시험 함수에 대한 일반 조건 하에서 정규화된 점유 영역의 약한 수렴성을 브라운 운동으로 보장하기.
• 허앙 등이 이전에 제시한 결과를 일반화하기 위해, 선형 함수성과 지표 시험 함수에 국한된 결과를 초월하기.
• SPDE에서 점근적 가우시안성을 증명하기 위한 통합된 프레임워크를 개발하기 위해 파이카르 불등식과 말리아빈 미적분학을 활용하기.
• 레비의 기준을 통해 한계 과정을 특성화하여, 한계가 표준 브라운 운동임을 보장하기.

제안 방법

• 해의 법칙을 제어하고 타이트성 증명을 가능하게 하기 위해 파이카르 유형의 불등식을 유도한다.
• 해의 법칙의 정칙성 분석과 적분-by-부분 기법을 위한 기울기 계산을 위해 말리아빈 미적분학을 적용한다.
• 연속 함수 공간에서의 컴팩턴스 추론을 통해 점유 영역의 수렴하는 부분수열을 추출한다.
• 폴 레비의 브라운 운동 특성화를 활용하여, 정확히 제곱변동이 t인 연속적인 국소마틴갈레임으로서의 유일성 원리를 적용한다.
• 해의 존재성과 정규성을 보장하기 위해 공간 공분산 측도 f에 대해 달랑의 조건을 도입한다.
• g가 리프시츠이고 ψ ∈ L²(ℝᵈ)일 때, 형태 $ N^{-d} \bigint_{\mathbb{R}^d} g(u(t,x)) \psi(x/N) \, dx $ 의 정규화된 공간 평균을 고려한다.

실험 결과

연구 질문

• RQ1 시스템 크기가 커질수록 스토케스틱 히트 방정식 해의 비선형 함수성에 대한 정규화된 공간 평균이 브라운 운동으로 수렴하는가?
• RQ2 중심극한정리는 선형 함수성과 지표 시험 함수를 초월하여 일반 리프시츠 함수로 확장 가능한가?
• RQ3 파이카르 불등식과 말리아빈 미적분학은 SPDE에서 점근적 가우시안성을 증명하는 데 어떤 역할을 하는가?
• RQ4 주어진 조건 하에서 한계 과정이 브라운 운동으로 유일하게 특성화되는가?
• RQ5 노이즈 공분산의 구조는 수렴 속도와 한계의 성격에 어떤 영향을 미치는가?

주요 결과

• 모든 리프시츠 함수 g와 ψ ∈ L²(ℝᵈ)에 대해, 정규화된 점유 영역 $ N^{-d} \int_{\mathbb{R}^d} g(u(t,x)) \psi(x/N) \, dx $ 는 $ N \to \infty $ 일 때 약한 수렴으로 표준 브라운 운동으로 수렴한다.
• 타이트성과 유한차원 수렴을 보장하기 위해 파이카르 불등식, 말리아빈 미적분학, 컴팩턴스의 조합을 통해 수렴을 확립한다.
• 마틴갈레임과 제곱변동 성질에 기반하여 레비의 특성화를 통해 한계 과정이 표준 브라운 운동으로 확인된다.
• 이전 결과인 허앙 등이 제시한 $ g(u) = u $ 와 $ \psi = \mathbf{1}_{[0,1]^d} $ 에 국한된 결과를 일반화한다.
• g의 비선형성은 리프시츠 조건을 만족하는 한 증명 프레임워크가 유연하게 적용 가능하며, 달랑의 조건을 만족하는 광범위한 공간 공분산 측도 클래스에 적용 가능하다.
• 이 방법은 다중성 노이즈를 갖는 광범위한 스토케스틱 PDE 클래스에 대한 기능적 중심극한정리를 체계적으로 증명하는 데 기여한다.