Delta-shock Wave Type Solution of Hyperbolic Systems of Conservation Laws

Transcription

1 Delta-shock Wave Type Solution of Hyperbolic Systems of Conservation Laws V. G. Danilov and V. M. Shelkovich Abstract. For some classes of hyperbolic systems of conservation laws we introduce a new definition of a δ-shock wave type solution. This definition gives natural generalizations of the classical definition of the weak solutions. It is relevant to the notion of δ-shocks. The weak asymptotics method developed by the authors is used to describe the propagation of δ-shock waves. 1. Introduction 1. One of the approaches to solving the problems related to singular solutions of quasilinear equations was developed by the authors in [3] [4] [8] see also [2] [25]. In these papers the authors developed a new asymptotics method the weak asymptotics method for studying the dynamics of propagation and interaction of different singularities of quasilinear differential equations and first-order hyperbolic systems infinitely narrow δ-solitons shocks δ-shocks. This method is based on the ideas of V. P. Maslov s approach that permits deriving the Rankine Hugoniot conditions directly from the differential equations considered in the weak sense [18] [21] [2] see also [29 2.7]. Maslov s algebras of singularities [19] [2] [2] are essentially used in the weak asymptotics method. In this paper in the framework of the weak asymptotics method for some classes of hyperbolic systems of conservation laws we introduce a new definition of a δ-shock wave type solution by integral identities. 2 Mathematics Subject Classification. Primary 35L65; Secondary 35L67 76L5. Key words and phrases. Hyperbolic systems of conservation laws generalized solutions δ-shock waves the weak asymptotics method. The second author V. S. was supported in part by DFG Project 436 RUS 113/593/3 and Grant of Russian Foundation for Basic Research. 1

