Open access

# Lagrangian Hydrodynamics, Entropy and Dissipation

Written By

Massimo Materassi

Submitted: June 17th, 2014 Published: April 1st, 2015

DOI: 10.5772/59319

From the Edited Volume

## Hydrodynamics

Edited by Harry Edmar Schulz

Chapter metrics overview

View Full Metrics

## 1. Introduction

In this Chapter we deal with a formalism that is both fundamental and an apparently “niche product”: I myself confess to have taken the chance of Editors’ kind invitation to go deeper into this subject. The subject I am speaking about is the Lagrangian Formulation (LF) of Fluid Dynamics, in particular its theoretical, brutally analytical application to the case of fluids with dissipation.

The reasons due to which treating Fluid Dynamics via LF is not “so popular” are that it involves equations of motion which are very complicated (apparently, “uselessly complicated”), and that squeezing practical results out of it seems to be desperately hard. Moreover, performing measurements from the “Lagrangian point of view” is not common, and requires to leave a probe be transported by the flow: it is often easier to realize a station instead, so to put everything in the other way we know to describe fluids, the “Eulerian point of view”.

The Eulerian Formulation (EF), also indicated as local formulation because it treats the bulk properties of a fluid as properties of the space itself, appears to be much more popular than its “first brother” the LF. The EF is “more popular” because its equations of motion appear much simpler, and because their implementation on a calculator that moves its imagination on a 1D, 2D or 3D grid sounds much easier (still, the celebrated Navier-Stokes Equation, its key statement, is one of the most controversial in the community as far as “the knowledge of all its possible solutions” is concerned).

It is really complicated to find textbooks in which non-ideal fluids are described in the LF, and this is because if for dissipation free fluids the LF may sound cumbersome, when it comes to dissipation complications grow even harder.

The two formulations quoted have specific applications, and the point is that traditionally the applications at best represented in EF have been prevailing. As we are going to point out rigorously few lines below, the LF is following the material flow, while EF is best describing what is seen by an observer as she sits at a point x in space, and makes measurements letting the fluid matter passing by.

Different kinds of motion can be optimally studied in each different one of the two formalisms, depending on the actual nature of the motion at hand. In particular, material regions of fluid showing a highly correlated motion, namely coherent structures with all their particles “going together” (see Figure 1), are best described by following them as they move throughout the space: for this kind of modes the LF may have great value.

Instead, those perturbations that are travelling across the fluid without any real matter transfer, i.e. mechanical waves, are well studied as a classical field theory, in the EF (see Figure 2).

As the scientific literature witnesses, while an entire zoology of waves, both linear and non-linear, has been developed for fluids and plasmas, quite much less has been done for coherent structures (Chang 1999), and this is accompanied by the much larger diffusion EF studies than LF ones.

In the courses of dynamics of continua taught at the university, fluid systems are first described in the LF, or at least from the Lagrangian viewpoint (Rai Choudhuri, 1998); then, as soon as “serious equations” appear, the use of the EF prevails, because of the aforementioned difficulties. However, the fact that the language of the LF is chosen to initiate students to dynamics of continua is not an oddity, rather it reflects how this framework portrays continuous systems more understandably for people having been dealing with discrete systems up to that moment.

Continua described in the LF appear as very straightforward generalizations of systems formed by material points, and their behaviour sounds much more understandable at first glance keeping in mind that the discrete system dynamics looks like. This property of the LF has not a “didactic” value only, but rather can render highly transparent physical relationships between various scales of the theory, the interaction among which is the essence of dissipation. This is, in extremely few words, why I have chosen to treat this subject in the present Chapter.

In this Chapter a special care is devoted to examining how the results about dissipation, usually presented in the Eulerian framework, appear in the LF. Processes involved in dissipation are the ones keeping trace of the granular nature of matter, and a very natural way of seeing this is to describe the fluid in the Lagrangian Formulation. Actually, the postulates of the LF must be criticized right in vision of the granularity of matter, as reported in § 6. For the moment being, let’s just consider the LF as non-in-conflict with matter granularity.

In § 2 the fundamental tools of the LF are proposed, together with the physical sense of the idea of fluid parcel, and the relationship of this with the particles of matters forming the continuum. In this § the fluid geometry, kinematics and mass conservation are sketched.

The application of the LF tools to fluids without dissipation is then given in § 3: in the absence of friction the fluid is treated as a Hamiltonian system, and here the dynamics appears in LF as inherited from that of point particles. The parcel variables of the LF are regarded as a centre-of-mass versus relative variables decomposition of the discrete analytical mechanics. As an aside of this interpretation, § 4 is used to clarify the differential algebraic properties of the entropy of the fluid encoding the degrees of freedom of the microscopic particles forming the parcel.

The granular nature of matter will enter in dynamics only in § 5, where dissipative fluids are treated in the LF: the dissipative terms completing the ideal equations of motion found in the Hamiltonian limit are written, and the Poisson algebra describing the non-dissipative fluid is completed with the introduction of a metric bracket, giving rise to the metriplectic algebra for dissipative fluid in LF.

Conclusions given in § 6 do concern the concept of parcel, and of postulates given in § 2, with respect to turbulence and matter granularity; then, applications and possible developments of the LF are traced.

## 2. Parcels versus particles

The LF describes a fluid by representing its motion as the evolution, throughout space, of the physical domain occupied by its matter (Bennett, 2006).

