A reliable and efficient implicit a posteriori error estimation technique for the time harmonic Maxwell equations

We analyze an implicit a posteriori error indicator for the time harmonic Maxwell equations and prove that it is both reliable and locally efficient. For the derivation, we generalize some recent results concerning explicit a posteriori error estimates. In particular, we relax the divergence free constraint for the source term. We also justify the complexity of the obtained estimator.