Vector field

Last updated
A portion of the vector field (sin y, sin x) VectorField.svg
A portion of the vector field (sin y, sin x)

In vector calculus and physics, a vector field is an assignment of a vector to each point in a subset of space. [1] For instance, a vector field in the plane can be visualised 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 one point to another point.

Contents

The elements of differential and integral calculus extend naturally to vector fields. When a vector field represents force, the line integral of a vector field represents the work done by a force moving along a path, and under this interpretation conservation of energy is exhibited as a special case of the fundamental theorem of calculus. Vector fields can usefully be thought of as representing the velocity of a moving flow in space, and this physical intuition leads to notions such as the divergence (which represents the rate of change of volume of a flow) and curl (which represents the rotation of a flow).

In coordinates, a vector field on a domain in n-dimensional Euclidean space can be represented as a vector-valued function that associates an n-tuple of real numbers to each point of the domain. This representation of a vector field depends on the coordinate system, and there is a well-defined transformation law in passing from one coordinate system to the other. Vector fields are often discussed on open subsets of Euclidean space, but also make sense on other subsets such as surfaces, where they associate an arrow tangent to the surface at each point (a tangent vector).

More generally, vector fields are defined on differentiable manifolds, which are spaces that look like Euclidean space on small scales, but may have more complicated structure on larger scales. In this setting, a vector field gives a tangent vector at each point of the manifold (that is, a section of the tangent bundle to the manifold). Vector fields are one kind of tensor field.

Definition

Vector fields on subsets of Euclidean space

Radial vector field sparse.svg
Radial vector field dense.svg
Two representations of the same vector field: v(x, y) = −r. The arrows depict the field at discrete points, however, the field exists everywhere.

Given a subset S in Rn, a vector field is represented by a vector-valued function V: SRn in standard Cartesian coordinates (x1, …, xn). If each component of V is continuous, then V is a continuous vector field, and more generally V is a Ck vector field if each component of V is k times continuously differentiable.

A vector field can be visualized as assigning a vector to individual points within an n-dimensional space. [1]

Given two Ck-vector fields V, W defined on S and a real-valued Ck-function f defined on S, the two operations scalar multiplication and vector addition

define the module of Ck-vector fields over the ring of Ck-functions where the multiplication of the functions is defined pointwise (therefore, it is commutative with the multiplicative identity being fid(p) := 1).

Coordinate transformation law

In physics, a vector is additionally distinguished by how its coordinates change when one measures the same vector with respect to a different background coordinate system. The transformation properties of vectors distinguish a vector as a geometrically distinct entity from a simple list of scalars, or from a covector.

Thus, suppose that (x1,...,xn) is a choice of Cartesian coordinates, in terms of which the components of the vector V are

and suppose that (y1,...,yn) are n functions of the xi defining a different coordinate system. Then the components of the vector V in the new coordinates are required to satisfy the transformation law

 

 

 

 

(1)

Such a transformation law is called contravariant. A similar transformation law characterizes vector fields in physics: specifically, a vector field is a specification of n functions in each coordinate system subject to the transformation law ( 1 ) relating the different coordinate systems.

Vector fields are thus contrasted with scalar fields, which associate a number or scalar to every point in space, and are also contrasted with simple lists of scalar fields, which do not transform under coordinate changes.

Vector fields on manifolds

A vector field on a sphere Vector sphere.svg
A vector field on a sphere

Given a differentiable manifold , a vector field on is an assignment of a tangent vector to each point in . [2] More precisely, a vector field is a mapping from into the tangent bundle so that is the identity mapping where denotes the projection from to . In other words, a vector field is a section of the tangent bundle.

An alternative definition: A smooth vector field on a manifold is a linear map such that is a derivation: for all . [3]

If the manifold is smooth or analytic—that is, the change of coordinates is smooth (analytic)—then one can make sense of the notion of smooth (analytic) vector fields. The collection of all smooth vector fields on a smooth manifold is often denoted by or (especially when thinking of vector fields as sections); the collection of all smooth vector fields is also denoted by (a fraktur "X").