At a certain timet, let the locus of points in R3 occupied by the fluid matter be indicated as D(t) ; if the description of the motion starts at the timet0, so that this is the initial time, let the initial material domain occupied by the fluid be indicated asD0. The key question is: how to assign the fluid configuration at the time t ? Not only one has to assign the set D(t)R3 of the fluid domain: also, the distribution of matter within it must be given, and the instantaneous velocity of each material point of it. This is a big job, that is rendered possible by choosing to work at the scale at which the system appears as a continuum, and the “individual” motions of the particles composing it may be disregarded as important.

What is done in the LF is to imagine the fluid domain subdivided into “an infinite” number of “infinitesimal” portions, referred to as parcels that are still formed by a thermodynamic number of particles. The size of the parcel is chosen so that the bulk macroscopic quantities with which the fluid is described (velocity, mass density, tension…) are constant within it, but a sufficient number of elementary particles of the fluid is included, so that no extreme fluctuations (i.e. no sub-fluid effects as those described in Materassi et al. (2012)) can be appreciated. Parcels sized in this way are indicated as macroscopic infinitesimal, indeed, all the extensive quantities pertaining to the parcel (mass, energy, momentum) will be indicated with differentials.

At the initial time, this subdivision is snapshot stating that we have one parcel, of volumed3a, at each pointaD0. Those parcels are imagined to move, as the fluid evolves, with some constraints that are the foundations of the continuous approximation itself, and restrict very precisely the realm of application of the whole scheme. In particular, the following requirements are met:

1. parcel identity conservation: parcels move without mixing their matter with each other. They can be deformed, stretched, their volume does change during the evolution of the fluid, but they do not exchange matter, they do not fragment, they do not crumble into smaller entities;

2. the connectedness and smoothness of D0 does not change as it evolves intoD(t), at no time: not only the set of continuous matter remains “all one” without being cut, also no cusps, spikes, “hairy” non-differentiable regions appear in it. In particular, in topological terms, one should state

dimD(t)=dimD0,E1

being dim the Hausdorff dimension of fluid matter.

Of course, it is necessary to remind that this LF can be improved, on the side of treatment of irregular motions, by adding noise terms to its otherwise deterministic and C equations (Materassi & Consolini, 2008). Nevertheless, here we are only interested in giving the general directions of the deterministic LF dynamics.

The two requirements stated before are translated into a conceptually very simple statement, in practice giving rise to complicated equations: the evolution map D0D(t) is represented by a diffeomorphism at every timet. In this way, each neighbourhood of every point aD0 is mapped in an invertible way into a unique neighbourhood of the pointζ(a,t)D(t), and the identity of parcels is conserved. Not only, being the diffeomorphism a C map, the motion of the fluid is also smooth, as required.

The geometry and kinematic of the fluid are all contained in the diffeomorphism aζ(a,t). It is natural to use ζ(a,t) itself as the dynamical variable of the theory, so that the LF is essentially a the field theory of ζ(a,t) on the 3D domain D0 : the vector ζ(a,t) is the position of the a-th parcel in the physical space R3, while a is the label of the parcel, but it represents its initial position too:

ζ(a,t0)=aE2

(see Figure 3). Even if (2) underlines how the vectors ζ and the vectors a do “live” in the same physical space, it is useful to indicate their components with different labels: we will use Greek indices forζ, writing its components as ζα, while Latin indices will label the components of a, as ai. Summation convention over repeated indices in contravariant position will be understood, so that scalar products will be written as:

ζξ=ζαξα,ab=aibi.E3

The velocity of the a-th parcel will simply be tζ(a,t), even if this notation might be misleading: this is a total derivative with respect to time, because the “index” ain ζ(a,t) does not move at all, but is just “the name” of the parcel.

Another geometrical-kinematical object to be defined in LF is the Jacobian matrix of the diffeomorphism aζ(a,t), indicated asJ(a,t)=ζ(a,t)/a. Its components, and the components of its inverse matrix, read

Jiα=ζαai,(J1)αi=aiζα.E4

The determinant of the Jacobian is indicated as:

J=detJ.E5

Clearly, J(a,t0)=1aD0. Last, but not least, some time-semigroup property of the diffeomorphism must hold: ζ(a,t1+t2)=ζ(ζ(a,t1),t2).

The use of J(a,t) renders it straightforward, in practice built-in, the mass conservation in LF: due to the parcel identity conservation the parcel mass will be conserved itself, so that, if ρ0(a) is the initial mass density of the a-th parcel, one may write the initial mass of the parcel as dm(a,t0)=ρ0(a)d3a. On the other hand, at time t the same a-th infinitesimal mass will be written as dm(a,t)=ρ(a,t)d3ζ(a,t), being ρ(a,t) the a-th mass density at a generic time, and d3ζ(a,t) the infinitesimal volume of the parcel at the same time. The parcel mass conservation hence reads

ρ0(a)d3a=ρ(a,t)d3ζ(a,t) ,E6

and since the relationship between d3a and d3ζ(a,t) is given byd3ζ(a,t)=J(a,t)d3a, so that one has:

ρ(a,t)=ρ0(a)J(a,t).E7

The relationships (6) and (7) are all that is needed, in the LF, to let the mass conservation be adequately represented (those relationships are turned into the continuity equation of the EF).

Once the position of the parcel in R3 and its mass density have been described, the reality of the parcel as composed by a thermodynamic number of microscopic particles must be considered. Indeed, even if the parcel identity conservation and the smoothness of the fluid evolution render ζ(a,t) sufficient to describe the configuration of the fluid at any time, while ρ(a,t), related to the initial mass density ρ0(a) as equation (7) prescribes, completes also the mass geometry and mass conservation description, there are dynamical effects, that will be examined in §§ 3, 4 and 5, through which the granular nature of matter do come into the play.

