Generalized Empirical Interpolation Method ( GEIM )
1. GENERAL FORMULATION OF THE PROBLEM
We consider the following formulation:
where \(\mathcal{P}\) is the problem, \(\Omega \subseteq \mathbb{R}^{d}\) the physical domain
(\(d=2,3\)), \(\mathcal{D} \subseteq \mathbb{R}^{N_{p}}\) the parametical domain
and \(\mathbb{K}\) a field ( \(\mathbb{R}\) or \(\mathbb{C}\)).
In the following, we denote \(u \in \mathcal{X}\) a soluttion of the problem \(\mathcal{P}\) where \(\mathcal{X}\) is an appropriate Banach space and \(\mathcal{M}^{bk}\) the set of solutions of the problem \(\mathcal{P}\) given by the best available model of \(\mathcal{P}\) (the best knowledge model).
Usually we assume that at least \(L^{2}(\Omega)\subseteq\mathcal{X}\subseteq H^{1}(\Omega)\). |
2. GEIM FORMULATION
GEIM is an algorithm that combines both data assimilation and order reduction:
-
Order Reduction
We consider \(\mathcal{M}^{Par}=\{u(p_{1}),u(p_{2}),\cdots ,u(p_{M}) \} \subseteq \mathcal{M}^{bk}\) the set \(M\) particular solutions of \(\mathcal{P}\).
-
Data Assimilation
We consider that we have a set of \(M\) experimental observation \(y^{obs}_{m}(p), 1\leq m\leq M\) assuming that each observation \(y^{obs}_{m}(p)\) is such that:
where \(u^{true}(p)\) represents the true physical state of the system and \(\sigma_{m}\) are linear functionals representing the sensors.
\(u^{true}(p)\) is not accessible. |
We set \(\Sigma=\{\sigma_{1},\sigma_{2},\cdots ,\sigma_{M}\}\).
From \(\mathcal{M}^{Par}\) and \(\Sigma\), we construct a vector subspace generated by the interpolations functions \(\mathcal{M}^{GEIM}=\{q_{1},q_{2},\cdots,q_{M}\}\) and then we define an interpolation operator
such as \(\sigma_{i}(\mathcal{I}_{M}(u))=\sigma_{i}(u) \forall 1\leq i\leq M\).
3. METHODOLOGY
Ideally we want to choose the linear forms \(\sigma_{i} \in \Sigma\) and the basic functions \(q_{i} \in \mathcal{M}^{bk}\) in an optimal way. To do this, we consider a Glouton algorithm to minimize the interpolation error. The construction of the interpolation functions \(q \in \mathcal{X}\) and the selection of the linear forms \(\sigma \in \Sigma\) are done recursively.
Given a first form generative function, chosen as the greatest generative functions in norm \(\| \cdot \|_{\mathcal{X}}\), we can choose the linear form associated as being that which gives more information on \(u\).
The basic interpolation function is defined as
We then define
and so on by induction.
For \( M> 2\), we solve the linear system for the state \(u \in \mathcal{M}^{bk}\) to find the coefficients of interpolations associated \((\alpha_{j}^{M-1}(u))_{1\leq j \leq M-1}\).
and use the interpolation operator to define the \(M^{th}\) generating function \(u(p_{M})\), the linear form \(\sigma_{M}\) and the interpolating basic function \(q_{M}\) in the following way
For a more stable numerical implementation, the interpolation functions can be orthonormalized by the orthogonalization method of Gram-Schmid. |
We define the interpolation matrix \(B^{M}=(B_{i,j}^{M})_{ 1\leq i,j \leq M }\) where \(B_{i,j}^{M}=\sigma_{i}(q_{j})\ 1\leq i,j \leq M\) \(B^{M}\) is a lower triangular matrix with a unitary diagonal and no singular with the other entries \(B_{i,j}^{M} \in [-1,1\)].
By seting \(U^{p}=(U_{i}^{p}=\sigma_{i}(u(p)))_{1\leq i\leq M}\) and \(\alpha^{p}=(\alpha_{i}^{p})_{1\leq i\leq M}\) the interpolation coefficients, the resolution of the interpolation problem can be done by solving the linear system
As \(B^{M}\) is an lower triangular matrix with \(1\) on the diagonal, we can avoid the inversion of the matrix and solve the system of \(M\) equations to find the interpolator \(\mathcal{I}_{M}(u)\)
This gives us the recursive formula for the \(M^{th}\) interpolation operator
and the \(m^{th}\) interpolation function
This dependence of the \(m^{th}\) interolating basic function of the \(m-1^{th}\) interpolation operator is an iterative procedure that could cause a buildup of numerical error. That’s why in practice other more stable algorithms are used. |