Examples

The flow field around an airplane is a vector field in R , here visualized by bubbles that follow the streamlines showing a wingtip vortex. Cessna 182 model-wingtip-vortex.jpg
The flow field around an airplane is a vector field in R , here visualized by bubbles that follow the streamlines showing a wingtip vortex.
Vector fields are commonly used to create patterns in computer graphics. Here: abstract composition of curves following a vector field generated with OpenSimplex noise. Bezier curves composition ray-traced in 3D.png
Vector fields are commonly used to create patterns in computer graphics. Here: abstract composition of curves following a vector field generated with OpenSimplex noise.

Gradient field in euclidean spaces

A vector field that has circulation about a point cannot be written as the gradient of a function. Irrotationalfield.svg
A vector field that has circulation about a point cannot be written as the gradient of a function.

Vector fields can be constructed out of scalar fields using the gradient operator (denoted by the del: ∇). [4]

A vector field V defined on an open set S is called a gradient field or a conservative field if there exists a real-valued function (a scalar field) f on S such that

The associated flow is called the gradient flow, and is used in the method of gradient descent.

The path integral along any closed curve γ (γ(0) = γ(1)) in a conservative field is zero:

Central field in euclidean spaces

A C-vector field over Rn \ {0} is called a central field if

where O(n, R) is the orthogonal group. We say central fields are invariant under orthogonal transformations around 0.

The point 0 is called the center of the field.

Since orthogonal transformations are actually rotations and reflections, the invariance conditions mean that vectors of a central field are always directed towards, or away from, 0; this is an alternate (and simpler) definition. A central field is always a gradient field, since defining it on one semiaxis and integrating gives an antigradient.

Operations on vector fields

Line integral

A common technique in physics is to integrate a vector field along a curve, also called determining its line integral. Intuitively this is summing up all vector components in line with the tangents to the curve, expressed as their scalar products. For example, given a particle in a force field (e.g. gravitation), where each vector at some point in space represents the force acting there on the particle, the line integral along a certain path is the work done on the particle, when it travels along this path. Intuitively, it is the sum of the scalar products of the force vector and the small tangent vector in each point along the curve.

The line integral is constructed analogously to the Riemann integral and it exists if the curve is rectifiable (has finite length) and the vector field is continuous.

Given a vector field V and a curve γ, parametrized by t in [a, b] (where a and b are real numbers), the line integral is defined as

Divergence

The divergence of a vector field on Euclidean space is a function (or scalar field). In three-dimensions, the divergence is defined by

with the obvious generalization to arbitrary dimensions. The divergence at a point represents the degree to which a small volume around the point is a source or a sink for the vector flow, a result which is made precise by the divergence theorem.

The divergence can also be defined on a Riemannian manifold, that is, a manifold with a Riemannian metric that measures the length of vectors.

Curl in three dimensions

The curl is an operation which takes a vector field and produces another vector field. The curl is defined only in three dimensions, but some properties of the curl can be captured in higher dimensions with the exterior derivative. In three dimensions, it is defined by

The curl measures the density of the angular momentum of the vector flow at a point, that is, the amount to which the flow circulates around a fixed axis. This intuitive description is made precise by Stokes' theorem.

Index of a vector field

The index of a vector field is an integer that helps to describe the behaviour of a vector field around an isolated zero (i.e., an isolated singularity of the field). In the plane, the index takes the value -1 at a saddle singularity but +1 at a source or sink singularity.

Let the dimension of the manifold on which the vector field is defined be n. Take a small sphere S around the zero so that no other zeros lie in the interior of S. A map from this sphere to a unit sphere of dimensions n  1 can be constructed by dividing each vector on this sphere by its length to form a unit length vector, which is a point on the unit sphere Sn-1. This defines a continuous map from S to Sn-1. The index of the vector field at the point is the degree of this map. It can be shown that this integer does not depend on the choice of S, and therefore depends only on the vector field itself.

The index of the vector field as a whole is defined when it has just a finite number of zeroes. In this case, all zeroes are isolated, and the index of the vector field is defined to be the sum of the indices at all zeroes.

The index is not defined at any non-singular point (i.e., a point where the vector is non-zero). it is equal to +1 around a source, and more generally equal to (−1)k around a saddle that has k contracting dimensions and n-k expanding dimensions. For an ordinary (2-dimensional) sphere in three-dimensional space, it can be shown that the index of any vector field on the sphere must be 2. This shows that every such vector field must have a zero. This implies the hairy ball theorem, which states that if a vector in R3 is assigned to each point of the unit sphere S2 in a continuous manner, then it is impossible to "comb the hairs flat", i.e., to choose the vectors in a continuous way such that they are all non-zero and tangent to S2.

For a vector field on a compact manifold with a finite number of zeroes, the Poincaré-Hopf theorem states that the index of the vector field is equal to the Euler characteristic of the manifold.

Physical intuition

Magnetic field lines of an iron bar (magnetic dipole) Magnet0873.png
Magnetic field lines of an iron bar (magnetic dipole)

Michael Faraday, in his concept of lines of force, emphasized that the field itself should be an object of study, which it has become throughout physics in the form of field theory.

In addition to the magnetic field, other phenomena that were modeled by Faraday include the electrical field and light field.

Flow curves

Consider the flow of a fluid through a region of space. At any given time, any point of the fluid has a particular velocity associated with it; thus there is a vector field associated to any flow. The converse is also true: it is possible to associate a flow to a vector field having that vector field as its velocity.

Given a vector field V defined on S, one defines curves γ(t) on S such that for each t in an interval I

By the Picard–Lindelöf theorem, if V is Lipschitz continuous there is a uniqueC1-curve γx for each point x in S so that, for some ε > 0,

The curves γx are called integral curves or trajectories (or less commonly, flow lines) of the vector field V and partition S into equivalence classes. It is not always possible to extend the interval (−ε, +ε) to the whole real number line. The flow may for example reach the edge of S in a finite time. In two or three dimensions one can visualize the vector field as giving rise to a flow on S. If we drop a particle into this flow at a point p it will move along the curve γp in the flow depending on the initial point p. If p is a stationary point of V (i.e., the vector field is equal to the zero vector at the point p), then the particle will remain at p.

Typical applications are pathline in fluid, geodesic flow, and one-parameter subgroups and the exponential map in Lie groups.

Complete vector fields

By definition, a vector field is called complete if every one of its flow curves exist for all time. [5] In particular, compactly supported vector fields on a manifold are complete. If is a complete vector field on , then the one-parameter group of diffeomorphisms generated by the flow along exists for all time. On a compact manifold without boundary, every smooth vector field is complete. An example of an incomplete vector field on the real line is given by . For, the differential equation , with initial condition , has as its unique solution if (and for all if ). Hence for , is undefined at so cannot be defined for all values of .

f-relatedness

Given a smooth function between manifolds, f : MN, the derivative is an induced map on tangent bundles, f* : TMTN. Given vector fields V : MTM and W : NTN, we say that W is f-related to V if the equation Wf = fV holds.

If Vi is f-related to Wi, i = 1, 2, then the Lie bracket [V1, V2] is f-related to [W1, W2].

Generalizations

Replacing vectors by p-vectors (pth exterior power of vectors) yields p-vector fields; taking the dual space and exterior powers yields differential k-forms, and combining these yields general tensor fields.

Algebraically, vector fields can be characterized as derivations of the algebra of smooth functions on the manifold, which leads to defining a vector field on a commutative algebra as a derivation on the algebra, which is developed in the theory of differential calculus over commutative algebras.

See also

Related Research Articles

Gradient Multi-variable generalization of the derivative of a function

In vector calculus, the gradient of a scalar-valued differentiable function f of several variables is the vector field whose value at a point is the vector whose components are the partial derivatives of at . That is, for , its gradient is defined at the point in n-dimensional space as the vector:

