Hesthaven, Jan S.Stamm, B.Zhang, S.2013-11-122013-11-122013-11-12201210.1137/110848268https://infoscience.epfl.ch/handle/20.500.14299/96914WOS:000310474400023[B. Fares et al., J. Comput. Phys., 230 (2011), pp. 5532-5555], a reduced basis method (RBM) for the electric field integral equation (EFIE) using the boundary element method (BEM) is developed, based on a simplified a posteriori error estimator for the greedy-based snapshot selection. In this paper, we extend this work and propose a certified RBM for the EFIE based on a mathematically rigorous a posteriori estimator. A central difficulty of the certified method is that the intrinsic solution space of the EFIE is H-div(-1/2) (G), inducing a relatively complicated norm. Since the measured error consists of the difference between the reduced basis solution and the boundary element solution, which is a member of the discrete boundary element space, we clarify that the intrinsic norm can be replaced by an alternative norm and in this work use the H(div)-norm, which is computable and demonstrated to not degrade the quality of the error estimator. A successive constraint method (SCM) for complex matrices is discussed in detail, and numerical tests for the SCM and then the certified RBM confirm the analysis.basis methodsintegral equationselectromagneticstext::journal::journal article::research article