Justification of the saturation assumption

The saturation assumption is widely used in computational science and engineering, usually without any rigorous theoretical justification and even despite of counterexamples for some coarse meshes known in the mathematical literature. On the other hand, there is overwhelming numerical evidence at least in an asymptotic regime for the validity of the saturation. In the generalized form, the assumption states, for any , that parallel to vertical bar u - (U) over cap vertical bar parallel to(2) <= (1 - epsilon/C)parallel to vertical bar u - U vertical bar parallel to(2) + epsilon osc(2)(f, N) (SA) for the exact solution u and the first-order conforming finite element solution U (resp. ) of the Poisson model problem with respect to a regular triangulation (resp. ) and its uniform refinement within the class of admissible triangulations. The point is that the patch-oriented oscillations vanish for constant right-hand sides and may be of higher order for smooth f, while the strong reduction factor involves some universal constant C which exclusively depends on the set of admissible triangulations and so on the initial triangulation only. This paper proves the inequality (SA) for the energy norms of the errors for any admissible triangulation in up to computable pathological situations characterized by failing the weak saturation test (WS). This computational test (WS) for some triangulation states that the solutions U and do not coincide for the constant right-hand side . The set of possible counterexamples is characterized as with no interior node or exactly one interior node which is the vertex of all triangles and is a particular uniform bisec3 refinement. In particular, the strong saturation assumption holds for all triangulations with more than one degree of freedom. The weak saturation test (WS) is only required for zero or one degree of freedom and gives a definite outcome with O(1) operations. The only counterexamples known so far are regular n-polygons. The paper also discusses a generalization to linear elliptic second-order PDEs with small convection to prove that saturation is somehow generic and fails only in very particular situations characterised by (WS).