3.2 Weak formulation for biphasic materials¶
A weak form of the statement conservation of linear momemtum for the quasi-static case is obtained by using Eqs.(2.7-2) and (2.7-4):
where \(b\) is the domain of interest defined on the solid matrix, \(\delta\mathbf{v}^{s}\) is a virtual velocity of the solid and \(\delta p\) is a virtual pressure of the fluid 1. \(dv\) is an elemental volume of \(b\). Using the divergence theorem, this expression may be rearranged as
where \(\delta\mathbf{d}^{s}=\left(\grad\delta\mathbf{v}^{s}+\grad^{T}\delta\mathbf{v}^{s}\right)/2\) is the virtual rate of deformation tensor, \(\mathbf{t}=\boldsymbol{\sigma}\cdot\mathbf{n}\) is the total traction on the surface \(\partial b\), and \(w_{n}=\mathbf{w}\cdot\mathbf{n}\) is the component of the fluid flux normal to \(\partial b\), with \(\mathbf{n}\) representing the unit outward normal to \(\partial b\). \(da\) represents an elemental area of \(\partial b\). In this type of problem, essential boundary conditions are prescribed for \(\mathbf{u}\) and \(p\), and natural boundary conditions are prescribed for \(\mathbf{t}\) and \(w_{n}\). In the expression of eq.\eqref{eq194}, \(\delta W\left(\boldsymbol{\chi}^{s},p,\delta\mathbf{v}^{s},\delta p\right)\) represents the virtual work.
Linearization¶
Since the system of equations in eq.\eqref{eq194} is highly nonlinear, its solution requires an iterative scheme such as Newton's method. This requires the linearization of \(\delta W\) at some trial solution \(\left(\boldsymbol{\chi}_{k}^{s},p_{k}\right)\), along an increment \(\Delta\mathbf{u}\) in \(\boldsymbol{\chi}^{s}\) and an increment \(\Delta p\) in \(p\),
where \(Df\left[\Delta q\right]\) represents the directional derivative of \(f\) along \(\Delta q\). For convenience, the virtual work may be separated into its internal and external parts,
where
where we have substituted \(\divg\mathbf{v}^{s}=\dot{J}/J\), and
The evaluation of the directional derivatives can be performed following a standard approach 2. In particular, a backward difference scheme is used to evaluate \(\dot{J}\approx\left(J-J^{-\Delta t}\right)/\Delta t\), where \(J^{-\Delta t}\) is the value of \(J\) at the previous time step. For the internal part of the virtual work, the directional derivative along \(\Delta\mathbf{u}\) yields
where \(\boldsymbol{\mathcal{C}}\) is the fourth-order spatial elasticity tensor for the mixture and \(\Delta\boldsymbol{\varepsilon}=\left(\grad\Delta\mathbf{u}+\grad^{T}\Delta\mathbf{u}\right)/2\). Based on the relation of eq.(2.7-3), the spatial elasticity tensor may also be expanded as
where \(\boldsymbol{\mathcal{C}}^{e}\) is the spatial elasticity tensor for the solid matrix 3. It is related to the material elasticity tensor \(\boldsymbol{\mathbb{C}}^{e}\) via
where \(\mathbf{F}\) is the deformation gradient of the solid matrix, \(\boldsymbol{\mathbb{C}}^{e}=\partial\mathbf{S}^{e}/\partial\mathbf{E}\) where \(\mathbf{E}\) is the Lagrangian strain tensor and \(\mathbf{S}^{e}\) is the second Piola-Kirchhoff stress tensor, related to the Cauchy stress tensor via \(\boldsymbol{\sigma}^{e}=J^{-1}\mathbf{F}\cdot\mathbf{S}^{e}\cdot\mathbf{F}^{T}\).
Similarly, \(\boldsymbol{\mathcal{K}}\) is a fourth-order tensor that represents the spatial measure of the rate of change of permeability with strain. It is related to its material frame equivalent \(\boldsymbol{\mathbb{K}}\) via
where \(\boldsymbol{\mathbb{K}}=\partial\mathbf{K}/\partial\mathbf{E}\) and \(\mathbf{K}\) is the permeability tensor in the material frame, such that \(\mathbf{k}=J^{-1}\mathbf{F}\cdot\mathbf{K}\cdot\mathbf{F}^{T}\). Since \(\mathbf{K}\) and \(\mathbf{E}\) are symmetric tensors, it follows that \(\boldsymbol{\mathcal{K}}\) and \(\boldsymbol{\mathbb{K}}\) exhibit two minor symmetries (e.g., \(\mathcal{K}_{jikl}=\mathcal{K}_{ijkl}\) and \(\mathcal{K}_{ijlk}=\mathcal{K}_{ijkl})\). However, unlike the elasticity tensor, it is not necessary that these tensors exhibit major symmetry (e.g., \(\mathcal{K}_{klij}\ne\mathcal{K}_{ijkl}\) in general).
The directional derivative of \(\delta W_{\mbox{int}}\) along \(\Delta p\) is given by
Note that letting \(p=0\) and \(\delta p=0\) in the above equations recovers the virtual work relations for nonlinear elasticity of compressible solids. The resulting simplified equation emerging from eq.\eqref{eq199} is symmetric to interchanges of \(\Delta\mathbf{u}\) and \(\delta\mathbf{v}^{s}\), producing a symmetric stiffness matrix in the finite element formulation 2. However, the general relations of Eqs.\eqref{eq199} and \eqref{eq203} do not exhibit symmetry to interchanges of \(\left(\Delta\mathbf{u},\Delta p\right)\) and \(\left(\delta\mathbf{v}^{s},\delta p\right)\), implying that the finite element stiffness matrix for a solid-fluid mixture is not symmetric under general conditions.
The directional derivatives of the external virtual work \(\delta W_{\text{ext}}\) depend on the type of boundary conditions being considered. For a prescribed total normal traction \(t_{n}\), where \(\mathbf{t}=t_{n}\mathbf{n}\),
and
where
are covariant basis (tangent) vectors on \(\partial b\), such that
For a prescribed normal effective traction \(t_{n}^{e}\), where \(\mathbf{t}=\left(-p+t_{n}^{e}\right)\mathbf{n}\) and \(p\) is not prescribed, then
and
For a prescribed normal fluid flux \(w_{n}=\mathbf{w}\cdot\mathbf{n}\),
and
Finally, for a prescribed external body force, recognizing that \(\rho\mathbf{b}=\rho^{s}\mathbf{b}^{s}+\rho^{w}\mathbf{b}^{w}\) and assuming that the body forces \(\mathbf{b}^{s}\) and \(\mathbf{b}^{w}\) do not depend on \(p\),
Stabilization¶
Finite element models of deformable porous media are known to exhibit oscillations in fluid pressure caused by relatively coarse meshes near free-draining boundaries, where a boundary layer in fluid pressure normally forms during the early time response to loading. These spurious oscillations typically occur when the mesh is not able to resolve this boundary layer. Stabilization methods serve as an alternative to mesh refinement, when the latter is not feasible or practical. In FEBio we have implemented a stabilization method based on the work of Aguilar et al. 4. Basically, this method proposes that the fluid flux \(\mathbf{w}\) be evaluated from
instead of eq.(2.7-6), where \(\tau\) represents the stabilization parameter. A representative value for \(\tau\) may be evaluated from
where \(h\) is the element thickness on the free-draining boundary, \(E\) is a representative measure of the solid matrix elastic modulus and \(k\) is a representative measure of the hydraulic permeability tensor \(\mathbf{k}\). The contribution of this form of \(\mathbf{w}\) to the virtual work expression in eq.\eqref{eq194} is
The linearizations of \(\delta G\) are then given by
Discretization¶
Let
where \(N_{a}\) represents the interpolation functions over an element, \(\delta\mathbf{v}_{a},\delta p_{a},\Delta\mathbf{u}_{b}\mbox{\thinspace and\thinspace}\Delta p_{b}\) respectively represent nodal values of \(\delta\mathbf{v}^{s}\), \(\delta p\), \(\Delta\mathbf{u}\) and \(\Delta p\), and \(m\) is the number of nodes in an element. Then the discretized form of \(\delta W_{int}\) in eq.\eqref{eq197} may be written as
where \(n_{e}\) is the number of elements in \(b\), \(n_{\mbox{int}}^{\left(e\right)}\) is the number of integration points in the \(e-\)th element, \(W_{k}\) is the quadrature weight associated with the \(k-\)th integration point, and \(J_{\eta}\) is the Jacobian of the transformation from the spatial frame to the parametric space of the element. In the above expression,
and it is understood that \(J_{\eta}\), \(\mathbf{r}_{a}^{u}\) and \(r_{a}^{p}\) are evaluated at the parametric coordinates of the \(k-\)th integration point.
Similarly, the discretized form of \(D\delta W_{\mbox{int}}\) in Eqs.\eqref{eq199} and \eqref{eq203} may be written as
where
and \(\Delta t\) is a discrete increment in time. In a numerical implementation, it has been found that evaluating \(\divg\mathbf{v}^{s}\) from \(\dot{J}/J\), where \(J=\det\mathbf{F}\), yields more accurate solutions than evaluating it from the trace of \(\grad\mathbf{v}^{s}\) 5. Contributions from the stabilization method presented in Section \eqref{subsec:Biphasic-Stabilization} may be similarly evaluated.
For the various types of contributions to the external virtual work, a similar discretization produces
and
where
In this case, \(m\) represents the number of nodes on an element face. For a prescribed normal traction \(t_{n}\) as given in \eqref{eq204}-\eqref{eq205},
where \(\boldsymbol{\mathbf{\mathcal{A}}}\left\{ \mathbf{v}\right\} =-\boldsymbol{\mathbf{\mathcal{E}}}\cdot\mathbf{v}\) is the skew-symmetric tensor whose dual vector is \(\mathbf{v}\) and \(\boldsymbol{\mathbf{\mathcal{E}}}\) is the third-order permutation pseudo-tensor. For a prescribed traction \(t_{n}^{e}\) as given in \eqref{eq208}-\eqref{eq209},
For a prescribed normal fluid flux \(w_{n}\) as given in \eqref{eq210}-\eqref{eq211},
-
Un, K.; Spilker, R. L.. "A penetration-based finite element method for hyperelastic 3D biphasic tissues in contact. Part II: finite element simulations." J Biomech Eng, vol. 128, pp. 934-42 (2006). ↩
-
Bonet, Javier; Wood, Richard D.. "Nonlinear continuum mechanics for finite element analysis." Cambridge University Press (1997). ↩↩
-
Curnier, A.; Qi-Chang, He; Zysset, P.. "Conewise linear elastic materials." J Elasticity, vol. 37, pp. 1-38 (1994). ↩
-
Aguilar, G; Gaspar, F; Lisbona, F; Rodrigo, C24558811158. "Numerical stabilization of Biot's consolidation model by a perturbation on the flow equation." International journal for numerical methods in engineering, vol. 75, pp. 1282--1300 (2008). ↩
-
Ateshian, Gerard A; Ellis, Benjamin J; Weiss, Jeffrey A. "Equivalence between short-time biphasic and incompressible elastic material responses." J Biomech Eng, vol. 129, pp. 405-12 (2007). ↩