Abstract
We show that the set of “wild data”, meaning the initial data for which the barotropic Euler system admits infinitely many admissible entropy solutions, is dense in the \(L^p\)-topology of the phase space.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The concept of wild data/solution appeared recently in the context of the ill-posedness results for the incompressible Euler equations obtained via the method of convex integration. In their seminal work [9] on the existence of infinitely many solutions to the incompressible Euler equations satisfying various admissibility criteria, De Lellis and Székelyhidi also proved, as an outcome, the existence of bounded initial data allowing for infinitely many admissible weak solutions to the barotropic Euler system. However, the data of [9] for the compressible Euler system were extremely irregular and raised the question whether the ill-posedness was due to the irregularity of the data, rather than to the irregularity of the solution. In [6] and [11], it was shown that initial data with regular density but very irregular velocity still allow for such non-uniqueness phenomena in compressible gas dynamics. Remarkably, in [7], the first author with De Lellis and Kreml proved that even some Lipschitz initial data can generate non-uniqueness among admissible solutions and finally in [8] the same result was achieved for smooth initial data. All these non-unique weak solutions generated by the method of convex integration may go under the umbrella name of “wild solutions" (see e.g. Buckmaster et al [3, 4] and the references cited therein for further developments of the convex integration method). While the concept of wild solution may be ambiguous, that of wild data can be distinctively identified with those data that give rise to infinitely many solutions of a given problem on any (short) time interval, see Definition 1.2 below. A natural problem consists then in studying the size of the class of wild data.
In the context of the incompressible Euler equations, Székelyhidi and Wiedemann [13] showed that the set of wild data in the framework of weak solutions satisfying the global energy inequality is dense in the \(L^p\)-topology of the phase space. A comparable result for the isentropic Euler system was obtained by Chen et al. [5]. The admissibility criterion used in [5], based on the stipulation that the energy of the system never exceeds the initial energy, may be rough and still compatible with non-physical (increasing) energy profiles. Our goal is to discuss the problem in the class of weak physically admissible entropy solutions of the barotropic Euler system describing the motion of a compressible fluid.
1.1 Barotropic Euler system
We consider the barotropic Euler system:
describing the time evolution of the mass density \(\varrho = \varrho (t,x)\) and the velocity \(\textbf{u}= \textbf{u}(t,x)\) of a compressible inviscid fluid. The pressure p is a function of \(\rho \) determined from the constitutive thermodynamic relations of the gas under consideration and it is assumed to satisfy \(p'>0\). For simplicity, we impose the space periodic boundary conditions identifying the fluid domain with the flat torus:
The same method can be used to obtain similar results for fluids occupying a bounded domain \(\Omega \subset R^d\), with impermeable boundary
see Sect. 5.
Definition 1.1
(Admissible entropy solution) We say that \((\varrho , \textbf{u})\) is an admissible entropy solution to the Euler system (1.1)–(1.3) in \((0,T) \times {\mathbb {T}}^{d}\) with initial data
if the following holds:
with the energy inequality:
where we have introduced the pressure potential:
1.2 Wild data, main result
Definition 1.2
(Wild data) We say that the initial data \(\varrho _0, \textbf{u}_0\) are wild if there exists \(T_{\textrm{w}} > 0\) such that the Euler system admits infinitely many admissible entropy solutions \((\varrho , \textbf{u})\) on any interval [0, T], \(0< T < T_{\textrm{w}}\) such that
We are ready to state our main result.
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs10231-024-01423-5/MediaObjects/10231_2024_1423_Figa_HTML.png)
Recently, Chen et al. [5] established density of wild data for the isentropic Euler system in the class of weak solutions satisfying the total energy inequality
These solutions are global in time; however, the associated total energy profile
may not be non-increasing in time. In this paper, we revisit the problem in the class of physically admissible entropy solutions satisfying the energy inequality in the differential form on a possibly short time interval, thus ruling out non-physical (increasing) energy profiles.
The proof of Theorem 1.3 is based on a combination of the strong solution ansatz proposed by Chen, Vasseur, and You [5] with the abstract convex integration results concerning weak solutions with a given energy profile established in [10].
2 Convex integration ansatz
Similarly to Chen, Vasseur, and You [5], our convex integration ansatz is based on strong solutions to the Euler system.
2.1 Local in time smooth solutions
Proposition 2.1
(Local existence for smooth data) Suppose \(p \in C^\infty (a,b)\), \(p' > 0\) in (a, b), for some \(0 \le a < b \le \infty \).
Then for any initial data
there exists \(T_{\textrm{max}} > 0\) such that the compressible Euler system admits a classical solution \((\varrho , \textbf{u})\) unique in the class
for any \(0< T < T_{\textrm{max}}\).
The proof of Proposition 2.1 is nowadays standard and essentially attributed to Kato [12], cf. also Benzoni-Gavage and Serre [2, Chapter 13, Theorem 13.1].
2.2 Basic convex integration ansatz
Consider the initial data \((\varrho _0, \textbf{u}_0)\) in the regularity class (2.1) together with the associated smooth solution \(({\tilde{\varrho }}, {{\tilde{\textbf{u}}}})\) in \([0,T] \times {\mathbb {T}}^{d}\), \(T < T_{\textrm{max}}\). In addition, denote \(\widetilde{\textbf{m}}= {\tilde{\varrho }}{{\tilde{\textbf{u}}}}\). The Euler system written in the conservative variables \(({\tilde{\varrho }}, \widetilde{\textbf{m}})\) reads
We look for solutions in the form
where
Here, \(\textbf{v}_0 \in L^2({\mathbb {T}}^{d};R^d)\), \(\textrm{div}_{x}\textbf{v}_0 = 0\), is an initial condition for the problem (2.5), (2.6) that will be specified below.
To apply the abstract results of [10], we rewrite problem (2.5)–(2.7) in the form
together with the prescribed “kinetic energy”
with a suitable spatially homogeneous function \(\Lambda = \Lambda (t)\) determined below.
3 Application of convex integration
Setting
we may rewrite (2.8)–(2.11) in the form
for fixed \({\mathbb {H}}\) and e given by (3.1).
3.1 Subsolutions
To apply the abstract results obtained in [10], we introduce the set of subsolutions
Here, the symbol \(\lambda _{\textrm{max}}[{\mathbb {A}}]\) denotes the maximal eigenvalue of a symmetric matrix \({\mathbb {A}}\). The function \(\textbf{v}_T \in L^2({\mathbb {T}}^{d}; R^d)\), \(\textrm{div}_{x}\textbf{v}_T = 0\) specifies the value of the solution at the final time T. Prescribing \(\textbf{v}_0\) together with \(\textbf{v}_T\) may seem like over-determining the problem, however, the method of convex integration used below provides adequate solutions even in this case.
3.2 First existence result
The following results is a special case of [10, Theorem 13.2.1].
Proposition 3.1
Suppose that set of subsolutions \(X_0\) is non-empty and bounded in \(L^\infty ((0,T) \times {\mathbb {T}}^{d}; R^d)\), \(d=2,3\).
Then problem (3.2)–(3.5) admits infinitely many weak solutions.
Fix \(\textbf{v}_0 = \textbf{v}_T = 0\). Next, using the algebraic inequality
we can see that the set \(X_0\) is bounded in \(L^\infty ((0,T) \times {\mathbb {T}}^{d}; R^d)\) as long as \(\Lambda \in C[0,T]\) (recall also that \(a<{\tilde{\varrho }}<b\)). Finally, we observe that \(\textbf{v}\equiv 0\) is a subsolution as soon as
Indeed we may consider \({\mathbb {F}} \equiv 0\) and compute
while (see (3.1))
Thus, a direct application of Proposition 3.1 yields the following result.
Theorem 3.2
(Existence with a small initial energy jump) Let \(\Lambda \in C[0,T]\), \(\inf _{t \in [0,T]} \Lambda (t) > 0\) be given. Let \(\textbf{v}_0 = 0\).
Then problem (3.1)–(3.4) admits infinitely many weak solutions \(\textbf{v}\) in \((0,T) \times {\mathbb {T}}^{d}\).
As \(\textbf{v}_0 = 0\) and \(\Lambda > 0\), the solutions \(\varrho = {\tilde{\varrho }}\), \(\textbf{m}= \widetilde{\textbf{m}}+ \textbf{v}\) necessarily experience an initial energy jump therefore they are not physically admissible. This problem will be fixed in the next section.
3.3 Second existence result
The following results is a special case of [10, Theorem 13.6.1].
Proposition 3.3
Suppose that set of subsolutions \(X_0\) is non-empty and bounded in \(L^\infty ((0,T) \times {\mathbb {T}}^{d}; R^d)\), \(d=2,3\).
Then there exists a set of time \({\mathfrak {T}} \subset (0,T)\) dense in (0, T) with the following properties:
For any \(\tau \in {\mathfrak {T}}\), there exists \(\textbf{v}^\tau \in \overline{X}_0\) satisfying:
-
$$\begin{aligned} \textbf{v}^\tau&\in C_{\textrm{weak}}([0,T]; L^2({\mathbb {T}}^{d}; R^d)) \cap L^\infty ((0,T) \times {\mathbb {T}}^{d}; R^d) \cap C((\tau , T) \times {\mathbb {T}}^{d}; R^d),\ \nonumber \\ \textbf{v}^\tau (0, \cdot )&= \textbf{v}_0,\ \textbf{v}^\tau (T, \cdot ) = \textbf{v}_T; \end{aligned}$$(3.9)
-
$$\begin{aligned} \partial _t \textbf{v}^\tau + \textrm{div}_{x}{\mathbb {F}} = 0 \ \text{ in }\ {\mathcal {D}}'((\tau , T) \times {\mathbb {T}}^{d}) \end{aligned}$$(3.10)
for some \({\mathbb {F}} \in L^\infty \cap C((\tau ; T) \times {\mathbb {T}}^{d}; R^{d \times d}_{0, \textrm{sym}})\);
-
$$\begin{aligned} \sup _{\tau + s< t< T, x \in {\mathbb {T}}^{d}} \frac{d}{2} \lambda _{\textrm{max}} \left[ \frac{(\textbf{v}^\tau + \widetilde{\textbf{m}}) \otimes (\textbf{v}^\tau + \widetilde{\textbf{m}}) }{{\tilde{\varrho }}} - {\mathbb {F}} - {\mathbb {H}} \right] - e < 0 \end{aligned}$$(3.11)
for any \(0< s < T - \tau \);
-
$$\begin{aligned} \frac{1}{2} \int _{{\mathbb {T}}^d} \frac{|\textbf{v}^\tau + \widetilde{\textbf{m}}|^2}{{\tilde{\varrho }}}(\tau , \cdot ) \ \,\textrm{d} {x} = \int _{{\mathbb {T}}^d} e(\tau , \cdot ) \ \,\textrm{d} {x}. \end{aligned}$$(3.12)
In accordance with (3.9)–(3.12), the function \(\textbf{v}^\tau \) can be used as a subsolution on the time interval \((\tau , T)\). Then, Proposition 3.1 yields the following result.
Theorem 3.4
(Existence without initial energy jump) Let \(\Lambda \in C[0,T]\), \(\inf _{t \in [0,T]} \Lambda (t) > 0\) be given.
Then, there exists a sequence \(\tau _n \rightarrow 0\) and \(\textbf{v}_{0,n}\),
such that problem (3.1)–(3.4) admits infinitely many weak solutions in \((\tau _n,T) \times {\mathbb {T}}^{d}\) satisfying
Note carefully that continuity of the initial energy stated in (3.13) follows from (3.12) and weak continuity of \(\textbf{v}\).
4 Adjusting the energy profile
To complete the proof of Theorem 1.3, it remains to adjust the energy profile \(\Lambda \) so that:
-
$$\begin{aligned} \limsup _{n \rightarrow 0} \Vert \textbf{v}_{0,n} \Vert _{L^2({\mathbb {T}}^{d}; R^d)} < \varepsilon ; \end{aligned}$$(4.1)
-
the energy inequality (1.7) holds for \(\textbf{u}= \textbf{v}+ \widetilde{\textbf{m}}\), \(\varrho = {\tilde{\varrho }}\), at least on a short time interval.
As for (4.1), it is enough to choose \(\Lambda (0) > 0\) small enough. Indeed (3.1), (3.13) yield
Seeing that
we easily conclude.
Finally, the total energy of the system reads
In particular, the energy is continuously differentiable as soon as \(\Lambda \in C^1[0,T]\). The desired energy inequality reads
Seeing that the smooth solution \(({\tilde{\varrho }}, \widetilde{\textbf{m}})\) satisfies the energy equality we may simplify (4.2) to
Moreover, as \(\textrm{div}_{x}\textbf{v}= 0\),
and (4.3), reduces to
As \(\Lambda \) is decreasing in t, we get
Similarly, we control \(\Vert \textbf{v}\Vert _{L^\infty ((0,T) \times {\mathbb {T}}^{d}; R^d)}\) by means of \(\Lambda (0)\) and certain norms of the strong solution \({\tilde{\varrho }}\), \(\widetilde{\textbf{m}}\).
Choosing
with \(\varepsilon > 0\) small enough, we obtain the desired energy inequality at least on a short time interval \((0, T_{\textrm{w}})\), \(T_{\textrm{w}} > 0\). We have proved Theorem 1.3 for \(p=2\). The same statement holds for a general \(1 \le p < \infty \) as all solutions in question are uniformly bounded.
5 Concluding remarks
A similar result can be shown for the more realistic complete slip boundary conditions
imposed on a bounded domain \(\Omega \subset R^d\). Note that the result is local in time and that the smooth solutions of the Euler system enjoy the finite speed of propagation property (see e.g. Wang [14] for smooth solutions or Wiedemann [15] for generalized solutions of the compressible Euler system). Consequently, the problem of compatibility conditions may be solved by considering the initial data in the form
The relevant local existence result for strong solutions was proved by Beirão da Veiga [1].
References
Beirão da Veiga, H.: On the barotropic motion of compressible perfect fluids. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 8, 317–351 (1981)
Benzoni-Gavage, S., Serre, D.: Multidimensional Hyperbolic Partial Differential Equations, First Order Systems and Applications, Oxford Mathematical Monographs. The Clarendon Press Oxford University Press, (2007)
Buckmaster, T., de Lellis, C., Székelyhidi, L., Jr., Vicol, V.: Onsager’s conjecture for admissible weak solutions. Commun. Pure Appl. Math. 72, 229–274 (2019)
Buckmaster, T., Vicol, V.: Convex integration and phenomenologies in turbulence. EMS Surv. Math. Sci. 6, 173–263 (2019)
Chen, R.M., Vasseur, A.F., Yu, Ch.: Global ill-posedness for a dense set of initial data to the isentropic system of gas dynamics. Adv. Math. 393, (2021)
Chiodaroli, E.: A counterexample to well-posedeness of entropy solutions to the compressible Euler system. J. Hyperbolic Differ. Equ. 11, 493–519 (2014)
Chiodaroli, E., De Lellis, C., Kreml, O.: Global ill-posedness of the isentropic system of gas dynamics. Commun. Pure Appl. Math. 68, 1157–1190 (2015)
Chiodaroli, E., Kreml, O., Mácha, V., Schwarzacher, S.: Non-uniqueness of admissible weak solutions to the compressible Euler equations with smooth initial data. Trans. Am. Math. Soc. 374(4), 2269–2295 (2021)
De Lellis, C., Székelyhidi, L., Jr.: On admissibility criteria for weak solutions of the Euler equations. Arch. Ration. Mech. Anal. 195(1), 225–260 (2010)
Feireisl, E.: Weak solutions to problems involving inviscid fluids, mathematical fluid dynamics, present and future. Springer Proc. Math. Stat. 183, 377–399 (2016)
Feireisl, E.: Maximal dissipation and well-posedness for the compressible Euler system. J. Math. Fluid Mech. 16(3), 447–4621 (2014)
Kato, T.: Quasi-linear equations of evolution, with applications to partial differential equations, Spectral theory and differential equations (Proceedings of Symposium, Dundee, 1974; dedicated to Konrad Jörgens), Lecture Notes in Math., Vol. 448, pp. 25–70, Springer, Berlin (1975)
Székelyhidi, L., Wiedemann, E.: Young measures generated by ideal incompressible fluid flows. Arch. Ration. Mech. Anal. 206, 333–366 (2012)
Wang, D.: On Global Solutions of Multi-dimensional Compressible Fluid Flows, Analytical Approaches to Multidimensional Balance Laws, pp. 209–241. Nova Sci. Publ, New York (2006)
Wiedemann, E.: Localised relative energy and finite speed of propagation for compressible flows. J. Differ. Equ. 265, 1467–1487 (2018)
Funding
Open access funding provided by Universitá di Pisa within the CRUI-CARE Agreement.
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. Chiodaroli: The author acknowledges support by MIUR, within PRIN20204NT8W4\(_{-}\)004 “Nonlinear evolution PDEs, fluid dynamics and transport equations: theoretical foundations and applications.”
E. Feireisl: The work of E.F. was partially supported by the Czech Sciences Foundation (GAČR), Grant Agreement 21-02411 S. The Institute of Mathematics of the Academy of Sciences of the Czech Republic is supported by RVO:67985840.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Chiodaroli, E., Feireisl, E. On the density of “wild” initial data for the barotropic Euler system. Annali di Matematica 203, 1809–1817 (2024). https://doi.org/10.1007/s10231-024-01423-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-024-01423-5