1. Introduction
It is well-known that the appropriate theory of the monatomic gas is the Boltzmann equation (as usual, the repeated indices denote the summation):
where the state of the gas can be described by the distribution function
, being
the space coordinates, the microscopic velocity and the time, respectively, and
Q denotes the collisional term. A huge literature background exists on the Boltzmann equation in which very important mathematical contributions were given by Cercignani [
1,
2]. Associated to the distribution function, we can construct macroscopic observable quantities that are called moments (
m is the atomic mass):
where the moment with
is denoted as
F and is the mass density
. As a consequence of the Boltzmann equation (
1), we have an infinite hierarchy of moment equations that are in the form of balance laws:
where
For a small Knudsen number , the continuum approach with the classical constitutive equations of Navier–Stokes and Fourier (NSF) gives a satisfactory theory and is applicable to a larger class of fluids, such as polyatomic and dense gases, compared to the Boltzmann equation.
Beyond the assumption of the local thermodynamic equilibrium which determines the application range of the NSF theory, many different approaches of nonequilibrium thermodynamics start from different points of view, such as the Extended Irreversible Thermodynamics (EIT) [
3], the Rational Extended Thermodynamics (RET) [
4,
5,
6,
7], GENERIC, an acronym for the General Equation for Non-Equilibrium Reversible-Irreversible Coupling proposed in [
8,
9,
10]. A tentative list of some different approaches in nonequilibrium thermodynamics was presented by Cimmelli, Jou, Ruggeri, and Ván (see [
11] and references cited therein), and in the recent papers by Jou [
12], by Öttinger, Struchtrup and Torrilhon [
13], and by Kovàcs, Madjarević, Simić and Ván [
14].
This paper belongs to the approach of RET. In this theory, dissipative fluxes, such as the viscous stress and the heat flux, are adopted as independent variables in addition to the usual hydrodynamic variables, and a system of balance equations with local-type constitutive equations is assumed. The main idea of RET is to consider, for sufficient large Knudsen number
, a structure of balance laws that has the form dictated by the moments (
2) truncated at some level. Then, the main problem is to obtain an optimal closure procedure. The first approach was purely phenomenological, which adopts the structure of balance laws of moments but forgets that the
are moments of a distribution function. The phenomenological closure was obtained by using the universal principles of continuum thermomechanics—(I) the Galilean invariance and the objectivity principle, (II) the entropy principle, and (III) the causality and thermodynamic stability (i.e., the convexity of the entropy)—to select admissible constitutive equations.
The first paper with this procedure was given by Liu and Müller [
15] motivated by a paper of Ruggeri [
16], considering 13 moments in the form of (
2) with
and taking only the trace part of the triple tensor with respect to two indexes:
(so-called ET
). It was surprising that the macroscopic closure obtained only by adopting the previous universal principles gives the same system obtained by Grad [
17] using a completely different closure at the kinetic level. Successively, Kremer presented a refined model with 14 fields (monatomic ET
) [
18] by adopting a new scalar field
in addition to the previous 13 fields:
.
For the case with many fields such as (
2) truncated at a generic tensorial order
, to avoid the complexity of the phenomenological approach, the so-called molecular extended thermodynamics has been proposed in which the macroscopic quantities are moments of a distribution function [
4]. For the closure, we adopt as a technique the variational procedure of Maximum Entropy Principle (MEP) introduced first in the theory of moments by Kogan [
19] and resumed in the case with 13 moments by Dreyer [
20]. The MEP for the system with many moments is studied in the first edition of Müller and Ruggeri’s book [
4], and it was proved that the closed system is symmetric hyperbolic. See also on this subject the mathematical revisiting due to Levermore [
21]. It was also proved that the MEP closure is equivalent to the closure using an entropy principle by Boillat and Ruggeri [
22]. A huge literature exists on the closure problem of moments for monatomic gas (see, for example, the book of Struchtrup [
23]).
The first relativistic version of the modern RET was given by Liu, Müller and Ruggeri (LMR) [
24] considering the Boltzmann–Chernikov relativistic equation [
25,
26,
27]:
in which the distribution function
f depends on
, where
are the space-time coordinates,
is the four-momentum (
),
,
c denotes the light velocity,
m denotes the particle mass in the rest frame and
. The relativistic moment equations associated with (
3), truncated at tensorial index
, are now
with
and
When
, the tensor in (
5)
reduces to
. Moreover, the production tensor in (
5)
is zero for
, because the first 5 equations represent the conservation laws of the particle number and the energy-momentum, respectively.
When
, we have the relativistic Euler system, and when
, we have the LMR theory of a relativistic gas with 14 fields(in the monatomic case, from (
5), we have
and therefore only 14 equations of (
6) are independent):
The surprising result was that the LMR theory converges, in the classical limit, to Kremer’s monatomic ET
theory, not Grad’s theory (thus ET
) as was expected [
5,
28,
29].
For many years, the applicability range of RET was only limited to monatomic gases both in the classical and relativistic regime. For rarefied polyatomic gases, after some previous tentatives [
30,
31], Arima, Taniguchi, Ruggeri and Sugiyama [
32] proposed a binary hierarchy of field equations with 14 fields (polyatomic ET
) because now there is also, as a new field, the dynamical pressure relating to the relaxation of the molecular internal modes which is identical to zero in monatomic gases:
where
is the mass density,
is the momentum density,
is two times the energy density,
is the momentum flux, and
is the energy flux. As usual,
denotes the components of velocity, and
is the specific internal energy.
and
are the fluxes of
and
, respectively, and
(
) and
are the productions with respect to
and
, respectively. This theory converges to the NSF theory in the parabolic limit, and in the monatomic singular limit, it converges to the Grad’s theory [
7,
33,
34].
This hierarchy was justified from the kinetic consideration in [
35,
36,
37] by using the kinetic model of polyatomic gases. In the kinetic model, the distribution function
is assumed to depend on an additional non-negative internal energy parameter
that takes into account the influence of the internal degrees of freedom of a molecule on energy transfer during collisions and to obey the same form of Boltzmann equation (
1). This model was introduced at a numerical level by Borgnakke and Larsen [
38] and the theoretical description was given by Bourgat et al. in [
39]. Another description of polyatomic gases consists of a semi-classical approach, which describes the internal structure of a molecule with discrete energy levels and treats the gas as a sort of mixture of monatomic components. In the regime of RET, at least for the case with the smallest set of independent fields, it has been shown that the approaches with the continuous energy parameter and with discrete energy levels give the same differential system of macroscopic fields [
40].
The theory with generic number of moments was also developed in [
35,
37,
41] of which the system of moments equations is the following:
with the following definition of moments of polyatomic gases (
):
where
is the state density corresponding to
, i.e.,
represents the number of internal state between
and
. The measure
is necessary to recover the caloric equation of state of internal energy for polyatomic gases as observed first in [
39]. In
Section 2, the derivation of
is discussed. We need to remark that the two blocks of hierarchies in (
8) are not separated because the last fluxes in both hierarchies together with the production terms are functions to be determined by the closure of all densities
. The index
and
. Moreover,
since the first 4 equations of the
F’s hierarchy and the first scalar equation of
G’s hierarchy represent the mass, momentum, and energy conservations, respectively. It was studied in [
37] that the physically meaningful choice of the truncated order
and
, in the sense of the Galilean invariance and the characteristic velocity, is
.
Recently, Pennisi and Ruggeri first constructed a relativistic version of polyatomic ET theory in the case of
[
42]. Then, in [
29], they studied the classical limit of generic moments equations (
4) for a fixed
N both in monatomic gas of which moments are (
5) and in polyatomic gas of which moments are given by:
with a distribution function
depends on the extra energy variable
, similar to the classical one. They proved that there is a unique possible choice of classical moments for a prescribed truncation index
N of (
4). The moment system
is the Euler system with 5 moments for both cases of monatomic and polyatomic gases. For
, which is the case for viscous heat-conducting fluids, in the monatomic case, we have the monatomic 14-moment equations according to the old result of [
28]. Instead, in the polyatomic case, for
, we have 15 moments in which, in addition to the previous polyatomic 14-moment equations (
7), one equation for a mixed type moment
defined by
is involved. In the case that
, the new hierarchy contains, in addition to the
and
hierarchies (
8) with
and
, more complex
hierarchies for the mixed type of moments (see [
29]), and these are absent in not only the previous studies of RET [
34] but also other moment theories [
43]. For more details on RET beyond the monatomic gas, see the new book of Ruggeri and Sugiyama [
7].
The motivation for the present paper arises from the following considerations: (i) every classical theory must be the limit of a relativistic theory, and therefore, the theory with the binary hierarchy for polyatomic gases is regarded as an approximation of a more general model; (ii) the second reason, which is typical of RET in general, is that the more moments are taken into account, the more proximity to the kinetic theory which corresponds to the limit of infinite moments is obtained. Although there is still no theorem, as we have seen for monatomic gas in [
5], it is needed to take many moments to have an optimal agreement with the experiments on such as the high-frequency sound wave, low-angle light scattering, or shock wave with a high Mach number. In the case of polyatomic gases, when the bulk viscosity is very high compared to the shear viscosity, the ET
gives excellent results concerning shock waves [
44,
45,
46] and sound waves with high-frequency [
47]. However, when the order of the bulk viscosity is the same or smaller the one of the shear viscosity, we have a similar situation to monatomic gases, and we expect the necessity of more moments.
Therefore, we think it is interesting to consider the new hierarchy of the moment comparing to the previous binary hierarchy (
8). As a tentative and the most simple case, we consider the case with
, that is, the system with 15-moment equations (ET
):
where
is the flux of
given by (
9), and
is the production with respect to
. In the following, after presenting equilibrium properties of the distribution function, we close the system (
10) using MEP. As the collisional term, we introduce the generalized BGK model for relaxation processes of molecular internal modes [
36]. We show that the closed set of the moment equations involves the polyatomic ET
theory as a principal subsystem, the monatomic ET
theory in the monatomic singular limit, and the NSF theory as its parabolic limit. To show the difference with the polyatomic ET
and the role of the new field
, we study the dispersion relation of the linear waves and compare the result of ET
.
2. Molecular Extended Thermodynamics with 15-Field
First, we recall the equilibrium distribution function for polyatomic gases that was deduced first in the polytropic case (
denote as usual the equilibrium pressure, the equilibrium specific internal energy, the mass density and the absolute temperature, while
is the Boltzmann constant and the constant
, where
is the degrees of freedom; in the monatomic gas
)
in [
35,
39] and in the present case of non-polytropic gas
in [
36,
40]:
where
is the Maxwellian distribution function and
is the distribution function of the internal mode:
with the peculiar velocity
and the normalization factor (partition function)
defined by
where the average of the internal energy parameter
is made with respect to
. From (
14)
and (
15), the equilibrium distribution function of internal mode satisfies
The specific internal energy is the moment of
as follows:
where
and
are the equilibrium kinetic (translational) and internal specific energies defined by
The identities (
18) are obtained by taking into account (
13)–(
15) and by evaluating the derivative of (
15) with respect to
T. Therefore, if we know the partition function
by a statistical-mechanical analysis, we can evaluate
from (
18)
(see for more details [
36]). Vice versa, if the caloric equation of state is known, from (
18)
, we can evaluate the function
in integral form with respect to
T as follows:
where
and
are the inessential constants. Then, the measure
is determined via the inverse Laplace transformation of (
15). For example, in the case of polytropic gases of which caloric equation of state is given in (
11), we obtain
explicitly as follows [
39]:
It was proved in [
36] that
where
is the specific heat of the internal mode. We remark that the relation between the pressure and the translational internal energy is as follows:
The specific entropy density in equilibrium is expressed by
with its translational part
and internal part
which are given by
2.1. System of Balance Equations for 15 Fields
The macroscopic quantities in (
10) are defined as the moments of
f as follows:
and the production terms
Since the intrinsic (velocity independent) variables are the moments in terms of the peculiar velocity
instead of
, the velocity dependence of the densities is obtained as follows:
where a hat on a quantity indicates its velocity independent part. The conventional fields, i.e.,
are related to the intrinsic moments as follows:
where the temperature of the system
T is introduced through the caloric equation of state
Let us decompose the intrinsic part of
into the equilibrium part and the nonequilibrium part
as follows:
where
and
is defined by
Similarly, the velocity dependences of the fluxes and productions are obtained as follows:
The velocity dependences of moments (
23) and (
28) ensure that the system (
10) is Galilean invariant, and this fact is in agreement with the general theorem on the Galilean invariance for a generic system of balance laws (see [
48]).
The constitutive quantities are now the following moments:
that are needed to be determined for the closure of the differential system together with the production terms
and
.
2.2. Nonequilibrium Distribution Function Derived from MEP
To close the system (
10), we need the nonequilibrium distribution function
f, which is derived from the MEP. According to the principle, the most suitable distribution function
f of the truncated system (
10) is the one that maximizes the entropy density
under the constraints that the density moments
are prescribed as in (
21) [
5,
20]. Therefore, the best-approximated distribution function
is obtained as the solution of an unconstrained maximum of
where
,
,
,
,
, and
are the corresponding Lagrange multipliers of the constraints. As
is a scalar independent of frame proceeding as in [
48], we can evaluate the right side of (
29) in the rest frame of the fluid
, and in this way we have the following velocity dependence of the Lagrange multipliers (according with the general theorem given in [
48]):
The distribution function
f, which satisfies
, is
Recalling the usual thermodynamical definition of the equilibrium as the state for which the entropy production vanishes and hence attains its minimum value, it is possible to prove the theorem [
49,
50] that the components of the Lagrange multipliers of the balance laws of nonequilibrium variables vanish, and only the Lagrange multipliers corresponding to the conservation laws (Euler System) remain. On the other hand, in [
35], it was proved that the distribution function maximizes the entropy density with the constraints of 5 moments
and
of the equilibrium subsystem is given by (
13). Therefore, in equilibrium,
coincides with the equilibrium distribution function (
13) with Lagrange multipliers given by
where
is the chemical potential. We remark that
in (
32) are the main field that symmetrize the Euler system as was proved first by Godunov (see [
34,
51]).
We observe that the highest power of peculiar velocity in
in (
31)
is even, i.e.,
. In general, the highest power is the same as the highest tensorial order of the system, and it is revealed in [
29] that the highest tensorial order of the system obtained in the classical limit is always even, i.e.,
. This fact indicates that, in principle, the moments can be integrable with the distribution function
(concerning the integrability of moments see [
21,
22]). Nevertheless, there remain problematics noticed first by Junk [
52] that the domain of definition of the flux in the last moment equation is not convex, the flux has a singularity, and the equilibrium state lies on the border of the domain of definition of the flux. To avoid these difficulties in the molecular extended thermodynamics approach, we consider, as usual, the processes near equilibrium. Then, we expand (
31) around an equilibrium state in the following form:
where a tilde on a quantity indicates its nonequilibrium part. In the following, for simplicity, we use the notation
f instead of
. Although the expansion of the exponential (
31) is truncated at the first order with respect to the nonequilibrium variables, it is possible to construct RET theories with high expansion as was presented first by Brini and Ruggeri in [
53]. The high order expansion has the advantage of having a larger hyperbolicity domain [
54,
55] and reducing the magnitude of the sub-shock formation in the shock structure [
46].
From (
33) with (
24) and (
27), the intrinsic nonequilibrium Lagrange multipliers are evaluated as functions of
up to the first order with respect to the nonequilibrium fields,
,
,
and
. The derivation is given in the
Appendix A. Instead of
, it may be useful to introduce the following nonequilibrium field:
Then, we obtain as the solution of (
A1):
Inserting (
32) and (
35) into (
30), we can write down the explicit form of the Lagrange multipliers. As is well known, the multipliers coincide with the main field
by which the system (
10) becomes symmetric hyperbolic. Therefore we heave the well-posed Cauchy problem (local in time) [
6,
22], and in some circumstances for small initial data, there exist global smooth solutions for all time (see [
7,
34] and references therein).
2.3. Constitutive Equations
By using the distribution function (
33) with (
35), we obtain the constitutive equations for the fluxes up to the first order with respect to the nonequilibrium variables as follows:
2.4. Nonequilibrium Temperatures and Generalized BGK Model
2.4.1. Nonequilibrium Temperatures
We recall that
and
given in (
24) are nonequilibrium variables while their sum is an equilibrium variable. Then, we can define two nonequilibrium temperatures
such that, by inserting them into the caloric equation of state (
12)
instead of
T, the nonequilibrium internal energies
are obtained, i.e.,:
The present definition of the nonequilibrium temperature is usually adopted in the kinetic theory. It has been shown that the nonequilibrium temperatures are equivalent to those defined through the generalized Gibbs relation in the context of RET for the case of the small set of independent fields [
56]. There also have been many other attempts to obtain well-defined nonequilibrium temperatures. For example, see [
57].
Recalling
and (
18) with (
38)
, the total nonequilibrium pressure is expressed by the thermal equation of state (
12)
with
as follows:
Since
, we have the following relation between the nonequilibrium temperature
and the dynamical pressure
:
Moreover, we have the relation among three temperatures from (
17) and (
26) as follows:
2.4.2. Generalized BGK Model
In polyatomic gases, we may introduce two characteristic times corresponding to two relaxation processes caused by the molecular collision:
(i) Relaxation time : This characterizes the relaxation process within the translational mode (mode K) of molecules. The process shows the tendency to approach an equilibrium state of the mode K with the distribution function having the temperature , an explicit expression of which is shown below. However, the internal mode I remains, in general, in nonequilibrium. This process also exists in monatomic gases.
(ii) Relaxation time of the second stage: After the relaxation process of the translational mode K, two modes, K and I, eventually approach a local equilibrium state characterized by with a common temperature T. Naturally, we have assumed the condition: .
To describe the above two separated relaxation processes, we adopt the following generalized BGK collision term [
43,
58] (see also [
36,
59,
60]) which treats the translational relaxation and internal relaxation separately:
where the distribution functions
is the equilibrium function with respect to the mode K with the temperature
and the mass density
under the frozen energy
defined by
Specifically,
is the Maxwellian with
and
given by
2.4.3. Production Terms
From the generalized BGK model (
39), the production terms given by (
22) are evaluated as follows:
Since we consider the linear constitutive equations, we neglect the quadratic term in the last expression of (
40):
2.5. Closed Field Equations
Using the constitutive equations above, we obtain the closed system of field equations for the 15 independent fields
:
where, from (
34),
In conclusion: the system (
41) formed by 15 equations in the 15 unknown is closed with the provided equilibrium state function (
12) and relaxation times
and
.
We remark that the field equations of
and
are the same as the ones of polyatomic 14 field theory and the presence of
involves only the last two equations of (
41).
2.6. Entropy Density, Flux, and Production
The entropy density
h satisfies the entropy balance equation:
where
and
are, respectively, the non-convective entropy flux and the entropy production which are defined below.
By adopting (
33) with (
35), we obtain the entropy density within the second order with respect to the nonequilibrium variables as follows:
This means that the entropy density is convex and reaches the maximum at equilibrium, then the system (
41) provides the symmetric form in the main field components.
Similarly, the entropy flux is obtained as follows:
The entropy production
according to the symmetrization theorem [
6,
7,
34] is obtained as the scalar product between the main field given by (
36) and the production vector given by (
22). By taking into account (
40) and (
35), we have
It is noteworthy that the entropy production is positive with the provided positive relaxation times and .
2.7. Hyperbolicity and Characteristic Speeds
First of all, we want to prove that the differential system is hyperbolic in the equilibrium state by evaluating the characteristic velocities of the differential system. The equilibrium characteristic velocities of the differential system play an important role in several processes such as the determination of the phase velocity of linear waves in the high-frequency limit [
61], the propagation of acceleration waves [
62,
63], and the sub-shock formation [
49].
Since the differential system (
41) is a particular case of a generic balance law system:
it is well known that the characteristic velocities
V associated with a hyperbolic system of equations can be obtained by using the operator chain rule (see [
34]):
where
denotes the
i-component of the unit normal to the wavefront,
is the production terms and
is a differential operator.
Let us consider only one dimensional space-variable, and the system (
41) reduces to only 7 scalar equations for the 7 unknown
. After some cumbersome calculations, it is possible to prove that the system has the following 7 real characteristic velocities evaluated in equilibrium:
with the normalized characteristic speeds of the first mode
and the second mode
defined by
where
is the dimensionless specific heat. It is easy to prove that
given by (
45) and
by () are real because
, and therefore the characteristic speeds (
44) are all real in agreement that any symmetric systems are hyperbolic.
Note that the fastest speed
is larger than the corresponding one of the polyatomic ET
theory, and this indicates that the subcharacteristic condition [
50] is satisfied due to the convexity of entropy (
43). In the limit of monatomic gases (
),
and
, which coincide with the ones of monatomic ET
. In the limit that
,
which is the same as the one predicted by polyatomic ET
in this limit. Recalling the general discussion of the dependence of the characteristic speeds on the degrees of freedom [
37], this limiting value corresponds to the characteristic speed of monatomic ET theory with 10 moments (ET
) in which
are the only independent fields. On the other hand, in this limit,
is different from the one of ET
but is the same as the equilibrium sound velocity (the characteristic speed of Euler system) of monatomic gases in which
are the only independent fields. While,
of ET
approaches to 1 which is the characteristic speed of ET theory with 4 moments (ET
) in which
are the only independent fields.
In the case of the polytropic gases of which equations of state are given in (
11),
, the normalized characteristic speeds
depend only on the degrees of freedom
D. The dependences are shown in
Figure 1.
2.8. Maxwellian Iteration and Phenomenological Coefficients
The NSF theory is obtained by carrying out the Maxwellian iteration [
64] on (
41) in which only the first order terms with respect to the relaxation times are retained. Then we obtain
and
where
Recalling the definitions of the bulk viscosity
, shear viscosity
, and heat conductivity
in the NFS theory:
we have from (
47)
We note that
and
are not present in the conservation laws of mass, momentum and energy. In particular, (
48) indicates with (
42)
This result seems similar to the case of monatomic ET
in which the nonequilibrium scalar field is equal to 0 in the Maxwellian iteration [
18].
As usual in the BGK model, the Prandtl number predicted by the present model is not satisfactory. To avoid this difficulty, one possibility is to regard the relaxation times , , and as functions of and T, and estimate them by using the experimental data on , and . On the other hand, and are not related to such phenomenological coefficients and the kinetic theory is needed for their estimation, or we may determine these relaxation times as parameters to have a better agreement with some experimental data as it has been usually done for the bulk viscosity.
To summarize, we have the following result: With the Maxwellian iteration procedure, the hyperbolic system (
41) converges (in a similar way to the 14 fields theory) to the classical parabolic system of NFS formed by the first five equations of (
41) with the constitutive equations (
49) with the bulk and shear viscosities and heat conductivity related to the relaxation times by (
50).
2.9. Principal Subsystem
Since ET includes a large set of the field equations compared to the polyatomic ET, it is natural to expect that the polyatomic ET is a special case of ET, although both theories are based on the different entropy densities which maximize the corresponding system. In fact, ET includes ET as its special case dictated by its principal subsystem.
The concept of the principal subsystem for a general system of the hyperbolic system of balance laws was introduced in [
50]. By definition, some components of the main field are put as a constant, and the corresponding balance laws are deleted. In this way, we have a small set of the field equations from a large set of the field equations that have the property that the entropy principle is preserved and the sub-characteristic conditions are satisfied, i.e., the spectrum of characteristic eigenvalues of the small system is contained in the spectrum of the larger one. As a consequence, in the moment theory, the maximum characteristic speed increases with the number of moments [
22].
In the present case, the polyatomic ET
is obtained as a principal subsystem of ET
under the condition
, i.e., from (
35)
,
or, in other words,
and (
41)
is ignored.
2.10. Monatomic Gas Limit
The monatomic gases are described in the limit
(
) and therefore
. In the limit, the equation for
obtained by subtracting (
41)
from (
41)
and by using the conservation laws (
41)
becomes
This is the first-order quasi-linear partial differential equation with respect to
. As it has been studied in [
33], the initial condition for (
51) must be compatible with the case of monatomic gas, i.e.,
, and, assuming the uniqueness of the solution, the possible solution of Equation (
51) is given by
If we insert the solution (
52) into (
25) and (
37) with
and
, the velocity independent moments are expressed by the velocity independent moments of monatomic gas
(see (
A2) for their explicit expressions) as follows:
Then, the
F’s hierarchy coincides with the monatomic
F’s hierarchy and
G’s and
H’s hierarchies coincide with the corresponding monatomic
F’s hierarchy. This indicates that, in this singular limit, the triple hierarchies for 15 moments in (
10) converges to the single hierarchy of monatomic gases, and solutions of ET
converge to those of the monatomic 14 theory by Kremer [
18].