Let’s hence suppose that the a-th parcel is formed by N(a) particles, each of them located in the space by a position vector rI=1,...,N(a) that belongs to the neighbourhood centred in ζ(a,t) and of measure J(a,t)d3a. When these particles are considered, it is no surprise to state that the vector ζ(a,t), understood as “the parcel position”, may be defined as the position of the centre-of-mass of the N(a) particles in the parcel (Arnold, 1989), see Figure 4:

ζ(a,t)=1N(a)I=1N(a)rI.E8

In the foregoing formula one supposes that all the particles have the same mass, so that a mere arithmetical average of their positions can be taken to define the centre-of-mass. In order to complete the set of centre-of-mass variables, let’s consider there also will be a parcel momentum density

π(a,t)=ρ0tζ(a,t)=1d3aI=1N(a)pI,E9

that is defined more rigorously in § 3, equation (18) (in (9) pIis the linear momentum of the I-th particle in the a-th parcel).

By considering the definitions (8) and (9), out of the 6N(a) dynamical variables (rI,pI) that analytical mechanics would attribute to the N(a) particles, 6(N(a)1)remain, those that would be referred to as relative-to-the-centre-of-mass, or simply relative variables. Due to how huge N(a) is, and considering N(a)1N(a), instead of defining relative independent variables in subtle complicated ways (Lusanna & Materassi, 2000), one decides to juxtapose to the variables (ζ,π) the Equilibrium Statistical Mechanics of N(a) particles of the species forming the fluid. In a sense, this is as treating the relative variables as microscopic degrees of freedom treated statistically (Materassi et al., 2012). As it happens for ideal gases, those namely 6(N(a)1) dynamical variables may be effectively described via two state functions that should be the poor man’s version of the Statistical Mechanics of the ponderous 6N(a)-dimensional phase space. In the undergraduate student’s thermodynamics, a gas can be described, for instance, via its density ρ and its entropy S, and so will be for the pointlike masses forming our parcel: the parcel density has already been assigned through (7), what remains is to equip the field configuration of the fluid in the LF by some entropic field, i.e. the mass-specific entropy density s(a,t), defined such that the parcel’s infinitesimal entropy reads:

dS(a,t)=ρ(a,t)s(a,t)d3ζ(a,t)=ρ0(a)s(a,t)d3a.E10

The set of microscopic particles forming the a-th parcel is hence a macroscopically infinitesimal cloud of position ζ(a,t) and total momentum π(a,t)d3a.

The “statistical buzz” of those N(a) pointlike masses is encoded in the thermodynamics of J(a,t) and s(a,t). Since J(a,t) is already encoded in ζ(a,t), one concludes that the functionally independent fields ζ(a,t), π(a,t)and s(a,t) describe completely the field configuration, and they will be referred to as parcel variables.

## 3. Ideal fluids in Lagrangian formalism

All in all, we have established that the fluid geometry, kinematics and mass geometry may be represented in parcel variables through the parcel variables ζ(a,t), π(a,t)and s(a,t). Now it is time to describe the interactions to which those quantities undergo, determining the dynamics of the fluid as represented in parcel variables.

The dynamics of the fields ζ(a,t) and π(a,t) describe the “collective” evolution of the matter forming the a-th parcel: this will be determined by the forces external to the parcel (Feynman, 1963) acting on it. One may consider forces due to potentials that are not due to the fluid, for instance gravitation; there will be also the forces exerted on the parcel by the nearby parcels. The latter are subdivided into the “conservative” force due to the elasticity of the continuum, that will be encoded in pressure, and the “dissipative” force that parcels exert on the nearby ones by rubbing each other, i.e. friction. Both are expected to depend on gradients with respect to the label, because these are all due to the nearby parcels.

While external potential forces are exquisitely pertaining the collective position ζ(a,t), forces exchanged with the nearby parcels are encoded in the thermodynamics of the particles forming the parcel: they may be expressed through the internal energy density ρ0U(ρ0J,s) of the fluid.

In this § the dissipation free limit will be studied, excluding for the moment the friction between nearby parcels, treated in § 5.

As elegantly suggested by Goldstein (2002), when dissipation is ruled out a mechanical system is expected to undergo an Action Principle, and this will be the case for the field theory of parcel variables. In order to write down the mechanical action of the fluid in LF, a resume is done of the forms of energy attributed to the parcel.

The parcel has a collective motion throughout the space, conferring it an amount of kinetic energy

dEkin=ρ0ζ˙22d3a,E11

where ζ˙2=|tζ|2 is intended. Then, assuming there exist potentials external to the fluid, these are written as:

dV=ρ0ϕ(ζ)d3a.E12

The parcel possesses also the internal thermodynamic energy of the particles forming it, that we have already mentioned before and that here we indicate as:

dEtherm=ρ0U(ρ0J,s)d3a.E13

When equations (11), (12) and (13) are put all together, one may attribute an infinitesimal Lagrangian to the a-th parcel, that reads:

dL=ρ0[ζ˙22ϕ(ζ)U(ρ0J,s)]d3a,E14

so that the Lagrangian of the whole system is simply the dL in (14) integrated on the initial volume D0 :

L[ζ,s]=D0ρ0[ζ˙22ϕ(ζ)U(ρ0J,s)]d3a.E15

The mechanical action for the fluid in LF is the aforementioned functional integrated in time along the interval [t0,tf] along which we are interested in studying the system:

A[ζ,s]=t0tfdt'D0ρ0[ζ˙22ϕ(ζ)U(ρ0J,s)]d3a.E16

In Padhye (1998), those expressions are used to find the Euler-Lagrange equations for the natural motions of the system, that read:

ζ¨α=ϕζα+Aαiρ0ai(ρ0UJ),Aαi=12εακλεimnζκamζλan,s˙=0.E17

In (17) the term Aαiai(ρ0UJ) is exactly the infinitesimal force insisting on the parcel due to the adiabatic pressure exerted on it by its nearby fellows: in particular, one should recognize the pressure undergone by the parcel asp=ρ0UJ.

The second differential equation in (17) deserves some more explanation.

Varying the action A with respect to s, the effect of the absence of any derivative of it in dL appears in the final statement according to which it must be constant. This corresponds to the result that, in the dissipation free limit in which the Action Principle is applicable, the mass-specific entropy density of the a-th parcel does not change. Actually, in this case the whole entropy of the parcel remains constant, as it can be seen from dS(a,t)=ρ0(a)s(a,t)d3a. The quantity s(a,t) turns out to be a passively advected scalar, driven throughout the space by the parcel that carries it.

The constancy of s(a,t) means adiabaticity (isoentropicity) of the parcel motion for the ideal fluid because the density at hand is supposed to play the role of mass-specific entropy density in the definition of the amount of internal energy dEtherm in (13).

Once the Lagrangian dynamics is defined through (14) and (15) it is possible to turn it into a Hamiltonian canonical framework through the Legendre transformation of L[ζ,s] into the Hamiltonian H[ζ,π,s] (Goldstein, 2002).

First of all, a rigorous definition of the kinetic momentum π(a,t) must be given as:

πβ(a)=δLδζ˙β(a).E18

By calculating the functional derivative indicated in (18), the result (9) is obtained. Then, the calculation of the Hamiltonian functional of the ideal fluid in LF is straightforward:

H[ζ,π,s]=D0d3a[π22ρ0+ρ0ϕ(ζ)+ρ0U(ρ0J,s)].E19

The Hamilton Equations of motion of the system have a canonical form ζ˙α=δH/δπα and π˙β=δH/δζβ, that is:

ζ˙α=παρ0,π˙α=ρ0ϕζα+Aαiai(ρ0UJ),s˙=0,E20

with the same definition for the symbol Aαi as given in (17).

Equations (20) may be put in the form of a Poisson algebra, by defining the Poisson bracket

{f,g}LF=D0d3a[δfδζα(a)δgδπα(a)δgδζα(a)δfδπα(a)] ;E21

then, the dynamics of any physical variable of the system is assigned as

f˙={f,H}LF.E22

In particular, if the Poisson brackets {ζ,H}LF, {π,H}LFand {s,H}LF are calculated, it is easy to obtain the expressions (20).

## 4. The Casimir S[s]

An important observation should be done on the definition of {.,.}LF in (21): indeed, despite the fact that the full field configuration of the system is given by the collection of three fields (ζ,π,s), the Poisson bracket only involves derivative with respect to ζ and π only, so that for sure one has:

{C,F}LF=0C[s],F[ζ,π,s] ,E23

i.e. any quantity C[s] depending only on the mass-specific entropy density is in involution with any quantity at all. Quantities which are in involution “with anything” are referred to as Casimir invariants: in the Poisson algebra (OfluidLF,{.,.}LF) of the fluid dynamics observables OfluidLF in the LF composed by the Poisson bracket {.,.}LF in (21), all the functionals of s(a,t) are Casimir invariants. In particular, the total entropy of the fluid

S[s]=D0ρ0(a)s(a,t)d3aE24

is the most important one of them, as it will be stressed in § 5.

When an algebra (O,{.,.}) admits Casimir invariants it means that the Poisson bracket is singular, i.e. it is a bilinear application on observables giving a null result also for some non zero argument. Typically, Poisson brackets of this kind are not in the form (21): indeed, apparently that is the same expression {f(q,p),g(q,p)}=fqgpgqfp used in the canonical Hamiltonian systems with discrete variables. From Mathematical Physics we know that canonical brackets cannot have Casimirs, so there’s something “missing” in here. The point is that, as far as the set OfluidLF is the one of (smooth) functionals depending on the whole field configuration (ζ,π,s), indeed {.,.}LF is not, strictly speaking, a canonical bracket, due to the lack of δδs(a) derivatives. What can be said is that the Poisson bracket {.,.}LF is canonical if restricted to the subset of OfluidLF of functionals depending only on the centre-of-mass variables ζ andπ, while this properties is lost if the microscopic degrees of freedom “within the parcel” are considered too.

When Casimir invariants appear it is generally because a Poisson algebra (M,{.,.}) undergoes a process of reduction.

Assume to have in the set M a Hamiltonian such that f˙={f,H} for any element fM, and then observe H to be invariant under a certain group G of transformations, realized through its Lie algebra g on (M,{.,.}), so that {g,H}=0 for any gg. One defines the G-reduced algebra (Mred,{.,.}red) as the set

Mred:{fM/{g,f}=0gg} .E25

This sub-algebra (Mred,{.,.}red) of all the G-invariant elements of M is still a Poisson bracket algebra, where {.,.}red is the restriction of {.,.} to Mred. By the definition of Mred itself, it’s clear that any gg realized on M is a Casimir for {.,.}red :

{f,g}red=0fMred,gg.E26

It may happen that, while {.,.} is a canonical Poisson bracket, {.,.}redis non-canonical (still, the system f˙={f,H}red is Hamiltonian).