In mathematics, the tangent space of a manifold facilitates the generalization of vectors from affine spaces to general manifolds, since in the latter case one cannot simply subtract two points to obtain a vector that gives the displacement of the one point from the other.

Curvature Measure of the property of a curve or a surface to be "bended"

In mathematics, curvature is any of several strongly related concepts in geometry. Intuitively, the curvature is the amount by which a curve deviates from being a straight line, or a surface deviates from being a plane.

In geometry, a geodesic is commonly a curve representing in some sense the shortest path (arc) between two points in a surface, or more generally in a Riemannian manifold. The term also has meaning in any differentiable manifold with a connection. It is a generalization of the notion of a "straight line" to a more general setting.

In the mathematical field of differential geometry, one definition of a metric tensor is a type of function which takes as input a pair of tangent vectors v and w at a point of a surface and produces a real number scalar g(v, w) in a way that generalizes many of the familiar properties of the dot product of vectors in Euclidean space. In the same way as a dot product, metric tensors are used to define the length of and angle between tangent vectors. Through integration, the metric tensor allows one to define and compute the length of curves on the manifold.

In mathematics, particularly differential geometry, a Finsler manifold is a differentiable manifold M where a Minkowski functionalF(x, −) is provided on each tangent space TxM, that enables one to define the length of any smooth curve γ : [a, b] → M as

In mathematics, the covariant derivative is a way of specifying a derivative along tangent vectors of a manifold. Alternatively, the covariant derivative is a way of introducing and working with a connection on a manifold by means of a differential operator, to be contrasted with the approach given by a principal connection on the frame bundle – see affine connection. In the special case of a manifold isometrically embedded into a higher-dimensional Euclidean space, the covariant derivative can be viewed as the orthogonal projection of the Euclidean directional derivative onto the manifold's tangent space. In this case the Euclidean derivative is broken into two parts, the extrinsic normal component and the intrinsic covariant derivative component.

Scalar potential

Scalar potential, simply stated, describes the situation where the difference in the potential energies of an object in two different positions depends only on the positions, not upon the path taken by the object in traveling from one position to the other. It is a scalar field in three-space: a directionless value (scalar) that depends only on its location. A familiar example is potential energy due to gravity.

Affine connection Construct allowing differentiation of tangent vector fields of manifolds

In differential geometry, an affine connection is a geometric object on a smooth manifold which connects nearby tangent spaces, so it permits tangent vector fields to be differentiated as if they were functions on the manifold with values in a fixed vector space. Connections are among the simplest methods of defining differentiation of the sections of vector bundles.

Curvilinear coordinates Coordinate system whose directions vary in space

In geometry, curvilinear coordinates are a coordinate system for Euclidean space in which the coordinate lines may be curved. These coordinates may be derived from a set of Cartesian coordinates by using a transformation that is locally invertible at each point. This means that one can convert a point given in a Cartesian coordinate system to its curvilinear coordinates and back. The name curvilinear coordinates, coined by the French mathematician Lamé, derives from the fact that the coordinate surfaces of the curvilinear systems are curved.

In mathematics and physics, the Christoffel symbols are an array of numbers describing a metric connection. The metric connection is a specialization of the affine connection to surfaces or other manifolds endowed with a metric, allowing distances to be measured on that surface. In differential geometry, an affine connection can be defined without reference to a metric, and many additional concepts follow: parallel transport, covariant derivatives, geodesics, etc. also do not require the concept of a metric. However, when a metric is available, these concepts can be directly tied to the "shape" of the manifold itself; that shape is determined by how the tangent space is attached to the cotangent space by the metric tensor. Abstractly, one would say that the manifold has an associated (orthonormal) frame bundle, with each "frame" being a possible choice of a coordinate frame. An invariant metric implies that the structure group of the frame bundle is the orthogonal group O(p, q). As a result, such a manifold is necessarily a (pseudo-)Riemannian manifold. The Christoffel symbols provide a concrete representation of the connection of (pseudo-)Riemannian geometry in terms of coordinates on the manifold. Additional concepts, such as parallel transport, geodesics, etc. can then be expressed in terms of Christoffel symbols.

