[论文解读] Hörmander's theorem for stochastic partial differential equations

Н. В. Крылов|arXiv (Cornell University)|Sep 22, 2013

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

一句话总结

本论文在时变Hörmander条件下方建立随机偏微分方程（SPDEs）的局部次椭圆性结果，证明当系数在时间上仅可测时，解在空间上无限次可微。该方法利用Wentzell的随机坐标变换局部消除随机项，将SPDE转化为具有随机系数的确定性抛物方程，从而可应用经典正则性理论，在局部李代数秩条件满足下实现无限可微性。

ABSTRACT

We prove Hörmander's type hypoellipticity theorem for stochastic partial differential equations when the coefficients are only measurable with respect to the time variable. The need for such kind of results comes from filtering theory of partially observable diffusion processes, when even if the initial system is autonomous, the observation process enters the coefficients of the filtering equation and makes them time-dependent with no good control on the smoothness of the coefficients with respect to the time variable.

研究动机与目标

• 在滤波理论中自然出现的仅时间可测系数设定下，建立SPDE的局部次椭圆性。
• 通过在时间依赖性上仅施加最小可测性假设，克服先前研究中要求全局条件或时间 Hölder 连续性的局限。
• 证明即使系数对时间和随机性依赖方式非光滑，SPDE的解在空间上仍为局部无限可微。
• 提供一种稳健的方法，避免依赖Malliavin微积分或全局假设，通过局部Wentzell型变换将SPDE约化为确定性方程。

提出的方法

• 应用Wentzell的随机坐标变换消除SPDE中的随机项，将其转化为具有随机、时变系数的确定性抛物方程。
• 利用向量场 $\sigma^{d_1+k}_t$, $k=1,\dots,d_2$ 的局部Hörmander条件，确保在球 $B$ 内李代数生成 $\mathbb{R}^d$。
• 将SPDE约化为可应用抛物方程经典正则性结果的形式，利用变换后系数一致非退化这一事实。
• 构造一个在 $B_{R_0}$ 上有紧支集的截断函数 $\zeta$，并用于局部化解，确保变换后的方程满足所需的可积性与光滑性条件。
• 通过热方程以 $H^m_2$-值初值将解延拓至终端时间 $T$ 之后，保持正则性，并在更大时间区间内应用定理2.3。
• 采用分解 $u_t = v_t + w_t$，其中 $v_t$ 处理初值，$w_t$ 满足初值为零的修正SPDE，从而将问题约化为初值消失的情形。

实验结果

研究问题

• RQ1 能否在仅要求时间可测而无需Hölder连续或光滑时间依赖的条件下，为仅时间可测系数的SPDE建立次椭圆性？
• RQ2 当系数为随机且时变时，局部Hörmander条件——即噪声向量场生成的李代数——是否仍能保证解的无限可微性？
• RQ3 Wentzell方法中的随机坐标变换能否被推广至非马氏、可测系数的SPDE，以实现局部消除随机项？
• RQ4 在时间与随机依赖性上仅施加最小假设的条件下，广义解（属于 $\mathcal{D}^{-\infty}$）是否仍可实现局部正则性？

主要发现

• 当局部Hörmander条件成立且强迫项 $f_t, g^k_t$ 光滑时，SPDE的解在 $(s_1,s_2) \times B$ 的任意紧子集上关于空间无限可微。
• 该方法确保对任意 $\omega \in \Omega_0$，解 $u_t$ 在 $t \in (s_1,s_2)$ 时于 $B$ 上关于 $x$ 无限可微，即使系数在时间上仅是可预测的。
• 关键技术步骤是局部Wentzell变换，其可消除随机项，并将问题约化为具有随机、一致非退化系数的确定性抛物方程。
• 本文证明，即使系数 $\sigma^k_t$ 仅关于 $t$ 可测，解仍保持光滑，这一设定未被先前基于Malliavin微积分的方法所覆盖。
• 该结果适用于 $\mathcal{D}^{-\infty}$ 中的广义解，且正则性为局部成立而非全局，从而避免了无穷远处增长带来的问题。
• 通过热方程将解延拓至 $T$ 之后，并重新定义系数，该方法使得定理2.3可在更大时间区间内应用，从而在 $[S,T] \times B_r$ 上证明完整的正则性结果。