1: \begin{abstract}

2:   We derive a fully computable \aposteriori error estimator for a

3:   Galerkin finite element solution of the wave equation with explicit

4:   leapfrog time-stepping. Our discrete formulation accomodates both

5:   time evolving meshes and leapfrog based local time-stepping

6:   \citet{DiazGrote:09:article:Energy-Conserving}, which overcomes the

7:   stringent stability restriction on the time-step due to local mesh

8:   refinement. Thus we incorporate adaptivity into fully explicit time

9:   integration with adaptive mesh change while retaining efficiency.

10:   %

11:   %

12:   %

13:   %

14:   %

15:   The error analysis relies on elliptic reconstructors and abstract

16:   grid transfer operators, which allows for use-defined elliptic error

17:   estimators.

18:   %

19:   %

20:   %

21:   Numerical results using the elliptic Babuška--Rheinboldt estimators

22:   illustrate the optimal rate of convergence with mesh size of the

23:   \aposteriori error estimator.

24: \end{abstract}

25: