Abstract
This study explores reduced-order modeling for analyzing time-dependent diffusion-deformation of hydrogels. The full-order model describing hydrogel transient behavior consists of a coupled system of partial differential equations in which the chemical potential and displacements are coupled. This system is formulated in a monolithic fashion and solved using the finite element method. We employ proper orthogonal decomposition as a model order reduction approach. The reduced-order model performance is tested through a benchmark problem on hydrogel swelling and a case study simulating co-axial printing. Then, we embed the reduced-order model into an optimization loop to efficiently identify the coupled problem’s material parameters using full-field data. Finally, a study is conducted on the uncertainty propagation of the material parameter.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Hydrogels, known for their biocompatibility, high water content, and adaptable mechanical properties, are at the forefront of innovation in the fabrication of functional materials for biomedical applications [62]. The fabrication of hydrogels has been supported by the integration of quantitative experimental techniques with computational models describing the material and mechanical properties of the fabricated hydrogel. A comprehensive review of available experimental methods to investigate hydrogel properties, along with an overview of some common mathematical modeling approaches describing hydrogels’ mechanics and transport properties, can be found in [16]. A recent review of the theories capturing hydrogel’s diffusion-deformation coupled mechanisms can be found in [57].
Diffusion-deformation models for hydrogels combine continuum mechanics and thermodynamics with solvent diffusion physics through the balance of mass and Fick’s law of diffusion [13, 19, 42], but lack an analytical solution in general [21, 57]. Hence, the model’s solution requires numerical methods, such as the Finite Element Method (FEM) [4, 57]. Running such a full-order model (FOM) finite element simulation can become costly [12, 22]. This has hindered the widespread adoption of multiphysics modeling in hydrogel manufacturing, where many-query tasks are often performed, and several hundreds or thousands of similar runs are often necessary. Typical many-query tasks are material parameter identification [64], uncertainty quantification [51], process optimization, model-based 3D printing monitoring, or feedback printing error compensation [40, 56].
Model-order reduction (MOR) offers a promising solution to the challenges posed by the computational burden of multiphysics models. By using a ROM, we can save on computation resources while still capturing the dominant behaviors of the system. ROMs can be tailored to specific regions of interest, ensuring accuracy where it is most crucial. ROMs can bridge the gap between the detailed insights provided by multiphysics models and the practical necessities of the many-query tasks mentioned above; see, for example, [17, 56], and [51].
In the MOR literature, Proper Orthogonal Decomposition (POD) and its variants are particularly popular across multiple disciplines; see, for example, [46] for a review of POD-based methods for MOR in a variety of research areas. Additionally, we refer to [8, 10] and [28] for a comprehensive introduction to POD applied to MOR and to [9] for a survey in the context of parametrized PDEs. In particular, POD-based reduced-order modeling has been successfully applied in engineering, in the context of fluid mechanics [6, 26, 50], image processing [58], rotor dynamics [43, 45], for structural damage detection [23], and in the area of structural dynamics [35]. POD-based methods can be also used to solve optimal control problems [7, 15, 48, 60]. Moreover, POD-based ROMs can be physically interpreted based on the concept of proper orthogonal modes (POMs) [35]. However, while the theory is solid for linear and some non-linear systems [10], applying ROMs to tasks such as hydrogels fabrication by printing is largely unexplored. In this work, we exploit the capabilities of POD to predict the transient diffusion-deformation of hydrogels in co-axial printing and its efficiency in many-query tasks such as material parameter identification and uncertainty propagation.
Different POD-based algorithms have been proposed in the literature. Global POD methods focus on the estimation of global POD basis functions [8, 10]. In contrast, local POD methods are based on snapshot clustering [54]. Adaptive POD methods have been developed to improve POD basis functions construction by choosing additional snapshot locations in an optimal way [39]. Incremental POD has also been proposed, allowing an adaptive enrichment of the POD basis in case of unforeseen changes in the solution behavior [24, 25]. Transient POD methods focus on snapshots of time-dependent problems [44]. The so-called nested-POD method applies to time-dependent partial differential equations (PDEs) and enables a two-step dimensionality reduction: first in the temporal domain and then in the spatial domain, which also includes parameter information [33, 34]. This last approach has been shown to be particularly useful when the PDE requires many time steps to be approximated. In this work, we adopt the nested-POD approach and compare it to the traditional POD.
In this paper, we consider a specialized theory for small deformations superposed on a previously homogeneously swollen gel as presented in [4]. This model is derived following rigorous thermodynamic concepts and can be considered the linearized version of the more general diffusion-deformation theory presented in [19] and [21]. This diffusion-deformation model was recently validated in [18] and showed good agreement with experimental data to study the diffusion-deformation process within the first three hours. If long-time deformations are present, a nonlinear material model accounting for the hyperelastic deformation of the polymer network and describing the mixing of the solvent with the polymer network should be considered [13, 19, 21, 57]. We implement two POD-based ROMs, study their accuracy, and evaluate the computation speed-up to assess its suitability for many-query scenarios.
The main contributions of the paper can be summarized as follows:
-
1.
We present the first work that considers POD-based parametric ROMs for the diffusion-deformation of hydrogels.
-
2.
We demonstrate the effectiveness of the obtained parametric ROMs for material parameter identification and uncertainty propagation for hydrogel printing processes.
The paper is organized as follows: Sect. 2 summarizes the coupled diffusion-deformation theory of gels in the small deformation regime. Section 3 introduces the POD framework. Section 4 states the material parameter identification problem enabled by the reduced-order model. In Sect. 5, several simulations are conducted and computationally analyzed. Concluding remarks are given in Sect. 6.
2 Small deformation theory for the diffusion-deformation of hydrogels
Diffusion-deformation theories of gels integrate fluid transport and solid mechanics principles to explain how gels swell or shrink due to fluid movement and how these processes influence their shape and mechanical properties [13, 19, 21, 57]. In a diffusion-deformation model of gels, the driving forces are fluid diffusion into or out of the gel and mechanical deformation due to external loads or internal stresses. The model should allow for predicting swelling or shrinking behaviors, stress distributions, and changes in mechanical properties over time. The primary outcomes of this model include the gel’s deformation patterns and mechanical responses under varying conditions. Essential parameters for model calibration encompass the diffusion coefficient, the gel matrix’s mechanical properties such as shear and bulk modulus, and fluid-gel interaction parameters such as Flory’s interaction parameter.
This section summarizes the theory describing the diffusion-deformation mechanisms in elastomeric gels that undergo small deformations under isothermal conditions. The model is derived as a special case of a more general theory of chemoelasticity [3, 4]. This linear theory is suitable for capturing swelling and drying for the first few hours of the diffusion-deformation process [4, 18]. For example, the theory can describe the diffusion-deformation of hydrogels in bioprinting applications where the hydrogel is mixed in the printer’s nozzle with living cells and nutrients necessary for cell growth and proliferation, or in co-axial printing where the hydrogel is directly crosslinked in the printer’s nozzle [36].
As notation rules, we denote gradient \(\text {grad}(\bullet )\) and divergence \(\text {div}(\bullet )\). The time derivative of any field is denoted by \(\partial _t (\bullet )\). The operator \(\text {tr}({\textbf{A}})\) refers to the trace of the second-order tensor \({\textbf{A}}\). We denote the spatial dimension with d, and in this section, we exclusively work with \(d=3\). Finally, let \(I:=\{0,T_f\}\) be the time interval with end time value \(T_f>0\).
2.1 Kinematics of the deformation
Consider a continuum homogeneous elastomeric body \({\mathcal {B}}\) within the Euclidean space \({\mathbb {R}}^d\) and its boundary \(\partial {\mathcal {B}} = \partial {\mathcal {B}}{{\textbf{u}}} \cup \partial {\mathcal {B}}{\bar{{\textbf{t}}}} = \partial {\mathcal {B}}_{R}\). Here, \(\partial {\mathcal {B}}{{\textbf{u}}}\) denotes the displacement (Dirichlet) boundary, \(\partial {\mathcal {B}}{\bar{{\textbf{t}}}}\) the traction (Neumann) boundary, and \(\partial {\mathcal {B}}_{R}\) the fluid flux (Robin) boundary. The outward normal vector to the domain boundaries is denoted by \({\textbf{n}}\in {\mathbb {R}}^d\). The displacement field is defined as \({\textbf{u}}:{\mathcal {B}}\rightarrow {\mathbb {R}}^d\) and the deformation is described by the displacement gradient tensor, with \({\textbf{H}}:{\mathcal {B}}\rightarrow {\mathbb {R}}^{d \times d}\),
For small deformations, the strain tensor can be approximated by the linearized strain tensor, \(\varvec{\varepsilon }:{\mathcal {B}}\rightarrow {\mathbb {R}}^{d \times d}\),
which represents the symmetric part of the displacement gradient.
2.2 Governing partial differential equations
The two governing PDEs for the quasi-static vector-valued displacements \({\textbf{u}}:{\mathcal {B}}\rightarrow {\mathbb {R}}^d\) and scalar-valued, time-dependent, fluid content in terms of the concentration \(c:{\mathcal {B}}\times I\rightarrow {\mathbb {R}}\) consist of:
-
1.
The local form of the balance of linear momentum:
$$\begin{aligned} {\left\{ \begin{array}{ll} \text {div} (\varvec{\sigma }) + {\textbf{b}} = \varvec{0}, &{} ~ \text {in} ~ {\mathcal {B}}, \\ {\textbf{u}} = \bar{{\textbf{u}}}, &{} ~ \text {on} ~ \partial {\mathcal {B}}_{{\textbf{u}}}, \\ \varvec{\sigma } \cdot {\textbf{n}} = \bar{{\textbf{t}}}, &{} ~ \text {on} ~ \partial {\mathcal {B}}_{\bar{{\textbf{t}}}}, \\ \varvec{\sigma }\vert _{t = 0} = \varvec{\sigma }_0, &{} ~ \text {in} ~ {\mathcal {B}}\,. \end{array}\right. } \end{aligned}$$(3)Here, \(\varvec{\sigma }:{\mathcal {B}}\rightarrow {\mathbb {R}}^{d \times d}\) denotes the Cauchy stress tensor, and \(\varvec{\sigma }_0:{\mathcal {B}}\rightarrow {\mathbb {R}}^{d \times d}\) its initial value at \(t = 0\). External actions consist of body forces per unit deformed volume \({\textbf{b}}:{\mathcal {B}}\rightarrow {\mathbb {R}}^d\). Moreover, boundary conditions prescribe displacements \(\bar{{\textbf{u}}}:{\mathcal {B}}\rightarrow {\mathbb {R}}^d\) and tractions \(\bar{{\textbf{t}}}:\partial {\mathcal {B}}_{\bar{{\textbf{t}}}}\rightarrow {\mathbb {R}}^{d}\) on separate portions of the boundary. Notice that inertial effects have been neglected due to the considerably slow dynamics of the fluid diffusion evolution w.r.t. the time scale of the wave propagation.
-
2.
The local form of the mass balance of fluid content inside the hydrogel:
$$\begin{aligned} {\left\{ \begin{array}{ll} \partial _t c + \text {div} ( {\textbf{j}} ) = 0, &{} ~ \text {in} ~ {\mathcal {B}} \times I,\\ -{\textbf{j}} \cdot {\textbf{n}} = \alpha _R (\mu - \mu _{\infty }), &{} ~ \text {on} ~ \partial {\mathcal {B}}_{R}\times I,\\ \mu \vert _{t = 0} = \mu _0, &{} ~ \text {in} ~ {\mathcal {B}}\times \lbrace t=0 \rbrace . \end{array}\right. } \end{aligned}$$(4)Boundary conditions are defined by a Robin condition on the boundary \(\partial {\mathcal {B}}_{R}\), which prescribes a relationship between the fluid flux \({\textbf{j}}\) and the chemical potential \(\mu \). Specifically, \(\alpha _R\) is a proportionality constant, and \(\mu _{\infty }:\partial {\mathcal {B}}_{R}\times I\rightarrow {\mathbb {R}}\) represents a reference chemical potential. This condition models the proportional flux response to the difference in chemical potential at the boundary and is considered to be more consistent with experimental observations of fluid absorption in hydrogels [18]. Furthermore, \(\mu _0: {\mathcal {B}}\times \lbrace t=0 \rbrace \rightarrow {\mathbb {R}}\) refers to the initial value of the chemical potential inside the hydrogel. Notice that the mass balance of fluid content is written in terms of c and \({\textbf{j}}\), but its corresponding boundary and initial conditions involve the chemical potential \(\mu \). The connection of Eq. (4) with \(\mu \) becomes clear by introducing a constitutive relation for \({\textbf{j}}\), for example, through Fick’s laws of diffusion.
2.3 Thermodynamically consistent constitutive theory for linear isotropic gels
In this subsection, we present a thermodynamically consistent constitutive theory describing the coupled diffusion-deformation mechanisms for linear isotropic gels. Only the main ingredients are provided, but the step-by-step derivation of the constitutive model is detailed in A.
For linear isotropic hydrogels, the following thermodynamically-consistent constitutive relation can be established for Cauchy’s stress
with G representing the elastic shear modulus, \(\lambda ^{d}\) the drain Lamé parameter, \(\varvec{1}\) the identity tensor, \(\chi \) the stress-chemical modulus, and \(\Lambda \) the chemical modulus.
Additionally, the following constitutive relation can be established for the species concentration as a function of the chemical potential
Moreover, we append a thermodynamically motivated choice for the fluid flux \({\textbf{j}}\) based on Fick’s law for species diffusion. That is, \({\textbf{j}}\) is proportional to the gradient of the chemical potential, namely,
with \({\textbf{M}}\) is the species mobility tensor defined as
where D is a constant for fluid diffusivity, \(k_B\) is the Boltzmann constant, and \({\bar{T}}\) is the absolute temperature.
The final model is characterized by four independent material parameters, two from isotropic linear elasticity \([G, {\lambda }^{d}]\) and the other two from the fluid equations \([\Omega , D]\), where \(\Omega \) is the molar volume of the fluid as defined in Appendix A.
It is worth mentioning that the theory introduced here can be linked with the classical theories of chemoelasticity and linear poroelasticity; see [3] and [4] [Chapters 15 and 16] for more details. The related transformations are explained in Appendix A.
2.4 Coupled diffusion-deformation model in normalized form
To facilitate the analysis of the model derived in Appendix A, Problem 4, the physical quantities are normalized as follows
In equation (9), l is the reference length of the hydrogel, \(\lambda ^*\) is the dimensionless first Lamé constant, which indicates how much volumetric versus shear deformation contributes to the material response, and A is the dimensionless scaling factor for the chemical potential’s influence on the stress. This normalization closely follows the methodology presented by [18].
The reader should note that the normalized model only contains two non-dimensional parameters, compared to six parameters in the original formulation; see Appendix A, Problem 4. Moreover, as the time-dependent chemical potential enters into the displacements, the governing PDEs become quasi-static, indirectly depending also on time. Thus, we write \({\textbf{u}}: {\mathcal {B}} \times I \rightarrow {\mathbb {R}}^d\) in the remainder of the paper.
The resulting coupled PDE model with normalized quantities reads:
Problem 1
(Strong form linear diffusion-deformation of gels) Given \(\bar{{\textbf{u}}},\bar{{\textbf{t}}}^*,\mu ^*_{\infty }\) as boundary data and \(\varvec{\sigma }^*_0,\mu ^*_0\) as initial data, find \(\varvec{u}:{\mathcal {B}}\times I\rightarrow {\mathbb {R}}^d\) and \(\mu ^*:{\mathcal {B}}\times I\rightarrow {\mathbb {R}}\) such that
with the constitutive law for stresses in normalized form given by
and the strain tensor defined as in equation (2), which now contains only two dimensionless material parameters, namely \([\lambda ^*, A]\), defined in equation (9).
The reader should notice that, for simplicity in the notation, the asterisks in the normalized quantities will be removed in the subsequent sections.
2.5 Weak formulation
The solution of the coupled PDE system given by equations (10)–(17) consists of a vector-valued field of displacements \({\textbf{u}}\) and a scalar-valued field of the chemical potential \(\mu \).
In the following, we derive the weak formulation. We adopt standard notation for the usual Lebesgue and Sobolev spaces, see, for example, [61]. The functional space \(H^1({\mathcal {B}})^d\) is a Sobolev space that consists of functions defined on a bounded domain \({\mathcal {B}} \subset {\mathbb {R}}^d\), with square integrable partial derivatives up to the first order. To this end, we define the trial and test spaces as follows
To formulate both problem statements in an abstract fashion, we introduce for the displacement system the bilinear form \(a((\mu , {\textbf{u}}))({\textbf{v}})\). Furthermore, let \(b({\textbf{v}})\) be the given right-hand side data. Next, for the balance of fluid concentration, we use \(c((\mu , {\textbf{u}}))(q) \) and d(q). Then, the weak formulation can be written as
Problem 2
(Weak form) Find \(({\textbf{u}},\mu ) \in V_{\bar{{\textbf{u}} }} \times Q\), with \(\mu (0) = \mu _0\) and \(\sigma (0) = \sigma _0\), such that for \(t\in I\) it holds
where
with “ : " denoting the double contraction of the second-order tensors \(\varvec{\sigma }\) and \(\text {grad} ({\textbf{v}})\), where \(\varvec{\sigma } ( \mu , {\textbf{u}})\) is defined by Eq. (17), which couples the two balance equations.
2.6 Discrete weak formulation and numerical solution
In order to deal with efficient POD-based ROMs, we are required to fulfill the assumption of affine parametric dependence on the operators appearing in the weak form (18) at the FOM level. This allows us to decouple the construction stage of the reduced-order space (offline) from the parametric evaluation stage (online).
To meet this requirement, let us assume that the computational domain \({\mathcal {B}}\) is decomposed into triangular elements. We employ Taylor-Hood elements such that the inf-sup condition is fulfilled, that is, \(V_{h, {{\textbf{0}}}} \times Q_h \subset V_{{{\textbf{0}}}} \times Q\), with quadratic functions in \(V_{h}\) and linear functions in \(Q_h\). Then, the parametric semi-discrete variational monolithic formulation for the diffusion-deformation model reads:
Problem 3
(Parametric spatial semi-discrete weak form) Given the material parameter \(\varvec{\theta }=[\lambda , A]\in {\mathbb {R}}^{d_{\varvec{\theta }}}\) and model coefficients \(\varvec{\Theta }:= [2, \varvec{\theta }] \in {\mathbb {R}}^{d_{\varvec{\theta }}+1}\), find \(({\textbf{u}}_h, \mu _h) \in \{\bar{{\textbf{u}}}_h|_{\partial {\mathcal {B}}_{{\bar{u}}}} + V_{h,{{\textbf{0}}}}\} \times Q_h\) such that for \(t\in I\) it holds
where equation (23)\(_1\) can be reformulated as
with
and
Additionally, Eq. (23)\(_2\) can be written analogously as
with
and
Here, \(\varvec{{\mathcal {M}}}( (\mu _h, {\textbf{u}}_h), t; \varvec{\theta } )\) is the semi-discrete operator that captures the transient behavior of the coupled diffusion-deformation problem and is affine parameterized by the material parameters \(\varvec{\theta }=[\lambda , A]\).
The time-dependent operator defined in Eq. (28)\(_1\) is further discretized in time with the first-order A-stable implicit Euler scheme. The arising linear system of equations in Problem 3 is solved with a sparse direct solver. The implementation is done in FEniCS. All details of this FOM realization can be found in [57].
3 Parametric POD-based reduced order modeling
In this section, we describe parametric POD-based and parametric nested-POD approaches as reduced-order modeling strategies applied to the transient diffusion-deformation of hydrogels. Such a ROM construction allows to speed up the solution of the coupled model presented in Sect. 2, which enables its use in many-query scenarios.
The computation in the reduced-order modeling strategy is divided into two phases: offline and online.
-
(1)
The offline phase refers to the parametric ROM construction. It mainly consists of two steps:
-
(1a)
Collect a set of snapshots that are FOM solutions for different parameter values and time instances. The simulation time interval for each parameter instance remains the same.
-
(1b)
Find an optimal reduced-order approximation of the primary variables \((\mu _h, {\textbf{u}}_h)\) by projecting the snapshot matrix into a reduced linear subspace using the Galerkin approach.
Figure 1 illustrate the main steps of the offline phase for the parametric ROM construction.
-
(1a)
-
(2)
The online phase refers to the use of the ROM as a surrogate of the FOM to predict the diffusion-deformation of hydrogels in many-query tasks. Here, the parametric ROM is used for parameter identification; see Sect. 5.
The offline steps are explained in detail below. The starting point is the assembly of the snapshot matrix in Sect. 3.1, followed by the singular value decomposition (SVD) in Sect. 3.2. We introduce the nested-POD approach as a computationally efficient variant in Sect. 3.3. The Galerkin projection is outlined in Sect. 3.4. The implementation of the parametric POD and nested-POD-based ROMs is inspired in [41] and [33].
3.1 Assembly of snapshots matrix
The snapshots are obtained by solving the model
This results in a global snapshot matrix \({\mathbb {S}}\in {\mathbb {R}}^{(N_h^{\mu }+N_h^{{\textbf{u}}}) \times (N_t \cdot N^{\varvec{\theta }})}\), with
- i.:
-
\(N^{{\textbf{u}}}_h\) the number of displacement degrees of freedom,
- ii.:
-
\(N^{\mu }_h\) the number of chemical potential degrees of freedom,
- iii.:
-
\(N_t\) the number of time steps, and
- iv.:
-
\(N^{\varvec{\theta }}\) the number of parameter instances used for training.
Different assembly strategies arise from splitting the subset global snapshots into subsets in order to enhance computational efficiency. Here, we consider partitioning in the primary variables \((\mu _h, {\textbf{u}}_h)\) as well as in space and time. The reader should note that the latter approach is also referred to as the nested-POD approach.
Partitioning of primary variables To this end, we consider a partitioned approach to derive reduced bases for \(\mu _h\) and \({\textbf{u}}_h\) separately. We focus on the displacement field in what follows, although a similar procedure applies to the chemical potential. Given the parameter instances \(\varvec{\theta }_i\), \(\forall i \in N^{\varvec{\theta }}\) of the training dataset, the corresponding temporal snapshot matrix \({\mathbb {S}}_{{\textbf{u}}}(\varvec{\theta }_i)\in {\mathbb {R}}^{N^{{\textbf{u}}}_{h} \times N_t}\) is assembled as:
for the displacement field \({\textbf{u}}_h(.,t_n;\varvec{\theta }_i)\) at a specific time \(t_n\), for \(n = 0, \dots , N_t\), and parameter instance \(\varvec{\theta }_i\).
The complete snapshots matrix \({\mathbb {S}}_{{\textbf{u}}}\in {\mathbb {R}}^{N^{{\textbf{u}}}_{h} \times (N_t \cdot {N^{\varvec{\theta }}})},\) is then constructed by aggregating the individual temporal snapshot matrices \({\mathbb {S}}_{{\textbf{u}}}(\varvec{\theta }_i)\) as:
Consequently, each row in \({\mathbb {S}}_{{\textbf{u}}}\) corresponds to a degree of freedom in the spatial discretization, and each column corresponds to the state of the system at a particular time for a particular parameter sample.
3.2 POD for the displacement field
In this subsection, we describe the key parts of the POD for the displacement field. The chemical potential POD is computed in an analogous fashion. In synthesis, POD reduces the dimensionality of \({\mathbb {S}}_{{\textbf{u}}}\)(32) by computing a matrix \({\mathbb {V}} \in {\mathbb {R}}^{N_h^{{\textbf{u}}} \times r})\), which represents the best approximation in the least-squares sense to the snapshot matrix \({\mathbb {S}}_{{\textbf{u}}}\). Here, \(r \ll N_t \cdot N^{\varvec{\theta }}\) is the number of retained modes based on analyzing the singular values that retain the most significant information in the snapshots matrix. We refer the reader to Eq. (34).
The POD solution is then derived by solving the optimization problem:
where \(\Vert \cdot \Vert _F\) denotes the Frobenius norm, which measures the distance between \({\mathbb {S}}_{{\textbf{u}}}\) and its approximation \({\mathbb {V}}{\mathbb {V}}^T {\mathbb {S}}_{{\textbf{u}}}\) in terms of all entries of the snapshots matrix. Moreover, \(\sigma _i\) refers to the i-th singular value of \({\mathbb {S}}_{{\textbf{u}}}\) and \({\mathbb {V}}{\mathbb {V}}^T\) yield the identity matrix with dimension of \(N_h^{{\textbf{u}}} \times N_h^{{\textbf{u}}}\).
The singular values \(\sigma _i\) provide quantitative guidance for choosing the size of the POD basis. That is, the number of modes r required to capture a desired fraction of energy of the FOM, measured by the fraction of retained energy
where \(E_{\text {total}}\) is the total energy of the system and \(E_r\) is the retained energy by \(r\) modes. Consequently, the number of modes r is chosen such that the retained energy ratio meets a predefined target fraction \({\mathcal {E}} \ge \eta \in [0, 1]\).
3.3 Nested-POD approach for the displacement field
For a large number of parameters \(N^{\varvec{\theta }}\) and/or time steps \(N_t\), applying SVD on the snapshot matrix (32) may become inefficient, requiring large memory storage. An alternative is to apply the nested-POD approach; see, for instance, [33], and also our own study in Fig. 5 (Sect. 5).
The snapshot matrix \({\mathbb {S}}_{{\textbf{u}}}\) (32) can be further decomposed into temporal and space parts to apply the nested-POD approach. That is, the time dimension is reduced first, followed by the spatial dimension for the parameter samples. The dimensionality reduction steps can be summarized as follows:
-
1.
Temporal dimensionality reduction: POD is applied individually for every parameter sample \(\varvec{\theta }_i\) on the snapshots matrix \({\mathbb {S}}_{{\textbf{u}}}(\varvec{\theta }_i)\) (31). In this way, we obtain the basis functions for the first \(n_t \ll N_t\) temporal modes and for each \(\varvec{\theta }_i\). The snapshot matrix after the temporal reduction is represented as \( \tilde{{\mathbb {S}}}_{{\textbf{u}}}(\varvec{\theta }_i) \in {\mathbb {R}}^{N^{{\textbf{u}}}_h \times n_t}\):
$$\begin{aligned} \tilde{{\mathbb {S}}}_{{\textbf{u}}}(\varvec{\theta }_i) = \begin{pmatrix} \tilde{\varvec{w}}^{{\textbf{u}}}_1&\dots&\tilde{\varvec{w}}^{{\textbf{u}}}_{n_t} \end{pmatrix}, \end{aligned}$$(35)with \(\tilde{\varvec{w}}^{{\textbf{u}}}_i\) referring to the basis functions in the temporal domain.
-
2.
Spatial dimensionality reduction: after the temporal dimension has been reduced for each parameter sample \(\varvec{\theta }_i\), we assemble a new snapshot matrix \(\tilde{{\mathbb {S}}}_{{\textbf{u}}} \in {\mathbb {R}}^{N^{{\textbf{u}}}_{h} \times (n_t \cdot N^{\varvec{\theta }})}\) as
$$\begin{aligned} \tilde{{\mathbb {S}}}_{{\textbf{u}}} = \begin{pmatrix} \tilde{{\mathbb {S}}}_{{\textbf{u}}}(\varvec{\theta }_1)&\ldots&\tilde{{\mathbb {S}}}_{{\textbf{u}}}(\varvec{\theta }_{N^{\varvec{\theta }}}) \end{pmatrix}. \end{aligned}$$(36)Then, in analogy to the optimization problem (33), POD is applied again on \(\tilde{{\mathbb {S}}}_{{\textbf{u}}}\) to retain the r first modes and construct spatial bases functions.
For both the temporal and spatial dimensionality reduction, the criterion (34) is employed to select the number of required basis functions.
It is worth remarking here that the SVD algorithm is at the core of dimensionality reduction. In this work, we adopt the SVD algorithm provided by the RBniCS library. Other methods can also be used to improve the SVD efficiency further. For example, the method of snapshots [55] and the streaming method of snapshots [31], or modern variants such as randomized [47] and incremental [14, 37] SVD.
3.4 Galerkin projections
In this subsection, we finally construct the reduced-order solutions using Galerkin projections. In both the POD and nested-POD cases, only the first r modes are retained during the dimensionality reduction and are employed to construct the basis functions for the reduced order space \({\mathcal {U}}_r\) for the displacement field \(\varvec{u}\). Thus, we map the temporal and spatial dimensions to their representation in a linear manifold, producing the best approximation in the reduced space \({\mathcal {U}}_r\) for \({\textbf{u}}(\cdot ; t, \varvec{\theta })\).
The optimal representation is obtained on a reduced basis space by means of Galerkin projection. Let \((\varvec{w}^{{\textbf{u}}}_1, \dots , \varvec{w}^{{\textbf{u}}}_r)\) denote the basis functions spanning \({\mathcal {U}}_r\). Given a time \(t_n\) and a parameter instance \(\varvec{\theta }_i\) in the training set, the best approximation \(\tilde{\textbf{U}}_h (\cdot ; t_n, \varvec{\theta }_i)\) to \({\textbf{u}}_h (\cdot ; t_n, \varvec{\theta }_i)\) in \({\mathcal {U}}_r\) is given by
where the coefficients \(\xi _k^U\) are solutions to the Galerkin projection problem. Specifically, for given \({\textbf{u}}_h (\cdot ; t_n, \varvec{\theta }_i)\), find \(\varvec{\xi }^U (t_n, \varvec{\theta }) = \lbrace \xi _1^U (t_n, \varvec{\theta }_1), \dots , \xi _r^U (t_n, \varvec{\theta }_r) \rbrace \in {\mathbb {R}}^r\) such that,
The operator \((\varvec{w}^{{\textbf{u}}}_k, \varvec{w}^{{\textbf{u}}}_j)_{{\mathcal {U}}_r}\) forms a matrix that can be precomputed and stored, facilitating the efficient computation of the coefficients \(\xi _k^U\) for each new instance of the parameters or time.
The reduced basis approximation \(\hat{\textbf{U}}_h (\cdot ; t_n, \varvec{\theta }_i)\) is computed as:
In the same fashion, we obtain the reduced basis approximation for the chemical potential:
Here, \(\varvec{z}^{\mu }_1, \dots , \varvec{z}^{\mu }_r\) are the basis functions spanning the reduced order space \(\Gamma _r\). Furthermore, \(\xi _k^{\Gamma }\) are the coefficients resulting from the Galerkin projection.
We can numerically approximate the parametric discrete FOM \(\varvec{{\mathcal {M}}}( (\mu _h, {\textbf{u}}_h), t; \varvec{\theta } )\) in Problem 3 by the POD-based ROM \(\varvec{\hat{{\mathcal {M}}}}( ({\hat{\Gamma }}_h, \hat{\textbf{U}}_h), t; \varvec{\theta } )\) as
to approximate \(\mu _h\) and \({\textbf{u}}_h\) in the online phase.
The reader should notice that, in the online phase, the ROM should be only used for predictions of \(\mu _h\) and \({\textbf{u}}_h\) within the parameter range for which it has been trained. Particularly, the ROM model in Eq. (41) needs to be evaluated at the new desired \(\varvec{\theta }\) values. If, in the online phase, it becomes apparent that predictions outside this parameter range are necessary, additional training is recommended, as extrapolation is prone to errors. Then, one can look into various methods proposed, for instance, in [32, 38], or [25]. Furthermore, some research has also been focusing on using machine learning combined with ROM to tackle this issue, as done in [29]. However, in the present study, we did not consider such cases.
Finally, we utilize the \(L^1, L^2\) and \(L^{\infty }\) norms to evaluate the approximation errors, for example, \({\textbf{e}}_{{\textbf{u}}}:= {\textbf{u}}_{FOM} - {\textbf{u}}_{ROM}\) between the FOM \({\textbf{u}}_{h_{FOM}}\) and ROM \({\textbf{u}}_{h_{ROM}}\) solutions.
4 Material parameter identification from full-field data
We exemplary consider material parameter identification from full-field observations to evaluate the ROM’s performance in a many-query scenario. A recent review on parameter identification from full-field data in computational mechanics can be found in [52]. Here, our objective is to identify the optimal set of dimensionless material parameters \(\varvec{\theta }^{\text {opt}} = [\lambda ^{\text {opt}}, A^{\text {opt}} ] \in {\mathbb {R}}^2\) that minimize a metric \({\mathcal {L}}(\varvec{\theta })\) for the discrepancy between model predictions (parametric POD-based ROM or FOM) and some observational data capturing the diffusion-deformation process of the hydrogel. To this end, material parameter identification can be cast as the below optimization problem:
The discrepancy metric \({\mathcal {L}}(\varvec{\theta })\) is often referred to as loss or objective function. In order to ensure proper convergence of the optimization problem stated above, the loss contributions from the different physical fields are computed and scaled individually. This leads to the following composite loss function
whose contributions are computed from the relative \(L^2\) norms of the difference between observed and computed displacement fields \(\varvec{u}_{\text {obs}}\) and \(\varvec{u}(\varvec{\theta })\)
as well as of the difference between observed and computed concentration fields \(\mu _{\text {obs}}\) and \(\mu (\varvec{\theta })\):
The solutions \(\mu (\varvec{\theta })\) and \(\varvec{u}(\varvec{\theta })\) can be obtained either from the FOM predictions or its ROM approximation given by Eq. (41) at those discrete time steps \(t_i\) at which observational data is available. The solution of the optimization problem stated in Eq. (42) requires iterative solution techniques, which makes the use of a ROM appealing. In this work, the L-BFGS-B optimizer is used, a variant of the Limited Memory Broyden-Fletcher-Goldfarb-Shanno (L-BFGS) algorithm, which belongs to the family of quasi-Newton methods [63]. This algorithm is particularly suited for solving large-scale optimization problems with bound constraints. Its hyperparameters are provided in Sect. 5.1.4.
5 Numerical simulations
In this section, we conduct two extensive numerical studies to evaluate the effectiveness of parametric POD-based ROMs in capturing the main dynamics of the FOM describing the diffusion-deformation process of hydrogels. The motivation behind the numerical computations is to capture the step-by-step process of manufacturing hydrogels using bioprinting as functional materials in biomedical applications. Typically, hydrogel fabrication is done in two stages. The first stage involves characterizing the material to be manufactured, whereas, in the second stage, a bioprinter can be used to fabricate more intricate structures, possibly capturing complexities closer to those in living tissues.
Figure 2 illustrates the simulation setup of the two problems. First, a benchmark problem is considered, namely, a free-swelling of a 2D square hydrogel block (Fig. 2a). We implement parametric POD and nested-POD-based ROMs, test their accuracy, compare the simulation speed-up with respect to the FOM, and perform a material parameter identification to evaluate the ROMs’ effectiveness in this many-query scenario. The second test is a case study mimicking co-axial hydrogel bioprinting (Fig. 2b). For the case study, we present the results for the parametric nested-POD-based ROM and test its accuracy and computation speed-up with respect to the FOM. The code for the POD-based ROM is provided for interested readers. Finally, we conduct a parameter uncertainty propagation and exploit the simulation speed-up achieved by the nested-POD-based ROM. The FOM is solved using FEniCSFootnote 1 [2] and the ROM is implemented in RBniCSFootnote 2 [53]. All codes to reproduce and verify the results can be accessed in the following online repository: [1].
5.1 Benchmark: free-swelling of a 2D square hydrogel block
This subsection refers to the first stage of hydrogels manufacturing. The first stage involves characterizing the material to be manufactured. This is done through a series of experiments in the laboratory where molding techniques are used to fabricate simple hydrogel blocks under controlled conditions. These fabricated hydrogels are then subjected to, for example, free-swelling experiments to i. characterize material properties such as bulk and shear moduli and absorption capabilities of diffusing species and ii. validate mathematical models that can be used later as predictive tools for the material behavior.
5.1.1 Simulation setup
As a benchmark problem, we consider the transient free-swelling of a gel in a two-dimensional setting as illustrated in Fig. 2a. The 2D hydrogel block initially has a square cross-section. The hydrogel block is immersed into a non-reactive solvent with a reference chemical potential \(\mu ^0 = 0\). Only a quarter of the whole model is considered because of the symmetry of the block. In terms of mechanical boundary conditions, the bottom and left edges are subject to Dirichlet boundary conditions \(u_y = 0\) and \(u_x = 0\), respectively. The top and right edges are considered to be traction-free. In terms of chemical boundary conditions, the bottom and left edges are subject to zero fluid flux. The chemical potential is subject to a Robin boundary condition as defined in Eq. (15) on the top and right edges. A similar setup to this example can be found in, e,g., [20, 42], or [18].
The following values are selected as the nominal dimensionless material parameterFootnote 3: \(\lambda = 1558\) and \(A = 4000\), and the Robin boundary coefficient is defined as \(\alpha = 0.66\). The chemical potential’s initial condition is \(\mu _{o} = -0.3124\), and the domain is considered to be initially stress-free. These material parameters taken from [18] represent a gelatin-based hydrogel. The reader is referred to [18] for more details on the gel preparation and its mechanical characterization.
The domain is discretized into triangular elements with quadratic interpolation for displacement and linear interpolation for the chemical potential to obtain the Taylor-Hood elements as introduced in Sect. 2. The dimensionless coupled system of equations (23) is solved as a variational monolithic problem using the FEniCS package as a PDE solver. We remark here that we solve the FOM in a monolithic fashion, but later for the POD, we partition the snapshot matrix into two parts in order to apply the partitioned approach as described in Sect. 3.
Following the convergence analysis reported in Appendix B, a mesh density of \(N_h = 50\), that is, 5000 triangular elements, is specified to obtain what we denote as the FOM nominal simulation setup. The total dimensionless simulation time is chosen as \(T = 0.25\), and the time interval \(\lbrace 0,~T \rbrace \) is discretized into 100 time steps. The reader should notice that \(T = 0.25\) corresponds to about \(t = 3\) hours of the hydrogel diffusion-deformation before normalization based on equation (9). In their experimental work, the authors of [18] found that the linear model is valid up to 3 h of fluid absorption. For larger simulation times, a nonlinear theory should be adopted [57].
5.1.2 Numerical results for the full-order model
Figure 3 shows the primary variables for the FOM at three different simulation times. Figure 3a displays the evolution of the chemical potential within the 2D hydrogel block. It can be observed that the chemical potential transitions over time from its initial condition to its boundary value. This increase in chemical potential indicates that as the gel absorbs the solvent, its internal fluid concentration rises, driving the absorption process towards equilibrium.
Figure 3b illustrates the evolution of the displacement magnitude. It is evident that displacement increases in tandem with solvent absorption, with the highest displacement occurring in the corner fully exposed to the solvent. The symmetry in the displacement field reflects the isotropic swelling of the gel.
Figure 4 shows the time evolution of normalized chemical potential (Fig. 4a), displacement (Fig. 4b), and normalized stress (Fig. 4c) at different points in the 2D hydrogel block. The figure reveals that the four selected points undergo different diffusion-deformation pathways, highlighting the spatial dependency of the problem. Figure 4 complements observations from Fig. 3. Figure 4c shows that while a region within the domain experiences compressive stresses, another region experiences the opposite. This stress gradient is the main driver of the fluid’s diffusion. The figure also reaffirms that the points on the right side remain traction-free throughout the simulation.
5.1.3 Numerical results for the reduced-order model
In this section, we provide numerical experiments to validate and demonstrate the ROMs’ accuracy and computational efficiency. All the following computations are conducted in RBniCS. The same mesh density and time steps as for the nominal simulation are taken. Material parameters are sampled within the ranges \(\lambda =\left[ 1000, 2000 \right] \) and \(A = \left[ 2000, 6000\right] \).
In order to minimize the overall computational effort, the immediate task is now to identify the minimum number of basis functions and samples. For this purpose, we follow the procedure presented in Sect. 3 and summarized in Fig. 1. This procedure is followed for both the traditional parametric POD-based ROM and the nested variant, both of which have been introduced in Sect. 3.
Figure 5a depicts the generated training and testing samples from the material parameters used in the construction of the ROM. The samples were generated using Monte Carlo sampling from a uniform distribution. We noticed that 10 samples are the minimum to obtain an acceptable approximation of the FOM with both POD and nested-POD-based ROM. We trained the POD-based ROMs using 30 samples. Figure 5b reports the wall time required for training the ROMs adopting the POD and nested-POD algorithms for an increasing number of training samples. The wall time is composed of the time required to create the snapshots and to perform the SVD on the resulting snapshots matrix.
POD-based approach Figure 6 shows the singular values and energy retained by the SVD on the snapshots matrix. From Fig. 6a, c, it is observed that the singular values magnitude decays very fast for both chemical potential and displacement. Such a behavior is advantageous, as it facilitates the development of an efficient low-dimensional ROM. In fact, from Fig. 6b, d, it is possible to conclude that only six basis functions are required to retain up to \(\eta = 99.9999 \%\) of the energy contained in the FOM.
An illustration of the error for the selected number of basis functions can be found in Fig. 7. Here, the POD is assembled, and the predictions are compared to the nominal FOM model (\(A=4000, \lambda =1558\), and \(\alpha =0.66\)). The reader should notice that these parameter values were not included in the training dataset; therefore, they can be used to validate the POD-based ROM.
Figure 7 depicts a comparison of the temporal evolution of chemical potential (Fig. 7a) and displacement (Fig. 7b) at different points inside the 2D hydrogel block for the POD-based ROM. The figures show that the root mean square error (RMSE) between the POD-based ROM and FOM has its maximum at the beginning of the simulation. However, for the chemical potential, the RMSE reaches \(3 \times 10^{-3}\) in about \(T = 0.05\) and keeps decreasing as time evolves. For the displacement, the RMSE is smaller than \(10^{-3}\) for almost the whole simulation time.
Nested-POD-based approach Figures 8 and 9 report the singular values and fraction of energy retained for the chemical potential and displacement for the nested-POD approach, respectively. On the one hand, Figs. 8a, b and 9a, b report the behavior of the singular values and retained energy for the temporal dimension, for which SVD is locally applied for each material parameter sample. The behavior of the singular values and retained energy are presented for three out of the 30 samples taken for the parameters. The figures show that the singular values and retained energy behavior are very similar for the temporal dimension in each case. From the analysis, it is concluded that only four temporal modes are necessary to retain the desired fraction of energy \(\eta \). On the other hand, Figs. 8c, d and 9c, d display the behavior of the singular values and retained energy for the spatial dimension, for which SVD is applied over the snapshots matrix containing the temporal basis functions and spatial information for the 30 training parameter samples. From this analysis, it is concluded that only six spatial basis functions are required to retain the desired fraction of energy \(\eta \) contained in the FOM for the chemical potential and displacement.
As we found that the results obtained with the nested-POD-based ROM were identical to those reported in Fig. 7, we instead plot a full-field visualization of the simulation outcome for \([\lambda , A] = [1558, 4000]\). To this end, Fig. 10 displays the chemical potential (Fig. 10a) and displacement (Fig. 10c) obtained with the six basis functions at three different time steps for the nested-POD-based ROM, namely, \(T= \{0.02, 0.15, 0.25\}\). Errors with respect to the FOM simulation results reported in Fig. 3 are displayed for the chemical potential in Fig. 10b and for the displacement in Fig. 10d. As seen from Fig. 10, the nested-POD-based ROM can predict the FOM to a satisfactory extent. From Fig. 10b and d, it can be observed that the maximum discrepancy between the FOM and ROM is less than \(0.55\%\) for the chemical potential and \(0.3\%\) for the displacement field, respectively. It is also clear that the maximum discrepancy occurs at the beginning of the simulation but fades as time evolves. This result is expected because, at the beginning of the simulation, the chemical potential field has a very sharp gradient close to the exposed boundaries, but it is almost flat towards the center. It is well known that global surrogate models suffer when approximating flat functions.
POD and nested POD-based ROMs require the same number of basis functions to retain the desired fraction of energy \(\eta \), and both approaches lead to the same level of accuracy; see also Appendix C for the convergence error analysis. However, the demand for computational resources significantly increases with the number of parameter samples. The advantage of the nested-POD algorithm becomes evident as reported in Fig. 5b. While both algorithms perform similarly with a small number of training samples, the nested-POD algorithm becomes more efficient as the number of training samples increases.
Figure 11 demonstrates the significant computational speed-up achieved with the ROM. For instance, the FOM computation time for \(N_h = 10\) is 0.33s, but for \(N_h = 160\), it is already 213.4 s. This corresponds to an exponential increase of the computational cost w.r.t. the mesh density. In contrast, the ROM computation time for \(N_h = 10\) is 0.018 s, but for \(N_h = 160\), it is still only 0.025 s. That is, the ROM simulation is about a factor of 8536 faster than the FOM simulation for \(N_h = 160\).
In the following, we restrict our analysis to the nested-POD approach only. This is because the same number of basis functions is required to retain the desired fraction of energy \(\eta \), the same level of accuracy has been obtained with POD and nested POD-based ROMs, and given the computational advantage of nested-POD algorithm for a large number of training samples. However, the code is provided to replicate results with POD and nested-POD-based ROM for all upcoming examples; see [1].
5.1.4 Material parameter identification from full-field data
This section shows the potential of using the developed nested-POD-based ROM to identify the model’s material parameters from full-field data. In the lack of experimental data, we take the solution of the nominal FOM (\(\lambda =1558, A=4000\)) at \(T = \{0.15, 0.25\}\) as synthetic data. It is worth recalling that the ROM did not encounter these values in the training dataset.
The optimization problem (42) to identify the optimal value of the material parameters was implemented in Python and solved using the minimize function from the Scipy library [59]. The hyperparameters of the L-BFGS-B algorithm are the maximum number of function evaluations and iterations (‘maxfun’ and ‘maxiter’), both set to 15, 000. The function tolerance (‘ftol’) is set to \(2.22 \times 10^{-9}\), and the gradient tolerance (‘gtol’) to \(1 \times 10^{-5}\). The function tolerance dictates the precision of the objective function and the convergence criterion based on the gradient’s magnitude, respectively. The step size for numerical approximation (‘eps’) is \(1 \times 10^{-8}\), and the maximum number of line search steps (‘maxls’) per iteration is 20. This setup allowed for efficient parameter space exploration while adhering to the constraints imposed by the problem’s physical context.
The optimization process starts with an initial guess for the material parameters, set to \(\varvec{\theta }_0 = [\lambda _0, A_0] = [1800, 3800]\), but we verified that the same result is obtained if different initial conditions are chosen. A bound constraint \([\lambda , A] = [(1000, 2000), (2000, 6000)]\) ensures that the solution remains within the parameter range the ROM was trained for.
Table 1 summarizes the results obtained from the parameter identification with ROM and FOM, as well as the related computational cost. From the results, it is possible to observe the nested-POD-based ROM’s effectiveness in performing many-query tasks. The material parameters identified with the ROM have a relative error of \(0.95~\%\) and \(1.95~\%\) for \(\mu \) and \({\textbf{u}}\), respectively. This discrepancy is attributed to the low number of temporal snapshots \((T = \{0.15, 0.25\})\) used for the identification problem. If more snapshots were considered for the identification problem, the error between the identified and correct material parameters is expected to decrease, but especially with the FOM, the computational cost would also increase significantly. Considering both the ROM training and the actual parameter identification, only a third of the time needed with the FOM was consumed. It is important to remark that the material parameter values identified using the FOM also deviate from the nominal values used to create the synthetic data.
It is worth remarking that the optimization in Eq. (42) converges within 6 steps using the FOM, but 84 model calls were necessary to approximate the Jacobian. Thus, the computational time could be reduced significantly when using adjoints. However, our focus is on repeated calibration in laboratory contexts, where the ROM would still be beneficial.
5.2 Case study: co-axial hydrogel bioprinting
Co-axial bioprinting is one technique that can be used to automate the fabrication process of hydrogels [36]. It uses a dual-nozzle in a core/sheath configuration system to extrude a hydrogel precursor and a crosslinking agent simultaneously; see Fig. 2b. This core/sheath configuration, which enables immediate gelation and structural stability, can be adapted for specific hydrogel composition designs, allowing for multi-material deposition and improved resolution. It is crucial in tissue engineering for creating complex 3D structures with controlled properties like stiffness and porosity [36].
Model validation in the first stage is then employed to make predictions of the co-axial printing process and understand the effect of material parameter uncertainties on the printed hydrogel. In this case, the model might need to be evaluated many times to evaluate different printing conditions. More precisely, the material parameters \(\lambda \) and A could present a significant source of uncertainty. Consequently, in Sect. 5.2.3, we exploit the ROM’s efficiency and propagate the uncertainty in the material parameters onto two quantities of interest (QoIs) in the co-axial process, namely, the chemical potential at the nozzle’s tip and the induced stresses within the domain due to swelling.
On the one hand, the chemical potential is directly related to the species concentration and can inform about the degree of crosslinking (DoC) of the extruded material [30]. The DoC is a QoI that influences the gel’s properties and determines its possible application. On the other hand, induced stresses due to fluid absorption at the co-axial printer’s nozzle are often overlooked in the literature on hydrogel bioprinting. The focus has primarily been on induced shear stresses from extrusion [22]. However, this does not capture the full picture of co-axial printing, where additional stresses are induced in the nozzle due to fluid absorption and hydrogel crosslinking, resulting in swelling and shrinking stresses. The mean and maximum induced stresses could be monitored to evaluate if the printed hydrogel has the right conditions for cells viability after printing [22].
5.2.1 Simulation setup
We consider a vertical hydrogel bar where the height is four times the length as marked by the dashed white box in Fig. 2b. We assume that the diffusion time of the fluid into the hydrogel is relatively small compared to the velocity at which the hydrogel is extruded out of the printer’s nozzle. This allows us to neglect the physics of the hydrogel transport through the co-axial nozzle. We study the transient free-swelling of the hydrogel bar in a two-dimensional setting, assuming a homogeneous mix of gel and solvent at the nozzle’s tip. The material parameters are the same as in the benchmark problem mentioned earlier. Therefore, if the characteristic length in the previous example is \(l = 0.0015\) m, the dimensions of the hydrogel bar are \(0.0015 \times 0.0060\) m\(^2\) or, equivalently, \(1.5 \times 6.0\) mm\(^2\). This size is representative of a filament being crosslinked in the nozzle of a co-axial bioprinter.
We assume that only \(75 \%\) of the gel bar is exposed to the solvent on the left and right edges. The remaining \(25 \%\) of the left and right edges and the top surface have zero fluid flux for the solvent concentration boundary conditions. Due to the symmetry of the problem, only half of the domain is considered. The axisymmetric axis is marked in red in Fig. 2b. A Robin boundary condition imposes the chemical potential on the exposed portion on the left edge as defined in Eq. (15). Symmetric (Neumann) boundary conditions are defined at the center of the domain. In terms of mechanical boundary conditions, the axisymmetric edge is subject to a Dirichlet boundary condition \(u_x = 0\), while all other boundaries are considered to be traction-free.
The domain is discretized into triangular elements with quadratic interpolation for displacement and linear interpolation for the chemical potential, resulting in Taylor-Hood elements as introduced in Sect. 2. Equation (23) is solved as a variational monolithic problem using the FEniCS package as a PDE solver.
5.2.2 Numerical results for the reduced-order model
In this section, we provide numerical experiments to validate and demonstrate the parametric nested-POD-based ROM’s accuracy and computational efficiency, as we did for the benchmark case. The procedure in Fig. 1 is also followed in this section to assemble the nested-POD-based ROM. The material parameters are varied within the same range as in the benchmark problem to create the training and testing sets; see Fig. 5.
Figures 12 and 13 show the singular values and fraction of energy retained for the nested-POD algorithm for the chemical potential and displacement, respectively. On the one hand, Fig. 12a, b and 13a, b report the behavior of the singular values and retained energy for the temporal dimension. They show the decay of the singular values and the retained energy for three out of the 30 parameter samples, as we did for the benchmark problem. It is seen from the figures that the singular values and retained energy behavior are very similar for the temporal dimension. We conclude from the analysis that six temporal modes are enough to retain \(\eta =99.9999 \%\) of the energy. On the other hand, Figs. 12c, d and 13c, d display the decay of the singular values and retained energy for the spatial dimension. This analysis concludes that we can retain the desired fraction of energy \(\eta \) contained in the FOM with eight spatial basis functions.
The nested-POD-based ROM is assembled with six and eight basis functions for the temporal and spatial domains. Four locations at the hydrogel bar domain are selected to verify the ROM’s accuracy as marked in Fig. 14. The root mean square error (RMSE) is measured over time at each location.
The ROM for the hydrogel bar developed using the nested-POD method is compared with the nominal FOM model (\(A=4000, \lambda =1558\) and \(\alpha =0.66\)). Figure 14 depicts a comparison of the temporal evolution between ROM and FOM in terms of chemical potential (Fig. 14a), displacement in x direction and displacement in y direction (Fig. 14b) at different points of the hydrogel bar. The figures show that the maximum RMSE between both models remains lower than \(10^{-2}\) for the chemical potential and displacement.
Figure 15 displays the chemical potential (Fig. 15a) and displacement (Fig. 15c) obtained with eight basis functions for the temporal and spatial domains at three different time steps, namely, \(T= \{0.01, 0.12, 0.25\}\). The corresponding errors with respect to the FOM are illustrated for the chemical potential in Fig. 15b and for the displacement in Fig. 15d, respectively.
As seen from Figs. 14 and 15, the nested-POD-based ROM can predict the FOM to a satisfactory extent. From Fig. 15, it can be observed that the maximum discrepancy between the FOM and ROM is less than 0.40% for the chemical potential and 0.24% for the displacement field, respectively.
Notice that the displacement field is not symmetric. The asymmetry in the displacement field suggests uneven swelling of the hydrogel bar during the printing process. This is relevant because this uneven swelling could impact the mechanical integrity of the final printed structure, particularly in complex multi-layered scaffold designs, where stability is crucial.
5.2.3 Uncertainty propagation of the material parameter
In this subsection, we exploit the ROM’s efficiency to understand the effect of material parameters on two QoIs. We consider \(\lambda \) and A as random variables and propagate their uncertainty onto i. the chemical potential at the nozzle’s tip and ii. the induced stresses within the domain due to swelling.
In principle, the probability density function (PDF) of the two material parameters can be determined as discussed below:
-
1.
Bayesian updating of the material parameters from measurement data; the reader can, for instance, refer to [27, 49], and [5]. However, acquiring species concentration-related and displacement measurement data during printing is a technological challenge.
-
2.
Bayesian inference from benchmark: Alternatively, one could quantify the uncertainty for the benchmark problem and then propagate this uncertainty in the case study. However, although both problems involve the same hydrogel material, the distinct boundary conditions and domain dimensions result in different chemical potential profiles and displacement magnitudes, thereby influencing the material response differently, as evidenced when comparing Figs. 14, 15 (case study) with Figs. 3, 4 (benchmark). Consequently, directly applying the identified PDFs from the benchmark problem may not adequately capture the full range of uncertainties present in the case study.
-
3.
Designing synthetic PDFs based on prior knowledge or expert opinion for \(\lambda \) and A around the nominal values identified for the benchmark problem is a more appropriate approach in the present context. Here we assume a normal distribution and use the Monte Carlo method to generate 1000 samples for \(\lambda \) and A. We set the mean values of \(\lambda \) and A equal to their nominal values \([\lambda , A] = [1558, 4000]\) and the standard deviation as \(10\%\) around these nominal values. The motivation for such a choice is based on the experimental work reported in [18] where it is evidenced that, under a similar hydrogel fabrication protocol, \(\lambda \) and A present a significant level of uncertainty (the reader is referred to Figs. 3 and 5 in [18]). The reader should notice that assuming a Gaussian distribution implies that \(\lambda \) and A could take unphysical negative values, but the probability of getting them at the given mean and standard deviation is approximately \(7 \times 10^{-24}\), i.e., essentially zero. Fig. 16 depicts the PDF along with the normalized histogram of 1000 samples generated from the PDF for \(\lambda \) (Fig. 16a) and A (Fig. 16b). It is observed from the figure that, indeed, the two random variables follow a normal distribution, and the generated samples remain within the range the ROM was trained (\(\lambda = [1000, 2000]\) and \(A = [2000, 6000]\)).
We solve the nested-POD-based ROM iteratively and observe how the uncertainty in \(\lambda \) and A propagates to the QoIs. Figure 17 shows the effect of the uncertain material parameters on the temporal evolution of the selected QoIs for 1000 ROM realizations. It is worth remarking that one iteration of the ROM took an average of 15 s, which led to a total computation time of around 4 h on a standard laptop. The same 1000 iterations adopting the FOM instead will take up to 24 h on the same laptop (an average of 90 s for each FOM iteration), which shows the advantage of adopting the nested-POD-based ROM in this many-query task.
Figures 17a, b report the evolution of the normalized chemical potential at the nozzle’s tip. Figure 17a refers to the corner at (\(X=0,~Y=0\)) and Fig. 17b to the nozzle’s tip center at the point (\(X=0.5,~Y=0\)). From Fig. 17 can be observed that variations up to \(10\%\) in the material parameters can lead to considerable differences in the diffusion-deformation process evolution. The effect of varying \(\lambda \) and A becomes more pronounced at the center of the nozzle’s tip.
The normalized mean induced stress in the \(XX\)-direction at each time instance is computed as the average of the stress values over the domain as
with \(A_{2D-block}\) the simulated hydrogel bar area and \(dA = dxdy\) representing the differential area element.
The maximum normalized induced stress in the \(XX\)-direction at each time instance is computed as the maximum value of the stress over the domain as
Similarly, we can compute the normalized mean \(\sigma ^{\text {mean}}_{YY}\) and max \(\sigma ^{\text {max}}_{YY}\) induced stresses in the \(YY\)-direction at each time instance.
Figures 17c, d show the normalized mean \(\sigma ^{\text {mean}}_{XX}\) and maximum \(\sigma ^{\text {max}}_{XX}\) induced stresses in the \(XX\)-direction due to the diffusion of the solvent into the hydrogel, but identical results are obtained for \(\sigma ^{\text {mean}}_{YY}\) and \(\sigma ^{\text {max}}_{YY}\). It is observed from the figures that the level of induced stress has pronounced peaks at the beginning of the simulation, which can lead to some damage to the cells contained in bio-inks.
These induced stresses are normalized by the shear modulus G, which [18] found to be equal to 33 kPa from the experiments. Hence, the maximum induced stress can be amplified 80 times and reaches a maximum of 2600 kPa based on the results reported in Fig. 17d. Just as a reference example, the authors of [22] studied the level of damage caused by the shear stresses during hydrogels extrusion in bioprinting applications and reported that cells could suffer damage up to \(50\%\) for induced stresses between 100 and 500 kPa. This threshold is clearly exceeded at the beginning of the performed simulation and can have significant consequences on the cell viability at the end of the process. One alternative to preventing such high-stress fluctuations could be implementing a feedback control mechanism that can monitor the mean and maximum induced stresses informed by the ROM and dynamically adjust the solvent concentration at the mixing zone (see Fig. 2b) to keep the induced stresses under a desired limit.
6 Conclusions
In this paper, we demonstrated that POD-based algorithms are feasible for developing a ROM of a coupled diffusion-deformation model. The accuracy of the ROM was tested in two different scenarios: i. free-swelling of a 2D gel block, a well-established benchmark in the literature, and ii. a case study resembling a bioprinting process using a co-axial bioprinter. In both cases, we highlighted the computational benefits of adopting the ROM, where the computational cost of the ROM online evaluation was only 0.01% of running the full-order model. Furthermore, when using a finer mesh, we found that the ROM is even 5172 times faster than the FOM in simulating the time-dependent diffusion-deformation evolution in the co-axial printing application.
We demonstrated the benefits of adopting a ROM in many-query tasks, that is, parameter identification from full-field data and uncertainty propagation. In parameter identification, we showed that the computational resources spent in the offline phase for training data generation and ROM construction are repaid by a relatively large number of evaluations (90 on average) of the trained model in an online phase. Additionally, we exploited the simulation speed-up provided by the ROM and propagated the uncertainty in the material parameters to two quantities of interest in co-axial bioprinting: the chemical potential at the nozzle’s tip and the stresses due to the fluid’s absorption that lead to the hydrogel’s swelling. The significant simulation speed-up provided by the ROM paves the way for more advanced applications, such as online feedback error compensation during the bioprinting process. This would ensure that the printed products meet design and functional requirements, ultimately aiming to produce consistent, high-quality hydrogel products to advance the reliability of bioprinting technologies.
7 Supplementary information
No supplementary information was produced from this research.
Code Availability
The code to reproduce the results presented in this manuscript can be accessed in the following Zenodo repository: https://doi.org/10.5281/zenodo.11356177.
Notes
Note: The dimensionless material parameters \((\lambda , A)\) are related to the following physical material parameters through Eq. (9): \(l = 0.0015\) [m], \(k_B T = 4e-21\) [J], \(\nu = 3e-29\) [m\(^3\)], \(D^* = 1.6e-11\) [m\(^2\)/s], \(G = 33\) [kPa], and \(\lambda ^{d} = 1600*G\) [kPa].
The reader is referred to [4], Chapter 15 for more details regarding the interpretation of the specific form of the grand-canonical free energy function and the material parameters.
References
Agarwal G, Urrea-Quintero JH, Wessels H, et al (2024) Code: Parameter identification and uncertainty propagation of hydrogel coupled diffusion-deformation using POD-based reduced-order modeling. https://doi.org/10.5281/zenodo.11356177
Alnæs M, Blechta J, Hake J, et al (2015) The FEniCS project version 1.5. Archive of Numerical Software 3(100)
Anand L (2015) 2014 Drucker medal paper: A derivation of the theory of linear poroelasticity from chemoelasticity. Journal of Applied Mechanics 82(11):111005
Anand L, Govindjee S (2020) Continuum mechanics of solids. Oxford University Press
Anton D, Tröger JA, Wessels H, et al (2024) Deterministic and statistical calibration of constitutive models from full-field data with parametric physics-informed neural networks. arXiv:2405.18311 [cs.LG]
Ballarin F, Manzoni A, Quarteroni A et al (2015) Supremizer stabilization of POD-Galerkin approximation of parametrized steady incompressible Navier-Stokes equations. Int J Numer Methods Eng 102(5):1136–1161
Ballarin F, Rozza G, Strazzullo M (2022) Space-time POD-Galerkin approach for parametric flow control. In: Handbook of Numerical Analysis, vol 23. Elsevier, p 307–338
Benner P, Cohen A, Ohlberger M, et al (2015a) Model Reduction and Approximation: Theory and Algorithms. SIAM Philadelphia
Benner P, Gugercin S, Willcox K (2015) A survey of projection-based model reduction methods for parametric dynamical systems. SIAM review 57(4):483–531
Benner P, Schilders W, Grivet-Talocia S, et al (2020) Model Order Reduction: Volume 2: Snapshot-Based Methods and Algorithms. De Gruyter
Biot MA (1941) General theory of three-dimensional consolidation. Journal of applied physics 12(2):155–164
Bonatti AF, Chiesa I, Vozzi G et al (2021) Open-source CAD-CAM simulator of the extrusion-based bioprinting process. Bioprinting 24:e00172
Bouklas N, Landis CM, Huang R (2015) A nonlinear, transient finite element method for coupled solvent diffusion and large deformation of hydrogels. Journal of the Mechanics and Physics of Solids 79:21–43
Brand M (2006) Fast low-rank modifications of the thin singular value decomposition. Linear algebra and its applications 415(1):20–30
Brunton SL, Noack BR (2015) Closed-loop turbulence control: Progress and challenges. Applied Mechanics Reviews 67(5):050801
Caccavo D, Cascone S, Lamberti G et al (2018) Hydrogels: experimental characterization and mathematical modelling of their mechanical and diffusive behaviour. Chemical Society Reviews 47(7):2357–2373
Chen P, Quarteroni A, Rozza G (2015) Reduced order methods for uncertainty quantification problems. ETH Zurich, SAM Report, p 3
Chen S, Huang R, Ravi-Chandar K (2020) Linear and nonlinear poroelastic analysis of swelling and drying behavior of gelatin-based hydrogels. International Journal of Solids and Structures 195:43–56
Chester SA, Anand L (2010) A coupled theory of fluid permeation and large deformations for elastomeric materials. Journal of the Mechanics and Physics of Solids 58(11):1879–1906
Chester SA, Anand L (2011) A thermo-mechanically coupled theory for fluid permeation in elastomeric materials: application to thermally responsive gels. Journal of the Mechanics and Physics of Solids 59(10):1978–2006
Chester SA, Di Leo CV, Anand L (2015) A finite element implementation of a coupled diffusion-deformation theory for elastomeric gels. International Journal of Solids and Structures 52:1–18
Chirianni F, Vairo G, Marino M (2024) Development of process design tools for extrusion-based bioprinting: From numerical simulations to nomograms through reduced-order modeling. Computer Methods in Applied Mechanics and Engineering 419:116685
Eftekhar Azam S, Mariani S, Attari N (2017) Online damage detection via a synergy of proper orthogonal decomposition and recursive bayesian filters. Nonlinear Dynamics 89:1489–1511
Fareed H, Singler JR, Zhang Y et al (2018) Incremental proper orthogonal decomposition for PDE simulation data. Computers & Mathematics with Applications 75(6):1942–1960
Fischer H, Roth J, Wick T, et al (2024) MORe DWR: space-time goal-oriented error control for incremental POD-based ROM for time-averaged goal functionals. Journal of Computational Physics p 112863
Girfoglio M, Quaini A, Rozza G (2022) A POD-Galerkin reduced order model for the Navier-Stokes equations in stream function-vorticity formulation. Comp Fluids 244:105536
Grashorn J, Urrea-Quintero JH, Broggi M et al (2023) Transport map bayesian parameter estimation for dynamical systems. PAMM 23(1):e202200136
Gräßle C, Hinze M (2018) POD reduced-order modeling for evolution equations utilizing arbitrary finite element discretizations. Adv Comput Math 44(6):1941–1978
Haasdonk B, Kleikamp H, Ohlberger M et al (2023) A New Certified Hierarchical and Adaptive RB-ML-ROM Surrogate Model for Parametrized PDEs. SIAM Journal on Scientific Computing 45(3):A1039–A1065
Hajikhani A, Wriggers P, Marino M (2021) Chemo-mechanical modelling of swelling and crosslinking reaction kinetics in alginate hydrogels: A novel theory and its numerical implementation. Journal of the Mechanics and Physics of Solids 153:104476
Hemati MS, Williams MO, Rowley CW (2014) Dynamic mode decomposition for large and streaming datasets. Physics of Fluids 26(11)
Irick K, Brown E (2019) In-situ thermal rom-based optimization using borg moea: a preliminary study. Proceedings of the ASME 2019 Heat Transfer Summer Conference HT2019
Kadeethum T, Ballarin F, Bouklas N (2021) Data-driven reduced order modeling of poroelasticity of heterogeneous media based on a discontinuous Galerkin approximation. GEM-International Journal on Geomathematics 12(1):12
Kadeethum T, Ballarin F, Choi Y et al (2022) Non-intrusive reduced order modeling of natural convection in porous media using convolutional autoencoders: Comparison with linear subspace techniques. Advances in Water Resources 160:104098
Kerschen G, Golinval JC, Vakakis AF et al (2005) The method of Proper Orthogonal Decomposition for dynamical characterization and order reduction of mechanical systems: An overview. Nonlinear Dyn 41(1):147–169
Kjar A, McFarland B, Mecham K et al (2021) Engineering of tissue constructs using coaxial bioprinting. Bioactive materials 6(2):460–471
Kühl N, Fischer H, Hinze M et al (2024) An incremental singular value decomposition approach for large-scale spatially parallel & distributed but temporally serial data-applied to technical flows. Computer Physics Communications 296:109022
Lange N, Hütter G, Kiefer B (2024) A monolithic hyper rom fe2 method with clustered training at finite deformations. Computer Methods in Applied Mechanics and Engineering 418:116522
Lass O, Volkwein S (2014) Adaptive POD basis computation for parametrized nonlinear systems using optimal snapshot location. Computational Optimization and Applications 58:645–677
Lassila T, Manzoni A, Quarteroni A, et al (2014a) Model order reduction in fluid dynamics: challenges and perspectives. Reduced Order Methods for modeling and computational reduction pp 235–273
Lassila T, Manzoni A, Quarteroni A, et al (2014b) Model order reduction in fluid dynamics: challenges and perspectives. Reduced Order Methods for modeling and computational reduction pp 235–273
Liu Y, Zhang H, Zhang J et al (2016) Transient swelling of polymeric hydrogels: A new finite element solution framework. International Journal of Solids and Structures 80:246–260
Lu K, Yu H, Chen Y et al (2015) A modified nonlinear POD method for order reduction based on transient time series. Nonlinear Dynamics 79:1195–1206
Lu K, Yu H, Chen Y et al (2015) A modified nonlinear POD method for order reduction based on transient time series. Nonlinear Dynamics 79:1195–1206
Lu K, Chen Y, Jin Y et al (2016) Application of the transient proper orthogonal decomposition method for order reduction of rotor systems with faults. Nonlinear Dynamics 86:1913–1926
Lu K, Jin Y, Chen Y et al (2019) Review for order reduction based on proper orthogonal decomposition and outlooks of applications in mechanical systems. Mechanical Systems and Signal Processing 123:264–297
Martinsson PG, Rokhlin V, Tygert M (2011) A randomized algorithm for the decomposition of matrices. Applied and Computational Harmonic Analysis 30(1):47–68
Negri F, Rozza G, Manzoni A et al (2013) Reduced basis method for parametrized elliptic optimal control problems. SIAM Journal on Scientific Computing 35(5):A2316–A2340
Noii N, Khodadadian A, Ulloa J et al (2022) Bayesian inversion with open-source codes for various one-dimensional model problems in computational mechanics. Archives of Computational Methods in Engineering 29(6):4285–4318
Nonino M, Ballarin F, Rozza G (2021) A monolithic and a partitioned, reduced basis method for fluid-structure interaction problems. Fluids 6(6):229
Pagani S, Manzoni A (2021) Enabling forward uncertainty quantification and sensitivity analysis in cardiac electrophysiology by reduced order modeling and machine learning. International Journal for Numerical Methods in Biomedical Engineering 37(6):e3450
Römer U, Hartmann S, Tröger JA, et al (2024) Reduced and all-at-once approaches for model calibration and discovery in computational solid mechanics. arXiv preprint arXiv:2404.16980
Rozza G, Ballarin F, Scandurra L et al (2024) Real Time Reduced Order Computational Mechanics. SISSA Springer Series, Springer Cham
Sahyoun S, Djouadi S (2013) Local proper orthogonal decomposition based on space vectors clustering. In: 3rd International Conference on Systems and Control, IEEE, pp 665–670
Sirovich L (1987) Turbulence and the dynamics of coherent structures. i - iii. Quarterly of applied mathematics 45(3):561–571
Strazzullo M, Zainib Z, Ballarin F, et al (2020) Reduced order methods for parametrized non-linear and time-dependent optimal flow control problems, towards applications in biomedical and environmental sciences. In: Numerical Mathematics and Advanced Applications ENUMATH 2019: European Conference, Egmond aan Zee, The Netherlands, September 30-October 4, Springer, pp 841–850
Urrea-Quintero JH, Marino M, Wick T, et al (2024) A comparative analysis of transient finite-strain coupled diffusion-deformation theories for hydrogels. Archives of Computational Methods in Engineering –:34
Vaccaro RJ (1991) SVD and signal processing, ii. algorithms, analysis and applications. Amsterdam: Elsevier
Virtanen P, Gommers R, Oliphant TE et al (2020) SciPy 1.0: fundamental algorithms for scientific computing in Python. Nature methods 17(3):261–272
Volkwein S (2001) Optimal control of a phase-field model using Proper Orthogonal Decomposition. ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik 81(2):83–97
Wloka J (1987) Partial differential equations. Cambridge University Press
Zhang YS, Khademhosseini A (2017) Advances in engineering hydrogels. Science 356(6337):eaaf3627
Zhu C, Byrd RH, Lu P et al (1997) Algorithm 778: L-BFGS-B: Fortran subroutines for large-scale bound-constrained optimization. ACM Transactions on mathematical software (TOMS) 23(4):550–560
Zou X, Conti M, Díez P et al (2018) A nonintrusive proper generalized decomposition scheme with application in biomechanics. International Journal for Numerical Methods in Engineering 113(2):230–251
Acknowledgements
GA gratefully acknowledges Dr. Francesco Ballarin, the RBniCS developer, for his support in the implementation of the reduced-order model.
Funding
Open Access funding enabled and organized by Projekt DEAL. HW acknowledges the DFG for funding within the individual research grant with project ID 512730472. TW gratefully acknowledges the Deutsche Forschungsgemeinschaft (DFG) under Germany’s Excellence Strategy within the Cluster of Excellence PhoenixD (EXC 2122, Project ID 390833453).
Author information
Authors and Affiliations
Corresponding authors
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Thermodynamically consistent constitutive theory
In this Appendix, following standard thermodynamic arguments, we derive a thermodynamically consistent constitutive theory describing the coupled diffusion-deformation mechanisms for linear isotropic gels. First, the constitutive model is introduced in a general form. Then, the specific form of the constitutive equations for a previously swollen hydrogel is presented.
1.1 Constitutive model and thermodynamic restrictions
The local form of the second law of thermodynamics that links fluid’s concentration changes due to diffusion inside a previously swollen hydrogel with the hydrogel’s deformation due to swelling reads
where \(\psi :{\mathcal {B}}\times I\rightarrow {\mathbb {R}}\) is the free energy density function. Guided by Eq. (A1), the following constitutive response functions for the free energy \(\psi \), the Cauchy stress \(\varvec{\sigma }\), and the chemical potential \(\mu \) are expressed in terms of fluid concentration c and strain \(\varvec{\varepsilon }\) as
The reader should recall that, based on Fick’s law for the species diffusion, the fluid flux \({\textbf{j}}\) is given by equation (7).
Therefore, Eq. (A1) can be reformulated as
for all \(\varvec{\sigma }\), \(\varvec{\varepsilon }\), c, and \(\mu \) fields. Therefore, the following thermodynamically-consistent constitutive relations can be established for Cauchy’s stress
and for the chemical potential
Additionally, since
for all \(\varvec{\varepsilon }\), c, and \(\mu \), thus, \({\textbf{M}}\) has to be positive semi-definite.
1.1.1 Chemical potential as independent variable
The strain \(\varvec{\varepsilon }\) and the concentration c are the natural choices of independent variables for problems involving little or no species diffusion. However, for processes in which species diffusion is important, as in the hydrogels case, replacing constitutive dependence upon c with constitutive dependence upon the chemical potential \(\mu \) is preferable.
Assuming that \(\partial {\hat{\mu }}(c, \varvec{\varepsilon }) / \partial c > 0\) and continuously differentiable, it can be proved that for each fixed \(\varvec{\varepsilon }\) the relation \(\mu = {\hat{\mu }}(c, \varvec{\varepsilon })\) is invertible in c, so that \(c = \breve{c}(\mu , \varvec{\varepsilon })\). Thus, bearing in mind that a \(\breve{\bullet }\) “breve” denotes a function of \((\mu ,\varvec{\varepsilon })\) while a \({\hat{\bullet }}\) “hat” denotes a function of \((c,\varvec{\varepsilon })\), the following grand-canonical energy function can be defined [4] [Chapter 15.5.3]
Consequently, equivalent constitutive relations to those given by equations (A4) and (A5) can be established for the stress
and for the fluid concentration
1.1.2 Specialization of the constitutive theory for linear isotropic gels
If the material is isotropic, then \(\breve{\omega }(\mu , \varvec{\varepsilon })\) takes the following specific form [4][Chapter 15.5.3]Footnote 4
where \({\mu }_{0}\) is the initial chemical potential which defines the chemical potential at a relaxed state when the internal stresses are zero. G and \(K^{d}\) are the elastic shear and drained bulk modulus, respectively. \(\chi \) is the stress-chemical modulus and \(\Lambda \) the chemical modulus.
Therefore, \(\breve{\varvec{\sigma }}(\mu , \varvec{\varepsilon })\) (equation (A8)) is obtained as in equation (5) and \(\breve{c}(\mu , \varvec{\varepsilon })\) (equation (A9)) takes the form of equation (6). The reader should notice that the “breve” (\(\breve{\bullet }\)) is omitted in equations (5) and (6) for simplicity in the notation.
This constitutive theory can be linked to Biot’s classical theory of linear isotropic poroelasticity [11]. In that case, the stress chemical modulus \(\chi \) and the chemical modulus \(\Lambda \) are expressed as
where M is a Biot modulus, \(\alpha \) is a Biot effective stress coefficient and \(\Omega \) is the molar volume of the fluid with units of m\(^3\)/mol.
In hydrogels, it is typically assumed that volume changes are solely due to variations in fluid concentration, considering the fluid molecules as incompressible with a constant molar volume \(\Omega \). This assumption is formalized by setting \(\alpha \rightarrow 1\) and \(M \rightarrow \infty \), leading to \(\Lambda \rightarrow \infty \) and \(\chi /\Lambda \rightarrow -1/\Omega \). Hence, the last term of Eq. (6) vanishes, resulting in the following kinematic constraint
indicating that the gel’s volume change arises only from uptake or loss of fluid.
By insertion of Fick’s law (Eq. (7)), the constitutive model for the concentration \(\breve{c}\) (Eq. (6)), and the isotropic form of the species mobility tensor \({\textbf{M}}\) (Eq. (8)) into the balance of mass (Eq. (4)), the latter can be expressed in terms of the chemical potential \(\mu \) as primary variable:
The first term on the right-hand side in Eq. (A13) represents the gel’s dilation rate and plays an important role in the diffusion of the fluid in classic poroelastic materials, but can be neglected in our case due to the above considerations on hydrogels’ incompressibility. The balance of mass (A13) can then be reduced further to
Finally, the balance equations of linear momentum, Eq. (3), and mass, Eq. (A14), complemented by the constitutive equation for the stress, Eq. (5), and the kinematic constraint, Eq. (A12), constitute the specialized diffusion-deformation theory for small deformations superposed on a previously homogeneously swollen gel [4][Chapter 16.5], which reads as follows
Problem 4
(Strong form) Given \(\bar{{\textbf{u}}},\bar{{\textbf{t}}},\mu _{\infty }\) as boundary data and \(\varvec{\sigma }_0,\mu _0\) as initial data, find \(\varvec{u}:{\mathcal {B}}\times I\rightarrow {\mathbb {R}}^d\) and \(\mu :{\mathcal {B}}\times I\rightarrow {\mathbb {R}}\) such that
For the numerical solution, we employ a normalized variant of Problem 4; see Sect. 2.
2D square block - Full-order model convergence analysis
A computational convergence analysis is performed to investigate the robustness and computational cost of the monolithic approach. We focus on investigating the effect of mesh density and the time step size on the behavior of the implemented numerical algorithm. We aim to understand how these parameters influence the performance of the algorithm in solving the linear system of equations associated with the FEM discretization.
We measure the \(L_2\) and \(H_1\) errors in space for various mesh densities and time step sizes with respect to the highest fidelity solution. That is,
for the displacement, with \({\textbf{u}}\) being a reference solution obtained using a very fine mesh and \({\textbf{u}}_{kh}\) the obtained displacement obtained for either different mesh or time step sizes.
Figure 18 shows the \(L^2\) and \(H^1\) error norms, evaluated as both mesh size (Fig. 18a) and time steps (Fig. 18b) are refined. The errors are calculated against a benchmark of a fine mesh and small time steps. For the spatial dimension, the error analysis involves refining from a coarser \(10 \times 10\) mesh to a finer \(80 \times 80\) mesh. For the temporal dimension, the refinement process starts with 10 time steps and increases to 160, discretizing the dimensionless time interval more finely. From Fig. 18, it is observed that in both cases the error keeps decreasing as mesh size and time steps refine.
We estimate the convergence order of the numerical method implemented with a well-known heuristic formula. Let us denote the errors by \(E_h\), \(E_{h/2}\), and \( E_{h/4}\), where h is the mesh size parameter as before. Under the assumption that our discretized problem has a convergence order of p, then each error should be roughly \((1/2)^p\) times the previous error. Therefore, we can estimate p by taking the logarithm base 2 of the error ratios as:
The computational convergence analysis is detailed in Table 2. From finite element interpolation estimates for non-coupled problems and with optimal regularity of coefficients, we expect for polynomial shape functions of degree s in the \(L^2\) norm the order \(s+1\) and in the \(H^1\) norm s. In the temporal direction, the first order implicit Euler scheme has the order \(r=1\), irrespectively of the spatial evaluation means. Thus, the temporal convergence analysis results are nearly optimal, as observed in Table 2. For the spatial analysis, for the non-coupled case with optimal regularity assumptions, we would expect for \(s=1\) the order 2 in the \(L^2\) norm and order 1 in the \(H^1\) norm. Furthermore, we would expect for \(s=2\) the order 3 in the \(L^2\) norm and order 2 in the \(H^1\) norm, and, finally, we would expect for \(s=3\) the order 4 in the \(L^2\) norm and order 3 in the \(H^1\) norm. Specifically, we come close to these orders for the chemical potentials. For the displacements, we have slightly less optimal orders. However, our main assumption in these theoretical expectations was non-coupled partial differential equations with optimal regularity assumptions in the coefficients, the domain, the boundary, and the given problem data. Due to the nonlinear coupling, it is likely that the optimal orders are not achieved. Nonetheless, our findings certainly point in the right direction and clearly serve the purpose of the robust finite element verification of the full-order model.
Reduced-order model convergence analysis
Tables 3 and 4 refer to the error analysis performed with the testing set of the material parameters samples for the benchmark problem in Sect. 5.1. The tables summarize the \(L^1, L^2\), and \(L^{\infty }\) error norms for an increasing number of basis functions. We observe that the error decreases for both POD and nested-POD-based ROMs as the number of basis functions increases to six. After that, the marginal decrease in the error is negligible, showing that six basis functions are enough to retain the desired fraction of \(\eta = 99.9999\%\) of the total energy in the FOM. Notably, the errors are very similar for both POD and nested-POD-based ROMs. The reader should notice that these low errors were achieved by training the ROM with 30 parameter samples only. The good behavior of the errors reported in the tables demonstrates the good approximation obtained by the POD-based ROMs in the parameters space and the advantage of projection-based model-order reduction techniques, which encode the problem physics.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Agarwal, G., Urrea-Quintero, JH., Wessels, H. et al. Parameter identification and uncertainty propagation of hydrogel coupled diffusion-deformation using POD-based reduced-order modeling. Comput Mech (2024). https://doi.org/10.1007/s00466-024-02517-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00466-024-02517-w