Abstract. With the rise in popularity of compatible finite element, finite difference and finite volume discretizations for the time domain eddy current equations, there has been a corresponding need for fast solvers of the resulting linear algebraic systems. However, the traits that make compatible discretizations a preferred choice for the Maxwell's equations also render these linear systems essentially intractable by truly black-box techniques. We propose a new algebraic reformulation of the discrete eddy current equations along with a new algebraic multigrid technique (AMG) for this reformulated problem. The reformulation process takes advantage of a discrete Hodge decomposition on co-chains to replace the discrete eddy current equations by an equivalent 2 × 2 block linear system whose diagonal blocks are discrete Hodge Laplace operators acting on 1-cochains and 0-cochains, respectively. While this new AMG technique requires somewhat specialized treatment on the finest mesh, the coarser meshes can be handled using standard methods for Laplace-type problems. Our new AMG method is applicable to a wide range of compatible methods on structured and unstructured grids, including edge finite elements, mimetic finite differences, co-volume methods and Yee-like schemes. We illustrate the new technique, using edge elements in the context of smoothed aggregation AMG, and present computational results for problems in both two and three dimensions.Key words. Maxwell's equations, eddy currents, algebraic multigrid, multigrid, discrete Hodge Laplacian, compatible discretizations, edge elements.
AMS subject classifications. 65F10, 65F30, 78A301. Introduction. Due to the pioneering work of Bossavit [9], it is now wellknown that stable and accurate numerical solution of Maxwell's equations can be achieved by using discrete spaces from a finite-dimensional analogue of the differential De Rham complex. Numerical methods that are based on such discretizations are now commonly referred to as compatible, or mimetic methods [6].However, the same traits that make compatible methods a natural choice for Maxwell's equations also render the ensuing linear system essentially intractable by truly general purpose black-box multigrid solvers. For example, a compatible discretization of the curl-curl operator gives rise to a symmetric, semi-definite linear system whose null-space is of approximately the same size as the number of nodes in the computational grid. Multilevel solution of such systems often utilizes special smoothing, prolongation and restriction operators that separate error components in the null-space and its complement and satisfy a commuting diagram property. Formulation of such operators is well-understood in geometric multigrid settings [22], where