Estimation of the validity domain of hyper-reduction approximations in generalized standard elastoviscoplasticity

Abstract

Background

We propose an a posteriori estimator of the error of hyper-reduced predictions for elastoviscoplastic problems. For a given fixed mesh, this error estimator aims to forecast the validity domain in the parameter space, of hyper-reduction approximations. This error estimator evaluates if the simulation outputs generated by the hyper-reduced model represent a convenient approximation of the outputs that the finite element simulation would have predicted. We do not account for the approximation error related to the finite element approximation upon which the hyper-reduction approximation is introduced.

Methods

We restrict our attention to generalized standard materials. Upon use of incremental variational principles, we propose an error in constitutive relation. This error is split into three terms including a tailored norm of the hyper-reduction approximation error. This error norm is defined by using the convexity of an incremental potential introduced to state the constitutive equations. The second term of the a posteriori error is related to the stress recovery technique that generates stresses fulfilling the finite element equilibrium equations. The last term is a coupling term between the hyper-reduction approximation error at each time step and the errors committed before this time step. Unfortunately, this last term prevents error certification. In this paper, we restrict our attention to outputs extracted by a Lipschitz function of the displacements.

Results

In the proposed numerical examples, we show very good preliminary results in predicting the validity domain of hyper-reduction approximations. The average computational time of the predictions obtained by hyper reduction, is accelerated by a factor of 6 compared to that of finite element simulations. This speed-up incorporates the computational time devoted to the error estimation.

Conclusions

The numerical implementation of the proposed error estimator is straightforward. It does not require the computation of the incremental potential. In the numerical results, the estimated validity domain of hyper-reduced approximations is inside the reference validity domain. This paper is a first attempt for a posteriori error estimation of hyper-reduction approximations.

Background

Reduced-Order models aim at reducing the computational time required to obtain solutions of Partial Differential Equations (PDE) which are physically-based and parameter dependent. They reduce the computational complexity of optimization procedures or parametric analyses [1-3].

Reduced-Order Models are very useful to model complex mechanical phenomena, when parametric studies are mandatory to setup convenient nonlinear constitutive equations or boundary conditions. In such situations, many open questions about physical assumptions arise and the scientist’s intuition alone cannot guarantee that convenient simplified numerical approximations are chosen. Here, we consider hyper-reduced (HR) simulations, involving both a reduced-basis approximation and reduced-coordinate estimation by using a mesh restricted to Reduced Integration Domain (RID) [4,5]. The introduction of the RID is crucial for elastoviscoplastic models, because in many practical cases, no speed-up is achieved if the mesh is not restricted to the RID. In such a framework, error estimation provides a valuable algorithmic approach to check if hyper-reduced simulations have been performed in the validity domain of the hyper-reduced model, and if they allow a physical understanding of the simulation outputs.

HR simulations may not be performed in faster time than predictions using metamodeling, response surface methods, or virtual charts [6]. But, unlike these methods, Reduced-Order Models involve equations related to physical principles (i.e. the balance of momentum), physical constitutive equations and data, validated by experiments. Such an approach enables certification of outputs of interest [7], or error estimation of predictions obtained by using Reduced-Order Models [7-11]. Moreover, error estimation is mandatory in many model reduction of parametric Partial Differential Equations, when one needs to evaluate, in the parameter space, a trust region or a validity domain related to Reduced-Basis accuracy [12-14]. Error estimation is also mandatory to perform a priori model reduction by using greedy algorithms [15,16] or the A Priori Hyper-reduction method [4].

Unfortunately, in nonlinear mechanics of materials, parametric PDEs are rarely affine in parameter, and it is quite difficult to reduce equations and data to an approximate affine form as proposed in [15] by using the Empirical Interpolation Method [17,18]. The novelty of this paper is the use of an incremental variational principle [19-21] to develop an a posteriori estimator of errors for HR predictions in case of generalized standard elastoviscoplastic models. As usual, the finite element (FE) solution fulfills incremental equations in time, but no differential equations related to the continuous time variable. The incremental variational principle enables to preserve formulations discrete in time when comparing the HR solution to the FE solution. This approach enables to state a relationship between a tailored norm of the hyper-reduction approximation error and the a posteriori estimator of this error. Here, we term hyper-reduction approximation error (HRAE) the difference between the FE solution of the PDE and its estimation by the hyper-reduced model. The reference solution is the FE solution, not the exact solution of the PDE. In the sequel, the proposed tailored norm of the displacement is denoted by ∥u∥ _u , where u is the predicted displacement over the domain Ω. The error estimator is denoted by η. We follow the theory of constitutive relation error (CRE) proposed by P. Ladevèze [22]. This kind of a posteriori error has been developed for a large set of constitutive equations [9,23-26]. Although constitutive relation error (CRE) can handle all approximation errors due to time discretization, FE approximation, and eventually a separated representation of the displacements [27], we restrict our attention to approximation errors due to the additional assumptions incorporated in the numerical model by the hyper-reduced formulation. Here, the CRE η requires the construction of stresses fulfilling FE equilibrium equations.

In the numerical part of this paper, we apply the error estimation to forecast the validity domain of hyper-reduced predictions of simulation outputs. Adjoint sensitivity analyses have been introduced for certification of outputs in [8,28]. In case of time dependent problems, the adjoint equation or the mirror problem [25] is solved backward in time from T to 0. Here, we circumvent such a complex numerical solution by restricting our attention to Lipschitz functions of the displacements for simulation outputs, similarly to [29]. The output function is denoted by $s(\textbf {u}) \in \mathcal {R}^{N_{s}}$. The Lipschitz continuity of the output s(u) reads:

$$ \exists \: c_{o} \in \mathbb{R}^{+} \quad \| s(\textbf{u}) - s(\textbf{v}) \|_{F}^{2} \leqslant c_{o} \: \| \textbf{u} - \textbf{v} \|_{u}^{2}, \quad \textbf{u}\in \mathcal{V}_{h}, \: \textbf{v} \in \mathcal{V}_{h}, $$

((1))

where $\mathcal {V}_{h}$ is the convenient Hilbert space related to the FE approximation of the PDE, ∥·∥ _F is the Frobenius norm on $\mathbb {R}^{N_{s}}$. The elastoviscoplastic problem is both discretized in space and in time by the finite element method and the forward Euler scheme. The solution of this FE problem at discrete time $\phantom {\dot {i}\!}t^{n} \in \{t^{o}, \ldots, t^{N_{t}} \}$ is denoted by $\textbf {u}^{n}_{\textit {FE}}$:

$$ \textbf{u}^{n}_{FE}(\textbf{x}; \: {\boldsymbol \mu}) = \sum_{i=1}^{N_{\xi}} {\boldsymbol \xi}_{i}(\textbf{x}) \: {q_{i}^{n}}({\boldsymbol \mu}) \quad \textbf{x} \in \Omega, \: {\boldsymbol \mu} \in \mathcal{D}, \: \mathcal{V}_{h} = \text{span}({\boldsymbol \xi}_{1}, \ldots,{\boldsymbol \xi}_{N_{\xi}}) $$

((2))

where $({\boldsymbol \xi }_{i})_{i=1}^{N_{\xi }}$ are the FE shape functions, x the space coordinate, μ is a vector of parameters and is a given parameter space.The hyper-reduction approximation of this FE solution is denoted by $\textbf {u}^{n}_{\textit {HR}}$:

$$ \textbf{u}^{n}_{HR}(\textbf{x}; \: {\boldsymbol \mu}) = \sum_{k=1}^{N_{\psi}} \boldsymbol{\psi}_{k}(\textbf{x}) \: {\gamma^{n}_{k}}(\boldsymbol{\mu}) \quad \textbf{x} \in \Omega, \: \boldsymbol{\mu} \in \mathcal{D}, \: \boldsymbol{\psi}_{k} \in \mathcal{V}_{h} $$

((3))

where $(\boldsymbol {\psi }_{k})_{k=1}^{N_{\psi }}$ is a given reduced-basis, $({\gamma ^{n}_{k}})_{k=1}^{N_{\psi }}$ are the reduced coordinates evaluated by using equilibrium equations set-up on the RID denoted by Ω _Z , Ω _Z ⊂Ω, by following the hyper-reduction method [5]. The HRAE is denoted by e ⁿ, $\textbf {e}^{n} = \textbf {u}^{n}_{\textit {FE}} - \textbf {u}^{n}_{\textit {HR}}$. Because of the time discretization, we cannot consider the approximation error e ⁿ separately for each time index n. We must account for the error at all discrete times simultaneously. Therefore, the upper bound of interest related to the Lipschitz continuity reads:

$$ \exists \: c_{o} \in \mathbb{R}^{+} \quad \sum_{n=1}^{N_{t}} \| s(\textbf{u}^{n}_{HR} + \textbf{e}^{n}) - s(\textbf{u}^{n}_{HR}) \|_{F}^{2} \leqslant c_{o} \: \sum_{n=1}^{N_{t}} \| \textbf{e}^{n} \|_{u}^{2}, \quad \textbf{e}^{n}\in \mathcal{V}_{h}, \: \textbf{u}^{n}_{HR} \in \mathcal{V}_{h} $$

