EXISTENCE OF GLOBAL SOLUTIONS TO FREE BOUNDARY VALUE PROBLEMS FOR BIPOLAR NAVIER-STOKES-POSSION SYSTEMS

Transcription

1 Electronic Journal of Differential Equations, Vol. 23 (23), No. 2, pp. 5. ISSN: URL: or ftp ejde.math.txstate.edu EXISTENCE OF GLOBAL SOLUTIONS TO FREE BOUNDARY VALUE PROBLEMS FOR BIPOLAR NAVIER-STOKES-POSSION SYSTEMS JIAN LIU, RUXU LIAN Abstract. In this article, we consider the free boundary value problem for one-dimensional compressible bipolar Navier-Stokes-Possion (BNSP) equations with density-dependent viscosities. For general initial data with finite energy and the density connecting with vacuum continuously, we prove the global existence of the weak solution. This extends the previous results for compressible NS [27] to NSP.. Introduction Bipolar Navier-Stokes-Possion (BNSP) has been used to simulate the transport of charged particles under the influence of electrostatic force governed by the selfconsistent Possion equation. In this article, we consider the free boundary value problem for one-dimensional isentropic compressible BNSP with density-dependent viscosities: ρ τ + (ρu) ξ =, (ρu) τ + (ρu 2 ) ξ + p(ρ) ξ = ρφ ξ + (µ(ρ)u ξ ) ξ, n τ + (nv) ξ =, (nv) τ + (nv 2 ) ξ + p(n) ξ = nφ ξ + (µ(n)v ξ ) ξ, Φ ξξ = ρ n, (.) where the unknown functions are the charges densities ρ(ξ, τ), n(ξ, τ), the velocities u, v and the electrostatic potential Φ. Here, p(ρ) = ρ γ (γ > ) and p(n) = n γ (γ > ) are the pressure functions, and µ(ρ), µ(n) are the viscosity coefficients. There are many progress made recently concerned with the existence of solution to the free boundary value problem for the compressible Navier-Stokes equations with density-dependent viscosities. When the fluid density connects to vacuum with discontinuity, Liu-Xin-Yang [2] proved the existence and uniqueness of the local weak solution. Under certain assumptions imposed on the viscosities, Yang-Yao- Zhu [29] established the global existence and uniqueness of weak solution. As for 2 Mathematics Subject Classification. 35Q35, 76N3. Key words and phrases. Free boundary value problem; global weak solution; bipolar Navier-Stokes-Possion equations. c 23 Texas State University - San Marcos. Submitted May 3, 23. Published September, 23.

2 2 J. LIU, R. LIAN EJDE-23/2 related results, the reader can refer to [4, 26] and references therein. When the fluid density connects with vacuum continuously, under some conditions imposed on the viscosities, Yang-Zhao [3] proved the existence of the local solution. Yang-Zhu [3] established the global existence of weak solution when viscosities satisfied certain condition. For more results about fluid density connects with vacuum continuously, the reader can refer to [9, 27] and references therein. There also have been extensive studies on the global existence and asymptotic behavior of weak solution to the unipolar Navier-Stokes-Possion system (NSP). The global existence of weak solution to NSP with general initial data was proved in [5, 33]. The quasi-neutral and some related asymptotic limits were studied in [4, 6, 2, 28]. In the case when the Possion equation describes the self-gravitonal force for stellar gases, the global existence of weak solution and asymptotic behavior were also investigated together with the stability analysis, refer to [7, 5] and the references therein. In addition, the global well-posedness of NSP was proved in the Besov space in [9]. The global existence and the optimal time convergence rates of the classical solution were obtained recently in [8]. For bipolar Navier-Stokes-Possion system (BNSP), there are also abundant results concerned with the existence and asymptotic behavior of the global weak solution. Li-Yang-Zou [7] proved optimal L 2 time convergence rate for the global classical solution for a small initial perturbation of the constant equilibrium state. The optimal time decay rate of global strong solution is established in [22, 32]. Liu- Lian-Qian [2] established global existence of solution to Bipolar Navier-Stokes- Possion system. Lin-Hao-Li [24] studied the global existence and uniqueness of the strong solution in hybrid Besov spaces with the initial data close to an equilibrium state. As a continuation of the study in this direction, in this paper, we will study the free boundary value problem for BNSP. The rest of this article is as follows. In Section 2, we state the main results of this paper. The global existence of the weak solution is proven in Section Main results For simplicity, the viscosity terms are assumed to satisfy µ(ρ) = ρ α, µ(n) = n α, α >. In this situation, (.) becomes for (ξ, τ) Ω τ, with The boundary condition is ρ τ + (ρu) ξ =, (ρu) τ + (ρu 2 ) ξ + (ρ γ ) ξ = ρφ ξ + (ρ α u ξ ) ξ, n τ + (nv) ξ =, (nv) τ + (nv 2 ) ξ + (n γ ) ξ = nφ ξ + (n α v ξ ) ξ, Φ ξξ = ρ n, (2.) Ω τ = {(ξ, τ) : a(τ) ξ b(τ), τ }. (2.2) (ρ, n)(a(τ), τ) = (ρ, n)(b(τ), τ) =, Φ ξ (a(τ), τ) = Φ ξ (b(τ), τ) =, (2.3) where a(τ) and b(τ) are free boundary defined by d d a(τ) = u(a(τ), τ) = v(a(τ), τ), dτ dτ b(τ) = u(b(τ), τ) = v(b(τ), τ), τ >, (2.4)