In differential geometry, the four-gradient is the four-vector analogue of the gradient from vector calculus.

Mathematics of general relativity Mathematical structures and techniques used in the theory of general relativity

The mathematics of general relativity refers to various mathematical structures and techniques that are used in studying and formulating Albert Einstein's theory of general relativity. The main tools used in this geometrical theory of gravitation are tensor fields defined on a Lorentzian manifold representing spacetime. This article is a general description of the mathematics of general relativity.

Differentiable manifold Manifold upon which it is possible to perform calculus

In mathematics, a differentiable manifold is a type of manifold that is locally similar enough to a linear space to allow one to do calculus. Any manifold can be described by a collection of charts, also known as an atlas. One may then apply ideas from calculus while working within the individual charts, since each chart lies within a linear space to which the usual rules of calculus apply. If the charts are suitably compatible, then computations done in one chart are valid in any other differentiable chart.

Torsion tensor (1,2)-tensor field associated to an affine connection; characterizes "twist" of geodesics; if nonzero, geodesics will be helices

In differential geometry, the notion of torsion is a manner of characterizing a twist or screw of a moving frame around a curve. The torsion of a curve, as it appears in the Frenet–Serret formulas, for instance, quantifies the twist of a curve about its tangent vector as the curve evolves. In the geometry of surfaces, the geodesic torsion describes how a surface twists about a curve on the surface. The companion notion of curvature measures how moving frames "roll" along a curve "without twisting".

The gradient theorem, also known as the fundamental theorem of calculus for line integrals, says that a line integral through a gradient field can be evaluated by evaluating the original scalar field at the endpoints of the curve. The theorem is a generalization of the fundamental theorem of calculus to any curve in a plane or space rather than just the real line.

In mathematics, the geodesic equations are second-order non-linear differential equations, and are commonly presented in the form of Euler–Lagrange equations of motion. However, they can also be presented as a set of coupled first-order equations, in the form of Hamilton's equations. This latter formulation is developed in this article.

Mathematical descriptions of the electromagnetic field Formulations of electromagnetism

There are various mathematical descriptions of the electromagnetic field that are used in the study of electromagnetism, one of the four fundamental interactions of nature. In this article, several approaches are discussed, although the equations are in terms of electric and magnetic fields, potentials, and charges with currents, generally speaking.

Differential geometry of surfaces

In mathematics, the differential geometry of surfaces deals with the differential geometry of smooth surfaces with various additional structures, most often, a Riemannian metric. Surfaces have been extensively studied from various perspectives: extrinsically, relating to their embedding in Euclidean space and intrinsically, reflecting their properties determined solely by the distance within the surface as measured along curves on the surface. One of the fundamental concepts investigated is the Gaussian curvature, first studied in depth by Carl Friedrich Gauss, who showed that curvature was an intrinsic property of a surface, independent of its isometric embedding in Euclidean space.

In mathematics, a line integral is an integral where the function to be integrated is evaluated along a curve. The terms path integral, curve integral, and curvilinear integral are also used; contour integral is used as well, although that is typically reserved for line integrals in the complex plane.

References

  1. 1 2 Galbis, Antonio & Maestre, Manuel (2012). Vector Analysis Versus Vector Calculus. Springer. p. 12. ISBN   978-1-4614-2199-3.CS1 maint: uses authors parameter (link)
  2. Tu, Loring W. (2010). "Vector fields". An Introduction to Manifolds. Springer. p. 149. ISBN   978-1-4419-7399-3.
  3. Lerman, Eugene (August 19, 2011). "An Introduction to Differential Geometry" (PDF). Definition 3.23.
  4. Dawber, P.G. (1987). Vectors and Vector Operators. CRC Press. p. 29. ISBN   978-0-85274-585-4.
  5. Sharpe, R. (1997). Differential geometry. Springer-Verlag. ISBN   0-387-94732-9.

Bibliography

Commons-logo.svg Media related to Vector fields at Wikimedia Commons