Elasticity/Vectors

Vectors in Mechanics
Vector notation is ubiquitous in the modern literature on solid mechanics, fluid mechanics, biomechanics, nonlinear finite elements and a host of other subjects in mechanics. A student has to be familiar with the notation in order to be able to read the literature. In this section we introduce the notation that is used, common operations in vector algebra, and some ideas from vector calculus.

Vectors
A vector is an object that has certain properties. What are these properties? We usually say that these properties are:
 * a vector has a magnitude (or length)
 * a vector has a direction.

To make the definition of the vector object more precise we may also say that vectors are objects that satisfy the properties of a vector space.

The standard notation for a vector is lower case bold type (for example $$\mathbf{a}\,$$).

In Figure 1(a) you can see a vector $$\mathbf{a}$$ in red. This vector can be represented in component form with respect to the basis ($$\mathbf{e}_1, \mathbf{e}_2\,$$) as

\mathbf{a} = a_1 \mathbf{e}_1 + a_2 \mathbf{e}_2 \, $$ where $$\mathbf{e}_1\,$$ and $$\mathbf{e}_2\,$$ are orthonormal unit vectors. Recall that unit vectors are vectors of length 1. These vectors are also called basis vectors.

You could also represent the same vector $$\mathbf{a}\,$$ in terms of another set of basis vectors ($$\mathbf{g}_1,\mathbf{g}_2\,$$) as shown in Figure 1(b). In that case, the components of the vector are $$(b_1,b_2)\,$$ and we can write

\mathbf{a} = b_1 \mathbf{g}_1 + b_2 \mathbf{g}_2 \, ~. $$ Note that the basis vectors $$\mathbf{g}_1\,$$ and $$\mathbf{g}_2\,$$ do not necessarily have to be unit vectors. All we need is that they be linearly independent, that is, it should not be possible for us to represent one solely in terms of the others.

In three dimensions, using an orthonormal basis, we can write the vector $$\mathbf{a}\,$$ as

\mathbf{a} = a_1 \mathbf{e}_1 + a_2 \mathbf{e}_2 + a_3 \mathbf{e}_3 \, $$ where $$\mathbf{e}_3\,$$ is perpendicular to both $$\mathbf{e}_1\,$$ and $$\mathbf{e}_2\,$$. This is the usual basis in which we express arbitrary vectors.

Vector algebra
Some vector operations are shown in Figure 2.

Addition and subtraction
If $$\mathbf{a}\,$$ and $$\mathbf{b}\,$$ are vectors, then the sum $$\mathbf{c} = \mathbf{a} + \mathbf{b}\,$$ is also a vector (see Figure 2(a)).

The two vectors can also be subtracted from one another to give another vector $$\mathbf{d} = \mathbf{a} - \mathbf{b}\,$$.

Multiplication by a scalar
Multiplication of a vector $$\mathbf{b}\,$$ by a scalar $$\lambda\,$$ has the effect of stretching or shrinking the vector (see Figure 2(b)).

You can form a unit vector $$\hat{\mathbf{b}}\,$$ that is parallel to $$\mathbf{b}\,$$ by dividing by the length of the vector $$|\mathbf{b}|\,$$. Thus,

\hat\mathbf{b} = \cfrac{\mathbf{b}}{|\mathbf{b}|} ~. $$

Scalar product of two vectors
The scalar product or inner product or dot product of two vectors is defined as

\mathbf{a}\bullet\mathbf{b} = |\mathbf{a}||\mathbf{b}|\cos(\theta) $$ where $$\theta\,$$ is the angle between the two vectors (see Figure 2(b)).

If $$\mathbf{a}\,$$ and $$\mathbf{b}\,$$ are perpendicular to each other, $$\theta = \pi/2\,$$ and $$\cos(\theta) = 0\,$$. Therefore, $${\mathbf{a}}\bullet{\mathbf{b}} = 0$$.

The dot product therefore has the geometric interpretation as the length of the projection of $$\mathbf{a}\,$$ onto the unit vector $$\hat\mathbf{b}\,$$ when the two vectors are placed so that they start from the same point.

The scalar product leads to a scalar quantity and can also be written in component form (with respect to a given basis) as

{\mathbf{a}}\bullet{\mathbf{b}} = a_1 b_1 + a_2 b_2 + a_3 b_3 = \sum_{i=1..3} a_i b_i~. $$

