Explicit and provably stable spatiotemporal FDTD refinement

In this paper we introduce an explicit and provably conditionally stable Finite Difference Time Domain (FDTD) algorithm for Maxwell's equations, with local refinement in both the spatial discretization length and in the time step (spatiotemporal refinement). This enables local spatial refinement with a locally reduced time step.