One of the fundamental concepts in vector analysis for the study of scalar fields is the gradient. A scalar field is said to be differentiable at a point of a domain if the increment of the field, , at may be written as
where is the vector connecting the points and , is the distance between and and is a linear form applied to the vector . The linear form may be uniquely represented as
where is a vector which does not depend on (i.e. on the choice of ). The vector is said to be the gradient of the scalar field and is denoted by the symbol . If the scalar field is differentiable at every point of some domain, is a vector field. The direction of the gradient is always orthogonal to the level lines (surfaces) of the scalar field , with the directional derivative given by
The concepts of divergence and curl are also employed in the study of vector fields. Let a vector field be differentiable at a point of a certain domain , i.e. the field increment at the point can be uniquely represented as
where and is a linear operator which is independent of (of the choice of ). The divergence of the vector field is the following scalar invariant of the linear operator :
where are dual bases: ( is the Kronecker symbol). If is the velocity field of a stationary flow of a non-compressible liquid, at the point denotes the intensity of the source () or of the sink () present at , or their absence ().
The curl (rotor) of the vector field on a domain in is the following vector invariant of the linear operator from (*):
where are dual bases. The curl of a vector field may be interpreted as the "rotational component" of this field.
For vector and scalar fields of class repeated operations are possible, for example:
where is the Laplace operator.
Gradient, divergence and curl together are usually known as the basic differential operations of vector analysis. See Curl; Gradient; Divergence for their properties and expressions in special coordinate systems.
Fundamental integral formulas, connecting volume, surface and contour integrals, can be written down in terms of the basic operations of vector analysis. Let a vector field be continuously differentiable in a bounded connected domain with piecewise-smooth boundary .
Let be a bounded, complete, piecewise-smooth, two-sided (oriented) surface with piecewise-smooth boundary . Then the Stokes formula will be applicable:
where the vector normal to and the vector tangent to must be determined in accordance with the orientations of the surface and its boundary . The integral is known as the circulation of along . If the circulation of a vector field along an arbitrary closed piecewise-smooth curve in a given domain is zero, the vector field is said to be potential (or conservative) in this domain. In a simply-connected domain a vector field is conservative if . For a conservative vector field there exists the so-called scalar potential, which is a function such that ; here
where the points , is a piecewise-smooth curve in , is the unit vector tangent to , and is the line element of .
Let the vector field be continuously differentiable in a bounded connected domain with piecewise-smooth boundary ; the Ostrogradski formula reads as follows:
where is the exterior normal vector to .
The integral is said to be the flux of across . If the flux of a vector field across an arbitrary, piecewise-smooth, non-self-intersecting, oriented surface in which is the boundary of some bounded subdomain of is zero, the vector field is said to be solenoidal in . For a continuously-differentiable vector field to be solenoidal it is necessary and sufficient that at all points of . For a solenoidal vector field there exists a so-called vector potential: a function such that
If the divergence and the curl of a vector field are defined at each point of a simply-connected domain , the vector field can be represented everywhere in as the sum of a potential field and a solenoidal field (Helmholtz' theorem):
Vector fields for which and are called harmonic. The potential of a harmonic vector field satisfies the Laplace equation. The scalar field is also said to be harmonic. For references, see Vector calculus.
Ostrogradski's formula is commonly called Gauss' formula.
The condition is necessary for a vector field to be solenoidal. It is sufficient on, for example, convex domains. The general additional condition is that the second homology of the domain vanishes. This can easily be seen from the de Rham cohomology theory. There are examples of vector fields on -space with one point removed which have vanishing divergence, but are not solenoidal.
The notions of gradient, divergence, Laplace operator, flux of a vector field, and the given integral formulas can easily be extended to higher-dimensional Euclidean spaces and Riemannian manifolds, and all other notions can be extended to Riemannian -manifolds.
In this context, the given integral formulas appear in a unified way as Stokes' formula, saying that the integral of a -form over the piecewise-regular boundary of a smooth orientable -submanifold is equal to the integral of its exterior differential over the submanifold itself.
|[a1]||A. Marsden, "Calculus" , 3 , Springer (1988)|
|[a2]||N.J. Hicks, "Notes on differential geometry" , v. Nostrand (1965)|
Vector analysis. A.B. Ivanov (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Vector_analysis&oldid=16895