# Vector calculus

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

editLet 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

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

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

editLet 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

editIf 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

editThe *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

editThe *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

editSome frequently used identities from vector calculus are listed below.

## Fundamental theorems of vector calculus

editOne 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

editThe **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**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

editThe **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