((4))

The reference validity domain of the hyper-reduced model is denoted by $\mathcal {D}_{V}$. Its definition reads:

$$ \mathcal{D}_{V} = \left\{\boldsymbol{\mu} \in \mathcal{D} \: | \: \sum_{n=1}^{N_{t}} \left\| s\left(\textbf{u}^{n}_{HR} + \textbf{e}^{n}\right) - s(\textbf{u}^{n}_{HR}) \right\|_{F}^{2} \leqslant \epsilon_{D}\right\} $$

((5))

where ε _D is a given tolerance. The proposed numerical error estimation aims to forecast a reliable approximation of $\mathcal {D}_{V}$ by the recourse to hyper-reduced simulations, a posteriori estimations of errors and a FE simulation used to generate reduced-bases. The approximate validity domain is denoted by $\widetilde {\mathcal {D}}_{V}$:

$$ \widetilde{\mathcal{D}}_{V} = \left\{\boldsymbol{\mu} \in \mathcal{D} \: | \: c_{\eta} \: \eta\left((\textbf{u}^{n}_{HR})_{n=1}^{N_{t}}, (\widehat{{\boldsymbol \sigma}}^{n})_{n=1}^{N_{t}}\right) \leqslant \epsilon_{D}\right\} $$

((6))

where c _η is a substitute for the Lipschitz constant c _o , η is a substitute for the tailored norm of the HRAE, $(\textbf {u}^{n}_{\textit {HR}})_{n=1}^{N_{t}}$ is the sequence of hyper-reduced predictions over the full time interval and $(\widehat {{\boldsymbol \sigma }}^{n})_{n=1}^{N_{t}}$ is a sequence of stresses fulfilling the FE equilibrium equation at each discrete time t ⁿ, where $\widehat {{\boldsymbol \sigma }}^{n}$ is an affine function of the stress estimated from $\textbf {u}^{n}_{\textit {HR}}$. In the sequel, both sequences $(\textbf {u}^{n}_{\textit {HR}})_{n=1}^{N_{t}}$ and $(\widehat {{\boldsymbol \sigma }}^{n})_{n=1}^{N_{t}}$ are denoted by u _HR and $\widehat {{\boldsymbol \sigma }}$ respectively.

Various Reduced-Basis construction methods can be incorporated into the hyper-reduced model. For the sake of simplicity, in the following numerical examples, the Reduced-Basis is provided by a Proper Orthogonal Decomposition [30-32] of the FE solution related to a given parameter value $\boldsymbol {\mu }^{1} \in \mathcal {D}$. The POD modes are orthonormal solutions of the following mimization problem:

$$ (\boldsymbol{\psi}_{k})_{k=1}^{N_{\psi}} = \text{arg} \min_{(\boldsymbol{\psi}_{k}^{\star})_{k=1}^{N_{\psi}} \in \mathcal{V}_{h}} \sum_{n=1}^{N_{t}} \left\| \textbf{u}^{n}_{FE}(\cdot; \boldsymbol{\mu}^{1}) - \boldsymbol{\psi}_{k}^{\star} \: \left< {\boldsymbol \psi}_{k}^{\star}, \textbf{u}^{n}_{FE}(\cdot; \boldsymbol{\mu}^{1}) \right> \right\|^{2}_{L^{2}(\Omega)} $$

((7))

where <·,·> is the L ² scalar product defined on Ω and $\| \cdot \|_{L^{2}(\Omega)}\phantom {\dot {i}\!}$ is the related norm. The hyper-reduced model is set-up in order to provide an accurate approximate solution for μ=μ ¹:

$$ c_{\eta} \: \eta\left(\textbf{u}_{HR}\left(\cdot;\boldsymbol{\mu}^{1}\right), \widehat{\boldsymbol{\sigma}}\left(\cdot;\boldsymbol{\mu}^{1}\right)\right) \leqslant \epsilon_{HR}, \quad \epsilon_{HR} \leqslant \epsilon_{D} $$

((8))

where ε _HR is a given tolerance. Hence $\boldsymbol {\mu }^{1} \in \widetilde {\mathcal {D}}_{V}$. Moreover c _η fulfills the following constraint:

$$ \sum_{n=1}^{N_{t}} \left\| s\left(\textbf{u}^{n}_{FE} \left(\cdot;\boldsymbol{\mu}^{1}\right)\right) - s\left(\textbf{u}^{n}_{HR}\left(\cdot;{\boldsymbol \mu}^{1}\right)\right) \right\|_{F}^{2} \leqslant c_{\eta} \: \eta\left(\textbf{u}_{HR}\left(\cdot;{\boldsymbol \mu}^{1}\right), \widehat{{\boldsymbol \sigma}}\left(\cdot;{\boldsymbol \mu}^{1}\right)\right) $$

((9))

In this paper μ ₁ is arbitrary chosen. Nevertheless, the knowledge of an approximate validity domain aims to validate this choice or to adapt it. In the sequel, for clarity, we do not mention the vector of parameters μ in the notations.

Methods

This section is organized as follows. The generalized standard constitutive equations are presented first. They are based on an incremental variational principle proposed in [33]. Then, we introduce the hyper-reduced incremental problem to be solved. The following section is devoted to the construction of the FE-equilibrated stress within the framework of the hyper-reduced modeling. The next sections introduce the error estimator, the tailored norm related to the CRE and the partition of the CRE. We finish by remarks on the numerical implementation of the proposed approach.

Incremental potential for the constitutive equations

The constitutive laws are described by using an incremental potential in the framework of the irreversible thermodynamic processes. A priori error estimators and incremental variational formulations were introduced in [33] for mechanical problems of bodies undergoing large dynamic deformations. Extensions of this approach were proposed in [20,21] for effective response predictions of heterogeneous materials. The strain history is taken into account by using internal variables denoted by α. These variables are the lump sum of the history of material changes. This approach has its roots in the works by Biot [34], Ziegler [35], Germain [36] or Halpen and Nguyen [37] and has proven its ability to cover a broad spectrum of models in viscoelasticity, viscoplasticity, plasticity and also continuum damage mechanics. The FE solution is approximated by an hyper-reduced predictions denoted by $\textbf {u}_{\textit {HR}}^{n}$, $\boldsymbol {\alpha }_{\textit {HR}}^{n}$, $\boldsymbol {\sigma }_{\textit {HR}}^{n}$ respectively for the displacements, the internal variables and the Cauchy stress, at discrete time t ⁿ. For the sake of simplicity, we denote by $\boldsymbol {\varepsilon }_{\textit {HR}}^{n}$ the strain tensor $\boldsymbol {\varepsilon }(\textbf {u}_{\textit {HR}}^{n})$, in the framework of the infinitesimal strain theory.

According to the framework of the incremental variational formulations, the constitutive law is defined by a condensed incremental potential, denoted by $w_{\Delta }(\boldsymbol {\varepsilon }_{\textit {HR}}^{n})$, such that:

$$ \boldsymbol{\sigma}^{n}_{HR} = \frac{\partial w_{\Delta}}{\partial \boldsymbol{\varepsilon}}(\boldsymbol{\varepsilon}_{HR}^{n}), \quad n=1,\ldots,N_{t} \: $$

((10))

In practice, we do not implement the computation of the partial derivative of w _Δ with respect to the component of the strain tensor. Nevertheless, Equation (10) is fulfilled up to the computer precision. The internal variables are solutions of the following equation [21]:

$$\begin{array}{*{20}l} \boldsymbol{\alpha}^{n}_{HR} = \text{arg} \: \text{Inf}_{\boldsymbol{\alpha}^{\star}} J(\boldsymbol{\varepsilon}^{n}_{HR},\boldsymbol{\alpha}^{\star}), \end{array} $$

((11))

$$\begin{array}{*{20}l} J(\boldsymbol{\varepsilon},\boldsymbol{\alpha}) = w (\boldsymbol{\varepsilon},\boldsymbol{\alpha}) + \left(t^{n} - t^{n-1}\right) \: \varphi \left(\frac{\boldsymbol{\alpha}-\boldsymbol{\alpha}^{n-1}_{HR}(\textbf{x})}{t^{n}-t^{n-1}} \right), \end{array} $$

((12))

$$\begin{array}{*{20}l} w_{\Delta}(\boldsymbol{\varepsilon}) = \text{Inf}_{\boldsymbol{\alpha}^{\star}} J(\boldsymbol{\varepsilon},\boldsymbol{\alpha}^{\star}), \end{array} $$

((13))

where w(ε,α) is the free energy of the material, and $\varphi (\dot {\boldsymbol {\alpha }})$ is its dissipation potential [36]. The two potentials w and φ are convex functions of their arguments (ε,α) and $\dot {\boldsymbol {\alpha }}$ respectively, according to the theory of generalized standard materials [36,37]. Examples of constitutive laws can be found in [38]. A detailed example is given in the last section of this paper.

The convexity of w _Δ is proved in [21] under the assumption that w and φ are convex functions. In the sequel, the explicit knowledge of the condensed incremental potential is not required for the mathematical formulation of the error estimator.

By recourse to the Legendre transformation, the dual potential of w _Δ , denoted by $w^{\star }_{\Delta }$, reads:

$$ w^{\star}_{\Delta}\left(\widetilde{\boldsymbol{\sigma}}\right) = \text{Sup}_{\boldsymbol{\varepsilon}^{\star}} \left(\boldsymbol{\varepsilon}^{\star} : \widetilde{\boldsymbol{\sigma}} - w_{\Delta}\left(\boldsymbol{\varepsilon}^{\star}\right)\right) $$

((14))

We restrict our attention to convex functions w _Δ , hence:

$$ w_{\Delta}(\widetilde{\boldsymbol{\varepsilon}}) = \text{Sup}_{\boldsymbol{\sigma}^{\star}} \left(\widetilde{\boldsymbol{\varepsilon}} : \boldsymbol{\sigma}^{\star} - w^{\star}_{\Delta}(\boldsymbol{\sigma}^{\star})\right) $$

((15))

Therefore:

$$ w_{\Delta}(\widetilde{\boldsymbol{\varepsilon}}) + w^{\star}_{\Delta}(\widetilde{\boldsymbol{\sigma}}) - \widetilde{\boldsymbol{\varepsilon}} : \widetilde{\boldsymbol{\sigma}} \ge 0 \quad \forall \: \widetilde{\boldsymbol{\varepsilon}}, \: \widetilde{\boldsymbol{\sigma}} $$

((16))

The definition of the partial derivatives $\frac {\partial w_{\Delta }}{\partial \boldsymbol {\varepsilon }}$ and $\frac {\partial w^{\star }_{\Delta }}{\partial \boldsymbol {\sigma }}$ is extended to fulfill the following equations:

$$\begin{array}{*{20}l} \widetilde{\boldsymbol{\sigma}}_{\varepsilon} = \text{arg} \: \text{Sup}_{\boldsymbol{\sigma}^{\star}} \left(\widetilde{\boldsymbol{\varepsilon}} : \boldsymbol{\sigma}^{\star} - w^{\star}_{\Delta}(\boldsymbol{\sigma}^{\star})\right)\Leftrightarrow \: \widetilde{\boldsymbol{\varepsilon}} = \frac{\partial w^{\star}_{\Delta}}{\partial \boldsymbol{\sigma}}(\widetilde{\boldsymbol{\sigma}}_{\varepsilon}) \end{array} $$

((17))

$$\begin{array}{*{20}l} \widetilde{\boldsymbol{\varepsilon}}_{\sigma} = \text{arg} \: \text{Sup}_{\boldsymbol{\varepsilon}^{\star}} \left(\boldsymbol{\varepsilon}^{\star} : \widetilde{\boldsymbol{\sigma}} - w_{\Delta}(\boldsymbol{\varepsilon}^{\star})\right)\Leftrightarrow \: \widetilde{\boldsymbol{\sigma}} = \frac{\partial w_{\Delta}}{\partial \boldsymbol{\varepsilon}}(\widetilde{\boldsymbol{\varepsilon}}_{\sigma}) \end{array} $$

((18))

Hence, by construction, $\boldsymbol {\sigma }^{n}_{\textit {HR}}$ and $\boldsymbol {\varepsilon }_{\textit {HR}}^{n}$ fulfill the following equation:

$$ w_{\Delta}(\boldsymbol{\varepsilon}_{HR}^{n}) + w^{\star}_{\Delta}(\boldsymbol{\sigma}^{n}_{HR}) - \boldsymbol{\varepsilon}_{HR}^{n} : \boldsymbol{\sigma}^{n}_{HR} = 0 $$

((19))

Hyper-reduced setting

The continuous medium is occupying a domain Ω. The boundary ∂ Ω of Ω is denoted by ∂ _U Ω∪∂ _F Ω. On ∂ _U Ω, there is the Dirichlet condition u=u _c . On ∂ _F Ω, there is a given force field F ⁿ. The FE displacement field belongs to a function space $\textbf {u}_{c} +\mathcal {V}_{h}$. The reduced subspace is denoted by $\mathcal {V}_{\textit {ROM}}$:

$$ \mathcal{V}_{ROM} = \text{span}(\boldsymbol{\psi}_{1}, \ldots, \boldsymbol{\psi}_{N_{\psi}}) \subset \mathcal{V}_{h} $$

((20))

We denote by V the matrix form of empirical modes defined on the FE basis:

$$ \boldsymbol{\psi}_{k}(\textbf{x}) = \sum_{i=1}^{N_{\xi}} \boldsymbol{\xi}_{i}(\textbf{x}) \: V_{ik}, \quad k=1, \ldots,N_{\psi} $$

((21))

By following the hyper-reduction method [39], we generate the RID Ω _Z by using the empirical modes $({\boldsymbol \psi }_{k})_{k=1}^{N_{\psi }}$ and the strain modes $(\boldsymbol {\varepsilon }(\boldsymbol {\psi }_{k}))_{k=1}^{N_{\psi }}$. When the RID is known, we determine the set of available FE residual entries when the stress estimation is restricted to Ω _Z . This set is denoted by such that:

$$ \mathcal{Z} = \{ i \in \{1, \ldots,N_{\xi} \}, \: \int_{\Omega \backslash \Omega_{Z}} {\boldsymbol{\xi}_{i}^{2}} \: d\Omega = 0\} $$

((22))

Therefore, we can define truncated test functions insuring a weak form of the balance of momentum restricted to the domain Ω _Z , since these test functions are set to zero over Ω∖Ω ^Z. These truncated test functions are denoted by $({\boldsymbol {\psi }_{k}^{Z}})_{k=1}^{N_{\psi }}$ such that:

$$ {\boldsymbol{\psi}_{k}^{Z}}(\textbf{x}) = \sum_{i \in \mathcal{Z}} \boldsymbol{\xi}_{i}(\textbf{x}) \: V_{ik}, \quad k=1, \ldots,N_{\psi} $$

((23))

The statement of the hyper-reduced incremental problem is the following. Given a parameter vector μ, find an estimation of the reduced coordinates γ ⁿ such that $\textbf {u}_{\textit {HR}}^{n} \in \textbf {u}_{c} + \mathcal {V}_{\textit {ROM}}$ fulfills the constitutive equations and the principle of virtual work:

$$\begin{array}{*{20}l} \textbf{u}^{n}_{HR}(\textbf{x}) = \textbf{u}_{c} + \sum_{k=1}^{N_{\psi}} \boldsymbol{\psi}_{k}(\textbf{x}) \: {\gamma^{n}_{k}} \quad \textbf{x} \in \Omega \end{array} $$

((24))

$$\begin{array}{*{20}l} \int_{\Omega_{Z}} \boldsymbol{\varepsilon}({\boldsymbol{\psi}_{k}^{Z}}) \: : \: \boldsymbol{\sigma}^{n}_{HRZ} \: d\Omega = \int_{\partial_{F} \Omega \cap \partial \Omega_{Z}} {\boldsymbol{\psi}_{k}^{Z}} \:.\: \textbf{F}^{n} \: d\Gamma \quad \forall \: k \in \{ 1,\ldots,N_{\psi} \} \end{array} $$

((25))

$$\begin{array}{*{20}l} \boldsymbol{\alpha}^{n}_{HR} = \text{arg} \: \text{Inf}_{\boldsymbol{\alpha}^{\star}} J(\boldsymbol{\varepsilon}(\textbf{u}^{n}_{HR}),\boldsymbol{\alpha}^{\star}) \quad \forall \textbf{x} \in \Omega_{Z} \end{array} $$

((26))

$$\begin{array}{*{20}l} \boldsymbol{\sigma}^{n}_{HRZ} = \frac{\partial w_{\Delta}}{\partial \boldsymbol{\varepsilon}}(\boldsymbol{\varepsilon}(\textbf{u}^{n}_{HR})) \quad \forall \textbf{x} \in \Omega_{Z} \end{array} $$

((27))

where : is the contracted product for second-order tensors. We must emphasize the fact that Equation (24) gives access to the displacement in all the domain Ω although the equilibrium is set only on Ω _Z . Hence, when the hyper-reduced solution is known, the stress $\boldsymbol {\sigma }^{n}_{\textit {HR}}$ can be estimated on the full domain Ω by using Equation (10).

The FE equations are obtained by substituting in equations (24) to (26), the following items:

• the shape functions $(\boldsymbol {\xi }_{i})_{i=1}^{N_{\xi }}$ for $(\boldsymbol {\psi }_{k})_{k=1}^{N_{\psi }}$,

• the test functions $(\boldsymbol {\xi }_{i})_{i=1}^{N_{\xi }}$ for $({\boldsymbol {\psi }_{k}^{Z}})_{k=1}^{N_{\psi }}$,

• the full domain Ω for Ω _Z ,

• the variables $((q_{i})_{i=1}^{N_{\xi }},\textbf {u}^{n}_{\textit {FE}}, \boldsymbol {\sigma }^{n}_{\textit {FE}}, \boldsymbol {\alpha }^{n}_{\textit {FE}})$ for $\left ((\gamma _{k})_{k=1}^{N_{\psi }},\textbf {u}^{n}_{\textit {HR}}, \boldsymbol {\sigma }^{n}_{\textit {HR}}, \boldsymbol {\alpha }^{n}_{\textit {HR}}\right)$.

However, in Equation (27), the incremental potential related to the hyper-reduced prediction is not the incremental potential of the FE prediction, because $\boldsymbol {\alpha }^{n-1}_{\textit {FE}}$ and $\boldsymbol {\alpha }^{n-1}_{\textit {HR}}$ may differ. So, $\boldsymbol {\sigma }^{n}_{\textit {FE}}$ fulfills the constitutive equation, but it may not be a derivative of w _Δ . Therefore, we introduce a correction term in stress, denoted by δ σ ⁿ, such that:

$$ \boldsymbol{\sigma}_{FE}^{n} = \frac{\partial w_{\Delta}}{\partial \boldsymbol{\varepsilon}}(\boldsymbol{\varepsilon}_{FE}^{n}) + \delta \boldsymbol{\sigma}^{n} $$

((28))

where $\boldsymbol {\varepsilon }_{\textit {FE}}^{n} = \boldsymbol {\varepsilon }(\textbf {u}_{\textit {FE}}^{n})$ and δ σ ⁿ account for the variation of the internal variables due to the difference between $\left (\boldsymbol {\varepsilon }_{\textit {FE}}^{i}\right)_{i=1}^{n-1}$ and $\left (\boldsymbol {\varepsilon }_{\textit {HR}}^{i}\right)_{i=1}^{n-1}$ at time instants before t ⁿ. The convexity of w and ϕ insures that the FE solution is unique, if no rigid mode is available.

Dual reduced-subspace

In this section, we introduce the technique of construction of the stress fields $\widehat {\boldsymbol {\sigma }}^{n}$ fulfilling the finite element equilibrium equation at each discrete time t ⁿ. These stress fields are used in the next sections to build a CRE. The FE equilibrium equation is a linear equation upon stresses denoted by σ ⁿ. It defines an affine space such that $\boldsymbol {\sigma }^{n} \in \boldsymbol {\sigma }^{n}_{N} + \mathcal {S}_{h}$, where $\boldsymbol {\sigma }^{n}_{N}$ is a particular solution of Neumann boundary conditions (i.e. in the linear elastic case for instance), and $\mathcal {S}_{h}$ is the following vector space:

$$ \mathcal{S}_{h} = \left\{\boldsymbol{\sigma} \in L^{2}(\Omega) \: | \: \int_{\Omega} \boldsymbol{\varepsilon}(\textbf{u}^{\star}) \: : \: \boldsymbol{\sigma} \: d\Omega = 0 \quad \forall \textbf{u}^{\star} \in \mathcal{V}_{h}\right\} $$

((29))

The following linear elastic problem gives us $\boldsymbol {\sigma }^{n}_{N}$:

$$\begin{array}{*{20}l} \textbf{u}^{n}_{N} \in \mathcal{V}_{h} \end{array} $$

((30))

$$\begin{array}{*{20}l} \int_{\Omega} \boldsymbol{\varepsilon}(\textbf{u}^{\star}) \: : \: \boldsymbol{\sigma}^{n}_{N} \: d\Omega = \int_{\partial_{F} \Omega} \textbf{u}^{\star} \:.\: \textbf{F}^{n} \: d\Gamma \quad \forall \: \textbf{u}^{\star} \in \mathcal{V}_{h} \end{array} $$

((31))

$$\begin{array}{*{20}l} \boldsymbol{\sigma}^{n}_{N} = E_{o} \: \boldsymbol{\varepsilon}(\textbf{u}^{n}_{N}) \quad \forall \textbf{x} \in \Omega \end{array} $$

((32))

where $E_{o} \in \mathbb {R}^{+}$ is an abritary constant.

By the recourse to the stress predicted by the FE simulation for μ=μ ¹, we obtain the snapshots of stress fields $\left (\boldsymbol {\sigma }^{n}_{\textit {FE}}(\cdot ;\boldsymbol {\mu }^{1}) - \boldsymbol {\sigma }^{n}_{N}\right)_{n=1}^{N_{t}}$ that span a subspace of $\mathcal {S}_{h}$:

$$ \boldsymbol{\sigma}^{n}_{FE}\left(\cdot;\boldsymbol{\mu}^{1}\right) - \boldsymbol{\sigma}^{n}_{N} \in \mathcal{S}_{h}, \quad n=1,\ldots,N_{t} $$

((33))

Similarly to the approach proposed in [10] for elasticity, we introduce a dual reduced-subspace denoted by $\mathcal {S}_{\textit {ROM}} \subset \mathcal {S}_{h}$. $\mathcal {S}_{\textit {ROM}}$ is generated by the usual POD applied to $\left (\boldsymbol {\sigma }^{n}_{\textit {FE}}(\cdot ;{\boldsymbol \mu }^{1}) - \boldsymbol {\sigma }^{n}_{N}\right)_{n=1}^{N_{t}}$. Its dimension is denoted by $N^{\sigma }_{\psi }$, and it is such that $N^{\sigma }_{\psi } \le N_{t}$.

Hence, the hyper-reduced predictions of the stress tensor can be projected into the space of admissible stresses fulfilling the FE equilibrium equation. This projection reads:

$$ \widehat{\boldsymbol{\sigma}}^{n} = \boldsymbol{\sigma}^{n}_{N} + \text{arg} \: \min_{\boldsymbol{\sigma}^{\star} \in \mathcal{S}_{ROM}} \| \boldsymbol{\sigma}^{n}_{HR} - \boldsymbol{\sigma}^{n}_{N} - \boldsymbol{\sigma}^{\star} \|_{L^{2}(\Omega)} $$

((34))

The above minimization problem is a global L ² projection of the stress $\boldsymbol {\sigma }^{n}_{\textit {HR}}$ onto the reduced basis that span $\mathcal {S}_{\textit {ROM}}$. The dual basis being a POD basis, it is orthonormal with respect to the L ² scalar product. So the computational complexity of the stresses projection scales linearly with the number of Gauss points of the mesh and $N^{\sigma }_{\psi }$. In practice, this computational complexity is negligible compared to the complexity of the evaluation of $\boldsymbol {\sigma }^{n}_{\textit {HR}}$, by using the constitutive equations.

The constitutive relation error and its partition

The reference solution being incremental in time, no continuous formulation in time is considered for the error estimator. The error estimation proposed in [33] for incremental variational formulation, is related to an asymptotic convergence assumption in order to get an upper bound of the approximation error related to the FE discretization. This upper bound depends on a constant related of the weak form of the partial differential equations. Here, we propose to apply the Constitutive Relation Error method proposed in [22] to estimate the constant c _η without assuming an asymptotic convergence of the HRAE.

Following the method proposed in [22], a constitutive relation error, denoted by η, can be introduced as follows:

$$\begin{array}{@{}rcl@{}} \eta(\textbf{u}_{HR}, \: \widehat{\boldsymbol{\sigma}}) = \sum_{n=1}^{N_{t}} \int_{\Omega} w_{\Delta}(\boldsymbol{\varepsilon}(\textbf{u}^{n}_{HR})) + w^{\star}_{\Delta}(\widehat{\boldsymbol{\sigma}}^{n}) - \boldsymbol{\varepsilon}(\textbf{u}^{n}_{HR}) : \widehat{\boldsymbol{\sigma}}^{n} \: d\Omega \end{array} $$

((35))

where $\widehat {\boldsymbol {\sigma }}^{n}$ is defined by Equation (34). The following properties hold:

$$\begin{array}{*{20}l} \eta(\widetilde{\textbf{u}}, \: \widetilde{\boldsymbol{\sigma}}) \ge 0 \quad \forall \: \widetilde{\textbf{u}} \in \textbf{u}_{c} + \mathcal{V}_{h}, \: \forall \: \widetilde{\boldsymbol{\sigma}} \end{array} $$

((36))

$$\begin{array}{*{20}l} \eta(\textbf{u}_{HR}, \: \widehat{\boldsymbol{\sigma}}) = 0 \quad \Leftrightarrow \quad \widehat{\boldsymbol{\sigma}}^{n} = \frac{\partial w_{\Delta}}{\partial \boldsymbol{\varepsilon}}(\boldsymbol{\varepsilon}(\textbf{u}^{n}_{HR})) \quad \forall \textbf{x} \in \Omega\: \forall \: n \in \{1,\ldots,N_{t}\} \end{array} $$

((37))

