arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2607.03318math.PRmath.APmath.OC
收藏

实可分希尔伯特空间中半线性随机发展方程的有限时域最优停止问题及其相关抛物型变分不等式的值函数的连续可微性

Continuous Differentiability of the Value Function for Infinite-Dimensional Finite-Horizon Optimal Stopping and Related Variational Inequalities

Sapienza University of Rome(罗马第一大学);Bielefeld University(比勒费尔德大学)

Gabriele Bolli, Giorgio Ferrari

AI总结:

研究实可分希尔伯特空间中半线性随机发展方程的有限时域最优停止问题及相关变分不等式,通过证明值函数连续可微获最优停止问题的光滑拟合原理,分两部分分析并应用于带加性噪声的随机热方程。

摘要:

本文研究实可分希尔伯特空间中半线性随机发展方程的有限时域最优停止问题及其相关抛物型变分不等式。我们证明了无限维值函数的连续可微性,从而得到相应最优停止问题的光滑拟合原理。分析分为两部分。首先,我们证明了变分不等式在适当加权类中的温和解的存在性和唯一性,并将其与最优停止值函数等同起来。我们还通过概率方法建立了值函数的局部空间Lipschitz连续性,而不需要基础转移半群的任何平滑性质。其次,在对该半群的全局正则化假设下,我们证明了更高阶的空间正则性:值函数是连续的Fréchet可微的,其梯度是局部Hölder连续的。然后将抽象结果应用于具有加性噪声的随机热方程。

英文摘要:

This paper studies finite-horizon optimal stopping problems for semilinear stochastic evolution equations in real, separable Hilbert spaces, together with their associated parabolic variational inequalities. We prove continuous differentiability of the value function in infinite dimensions, thereby obtaining a smooth-fit principle for the corresponding optimal stopping problem. The analysis has two parts. First, we prove existence and uniqueness, in a suitable weighted class, of a mild solution to the variational inequality and identify it with the optimal stopping value function. We also establish local spatial Lipschitz continuity of the value function by probabilistic methods, without requiring any smoothing property of the underlying transition semigroup. Second, under a global regularizing assumption on this semigroup, we prove higher-order spatial regularity: the value function is continuously Fréchet differentiable and its gradient is locally Hölder continuous. The abstract results are then applied to a stochastic heat equation with additive noise.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