A posteriori finite-element output bounds for the incompressible Navier-Stokes equations: Application to a natural convection problem

We present a new Neumann subproblem a posteriori finite-element procedure f or the efficient calculation of rigorous, constant-free, sharp lower and up per bounds for linear and nonlinear functional outputs of the incompressibl e Navier-Stokes equations. We first formulate the bound procedure; we deriv e and discuss a bound error expression; and we then demonstrate the capabil ities of the method with numerical results obtained for natural convection problems. We also implement an optimal adaptive refinement strategy based o n a local elemental decomposition of the bound gap. (C) 2001 Academic Press .