\(\newcommand{\beps}{\boldsymbol\varepsilon}\) \(\newcommand{\bsig}{\boldsymbol\sigma}\) \(\newcommand{\ud}{\mathrm{d}}\) \(\newcommand{\us}{\mathrm{s}}\) \(\newcommand{\ba}{\mathbf{a}}\) \(\newcommand{\bb}{\mathbf{b}}\) \(\newcommand{\bc}{\mathbf{c}}\) \(\newcommand{\bt}{\mathbf{t}}\) \(\newcommand{\bu}{\mathbf{u}}\) \(\newcommand{\bx}{\mathbf{x}}\) \(\newcommand{\bw}{\mathbf{w}}\) \(\newcommand{\bN}{\mathbf{N}}\) \(\newcommand{\bB}{\mathbf{B}}\) \(\newcommand{\bD}{\mathbf{D}}\) \(\newcommand{\bK}{\mathbf{K}}\) \(\newcommand{\pder}[2]{\frac{\partial #1}{\partial #2}}\) \(\newcommand{\iD}{\boldsymbol{\mathcal{D}}}\) \(\newcommand{\mbf}[1]{\mathbf{#1}}\) \(\newcommand{\mrm}[1]{\mathrm{#1}}\) \(\newcommand{\bs}[1]{\boldsymbol{#1}}\) \(\newcommand{\T}{^\mathrm{T}}\) \(\newcommand{\inv}{^{-1}}\) \(\newcommand{\myVec}[1]{\left\{ \begin{matrix} #1 \end{matrix} \right\}}\) \(\newcommand{\myMat}[1]{\left[ \begin{matrix} #1 \end{matrix} \right]}\) \(\newcommand{cA}[1]{\textcolor[RGB]{1,113,136}{#1}}\) \(\newcommand{cB}[1]{\textcolor[RGB]{195,49,47}{#1}}\) \(\newcommand{cC}[1]{\textcolor[RGB]{0,102,162}{#1}}\) \(\newcommand{cD}[1]{\textcolor[RGB]{0,183,211}{#1}}\) \(\newcommand{cE}[1]{\textcolor[RGB]{0,163,144}{#1}}\) \(\newcommand{cF}[1]{\textcolor[RGB]{97,164,180}{#1}}\) \(\newcommand{cG}[1]{\textcolor[RGB]{130,215,198}{#1}}\) \(\newcommand{cH}[1]{\textcolor[RGB]{153,210,140}{#1}}\) \(\newcommand{cI}[1]{\textcolor[RGB]{235,114,70}{#1}}\) \(\newcommand{cJ}[1]{\textcolor[RGB]{241,190,62}{#1}}\) \(\newcommand{cK}[1]{\textcolor[RGB]{231,41,138}{#1}}\)
3.1. Strong form for linear elasticity#
In this chapter we treat mechanical equilibrium problems in a more general way. In the previous chapter we have seen how the 1D Poisson equation can be directly used to treat structural bar elements in extension. Here we give the equilibrium problem a more thorough treatment, starting from continuum mechanics and arriving at a strong form PDE we can treat with FEM.
Kinematic relations#
For equilibrium problems, we are concerned with modeling how solids deform as loads are applied. Consider the following domain \(\Omega\) of arbitrary shape:
where the solid is subjected to body loads \(\mbf{b}\), prescribed tractions \(\mbf{t}\) at surface \(\Gamma_N\) and prescribed displacements at surface \(\Gamma_D\). Assume the body moves as the loads are applied, and we represent this movement by the displacement vector \(\bu\) shown above. In the more general 3D case, we can decompose \(\bu\) into three components along our coordinate system axes, and we are therefore interested in solving for a vector field:
Part of this displacement does not generate deformations, and are therefore called rigid-body motions. We are actually more interested in how the body actually deforms. For this we need to adopt a measure of strain. In this chapter we will be confining ourselves to small displacements and small strains. Under these assumptions, we can define strains as a tensor:
where \(i,j\in\{1,2,3\}\). In matrix/vector notation this can also be written as:
where \(\nabla^\mrm{s}\) is the symmetric gradient operator. We can also look at the strain tensor component by component:
from where we can see that \(\beps\) is symmetric, as expected. We can also switch to Voigt notation and represent strains as a vector instead:
Constitutive relations#
Stress is a measure of internal forces inside a material, and is intrinsically linked to strains. Stresses are represented by a tensor \(\bsig\) and can be related to surface tractions through:
which are in turn related related to loads the body \(\Omega\) is subjected to. In the expression above, \(\mbf{n}\) is the unit normal vector to the surface on which the tractions act. The stress tensor has components:
where the first index of each component associates it to a specific surface in an infinitesimal cubic material volume, and the second index indicates the direction of the stress.
For linear-elastic materials, there is a constant mapping between stresses and strains that depends on the Young’s modulus \(E\) and the Poisson’s ratio \(\nu\). Working with full strain and stress tensors, this mapping would be a fourth-order tensor:
which is known as Hooke’s Law. The tensor \(\bs{\mathcal{C}}\) can be written in index notation as:
where \(\lambda\) and \(\mu\) are the so-called Lamé constants:
Working in Voigt notation and exploiting symmetries in \(\bs{\mathcal{C}}\), we can reach a matrix-vector version of Hooke’s Law in three dimensions:
which we can write more compactly as:
When working in two dimensions (i.e. in the \(x-y\) plane), we need an extra assumption of how the material behaves out of plane. There are two main possibilities:
Plane strain assumption
Assume that all out-of-plane strain components are zero:
Hooke’s Law reduces to:
Plane stress assumption
Assume that the all out-of-plane stress components are zero:
Hooke’s Law reduces to:
Equilibrium equations#
To get to a final strong-form PDE we need to enforce stress equilibrium over our domain \(\Omega\). We can arrive at a result in two ways. First, consider the small volume of material \(\Delta\Omega\) shown below:
where we use only two dimensions for simplicity. Translational equilibrium in \(x\) and \(y\) directions within this domain therefore requires:
These equilibrium relations can be summarized in a single expression as:
For the rotational equilibrium the easiest is to compute the moments at the center of the volume. This leads to:
or, in other words \(\bsig=\bsig\T\), which means the stress tensor should be symmetric.
Another way to arrive at the same result is to consider the equilibrium of the whole body \(\Omega\) in an integral sense:
With the divergence theorem we can turn the integral in \(\Gamma\) into an integral in \(\Omega\). Then, putting both terms together we have:
and since this must hold also not only for the whole body \(\Omega\), but also for every subdomain inside the body, it follows from this expression that the earlier obtained Equation (3.14) must hold at every point:
Enforcing rotational equilibrium in an integral sense is a bit more involved, but results again in the requirement that \(\bsig\) is symmetric.