Write the planar velocity field as , with . Expanding the curl gives
Consequently, for a piecewise smooth path from the origin to ,
The arbitrary additive constant may be set to zero. The integrand is exactly , so the fundamental theorem for line integrals proves path independence immediately: the difference between two paths is the line integral of a gradient around a closed curve, which is zero.
One can also see the local integrability condition from Green's theorem:
because the given representation enforces incompressibility. This second proof applies whenever the region between the paths lies in the regular fluid domain. The question already assumes a globally defined streamfunction; without that assumption, incompressibility alone would guarantee a global streamfunction on a simply connected domain, but a hole carrying nonzero volume flux could obstruct it.

Articles by others on the same topic (0)

There are currently no matching articles.