[论文解读] The Zakai equation of nonlinear filtering for jump-diffusion observation: existence and uniqueness

Claudia Ceci, Katia Colaneri|arXiv (Cornell University)|Oct 16, 2012

Seismic Imaging and Inversion Techniques参考文献 12被引用 5

一句话总结

本文证明了在信号和观测过程相关且具有相同跳跃时间的跳扩散模型中，非线性滤波的Zakai方程解的存在性与路径唯一性。通过证明Kushner-Stratonovich方程与Zakai方程强唯一性的等价性，将滤波鞅问题方法推广至跳扩散设置，确保非归一化滤波器可通过线性SDE明确定义并实现计算可行。

ABSTRACT

This paper is concerned with the nonlinear filtering problem for a general Markovian partially observed system (X,Y), whose dynamics is modeled by correlated jump-diffusions having common jump times. At any time t, the sigma-algebra generated by the observation process Y provides all the available information about the signal X. The central goal of stochastic filtering is to characterize the filter which is the conditional distribution of X, given the observed data. It has been proved in Ceci-Colaneri (2012) that the filter is the unique probability measure-valued process satisfying a nonlinear stochastic equation, the so-called Kushner-Stratonovich equation (KS-equation). In this paper the aim is to describe the filter in terms of the unnormalized filter, which is solution to a linear stochastic differential equation, called the Zakai equation. We prove equivalence between strong uniqueness for the solution to the Kushner Stratonovich equation and strong uniqueness for the solution to the Zakai one and, as a consequence, we deduce pathwise uniqueness for the solutions to the Zakai equation by applying the Filtered Martingale Problem approach (Kurtz-Ocone (1988), Kurtz-Nappo (2011), Ceci-Colaneri (2012)). To conclude, we discuss some particular cases.

研究动机与目标

• 为具有相关跳扩散动态的部分可观测马氏系统建立非归一化滤波器（Zakai方程）的存在性与唯一性。
• 将先前仅用于扩散观测的滤波鞅问题方法，推广至具有共同跳跃时间的跳扩散观测情形。
• 证明Kushner-Stratonovich方程与Zakai方程的强唯一性等价，从而确保Zakai解的路径唯一性。
• 为在混合型观测模型中应用Galerkin方法或量化方法等数值方法于Zakai方程，提供严格的概率基础。
• 将先前关于非线性滤波的结果推广至具有相关跳跃的系统，此类系统在金融与工程应用中极为常见。

提出的方法

• 通过在观测过滤上应用类似Girsanov的测度变换，将非归一化滤波器导出为线性随机微分方程（SDE）。
• 利用Kallianpur-Striebel公式，通过Radon-Nikodym导数将归一化滤波器与非归一化滤波器关联。
• 应用滤波鞅问题方法，通过已知的Kushner-Stratonovich方程路径唯一性结果，证明Zakai方程的强唯一性。
• 对漂移、扩散和跳跃系数施加增长条件与局部Lipschitz条件，以确保底层SDE的存在性与唯一性。
• 引入跳跃测度的转移函数，以处理实值随机计数测度，从而实现密度过程的构造。
• 依赖Doléans-Dade指数定义生成测度变换的局部鞅，确保在新概率测度下严格正性与可积性。

实验结果

研究问题

• RQ1 Zakai方程在具有相关跳扩散观测且共享共同跳跃时间的非线性滤波问题中是否具有唯一解？
• RQ2 滤波鞅问题方法能否推广至跳扩散模型，以证明Zakai方程的路径唯一性？
• RQ3 在此设置下，Zakai方程解的强唯一性是否与Kushner-Stratonovich方程解的强唯一性等价？
• RQ4 在新概率测度下，非归一化滤波过程在何种条件下保持良好定义且严格为正？
• RQ5 非归一化滤波器能否作为混合型观测模型中非线性Kushner-Stratonovich方程的计算可行替代方案？

主要发现

• 在系数满足给定的增长与局部Lipschitz条件时，Zakai方程的解存在且路径唯一。
• Kushner-Stratonovich方程的强唯一性蕴含Zakai方程的强唯一性，反之亦然，从而确立二者等价性。
• 在新概率测度下，非归一化滤波过程几乎必然严格为正，确保Kallianpur-Striebel公式的有效性。
• 滤波鞅问题方法成功推广至跳扩散模型，使Zakai方程的路径唯一性得以证明。
• 转移函数假设使得实值随机计数测度得以处理，克服了跳跃测度分析中的技术障碍。
• 研究结果为在直线性Zakai方程上应用Galerkin方法或最优量化等数值逼近方法提供了严格的理论基础。