5fde42acd715690d.tex
1: \begin{abstract}
2: We provide a unified analysis of \emph{a posteriori} and \emph{a priori} error bounds for a broad class of discontinuous Galerkin and $C^0$-IP finite element approximations of fully nonlinear second-order elliptic Hamilton--Jacobi--Bellman and Isaacs equations with Cordes coefficients. 
3: We prove the existence and uniqueness of strong solutions in $H^2$ of Isaacs equations with Cordes coefficients posed on bounded convex domains. 
4: We then show the reliability and efficiency of computable residual-based error estimators for piecewise polynomial approximations on simplicial meshes in two and three space dimensions. 
5: We introduce an abstract framework for the \emph{a priori} error analysis of a broad family of numerical methods and prove the quasi-optimality of discrete approximations under three key conditions of Lipschitz continuity, discrete consistency and strong monotonicity of the numerical method.
6: Under these conditions, we also prove convergence of the numerical approximations in the small-mesh limit for minimal regularity solutions.
7: We then show that the framework applies to a range of existing numerical methods from the literature, as well as some original variants. A key ingredient of our results is an original analysis of the stabilization terms.
8: As a corollary, we also obtain a generalization of the discrete Miranda--Talenti inequality to piecewise polynomial vector fields.
9: \end{abstract}
10: