Vector calculus (or vector analysis) is a branch of mathematics concerned with differentiation and integration of vector fields, primarily in 3dimensional Euclidean space \mathbb{R}^3. The term "vector calculus" is sometimes used as a synonym for the broader subject of multivariable calculus, which includes vector calculus as well as partial differentiation and multiple integration. Vector calculus plays an important role in differential geometry and in the study of partial differential equations. It is used extensively in physics and engineering, especially in the description of electromagnetic fields, gravitational fields and fluid flow.
Vector calculus was developed from quaternion analysis by J. Willard Gibbs and Oliver Heaviside near the end of the 19th century, and most of the notation and terminology was established by Gibbs and Edwin Bidwell Wilson in their 1901 book, Vector Analysis. In the conventional form using cross products, vector calculus does not generalize to higher dimensions, while the alternative approach of geometric algebra, which uses exterior products does generalize, as discussed below.
Basic objects
Scalar fields
A scalar field associates a scalar value to every point in a space. The scalar may either be a mathematical number or a physical quantity.Examples of scalar fields in applications include the temperature distribution throughout space, the pressure distribution in a fluid, and spinzero quantum fields, such as the Higgs field. These fields are the subject of scalar field theory.
Vector fields
A vector field is an assignment of a vector to each point in a subset of space.^{[1]} A vector field in the plane, for instance, can be visualized as a collection of arrows with a given magnitude and direction each attached to a point in the plane. Vector fields are often used to model, for example, the speed and direction of a moving fluid throughout space, or the strength and direction of some force, such as the magnetic or gravitational force, as it changes from point to point.
Vectors and pseudovectors
In more advanced treatments, one further distinguishes pseudovector fields and pseudoscalar fields, which are identical to vector fields and scalar fields except that they change sign under an orientationreversing map: for example, the curl of a vector field is a pseudovector field, and if one reflects a vector field, the curl points in the opposite direction. This distinction is clarified and elaborated in geometric algebra, as described below.
Vector operations
Algebraic operations
The basic algebraic (nondifferential) operations in vector calculus are referred to as vector algebra, being defined for a vector space and then globally applied to a vector field, and consist of:

scalar multiplication

multiplication of a scalar field and a vector field, yielding a vector field: a \bold{v};

vector addition

addition of two vector fields, yielding a vector field: \bold{v}_1 + \bold{v}_2;

dot product

multiplication of two vector fields, yielding a scalar field: \bold{v}_1 \cdot \bold{v}_2;

cross product

multiplication of two vector fields, yielding a vector field: \bold{v}_1 \times \bold{v}_2;
There are also two triple products:

scalar triple product

the dot product of a vector and a cross product of two vectors: \bold{v}_1\cdot\left( \bold{v}_2\times\bold{v}_3 \right);

vector triple product

the cross product of a vector and a cross product of two vectors: \bold{v}_1\times\left( \bold{v}_2\times\bold{v}_3 \right) or \left( \bold{v}_3\times\bold{v}_2\right)\times\bold{v}_1 ;
although these are less often used as basic operations, as they can be expressed in terms of the dot and cross products.
Differential operations
Vector calculus studies various
differential operators defined on scalar or vector fields, which are typically expressed in terms of the
del operator (
\nabla), also known as "nabla". The five most important differential operations in vector calculus are:
Operation

Notation

Description

Domain/Range

Gradient

\operatorname{grad}(f)=\nabla f

Measures the rate and direction of change in a scalar field.

Maps scalar fields to vector fields.

Curl

\operatorname{curl}(\mathbf{F})=\nabla\times\mathbf{F}

Measures the tendency to rotate about a point in a vector field.

Maps vector fields to (pseudo)vector fields.

Divergence

\operatorname{div}(\mathbf{F})=\nabla\cdot\mathbf{F}

Measures the scalar of a source or sink at a given point in a vector field.

Maps vector fields to scalar fields.

Vector Laplacian

\nabla^2\mathbf{F}=\nabla(\nabla\cdot\mathbf{F})\nabla\times(\nabla\times\mathbf{F})

Measures the difference between the value of the vector field with its average on infinitesimal balls.

Maps between vector fields.

Laplacian

\Delta f=\nabla^2 f=\nabla\cdot \nabla f

Measures the difference between the value of the scalar field with its average on infinitesimal balls.

Maps between scalar fields.

where the curl and divergence differ because the former uses a cross product and the latter a dot product, f denotes a scalar field and F denotes a vector field. A quantity called the Jacobian is useful for studying functions when both the domain and range of the function are multivariable, such as a change of variables during integration.
Theorems
Likewise, there are several important theorems related to these operators which generalize the fundamental theorem of calculus to higher dimensions:
Theorem

Statement

Description

Gradient theorem

\int_{L[\mathbf p \to \mathbf q] \subset \mathbb R^n} \nabla\varphi\cdot d\mathbf{r} = \varphi\left(\mathbf{q}\right)\varphi\left(\mathbf{p}\right)

The line integral through a gradient (vector) field equals the difference in its scalar field at the endpoints of the curve L.

Green's theorem

\int\!\!\!\!\int_{A\,\subset\mathbb R^2} \left (\frac{\partial M}{\partial x}  \frac{\partial L}{\partial y}\right)\, d\mathbf{A}=\oint_{\partial A} \left ( L\, dx + M\, dy \right )

The integral of the scalar curl of a vector field over some region in the plane equals the line integral of the vector field over the closed curve bounding the region oriented in the counterclockwise direction.

Stokes' theorem

\int\!\!\!\!\int_{\Sigma\,\subset\mathbb R^3} \nabla \times \mathbf{F} \cdot d\mathbf{\Sigma} = \oint_{\partial\Sigma} \mathbf{F} \cdot d \mathbf{r}

The integral of the curl of a vector field over a surface in \mathbb R^3 equals the line integral of the vector field over the closed curve bounding the surface.

Divergence theorem

\int\!\!\!\!\int\!\!\!\!\int_{V\,\subset\mathbb R^3}\left(\nabla\cdot\mathbf{F}\right)d\mathbf{V}=\scriptstyle \partial V\mathbf F\;\cdot{d}\mathbf S

The integral of the divergence of a vector field over some solid equals the integral of the flux through the closed surface bounding the solid.

Applications
Linear approximations
Linear approximations are used to replace complicated functions with linear functions that are almost the same. Given a differentiable function f(x, y) with real values, one can approximate f(x, y) for (x, y) close to (a, b) by the formula

f\left(x,y\right)\approx f\left(a,b\right)+\frac{\partial f}{\partial x}\left(a,b\right)\left(xa\right)+\frac{\partial f}{\partial y}\left(a,b\right)\left(yb\right).
The righthand side is the equation of the plane tangent to the graph of z=f(x, y) at (a, b).
Optimization
For a continuously differentiable function of several real variables, a point P (that is a set of values for the input variables, which is viewed as a point in R^{n}) is critical if all of the partial derivatives of the function are zero at P, or, equivalently, if its gradient is zero. The critical values are the values of the function at the critical points.
If the function is smooth, or, at least twice continuously differentiable, a critical point may be either a local maximum, a local minimum or a saddle point. The different cases may be distinguished by considering the eigenvalues of the Hessian matrix of second derivatives.
By Fermat's theorem, all local maxima and minima of a differentiable function occur at critical points. Therefore, to find the local maxima and minima, it suffices, theoretically, to compute the zeros of the gradient and the eigenvalues of the Hessian matrix at these zeros.
Physics and engineering
Vector calculus is particularly useful in studying:
Generalizations
Different 3manifolds
Vector calculus is initially defined for Euclidean 3space, \mathbb{R}^3, which has additional structure beyond simply being a 3dimensional real vector space, namely: an inner product (the dot product), which gives a notion of length (and hence angle), and an orientation, which gives a notion of lefthanded and righthanded. These structures give rise to a volume form, and also the cross product, which is used pervasively in vector calculus.
The gradient and divergence require only the inner product, while the curl and the cross product also requires the handedness of the coordinate system to be taken into account (see cross product and handedness for more detail).
Vector calculus can be defined on other 3dimensional real vector spaces if they have an inner product (or more generally a symmetric nondegenerate form) and an orientation; note that this is less data than an isomorphism to Euclidean space, as it does not require a set of coordinates (a frame of reference), which reflects the fact that vector calculus is invariant under rotations (the special orthogonal group SO(3)).
More generally, vector calculus can be defined on any 3dimensional oriented Riemannian manifold, or more generally pseudoRiemannian manifold. This structure simply means that the tangent space at each point has an inner product (more generally, a symmetric nondegenerate form) and an orientation, or more globally that there is a symmetric nondegenerate metric tensor and an orientation, and works because vector calculus is defined in terms of tangent vectors at each point.
Other dimensions
Most of the analytic results are easily understood, in a more general form, using the machinery of differential geometry, of which vector calculus forms a subset. Grad and div generalize immediately to other dimensions, as do the gradient theorem, divergence theorem, and Laplacian (yielding harmonic analysis), while curl and cross product do not generalize as directly.
From a general point of view, the various fields in (3dimensional) vector calculus are uniformly seen as being kvector fields: scalar fields are 0vector fields, vector fields are 1vector fields, pseudovector fields are 2vector fields, and pseudoscalar fields are 3vector fields. In higher dimensions there are additional types of fields (scalar/vector/pseudovector/pseudoscalar corresponding to 0/1/n−1/n dimensions, which is exhaustive in dimension 3), so one cannot only work with (pseudo)scalars and (pseudo)vectors.
In any dimension, assuming a nondegenerate form, grad of a scalar function is a vector field, and div of a vector field is a scalar function, but only in dimension 3 and 7 [1] (and, trivially, dimension 0) is the curl of a vector field a vector field, and only in 3 or 7 dimensions can a cross product be defined (generalizations in other dimensionalities either require n1 vectors to yield 1 vector, or are alternative Lie algebras, which are more general antisymmetric bilinear products). The generalization of grad and div, and how curl may be generalized is elaborated at Curl: Generalizations; in brief, the curl of a vector field is a bivector field, which may be interpreted as the special orthogonal Lie algebra of infinitesimal rotations; however, this cannot be identified with a vector field because the dimensions differ  there are 3 dimensions of rotations in 3 dimensions, but 6 dimensions of rotations in 4 dimensions (and more generally \textstyle{\binom{n}{2}=\frac{1}{2}n(n1)} dimensions of rotations in n dimensions).
There are two important alternative generalizations of vector calculus. The first, geometric algebra, uses kvector fields instead of vector fields (in 3 or fewer dimensions, every kvector field can be identified with a scalar function or vector field, but this is not true in higher dimensions). This replaces the cross product, which is specific to 3 dimensions, taking in two vector fields and giving as output a vector field, with the exterior product, which exists in all dimensions and takes in two vector fields, giving as output a bivector (2vector) field. This product yields Clifford algebras as the algebraic structure on vector spaces (with an orientation and nondegenerate form). Geometric algebra is mostly used in generalizations of physics and other applied fields to higher dimensions.
The second generalization uses differential forms (kcovector fields) instead of vector fields or kvector fields, and is widely used in mathematics, particularly in differential geometry, geometric topology, and harmonic analysis, in particular yielding Hodge theory on oriented pseudoRiemannian manifolds. From this point of view, grad, curl, and div correspond to the exterior derivative of 0forms, 1forms, and 2forms, respectively, and the key theorems of vector calculus are all special cases of the general form of Stokes' theorem.
From the point of view of both of these generalizations, vector calculus implicitly identifies mathematically distinct objects, which makes the presentation simpler but the underlying mathematical structure and generalizations less clear. From the point of view of geometric algebra, vector calculus implicitly identifies kvector fields with vector fields or scalar functions: 0vectors and 3vectors with scalars, 1vectors and 2vectors with vectors. From the point of view of differential forms, vector calculus implicitly identifies kforms with scalar fields or vector fields: 0forms and 3forms with scalar fields, 1forms and 2forms with vector fields. Thus for example the curl naturally takes as input a vector field, but naturally has as output a 2vector field or 2form (hence pseudovector field), which is then interpreted as a vector field, rather than directly taking a vector field to a vector field; this is reflected in the curl of a vector field in higher dimensions not having as output a vector field.
See also
Notes

There is also the perp dot product,^{[2]} which is essentially the dot product of two vectors, one vector rotated by π/2 rads, equivalently the magnitude of the cross product:

\bold{v}_1 \bot \cdot\bold{v}_2 = \left  \bold{v}_1 \times \bold{v}_2 \right  = \left  \bold{v}_1 \right  \left  \bold{v}_2 \right  \sin\theta,

where θ is the included angle between v_{1} and v_{2}. It is rarely used, since the dot and cross product both incorporate it.
References

^ Galbis, Antonio & Maestre, Manuel (2012). Vector Analysis Versus Vector Calculus. Springer. p. 12.

^ Weisstein, Eric W. "Perp Dot Product." From MathWorldA Wolfram Web Resource.
External links

Hazewinkel, Michiel, ed. (2001), "Vector analysis",

Hazewinkel, Michiel, ed. (2001), "Vector algebra",

Vector Calculus Video Lectures from University of New South Wales on Academic Earth

A survey of the improper use of ∇ in vector analysis (1994) Tai, Chen

Expanding vector analysis to an oblique coordinate system

Vector Analysis: A Textbook for the Use of Students of Mathematics and Physics, (based upon the lectures of Willard Gibbs) by Edwin Bidwell Wilson, published 1902.

Earliest Known Uses of Some of the Words of Mathematics: Vector Analysis
This article was sourced from Creative Commons AttributionShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, EGovernment Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a nonprofit organization.