SearcharxivSearch

arXiv subjects

Simon Markfelder

Publications and source records attributed to Simon Markfelder.

At least 19 recordsLinked to original sources

The local least action criterion fails as a selection criterion for weak solutions of the compressible Euler equations

It is now well known that the classical notion of admissible weak solutions (also known as weak entropy solutions) does not restore uniqueness for the multi-dimensional compressible Euler equations. Indeed, convex integration has shown that admissible weak solutions are in general highly non-unique. This has motivated additional selection criteria intended to rule out the counterintuitive solutions generated by convex integration. In this paper we prove that the local least action criterion introduced by H.~Gimperlein, M.~Grinfeld, R.~J.~Knops and M.~Slemrod does not serve as a proper selection criterion, since it fails to select the solution that is intuitively expected to be physically relevant.

math.AP

Non-uniqueness of global-in-time admissible weak solutions to the isentropic compressible Euler equations for a dense set of initial data

In recent years, the technique of convex integration has demonstrated that for some initial data (also referred to as 'wild initial data'), many PDE models of mathematical fluid mechanics allow for a multitude of admissible (weak) solutions. This paper is concerned with the question regarding how large the set of such wild initial data is for the isentropic Euler equations. We prove that wild initial data form a dense set in $L^r$ for any $r \in [1,\infty)$. In contrast to existing results in the literature, in this paper 'wild initial data' are data which give rise to infinitely many global-in-time weak solutions which are admissible in the sense that the local energy inequality holds. In other words, the set of initial data with infinitely many admissible weak solutions (independent of the choice of time interval) is dense. A novel part of the construction is that we use a measure-valued (dissipative) solution as the ansatz for the subsolution. This requires several new ideas, in order to ensure the required regularity of the subsolution and to obtain a lower bound for the density. Another crucial ingredient of the proof is that the (local) energy density and the energy flux are constructed as part of the convex integration scheme, in order to obtain solutions which adhere to the local energy inequality.

math.AP

A Generalized Framework for $L^r$ Convex Integration and its Application to Geophysical Models

