arxiv: v2 [math.ap] 11 Nov 2015

Transcript

1 1 arxiv: v [math.ap] 11 Nov 15 Global Existence of Weak Solutions to the Barotropic Compressible Navier-Stokes Flows with Degenerate Viscosities Jing LI a,b, Zhouping XIN b a. Institute of Applied Mathematics, AMSS, & Hua Loo-Keng Key Laboratory of Mathematics, Chinese Academy of Sciences, Beijing 119, P. R. China b. The Institute of Mathematical Sciences, The Chinese University of Hong Kong, Hong Kong Abstract This paper concerns the existence of global weak solutions to the barotropic compressible Navier-Stokes equations with degenerate viscosity coefficients. We construct suitable approximate system which has smooth solutions satisfying the energy inequality, the BD entropy one, and the Mellet-Vasseur type estimate. Then, after adapting the compactness results due to Bresch-Desjardins(, 3) and Mellet-Vasseur (7), we obtain the global existence of weak solutions to the barotropic compressible Navier-Stokes equations with degenerate viscosity coefficients in two or three dimensional periodic domains or whole space for large initial data. This, in particular, solved an open problem proposed by Lions (1998). Keywords. compressible Navier-Stokes equations; degenerate viscosities; global weak solutions; large initial data; vacuum. AMS subject classifications. 35Q35, 35B65, 76N1 1 Introduction and main results The barotropic compressible Navier-Stokes equations, which are the basic models describing the evolution of a viscous compressible fluid, read as follows { ρ t +div(ρu) =, (1.1) (ρu) t +div(ρu u) divs+ P(ρ) =, where x Ω R N (N =,3),t >, ρ is the density, u = (u 1,,u N ) is the velocity, S is the viscous stress tensor, and P(ρ) = aρ γ (a >,γ > 1) is the pressure. Without This research is supported in part by Zheng Ge Ru Foundation, Hong Kong RGC Earmarked Research Grants CUHK-441/11P, CUHK-448/13P, a Croucher Foundation & CAS Joint Grant, NSFC/RGC Joint Research Scheme N-CUHK443/14, and a Focus Area Grant at The Chinese University of HongKong. The research of J. Li was partially supported by the National Center for Mathematics and Interdisciplinary Sciences, CAS, and NNSFC Grant No ajingli@gmail.com (J. Li), zpxin@ims.cuhk.edu.hk (Z. Xin).

2 loss of generality, it is assumed that a = 1. Two major cases will be considered: either S S 1 h u+gdivui, (1.) or S S hdu+gdivui, (1.3) where Du = 1 ( u + ( u)tr ), I is the identical matrix, and h,g satisfy the physical restrictions h >, h+ng. (1.4) There are many studies on the global existence and behavior of solutions to (1.1) (1.) when both h and g are constants. The one-dimensional problem has been studied extensively, see [15, 7, 8] and the references therein. For the multi-dimensional case, the global classical solutions with the density strictly away from vacuum were first obtained by Matsumura-Nishida [34] for initial data close to a non-vacuum equilibrium. Recently, Huang-Li-Xin [1] obtained the global classical solutions with the density containing vacuum provided the initial energy is suitably small. For the weak solutions, Hoff [16 18] studied the problem for discontinuous initial data. When the initial total energy is finite (which implies that the initial density may vanish), Lions [31] obtained the global existence of weak solutions provided the exponent γ is suitably large, which was further relaxed by Feireisl-Novotny-Petzeltová [11] to γ > 3/ for three-dimensional case. On the other hand, there are important and interesting phenomena where h and g depend on the density which are degenerate at vacuum. Indeed, as pointed out by Liu- Xin-Yang in [3], in the derivation of the compressible Navier-Stokes equations from the Boltzmann equation by the Chapman-Enskog expansions, the viscosity depends on the temperature, which is translated into the dependence of the viscosity on the density for barotropic flows. Moreover, Lions [31] also proposed various models for shallow water, in particular, he points out that the global existence of weak solutions to (1.1) (1.) with h = ρ,g = remains open. Recently, a friction shallow-water system, with flat bottom topography, which is derived in [8,9,1,33], can be written in a two-dimensional space domain Ω as (1.1) (1.3) with h(ρ) = g(ρ) = ρ. Indeed, such models appear naturally and often in geophysical flows [4, 5, 7 9]. Therefore, it is of great importance to study the compressible Navier-Stokes equations (1.1) (1.) and (1.1) (1.3) with density-dependent viscosity. In the one-dimensional case with h = g = Aρ α for some positive constants A and α, the well-posedness of either the initial value problem or the initial boundary value ones with fixed or free boundaries has been studied by many authors (see [,3,3, 36, 39, 41 43] and the references therein). In higher dimensions, assuming that h is a constant and g(ρ) = aρ β with a > and β > 3, Vaigant-Kazhikhov [37] first proved that for the two-dimensional case (1.1) (1.3) with slip boundary conditions has a unique global strong and classical solution. Recently, for the Cauchy problem and the periodic boundary conditions, Huang-Li [19,] and Jiu-Wang-Xin [4 6] relaxed the condition β > 3 to β > 4/3. For the case h = h(ρ) and g = g(ρ), in addition to (1.4), under the condition that g(ρ) = h (ρ)ρ h(ρ), (1.5) Bresch-Desjardins [4 7] have made important progress. Indeed, for the periodic boundary conditions and the Cauchy problem, they succeeded in obtaining a new entropy inequality (called BD entropy) which can not only be applied to the vacuum case but

3 3 also be used to get the global existence of weak solutions to (1.1) (1.) and (1.1) (1.3) with some additional drag terms [5 7]. Later, by obtaining a new apriori estimate on smooth approximation solutions, Mellet-Vasseur [35] study the stability of barotropic compressible Navier-Stokes equations (1.1) (1.) and (1.1) (1.3) without any additional drag term. However, the construction of the smooth approximation solutions remains to be carried out, which does not seem routine in the case of appearance of vacuum. In fact, only part results for special cases are available. In particular, for one-dimensional case, Li-Li-Xin [3] obtained the global existence of weak solutions to (1.1) (1.3) with h(ρ) = g(ρ) = ρ α (α > 1/) and proved that for any global entropy weak solution, any vacuum state must vanish within the finite time. Later, when the initial data is spherically symmetric, Guo-Jiu-Xin [13] obtained the global existence of weak solutions to (1.1) (1.) whose Lagrange structure and dynamics are studied by Guo-Li-Xin [14]. Thus, the main aim of this paper is to obtain the global existence of weak solutions to (1.1) (1.) and (1.1) (1.3) for γ > 1 and for general initial data by constructing some suitable smooth approximation solutions. For the sake of simplicity, it is assumed that for constant α >, h(ρ) = ρ α, g(ρ) = (α 1)ρ α. (1.6) We then consider the Cauchy problem, Ω = R N (N =,3), and the case of bounded domains with periodic boundary conditions, Ω = T N (N =,3). The initial conditions are imposed as ρ(x,t = ) = ρ, ρu(x,t = ) = m. (1.7) We always assume that the initial data ρ,m satisfy that for some constant η >, ρ a.e. in Ω, ρ, ρ L 1 (Ω) L γ (Ω), ρ α 1/ L (Ω), m L γ/(γ+1) (Ω), m = a.e. on Ω, (1.8) ρ 1 η m +η L 1 (Ω), where we agree that ρ 1 η m +η = a.e. on Ω, the vacuum set of ρ, defined by Ω {x Ω ρ (x) = }. (1.9) Before stating the main results, we give the definition of a weak solution to (1.1) (1.3) (1.6) (1.7). Similarly, one can define a weak solution to (1.1) (1.) (1.6) (1.7). Definition 1.1 For N =,3, let Ω = T N or Ω = R N. (ρ,u) is said to be a weak solution to (1.1) (1.3) (1.6) (1.7) if ρ L (,T;L 1 (Ω) L γ (Ω)), ρ (γ+α 1)/ L (,T;(L (Ω)) N ), ρ α 1/, ρu L (,T;(L (Ω)) N ), h(ρ) u, h(ρ)( u) tr L (,T;(W 1,1 loc (Ω)) N N ), g(ρ)divu L (,T;W 1,1 loc (Ω)), with (ρ, ρu) satisfying { ρ t +div( ρ ρu) =, ρ(x,t = ) = ρ (x), in D, (1.1)

4 4 and if the following equality holds for all smooth test function φ(x,t) with compact support such that φ(x,t) = : T m φ(x,)dx+ ( ρ( ρu)φ t + ρu ρu : φ+ρ γ divφ)dxdt Ω Ω (1.11) where 1 h(ρ) u, φ 1 h(ρ)( u)tr, φ g(ρ)divu,divφ =, T h(ρ) u, φ = ρ α 1/ ρu φdxdt Ω α T ρuj i ρ α 1/ i φ j dxdt, α 1 T h(ρ)( u) tr, φ = α α 1 Ω T T g(ρ)divu,divφ = (α 1) α(α 1) α 1 Ω ρ α 1/ ρu divφdxdt Ω T Then the first main result of this paper is as follows: Ω ρui j ρ α 1/ i φ j dxdt, ρ α 1/ ρu divφdxdt Ω ρu ρ α 1/ divφdxdt. Theorem 1.1 Let Ω = R or T. Suppose that α and γ satisfy α > 1/, γ > 1, γ α 1. (1.1) Moreover, assume that the initial data (ρ,m ) satisfy (1.8). Then there exists a global weak solution (ρ,u) to the problem (1.1) (1.3) (1.6) (1.7). is The method of Theorem 1.1 can be applied directly to the system (1.1) (1.), that Theorem 1. Let Ω = R or T. Under the conditions of Theorem 1.1, there exists a global weak solution (ρ, u) to the problem (1.1) (1.) (1.6) (1.7). Theorems 1.1 and 1. are concerning with the two-dimensional case. As for the three-dimensional case, we have Theorem 1.3 Let Ω = R 3 or T 3. Suppose that α [3/4,) and γ (1,3) satisfy { (1,6α 3), for α [3/4,1], γ (1.13) [α 1,3α 1], for α (1,). Assume that the initial data (ρ,m ) satisfy (1.8). Moreover, if α (1,), in addition to (1.8), we assume that ρ 3 m 4 L 1 (Ω), (1.14) where we agree that ρ 3 m 4 = a.e. on Ω as in (1.9). Then there exists a global weak solution (ρ,u) to the problem (1.1) (1.) (1.6) (1.7).

5 5 Theorem 1.4 Let Ω = R 3 or T 3. Suppose that α = 1 and γ (1,3). Assume that the initial data (ρ,m ) satisfy (1.8). Then there exists a global weak solution (ρ,u) to the problem (1.1) (1.3) (1.6) (1.7). A few remarks are in order: Remark 1.1 If α = 1 and γ =, Theorems give a positive answer to the open problem proposed by Lions [31, Section 8.4]: In the first case (ie (8.7) (8.71)), the Cauchy problem is completely open for the models involving (8.73), where (8.7) (8.71) (8.73) is corresponding to (1.1) (1.) (1.6) with α = 1 and γ =. Remark 1. For three-dimensional case, it should be noted that Theorem 1.3 here is valid for all γ (1,3) provided h = ρ and g =. Therefore, for h = ρ and g =, our Theorems 1.3 and 1.4 establish the existence of global weak solutions to (1.1) (1.) and (1.1) (1.3) with γ (1,3) for general initial data, which is in sharp contrast to the case that h and g are both constants, where the condition γ > 3/ is essential in the analysis of Lions [31] and Feireisl-Novotny-Petzeltová [11]. In fact, for h and g being both constants and γ (1,3/], it remains completely open to obtain the global existence of weak solutions to (1.1) (1.) for general initial data except for the spherically symmetric case [3]. Remark 1.3 After some routine modifications, for the system (1.1) (1.), our method can be applied directly to the case that h and g satisfy (1.5) and the conditions listed in [35] together with some additional constraints. However, for the shallow-water system with h = g = ρ ( [8,9,1,33]), the global existence of weak solutions to (1.1) (1.) or (1.1) (1.3) for general initial data remains open since (1.5) fails for this case. Remark 1.4 For the system (1.1) (1.3) and three-dimensional case, our construction depends on the condition that h = ρ and g =, and cannot be applied directly to the general case that h and g satisfy the conditions listed in Theorem 1.3. This will be left for future. Remark 1.5 Around the same time when this paper is finished, there are announcements of some existence results on the problem (1.1) (1.3) (1.6) (1.7) with α = 1 and Ω = T N (N =,3) by Vasseur-Yu [38] with a different approach. However, we have difficulties to understand some of their key a priori assumptions near vacuum in their arguments. We now make some comments on the analysis of this paper. Since the compactness arguments are similar to those of Bresch-Desjardins [5 7] and Mellet-Vasseur [35], the main point of this paper is to construct smooth approximate solutions, whose densities are bounded from above and strictly bounded away from vacuum provided the smooth initial ones are, satisfying the energy estimate, the BD entropy inequality, and the Mellet-Vasseur type estimate. To this end, we first deal with the periodic case and consider the following approximate system ρ t +div(ρu) = ρ 1/ div(ρ 1/ h (ρ) ρ), ρu t +ρu u div(h (ρ)du) (g (ρ)divu)+ P = div(h (ρ) u)+ (1.15) (g (ρ)divu) e 3 (ρ +ρ )u,

6 6 where with h (ρ) = ρ α + 1/3 (ρ 7/8 +ρ γ ), g (ρ) = ρh (ρ) h (ρ), (1.16) < min{(α 1)(16(α +γ)) 1,η }, γ γ +1/6. (1.17) Here, we propose to approximate (1.1) 1 by (1.15) 1 which is a parabolic equation for any fixed > and hence has smooth effects on the density provided the smooth initial density is strictly away from vacuum. The specific choices of the higher order regularization in (1.15) have several key advantages. First, it can be shown that the smooth solutions to the new system (1.15) (1.17) satisfy the energy and the Mellet- Vasseur type estimates. Moreover, after some careful calculations, we find that the most difficult term induced by ρ 1/ div(ρ 1/ h (ρ) ρ) has the right sign (see (.17)) which implies that the solutions to our approximate system also satisfy the BD entropy inequality. In fact, this is one of the key observations of this paper. Next, in order to obtain the lower and upper bounds of the density, in addition to the estimate on L (,T;L N+δ )-norm of ρ 1/(N+δ) u which can be obtained for the system (1.1) (1.3) in two-dimensional case (see (.9)) and for (1.1) (1.) in both two-dimensional (see (.9)) and three-dimensional cases (see(3.7)), one still needs some additional estimates on the L (,T;L p )-norm (for suitably large p) of ρ and ρ 1 which can be achieved by adding a damping term e 3 (ρ +ρ )u on the righthand side of (1.1) (see (1.15) ). However, for +, this term will bring new difficulties which can be overcome by adding 1/3 (ρ 7/8 +ρ γ+1/6 ) to h(ρ) (see (1.16)). This idea is motivated by our previous study on the one-dimensional problem [3]. With all these estimates at hand, we can use a De Giorgi-type procedure to bound the density from above and below, in particular, the density is strictly away from vacuum provided the initial one is (see (.5)). In fact, this is another key issue of this paper. Once we obtained (.5), we can use the L p -theory for parabolic system to get the estimates on the L p (,T;L p )- norm of (ρ,u),(ρ t,u t ), and ( ρ, u) (see (.4)). This in turn implies that the approximate system (1.15) (1.17) has a global strong solution with smooth initial data. Next, after adapting the compactness results due to Bresch-Desjardins [5 7] and Mellet- Vasseur [35], we can obtain the global existence of the weak solutions to either (1.1) (1.3) (1.6) for two-dimensional periodic case or (1.1) (1.) (1.6) for two-dimensional and three-dimensional periodic cases. Finally, to prove Theorems 1.1 and 1.3 where Ω = R N (N =,3), some extra care should be taken due to the unboundedness of the domain. In this case, we consider the system (1.15) (1.17) in Q = ( σ, σ ) and (3.) (1.16) (1.17) in Q = ( σ, σ ) N (N =,3) and impose the Neumann boundary condition on ρ and Navier-slip conditions on u (see (5.6) and (5.15)). Then we can adapt the preceding proofs in the case Ω = T N (N =,3) to Ω = R N (N =,3). This paper is organized as follows. Since the proof of Theorem 1. is similar as that of Theorem 1.1 after some routine modifications, we will only prove Theorems 1.1, 1.3, and 1.4. In the next section, we work on the problem (1.1) (1.3) (1.6) (1.7) in the two-dimensional periodic case, Ω = T, then in the Section 3, we adapt the previous procedure to the problem (1.1) (1.) (1.6) (1.7) in the three-dimensional periodic case, Ω = T 3. Next, in the section 4, we will construct a new approximate system which can be applied to obtain the global weak solutions to the problem (1.1) (1.3) (1.6) (1.7) in the three-dimensional periodic case, and in the end (Section 5) we shall explain how to modify the preceding proofs in the cases where Ω = R N (N =,3).

7 7 Proof of Theorem 1.1: Ω = T In this section, we study the -dimensional periodic case which is the simplest one, yet the most important case since most of ideas to be developed here can be modified to deal with other cases..1 A priori estimates For as in (1.17), let smooth functions ρ > and u satisfy ρ L 1 L γ (Ω) + ρ α 1/ L (Ω) + 1/3 ρ 3/8 L (Ω) + 1/3 ρ γ 1/3 + 13/3 e 3 ρ + γ 1 L 1 (Ω) + 13/3 e 3 ρ 1/8 L 1 (Ω) + 4 e 3 ρ +α 1 L 1 (Ω) + 4 e 3 ρ +α 1 L 1 (Ω) C, L (Ω) (.1) and Ω ρ u +η dx C, (.) for some constant C independent of. We extend ρ and u Ω-periodically to R and consider the system (1.15) (1.17) with initial data: (ρ,u)(x,) = (ρ,u ). (.3) Let T > be a fixed time and (ρ,u) be a smooth solution to (1.15) (1.17) (.3) on Ω (,T]. Then, we will establish some necessary a priori bounds for (ρ,u). The first one is the energy-type inequality. Lemma.1 There exists some generic constant C independent of and T such that sup t T T + T (ρ u +ρ+ρ γ )dx+ T h (ρ) Du dxdt+e 3 where and throughout this section, for any f, fdx fdx. Ω ρ 1 h (ρ) ρ (1+ u )dxdt (ρ +ρ ) u dxdt C, Proof. First, integrating (1.15) 1 over Ω (,T) together with (.3) gives sup t T T ρdx+ (.4) ρ 1 h (ρ) ρ dxdt C. (.5)

8 8 Next, multiplying (1.15) by u, integrating by parts, and using (1.15) 1 yield 1 ( ρ u dx) t + (h (ρ)( Du + u )+(1+ )g (ρ)(divu) )dx +e (ρ 3 +ρ ) u dx+ u ρ γ dx = ρ 1/ div(ρ 1/ h (ρ) ρ) u dx = ρ 1 h 4 (ρ) ρ u dx h (ρ) ρ u udx ρ 1 h 8 (ρ) ρ u dx+ ρh (ρ) u dx ρ 1 h 8 (ρ) ρ u dx+ h (ρ) u dx. (.6) Then, to estimate the last term on the left hand side of (.6), after integration by parts and using (1.15) 1, one obtains that for q 1, u ρ q dx = q ρ q 1 div(ρu)dx q 1 = q ρ q 1 ( ρ t +ρ 1/ div(ρ 1/ h q 1 (ρ) ρ))dx (.7) = 1 q 1 ( ρ q q(q 1) dx) t + ρ q h (q 1) (ρ) ρ dx. Finally, for v R N (N =,3), we have (divv) N Dv N v, which together with (1.16) implies that for N =,3, { 4(h (ρ) Dv +g (ρ)(divv) ) min{nα (N 1),1}h (ρ) Dv, 4(h (ρ) v +g (ρ)(divv) ) min{nα (N 1),1}h (ρ) v. (.8) Since, the combination of (.5) (.8), (.1), with (.) yields (.4), which completes the proof of Lemma.1. Now we are in a position to derive the following entropy estimate which in particular yields the uniform BD one due to Bresch-Desjardins [4 7]. Lemma. There exists some generic constant C independent of and T such that ( ) sup ρ 1 (h (ρ)) ρ + 13/3 e 3 (ρ + γ 1 +ρ 1/8 ) dx t T T + T h (ρ) u dxdt+ ρ γ 3 h (ρ) ρ dxdt C. (.9) and Proof. First, set G ρ 1/ div(ρ 1/ h (ρ) ρ) (.1) ϕ (ρ) ρ 1 h (ρ). (.11)

9 9 Multiplying (1.15) 1 by ϕ (ρ) leads to which gives (ϕ (ρ)) t +u ϕ (ρ)+ρϕ (ρ)divu = ϕ (ρ)g, ( ϕ (ρ)) t +u ϕ (ρ)+ u ϕ (ρ)+ (ρϕ (ρ)divu) = (ϕ (ρ)g). (.1) Thus, multiplying (.1) by ρ ϕ (ρ) and integration by parts show that 1 ( ρ ϕ (ρ) dx) t + h (ρ) u ϕ (ρ)dx + h (ρ) (ρϕ (ρ)divu)dx + ϕ (ρ)g ( h (ρ) 1 ) ϕ (ρ) ρ dx =. Next, multiplying (1.15) by ϕ (ρ) leads to u t h (ρ)dx+ u u h (ρ)dx (1+ ) h (ρ) divu ϕ (ρ)dx (1+ ) h (ρ) u ϕ (ρ)dx+(1+ ) g (ρ)divu ϕ (ρ)dx + P (ρ)ϕ (ρ) ρ dx+e 3 (ρ +ρ )u ϕ (ρ)dx =, (.13) (.14) where the following simple fact has been used: h (ρ) u ϕ (ρ)dx = h (ρ) divu ϕ (ρ)dx. Since (1.15) 1 implies (h (ρ)) t +div(h (ρ)u)+(ρh (ρ) h (ρ))divu = h (ρ)g, the first term on the left hand side of (.14) is handled as u t h (ρ)dx = ( u h (ρ)dx) t u h (ρ) t dx = ( u h (ρ)dx) t u u h (ρ)dx h (ρ)du : udx+ h (ρ) u dx (ρh (ρ) h (ρ))(divu) dx+ divuh (ρ)gdx, (.15) where in the second equality one has used u div(h (ρ)u)dx = i u (h (ρ)u i )dx = u u h (ρ)dx h (ρ) i u u i dx = u u h (ρ)dx h (ρ)du : udx+ h (ρ) u dx.

10 1 Now, multiplying (.13) by 1+ and adding the resulting equality to (.14), one can obtain after using (.15) that 1+ ( ρ ϕ (ρ) dx) t +( ρu ϕ (ρ)dx) t + h (ρ) u dx + P (ρ)ϕ (ρ) ρ dx+e 3 (ρ +ρ )u ϕ (ρ)dx +(1+ ) ϕ ( h (ρ)g (ρ) 1 ) 1 ϕ (ρ) ρ + 1+ ρdivu dx = h (ρ)du : udx+ (ρh (ρ) h (ρ))(divu) dx 1 h (ρ) u dx+c h (ρ) Du dx, where in the first equality one has used the following simple calculations: h (ρ) (ρϕ (ρ)divu)dx h (ρ) divu ϕ (ρ)dx + g (ρ)divu ϕ (ρ)dx = h (ρ) (ρϕ (ρ))divudx+ ρϕ (ρ) h (ρ) divudx h (ρ) divu ϕ (ρ)dx g (ρ) divu ϕ (ρ)dx divu g (ρ) ϕ (ρ)dx ( h = (ρ) (ρϕ (ρ)) g (ρ) ϕ (ρ) ) divudx (ρϕ + (ρ) h (ρ) h (ρ) ϕ (ρ) g (ρ) ϕ (ρ) ) divudx = due to (1.16) and (.11). Since (.11) and (.1) imply h (ρ) 1 ϕ (ρ) ρ = 1 G, (.16) the last term on the left hand side of (.16) satisfies (1+ ) ϕ ( h (ρ)g (ρ) 1 ) 1 ϕ (ρ) ρ + 1+ ρdivu dx 1 ϕ (ρ)g dx ρ ϕ (ρ)(divu) dx 1 ϕ (ρ)g dx C h (ρ) Du dx. (.17)

11 11 Finally, it follows from (.11) and (1.16) that (ρ +ρ )u ϕ (ρ)dx ( ) αρ +α 1 = u +α /3 ρ 1/8 8 + γ7/3 ρ + γ 1 1+( γ 1) dx + u ( αρ +α 1 +α 1 77/3 ρ 1/8 8+ γ7/3 ρ + γ 1 1 ( γ 1) which, together with (.7), (.16), (.17), (.4), and (.1), yields (.9). The proof of Lemma. is finished. With Lemmas.1 and. at hand, we can prove the following Mellet-Vasseur type estimate ( [35]). Lemma.3 Assume that γ > 1 satisfies γ (1+α)/ in addition. Then there exists some generic constant C depending on T but independent of such that ρ(e+ u )ln(e+ u )dx C. (.18) sup t T Proof. First, multiplying (1.15) by (1+ln(e+ u ))u and integrating lead to 1 d ρ(e+ u )ln(e+ u )dx 1 (e+ u )ln(e+ u )Gdx dt + (1+ln(e+ u ))(h (ρ)( Du + u )+(1+ )g (ρ)(divu) )dx (.19) C h (ρ) u dx (1+ln(e+ u ))u ρ γ dx C h (ρ) u dx+c ln (e+ u )ρ γ α dx, ) dx, where in the last inequality one has used the following estimate (1+ln(e+ u ))u ρ γ dx (1+ln(e+ u )) divu ρ γ dx+ u i u k e+ u iu k ρ γ dx C ln (e+ u )ρ γ α dx+c h (ρ) u dx. Then, integration by parts gives 1 (e+ u )ln(e+ u )Gdx = ρ 1 h 4 (ρ) ρ (e+ u )ln(e+ u )dx+ h (ρ) ρ u udx + h (ρ)ln(e+ u ) ρ u udx ρ 1 h 8 (ρ) ρ (e+ u )ln(e+ u )dx ρh (ρ) u dx ρ 1 h (ρ) ρ u dx (α+) h (ρ)ln(e+ u ) u dx. (.) (.1)

12 1 It follows from this, (.19), (.4), (.9), (.8), and (.) that sup t T T ρ(e+ u )ln(e+ u )dx C + ln (e+ u )ρ γ α dxdt. (.) Finally, since γ (α+1)/, it holds that ln (e+ u )ρ γ α dx C (ρ+ρ γ )(1+ u )dx C +C ρ u dx+c (ρ+ρ 4γ 1 )dx (.3) C, where in the last inequality, one has used (.4), (.9), and the following Sobolev inequality that for any p > 1, there exists some constant C depending only on α and p such that ρ L p (Ω) C ρ L 1 (Ω) +C ρ α 1/ /(α 1) L (Ω). (.4) Putting (.3) into (.) yields (.18). The proof of Lemma.3 is completed. Next, we will use a De Giorgi-type procedure to obtain the following estimates on the lower and upper bounds of the density which are the key to obtain the global existence of strong solutions to the problem (1.15) (1.17) (.3). Lemma.4 There exists some positive constant C depending on and T such that for all (x,t) Ω (,T) C 1 ρ(x,t) C. (.5) Proof. First, multiplying (1.15) by u u and integrating in space give 1 d ρ u + dx 1 u + Gdx +dt + + u ( h (ρ)( Du + u )+(1+ )g (ρ)(divu) ) dx + (1+ ) h (ρ) u u dx+e 3 (ρ +ρ ) u + dx = 1 h (ρ)u u u dx (1+ ) g (ρ)divuu u dx u u ρ γ dx 4(α+γ) h (ρ) u u dx+c h (ρ) u dx (.6) +C ( ρ +ρ ) u dx+c, where in the last inequality one has used the following simple fact that sup t T ( ρ +ρ ) dx C, (.7)

13 13 due to (.9). Integration by parts yields that 1 u + Gdx + = ρ 1 h (+) (ρ) ρ u + dx+ h (ρ) u 1+ ρ u dx ρ 1 h 8(+) (ρ) ρ u + dx (+) ρh (ρ) u u dx. (.8) It follows from (.6), (.8), (.8), (.4), (.9), and (1.17) that sup t T Next, since v ρ 1/ satisfies ρ u + dx+ T h (ρ) u u dxdt C. (.9) v t div(h (v ) v)+div(uv)+u v =, (.3) multiplying (.3) by (v k) + with k v(,) L (Ω) = ρ 1/ L (Ω) and integrating by parts yield d (v k) + dt dx+α v α (v k) + dx (.31) C v 4 α u dx+α v α (v k) + dx, A k (t) where A k (t) {x Ω v(x,t) > k}. It thus follows from (.9) and Hölder s inequality that v 4 α u dx A k (t) ( ) /(+) ( C v u + dx v (4+4 (+)α)/ dx A k (t) A k (t) ( ) /(+) C C (ρ 4(α+1) 1 +ρ 4(α+1) 1 )dx A k (t) ( C A k (t) /6, (ρ +ρ )dx A k (t) ) (4 )/(6(+)) A k (t) /6 ) /(+) (.3) where (.7) has been used in the last inequality. Putting (.3) into (.31) leads to I k (t)+α ρ α 1 (v k) + dx Cν /6 k, (.33) where I k (t) (v k) + (x,t)dx, ν k sup A k (t). t T Since I k () =, without loss of generality, we can assume that there exists some σ > such that I k (σ) = sup I k (t). t T

14 14 It follows from (.33) that I k (σ)+ ρ α 1 (v k) + (x,σ)dx Cν /6 k, which, together with Hölder s inequality and (.7), gives I k (σ)+ (v k) + (,σ) L 4/(1+) (Ω) ( Cν /6 k + ρ α 1 (v k) + (x,σ)dx Cν /6 k. ) /1 ρ 1(1 α)/ (x,σ)dx (.34) Then, for any h > k v(,) L (Ω), direct computations yield A h (t) (h k) (v k) + (,t) L (Ω) (v k) + (,σ) L (Ω) C (v k) + (,σ) L 4/ (Ω) A k(σ) 1 /1 ( ) C (v k) + (,σ) L (Ω) + (v k) +(,σ) ν 1 /1 L 4/(1+) (Ω) k Cν 1+/1 k, where in the last inequality one has used (.34). This implies ν h C(h k) ν 1+/1 k, which, together with the De Giorgi-type lemma [4, Lemma 4.1.1], thus shows Finally, since w v 1 satisfies sup ρ L (Ω) C. (.35) t T w t +u w wdivu+4h (ρ)w 1 w = div(h (ρ) w), (.36) multiplying (.36) by (w k) + with k w(,) L (Ω) = ρ 1/ L (Ω) yields that d (w k) dt +dx+α ρ α 1 (w k) + dx C w u w dx + C (w k) + u w dx C Ã k (t) Ã k (t) ρ α u dx+α Ã k (t) ρ α 1 (w k) + dx, (.37) where Ãk(t) {x Ω w(x,t) > k}. It follows from Hölder s inequality, (.9), and

15 15 (.7) that à k (t) = ρ α u dx à k (t) ρ α /(+) (ρ 1/(+) u ) dx ) /(+) ( ) /(+) ( C ρ u + dx ρ (+(+)α) 1 dx à k (t) à k (t) ( ) (4 )/(1+6) C ρ 6(+(+)α)/((4 )) dx Ãk(t) /6 à k (t) C ν /6 k, where ν k sup Ãk(t). Hence, putting (.38) into (.37) leads to t T d dt (w k) +dx+α (.38) ρ α 1 (w k) + dx C ν /6 k. (.39) Using (.39) and (.7), one can proceed in the same way as the proof of (.35) to obtain that there exists some positive constant C C such that sup ρ 1 (x,t) C, (x,t) Ω (,T) which, combined with (.35), gives (.5) and finishes the proof of Lemma.4. We still need the following lemma concerning the higher order estimates on (ρ, u) which are necessary to obtain the global strong solution to the problem (1.15) (1.17) (.3). Lemma.5 For any p >, there exists some constant C depending on,p, and T such that T ( ) (ρ t, ρ t,u t p L p (Ω) + (ρ, ρ,u) p dt C. (.4) W,p (Ω) Proof. First, it follows from (.5), (.9), (.4), and (.9) that ( T ( ) sup u L + (Ω) + ρ L (Ω)) + u 4+ L t T 4+ (Ω) + u L (Ω) dt C, (.41) which, together with the standard Hölder estimates for (.3), yields that there exist positive constants C and σ (,1) such that v C σ,σ/ (Ω [,T]) C. (.4) Next, it follows from (.3) that v = ρ 1/ satisfies v t div(h (ρ) v) = div(uv + w) Ω 1 u vdx, (.43) where for t >, w(,t) is the unique solution to the following problem { w = u v Ω 1 u vdx, x Ω, wdx =. (.44)

16 16 Applying standard L p -estimates to (.44) yields that w satisfies for any p > where w L p (Ω) C(p) u L + (Ω) v L q (Ω) C(p) v L q (Ω), (.45) 1 q 1 p > 1 p. (.46) Since (.41) and (.5) imply u vdx C u L (Ω) ρ L (Ω) C, applying standard parabolic L p -estimates to (.43) yields that for any p > T v p L p (Ω) dt C(p)+C(p) T C(p)+C(p) T ( ) u p L p (Ω) + w p L p (Ω) dt u p L p (Ω) dt+ 1 T v p L p (Ω) dt, where in the second inequality, (.45), (.46), and (.41) have been used. Thus, T which, together with (.41), gives v p L p (Ω) dt C(p)+C(p) T T u p L p (Ω) dt, (.47) v 4+ dt C. (.48) L 4+ (Ω) Next, note that (1.15) implies that u satisfies u t ( 1 ( 1 + )ρ 1 h (ρ) u ρ 1 h (ρ)+(1+ ) )ρ 1 g (ρ) divu = F, (.49) where F u u+( 1 + )ρ 1 h (ρ) u+ 1 ρ 1 u h (ρ ) +(1+ )ρ 1 (g (ρ))divu ρ 1 P e 3 (ρ 1+ +ρ 1 )u. (.5) Since ρ(= v) satisfies (.4), applying the standard L p -estimates to (.49) (.5) (.3) with periodic data, we obtain after using (.48) and (.41) that u t L + (Ω (,T)) + u L + (Ω (,T)) C +C u L 4+ (Ω (,T)). (.51) It thus follows from the Sobolev inequality ( [9, Chapter II (3.15)]) that for any η > there exists some constant C(η) such that u L 4+ (Ω (,T)) η( u t L + (Ω (,T)) + u L + (Ω (,T))) +C(η) u L + (Ω (,T)), which, together with (.41) and (.51), gives u t L + (Ω (,T)) + u L + (Ω (,T)) C.

17 17 This, combined with the Sobolev inequality ( [9, Chapter II (3.15)]), leads to which, along with (.47), shows that for any p > T sup u L (Ω) C, (.5) t T v p dt C(p). (.53) L p (Ω) This, together with (.5), (.5), and the standard L p -estimates of the parabolic system (.49) (.5) (.3), yields that for any p > 4, u t L p (Ω (,T)) + u L p (Ω (,T)) C(p)+C(p) u 1/p L (Ω (,T)) u 1 1/p L (Ω (,T)) ρ L p (Ω (,T)) C(p)+ 1 u t L p (Ω (,T)) + 1 u L p (Ω (,T)), where in the second inequality one has used (.41) and the Sobolev inequality ( [9, Chapter II (3.15)]). Thus, it holds that for any p >, u t L p (Ω (,T)) + u L p (Ω (,T)) C(p). (.54) With (.54) and (.53) at hand, one can deduce easily from (.3), (.3), and (.4) that for any p >, ρ t L p (,T,W 1,p (Ω)) + ρ L p (,T,W 1,p (Ω)) C(p), which, together with (.54) and (.41), gives the desired estimate (.4) and finishes the proof of Lemma.5.. Compactness results Throughout this subsection, it will be always assumed that α and γ satisfy the conditions listed in Theorem 1.1. We first construct the initial data. Set σ (8(α+γ +)) 8. (.55) Choose ρ C (Ω), ρ 4σ satisfying ρ ρ L 1 (Ω) + ρ ρ L γ (Ω) + ( ρ α 1/ For ν suitably large such that ν(α 1/) 5, define ρ = ρ α 1/ ) L (Ω) <. ( ρ ν(α 1/) + 4σ ν(α 1/) ) /(ν(α 1)). (.56) It is easy to check that lim ρ ρ L 1 (Ω) = (.57)

18 18 and that there exists some constant C independent of such that (.1) holds. Set Since ρ,m satisfy (1.8), we choose w C (Ω) such that Then, we have w m /ρ (1+η )/(+η ) L +η (Ω). u = ρ 1/(+η ) w. (.58) lim ρ u m L 1 (Ω) =. (.59) Moreover, there exists some positive constant C independent of such that (.) holds. Extend then (ρ,u ) Ω-periodically to R. The standard parabolic theory [9], together with Lemmas.4 and.5, thus yields that the problem (1.15) (1.17) (.3), where the initial data (ρ,u ) is replaced by (ρ,u ), has a unique strong solution (ρ,u ) satisfying ρ, u, ρ t, u t, ρ, u L p (Ω (,T)), for any T > and any p >. Moreover, all estimates obtained by Lemmas.1-.3 still hold for (ρ,u ). Letting +, we will modify the compactness results due to [35] to prove that the limit (in some sense) (ρ, ρu) of (ρ, ρ u ) (up to a subsequence) is a weak solution to (1.1) (1.3) (1.6) (1.7). We begin with the following strong convergence of ρ. Lemma.6 There exists a function ρ L (,T;L 1 (Ω) L γ (Ω)) such that up to a subsequence, ρ ρ in L γ (Ω (,T)). (.6) In particular, ρ ρ almost everywhere in Ω (,T). (.61) Proof. First, it follows from (.4) and (.9) that there exists some generic positive constant C independent of and T such that and that sup t T T + T (ρ u +ρ +ρ γ )dx+ +e 3 T sup t T ρ 1 ρ /3 e 3 sup t T h (ρ ) ρ (1+ u )dxdt ( ) ρ +ρ u dxdt C, (h (ρ )) ρ dx+ Then, (.6) and (.63) imply that T ( ρ + γ 1 +ρ 1/8 h (ρ ) u dxdt ρ α+γ 3 ρ dxdt ) dx C. (.6) (.63) sup ρ α L γ/(γ+1) (Ω) C sup ρ 1/ L γ (Ω) sup ρ α 1/ L (Ω) C. (.64) t T t T t T

19 19 Moreover, note that ρ α satisfies (ρ α ) t +div(ρ α u )+(α 1)ρ α divu = αdiv(ρ α 1 h (ρ ) ρ ) α(α 1 )ρα h (ρ ) ρ. (.65) It follows from (.6), (.63), and (.4) that and that sup ρ α u L 1 (Ω) C sup t T t T T ρ α divu L 1 (Ω) dt C T sup t T (ρ α 1 C sup t T ρ α 1/ L (Ω) sup ρ 1/ u L (Ω) C, (.66) t T ρ α/ L (Ω) ρα/ divu L (Ω) dt C, (.67) h (ρ ) ρ +ρ α h (ρ ) ρ ) dx (ρ α 1 The combination of (.65) (.68) implies that +ρ 1 (h (ρ )) ρ ) dx C. (.68) (ρ α ) t L (,T;W 1,1 (Ω)) C. (.69) Letting +, it follows from (.64), (.69), and the Aubin-Lions lemma that up to a subsequence ρ α ρ α in C([,T];L 3/ (Ω)), which implies that (.61) holds. In particular, it holds that ρ α 1/ ρ α 1/ in L (,T;L (Ω)). (.7) Finally, it follows from the Sobolev inequality, (.6), and (.63) that T C ρ γ (5γ+3(α 1))/(3γ) T L (5γ+3(α 1))/(3γ) (Ω) dt ρ γ/3 L γ (Ω) ( ρ γ+α 1 + ρ (γ+α 1)/ L 1 (Ω) L (Ω) ) dt C, (.71) which together with (.61) thus gives (.6) due to (5γ+3(α 1))/(3γ) > 1. The proof of Lemma.6 is finished. Before proving the strong convergence of ρ u in L (Ω (,T)), we show first the following compactness of ρ (γ+1)/ u. Lemma.7 There exists a function m(x,t) L (Ω (,T)) such that up to a subsequence, ρ (γ+1)/ u m in L (,T;L p (Ω)), (.7) for all p [1,). Moreover, where ρ (γ+1)/ u ρ (γ+1)/ u almost everywhere (x,t) Ω (,T), (.73) u(x,t) { m(x,t)/ρ (γ+1)/ (x,t) for ρ(x,t) >,, for ρ(x,t) =. (.74)

20 Proof. First, since α (1/,(1 +γ)/], it follows from (.6), (.63), and (.4) that for any η >, T C (ρ (1+γ)/ u ) L 1 (Ω) dt +C T T C(η)+C(η) ρ (1+γ α)/ L (Ω) ρα/ u L (Ω) dt ρ (γ α+)/ T u L (Ω) ρα 1/ L (Ω) dt ρ 1/ u L (Ω) dt+cη T which together with the Sobolev inequality gives T due to the following simple fact sup t T Next, we claim that ρ (1+γ)/ u L (Ω) dt, (.75) T (ρ (1+γ)/ u ) L 1 (Ω) dt+ ρ (1+γ)/ u L (Ω) dt C, (.76) ρ (γ+1)/ u dx C sup ρ γ 1/ sup ρ 1/ L t T 1 (Ω) u L (Ω) C. (.77) t T (ρ (γ+1)/ u ) t L 1 (,T;W 1,1 (Ω)) C, (.78) which, combined with (.76) and the Aubin-Lions lemma, yields that there exists a function m(x,t) L (Ω (,T)) such that up to a subsequence, (.7) holds for all p [1,). In particular, ρ (γ+1)/ u m almost everywhere (x,t) Ω (,T). (.79) Moreover, since ρ 1/ u is bounded in L (,T;L (Ω)), Fatou s lemma gives T liminf ρ(γ+1)/ u dxdt <, which implies m(x,t) = almost everywhere in {(x,t) Ω (,T) ρ(x,t) = }. Hence, for u(x,t) as in (.74), we arrive at ρ γ m(x,t) = ρ (γ+1)/ (x,t)u(x,t), which together with (.79) gives (.73). Finally, it remains to prove (.78). In fact, note that u ) t = γ +1 ρ (γ 1)/ (ρ ) t u +ρ (γ+1)/ (u ) t. (.8) (ρ (γ+1)/ One can use (1.15) to get ρ (γ 1)/ (ρ ) t u = ρ (γ 1)/ div(ρ u )u +ρ γ/ div(ρ 1/ h (ρ ) ρ )u = γ +1 div(ρ(γ+1)/ u u ) γ 1 γ +1 ρ(γ+1)/ divu u + γ +1 ρ(γ+1)/ γ ρ(γ 3)/ u u +div(ρ (γ 1)/ h (ρ ) ρ u ) h (ρ ) ρ u ρ (γ 1)/ h (ρ ) ρ u, (.81)

21 1 and ρ (γ+1)/ (u ) t = ρ (γ+1)/ u u +div(ρ (γ 1)/ h (ρ )(Du+ u )) γ 1 ρ (γ 3)/ h (ρ ) ρ (Du+ u )) +(1+ ) (ρ (γ 1)/ g (ρ )divu ) (γ 1)(1+ ) ρ (γ 3)/ g (ρ ) ρ divu ρ (γ 1)/ ρ γ e 3 (ρ +(γ 1)/ +ρ +(γ 1)/ )u. (.8) Oneneedsto estimate each term on therighthandsideof (.81) and(.8). Itfollows from the Hölder inequality, (.6), (.63), (.76), and the Sobolev inequality that T C T T ρ (γ+1)/ u L 1 (Ω)dt C (ρ +ρ γ+1 ) u L 1 (Ω)dt C, (.83) ρ (γ+1)/ u u L 1 (Ω)dt T (ρ 1/ +ρ (γ+1)/ T C ) u L (Ω) dt+c T ρ (γ 1)/ h (ρ ) ρ u L 1 (Ω)dt T C +C T C T T ρ 1 h (ρ ) ρ u dxdt+c (ρ γ+α 1 +ρ γ 1/8 ρ (γ 3)/ h (ρ ) ρ u L 1 (Ω)dt T T C ρ α/ u L (Ω) dt C, (.84) T +ρ γ 5/6 )dt C, ρ γ 1 h (ρ )dxdt (ρ 1 h (ρ ) ρ u +ρ γ 3 h (ρ ) ρ ) dxdt C, ρ (γ 1)/ (h (ρ )+ g (ρ ) ) u dxdt T h (ρ ) u dxdt+c ρ γ 1 h (ρ )dxdt C, T ( ) ρ (γ 1)/ h (ρ )+ρ (γ 3)/ (h (ρ )+ g (ρ ) ) ρ u dxdt T C ρ (γ 3)/ h (ρ ) ρ u dxdt T T C h (ρ ) u dxdt+c ρ γ 3 h (ρ ) ρ dxdt C, T C T ρ (γ 1)/ ρ γ dxdt ρ γ α/ L (Ω) ρ (γ+α 1)/ L (Ω)dt C, (.85) (.86) (.87) (.88) (.89)

22 T e 3 Ce 3 T (ρ +(γ 1)/ +Ce 3 T C +Ce 3 T (ρ +ρ +(γ 1)/ ) u dxdt +ρ ) u dxdt (ρ +γ 1 (ρ +γ 1 +ρ +γ 1 )dxdt +ρ )dxdt C, where in the last inequality one has used the following simple facts that T e 3 = ρ +γ 1 dxdt e 1 /(6(1+( γ 1) )) T 13(1+(γ 1) )/(3(1+( γ 1) )) Ce 1/(9) 13 sup t T ( 13/3 e 3 C 13 e 1/(9) as, ( 13/3 e 3 ρ + γ 1 ) +γ 1 ρ + γ 1 dx + γ 1 ) +γ 1 + γ 1dxdt (.9) (.91) and that T e 3 = e 1 /(8+ ) 14/(3(8+ )) Ce 1/(9) 5 ρ dxdt T sup t T ( 13/3 e 3 ρ 1/8 ) 8/(8+ ) dxdt ( 13/3 e 3 C 5 e 1/(9) as. ) 8/(8+ ) ρ 1/8 dx (.9) Thus, all these estimates (.83) (.9) together with (.8)-(.8) yield (.78). The proof of Lemma.7 is completed. Now we are in a position to prove the strong convergence of ρ u in L (Ω (,T)) which in fact is essential to obtain the existence of global weak solution to the problem (1.1) (1.3) (1.6) (1.7). Lemma.8 Up to a subsequence, ρ u ρu strongly in L (,T;L (Ω)), (.93) with ρu L (,T;L (Ω)). (.94) Proof. First, Lemma.3 yields that there exists some constant C independent of such that ρ u ln(e+ u )dx C, (.95) sup t T

23 3 which, together with (.73), (.61), and Fatou s lemma, gives T ρ u ln(e+ u )dxdt T liminf lim inf ρ u ln(e+ u )dxdt T Next, direct calculation shows that for any M >, T + T ρ u ρu dxdt T ρ u 1 ( u M) ρu1 ( u M) dxdt T ρ u 1 ( u M) dxdt+ ρ u ln(e+ u )dxdt C. ρu1 ( u M) dxdt. (.96) (.97) Next, it follows from (.73) and (.61) that ρ u converges almost everywhere to ρu in the set {(x,t) Ω (,T) ρ(x,t) > }. Moreover, since ρ u 1 ( u M) M ρ, (.98) and ρ almost everywhere in the set {(x,t) Ω (,T) ρ(x,t) = }, we have ρ u 1 ( u M) ρu1 ( u M) almost everywhere in Ω (,T), which, together with (.98) and (.6), implies T ρ u 1 ( u M) ρu1 ( u M) dxdt. (.99) Next, it follows from (.95) and (.96) that T T ρ u 1 ( u M) dxdt+ 1 ln(e+m ) C ln(e+m ). T ρu1 ( u M) dxdt (ρ u ln(e+ u )+ρ u ln(e+ u ) ) dxdt Substituting (.99) and (.1) into (.97) yields that up to a subsequence T lim sup ρ u ρu dxdt C ln(e+m ) (.1) (.11) for any M >. We thus obtain (.93) by taking M in (.11). Finally, the combination of (.6) with (.93) gives (.94) immediately. The proof of Lemma.8 is completed. As a consequence of Lemmas.6 and.8, the following convergence of the diffusion terms holds.

24 4 Lemma.9 Up to a subsequence, ρ α u ρ α u in D, (.1) ρ α ( u ) tr ρ α ( u) tr in D, (.13) ρ α divu ρ α divu in D. (.14) Proof. Let φ be a test function. Then it follows from (.63), (.7), and (.93) that T = T ρ α u φdxdt T ρ α 1/ ρ u φdxdt α α 1 ρ α 1/ ρu φdxdt α α 1 T T ρ α 1/ ρ u φdxdt ρ α 1/ ρuφdxdt, which gives (.1). Similar arguments prove (.13) and (.14), and the proof of Lemma.9 is completed..3 Proof of Theorem 1.1: Ω = T First, rewrite (1.15) 1 as (ρ ) t +div(ρ u ) = div(h (ρ ) ρ ) ρ 1 h (ρ ) ρ. (.15) It follows from (.6) and (.63) that and that T ( T C T ( T C C, ρ 1 h (ρ ) ρ dxdt C /3 ( /3 T C /3. h (ρ ) ρ dxdt ) 1/ ρ 1 (h (ρ )) ρ dxdt ) 1/ ( T ρ 1 (h (ρ )) ρ dxdt ( ρ 5/4 ) +ρ γ 8/3 ρ dxdt ) 1/ ρ 1 ρ dxdt ) 1/ (.16) (.17) Then, letting ψ be a test function, multiplying (.15) by ψ, integrating the resulting equality over Ω (,T), and taking (up to a subsequence), one can verify easily after using (.6), (.93), (.57), (.16), and (.17) that (ρ, ρu) satisfies (1.1).

25 5 Next, (1.15) implies that (ρ u ) t +div(ρ u u ) div(ρ α Du ) (α 1) (ρ α divu )+ P(ρ ) = div(h (ρ ) ρ u ) ρ 1 h (ρ ) ρ u h (ρ ) ρ u e 3 (ρ +ρ )u + div(h (ρ ) u )+ (g (ρ )divu ) + 1/3 div((ρ 7/8 +ρ γ )Du ) 1/3 8 (ρ7/8 divu )+ 1/3 ( γ 1) (ρ γ divu ). Using (.6) and (.63), we have T h (ρ ) ρ u dxdt ( T C C, ) 1/ ( T ρ 1 (h (ρ )) ρ dxdt T C ρ 1 h (ρ ) ρ u dxdt ( T ( T C 1/3, ) 1/ ρ u dxdt ) 1/ ρ 1 h (ρ ) ρ u dxdt ) 1/ ρ 1 h (ρ ) ρ dxdt where (.17) has been used in the last inequality, T h (ρ ) ρ u dxdt C ( T C, T e 3 ) 1/ ( T ρ 1 h (ρ ) ρ dxdt (ρ T C (e 3 T (e 3 T C (e 3 +ρ ) u dxdt (ρ (ρ ) 1/ +ρ ) u dxdt ) 1/ +ρ )dxdt (ρ +ρ +γ 1 due to (.91) and (.9), T (h (ρ )+ g (ρ ) ) u dxdt C ( T C, ) 1/ ( T h (ρ )dxdt ) 1/ h (ρ ) u dxdt +ρ )dxdt) 1/ ) 1/ h (ρ ) u dxdt (.18) (.19) (.11) (.111) (.11) (.113)

26 6 where in the second inequality one has used the fact that T T ρ γ L γ (Ω) dt = ρ γ+1/6 C C, T L γ+1/6 (Ω) dt ( ρ L 1 (Ω) + ρ 5γ/3+α 1 L 5γ/3+α 1 (Ω) ) dt (.114) due to γ > 1, α > 1/, and (.71), T 1/3 (ρ 7/8 +ρ γ ) u dxdt ( T C 1/6 C 1/6, ) 1/ ( T (ρ 7/8 +ρ γ )dxdt ) 1/ h (ρ ) u dxdt (.115) where (.114) has been used in the second inequality. Finally, let φ be a test function. Multiplying (.18) by φ, integrating the resulting equality over Ω (,T), and taking (up to a subsequence), by Lemmas.6,.8, and.9, we obtain after using (.19) (.113), (.115), and (.59) that (ρ, ρu) satisfies (1.11). The proof of Theorem 1.1 in the case Ω = T is completed. 3 Proof of Theorem 1.3: Ω = T 3 In this section, we will show how to modify the analysis in the previous section to deal with the 3-dimensional case with periodic boundary conditions. 3.1 A priori estimates For as in (1.17), let Ω = T 3 and smooth functions ρ > and u satisfy (.1) and (.) for some constant C independent of. Moreover, if α (1,), in addition to (.1) and (.), it holds that for some C independent of, ρ u 4 dx C. (3.1) We extend ρ and u Ω-periodically to R 3. For γ as in (1.17), consider ρ t +div(ρu) = ρ 1/ div(ρ 1/ h (ρ) ρ), ρu t +ρu u div(h (ρ) u) (g (ρ)divu)+ P = e 3 (ρ +ρ )u, (3.) with h (ρ) and g (ρ) as in (1.16). The initial condition for the system (3.) is imposed as: (ρ,u)(x,) = (ρ,u ), x Ω. (3.3) Let T > be a fixed time and (ρ,u) be the smooth solution to (3.) (1.16) (1.17) (3.3) on Ω (,T]. After some minor modifications, one can check easily that all the estimates in Lemmas.1 and. still hold for α [3/4,) and γ (1,3). That is

27 7 Lemma 3.1 Let α [3/4,) and γ (1,3). Then there exists some generic constant C independent of and T such that (.4) and (.9) hold with Ω = T 3. To obtain the Mellet-Vasseur type estimates for the three-dimensional case, we need to impose some additional constraints on γ and α. Lemma 3. Assume that α [3/4,) and that γ (1,3) satisfies γ ((α+1)/,6α 3) in addition. Then there exists some generic constant C depending on T but independent of such that sup t T ρ(e+ u )ln(e+ u )dx C. (3.4) Proof. It is easy to check that (.) still holds. Hence, it remains to estimate the righthand side of (.). In fact, since γ ((α+1)/,6α 3), we have δ = 6α 3 γ 5γ+3α 6 (,1). Then T C T C +C ln (e+ u )ρ γ α dxdt ( T ) δ ( ρln /δ (e+ u )dx ρ α 1+5γ/3 dxdt C, ρ (γ α δ)/(1 δ) dx) 1 δ dt (3.5) where in the last inequality one has used (.71). This together with (.) yields (3.4). The proof of Lemma 3. is completed. Furthermore, the following estimates on the L (,T;L 4 (Ω))-norm of ρ 1/4 u will be used later. Lemma 3.3 Assume that α [3/4,) and that γ (1,3). Then there exists some constant C() depending on and T such that sup t T T ρ u 4 dx+ h (ρ) u u dxdt C(). (3.6) Moreover, if in addition (α +1)/ γ 3α 1, there exists some constant C 1 independent of such that sup t T T ρ u 4 dx+ h (ρ) u u dxdt C 1. (3.7)

28 8 Proof. First, multiplying (3.) by u u and integrating by parts give 1 4 ( ρ u 4 dx) t + h (ρ) u u dx+ h (ρ) u u dx + g (ρ)(divu) u dx+ g (ρ)divu u u u dx +e 3 (ρ +ρ ) u 4 dx = ρ 1/ div(ρ 1/ h 4 (ρ) ρ) u 4 dx+ Pdiv( u u)dx = ρ 1 h 8 (ρ) ρ u 4 dx+ h (ρ) u 3 ρ u dx + Pdiv( u u)dx 4 ρh (ρ) u u dx+ Pdiv( u u)dx 4(α+γ) h (ρ) u u dx+ Pdiv( u u)dx. (3.8) Next, Cauchy s inequality implies that for any α [3/4, 16/5], ρ α u u dx+(1 α) ρ α (divu) u dx +(1 α) ρ α divu u u u dx ) (1 α) (1 α+ (divu) u dx 9 (divu) u dx 3 7 u u dx, 3 which, combined with (1.16), shows h (ρ) u u dx g (ρ)divu u u u dx 7 h (ρ) u u dx. 3 g (ρ)(divu) u dx Substituting this into (3.8) yields that there exists some constant C 1 independent of such that T sup ρ u 4 dx+ h (ρ) u u dxdt t T T ( ) (3.9) C 1 +C 1 ρ γ α 1/ L (Ω) 1+ ρ 1/4 u 4 L 4 (Ω) dt,

29 9 where one has used the following estimate P div( u u) dx 1 ρ α u u dx+c 1 ρ γ α u dx 3 1 ρ α u u dx+c 1 ρ γ α 1/ 3 L (Ω) Then, if γ [(α+1)/,3α 1], it holds that T ρ γ α 1/ L (Ω)dt C 1 T where in the second inequality one has used ( ) 1+ ρ 1/4 u 4 L 4 (Ω). ( ) ρ 1/ L 1 (Ω) + ργ+α 3/ L (Ω) dt C 1, (3.1) T ρ γ+α 3/ L (Ω)dt T ρ α 1/ L 6α 3 (Ω) ρ γ+α 1 L 3(γ+α 1) (Ω) dt T C 1 +C 1 ρ (γ+α 1)/ L (Ω) dt C 1 (3.11) due to (.4), (.9), and the Sobolev inequality. It follows from (3.9), (3.1), and the Gronwall inequality that (3.7) holds. Finally, it follows from (.9) that sup ρ γ α 1/ L (Ω) C(), t T which together with (3.9) and the Gronwall inequality gives (3.6). The proof of Lemma 3.3 is thus completed. With (.4), (.9), and (3.6) at hand, similar to Lemmas.4 and.5, one can prove Lemma 3.4 Assume that α [3/4,) and that γ (1,3). Then there exists some constant C depending on and T such that for all (x,t) Ω (,T) C 1 ρ(x,t) C. Moreover, for any p >, there exists some positive constant C depending on,p, and T such that T ( ) (ρ,u) t p L p (Ω) + (ρ,u) p dt C. W,p (Ω) 3. Compactness results Throughout this subsection, it will be always assumed that α and γ satisfy the conditions listed in Theorem 1.3. We first construct the initial data. Choose ρ, as in (.56). Hence, (.57) and (.1) also hold. If α [3/4,1], define u as in (.58). If α (1,), set u = ρ 1/4 w, (3.1)

30 3 where w C (Ω) satisfies w m /ρ 3/4 L 4 (Ω). It is easy to check that (.59) and (.) are still valid for u as in (.58). Moreover, (.59), (.), and (3.1) hold for u as in (3.1). We then extend (ρ,u ) Ω-periodically to R 3. Similar to the two-dimensional case, using Lemma 3.4 and the standard parabolic theory[9], one can show that the problem (3.) (1.16) (1.17) (3.3) has a unique strong solution (ρ,u ) satisfying for any T > and any p >, ρ, u, ρ t, u t, ρ, u L p (Ω (,T)). Lemma 3.1 thus shows that there exists some generic positive constant C independent of and T such that (.6) and (.63) still hold with Ω = T 3. Hence, the combination of (.6) with (.63) implies that (.91) and (.9) are still valid for Ω = T 3. Moreover, for +, it is easy to check that Lemma.6 holds also for the case that Ω = T 3. The following lemma deals with the compactness of the momentum. Lemma 3.5 If α [3/4,1], there exists a function m(x,t) L (,T;L 3/ (Ω)) such that up to a subsequence, for all p [1,3/). Moreover, ρ u m in L (,T;L p (Ω)), (3.13) ρ u ρu almost everywhere (x,t) Ω (,T), (3.14) where u(x,t) { m(x,t)/ρ(x,t) for ρ(x,t) >,, for ρ(x,t) =. Proof. First, since α [3/4, 1], it follows from (.6), (.63), and the Sobolev inequality that T C C (ρ u ) L 1 (Ω) dt +C T T T C +C ( ) ρ α L α (Ω) ρα/ u L (Ω) + u ρ L 1 (Ω) dt ( ρ L 1 (Ω) + ρ α 1/ T u ρ L 1 (Ω) dt u ρ L 1 (Ω) dt. ) α ρ /(α 1) α/ L (Ω) u L (Ω) dt (3.15)

31 31 Thus, if γ 3α 1, then 1 [α 1,α+γ 1] due to α [3/4,1]. Hence, it follows from (.6) and (.63) that T T u ρ L 1 (Ω) dt ( ρ 1/ u L (Ω) ρ α 1/ ) L (Ω) + ρ(γ+α 1)/ L (Ω) dt C. (3.16) For 1 < γ 3α 1, (.6), (.63), (3.7), and (3.11) imply that T u ρ L 1 (Ω) dt T C T ρ α+5/4 L 4 (Ω) ρ1/4 u L 4 (Ω) ρα 1/ L (Ω) dt ( ) ρ 1/ L 1 (Ω) + ργ+α 3/ L (Ω) dt C, (3.17) where in the second inequality one has used γ +4α 4 due to α [3/4,1] and γ > 1. Putting (3.16) and (3.17) into (3.15) leads to T Next, similar to (.18), it holds that (ρ u ) L 1 (Ω) dt C. (3.18) (ρ u ) t +div(ρ u u ) div(ρ α u ) (α 1) (ρ α divu )+ ρ γ = div(h (ρ ) ρ u ) ρ 1 h (ρ ) ρ u h (ρ ) ρ u e 3 (ρ +ρ )u + 1/3 div((ρ 7/8 +ρ γ ) u ) 1/3 8 (ρ7/8 divu )+ 1/3 ( γ 1) (ρ γ divu ). (3.19) Then, each term on the righthand side of (3.19) can be estimated similarly as those of (.19) (.113) and (.115). Moreover, for the terms on the left hand side of (3.19), we have Hence, T T T ρ u dxdt+ T ρ α u dxdt C C. ρ γ dxdt C, h (ρ ) u dxdt+c T h (ρ )dxdt (ρ u ) t L 1 (,T;W 1,1 (Ω)) C. (3.) With (3.18) and (3.) at hand, one can finish the proof of Lemma 3.5 similarly as that of Lemma.7. When α (1,), the following compactness result of ρ (γ+1)/ u is needed. Lemma 3.6 Assume that α (1,) and that γ [α 1,3α 1]. (3.1)

32 3 Then there exists a function m(x,t) L (Ω (,T)) such that up to a subsequence, for all p [1,). Moreover, ρ (γ+1)/ u m in L (,T;L p (Ω)), (3.) ρ (γ+1)/ u ρ (γ+1)/ u almost everywhere (x,t) Ω (,T), (3.3) where u(x,t) { m(x,t)/ρ (γ+1)/ (x,t) for ρ(x,t) >,, for ρ(x,t) =. Proof. First, it follows from (.6), (.63), and (3.7) that T C (ρ (1+γ)/ u ) L 6/5 (Ω) dt +C C, T T ρ (1+γ α)/ L 3 (Ω) ρα/ u L (Ω) dt ρ 1/4 L 1 (Ω) ρ1/4 u L 4 (Ω) ργ/ L (Ω) dt (3.4) where in the second inequality one has used the Sobolev inequality, α (1,), and γ [α 1,3α 1]. Thus, the combination of (3.4), (.77), and the Sobolev inequality shows T T (ρ (1+γ)/ u ) L 6/5 (Ω) dt+ ρ (1+γ)/ u L (Ω) dt C. (3.5) Next, note that (.8) and (.81) both still hold. Moreover, it follows from (3.) that ρ (γ+1)/ (u ) t = ρ (γ+1)/ u u +div(ρ (γ 1)/ h (ρ ) u ) γ 1 + (ρ (γ 1)/ ρ (γ 1)/ ρ (γ 3)/ h (ρ ) ρ u g (ρ )divu ) γ 1 ρ γ e 3 (ρ +(γ 1)/ ρ (γ 3)/ g (ρ ) ρ divu +ρ +(γ 1)/ )u. (3.6) Using (.8), (.81), and (3.6), one can prove Lemma 3.6 in a similar way as that of Lemma.7. Next, as a consequence of Lemmas.6, 3., 3.5, and 3.6, similar to Lemma.8, one can obtain Lemma 3.7 Assume that α and γ satisfy the conditions listed in Theorem 1.3. Then up to a subsequence, ρ u ρu strongly in L (Ω (,T)), (3.7) with ρu L (,T;L (Ω)). (3.8)

33 33 Finally, similar to Lemma.9, one can prove Lemma 3.8 Assume that α and γ satisfy the conditions listed in Theorem 1.3. Then up to a subsequence, ρ α u ρ α u in D, (3.9) ρ α ( u ) tr ρ α ( u) tr in D, (3.3) ρ α divu ρ α divu in D. (3.31) 3.3 Proof of Theorem 1.3: Ω = T 3 Using (.6), (.63), (.91), (.9), and Lemmas.6, 3.7, and 3.8, one can finish the proof of Theorem 1.3 where Ω = T 3 in a similar way as that for the -dimensional periodic case in Theorem Proof of Theorem 1.4: Ω = T 3 In this section, since the approximate solutions in the proof of Theorem 1.3 cannot be applied directly to the case of system (1.1) (1.3) in three dimension space, we will construct a new approximate system which can be applied to obtain the global weak solutions to the three-dimensional system (1.1) (1.3) with h = ρ and g =. 4.1 A priori estimates For constants p and satisfying p = 5, < 1 min{1 1,η }, with η as in (1.8), we consider the following approximate system ρ t +div(ρu) = v v +vdiv( v v)+ρ p, ρu t +ρu u div(ρdu)+ P = div(ρ u)+v v v u ρ p u ρ u 3 u, (4.1) where v ρ 1/. The initial conditions of the system (4.1) are imposed as: where smooth Ω-periodic functions ρ > and u satisfy and (ρ,u)(x,) = (ρ,u ), (4.) ρ L 1 L γ (Ω) + ρ 1/ L (Ω) + ρ 1/ 4 L 4 (Ω) + ρ p L 1 (Ω) C, (4.3) for some constant C independent of. Ω ρ u +η dx C, (4.4) Let T > be a fixed time and (ρ,u) be a smooth solution to (4.1) (4.) on Ω (,T]. Then, we will establish some necessary a priori bounds for (ρ,u). The first one is the energy-type inequality.

34 34 Lemma 4.1 There exists some generic constant C independent of such that T sup (ρ u +ρ+ρ γ +ρ p )dx+ ρ Du dxdt t T T + T + ( v 4 + v u + v 4 u +ρ p u +ρ u 5) dxdt ρ p 1 dxdt C, where and throughout this section, for any f, fdx fdx. Proof. First, integrating (4.1) 1 over Ω yields ( ρdx) t + ( v + v 4 )dx = Ω (4.5) ρ p dx. (4.6) Next, multiplying (4.1) by u, integrating by parts, and using (4.1) 1, we have 1 ( ρ u dx) t + ρ Du dx+ ρ u dx+ ρ p u dx + ρ u 5 dx+ u ρ γ dx = v v u dx+ vdiv( v v) u dx+ v v v u udx = v u dx v v u udx v 4 u dx v u dx+ ρ u dx v 4 u dx. 4 (4.7) Then, to estimate the last term on the left hand side of (4.7), in a similar way as for (.7), one obtains that for q 1, u ρ q dx = q ρ q 1 div(ρu)dx q 1 = q ρ q 1 ( ρ t +v v +vdiv( v v)+ρ p )dx q 1 = 1 (4.8) q 1 ( ρ q q(q 1) dx) t + ρ q 1 v (1+ v )dx q 1 q ρ q 1 p dx, q 1 which, after choosing q = p, implies 6(p +1) ( ρ p dx) t + p (p +1) ρ p 1 v (1+ v )dx 6(p +1) + p ρ 1 p dx 6(p +1) = ρ p divudx 6 p ρ 1 p dx+ 1 ρ(du) dx. 1(p +1) (4.9)

35 35 Finally, adding (4.6), (4.7), and (4.9) together, we obtain (4.5) after using (4.8), Gronwall s inequality, and the following simple fact that ρ p +γ 1 ρ+ρ p. Hence, the proof of Lemma 4.1 is finished. In the same spirit of the BD entropy estimates due to Bresch-Desjardins [4 7], the following estimates also hold. Lemma 4. There exists some generic constant C independent of such that sup t T T + ( v + v 4) T (ρ u dx+ +ρ γ ρ ) dxdt T (( v) + v v )dxdt+ v 4 v dxdt C. (4.1) Proof. First, set G v v +vdiv( v v)+ρ p, ϕ (ρ) logρ. Following the same procedure leading to (.16), we can get 1+ ( ρ 1 ρ dx) t +( u ρdx) t + ρ u dx + P (ρ)ρ 1 ρ dx+(1+ ) ρ 1 G ( ρ 1 ) ρ 1 ρ dx = Gdivudx+ ρdu : udx+ v v v u logρdx ρ p u logρdx ρ u 3 u logρdx 5 I i. i=1 (4.11) Since ρ 1 ρ 1 ρ = v v, the last term on the left-hand side of (4.11) can be rewritten as ρ 1 G ( ρ 1 ) ρ 1 ρ dx = ( v +div( v v)) vdx+ ρ p 1/ vdx = ( v) dx+ v v dx+ v dx +(p +1) ρ p 1 v dx, (4.1) where we have used the following simple fact div( v v) vdx = v v vdx = v v dx+ 1 v dx.