Vectors

From Wikiversity
Jump to: navigation, search

The basic idea[edit]

A vector is a mathematical concept that has both magnitude and direction. Detailed explanation of vectors may be found at Wikibooks linear algebra. In physics, vectors are used to describe things happening in space by giving a series of quantities which relate to the problem's coordinate system.

A vector is often expressed as a series of numbers. For example, in the two-dimensional space of real numbers, the notation (1, 1) represents a vector that is pointed 45 degrees from the x-axis towards the y-axis with a magnitude of  \sqrt 2 .

Commonly in physics, we use position vectors to describe where something is in the space we are considering, or how its position is changing at that moment in time. Position vectors are written as summations of scalars multiplied by unit vectors. For example:

a \hat{i} + b \hat{j} + c \hat{k}

where a, b and c are scalars and \hat{i}, \hat{j} and \hat{k} are unit vectors of the Cartesian (René Descartes) coordinate system. A unit vector is a special vector which has magnitude 1 and points along one of the coordinate frame's axes. This is better illustrated by a diagram.

A vector itself is typically indicated by either an arrow: \vec{v}, or just by boldface type: v, so the vector above as a complete equation would be denoted as:

\vec{v} = a \hat{i} + b \hat{j} + c \hat{k}

You can find the magnitude of a vector with this formula  |\vec{v}| = \sqrt{\sum_i(x_i^2)}. For example, in two-dimensional space, this equation reduces to:

|\vec{v}| = \sqrt{x^2+y^2}.

For three-dimensional space, this equation becomes:

|\vec{v}| = \sqrt{x^2+y^2+z^2}.

Exercises[edit]

Find the magnitude of the following vectors.

  • \vec{v} = (4, 3)
  • \vec{v} = (5, 3)
  • \vec{v} = (1, 0)

Using vectors in physics[edit]

Many problems, particularly in mechanics, involve the use of two- or three-dimensional space to describe where objects are and what they are doing. Vectors can be used to condense this information into a precise and easily understandable form that is easy to manipulate with mathematics.

Position - or where something is, can be shown using a position vector. Position vectors measure how far something is from the origin of the reference frame and in what direction, and are usually, though not always, given the symbol \vec{r}. It is usually good practice to use \vec{r} for position vectors when describing your solution to a problem as most physicists use this notation.

Velocity is defined as the rate of change of position with respect to time. You may be used to writing velocity, v, as a scalar because it was assumed in your solution that v referred to speed in the direction of travel. However, if we take the strict definition and apply it to the position vector - which we have already established is the proper way of representing position - we get:

\frac{d\vec{r}}{dt} = \frac{da}{dt}\hat{i} + \frac{db}{dt}\hat{j} + \frac{dc}{dt}\hat{k}

However, we note that the unit vectors are merely notation rather than terms themselves and are in fact not differentated, only the scalars which represent the vector's components in each direction differentiate.

Assuming that each component is not a constant and thus has a non-zero derivative, we get:

\vec{v} = a' \hat{i} + b' \hat{j} + c' \hat{k} where a', b' and c' are simply the first derivatives with respect to time of each original position vector component.

Here it is clear that velocity is also a vector. In the real world this means that each component of the velocity vector indicates how quickly each component of the position vector is changing - that is, how fast the object is moving in each direction.

Vectors in Mechanics[edit]

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[edit]

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:

 a_1= \mathbf{a}\cdot\mathbf{e}_1   and    a_2= \mathbf{a}\cdot\mathbf{e}_2

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):


    \mathbf{a} = a^1 \mathbf{g}_1 + a^2 \mathbf{g}_2 \,

In this space, the components of the vector are (a^1,a^2)\,, which are not equal to the projections, (b_1,b_2)\, that are shown in the figure. However as can be seen by inspecting the figure:

 a^1\ne \mathbf{a}\cdot\mathbf{g}_1   and    a^2\ne \mathbf{a}\cdot\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_2 \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.

Figure 1: A vector and its basis. bj=a·gj/gj is the projection of a on gj but is not a component if gj are the basis vectors (j=1,2)

Vector Algebra Operations[edit]

Some vector operations are shown in Figure 2.

Figure 2: Vector operations.

Addition and Subtraction[edit]

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[edit]

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[edit]

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


    \mathbf{a}\cdot\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}}\cdot{\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}}\cdot{\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}}\cdot{\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}}\cdot{\mathbf{b}} = a_i b_i~.

