[Physics] Helmholtz decomposition allows incompressible flow with an irrotational component

fluid dynamicspotential-flowVector Fields

A vector field can be written in terms of irrotational and a divergence-free components. Using a 2D velocity field as an example,

$ \vec v = -\nabla \phi + \nabla \times \vec \Psi$

Where $\vec \Psi$ is a vector potential, which in fluid mechanics is only guaranteed to exist if we're working in two dimensions so that $\vec \Psi = (0,0,\psi)$, where $\psi$ is called the stream function.

There are many sources I can find that say that an incompressible flow ($\nabla \cdot \vec v = 0$) simplifies to $ \vec v = \nabla \times \vec \Psi$ Here is one such example, although the Wikipedia article on stream functions implies the same.

This seems incorrect to me, since taking the divergence of both sides of this equation
$ \nabla \cdot \vec v = -\nabla \cdot \nabla \phi + \nabla \cdot \nabla \times \vec \Psi$
simply yields the Laplace equation, $\nabla^2 \phi = 0$. This means that as long as $\phi$ is a nonzero harmonic function, I can have a velocity field in an incompressible fluid that has an irrotational component. Is there an additional constraint that forces $\nabla \phi = 0$ in order for $\nabla \cdot \vec v =0$?

Best Answer

The key concept needed here is that the Hemholtz decomposition is not necessarily unique.

Non-uniqueness can occur because there exist nontrivial vector fields which are both irrotational and divergence-free. For example, the constant 2D velocity field $\vec v = (1,0)$ can be expressed as either $\vec v=-\nabla \phi$ with $\phi(x,y)=-x$, or as $\vec v=\nabla \times \vec \Psi$ with $\vec \Psi (x,y) = (0,0,y)$.

Because of this non-uniqueness, showing that it’s possible to express a particular velocity field with an incompressible flow as a Hemholtz decomposition with a nonzero $\phi$ doesn’t mean that it isn’t also possible to express the same velocity field as a different Hemholtz decomposition in which $\phi = 0$.

An arbitrary 2-D velocity field with $\nabla \cdot \vec v = 0$ can be written purely in terms of a vector potential in which the stream function is

$$\psi(x,y)=\int^{y}_{0}v_{x}(0,y')dy'-\int^{x}_{0}v_{y}(x',y)dx' .$$

I'll leave verification of that equation as an exercise to the reader.

Related Question