1,120 research outputs found
A strongly convergent numerical scheme from Ensemble Kalman inversion
The Ensemble Kalman methodology in an inverse problems setting can be viewed
as an iterative scheme, which is a weakly tamed discretization scheme for a
certain stochastic differential equation (SDE). Assuming a suitable
approximation result, dynamical properties of the SDE can be rigorously pulled
back via the discrete scheme to the original Ensemble Kalman inversion.
The results of this paper make a step towards closing the gap of the missing
approximation result by proving a strong convergence result in a simplified
model of a scalar stochastic differential equation. We focus here on a toy
model with similar properties than the one arising in the context of Ensemble
Kalman filter. The proposed model can be interpreted as a single particle
filter for a linear map and thus forms the basis for further analysis. The
difficulty in the analysis arises from the formally derived limiting SDE with
non-globally Lipschitz continuous nonlinearities both in the drift and in the
diffusion. Here the standard Euler-Maruyama scheme might fail to provide a
strongly convergent numerical scheme and taming is necessary. In contrast to
the strong taming usually used, the method presented here provides a weaker
form of taming.
We present a strong convergence analysis by first proving convergence on a
domain of high probability by using a cut-off or localisation, which then
leads, combined with bounds on moments for both the SDE and the numerical
scheme, by a bootstrapping argument to strong convergence
Approximate Kalman-Bucy filter for continuous-time semi-Markov jump linear systems
The aim of this paper is to propose a new numerical approximation of the
Kalman-Bucy filter for semi-Markov jump linear systems. This approximation is
based on the selection of typical trajectories of the driving semi-Markov chain
of the process by using an optimal quantization technique. The main advantage
of this approach is that it makes pre-computations possible. We derive a
Lipschitz property for the solution of the Riccati equation and a general
result on the convergence of perturbed solutions of semi-Markov switching
Riccati equations when the perturbation comes from the driving semi-Markov
chain. Based on these results, we prove the convergence of our approximation
scheme in a general infinite countable state space framework and derive an
error bound in terms of the quantization error and time discretization step. We
employ the proposed filter in a magnetic levitation example with markovian
failures and compare its performance with both the Kalman-Bucy filter and the
Markovian linear minimum mean squares estimator
Convergence of discrete time Kalman filter estimate to continuous time estimate
This article is concerned with the convergence of the state estimate obtained
from the discrete time Kalman filter to the continuous time estimate as the
temporal discretization is refined. We derive convergence rate estimates for
different systems, first finite dimensional and then infinite dimensional with
bounded or unbounded observation operators. Finally, we derive the convergence
rate in the case where the system dynamics is governed by an analytic
semigroup. The proofs are based on applying the discrete time Kalman filter on
a dense numerable subset of a certain time interval .Comment: Author's version of the manuscript accepted for publication in
International Journal of Contro
A detectability criterion and data assimilation for non-linear differential equations
In this paper we propose a new sequential data assimilation method for
non-linear ordinary differential equations with compact state space. The method
is designed so that the Lyapunov exponents of the corresponding estimation
error dynamics are negative, i.e. the estimation error decays exponentially
fast. The latter is shown to be the case for generic regular flow maps if and
only if the observation matrix H satisfies detectability conditions: the rank
of H must be at least as great as the number of nonnegative Lyapunov exponents
of the underlying attractor. Numerical experiments illustrate the exponential
convergence of the method and the sharpness of the theory for the case of
Lorenz96 and Burgers equations with incomplete and noisy observations
Linear theory for filtering nonlinear multiscale systems with model error
We study filtering of multiscale dynamical systems with model error arising
from unresolved smaller scale processes. The analysis assumes continuous-time
noisy observations of all components of the slow variables alone. For a linear
model with Gaussian noise, we prove existence of a unique choice of parameters
in a linear reduced model for the slow variables. The linear theory extends to
to a non-Gaussian, nonlinear test problem, where we assume we know the optimal
stochastic parameterization and the correct observation model. We show that
when the parameterization is inappropriate, parameters chosen for good filter
performance may give poor equilibrium statistical estimates and vice versa.
Given the correct parameterization, it is imperative to estimate the parameters
simultaneously and to account for the nonlinear feedback of the stochastic
parameters into the reduced filter estimates. In numerical experiments on the
two-layer Lorenz-96 model, we find that parameters estimated online, as part of
a filtering procedure, produce accurate filtering and equilibrium statistical
prediction. In contrast, a linear regression based offline method, which fits
the parameters to a given training data set independently from the filter,
yields filter estimates which are worse than the observations or even divergent
when the slow variables are not fully observed
- …