3 EJDE-23/2 EXISTENCE OF GLOBAL SOLUTIONS 3 and The initial data is a() = a, b() = b, a < b. (2.5) (ρ, u, n, v, Φ ξ )(ξ, ) = (ρ (ξ), u (ξ), n (ξ), v (ξ), Φ ξ (ξ)), ξ Ω = [a, b ]. (2.6) Throughout the present paper, the initial data is assumed to satisfy: (A) ρ (ξ) C ( (ξ a )(b ξ) ) σ σ, n (ξ) C ( (ξ a )(b ξ) ) σ σ with < σ <, Φ ξ L 2 (Ω ), (ρ γ 2 ) ξ L 2 (Ω ), (n γ 2 ) ξ L 2 (Ω ) where C is a positive constant; (A2) for sufficiently large positive integer m, ( (ξ a )(b ξ) ) σ [(ρ α ) ξ ] ρ L (Ω ), ( (ξ a )(b ξ) ) σ [(n α ) ξ ] n L (Ω ); (A3) u (ξ) L (Ω ), v (ξ) L (Ω ), ρ /2 (ρ α u ξ ) ξ L 2 (Ω ) and n /2 (n α v ξ ) ξ L 2 (Ω ); (A4) < α < /3, γ >. Without the loss of generality, the total initial mass is renormalized to be one throughout the present paper; i.e., ρ dξ =, n dξ =. Ω Ω We define the global weak solution to the FBVP for the compressible BNSP (2.) as follows. Definition 2.. For any T >, (ρ, n, u, v, Φ ξ ) is said to be a weak solution to free boundary value problem (2.) (2.6) on Ω τ [, T ], provided that there holds ρ C (Ω τ [, T ]), u C (Ω τ [, T ]), u ξ L (Ω τ [, T ]), ρ α u ξ L (Ω τ [, T ]), n C (Ω τ [, T ]), v C (Ω τ [, T ]), v ξ L (Ω τ [, T ]), n α v ξ L (Ω τ [, T ]), Φ ξ L ([, T ]; H (Ω τ )), (2.7) and ((2.) are satisfied in) the sense of distributions. Namely, it holds for all ϕ (a(τ), b(τ)) [, T ) that C T ρ ϕ(ξ, )dξ + (ρϕ τ + ρuϕ ξ )dξdτ =, (2.8) Ω Ω τ T n ϕ(ξ, )dξ + (nϕ τ + nvϕ ξ )dξdτ =, (2.9) Ω Ω τ T T ϕ ξ Φ ξ dξdτ + ϕ(ρ n)dξdτ =, (2.) Ω τ Ω τ

