Del

From Wikipedia, the free encyclopedia

For other uses, see Del (disambiguation).

∇

Del operator,
represented by
the nabla symbol.

In vector calculus, del is a vector differential operator represented by the nabla symbol: ∇.

Del is a mathematical tool serving primarily as a convention for mathematical notation; it makes many equations easier to comprehend, write, and remember. Depending on the way del is applied, it can describe the gradient (slope), divergence (degree something converges or diverges) or curl. More intuitive descriptions of each of the many operations del performs can be found below.

Mathematically, del can be viewed as the derivative in multi-dimensional space. When used in one dimension, it takes the form of the standard derivative of calculus. As an operator, it acts on vector fields and scalar fields with analogues of traditional multiplication. As with all operators, these analogues should not be confused with traditional multiplication; in particular, del does not commute.

1 Definition
2 Notational uses of del
3 Second derivatives
4 Precautions
5 See also
6 References
7 External links

[edit] Definition

In the three-dimensional Cartesian coordinate system R³ with coordinates (x, y, z), del is defined as

$\nabla = \mathbf{i}{\partial \over \partial x} + \mathbf{j}{\partial \over \partial y} + \mathbf{k}{\partial \over \partial z}$

where (i,j,k) is the standard basis in R³.

Though this page chiefly treats del in three dimensions, this definition can be generalized to the n-dimensional Euclidean space Rⁿ. In the Cartesian coordinate system with coordinates (x₁, x₂, ..., x_n), del is:

$\nabla = \sum_{i=1}^n \vec e_i {\partial \over \partial x_i}$

where $\{ \vec e_i: 1\leq i\leq n\}$ is the standard basis in this space.

More compactly, using the Einstein summation notation, del is written as

$\nabla = \vec e_i \partial_i.$

Del can also be expressed in other coordinate systems, see for example del in cylindrical and spherical coordinates.

[edit] Notational uses of del

Del is used as a shorthand form to simplify many long mathematical expressions. It is most commonly used to simplify expressions for the gradient, divergence, curl, directional derivative, and Laplacian.

[edit] Gradient

The vector derivative of a scalar field f is called the gradient, and it can be represented as:

$\mbox{grad}\,f = {\partial f \over \partial x} \mathbf{i} + {\partial f \over \partial y} \mathbf{j} + {\partial f \over \partial z} \mathbf{k} = \nabla f$

It always points in the direction of greatest increase of f, and it has a magnitude equal to the maximum rate of increase at the point — just like a standard derivative. In particular, if a hill is defined as a height function over a plane h(x,y), the 2d-gradient will be a vector in the xy-plane (sort of like an arrow on a map) pointing in the steepest direction. The magnitude of the gradient is the slope of the hill in that steepest direction.

In particular, this notation is powerful because the gradient product rule looks very similar to the 1d-derivative case:

$\nabla(f g) = f \nabla g + g \nabla f$

[edit] Divergence

The divergence of a vector field v(x,y,z) = v_x i + v_y j + v_z k can be represented as:

$\mbox{div}\,\vec v = {\partial v_x \over \partial x} + {\partial v_y \over \partial y} + {\partial v_z \over \partial z} = \nabla \cdot \vec v$

The divergence is roughly a measure of a vector field's increase in the direction it points; but more accurately a measure of that field's tendency to converge on or repel from a point.

[edit] Curl

The curl of a vector field v(x,y,z) = v_x i + v_y j + v_z k can be represented as:

$\mbox{curl}\;\vec v = \left( {\partial v_z \over \partial y} - {\partial v_y \over \partial z} \right) \mathbf{i} + \left( {\partial v_x \over \partial z} - {\partial v_z \over \partial x} \right) \mathbf{j} + \left( {\partial v_y \over \partial x} - {\partial v_x \over \partial y} \right) \mathbf{k} = \nabla \times \vec v$

The curl at a point is proportional to the on-axis torque a tiny pinwheel would feel if it were centered at that point. It is easy to visualise it as a psuedo-determinant

$\begin{bmatrix} \mathbf{i} & \mathbf{j} & \mathbf{k} \\ \\ {\frac{\partial}{\partial x}} & {\frac{\partial}{\partial y}} & {\frac{\partial}{\partial z}} \\ \\ F_x & F_y & F_z \end{bmatrix}.$

[edit] Directional derivative

The directional derivative of a scalar field f(x,y,z) in the direction a(x,y,z) = a_x i + a_y j + a_z k is defined as:

$\vec{a}\cdot\mbox{grad}\,f = a_x {\partial f \over \partial x} + a_y {\partial f \over \partial y} + a_z {\partial f \over \partial z} = (\vec a \cdot \nabla) f$

