[论文解读] A stochastic Fokker-Planck equation and double probabilistic representation for the stochastic porous media type equation

Viorel Barbu, Michael Röckner+1 more|arXiv (Cornell University)|Apr 21, 2014

Stochastic processes and financial applications参考文献 13被引用 9

一句话总结

本文在无限体积中，针对带有乘性色噪声的随机多孔介质方程，通过带有随机系数的随机福克-普朗克SPDE，建立了双重概率表示。关键贡献在于证明了一个具有可测、有界、可能退化的随机系数的线性SPDE（福克-普朗克型）的唯一性引理，从而实现了通过基于概率的SDE（随机微分方程）构造路径解。

ABSTRACT

The purpose of the present paper consists in proposing and discussing a double probabilistic representation for a porous media equation in the whole space perturbed by a multiplicative colored noise. For almost all random realizations $ω$, one associates a stochastic differential equation in law with random coefficients, driven by an independent Brownian motion. The key ingredient is a uniqueness lemma for a linear SPDE of Fokker-Planck type with measurable bounded (possibly degenerated) random coefficients.

研究动机与目标

• 为带有乘性色噪声的无限空间中的随机多孔介质方程发展一种概率表示。
• 在非线性项 $\psi$ 的退化与非退化情形下，证明 $L^1(\mathbb{R})$ 中解的存在性与唯一性。
• 证明一个具有可测、有界、可能退化的随机系数的线性随机福克-普朗克方程的唯一性引理。
• 将确定性概率表示框架（例如，McKean, 1976）推广至带有乘性噪声的随机情形。
• 通过由独立布朗运动驱动的带有随机系数的“概率律”SDE，提供一种路径解框架。

提出的方法

• 将随机多孔介质方程表述为由 $N$ 个独立布朗运动驱动的非线性SPDE。
• 引入一个带有随机系数 $e^i(\xi)$ 和 $e^0(\xi)$ 的随机福克-普朗克方程，分别表示噪声与漂移分量。
• 通过为几乎处处的 $\omega$ 关联一个带有随机系数的“概率律”SDE，构建双重概率表示。
• 利用 $e^i$ 的 $H^{-1}$-乘子性质，确保SPDE在 $H^{-1}$-拓扑下的适定性。
• 应用正则化与极限过程（$\varepsilon \to 0$），推导能量估计，并建立鞅项的收敛性。
• 采用局部化方法与格朗沃尔不等式，证明在 $H^{-1}$-范数下解的路径唯一性。

实验结果

研究问题

• RQ1 能否在无限体积中，为带有乘性色噪声的随机多孔介质方程构造出双重概率表示？
• RQ2 具有可测、有界、可能退化的随机系数的线性随机福克-普朗克方程是否具有唯一解？
• RQ3 如何通过概率方法建立随机多孔介质方程解的路径唯一性？
• RQ4 $H^{-1}$-乘子性质在确保SPDE适定性方面起到什么作用？
• RQ5 确定性概率表示框架能否推广至带有乘性噪声的随机情形？

主要发现

• 为 $\mathbb{R}$ 中带有乘性色噪声的随机多孔介质方程构造了双重概率表示，将解与带有随机系数的“概率律”SDE联系起来。
• 证明了一个具有可测、有界、可能退化的随机系数的线性SPDE（福克-普朗克型）的唯一性引理，该引理是构造过程的核心。
• 通过能量估计与格朗沃尔不等式，在 $H^{-1}$-范数下建立了随机多孔介质方程解的路径唯一性。
• 在给定 $\psi$ 与 $e^i$ 的假设下，解在 $L^1(\mathbb{R})$ 中存在并演化，涵盖 $\psi$ 的退化与非退化情形。
• 通过 $H^{-1}$-范数控制与利普希茨性质，证明了能量估计中鞅项的收敛性在 ucp（紧集上一致）意义下成立。
• 该方法适用于退化情形（例如，$\psi$ 在零之后严格递增）与非退化情形，后者要求 $\Phi(0) > 0$。