4 4 J. LIU, R. LIAN EJDE-23/2 ( ) and for all ψ C (a(τ), b(τ)) [, T ) that T ) ρ u ψ(ξ, )dξ + (ρuψ τ + ρφ ξ ψ + (ρu 2 + ρ γ ρ α u ξ )ψ ξ dξdτ =, Ω Ω τ (2.) T ) n v ψ(ξ, )dξ + (nvψ τ nφ ξ ψ + (nv 2 + n γ n α v ξ )ψ ξ dξdτ =. Ω Ω τ (2.2) Then, we have the following results for global weak solution. Theorem 2.2. Assume that (A) (A4) hold. Then for any T >, there exists a global weak solution (ρ, n, u, v, Φ ξ ) to the FBVP for the compressible BNSP (2.) with initial data (2.6) and boundary condition (2.3) in Ω τ (, T ) in the sense of Definition 2.. In addition, there hold In particular, ρ(ξ, τ) C(T ) ( (ξ a(τ))(b(τ) ξ) ) σ σ, (2.3) n(ξ, τ) C(T ) ( (ξ a(τ))(b(τ) ξ) ) σ σ. (2.4) ρ(ξ, τ) >, n(ξ, τ) >, ξ (a(τ), b(τ)), (2.5) where C T is a positive constant dependent of the time and initial data. 3. Existence of weak global solutions The proof of Theorem 2.2 consists of the construction of approximate solution, the basic a priori estimates, and compactness arguments. We establish the a priori estimates for any solution (ρ, n, u, v, Φ ξ ) to FBVP (2.) (2.6) in this section. 3.. Some a priori estimates. Lemma 3.. Assume conditions in Theorem 2.2, and that (ρ, n, u, v, Φ ξ ) is any weak solution to the FBVP (2.) (2.6) for τ [, T ]. Then ( ρu 2 + nv 2 + Φ 2 ξ + ρ γ + n γ) τ dξ + (ρ α u 2 ξ + n α vξ)dξds 2 CE(), (3.) Ω τ Ω τ where C > is a constant independent of τ, and ( E() = ρ u 2 + n v 2 + Φ 2 ξ + ρ γ + ) nγ dξ. Ω Proof. Multiplying (2.) 2 by u and integrating it with respect to ξ over Ω τ and using (2.), we have d ( dτ Ω τ 2 ρu2 + γ ργ) dξ + ρ α u 2 ξdξ = ρ τ Φdξ, (3.2) Ω τ Ω τ using a similar method, we have d ( dτ Ω τ 2 nv2 + γ nγ) dξ + n α vξdξ 2 = n τ Φdξ. Ω τ Ω τ

5 EJDE-23/2 EXISTENCE OF GLOBAL SOLUTIONS 5 We have also d ( dτ Ω τ 2 (ρu2 + nv 2 ) + ) γ (ργ + n γ ) dξ + = (ρ n) τ Φdξ = Φ ξξτ Φdξ Ω τ Ω τ = Φ ξτ Φ ξ dξ = d Ω τ dτ Ω τ 2 Φ2 ξdξ, integrating it over [, τ], we obtain (3.). Ω τ ( ) ρ α u 2 ξ + n α vξ 2 dξ (3.3) Lemma 3.2. Under the same assumptions as in Lemma 3., there holds ρ(ξ, τ) C(T ), n(ξ, τ) C(T ), (ξ, τ) Ω τ [, T ], where C(T ) > is a constant dependent of time. Proof. Define characteristic line dξ(τ) dτ = u(ξ(τ), τ), then (2.) becomes ρ + ρu ξ =, where Then we have ρ u + (ρ γ ) ξ = ρφ ξ + (ρ α u ξ ) ξ, f(ξ(τ), df(ξ(τ), τ) τ) = = f τ + dξ(τ) dτ dτ f ξ = f τ + uf ξ. ρ α u ξ = ξ(τ) a(τ) ρ udy + ρ γ ξ(τ) with the help of (3.4), we have dρ α α dτ = d ξ(τ) a(τ) ρudy + ρ γ dτ Integrating (3.5) over [, τ] to obtain ρ α +α τ which implies ρ α ρ α α ρ γ ds = ρ α α ξ(τ) a(τ) ξ(τ) a(τ) ρudy + α Using the same idea, we obtain ρudy+α ξ() a ξ() a a(τ) τ ρ u dy + α ξ(τ) a(τ) ρφ y dy, τ ρ u dy+α ξ(τ) a(τ) (3.4) ρφ ξ dy, (3.5) ξ(τ) a(τ) ρφ y dyds, (3.6) ρφ y dyds C(T ). (3.7) n α C(T ). (3.8) The combination of (3.7) and (3.8) gives rise to Lemma 3.2. Lemma 3.3. Under the same assumptions as in Lemma 3., there holds τ ρu dξ + m( ) ρ α u 2 u 2 ξdξ C(T ), m N +, (3.9) Ω τ Ω τ τ nv dξ + m( ) n α v 2 vξdξ 2 C(T ), m N +. (3.) Ω τ Ω τ

6 6 J. LIU, R. LIAN EJDE-23/2 Proof. To show (3.9), we multiplying (2.) 2 with u and integrating over the Ω τ respect to ξ, using (2.) and (2.3), we obtain d ρu dξ + ( ) ρ α u 2 u 2 dτ ξdξ Ω τ Ω τ = ( ) ρ γ u 2 u ξ dξ + ρu Φ ξ dξ (3.) Ω τ Ω τ m( ) ρ α u 2 u 2 ξdξ + C(T ) ρu dξ + C(T ), Ω τ Ω τ with the help of Gronwall s inequality, we obtain Similarly, we have The combination of (3.2) and (3.3), yiels Lemma 3.3. Ω τ ρu dξ C(T ). (3.2) Ω τ nv dξ C(T ). (3.3) To obtain the lower bound of density conveniently, we solve the FBVP (2.) in Lagrangian coordinates, we just deal with (2.) (2.) 2, with the same idea, we also can deal with (2.) 3 (2.) 4. Let us introduce the Lagrangian coordinates transform x = ξ a(t) ρ(z, τ)dz, t = τ. Then the free boundaries ξ = a(τ) and ξ = b(τ) become x = and x = by the conservation of mass. Hence, in the Lagrangian coordinates, the free boundary problem (2.) becomes with the boundary conditions and initial data ρ t + ρ 2 u x =, u t + (ρ γ ) x = ρφ x + (ρ +α u x ) x, < x <, t >, (3.4) ρ(, t) = ρ(, t) =, (3.5) (ρ, u)(x, ) = (ρ (x), u (x)), x. (3.6) Note that in Lagrange coordinates the condition (A) (A4) of ρ, u is equivalent to (B) ρ (x) C(x( x)) σ with C > and (ρ γ (x)) x L 2 ([, ]); (B2) for sufficiently large positive integer m, we have (x( x)) k ρ (x) L ([, ]), where k > and (x( x)) ((ρ α (x)) x ) L ([, ]); (B3) u (x) L ([, ]), (ρ α+ (x)u x ) x L 2 ([, ]); (B4) < α < 3, γ >. First, making use of similar arguments as in [27] with modifications, we can establish the following Lemmas.

7 EJDE-23/2 EXISTENCE OF GLOBAL SOLUTIONS 7 Lemma 3.4. Assume (B) (B4) hold. Let (ρ, u, Φ x ) be any weak solution to the free boundary problem (3.4) (3.6) for t [, T ], then ρ α + α 2 u2 dx + t γ ργ dx + ρ +α u x = ρ γ ds = ρ α α u dx + m( ) x t x t t u t dy + ρ γ ρ +α u 2 xdxds C(T ), (3.7) x u s dyds + α ρφ y dy, (3.8) t x ρφ y dyds, (3.9) u 2(m ) ρ +α u 2 xdxds C(T ). (3.2) The proof of Lemma 3.4 is similar to that of Lemmas ; we omit them here. Lemma 3.5. Under the same assumptions as Lemma 3.4, it holds where σ = min{σ, 2αm }. Proof. From (3.9), we have ρ α (x, t) ρ α (x) α which implies x C(T )(x( x)) σ, u(x, t)dy + α x u dy + α t x ρφ y dyds ( ) /()(x( ρ α (x) + C u (x, t)dx x)) + C(T )x( x) C(T )(x( x)) σα + C(T )(x( x)), C(T )(x( x)) σ + C(T )(x( x)) 2αm. Then Lemma 3.5 follows. Lemma 3.6. Under the same assumptions as Lemma 3.4, for any integer m >, it holds Proof. From (3.4), we have which by using (3.4) 2 implies Integrating (3.22) in t over [, t], we have (x( x)) ((ρ α ) x ) dx C(T ). (3.2) (ρ α ) t = αρ +α u x, (ρ α ) xt = α ( u t + (ρ γ ) x ρφ x ). (3.22) (ρ α ) x = (ρ α ) x α(u u ) α t (ρ γ ) x ds + α t ρφ x ds. (3.23)

8 8 J. LIU, R. LIAN EJDE-23/2 Multiplying (3.23) by (x( x)) ((ρ α ) x ) and integrating it in x over [,], we have = (x( x)) ((ρ α ) x ) dx α α + α (x( x)) ((ρ α ) x ) (ρ α ) x dx Using Young s inequality, we have 2 (x( x)) ((ρ α ) x ) dx + C + C (x( x)) ((ρ α ) x ) (u u )dx t (x( x)) ((ρ α ) x ) (ρ γ ) x dsdx t (x( x)) ((ρ α ) x ) ρφ x dsdx. (x( x)) ((ρ α ) x ) dx + C (x( x)) u dx + C (x( x)) u dx + C By using Lemma 3.4, we have (x( x)) ((ρ α ) x ) dx C(T ) C(T ) t t (x( x)) [(ρ γ ) x ] dsdx + C(T ) max [,] (ργ α ) Gronwall inequality implies Lemma 3.6. (x( x)) ((ρ α ) x ) dx (3.24) (x( x)) ( t dx (ρ γ ) x ds) (x( x)) ( t dx. ρφ x ds) (x( x)) [(ρ α ) x ] dxds + C(T ), (3.25) Lemma 3.7. Under the same assumptions as Lemma 3.4, for any k >, it holds (x( x)) k dx C(T ). (3.26) Proof. From (3.4), we have ( (x( x)) k ) = (x( x)) k u x (x, t). (3.27) t Integrating (3.27) over [, ] [, t] and using Young s inequality, we have (x( x)) k dx = (x( x)) k dx + ρ (x, t) t (x( x)) k u x dxds

9 EJDE-23/2 EXISTENCE OF GLOBAL SOLUTIONS 9 C + C (x( x)) k dx + C ρ (x, t) t t u dxds + C By using Lemma 3.4 and noticing when k > which proves Lemma 3.7. (x( x)) k u dxds t ; i.e., (k ) (x( x)) (k ) dxds. >, we have (x( x)) k dx C(T ), (3.28) If we choose k = (> ) in Lemma 3.7, then we have the following result which is used to get the lower bound estimate of the density function. Corollary 3.8. The following estimate holds: (x( x)) dx C(T ). (3.29) The next Lemma gives an estimate on the lower bound for the density function. Lemma 3.9. Under the same assumptions as Lemma 3.4, for any < α <, there exists a positive integer m such that α <. Let k 2 α+ α, then the following estimate holds: C(T )(x( x)) +k2. (3.3) Proof. Now by using Sobolev s embedding theorem W, [, ] L [, ] and Hölder s inequality, we have by Corollary 3.8 and Lemma 3.6 (x( x)) +k2 (x( x)) +k2 ( (x( x)) +k 2 ) dx + dx x (x( x)) max(x( x))+k2 [,] (x( x)) +k2 ρ x (x, t) + ρ 2 dx (x, t) dx (x( x)) + ( + k 2 ) max(x( x))k2 [,] C(T ) + (x( x)) +k2 (ρ α (x, t)) x α ρ +α dx (x, t) C(T ) + ( (x( x)) [(ρ α ) x ] dx α ( (x( x)) (k2+ )q ρ (+α)q dx ) /q ( (x( x)) ) /q C(T ) + C(T ) dx ( (x( x)) (k 2+ )q ) /q max [,] ρ (+α)q ) /() dx

10 J. LIU, R. LIAN EJDE-23/2 C(T ) + C(T ) max [,] ( (x( x)) +k 2 ) +α q(x( x)) k 3, (3.3) where q = and k 3 = k 2 ( + k 2 )(α + ). When k 2 and m sufficiently large, we have α+ α k 3 = k 2 ( + k 2 )(α + ). This and (3.3) show that max [,] (x( x)) +k2 ( C(T ) + C(T ) max [,] (x( x)) +k2 ) α+. (3.32) For < α <, there exists a positive integer m, such that α < ; i.e., < α + <. Therefore, (3.32) implies max [,] (x( x)) +k2 This proves (3.3) and the proof of Lemma 3.9 is complete. C(T ). (3.33) Lemma 3.. Under the same assumptions as Lemma 3.4, for < α < 3, k 2 < 2α, we have t u 2 t dx + ρ +α u 2 xsdxds C(T ). (3.34) Proof. Differentiating (3.4) with respect to time t and then integrating it after multiplying by 2u t with respect to x and t over [, ] [, t], we deduce u 2 t dx + 2 = 2( + α) + 2 t t t ρ +α u 2 xsdxds ρ 2+α u x u xs dxds 2γ (ρφ x ) s u s dxds + From assumptions (B) and (B2), we have From Cauchy-Schwarz inequality, we have and 2( + α) 2 2γ 2 t t t t ρ 2+α u x u xs dxds u 2 tdx. t ρ +γ u x u xs dxds (3.35) u 2 tdx C. (3.36) ρ +α u 2 xsdxds + 2( + α) 2 t ρ +γ u x u xs dxds ρ +α u 2 xsdxds + 2γ 2 t ρ 3+α u 4 xdxds, ρ 2γ+ α u 2 xdxds, (3.37) (3.38)

11 EJDE-23/2 EXISTENCE OF GLOBAL SOLUTIONS and Therefore, 2 t u 2 t dx + (ρφ x ) s u s dxds C(T ) + t C(T ) + 2( + α) 2 t + 2γ 2 t ρ +α u 2 xsdxds ρ 2γ+ α u 2 xdxds + = C(T ) + 2( + α) 2 J + 2γ 2 J 2 + t ρ 3+α u 4 xdxds t t u 2 sdxds. (3.39) u 2 sdxds u 2 sdxds. Now we estimate J and J 2 as follows: By Hölder s inequality, we have where J = t ρ 3+α u 4 xdxds V (s) = t ρ +α u 2 xdx. (3.4) max [,] (ρ2 u 2 x)v (s)ds, (3.4) On the other hand, from (3.8), Lemma 3.5 and Lemma 3.9, we have ρ 2 u 2 x = ρ 2α (ρ +α u x ) 2 = ρ 2α( x u t dy + ρ γ Cρ 2α( x( x) x ) 2 ρφ y dy u 2 t dx + ρ 2γ + x( x) C(T )(x( x)) 2α(+k2) u 2 t dx + Cρ 2γ 2α + C(T )(x( x)) 2α(+k2). x ) (ρφ y ) 2 dy When < α < 3 and k 2 2α, for sufficiently large m, we have 2α( + k 2 ), which implies Therefore, Similarly, we have J 2 = t J C(T ) max [,] ρ2 u 2 x C(T ) t V (s) ρ 2γ+ α u 2 xdxds C(T ) u 2 t dx + C(T ). u 2 sdxds + C(T ) t V (s) t (3.42) V (s)ds. (3.43) u 2 sdxds + C(T ) From (3.4), (3.43) and (3.44) and Lemma 3.4, we have t ( t u 2 t dx + ρ +α u 2 ( ) xsdxds C(T ) + + V (s) t V (s)ds. (3.44) ) u 2 sdxds. (3.45)

12 2 J. LIU, R. LIAN EJDE-23/2 Gronwall s inequality and Lemma 3.4 give ( u 2 t dx C(T ) exp C(T ) t ) (V (s) + )ds C(T ). (3.46) Combining (3.45) with (3.46), we can get (3.34) immediately. This completes the proof of Lemma 3.. Lemma 3.. Under the same assumptions as Lemma 3.4, we have Proof. Since ρ x (x, t) dx C(T ), (3.47) ρ +α u x (x, t) L ([,] [,T ]) C(T ), (3.48) ρ +α u x = (ρ +α u x ) x (x, t) dx C(T ). (3.49) x u t dy + ρ γ x ρφ y dy, (ρ +α u x ) x = u t + (ρ γ ) x ρφ x, (3.5) Inequalities (3.48) and (3.49) follows from Lemma 3.5 and Lemma 3.. On the other hand, by using Young s inequality, from Lemma 3.5 and Lemma 3.6, we have = α ρ x dx C(T ) + C (x( x)) (ρ α ) x (x( x)) ρ α dx (x( x)) [(ρ α ) x ] dx + (x( x)) + ( α) σ dx C(T ), which implies (3.47), and completes the proof. (x( x)) ρ ( α) dx (3.5) Lemma 3.2. Under the same assumptions as Lemma 3.4, for < α < 3 k 2 2α ( )α, we have and u x (x, t) dx C(T ), (3.52) u(x, t) L ([,] [,T ]) C(T ). (3.53) Proof. From (3.8), we have x x u x (x, t) = ρ α u t (y, t)dy + ρ γ α ρ α ρφ y dy. (3.54)

13 EJDE-23/2 EXISTENCE OF GLOBAL SOLUTIONS 3 By Lemma 3. and using Hölder s inequality, we have u x (x, t) dx + ρ γ α (x, t)dx + x ρ α ρφ y dydx ρ γ α (x, t)dx + ρ α (x, t) ρ α (x, t)(x( x)) /2 dx( ρ γ α (x, t)dx + C(T ) x u t dydx ρ α (x, t)(x( x)) /2 dx( (ρφ x ) 2 dx) /2 ρ α (x, t)(x( x)) /2 dx. The next we will prove (3.52). Case : If γ α <, then by Lemma 3.9 we have Since for γ > we have Therefore, ρ γ α (x, t)dx C(T ) k 2 2α ( )α, (γ α )( + k 2 ) γ α 2α u 2 t dx) /2 (x( x)) (γ α )(+k2) dx. + γ α ( )α >. (3.55) ρ γ α (x, t)dx C(T ). (3.56) Case 2: If γ α, then (3.52) follows from Lemma 3.5. On the other hand, by Corollary 3.8 and Lemma 3.9, we have ρ α (x, t)(x( x)) /2 dx max {(x( x)) 2 ρ α (x, t)} [,] C(T ) max {(x( x)) 2 ρ α (x, t)} [,] C(T ) max {(x( x)) 2 α(+k2) }. [,] When k 2 2α ( )α, we have 2 α( + k 2). Inequalities (3.55) (3.57) show that (x( x)) ρ dx (3.57) u x (x, t) dx C(T ). (3.58)

14 4 J. LIU, R. LIAN EJDE-23/2 On the other hand, by Sobolev s embedding theorem W, ([, ]) L ([, ]) and Young s inequality, we have from (3.58) and Lemma 3.4, u(x, t) C(T ). This completes the proof of Lemma 3.2. By coordinates transform, from Lemma 3. Lemma 3.2, we obtain u x L ([a(t), b(t)] [, T ]) and ρ α u x L ([a(t), b(t)] [, T ]), and then from Lemma 3. Lemma 3.2 and Aubin s Lemma, we have By similar arguments, we have ρ, u C ([a(t), b(t)] [, T ]). v x L ([a(t), b(t)] [, T ]), n α v x L ([a(t), b(t)] [, T ]), n, v C ([a(t), b(t)] [, T ]). From (2.) 5 and above regularities of ρ and n, we have Φ x L ([, T ], H [a(t), b(t)]) Proof of Theorem 2.2. With the estimates obtained in Sections 3., we can apply the method in [8] and references therein, to prove the existence of weak solutions to the FBVP (2.), we omit its proof here. Acknowledgments. The authors are grateful to Professor Hai-Liang Li for his helpful discussions and suggestions about the problem. The research of R. Lian is partially supported by NNSFC NO. 45. References [] Bresch, D.; Desjardins, B.; Existence of global weak solutions for 2D viscous shallow water equations. Commun. Math. Phys. 238 (23), [2] Bresch, D.; Desjardins, B.; On the existence of golabal weak solutions to the Navier-Stokes equations for viscous compressible and heat conducting fluids. J.Math.Pures Appl. 87() (27), [3] Bresch, D.; Desjardins, B.; Métivier, G.; RecentMathematical Results and Open Problems About Shallow Water Equations. Basel-Boston: Birkauser, 27. [4] Degond, P.; Jin, S.; Liu, J.; Mach-number uniform asymptotic-preserving gauge schemes for compressible flows. Bull Inst. Math. Acad. Sin.(New Series) 2(4) (27), [5] Donatelli, D.; Local and global existence for the coupled Navier-Stokes-Poission problem. Quart Appl Math. 6 (23), [6] Donatelli, D.; Marcati, P.; A quasineutral type limit for the Navier-Stokes-Possion system with large data. Nonlinearity 2() (28), [7] Ducoment, B.; Zlotnik, A.; Stabilization and stability for the spherically symmetric Navier- Stokes-Possion system. Appl.Math.Lett. 8() (25), [8] Guo, Z.; Li, H.-L.; Xin, Z.; Lagrange Structure and Dynamics for Solutions to the Spherically Symmetric Compressible Navier-Stokes Equations. Commun.Math.Phys. 39 (22), [9] Hao, C.; Li, H.; Global Existence for compressible Navier-Stokes-Possion equations in three and higher dimensions. J. Differ. Equ. 246 (29), [] Huang, F.; Li, J.; Xin, Z.; Convergence to equilibria and blow up behavior of global strong solutions to the Stokes approximation equations for two-dimensional compressible flows with large data. J.Math.Pures Appl. 86(6) (26), [] Jiang, S.; Xin, Z.; Zhang, P.; Global weak solutions to D compressible isentropic Navier- Stokes equations with density-dependent viscosity. Metheod and Applications of Anal. 2 (25), [2] Ju, Q.; Li, F.; Li, H.-L.; The quasineutral limit of Navier-Stokes-Possion system with heat conductivity and general initial data. J. Differ. Equ. 247 (29),

15 EJDE-23/2 EXISTENCE OF GLOBAL SOLUTIONS 5 [3] Ladyzěnskaja, O. A.; Solonnikov, V. A.; Ural ceva, N. N.; Linear and quasilinear equations of parabolic type. Translated from the Russian by S. Smith. Translations of Mathematical Monographs, Vol. 23. Providence, R.I., American Mathematical Society, 968. [4] Lian, R.; Guo, Z.; Li, H.-L.; Dynamical behaviors of vacuum states for D compressible Navier-Stokes equations. J. Differ. Equ. 248 (2), [5] Lian, R.; Li, M.; Stability of Weak Solutions for the Compressible Navier-Stokes-Poisson Equations. Acta Math.Applicatae Sin. 28(3) (22), [6] Li, H.-L.; Li, J.; Xin, Z.-P; Vanishing of vacuum states and blow up phenomena of the compressible Navier-Stokes equations. Commun.Math.Phys. 28 (28), [7] Li, H.-L.; Yang, T.; Zou, C.; Time asymptotic behavior of bipolar Navier-Stokes-Poission system. Acta.Math.Sci. 29B(6) (29), [8] Li, H.-L.; Matsumura, A.; Zhang, G.; Optimal decay rate of the compressible Navier-Stokes- Poission system in R 3. Arch Ration Mech Anal. 96 (2), [9] Liu, J.; Local existence of solution to free boundary value problem for compressible Navier- Stokes equations. Acta Math.Sci. 32B(4), (22), [2] Liu, J.; Lian, R. X.; Qian, M., F.; Global existence of solution to Bipolar Navier-Stokes- Possion system. In preparation, 22. [2] Liu, T.; Xin, Z.; Yang, T.; Vacuum states for compressible flow. Discrete Continuous Dyn. Spy. 4, (998), -32. [22] Hsiao, L.; Li, H.; Yang, T.; Zou, C.; Compressible non-isentropic bipolar Navier-Stokes- Poission system in R 3. Acta Math. Sci. 3B(6) (2), [23] Li, J.; Xin, Z.; Some uniform estimates and blow up behavior of global strong solutions to the Stokes approximation equations for two-dimensional compressible flows. J. Differ. Eqs. 22 (26), [24] Lin, Y.; Hao, C.; Li, H.; Global well-posedness of compressible bipolar compressible Navier- Stokes-Poission equations. Acta Math. Sini. 28(5) (22), [25] Mellet, A.; Vasseur, A.; On the barotropic compressible Navier-Stokes equations. Commun.Partial Differ.Eqs. 32 (27), [26] Okada, M.; Nečasoá, Š., M.; Makino, T.; Free boundary problem for the equation of onedimensional motion of compressible gas with density-dependent viscosity. Ann. Univ.Ferrara Sez, VII(N.S.). 48, (22), -2. [27] Vong, S., W.; Yang, T.; Zhu, C., J.; Compressible Navier-Stokes equations with degenerate viscosity coefficient and vacuum(ii). J. Differ. Eqs. 92 (23), [28] Wang, S.; Jiang, S.; The convergence of the Navier-Stokes-Possion system to the incompressible Euler equations. Comm. Partial Differ. Equ. 3 (26), [29] Yang, T.; Yao, Z. A.; Zhu, C., J.; Compressible Navier-Stokes equations with densitydependent viscosity and vacuum. Comm. Partial Differ. Equ. 26 (2), [3] Yang, T.; Zhao, H.-J.; A vacuum problem for the one-dimensional Compressible Navier-Stokes equations with density-dependent viscosity. J.Differ.Eqs. 84 (22), [3] Yang, T.; Zhu, C.-J.; Compressible Navier-Stokes equations with degenerate viscosity coefficient and vacuum. Commun. Math. Phys. 23 (22), [32] Zou, C.; Large time behaviors of the isentropic bipolar compressible Navier-Stokes-Poission system. Acta Math.Sci. 3B(5) (2), [33] Zhang, Y.; Tan, Z.; On the existence of solution to the Navier-Stokes-Poission equations of a two-dimensional compressible flow. Math Methods Appl Sci. 3(3) (27), Jian Liu College of Teacher Education, QuZhou University, Quzhou 324, China address: liujian.maths@gmail.com Ruxu Lian College of Mathematics and Information Science, North China University of Water Resources and Electric Power, Zhengzhou 45, China address: ruxu.lian.math@gmail.com