Laplacian vector field

In vector calculus, a Laplacian vector field is a vector field which is both irrotational and incompressible.{{Cite book |last1=Arfken |first1=George B |title=Mathematical Methods for Physicists: A Comprehensive Guide |last2=Weber |first2=Hans J |last3=Harris |first3=Frank E |publisher=Elsevier Inc |year=2013 |isbn=978-0-12-384654-9 |edition=7th |location=Waltham, MA |pages=154–5 |chapter=Vector Analysis}} If the field is denoted as v, then it is described by the following differential equations:

:\begin{align}

\nabla \times \mathbf{v} &= \mathbf{0}, \\

\nabla \cdot \mathbf{v} &= 0.

\end{align}

Laplace's equation

From the vector calculus identity \nabla^2 \mathbf{v} \equiv \nabla (\nabla\cdot \mathbf{v}) - \nabla\times (\nabla\times \mathbf{v}) it follows that

:\nabla^2 \mathbf{v} = \mathbf{0}

that is, that the field v satisfies Laplace's equation.{{Cite book |last=Claycomb |first=J. R. |title=Mathematical Methods for Physics: Using MATLAB and Maple |publisher=Mercury Learning and Information |year=2018 |isbn=978-1-68392-098-4 |location=Dulles, VA |pages=199 |chapter=Vector Calculus}}

However, the converse is not true; not every vector field that satisfies Laplace's equation is a Laplacian vector field, which can be a point of confusion. For example, the vector field {\bf v} = (xy, yz, zx) satisfies Laplace's equation, but it has both nonzero divergence and nonzero curl and is not a Laplacian vector field.

Cauchy-Riemann equations

A Laplacian vector field in the plane satisfies the Cauchy–Riemann equations: it is holomorphic.

Potential of Laplacian field

Suppose the curl of \mathbf{u} is zero, it follows that (when the domain of definition is simply connected) \mathbf{u} can be expressed as the gradient of a scalar potential (see irrotational field) which we define as \phi:

: \mathbf{u} = \nabla \phi \qquad \qquad (1)

since it is always true that \nabla \times \nabla \phi = 0 .{{Cite web |last=Brennen |first=Christopher E |date=2004 |title=Incompressible, Inviscid, Irrotational Flow |url=http://www.brennen.caltech.edu/FLUIDBOOK/basicfluiddynamics/potentialflow.htm |access-date=December 9, 2024 |website=Internet Book on Fluid Dynamics}}

Other forms of \mathbf{u} = \nabla \phi can be expressed as

u_{i} = \frac{\partial \phi}{\partial x _{1}} \quad ; \quad u = \frac{\partial \phi}{\partial x}, v = \frac{\partial \phi}{\partial y}, w = \frac{\partial \phi}{\partial z} .

When the field is incompressible, then

\nabla \cdot u = 0 \quad \textrm{or} \quad \frac{\partial u_{j}}{\partial x_{j}} = 0 \quad \textrm{or} \quad \frac{\partial u}{\partial x} + \frac{\partial v}{\partial y} +\frac{\partial w}{\partial z} = 0.

And substituting equation 1 into the equation above yields

: \nabla^2 \phi = 0.

Therefore, the potential of a Laplacian field satisfies Laplace's equation.

Potential flow theory

The Laplacian vector field has an impactful application in fluid dynamics. Consider the Laplacian vector field to be the velocity potential \phi which is both irrotational and incompressible.

Irrotational flow is a flow where the vorticity, \omega, is zero, and since \omega = \nabla \times u , it follows that the condition \omega = 0 is satisfied by defining a quantity called the velocity potential \phi, such that u = \nabla \phi, since \nabla \times \nabla \phi = 0 always holds true.

Irrotational flow is also called potential flow.

If the fluid is incompressible, then conservation of mass requires that

\nabla \cdot u = 0 \quad \textrm{or} \quad \frac{\partial u_{j}}{\partial x_{j}} = 0 \quad \textrm{or} \quad \frac{\partial u}{\partial x} + \frac{\partial v}{\partial y} + \frac{\partial w}{\partial z} = 0.{{Cite web |last=Techet |first=Alexandra |date=2005 |title=Hydrodynamics (13.012): 2005reading4 |url=https://ocw.mit.edu/courses/2-016-hydrodynamics-13-012-fall-2005/resources/2005reading4/ |access-date=December 9, 2024 |website=MIT OpenCourseWare}}

And substituting the previous equation into the above equation yields \nabla ^2 \phi = 0 which satisfies the Laplace equation.

In planar flow, the stream function \psi can be defined with the following equations for incompressible planar flow in the xy-plane:

u = \frac{\partial \psi}{\partial y} \quad \textrm{and} \quad v = -\frac{\partial \psi}{\partial x}.

When we also take into consideration u = \frac{\partial \phi}{\partial x} \quad \textrm{and} \quad v = \frac{\partial \phi}{\partial y}, we are looking at the Cauchy-Reimann equations.

These equations imply several characteristics of an incompressible planar potential flow. The lines of constant velocity potential are perpendicular to the streamlines (lines of constant \psi) everywhere.

Further reading

The Laplacian vector field theory is being used in research in mathematics and medicine. Math researchers study the boundary values for Laplacian vector fields and investigate an innovative approach where they assume the surface is fractal and then must utilize methods for calculating a well-defined integration over the boundary.{{Cite journal |last1=Abreu-Blaya |first1=R |last2=Bory-Reyes |first2=J |last3=Moreno-Garcia |first3=T |last4=Peña-Peña |first4=D |date=May 10, 2008 |title=Laplacian decomposition of vector fields on fractal surfaces |journal=Mathematical Methods in the Applied Sciences |volume=31 |issue=7 |pages=849–857 |doi=10.1002/mma.952 |bibcode=2008MMAS...31..849A }} Medical researchers proposed a method to obtain high resolution in vivo measurements of fascicle arrangements in skeletal muscle, where the Laplacian vector field behavior reflects observed characteristics of fascicle trajectories.{{Cite journal |last1=Choi |first1=Hon Fai |last2=Blemker |first2=Silvia S |date=October 25, 2013 |editor-last=Sampaolesi |editor-first=Maurilio |title=Skeletal muscle fascicle arrangements can be reconstructed using a Laplacian vector field simulation |journal=PLOS ONE |volume=8 |issue=10 |pages=e77576 |doi=10.1371/journal.pone.0077576 |doi-access=free|pmid=24204878 |bibcode=2013PLoSO...877576C }}

See also

References

{{reflist}}

Category:Vector calculus

{{Mathanalysis-stub}}