If the vector is $$n$$ dimensional, the dot product is written as

{\mathbf{a}}\bullet{\mathbf{b}} = \sum_{i=1..n} a_i b_i~. $$

Using the Einstein summation convention, we can also write the scalar product as

{\mathbf{a}}\bullet{\mathbf{b}} = a_i b_i~. $$

Also notice that the following also hold for the scalar product
 * 1) $${\mathbf{a}}\bullet{\mathbf{b}} = {\mathbf{b}}\bullet{\mathbf{a}}$$ (commutative law).
 * 2) $${\mathbf{a}}\bullet{(\mathbf{b}+\mathbf{c})} = {\mathbf{a}}\bullet{\mathbf{b}} + {\mathbf{a}}\bullet{\mathbf{c}}$$ (distributive law).

Vector product of two vectors
The vector product (or cross product) of two vectors $$\mathbf{a}\,$$ and $$\mathbf{b}\,$$ is another vector $$\mathbf{c}\,$$ defined as

\mathbf{c} = {\mathbf{a}}\times{\mathbf{b}} = |\mathbf{a}||\mathbf{b}|\sin(\theta) \hat{\mathbf{c}} $$ where $$\theta\,$$ is the angle between $$\mathbf{a}\,$$ and $$\mathbf{b}\,$$, and $$\hat{\mathbf{c}}\,$$ is a unit vector perpendicular to the plane containing $$\mathbf{a}\,$$ and $$\mathbf{b}\,$$ in the right-handed sense (see Figure 3 for a geometric interpretation)

In terms of the orthonormal basis $$(\mathbf{e}_1,\mathbf{e}_2,\mathbf{e}_3)\,$$, the cross product can be written in the form of a determinant

{\mathbf{a}}\times{\mathbf{b}} = \begin{vmatrix} \mathbf{e}_1 & \mathbf{e}_2 & \mathbf{e}_3 \\ a_1 & a_2   & a_3 \\ b_1 & b_2   & b_3 \end{vmatrix}~. $$

In index notation, the cross product can be written as

{\mathbf{a}}\times{\mathbf{b}} \equiv \varepsilon_{ijk} \mathbf{e}_i a_j b_k ~. $$ where $$\varepsilon_{ijk}$$ is the Levi-Civita symbol (also called the permutation symbol, alternating tensor).

Identities from vector algebra
Some useful vector identities are given below. {\mathbf{b}}\bullet{({\mathbf{a}}\times{\mathbf{b}})} = \mathbf{0}$$.
 * 1) $${\mathbf{a}}\times{\mathbf{b}} = - {\mathbf{b}}\times{\mathbf{a}}$$.
 * 2) $${\mathbf{a}}\times{(\mathbf{b}+\mathbf{c}}) = {\mathbf{a}}\times{\mathbf{b}} + {\mathbf{a}}\times{\mathbf{c}}$$.
 * 3) $${\mathbf{a}}\times{({\mathbf{b}}\times{\mathbf{c}})} = \mathbf{b}({\mathbf{a}}\bullet{\mathbf{c}}) - \mathbf{c}({\mathbf{a}}\bullet{\mathbf{b}})$$.
 * 4) $${({\mathbf{a}}\times{\mathbf{b}})}\times{\mathbf{c}} = \mathbf{b}({\mathbf{a}}\bullet{\mathbf{c}}) - \mathbf{a}({\mathbf{b}}\bullet{\mathbf{c}})$$.
 * 5) $${\mathbf{a}}\times{\mathbf{a}} = \mathbf{0}$$.
 * 6) $${\mathbf{a}}\bullet{({\mathbf{a}}\times{\mathbf{b}})} =
 * 1) $${({\mathbf{a}}\times{\mathbf{b}})}\bullet{\mathbf{c}} = {\mathbf{a}}\bullet{({\mathbf{b}}\times{\mathbf{c}})}$$.

Vector calculus
So far we have dealt with constant vectors. It also helps if the vectors are allowed to vary in space. Then we can define derivatives and integrals and deal with vector fields. Some basic ideas of vector calculus are discussed below.

Derivative of a vector valued function
Let $$\mathbf{a}(x)\,$$ be a vector function that can be represented as