The map from the Lagrangian quantities in OfluidLF to their correspondent Eulerian fields may be regarded as a reduction from (OfluidLF,{.,.}LF) to the non-canonical Poisson algebra (OfluidEF,{.,.}EF) (Morrison & Greene, 1980). S[s]is then regarded as a Casimir invariant due to the reduction (OfluidLF,{.,.}LF)(OfluidEF,{.,.}EF), where the transformations under which H is invariant is that of relabeling transformations (the Hamiltonian in (19) remains the same if the parcels are smoothly relabelled (Padhye & Morrison, 1996 a,b)). The original claim here is that this is not really the case: rather S[s] is already a Casimir of {.,.}LF, as pointed before, and of course it remains a Casimir for {.,.}EF too (Materassi, 2014). The author’s opinion is that yes, the entropy comes out as a Casimir from a reduction process, of which, however, the algebra Mred is already OfluidLF : in fact, {.,.}LFis already non-canonical.

The “original algebra” (Ofluid,{.,.})that should be reduced to get (OfluidLF,{.,.}LF) must be an algebra where the canonical couple (ζ(a),π(a)) is completed with 6(N(a)1) canonical variables describing the motion of the N(a) particles of the a-th parcel relative-to-the-centre-of-mass ζ(a). The act-of-motion of the a-th parcel in R3, described by (ζ(a),π(a)), is invariant under some class of transformation of the microscopic state of the parcel’s particles, and this should drive the reduction (Ofluid,{.,.})(OfluidLF,{.,.}LF).

Even if the picture is rather clear, from a logical point of view, making s(a) arise from microscopic reshuffling transformations appear out of reach yet.

## 5. Dissipative fluids in Lagrangian formalism

In the absence of dissipation, the “decoupling” of the mass-specific entropy density s(a,t) from the other parcel variable in Equations (17) means the decoupling of the microscopic degrees of freedom of the particles forming the parcel, encoded only in s(a,t). That could be expected, since dissipation should be intended as the dynamical shortcut between the macroscopic and microscopic level of the theory in terms of force and energy exchange: so, excluding these exchanges means decoupling of s(a,t) from the centre-of-mass variable ζ(a,t). One may also state that the one-way direction of this exchange is an aspect of the Second Law of Thermodynamics (Dewar et al., 2014).

When dissipation is not present, the microscopic degrees of freedom animating the particles within the parcel are as frozen, and their world participates to the motion of the nearby parcels only through the compression-dilatation effect recorded by the term Aαiai(ρ0UJ). When dissipation is at work, then two important facts take place:

1. the energy transfer from the macroscopic degrees of freedom (ζ,π) to the microscopic ones encoded in s will render s˙0 and, according to the Second Principle, make it grow;

2. the same interaction will impede the “conservative motion” of the parcel centre-of-mass (ζ,π) via “friction terms” rising due to the particle action.

All in all, both the centre-of-mass motion of the parcel and its entropy will be influenced by the presence of dissipation.

The equations of motion of fluids in the LF in the presence of dissipative terms are not such a widespread subject to be treated, let me address the reader to the book by Bennett “Lagrangian Fluid Dynamics”, where the equation of motion of a viscous incompressible fluid is obtained in parcel variables (Bennett, 2006).

Looking at the equations (20), one way of finding out how to modify them in order to introduce dissipation is to examine the corresponding equations in EF (the dissipative Navier-Stokes equations, see for instance Rai Choudhuri (1998)) and then work on how the various quantities change when they undergo the inverse map ζa. This is the way in which the LF equations of motion with dissipation were obtained in Materassi (2014).

The relationship between ζ and π remain the same as in (20) when dissipation is introduced, that is ζ˙α=παρ0.

The equation of motion for the momentum π changes because now friction forces appear: these pertain to the relative motion of the parcel with respect to its neighbours, so that one expects (as in the viscous force between pointlike particles and a medium) these will depend on the velocity difference between neighbouring parcels. Not only: due to the smoothness of the map aζ, it is clear that neighbouring parcels do correspond to neighbouring labels, and so the friction forces will depend on the gradients of velocities, i.e. on a-gradients of the field π(a,t).

It is possible to show that, provided the stress tensor of the fluid appears in the EF as reported in Materassi et al. (2012), it is possible to write the equation of motion for πα in the presence of dissipation as:

π˙α=ρ0ϕζα+Aαiai(ρ0UJ)+JΛαβγδβγ(πδρ0) .E27

In (27) the tensor Λαβγδ is constant, and reads:

Λαβγδ=η(δαδδβγ+δβδδαγ23δγδδαβ)+νδγδδαβ.E28

The coefficients η and ν are the two kinds of viscosity (compressible and incompressible, respectively) already quoted in Materassi & Tassi (2012 a) and in Materassi et al. (2012).

The derivative indicated as β is a differential operator acting on fields that depend on the label a, and is constructed through the chain rule as:

β=aiζβai=(J1)βiai,E29

being the matrix J1 the Jacobian of the inverse map ζa.

The last equation in (20) must be modified in order to include the dissipative terms in the entropy evolution.

In particular, in order to understand which terms should be included, it is of some use to consider that the entropy variation always corresponds, within quasi-equilibrium processes (Zemansky & Dittman, 1996), to the ratio between the heat transferred and the temperature at which this transfer takes place. Then, one has just to think about which are the processes transferring heat to the parcel.

Two sources of heat must be considered: there is a contribution given by the work dissipated through viscosity along the surface of the parcel, that should correspond to the force terms JΛαβγδβγ(πδρ0) ; then, there is the heat flowing into the parcel, still across its surface, due to the finiteness of the thermal conductivity κ of the fluid.

The temperature at which these heat transfers take place is the temperature of the a-th parcel at time t, that may as well be obtained by the internal energy U thanks to the relationshipT=Us.

