Jump to content

Vector calculus

From Wikiversity

Material from Vectors was moved[1] here.

Here we extend the concept of vector to that of the vector field. A familiar example of a vector field is wind velocity: It has direction and magnitude, which makes it a vector. But it also depends on position (and ultimately on time). Wind velocity is a function of (x,y,z) at any given time, equivalently we can say that wind velocity is a time-dependent field: .

Derivative of a vector valued function

[edit | edit source]

Let be a vector function that can be represented as

where is a scalar.

Then the derivative of with respect to is

Note: In the above equation, the unit vectors (i=1,2,3) are assumed constant.
If and are two vector functions, then from the chain rule we get

Scalar and vector fields

[edit | edit source]

Let be the position vector of any point in space. Suppose that there is a scalar function () that assigns a value to each point in space. Then

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 () that assigns a vector to each point in space, then

represents a vector field. An example is the displacement field. See Figure 4(b).

Gradient of a scalar field

[edit | edit source]

Let be a scalar function. Assume that the partial derivatives of the function are continuous in some region of space. If the point has coordinates () with respect to the basis (), the gradient of is defined as

In index notation,

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 as an operator of the form

Divergence of a vector field

[edit | edit source]

If we form a scalar product of a vector field with the operator, we get a scalar quantity called the divergence of the vector field. Thus,

In index notation,

If , then 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 | edit source]

The curl of a vector field is a vector whose expression can be obtained with

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

The Laplacian of a scalar field is a scalar defined as

The Laplacian of a vector field is a vector defined as

Identities in vector calculus

[edit | edit source]

Some frequently used identities from vector calculus are listed below.

Fundamental theorems of vector calculus

[edit | edit source]

One version of the fundamental theorem of one-dimensional calculus is

This is a theorem about a function, , its first derivative, and a line segment. Two notations used to denote this line segment are [a,b] and the inequality, a<x<b. In the field of topology, denotes boundary. If we let the symbol denote the infinite number of points in the line segment [a,b], then the symbol denotes the two endpoints (at x = a and x = b ) of the line segment . These endpoints form the boundary of .

Gradient theorem

[edit | edit source]

The gradient theorem is a direct generalization of the fundamental theorem of calculus:

The subscript, informs this is an integral over the over a one-dimensinal curve (or 'path') line integral from point to point . The function, is any scalar field that is differentiable. The expression informs us that can be a member of an n-dimensional space. (In other words the theorem is easily generalized to more than three dimensions.) A consequence of this theorem is that for any "closed curve" The figure shows the closed curve A, as well as the "open curve", B. Two endpoints form the "boundary" of curve B.

Stokes' theorem

[edit | edit source]

Stokes' theorem states:

The integral subscript, informs us that this theorem is valid only in a three-dimensional vector space. The integral is over a two-dimensional surface,Σ ,with , where is normal to the surface. The integral over the surface, Σ, is nonzero only if its boundary, ∂Σ, exists. Surfaces with such boundaries are called open surfaces, and the boundary, ∂Σ, is a curve in 3-space that goes along the "edge" of the surface. This curve is integrated in the direction of positive orientation, meaning that and the surface normal follow follow the right-hand rule.

Footnote: According to Wikipedia[2], this form of the theorem was first discovered by Lord Kelvin, who communicated it to George Stokes in a letter dated July 2, 1850. Stokes set the theorem as a question on the 1854 Smith's Prize exam, which led to the result bearing his name.

Divergence theorem

[edit | edit source]
 closed  | open: Ω & ∂Ω

The divergence theorem states:

.

The integral subscript, , informs us that this theorem is valid in an (arbitrary) n-dimensional vector space. The n-dimensional volume is Ω, and ∂Ω is its boundary. If n =3 dimensions, ∂Ω is a surface. Since this surface encloses a volume, it has no boundary of its own, and is therefore called a closed surface. The figure shows six surfaces. The three on the left have no boundary and are therefore closed; the ones to the right have a boundary (shown in red) and are therefore open. Note that the closed surfaces to the left are themselves boundaries volumes which are defined as what is "inside" the surface.

Footnote: In index notation, the gradient theorem can be written as
  1. https://en.wikiversity.org/w/index.php?title=Vectors&oldid=1194637
  2. https://en.wikipedia.org/w/index.php?title=Stokes%27_theorem&oldid=608564969