This gives the change of a field f in the direction of a. In operator notation, the element in parentheses can be considered a single coherent unit; fluid dynamics uses this convention extensively, terming it the convective derivative — the 'moving' derivative of the fluid.

[edit] Laplacian

The Laplace operator is a scalar operator that can be applied to either vector or scalar fields; it is defined as:

$\Delta = {\partial^2 \over \partial x^2} + {\partial^2 \over \partial y^2} + {\partial^2 \over \partial z^2} = \nabla \cdot \nabla = \nabla^2$

The Laplacian is ubiquitous throughout modern mathematical physics, appearing in the Poisson's equation, the heat equation, the wave equation, and the Schrödinger equation — to name a few.

[edit] Tensor derivative

Del can also be applied to a vector field with the result being a tensor. The tensor derivative of a vector field v is a 9-term second-rank tensor, but can be denoted simply as ∇ ⊗ v , where ⊗ represents the dyadic product.

For a small displacement δr, the change in the vector field is given by:

δv = (∇ ⊗ v)⋅δr

[edit] Second derivatives

When del operates on a scalar or vector, generally a scalar or vector is returned. Because of the diversity of vector products, one application of del already gives rise to three major derivatives -- the divergence, gradient, and curl. Applying these three sorts of derivatives again to each other gives five possible second derivatives, for a scalar field f or a vector field v; the use of the Laplacian gives two more:

$\mbox{div}\,(\mbox{grad}\,f ) = \nabla \cdot (\nabla f)$

$\mbox{curl}\,(\mbox{grad}\,f ) = \nabla \times (\nabla f)$

$\Delta f = \nabla^2 f$

$\mbox{grad}\,(\mbox{div}\, \vec v ) = \nabla (\nabla \cdot \vec v)$

$\mbox{div}\,(\mbox{curl}\,\vec v ) = \nabla \cdot (\nabla \times \vec v)$

$\mbox{curl}\,(\mbox{curl}\,\vec v ) = \nabla \times (\nabla \times \vec v)$

$\Delta \vec v = \nabla^2 \vec v$

These are of interest principally because they are not always unique or independent of each other. As long as the functions are well-behaved, two of them are always zero:

$\mbox{curl}\,(\mbox{grad}\,f ) = \nabla \times (\nabla f) = 0$

$\mbox{div}\,(\mbox{curl}\,\vec v ) = \nabla \cdot \nabla \times \vec{v} = 0.$

Two of them are always equal:

$\mbox{div}\,(\mbox{grad}\,f ) = \nabla \cdot (\nabla f) = \nabla^2 f = \Delta f$

The 3 remaining vector derivatives are related by the equation:

$\nabla \times \nabla \times \vec{v} = \nabla (\nabla \cdot \vec{v}) - \nabla^2 \vec{v}$

And one of them can even be expressed with the tensor product, if the functions are well-behaved:

$\nabla ( \nabla \cdot \vec{v} ) = \nabla \cdot (\nabla \otimes \vec{v})$

[edit] Precautions

Most of the above vector properties (except for those that rely explicitly on del's differential properties — for example, the product rule) rely only on symbol rearrangement, and must necessarily hold if del is replaced by any other vector. This is part of the tremendous value gained in representing this operator as a vector in its own right.

Though you can often replace del with a vector and obtain a vector identity, making those identities intuitive, the reverse is not necessarily reliable, because del does not often commute.

A counterexample that relies on del's failure to commute:

$\vec u \cdot \vec v = \vec v \cdot \vec u$

$\nabla \cdot \vec v \ne \vec v \cdot \nabla$

A counterexample that relies on del's differential properties:

$(\nabla x) \times (\nabla y) = \mathbf{k}$

$(\vec u x )\times (\vec u g) = \mathbf{0}$

Central to these distinctions is the fact that del is not a vector -- it is a vector operator. Whereas a vector is an object with both a precise numerical magnitude and direction, del doesn't have a precise value for either until it is allowed to operate on something.

For that reason, identities involving del must be derived from scratch, not derived from pre-existing vector identities.

[edit] See also

[edit] References

Div, Grad, Curl, and All That, H. M. Schey, ISBN 0-393-96997-5
Jeff Miller, Earliest Uses of Symbols of Calculus (Aug. 30, 2004).
Cleve Moler, ed., "History of Nabla", NA Digest 98 (Jan. 26, 1998).

[edit] External links

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

Retrieved from "http://en.wikipedia.org../../../d/e/l/Del.html"

Categories: Vector calculus | Mathematical notation

Del