Research Article
Certified real-time solution of the parametrized steady incompressible Navier–Stokes equations: rigorous reduced-basis a posteriori error bounds
Article first published online: 31 JAN 2005
DOI: 10.1002/fld.867
Copyright © 2005 John Wiley & Sons, Ltd.
Issue
1097-0363/asset/cover.gif?v=1&s=4f4c032b9f06da7e1e8ac4e112013c5bf916f2e7)
International Journal for Numerical Methods in Fluids
Special Issue: 8th ICFD Conference on Numerical Methods for Fluid Dynamics
Volume 47, Issue 8-9, pages 773–788, 20 - 30 March 2005
Additional Information
How to Cite
Veroy, K. and Patera, A. T. (2005), Certified real-time solution of the parametrized steady incompressible Navier–Stokes equations: rigorous reduced-basis a posteriori error bounds. International Journal for Numerical Methods in Fluids, 47: 773–788. doi: 10.1002/fld.867
Publication History
- Issue published online: 4 MAR 2005
- Article first published online: 31 JAN 2005
- Manuscript Accepted: 11 NOV 2004
- Manuscript Revised: 8 NOV 2004
- Manuscript Received: 27 APR 2004
Funded by
- DARPA/AFOSR. Grant Number: F49620-03-1-0356
- DARPA/GEAE. Grant Number: F49620-03-1-0439
- Singapore-MIT Alliance
- Abstract
- References
- Cited By
Keywords:
- reduced-basis;
- a posteriori error estimation;
- output bounds;
- offline–online procedures;
- incompressible Navier–Stokes;
- natural convection;
- parametrized partial differential equations
Abstract
We present a technique for the evaluation of linear-functional outputs of parametrized elliptic partial differential equations in the context of deployed (in service) systems. Deployed systems require real-time and certified output prediction in support of immediate and safe (feasible) action. The two essential components of our approach are (i) rapidly, uniformly convergent reduced-basis approximations, and (ii) associated rigorous and sharp a posteriori error bounds; in both components we exploit affine parametric structure and offline–online computational decompositions to provide real-time deployed response. In this paper we extend our methodology to the parametrized steady incompressible Navier–Stokes equations.
We invoke the Brezzi–Rappaz–Raviart theory for analysis of variational approximations of non-linear partial differential equations to construct rigorous, quantitative, sharp, inexpensive a posteriori error estimators. The crucial new contribution is offline–online computational procedures for calculation of (a) the dual norm of the requisite residuals, (b) an upper bound for the ‘L4(Ω)-H1(Ω)’ Sobolev embedding continuity constant, (c) a lower bound for the Babuška inf–sup stability ‘constant,’ and (d) the adjoint contributions associated with the output. Numerical results for natural convection in a cavity confirm the rapid convergence of the reduced-basis approximation, the good effectivity of the associated a posteriori error bounds in the energy and output norms, and the rapid deployed response. Copyright © 2005 John Wiley & Sons, Ltd.

1097-0363/asset/FLD_left.gif?v=1&s=acdf92c67291aadb6aee12c67965913ef3672990)