[论文解读] Nonlinear stochastic time-fractional slow and fast diffusion equations on $\mathbb{R}^d$

Le Chen, Yaozhong Hu+1 more|arXiv (Cornell University)|Sep 25, 2015

Stochastic processes and financial applications被引用 3

一句话总结

本论文在 $ olimits\mathbb{R}^d$ 上建立了非线性随机时间分数阶扩散方程解的存在性、唯一性及矩界，该方程受空间-时间白噪声驱动，涉及柯普托时间分数阶导数和黎曼-刘维尔分数阶积分。关键贡献在于在涉及参数 $ olimits\alpha$、$ olimits\beta$、$ olimits\gamma$ 和维度 $d$ 的广义达朗型条件下证明了这些结果，解通过福克斯 $H$-函数表示，并在 $ olimits\beta \in (0,1]$ 时建立了样本路径的正则性。该框架允许测度初值，并涵盖了慢扩散（$ olimits\beta \in (0,1]$）和快扩散（$ olimits\beta \in (1,2)$）两种情形。

ABSTRACT

This paper studies the nonlinear stochastic partial differential equation of fractional orders both in space and time variables: \[ \left(\partial^β+\fracν{2}(-Δ)^{α/2} ight)u(t,x) = I_t^γ\left[ρ(u(t,x))\dot{W}(t,x) ight],\quad t>0,\: x\in\mathbb{R}^d, \] where $\dot{W}$ is the space-time white noise, $α\in(0,2]$, $β\in(0,2)$, $γ\ge 0$ and $ν>0$. Fundamental solutions and their properties, in particular the nonnegativity, are derived. The existence and uniqueness of solution together with the moment bounds of the solution are obtained under Dalang's condition: $d<2α+\fracαβ\min(2γ-1,0)$. In some cases, the initial data can be measures. When $β\in (0,1]$, we prove the sample path regularity of the solution.

研究动机与目标

• 将随机偏微分方程的理论扩展至包含一般阶数 $ olimits\beta \in (0,2)$ 的时间分数阶导数以及阶数 $ olimits\alpha \in (0,2]$ 的分数阶拉普拉斯扩散。
• 在涉及 $ olimits\alpha$、$ olimits\beta$、$ olimits\gamma$ 和空间维度 $d$ 的广义达朗型条件下，建立解的存在性与唯一性，允许测度初值。
• 分析当 $ olimits\beta \in (0,1]$ 时解的样本路径正则性，扩展已知的随机热方程与波动方程结果。
• 通过福克斯 $H$-函数推导基本解并表征其性质，包括非负性及在原点附近的渐近行为。
• 在单一分数阶框架下统一并推广先前关于随机分数阶扩散的研究结果，包括随机热方程与波动方程。

提出的方法

• 研究采用柯普托分数阶导数 $\nolimits\partial^\beta$ 和黎曼-刘维尔分数阶积分 $\nolimits I_t^\gamma$ 来刻画随机 PDE 中的记忆效应与噪声平滑性。
• 解表示为涉及基本解 $Z(t,x)$、$Z^*(t,x)$ 和 $Y(t,x)$ 的卷积的随机积分方程，这些基本解以福克斯 $H$-函数表示。
• 在条件 $d < 2\alpha + \frac{\alpha}{\beta}\min(2\gamma - 1, 0)$ 下证明了解的存在性与唯一性，该条件为达朗条件的推广。
• 通过福克斯 $H$-函数的留数分析，研究基本解在原点附近的渐近行为，根据参数 $ olimits\alpha$、$ olimits\beta$、$ olimits\gamma$ 和 $d$ 确定其局部奇异性。
• 通过格林函数的结构，利用矩界与霍尔德连续性估计，建立 $ olimits\beta \in (0,1]$ 时的样本路径正则性。
• 该框架允许初值为测度，扩展了传统要求 $L^1$ 或 $L^2$ 初值条件的结果。

实验结果

研究问题

• RQ1 在 $ olimits\mathbb{R}^d$ 上，对于具有空间-时间白噪声的非线性随机时间分数阶扩散方程，其温和解在何种条件下存在？
• RQ2 时间分数阶阶数 $ olimits\beta$、空间分数阶阶数 $ olimits\alpha$ 与噪声平滑参数 $ olimits\gamma$ 之间的相互作用如何影响解的存在性与矩界？
• RQ3 基本解在原点附近的精确渐近行为是什么？其如何依赖于参数 $ olimits\alpha$、$ olimits\beta$、$ olimits\gamma$ 和 $d$？
• RQ4 当 $ olimits\beta \in (0,1]$ 时，解是否在空间与时间上表现出霍尔德连续性？其精确正则性阈值为何？
• RQ5 本研究结果如何推广已知情形，如随机热方程（$ olimits\beta=1$，$ olimits\alpha=2$）与随机波动方程（$ olimits\beta=2$，$ olimits\alpha=2$）？

主要发现

• 在条件 $d < 2\alpha + \frac{\alpha}{\beta}\min(2\gamma - 1, 0)$ 下，解存在且唯一，该条件推广了含时间分数阶导数的 SPDE 的达朗条件。
• 建立了关于解的矩界，确保了随机稳定性，并为后续的间歇性与样本路径行为分析奠定了基础。
• 当 $ olimits\beta \in (0,1]$ 时，解在空间与时间上表现出霍尔德连续性，其正则性取决于参数 $ olimits\alpha$、$ olimits\beta$ 与 $ olimits\gamma$。
• 基本解通过福克斯 $H$-函数表示，其在原点附近的性质通过留数分析完全表征，揭示了根据参数区域而定的幂律奇异性形式，如 $x^{d/\alpha}$、$x^2$ 或 $x \log x$。
• 该框架允许初值为测度，将理论适用范围扩展至超越 $L^p$-可积初值条件的情形。
• 在 $ olimits\gamma=0$ 的极限情况下，存在性条件变为 $d < 2\alpha + \frac{\alpha}{\beta}\min(-1, 0)$，当 $ olimits\alpha=2$、$d=1$ 时，仅当 $ olimits\beta > 2/3$ 时解存在，表明分数阶积分对正则性的必要性。