Energy-Minimizing, Symmetric Discretizations For Anisotropic Meshes And Energy Functional Extrapolation

Self-adjoint differential operators often arise from variational calculus on energy functionals. In this case, a direct discretization of the energy functional induces a discretization of the differential operator. Following this approach, the discrete equations are naturally symmetric if the energy functional is self-adjoint, a property that may be lost when using standard difference formulas on nonuniform meshes or when the differential operator has varying coefficients. Low order finite difference or finite element systems can be derived by this approach in a systematic way and on logically structured meshes they become compact difference formulas. Extrapolation formulas used on the discrete energy can then lead to higher oder approximations of the differential operator. A rigorous analysis is presented for extrapolation used in combination with nonstandard integration rules for finite elements. Extrapolation can likewise be applied on matrix-free finite difference stencils. In our applications, both schemes show up to quartic order of convergence.