Hyperelasticity: static and dynamics
Basics
Let $\Omega \subset \mathbb{R}^{d}$ ($d=2,3$) be a bounded domain, referred to as reference configuration of a body $\mathcal{B}$. The body can be identified as a set of material points. If $P$ is a generic material point, $\mathbf{X}(P)$ indicates the position vector of $P$ in the reference configuration with respect to some reference system.
When the body undergoes deformation, every material point $P$ is being displaced to a new deformed location which is denoted by $\mathbf{x}$. The relation between each material point and its respective deformed location is captured by the deformation function $\bm{\phi}: \mathbb{R}^d \rightarrow \mathbb{R}^3$,
The displacement vector $\bd(t)$ of a material point is defined as
One of the most important kinematic quantities in the framework of continuum mechanics is the deformation gradient
We denote by $J = \text{det}(\FF)$ the determinant of the deformation gradient.
Equation of motion
The equation of motion for a continuous medium formulated in the reference configuration reads:
where $\mathbf{f}$ is an external force, $\rho$ is the density of the body and $\PP = \PP(\FF)$ is the first Piola-Kirchhoff stress tensor. Note that the first Piola-Kirchhoff stress tensor is related to the Cauchy stress tensor $\bm{\sigma}$ by the following formula: $\PP = J \bm{\sigma} \FF^{-T}$.
The relation between the stress and the deformation tensor is the so-called constitutive law, peculiar to each specific material. Equation \eqref{eq:CSM_Motion} is referred to as governing equation of nonlinear elastodynamics.
Equilibrium equation
In equilibrium, equation \eqref{eq:CSM_Motion} is replaced by
and this, complemented by a suitable constitutive law $\PP = \PP(\FF)$, is the governing equation of nonlinear elastostatics.
Constitutive laws
The computation of the displacement field of the considered body as function of the external loads requires to complement equations \eqref{eq:CSM_Motion} and \eqref{eq:CSM_Static} by a suitable constitutive law. In this section we present all the constitutive laws for hyperelastic materials implemented in the redbKIT
library.
The characteristic of an hyperelastic (also called Green elastic) material is the existence of a strain energy function $\psi = \psi(\FF)$ such that
Linear elasticity
The simplest practical constitutive model is linear elasticity, defined in terms of the strain energy density as
where $\bm{\epsilon} = \tfrac{1}{2}(\FF + \FF^T - \II) = \tfrac{1}{2}(\nabla\bd + \nabla \bd^T)$ is the small (or infinitesimal) strain tensor. The coefficients $\mu$ and $\lambda$ are the Lame constants, which are related to the material properties through the Young modulus $E$ and the Poisson ratio $\nu$:
Its first Piola-Kirchhoff stress tensor is given by
St. Venant-Kirchhoff model
The St. Venant-Kirchhoff material is a an hyperelastic nonlinear model for compressible materials characterised by the following strain energy function:
where $\EE = \tfrac{1}{2}(\FF^T\FF - \II) = \tfrac{1}{2} (\CC - \II)$ is the Green-Lagrange strain tensor, while $\lambda$ and $\mu$ are the Lame constants. Its first Piola-Kirchhoff stress tensor is given by
Nearly-incompressible Neo-Hookean model
The nearly-incompressible Neo-Hookean material is a an hyperelastic nonlinear model whose strain energy function is specified in terms of an isochoric-volumetric splitting:
where $\bar{I}_{1} = J^{-2/3} I_1 = J^{-2/3} \text{tr}(\CC)$, $J = \text{det}(\FF)$, $\mu$ is the shear modulus and $K$ is the bulk modulus.
The corresponding first Piola-Kirchhoff stress tensor is given by
Nearly-incompressible Raghavan-Vorp model
Like the Neo-Hookean model, the nearly-incompressible Raghavan-Vorp material is a an hyperelastic nonlinear model whose strain energy function is specified in terms of an isochoric-volumetric splitting:
This is a special case of the generalized power law neo-Hookean model; also note that this constitutive model reduces to the Neo-Hookean one for $\alpha = \mu/2$ and $\beta = 0$.
The corresponding first Piola-Kirchhoff stress tensor is given by
Finite element approximation
We now consider the finite element approximation of the both nonlinear elastostatic and elastodynamics equations. To this end, it is first useful to complement these equations with suitable boundary and initial conditions, and to introduce their weak formulation.
Static
The boundary-value problem reads as follows: find $\bd : \overline{\Omega} \rightarrow \mathbb{R}^d$ such that
where we have prescribed suitable boundary displacements $\mathbf{g}$ on $\Gamma_D$ and tractions $\mathbf{h}$ on $\Gamma_N$. On $\Gamma_R$, a Robin-type boundary condition is imposed instead; $\alpha$ is called elastic coefficient.
Let us introduce the following functional spaces
The weak formulation of \eqref{eq:CSM_Static2} reads: find $\bd \in V_D$ such that
Let us introduce a FE partition of the domain $\Omega$ from which we construct a conforming finite element space
We also define $V_h = X_h \cap V$ and $V_{Dh} = X_h \cap V_D$. The finite element approximation of \eqref{eq:CSM_StaticWeak} reads: find $\bd_h \in V_{Dh}$ such that
With a slight abuse of notation, we denote by $\bd \in \mathbb{R}^{\Nh}$ the vector of coefficients in the expansion of $\bd_h$ with respect to the FE basis functions $\bm{\varphi}_i$. At the algebraic level, we obtain the following nonlinear system of equations to be solved:
where $\FFi \in \mathbb{R}^{\Nh}$ denotes the vector of internal forces
and $\FFe \in \mathbb{R}^{\Nh}$ denotes the vector of external forces
This nonlinear system of equations is solved by means of Newton’s method: given $\bd^{0} = \bd_0$, for $k=0,1,\dots$ until convergence we seek $\delta \bd$ such that
and then set $\bd_{n+1}^{k+1} = \bd_{n+1}^{k} + \delta \bd$. Here $\JJ$ denotes the Jacobian matrix
The assembly of the Jacobian matrix $\JJ$ and the residual vector $\mathbf{R}$ is performed by the CSM_Assembler
class. Once the system has been assembled, Dirichlet boundary conditions should be imposed; a detailed description of this step can be found here.
Dynamics
The initial/boundary-value problem reads as follows: find $\bd : \overline{\Omega} \times [0,T] \rightarrow \mathbb{R}^d$ such that
The weak formulation of \eqref{eq:CSM_Dynamic2} reads: for all $t \in (0,T]$, find $\bd = \bd(t) \in V_D$ such that
At the algebraic level, its finite element approximation leads to the following second-order dynamical system: given initial displacement $\bd_0 \in \R^{\Nh}$ and velocity $\bmv_0 \in \R^{\Nh}$, for all $t \in (0,T]$ find $\bd = \bd(t) \in \R^{\Nh}$ such that
where $\MM \in \R^{\Nh \times \Nh}$ denotes the mass matrix
Newmark scheme
A popular scheme used for the solution of this initial-values problem is the Newmark scheme, which consists of the following equations:
Equilibrium: $$ \begin{equation} \MM \ddot{\bd}_{n+1} + \FFi (\bd_{n+1}) = \FFe_{n+1} \label{eq:CSMt_Newmark1} \end{equation} $$ Recurrences: $$ \begin{equation} \begin{aligned} & \bd_{n+1} = \bd_n + \Delta t \bv_n + \frac{\Delta t^2}{2} \left( 2\beta \ba_{n+1} + (1-2\beta) \ba_n\right)\\ & \bv_{n+1} = \bv_n + \Delta t \left( \gamma \ba_{n+1} + (1-\gamma) \ba_n \right)\\ \end{aligned} \label{eq:CSMt_Newmark1b} \end{equation} $$
where $\bd_n$, $\dot{\bd}_n$ and $\ddot{\bd}_n$ are the approximations of $\bd(t_n)$, $\dot{\bd}(t_n)$, and $\ddot{\bd}(t_n)$, respectively. The parameters $\gamma \in [0,1]$ and $\beta \in [0 , 1/2]$ determine the stability and accuracy of the approximation. In particular, the method is second order accurate if and only if $\gamma = \tfrac{1}{2}$, while it is unconditionally stable (for linear systems) for $2 \beta \geq \gamma \geq \tfrac{1}{2}$.
We can use the expansion for $\bd_{n+1}$ and $\bv_{n+1}$ to express the acceleration $\ba_{n+1}$ in terms of the displacement:
with
The algebraic system \eqref{eq:CSMt_Newmark1} can thus be written as follows:
At each timestep, this nonlinear system of equations is solved by means of Newton’s method: given $\bd_{n+1}^{0} = \bd_n$, for $k=0,1,\dots$ until convergence we seek $\delta \bd$ such that
and then set $\bd_{n+1}^{k+1} = \bd_{n+1}^{k} + \delta \bd$. Here,
and
Generalized-$\alpha$ method
Numerical damping cannot be introduced in the Newmark method without degrading the order of accuracy. To this end, the so called HHT-$\alpha$ method and the generalized-$\alpha$ method were introduced. The latter reads as follows:
Equilibrium: $$ \begin{equation} \MM \ddot{\bd}_{n+1-\alpha_m} + \FFi (\bd_{n+1-\alpha_f}) = \FFe_{n+1-\alpha_f} \label{eq:CSMt_GenAlpha1} \end{equation} $$ Time averagings: $$ \begin{equation} \begin{aligned} &t_{n+1-\alpha_f} = (1-\alpha_f) t_{n+1} + \alpha_f t_n\\ &\FFe_{n+1-\alpha_f} = \FFe(t_{n+1-\alpha_f}) \\ &\bd_{n+1-\alpha_f} = (1-\alpha_f) \bd_{n+1} + \alpha_f \bd_n \\ &\ba_{n+1-\alpha_m} = (1-\alpha_m) \ba_{n+1} + \alpha_m \ba_n \\ \end{aligned} \label{eq:CSMt_GenAlpha2} \end{equation} $$ Recurrences: $$ \begin{equation} \begin{aligned} & \bd_{n+1} = \bd_n + \Delta t \bv_n + \frac{\Delta t^2}{2} \left( 2\beta \ba_{n+1} + (1-2\beta) \ba_n\right)\\ & \bv_{n+1} = \bv_n + \Delta t \left( \gamma \ba_{n+1} + (1-\gamma) \ba_n \right)\\ \end{aligned} \label{eq:CSMt_GenAlpha3} \end{equation} $$
The generalized-$\alpha$ method reduced to the Nemark method for $\alpha_f = 0$ and $\alpha_m = 0$. Moreover, it is a second-order accurate scheme for linear problems, provided that $\gamma = \tfrac{1}{2} - \alpha_m + \alpha_f$; it is unconditionally stable if $\alpha_m \leq \alpha_f \leq \tfrac{1}{2}$ and $\beta \geq \tfrac{1}{4} + \tfrac{1}{2}(\alpha_f - \alpha_m)$. A family of second-order and absolutely stable methods controlling the numerical dissipation can be defined in terms of a unique parameter $\rho_{\infty}$:
We can use the expansion for $\bd_{n+1}$ and $\bv_{n+1}$ to express the acceleration $\ba_{n+1-\alpha_m}$ in terms of the displacement $\bd_{n+1}$:
with
The algebraic system \eqref{eq:CSMt_GenAlpha1} can thus be written as follows:
At each timestep, this nonlinear system of equations is solved by means of Newton’s method: given $\bd_{n+1}^{0} = \bd_n$, for $k=0,1,\dots$ until convergence we seek $\delta \bd$ such that
and then set $\bd_{n+1}^{k+1} = \bd_{n+1}^{k} + \delta \bd$. Here,
and
References
Continuum mechanics and constitutive laws:
- M. E. Gurtin. An introduction to continuum mechanics. Vol. 158. Academic press, 1982.
- R. W. Ogden. Non-linear elastic deformations. Courier Corporation, 1997.
- G. A. Holzapfel. Nonlinear solid mechanics. Vol. 24. Chichester: Wiley, 2000.
- M. L. Raghavan, and D. A. Vorp. Toward a biomechanical tool to evaluate rupture potential of abdominal aortic aneurysm: identification of a finite strain constitutive model and evaluation of its applicability. Journal of biomechanics 33(4):475-482, 2000.
- M. de Luca. Mathematical and Numerical Models for Cerebral Aneurysm Wall Mechanics. PhD Thesis, Politecnico di Milano, 2009.
Time integration:
- N. M. Newmark. “A method of computation for structural dynamics.” Journal of the Engineering Mechanics Division, ASCE, 67–94, 1959.
- H. M. Hilber, T. J. R. Hughes, and R. L. Taylor. Improved numerical dissipation for time integration algorithms in structural dynamics. Earthquake Engineering and Structural Dynamics, 6:283-292, 1977.
- J. Chung and G. M. Hulbert. A time integration algorithm for structural dynamics with improved numerical dissipation: the generalized-α method. Journal of applied mechanics, 60(2):371-375, 1993.