1: \begin{abstract}

2: Local adaptivity and mesh refinement are key to the efficient simulation of wave phenomena

3: in heterogeneous media or complex geometry. Locally refined meshes, however, dictate

4: a small time-step everywhere with a crippling

5: effect on any explicit time-marching method. In \cite{DiazGrote09} a leap-frog (LF) based  explicit local time-stepping (LTS) method was proposed, which overcomes

6: the severe bottleneck due to a few small elements

7: by taking small time-steps in the locally refined region

8: and larger steps elsewhere. Here a rigorous convergence proof is presented

9: for the fully-discrete LTS-LF method

10: when combined with a standard conforming finite element method (FEM) in space. Numerical results

11: further illustrate the usefulness of the LTS-LF Galerkin FEM in the presence of corner singularities.

12: 

13: 

14: \end{abstract}

15: