[论文解读] Moment bounds in spde's with application to the stochastic wave equation

Le Chen, Robert C. Dalang|arXiv (Cornell University)|Jan 25, 2014

Stochastic processes and financial applications参考文献 33被引用 3

一句话总结

本文建立了一套通用框架，用于证明随机偏微分方程（SPDEs）解的存在性、唯一性及矩界，重点关注随机波动方程和双曲型安德森模型。通过将矩估计与关联确定性PDE的基本解性质相联系，作者推导出二阶矩的显式公式，证明了弱间歇性，并基于初始数据的可积性得出了精确的霍尔德连续性指数。

ABSTRACT

We exhibit a class of properties of an spde that guarantees existence, uniqueness and bounds on moments of the solution. These moment bounds are expressed in terms of quantities related to the associated deterministic homogeneous p.d.e. With these, we can, for instance, obtain solutions to the stochastic heat equation on the real line for initial data that falls in a certain class of Schwartz distributions, but our main focus is the stochastic wave equation on the real line with irregular initial data. We give bounds on higher moments, and for the hyperbolic Anderson model, explicit formulas for second moments. We establish weak intermittency and obtain sharp bounds on exponential growth indices for certain classes of initial conditions with unbounded support. Finally, we relate Hölder-continuity properties of the stochastic integral part of the solution to the stochastic wave equation to integrability properties of the initial data, obtaining the optimal Hölder exponent.

研究动机与目标

• 开发一个统一框架，用于证明一大类SPDE（包括随机波动方程和热方程）的存在性、唯一性和矩估计。
• 将先前关于抛物型安德森模型的结果扩展至不规则初始数据，包括施瓦茨分布和带符号测度。
• 根据初始数据的可积性性质，刻画解的随机积分部分的霍尔德连续性。
• 为双曲型安德森模型建立指数增长指数和矩李雅普诺夫指数的精确界。
• 为具有不规则初始条件的随机波动方程提供二阶矩及高阶矩估计的显式公式。

提出的方法

• 作者将SPDE表述为涉及基本解 $ G(t,x) $ 和初始条件 $ J_0(t,x) $ 的随机积分方程，采用沃尔什的随机积分理论。
• 他们对 $ G $ 和 $ J_0 $ 提出一组一般性假设，包括 $ L^2 $-连续性、尾部控制和可积性，以确保解的存在性和矩界。
• 核心技术涉及对 $ G^2 $ 的 $ n $ 重卷积分析，由此导出控制矩增长的函数 $ \mathcal{K} $，其 $ L^1 $-范数和卷积结构起关键作用。
• 作者利用函数 $ \mathcal{K} $ 推导出二阶矩的显式表达式，特别是在双曲型安德森模型中 $ \theta \equiv 1 $ 的情形。
• 他们应用渐近分析和积分恒等式（例如贝塞尔函数和双曲三角积分），以界定 $ \|I(t,x) - I(t',x')\|_p^2 $，从而获得霍尔德连续性估计。
• 该框架将解的霍尔德指数与初始数据的局部可积性相联系，通过与 $ G $ 的衰减速率和正则性比较，推导出最优指数。

实验结果

研究问题

• RQ1 在基本解 $ G $ 和初始条件 $ J_0 $ 满足何种条件下，SPDE 存在具有有限矩的唯一解？
• RQ2 对于具有无界初始数据的随机波动方程，指数增长指数 $ \underline{\lambda}(p) $ 和 $ \overline{\lambda}(p) $ 的精确界是什么？
• RQ3 双曲型安德森模型的矩李雅普诺夫指数 $ \overline{m}_p $ 和 $ \underline{m}_p $ 如何表现？在何种条件下可推出弱间歇性？
• RQ4 随机波动方程解的随机积分部分的最优霍尔德指数是什么？它与初始数据的 $ L^p $-可积性有何关系？
• RQ5 能否为双曲型安德森模型推导出二阶矩的显式公式？其与初始条件和噪声强度的关系如何？

主要发现

• 对于双曲型安德森模型，二阶矩显式给出为 $ \mathbb{E}[|u(t,x)|^2] = \left(J_0^2 \star G_\kappa^2\right)(t,x) + \lambda^2 \int_0^t \int_{\mathbb{R}} G_\kappa(t-s,x-y)^2 \, dy \, ds $，其中 $ G_\kappa $ 为波动核。
• 在对 $ G $ 和 $ J_0 $ 提出的假设下，对于施瓦茨分布类的初始数据（包括 $ \delta_0 $ 和 $ \delta_0' $），随机波动方程的解存在且唯一。
• 在适当的初始数据条件下，双曲型安德森模型被证明具有弱间歇性，即 $ \overline{m}_2 > 0 $ 且对所有 $ p \geq 2 $ 有 $ \overline{m}_p < \infty $。
• 解的随机积分部分的最优霍尔德指数为 $ \frac{1-2a}{2} $，其中 $ a \in (0, \frac{1}{2}) $，且该指数与初始数据的 $ L^p $-可积性直接相关。
• 获得了指数增长指数的精确界：$ \underline{\lambda}(p) = \frac{1}{\kappa} \left( \frac{1}{2} \right)^{1-2a} $ 与 $ \overline{\lambda}(p) = \frac{1}{\kappa} \left( \frac{1}{2} \right)^{1-2a} $，其中 $ \kappa $ 为波速，$ a $ 与 $ G $ 的衰减速率相关。
• 对于时间增量，$ L^p $-范数满足 $ \|I(t,x) - I(t',x)\|_p^2 \geq \frac{\lambda^2 |x|}{16\kappa^{2a}(1-2a)} h^{1-2a} $，其中 $ h = t' - |x|/\kappa $，从而证明了最优霍尔德指数 $ \frac{1-2a}{2} $。