Generalized formulations of Maxwell's equations for numerical Vlasov-Maxwell simulations

When solving numerically approximations of the Vlasov-Maxwell equations, the source terms in Maxwell's equations coming from the numerical solution of the Vlasov equation do not generally satisfy the continuity equation which is required for Maxwell's equations to be well-posed. Hence it is necessary to introduce generalized Maxwell's equations which remain well-posed when there are errors in the sources. Different such formulations have been introduced previously. The aim of this paper is to perform their mathematical analysis and verify the existence and uniqueness of the solution.