_i-\delta_{ij}\left(\frac{1}{2}u_ku_k+\frac{\lambda^2}{2}u_{k,l}u_{k,l}\right)\right)_{,j}.$$

Conservation of vorticity
-------------------------

Next, consider the coefficient of each ${\mathrm{d}}x_r\wedge{\mathrm{d}}x_s$ in the pull-back of the structural (two-form) conservation law (\[epsympcl\]). This is $$\left(\pi_{k,r}l_{k,s}-\pi_{k,s}l_{k,r}\right)_{,t}
+\left(\lambda^2\left(W_{ij,r}u_{i,s}-W_{ij,s}u_{i,r}\right)
+u_j\left(\pi_{k,r}l_{k,s}-\pi_{k,s}l_{k,r}\right)
+\pi_k\left(u_{j,r}l_{k,s}-u_{j,s}l_{k,r}\right)\right)_{,j}=0,$$ which amounts to $$\left(m_{r,s}-m_{s,r}\right)_{,t}+\left(\lambda^2\left(u_{i,s}u_{i,jr}-u_{i,r}u_{i,js}\right)+(u_jm_r)_{,s}-(u_jm_s)_{,r}\right)_{,j}=0.$$ One can regard this as a vorticity conservation law for EPDiff($H^1$); it is a differential consequence of the momentum conservation law.

Particle relabelling symmetry
-----------------------------

As we discussed in Section \[inverse map sec\], fluid equations in general, and EPDiff in particular, are invariant under relabelling of particles. In the context of the inverse map variables, relabelling is accomplished by the action of the diffeomorphism group $\operatorname{Diff}(\Omega)$ defined by $$\MM{l}\mapsto
\eta\circ\MM{l}\equiv\eta(\MM{l}), \qquad \eta\in\operatorname{Diff}(\Omega).$$ The corresponding infinitesimal action of the vector fields $\mathfrak{X}(\Omega)$ is then $$\MM{l} \mapsto \MM{\xi}\circ\MM{l}\
_ i-\delta_{ij}\left(\frac{1}{2}u_ku_k+\frac{\lambda^2}{2}u_{k, l}u_{k, l}\right)\right)_{,j}.$$ 

 Conservation of vorticity 
 ------------------------- 

 Next, consider the coefficient of each $ { \mathrm{d}}x_r\wedge{\mathrm{d}}x_s$ in the pull - back of the structural (two - human body) conservation jurisprudence (\[epsympcl\ ]). This is $ $ \left(\pi_{k, r}l_{k, s}-\pi_{k, s}l_{k, r}\right)_{,t } 
 + \left(\lambda^2\left(W_{ij, r}u_{i, s}-W_{ij, s}u_{i, r}\right) 
 + u_j\left(\pi_{k, r}l_{k, s}-\pi_{k, s}l_{k, r}\right) 
 + \pi_k\left(u_{j, r}l_{k, s}-u_{j, s}l_{k, r}\right)\right)_{,j}=0,$$ which amounts to $ $ \left(m_{r, s}-m_{s, r}\right)_{,t}+\left(\lambda^2\left(u_{i, s}u_{i, jr}-u_{i, r}u_{i, js}\right)+(u_jm_r)_{,s}-(u_jm_s)_{,r}\right)_{,j}=0.$$ One can regard this as a vorticity conservation law for EPDiff($H^1 $); it is a differential consequence of the momentum conservation police. 

 Particle relabelling symmetry 
 ----------------------------- 

 As we discussed in part \[inverse map sec\ ], fluid equation in general, and EPDiff in particular, are changeless under relabelling of particles. In the context of the inverse map variables, relabelling is accomplished by the legal action of the diffeomorphism group $ \operatorname{Diff}(\Omega)$ defined by $ $ \MM{l}\mapsto 
 \eta\circ\MM{l}\equiv\eta(\MM{l }), \qquad \eta\in\operatorname{Diff}(\Omega).$$ The corresponding infinitesimal action of the vector fields $ \mathfrak{X}(\Omega)$ is then $ $ \MM{l } \mapsto \MM{\xi}\circ\MM{l}\
_i-\depta_{ij}\left(\frac{1}{2}u_ku_k+\frac{\lamnda^2}{2}u_{k,l}u_{k,l}\right)\riyyt)_{,j}.$$

Convervatjon of vurticity
-------------------------

Next, consider the coxffixient of each ${\mathrm{d}}x_r\wedgd{\mathrm{d}}x_d$ in the pulo-vack of thx structmxal (tsl-fork) conservation kaw (\[epsympwl\]). This is $$\lefd(\pk_{k,x}l_{k,s}-\pi_{k,s}l_{k,r}\right)_{,t}
+\left(\lambda^2\left(W_{ij,r}u_{y,s}-W_{ij,s}u_{o,r}\gight)
+u_j\left(\pi_{k,t}l_{k,s}-\pp_{k,f}l_{k,r}\dpgmt)
+\pi_k\left(u_{j,r}l_{k,s}-u_{j,s}l_{k,r}\right)\right)_{,j}=0,$$ which emounts to $$\left(k_{r,s}-m_{s,r}\right)_{,t}+\left(\lambda^2\left(k_{i,s}u_{l,jr}-u_{i,r}u_{i,js}\right)+(u_jm_g)_{,s}-(u_jm_s)_{,r}\righj)_{,n}=0.$$ Ogw can regard this as a vorticity cknservation law for EPDiff($H^1$); it ks a bifferentiao xondgquence of tie momvntum conservation laf.