$$\begin{array}{*{20}l} \eta(\textbf{u}_{HR}, \: \widehat{\boldsymbol{\sigma}}) = 0 \quad \Rightarrow \quad \textbf{e}^{n} = 0 \quad \forall \textbf{x} \in \Omega \:\forall n \in \{1,\ldots,N_{t}\} \end{array} $$

((38))

The first property (36) comes from the Legendre transformation (14). The property (37) comes from Equation (19). The proof of Property (38) is the following. If $\eta (\textbf {u}^{n}_{\textit {HR}}, \: \widehat {\boldsymbol {\sigma }}^{n}) = 0\forall \: n \in \{1,\ldots,N_{t}\}$ then $(\textbf {u}^{n}_{\textit {HR}}, \widehat {\boldsymbol {\sigma }}^{n}, \boldsymbol {\alpha }^{n}_{\textit {HR}})$ fulfills the constitutive equations, the Dirichlet conditions and the FE equilibrium equation. As $(\textbf {u}^{n}_{\textit {HR}}, \widehat {\boldsymbol {\sigma }}^{n}, \boldsymbol {\alpha }^{n}_{\textit {HR}})$ fulfills all the equations of the FE problem, it is a solution of the FE problem and e ⁿ=0.

We propose for ∥e ⁿ∥ _u an Hilbert norm parametrized by the approximate solution $\textbf {u}^{n}_{\textit {HR}}$ and the exact solution $\textbf {u}^{n}_{\textit {FE}}$. This parametrized norm is defined by:

$$\begin{array}{@{}rcl@{}} \| \textbf{e}^{n} \|_{u}^{2} = \int_{\Omega} \boldsymbol{\varepsilon}(\textbf{e}^{n}) : \textbf{G}(\boldsymbol{\varepsilon}(\textbf{u}^{n}_{HR}),\boldsymbol{\varepsilon}(\textbf{u}^{n}_{FE})) : \boldsymbol{\varepsilon}(\textbf{e}^{n}) \: d\Omega \end{array} $$

((39))

where ε(·) is the symmetric part of the gradient and G a symmetric positive-definite fourth-order tensor. If the identity tensor is substituted for G, we obtain a usual H ¹(Ω) norm. We assume that there is no rigid mode, neither in the FE solution nor in the reduced basis.

The following mathematical developments aim to establish a relation between $\eta (\textbf {u}_{\textit {HR}}, \: \frac {\partial w_{\Delta }}{\partial \boldsymbol {\varepsilon }}(\boldsymbol {\varepsilon }_{\textit {FE}}))$ and the tailored norm ∥e ⁿ∥ _u . We choose G by the recourse to the convexity of the incremental potential w _Δ . According to the Legendre transformation, we have:

$$ w^{\star}_{\Delta}\left(\frac{\partial w_{\Delta}}{\partial \boldsymbol{\varepsilon}}\left(\boldsymbol{\varepsilon}^{n}_{FE}\right)\right) = \boldsymbol{\varepsilon}^{n}_{FE}: \frac{\partial w_{\Delta}}{\partial \boldsymbol{\varepsilon}}\left(\boldsymbol{\varepsilon}^{n}_{FE}\right) - w_{\Delta}\left(\boldsymbol{\varepsilon}^{n}_{FE}\right), \: n=1,\ldots,N_{t}, $$

((40))

Hence, we can remove the contribution of the dual potential $w_{\Delta }^{*}$ in $\eta \left (\textbf {u}_{\textit {HR}}, \: \frac {\partial w_{\Delta }}{\partial \boldsymbol {\varepsilon }}(\boldsymbol {\varepsilon }_{\textit {FE}}) \right)$:

$$ \eta\left(\textbf{u}_{HR}, \: \frac{\partial w_{\Delta}}{\partial \boldsymbol{\varepsilon}}(\boldsymbol{\varepsilon}_{FE})\right) = \sum_{n=1}^{N_{t}} \int_{\Omega} w_{\Delta}(\boldsymbol{\varepsilon}^{n}_{HR}) - w_{\Delta}(\boldsymbol{\varepsilon}^{n}_{FE}) - \frac{\partial w_{\Delta}}{\partial \boldsymbol{\varepsilon}}(\boldsymbol{\varepsilon}^{n}_{FE}) :(\boldsymbol{\varepsilon}^{n}_{HR}- \boldsymbol{\varepsilon}^{n}_{FE}) \: d\Omega $$

((41))

Let us define the scalar function f(λ):

$$\begin{array}{*{20}l} \lambda \in [0,1], \: f(\lambda) = \eta\left(\boldsymbol{\beta}(\lambda), \frac{\partial w_{\Delta}}{\partial \boldsymbol{\varepsilon}}(\boldsymbol{\varepsilon}_{FE})\right), \end{array} $$

((42))

$$\begin{array}{*{20}l} \hbox{w.r.t} \quad \boldsymbol{\beta}^{n}(\lambda) = \textbf{u}_{FE}^{n} + \lambda \: \left(\textbf{u}_{HR}^{n} - \textbf{u}_{FE}^{n}\right), \: n=1,\ldots,N_{t} \end{array} $$

((43))

We assume that f is C ² on [0,1]. The application of the Taylor Lagrange formula at order 2 leads to:

