The surface must be a material surface , moving with the fluid; its boundary moves with it as well. The stated barotropic vorticity transport law, with , gives . Expanding its curl therefore yields
A material tangent vector obeys . Apply the product rule to the cross product of two such tangents to obtain material surface element evolution:
Here . The stretching and area-change terms cancel exactly in the transported flux element:
Integrate over the fixed particle labels parameterizing the material surface. This proves the conservation of vorticity flux through a material surface:
The conserved flux is also the circulation by the Stokes theorem, so this agrees with Kelvin's circulation theorem. The assumptions are smooth inviscid barotropic flow and conservative body forces. A fixed open surface generally exchanges vorticity flux with its surroundings and does not satisfy this conservation statement; compressibility by itself does not invalidate the material-surface result.