Robust filtering: Correlated noise and multidimensional observation

Abstract

In the late seventies, Clark [In Communication Systems and Random Process Theory (Proc. 2nd NATO Advanced Study Inst., Darlington, 1977) (1978) 721-734, Sijthoff & Noordhoff] pointed out that it would be natural for ${\pi }_t$, the solution of the stochastic filtering problem, to depend continuously on the observed data $Y=\{Y_s,s\in [0,t]\}$. Indeed, if the signal and the observation noise are independent one can show that, for any suitably chosen test function $f$, there exists a continuous map ${\theta }_t^f$, defined on the space of continuous paths $C([0,t],{\mathbb{R}}^d)$ endowed with the uniform convergence topology such that ${\pi }_t(f)={\theta }_t^f(Y)$, almost surely; see, for example, Clark [In Communication Systems and Random Process Theory (Proc. 2nd NATO Advanced Study Inst., Darlington, 1977) (1978) 721-734, Sijthoff & Noordhoff], Clark and Crisan [Probab. Theory Related Fields 133 (2005) 43-56], Davis [Z. Wahrsch. Verw. Gebiete 54 (1980) 125-139], Davis [Teor. Veroyatn. Primen. 27 (1982) 160-167], Kushner [Stochastics 3 (1979) 75-83]. As shown by Davis and Spathopoulos [SIAM J. Control Optim. 25 (1987) 260-278], Davis [In Stochastic Systems: The Mathematics of Filtering and Identification and Applications, Proc. NATO Adv. Study Inst. Les Arcs, Savoie, France 1980 505-528], [In The Oxford Handbook of Nonlinear Filtering (2011) 403-424 Oxford Univ. Press], this type of robust representation is also possible when the signal and the observation noise are correlated, provided the observation process is scalar. For a general correlated noise and multidimensional observations such a representation does not exist. By using the theory of rough paths we provide a solution to this deficiency: the observation process $Y$ is "lifted" to the process $\mathbf{Y}$ that consists of $Y$ and its corresponding Lévy area process, and we show that there exists a continuous map ${\theta }_t^f$, defined on a suitably chosen space of Hölder continuous paths such that ${\pi }_t(f)={\theta }_t^f(\mathbf{Y})$, almost surely.

Published in at http://dx.doi.org/10.1214/12-AAP896 the Annals of Applied Probability (http://www.imstat.org/aap/) by the Institute of Mathematical Statistics (http://www.imstat.org)

References in corpus (1)

• A Levy-area between Brownian motion and rough paths with applications to robust non-linear filtering and RPDEs

Cited by in corpus (6)

• The Jain-Monrad criterion for rough paths and applications to random Fourier series and non-Markovian Hörmander theory
• Stochastic partial differential equations: a rough path view
• Global existence and non-uniqueness of 3D Euler equations perturbed by transport noise
• Rough semimartingales and $p$-variation estimates for martingale transforms
• Robust parameter estimation using the ensemble Kalman filter
• Rough McKean-Vlasov dynamics for robust ensemble Kalman filtering