Lie-trotter product formulas for nonlinear filtering

The nonlinear filtering problem for a diffusion process whose drift and diffusion coefficients depend parametrically on a finite-state jump process involves the solution of a vector system of linear, stochastic partial differential equations. A Lie-Trotter product formula is proven to hold for this system and a recursive implementation is discussed.