[论文解读] Existence, uniqueness, and regularity for stochastic evolution equations with irregular initial values

Adam Andersson, Arnulf Jentzen+1 more|arXiv (Cornell University)|Dec 21, 2015

Stochastic processes and financial applications参考文献 40被引用 11

一句话总结

本文建立了具有奇异初值和时变系数（在初始时刻奇异）的半线性随机演化方程（SEEs）的温和解的存在性、唯一性和正则性。通过为具有初始时刻奇点的随机过程发展一种新颖的扰动估计，作者导出了先验界，并确定了解对初值的Lipschitz连续性的尖锐正则性阈值，该阈值通过反例被证明是最优的。

ABSTRACT

In this article we develop a framework for studying parabolic semilinear stochastic evolution equations (SEEs) with singularities in the initial condition and singularities at the initial time of the time-dependent coefficients of the considered SEE. We use this framework to establish existence, uniqueness, and regularity results for mild solutions of parabolic semilinear SEEs with singularities at the initial time. We also provide several counterexample SEEs that illustrate the optimality of our results.

研究动机与目标

• 解决半线性随机演化方程（SEEs）在奇异初值和时奇异系数下缺乏存在性、唯一性和正则性结果的问题。
• 为分析具有不规则初值和初始时刻奇点的SEEs建立一个通用框架。
• 确定在何种初值正则性阈值下，解对初值的Lipschitz连续性得以保持。
• 通过显式反例证明该正则性阈值的尖锐性。

提出的方法

• 提出一种针对在初始时刻具有奇点的预测性随机过程的新扰动估计（命题2.7），从而实现对解和数值逼近的先验界控制。
• 将该扰动估计应用于在非线性项和系数满足一般条件时，证明温和解的存在性、唯一性和正则性（定理2.9）。
• 利用强连续解析半群生成元相关的插值空间，控制解空间中的正则性。
• 推导出涉及参数Θλ的关键界（公式3），该界量化了初值和系数中奇点的影响。
• 运用Itô等距性和随机积分估计，控制解范数在Hölder空间和Sobolev型空间中的增长。
• 构造反例（命题3.2、3.4、3.5），表明Lipschitz连续性的正则性阈值无法进一步改善。

实验结果

研究问题

• RQ1 半线性SEE的初值所需最小正则性为何，才能确保存在唯一且对初值Lipschitz连续的温和解？
• RQ2 能否为在初始时刻具有奇点的随机过程推导出一种通用的扰动估计，从而实现对解和数值逼近的先验界控制？
• RQ3 时变系数中的奇点（如t−ˆα, t−ˆβ）如何影响SEEs的解的正则性和存在性？
• RQ4 所识别出的Lipschitz连续性正则性阈值是否为尖锐的，或可进一步改进？
• RQ5 在粗糙初值（如测度或分布）下，解在何种精确条件下会失效？

主要发现

• 本文确立了一个尖锐的正则性屏障：若初值属于H−1，则解对初值是Lipschitz连续的；若初值属于H−r（r > 1），则此类连续性可能失效。
• 推导出一种新颖的扰动估计（公式5），该估计为具有奇异初值和时奇异系数的SEEs的解和数值逼近提供了先验界。
• 在非线性项满足一般增长和Lipschitz条件时，即使初值为奇异测度或分布，也证明了解的存在性和唯一性。
• 构造了反例，表明H−1正则性阈值是最优的：当初值属于H−r（r > 1）时，解可能不存在或不满足Lipschitz连续性。
• 对于带线性或非线性乘性噪声的随机热方程，本文确定了即使初值为Dirac函数的导数或具有指数尾部的符号测度，解仍存在且正则的条件。
• 分析结果确认，初值的正则性直接决定了解的正则性和稳定性，其中H−1是Lipschitz连续性的临界阈值。