We propose a numerical analysis of proper orthogonal decomposition (POD) model reductions in which a priori error estimates are expressed in terms of the projection errors that are controlled in the construction of POD bases. These error estimates are derived for generic parabolic evolution PDEs, including with non-linear Lipschitz right-hand sides, and for wave-like equations. A specific projection continuity norm appears in the estimates and - whereas a general uniform continuity bound seems out of reach - we prove that such a bound holds in a variety of Galerkin bases choices. Furthermore, we directly numerically assess this bound - and the effectiveness of the POD approach altogether - for test problems of the type considered in the numerical analysis, and also for more complex equations. Namely, the numerical assessment includes a parabolic equation with super-linear reaction terms, inspired from the FitzHugh-Nagumo electrophysiology model, and a 3D biomechanical heart model. This shows that the effectiveness established for the simpler models is also achieved in the reduced-order simulation of these highly complex systems.
@article{M2AN_2012__46_4_731_0,
author = {Chapelle, Dominique and Gariah, Asven and Sainte-Marie, Jacques},
title = {Galerkin approximation with proper orthogonal decomposition : new error estimates and illustrative examples},
journal = {ESAIM: Mathematical Modelling and Numerical Analysis - Mod\'elisation Math\'ematique et Analyse Num\'erique},
volume = {46},
year = {2012},
pages = {731-757},
doi = {10.1051/m2an/2011053},
mrnumber = {2891468},
zbl = {1273.65125},
language = {en},
url = {http://dml.mathdoc.fr/item/M2AN_2012__46_4_731_0}
}
Chapelle, Dominique; Gariah, Asven; Sainte-Marie, Jacques. Galerkin approximation with proper orthogonal decomposition : new error estimates and illustrative examples. ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique, Tome 46 (2012) pp. 731-757. doi : 10.1051/m2an/2011053. http://gdmltest.u-ga.fr/item/M2AN_2012__46_4_731_0/
[1] and , Interpolation method for adapting reduced-order models and application to aeroelasticity. AIAA J. 46 (2008) 1803-1813.
[2] , Model reduction by moment matching for linear and nonlinear systems. IEEE Trans. Automat. Cont. 55 (2010) 2321-2336. | MR 2742223 | Zbl 1189.93028
[3] , Finite Element Procedures. Prentice Hall (1996). | Zbl 0994.74001
[4] R. Chabiniok, D. Chapelle, P.-F. Lesault, A. Rahmouni and J.-F. Deux, Validation of a biomechanical heart model using animal data with acute myocardial infarction, in MICCAI Workshop on Cardiovascular Interventional Imaging and Biophysical Modelling (CI2BM09) (2009).
[5] , The Finite Element Method for Elliptic Problems. North-Holland (1987). | MR 520174 | Zbl 0383.65058
[6] , Approximation by finite element functions using local regularization. RAIRO Anal. Numér. 8 (1975) 77-84. | Numdam | MR 400739 | Zbl 0368.65008
[7] , , , and , A multiparameter moment-matching model-reduction approach for generating geometrically parameterized interconnect performance models. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst.23 (2004) 678-693.
[8] and , Mathematical Analysis and Numerical Methods for Science and Technology 5 (1992). | MR 1156075 | Zbl 0755.35001
[9] and , On the physical interpretation of proper orthogonal modes in vibrations. J. Sound Vib. 211 (1998) 607-616.
[10] , Differential Analysis. Cambridge University Press (1980). | MR 561908 | Zbl 0442.34002
[11] and , A survey of model reduction by balanced truncation and some new results. Int. J. Control 77 (2004) 748-766. | MR 2072207 | Zbl 1061.93022
[12] and , Proper orthogonal decomposition surrogate models for nonlinear dynamical systems : Error estimates and suboptimal control, inDimension Reduction of Large-Scale Systems, edited by T.J. Barth, M. Griebel, D.E. Keyes, R.M. Nieminen, D. Roose, T. Schlick, P. Benner, D.C. Sorensen and V. Mehrmann. Lect. Notes Comput. Sci. Eng. 45 (2005) 261-306. | MR 2503787 | Zbl 1079.65533
[13] and , Error estimates for abstract linear-quadratic optimal control problems using proper orthogonal decomposition. Comput. Optim. Appl. 39 (2008) 319-345. | MR 2396870 | Zbl 1191.49040
[14] , and , Turbulence, Coherent Structures, Dynamical Systems and Symmetry. Cambridge University Press, Cambridge (1996). | MR 1422658 | Zbl 0923.76002
[15] and , Galerkin proper orthogonal decomposition methods for parameter dependent elliptic systems. Discussiones Mathematicae : Differential Inclusions, Control and Optimization 27 (2007) 95-117. | MR 2413807 | Zbl 1156.35020
[16] , Statistics in function space, J. Indian Math. Soc. (N.S.) 7 (1943) 76-88. | MR 9816 | Zbl 0063.03317
[17] and , Galerkin proper orthogonal decomposition methods for parabolic problems. Numer. Math. 90 (2001) 117-148. | MR 1868765 | Zbl 1005.65112
[18] and , Galerkin proper orthogonal decomposition methods for a general equation in fluid dynamics. SIAM J. Numer. Anal. 40 (2002) 492-515 (electronic). | MR 1921667 | Zbl 1075.65118
[19] and , Proper orthogonal decomposition for optimality systems. ESAIM : M2AN 42 (2008) 1-23. | Numdam | MR 2387420 | Zbl 1141.65050
[20] , and , A priori convergence theory for reduced-basis approximations of single-parameter elliptic partial differential equations. J. Sci. Comput. 17 (2002) 437-446. | MR 1910581 | Zbl 1014.65115
[21] , , and , A mathematical and computational framework for reliable real-time solution of parametrized partial differential equations. ESAIM : M2AN 36 (2002) 747-771. Programming. | Numdam | MR 1955536 | Zbl 1024.65104
[22] and , Introduction à l'Analyse Numérique des Equations aux Dérivées Partielles. Collection Mathématiques Appliquées pour la Maîtrise (in French), Masson (1983). | MR 773854 | Zbl 0561.65069
[23] , and , Reduced-basis output bound methods for parabolic problems. IMA J. Numer. Anal. 26 (2006) 423-445. | MR 2241309 | Zbl 1101.65099
[24] , and , Reduced basis approximation and a posteriori error estimation for affinely parametrized elliptic coercive partial differential equations : application to transport and continuum mechanics. Arch. Comput. Methods Eng. 15 (2008) 229-275. | MR 2430350 | Zbl pre05344486
[25] , , and , Modeling and estimation of the cardiac electromechanical activity. Comput. Struct. 84 (2006) 1743-1759. | MR 2273354
[26] , Balanced truncation model reduction for semidiscretized Stokes equation. Linear Algebra Appl. 415 (2006) 262-289. | MR 2227775 | Zbl 1102.65075
[27] , and , Reduced-basis approximation of the viscous Burgers equation : rigorous a posteriori error bounds. C. R. Math. Acad. Sci. Paris 337 (2003) 619-624. | MR 2017737 | Zbl 1036.65075
[28] and , Balanced model reduction via the proper orthogonal decomposition. AIAA J. 40 (2002) 2323-2330.