|
|
|
|
|
Let $x,y,z$ be a system of Cartesian coordinates on $3$ -dimensional Euclidean space, and let $\vi, \vj, \vk$ be the corresponding basis of unit vectors. The divergence of a continuously differentiable vector field $$\vF = F^1\vi+F^2\vj+F^3\vk,$$ is defined to be the function $$\vdiv\vF= \frac{\partial F^1}{\partial x}+ \frac{\partial F^2}{\partial y}+ \frac{\partial F^3}{\partial z}.$$ Another common notation for the divergence is $\vnabla\cdot\vF$ (see gradient), a convenient mnemonic.
In physical terms, the divergence of a vector field is the extent to which the vector field flow behaves like a source or a sink at a given point. Indeed, an alternative, but logically equivalent definition, gives the divergence as the derivative of the net flow of the vector field across the surface of a small sphere relative to the surface area of the sphere. To wit, $$(\vdiv \vF)(p)= \lim_{r\rightarrow 0} \int_{S} \!\!(\vF \cdot \vN)dS\;/\left(4 \pi r^2\right), $$ where $S$ denotes the sphere of radius $r$ about a point $p\in\reals^3$ , and the integral is a surface integral taken with respect to $\vN$ , the normal to that sphere.
The non-infinitesimal interpretation of divergence is given by Gauss's Theorem. This theorem is a conservation law, stating that the volume total of all sinks and sources, i.e. the volume integral of the divergence, is equal to the net flow across the volume's boundary. In symbols, $$\int_V \vdiv \vF \, dV = \int_S (\vF\cdot \vN)\, dS,$$ where $V\subset\reals^3$ is a compact region with a smooth boundary, and $S=\partial V$ is that boundary oriented by outward-pointing normals. We note that Gauss's theorem follows from the more general Stokes' Theorem, which itself generalizes the fundamental theorem of calculus.
In light of the physical interpretation, a vector field with constant zero divergence is called incompressible - in this case, no net flow can occur across any closed surface.
The notion of divergence has meaning in the more general setting of Riemannian geometry. To that end, let $\bV$ be a vector field on a Riemannian manifold. The covariant derivative of $\bV$ is a type $(1,1)$ tensor field. We define the divergence of $\bV$ to be the
trace of that field. In terms of coordinates (see tensor and Einstein summation convention), we have $$\vdiv \bV = V^i{}_{;i} \ .$$
|
"divergence" is owned by rmilson. [ full author list (3) | owner history (1) ]
|
|
(view preamble | get metadata)
Cross-references: Einstein summation convention, coordinates, terms, trace, field, tensor, type, covariant derivative, Riemannian manifold, geometry, fundamental theorem of calculus, general Stokes theorem, oriented, smooth, region, compact, boundary, volume, theorem, interpretation, normal, integral, radius, surface area, sphere, surface, net, derivative, logically equivalent, point, sink, source, flow, mnemonic, gradient, function, vector field, continuously differentiable, unit vectors, basis, Euclidean space, Cartesian coordinates
There are 28 references to this entry.
This is version 8 of divergence, born on 2002-08-05, modified 2009-01-29.
Object id is 3271, canonical name is Divergence.
Accessed 41457 times total.
Classification:
| AMS MSC: | 26B12 (Real functions :: Functions of several variables :: Calculus of vector functions) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
