Del
From Free net encyclopedia
- For other uses, see Del (disambiguation).
In vector calculus, del is a vector differential operator represented by the nabla symbol, ∇.
In the three-dimensional Cartesian coordinate system R3 with coordinates (x, y, z), del can be defined as
- <math>\nabla = \begin{pmatrix}
{\partial \over \partial x}, {\partial \over \partial y}, {\partial \over \partial z} \end{pmatrix}</math>
or alternatively,
- <math>\nabla = \mathbf{i}{\partial \over \partial x} + \mathbf{j}{\partial \over \partial y} + \mathbf{k}{\partial \over \partial z}</math>
where <math>(\mathbf{i}, \mathbf{j}, \mathbf{k})</math> is the standard basis in R3.
The del operator can be generalized to the n-dimensional Euclidean space Rn. In the Cartesian coordinate system with coordinates (x1, x2, ..., xn), del is:
- <math> \nabla = \sum_{i=1}^n \vec e_i {\partial \over \partial x_i}</math>
where <math>\{ e_i: 1\leq i\leq n\}</math> is the standard basis in this space.
More compactly, and using the Einstein summation notation del is written as
- <math> \nabla = \hat e_i \partial_i. </math>
Del can also be expressed in other coordinate systems, see for example nabla in cylindrical and spherical coordinates.
Contents |
Uses of del
Intuitively, del can be described as the general form of the derivative in multiple dimensions. When used in one dimension, it takes the form of the standard derivative in calculus.
The vector derivative of a scalar field f is called the gradient, and it equals
- <math> \nabla f=\left({\partial f \over \partial x}, {\partial f \over \partial y}, {\partial f \over \partial z}\right).</math>
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.
Del can also be applied to a vector field, with the result being a tensor. The tensor derivative of a vector field <math>v</math> is <math> \nabla \otimes v</math> where <math>\otimes</math> represents the dyadic product.
One may also take the dot product and cross product of del with a vector field, <math>\vec{v}=(v_1, v_2, v_3)</math> when one obtains the divergence and curl, given respectively by the formulas
- <math>\nabla \cdot \vec{v} = {\partial v_1 \over \partial x} + {\partial v_2 \over \partial y} + {\partial v_3 \over \partial z}</math>
and
- <math>\nabla \times \vec{v}=\left(
{\frac{\partial v_3}{\partial y}} - {\frac{\partial v_2}{\partial z}}, {\frac{\partial v_1}{\partial z}} - {\frac{\partial v_3}{\partial x}}, {\frac{\partial v_2}{\partial x}} - {\frac{\partial v_1}{\partial y}} \right)</math>
Divergence is, briefly, a measure of "spreadiness" — it tells one how much vectors increase in whatever direction they travel. Curl is a measure of "spinniness" — it tells one how a field, if it were a force field, would spin a pinwheel.
Another useful operator involving del is the Laplacian, <math>\Delta=\nabla^2.</math>
Del and second derivatives
For a scalar field f, the first derivative is, again, <math>\nabla f</math>, which is a vector. There is really only one field to form.
For vectors, there are three primary modes of multiplication — cross products, dot products, and dyadic products. Hence, there are three possible second derivatives for a scalar field. While there are three possible first derivatives for a vector field, one of these is a scalar, one a vector, and one a tensor. Since the cross product is not well defined on tensors, we get 1 + 3 + 2 = 6 second derivatives for a vector field:
For a scalar field <math>f</math> | ||
<math>\nabla \cdot \nabla f</math> | <math>\nabla \times \nabla f</math> | <math>\nabla \otimes \nabla f</math> |
For a vector field <math>v</math> | ||
<math>\nabla \cdot \nabla \times \vec{v}</math> | <math>\nabla \times \nabla \times \vec{v}</math> | <math>\nabla \otimes \nabla \times \vec{v}</math> |
<math>\nabla ( \nabla \cdot \vec{v} )</math> | <math>\nabla \cdot \nabla \otimes \vec{v}</math> | <math>\nabla \otimes \nabla \otimes \vec{v}</math> |
Now, in what might be described as a remarkable coincidence, del works like any other vector in two of these identities. Since del does not really have a direction, this is hardly expectable. However, so long as the functions are well-behaved,
- <math>\nabla \times \nabla f = 0</math>
- <math>\nabla \cdot \nabla \times \vec{v} = 0</math>
Also, so long as the functions are well-behaved, two of these second derivatives are always equal:
- <math>\nabla \cdot \nabla \otimes \vec{v} = \nabla ( \nabla \cdot \vec{v} )</math>
So, there are only really 6 nontrivial unique second derivatives for well-behaved functions:
<math>\nabla \cdot \nabla f</math> | <math>\nabla \otimes \nabla f</math> | <math>\nabla (\nabla \cdot \vec{v})</math> |
<math>\nabla \times \nabla \times \vec{v}</math> | <math>\nabla \otimes \nabla \times \vec{v}</math> | <math>\nabla \otimes \nabla \otimes \vec{v}</math> |
The Laplacian <math>\nabla^2 f</math> is easily the most important of these second derivatives; however, for well-behaved functions the matrix <math>\nabla \otimes \nabla f</math> is a symmetric matrix, and, consequently, it is usually also a Hermitian matrix. Hermitian matrices have real eigenvalues and orthogonal eigenvectors.
Finally, four more identities hold:
(1) <math>\nabla \cdot \nabla f = \nabla^2 f</math>
(2) <math>\nabla \times \nabla \times \vec{v} = \nabla(\nabla \cdot \vec{v}) - \nabla^2 \vec{v}.</math>
(3) <math>\nabla(\vec{v}\cdot\vec{g})=\vec{v}\cdot\nabla\vec{g}+\vec{g}\cdot\nabla\vec{v}
+\vec{g}\times(\nabla\times\vec{v})+\vec{v}\times(\nabla\times\vec{g})</math>
If <math>\vec{v} = \vec{g}</math> then (3) becomes:
<math>\frac{1}{2}\nabla(\vec{v}\cdot\vec{v})=\frac{1}{2}\nabla(v^2)=\vec{v}\cdot\nabla\vec{v}+\vec{v}\times(\nabla\times\vec{v})</math>
(4)<math>\nabla\times(f\vec{v})+\nabla f \times\vec{v}</math>
See also
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).ca:Operador nabla
de:Nabla-Operator es:Nabla it:Operatore Nabla ja:ナブラ nl:Nabla no:Nabla pl:Nabla ru:Оператор набла sv:Nablaoperatorn tr:Nabla operatörü