[论文解读] Path-by-path uniqueness of infinite-dimensional stochastic differential equations

Lukas Wresch|arXiv (Cornell University)|Jun 23, 2017

Stochastic processes and financial applications被引用 4

一句话总结

本文在可分希尔伯特空间中建立了无限维随机微分方程（SDE）的温和解的逐路径唯一性，扩展了A.M. Davie在有限维情形下的结果。证明表明，当漂移系数f满足强衰减条件——特别是谱分量的指数衰减——时，对于柱形布朗运动的几乎所有样本路径，存在唯一的逐路径解，即使f仅为可测且有界的。

ABSTRACT

Consider the stochastic differential equation $\mathrm dX_t = -A X_t \,\mathrm dt + f(t, X_t) \,\mathrm dt + \mathrm dB_t$ in a (possibly infinite-dimensional) separable Hilbert space, where $B$ is a cylindrical Brownian motion and $f$ is a just measurable, bounded function. If the components of $f$ decay to 0 in a faster than exponential way we establish path-by-path uniqueness for mild solutions of this stochastic differential equation. This extends A. M. Davie's result from $\mathbb R^d$ to Hilbert space-valued stochastic differential equations.

研究动机与目标

• 在可分希尔伯特空间中，建立由柱形布朗运动驱动的无限维SDE的温和解的逐路径唯一性。
• 将A.M. Davie的有限维逐路径唯一性结果推广至无限维情形。
• 证明在几乎必然意义下，对噪声的每条样本路径，唯一性均成立，即使漂移仅为可测且有界。
• 刻画为实现逐路径唯一性所需的漂移分量（在谱基下）的衰减速率。
• 表明在这些衰减条件下，解具有逐路径唯一性，并通过Yamada–Watanabe定理，存在强解。

提出的方法

• 利用在可分希尔伯特空间H上由正的、自伴的、迹类算子A生成的半群，将SDE表示为温和形式。
• 将噪声建模为柱形布朗运动，并通过奥恩斯坦-乌伦贝克过程ZA(ω)逐路径表示随机积分。
• 对每个ω ∈ Ω定义积分方程(IE)ω，将随机积分视为确定性扰动处理。
• 利用A的特征基对f进行谱分解，并施加衰减条件：‖f(n)‖∞ ≤ exp(−e^{nγ})，其中γ > 6。
• 采用一种基于 dyadic 划分和霍尔德型估计的新颖迭代估计技术，以控制解差值的增长。
• 使用包含阈值序列(βj)的Bootstrap论证与递推不等式，证明在漂移条件下，任意解必须恒为零，从而推出唯一性。

实验结果

研究问题

• RQ1 在有限维情形之外，能否为仅具有可测漂移的无限维SDE建立逐路径唯一性？
• RQ2 在希尔伯特空间中，漂移f的谱分量需满足何种衰减条件，才能确保逐路径唯一性？
• RQ3 在给定假设下，逐路径唯一性是否蕴含路径唯一性，并存在强解？
• RQ4 f(n)在谱基下的指数衰减速率如何影响解的正则性与唯一性？
• RQ5 有限维SDE中使用的方法能否被适配至具有非光滑漂移的无限维希尔伯特空间？

主要发现

• 在可分希尔伯特空间H中，SDE dXt = −AXt dt + f(t, Xt) dt + dBt 的温和解具有逐路径唯一性。
• 在假设f的谱分量满足 |f(n)(t,x)| ≤ exp(−e^{nγ})（某γ > 6）的条件下，解是逐路径唯一的。
• 对几乎所有ω ∈ Ω（P-几乎必然），存在唯一连续函数x: [0,T] → H，满足路径积分方程(IE)ω。
• 该结果蕴含路径唯一性，并通过Yamada–Watanabe定理，保证强解的存在性。
• 证明依赖于在 dyadic 划分上的新颖递归估计，表明在漂移条件下，从零出发的任意解必须恒为零。
• f的衰减条件是精确的，因为它可通过包含阈值βj的Bootstrap论证，控制解在 dyadic 区间上的变化。