Abstract
We show that solutions of the complete Euler system of gas dynamics perturbed by a friction term converge to a solution of the porous medium equation in the high friction/long time limit. The result holds in the largest possible class of generalized solutions–the measure–valued solutions of the Euler system.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In a recent paper, Lattanzio and Tzavaras [13] consider the singular limit of the isentropic Euler system perturbed by a high friction term. Our goal is to extend this result to the physically more adequate setting of the complete Euler system of gas dynamics, where temperature changes as well as possible singularities resulting in the increase of the total entropy of the system are allowed.
1.1 Euler system of gas dynamics
We consider a scaled Euler system of gas dynamics in the form:
Equation of continuity:
Momentum equation:
Energy balance:
The pressure p and the internal energy e are thermodynamic functions interrelated through Gibbs’ equation
where \(\vartheta \) is the (absolute) temperature and s the (specific) entropy. Here, D refers to differential with respect to the independent thermodynamics variables, e.g. \(\varrho , \vartheta \). In the present paper, rather general constitutive relations are supposed, with only minor restrictions specified in Theorem 2.2 below. We consider the fluid mass density \(\varrho = \varrho (t,x)\), the momentum \(\textbf{m}= \textbf{m}(t,x)\), together with the total entropy \(S = (\varrho s)(t,x)\) as the basic state variables (unknowns) in the system of equations (1.1)–(1.3). The fluid is confined to a bounded domains \(\Omega \subset R^d\) and the problem is formally closed by imposing the impermeability boundary conditions
and the initial conditions
1.2 Large friction limit
Smooth solutions of the Euler system (1.1)–(1.3) conserve entropy, specifically, it follows from Gibbs’ relation (1.4)
In particular, if \(s_0 = s(0, \cdot ) = {\overline{s}}\) is constant, it follows from (1.7) \(s(t, \cdot ) = {\overline{s}}\) as long as the solution remains smooth and (1.1)–(1.3) reduces to the so-called isentropic Euler system for only two unknowns \(\varrho \) and \(\textbf{m}\).
The term \(\frac{1}{\varepsilon } \textbf{m}\) in the momentum equation, together with its counterpart \(\frac{1}{\varepsilon } \frac{|\textbf{m}|^2}{\varrho }\) in the energy balance, represent the effect of “friction” on the gas motion. High friction regularization of the simplified Euler system has been studied by several authors, see Dafermos and Pan [6], Sideris, Thomases, and Wang [15], and the references cited therein.
Lattanzio and Tzavaras [13] identified the high friction limit \(\varepsilon \rightarrow 0\) in the isentropic Euler system as the porous medium equation:
The proof in [13] is formal, conditioned by the existence of weak solutions to the scaled isentropic Euler system with the life span independent of the scaling parameter \(\varepsilon \). As a matter of fact, this type of relaxation limits has been studied before in different contexts and with the use of different techniques, see e.g. Marcati and Milani [14]. The reference [13] presents a systematic study of this kind of relaxation limits using the relative energy techniques, again, see also Lattanzio and Tzavaras [12], where the relative energy is also used in the context of measure-valued solutions.
The motion of a gas obeying the physically relevant complete Euler system (1.1)–(1.3) is not likely to be isentropic, with possible shocks developed in a finite time violating the entropy equation (1.7). A suitable admissibility condition for the general weak solutions is then formulated in terms of the entropy inequality
or its renormalized variant (see e.g. Chen and Frid [5])
for any \(\chi \) concave, \(\chi ' \ge 0\), \(\chi \) bounded above.
Our main goal is to extend the result of Lattanzio and Tzavaras [13] to the complete Euler system. The limit density profile r and the entropy \(s = \frac{S}{r}\) (formally) satisfy the following system of equations:
supplemented with the initial and boundary data
Accordingly, we suppose that the initial data of the Euler system converge to the initial conditions of (1.10), (1.11) specifically,
Solvability of the problem (1.10), (1.11) is discussed in the forthcoming section.
Although the recent results based on the method of convex integration provide weak solutions (even infinitely many) for a large class of initial data, see e.g. [8], a general existence result that would cover all finite energy initial data is not available so far. For this reason, we consider a larger class of measure–valued solutions in the spirit of [3]. The advantage of considering the measure–valued solutions of the Euler system is not only their existence that may be shown for all physically admissible data, see e.g. Kröner and Zaja̧czkowski [11] or the more recent adaptation of the same method of construction in [1]. The measure–valued solutions capture a large variety of singular limits including the low diffusion limit of the Navier–Stokes–Fourier system [2] as well as the alternative model proposed by Brenner, see [9, Chapter 10]. The truly measure–valued solutions, unlike the Euler system, can also mimick the behaviour of complete fluid systems in highly turbulent regime, see [7].
The paper is organized as follows. In Sect. 2, we introduce the concept of measure–valued solution and state the main result concerning the high friction limit. In Sect. 3, we recall the relative energy inequality introduced in [3] and further developed in [9] and prove the desired convergence.
2 Measure–valued solutions, main result
Besides the general Gibbs’ relation (1.4), we suppose that the thermodynamic functions p, e, and s satisfy the hypothesis of thermodynamic stability. This can be conveniently formulated in terms of the variables \((\varrho , S)\) as convexity of the internal energy:
cf. [9, Chapter 4, Section 4.1.6]. Note that for the standard Boyle-Mariotte equation of state
we have
see [9, Chapter 2, Section 2.2.4].
Similarly, we define the kinetic energy,
and the total energy
2.1 Measure–valued solutions
Following [3], we define measure–valued solution of the Euler system (1.1)–(1.3), (1.9), (1.5)–(1.6) a weakly measurable family of Borel probability measures,
Moreover, we denote
for any Borel measurable function F of the “dummy” variables \(({\widetilde{\varrho }}, {\widetilde{S}}, {\widetilde{\textbf{m}}}) \in R^{2 + d}\).
Definition 2.1
(Measure–valued solution of the Euler system)
We say that a parametrized family \(( {\mathcal {V}}_{t,x} )_{(t,x) \in (0,T) \times \Omega }\) of probability measures on the Euclidean space \(R^{2 + d}\) is a measure–valued solution to the Euler system (1.1)–(1.3), with the boundary conditions (1.5), and the initial data (1.6), if the following holds:
-
Compatibility:
$$\begin{aligned} {\mathcal {V}}_{t,x} \left\{ {\widetilde{\varrho }}\ge 0 \right\} = {\mathcal {V}}_{t,x} \left\{ {\widetilde{\varrho }}= 0,\ {\widetilde{S}}\ge 0 \right\} = 1 \ \text{ for } \text{ a.a. }\ (t,x) \in (0,T) \times \Omega .\nonumber \\ \end{aligned}$$(2.2) -
Equation of continuity:
$$\begin{aligned} \int _0^T \int _{\Omega } \Big ( \varepsilon \left\langle {\mathcal {V}}_{t,x}; {\widetilde{\varrho }}\right\rangle \partial _t \varphi (t,x) + \left\langle {\mathcal {V}}_{t,x}; {\widetilde{\textbf{m}}}\right\rangle \cdot \nabla _{x}\varphi (t,x) \Big ) \ \,\textrm{d} {x} \,\textrm{d} t = - \varepsilon \int _{\Omega } \varrho _0 \varphi (0, x) \ \,\textrm{d} {x}; \nonumber \\ \end{aligned}$$(2.3)for any \(\varphi \in C^1_c([0,T) \times {\overline{\Omega }})\).
-
Momentum equation: There exists a tensor–valued measure
$$\begin{aligned} {\mathfrak {R}} \in L^{\infty }_{\textrm{weak}}(0,T; {\mathcal {M}}_{\textrm{sym}}^+({\overline{\Omega }}; R^{d \times d})) \end{aligned}$$such that the integral identity
$$\begin{aligned}&\int _0^T \int _{\Omega } \left( \varepsilon \left\langle {\mathcal {V}}_{t,x}; {\widetilde{\textbf{m}}}\right\rangle \partial _t {\varvec{\varphi }}(t,x) + \left\langle {\mathcal {V}}_{t,x}; \mathbbm {1}_{{\widetilde{\varrho }}> 0} \frac{{\widetilde{\textbf{m}}}\otimes {\widetilde{\textbf{m}}}}{{\widetilde{\varrho }}} \right\rangle : \nabla _{x}{\varvec{\varphi }}(t,x) \right) \ \,\textrm{d} {x} \,\textrm{d} t \nonumber \\&\qquad + \int _0^T \int _{\Omega } \left\langle {\mathcal {V}}_{t,x}; p({\widetilde{\varrho }}, {\widetilde{S}}) \right\rangle {\textrm{div}}_{x}{\varvec{\varphi }}(t,x) \ \,\textrm{d} {x} \,\textrm{d} t \nonumber \\&\quad = \int _0^T \int _{\Omega } \frac{1}{\varepsilon } \left\langle {\mathcal {V}}_{t,x}; {\widetilde{\textbf{m}}}\right\rangle \cdot {\varvec{\varphi }}(t,x) \ \,\textrm{d} {x} \,\textrm{d} t - \int _0^T \int _{{\overline{\Omega }}} \nabla _{x}{\varvec{\varphi }}(t,x) : \textrm{d}{\mathfrak {R}} \,\textrm{d} t \nonumber \\&\qquad - \varepsilon \int _{\Omega } \textbf{m}_0(x) \cdot {\varvec{\varphi }}(0, x) \ \,\textrm{d} {x}; \end{aligned}$$(2.4)holds for any \({\varvec{\varphi }}\in C^1_c([0,T) \times {\overline{\Omega }}; R^d)\), \({\varvec{\varphi }}\cdot \textbf{n}|_{\partial \Omega } = 0\).
-
Entropy inequality:
$$\begin{aligned} \int _0^T&\int _{\Omega } \left( \varepsilon \left\langle {\mathcal {V}}_{t,x}; {\widetilde{\varrho }}\chi \left( \frac{{\widetilde{S}}}{{\widetilde{\varrho }}} \right) \right\rangle \partial _t \varphi (t,x) + \left\langle {\mathcal {V}}_{t,x}; {\widetilde{\varrho }}\chi \left( \frac{{\widetilde{S}}}{{\widetilde{\varrho }}} \right) \frac{{\widetilde{\textbf{m}}}}{{\widetilde{\varrho }}} \right\rangle \cdot \nabla _{x}\varphi (t,x) \right) \ \,\textrm{d} {x} \,\textrm{d} t \nonumber \\&\le - \varepsilon \int _{\Omega } \varrho _0(x) \chi \left( \frac{S_0 (x) }{\varrho _0(x) } \right) \varphi (0, x) \ \,\textrm{d} {x} \end{aligned}$$(2.5)for any \(\varphi \in C^1_c([0,T) \times {\overline{\Omega }})\), \(\varphi \ge 0\), and any \(\chi \in C(R)\) concave, \(\chi ' \ge 0\), \(\chi \le {\overline{\chi }} \in R\).
-
Energy inequality: There exists a constant \(\Lambda > 0\) such that
$$\begin{aligned}&\int _{\Omega } \left\langle {\mathcal {V}}_{\tau ,x} ; E({\widetilde{\varrho }}, {\widetilde{S}}, {\widetilde{\textbf{m}}}) \right\rangle \ \,\textrm{d} {x} + \Lambda \int _{{\overline{\Omega }}} \textrm{d}\ \textrm{trace}[{\mathfrak {R}} (\tau , \cdot ) ] + \frac{1}{\varepsilon ^2} \int _0^\tau \int _{\Omega } \left\langle {\mathcal {V}}_{t,x} ; \frac{|{\widetilde{\textbf{m}}}|^2}{{\widetilde{\varrho }}} \right\rangle \ \,\textrm{d} {x} \,\textrm{d} t \nonumber \\&\quad \le \int _{\Omega } E(\varrho _0, S_0, \textbf{m}_0) \ \,\textrm{d} {x} \end{aligned}$$(2.6)for a.a. \(\tau \in (0,T)\).
The measure valued solutions were introduced in [3] to capture the largest class possible of limits of the so–called consistent approximations of the Euler system. Their existence and even possibility to construct a solution semigroup was shown in [1, Proposition 3.8]. Besides, the numerical approximations introduced in [9, Chapter 10] are examples of consistent approximations and the convergence results presented therein may be seen as another way of identifying measure valued solutions.
2.2 Solvability of the limit problem
We point out that the hypothesis of thermodynamic stability enforced through strict convexity of \(E_{\textrm{int}} = E_{\textrm{int}}(\varrho , S)\) has important consequence on solvability of the system (1.10), (1.11) at least in the case of constant initial entropy \(s_0 = {\overline{s}}\). Indeed the entropy balance (1.11) implies \(s (t,x) = {\overline{s}}\) for any t, x independently of r. Accordingly, the density profile r can be determined as a solution of the problem
It follows form Gibbs’ Eq. (1.4) that
Consequently,
and, similarly,
Thus we compute
Since the internal energy \(E_{\textrm{int}}\) is a strictly convex function of \((\varrho , S)\), we get
and
This yields
and, consequently, (2.7) is a non–degenerate parabolic equation as soon as \(r_0 > 0\).
2.3 Main result, high friction limit
To begin, we introduce the relative energy expressed in the variables \((\varrho , S, \textbf{m})\),
More precisely, the relative energy for fixed values of the parameters \((r, {\widehat{S}}, \textbf{U})\) is a convex l.s.c. function of \((\varrho , S, \textbf{m})\) defined as
In particular, if \((r, {\widetilde{S}}, r \textbf{U}) \in \textrm{int}(\textrm{dom}(E))\), then
see [9, Chapter 4, Section 4.1.6] for details.
We are ready to state our main result concerning the high friction limit.
Theorem 2.2
(High friction asymptotic limit)
Let \(\Omega \subset R^d\) be a bounded domain of class \(C^{2 + \nu }\). In addition to Gibbs’ relation (1.4) and the hypothesis of thermodynamics stability (2.1), let the thermodynamic functions p, e satisfy
Finally, suppose that the initial data satisfy
where
Let \(({\mathcal {V}}^\varepsilon _{t,x})_{\varepsilon > 0}\) be a family of measure–valued solutions of the Euler system with the initial data \((\varrho _{0,\varepsilon }, S_{0, \varepsilon }, \textbf{m}_{0,\varepsilon } )_{\varepsilon > 0}\) in the sense of Definition 2.1. Suppose that the limit system (1.10), (1.11), (1.12) admits a \(C^2-\)solution r, s such that
Then
The remaining part of the paper is devoted to the proof of Theorem 2.2.
Remark 2.3
Noticing that the total energy is stricly convex, meaning the relative energy represents a Bregman distance, we can reformulate the convergence statement (2.15) in terms of probability theory:
where \(W_1\) denotes the Monge–Kantorowich (Wasserstein – 1) distance between probability measures, and \(\delta _X\) stands for the Dirac mass at X.
Remark 2.4
Solvability of the limit problem (1.10), (1.11), (1.12) has been discussed in Sect. 2.2 on condition that the initial entropy \(s_0\) is constant. Note that in this case (2.14) follows from (2.13) by the maximum principle. Another, a rather trivial situation when the limit problem is solvable globally in time, is the choice of the initial data
Indeed \(r = r_0\), \(s = s_0\) then obviously solve the problem. Unlike in Sect. 2.2, the initial entropy distribution may effectively depend on x.
Remark 2.5
The Proof of Theorem 2.2 presented below will actually yield a more exact rate of convergence (2.15):
3 High friction limit, proof of the main result
Similarly to Lattanzio and Tzavaras [13], the Proof of Theorem 2.2 leans on stability on the limit solution expressed by means of the relative energy inequality. The relevant version of the latter for the complete Euler system was introduced in [3]. The relative energy inequality in the context of measure-valued solutions for isentropic Euler with friction and also nonlocal terms was studied in [4]. Note that the current studies on complete Euler system do not fall into the general framework of hyperbolic systems studied in [10].
3.1 Entropy minimum principle
We start by exploiting boundedness of the initial entropy, namely
yielding the entropy minimum principle in the form
Indeed we may choose \(\chi \) in the renormalized entropy inequality (2.5) as
Considering spatially homogeneous test function \(\varphi \) in (2.5) we deduce
which yields the desired conclusion.
Finally, relation (3.1) together with the compatibility condition (2.2) converts (3.1) to an unconditional results
3.2 Relative energy inequality
Recalling the definition (2.10) of the relative energy, let us introduce the temperature \(\Theta \) evaluated by means of the variables r and \({\widehat{S}}\) through the implicit relation
Under the condition (3.2), the relative energy inequality associated to the Euler system reads, see [3] or [9, Chapter 4, Section 4.1.7, Chapter 6, Section 6.2]:
for a.a. \(\tau \in (0,T)\) and any trio of “test functions”
4 Convergence, proof of Theorem 2.2
In view of hypothesis (2.12), we consider the following ansatz:
As a consequence of (3.3), we get
and
Accordingly, the relative entropy inequality (3.5) simplifies considerably yielding
Next, using the ansatz for \(\textbf{U}^\varepsilon \) from (4.1), we have
Similarly, by virtue of hypothesis (2.11),
The details of the above estimates follow the same lines as e.g. [9, Section 5.4]. Consequently, inequality (4.2) reduces to
By virtue of our choice of the initial data (2.12),
Moreover, as E is strictly convex, the energy inequality (2.6) implies boundedness of the first moments
Consequently, we deduce from (4.5)
where \(h(\varepsilon ) \rightarrow 0\) as \(\varepsilon \rightarrow 0\). Choosing
we get
where
Similarly
Thus (4.7) reduces to
Consequently, the conclusion of Theorem 2.2 follows by a direct application of Gronwall’s lemma and the bounds (4.6).
Data availability statement
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
D. Breit, E. Feireisl, and M. Hofmanová. Dissipative solutions and semiflow selection for the complete Euler system. Comm. Math. Phys., 376(2):1471–1497, 2020.
J. Březina and E. Feireisl. Measure-valued solutions to the complete Euler system revisited. Z. Angew. Math. Phys., 69(3):69-57, 2018.
J. Březina and E. Feireisl. Measure-valued solutions to the complete Euler system. J. Math. Soc. Japan, 70(4):1227–1245, 2018.
J. A. Carrillo, T. Dȩbiec, P. Gwiazda, A. Świerczewska-Gwiazda. Dissipative measure-valued solutions to the Euler-Poisson equation. SIAM J. Math. Anal., 56(1): 304–335, 2024
G.-Q. Chen and H. Frid. Uniqueness and asymptotic stability of Riemann solutions for the compressible Euler equations. Trans. Amer. Math. Soc., 353(3):1103–1117 (electronic), 2001.
C. M. Dafermos and R. Pan. Global \(BV\) solutions for the \(p\)-system with frictional damping. SIAM J. Math. Anal., 41(3):1190–1205, 2009.
E. Feireisl and M. Hofmanová. Randomness in compressible fluid flows past an obstacle. Journal of Statistical Physics, 186:32–, 2022.
E. Feireisl, C. Klingenberg, O. Kreml, and S. Markfelder. On oscillatory solutions to the complete Euler system. J. Differential Equations, 269(2):1521–1543, 2020.
E. Feireisl, M. Lukáčová-Medviďová, H. Mizerová, and B. She. Numerical analysis of compressible fluid flows. Springer-Verlag, Cham, 2022.
P. Gwiazda, O. Kreml, A. Świerczewska-Gwiazda Dissipative measure-valued solutions for general conservation laws Ann. Inst. H. Poincaré Anal. Non Linéaire, 37(3): 683–707, 2020
D. Kröner and W. M. Zajaczkowski. Measure-valued solutions of the Euler equations for ideal compressible polytropic fluids. Math. Methods Appl. Sci., 19(3):235–252, 1996.
C. Lattanzio and A. E. Tzavaras. Relative entropy in diffusive relaxation. SIAM J. Math. Anal., 45(3):1563–1584, 2013.
C. Lattanzio and A. E. Tzavaras. From gas dynamics with large friction to gradient flows describing diffusion theories. Comm. Partial Differential Equations, 42(2):261–290, 2017.
P. Marcati and A. Milani. The one-dimensional Darcy’s law as the limit of a compressible Euler flow. J. Differential Equations, 84(1):129–147, 1990.
T. C. Sideris, B. Thomases, and D. Wang. Long time behavior of solutions to the 3D compressible Euler equations with damping. Comm. Partial Differential Equations, 28(3-4):795–816, 2003.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
E. Feireisl: The work of E.F. was partially supported by the Czech Sciences Foundation (GAČR), Grant Agreement 21–02411S. The Institute of Mathematics of the Academy of Sciences of the Czech Republic is supported by RVO:67985840. This work was partially supported by the Thematic Research Programme, University of Warsaw, Excellence Initiative Research University.
Y.–S. Kwon: The work of Y.–S. Kwon was partially supported by the National Research Foundation of Korea (NRF2022R1F1A1073801).
A. Świerczewska-Gwiazda: The work of A. Ś-G. and P.G. was partially supported by National Science Centre (Poland), agreement no 2021/43/B/ST1/02851.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Feireisl, E., Gwiazda, P., Kwon, YS. et al. On the high friction limit for the complete Euler system. J. Evol. Equ. 24, 25 (2024). https://doi.org/10.1007/s00028-024-00956-9
Accepted:
Published:
DOI: https://doi.org/10.1007/s00028-024-00956-9