In Bennett (2006) and in Materassi (2014) both the heat transfer terms have been obtained from the corresponding terms in the EF equations (as these are reported, e.g., in Morrison (1984) and Materassi & Tassi (2012 a)) through the inverse map ζa :

δQwork=ΛαβδγαvβγvδρTdt,δQconduction=κρT2Tdt.E30

In (30) all the quantities are local fields, i.e. Eulerian variables in OfluidEF, while is the gradient with respect to the space position, of components α, and v is the Eulerian field of velocities, of components vβ. The convention αα=2 was used.

After some relatively easy, but lengthy, algebra on (30), one ends up with the following equation of motion of the mass-specific entropy density:

s˙=Jρ0TΛαβδγα(πβρ0)γ(πδρ0)+κJρ0TηηT.E31

We are now in the position to provide the reader with the system of equations generalizing (20) in the case of viscous fluids:

ζ˙α=παρ0,π˙α=ρ0ϕζα+Aαiai(ρ0UJ)+JΛαβγδβγ(πδρ0),s˙=Jρ0TΛαβδγα(πβρ0)γ(πδρ0)+κJρ0TηηT.E32

In general, equations as (32) are extremely complicated to treat because of the very non-linear way in which the unknown functions, i.e. the fields ζ(a,t), π(a,t)and s(a,t), participate in the various operators. For instance, one should underline how the gradients of ζ(a,t) appear in Aαi through the inverse Jacobians (see (I. 17)), or in the determinants J, not to mention the operators η, especially when they are squared, so that, for instance, one has: ββT=(J1)βiai[(J1)jβajT]in the entropy evolution equation. The intriguing thing is that this high complexity of the LF equations is due to the necessity of taking into account of how the fluid parcel deforms during its motion, which is actually the meaning of J, and of J1.

The viscous fluid is an example of dissipative system that, if it is isolated (i.e., without energetic supply from the environment), will relax to an asymptotically stable field configuration. Correspondingly, the total entropy of the isolated system (24) will grow up to a certain maximum value allowable Smax, as a Lyapunov functional is expected to do (Courbage & Prigogine, 1983).

The algebrization of the viscous fluid dynamics in LF will follow the same route proposed in Fish (2005) and references therein (see, in particular, Morrison (1984)), or in Materassi & Tassi (2012 b): the inspiration comes from the fact that, in the vicinity of the equilibrium, it is possible to represent the convergence of the system to the asymptotically stable point as a metric system (Morrison, 2009).

A metric system is a dynamical system of variables ψ that has a smooth function S(ψ) on its phase space that generates the dynamics via a symmetric, negative semidefinite operator G, so that one has:

ψ˙i=Gij(ψ)Sψj.E33

It is possible, then, to define a symmetric Leibniz bracket (Guha, 2007) for two any observables f and g by stating:

(f,g)=fψiGij(ψ)gψj,E34

so that the dynamics of the metric system is prescribed as:

f˙=(f,S).E35

It is possible to see that the asymptotically stable configuration will be a stationary point for S(ψ), Sψjψ˙i=0, and that it will be a maximum, since from (34) and (35) and the negative seminidefiniteness of G, the function S(ψ) turns out to be monotonically growing with time:

S˙=(S,S)=SψiGij(ψ)Sψj0.E36

The smooth function S(ψ) then appears to be a Lyapunov function for the metric system.

Since the metric system appears to be a good tool to describe the convergence to an asymptotically stable equilibrium, in order to let the fluid be described by a bracket algebra of observables that allows for relaxation, next to the Poisson bracket (21), one introduces a metric bracket (f,g), i.e.:

(f,g)LF=(g,f)LF,(f,f)LF0f,gOfluidLF.E37

If the choice of the metric bracket is clever enough, i.e. provided the requirement

(H,f)LF=0,fOfluidLFE38

is satisfied, then the dissipative part of dynamics may be entrusted to this new algebraic object, with the choice of the total entropy S[s] as the metric generating function, since we already know it is a Lyapunov functional of relaxation:

f˙diss=λ(f,S)LF,fOfluidLFE39

(this λ is a suitable constant that only makes a definite physical sense at the equilibrium).

The full dynamics may be obtained by putting together the non-dissipative symplectic part (I. 22) and the dissipative metric part (39), so to give rise to a properly algebrized dissipative system relaxing to some asymptotic equilibrium, namely a metriplectic system (Morrison, 1984; Guha, 2007):

f˙={f,H}LF+λ(f,S)LF,fOfluidLF.E40

The Poisson bracket {.,.}LF is the one defined in (21), while the metric component (.,.)LF has been obtained in Materassi (2014) by reasoning on the application of the inverse map ζa (and of its implications in terms of functional derivatives) to the corresponding quantity presented in Morrison (1984) for the same system in the EF. The bracket reads:

(f,g)LF=1λD0Jd3a{κT2η(1ρ0Tδfδs)η(1ρ0Tδgδs)++TΛαβγδ[α(δfδπβ)1ρ0Tα(πβρ0)δfδs][γ(δgδπδ)1ρ0Tγ(πδρ0)δgδs]}.E41

It is possible to check that the application of the prescription (40) to the dynamical variables ζ, πand s reproduces the equations of motion for the dissipative fluids (32), as represented in the LF via parcel variables.

The former Poisson algebra of the observables of a fluid in the LF, the set OfluidLF, is now structured with both the brackets {.,.}LF and (.,.)LF, so that a metriplectic structure may be defined by stating

f,gLF={f,g}LF+(f,g)LFf,gOfluidLF.E42

In order for the metriplectic bracket .,.LF to generate a Leibniz dynamics (that corresponds to the dynamics of viscous fluids in the LF), the definition of the free energy