Particke relabelling sykmerry
-----------------------------

As we discussed in Section \[inverse mwp sec\], flgib equations in generao, qnd EKDiff in oqrtkcumac, ade invwrient under rslabelling if particles. In the cjbtext of the jnversq iap variables, relabelling is accomplishtd by the action of the diffwomorphism group $\operwtorname{Dyff}(\Omega)$ defined by $$\MM{l}\mapsto
\eta\circ\MM{l}\equiv\eta(\MM{n}), \qqued \etc\lk\opefqtlrname{Diff}(\Omega).$$ The corresponding infinitesimwm scnion of the vectov fields $\mathfrak{X}(\Pmfgs)$ is then $$\MM{l} \oapsto \MM{\si}\circ\MM{l}\
_i-\delta_{ij}\left(\frac{1}{2}u_ku_k+\frac{\lambda^2}{2}u_{k,l}u_{k,l}\right)\right)_{,j}.$$ Conservation of vorticity ------------------------- Next, consider of ${\mathrm{d}}x_r\wedge{\mathrm{d}}x_s$ in pull-back of the This $$\left(\pi_{k,r}l_{k,s}-\pi_{k,s}l_{k,r}\right)_{,t} +\left(\lambda^2\left(W_{ij,r}u_{i,s}-W_{ij,s}u_{i,r}\right) +u_j\left(\pi_{k,r}l_{k,s}-\pi_{k,s}l_{k,r}\right) which amounts to One can regard this as a conservation law for EPDiff($H^1$); it is a differential consequence of the momentum conservation Particle relabelling symmetry ----------------------------- As we discussed in Section \[inverse map sec\], fluid in and in are invariant under relabelling of particles. In the context of the inverse map variables, relabelling is by the action of the diffeomorphism group $\operatorname{Diff}(\Omega)$ by $$\MM{l}\mapsto \eta\circ\MM{l}\equiv\eta(\MM{l}), \qquad The corresponding infinitesimal action of vector $\mathfrak{X}(\Omega)$ is $$\MM{l} \MM{\xi}\circ\MM{l}\
_i-\delta_{ij}\left(\frac{1}{2}u_ku_k+\frac{\lAmbda^2}{2}u_{k,l}u_{k,L}\righT)\riGht)_{,J}.$$

COnseRvatIon of vorticity
-------------------------

nExt, cOnsider the coefficient oF each ${\MaTHrm{d}}X_R\wEdge{\mAthrm{d}}x_S$ In THE puLl-BaCk oF tHE sTructUraL (two-forM) conservatIon LaW (\[epsympcl\]). ThiS Is $$\Left(\pi_{k,r}l_{k,S}-\pi_{K,s}l_{k,r}\right)_{,t}
+\lEft(\Lambda^2\LeFt(W_{IJ,r}u_{i,s}-w_{ij,S}u_{i,r}\rIght)
+u_j\LEft(\pi_{k,R}l_{k,s}-\pi_{k,s}l_{K,r}\RIght)
+\pi_K\Left(u_{j,r}L_{K,S}-u_{J,s}l_{k,R}\right)\right)_{,j}=0,$$ which AMoUNts to $$\left(m_{r,s}-m_{s,R}\right)_{,T}+\lEFt(\LAMbdA^2\leFt(u_{i,s}u_{i,jr}-u_{I,r}U_{i,js}\rIGht)+(u_jm_r)_{,S}-(U_jM_S)_{,R}\RigHT)_{,j}=0.$$ One can regarD this as a vorTIciTy consErVatIOn law fOr EPDIfF($h^1$); it Is a differenTial ConsequenCe of thE MomentuM ConservAtion lAw.

PArtIcle RElAbEllInG SymMEtRy
-----------------------------

AS We dIscussed In seCtion \[InveRSE MAp seC\], flUid eQuatiOns in general, aNd EpDifF In pArticUlar, aRe inVaRiant Under rElabeLlIng of particles. IN the Context of The InVerSe Map vaRIables, RelAbeLling is AccomplISheD bY THE aCtion of the diffeomoRpHISm Group $\opeRatornAMe{diFF}(\Omega)$ deFiNed By $$\MM{L}\MApsto
\Eta\cIRc\mM{l}\equiv\Eta(\MM{l}), \QQuAd \Eta\in\opErAtornaMe{difF}(\OmEga).$$ ThE CorrEspondIng infinItesiMAl action of the vECtor fields $\matHFrAK{x}(\OMEga)$ iS thEn $$\MM{l} \mapsto \mM{\xi}\CIrc\Mm{l}\
_i-\delta_{ij}\left(\frac{ 1}{2}u_ku_ k+\fr ac{ \la mb da^2 }{2} u_{k,l}u_{k,l} \ righ t)\right)_{,j}.$$

