In mathematics and physics, the vector Laplace operator, denoted by ∇\( \nabla ^{2} \), named after Pierre-Simon Laplace, is a differential operator defined over a vector field. The vector Laplacian is similar to the scalar Laplacian. Whereas the scalar Laplacian applies to a scalar field and returns a scalar quantity, the vector Laplacian applies to a vector field, returning a vector quantity. When computed in orthonormal Cartesian coordinates, the returned vector field is equal to the vector field of the scalar Laplacian applied to each vector component.
Definition
The vector Laplacian of a vector field \( \mathbf {A} \) is defined as
\( \nabla ^{2}{\mathbf {A}}=\nabla (\nabla \cdot {\mathbf {A}})-\nabla \times (\nabla \times {\mathbf {A}}). \)
In Cartesian coordinates, this reduces to the much simpler form:
\( \nabla ^{2}{\mathbf {A}}=(\nabla ^{2}A_{x},\nabla ^{2}A_{y},\nabla ^{2}A_{z}), \)
where \( A_x, \) \( A_y, \) and \( A_z \) are the components of \( \mathbf {A} .\) This can be seen to be a special case of Lagrange's formula; see Vector triple product.
For expressions of the vector Laplacian in other coordinate systems see Del in cylindrical and spherical coordinates.
Generalization
The Laplacian of any tensor field \( \mathbf {T} \) ("tensor" includes scalar and vector) is defined as the divergence of the gradient of the tensor:
\( {\displaystyle \nabla ^{2}\mathbf {T} =(\nabla \cdot \nabla )\mathbf {T} .} \)
For the special case where \( \mathbf {T} \)is a scalar (a tensor of degree zero), the Laplacian takes on the familiar form.
If \( \mathbf {T} \) is a vector (a tensor of first degree), the gradient is a covariant derivative which results in a tensor of second degree, and the divergence of this is again a vector. The formula for the vector Laplacian above may be used to avoid tensor math and may be shown to be equivalent to the divergence of the Jacobian matrix shown below for the gradient of a vector:
\( {\displaystyle \nabla \mathbf {T} =(\nabla T_{x},\nabla T_{y},\nabla T_{z})={\begin{bmatrix}T_{xx}&T_{xy}&T_{xz}\\T_{yx}&T_{yy}&T_{yz}\\T_{zx}&T_{zy}&T_{zz}\end{bmatrix}},{\text{ where }}T_{uv}\equiv {\frac {\partial T_{u}}{\partial v}}.} \)
And, in the same manner, a dot product, which evaluates to a vector, of a vector by the gradient of another vector (a tensor of 2nd degree) can be seen as a product of matrices:
\( {\mathbf {A}}\cdot \nabla {\mathbf {B}}={\begin{bmatrix}A_{x}&A_{y}&A_{z}\end{bmatrix}}\nabla {\mathbf {B}}={\begin{bmatrix}{\mathbf {A}}\cdot \nabla B_{x}&{\mathbf {A}}\cdot \nabla B_{y}&{\mathbf {A}}\cdot \nabla B_{z}\end{bmatrix}}. \)
This identity is a coordinate dependent result, and is not general.
Use in physics
An example of the usage of the vector Laplacian is the Navier-Stokes equations for a Newtonian incompressible flow:
\( \rho \left({\frac {\partial {\mathbf {v}}}{\partial t}}+({\mathbf {v}}\cdot \nabla ){\mathbf {v}}\right)=\rho {\mathbf {f}}-\nabla p+\mu \left(\nabla ^{2}{\mathbf {v}}\right), \)
where the term with the vector Laplacian of the velocity field \( \mu\left(\nabla ^2 \mathbf{v}\right) \) represents the viscous stresses in the fluid.
Another example is the wave equation for the electric field that can be derived from the Maxwell's equations in the absence of charges and currents:
\( \nabla^2 \mathbf{E} - \mu_0 \epsilon_0 \frac{\partial^2 \mathbf{E}}{\partial t^2} = 0. \)
The previous equation can also be written as:
\( \Box\, \mathbf{E} = 0, \)
where
\( \Box\equiv\frac{1}{c^2} \frac{\partial^2}{\partial t^2}-\nabla^2, \)
is the D'Alembertian, used in the Klein–Gordon equation.
References
MathWorld. "Vector Laplacian".
http://farside.ph.utexas.edu/teaching/em/lectures/node23.html
Undergraduate Texts in Mathematics
Graduate Studies in Mathematics
Hellenica World - Scientific Library
Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License
