Flows of incompressible fluids, strongly constrained in the horizontal plane by stratification and by background rotation, are often found in geophysical environments and in laboratory experiments (see  and references therein). In particular, motions at mesoscale and large scale in the Earth oceans and atmosphere are mostly horizontal due to the combined action of the Coriolis and buoyancy forces. Under these conditions, intense flow structures, such as jets and vortices, can be long-lived and ensure a significant part of the mass, momentum and heat transfers within the fluid (see   ; and their references). In the ocean, the intense western boundary currents (e.g. the Gulf Stream), but also the numerous and less intense eastern boundary currents (e.g. the Mediterranean Water Undercurrents along the Iberian continental slope), are unstable at various locations, and shed such long-lived vortices (the Gulf-Stream Cold-Core and Warm-Core rings, or the Meddies, Mediterranean Water Eddies). Such eddies have therefore small, but finite Rossby numbers ( ) and Burger numbers most often on the order of unity ( ).
Modeling these flows has therefore been the subject of many studies, using the “primitive equations”, i.e. the three-dimensional Navier-Stokes equations with hydrostatic balance, Boussinesq approximation and incompressibility. These primitive equations, describe both fast (wave-like) and slow (vortex-like) motions. These two subspaces of solutions of the primitive equations are independent only for linear dynamics. In nonlinear dynamics, fast and slow motions can interact : initially slow motions, free of fast waves, remain in the slow subspace, but nonlinear interaction of fast waves can contribute to slow motions. Therefore the slow motions subspace is called a quasi manifold.
The importance of quasi-2D jets and vortices in geophysical flows and laboratory experiments has motivated the search for asymptotic limits of the primitive equations on the slow quasimanifold (see for instance  ). This regime is governed by the time evolution of potential vorticity (also called Ertel vorticity, a combination of vertical vorticity with vertical density gradient). For incompressible and inviscid fluids, potential vorticity is conserved by each fluid element (see  ). To filter out fast (inertia-gravity) waves, zero or weak divergence of horizontal velocity is usually imposed. The most prominent example of slow regime is the horizontal balance between the Coriolis acceleration and the pressure gradient (for parallel flows). This equilibrium is known as geostrophic balance, for which horizontal velocity has zero divergence. The following model in complexity, with small horizontal velocity divergence, is the quasi-geostrophic model  . This model is derived from the primitive equations, by assuming dominant Coriolis acceleration compared with relative acceleration (i.e. small Rossby number Ro) and comparable influence of buoyancy and Coriolis effects (i.e. Burger number Bu of order unity). The quasi-geostrophic model conserves energy and potential vorticity up to ( ).
At the following order in Rossby number, expansions of the primitive equations yield so-called “intermediate models” which fall into two general classes: the balance equations with horizontal velocity splitting into rotational and divergent parts (    ) and the generalized geostrophic equations with expansion of horizontal velocity in horizontal derivatives of pressure (   ).
The first model has a wide range of applicability (in Rossby and Burger numbers) but relies numerically on a complex and time-consuming iterative method  . The second model is much easier to implement but presents an excessive bias between cyclones and anticyclones (   ).
The purpose of the present work is to propose a set of equations, derived along the same principle as the generalized geostrophic equations, but assuring the conservation of energy and of potential (Ertel) vorticity (and therefore of its L2-norm, total enstrophy) in the derivation. The derivation is also carried out directly from the primitive equations for continuously stratified flows, contrary to the generalized geostrophic model, derived from the shallow-water equations (layerwise primitive equations). Then, the projection of these equations onto a set of homogeneous layers is shown to be in agreement with equations directly derived from the shallow-water equations. Such a model is important for the study of mesoscale vortex dynamics in the ocean; for these vortices, Ro is not very small but often remains smaller than 1. When modeling the stability or the interaction of such vortices, it is essential that the model preserves their potential vorticity, and their energy when both are physically conserved (    ).
Here, we present the primitive equations and the physical scaling (Section 2). In Section 3, the intermediate model is derived and its conservation properties at are presented: Lagrangian invariance of Ertel vorticity, energy conservation in any volume for which the integral flux of the Bernoulli function across the boundary vanishes (as for primitive equations). The model equations are written in terms of a generalized streamfunction or of Bernoulli function. In Section 4, the layerwise model is presented and compared with previously derived models (frontal geostrophic equations, generalized geostrophic equations). Finally, conclusions are drawn.
2. Mathematical Framework
2.1. Dimensional Primitive Equations
The fundamental equations for fluid motions strongly constrained by rotation and stratification are the primitive equations, derived from the three-dimensional Navier-Stokes equations with background rotation, under the following assumptions:
・ incompressibility (moderate particle velocities with respect to the speed of sound);
・ Boussinesq approximation (invariance of density in the horizontal momentum equations);
・ negligible vertical accelerations leading to hydrostatic balance;
・ moderate vertical velocities, implying that the Coriolis force mostly acts on the horizontal velocity;
・ background rotation a linear function of the y coordinate (beta-plane approximation). On Earth, this corresponds to a projection of the motion on the tangential plane to Earth at a given latitude: .
Under these hypotheses, assuming adiabatic and inviscid evolutions, the primitive equations are written in dimensional form (  ):
where are the velocity components (functions of ), g is the local gravity intensity; and are the total pressure and density; pressure is split into static and dynamic parts and density into mean and anomaly:
assuming that the vertical variations dominate the horizontal ones. Viscous dissipation of momentum, forces, and diabatic terms can be added to the model if necessary.
Stars distinguish these dimensional variables (and their relations) from their dimensionless counterparts in Section 2.3 and after. The hydrostatic relation holds for both parts:
Note that Equation (H) can also be written
with . The original five equations relate the five unknowns . Note that are known when the state of the fluid at rest is given.
2.2. Scale Analysis
The horizontal velocity is now scaled by U, the vertical velocity by W, horizontal lengths by L, heights by H, time by T, dynamical pressure ( ) by P and mean density ( ) by .
As density mainly varies along the vertical axis, the Brunt-Vaisala frequency is defined as on average on the horizontal domain; it represents the oscillation frequency of fluid particles around a static equilibrium in a stable configuration. is the vertical average of and .
From these scales, several dimensionless parameters are defined:
・ the spatial Rossby number ,
・ the temporal Rossby number ,
・ the beta-effect intensity ,
・ the Burger number ,
・ the aspect ratio .
From these numbers and dynamical relations, we scale:
・ pressure via geostrophy, ;
・ mean density and anomaly from the the pressure scaling and via hydrostatics (QMz):
・ the vertical velocity from the previous scalings and with equation (H), .
To illustrate this scaling, consider vortices in the ocean (at mid latitudes), for which , , , , , , , leading to , , , . The following model is designed to study such intense flows (jets or vortices), with , beyond the quasi-geostrophic approximation. The upper limit of validity of the following model is determined a posteriori from estimates of the first truncated terms in the equations, as well as with numerical tests: the model loses accuracy near , for . For , the primitive equations should be used. Moreover, as is much smaller than , the beta-plane approximation is justified.
2.3. Dimensionless Primitive Equations
With this scaling and dropping stars for dimensional variables, equation (QMx) is:
Equation QMy is:
Equation QMz is:
Equation C is:
and Equation H is
where the total (three-dimensional) derivative is written in scaled form:
for which no truncation of in has yet been made.
Following  , it is straightforward to show that these equations conserve total (potential) vorticity
where is the unit vertical vector.
3. Derivation of the Model Equations
3.1. Generalized Vorticity Equation
We first rewrite equation H to extract w as an exact derivative:
This defines X, a quantity physically related to the static and dynamic densities. This expression of the vertical velocity w is central to the subsequent algebra. We note that this expression is similar in form to the quasi-geostrophic expression of w, for which the Lagrangian derivative is simply two-dimensional:
We also introduce the absolute vorticity Y, the sum of the relative vorticity and of the Coriolis parameter:
The generalized vorticity equation (GV), that we derive hereafter, can be obtained by successive steps:
・ first by taking the curl of (QMx, QMy),
・ then by substituting via (QMx, QMy), via (QMz) and w via (H),
・ and by canceling the three-dimensional velocity divergence via equation (C) (without any approximation).
・ Consistent eliminations finally lead to the generalized vorticity equation (Equation (15) hereafter).
This rather tedious algebra can be more elegantly replaced by the following symbolic combination leading to (GV):
where is a symbolic writing of Equations (7)-(9).
Physically, in this expression:
・ the first term on the first line is the absolute vorticity;
・ the rest of the first line represents the coupling of the baroclinicity vector with the vortex stretching;
・ the first term on the second line is the coupling of the velocity divergence with the absolute vorticity;
・ the second part of the second line is the coupling of that velocity divergence with baroclinicity;
・ finally, the third line contains the vortex stretching, its coupling with the absolute vorticity and with the baroclinicity vector.
At first order in Ro, the total vorticity is that of the quasi-geostrophic (QG) model, and at the following order in Ro all terms are nonlinear and represent couplings between the QG terms.
Following the formal calculation, the (GV) equation is obtained:
Equation (GV) simply expresses the three-dimensional Lagrangian conservation of the generalized vorticity Q up to order :
where must be expanded up to (see subsection 3.4), and with the explicit form of Q:
We remark that Q has the form , where A is the absolute vorticity, B is the “baroclinic” part and C is related to the baroclinicity vector. Neglecting the horizontal variations of vertical velocity, Q can be expressed as the product of the horizontal vorticity by a scalar gradient.
For very large Bu, the barotropic vorticity is retrieved and we note .
From here on, equation (C) is replaced by equation (GV). For consistency, remark that the 5 unknowns are still described by 5 equations. The following step relates the generalized vorticity Q and the Ertel vorticity.
3.2. Conservation of the Ertel Vorticity
In dimensionless variables, the Ertel vorticity is written
We remark that A is a function of density only. The conservation of the generalized vorticity, Equation (15), implies that
some straightforward algebra, with the use of relation (13), leads to:
which is mass conservation, and thus immediately to:
with the form of given by Equation (17). The Ertel vorticity is thus conserved as for the primitive equations, but here only up to . We remark that, contrary to quasi-geostrophic motions where total vorticity is advected by a two-dimensional geostrophic velocity, here the Ertel vorticity is advected by the three-dimensional velocity.
With less complex algebra, the equivalent relation between Q and for quasi-geostrophic dynamics is:
Both in the QG and GV models, contains both the static and dynamic parts of potential vorticity, while Q expresses the dynamic anomaly, relevant to the description of motions (Y. Morel, priv. comm.). A represents the new distribution of fluid masses induced by these motions.
3.3. Integral Invariant Properties
3.3.1. Potential Enstrophy
Equation (18) immediately leads to the conservation of potential enstrophy
as for the primitive equations, but here up to only.
3.3.2. Total Energy
Kinetic energy density is expressed in full form as:
At the model order, the kinetic energy density is multiplied by Ro and the following form is kept:
where the horizontal velocity expansion in Ro is kept up to second order for consistency.
Potential energy density is expressed as (see Appendix A):
The energy conservation equation (E) is obtained via:
in three-dimensional form. The main steps of the calculation are:
the product of density by vertical velocity is then expanded into
or, with a few algebraic manipulations,
The final result is, in Lagrangian form:
which expresses the conventional result that the variation of energy with time is due to the work of pressure forces, or in Eulerian form
where B is the total Bernoulli function . This property is analogous to that for primitive equations. Energy is conserved here up to in any volume for which the integrated flux of the Bernoulli function across the boundary vanishes. In the QG approximation, the right-hand side of Equation (22) vanishes as the velocity is horizontal and geostrophic at first order. The total energy is then exactly conserved.
3.4. Model Equations in Generalized Streamfunction
Here the three-dimensional Lagrangian derivative is expanded in terms of pressure, while conserving the model consistency at order , and thus preserving integral invariants at this order. The derivative is split into two parts: a horizontal Lagrangian derivative and a vertical advection term.
The horizontal derivative is applied to terms of order at least, in equations (GV), (H) and (QM) and thus needs to be expanded to to ensure global consistency at . The vertical advection term is multiplied by a factor and is thus expanded to to ensure the same consistency at . For both the horizontal and vertical components of the 3D derivative, specific operators, and , are defined from the original Equation (8)-(13). The product L of these operators will permute with the time derivative and the Jacobian. This specific property will help transform Equation (16) into a QG-like equation with a generalized streamfunction, acting on LQ. This form of the conservation of generalized vorticity is called the internal form. With the Bernoulli function, this operator does not completely permute, and the equation obtained is called the external form. For legibility, part of the algebra is given in Appendix B.
3.4.1. Vertical Derivative
The expression of the vertical velocity is given by equation (H), that is, the quantity is substracted from the total derivative:
Part integration, permutation and summation (see Appendix B1) yield:
where we define the vertical operator as
and the Jacobian . Using Equation (9) and (13) for and X, we obtain an expression for in terms of pressure only:
3.4.2. Horizontal Lagrangian Operator
The horizontal derivative is explicited as:
and the following combination is performed:
We define the horizontal operator as
or, in an expansion in pressure,
where the subscript h refers to the sole horizontal components. This definition and some algebra (see Appendix B2) lead to
Noting and using the straightforward relation for the exact form of leads to
as a second intermediate step.
3.4.3. Final Result for the Total Lagrangian Derivative
Defining and applying it to the total derivative yields (see the algebra in Appendix B3):
or, in terms of energy density,
The generalized streamfunction can now be defined as
which is the symmetric of the Bernoulli function with respect to p. Operator L is written in terms of
The final form for the Lagrangian derivative, along with Equations (28)-(29), is:
which applies to any conserved Lagrangian quantity (such as Q or ), expanded up to , having a zeroth-order term depending only on z. Note that, if we choose as in subsection 2.2, Equation (29) can also be expressed as:
an equation of interest for the dynamics of intense vortices.
3.4.4. Explicit Form of the Generalized Vorticity in Generalized Streamfunction
With the 3D Lagrangian derivative written in terms of (or p) hereabove, the generalized vorticity Q can also be expressed in terms of . This expression is obtained in two steps: first, the generalized vorticity (Equation (16)) is given as a function of pressure p, using the expressions . Then the pressure is given as a function of the generalized streamfunction by Equation (27) to yield . The same calculations could also be performed on the Ertel vorticity , but these are not given here since Q directly derives from the original equations. Also note that from here on the operator is considered horizontal and the subscript h is dropped.
The quasi-geostrophic form of the total vorticity Q is:
As all terms containing in Q will be factor of , the expression of given in Equation (27) is sufficient to maintain consistency at . It can easily be inverted to and substituted into the previous expression for Q to reach
We can now apply the operator L to to obtain the expression which will be conserved in the evolution equation hereafter:
We recognize in this expression the quasi-geostrophic terms at and the nonlinear coupling terms at .
In generalized streamfunction, the conservation of generalized vorticity is thus:
which, with expressions (27) and (30), is the final result for Section 3.4. Obviously energy conservation could be derived directly from Equation (33) by multiplying it by the generalized streamfunction, as it is done in QG. It is less tedious and more straightforward to derive it as in Subsection 3.3.2, though the result is the same at .
This problem is similar in its mathematical form to the QG equations, i.e. it can be initialized either in streamfunction or in vorticity, though the relation between both is a nonlinear elliptic equation. If the streamfunction is given initially, the generalized vorticity is computed via the relation above Equation (30); conversely, if Q is given, is found by inverting the same formula iteratively. For the boundary conditions, and must be given at the lateral boundaries of the domain, and the density anomaly must be specified at the surface and at the bottom of the domain. These latter conditions are usually a rigid lid at the surface and a given bottom topography. In the layer model, the asymptotic form of an infinitely deep lower layer at rest (reduced-gravity case) can also be used (see part 2).
3.5. An Alternative Form of the Dynamics in Bernoulli Function
We recall here that all tilded quantities are massless (i.e. are divided by ), as it was already defined in Equation (27). We also use the subscript h for the horizontal quantities, which are relevant for the layer model. Horizontal velocities can also be written with respect to the horizontal Bernoulli function as:
The derivation of the model equations is similar to that in Sections 3.4.1 and 3.4.2. The Lagrangian derivative is written with replacing in the Jacobian, and using the operator with substituted to p:
The two forms in and are equivalent (see Appendix B4).
As for the horizontal Lagrangian operator in Section 3.4.2, the vertical operator must now be applied to obtain the total Lagrangian derivative:
where has finally been replaced by at .
Thus the Bernoulli formulation of the evolution equation for the generalized vorticity is:
Here has a similar form to , and
Note that is not the usual total Bernoulli function, because of the minus sign in front of the potential energy component. In the layer model, reduces to , the usual horizontal Bernoulli function.
4. Layer Model
The form of the relative vorticity and of the Lagrangian derivative in terms of pressure given in part 1 is projected onto homogeneous layers. The basic property of the layer model is the independence of the horizontal velocities (and of the horizontal vorticity ) on the vertical coordinate in each homogeneous layer.
Obviously, energy and enstrophy are conserved to the same order in Ro as for the continuously stratified case.
4.1. Layerwise Conservation of Ertel Vorticity
To obtain the conservation of the Ertel vorticity in each layer, successive steps are followed:
1) the hydrostatic equation is replaced by the constraint on the pressure jump at the density interface between layers and :
where is the elevation of this density interface from its depth at rest .
2) Equation (H) is replaced by the equation of the vertical velocity component at the density interfaces
3) equation (GV) in each layer is obtained by vertical integration on the layer thickness:
The discretization of the model equations of the previous section on layers leads to the same results as the truncation of the multilayer shallow-water equation model to . Both simplifications conserve potential vorticity and the integral invariant properties at the model order.
Rather than using potential vorticity, its inverse, potential thickness
is used with
Indeed, in case of strong interface deformation, could locally vanish or become considerably small, whereas the relative vorticity remains positive since (and is usually much smaller). Therefore, cannot become infinite (inertial instability cannot arise).
In each layer, potential thickness conservation is written:
Potential thickness is then expanded in :
In terms of pressure, potential thickness conservation in each layer is written:
and the operator is, in terms of pressure:
The term has the following form in layers to (intermediate layers)
For the upper layer, with the rigid-lid assumption
and for the bottom layer:
for the coupling with the bottom topography.
Numerical implementation of these equations in the N-layer form, with iterative solution of pressure from potential thickness is described and applied in (Filatoff et al., 1997).
4.2. Comparison with the Generalized Geostrophy Model
We show here that a simple restriction of the two-layer model yields the well-known generalized geostrophy equations (  ). We recall that these equations were derived in the context of a rigid lid and flat bottom ocean. For an easier comparison, we use similar notations to these authors’ (beware that some might differ from ours in the previous sections). We define the interface elevation as:
where is the magnitude of the interface displacement and P the amplitude of the pressure in the lower layer. We also define a local Burger number and a thickness ratio of the two layers:
We reorder our equations and keep as variables the interface elevation h and the geostrophic streamfunction in the lower layer . The upper layer dynamical equation is written:
for which the r.h.s. terms are on order of and are thus neglected by the aforementioned authors. In the present framework, this amounts to assuming that both and , i.e. that the time-derivative is slow and that the motion is concentrated in the upper layer (a restriction of the present model). Our model thus agrees with the generalized geostrophic model under its assumptions, and provides the form of the complementary terms one order beyond these limits.
If the lower layer is at rest, the reduced gravity equation is restored
In  , the supplementary conditions and are used which lead to the well-known frontal geostrophic model in a one-and-a-half layer configuration (with )
A second equation is obtained by summing the two layer equations and by substracting Ro times the dynamical equation and the continuity equation of the upper layer. It yields:
Using algebraic combinations and similar scaling arguments as previously, the r.h.s. terms are negligible according to these authors. When the upper layer is extremely thin (vanishing ), the lower layer motion is decoupled from the upper layer influence and obeys a barotropic vorticity equation:
We have presented here a set of equations satisfying the constraints that we had initially imposed. The model retains all terms at in momentum and at in vorticity-divergence or integral invariants; it appears under two forms, one in generalized streamfunction, and one in Bernoulli function. The model conserves total energy (kinetic and potential) at the consistent order ( ), if the total work of pressure forces is zero, or if the total flux of Bernoulli function across the boundaries vanishes; a new general expression of potential energy (up to ) has been provided. Potential enstrophy (as derived from Ertel’s vorticity) is conserved at . This conservation of potential enstrophy is essential for the study of vortex flows.
It should be remarked that in the framework initially defined, the present model is formally equivalent to other intermediate models, but for terms at the order in Ro neglected in the present calculation. The model with continuous stratification is of use for comparison with the balance equations, and for general applications of Ertel vorticity conservation for oceanic processes. As for balance equations, a nonlinear elliptic equation has to be solved, here to recover streamfunction from potential vorticity. This nonlinearity is inherent to all intermediate models written in a single variable, if multiple time scale expansion is not used.
The equations derived for continuous stratification have then been projected onto a discrete representation of vertical stratification. In the layer representation, the dynamical model equations conserve potential vorticity for each fluid particle and integral invariants for the whole fluid. For practical purposes, potential thickness was used rather than potential vorticity; this avoids singularity when layers become vanishingly thin. The model equations were compared successfully to the frontal and to the generalized geostrophic equations derived by  ; this comparison also identified the terms which appear in the equations at higher order than that considered by these authors.
This model has been implemented in generalized streamfunction, both with pseudospectral and finite-difference horizontal schemes. It has been applied to various studies of vortex dynamics:
・ barotropic vortex merger, showing a cyclone/anticyclone asymmetry when Ro increases  ; this asymmetry is similar in the SWE and GV models but does not exist in the QG model.
・ intrathermocline vortex merger (the merger of two vortices in the middle layer of a three-layer ocean); the merger of two distant anticyclones is possible both in the SWE and the GV models, but not in the QG model.
・ the effects of strong bathymetry gradients on vortex dynamics and the effects of large density interface deviation on baroclinic vortex merger, in comparison with a SWE model  ; the comparison of asymptotic and complete dynamical model results is then very satisfactory.
・ In summary, the GV model provides similar physical results as the complete shallow-water modem for vortex dynamics, in cases where the QG model misses the parity bias.
This work was made possible by a contract from SHOM/CMO (French Navy Oceanographic Research Center) under the program “Processus associes aux modeles intermediaires et regionaux”. Thanks are due to Pr Bach Lien Hua for an insightful suggestion leading to the result in Appendix A3. Discussions with Prs James C. Mc Williams and Vladimir Zeitlin are gratefully acknowledged.
Appendix A: Available Potential Energy
A1. Dynamical Expression
The restoring force acting on a fluid particle displaced from elevation to in a stably stratified fluid is buoyancy:
The work produced by this force from to is
in a Taylor expansion in . This expansion is performed to the second order, like that in B2, for two reasons:
1) it will later be expressed in terms of anomaly densities up to . This is consistent with the model order, with the density decomposition given in Subsection 2.2;
2) the constant and first-order terms in the expansion are the static and quasi-geostrophic contributions to potential energy, that we already know.
We note that the above expression has two contributions, one hydrostatic due to the ambient stratification, one dynamical due to the motion of fluid masses.
A2. Thermodynamical Arguments
The thermodynamical variables of the system are entropy, density and tracer concentration (salinity) for the extensive variables, and temperature, pressure and chemical potential for the corresponding intensive variables. We assume that salinity is constant and that any adiabatic transformation is isentropic as the system is non dissipative. To maintain the fluid particle in an invariant thermodynamical state, density must be conserved for the particle (but obviously not for its environment or else potential energy would vanish). In other words, we look for the elevation z corresponding to a static thermodynamic equilibrium for the fluid particle, identical to its initial (dynamical) thermodynamic equilibrium at elevation . This is written:
which is inverted to yield
truncating terms at order and higher; this expression is consistent with the model order. We have also omitted the index on densities for simplicity.
A3. Final Expression of APE
The expression is now introduced into the previous formula for the work of buoyancy forces
which can be put in dimensionless form and yield the expression
used in Section 3.3.2
Appendix B: Derivation of the Lagrangian Derivative in Terms of Pressure
These appendices give more detail on the algebra of Section 3.4. The total derivative is given by Equation (12), the quantities X and Y by Equations (13) and (14), operator is given in Subsection 3.4.1, and in 3.4.2, and the momentum conservation QM is written in Equations (7)-(9).
B1. Vertical Derivative
We expand here the combination given in Subsection 3.4.1, , which
gives by part integration:
By permutation of Lagrangian and vertical derivatives, and using the definition of , we have:
The operator is transformed by the following difference:
to lead to
which is the form written in Equation (23).
B2. Horizontal Derivative
used in subsection 3.4.2 is expressed as:
or by part integration,
Permutation of horizontal derivatives and horizontal Lagrangian operator yields:
which, with the expression for , is Equation (24).
B3. Final Result for the Total Lagrangian Derivative
With the definition given in 3.4.1 for the operator, we have
so that by applying the product of operators to the total Lagrangian derivative, we obtain
which is the equation above Equation (26).
B4. Equivalence between the Expressions of Generalized Vorticity in Bernoulli Function and in Streamfunction
To prove the identity between the two expressions of the generalized vorticity equation, one just needs to check that
are equivalent. For the partial time derivative, this is obvious to order . We compare the Jacobian terms, the difference of which is:
or also with ,
which vanishes for any test function. Thus the two systems are equivalent.