A mathematical and computational framework for reliable real-time solution of parametrized partial differential equations
ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique, Tome 36 (2002) no. 5, pp. 747-771.

We present in this article two components: these components can in fact serve various goals independently, though we consider them here as an ensemble. The first component is a technique for the rapid and reliable evaluation prediction of linear functional outputs of elliptic (and parabolic) partial differential equations with affine parameter dependence. The essential features are (i) (provably) rapidly convergent global reduced-basis approximations - Galerkin projection onto a space ${W}_{N}$ spanned by solutions of the governing partial differential equation at $N$ selected points in parameter space; (ii) a posteriori error estimation - relaxations of the error-residual equation that provide inexpensive yet sharp and rigorous bounds for the error in the outputs of interest; and (iii) off-line/on-line computational procedures - methods which decouple the generation and projection stages of the approximation process. This component is ideally suited - considering the operation count of the online stage - for the repeated and rapid evaluation required in the context of parameter estimation, design, optimization, and real-time control. The second component is a framework for distributed simulations. This framework comprises a library providing the necessary abstractions/concepts for distributed simulations and a small set of tools - namely SimTeXand SimLaB- allowing an easy manipulation of those simulations. While the library is the backbone of the framework and is therefore general, the various interfaces answer specific needs. We shall describe both components and present how they interact.