F[ζ,π,s]=H[ζ,π,s]+λS[s]E43

is necessary. It is possible to see that, when the prescription

f˙=f,FLFE44

is applied to the dynamical variables (ζ,π,s), the dynamics of the viscous fluid is re-obtained, as described by the equations of motion (32).

## 6. Conclusion

In this Chapter we have described the dynamics of viscous fluids in the formalism descending from the Lagrangian viewpoint, according to which the motion of the fluid parcels is followed along their evolution, just like it is done in discrete dynamics with the motion of point particles.

The “something different” that parcels have with respect to point particles is their internal structure, which is a “gas” (a fluid, truly) of microscopic particles, all in all described by their mass density, roughly J1, and their mass-specific entropy density s. The existence of this very rich internal structure has important consequences influencing the dynamics of the parcels moving through the space.

The particle ensemble may influence the parcel’s motion both in a “conservative” and in a “dissipative” way.

On the one hand, particles may undergo “adiabatic interactions”, hitting each other conserving their kinetic energy, and propagating, to the nearby particles, pressure: this is the effect of those motions of particles exerting forces, but not exchanging heat, i.e. not degrading the “ordered” energy of the macroscopic scales at which the parcel variables ζ and π are defined. If the language of textbook Thermodynamics were to be used, we should state this is the kind of micro-macro interactions via which a parcel makes mechanical work on the nearby parcels, but does not give or receive heat.

These adiabatic interactions give rise to the pressure terms in (17) and (20), that still remain equations of motion of a dissipation-free system.

An ensemble of particles is however able to exchange heat too, i.e. transform the energy of macroscopic scales to micro-scale energy. This happens due to friction forces, that are representing in an effective way a huge amount of microscopic collisions in which particles literally drain kinetic energy from ζ and π of nearby parcels. Or, the micro-motions and collisions among particles, from one parcel to the next one, give rise to thermal conduction, with a proper heat flux in which “nothing happens” at macroscopic scales, and nevertheless there is a transfer of internal energy throughout the fluid.

Two approaches are presented here to treat the dissipative phenomena of a viscous, thermally conducting fluid: writing the partial derivative equations of motion (32) in LF; or constructing the metriplectic algebra (42), through which the viscous, thermally conducting fluid is regarded as an isolated system with dissipation that has a way to relax to asymptotically stable equilibria.

In both approaches we have tried to stress the role of the entropy functional (24), that is fully enhanced in the metriplectic algebra (Materassi, 2014).

Let us conclude briefly by stressing again the limits of the LF as described here, i.e. via parcel variables. The fundamental requirements of parcel formulation in § 2, on which all the LF is based, render it possible to describe the evolution of fluid matter only in “rather regular” motions: no sub-fluid scale mixing, no evaporation, no droplet formation, no noisy micro-scale turbulence. Just the deformation of a body that can be regarded as an elastic rubber space-filling cloud, much more a shape shifting smooth Barbapapa rather than the water of a fountain dropping and fragmenting in pointy wavelets.

## References

