[论文解读] Filtering equations for partially observable diffusion processes with Lipschitz continuous coefficients

Н. В. Крылов|ArXiv.org|Aug 13, 2009

Advanced Mathematical Modeling in Engineering参考文献 14被引用 8

一句话总结

该论文通过将滤波方程改写为散度形式，建立了系数为Lipschitz连续的非完全可观测扩散过程中滤波密度的$L_p$-光滑性。在非退化与Lipschitz假设下，证明了滤波密度属于$H^1_p$，即使在系数的正则性条件最弱的情况下，也能实现空间上的几乎Lipschitz连续性以及时间上的$1/2$-Hölder连续性。

ABSTRACT

We present several results on smoothness in $L_{p}$ sense of filtering densities under the Lipschitz continuity assumption on the coefficients of a partially observable diffusion processes. We obtain them by rewriting in divergence form filtering equation which are usually considered in terms of formally adjoint to operators in nondivergence form.

研究动机与目标

• 在系数的正则性假设最小化的前提下，建立非完全可观测扩散过程中滤波密度的$L_p$-光滑性。
• 通过分析方法而非滤波理论，消除对扩散系数$\theta\theta^*$光滑性的依赖。
• 在系数Lipschitz连续的条件下，证明滤波密度$\pi_t$在$x$上几乎Lipschitz连续，且在$t$上为$1/2$-Hölder连续。
• 证明滤波方程的解在数据扰动下具有稳定性，且对任意$p \geq 2$均成立。
• 建立嵌入结果，从而获得滤波密度在时间和空间上的路径连续Hölder正则性。

提出的方法

• 将滤波方程改写为散度形式，以利用随机PDE中的分析工具。
• 对满足Lipschitz与非退化条件的系数，使用$\mathbb{H}^1_p$-空间中的先验估计。
• 应用最大$L_p$-估计与嵌入定理，推导解在时间和空间上的Hölder连续性。
• 通过$L_p$-范数与可预测测度中的收敛性，建立解对数据的连续依赖性。
• 利用插值与嵌入技术，在不同$p$值下证明$\mathcal{H}^1_p$-空间中解的唯一性。
• 使用最大值原理，确保在初始数据与强迫项非负时，滤波密度保持非负。

实验结果

研究问题

• RQ1 在非完全可观测扩散过程的系数满足何种最小正则性假设时，可证明滤波密度在$L_p$意义下光滑？
• RQ2 能否仅通过SPDE技术而非滤波理论，建立滤波密度的$L_p$-正则性？
• RQ3 在Lipschitz连续系数下，滤波密度在时间和空间上的最优Hölder正则性为何？
• RQ4 滤波方程的解在系数与初始数据扰动下如何表现？
• RQ5 滤波SPDE的解在不同$L_p$-空间中是否唯一？其是否保持正性？

主要发现

• 在Lipschitz连续系数与非退化条件下，滤波密度$\pi_t$对任意$p \geq 2$均属于$H^1_p$。
• 若初始数据足够光滑，则$\pi_t(x)$在$x$上几乎Lipschitz连续，且在$t$上为$1/2$-Hölder连续。
• 滤波方程的解在数据扰动下具有稳定性：当$n \to \infty$时，有$\|u^n - u\|_{\mathbb{H}^1_p(\tau \wedge T)} \to 0$。
• 在不同$p \geq 2$下，解在$\mathcal{H}^1_p(\tau)$中唯一，且解属于$\mathcal{H}^1_{p_1}(\tau) \cap \mathcal{H}^1_{p_2}(\tau)$。
• 嵌入定理导出路径连续Hölder正则性：对$2/p < \alpha < \beta \leq 1$，有$E[\|u\|_{C^{\alpha/2 - 1/p}([0,\tau], H^{1-\beta}_p)}]^p \leq NT^{(\beta - \alpha)/p} a^{\beta - 1} I(a)$。
• 当$p(1 - \beta) > d$时，解满足$E[\sup_x |u(\cdot,x)|_{C^{\alpha/2 - 1/p}}]^p \leq NT^{(\beta - \alpha)/p} a^{\beta - 1} I(a)$，表明具有空间Hölder连续性。