Del, or nabla, is an operator used in mathematics, in particular, in vector calculus, as a vector differential operator, usually represented by the nabla symbol ∇. When applied to a function defined on a onedimensional domain, it denotes its standard derivative as defined in calculus. When applied to a field (a function defined on a multidimensional domain), del may denote the gradient (locally steepest slope) of a scalar field (or sometimes of a vector field, as in the Navier–Stokes equations), the divergence of a vector field, or the curl (rotation) of a vector field, depending on the way it is applied.
Strictly speaking, del is not a specific operator, but rather a convenient mathematical notation for those three operators, that makes many equations easier to write and remember. The del symbol can be interpreted as a vector of partial derivative operators, and its three possible meanings—gradient, divergence, and curl—can be formally viewed as the product with a scalar, dot product, and cross product, respectively, of the del "operator" with the field. These formal products do not necessarily commute with other operators or products.
Contents

Definition 1

Notational uses 2

Gradient 2.1

Divergence 2.2

Curl 2.3

Directional derivative 2.4

Laplacian 2.5

Tensor derivative 2.6

Product rules 3

Second derivatives 4

Precautions 5

See also 6

References 7

External links 8
Definition
In the Cartesian coordinate system R^{n} with coordinates (x_1, \dots, x_n) and standard basis \{\vec e_1, \dots, \vec e_n \}, del is defined in terms of partial derivative operators as

\nabla = \left( {\partial \over \partial x_1}, \cdots, {\partial \over \partial x_n} \right) = \sum_{i=1}^n \vec e_i {\partial \over \partial x_i}
In threedimensional Cartesian coordinate system R^{3} with coordinates (x, y, z) and standard basis \{\vec e_x, \vec e_y, \vec e_z \}, del is written as

\nabla = \left( {\partial \over \partial x}, {\partial \over \partial y}, {\partial \over \partial z} \right) = \vec e_x {\partial \over \partial x} + \vec e_y {\partial \over \partial y} + \vec e_z {\partial \over \partial z}
Del can also be expressed in other coordinate systems, see for example del in cylindrical and spherical coordinates.
Notational uses
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.
Gradient
The vector derivative of a scalar field f is called the gradient, and it can be represented as:

\operatorname{grad}f = {\partial f \over \partial x} \vec e_x + {\partial f \over \partial y} \vec e_y + {\partial f \over \partial z} \vec e_z=\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 projection of the gradient at a given location will be a vector in the xyplane (visualizable as an arrow on a map) pointing along the steepest direction. The magnitude of the gradient is the value of this steepest slope.
In particular, this notation is powerful because the gradient product rule looks very similar to the 1dderivative case:

\nabla(f g) = f \nabla g + g \nabla f
However, the rules for dot products do not turn out to be simple, as illustrated by:

\nabla (\vec u \cdot \vec v) = (\vec u \cdot \nabla) \vec v + (\vec v \cdot \nabla) \vec u + \vec u \times (\nabla \times \vec v) + \vec v \times (\nabla \times \vec u)
Divergence
The divergence of a vector field \vec v(x, y, z) = v_x \vec e_x + v_y \vec e_y + v_z \vec e_z is a scalar function that can be represented as:

