Computable infinite-dimensional filters with applications to discretized diffusion processes

Let us consider a pair signal–observation ((xn,yn),n≥0)((xn,yn),n≥0) where the unobserved signal (xn)(xn) is a Markov chain and the observed component is such that, given the whole sequence (xn)(xn), the random variables (yn)(yn) are independent and the conditional distribution of ynyn only depends on the corresponding state variable xnxn. The main problems raised by these observations are the prediction and filtering of (xn)(xn). We introduce sufficient conditions allowing us to obtain computable filters using mixtures of distributions. The filter system may be finite or infinite-dimensional. The method is applied to the case where the signal xn=XnΔxn=XnΔ is a discrete sampling of a one-dimensional diffusion process: Concrete models are proved to fit in our conditions. Moreover, for these models, exact likelihood inference based on the observation (y0,…,yn)(y0,…,yn) is feasible.