In this paper a general framework for convex integration is developed, in order to construct weak solutions to the Cauchy problem, by building on ideas from [C. De Lellis and L. Sz\'ekelyhidi, Arch. Ration. Mech. Anal., 195 (2010)] and [S. Markfelder, Nonlinearity, 37 (2024)]. This framework may be applied to a large family of partial differential equations in order to construct weak solutions in $L^\infty ((0,T) \times \Omega)$ (for a bounded domain $\Omega)$ which are weakly continuous in time with respect to the weak topology of $L^r (\Omega)$ for some $r \in (1,\infty)$. This allows us to construct solutions which obey an energy inequality. In the second part of the paper we apply the framework to several inviscid models appearing in the field of geophysical fluid mechanics in order to show existence of weak solutions for all initial data, and to prove that there exist initial data for which there are infinitely many solutions which satisfy an energy inequality. We first consider the incompressible and the barotropic compressible Euler equations to recover the corresponding results from the literature. In addition, the framework allows us to prove a new result for the incompressible Euler equations, namely the global existence for the Cauchy problem in $L^\infty$. Moreover, we use the framework in the context of the hydrostatic Euler equations (also known as the incompressible inviscid primitive equations), which leads to the first convex integration approach which is able to construct admissible solutions with the natural energy for this system. A crucial ingredient in the proof of this result is the computation of a large subset of the convex hull. Finally, we apply the framework to the compressible inviscid primitive equations and to the inviscid quasi-geostrophic equations to obtain the first results on existence of wild data for these two geophysical models.

math.AP

Maximal entropy production principle and the Euler system of gas dynamics

Convex integration has revealed that the Euler system of gas dynamics is ill-posed in the class of weak solutions even if the entropy inequality is imposed as an additional constraint. A natural question arises, namely, if a physically relevant solution can be selected by maximizing the entropy production rate. Firstly, we present an example of Riemann initial data in 2-D, for which the standard self-similar solution fails to satisfy the maximal entropy production principle. Hence, maximizing the entropy production rate rules out the 1-D self-similar solution which intuitively seems to be the physically relevant solution in this context. Secondly, we show for a large class of initial data that there exist entropy admissible weak solutions with an arbitrary (non-decreasing) total entropy profile.

math.AP

Maximal turbulence as a selection criterion for measure-valued solutions

The quest for a good solution concept for the partial differential equations (PDEs) arising in mathematical fluid dynamics is an outstanding open problem. An important notion of solutions are the measure-valued solutions. It is well known that for many PDEs there exists a multitude of measure-valued solutions even if admissibility criteria like an energy inequality are imposed. Hence in recent years, people have tried to select the relevant solutions among all admissible measure-valued solutions or at least to rule out some solutions which are not relevant. In this paper another such criterion is studied. In particular, we aim to select generalized Young measures which are ``maximally turbulent''. To this end, we look for maximizers of a certain functional, namely the variance, or more precisely, the Jensen defect of the energy. We prove existence of such a maximizer and we show that its mean value and total energy is uniquely determined. Our theory is carried out in a very general setting which may be applied in many situations where maximally turbulent measures shall be selected among a set of generalized Young measures. Finally, we apply this general framework to the incompressible and the isentropic compressible Euler equation. Our criterion of maximal turbulence is plausible and leads to existence and uniqueness in a certain sense (in particular, the mean value and the total energy of different maximally turbulent solutions coincide).

math.AP

Failure of the least action admissibility principle in the context of the compressible Euler equations

Finding a proper solution concept for the multi-dimensional barotropic compressible Euler equations and related systems is still an unsolved problem. As revealed by convex integration, the classical notion of an admissible weak solutions (also known as weak entropy solutions) does not lead to uniqueness and allows for solutions which do not seem to be physical. For this reason, people have studied additional criteria in view of their ability to rule out the counterintuitive solutions generated by convex integration. Recently, in [H.~Gimperlein, M.~Grinfeld, R.~J.~Knops and M.~Slemrod: The least action admissibility principle, arXiv: 2409.07191 (2024)] it was suggested that the least action admissibility principle serves as the desired selection criterion. In this paper, however, we show that the least action admissibility principle rules out the solution which is intuitively the physically relevant one. Consequently, one either has to reconsider one's intuition, or the least action admissibility principle must be discarded.

math.AP

A New Convex Integration Approach for the Compressible Euler Equations and Failure of the Local Maximal Dissipation Criterion

In this paper we establish a new convex integration approach for the barotropic compressible Euler equations in two space dimensions. In contrast to existing literature, our new method generates not only the momentum for given density, but also the energy and the energy flux. This allows for a simple way to construct admissible solutions, i.e. solutions which satisfy the energy inequality. Moreover using the convex integration method developed in this paper, we show that the local maximal dissipation criterion fails in the following sense: There exist wild solutions which beat the self-similar solution of the one-dimensional Riemann problem extended to two dimensions. Hence the local maximal dissipation criterion rules out the self-similar solution. The convex integration machinery itself is carried out in a very general way. Hence this paper provides a universal framework for convex integration which not even specifies the form of the partial differential equations under consideration. Therefore this general framework is applicable in many different situations.

math.AP

Nonuniqueness of generalised weak solutions to the primitive and Prandtl equations

We develop a convex integration scheme for constructing nonunique weak solutions to the hydrostatic Euler equations (also known as the inviscid primitive equations of oceanic and atmospheric dynamics) in both two and three dimensions. We also develop such a scheme for the construction of nonunique weak solutions to the three-dimensional viscous primitive equations, as well as the two-dimensional Prandtl equations. While in [D.W. Boutros, S. Markfelder and E.S. Titi, Calc. Var. Partial Differential Equations, 62 (2023), 219] the classical notion of weak solution to the hydrostatic Euler equations was generalised, we introduce here a further generalisation. For such generalised weak solutions we show the existence and nonuniqueness for a large class of initial data. Moreover, we construct infinitely many examples of generalised weak solutions which do not conserve energy. The barotropic and baroclinic modes of solutions to the hydrostatic Euler equations (which are the average and the fluctuation of the horizontal velocity in the $z$-coordinate, respectively) that are constructed have different regularities.

math.AP

On Energy Conservation for the Hydrostatic Euler Equations: An Onsager Conjecture

Onsager's conjecture, which relates the conservation of energy to the regularity of weak solutions of the Euler equations, was completely resolved in recent years. In this work, we pursue an analogue of Onsager's conjecture in the context of the hydrostatic Euler equations (also known as the inviscid primitive equations of oceanic and atmospheric dynamics). In this case the relevant conserved quantity is the horizontal kinetic energy. We first consider the standard notion of weak solution which is commonly used in the literature. We show that if the horizontal velocity $(u,v)$ is sufficiently regular then the horizontal kinetic energy is conserved. Interestingly, the spatial H\"older regularity exponent which is sufficient for energy conservation in the context of the hydrostatic Euler equations is $\frac{1}{2}$ and hence larger than the corresponding regularity exponent for the Euler equations (which is $\frac{1}{3}$). This is due to the anisotropic regularity of the velocity field: Unlike the Euler equations, in the case of the hydrostatic Euler equations the vertical velocity $w$ is one degree spatially less regular with respect to the horizontal variables, compared to the horizontal velocity $(u,v)$. Since the standard notion of weak solution is not able to deal with this anisotropy properly, we introduce two new notions of weak solutions for which the vertical part of the nonlinearity is interpreted as a paraproduct. We finally prove several sufficient conditions for such weak solutions to conserve energy.

math.AP

Euler system with a polytropic equation of state as a vanishing viscosity limit

We consider the Euler system of gas dynamics endowed with the incomplete equation of state relating the internal energy to the mass density and the pressure. We show that any sufficiently smooth solution can be recovered as a vanishing viscosity - heat conductivity limit of the Navier--Stokes--Fourier system with a properly defined temperature. The result is unconditional in the case of the Navier type (slip) boundary conditions and extends to the no-slip condition for the velocity under some extra hypotheses of Kato's type concerning the behavior of the fluid in the boundary layer.

math.AP

On oscillatory solutions to the complete Euler system

The Euler system in fluid dynamics is a model of a compressible inviscid fluid incorporating the three basic physical principles: Conservation of mass, momentum, and energy. We show that the Cauchy problem is basically ill-posed for the $L^\infty$-initial data in the class of weak entropy solutions. As a consequence, there are infinitely many measure-valued solutions for a vast set of initial data. Finally, using the concept of relative energy, we discuss a singular limit problem for the measure-valued solutions, where the Mach and Froude number are proportional to a small parameter.

math.AP

Convex Integration Applied to the Multi-Dimensional Compressible Euler Equations

We shall deal with both the barotropic and the full compressible Euler system in multiple space dimensions. Both systems are particular examples of hyperbolic conservation laws. Whereas for scalar conservation laws there exists a well-known complete well-posedness theory, and for one-dimensional systems one also has achieved several results on existence and uniqueness, in the case of multi-dimensional systems there are even negative results regarding uniqueness: With the so-called convex integration method it is possible to show that there exist initial data for which the compressible Euler equations in multiple space dimensions admit infinitely many solutions. The convex integration technique was originally developed in the context of differential inclusions and has later been applied in groundbreaking papers by De Lellis and Sz\'ekelyhidi to the incompressible Euler equations which led to infinitely many solutions. In the literature this result has been refined in order to obtain solutions for the compressible Euler system as well. The common feature of all of these non-uniqueness results for compressible Euler is an ansatz which reduces the compressible Euler equations to some kind of "incompressible system" for which a slight modification of the incompressible theory can be applied. In this work we present a first result of a direct application of convex integration to the barotropic compressible Euler equations. With the help of this result we will show existence of initial data for which there are infinitely many solutions both for the barotropic and full Euler system.

math.AP

Shocks Make the Riemann Problem for the Full Euler System in Multiple Space Dimensions Ill-posed

The question of (non-)uniqueness of one-dimensional self-similar solutions to the Riemann problem for hyperbolic systems of gas dynamics in sets of multi-dimensional admissible weak solutions was addressed in recent years in several papers culminating in [17] with the proof that the Riemann problem for the isentropic Euler system with a power law pressure is ill-posed if the one-dimensional self-similar solution contains a shock. Natural question then arises whether the same holds also for a more involved system of equations, the full Euler system. After the first step in this direction was made in [1], where the ill-posedness was proved in the case of two shocks appearing in the self-similar solution, we prove in this paper that the presence of just one shock in the self-similar solution implies the same outcome, i.e. the existence of infinitely many admissible weak solutions to the multi-dimensional problem.

math.AP

Non-uniqueness of admissible weak solution to the Riemann problem for the full Euler system in 2D

The question of well- and ill-posedness of entropy admissible solutions to the multi-dimensional systems of conservation laws has been studied recently in the case of isentropic Euler equations. In this context special initial data were considered, namely the 1D Riemann problem which is extended trivially to a second space dimension. It was shown that there exist infinitely many bounded entropy admissible weak solutions to such a 2D Riemann problem for isentropic Euler equations, if the initial data give rise to a 1D self-similar solution containing a shock. In this work we study such a 2D Riemann problem for the full Euler system in two space dimensions and prove the existence of infinitely many bounded entropy admissible weak solutions in the case that the Riemann initial data give rise to the 1D self-similar solution consisting of two shocks and possibly a contact discontinuity.

math.AP

On the density of wild initial data for the compressible Euler system

We consider a class of wild initial data to the compressible Euler system that give rise to infinitely many admissible weak solutions via the method of convex integration. We identify the closure of this class in the natural $L^1$-topology and show that its complement is rather large, specifically it is an open dense set.

math.AP

On the low Mach number limit for the compressible Euler system

In this paper, we propose a new approach to singular limits of inviscid fluid flows based on the concept of dissipative measure-valued solutions. We show that dissipative measure-valued solutions of the compressible Euler equations converge to the smooth solution of the incompressible Euler system when the Mach number tends to zero. This holds both for well-prepared and ill-prepared initial data, where in the latter case the presence of acoustic waves causes difficulties. However this effect is eliminated on unbounded domains thanks to dispersion.

math.AP

The 2-d isentropic compressible Euler equations may have infinitely many solutions which conserve energy

We consider the 2-d isentropic compressible Euler equations. It was shown in by E. Chiodaroli, C. De Lellis and O. Kreml that there exist Riemann initial data as well as Lipschitz initial data for which there exist infinitely many weak solutions that fulfill an energy inequality. In this note we will prove that there is Riemann initial data for which there exist infinitely many weak solutions that conserve energy, i.e. they fulfill an energy equality. As in the aforementioned paper we will also show that there even exists Lipschitz initial data with the same property.

math.AP