$$ \exists \: \lambda_{c} \in ]0, 1[ \: \hbox{s.t.} \: f(1) = f(0) + f^{\prime}(0) + \frac{1}{2} \: f^{\prime\prime}(\lambda_{c}) $$

((44))

The function evaluation and its derivatives read:

$$\begin{array}{*{20}l} f(0) = 0 \end{array} $$

((45))

$$\begin{array}{*{20}l} f(1) = \eta \left(\textbf{u}_{HR}, \: \frac{\partial w_{\Delta}}{\partial \boldsymbol{\varepsilon}}\left(\boldsymbol{\varepsilon}_{FE}\right) \right) \end{array} $$

((46))

$$\begin{array}{*{20}l} f^{\prime}(0) = 0 \end{array} $$

((47))

$$\begin{array}{*{20}l} f^{\prime \prime}(\lambda) = \sum_{n=1}^{N_{t}} \int_{\Omega} \left(\boldsymbol{\varepsilon}_{HR}^{n} - \boldsymbol{\varepsilon}_{FE}^{n}\right) : \frac{\partial^{2} w_{\Delta}}{\partial \boldsymbol{\varepsilon}^{2}} \left(\boldsymbol{\varepsilon}\left(\boldsymbol{\beta}^{n}(\lambda)\right)\right) : \left(\boldsymbol{\varepsilon}_{HR}^{n} - \boldsymbol{\varepsilon}_{FE}^{n}\right) \: d\Omega \end{array} $$

((48))

Therefore, by choosing:

$$ \textbf{G}\left(\boldsymbol{\varepsilon}_{HR}^{n},\boldsymbol{\varepsilon}_{FE}^{n}\right) = \frac{1}{2} \: \frac{\partial^{2} w_{\Delta}}{\partial \boldsymbol{\varepsilon}^{2}}\left(\boldsymbol{\varepsilon}_{FE}^{n} + \lambda_{c} \: \left(\boldsymbol{\varepsilon}_{HR}^{n} - \boldsymbol{\varepsilon}_{FE}^{n} \right)\right) $$

((49))

we obtain the following property:

$$ \sum_{n=1}^{N_{t}} \left\| \textbf{e}^{n} \right\|_{u}^{2} = \eta \left(\textbf{u}_{HR}, \: \frac{\partial w_{\Delta}}{\partial \boldsymbol{\varepsilon}}(\boldsymbol{\varepsilon}_{FE})\right) $$

((50))

This property is an intermediate result before establishing the relationship between $\| \textbf {e}^{n} \|_{u}^{2}$ and the error estimator. The incremental potential being strictly convex, G is definite positive. A schematic view of $\sum _{n=1}^{N_{t}} \| \textbf {e}^{n} \|_{u}^{2}$ is shown on Figure 1.

Figure 1

Tailored norm. Schematic view of the physically-based norm of the approximation error, related to the convexity of the incremental potential. The ordinates of points on the dashed line are given by $z\left (\varepsilon ^{\star }\right) = \sum _{n=1}^{N_{t}} \int _{\Omega } w_{\Delta }\left (\varepsilon ^{n}_{\textit {FE}}\right) + \frac {\partial w_{\Delta }}{\partial \varepsilon }\left (\varepsilon ^{n}_{\textit {FE}}\right) :\left (\varepsilon ^{\star n}- \varepsilon ^{n}_{\textit {FE}} \right) \: d\Omega$.

Similarly, a norm on stresses can be defined to measure the distance between the admissible stress $\widehat {\boldsymbol {\sigma }}^{n}$ and $\boldsymbol {\sigma }_{\textit {FE}}^{n} - \delta \boldsymbol {\sigma }^{n}$, by the recourse to the dual potential $w_{\Delta }^{\star }$ such that:

$$\begin{array}{@{}rcl@{}} \left\| \widehat{\boldsymbol{\sigma}}^{n} - \boldsymbol{\sigma}_{FE}^{n} + \delta \boldsymbol{\sigma}^{n} \right\|_{\sigma}^{2} = \int_{\Omega} \left(\widehat{\boldsymbol{\sigma}}^{n} - \boldsymbol{\sigma}_{FE}^{n} + \delta \boldsymbol{\sigma}^{n}\right) : \textbf{H}\left(\widehat{\boldsymbol{\sigma}}^{n}, \boldsymbol{\sigma}_{FE}^{n} - \delta \boldsymbol{\sigma}^{n}\right) : \left(\widehat{\boldsymbol{\sigma}}^{n} - \boldsymbol{\sigma}_{FE}^{n} + \delta \boldsymbol{\sigma}^{n}\right) \: d \Omega\!\!\!\!\\ \end{array} $$

((51))

where H is a positive symmetric fourth order tensor. To establish the relation between H and the Hessian matrix of the potential $w^{\star }_{\Delta }$, we consider $\eta (\textbf {u}_{\textit {FE}}, \widehat {\boldsymbol {\sigma }})$. Intermediate stresses $(\textbf {S}^{n}(\lambda))_{n=1}^{N_{t}}$ are introduced such that:

$$ \textbf{S}^{n}(\lambda) = \boldsymbol{\sigma}_{FE}^{n} - \delta \boldsymbol{\sigma}^{n} + \lambda \: (\widehat{\boldsymbol{\sigma}}^{n} - \boldsymbol{\sigma}_{FE}^{n} + \delta \boldsymbol{\sigma}^{n}), \: n=1,\ldots,N_{t} $$

((52))

By the recourse to the Taylor Lagrange formula, we obtain the following property:

$$\begin{array}{@{}rcl@{}} \lambda_{c} \in ]0,1[, \hbox{s.t} \: \sum_{n=1}^{N_{t}} \| \widehat{\boldsymbol{\sigma}}^{n} - \boldsymbol{\sigma}_{FE}^{n} + \delta \boldsymbol{\sigma}^{n} \|_{\sigma}^{2} &=& \eta(\textbf{u}_{FE}, \widehat{\boldsymbol{\sigma}}) \\ \text{w.r.t} \quad \textbf{H}\left(\widehat{\boldsymbol{\sigma}}^{n}, \boldsymbol{\sigma}_{FE}^{n} - \delta \boldsymbol{\sigma}^{n}\right) &=& \frac{1}{2} \: \frac{\partial^{2} w^{\star}_{\Delta}}{\partial \boldsymbol{\sigma}^{2}}(\textbf{S}^{n}(\lambda_{c})) \end{array} $$

((53))

Property.

The proposed constitutive relation error fulfills the following partition:

$$ \eta(\textbf{u}_{HR}, \: \widehat{\boldsymbol{\sigma}}) = \sum_{n=1}^{N_{t}} \| \textbf{e}^{n} \|_{u}^{2} + \sum_{n=1}^{N_{t}} \| \widehat{\boldsymbol{\sigma}}^{n} - \boldsymbol{\sigma}_{FE}^{n} + \delta \boldsymbol{\sigma}^{n} \|_{\sigma}^{2} + \sum_{n=1}^{N_{t}} \int_{\Omega} \boldsymbol{\varepsilon}(\textbf{e}^{n}) : \delta \boldsymbol{\sigma}^{n} \: d\Omega $$

((54))

The last term of the sum is a coupling term between the error e ⁿ and the HRAE committed before the discrete time t ⁿ. Since we can’t certify that this term is positive, η is not an upper bound of the HRAE.

Thanks to the definition of δ σ by Equation (28), we have the following properties:

$$\begin{array}{*{20}l} \eta(\textbf{u}_{FE}, \boldsymbol{\sigma}_{FE}- \delta \boldsymbol{\sigma}) = 0 \end{array} $$

((55))

$$\begin{array}{*{20}l} \eta(\textbf{u}_{HR}, \: \boldsymbol{\sigma}_{FE}- \delta \boldsymbol{\sigma}) = \sum_{n=1}^{N_{t}} \| \textbf{e}^{n} \|_{u}^{2} \end{array} $$

((56))

We start proving the partition property by considering the following sum of terms:

$$\mathcal{A} = \eta (\textbf{u}_{HR}, \: \widehat{\boldsymbol{\sigma}}) - \eta (\textbf{u}_{HR}, \: \boldsymbol{\sigma}_{FE}- \delta \boldsymbol{\sigma}) - \eta(\textbf{u}_{FE}, \widehat{\boldsymbol{\sigma}}) + \eta(\textbf{u}_{FE}, \boldsymbol{\sigma}_{FE}- \delta \boldsymbol{\sigma}) $$

In , the contributions of w _Δ and $w^{\star }_{\Delta }$ are canceled when considering the definition of η, and we obtain:

$$\mathcal{A} = \sum_{n=1}^{N_{t}} \int_{\Omega}- \boldsymbol{\varepsilon}_{HR}^{n} : \widehat{\boldsymbol{\sigma}}^{n} + \boldsymbol{\varepsilon}_{HR}^{n} : \left(\boldsymbol{\sigma}_{FE}^{n}- \delta \boldsymbol{\sigma}^{n} \right) + \boldsymbol{\varepsilon}_{FE}^{n} : \widehat{\boldsymbol{\sigma}}^{n} - \boldsymbol{\varepsilon}_{FE}^{n} : \left(\boldsymbol{\sigma}_{FE}^{n}- \delta \boldsymbol{\sigma}^{n}\right) \: d\Omega $$

Then:

$$\begin{array}{@{}rcl@{}} \mathcal{A} &=& \sum_{n=1}^{N_{t}} \int_{\Omega} - \boldsymbol{\varepsilon}_{HR}^{n} : \left(\widehat{\boldsymbol{\sigma}}^{n} - \boldsymbol{\sigma}_{FE}^{n} + \delta \boldsymbol{\sigma}^{n} \right)+ \boldsymbol{\varepsilon}_{FE}^{n} : \left(\widehat{\boldsymbol{\sigma}}^{n} - \boldsymbol{\sigma}_{FE}^{n} + \delta \boldsymbol{\sigma}^{n}\right) \: d\Omega \\ & = & \sum_{n=1}^{N_{t}} \int_{\Omega} \left(\boldsymbol{\varepsilon}_{FE}^{n} - \boldsymbol{\varepsilon}_{HR}^{n}\right) : \left(\widehat{\boldsymbol{\sigma}}^{n} - \boldsymbol{\sigma}_{FE}^{n} \right) \: d\Omega + \sum_{n=1}^{N_{t}} \int_{\Omega} \left(\boldsymbol{\varepsilon}_{FE}^{n}- \boldsymbol{\varepsilon}_{HR}^{n}\right) : \delta \boldsymbol{\sigma} \: d\Omega, \end{array} $$

where $\boldsymbol {\varepsilon }_{\textit {FE}}^{n}- \boldsymbol {\varepsilon }_{\textit {HR}}^{n} = \boldsymbol {\varepsilon }(\textbf {e}^{n})$. Therefore, according to properties (53), (55) and (56), the following partition is fulfilled:

$$\begin{array}{@{}rcl@{}} \eta \left(\textbf{u}_{HR}, \: \widehat{\boldsymbol{\sigma}} \right) &= & \sum_{n=1}^{N_{t}} \| \textbf{e}^{n} \|_{u}^{2} + \sum_{n=1}^{N_{t}} \| \widehat{\boldsymbol{\sigma}}^{n} - \boldsymbol{\sigma}_{FE}^{n} + \delta \boldsymbol{\sigma}^{n} \|_{\sigma}^{2} \\ && + \sum_{n=1}^{N_{t}} \int_{\Omega} \boldsymbol{\varepsilon}(\textbf{e}^{n}) : \delta \boldsymbol{\sigma}^{n} \: d \Omega \\ && + \sum_{n=1}^{N_{t}} \int_{\Omega} \boldsymbol{\varepsilon}(\textbf{e}^{n}) : \left(\widehat{\boldsymbol{\sigma}}^{n} - \boldsymbol{\sigma}_{FE}^{n} \right) \: d\Omega \end{array} $$

Since $\textbf {e}^{n} \in \mathcal {V}_{h}$ and $\boldsymbol {\sigma }_{\textit {FE}}^{n} - \widehat {\boldsymbol {\sigma }}^{n} \in \mathcal {S}_{h}$, then:

$$\int_{\Omega} \boldsymbol{\varepsilon}(\textbf{e}^{n}) : \left(\widehat{\boldsymbol{\sigma}}^{n} - \boldsymbol{\sigma}_{FE}^{n}\right) \: d\Omega = 0 \quad \forall n $$

This ends the proof.

Property.

If e ⁿ=0, for n∈{1,…,N _t } then $\textbf {u}^{n}_{\textit {HR}} = \textbf {u}^{n}_{\textit {FE}}$, $\boldsymbol {\alpha }^{n}_{\textit {HR}} = \boldsymbol {\alpha }^{n}_{\textit {FE}}$, δ σ ⁿ=0 and:

$$\begin{array}{*{20}l} \eta(\textbf{u}_{FE}, \: \widehat{\boldsymbol{\sigma}}_{FE}) = \sum_{n=1}^{N_{t}} \| \widehat{\boldsymbol{\sigma}}^{n}_{FE} - \boldsymbol{\sigma}_{FE}^{n} \|_{\sigma}^{2} \end{array} $$

((57))

$$\begin{array}{*{20}l} \widehat{\boldsymbol{\sigma}}^{n}_{FE} = \boldsymbol{\sigma}^{n}_{N} + \text{arg} \: \min_{\boldsymbol{\sigma}^{\star} \in \mathcal{S}_{ROM}} \| \boldsymbol{\sigma}^{n}_{FE} - \boldsymbol{\sigma}^{n}_{N} - \boldsymbol{\sigma}^{\star} \|_{L^{2}(\Omega)} \end{array} $$

((58))

In the general case, the closer $\widehat {\boldsymbol {\sigma }}^{n}$ to $\boldsymbol {\sigma }_{\textit {FE}}^{n} - \delta \boldsymbol {\sigma }^{n}$ the better the error estimation. The proposed error estimator incorporates errors related to the projection of the stress onto the dual reduced basis.

Numerical implementation of the CRE

The numerical implementation of the incremental potential and its dual is not required for the error estimation. Let’s consider the following function of a scalar coordinate λ:

$$\begin{array}{*{20}l} \lambda \in [0,1] \:, \: g(\lambda) = w_{\Delta}\left(\boldsymbol{\varepsilon}_{HR}^{n}\right) + w^{\star}_{\Delta}(\boldsymbol{\tau}(\lambda)) - \boldsymbol{\varepsilon}_{HR}^{n} : \boldsymbol{\tau}(\lambda), \end{array} $$

((59))

$$\begin{array}{*{20}l} \boldsymbol{\tau}(\lambda) = \boldsymbol{\sigma}_{HR}^{n} + \lambda \: \left(\widehat{\boldsymbol{\sigma}}^{n} - \boldsymbol{\sigma}_{HR}^{n}\right) \end{array} $$

((60))

Then:

$$\begin{array}{*{20}l} g(0) = 0 \end{array} $$

((61))

$$\begin{array}{*{20}l} \eta(\textbf{u}_{HR}, \: \widehat{\boldsymbol{\sigma}}) = \sum_{n=1}^{N_{t}} \int_{\Omega} g(1) \: d \Omega \end{array} $$

((62))

$$\begin{array}{*{20}l} \frac{d \: g}{d \: \lambda}(\lambda) = \left(\frac{\partial w^{\star}_{\Delta}}{\partial \boldsymbol{\sigma}} (\boldsymbol{\tau}(\lambda)) - \boldsymbol{\varepsilon}_{HR}^{n} \right) : \left(\widehat{\boldsymbol{\sigma}}^{n} - \boldsymbol{\sigma}_{HR}^{n}\right) \end{array} $$

((63))

Therefore, the following property holds:

$$\begin{array}{*{20}l} \eta(\textbf{u}_{HR}, \: \widehat{\boldsymbol{\sigma}}) = \sum_{n=1}^{N_{t}} \int_{\Omega} {\int_{0}^{1}} (\widehat{\boldsymbol{\varepsilon}}^{n}(\lambda) - \boldsymbol{\varepsilon}_{HR}^{n}) : \left(\widehat{\boldsymbol{\sigma}}^{n} - \boldsymbol{\sigma}_{HR}^{n}\right) \: d \lambda \: d \Omega \end{array} $$

((64))

$$\begin{array}{*{20}l} \text{w.r.t.} \: \: \widehat{\boldsymbol{\varepsilon}}^{n}(\lambda) = \frac{\partial w^{\star}_{\Delta}}{\partial \boldsymbol{\sigma}} (\boldsymbol{\tau}(\lambda)), \quad \boldsymbol{\tau}(\lambda) = \boldsymbol{\sigma}_{HR}^{n} + \lambda \: \left(\widehat{\boldsymbol{\sigma}}^{n} - \boldsymbol{\sigma}_{HR}^{n}\right) \end{array} $$

((65))

Here, $\widehat {\boldsymbol {\varepsilon }}^{n}(\lambda)$ is the strain tensor given by the constitutive equation upon the stress τ(λ) at time t ⁿ and the internal variables $\boldsymbol {\alpha }^{n-1}_{\textit {HR}}$ at time t ⁿ⁻¹. Hence, the numerical estimation of $\widehat {\boldsymbol {\varepsilon }}^{n}(\lambda)$ can be performed by the usual implementation of the constitutive equations of generalized standard materials [40-42].

In the following numerical simulations, we have estimated the integral on λ by the value of first derivative of g for λ=1.

Numerical estimation of the constant c _η

In practice, we have more modes than necessary to achieve accurate predictions for μ=μ ¹, because the POD of $(\textbf {u}^{n}_{\textit {FE}}(\cdot, \: \boldsymbol {\mu }^{1}))_{n=1}^{N_{t}}$ is accurate up to the numerical precision. The total number of available modes is denoted by $\overline {N}_{\psi }$ such that $\overline {N}_{\psi } \le \min (N_{\xi }, N_{t})$ and $N_{\psi } \le \overline {N}_{\psi }$. This gives access to several hyper-reduced models by restricting the number of modes involved in the reduced basis related to the displacements. The constant c _η is set-up by using these approximate hyper-reduced solutions and the known stresses predicted by the FE model:

$$ c_{\eta} = \max_{N_{\psi} \in \left\{1, \ldots,\overline{N}_{\psi}\right\}} \frac{\sum_{n=1}^{N_{t}} \left\| s\left(\textbf{u}^{n}_{FE}\left(\cdot;\boldsymbol{\mu}^{1}\right) - s\left(\textbf{u}^{n}_{HR}\left(\cdot;\boldsymbol{\mu}^{1}\right)\right)\right. \right\|_{F}^{2}}{\min \left\{\eta\left(\textbf{u}_{HR}\left(\cdot;\boldsymbol{\mu}^{1}\right), \: \boldsymbol{\sigma}_{FE}\left(\cdot;\boldsymbol{\mu}^{1}\right)\right) \:, \: \eta\left(\textbf{u}_{HR}\left(\cdot;\boldsymbol{\mu}^{1}\right), \: \widehat{\boldsymbol{\sigma}}\left(\cdot;\boldsymbol{\mu}^{1}\right) \right)\right\}} $$

((66))

Hence the constraint (9) is fulfilled. Let us denote by $N^{c}_{\psi }$ the number of displacement modes for which the maximum in Equation (66) is reached. In our opinion, if we expect that the error estimator behaves like an upper bound, we should not take $N^{c}_{\psi }$ modes to generate the final HR model. In the following example, we are setting $N_{\psi } = N^{c}_{\psi }+1$.

Results and discussion

We apply the estimation of the validity domain to a beam composed with a layer of tin alloy (SnX) on a layer of copper (Cu). This is a cantilever beam shown in Figure 2. The thickness of the tin is 0.155 mm, the thickness of the copper in 0.111 mm, the width and the length of the beam are respectively 2. mm and 12. mm. These are the dimensions of an experimental specimen used at the Centre des Matériaux. The simulation output is the difference between an experimental transverse displacement at point A, shown in Figure 2, and its prediction by the mechanical model:

$$ s(\textbf{u}_{HR}^{n}) = \textbf{y} \cdot \textbf{u}^{n}_{HR}(A; \: \boldsymbol{\mu}) - u_{exp}^{n} $$

((67))

Figure 2

Meshes. On the top, we show the boundary condition and the mesh of the FE model. On the bottom, we show the RID involving 31 elements of the original mesh.

where y is the transverse axis and $u_{\textit {exp}}^{n}$ is a given experimental measurement of the transverse displacement of the point A. The copper is assumed to be elastic and isotropic. Its Young modulus is 63000. MPa and its Poisson coefficient is 0.3. The tin alloy is isotropic and elastoviscoplastic with a linear kinematic hardening. The potentials of the tin alloy read:

$$\begin{array}{*{20}l} \boldsymbol{\alpha} = (\boldsymbol{\varepsilon}^{p}, \widetilde{\boldsymbol{\alpha}}) \end{array} $$

((68))

$$\begin{array}{*{20}l} w (\boldsymbol{\varepsilon},\boldsymbol{\alpha}) = \frac{1}{2} \left(\frac{E}{1+\nu} (\boldsymbol{\varepsilon} - \boldsymbol{\varepsilon}^{p})^{2} + \frac{\nu \: E}{(1-2\nu)\:(1+\nu)} \text{Tr}(\boldsymbol{\varepsilon} - \boldsymbol{\varepsilon}^{p})^{2} \right) \\ &&+\ \frac{1}{3} \: C \: \widetilde{\boldsymbol{\alpha}} : \widetilde{\boldsymbol{\alpha}} \end{array} $$

((69))

$$\begin{array}{*{20}l} \varphi (\dot{\boldsymbol{\alpha}}) = \left(\frac{2}{3} \: \dot{\boldsymbol{\varepsilon}}^{p} : \dot{\boldsymbol{\varepsilon}}^{p}\right)^{\frac{1}{2}} \: \left(R_{o} + h \: \frac{2}{3} \: (\dot{\boldsymbol{\varepsilon}}^{p} : \dot{\boldsymbol{\varepsilon}}^{p})^{\frac{1}{2m}} \right) \\ && -\ \frac{h}{m+1} \: \left(\frac{2}{3} \: \dot{\boldsymbol{\varepsilon}}^{p} : \dot{\boldsymbol{\varepsilon}}^{p}\right)^{\frac{m+1}{2m}} \end{array} $$

$$\begin{array}{*{20}l} +\ \frac{1}{\delta((\dot{\boldsymbol{\varepsilon}}^{p} - \dot{\widetilde{\boldsymbol{\alpha}}}): (\dot{\boldsymbol{\varepsilon}}^{p} - \dot{\widetilde{\boldsymbol{\alpha}}}))} + \frac{1}{\delta(| \text{Tr}(\dot{\boldsymbol{\varepsilon}}^{p})|)} \end{array} $$

((70))

$$\begin{array}{*{20}l} \delta(0) = +\ \infty \end{array} $$

((71))

$$\begin{array}{*{20}l} \delta(x\neq0) = 0 \end{array} $$

((72))

where E=80000. MPa, ν=0.3, m=8., R _o =0.1 MPa. These material coefficients are reasonably good enough to fit experiments performed at the Centre des Matériaux. The parameters of the mechanical model are the material coefficients h and C related to viscoplasticity and kinematic hardening respectively. The range of variation for μ=(h,C) is [15. MPa, 30. MPa]×[3000. MPa, 40000. MPa]. The pointwise load follows a sinusoidal time variation:

$$ \textbf{F}^{n} = - F_{max} \: \sin\left(\pi \: \frac{n}{N_{t}}\right) \: \textbf{y}, \quad F_{max} = 0.04 \: \hbox{N}, \: N_{t} = 5 $$

((73))

The FE simulation used to generate the reduced basis is performed on an arbitrary sampling point μ ¹=(20. MPa, 30000. MPa). The POD of the FE solution gives $\overline {N}_{\psi } = 9$ displacement modes with non-zero eigenvalue. It also provides $\overline {N}_{\psi }^{\sigma } = 48$ admissible stress modes. We denote by $(\boldsymbol {\psi }_{k}^{\sigma })_{k=1}^{\overline {N}_{\psi }^{\sigma }}$ the statically admissible modes related to the POD of $(\boldsymbol {\sigma }^{n}_{\textit {FE}}(\cdot ;\boldsymbol {\mu }^{1}) - \boldsymbol {\sigma }^{n}_{N})_{n=1}^{N_{t}}$. Some of these modes are shown in Figure 3.

Figure 3

Empirical modes. Some POD modes: on the left for displacements and on the right for admissible stresses.

Figure 4 shows that the proposed error estimator incorporates errors related to the projection of the stress onto the dual reduced basis. In this example, if the number of modes of the dual reduced-basis is too small (i.e. smaller than 24), the error estimator does not account for the improvement of u _HR when the reduced-basis $(\psi _{k})_{k=1}^{N_{\psi }}$ has more than 3 modes. The convenient choice of $N_{\psi }^{\sigma }$ is set-up by considering its influence on the smallest value of η for large values of N _ψ . Here, $N_{\psi }^{\sigma } = 29$ makes this influence negligible for all values of N _ψ . When $N_{\psi }^{\sigma }$ has been fixed, we can estimate c _η according to Equation (66). Figure 5 shows the curve related to the HRAE and the error estimator c _η η obtained for the sampling point μ=μ ¹, when varying the number of displacement modes for the maximization problem (66).

Figure 4

Convergence of the error estimator. The constitutive relation error depends on both displacement approximation and admissible stress approximation. Here, μ=μ ¹.

Figure 5

Constant fitting. The coefficient c _η is fitted upon the simulation outputs obtained for μ=μ ¹ such that the error estimator gives an upper bound of the output error, in the case μ=μ ¹.

For the proposed example, inside the plastic zone, the stress field through the thickness of the beam is very sensitive to modifications of the parameters h and C. Here, the validity domain of the hyper-reduction approximations is defined by $\epsilon _{D} = 0.05^{2} \: \sum _{n=1}^{N_{t}} (u_{\textit {exp}}^{n})^{2}$. It is shown in Figure 6. The hyper-reduced model is set-up by choosing $\epsilon _{\textit {HR}} = \frac {\epsilon _{D}}{25. \: 10^{2}}$. Then, N _ψ =7 and the related RID Ω _Z , shown in Figure 2, involves 31 elements over a total of 120 elements. The average number of Newton-Raphson iterations is 4 per time step. The speed-up obtained with this hyper-reduced model, including the error estimation, is 6. Without error estimation the speed-up is 8. Hence, the cost of error estimation is quite reasonable and the computational-complexity reduction is preserved. Here, the FE model is very simple. The bigger the FE model, the larger we expect the speed-up to be.

Figure 6

Error prediction on outputs. On the left, in blue, the reference validity domain $\mathcal {D}_{V}$ over the parameter space , on the right the approximate one $\widetilde {\mathcal {D}}_{V}$. The white star is located at the sampling point μ ¹. The black dashed line is the limit of the reference validity domain defined by an error on the outputs lower than 5%.

The estimation of the validity domain is shown on the right of Figure 6. It is quite restrictive. This means that most of the points in $\widetilde {\mathcal {D}}_{V}$ are in the reference validity domain $\mathcal {D}_{V}$. Here, for small values of the parameter h, the prediction of the validity domain is too conservative. Such a situation can appear when the average influence of a parameter on the solution is larger than its influence on the output, because the error estimator is linked to the HRAE in an average sense.

We have tried the proposed numerical approach in case of $N_{\psi } = N_{\psi }^{c}$ (here $N_{\psi }^{c} = 6$), by using the same RID. The estimated validity domain and the boundary of the reference validity domain for the related HR model are shown in Figure 7. This modification has significant influence on the numerical results. Once again, all the points in $\widetilde {\mathcal {D}}_{V}$ are in the reference validity domain.

Figure 7

Error prediction on outputs for N _ψ =6. In blue, the approximate validity domain $\widetilde {\mathcal {D}}_{V}$. The white star is located at the sampling point μ ¹. The black dashed line is the limit of the reference validity domain defined by an error on the outputs lower than 5%.

We have performed additional numerical simulations by substituting a Dirichlet boundary condition to the pointwise load. In this case, the time evolution of the load is:

$$ {\textbf{u}_{c}^{n}} = - U_{max} \: \sin\left(\pi \: \frac{n}{N_{t}}\right) \: \textbf{y}, \quad U_{max} = 1.8 \: \text{mm}, \: N_{t} = 5 $$

((74))

Figure 8 shows the estimation of the validity domain of the hyper-reduced model compared to the boundary of $\mathcal {D}_{V}$, for this case of a non-zero Dirichlet boundary condition. Both reference validity domain and its estimation are different compared to the previous ones because the reduced bases are different. They have a better accuracy with respect to N _ψ =7 and $N_{\psi }^{\sigma } = 29$.

Figure 8

Error prediction on outputs in case of non-zero Dirichlet boundary condition. In blue, the approximate validity domain $\widetilde {\mathcal {D}}_{V}$. The white star is located at the sampling point μ ¹. The black dashed line is the limit of the reference validity domain defined by an error on the outputs lower than 5%.

We can notice that the higher h and C, the smaller the plastic strains in the beam. Since the hyper-reduced model is accurate for low plastic strains, the validity domain covers the high values of h and C.

Conclusions

We propose an a posteriori estimator of hyper-reduction errors that aims to evaluate if the simulation outputs predicted by hyper-reduced models are convenient approximations of the outputs that the finite element simulation would have predicted. By choosing a tailored norm of the approximation error on displacement, we show how the proposed error estimator is related to the HR approximation error. This error estimator receives the contribution of a coupling term between the error at time step n and the error committed before. We show that this term prevents rigorous error certification. But in practice, numerical examples show a restrictive estimation of the validity domain of the HR model. By restrictive, we mean that this domain is inside the reference validity domain computed by using both the FE solution and the HR solution. The speed-up achieved by the HR model including the estimation of the constitutive relation error is 6 on the proposed numerical elasto-viscoplastic examples. The estimation of the validity domain requires the computation of a constant similar to a Lipschitz constant. This constant is estimated without any additional simulation of FE solution, but the FE solution at the sampling point μ=μ ¹. As shown in is this paper, the numerical implementation of the proposed error estimator is very simple. It does not require the computation of the incremental potential or of its dual. This paper is a first attempt for a posteriori error estimation of hyper-reduction approximations. More numerical experiments are in preparation for the assessment of the proposed numerical approach.