\mathbf{a}(x) = a_1(x) \mathbf{e}_1 + a_2(x) \mathbf{e}_2 + a_3(x) \mathbf{e}_3\, $$ where $$x\,$$ is a scalar.

Then the derivative of $$\mathbf{a}(x)\,$$ with respect to $$x\,$$ is

\cfrac{d\mathbf{a}(x)}{dx} = \lim_{\Delta x\rightarrow 0} \cfrac{\mathbf{a}(x+\Delta x) - \mathbf{a}(x)}{\Delta x} = \cfrac{da_1(x)}{dx} \mathbf{e}_1 + \cfrac{da_2(x)}{dx} \mathbf{e}_2 + \cfrac{da_3(x)}{dx} \mathbf{e}_3~. $$

If $$\mathbf{a}(x)\,$$ and $$\mathbf{b}(x)\,$$ are two vector functions, then from the chain rule we get
 * $$\begin{align}

\cfrac{d({\mathbf{a}}\bullet{\mathbf{b}})}{dx} & = {\mathbf{a}}\bullet{\cfrac{d\mathbf{b}}{dx}} + {\cfrac{d\mathbf{a}}{dx}}\bullet{\mathbf{b}} \\ \cfrac{d({\mathbf{a}}\times{\mathbf{b}})}{dx} & = {\mathbf{a}}\times{\cfrac{d\mathbf{b}}{dx}} + {\cfrac{d\mathbf{a}}{dx}}\times{\mathbf{b}} \\ \cfrac{d[{\mathbf{a}}\bullet{({\mathbf{b}}\times{\mathbf{c}})}]}{dx} & = {\cfrac{d\mathbf{a}}{dx}}\bullet{({\mathbf{b}}\times{\mathbf{c}})} + {\mathbf{a}}\bullet{\left({\cfrac{d\mathbf{b}}{dx}}\times{\mathbf{c}}\right)} + {\mathbf{a}}\bullet{\left({\mathbf{b}}\times{\cfrac{d\mathbf{c}}{dx}}\right)} \end{align}$$

Scalar and vector fields
Let $$\mathbf{x}\,$$ be the position vector of any point in space. Suppose that there is a scalar function ($$g\,$$) that assigns a value to each point in space. Then

g = g(\mathbf{x})\, $$ represents a scalar field. An example of a scalar field is the temperature. See Figure4(a).

If there is a vector function ($$\mathbf{a}\,$$) that assigns a vector to each point in space, then

\mathbf{a} = \mathbf{a}(\mathbf{x})\, $$ represents a vector field. An example is the displacement field. See Figure 4(b).

Gradient of a scalar field
Let $$\varphi(\mathbf{x})\,$$ be a scalar function. Assume that the partial derivatives of the function are continuous in some region of space. If the point $$\mathbf{x}\,$$ has coordinates ($$x_1, x_2, x_3\,$$) with respect to the basis ($$\mathbf{e}_1, \mathbf{e}_2, \mathbf{e}_3\,$$), the gradient of $$\varphi\,$$ is defined as

\boldsymbol{\nabla}{\varphi} = \frac{\partial \varphi}{\partial x_1}~\mathbf{e}_1 + \frac{\partial \varphi}{\partial x_2}~\mathbf{e}_2 + \frac{\partial \varphi}{\partial x_3}~\mathbf{e}_3 ~. $$ In index notation,

\boldsymbol{\nabla}{\varphi} \equiv \varphi_{,i}~\mathbf{e}_i ~. $$ The gradient is obviously a vector and has a direction. We can think of the gradient at a point being the vector perpendicular to the level contour at that point.

It is often useful to think of the symbol $$\boldsymbol{\nabla}{}$$ as an operator of the form

\boldsymbol{\nabla}{} = \frac{\partial }{\partial x_1} ~\mathbf{e}_1 + \frac{\partial }{\partial x_2} ~\mathbf{e}_2 + \frac{\partial }{\partial x_3} ~\mathbf{e}_3 ~. $$

Divergence of a vector field
If we form a scalar product of a vector field $$\mathbf{u}(\mathbf{x})\,$$ with the $$\boldsymbol{\nabla}{}$$ operator, we get a scalar quantity called the divergence of the vector field. Thus,

\boldsymbol{\nabla}\bullet{\mathbf{u}} = \frac{\partial u_1}{\partial x_1} + \frac{\partial u_2}{\partial x_2} + \frac{\partial u_3}{\partial x_3} ~. $$ In index notation,

