Equations of fluid dynamics

Appendix G Jacobian determinant

G.1 Definition

If the cartesian coordinates are given as functions of general curvilinear coordinates a1,a2,a3, i.e.

x=x(a1,a2,a3), y=y(a1,a2,a3), z=z(a1,a2,a3), (G.1)

it follows for the infinitesimal volume element in curvilinear coordinates

dV=|J|da1da2da3. (G.2)

Thereby the Jacobian determinant J is defined as

J=|(x,y,z)(a1,a2,a3)|=|xa1xa2xa3ya1ya2ya3za1za2za3|=i,j,kϵijkxaiyajzak. (G.3)

G.2 Time derivative of Jacobian determinant

With vi=dxidt it follows for the time derivative of J

dJdt =ddti,j,kϵijkxaiyajzak (G.4)
=i,j,kϵijk(vxaiyajzak+xaivyajzak+xaiyajvzak). (G.5)

From vkai=lvkxlxlai (kx,y,z) we get:

dJdt=i,j,k,lϵijk(vxxlxlaiyajzak+xaivyxlxlajzak+xaiyajvzxlxlak). (G.6)

Analysis of the first term in the bracket for

l =1:vxxxaiyajzak,
l =2:vxyyaiyajsymmetriczak is (multiplied with ϵijk) 0 when summed up,
l =3:vxzzaiyajzak is (multiplied with ϵijk) 0 when summed up.

So for symmetry reasons most of the contributions are zero when summed up. In we end we see: For the first term there is only a non-vanishing contribution for l=1, for the second term there is only one for l=2 and for the third term there is only one for l=3. So we get

dJdt=i,j,kϵijk(vxx+vyy+vzz)xaiyajzak=(𝒗)J. (G.7)