Karen Veroy

Anna-Lena Gerner, Arnold Reusken, Karen Veroy

We present reduced basis approximations and rigorous a posteriori error bounds for the instationary Stokes equations. We shall discuss both a method based on the standard formulation as well as a method based on a penalty approach, which combine techniques developed in our previous work on parametrized saddle point problems with current reduced basis techniques for parabolic problems. The analysis then shows how time integration affects the development of reduced basis a posteriori error bounds as well as the construction of computationally efficient reduced basis approximation spaces. To demonstrate their performance in practice, the methods are applied to a Stokes flow in a two-dimensional microchannel with a parametrized rectangular obstacle; evolution in time is induced by a time-dependent velocity profile on the inflow boundary. Numerical results illustrate (i) the rapid convergence of reduced basis approximations, (ii) the performance of a posteriori error bounds with respect to sharpness, and (iii) computational efficiency.

Anna-Lena Gerner, Karen Veroy

This paper directly builds upon previous work where we introduced new reduced basis a posteriori error bounds for parametrized saddle point problems based on Brezzi's theory. We here sharpen these estimates for the special case of a symmetric problem. Numerical results provide a direct comparison with former approaches and quantify the superiority of the new developed error bounds in practice: Effectivities now decrease significantly; consequently, the proposed methods provide accurate reduced basis approximations at much less computational cost.

Nicole Aretz-Nellesen, Martin A. Grepl, Karen Veroy

In this paper, we propose a reduced order approach for 3D variational data assimilation governed by parametrized partial differential equations. In contrast to the classical 3D-VAR formulation that penalizes the measurement error directly, we present a modified formulation that penalizes the experimentally-observable misfit in the measurement space. Furthermore, we include a model correction term that allows to obtain an improved state estimate. We begin by discussing the influence of the measurement space on the amplification of noise and prove a necessary and sufficient condition for the identification of a "good" measurement space. We then propose a certified reduced basis (RB) method for the estimation of the model correction, the state prediction, the adjoint solution and the observable misfit with respect to the true state for real-time and many-query applications. A posteriori bounds are proposed for the error in each of these approximations. Finally, we introduce different approaches for the generation of the reduced basis spaces and the stability-based selection of measurement functionals. The 3D-VAR method and the associated certified reduced basis approximation are tested in a parameter and state estimation problem for a steady-state thermal conduction problem with unknown parameters and unknown Neumann boundary conditions.

Zhenying Zhang, Eduard Bader, Karen Veroy

Motivated by problems in contact mechanics, we propose a duality approach for computing approximations and associated a posteriori error bounds to solutions of variational inequalities of the first kind. The proposed approach improves upon existing methods introduced in the context of the reduced basis method in two ways. First, it provides sharp a posteriori error bounds which mimic the rate of convergence of the RB approximation. Second, it enables a full offline-online computational decomposition in which the online cost is completely independent of the dimension of the original (high-dimensional) problem. Numerical results comparing the performance of the proposed and existing approaches illustrate the superiority of the duality approach in cases where the dimension of the full problem is high.