1. 1. Arnold, V. I. (1989). Mathematical Methods of Classical Mechanics (2nd ed.). New York: Springer, 978-0-38796-890-2Arnold, V. I. (1989). Mathematical Methods of Classical Mechanics (2nd ed.). New York: Springer, ISBN 978-0-387-96890-2.
2. 2. Bennett, A. F., Lagrangian Fluid Dynamics. Monographs on Mechanics, Cambridge University Press, Cambridge, (2006) 100521853109Bennett, A. F., Lagrangian Fluid Dynamics. Monographs on Mechanics, Cambridge University Press, Cambridge, (2006) ISBN-10: 0521853109.
3. 3. ChangT1999Self-organized criticality, multi-fractal spectra, sporadic localized reconnections and intermittent turbulence in the magnetotail, Physics of Plasmas, 641374145Chang, T. (1999). Self-organized criticality, multi-fractal spectra, sporadic localized reconnections and intermittent turbulence in the magnetotail, Physics of Plasmas, 6, 4137-4145.
4. 4. CourbageMPrigogineI1983Intrinsic randomness and intrinsic irreversibility in classical dynamical systems, Proceedings of the National Academy of Science of USA, 80, 24122416Physics.Courbage, M. & Prigogine, I. (1983). Intrinsic randomness and intrinsic irreversibility in classical dynamical systems, Proceedings of the National Academy of Science of USA, 80, pp. 2412-2416, Physics.
5. 5. Dewar, R.C., Lineweaver, C.H., Niven, R.K., Regenauer-Lieb, K. (editors) (2014). Beyond the Second Law-Entropy Production and Non-equilibrium Systems, Springer, 978-3-64240-154-1Dewar, R.C., Lineweaver, C.H., Niven, R.K., Regenauer-Lieb, K. (editors) (2014). Beyond the Second Law-Entropy Production and Non-equilibrium Systems, Springer, ISBN 978-3-642-40154-1.
6. 6. FeynmanR. P1963The Feynman Lectures on Physics, Online Edition, 1, § 10, “Conservation of Momentum”, website: http://www.feynmanlectures.caltech.edu/I_10.html.Feynman, R. P. (1963) The Feynman Lectures on Physics, Online Edition, 1, § 10, “Conservation of Momentum”, website: http://www.feynmanlectures.caltech.edu/I_10.html.
8. 8. Goldstein, H. (2002). Classical Mechanics, Addison Wesley, 0-20165-702-3Goldstein, H. (2002). Classical Mechanics, Addison Wesley, ISBN 0-201-65702-3.
9. 9. GuhaP2007Metriplectic structure, Leibniz dynamics and dissipative systems. J. Math. Anal. Appl. 326, 121.Guha, P. (2007). Metriplectic structure, Leibniz dynamics and dissipative systems. J. Math. Anal. Appl. 326, 121.
10. 10. Lusanna, L., M. Materassi (2000). A Canonical Decomposition in Collective and Relative Variables of a Klein-Gordon Field in the Rest-Frame Wigner-Covariant Instant Form, Int.J.Mod.Phys. A1528212916, doi: 10.1142/S0217751X00001280.Lusanna, L., M. Materassi (2000). A Canonical Decomposition in Collective and Relative Variables of a Klein-Gordon Field in the Rest-Frame Wigner-Covariant Instant Form, Int.J.Mod.Phys. A15, 2821-2916, doi: 10.1142/S0217751X00001280.
11. 11. MaterassiMConsoliniG2008Turning the resistive MHD into a stochastic field theory, Nonlinear Processes in Geophysics, 15 (4), 701709Materassi, M., Consolini, G. (2008). Turning the resistive MHD into a stochastic field theory, Nonlinear Processes in Geophysics, 15 (4), pp. 701-709.
12. 12. MaterassiMand TassiE2012a). Metriplectic Framework for Dissipative Magneto-Hydrodynamics, Physica D, 241, 6March 2012).Materassi, M. and Tassi, E. (2012 a). Metriplectic Framework for Dissipative Magneto-Hydrodynamics, Physica D, 241, Issue 6, 729 (15 March 2012).
13. 13. Materassi & TassiE. (2012b). Algebrizing friction: a brief look at the Metriplectic Formalism. Intellectual Archive Journal, Toronto: Shiny World (Issue of July 2012).Materassi & Tassi, E. (2012 b). Algebrizing friction: a brief look at the Metriplectic Formalism. Intellectual Archive Journal, Toronto: Shiny World (Issue of July 2012).
14. 14. Materassi, M., E. Tassi, G. Consolini (2012). Topics in Magnetohydrodynamics, Edited by Linjin Zheng, 978-9-53510-211-3 220 pages, Publisher: InTech, Chapters published March 09, 2012 under CC BY 3.0 license.Materassi, M., E. Tassi, G. Consolini (2012). Topics in Magnetohydrodynamics, Edited by Linjin Zheng, ISBN 978-953-51-0211-3, 220 pages, Publisher: InTech, Chapters published March 09, 2012 under CC BY 3.0 license.
15. 15. MaterassiM2014Metriplectic Algebra for Dissipative Fluids in Lagrangian Formulation, submitted.Materassi, M. (2014). Metriplectic Algebra for Dissipative Fluids in Lagrangian Formulation, submitted.
16. 16. MorrisonP. J1984Some Observations Regarding Brackets and Dissipation, Center for Pure and Applied Mathematics Report PAM-228, University of California, Berkeley.Morrison, P.J.; (1984). Some Observations Regarding Brackets and Dissipation, Center for Pure and Applied Mathematics Report PAM-228, University of California, Berkeley.
17. 17. MorrisonP. J2009Thoughts on Brackets and Dissipation: Old and New, Journal of Physics: Conference Series, 112169Morrison, P.J.; (2009). Thoughts on Brackets and Dissipation: Old and New, Journal of Physics: Conference Series, pp. 1-12, Vol. 169, 012006.
18. 18. MorrisonP. JGreeneJ. M1980Noncanonical Hamiltonian Density Formulation of Hydrodynamics and Ideal Magnetohydrodynamics, Physical Review Letters, 7907934510September 8.Morrison, P. J. & Greene, J. M.; (1980). Noncanonical Hamiltonian Density Formulation of Hydrodynamics and Ideal Magnetohydrodynamics, Physical Review Letters, pp. 790-793, Vol. 45, No. 10, September 8.
19. 19. PadhyeN. SMay 1998Topics in Lagrangian and Hamiltonian fluid dynamics: Relabeling symmetry and ion-acoustic wave stability, dissertation presented to the Faculty of the Graduate School of The University of Texas at Austin in Partial Fullment of the Requirements for the Degree of PhD.Padhye, N. S. (May 1998). Topics in Lagrangian and Hamiltonian fluid dynamics: Relabeling symmetry and ion-acoustic wave stability, dissertation presented to the Faculty of the Graduate School of The University of Texas at Austin in Partial Fullment of the Requirements for the Degree of PhD.
20. 20. PadhyeNand P. JMorrison1996 aRelabeling Symmetries in Hydrodynamics and Magnetohydrodynamics, Plasma Physics Reports 22, 869.Padhye, N. and P. J. Morrison (1996 a). Relabeling Symmetries in Hydrodynamics and Magnetohydrodynamics, Plasma Physics Reports 22, 869.
21. 21. PadhyeNand P. JMorrison1996 bFluid Element Relabeling Symmetry, Physics Letters 219A, 287.Padhye, N. and P. J. Morrison (1996 b). Fluid Element Relabeling Symmetry, Physics Letters 219A, 287.
22. 22. Rai ChoudhuriA. (1998The Physics of Fluids and Plasmas-an introduction for astrophysicists, Cambridge University Press.Rai Choudhuri, A. (1998). The Physics of Fluids and Plasmas-an introduction for astrophysicists, Cambridge University Press.
23. 23. ZemanskyM. Wand DittmanR. H1996Heat and Thermodynamics, Mcgraw-Hill College; 7th edition.Zemansky, M. W. and Dittman, R. H. (1996). Heat and Thermodynamics, Mcgraw-Hill College; 7th edition.

Written By

Massimo Materassi

Submitted: June 17th, 2014 Published: April 1st, 2015