\boldsymbol{\nabla}\bullet{\mathbf{u}} \equiv u_{i,i} ~. $$

If $$\boldsymbol{\nabla}\bullet{\mathbf{u}} = 0$$, then $$\mathbf{u}\,$$ is called a divergence-free field.

The physical significance of the divergence of a vector field is the rate at which some density exits a given region of space. In the absence of the creation or destruction of matter, the density within a region of space can change only by having it flow into or out of the region.

Curl of a vector field
The curl of a vector field $$\mathbf{u}(\mathbf{x})\,$$ is a vector defined as

\boldsymbol{\nabla}\times{\mathbf{u}} = \begin{bmatrix} \mathbf{e}_1 & \mathbf{e}_2 & \mathbf{e}_3 \\ \frac{\partial }{\partial x_1} & \frac{\partial }{\partial x_2} & \frac{\partial }{\partial x_3} \\ u_1 & u_2 & u_3 \\ \end{bmatrix} $$

The physical significance of the curl of a vector field is the amount of rotation or angular momentum of the contents of a region of space.

Laplacian of a scalar or vector field
The Laplacian of a scalar field $$\varphi(\mathbf{x})\,$$ is a scalar defined as

\nabla^2{\varphi} := \boldsymbol{\nabla}\bullet{\boldsymbol{\nabla}{\varphi}} = \frac{\partial^2 \varphi}{\partial x_1^2} + \frac{\partial^2 \varphi}{\partial x_2^2} + \frac{\partial^2 \varphi}{\partial x_3^2}~. $$

The Laplacian of a vector field $$\mathbf{u}(\mathbf{x})\,$$ is a vector defined as

\nabla^2{\mathbf{u}} := (\nabla^2{u_1}) \mathbf{e}_1 + (\nabla^2{u_2}) \mathbf{e}_2 + (\nabla^2{u_3}) \mathbf{e}_3 ~. $$

Green-Gauss divergence theorem
Let $$\mathbf{u}(\mathbf{x})\,$$ be a continuous and differentiable vector field on a body $$\Omega\,$$ with boundary $$\Gamma\,$$. The divergence theorem states that

{   \int_{\Omega} \boldsymbol{\nabla}\bullet{\mathbf{u}}~dV = \int_{\Gamma} {\mathbf{n}}\bullet{\mathbf{u}}~dA } $$ where $$\mathbf{n}\,$$ is the outward unit normal to the surface (see Figure 5).

In index notation,

\int_{\Omega} u_{i,i}~dV = \int_{\Gamma} n_i u_i~dA $$

Identities in vector calculus
Some frequently used identities from vector calculus are listed below.
 * 1) $$\boldsymbol{\nabla}\bullet{(\mathbf{a} + \mathbf{b})} = \boldsymbol{\nabla}\bullet{\mathbf{a}} + \boldsymbol{\nabla}\bullet{\mathbf{b}}$$.
 * 2) $$\boldsymbol{\nabla}\times{(\mathbf{a} + \mathbf{b})} = \boldsymbol{\nabla}\times{\mathbf{a}} + \boldsymbol{\nabla}\times{\mathbf{b}}$$.
 * 3) $$\boldsymbol{\nabla}\bullet{(\varphi\mathbf{a})} = (\boldsymbol{\nabla}{\varphi})\bullet\mathbf{a} + \varphi (\boldsymbol{\nabla}\bullet{\mathbf{a}})$$.
 * 4) $$\boldsymbol{\nabla}\times{(\varphi\mathbf{a})} = {(\boldsymbol{\nabla}{\varphi})}\times{\mathbf{a}} + \varphi (\boldsymbol{\nabla}\times{\mathbf{a}})$$.
 * 5) $$\boldsymbol{\nabla}\bullet{({\mathbf{a}}\times{\mathbf{b}})} = {\mathbf{b}}\bullet{(\boldsymbol{\nabla}\times{\mathbf{a}})} -                {\mathbf{a}}\bullet{(\boldsymbol{\nabla}\times{\mathbf{b}})}$$.
 * 6) $$ \boldsymbol{\nabla}(\varphi~\mathbf{a}) = \mathbf{a}\otimes(\boldsymbol{\nabla}\varphi) + \varphi~\boldsymbol{\nabla}\mathbf{a}$$