Characterization of spurious‐free finite element methods in electromagnetics

From a theoretical point of view the question of spurious modes has been regarded as a closed problem. However, in this paper we show that even a precise definition of spurious‐free approximation was lacking. Hence, a sound definition of spurious‐free finite element method is given and a set of necessary and sufficient conditions ensuring that a finite element method is spurious‐free in the defined sense is stated. A critical comparison between the proposed theory and the currently accepted one is then carried out and existing counterexamples to the latter are pointed out. Comparison with an older theory leads to another set of necessary and sufficient conditions providing a better grasp of the key feature a finite element space must have to rule out spurious modes. The impact of the proposed theory is stressed, showing that Nedelec's tetrahedral edge elements of all orders provide spurious‐free approximations in all conditions of practical interest. Finally, it is shown, for the first time to the best of authors’ knowledge, that also many high‐order edge elements, recently proposed in the engineering literature for the analysis of electromagnetic problems, provide the same kind of reliable approximation.