Con serva ti o n of vo rtici ty
---- - -- - - --- -- -- --- -- - -- -

Ne xt,  consid er the coe ffi ci ent of each$ {\ mathrm{d}} x_r \wedge{\math rm{ d}}x_s $int he pu ll- backof the struct ural (two -f o rm) co n servati o n  l aw ( \[epsympcl\]). Th i si s $$\left(\pi_ {k,r}l _{ k ,s } - \pi _{k ,s}l_{k,r} \r ight) _ {,t}
+\ l ef t ( \ lam b da^2\left(W_{ ij,r}u_{i,s } -W_ {ij,s} u_ {i, r }\righ t)
+u _j \ lef t(\pi_{k,r} l_{k ,s}-\pi_{ k,s}l_ { k,r}\ri g ht)
+\p i_k\le ft( u_{ j,r} l _{ k, s}- u_ { j,s } l_ {k, r }\r ight)\ri gh t) _{,j} =0,$ $ w h ichamo unts  to $ $\left(m_{r,s }-m _{s, r }\r ight) _{,t} +\le ft (\lam bda^2\ left( u_ {i,s}u_{i,jr}-u _{i, r}u_{i,js }\r ig ht) +( u_jm_ r )_{,s} -(u _jm _s)_{,r }\right ) _{, j} = 0 . $$  One can regard th is a sa vortic ity co n se rv a tion law  f orEPDi f f ($H^1 $);i tis a dif ferent i al  c onseque nc e of t he  mo men tum c o nser vation  law.

P artic l e relabellings ymmetry
----- - -- - - -- - ---- --- ---------
As w e  dis cuss e dinS ectio n \[i nv e rs e  map sec\], fluid e qu ations  in g eneral, and E PDiff in p a r t icular,arei nv a riant under re label ling of pa r ticles.In th e contex t of thei n verse ma p v ari abl es, r el abelling is a c c ompl is hed bythe  action  of  th e d iff eo morphismgroup $\ op er at or nam e{Dif f }(\Omega )$  de fi ned  by $ $ \MM{l} \maps to
\ et a\ c irc \MM{l}\ e qu i v \eta (\ MM {l}) , \ qq uad \ eta\ i n\o perator name{Diff }(\ O mega ). $$  The co rresponding i nf initesimal  a cti on oft h e vector  fields $\mathfrak{X}(\ O mega)$isthen$$\M M{l} \map sto  \MM{\ xi} \ circ\M M{l}\
_i-\delta_{ij}\left(\frac{1}{2}u_ku_k+\frac{\lambda^2}{2}u_{k,l}u_{k,l}\right)\right)_{,j}.$$

Conservation of_vorticity
-------------------------

Next, consider_the coefficient of each_${\mathrm{d}}x_r\wedge{\mathrm{d}}x_s$ in_the_pull-back of_the_structural (two-form) conservation_law (\[epsympcl\]). This_is $$\left(\pi_{k,r}l_{k,s}-\pi_{k,s}l_{k,r}\right)_{,t}
+\left(\lambda^2\left(W_{ij,r}u_{i,s}-W_{ij,s}u_{i,r}\right)
+u_j\left(\pi_{k,r}l_{k,s}-\pi_{k,s}l_{k,r}\right)
+\pi_k\left(u_{j,r}l_{k,s}-u_{j,s}l_{k,r}\right)\right)_{,j}=0,$$ which amounts_to $$\left(m_{r,s}-m_{s,r}\right)_{,t}+\left(\lambda^2\left(u_{i,s}u_{i,jr}-u_{i,r}u_{i,js}\right)+(u_jm_r)_{,s}-(u_jm_s)_{,r}\right)_{,j}=0.$$ One_can_regard this as a vorticity conservation law for EPDiff($H^1$); it is a differential consequence_of_the momentum_conservation_law.

Particle_relabelling symmetry
-----------------------------

As we discussed in_Section \[inverse map sec\], fluid_equations in_general, and EPDiff in particular, are invariant under_relabelling_of particles. In_the context of the inverse map variables, relabelling is_accomplished by the action of the_diffeomorphism group $\operatorname{Diff}(\Omega)$_defined_by_$$\MM{l}\mapsto
\eta\circ\MM{l}\equiv\eta(\MM{l}), \qquad \eta\in\operatorname{Diff}(\Omega).$$ The_corresponding infinitesimal action of the vector_fields $\mathfrak{X}(\Omega)$ is then $$\MM{l} \mapsto_\MM{\xi}\circ\MM{l}\