Locally refined meshes impose severe stability constraints on explicit time-stepping methods for the numerical simulation of time dependent wave phenomena. To overcome that stability restriction, local time-stepping methods are developed, which allow arbitrarily small time steps precisely where small elements in the mesh are located. When combined with a symmetric finite element discretization in space with an essentially diagonal mass matrix, the resulting discrete numerical scheme is explicit, is inherently parallel, and exactly conserves a discrete energy. Starting from the standard second-order "leap-frog" scheme, time-stepping methods of arbitrary order of accuracy are derived. Numerical experiments illustrate the efficiency and usefulness of these methods and validate the theory.
Introduction.The efficient and accurate numerical solution of the wave equation is of fundamental importance for the simulation of time dependent acoustic, electromagnetic, or elastic wave phenomena. Finite difference methods are commonly used for the simulation of time dependent waves because of their simplicity and their efficiency on structured Cartesian meshes [27,28,34]. However, in the presence of complex geometry or small geometric features that require locally refined meshes, their usefulness is somewhat limited. In contrast, finite element methods (FEMs) easily handle locally refined unstructured meshes; moreover, their extension to high order is straightforward, even in the presence of curved boundaries or material interfaces.The finite element Galerkin discretization of second-order hyperbolic problems typically leads to a second-order system of ordinary differential equations. Even if explicit time stepping is employed, the mass matrix arising from the spatial discretization by standard continuous finite elements must be inverted at each time step-a major drawback in terms of efficiency. To overcome that problem, various "mass lumping" techniques have been proposed, which effectively replace the mass matrix by a diagonal approximation. While straightforward for piecewise linear elements [8,32], mass lumping techniques require particular quadrature or cubature rules at higher order to preserve the accuracy and guarantee numerical stability [14,22].Alternatively, discontinuous Galerkin (DG) methods offer even greater flexibility for local mesh refinement by accommodating nonconforming grids and hanging nodes.