A posteriori error estimates via equilibrated fluxes 2017/2018
Martin Vohralík


Course description
Numerical simulations have become a basic tool for approximation of various phenomena in the sciences, engineering, medicine, and many other domains.

Two questions of primordial interest are: The theory of a posteriori error estimation allows to give/indicate answers to these questions. This course presents its basic principles for model problems. An abstract unified framework is derived. Applications to the finite element, finite volume, mixed finite element, and discontinuous Galerkin methods are given.
Course topics
  1. Basic notions of an a posteriori estimate:
    1. guaranteed upper bound
    2. local efficiency
    3. asymptotic exactness
    4. robustness with respect to parameters
    5. evaluation cost
  2. Fundamental physical and mathematical principles and theorems
    1. constitutive law, equilibrium equation, constraint
    2. continuity of potential and continuity of the normal trace of flux: the spaces H1 and H(div)
    3. primal and dual variational formulations, energy and complementary energy
    4. Green theorem
    5. Prager and Synge theorem
    6. Poincaré–Friedrichs–Wirtinger inequalities
    7. residual of a partial differential equation
    8. energy norm and dual norms
  3. A unified framework for a posteriori error estimates
    1. the Laplace equation
    2. the stationary linear convection–diffusion–reaction equation
    3. the Stokes problem
    4. the heat equation
    5. the nonlinear Laplace equation
  4. Construction and evaluation of the estimators
    1. approximation of the spaces H1 (conforming finite element spaces) and H(div) (Raviart–Thomas spaces) on simplicial meshes
    2. local postprocessing
    3. equilibration
  5. Efficiency of the "residual" estimates
    1. bubble functions
    2. equivalence of norms on finite-dimensional spaces
    3. inverse inequalities
  6. Use of the estimates
    1. adaptation of spatial meshes
    2. adaptation of the time step
    3. stopping criteria for linear solvers
    4. stopping criteria for nonlinear solvers
  7. Application to different numerical methods
    1. finite element method
    2. finite volume method
    3. mixed finite element method
    4. discontinuous Galerkin method

Lectures (MFF UK, Karlín, Prague)

Monday April 16, 2018, 10:40–12:10, lecture room KNM, 4th floor
Wednesday April 18, 2018, 9:00–10:30, lecture room K12
Wednesday April 18, 2018, 10:40–12:10, lecture room K8
Friday April 20, 2018, 12:20–13:50, lecture room KNM, 4th floor
Friday April 20, 2018, 14:00–15:30, lecture room KNM, 4th floor
Monday April 23, 2018, 10:40–12:10, lecture room KNM, 4th floor
Monday April 23, 2018, 12:20–13:50, lecture room KNM, 4th floor
Wednesday April 25, 2018, 9:00–10:30, lecture room K12
Wednesday April 25, 2018, 10:40–12:10, lecture room K8
Friday April 27, 2018, 12:20–13:50, lecture room KNM, 4th floor
Friday April 27, 2018, 14:00–15:30, lecture room KNM, 4th floor

Lecture notes

version of February 21, 2015 PDF icon
Examples of (written) examinations

2011 PDF icon
2012 PDF icon

Examination Prague

Monday May 21, 2018, 12:30, lecture room KNM, MFF UK, Karlín, 4th floor


Books on the subject

Detailed material
  1. Ern A., Vohralík, M. Polynomial-degree-robust a posteriori estimates in a unified setting for conforming, nonconforming, discontinuous Galerkin, and mixed discretizations. SIAM J. Numer. Anal. 53 (2015), 1058–1081, Journal version, paper PDF icon.
  2. Čermák M., Hecht F., Tang Z., Vohralík M. Adaptive inexact iterative algorithms based on polynomial-degree-robust a posteriori estimates for the Stokes problem. Numer. Math. 138 (2018), 1027–1065, journal version, preprint PDF icon .
  3. Ern A., Smears I., Vohralík M. Guaranteed, locally space-time efficient, and polynomial-degree robust a posteriori error estimates for high-order discretizations of parabolic problems. SIAM J. Numer. Anal. 55 (2017), 2811–2834, journal version, paper PDF icon .
  4. Ern A., Vohralík M. Adaptive inexact Newton methods with a posteriori stopping criteria for nonlinear diffusion PDEs. SIAM J. Sci. Comput. 35 (2013), A1761–A1791, Journal version, paper PDF icon.