A functionis harmonic if it satisfies the equation
A vector fieldis called solenoidal if its divergence is zero. Take
then
and so if the function is harmonic then
is solenoidal.
Thatis irrotational follows from the identity
for any twice differentiable function.