[论文解读] Regularity and strict positivity of densities for the nonlinear stochastic heat equation

Le Chen, Yaozhong Hu+1 more|arXiv (Cornell University)|Nov 11, 2016

Stochastic processes and financial applications参考文献 14被引用 6

一句话总结

本文建立了非线性随机热方程在测度初值和时空白噪声条件下，解的概率密度函数存在的必要且充分条件，包括光滑性与严格正性。通过使用局部化的Malliavin微积分方法，作者证明了即使扩散系数无界或消失，解的密度在支撑集内部仍保持光滑且严格正，将先前结果推广至抛物线Anderson模型作为特例。

ABSTRACT

In this paper, we establish a necessary and sufficient condition for the existence and regularity of the density of the solution to a semilinear stochastic (fractional) heat equation with measure-valued initial conditions. Under a mild cone condition for the diffusion coefficient, we establish the smooth joint density at multiple points. The tool we use is Malliavin calculus. The main ingredient is to prove that the solutions to a related stochastic partial differential equation have negative moments of all orders. Because we cannot prove $u(t,x)\in \mathbb{D}^\infty$ for measure-valued initial data, we need a localized version of Malliavin calculus. Furthermore, we prove that the (joint) density is strictly positive in the interior of the support of the law, where we allow both measure-valued initial data and unbounded diffusion coefficient. The criteria introduced by Bally and Pardoux [1] are no longer applicable for the parabolic Anderson model. We have extended their criteria to a localized version. Our general framework includes the parabolic Anderson model as a special case.

研究动机与目标

• 建立半线性随机（分数阶）热方程在测度初值条件下，解的密度存在性与光滑性的必要且充分条件。
• 将经典的Bally-Pardoux密度正则性准则推广至局部化框架，适用于扩散系数可能消失或无界的场景。
• 证明在多个空间点处解的联合密度在支撑集内部光滑且严格正，即使在一般初值条件下亦成立。
• 将抛物线Anderson模型作为特例，纳入一个统一的密度正则性与严格正性的分析框架。
• 通过发展局部化Malliavin微积分方法，克服了测度初值下u(t,x) ∉ D^∞ 的挑战。

提出的方法

• 作者采用局部化版本的Malliavin微积分，以处理初值为测度时Malliavin正则性缺失的问题。
• 他们证明了相关随机偏微分方程的解具有所有阶的负矩，这是密度正则性的一个关键技术要素。
• 该方法依赖于建立矩界以及Malliavin导数及其高阶导数的条件有界性。
• 改编了Hu等人[9]的广义框架，结合对基本解G和噪声谱测度的假设，以确保可积性与正则性。
• 证明使用了受Bally和Pardoux [1] 启发的局部化程序，使得可以移除扩散系数严格正的假设。
• 分析涉及对函数Ψ_n^i(t,x)、解及其导数的矩、以及在Wiener混沌分解下的条件界进行详细估计。

实验结果

研究问题

• RQ1 在何种条件下，具有测度初值的非线性随机热方程在单个时空点处的解具有光滑密度？
• RQ2 在扩散系数与初值具有普遍条件时，能否在多个空间点处建立解的联合密度光滑性？
• RQ3 当扩散系数可能消失或无界时，解的密度在支撑集内部是否仍严格正？
• RQ4 如何将经典的Bally-Pardoux密度正则性准则扩展至扩散系数不远离零的场景？
• RQ5 能否将抛物线Anderson模型纳入一个通用框架，以利用Malliavin微积分证明解的光滑且严格正的密度？

主要发现

• 在扩散系数满足温和锥条件时，非线性随机热方程的解在任意固定(t,x) ∈ (0,∞) × ℝ处具有光滑密度。
• 即使扩散系数无界或在某些值处消失，解在多个不同空间点处的联合密度仍保持光滑。
• 即使初值为Dirac delta等测度初值，解的密度在律的支撑集内部也严格正。
• 该方法成功地将Bally-Pardoux准则推广至局部化设定，使得可移除σ(y) ≥ c > 0的假设。
• 证明了抛物线Anderson模型（ρ(u) = λu）满足光滑且严格正密度的条件，尽管在零处扩散系数消失。
• 作者证明了解的Malliavin导数具有所有阶的负矩，这是在缺乏完整Malliavin正则性时建立密度正则性的关键步骤。