We present rigorous a posteriori error bounds for the Empirical Interpolation Method (EIM). The essential ingredients are (i) analytical upper bounds for the parametric derivatives of the function to be approximated, (ii) the EIM “Lebesgue constant,” and (iii) information concerning the EIM approximation error at a finite set of points in parameter space. The bound is computed “off-line” and is valid over the entire parameter domain; it is thus readily employed in (say) the “on-line” reduced basis context. We present numerical results that confirm the validity of our approach.

On introduit des bornes d’erreur a posteriori rigoureuses pour la méthode d’interpolation empirique, EIM en abrégé (pour Empirical Interpolation Method). Les ingrédients essentiels sont (i) des bornes analytiques des dérivées par rapport au paramètre de la fonction à interpoler, (ii) une « constante de Lebesgue » de EIM, et (iii) de l’information sur l’erreur d’approximation commise par EIM en un nombre fini de points dans l’espace des paramètres. La borne, une fois pré-calculée « hors-ligne », est valable sur tout l’espace des paramètres ; elle peut donc être utilisée directement telle quelle dans les applications (étape « en ligne » des calculs dans le contexte de la méthode des bases réduites). On montre des résultats numériques qui confirment la validité de notre approche.