2 2 V. G. DANILOV AND V. M. SHELKOVICH This definition gives natural generalizations of the classical definition of the weak L -solutions and specifies the definition of measure-solutions given in [1] [27] [3]. By using the weak asymptotics method we describe the propagation of δ-shock waves to three types systems of conservation laws. Among them are well-known system 1.7 which was studied by B. Lee Keyfitz and H. C. Kranzer and zero-pressure gas dynamics system 1.8. For all these systems we construct approximating solutions in the weak sense and prove that the weak limits of these approximating solutions satisfy our definition. Consider the system of equations L 1 [u v] = u t + F u v = 1.1 x L 2 [u v] = v t + Gu v = where F u v and Gu v are smooth functions u = ux t v = vx t R and x R. As is well known such a system even in the case of smooth and moreover in the case of discontinuous initial data u x v x can have a discontinuous shock wave type solution. In this case it is said that the vector function ux t vx t L R ; R 2 is a generalized solution of the Cauchy problem 1.1 with the initial data u x v x if the integral identities uϕ t + F u vϕ x 1.2 dx dt + vϕ t + Gu vϕ x dx dt + x u xϕx dx = v xϕx dx = hold for all compactly supported test functions ϕx t DR [ where dx denotes an improper integral dx. Consider the Cauchy problem for system 1.1 where functions F u v Gu v are linear with respect to v with initial data 1.3 u x = u + u 1 H x v x = v + v 1 H x where u u 1 v and v 1 are constants and Hξ is the Heaviside function. As was shown in [1] [6] [15] [27] [3] in order to solve this problem for some nonclassical cases it is necessary to introduce new elementary singularities called δ-shock waves. These are generalized solutions of hyperbolic systems of conservation laws of the form 1.4 ux t = u + u 1 H x + ct vx t = v + v 1 H x + ct + etδ x + ct where e = and δξ is the Dirac delta function.

3 DELTA-SHOCK WAVE TYPE SOLUTION 3 At present several approaches to constructing such solutions are known. The actual difficulty in defining such solutions arises because of the fact that as follows from to introduce a definition of the δ-shock wave type solution one need to define the product of the Heaviside function and the δ-function. To obtain a δ-shock wave type solution of the system 1.5 u t + u 2 x = v t + uv x = here F u v = u 2 Gu v = vu the following parabolic regularization is used in [13]: u t + u 2 x = εu xx v t + uv x = εv xx. In [12] to obtain a δ-shock wave type solution of the system 1.6 L 11 [u v] = u t + fu x = L 12 [u v] = v t + guv x = here F u v = fu Gu v = vgu this system is reduced to a system of Hamilton Jacobi equations and then the Lax formula is used. In [15] in order to construct δ-shock solutions the problem of multiplication of distributions is solved by using the definition of Volpert s averaged superposition [28]. In [22] the nonconservative product of singular functions is defined as a generalization of Volpert s ideas. In [14] the Colombeau theory approach as well as the Dafermos DiPerna regularization were used in a specific case of the system 1.7 L 21 [u v] = u t + u 2 v x = L 22 [u v] = v t u3 u x = here F u v = u 2 v Gu v = u 3 u. In [14] approximate solutions was constructed but the notion of a singular solution of system 1.7 has not been defined. In [23] in the framework of the Colombeau theory approach for some classes of systems approximate solutions were constructed. In [27] for system 1.5 in [1] for the system 1.8 L 31 [u v] = v t + vu x = L 32 [u v] = vu t + vu 2 x = here v is the density u is the velocity and in [3] for the system 1.9 v t + vfu x = vu t + vufu x = with the initial data 1.3 the δ-shock wave type solution is defined as a measure-valued solution see also [26].

4 4 V. G. DANILOV AND V. M. SHELKOVICH Let BMR be the space of bounded Borel measures vx t C [ BMR ux t L [ L R. A pair u v is said to be a measure-valued solution of the Cauchy problem if ϕ t + fuϕ x vdx t = 1.1 u ϕ t + fuϕ x vdx t = for all ϕx t DR [. Within the framework of this definition in [27] for system 1.5 in [1] for system 1.8 and in [3] for system 1.9 the following formulas for δ-shock waves where derived 1.11 ux t vx t = u v x < φt uδ wtδx φt x = φt u + v + x > φt. Here u u + and u δ are the velocities before the discontinuity after the discontinuity and at the point of discontinuity respectively and φt = σ δ t is the equation for the discontinuity line. In [9] the global δ-shock wave type solution was obtained for system 1.8. By using the Colombeau theory approach in [11] an approximating solution of the Cauchy problem is constructed for this system. The study of systems which admit δ-shock wave type solutions is very important in applications because systems of this type often arise in modelling of physical processes in gas dynamics magnetohydrodynamics filtration theory and cosmogony. System 1.8 is called the zero-pressure gas dynamics system. In multidimensional case this system was used to describe the motion of free particles which stick under collision and thus also is connected with the formation of largescale structures in the universe [31]. 2. In the framework of the weak asymptotics method for some classes of hyperbolic systems of conservation laws we present below the definition of a δ-shock wave type solution. This definition is natural generalizations of the classical definition 1.2 for L solutions and specifies the measure-solutions definition 1.1 see in [1] [27] [3] for the case in which the support of the singular part of the measure v is a union of pieces of smooth curves. According to our Definitions a generalized δ-shock wave type solution is a pair of distributions ux t vx t unlike the Definition 1.1 where vdx t is a measure and ux t is understood as a measurable function which is defined vdx t a.e.. We apply the weak asymptotics method in order to solve the Cauchy problem for systems 1.6 see Sec see Sec. 3 and 1.8 see

5 DELTA-SHOCK WAVE TYPE SOLUTION 5 Sec. 4 with a special form of the initial data 1.12 u x = u x + u 1xH x v x = v x + v 1xH x + e δ x where u k x v k x k = 1 are given smooth functions e is given constant. Here in contrast to the well-known works about δ-shock waves except for [1] the initial data can contain δ-function. The solutions of the Cauchy problems mentioned above are given by Theorems and Corollaries Thus we construct δ-shock wave type solutions and study dynamics of propagation of δ-shocks. The fifth and sixth equations of systems in Theorems are the Rankine Hugoniot conditions of delta-shocks. Remark 1.1. For the Cauchy problem the fact that the initial conditions contain e implies that the system of ordinary differential equations two last Eq that determines the trajectory of a singularity and the coefficient of the δ-function is a system of second-order equations. For the unique solvability of the Cauchy problem posed for this system it is necessary to specify the initial velocity along the trajectory of singularity. We study this in detail at the end of Sec. 4. Here we only note that the value of the initial velocity is not determined by the initial data 1.12 when e. Hence the Cauchy problem has a family solutions parameterized by the parameter of the initial velocity. Therefore as it will be shown in Sec. 4 the Cauchy problem for system 1.8 is well-posed if we use the initial data 4.1 instead of the initial data Here in the initial data 4.1 we introduce the initial velocity. The results of Theorem 4.4 and Corollary 4.5 coincide with the analogous statement from [1] [16] [26] if we identify the velocity on the discontinuity line x = φt in formula 1.11 with the phase velocity of nonlinear wave: u δ t = φt. If e = and the initial data is piecewise-constants our results about system 1.7 coincide with the main statements of [14]. In [14] particular case of an approximate solution of the Cauchy problem with piecewise constant initial data was constructed see Sec. 3. In conclusion we note that the weak asymptotic method allows one to study the initial conditions having the form of the linear combination of functions contained in 1.12 and hence to solve the problem of δ- shock waves interaction [6] [8].

6 6 V. G. DANILOV AND V. M. SHELKOVICH 3. In what follows we introduce definitions of a δ-shock wave type solution for systems 1.1 and 1.8. Here we assume that the functions F u v Gu v are linear with respect to v. Suppose that Γ = {γ i : i I} is a connected graph in the upper half-plane {x t : x R t [ } R 2 containing smooth arcs γ i i I and I is a finite set. By I we denote a subset of I such that an arc γ k for k I starting from the points of the x-axis; Γ = {x k : k I } is the set of initial points of arcs γ k k I. Consider the initial data of the form u x v x where v x = V x + E δγ E δγ = k I e k δx x k u V L R; R e k are constants k I. Definition 1.2. A pair of distributions ux t vx t and graph Γ where vx t is represented in form of the sum vx t = V x t + Ex tδγ u V L R ; R Ex tδγ = i I e ix tδγ i e i x t CΓ i I is called a generalized δ-shock wave type solution of system 1.1 with the initial data u x v x if the integral identities uϕ t + F u V ϕ x dx dt + u xϕx dx = V ϕ t + Gu V ϕ x dx dt i I γ i e i x t ϕx t l V xϕx dx + k I e kϕx k = dl hold for all test functions ϕx t DR [ where ϕxt is the l tangential derivative on the graph Γ γ i dl is a line integral over the arc γ i. For instance the graph Γ containing only one arc {x t : x = ct} φ = corresponds to solution 1.4. Now we introduce definitions of a δ-shock wave type solution for systems 1.8. Suppose that arcs of the graph Γ = {γ i : i I} have the form γ i = {x t : x = φ i t} i I. Definition 1.3. A pair of distributions ux t vx t and graph Γ from Definition 1.2 is called a generalized δ-shock wave type solution

7 DELTA-SHOCK WAVE TYPE SOLUTION 7 of system 1.8 with the initial data u x v x; φ i i I if the integral identities V ϕ t + uv ϕ x dx dt + ϕx t e i x t dl i I γ i l + V xϕx dx + e kϕx k = k I 1.14 uv ϕ t + u 2 V ϕ x dx dt + e i x t φ ϕx t i t dl i I γ i l + u xv xϕx dx + e φ k k ϕx k = k I hold for all ϕx t DR [. According to Remark 1.1 in Definition 1.3 we use the initial data u x v x; φ i i I instead of the initial data u x v x where φ i is the initial velocity i I. Thus in addition to an initial data 1.12 we add the initial velocity φ to the initial data for system 1.8 see 4.1. Next we introduce a notion of a weak asymptotic solution which is one of the most important in the weak asymptotics method. We shall write fx t ε = O D ε α if fx t ε D R is a distribution such that for any test function ψx DR x we have fx t ε ψx = Oε α where Oε α denotes a function continuous in t that admits the usual estimate Oε α constε α uniform in t. Definition 1.4. A pair of functions ux t ε vx t ε smooth as ε > and graph Γ is called a weak asymptotic solution of the Cauchy problem for system 1.1 if the relations 1.15 L 1 [ux t ε vx t ε] = O D ε L 2 [ux t ε vx t ε] = O D ε ux ε = u x + O D ε vx ε = v x + O D ε. hold.

8 8 V. G. DANILOV AND V. M. SHELKOVICH Within the framework of the weak asymptotics method we find the generalized solution ux t vx t of the Cauchy problem as the limit 1.16 ux t = lim ε + ux t ε vx t = lim ε + vx t ε of the weak asymptotic solution ux t ε vx t ε of this problem where limits are understood in the weak sense in the sense of the space of distributions D. Multiplying relations 1.15 by a test function ϕx t integrating by parts and then passing to the limit as ε + we obtain that the limits 1.16 of weak asymptotic solutions satisfy Hence the system of integral identities 1.13 generalizes the usual integral identities 1.2 to the case of δ-shock wave type solutions. In the framework of the weak asymptotics method by we define the superposition of the Heaviside function and the delta function. In the background of these formulas there is the construction of asymptotic subalgebras of distributions but in the description of our technique we omit the algebraic aspects which are given in detail in [2][3] [25]. 4. In the framework of our approach in order to solve the Cauchy problems or or we will seek a weak asymptotic solution in the form of the smooth ansatz 1.17 ux t ε = u x t + u 1 x th u x + φt ε +R u x t ε vx t ε = v x t + v 1 x th v x + φt ε +etδ v x + φt ε + Rv x t ε where u k x t v k x t k = 1 et φt R u x t ε R v x t ε are the desired functions. Here δ v x ε = ε 1 ω δ x/ε is a regularization of the δ-function H j x ε x x/ε = ω j = ω j η dη j = u v ε are regularizations of the Heaviside function Hx. The mollifiers ω u η ω v η ω δ η have the following properties: a ωη C R b ωη has a compact support or decreases sufficiently rapidly as η c ωη dη = 1 d ωη e ω η = ωη. The corrections R j x t ε are functions such that 1.18 R j x t ε = o D 1 j = u v. R j x t ε t = o D 1 ε +

9 DELTA-SHOCK WAVE TYPE SOLUTION 9 Since the generalized solution of the Cauchy problem is defined as a weak limit 1.16 taking into account 1.18 we can see that the corrections R u x t ε R v x t ε make no contribution to the generalized solution. Otherwise setting R u x t ε = R v x t ε = i.e. without introducing these terms we cannot solve the Cauchy problem with an arbitrary initial data see Remarks below. 5. Let λ 1 u v λ 2 u v be the eigenvalues of the characteristic matrix of system 1.1. We assume that the overcompression conditions are satisfied which serve as the stability conditions for the δ-shock waves: 1.19 λ 1 u + φt λ 1 u λ 2 u + φt λ 2 u where φt is the speed of propagation of δ-shock waves and u and u + are the respective left- and right-hand values of u on the discontinuity curve. 2. Propagation of δ-shocks of system Let us consider the propagation of a single δ-shock wave of system 1.6 i.e. consider the Cauchy problem where u 1 >. The eigenvalues of the characteristic matrix of system 1.6 are λ 1 u = f u λ 2 u = gu. We shall assume that the following conditions are satisfied see [6] [1] [15] 2.1 f u > g u > f u gu. 2.2 We choose corrections in the form R u x t ε = R v x t ε = Rt 1 ε Ω x+φt ε where Rt is a continuous function ε 3 Ω x/ε is a regularization of the distribution δ x Ωη has the properties a c see Sec. 1. Since for any test function ψx DR x we have 1 x ε Ω ψx dx = ε 2 ψ Ωξ dξ + Oε 3 ε 1 x x ε Ω ψx dx = ε 2 ψ Ωξ dξ + Oε 3 ε relations 1.18 hold. In order to construct a weak asymptotic solution of the Cauchy problem we will use lemmas on asymptotic expansions.

10 1 V. G. DANILOV AND V. M. SHELKOVICH Lemma 2.1. [5 Corollary 1.1.] Let fu be a smooth function let u x t u 1 x t be bounded functions. If ux t ε is defined by then f ux t ε = fu + [ fu ] H x + φt + O D ε ε + where [ fux t ] = fu x t + u 1 x t fu x t is a jump in function fux t across the discontinuity curve x = φt. Lemma 2.2. Let gu be a smooth function let u k x t v k x t k = 1 et be bounded functions. If ux t ε vx t ε are defined by then g ux t ε vx t ε = gu v + [ guv ] H x + φt { } + etat + Rtct δ x + φt + O D ε ε + where [ hux t vx t ] = hu x t + u 1 x t v x t + v 1 x t hu x t v x t is a jump in function hux t vx t across the discontinuity curve x = φt 2.3 at = g u φt t + u 1 φt tω u η ω δ η dη ct = g u φt t + u 1 φt tω u η Ω η dη. Proof. Using Lemma 2.1 it is easy to obtain the weak asymptotics g ux t ε v x t + v 1 x th v x + φt ε = gu v + [ guv ] H x + φt + O D ε ε +. Next after the change of variables x = εη we have Jε = g ux t ε etδ v x + φt ε +Rt 1 x + φt ε Ω ψx ε = ψφt etat + Rtct + Oε ε + for all ψx DR. Theorem 2.3. Let u 1 > and conditions 2.1 are satisfied. Then there exists T > such that for t [ T the Cauchy problem

11 DELTA-SHOCK WAVE TYPE SOLUTION has a weak asymptotic solution if and only if 2.4 L 11 [u ] = x > φt L 11 [u + u 1 ] = x < φt L 12 [u v ] = x > φt L 12 [u + u 1 v + v 1 ] = x < φt φt = [fu] [u] x=φt ėt = [vgu] [v] [fu] [u] Rt = et ct [fu] [u] x=φt at x=φt where = d at ct are defined by 2.3. The initial data for system dt 2.4 are defined from 1.12 and φ = R = e c [fu ] [u ] a. x= Proof. Substitute into system 1.6 smooth ansatzs 1.17 and asymptotics fux t ε gux t εvx t ε which are given by Lemmas we obtain up to O D ε the following relations L 11 [ux t ε] = L 11 [u ] { u1 + t + } fu + u 1 fu H x + φt x } {u 1 φt fu + u 1 fu δ x + φt + O D ε L 12 [ux t ε vx t ε] = L 12 [u v ] { v1 + t + v + v 1 gu + u 1 v gu } H x + φt { x v } + v 1 φt + ėt + v 1 gu + u 1 v gu δ x + φt { et φt } etat ctrt δ x + φt + O D ε where at ct are defined by 2.3. Here we take into account the estimates Setting of the right-hand side of equal to zero we obtain the necessary and sufficient conditions for the relations L 11 [ux t ε] = O D ε i.e. system 2.4. L 12 [ux t ε vx t ε] = O D ε

12 12 V. G. DANILOV AND V. M. SHELKOVICH Now we consider the Cauchy problem L 11 [u] = u t + fu x = ux = u x. Since fu is convex and u 1 > according to the results [17 Ch.4.2.] we extend u +x = u x u x = u x + u 1x to x x in a bounded C 1 fashion and continue to denote the extended functions by u ±x. By u ± x t we denote the C 1 solutions of the problems L 11 [u] = u t + fu x = u ±x = u ±x which exist for small enough time interval [ T 1 ] and are determined by integration along characteristics. The functions u ± x t determine a two-sheeted covering of the plane x t. Next we define the function x = φt as a solution of the problem φt = f u + x t f u x t φ =. u + x t u x t x=φt It is clear that there exists unique function φt for sufficiently short times [ T 2 ]. To this end for T = mint 1 T 2 we define the shock solution by { u+ x t x > φt ux t = u x t x < φt. Thus the first second and fifth equations of system 2.4 define a unique solution of the Cauchy problem L 11 [u] = u t + fu = ux = x u x for t [ T. Solving this problem we obtain ux t φt. Then substituting these functions into 2.4 we obtain V x t = v x t+v 1 x th x+ φt et and vx t = V x t + etδ x + φt. It is clear that functions ω u ξ Ω ξ can be chosen such that ωu ηω η dη >. Taking into account that g u > u 1x > and integrating by parts we have ct = g u + u 1 ω u η x=φt u 1 ω u ηω η dη. So for any functions u x t u 1 x t et φt t [ T there exists the function Rt which is defined by the last relation of 2.4. Remark 2.4. Using the last relation 2.4 can one obtain from Lemma 2.2 the following relation: vx t εg ux t ε = v gu + [ vgu ] H x + φt 2.7 +et [fu] δ x + φt + O D ε ε + [u] x=φt

13 DELTA-SHOCK WAVE TYPE SOLUTION 13 Remark 2.5. Without introducing correction 2.2 i.e. Rt = we derive from 2.4 the relation [ ] fux t [ ] ux t x=φt setting 2.8 = g u φt t + u 1 φt tω u η ω δ η dη which shows that we cannot solve the Cauchy problem with an arbitrary jump. 2. Using a weak asymptotic solution constructed by Theorem 2.3 we obtain a generalized solution of the Cauchy problem as a weak limit Theorem 2.6. Let u 1 > and conditions 2.1 are satisfied. Then for t [ T where T > is given by Theorem 2.3 the Cauchy problem has a unique generalized solution ux t = u x t + u 1 x th x + φt vx t = v x t + v 1 x th x + φt + etδ x + φt satisfies the integral identities cf. 1.13: T uϕ t + fuϕ x dx dt + u xϕx dx = T 2.9 ϕ t + guϕ x V dx dt + V xϕx dx ϕx t + ex t dl + e ϕ = Γ l where Γ = {x t : x = φt t [ T } and ϕx t T ex t dl = et ϕ t φt t + l φtϕ x φt t dt Γ V x t = v + v 1 H x + φt and functions u k x t v k x t φt et are defined by Theorem 2.3. Proof. By Theorem 2.3 we have the following estimates: L 11 [ux t ε] = O D ε L 12 [ux t ε vx t ε] = O D ε. Let us apply the left-hand and right-hand sides of these relations to an arbitrary test function ϕx t DR [ T. Then integrating by parts we obtain T ux t εϕ t x t + fux t εϕ x x t dxdt

14 14 V. G. DANILOV AND V. M. SHELKOVICH T + ux εϕx dx = Oε ϕ t x t + gux t εϕ x x t vx t ε dxdt + vx εϕx dx = Oε ε +. Passing to the limit as ε + and taking into account Lemmas and the fact that T etδ v x + φt ε ϕx t dxdt lim ε = 2.11 lim ε + T etϕφt t dt eδ v x ε ϕx dx = eϕ we obtain the integral identities 2.9. In view of the above remark in Theorem 2.6 the Cauchy problem has a unique generalized solution. Here the right-hand sides of the sixth equation of system 2.4 ėt = [vgu] [v] [fu] [u] x=φt is the so-called Rankine Hugoniot deficit. If initial data 1.12 are piecewise-constants i.e u = u u 1 = u 1 > v = v v 1 = v 1 then we have from Theorem 2.6. Corollary 2.7. For t [ the Cauchy problem with piecewise-constants initial data has a unique generalized solution where ux t = u + u 1 H x + φt vx t = v + v 1 H x + φt + etδ x + φt φt = [fu] t [u] et = e + [guv] [fu] [u] [v] t.

15 DELTA-SHOCK WAVE TYPE SOLUTION Propagation of δ-shocks of system Let us consider the Cauchy problem The overcompression condition is 3.1 λ 1 u + λ 2 u + φt λ 1 u λ 2 u where λ 1 u = u 1 λ 2 u = u + 1 are the eigenvalues of the characteristic matrix of system 1.7. We choose corrections Rx t ε in the form 3.2 R u x t ε = P t 1 ε Ω x+φt P ε R v x t ε = where P t is a smooth function 1 ε Ω2 P x/ε is a regularization of the delta function. Moreover we assume that 3.3 Ω 2 P η dη Ω 3 P η dη =. For example we can choose Ω P η = Ω P η. It is clear that relations 1.18 hold. Theorem 3.1. Let 3.4 u + 1 [u 2 ] [v ] [u ] u + u 1 1 x= then there exists T > such that for t [ T the Cauchy problem has a weak asymptotic solution if and only if 3.5 where 3.6 a = L 21 [u v ] = x > φt L 21 [u + u 1 v + v 1 ] = x < φt L 22 [u v ] = x > φt L 22 [u + u 1 v + v 1 ] = x < φt φt = [u2 ] [v] x=φt ėt = [u] [u 3 ] P t = u + u 1 v 1 u 1 x=φt = b u a 1 [u] [v] [u2 ] [v] 3 [u] et a Ω 2 P η dη > b = ω u ηω 2 P η dη. x=φt

16 16 V. G. DANILOV AND V. M. SHELKOVICH The initial data for system 3.5 are defined from 1.12 and φ = P = Proof. Let Hx ε = ω x/ε be a regularization of the Heaviside function and let δ k x ε = ε 1 ω k x/ε k = 1 2 be regularizations of the delta function. Using Lemmas we obtain the following relations r Hx ε = Hx + O D ε x r 3.7 δ 1 x ε ω 2 = A r δx + O D ε ε r δ 1 x ε Hx ε = B r δx + O D ε ε + where A r = ω 1 ηω2η r dη B r = ωηωη r dη r = Using one can calculate 2 ux t ε = u 2 + u + u 1 2 u 2 H x + φt +ap 2 tδ x + φt + o D ux t ε = u 3 + u + u 1 3 u 3 H x + φt + 3au + 3bu 1 P 2 t δ x + φt e a. +o D 1 ε + where a b are defined by 3.6. Substituting into the left-hand side of system 1.7 we obtain up to o D 1 L 21 [ux t ε vx t ε] = L 21 [u v ] { u1 + t + [ u 2 v ]} H x + φt { x [ + u 1 φt u 2 v ]} δ x + φt { } et ap 2 t δ x + φt + o D 1 L 22 [ux t ε vx t ε] = L 22 [u v ] { v1 + t + [ u 3 ]} x 3 u H x + φt [ u 3 ]} + {v 1 φt + ėt 3 u δ x + φt { et φt } au + bu 1 P 2 t δ x + φt + o D 1.

17 DELTA-SHOCK WAVE TYPE SOLUTION 17 Setting the left-hand side of equal to zero we obtain systems 3.5. According to the above arguments see the proof of Theorem 2.3 and in view of the overcompression condition the first five equations of system 3.5 define a unique solution of the Cauchy problem L 21 [u V ] = L 22 [u V ] = with initial data ux = u x V x = vx + v1xh x 3.4 for small enough time interval [ T ]. Solving this problem we obtain ux t V x t φt see also [24 Ch.I 8.]. Then substituting these functions into 3.5 we obtain et P t vx t = V x t+etδ x+ φt. Remark 3.2. Using we obtain the following relations: 3.11 ux t ε 2 vx t ε = u 2 v + [ u 2 v ] H x+φt+o D [ 1 ux t ε ux t ε = 3 3 u3 u + 3 u3 u] H x + φt [ ] u et [u] δ x + φt + o D 1 ε Using a weak asymptotic solution and just as above in Subsec we can prove the following theorem. Theorem 3.3. There exists T > such that the Cauchy problem for t [ T has a unique generalized solution ux t = u x t + u 1 x th x + φt vx t = v x t + v 1 x th x + φt + etδ x + φt satisfies the integral identities 1.13: T uϕ t + u 2 V ϕ x dx dt + u xϕx dx = T V ϕ t u3 u ϕ x dx dt + V xϕx dx ϕx t + ex t dl + e ϕ = l Γ where Γ = {x t : x = φt t [ T } ϕx t T ex t dl = et ϕ t φt t + l φtϕ x φt t dt Γ

18 18 V. G. DANILOV AND V. M. SHELKOVICH V x t = v x t + v 1 x th x + φt and functions u k x t v k x t φt et are defined by Theorem 3.1. The right-hand sides of the sixth equation of system 3.5 [u 3 ] ėt = 3 [u] ] [v] [v][u2 [u] is the so-called Rankine Hugoniot deficit. x=φt Remark 3.4. We can solve the Cauchy for initial data determined by the fourth relation 3.5: u + u 1 v 1 u 1 u 1 x=φt = b a where a = Ω 2 P η dη b rewritten as 3.13 u v 1 u 1 u 1 = ω u ηω 2 P η dη. This relation can be = φt u u 1 = b a a where u = u + u 1. In [14] the parameter a = Ω 2 P η dη was set to be 1. Hence b a a = ω u η 1 Ω 2 P η dη < 1. Here relation 3.13 coincides with the second relation [14 Proposition 2] and the last inequality coincides with the statement of [14 Lemma 1]. However in this case relation 3.13 still leaves one degree of freedom to connect u = u + u 1 and u + = u see [14 Proposition 2]. Remark 3.5. Without introducing correction 3.2 i.e. setting P t = according to 3.5 we can solve the Cauchy problem only if the following relation holds: [u 3 ] [u] ] [v] [v][u2 =. [u] x=φt Corollary 3.6. The Cauchy problem where initial data is piecewise-constants for t [ has a unique generalized solution ux t = u + u 1 H x + φt vx t = v + v 1 H x + φt + etδ x + φt where φt = [u2 ] [v] t [u] et = e + [u 3 ] [u] [v] [u2 ] [v] t. 3 [u]

19 DELTA-SHOCK WAVE TYPE SOLUTION 19 If e = and the initial data is piecewise-constants according to the seventh equation 3.5 the Rankine Hugoniot deficit is positive: as in [14]. ėt = [u3 ] 3 [u] ] [v] [v][u2 [u] > 4. Propagation of δ-shocks of zero-pressure gas dynamics system 1. According to Remark 1.1 we consider the Cauchy problem 1.8 which initial data of the form 4.1 u x = u x + u 1xH x v x = vx + v1xh x + e δ x. φt = φ 1 t= where u k x v k x k = 1 are given smooth functions e φ 1 are given constant and u 1 >. System 1.8 has a double eigenvalue λ 1 u = λ 2 u = u. In this case the entropy condition is 4.2 u + φt u. 4.3 We choose corrections in the form R u x t ε = QtΩ x+φt ε R v x t ε = Rt 1 ε Ω x+φt ε where Qt Rt are continuous functions ε 1 Ω x/ε and ε 1 Ω x/ε are a regularization of the delta function Ωη and Ωη have the properties a c see Sec. 1. Thus relations 1.18 hold. Moreover we assume that Ωη Ωη are functions such that b 1 = ω δ ηω η dη ω u η Ω η dη = 4.4 c 2 = ωuη Ω 2 η dη ω u ηω η Ω η dη = Ω η Ω η dη =.

20 2 V. G. DANILOV AND V. M. SHELKOVICH It is clear that for any mollifiers ω δ η ω u η there are mollifiers Ωη Ωη such that system 4.4 is solvable. For example we can choose an even mollifier Ωη and a mollifier Ωη such that the second and third relations 4.4 hold. Moreover we assume that Ωη Ωη such that supp Ω supp Ω =. Hence the fifth and fourth relations 4.4 hold. In addition we assume that Ωη such that Ω η is closed to an odd function. Then the first relation 4.4 holds. Theorem 4.1. There exists T > such that the Cauchy problem for t [ T has a weak asymptotic solution if and only if 4.5 L 31 [u v ] = x > φt L 31 [u + u 1 v + v 1 ] = x < φt L 32 [u v ] = x > φt L 32 [u + u 1 v + v 1 ] = x < φt ėt = [uv] [v] φt x=φt d et φt = [u 2 v] [uv] dt x=φt Qt = φt u a 1 u 1 x=φt b 1 Rt = et u 2 1 c 2 { φt 2 u 2 + 2u u 1 a 1 + u 2 1a 2 +Q 2 tb 2 + 2Qt u b 1 + u 1 c 1 } x=φt. where the initial data for system 4.5 are defined from 4.1 and φ = Q = φ u a 1u 1 b 1 x= R = e u 1 2 c 2 { φ 2 u 2 + 2u u 1a 1 + u 1 2 a 2 +Q 2 b 2 + 2Q u b 1 + u 1c 1 } x=. Here a k = ω u η k ωδ η dη k = 1 2 b 2 = Ω η 2 ωδ η dη c 1 = ω u ηω ηω δ η dη c 2 = ω 2 uη Ω η dη.

21 DELTA-SHOCK WAVE TYPE SOLUTION 21 Proof. Just as above using Lemmas and taking into account the relations ω u ηω η Ω η dη = ω u η Ω η dη = Ω η Ω η dη = one can calculate ux t εvx t ε = u v + [ ] uv H x + φt +et u + u 1 ω u ηω δ η dη 4.6 +Qt ω δ ηω η dη δ x + φt + O D ε u 2 x t εvx t ε = u 2 v + { + et u 2 + 2u u 1 [ ] u 2 v H x + φt ω u ηω δ η dη + u 2 1 ω 2 uηω δ η dη +Q 2 t Ω 2 ηω δ η dη + 2Qt u Ω ηω δ η dη +u 1 ω u ηω ηω δ η dη 4.7 +Rtu 2 1 } ωuη Ω 2 η dη δ x + φt + O D ε. Substitute into the first equation of system 1.8 smooth ansatzs 1.17 asymptotics and setting of the left-hand side equal to zero we obtain the necessary and sufficient conditions for the equality L 31 [ux t ε] = O D ε: 4.8 L 31 [u v ] = x > φt L 31 [u + u 1 v + v 1 ] = x < φt ėt = [uv] [v] φt x=φt x=φt φt = u + u 1 a 1 + Qtb 1. Substitute into the second equation of system 1.8 smooth ansatzs 1.17 asymptotics and taking into account the third relation of system 4.8 we obtain the necessary and sufficient conditions

22 22 V. G. DANILOV AND V. M. SHELKOVICH for the equality L 32 [ux t ε] = O D ε: 4.9 L 32 [u v ] = x > φt L 32 [u + u 1 v + v 1 ] = x < φt d et φt = [u 2 v] [uv] dt φt x=φt et { 2 φt = et u 2 + 2u u 1 a 1 + u 2 1a 2 +Q 2 tb 2 + 2Qt u b 1 + u 1 c 1 From we have system Rtu 2 1c 2 } x=φt. Remark 4.2. Using the two last equations of system 4.5 from we have the following relations: [ ] ux t εvx t ε = u x tv x t + ux tvx t H x + φt 4.1 +et φtδ x + φt + O D ε [ ] u 2 x t εvx t ε = u 2 x tv x t + u 2 x tvx t H x + φt et φt 2δ x + φt + OD ε ε We obtain a generalized solution of the Cauchy problem as a weak limit of a weak asymptotic solution constructed in Theorem 4.1. Theorem 4.3. There exists T > such that the Cauchy problem for t [ T has a unique generalized solution ux t = u x t + u 1 x th x + φt vx t = v x t + v 1 x th x + φt + etδ x + φt satisfies the integral identities 1.14 where V x t = v x t + v 1 x th x + φt and functions u k x t v k x t φt et are defined by the system 4.12 L 31 [u v ] = x > φt L 31 [u + u 1 v + v 1 ] = x < φt L 32 [u v ] = x > φt L 32 [u + u 1 v + v 1 ] = x < φt ėt = [uv] [v] φt x=φt d et φt = [u 2 v] [uv] dt x=φt

23 DELTA-SHOCK WAVE TYPE SOLUTION 23 where initial data are defined from 4.1. Proof. According to Theorem 4.1 we have the following relations L 31 [ux t ε vx t ε] = O D ε L 32 [ux t ε vx t ε] = O D ε. The proof of the first integral identity 1.14 is based on 4.1 and the same calculations as those carried out above in Subsec and we omit them here. Let us apply the left-hand and right-hand sides of the relation L 32 [ux t ε vx t ε] = O D ε to an arbitrary test function ϕx t DR [ T. Then integrating by parts we obtain T ux t εvx t εϕ t x t + u 2 x t εvx t εϕ x x t dxdt + ux εvx εϕx dx = Oε. Passing to the limit as ε + and taking into account and we obtain integral identities 2.9: T uv ϕ t + u 2 V ϕ x dx dt + u xv xϕx dx T + et φt ϕ t φt t + φtϕ x φt t dt + e φϕ =. Here Γ = {x t : x = φt t [ T } and Γ e φt ϕ l dl = T et φt ϕ t φt t + φtϕ x φt t dt. If initial data 4.1 are piecewise-constants i.e u = u u 1 = u 1 > v = v v 1 = v 1 then we have the following statement from Theorem 4.3. Theorem 4.4. The Cauchy problem 1.8 with piecewise-constants initial data 4.1 for t [ has a unique generalized solution ux t = u + u 1 H x + φt vx t = v + v 1 H x + φt + etδ x + φt where i if [v] then et = e 2 + 2e ėt + [uv] 2 [v][u 2 v] t 2 φt = e +[uv]t e 2 +2e ėt+ [uv] 2 [v][u 2 v] t 2 [v]

24 24 V. G. DANILOV AND V. M. SHELKOVICH and ė = [uv] [v] φ ii if [v] = then 4.13 et = e + [u]v t φt = e φ+tv [u 2 ]/2 e +tv [u] t. Proof. In this case from Theorem 4.3 we have ėt = [uv] [v] φt d et φt = [u 2 v] [uv] dt φt. Let [v]. Substituting φt from the first equation into the second one we obtain eët + ėt 2 = [uv] 2 [v][u 2 v]. Integrating the last expression we obtain etėt = 1 d e 2 t = A 1 + At 2 dt where A = [uv] 2 [v][u 2 v] = u v u + v + 2 v v + u 2 v u 2 +v + = v v + u u + 2 u + = u u = u + u 1 v + = v v = v + v 1 A 1 is a constant. Thus we have 4.14 et = A + 2A 1 t + At 2 A = e 2. Hence 4.15 ėt = and 4.16 A 1 + At e 2 + 2A 1 t + At 2 φt = [uv] ėt [v] φt = e +[uv]t A 1 = e ė e 2 +2e ėt+at 2 [v]. If [v] = then v = v + = v. In this case et = e + [u]v t. Substituting the last relation into the second equation of system 4.13 we have et φt + 2[u]v φt = [u 2 ]v.

25 DELTA-SHOCK WAVE TYPE SOLUTION 25 Integrating this differential equation after elementary calculations we obtain φt = [u2 ] 2[u] + [u φ 2 ] e 2 2[u] e + tv [u]. 2 Hence φt = e φ+tv [u 2 ]/2 e +tv t. [u] Now we prove that constructed solution is entropy solution. Consider the case [v]. In view of the fact that A 1 + At = for t = A 1 = e ė A v v + < the function e 2 + 2e ėt + At 2 > is [u] 2 defined for all t. From we obtain φt = e 2 ė 2 v v + [u] 2 [v] e 2 + 2e ėt + v v + [u] 2 t 2 3/2. Thus φt and ėt are monotonous functions for all t. Consequently taking into account that ėt A = [u] v v + φt u v +u + v+ v + v + t and relations u + φ u u v +u + v+ v + v + u u + one can easily see that entropy condition 4.2 holds. The case [v] = can be comsidered in the same way. The proof of the theorem is complete. Corollary 4.5. Let φ = u v +u + v+ v + v + i.e. ė = v v + [u]. The the Cauchy problem 1.8 with piecewise-constants initial data 4.1 for t [ has a unique generalized solution ux t = u + u 1 H x + φt vx t = v + v 1 H x + φt + etδ x + φt where φt = u v +u + v+ v + v + t et = e + v v + u u + t where u + = u u = u + u 1 v + = v v = v + v 1. According to the results of Theorem 4.4 and Corollary 4.5 if ė = v v + [u] the trajectory of singularity has the same form as for e =.

26 26 V. G. DANILOV AND V. M. SHELKOVICH Acknowledgements The authors are greatly indebted to Y. Belopolskaya for fruitful discussions. References [1] F. Bouchut On zero pressure gas dynamics Advances in Math. for Appl. Sci. World Scientific [2] V. G. Danilov V. P. Maslov V. M. Shelkovich Algebra of singularities of singular solutions to first-order quasilinear strictly hyperbolic systems Theor. Math. Phys. 114 no [3] V. G. Danilov G. A. Omel yanov V. M. Shelkovich Weak Asymptotics Method and Interaction of Nonlinear Waves in Mikhail Karasev ed. Asymptotic Methods for Wave and Quantum Problems Amer. Math. Soc. Transl. Ser [4] V. G. Danilov V. M. Shelkovich Propagation and interaction of nonlinear waves to quasilinear equations Hyperbolic prorblems: Theory Numerics Applications Eighth International Conference in Magdeburg February/March 2 v.i. International Series of Numerical Mathematics v. 14 Birkhäuser Verlag Basel/Switzerland [5] V. G. Danilov and V. M. Shelkovich Propagation and interaction of shock waves of quasilinear equation Nonlinear Studies 8 no [6] V. G. Danilov V. M. Shelkovich Propagation and interaction of delta-shock waves The Ninth International Conference on Hyperbolic prorblems. Theory Numerics and Applications. Abstracts. California Institute of Technology California USA March [7] V. G. Danilov V. M. Shelkovich Dynamics of propagation and interaction of δ-shock waves in hyperbolic systems In print. [8] V. G. Danilov V. M. Shelkovich Propagation and interaction of δ-shock waves to hyperbolic systems of coservation laws To appear in Russian Acad. Sci. Dokl. Math. 23. [9] Weinan E. Yu. Rykov Ya. G. Sinai Generalized variational principles global weak solutions and behavior with random initial data for dystems of conservation laws arising in adhesion particlae dynamics Comm. Math. Phys [1] G. Ercole Delta-shock waves as self-similar viscosity limits Quart. Appl. Math. LVIII no [11] Jiaxin Hu The Rieman problem for pressureless fluid dynamics with distribution solutions in Colombeau s sence Comm. Math. Phys [12] Feiming Huang Existence and uniqueness of discontinuous solutions for a class nonstrictly hyperbolic systems In Chen Gui-Qiang ed. et al. Advances in nonlinear partial differential equations and related areas. Proceeding of conf. dedicated to prof. Xiaqi Ding China [13] K. T. Joseph A Rieman problem whose viscosity solutions contain δ-measures Asymptotic Analysis

27 DELTA-SHOCK WAVE TYPE SOLUTION 27 [14] B. Lee Keyfitz and H. C. Kranzer Spaces of weighted measures for conservation laws with singular shock solutions Journal of Differential Equations [15] P. Le Floch An existence and uniqueness result for two nonstrictly hyperbolic systems Nonlinear Evolution Equations That Change Type Springer-Verlag [16] J. Li and Tong Zhang On the initial-value problem for zero-pressure gas dynamics Hyperbolic prorblems: Theory Numerics Applications. Seventh International Conference in Zürich February 1998 Birkhäuser Verlag Basel Boston Berlin [17] A. Majda Compressible fluid flow and systems of conservation laws in several space variables Springer-Verlag New York Berlin Heidelberg Tokyo [18] V. P. Maslov Propagation of shock waves in isoentropi nonviscous gas Itogi Nauki i Tekhn.: Sovremennye Probl. Mat. vol. 8 VINITI Moscow 1977 pp ; English transl. J. Soviet Math [19] V. P. Maslov Three algebras corresponding to nonsmooth solutions of systems of quasilinear hyperbolic equations Uspekhi Mat. Nauk no Russian. [2] V. P. Maslov Non-standard characteristics in asymptotical problems In: Proceeding of the International Congress of Mathematicians August Warszawa vol. I Amsterdam New York Oxford: North-Holland [21] V. P. Maslov and G. A. Omel yanov Asymptotic soliton-form solutions of equations with small dispersion Uspekhi Mat. Nauk no ; English transl. Russian Math. Surveys no [22] G. Dal Maso P. G. Le Floch and F. Murat Definition and weak stability of nonconservative products J. Math. Pures Appl [23] M. Nedeljkov Delta and singular delta locus for one dimensional systems of conservation laws Preprint ESI 837 Vienna 2. [24] B. L. Rozhdestvenskii and N. N. Yanenko Systems of Quasilinear Equations Moscow Nauka 1978 in Russian B. L. Rozhdestvenskii and N. N. Janenko Systems of Quasilinear Equations and Their Applications to Gas Dynamics New York Am. Math [25] V. M. Shelkovich An associative-commutative algebra of distributions that includes multiplicators generalized solutions of nonlinear equations Mathematical Notices 57 no [26] Wancheg Shen Tong Zhang The Rieman problem for the transportaion equations in gas dynamics Memoirs of the Amer. Math. Soc. 137 no [27] Dechun Tan Tong Zhang and Yuxi Zheng Delta-shock waves as limits of vanishing viscosity for hyperbolic systems of conservation laws Journal of Differential Equations [28] A. I. Volpert The space BV and quasilinear equations Math. USSR Sb [29] G. B. Whitham Linear and Nonlinear Waves New York London Sydney Toronto Wiley 1974 [3] Hanchun Yang Riemann problems for class of coupled hyperbolic systems of conservation laws Journal of Differential Equations

28 28 V. G. DANILOV AND V. M. SHELKOVICH [31] Ya. B. Zeldovich Gravitationnal instability: An approximate theory for large density perturbations Astron. Astrophys Department of Mathematics Moscow Technical University of Communication and Informatics Aviamotornaya 8a Moscow Russia. address: danilov@miem.edu.ru Department of Mathematics St.-Petersburg State Architecture and Civil Engineering University 2 Krasnoarmeiskaya St. Petersburg Russia. address: shelkv@svm.abu.spb.ru