\operatorname{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, it is a measure of that field's tendency to converge toward or repel from a point.
The power of the del notation is shown by the following product rule:

\nabla \cdot (f \vec v) = f (\nabla \cdot \vec v) + \vec v \cdot (\nabla f)
The formula for the vector product is slightly less intuitive, because this product is not commutative:

\nabla \cdot (\vec u \times \vec v) = \vec v \cdot (\nabla \times \vec u)  \vec u \cdot (\nabla \times \vec v)
Curl
The curl of a vector field \vec v(x, y, z) = v_x\vec e_x + v_y\vec e_y + v_z\vec e_z is a vector function that can be represented as:

\operatorname{curl}\vec v = \left( {\partial v_z \over \partial y}  {\partial v_y \over \partial z} \right) \vec e_x + \left( {\partial v_x \over \partial z}  {\partial v_z \over \partial x} \right) \vec e_y + \left( {\partial v_y \over \partial x}  {\partial v_x \over \partial y} \right) \vec e_z = \nabla \times \vec v
The curl at a point is proportional to the onaxis torque to which a tiny pinwheel would be subjected if it were centered at that point.
The vector product operation can be visualized as a pseudodeterminant:

\nabla \times \vec v = \left\begin{matrix} \vec e_x & \vec e_y & \vec e_z \\[2pt] {\frac{\partial}{\partial x}} & {\frac{\partial}{\partial y}} & {\frac{\partial}{\partial z}} \\[2pt] v_x & v_y & v_z \end{matrix}\right
Again the power of the notation is shown by the product rule:

\nabla \times (f \vec v) = (\nabla f) \times \vec v + f (\nabla \times \vec v)
Unfortunately the rule for the vector product does not turn out to be simple:

\nabla \times (\vec u \times \vec v) = \vec u \, (\nabla \cdot \vec v)  \vec v \, (\nabla \cdot \vec u) + (\vec v \cdot \nabla) \, \vec u  (\vec u \cdot \nabla) \, \vec v
Directional derivative
The directional derivative of a scalar field f(x,y,z) in the direction \vec a(x,y,z) = a_x \vec e_x + a_y \vec e_y + a_z \vec e_z is defined as:

\vec a\cdot\operatorname{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 rate of change of a field f in the direction of \vec 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.
Note that (\vec a \cdot \nabla) is a scalar. When operating on a vector it must be distributed to each component.
Laplacian
The Laplace operator is a scalar operator that can be applied to either vector or scalar fields; for cartesian coordinate systems 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
and the definition for more general coordinate systems is given in Vector Laplacian.
The Laplacian is ubiquitous throughout modern mathematical physics, appearing in Laplace's equation, Poisson's equation, the heat equation, the wave equation, and the Schrödinger equation—to name a few.
Tensor derivative
Del can also be applied to a vector field with the result being a tensor. The tensor derivative of a vector field \vec{v} is a 9term secondrank tensor (that is, a 3×3 matrix), but can be denoted simply as \nabla \otimes \vec{v}, where \otimes represents the dyadic product. This quantity is equivalent to the transpose of the Jacobian matrix of the vector field with respect to space.
For a small displacement \delta \vec{r}, the change in the vector field is given by:

\delta \vec{v} = (\nabla \otimes \vec{v}) \sdot \delta \vec{r}
Product rules

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

\nabla(\vec u \cdot \vec v) = \vec u \times (\nabla \times \vec v) + \vec v \times (\nabla \times \vec u) + ( \vec u \cdot \nabla) \vec v + (\vec v \cdot \nabla )\vec u

\nabla \cdot (f \vec v) = f (\nabla \cdot \vec v) + \vec v \cdot (\nabla f)

\nabla \cdot (\vec u \times \vec v) = \vec v \cdot (\nabla \times \vec u)  \vec u \cdot (\nabla \times \vec v )

\nabla \times (f \vec v) = (\nabla f) \times \vec v + f (\nabla \times \vec v)

\nabla \times (\vec u \times \vec v) = \vec u \, (\nabla \cdot \vec v)  \vec v \, (\nabla \cdot \vec u) + (\vec v \cdot \nabla) \, \vec u  (\vec u \cdot \nabla) \, \vec v
Second derivatives
DCG chart: A simple chart depicting all rules pertaining to second derivatives. D, C, G, L and CC stand for divergence, curl, gradient, Laplacian and curl of curl, respectively. Arrows indicate existence of second derivatives. Blue circle in the middle represents curl of curl, whereas the other two red circles (dashed) mean that DD and GG do not exist.
When del operates on a scalar or vector, either a scalar or vector is returned. Because of the diversity of vector products (scalar, dot, cross) one application of del already gives rise to three major derivatives: the gradient (scalar product), divergence (dot product), and curl (cross product). 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 scalar Laplacian and vector Laplacian gives two more:

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

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

\Delta f = \nabla^2 f

\operatorname{grad}(\operatorname{div}\vec v ) = \nabla (\nabla \cdot \vec v)

\operatorname{div}(\operatorname{curl}\vec v ) = \nabla \cdot (\nabla \times \vec v)

\operatorname{curl}(\operatorname{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 wellbehaved, two of them are always zero:

\operatorname{curl}(\operatorname{grad}f ) = \nabla \times (\nabla f) = 0

\operatorname{div}(\operatorname{curl}\vec v ) = \nabla \cdot \nabla \times \vec v = 0
Two of them are always equal:

\operatorname{div}(\operatorname{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 wellbehaved:

\nabla ( \nabla \cdot \vec v) = \nabla \cdot (\nabla \otimes \vec v)
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 the del symbol is replaced by any other vector. This is part of the value to be gained in notationally representing this operator as a vector.
Though one can often replace del with a vector and obtain a vector identity, making those identities mnemonic, the reverse is not necessarily reliable, because del does not commute in general.
A counterexample that relies on del's failure to commute:

(\vec u \cdot \vec v) f = (\vec v \cdot \vec u) f

(\nabla \cdot \vec v) f \ne (\vec v \cdot \nabla) f

(\nabla \cdot \vec v) f = \left (\frac{\part v_x}{\part x}+\frac{\part v_y}{\part y}+\frac{\part v_z}{\part z} \right )f = \frac{\part v_x}{\part x}f+\frac{\part v_y}{\part y}f+\frac{\part v_z}{\part z}f

(\vec v \cdot \nabla) f = \left (v_x \frac{\part}{\part x}+v_y \frac{\part}{\part y}+v_z \frac{\part}{\part z} \right )f = v_x \frac{\part f}{\part x}+v_y \frac{\part f}{\part y}+v_z \frac{\part f}{\part z}
A counterexample that relies on del's differential properties:

\begin{align} (\nabla x) \times (\nabla y) &= \left (\vec e_x \frac{\part x}{\part x}+\vec e_y \frac{\part x}{\part y}+\vec e_z \frac{\part x}{\part z} \right ) \times \left (\vec e_x \frac{\part y}{\part x}+\vec e_y \frac{\part y}{\part y}+\vec e_z \frac{\part y}{\part z} \right ) \\ & = (\vec e_x \cdot 1 +\vec e_y \cdot 0+\vec e_z \cdot 0) \times (\vec e_x \cdot 0+\vec e_y \cdot 1+\vec e_z \cdot 0) \\ & = \vec e_x \times \vec e_y \\ & = \vec e_z \\ \end{align}

(\vec u x )\times (\vec u y) = x y (\vec u \times \vec u) = x y \vec 0 = \vec 0
Central to these distinctions is the fact that del is not simply a vector; it is a vector operator. Whereas a vector is an object with both a magnitude and direction, del has neither a magnitude nor a direction until it operates on a function.
For that reason, identities involving del must be derived with care, using both vector identities and differentiation identities such as the product rule.
See also
References

Willard Gibbs & Edwin Bidwell Wilson (1901) Vector Analysis, Yale University Press, 1960: Dover Publications.

Schey, H. M. (1997). Div, Grad, Curl, and All That: An Informal Text on Vector Calculus. New York: Norton.

Miller, Jeff. "Earliest Uses of Symbols of Calculus".

Arnold Neumaier (January 26, 1998). Cleve Moler, ed. "History of Nabla". NA Digest, Volume 98, Issue 03. netlib.org.
External links

A survey of the improper use of ∇ in vector analysis (1994) Tai, Chen
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.