Abstract
We show the existence of two sticky particles models with the same velocity function which is the entropy solution of the inviscid Burgers' equation. One of them is governed by the set of discontinuity points of . Thus, the trajectories coincide; however one has different mass distributions and . Here, denotes the Lebesgue measure.
1. Introduction and Main Results
The one-dimensional Burgers’ equation of viscosity takes the form . It is widely used in the physical literature to model various phenomenon such as shock waves in hydrodynamics turbulence and gas dynamics [1, 2]. A solution of this equation was given by Hopf [3]. When , one gets the inviscid form which is solved by convergence of the solution of the general form when tends to 0. It is well known that the entropy solution of the inviscid equation is interpreted as the velocity function of some sticky particles model [4, 5], but this link was shown only for continuous initial data, and the connection with the trajectories is still unknown.
It is easy to see the relation between the inviscid Burgers’ equation and the so-called pressure less gas system , which are simplified forms of the classical Euler equations. Here, and are smooth functions. Indeed, a correct derivation of the second equation gives . Taking account of the first equation, one gets , which leads to (of course if ). The above link holds again when is a field of nonnegative measures, and the derivations are made in the sense of distributions.
In the case of measures, a solution of the gas system was given for example in [4–6], and more recently in [7, 8]. In [5, 7, 8], the pressureless gas system was obtained from the sticky particles model. In these works, is the velocity of the particle which occupies the position at time , and is the mass distribution of the whole matter at time . In the latest work of Moutsinga [8], the sticky particle model was constructed when is any probability measure and has no positive jump. The author showed that the particles trajectories are such that .
Unfortunately, even if is continuous, the velocity immediately presents discontinuities in space and time as soon as the first shocks occur. Thus, it is not easy to obtain rigorously Burgers’ equation from the pressure less gas system.
Very recently, Moutsinga [9] showed that if is the Lebesgue measure , and has no positive jump, then the velocity field is the entropy solution of the inviscid Burgers’ equation. The proof was made using the exact expression of the solution given by Hopf [3].
In this this paper, we give again the same result when is nonincreasing and the initial c.d.f. of the matter is . We use known results on scalar conservations laws by considering the conservative form of the inviscid Burgers’ equation where is a smooth function.
We show that the set of discontinuity points of governs its own sticky particles model whose velocity function is again .
It is well known that discontinuity lines of start on discontinuity points such that which are the atoms of the measure (see [1] and the illustrations of Section 2.1). For this reason we consider a nonincreasing function and we define as the mass initial distribution of a system of particles. We consider each as the position of a particle which starts with the mass and the velocity . This allows to interpret as the velocity of a cluster situated at position at time with the mass . This fact is the main result of this paper. We recall that the measure is a Radon measure well-defined by
Theorem 1.1. Let be the entropy solution of Burgers’ equation of initial data like above. The measure and the function represent, respectively, at time , the mass distribution and the velocity function of the sticky particles model whose initial mass distribution and velocity function are given by and . There exists a forward flow defined on the measure space such that is the position, after having browsed the time of the particle that occupied the position at time . Moreover, Let be the space of real continuous functions with compact support. For all , The function is the unique entropy solution of the scalar conservation law
Moreover, for all .
Remark that contrary to the model of [9], Burgers equation is recovered here from the above scalar conservation law (1.5), although the flux (representing the momentum) is not a trivial function.
The second result of this paper is an interpretation of some equations from [3], in terms of image measures of the Lebesgue measure by applications defined from two different sticky particles models: the latest flow and the one of [9]. Let us come back to the model of [9] which is a generalization of [7, 8] to the case of infinite total mass of the particles. For fixed , Lagrange coordinates and were used in [3] in order to get the solution of (1.1). In the model of [9], is the set of all the initial particles (a cluster) that occupy the position at time , with the mass . Moreover, Hence
Proposition 1.2. Suppose that is nonincreasing and . There exists two forward flows which model the trajectories of two different sticky particles models, such that for all ,(1);(2);(3)if is not constant in any neighborhood of , then for all , . So , which is equivalent to with .
For any nonnegative Radon measure and any smooth enough function , it was defined in [9] the sticky particles model of initial mass distribution and initial velocity function . The state of the particles at each time is given by the function . In fact, the flow was already given in [9] by Then, the first equation of assertion is one of the properties of since a.e; the second equation is given in Theorem 1.1. The end of assertion comes from the fact that is the image measure of by the generalized inverse . The coincidence of the two flows is given in Section 2 (Theorem 2.2 where we also precise the link between the two models).
Let be the support of . We will see in fact that is given by
Before the proof of the Theorem 1.1, we study the link between and .
2. Comparison of the Two Models
2.1. When a Diffuse Dynamics Hides a Discrete One
In this part, is nonincreasing and stair size.
2.1.1. Example of a Single Shock Wave
We begin with an initial velocity of the type In this case, and for all . What about ? Let us define . The cluster is the set on which the function reaches its absolute lower bound. This is necessarily done in at least one which is a continuity point of , and . Suppose that . Then , and a simple computation gives which shows that the lower bound is also reached in . If , then and a simple computation gives which shows that the lower bound is also reached in . Thus, . Hence,
For the dynamics modeled by , this means that the trajectory of is a straight line along which all the shocks occur continuously. At time , the particle is in a cluster of center and of diameter , with the velocity 1/2.
2.1.2. Stairsize Velocity
By similar arguments as above, one gets the following results when is a stair size function of the type Let be the velocity field of the discrete dynamics constructed from .
Proposition 2.1. For all , there exists a unique couple such that , and for all If such that and
These results can be also seen as a simple consequence of the following general case.
2.2. The General Case
The function is nonincreasing and From and , we have two sticky particles models:(i)each is the position of an initial particle which occupies the position at time , with the velocity and the mass ; (ii)each is the position of an initial particle which occupies the position at time , with the velocity and the mass , with .
For all . Then, for all , there exist clusters such that For , if we suppose that , then both the functions , are solutions of As satisfies the Œlenick type entropy condition (see [9]) it follows from the results of Fillipov [10] that , for all .
Unfortunately, this method fails when . In the sequel, using other arguments, we show indeed that for , and that the trajectories coincide for all . In fact, we show that .
Remark that the link can be established only for the initial positions is not constant in any neighborhood of . We recall that
Theorem 2.2. Let be the entropy solution of Burgers’ equation with a nonincreasing initial data such that . For all , let us define . One has if and only if If , one has two possibilities:(i) satisfies , (ii) and there exist such that
Before giving the proof, we remark that if is continuous in , then If is not continuous in , the formula must be corrected with the right term or , depending on the fact that the integration is closed or not in . This formula is due to the integration by parts
So we get
Proof of Theorem 2.2. When is discontinuous in , we have , and is defined as the velocity of the cluster : For , the cluster satisfies Let and suppose that . First, we remark that . It is obvious if . If , we have . This occurs only when is not an accumulation of particles from the left; then there exists another cluster such that and Thus . As is constant in , we get . On the other hand, it is easy to see that is continuous in . Then, we have necessarily . If , gives in (2.15): As we get From the definition of and , the fist term is negative and the second is nonnegative. This is absurd, as well as the case . We can conclude that . In the same way, . Thus and it comes from (2.15) that (2.i) and in this case (2.ii) For , there exist and clusters such that and As the function does not decrease, we have and this leads to . From the fact that and , we conclude that
We have shown that all is the position of two particles which move following two different dynamics given, at time , by their respective positions, velocities, and masses (with ) such that However, we had at time zero,
A surprising fact is that the two dynamics have exactly the same atoms after time zero. The first dynamics is diffuse, and the second one can be discrete (if is discrete).
Now we show the connection between the second sticky particles model and the inviscid Burgers’ equation.
Proof of Theorem 1.1. and (4) The function is nonincreasing. As in [8] we can define the sticky particles model of initial mass distribution and velocity function . For all , the particles position are given by a continuous nondecreasing function well defined on the support of and is extended to by linear interpolation. In the following, we set . For any r.v. having as law, define . The velocity field of the particles is such that . Here, the derivative holds on the right-hand side, for all .
At time , consider the c.d.f. . One has and its inverse is given by . On , is a r.v. which is the same law as .
For fixed , let be the maximum among the abscissas where the function
reaches its absolute lower bound. Using the results of [9], it is clear that the function is a c.d.f. of and it is the entropy solution of
Defining the at most countable set , and remarking that for all , we have
As this c.d.f. takes its values in , one should compute the values of the flux for . Without loss of generality, one can suppose that 0 is a value of continuity of . Thus, for there are only two possibilities:
As , we have
and we get
Then, is the entropy solution of Burgers’ equation with initial data . Thus,.
The fact that is the velocity (for ) was already given in Theorem 2.2. We give another proof here. For each discontinuity point of , is the position, at time , of a massive particle; so its velocity is
If is continuous in and is the position at time , then it is the position of a cluster which moves with its initial velocity . We have the equalities of masses . This means that . The velocity of this particle is then .
and These points are given by properties of (see [9]). The condition means .