Also notice that the following also hold for the scalar product

  1. {\mathbf{a}}\cdot{\mathbf{b}} = {\mathbf{b}}\cdot{\mathbf{a}} (commutative law).
  2. {\mathbf{a}}\cdot{(\mathbf{b}+\mathbf{c})} = {\mathbf{a}}\cdot{\mathbf{b}} + {\mathbf{a}}\cdot{\mathbf{c}} (distributive law).

Vector product of two vectors[edit]

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)

Figure 3: Vector product of two vectors.

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 e_{ijk} a_j b_k ~.

where e_{ijk} is the Levi-Civita symbol (also called the permutation symbol, alternating tensor).

Identities from Vector Algebra[edit]

Some useful vector identities are given below.

  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}}\cdot{\mathbf{c}}) - \mathbf{c}({\mathbf{a}}\cdot{\mathbf{b}}) ~.
  4. {({\mathbf{a}}\times{\mathbf{b}})}\times{\mathbf{c}} = \mathbf{b}({\mathbf{a}}\cdot{\mathbf{c}}) - \mathbf{a}({\mathbf{b}}\cdot{\mathbf{c}}) ~.
  5. {\mathbf{a}}\times{\mathbf{a}} = \mathbf{0}~.
  6. {\mathbf{a}}\cdot{({\mathbf{a}}\times{\mathbf{b}})} = 
{\mathbf{b}}\cdot{({\mathbf{a}}\times{\mathbf{b}})} = \mathbf{0}~.
  7. {({\mathbf{a}}\times{\mathbf{b}})}\cdot{\mathbf{c}} = {\mathbf{a}}\cdot{({\mathbf{b}}\times{\mathbf{c}})}~.

Vector Calculus[edit]

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[edit]

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~.

Note: In the above equation, the unit vectors \mathbf{e}_i (i=1,2,3) are assumed constant.
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}}\cdot{\mathbf{b}})}{x} & = 
       {\mathbf{a}}\cdot{\cfrac{d\mathbf{b}}{dx}} + {\cfrac{d\mathbf{a}}{dx}}\cdot{\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}}\cdot{({\mathbf{a}}\times{\mathbf{b}})}]}{dt} & = 
       {\cfrac{d\mathbf{a}}{dt}}\cdot{({\mathbf{b}}\times{\mathbf{c}})} + 
       {\mathbf{a}}\cdot{\left({\cfrac{d\mathbf{b}}{dt}}\times{\mathbf{c}}\right)} + 
       {\mathbf{a}}\cdot{\left({\mathbf{b}}\times{\cfrac{d\mathbf{c}}{dt}}\right)}
  \end{align}

Scalar and vector fields[edit]

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).

Figure 4: Scalar and vector fields.

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[edit]

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[edit]

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}\cdot\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}\mathbf{u} \equiv u_{i,i} ~.

If \boldsymbol{\nabla}\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[edit]

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


    \boldsymbol{\nabla}\times{\mathbf{u}} = \det
       \begin{vmatrix}
         \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{vmatrix}

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[edit]

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


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

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 ~.

Identities in vector calculus[edit]

Some frequently used identities from vector calculus are listed below.

  1. \boldsymbol{\nabla}(\mathbf{a} + \mathbf{b}) = \boldsymbol{\nabla}\cdot{\mathbf{a}} + \boldsymbol{\nabla}\cdot{\mathbf{b}}
  2. \boldsymbol{\nabla}\times{(\mathbf{a} + \mathbf{b})} = \boldsymbol{\nabla}\times{\mathbf{a}} + \boldsymbol{\nabla}\times{\mathbf{b}}
  3. \boldsymbol{\nabla}(\varphi\mathbf{a}) = \cdot{(\boldsymbol{\nabla}{\varphi})}{\mathbf{a}} + \varphi (\boldsymbol{\nabla}\cdot{\mathbf{a}})
  4. \boldsymbol{\nabla}\times{(\varphi\mathbf{a})} = {(\boldsymbol{\nabla}{\varphi})}\times{\mathbf{a}} + \varphi (\boldsymbol{\nabla}\times{\mathbf{a}})
  5. \boldsymbol{\nabla}({\mathbf{a}}\times{\mathbf{b}}) = {\mathbf{b}}\cdot{(\boldsymbol{\nabla}\times{\mathbf{a}})} -                 {\mathbf{a}}\cdot{(\boldsymbol{\nabla}\times{\mathbf{b}})}

Green-Gauss Divergence Theorem[edit]

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}\cdot{\mathbf{u}}~dV = \int_{\Gamma} {\mathbf{n}}\cdot{\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
Figure 5: Volume for application of the divergence theorem.