[논문 리뷰] Existence of the Fomin derivative of the invariant measure of a stochastic reaction--diffusion equation

Giuseppe Da Prato, Arnaud Debussche|arXiv (Cornell University)|2015. 02. 26.

Advanced Mathematical Modeling in Engineering참고 문헌 13인용 수 4

한 줄 요약

이 논문은 비화이트 잡음이 있는 확률 반응-확산 방정식에 대해, $\|\varphi\|_{L^2(H,\nu)}$ 에 대한 전이 준군 $P_t D\varphi$ 에 대한 새로운 추정을 통해, 불변 측도의 포민 미분의 존재성을 확립한다. 주요 기여는 $A^{-1}h$ 방향에서의 불변 측도가 포민 미분 가능하다는 것을 증명함으로써, 무한차원 SDE에서 말레비아 계산에 필수적인 부분적 적분 공식을 가능하게 한다.

ABSTRACT

We consider a reaction--diffusion equation perturbed by noise (not necessarily white). We prove existence of the Fomin derivative of the corresponding transition semigroup $P_t$. The main tool is a new estimate for $P_tDφ$ in terms of $\|φ\|_{L^2(H,ν)}$, where $ν$ is the invariant measure of $P_t$.

연구 동기 및 목표

• 비곱셈성 잡음이 있는 확률 반응-확산 방정식에 대해 불변 측도의 포민 미분의 존재성을 확립하는 것.
• 무한차원 SDE에서 기울기 없고 화이트 잡음이 아닌 설정으로까지 통합적분 및 말레비아 계산 이론을 확장하는 것.
• 잡음이 화이트가 아니고 시스템이 기울기가 아닐 때도 불변 측도의 정칙성에 대한 엄밀한 기초를 제공하는 것.
• 이전의 불변 측도 밀도 일반화 결과를 더 약한 잡음 및 비선형성 조건 하에서 포민 미분 가능성을 증명함으로써 일반화하는 것.
• 잡음이 색보유이고 드리프트가 다항식일 때 불변 측도의 구조 이해 격차를 메우는 것.

제안 방법

• 불변 측도 $\nu$ 를 고려하여 $P_t D\varphi$ 에 대한 새로운 추정을 유도함으로써 중심 기술 도구로 삼는다.
• 근사 준군 $P_t^\alpha$ 에 대한 비스무-엘워티-리 공식을 사용하여 $P_t^\alpha\varphi$ 의 도함수를 말레비아 도함수를 포함하는 확률적 적분으로 표현한다.
• 비선형 드리프트 $p$ 의 요사다 근사 $p_\alpha$ 를 적용하여 근사 SDE의 리프시츠 정칙성과 해의 존재를 보장한다.
• 균일한 모멘트 유계를 통해 근사 불변 측도 $\nu_\alpha$ 가 약수렴으로서 진짜 불변 측도 $\nu$ 로 수렴함을 증명한다.
• 연산자 $(-A)^{-1}D$ 의 수반사가 유계 벡터장들을 $L^2(H,\nu)$ 로 매핑함을 보여 포민 도함수의 존재를 확립한다. 이는 부분적 적분을 가능하게 한다.
• 잡음 연산자 $B = (-A)^{-\gamma/2}$ 에 대해 조건 $\frac{n}{2}-1 < \gamma < 1$ 을 활용하여 공간 정규성과 강한 펄서 성질을 보장한다.

실험 결과

연구 질문

• RQ1 비화이트 잡음이 있는 확률 반응-확산 방정식의 불변 측도가 $h \in H$ 에 대해 $A^{-1}h$ 방향에서 포민 도함수를 갖는가?
• RQ2 잡음이 화이트가 아니고 시스템이 기울기가 아닐 때도 이전의 가우시안 측도 기반 결과를 확장하여 포민 도함수를 확립할 수 있는가?
• RQ3 $P_t D\varphi$ 에 대한 어떤 추정이 불변 측도의 포민 도함수 존재성을 보장하는가?
• RQ4 근사 측도 $\nu_\alpha$ 가 $\nu$ 로 수렴함이 포민 도함수 존재성에 어떻게 기여하는가?
• RQ5 잡음과 드리프트에 대해 어떤 조건에서 불변 측도에 대해 부분적 적분 공식이 성립하는가?

주요 결과

• 모든 $h \in H$ 에 대해 불변 측도 $\nu$ 가 $A^{-1}h$ 방향에서 포민 도함수를 갖는다. 이는 $\nu$ 에 대해 부분적 적분 공식의 존재를 의미한다.
• 핵심 기술 도구가 되는 새로운 추정 $\|P_t D\varphi\|_{L^2(H,\nu)} \leq C \|\varphi\|_{L^2(H,\nu)}$ 이 도출된다.
• 잡음 연산자 $B$ 가 항등원이 아니고 비선형성 $p$ 가 기울기가 아닐 때도 불변 측도 $\nu$ 가 포민 미분 가능하다는 것이 입증된다. 이는 가우시안 케이스의 결과를 확장한다.
• 균일한 $\mathbb{E}|X_\alpha(t,x)|$ 유계성에 기반하여 $\nu_\alpha \to \nu$ 가 약수렴으로서 확립된다. 이는 모멘트의 안정성을 보장한다.
• 조건 $\frac{n}{2}-1 < \gamma < 1$ 하에서 결과가 성립하며, 이는 확률적 콘볼루션의 정의 가능성과 비스무-엘워티-리 공식 적용을 보장한다.
• 부분적 적분 공식 $\int_H \langle (-A)^{-1}D\varphi(x), h \rangle \, \nu(dx) = \int_H \varphi(x) v^h(x) \, \nu(dx)$ 가 증명되며, $v^h \in L^2(H,\nu)$ 이므로 포민 미분 가능성이 확인된다.