DOI : https://doi.org/10.1051/m2an:2002035
Classification : 65N15,  65N30,  68U01,  68U20,  68M14,  68M15
Mots clés : mathematical framework, reduced-basis methods, error bounds, computational framework, simulations repository, distributed and parallel computing, CORBA, C++
@article{M2AN_2002__36_5_747_0,
author = {Prud'homme, Christophe and Rovas, Dimitrios V. and Veroy, Karen and Patera, Anthony T.},
title = {A mathematical and computational framework for reliable real-time solution of parametrized partial differential equations},
journal = {ESAIM: Mathematical Modelling and Numerical Analysis - Mod\'elisation Math\'ematique et Analyse Num\'erique},
pages = {747--771},
publisher = {EDP-Sciences},
volume = {36},
number = {5},
year = {2002},
doi = {10.1051/m2an:2002035},
zbl = {1024.65104},
language = {en},
url = {http://www.numdam.org/articles/10.1051/m2an:2002035/}
}
Prud'homme, Christophe; Rovas, Dimitrios V.; Veroy, Karen; Patera, Anthony T. A mathematical and computational framework for reliable real-time solution of parametrized partial differential equations. ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique, Tome 36 (2002) no. 5, pp. 747-771. doi : 10.1051/m2an:2002035. http://www.numdam.org/articles/10.1051/m2an:2002035/

[1] M.A. Akgun, J.H. Garcelon and R.T. Haftka, Fast exact linear and non-linear structural reanalysis and the Sherman-Morrison-Woodbury formulas. Int. J. Numer. Methods Engrg. 50 (2001) 1587-1606. | Zbl 0971.74076

[2] E. Allgower and K. Georg, Simplicial and continuation methods for approximating fixed-points and solutions to systems of equations. SIAM Rev. 22 (1980) 28-85. | Zbl 0432.65027

[3] B.O. Almroth, P. Stern and F.A. Brogan, Automatic choice of global shape functions in structural analysis. AIAA Journal 16 (1978) 525-528.

[4] A. Barrett and G. Reddien, On the reduced basis method. Z. Angew. Math. Mech. 75 (1995) 543-549. | Zbl 0832.65047

[5] T.F. Chan and W.L. Wan, Analysis of projection methods for solving linear systems with multiple right-hand sides. SIAM J. Sci. Comput. 18 (1997) 1698-1721. | Zbl 0888.65033

[6] A.G. Evans, J.W. Hutchinson, N.A. Fleck, M.F. Ashby and H.N.G. Wadley, The topological design of multifunctional cellular metals. Prog. Mater. Sci. 46 (2001) 309-327.

[7] C. Farhat, L. Crivelli and F.X. Roux, Extending substructure based iterative solvers to multiple load and repeated analyses. Comput. Methods Appl. Mech. Engrg. 117 (1994) 195-209. | Zbl 0851.73059

[8] J.P. Fink and W.C. Rheinboldt, On the error behavior of the reduced basis technique for nonlinear finite element approximations. Z. Angew. Math. Mech. 63 (1983) 21-28. | Zbl 0533.73071

[9] L. Machiels, J. Peraire and A.T. Patera, A posteriori finite element output bounds for the incompressible Navier-Stokes equations; Application to a natural convection problem. J. Comput. Phys. 172 (2001) 401-425. | Zbl 1002.76069

[10] Y. Maday, L. Machiels, A.T. Patera and D.V. Rovas, Blackbox reduced-basis output bound methods for shape optimization2000) 429-436.

[11] Y. Maday, A.T. Patera and J. Peraire, A general formulation for a posteriori bounds for output functionals of partial differential equations; Application to the eigenvalue problem. C. R. Acad. Sci. Paris Sér. I Math. 328 (1999) 823-828. | Zbl 0933.65129

[12] Y. Maday, A.T. Patera and G. Turinici, Global a priori convergence theory for reduced-basis approximation of single-parameter symmetric coercive elliptic partial differential equations. C. R. Acad. Sci. Paris Sér. I Math. 335 (2002) 1-6. | Zbl 1009.65066

[13] A.K. Noor and J.M. Peters, Reduced basis technique for nonlinear analysis of structures. AIAA Journal 18 (1980) 455-462.

[14] A.T. Patera and E.M. Rønquist, A general output bound result: Application to discretization and iteration error estimation and control. Math. Models Methods Appl. Sci. 11 (2001) 685-712. | Zbl 1012.65110

[15] A.T. Patera and E.M. Rønquist, A general output bound result: Application to discretization and iteration error estimation and control. Math. Models Methods Appl. Sci. (2000). MIT FML Report 98-12-1. | Zbl 1012.65110

[16] J.S. Peterson, The reduced basis method for incompressible viscous flow calculations. SIAM J. Sci. Stat. Comput. 10 (1989) 777-786. | Zbl 0672.76034

[17] T.A. Porsching, Estimation of the error in the reduced basis method solution of nonlinear equations. Math. Comp. 45 (1985) 487-496. | Zbl 0586.65040

[18] C. Prud'Homme, A Framework for Reliable Real-Time Web-Based Distributed Simulations. MIT (to appear).

[19] C. Prud'Homme, D. Rovas, K. Veroy, Y. Maday, A.T. Patera and G. Turinici, Reliable real-time solution of parametrized partial differential equations: Reduced-basis output bounds methods. J. Fluids Engrg. 124 (2002) 70-80.

[20] W.C. Rheinboldt, Numerical analysis of continuation methods for nonlinear structural problems. Comput. Structures 13 (1981) 103-113. | Zbl 0465.65030

[21] W.C. Rheinboldt, On the theory and error estimation of the reduced basis method for multi-parameter problems. Nonlinear Anal. 21 (1993) 849-858. | Zbl 0802.65068

[22] D. Rovas, Reduced-Basis Output Bound Methods for Partial Differential Equations. Ph.D. thesis, MIT (in progress).

[23] K. Veroy, Reduced Basis Methods Applied to Problems in Elasticity: Analysis and Applications. Ph.D. thesis, MIT (in progress).

[24] N. Wicks and J. W. Hutchinson, Optimal truss plates. Internat. J. Solids Structures 38 (2001) 5165-5183. | Zbl 0995.74054

[25] E.L. Yip, A note on the stability of solving a rank-$p$ modification of a linear system by the Sherman-Morrison-Woodbury formula. SIAM J. Sci. Stat. Comput. 7 (1986) 507-513. | Zbl 0628.65020