HAL Id: jpa-00246830
https://hal.archives-ouvertes.fr/jpa-00246830
Submitted on 1 Jan 1993
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
Relativistic Boltzmann equation and relativistic irreversible thermodynamics
Kefei Mao, Byung Eu
To cite this version:
Kefei Mao, Byung Eu. Relativistic Boltzmann equation and relativistic irreversible thermodynamics.
Journal de Physique I, EDP Sciences, 1993, 3 (8), pp.1757-1776. �10.1051/jp1:1993214�. �jpa-00246830�
Classification
Physics
Abstracts05.20D 05.70L 04.90 51.10
Relativistic Boltzmann equation and relativistic irreversible
thermodynamics
~~
Kefei Mao
(')
andByung
Chan Eu (~.~)
(~
Department
ofPhysics
and Centre for thePhysics
of Materials, McGillUniversity,
Montreal, Quebec H3A 2K6, Canada(2)
Department
ofChemistry,
McGillUniversity,
Montreal, Quebec H3A 2K6, Canada (Receii,ed 23 September J992, revised 29 March J993,accepted
9April
J993)Abstract. The covariant Boltzmann
equation
for a relativistic gas mixture is used to formulate a theory of relativistic irreversiblethermodynamics.
The modified moment method isapplied
to derive various evolutionequations
formacroscopic
variables from the covariant Boltzmann equation. The methodrigorously yields
the entropy differential which is not an exact differential if the system is away fromequilibrium.
Therefore, an extended Gibbs relation does not hold valid for the entropydensity
in contrast to the usual surmise taken in extended irreversiblethermodynamics.
However, an extended Gibbs relation-like
equation
holds for thecompensation
differential as has been shown to be the case for nonrelativistic gas mixtures in a recent work. The entropy balanceequation
is cast into anequivalent
form in terms of a new function called the Boltzmann function.The
equation
is seen to be a local expression of the H theorem.Macroscopic
evolutionequations
(I.e.,generalized hydrodynamic equations)
arepresented
for variousmacroscopic
variables.Together
with the equivalent form for the entropy balanceequation,
thesemacroscopic
evolutionequations
form a mathematical structure for atheory
of irreversible processes in relativistic monatomic gases.1. Introduction.
The relativistic Boltzmann
equation [1-6]
was used tostudy
irreversible processes inrelativistic gases
by
some authors whoemployed
either theChapman-Enskog
method[7]
or theMaxwell-Grad moment method
[8]
to solve the kineticequation. Especially,
these methodswere used as a means to obtain or
justify
amacroscopic theory [9-12]
of irreversible processesin the relativistic framework
[4-6].
Since the aforementioned methods do not afford an exactsolution for the
problem,
onejustifies,
within thevalidity
of theapproximation used,
atheoretical structure of irreversible
thermodynamics
one has in mind.However,
thejustifica-
tion is not without an uneasy
feeling
sincethermodynamics
makesrigorous
demands ontheories of
macroscopic
irreversible processesoccurring
at alldegrees
of removal fromequilibrium
butapproximate
kinetictheory
results canhardly
be relied on for asufficiently
general
andrigorous theory, especially,
if thesystem
is far fromequilibrium.
When one aims1758 JOURNAL DE PHYSIQUE I N° 8
to formulate a
theory
of irreversible processes, thequestion
of the nature of entropyunavoidably arises,
but relativistic kinetictheory
has not as yetyielded
asatisfactory
answer tothe
question.
The range ofvalidity
of theexisting approximate
relativistictherrnodynamic
theories
depends
on the answer to thisquestion.
Recently,
the modified moment method[13]
for nonrelativistic Boltzmannequations
has been shown toyield
arigorous
answer to thequestion
of whether the entropy differential for irreversible processes is exact or not. The answer turns out io be that it is not e,<actif
the system is awayfi.om equilibrium.
In this paper we aim to show that the same answer remains valideven for relativistic gases of finite masses that can be described
by
a relativistic Boltzmannequation.
2. Relativistic kinetic
equation
and balanceequations.
We assume an r component mixture of
nonequilibrium
relativistic monatomic gases of finitemasses. The case of massless
particles
is excluded in thistheory
and will be discussedelsewhere
[14].
It is well established that for such a mixture thesinglet
distribution functionf,
(.<, p,obeys
the covariant Boltzmannequation [1-6]
Pf ?»f, (x,
Pi)
,=
I
C~f,, fj (2. II
,
where x
= (ct, r
),
p, =(cp$,
p, withpi
=
(p)
+m) c~)'~~,
and the collisionintegral
isgiven by
the formulaC
~f,, fj
=
G,j ld~Pj d3p,*
d3p~*w,~
~p, p~p,*
p~*j
x
lf,* (x, P,* fj* (x, Pj* f, (x,
Pi) fj
(x,Pj Ii
,
(2.
2j
with d~fi~ =
d~p~/p),
d~fi~* =d~p~*/p)*,
etc. and W~~~p, p~p,*
p~*denoting
the rate of transition from the initial state~p,, pj
to~p,*,
p~* as a result of a collision betweenparticles
I andj.
Thefactor G,~ =
3,~/2
insures that the final state is not counted twice. The asterisk denotes thepost-collision
value. Note that thesubscripts
I andj play
a dual role oflabelling
aspecies
and aparticle
of thatspecies.
The transition rateW,~~p, p~(p,*p~*)
is a scalar under Lorentz transformation andobeys
themicroscopic reversibility [6].
The distribution function is normalized to the number
density
of thespecies
inquestion
:n,(x)
=
d3p, f, (x, p~) (2.3)
The
particle
four-flowNf
and the covariant energy-momentum tensor ofspecies
I aredefined, respectively, by
the statistical mechanical formulasNf
(xj
=
(pi f~
(x, p,j
,
(2.4)
andTf
"(x)
=
(Pf
P,"f, (x,
P,)) (2.5)
Here the
angular
brackets are the abbreviation of theintegral l'' )
" ~
d~P>~pl
~ ~
d~»..
Then, the total number four-vector N" and total
energy-momentum
tensor T"" aregiven,
,
respectively, by
the sum of thespecies
components over allspecies
: N"=
jj Nf
and, =i
~Mv
~j
~Mv,
i =I
The entropy four-flow may be also defined in covariant forrn
s~
(x
=
f St
(.<
j
=
f k~ (pi tin f~ (x,
p,j
ij f,
(x, p,j (2.6j
for the whole system of the mixture in
question.
We will later return to thisimportant quantity
to discuss its consequences for irreversible
thermodynamics.
Following
Eckart[15],
we define thehydrodynamic velocity by
U~=
cN~/(N
"N~
)'~~(2.7)
This may be put into the form
U"
= p ' N"
(2. 8)
where p is the
hydrodynamic
numberdensity
definedby
p =
f
p, =
f c~~Nf
U~
=c~~N" U~. (2.9)
,
These formulas
imply
thatp(x)
=
n(x)(I u~/c~)'~~
and U"=
(c, u)(I u~/c~)~
'~~Various relevant
macroscopic
variables such as energydensity,
heatflux,
etc., can bedefined in covariant form with the
help
of thehydrodynamic four-velocity just
defined. Thescalar internal energy
density
E~ ofspecies
I isgiven
in terms of the internal energydf, per
particle
or in terrns of the energy-momentum tensorby E,
= p,
8,
= c~ ~
U~ Tf" U~ (2. lo)
,
The total internal energy
density
will be denotedby
E=
£ E,.
With the definition of the, i
projector
A"~=
g""
+c~~
U"U", g"~ being
the metric tensor, the heat fluxQf
and diffusion fluxJf
are definedby
Qf
=
U~ T)" AS, (2. I)
Jf =Nf-c,N", (2.12)
where c, is the number fraction defined
by
c, =
p,/p
(2.131We will find it more convenient to use a new heat flux defined
by
Q,'"
=
Qf h, Jf (2.14)
where h~ is the
enthalpy
perparticle
ofspecies
Ih,
=
8,
+ p, v, and h=
£
c,(8,
+ p, v, )=
8 + pv
(2.15)
1=1
1760 JOURNAL DE
PHYSIQUE
I N° 8Here p, is the
hydrostatic
pressure ofspecies
I, v,= p/ I, and v = p l The heat fluxes of
,
different
species
sum up to the total heat fluxQ~' Q~
=
£ Qf.
The stress tensor=1
Pf"
is defined asPf"
=
AS T[~ A). (2.16)
This may be further
decomposed
into the tracelesssymmetric
part1I,"",
the excess trace part A, and thehydrostatic
pressure p, ofspecies
I as follows :Pf"
= p, A"" + A, A~"+1I,~" (2.17)
The traceless part is related to the viscous
phenomena
while the excess trace part is associated with the dilatation(or compression)
of the gas. Thehydrostatic
pressure is defined in terrns ofequilibrium (or
localequilibrium)
energy~momentum tensorT$"
p, =
A~~ T$" (2.18)
Then,
it is easy to see thatA, =
A~~ Pf"
p, =A~~ Tf"
p,,(2.19)
1I,""
= Pf" A~~ T$~
A""=
AS T)~ A) A~~ T)~
A~"(2.20)
3 3
The definitions made for the energy
density,
heatflux,
and stress tensor areequivalent
to thedecomposition
of the energy-momentum tensor as follows :Tf"
= c~ ~
E,
U" U" + c~~(Qf
U" + U"Qi)
+Pf"
=
c~~ E,
U" U" + p, A~" +c~~(Qf
U" + U"Q,")
+ A, A""+1I,"" (2.21)
The entropydensity S(x)
and the entropy 5P perparticle
are scalars definedby
:s(x)
=
psP(x)
= c- 2 s»
u~ (2.22)
This is the
quantity
we aregoing
to deal with in thetheory
of irreversible processes that will be constructed on the basis of the covariant Boltzmannequation.
The
particle
number and energy-momentum conservation laws areeasily
derived from thecovariant Boltzmann
equation
since theparticle
number and energy-momentum are theinvariants of the Boltzmann collision terra. The
particle
number balanceequation
is3~N~ (x)
=
0
(2.23)
while the energy-momentum balance
equation
is3~T~"(x)
= 0
(2.24)
With the definitions of the operators D = U~
3~
and V~ =A~ "
3~,
it is easy to obtain from(2.23)
or(2.24)
the various fluiddynamic equations
as follows :Equation of continuity
:Dp
= p
V~U~ (2.25)
Density fraction
balanceequation
For systems without a chemical reactionpDc,
=
3~Jf (2.26)
Momentum balance
equation
c~ ~
hpDU"
=V~p
+AS 3~fi""
+c~~(Af DQ" Q" V~U" Q" V~U") (2.27)
where~~~
"
f ~~'
~"" +Hi")
= AA"~ + n«v
'
(2.28)
Energy
balanceequation
:pD£
=
V~Q"
pV~U~
+fi"" V~U~
+ 2c~~ Q~ DU~ (2.29)
Theseequations
and the flux evolutionequations presented
later,together
with the entropybalance
equation,
form a set of evolutionequations
in thetheory
of irreversible processespresented
in this work.3. Flux evolution
equations.
The various balance
equations
derived earlier containmacroscopic
variables such as the stress tensor, heat flux and diffusionfluxes,
etc. whichrequire
their own evolutionequations.
Wecan derive them from the kinetic
equation.
To this end, we first define a tensor~/"~""...
~" as the average of its molecularexpression pi h)"'""
~,~"~ ~"~"
=
lpi h)~~~"..~ f,(x, P,)) (3.I)
where
h)"~~"...~
is the n-th element of a set of molecular moments in terms of which the distribution function may beexpanded.
Theleading
moments relevant tophysical applications
of the
theory developed
here are :h)~~= )
(U> P)
)~'A~ ~ Pf PI
- P,/P,,
(3.2b)h)~~
"
= -
~(U>
)
)~ (AS p[ pi U~
etc.
where
~i "
At 4~ (P$ P~ fe, gp
v
[AS 4~ (h, Pi PI
~P~ U> g
~~
(3.2e)
These moments tend to the nonrelativistic momentsappearing
in the nonrelativistic kinetictheory [13]. They
are constructedby
means of the Schmidtorthogonalization
method such thatthey,
whenaveraged, give
rise tophysically
relevant variables. We also note that a; - I as u/c- 0.
We then define
macroscopic
momentsdi,~~~~"
~, which are tensors of variousranks, by taking
contraction of~,~"~~"...
~" withU~.
W,~"'~"
= c~ ~
U~ ~,l"~~"
~"(3.3)
j762 JOURNAL DE
PHYSIQUE
I N° 8It is then easy to
show, by using
the definitionsof1I,~~
etc. that~ ~
~j,,~v
~/~»>.#,12'
= A, W>~~~" "
Q/"
~°>~~~'
'
~~~ ~~ ~~
Thus, we are
treating,~,~"
' ~~ ~"as a component of « four-tensor » and
macroscopic
moments di,~" ~"~ are their contractions with thehydrodynamic four-velocity
in the sense similar tothe scalars such as the
density,
entropydensity,
etc. This way,they
are put on theequal
conceptual footing
to the conserved variables and the entropydensity
to whichthey
are relatedas will be shown later. The evolution
equation
for~,~"'"~
~" iseasily
derived from the covariant Boltzmannequation
?«4r,~"~
"~ ~" =lpi ?«hl"
~"~f,
(,<, Pi))
+ A,~~~ "~(3.5)
where~(al»v.
fj~ jj~(«)»v
f~~ ~ jj
~~~j
, , >, j
j=1
With the definition of
d)~'"~
as
di,~~'"~...~
perparticle,
Wj~~~"~.~=pd)"J"~ (3.7)
and
by making
use of U"V~
=0,
we obtainpDdi°~»~ ~=zi~~»~ ~+A,~~'»~. (3.81
where the kinematic term
Z)"~"~
isgiven by Z)"~"~
"
(Pi 3«h)"~"~ f>(.t, Pill
+?T(4$ ~)"~"~' ~") (3.9)
This statistical mechanical formula may be worked out more
explicitly,
but it is not necessary to do so at thispoint
since our immediate interest does not lie in the relativistictheory
oftransport processes. See table I for their
explicit
forrnulas. Weemphasize
that the evolutionequations (3.8)
arecoupled
to the momentum, energy and concentration balanceequation
introduced earlier. As in the nonrelativistictheory
this set ofequations
is open and therefore must besuitably
closedby
means of a closure relation. When the set is thus closed, itprovides
relativistic
generalized hydrodynamic equations consisting
of(2.25)-(2.29)
and(3.8)
with thenumber of moments limited to a finite value
by
a suitable closure. The moment evolutionequation (3.8)
can beeasily
shown to tend to the nonrelativistic counterpart in the limit ofc - ~x~. The nonrelativistic limit of
(3.8)
isquite
clear from table I forZ)"~
in which therelativistic effect terms are
easily
discernable. The manner in which the moments(di,~"')
are defined in this work issignificantly
different from the one in the conventionalmoment method
[5]
and as a consequence their evolutionequations
areaccordingly
different.4. The H theorem,
temperature
and pressure.4.I THE H THEOREM. The entropy balance
equation
can be derived from the kineticequation. By covariantly differentiating (2.6),
we obtain~
~s»
= ~r~~,
(x ) (4, )
Table I. Kinematic Terms
Z)~~.
Definitions
[VU]~~~""
=
(V"U"
+V"U")
A""V~U~, [A.
B]~~J""
=
(A~" B$
+ A""Bf )
A""A"~B~~.
2 3
Kinematic Terms
Z)~~""
=
V~ ~,~~J"""
2[1I~VU]~~'"~
+ 2 p~[VU]~~J"~
+ 2 A,[VU]~~~"~
2 C~~
IQ, DU]
~~~""+
If, PI PI P) ~Pl U~)~ V«U~ (Af
U~ + U"Ail j ~~'
~' ~' ~'~' ~E
~~~fT
~~~"~
~ ~~"~
~ ~ ~> ~> ~' ~' ~l
~f' ~F~ ~W~l ~~ ~T
~
~fT
~~~
~ ~ ~ ~ ~~ ~ ~~c~ ~
(P f~
U~ +P)~
U~DU~
+ ~p, + A,)(U~
DU~ + U~ DU"Ii
,
Z)~~ =
V~
~,~~~~ +~1I,"~[VU](~)
p, D In ~p, v~~~) +~
A,
V~U~ V~ (J, p,/p,
+
j
C~ ~Qf Du~ j
c2f, pi pj p( p) ~pj u~)-
2v~u> A~t
,
~
zl~~»
=
v~
~r,~~>~» +H,»~Duv
~p, + A, Du»Jn Dh,
Q,>"vvu»
+ a,
J,"
U"V~h,
+ ~p, + A, U"V~U~
U"HI" V~U~
+ c~ a,
f, p," pf ~p[ U~
)~ 'V~h,
c~ ~ U"Qi'" DU~
+ C~
If, P," Pi PI ~Pl U~
)~~ a,h,
V~U> +(a, h,
n,E,
DU"+ U~
NT h, ?«a,
C~If, Pi P," PI ~Pl U~
)~hi ?«a,
+ C.~
If,
P,"Pi PI (U~ PI
)~~h,
V~U>,
z)~~~
=
V~~,~~'
~"Jj V~u"
p, Du~ c~ ~ u"Jf Du~
C~
If, Pi PI PI ~Pl u~
j- 2v~u>
where
"ent (X "
iB I I (i~ f>
(X, p,I C ~f>,fj11 (4.
21j
By following
the well knownprocedure [6]
based on the symmetryproperties
of the transitionprobability W~p,
p~p,*
p~* ), it is easy to show that the entropyproduction «~~~(x)
ispositive
~ent(.t)
~ °(4.3)
with the
equality applying only
atequilibrium.
This is the content of the H theorem. It is astatistical mechanical
representation
of the second law ofthermodynamics.
The entropybalance
equation
for the entropydensity
introduced in(2.22)
can be obtained from(4.I ) by using (2.23)
pD5~
"
?MJf
+ "ent(Xl (4.4j
1764 JOURNAL DE PHYSIQUE I N° 8
where
Jf
= S" SAN "=
S"
p5PU" (4.5)
Equation (4.4)
may be recast into the formpD5P
=
V~Jf
+c~~ Jf DU~
+«~~~(x). (4.6)
Various balance
equations
and flux evolutionequations previously
introduced aresubject
to the entropy balanceequation
in the sense that the entropyproduction «~~~(x)
must remainpositive
so that the second law ofthermodynamics
is satisfied. As it stands, the entropy balanceequation provides
no clue as to how thisrequirement
of the second law is fulfilled.This
point
isusually
clarifiedby using
anapproximate
distribution function(e.g.,
theChapman-Enskog solutions),
but since thetherrnodynamic
laws must be satisfiedrigorously,
any conclusion drawn in that respect on the basis of an
approximate
solution to the kineticequation
cannot be relied on if the system is removed fromequilibrium by
anarbitrary degree.
Wi therefore must
employ
arigorous approach.
The modified moment method[13]
meets thisstringent billing,
and we will use it in this work.As a further
preparation
for this method, we note that theequilibrium
solution to thecovariant Boltzmann
equation
isgiven by
the well known Jiittner function[6]
fe> "
~Xpl~ Pelj'f
UeM PIll (4.7)
where
p)
is the normalization factor which tums out to be the chemicalpotential,
U~ is the
velocity
atequilibrium,
andfl~
tums out to beproportional
to the inverse temperature :fl~
mI/k~
T~(4.8)
This parameter
p~
is deterrninedby comparing
thethermodynamic
entropy, pressure, andinternal energy with the statistical mechanical entropy
S~,
pressure and intemal energycalculated with the
equilibrium
solution(4.7)
of the kineticequation by following
the basic strategy of the Gibbs ensembletheory.
Since the chemicalpotential
is definedby
p)/T~
=
(35~/3p,) (4.9)
in
thermodynamics,
thestatistically
derived forrnula for S~ indicates that the norrnalization factorpi
is identified with the chemicalpotential.
The ideal gasequation
of state issimilarly
identified
by
p=
pk~T~, (v
=
p~'), (4,10)
This forrnula is also
easily
derived from(2.18)
when the statistical forrnula for p iscomputed
with the
equilibrium
distribution function(4.7).
Therefore, thethermodynamically
defined pressurethrough
theequation
of state(4,10)
is consistent with the statistical mechanicaldefinition of p, The situation thus is seen to be the same as in the nonrelativistic
theory
in that thekinetically
and thethermodynamically
defined pressure are identical,4.2 TEMPERATURE IN RELATIVISTIC KINETIC THEORY. In the nonrelativistic kinetic
theory
the temperature of the fluid is defined such that the
following
relation holds true between the intemal energy and thetemperature [7]
£
=
~k~T. (4.ll)
The
temperature
defined in this manner is called the kinetic temperature and coincides with thetherrnodynamic temperature
definedthrough
thethermodynamic
relationT~ '
=
(35~/3E) (4.12)
However,
in the relativistictheory
the situation is alteredsignificantly
since if the kinetic temperature is definedby (4, II),
then the temperature so defined does not agree with thethermodynamic
temperature definedby
means of(4.12), Nevertheless, (4.12)
is consistent with(4.10).
One recovers the coincidence between(4.ll)
and(4.12)
in the limit of u/c-
0, provided
that themc~
term isneglected
; see reference[6]
for theexpression
for 8.However,
it would bepreferable
to have thethermodynamic
temperature coincide with the kinetictemperature
in the relativistictheory
aswell,
since the kinetictheory
should be amolecular
representation
ofthermodynamics underlying macroscopic
processes. Here wedefine the kinetic temperature for a system of
particles
of finite masses such that itprecisely
coincides with the
thermodynamic
temperature as followspkB
Te"
I (2
C~)~~Pf PI
UeMUev ~)
C~ fe> (X, P,)) (4.13)
This definition
yields
a correct nonrelativistic limit. It is still rootedbasically
in the idea that the temperature is a measure of kinetic energy. Since the rest mass should not be a factor in the measure, it is subtracted out in the definition, Since theintegrand
in(4.13)
isscalar,
theintegral
may be evaluated in the local rest frame whereU~~
=(c,
0, 0,0).
Then,fe> " eXp
j- pe(Cp) /lj)j (4.14)
Now,
by following
the well-knownprocedure
in the Gibbs ensembletheory
we canidentify p~ by p~
=I/k~
T~ as in(4.8).
This also proves the coincidence of the kinetic temperature with thethermodynamic
temperature, if the kinetic temperature is defined as stated in(4.13).
Equation (4.13)
is another way ofexpressing
Tolman'sequipartition
theorem[16]. Therefore,
the definition of temperatureby (4.13)
is seen to be based on theequipartition
law. In otherwords,
the statistical mechanical temperature may be definedby
means of theequipartition
theorem of
Tolman,
whichequally
holdsfor
the classical and relativistic theories. Thisinterpretation
of the definition of temperatureprovides
us with a universal wayof defining
temperaturefor
both classical and relativistic theories : theequipariition
lawof
Tolman.The local rest frame version of the definition
(4.13)
of kinetic temperature inrelativity
wassuggested by
ter Haar andWergeland [17],
and it was later taken upby
Menon andAgrawal [18],
but aspointed
outby Landsberg [19],
their definition ispreceded by
Tolman[16].
On the otherhand,
in theChapman-Enskog theory [6]
the kinetictemperature
is defined such that theequation
of state intherrnodynamics
and in kinetictheory
coincide with each other. Therefore, there appear to be two different modes of definition for temperature, but, infact, they
areidentical at least in the case of ideal gases. We show it below. Since there holds the relation
Pi P) Ue» Uev m)
C~=
pf pi Ue» Uev Pi
P>»U( Uev
" C~Pi P) 4v»
,
(4.15)
substitution of
(4.15)
into(4.13) yields
~
pk~
T~=
A~~ Tf"
3 2 ~ which
implies
theequation
of state.1766 JOURNAL DE
PHYSIQUE
I N° 85. Modified moment method.
With the
equilibrium
distribution functionuniquely
determinedby
the H theorem and the parameters therein identified with thethermodynamic
temperature and chemicalpotential,
it isnow
possible
todevelop
a method to determine thenonequilibrium
distribution function such that it is consistent with the H theorem. In the nonrelativistictheory
such determination of anonequilibrium
distribution function is madepossible by
the modified moment method[13].
We
apply
the same method to the covariant Boltzmannequation.
Tobegin with,
thefollowing
consideration is
helpful
foradopting
ageneral
strategy.Since the
nonequilibrium
distribution function must reduce to theequilibrium
distribution function as the system tends towardequilibrium,
it is natural to construct the former on the latter. Therefore, we look for thenonequilibrium
distribution function in the formf>
~
fi(Pe,
p>e,US
)Af>
where
f)(p~,
p,~,Uf)
is theequilibrium
distribution functionalready
determined andAf,
is thenonequilibrium
correction. This correction term may beexpressed
in avariety
ofways. Since the system is in
nonequilibrium,
it ispreferable
to relax theequilibrium
parameters
p~,
p,~,US appearing
inf)
and make themspace-time dependent, namely,
p~
~ p ; p,~ ~ p ;US
~ U"(M.C.)
The
equilibrium
distribution function so relaxed and madespace-time dependent
becomes the localequilibrium
distribution function. The latter is thebuilding
block of the solution methodsin the kinetic
theory
of gases. Thesecorrespondences
mentioned above can be mademathematically precise by
thematching
conditions used in kinetictheory.
Since the main aim of this paper is inderiving
the entropy differential anddeveloping
the basicequations
for transport processes, it is not necessary to delve into thequestion
ofmatching
conditions for temperature,density, velocity
mentioned earlier. Suchquestion, however,
will have to be dealt with when thetheory
of irreversiblethermodynamics
is furtherdeveloped
indepth.
Being space-time dependent, p,
p,, and U" are notequilibrium quantities. They
are, infact, statistically
defined in terms ofnonequilibrium
distribution functionf,.
Inparticular,
forp
=
I/k~
T3
PkB
T=
£
C~~~Pf PI u~ u~ m)
c4j f, (x,
p,)) (4.13
>), i
This definition is the
nonequilibrium analog
of(4.13) holding
for systems ofparticles
of finitemass.
Now, the
nonequilibrium
distribution function is taken with thefollowing
ansatz which containsf~,
as a part of it and is written in anexponential
formf,
= exP
I-
P~f u~
+H)' p,11 (5.1)
where
H)~~
~i ~)~~
fh~"~~~f
"~~
(5.2)
£ xia)
~~(a)
«»j
and p, is the normalization factor
given by
the formulaexp(- pp,
= pi ' c- ~p) u>
exp ppi u~
+£ X)()
th)"~
~"l. (5.3j
« ~
The parameter p =
I/k~
T has themeaning
as fixedby (4.13')
and elaborated earlier. Thetensors
X)j)
t are as
yet
undetermined functions ofmacroscopic
variables, but will bedetermined such that any
approximation
to them does not violate the H theorem andconsequently
theresulting
formalism for irreversible processes remains consistent with the second law ofthermodynamics.
To construct such a
formalism,
we assume thatX)"~
are somehow known and thenproceed
to construct the formalism.
(In
this sense the attitude taken here is similar to thatby
the Gibbsensemble
theory
where thepartition
function is assumed to be known and with itthermodynamic
functions and their relations aresought
after.By making
sure that the entropyproduction
remainspositive
in theapproximation
to be made to the unknowns X,l~~ in thefuture,
theconsistency
of the formalism with the second law ofthermodynamics
isassuredly preserved.
For n= I the unknown is a second rank tensor since
h)'
is a second rank covarianttensor for n
= 2 it is a scalar ; while for cy
=
3 and 4 the unknowns are vectors. We will
dispense
with the first mode ofexpression
in(5.2)
and use thesymbol
O whenever convenient.The sum over
cy in
(5.2)
inprinciple
runs over any number of terms, but it must be such thatf,
is normalizable.Only
this restriction is necessary informulating
thetheory
since the distribution function isexplicitly
usedonly
to definemacroscopic
observables in the momentmethod, and once that is done, its role in the kinetic
theory
isbasically
over except for the entropyproduction
which must becomputed
withf,
in(5.I)
such that the restrictionjust
mentioned is met. The
exponential
form forf,
will be called thenonequilibrium
canonical forrn.Substitution of the
nonequilibrium
canonical form forf,
into(4.2)
for the entropyproduction yields
the formula"ent ~
~
i I l~)~)
fA/~~~
~~« >
1
~-
j~ j~ ~(a
j ~ ~ (a)(5 ~j
, j
i=laml
for which the collisional invariants of the Boltzmann collision
integral
areexploited.
As in thecase of its nonrelativistic version
[13],
the entropyproduction
in this form suggests that energydissipation
arisesowing
to thedissipative
evolution of nonconservedmacroscopic
variablesdi,~"'"~
As it stands in(5.4),
«~~~ iseasily
seen to remainpositive
no matter whatapproximation
is made to the unknownXl"
~, thanks to the H theorem and the
nonequilibrium
canonical forrn for
f,.
Since it is notpossible
to determineX)"~ exactly,
this property of«~~~ to remain
positive
is very useful to have informulating
athermodynamically
consistenttheory
of irreversible processes. This is madepossible by
thenonequilibrium
canonical form for the distribution function.The entropy balance
equation (4.4),
as itstands,
does not reveal how the second law works to conform irreversible processes to it. With thenonequilibrium
canonicalform,
the situation isgreatly improved
and we are now able to calculate the entropy differentialaccompanying
irreversible processes in a way consistent with the second law.
On substitution of the
nonequilibrium
canonical forrn into the statistical mechanical formula(2.6)
and the entropy flux(4.5)
and use of thedecomposition (2.21)
forTf~,
we obtain the1768 JOURNAL DE PHYSIQUE I N° 8
entropy flux four-vector in the forrn
, ,
Jf
= T~ '£ (Qf
P,Jf )
+ T~£ £ XIII,
v
n;~"
~' "~(5.5j
,=1 ,=1«~i
where
n,(«
v «~= ~r,(«> v «P
dim
~ « N»= ~f,~" " "~
At ~~.~l
Now,
by substituting (5.4)
and(5.5)
into the entropy balanceequation (4.4)
andeliminating
thedissipation
term A,~" and thedivergences
ofQf
andJf
with thehelp
of the evolutionequation
for
di)~~
and the balanceequations,
we obtain DSP in the formDSP
= T~
lD£
+pDv f
p,
Dc,
+f £
X)~~
3Ddi)~
c- ~0~ DU~
+ R(5.7)
, =1 , =1 « ~
where
R
=
R~ R~, (5.8)
Rd
"
(PT)~ £ (- 1I,"" V~U~ A,
A""V~U~
+Qf 3~
In T +Jf
T3~jZ, (5.9a)
,
Rc
= p '£ £ 1?~ (k)a~
On,(a~~)
+ii"
Oz)a'j
,
(5.9b)
, « ~ i
X)~~
=X)~ J/T jZ,
=p,/T
v = p '0"
=
Q"/p (5. lo)
Note that
-A""V~U~ =V"U~.
As in the nonrelativistictheory [13],
we define thecompensation
differentialD V/
=
T- '
lD8
+pDv jj
p,Dc,
+f jj X)~'3 Dd)"~
c- ~0" DU~ (5.
II, , am1
which differs from the classical formula
only by
the appearance of thevelocity
derivative term that isO(c~~)
and thus vanishes in the nonrelativistic limit. It isinteresting
to see that inrelativistic
theory
the fluidvelocity
appearsexplicitly
as a Gibbs variable in contrast to the nonrelativistictheory.
Since the term R does not vanish if the system is away from
equilibrium owing
to the factthat the fluxes do not vanish in a
nonequilibrium condition,
the entropy differentialDSP is not
equal
to thecompensation
differential D V/ and hence does not become a Pfaffian form.Equation (5.7)
presages theinvalidity
of the extended Gibbs relation for DSP unless R=
0
identically.
To answer thisquestion
moredefinitely,
we examine R in detail.The
nonequilibrium
contribution R may be cast into a more transparent and useful form. To this end, thefollowing
relations are useful. Thenonequilibrium
canonical form forf,
may be recast into the fomi£ Xl"
8h)"'
=
AA,
kB in~f,/fi), (5. '2)
« ~
where
AR,
=ji, p), p)
=
p)/T.
By using
the kineticequation
and forrnula(3.9),
it ispossible
to show, ,
I I Xl"
3Z)"
=
£ £ If, Pf ?~ (i)"~
Oh)" ~))
+d~ (Jr I)"~
3 ~,~"~")]
, «~ , a~
£ £
,If, Pi (?~ X)"~)
Oh)"J)
+(d~ I)"~)
OAt
4r,1"~"j (5.131
,=1«~i
Since from the kinetic
equation
£ If, Pi ?~
ln~f,/f)))
=
o
(5.14)
,
and in view of
(2.27)
and thedecomposition
3~=
c~~
U~ D+ V"
If, Pf (?~ Xl"
~l 8h)"~)
+(?~ X)"~)
3AS ~,~"'"
~(~p~i )3~> ~~v(~M~' )3~'
=
(c-
2u~
D + v~
j k)"
O ~,~~ "(v~ I)a~)
O ~,~~ "= ~- 2 ~ ~ (a)M z
Dg(«)
=
w,("
oDk)"'
,
(5,15)
there follows the relation,
Rc
= P '
£ INS ?» AA,
4~,~"~ 3DX)"~]
, i
= p
f Jf
V~ Ajz, f jj di)"
O
Dk)"
c, DAjz, (5.16)
,=1 >=1 «»1
The Gibbs-Duhem relation follows from the statistical mechanical definition of
p)
if the localequilibrium
Jfittner functionf)
= exp (-
ppf U~
+p J1))
is used. It may be written in the formf
c,
Dji)
=
8D
(1/T)
+ vD~p/T) (5.17)
=1
Here,
theequilibrium
energy8~
is matched with thenonequilibrium
energy 8 and theequilibrium density
n~ matched with thedensity
n to obtain(5.17).
SinceJf U~
= o and thus, ,
jjJ[3~ji,= jjJ)V~ji,,
,=i >=i
with
(5.16)
forR~
and(5.17),
R can be recast into a more transparent formR
=
f £ ail"~
3
Dk)"~
c,jZ~j
+ 8D
(1/T)
+ vD~p/T) &~ (5.18)
, =1 « ~
where
&~
=(pT)~
'£ (- 1If" V~U~
+ A,V~U~
+Qf V~
In T +Jf
TV~jZ)). (5.19)
1770 JOURNAL DE
PHYSIQUE
I N° 8Note that this
quantity
is a measure of energydissipation
due to irreversible processes in the system.By defining
the Boltzmann function fl3,
fl3 = 5P T~ ' 8 + pv
£
c, p,£ £ d)"~
3X)~~ (5.20)
>=i >=i«~i
and
combining (5.7)
with(5.18),
wefinally
obtain a differentialequation
for fl3 which isequivalent
to the entropy balanceequation (4.4)
Dfl3=
&~ c~~
T~ '0" DU~ (5.21)
This
equation
differs from the classicalanalog [13] by
the last term which vanishes in the nonrelativistic limit. Sinceby
the momentum balanceequation
c~ ~
0~ DU~
= h~
l~~ lv~p
+A~~ 3~fi
"" + c~~(A~~ DQ" Q~ V~U" Q" V~U~)] (5.22)
we may write
(5.21)
in the formDfl3
=
£~ (5.23)
where
£~
=
(pT)~ f [-1I~"" V~U~ A,
A""V~U~
+Qf(V~
In T + h~V~p)
+Jf
TV~jZ)]
, =1
T~ '
11" lA~, ?~P""
+c-~(A~~ DQ" Q~ V~u" Q" V~u~ )j (5.24j
The
dissipation
term£~
contains termsquadratic
in fluxes such asQ"
and P "~ which are one orderhigher
than the terms in&~. They
are relativistic effects.The
dissipation
term£~
does not vanish if there is an irreversible process present in the system, andconsequently
Dfl3 # 0 except atequilibrium.
This means that DSP is not even aPfaffian differential and therefore not an exact differential in the space of variables
8,
v, c,,di)~', (lwiwr,
cy ml ). It is notequal
to thecompensation
differential D V/ away fromequilibrium.
Thatis,
the extended Gibbs relationfor
D3P does not e.<istif
thesystem is aM>ay
from equilibrium,
in contradiction with thepremise
made in the relativistic versionofextended
irreversiblethermodynamics.
In a recent work[13, 20]
it is shown that the extended Gibbs relation for DSP does not exist in the nonrelativistictheory
either. This is arigorous
result based on the covariant Boltzmannequation
and does notrequire
anexplicit
solution for the unknowns X~~" for its
validity
aslong
as the latter exist. There, however, existsa differential form for the
compensation
function V/ that looks like an extended Gibbs relation.It may be used to construct a
thermodynamic theory
of irreversible processes in a wayparallel
to
equilibrium thermodynamics.
Thetheory
willprovide
various relations betweennonequilib-
rium
thermodynamic quantities
that can be related toexperimental
observables. In any case, the present result on DSP calls for revision of theexisting
notions ofnonequilibrium
entropyand entropy fluxes and of the
applications
thereof in extended irreversiblethermodynamics [21], including
its relativistic version.6. Cumulant
expansion
for thedissipation
termsA)"'
The
dissipation
terrns A,~"~ defined in(3.6)
must be calculated in terms ofmacroscopic
variables before the evolution
equations
for di,~" are solved forspecific
flowproblems.
SinceA,~"~ are
intimately
related to the entropyproduction
and the latter must remainpositive regardless
of theapproximation
made toA,~"',
it is best to calculate thedissipation
termsthrough
the entropyproduction
that ismanifestly positive.
As in the nonrelativistic kinetictheory,
the aim isnicely
achieved if a cumulantexpansion
isemployed.
To this end, we first write the distribution function in the form
f,
=
f)
exP(- w,) (6.ij
where
f$
is the local Jiittner(equilibrium distribution)
functionfj
= exp
i- p ~pt U~
piii
,
(6.2a) exp(- p p,~)
=
p/
'(c~
~p) U~ exp(- ppf U~ ))
,
(6.2b)
w, =
P (Hl~'- Ap1) (6.31
We also define the abbreviations
'J
~' ~ ~J'
~'J ~'~
~~J~ ~~'~~
and the
following
reduced variablesgr,"
=cpf
p,
tf"
=
U"/c.
(6.5)
We also scale the distribution function with the factor
p/(mk~
T)~~~ where m is the mean restmass of the mixture ; that
is,
fi
=
lP/(mkB
T)~/~ff (6.61
Therefore,
ff
is dimensionless. The transition rate W,~ is scaledby A~/mkBT
where A is aparameter
of dimensionlength
we may take it with the mean freepath
or with theinteraction range or the size parameter. Thus, we write
W,~ = W,~
(A ~/mk~ T) (6.7)
so that
Wj~ is dimensionless. It is then convenient to define the parameter
g =
(mc~/k~ T)~/cA
~ p~(6.8)
which has a dimension of volume x time. If this parameter is
multiplied
to the collisionintegral
for the entropyproduction,
it is nondimensionalized as follows"ent(X)
" ~B
~ent~~ (6.9)
where the nondimensional reduced entropy
production
&~~~ isgiven by
theintegral
&~~~ =
l f f
~<~~
y~~
i iexp
(-y~~
i
exp(-
x,~11,
(6. 101
where
(. )
=
G,~ d~it,
d~fi~d~t,*
d~it~*ff f(
W,~,