Observability of discretized partial differential equations

The situation in which one cannot solve a numerical initial value problem for lack of complete initial data is arising ever more frequently in applied sciences and engineering. The procedure of estimating the evolving solution by inserting incomplete data into a numerical model as they become available at different instants of time is called data assimilation or filtering.We show that if data generated by a linear system of partial differential equations (PDE) are inserted properly, then complete observability of the discrete numerical model is necessary and sufficient for asymptotic stability of the data assimilation process. This complete observability means that if the data had been generated by the discrete model rather than by the PDE system, then the data would define the state of the model uniquely after some finite time.Simple observability criteria for discretizations of linear, constant-coefficient PDE on periodic domains are formulated in terms of properties of the symbol of the numerical schem...

[1]  J. Bowles,et al.  Fourier Analysis of Numerical Approximations of Hyperbolic Equations , 1987 .

[2]  J. Demmel.  Computing stable eigendecompositions of matrices , 1986 .

[3]  Robert N. Miller.  Toward the Application of the Kalman Filter to Regional Open Ocean Modeling , 1986 .

[4]  J. Demmel,et al.  Stably Computing the Kronecker Structure and Reducing Subspaces of Singular Pencils A-λ for Uncertain Data , 1986 .

[5]  Michael Ghil,et al.  An efficient algorithm for estimating noise covariances in distributed systems , 1985 .

[6]  Daniel Boley.  A Perturbation Result for Linear Control Problems , 1985 .

[7]  Stephen E. Cohn,et al.  A Kalman filter for a two-dimensional shallow-water model, formulation and preliminary experiments , 1985 .

[8]  L. Trefethen.  Instability of difference models for hyperbolic initial boundary value problems , 1984 .

[9]  Daniel Boley,et al.  Computing the Kalman decomposition: An optimal method , 1984 .

[10]  John L. Casti,et al.  Recent Developments and Future Perspectives in Nonlinear System Theory , 1982 .

[11]  A very simple application of Kalman filtering to meteorological data assimilation , 1982 .

[12]  S. Cohn,et al.  Applications of Estimation Theory to Numerical Weather Prediction , 1981 .

[13]  Michael Ghil,et al.  Dynamic Meteorology: Data Assimilation Methods , 1981 .

[14]  K. Bube.  Determining solutions of hyperbolic systems from incomplete data , 1981 .

[15]  L. Trefethen.  Group velocity in finite difference schemes , 1981 .

[16]  C. Paige.  Properties of numerical algorithms related to computing controllability , 1981 .

[17]  P. Dooren.  The generalized eigenstructure problem in linear system theory , 1981 .

[18]  M. Ghil.  The compatible balancing approach to initialization, and four-dimensional data assimilation , 1980 .

[19]  D. Russell.  Controllability and Stabilizability Theory for Linear Partial Differential Equations: Recent Progress and Open Questions , 1978 .

[20]  Steinar Saelid,et al.  Observability theorems for some linear hyperbolic systems , 1978, Autom..

[21]  M. Saunders,et al.  LEAST SQUARES ESTIMATION OF DISCRETE LINEAR DYNAMIC SYSTEMS USING ORTHOGONAL TRANSFORMATIONS , 1977 .

[22]  D. Gottlieb,et al.  Numerical analysis of spectral methods : theory and applications , 1977 .

[23]  Roberto Triggiani,et al.  Extensions of Rank Conditions for Controllability and Observability to Banach Spaces and Unbounded Operators , 1976 .

[24]  W. Perkins,et al.  Observability conditions for two general classes of linear flow processes , 1974 .

[25]  Burton Wendroff,et al.  The Relative Efficiency of Finite Difference and Finite Element Methods. I: Hyperbolic Problems and Splines , 1974 .

[26]  Vasile Mihai Popov,et al.  Hyperstability of Control Systems , 1973 .

[27]  D. B. Duncan,et al.  Linear Dynamic Recursive Estimation from the Viewpoint of Regression Analysis , 1972 .

[28]  H. Kreiss,et al.  Stability Theory of Difference Approximations for Mixed Initial Boundary Value Problems. II , 1972 .

[29]  J. Seinfeld,et al.  Observability of a class of hyperbolic distributed parameter systems , 1971 .

[30]  Ralph Shapiro,et al.  Smoothing, filtering, and boundary effects , 1970 .

[31]  A. Jazwinski.  Stochastic Processes and Filtering Theory , 1970 .

[32]  J. Deyst,et al.  Conditions for asymptotic stability of the discrete minimum-variance linear estimator , 1968 .

[33]  Tosio Kato.  Perturbation theory for linear operators , 1966 .

[34]  R. E. Kalman,et al.  Controllability of linear dynamical systems , 1963 .

[35]  R. E. Kalman,et al.  Contributions to the Theory of Optimal Control , 1960 .

[36]  R. Kálmán.  On the general theory of control systems , 1959 .

[37]  R. D. Richtmyer,et al.  Difference methods for initial-value problems , 1959 .