[论文解读] On the differentiability of solutions of stochastic evolution equations with respect to their initial values

Adam Andersson, Arnulf Jentzen+2 more|arXiv (Cornell University)|Nov 2, 2016

Stochastic processes and financial applications参考文献 24被引用 12

一句话总结

本文在漂移项和扩散项系数的导数全局有界且n重连续Fréchet可微的假设下，建立了半线性抛物型随机演化方程（SEEs）解关于初始值的n重连续Fréchet可微性。关键贡献在于识别出高阶导数过程中的增强正则性，其中SEEs的线性生成元提供了光滑化效应，从而在数值逼近中实现精确的随机弱收敛速率。

ABSTRACT

In this article we study the differentiability of solutions of parabolic semilinear stochastic evolution equations (SEEs) with respect to their initial values. We prove that if the nonlinear drift coefficients and the nonlinear diffusion coefficients of the considered SEEs are $n$-times continuously Fr\'{e}chet differentiable, then the solutions of the considered SEEs are also $n$-times continuously Fr\'{e}chet differentiable with respect to their initial values. Moreover, a key contribution of this work is to establish suitable enhanced regularity properties of the derivative processes of the considered SEE in the sense that the dominating linear operator appearing in the SEE smoothes the higher order derivative processes.

研究动机与目标

• 建立半线性抛物型随机演化方程（SEEs）解关于初始值的Fréchet可微性。
• 研究解的导数过程的正则性特征，特别是SEEs中主导线性算子带来的高阶导数过程的增强光滑性。
• 推导高阶导数过程的定量界，以支持概率弱数值格式中的精确收敛速率。
• 通过刻画解导数的正则性，为非线性SPDE数值逼近方法的分析提供理论基础。

提出的方法

• 采用半群方法分析由无限维Wiener过程驱动的抛物型半线性SEEs的解。
• 利用常数变易公式将解及其导数表示为涉及半群和非线性系数的随机卷积积分。
• 通过无限维伊藤微积分链式法则导出的随机积分方程，递归构造k阶导数过程。
• 通过利用线性算子A生成的解析半群的光滑化效应，建立导数过程Lp-范数的界。
• 引入涉及负Sobolev型空间（H^{-δ}）的加权范数，以捕捉导数过程多重线性项的弱正则性。
• 结合多重线性项的组合分解，运用Minkowski不等式与Jensen不等式，控制证明中导数过程的增长。

实验结果

研究问题

• RQ1 在何种条件下，半线性抛物型SEEs的解关于其初始值在n阶意义下是Fréchet可微的？
• RQ2 SEEs中线性算子A的光滑化性质如何影响高阶导数过程的正则性？
• RQ3 对于Lp-范数，能否为k阶导数过程建立定量界，特别是当多重线性项在弱范数（H^{-δ}）下度量时？
• RQ4 是否可利用导数过程的增强正则性，推导出数值格式的精确概率弱收敛速率？
• RQ5 系数的Lipschitz常数与半群的衰减特性如何共同影响导数过程的稳定性与增长？

主要发现

• 若漂移项F与扩散项B的系数均为n重连续Fréchet可微且导数全局有界，则SEEs的解X0,x关于其初始值x也具有n重连续Fréchet可微性。
• k阶导数过程Xk,(x,u)满足一个在定理2.1中明确刻画的随机积分方程，从而支持高阶导数的递归分析。
• 对所有p ∈ (0, ∞)，k ∈ {1, ..., n}，以及δ1, ..., δk ∈ [0, 1/2) 满足∑δi < 1/2，量t^{(∑δi)−1/2} ∥Xk,u_t∥_{Lp(P;H)} / ∏∥ui∥_H^{−δi} 在t ∈ (0,T]上一致有界，表明存在增强正则性。
• 当∑δi < 1/2时，导数过程取值于连续嵌入子空间L(⊗_{i=1}^k H^{-δi}, Lp(P;H))，表明在弱范数下正则性得到提升。
• 在不同初始值处的导数过程之差满足一个包含∥x−y∥_H与多重线性项弱范数的界，支持概率弱格式中的精确收敛分析。
• 定理2.1中导出的界是显式的，依赖于F与B的C^k-有界性、半群的衰减性以及多重线性项的组合结构，从而在数值逼近中实现严格的误差控制。