arxiv: v1 [math-ph] 21 Apr 2015

Transcript

1 arxiv: v1 [math-ph] 1 Apr 15 GLOBAL EXISTENCE AND SEMICLASSICAL LIMIT FOR QUANTUM HYDRODYNAMIC EQUATIONS WITH VISCOSITY AND HEAT CONDUCTION XUEKE PU AND BOLING GUO Abstract. The hydrodynamic equations with quantum effects are studied in this paper. First we establish the global existence of smooth solutions with small initial data and then in the second part, we establish the convergence of the solutions of the quantum hydrodynamic equations to those of the classical hydrodynamic equations. The energy equation is considered in this paper, which added new difficulties to the energy estimates, especially to the selection of the appropriate Sobolev spaces. 1. Introduction The hydrodynamic equations and related models with quantum effects are extensively studied in recent two decades. In these models, the quantum effects is included into the classical hydrodynamic equations by incorporating the first quantum corrections of O( ), where is the Planck constant. One of the main applications of the quantum hydrodynamic equations is as a simplified but not a simplistic approach for quantum plasmas. In particular, the nonlinear aspects of quantum plasmas of quantum plasmas are much more accessible using a fluid description, in comparasion with kinetic theory. One may see the recent monograph of Haas [8] for many physics backgrounds and mathematical derivation of many interesting models. Many other applications of the quantum hydrodynamic equations consisting of analyzing the flow the electrons in quantum semiconductor devices in nano-size [7], where quantum effects like particle tunnelling through potential barriers and built-up in quantum wells, can not be simulated by classical hydrodynamic model. Similar macroscopic quantum models are also used in many other physical fields such as superfluid and superconductivity [6]. Let us first consider the following classical hydrodynamic equations in conservation form, describing the motion of the electrons in plasmas by omitting the electric potential n t + 1 Π i =, (1.1a) m x i Π j + (u i Π j P ij ) =, (1.1b) t x i W t + (u i W u j P ij +q i ) =, (1.1c) x i where n is the density, m is the effective electron mass, u = (u 1,u,u 3 ) is the velocity, Π j is the momentum density, P ij is the stress tensor, W is the energy density and q is the heat flux. In this system, repeated indices are summed over under the Einstein convention. Mathematics Subject Classification. 35M; 35Q35. This work is supported in part by NSFC ( ) and Natural Science Foundation Project of CQ CSTC (cstc14jcyja5). 1

2 X. PU & B. GUO This system also emerges from descriptions of the motion of the electrons in semiconductor devices, with the electrical potential and the relaxation omitted. As in the classical hydrodynamic equations, the quantum conservation laws have the same form as their classical counterparts. However, to close the moment expansion at the third order, we define the above quantities Π i,p ij and W in terms of the density n, the velocity u andthetemperaturet. Asusual, theheatfluxisassumedtoobeythefourierlawq = κ T and the momentum density is defined by Π i = mnu i, where m is the electron mass and u the velocity. The symmetric stress tensor P ij and the energy density W are defined, with quantum corrections, by and P ij = ntδ ij + n logn+o( 4 ) 1m x i x j W = 3 nt + 1 mn u n 4m logn+o( 4 ), respectively, where is the Planck constant, and is very small compared to macro quantities. As far as the quantum corrections are concerned, the quantum correction to the energy density was first derived by Wigner [4] for thermodynamic equilibrium, and the quantum correction to the stress tensor was proposed by Ancona and Tiersten [] and Ancona and Iafrate [1] on the Wigner formalism. See also [7] for derivation of the system (1.1) by a moment expansion of the Wigner-Boltzmann equation and an expansion of the thermal equilibrium Wigner distribution function to O( ), leading to the expression for Π and W above. We also remark the quantum correction term is closely related to the quantum Bohm potential [4] Q(n) = n, m n where n is the charge density. It relates to the quantum correction term in P ij with n Q(n) = 4m div(n logn) = ρ 4m m div( n n). For the system (1.1), there is no dissipation in the second equation. Given n and T, the second equation if hyperbolic, and generally we can not expect global smooth solutions for this system. In this paper, we consider the following viscous system by taking into account the stress tensor S, t n+ (nu) =, (1.a) t u+u u+ 1 (nt) mn 1m n div{n( )logn} = 1 mn divs, (1.b) t T +u T + 3 T u (κ T)+ 3n 36mn (n u) = 3mn { (us) u divs}.(1.c) Here, S is the stress tensor defined by S = µ( u+( u) T )+λ(divu)i, where I is the d d identity matrix, µ > and λ are the primary coefficients of viscosity and the second coefficients of viscosity, respectively, satisfying µ + 3λ >. Without quantum corrections (i.e., setting = ), this system is exactly the classical hydrodynamic equations studied in the seminal paper of Matsumura and Nishida [19]. Although important, there is little result on the system (1.) to the best of our knowledge. But there does exist a large amount of work for system very similar to (1.). These work comes from two main origins. The first one is from the quantum correction to various hydrodynamic equations, especially in semiconductors and in plasmas. Gardner [7] derived

3 GLOBAL EXISTENCE OF SOLUTIONS FOR QUANTUM HYDRODYNAMICS 3 the full 3D quantum hydrodynamic model by a moment expansion of the Wigner-Boltzmann equation. Hsiao and Li [13] reviewed the recent progress on well-posedness, stability analysis, and small scaling limits for the (bi-polar) quantum hydrodynamic models, where the interested readers may find many useful references therein. Jungel [11] proved global existence of weak solutions for the isentropic case. See also [16 18]. The other one, being equally important, emerges from the study of the compressible fluid models of Korteweg type, which are usually used to describe the motion of compressible fluids with capillarity effect of materials. See Korteweg [15] and the pioneering work of Dunn and Serrin [5]. The reference list can be very long, and we only mention a few of them. Hattori and Li [9,1] considered the local and global existence of smooth solutions for for the fluid model of Korteweg type for small initial data. Wang and Tan [3] studied the optimal decay for the compressible fluid model of Korteweg type. Recently, Bian, Yao and Zhu [3] studied the global existence of small smooth solutions and the vanishing capillarity limit of this model. Jungel et al [1] showed a combined incompressible and vanishing capillarity limit in the barotropic compressible Navier-Stokes equations for smooth solutions. Almost all of the above mentioned results considered the isothermal case, studying only the continuity equation and the momentum equation, or with electric potential described by a Poisson equation. To the best of our knowledge, there is no mathematical studies for the full quantum hydrodynamic system (1.1). The system (1.) is itself interesting, since the energy equation also includes the quantum effects through the energy density W, which brings new features into this system. This makes it different from the previous known results, to be precisely stated in the following. The aim of this paper is two fold. On one hand, we show the global existence of smooth solutions for (1.) with fixed constant > when the initial data is small near the constant stationary solution (n,u,t) = (1,,1). To be precise, we denote the perturbation by (ρ,u,θ) = (n 1,u,T 1) and transform the (1.) into (.1). The result is then stated in Theorem. for (.1), where the estimates is stated in terms of the planck constant, and we can see clearly how the quantum corrections affect the estimates. On the other hand, since (1.) modifies the classical hydrodynamic equations to a macro-micro level in the sense that it incorporates the (micro) quantum corrections, it is expected that as the Planck constant, the solution of the system (1.) converges to that of the classical hydrodynamic equations. This limit is rigorously studied in this paper and stated in Theorem.3. In particular, algebraic convergence rate is given in terms of. Amongothers, oneofthemainnoveltiesisthe selectionofthe Sobolevspacelike(ρ,u,θ) H k+ H k+1 H k. The underlying reason lies in the fact that the quantum effects in the energy density involves higher order derivatives of the velocity, and hence we cannot seek solutions in the same Sobolev spaces for θ and u. This paper is organized as follows. In Sect., we present some preliminaries. We translate the system (1.) into a convenient form and state the main results in this paper. In Sect. 3, we give the a priori estimates, and then prove Theorem (.) (existence result) at the end of this section. Finally, in Sect. 4, we prove Theorem (.3), by showing the convergence of the solutions of the quantum hydrodynamic equations(.1) to that of the classical hydrodynamic equations (.3). The algebraic convergence rate is also given in terms of the Planck constant. Notations. Throughout, C denotes some generic constant independent of time t > and the Planck constant >. Let p [1, ], L p denotes the usual Lebesgue space with norm L p. When p =, it is usually write = L p, omitting the subscript. Let H k denote the Sobolev space of the measurable functions whose generalized derivatives up to k th order

4 4 X. PU & B. GUO belong to L with norm H k = ( k j= Dj ) 1/. Ḣ s,p denotes the homogeneous Sobolev spaces and [A,B] = AB BA denotes the commutator of A and B.. Preliminaries and Main Results In this section, we reformulate the system (1.) in convenient variables. First we take (n,u,t) = (1,,1) to be a constant solution to (1.) and consider ρ = n 1,u = u,θ = T 1. In these unknowns, with m = 1, the (1.) transforms into t ρ+u ρ+(1+ρ)divu =, (.1a) t u µ µ+λ θ +1 u divu = u u θ ρ+1 ρ+1 ρ+1 ρ + ρ 1ρ+1 div( ρ+1 ρ+1), (.1b) 3 ρ+1 κ t θ 3(1+ρ) θ = u θ (θ +1) u (1+ρ) div((1+ρ) u)+ { µ 3(1+ρ) u+( u)t +λ(divu) }, (.1c) with initial data (ρ,u,θ)(,x) = (ρ,u,θ )(x) = (n 1,u,T 1)(x). We first state the local-in-time existence of smooth solutions to (.1). To be precise, we first set and (ρ,u,θ) := (ρ,u,θ) L + ρ L + ( ρ, u) L + ρ L, (ρ,u,θ) k := (ρ,u,θ) k 1 + ( k ρ, k u, k θ), E k (,T) = { (ρ,u,θ)(t, ) : sup (ρ,u,θ)(t) k < t [,T] Theorem.1 (Local existence). For any initial data such that n δ > is satisfied and (ρ = n 1,u,θ ) H k+ H k+1 H k (k 3), there exists some T > such that the Cauchy problem (.1) has a unique solution (ρ,u,θ) in [,T] such that (ρ,u,θ) E k (,T) and (ρ,u,θ)(t) k C k (ρ,u,θ ) k. This theorem can be proved in a similar fashion as in [9] by the dual argument and iteration techniques, and hence omitted for brevity. Now, we consider the global existence of smooth solutions. Let T >, we set One of the main purpose is to show the following Theorem. (Global existence). Suppose the initial data E = sup (ρ,u,θ)(t, ) 3. (.) t T (ρ,u,θ)() H 5 H 4 H 3 and set E := (ρ,u,θ)() 3 <. There exists some >, ε >, ν > and C <, such that if E < ε and <, then there exists a unique global in time }.

5 GLOBAL EXISTENCE OF SOLUTIONS FOR QUANTUM HYDRODYNAMICS 5 solution (ρ,u,θ) E 3 (,T) of the Cauchy problem (.1) for any t (, ), and the following estimates hold t 4 (ρ,u,θ)(t) 3 +ν k (ρ,u,θ, u, ρ)(s) ds C (ρ,u,θ)() 3, k=1 where the constants ν > and C > are independent of time t and. Formally, as, (.1) tends to the following classical hydrodynamic equations for (ρ,u,θ ) (studied in [19]) t ρ +u ρ +(1+ρ )divu =, (.3a) t u µ ρ +1 u µ+λ ρ +1 divu = u u θ θ +1 ρ +1 ρ, (.3b) t θ κ 3(1+ρ ) θ = u θ 3 (θ +1) u { µ + 3(1+ρ ) u +( u ) T +λ(divu ) }. (.3c) The convergence result is stated in the following Theorem.3 (Semiclassical limit). Let (ρ,u,θ ) be the solution of (.1) and (ρ,u,θ ) be the solution of (.3) with the same initial data (ρ,u,θ ) H 5 H 4 H 3. Then for all fixed time T (, ), we have the algebraic convergence and sup (ρ ρ,u u,θ θ ) H [ c 1 e c1t ] /c 1 4 t [,T] sup (ρ ρ,u u,θ θ ) H [ c e c1t ] /c 1, t [,T] for some constant positive constants c 1 and c, independent of and t. The following three lemmas will be frequently used, and hence cited here for reader s convenience. Lemma.4 (Gagliardo-Nirenberg []). Let p,q,r [1, ] and i,j l be integers, there exist some generic constants θ [,1] and C >, such that where When θ = 1, l j N/q. j u L p (R N ) C l u θ L q (R N ) i u 1 θ L r (R N ), j N p = θ(l N q )+(1 θ)(i N r ). Lemma.5. Let g(ρ) and g(ρ, θ) be smooth functions of ρ and (ρ, θ), respectively, with bounded derivatives of any order, and ρ L < 1. Then for any integer m 1, we have m g(ρ) L p C m ρ L p, m g(ρ,θ) L p C m ρ, m ρ L p, p [1, ], where C may depend on g and m. In particular, ( ) θ +1 x α L p C (ρ,θ) Ḣ α,p, p [1, ]. 1+ρ Proof. This can be proved in a similar fashion as in [3] and [3] making use of the Gagliardo- Nirenberg inequality, and hence omitted here for brevity.

6 6 X. PU & B. GUO Lemma.6 (Kato-Ponce[14]). Let α be any multi-index with α = k and p (1, ). Then there exists some constant C > such that α x(fg) L p C{ f L p 1 g Ḣs,p + f Ḣs,p 3 g L p 4}, [ α x,f]g L p C{ f L p 1 g Ḣk 1,p + f Ḣk,p 3 g L p 4}, where f,g S, the Schwartz class and p,p 3 (1,+ ) such that 1 p = 1 p p = 1 p p A priori estimates In this section, we establish useful a priori estimates of the solutions to (.1). First of all, we let the Planck constant < 1. To simplify the proof slightly, we assume that there exists a positive number ε 1 such that which together with Sobolev embedding, implies that E = sup (ρ,u,θ)(t) 3 ε, (3.1) t [,T] sup (ρ,u,θ), (ρ,u,θ), ρ, (ρ,u), 3 ρ L CE Cε, (3.) t [,T] and from (.1) the following and t ρ L p C (u(1+ρ)) L p CE Cε, 1 p, (3.3) t θ L p 4κ 3 θ L p + u θ L p + divu L p + ((1+ρ) u) L p +C u L p CE Cε, 1 p 6. (3.4) In particular, we choose ε small enough such that sup (ρ,θ)(t) L 1/. (3.5) t [,T] 3.1. Basic estimates. Now, we consider the zeroth order estimates for the system (.1). As in [19], we set s = (1+θ)/(1+ρ) /3 1, (3.6) and define a function E (ρ,u,s) for ρ,u = (u 1,u,u 3 ) and s by E (ρ,u,s) = 3R(1+s) ((1+ρ) 5/3 1 5ρ 3 The following lemma is proved in [19]. )+ (1+ρ) u +Rsρ+ 3R(1+ρ)s. (3.7) 4 Lemma 3.1. There exists constants < ρ 1/ and < C 1 C < such that E is positive definite, i.e., ρ + u +θ C 1 E C (ρ + u +θ ), for ρ ρ. We first prove the zeroth order estimates in the following Proposition 3.1. There exists a constant ε > such that if E ε ε, then the following a priori estimates holds for all t [,T], t (ρ,u,θ)(t) +ν D(ρ,u,θ)(s),( u, ρ)(s) ds C (ρ,u,θ)(), (3.8) where ν >, C = C(ε ) are independent of t.

7 GLOBAL EXISTENCE OF SOLUTIONS FOR QUANTUM HYDRODYNAMICS 7 The proof if postponed to the end of Section 3.1. Lemma 3.. There exists < ε < 1 and h > such that if E ε ε and h, then for a suitable β >, there holds t t (ρ,u,s)(t) +β ρ(t) +ν (ρ,u,s)(τ) dτ +ν ρ(τ) dτ t C (ρ,u,θ)() +C 4 u ds, (3.9) for some constant C > independent of t. Proof. Under the transform of (3.6), the system(.1) is transformed into the following system for (ρ,u,s) t ρ+u ρ+(1+ρ)divu =, (3.1a) t u+ ((1+ρ)γ (1+s)) µ µ+λ u 1+ρ ρ+1 ρ+1 divu+u u = ρ 1ρ+1 div( ρ+1 ρ+1) =: g (3.1b) 3 ρ+1 { κ s t s+u θ 3(1+ρ) div 1+ρ + (1+s) ρ } 3(1+ρ) { s κγ(γ 1) (1+ρ) + (1+s) } 3(1+ρ 3 ) ρ ρ { µ + 3(1+ρ) γ u+( u)t +λ(divu) } = 36(1+ρ) γdiv((1+ρ) u) =: h. Recall that E (ρ,u,s) is given in (3.7). We compute t E =(1+ρ)u u t +{ u + γ γ 1 (1+s((1+ρ)γ 1 1))+s (γ 1) s }ρ t +{ γ 1 ((1+ρ)γ 1 γρ)+ (1+ρ)s γ 1 }s t =div{ } µ u (µ+λ) u κ(γ 1) s ρ κ(γ 1) ρ κ s +O(E) D(ρ,u,s) 1 +(1+ρ)u g { }{{} γ 1 ((1+ρ)γ 1 γρ)+ (1+ρ)s γ 1 }h. I }{{} II (3.1c) (3.1d) (3.11) Now, we consider the integration in space of the last two terms I and II on the RHS of (3.11). For the first term I, by integration by parts, and using (3.1a), we obtain Idx = u ρ+ u( ρ ρ/(1+ρ)). (3.1) 1 1 The last term on the RHS is easy to be bounded by u( ρ ρ/(1+ρ)) 1 C u L ρ C E ρ.

8 8 X. PU & B. GUO For the first term on the RHS, we use (.1a) to obtain u ρ = u ρ 1 1 = ρ (ρ t +u ρ) ρ = d ρ 4dt 1+ρ ρt ρ 4 (1+ρ) (u ρ) ρ. 4 1+ρ But from (.1a), it is easy to know that ρ t L C div(ρu) L CE CE, and by integration by parts, (u ρ) i u ρ ρ = 1+ρ 1+ρ ui i ρ iρ 1+ρ ρ i u ρ u ρ = 1+ρ iρ+ 1+ρ C( u L + u ρ L ) ρ CE ρ. Therefore it is easy to see from (3.1) that Idx d ρ 4dt 1+ρ C E D(ρ,u,s). On the other hand, for the second term II in (3.11), we have IIdx δ ( ρ, s) + C 4 δ u. u ρ (1+ρ) ρ In addition to (3.11), we compute { } 1 t ρ + (1+ρ) µ+λ ρ u } = { ρ+ (1+ρ) µ+λ u ρ t + (1+ρ) µ+λ ρ u t + (1+ρ) µ+λ u ρρ t =div{ } 1 µ+λ ρ s γ µ+λ ρ + (divu) µ+λ +O(E) D(ρ,u,s) + (1+ρ) µ+λ ρ g. }{{} J After integration in space we obtain for the last term, Jdx = (1+ρ) 1 µ+λ = : J 1 +J. For the term J 1, we have J 1 = 1 4 ρ ρ+ 3 (1+ρ) µ+λ ρ div( ρ+1 ρ+1) (1+ρ) µ+λ ρ 1 (1+ρ) µ+λ ρ C E ρ. (1+ρ) µ+λ ρ ρ (3.13)

9 GLOBAL EXISTENCE OF SOLUTIONS FOR QUANTUM HYDRODYNAMICS 9 For the term J, we have J (1+ρ) 48 µ+λ ρ +C E ρ. Multiplying (3.13) with a constant β and integration in space, and then add the resultant to (3.11) integrated in space, we obtain d E (ρ,u,s)+ ρ ( ) 1 dt 4 1+ρ +β ρ + (1+ρ) µ+λ ρ u dx + µ u +(µ+λ) u κ s ρ+ 4 9 κ ρ +κ s dx ρ s +β µ+λ + 5 (3.14) 1 3µ+λ ρ (divu) µ+λ + 1+ρ 48µ+λ ρ dx O(E) D(ρ,u,s) +δ ( ρ, s) + C 4 δ u. Note that as in [19], if we take β small such that { } (µ+λ) < β < min 8(1+ρ ) 4,(µ+λ)(µ+λ),4κ(µ+λ), where ρ is given in Lemma 3.1, then ( ) 1 E (ρ,u,s)+β ρ + (1+ρ) µ+λ ρ u 1 8 (ρ s + u )+ β 4 ρ, and µ u +(µ+λ) u κ s ρ+ 4 9 κ ρ +κ s ( ρ s +β µ+λ + 5 ) 1 3µ+λ ρ (divu) µ u + 5κ µ+λ 7 s κ ρ. Integrating in time over [,t] and taking δ and E sufficiently small (say, δ = 1/), we obtain { 1 R 8 (ρ + 36 ρ s + u )+ β } 4 ρ dx t { µ u + 5κ R 7 s + 5 } 3 κ ρ µ+λ ρ 3 ( ) 1 E (ρ,u,s)+β R ρ + (1+ρ) µ+λ ρ u t (3.15) dx +C 4 u ds 3 t= t C (ρ,u,θ)() +C 4 u ds. Now, properly choose the constant ν and C >, we finish the proof. Lemma 3.3. Under the same condition in Lemma 3., we have { u(t) + ρ(t) } + C u, ρ +C E t t u(s), u(s) ds ρ ds+δ 1 t for any positive constants δ 1 > and t >. θ, ρ ds+ C 4 δ 1 t u ds, (3.16)

10 1 X. PU & B. GUO Proof. We now take the inner product of (.1b) with u to obtain 3 i=1 L i := d dt u +µ u 1+ρ +(µ+λ) θ +1 = (u u) u+ θ u+ ρ div( ρ+1 ρ+1) 5 u =: 3 1+ρ For L 3, we have by integration by parts twice ( u) 1+ρ i=1 u L 3 =(µ+λ) (1+ρ) (µ+λ) i ρ (1+ρ) k u k u i +(µ+λ) (µ+λ) u (1+ρ) C E ρ, u, u ρ u 4 1 since u L C u H 3 CE. For R 1, after integration by parts twice, we obtain R 1 = (u u) u k u i k u j i u j + R i ρ 1+ρ u k ρ (1+ρ) i u k u i u u, (3.17) which implies that R 1 = k u i k u j i u j + For R and R 3, by Hölder inequality we obtain u u C E u. R +R 3 δ 1 ( θ, ρ + C 4 δ 1 u, δ 1 >. For R 4, we have by integration by parts and (.1a) R 4 = 4 ρ ρ 4 ρ u+ 1 (1+ρ) 1 1+ρ u = ρ ρ (1+ρ) u ρ (1+ρ) { t ρ+[,1+ρ]divu+[,u] ρ+u ρ} = It is easy to show the following estimates R 41 C 4 ρ L ρ, u CE ρ, u, R 4 = 4 d 4dt 4 d 4dt ρ (1+ρ) 4 1 t ρ (1+ρ) 3 ρ ρ (1+ρ) +CE ρ, 5 R 4i. i=1

11 GLOBAL EXISTENCE OF SOLUTIONS FOR QUANTUM HYDRODYNAMICS 11 thanks to (3.3) and R 43 +R 44 C 4 ρ ( [,1+ρ]divu + [,u] ρ ) C 4 ρ ( u ρ L + ρ u L ) CE ρ, u, thanks to Lemma.6, and by integration by parts R 45 = 4 ρ 4 ρ 4 u ρ+ 1 (1+ρ) 1 (1+ρ) divu 6 = 4 ρ 4 ρ 4 (1+ρ) divu 4 (1+ρ) 3u ρ CE ρ. ρ (1+ρ) 3u ρ Therefore, we obtain R 4 4 d 4dt For the term R 5, it is easy to show that ρ (1+ρ) +CE ρ. R 5 CE ρ. Hence, putting all the estimates together, we have from (3.17) that d u + 4 d ρ u u dt 4dt (1+ρ) +µ 1+ρ +(µ+λ) (1+ρ) C E ρ, u +δ 1 (ρ,θ) + C 4 δ 1 u +CE ρ, u. Take ε and small, then for any ε ε and, integration in time over [,t] yields the result for any positive constant δ 1 >. Proof of Proposition of 3.1. By (3.6) and Lemma 3.1, the left hand side of (3.9) is equivalent to the norm t (ρ,u,θ)(t) +β ρ(t) +ν ( ρ, u, θ, ρ)(s) ds, for some another suitable constant ν >. Hence (3.9) implies that t (ρ,u,θ)(t) +β ρ(t) +ν ( ρ, u, θ, ρ)(s) ds t C (ρ,u,θ)() +C 4 u ds. (3.18) Now, taking δ 1 and in (3.16) sufficiently small, say, δ 1 = ν /4 and < ν /4Cε, we then obtain { u(t) + ρ(t) } + C u, ρ + ν t t ( u, u)(s) ds ( ρ, θ) ds+ 4C 4 ν t u ds. (3.19)

12 1 X. PU & B. GUO Add (3.18) and (3.19) together, and then taking even smaller such that C +4C /ν < 1/, we then obtain t (ρ,u,θ)(t) +ν ( ρ, u, θ, ρ, u)(s) ds C (ρ,u,θ)(), (3.) for some positive constant ν > depends only on µ,λ and κ. in particular, ν and C are both independent of t. 3.. Higher order estimates. In the following, we denote α = α1 x 1 α x α3 x 3 the partial differential derivative operator with multi-index α = (α 1,α,α 3 ). For our purpose, α 3 suffices. We sometimes abuse the notation to use α±1 to stand for α±β for a multi-index with β = 1 and α β in the case of α β. We will prove the following Proposition 3.. Let α be any multi-index with 1 α 3 and s = α. There exist some constants ε > and > such that if E ε and, then the following a priori estimates hold for all t [,T], t α (ρ,u,θ)(t) +ν α (ρ,u,θ, ρ, u)(τ) dτ C α (ρ,u,θ)() +C t for some ν > and C = C(ε ) independent of t. t (3.1) (ρ,u,θ) H s 1dτ +C (ρ,u)(τ) H s 1dτ, This proposition is proved as a direct sequence of the following lemmas. Lemma 3.4. Under the assumptions in Proposition 3., there exists some constants δ < 1 and ε < 1 sufficiently small, such that α θ(t) +κ t α θ(τ) dτ t α θ +δ (µ+λ) α u(τ) dτ + C 4 α u(τ) dτ δ κ + C t (ρ,u,θ)(τ) dτ + CE t u(τ) dτ, δ Ḣ s 1 δ κ Ḣ s 1 for all δ δ and E ε ε, where C is independent of t. t (3.) Proof. Applying α to (.1c) and then taking inner product of the resultant with α θ to obtain 1 d dt α θ + κ α θ 3 (1+ρ) = κ α θ ρ 3 (1+ρ) α θ α (u θ) α θ ( ) α ((θ +1) u) α θ+ div((1+ρ) u) α α θ 3 36 (1+ρ) + ( µ u+( u) α T +λ(divu) ) α θ = R i. 3 (1+ρ) For the first term R 1, we have R 1 Cκ α θ ρ L 3 α θ L 6 CκE α θ.

13 GLOBAL EXISTENCE OF SOLUTIONS FOR QUANTUM HYDRODYNAMICS 13 For the term R, we have R α (u θ) L 6/5 α θ L 6 ( u L 3 α θ L + α u L 6 θ L 3/) α θ L δ κ α θ L + CE δ κ α u L, thanks to Lemma.6. For the term R 3, since θ +1 3/ by (3.3), we have R 3 ( θ +1 L α u L + α θ L 6 u L 3) α θ L δ κ α θ L +δ (µ+λ) α u L + C(1+E ) δ α θ L. For the term R 4, by integration by parts, ( R 4 = div((1+ρ) u) α 1 36 (1+ρ) C α+1 θ ) α+1 θ { α 1 div((1+ρ) u) + [ α 1, } 1 1+ρ ]div((1+ρ) u) C α+1 θ { α 1 div u + u L α 1 ρ L } +C α+1 θ { 1 ( 1+ρ ) L α div((1+ρ) u) L + 1 } 1+ρ Ḣ div((1+ρ) u) s 1,6 L 3, where s = α. Then making use of Lemma.4,.5 and.6 and (3.1)-(3.5), one obtains R 4 C α+1 θ ( u Ḣs + u L ρ Ḣs) +C α+1 θ ρ L ( u Ḣs 1 + ρ Ḣs 1,6 u L 3) +C α+1 θ ρ Ḣs 1,6( u L 3 + ρ L u L 3) δ κ α+1 θ + C 4 δ κ u Ḣ s + CE δ κ ρ Ḣ s + CE δ κ u Ḣ s 1. Similar to R 4, we have for the term R 5 that R 5 = 3 α ( µ u+( u) T +λ(divu) (1+ρ) δ κ α+1 θ + CE δ κ ( ρ, u) Ḣ s 1. ) α θ Putting these estimates together, we obtain 1 d dt α θ + κ α θ 3 (1+ρ) (CκE +δ κ) α θ +δ (µ+λ) α u L + C δ α θ L + C 4 δ κ α u + CE δ κ ( ρ, u) Ḣ s 1 + CE δ κ u Ḣ s 1. Integrating this inequality in time over [,t] and noting 1/ < 1 + ρ < 3/, we know that there exists some constants δ < 1 and ε < 1 sufficiently small, such that (3.) holds for all δ δ and E ε ε.

14 14 X. PU & B. GUO Lemma 3.5. Under the assumptions in Proposition 3., there exists some constant ε < 1 sufficiently small and < 1, such that t α (ρ,u, ρ)(t) +ν α u(τ) dτ C α (ρ,u, ρ)() +CE t (ρ,u)(τ) Ḣ s dτ +C for all E ε ε and <, where C is independent of t. t (ρ,u,θ)(τ) Ḣ s 1 dτ. (3.3) Proof. Applying α to (.1b) and then taking inner product of the resultant with α u, we obtain Li = 1 d dt α u µ α ( u ρ+1 ) α u (µ+λ) α ( divu ρ+1 ) α u = α (u u) α u α θ α u α ( θ +1 ρ+1 ρ) α u (3.4) + 1 α ( ρ ρ+1 ) α u 3 α ( div{ } ρ+1 ) α u = R i Now, for the term L, we have by integration by parts α u L = µ 1+ρ α u µ [ α 1, 1+ρ ] u α u α u =µ 1+ρ µ α u (1+ρ) ρ α u µ [ α 1, 1+ρ ] u α u. Invoking Lemma.5 and.6, we obtain Hence [ α 1, 1+ρ ] u L C ρ 6/5 L 3 α 1 u L +C u L 3 α 1 ( 1+ρ ) L CE α 1 u L +CE ρ Ḣs 1. L µ 3 α u Cµ α u L ρ L 3 α u L 6 C [ α, µ 3 α u CE(1+µ) α u CE ρ Ḣ s ρ ] u L 6/5 α u L 6 µ α u CE ρ Ḣ s 1 by taking E µ/6c(1+µ). Similarly, we have for L 3 that L 3 µ+λ α u CE ρ Ḣ s 1 For the RHS term R 1, we have by integration by parts that R 1 = 1 u α u [ α,u] u α u C u L α u CE u. Ḣ s 1 For the term R, we have for any δ > that R δ µ α u + C δ µ θ Ḣ s 1.

15 GLOBAL EXISTENCE OF SOLUTIONS FOR QUANTUM HYDRODYNAMICS 15 The term R 3 will be treated with much more effort, from which some good terms will appear. By integration by parts, θ +1 R 3 = ρ+1 α ρ α u α u[ α, θ+1 ρ+1 ] ρ θ+1 = ρ+1 α ρ α divu+ ( θ +1 ρ+1 ) α ρ α u α u[ α, θ +1 ρ+1 ] ρ = R 3i. It is easy to show that and R 3 C (θ,ρ) L α (ρ,u) CE (ρ,u) Ḣ s 1, ( R 33 C α u ( 1+θ 1+ρ ) L ρ Ḣ + ρ s 1 L 1+θ ) 1+ρ Ḣ s CE (ρ,u,θ) Ḣ s 1, thanks to Lemma.5. Differentiating the continuity equation (.1a) with α yields which implies that R 31 = (1+ρ) α divu = t α ρ α (u ρ) [ α,1+ρ]divu, θ+1 (1+ρ) α ρ{ t α ρ+ α (u ρ)+[ α,1+ρ]divu} = R 31i. It is immediately from (3.3) and (3.4) with p = 3/ that R 311 = 1 d θ +1 dt (1+ρ) α ρ + 1 t ( θ+1 (1+ρ) ) α ρ 1 d θ +1 dt (1+ρ) α ρ +C t θ, t ρ L 3/ α ρ L 6 1 d θ +1 dt (1+ρ) α ρ +CE α ρ. For the term R 31, we have by integration by parts that R 31 = 1 (θ +1)u (θ +1) div( (1+ρ) ) α ρ (1+ρ) α ρ[ α,u] ρ C (ρ,u,θ) L α ρ + α ρ ( u L ρ Ḣs 1 ρ L u Ḣs) CE (ρ,u) Ḣ s 1. The same estimate hold for R 313. Combining all the estimates for R 3, we obtain R 3 1 d θ +1 dt (1+ρ) α ρ +CE α ρ +CE (ρ,u,θ). Ḣ s 1 Now, we consider the estimate of R 4. By integration by parts, we obtain R 4 = α i j ( ) iρ 1 ρ+1 ) α u j ([ α 1 i j, 1 ρ+1 ] iρ α u j = α ( ρ ) 1 ρ+1 ) α divu+ ([ α 1 1, 1 ρ+1 ] ρ α+1 u = α ρ 1 ρ+1 α divu+ [ α 1, 1 ρ+1 ] ρ α divu ) + ([ α 1 1, 1 ρ+1 ] ρ α+1 u =: R 4i.

16 16 X. PU & B. GUO Using the continuity equation (.1a) and similar to the term R 31, it can be shown that R 41 = α ρ 1 (1+ρ) { t α ρ+ α (u ρ)+[ α,1+ρ]divu} = R 41i. For R 411, we obtain R 411 = d α ρ 4dt (1+ρ) d t ρ α ρ 1dt (1+ρ) 3 d α ρ 4dt (1+ρ) +C E α ρ. By integration by parts, R 41 = α ρ 1 (1+ρ) u α ρ α ρ 1 (1+ρ) [ α,u] ρ ( ) = u div 4 (1+ρ) α ρ α ρ 1 (1+ρ) [ α,u] ρ, and hence by Lemma.6 and (3.) R 41 C (ρ,u) L α ρ +C α ρ ( α ρ u L + ρ L α u ) C E α (ρ,u). Similarly, by Lemma.6 and (3.), For the term R 4, we have R 4 = ([ α, 1 = ([ α, 1 R 413 C E α (ρ,u). 1 ρ+1 ] ρ) α divu ρ (ρ+1) ] ρ) α divu 1 But by the commutator estimates, we have and hence [ α, 1 ρ+1 ] ρ α divu [ α ρ, (ρ+1) ] ρ L ρ ρ Ḣ s 1,6 (ρ+1) L 3 + ρ L ρ (ρ+1) Ḣ s CE ρ Ḣs, [ α 1, ρ+1 ] ρ L 1 ρ Ḣs 1 ( ρ+1 ) L + ρ L 3 1 ρ+1 Ḣ s,6 Similarly, for R 43, we obtain CE ρ Ḣs, R 4 C E (ρ,u) Ḣ s. R 43 C E (ρ,u) Ḣ s. Putting all the estimates for R 4 together, we obtain R 4 d α ρ 4dt (1+ρ) +C E (ρ,u). Ḣ s

17 GLOBAL EXISTENCE OF SOLUTIONS FOR QUANTUM HYDRODYNAMICS 17 Finally, for R 5, it is easy to show R 5 = α 1 ( div{ ρ ρ/(1+ρ)} ) α+1 u 1 ρ+1 C E α (ρ,u) +C E ρ Ḣ s 1. Now, putting all these estimates for (3.4) together, and taking δ = 1/4, we obtain, 1 d dt α u + 1 d θ +1 dt (1+ρ) α ρ + d α ρ 4dt (1+ρ) + µ 4 α u + µ+λ α u C α θ +CE α ρ +CE (ρ,u,θ) +C E α u. Ḣ s 1 Integrating in time over [,t] completes the proof, thanks to < 1. Lemma 3.6. Under the assumptions in Proposition 3., there exists some constant ε < 1 sufficiently small and < 1, such that t α (u,ρ, ρ)(t) +ν α u(τ) dτ C α (u,ρ, ρ)() +C 4 E t +C α θ(τ) dτ +C E t t α u(τ) dτ +C E (ρ,u,θ)(τ) Ḣ s dτ. for all E ε ε and <, where C is independent of t. t α ρ(τ) dτ (3.5) Proof. Applying α to (.1b) and then taking inner product of the resultant with α u, we obtain Li = d dt α u +µ α ( u ρ+1 ) α u+(µ+λ) α ( divu ρ+1 ) α u = 4 1 α (u u) α u+ α ( ρ ρ+1 ) α u+ 4 3 α θ α u+ α ( θ+1 ρ+1 ρ) α u α ( div{ } ρ+1 ) α u = R i Now, for the term L, we have by integration by parts L =µ α u 1+ρ +µ [ α 1, 1+ρ ] u α u. Since [ α 1, 1+ρ ] u L C ρ L α 1 u L +C u L 3 α 1 ( 1+ρ ) L 6 CE u Ḣs 1 +C u H 1 ρ Ḣs,6 CE (ρ,u) Ḣs+1, thanks to Lemma.5 and (.6), we have L µ α u C E (ρ,u) Ḣ s+1. Similarly, for the L 3, we have L 3 (µ+λ) α divu C E (ρ,u). Ḣ s+1

18 18 X. PU & B. GUO For the RHS term R 1, we have by integration by parts twice that R 1 = j α (u i i u) j α u = u i j α i u j α u [ j α,u i ] i u j α u = i u i j α u [ j α,u i ] i u j α u C E u. Ḣ s+1 For the term R, we have R = By integration by parts, R 3 = It is easy to show that and by Lemma.5 and.6 α θ α u δ µ α u + C δ µ α θ. α ( θ +1 ρ+1 ρ) α u = θ +1 ρ+1 α ρ α u θ +1 = ρ+1 α ρ α divu+ α u[ α, θ +1 ρ+1 ] ρ = R 3i. α u[ α, θ +1 ρ+1 ] ρ ( θ +1 ρ+1 ) α ρ α u R 3 (θ,ρ) L α (ρ,u) C E α (ρ,u) R 33 C α u [ α, θ +1 ρ+1 ] ρ C α u ( ρ Ḣs (ρ,θ) L + ρ L (ρ,θ) Ḣs+1) C E (ρ,u,θ) Ḣ s. Differentiating the continuity equation (.1a) with α and then inserting the resultant to R 31, we obtain R 31 = θ +1 (1+ρ) α ρ{ t α ρ+ α (u ρ)+[ α,1+ρ]divu} = R 31i. It is immediately that R 311 = d dt d dt θ +1 (1+ρ) α ρ + θ +1 (1+ρ) α ρ +C E α ρ, t ( θ+1 (1+ρ) ) α ρ thanks to (3.3) and (3.4) again. For the term R 31, we have by integration by parts that R 31 = (θ +1)u (θ +1) div( (1+ρ) ) α ρ (1+ρ) α ρ[ α,u] ρ C E α (ρ,u).

19 GLOBAL EXISTENCE OF SOLUTIONS FOR QUANTUM HYDRODYNAMICS 19 The same estimate hold for R 313. Now, we consider the estimate of R 4. By integration by parts, we obtain R 4 = 4 α ρ [ α 1, = ρ+1 α u 4 1 α ρ ρ+1 α divu 4 1 = R 4i. For the last two terms, it can be shown that ρ+1 ] ρ α u [ α, α ρ α u (ρ+1) ρ ρ+1 ] ρ α u R 4 +R 43 C 4 ρ α (ρ,u) +C 4 α u ρ L 3 α (1/(1+ρ)) L 6 C 4 E α (ρ,u) +C 4 E ρ Ḣ s. Using the continuity equation (.1a) and similar to the term R 31, it can be shown that R 41 = 4 α ρ 1 (1+ρ) { t α ρ+ α (u ρ)+[ α,1+ρ]divu} 4 d α ρ 4dt (1+ρ) +C 4 E α (ρ,u). Finally, for R 5, we have R 5 = 4 1 α ( div{ ρ ρ/(1+ρ)} ) α u ρ+1 C 4 E α (ρ,u) +C 4 E ρ Ḣ s. Now, putting all these estimates together, and taking δ = 1/4, we obtain, d dt α u + µ α u + (µ+λ) α divu + d θ +1 dt (1+ρ) α ρ + 4 d α ρ 4dt (1+ρ) C 4 E α u +C E α ρ +C α θ +C E (ρ,u,θ) Ḣ s. Integrating in time over [, t] completes the proof. Lemma 3.7. Under the assumptions in Proposition 3., there exists some constant ε < 1 sufficiently small and < 1, such that (µ+λ)β γ ρ(t) +β t γ (ρ, ρ)(τ) dτ Cβ γ ρ +β γ u +Cβ γ divu(t) +Cβ t γ θ dτ +Cβ t t α u L dτ +Cβ (ρ,u,θ) dτ, Ḣ s 1 for any β >, E ε ε and, where C depends only on µ,λ and some Sobolev constants. In particular, C does not depend on > or t >.

20 X. PU & B. GUO Proof. Let γ be a multi-index such that γ = α 1 and γ α. We apply γ to (.1b) and then take the inner product of the resultant with β γ ρ to obtain 8 i=1 L i = β γ u t γ ρ+βµ +β(µ+λ) 1+ρ β γ θ γ ρ β + β 1 ( u γ 1+ρ ) γ ρ β ) γ ρ ( divu γ γ (u u) γ ρ ( ) θ +1 γ 1+ρ ρ γ ρ ( ( ρ ) γ γ ρ β div{ } γ 1+ρ 3 1+ρ ) γ ρ =. (3.6) We first note that by Hölder inequality L 7 = β γ ρ + β [ γ 1, 1 1+ρ 1 1+ρ ] ρ γ ρ β 18 γ ρ Cβ γ ρ ( ρ Ḣs ρ L + ρ L 3 γ 1 ( 1+ρ ) L 6) β 36 γ ρ Cβ E ρ Ḣ s Cβ E ρ Ḣ s 1. and by integration by parts and Hölder inequality 1+θ L 6 =β 1+ρ γ ρ γ ρ+β β 18 γ ρ Cβ γ ρ β 36 γ ρ CβE (ρ,θ) Ḣ s 1. [ γ, 1+θ 1+ρ ] ρ γ ρ ( ρ Ḣs 1 (ρ,θ) L + ρ L γ ( 1+θ 1+ρ ) ) For the term L 8, we have L 8 δ 1 β γ ρ + Cβ E For the term L 5, we have by integration by parts δ 1 ρ Ḣ s. L 5 = β γ θ γ ρ βδ 1 γ ρ + β γ θ. 4δ 1 For the term L 4, we have by integration by parts L 4 = β γ (u u) γ ρ β γ ρ ( u L u Ḣs + u Ḣs 1 u L ) βδ 1 γ ρ + CβE δ 1 u Ḣ s 1.

21 GLOBAL EXISTENCE OF SOLUTIONS FOR QUANTUM HYDRODYNAMICS 1 For the term L 3, we have by integration by parts, (µ+λ) 1 L 3 = β γ ( divu 1+ρ ) γ ρ γ divu = β 1+ρ γ ρ β [ γ 1, 1+ρ ] divu γ ρ γ ((1+ρ)divu) [ = β (1+ρ) γ γ,1+ρ]divu ρ+β (1+ρ) γ ρ β [ γ 1, 1+ρ ] divu γ ρ =: L 31 +L 3 +L 33. For the first term L 31, using (.1a), it is easy to show by integration by parts, L 31 = β d γ ρ dt (1+ρ) +β ρt γ ρ (1+ρ) 3 β u div( (1+ρ) ) γ ρ [ γ,u] ρ +β (1+ρ) γ ρ β d γ ρ dt (1+ρ) CβE γ (ρ,u), thanks to (3.3) with p = and Lemma.6. By commutator estimates, and L 3 Cβ γ u ( ρ L divu Ḣs + γ ρ divu L ) CβE (ρ,u) Ḣ s, L 33 Cβ γ ρ ( divu Ḣs 1 ρ L + divu L 3 ρ Ḣs,6) CβE (ρ,u) Ḣ s. The term L can be treated similarly and will lead to L βµ d γ ρ dt (1+ρ) CβE (ρ,u). Ḣ s Now, we focus on L 1. Integrating L 1 in time over [,t], we have β t L 1 (s)ds =β By direct estimates, we have t γ divu t γ ρdτ = β γ divu γ ρdx R 3 = : I(t) I() β t t β t L 1 (s)ds. I(t) δ 1 β γ ρ(t) + β δ 1 γ divu(t), I() β γ ρ +β γ u. R 3 γ divu γ ρ t dxdτ

22 X. PU & B. GUO For β t L 1(s)ds, we have by integration by parts and (.1a) t t β L 1 (s)ds = β γ divu γ (u ρ)dxds R 3 t β γ divu γ [(1+ρ)divu]dxds R 3 Cβ t +Cβ Cβ γ divu ( u L ρ Ḣs + u Ḣs,6 ρ L 3)dτ t t γ divu ( divu Ḣs + divu L 3 ρ Ḣs,6)dτ t γ divu dτ +CβE (ρ,u) dτ. Ḣ s Now, we fix some δ 1 small, depending on µ and λ, such that δ 1 = min{(µ+λ)/18,1/14}, where C is the constant appearing in the above estimates. Then for such δ 1, fix some small ε such that ε < min{1,1/(7c)}. By integrating (3.6) in time over [,t], and then taking E < ε small, we complete the proof. Now, we prove Proposition 3.. Proof of Proposition 3.. Adding the estimates in Lemmas together. First, we take δ = ν /4(µ+λ), and then small such that = min{δ ν κ/4c,κ/4c,1}, then choose β small such that Cβ Cβ := min{κ/4,ν /4,1/4}, and then for such fixed β, we choose ε small such that Cε min{ν /4,κ/4,β/4}, then there holds, α (ρ,u,θ, ρ)(t) + α (u, ρ)(t) +β γ ρ(t) t +ν α (u,θ, u)(τ) dτ +β t γ (ρ, ρ)(τ) dτ C α (ρ,u,θ, ρ)() +C α (u, ρ)() +C γ ρ +C t t (ρ,u,θ) +C (ρ,u)(τ) dτ, Ḣ s 1 Ḣ s for all E ε, where C is independent of t. Rephrasing this in the norm, we obtain t α (ρ,u,θ)(t) +ν α (ρ,u,θ, ρ, u)(τ) dτ C α (ρ,u,θ)() +C The proof is complete. t t (ρ,u,θ) H s 1 +C (ρ,u)(τ) dτ. Ḣ s Now, we are ready to obtain a priori estimate for the solution of (.1). Theorem 3.8. Suppose that for some T >, (ρ,u,θ) E 3 (,T) is a solution of (.1) satisfying E max t T (ρ,u,θ)(τ) 3 ε. Then there exists some ε >, ν = ν (ε ) > and C = C (ε,ν ) such that t (ρ,u,θ)(t) 3 +ν D(ρ,u,θ, ρ, u)(τ) H 3dτ C (ρ,u,θ)() 3, for any (ρ,u,θ)(t) satisfying E ε.

23 GLOBAL EXISTENCE OF SOLUTIONS FOR QUANTUM HYDRODYNAMICS 3 Proof. Add (3.1) for α = 1 to ( C ν +1) times (3.8) to obtain t (ρ,u,θ)(t) 1 +ν D(ρ,u,θ, u, ρ)(s) H 1ds C (ρ,u,θ)() 1. (3.7) Then, we add (3.1) for α = to ( C ν +1) times (3.7) to obtain t (ρ,u,θ)(t) +ν D(ρ,u,θ, u, ρ)(s) H ds C (ρ,u,θ)(). (3.8) Again, we add (3.1) for α = 3 to ( C ν +1) times (3.8), to obtain t (ρ,u,θ)(t) 3 +ν D(ρ,u,θ, u, ρ)(s) H 3ds C (ρ,u,θ)() 3, (3.9) which is the desired estimate, completing the proof. Now, we prove Theorem.. Proof of Theorem.. The proof is easy by combining the estimates in Theorem 3.8, continuity method and the local existence result. 4. Proof of Theorem An improved estimate of Matsumura and Nishida [19]. The following estimate was obtained in [19]. Under the smallness assumption, (ρ,u,θ)(t) 3 +ν t and the following density estimates t D 4 ρ(t) C D 3 u(t) +ν D 3 ρ(τ) dτ C ρ 4 +C u 3 +C Dρ(τ) + D(u,θ)(τ) 3 dτ C (ρ,u,θ)() 3 (4.1) t Adding (4.) to (C + C ν +1) times (4.1), one obtains D 4 (u,θ)(τ) + D(ρ,u,θ)(τ) dτ. (4.) t (ρ,u,θ)(t) 3 + D 4 ρ(t) +ν D(ρ,u,θ)(τ) 3dτ C (ρ,u,θ)() 3 +C ρ 4. (4.3) 4.. Proof of Theorem.3. To clearly specify the dependence of the solution on the parameter, we denote (ρ,u,θ ) the solution of the system (.1) and (ρ,u,θ ) the solution to (.3). First of all, from Theorem. and (4.3), we have the estimates and (ρ,u,θ )(t) 3 + D4 ρ (t) + (ρ,u )(t) ρ (t) 5 C( (ρ,u,θ )() 3 + (ρ,u )() 4 + ρ 5 ). (4.4) (ρ,u,θ )(t) 3 + D 4 ρ (t) C( (ρ,u,θ ) 3 +C ρ 4). (4.5) Now, we let N = ρ ρ, U = u u, Θ = θ θ.

24 4 X. PU & B. GUO Then (N,U,Θ) satisfy t N + ((1+ρ )U +Nu ) =, t U µ ρ +1 U t Θ ( µ ρ +1 µ ρ +1 ) u µ+λ ( µ+λ ρ +1 divu = u U U u Θ Θ ρ +1 ρ θ +1 ρ +1 N ρ +1 µ+λ ρ +1 ( θ +1 ρ +1 θ +1 ρ +1 ) divu ) ρ (4.6a) + ρ 1ρ +1 div( ρ +1 ρ +1) 3 ρ, (4.6b) +1 κ 3(1+ρ ) Θ κ ( ρ 1 ) 1+ρ θ = u Θ U θ 3 (θ +1) U 3 Θ u + 36(1+ρ ) div((1+ρ ) u ) { µ + 3(1+ρ ) ( (u +u )+( (u +u )) T )( U +( U) T )+λ(div(u +u )divu} + ( ρ 1 ) {µ 1+ρ u +( u ) T +λ(divu ) }. (4.6c) Now, we multiply (4.6) with N,U and Θ, respectively, integrate the resultant over R 3 and then sum them up to obtain an energy inequality. Among the many terms, we only treat the following three typical thems in the following. First, for the viscosity term, we have µ ρ +1 UU = µ ρ +1 U µ U C U, µ ρ (ρ +1) UU where the constant C depends on µ and the H 3 norm of ρ. Secondly, for the last term on the left of (4.6b), we have ( µ+λ ρ +1 µ+λ ) ( ) ρ divu (µ+λ)n U = +1 (ρ +1)(ρ divu U +1) C divu L 3 N L U L 6 µ 8 U +C (N,U) L, where the constant C depends on µ and the H 3 norm of (ρ,ρ,u ). Thirdly, for the second to the last term on the RHS of (4.6b), we have ρ 1 ρ +1 U µ 8 U + C 4 µ ρ H µ 8 U +C 4, where the constant C may depend on µ and the H norm of ρ. The other terms, either depending linearly on the difference N,U or Θ, or depending on the small parameter, can be estimated similarly. Therefore, we finally obtain after long but standard estimates 1 d dt (N,U,Θ)(t) L +ν (U,Θ) C (N,U,Θ)(t) +C 4, (4.7) whereν depends ontheparametersµandκ, andc depends ontheh 3 normof (ρ,u,θ ). Similarly, taking inner product with (N, U, Θ), one can obtain 1 d dt (N,U,Θ)(t) L +ν (U,Θ) C (N,U,Θ)(t) +C 4, (4.8)

25 GLOBAL EXISTENCE OF SOLUTIONS FOR QUANTUM HYDRODYNAMICS 5 where ν also depends on the parameters µ and κ, and C depends on the H 3 norm of (ρ,u,θ ). In the derivation of this inequality, we have the following term, 36(1+ρ ) div((1+ρ ) u ) Θ κ 4 Θ +C 4 div((1+ρ ) u ) κ 4 Θ +C 4, where C depends on κ and the H 3 -norm of ρ and Θ. This procedure can not be proceeded into the higher norms, since the estimates then depends on the H 4 -norm of u. Combining the two inequalities (4.7) and (4.8), we obtain 1 d dt (N,U,Θ)(t) H 1 +ν (U,Θ) H c 1 (N,U,Θ)(t) 1 H +c 4, 1 which implies, thanks to the Gronwall inequality, that (N,U,Θ)(t) H 1 [ c e c1t /c 1 ] 4. In particular, we note that c 1 and c are independent of. We also remark that we can improve the convergence to the H -norm of (N,U,Θ) at the price of losing the decay rate. To be precise, we take the inner product of the system (4.6) with (N,U,Θ) to obtain an energy inequality. Among the terms, we consider the typical term div((1+ρ ) u ) 36(1+ρ ) Θ = ( div((1+ρ ) u ) 36(1+ρ ) κ 4 Θ + 4( div u L + ρ L 6 u L 3 + ρ L div u L + ρ 4 L u L ) κ 4 Θ + ( div u L +(1+ ρ 4 H 3) u H 3 ) κ 4 Θ +C, ) Θ thanks to the estimate in (4.4). The other terms, either depending linearly on (N,U,Θ) or depending on the Planckconstant, can be treated similarly by making use of (4.4). Finally, we arrive at the inequality 1 d dt (N,U,Θ)(t) H +ν (U,Θ) H c 1 (N,U,Θ)(t) H +c, which implies, thanks to the Gronwall inequality, that (N,U,Θ)(t) H [ c e c1t /c 1 ]. In particular, c 1 and c are independent of. This completes the proof. References [1] M.G. Ancona and G.J. Iafrate, Quantum correction to the equation of state of an electron gas in semiconductor, Phys. Rev. B, 39, (1989) [] M.G. Ancona and H.F. Tiersten, Macroscopic physics of the silicon inversion layer, Phys. Rev. B, 35, (1987) [3] D. Bian, L. Yao and C. Zhu, Vanishing capillarity limit of the compressible fluid models of Korteweg type to the Navier-Stokes equations, SIAM J. Math. Anal., 46(), (14) [4] D. Bohm, A suggested interpretation of the quantum theory in terms of hidden valuables: I; II, Phys. Rev., 85, (195) ; [5] J.E. Dunn and J. Serrin, On the thermodynamics of interstitial working, Arch. Ration. Mech. Anal., 88, (1985)

26 6 X. PU & B. GUO [6] R. Feynman, Statistical Mechanics, a Set of Lectures, New York: W.A. Benjamin, 197. [7] C.L. Gardner, The quantum hydrodynamic model for semiconductor devices, SIAM J. Appl. Math., 54(), (1994) [8] F. Haas, Quantum plasmas: An hydrodynamic approach, Springer, New York, 11. [9] H. Hattori, D. Li, Solutions for two-dimensional system for materials of Korteweg type, SIAM J. Math. Anal., 5(), (1994) [1] H. Hattori, D. Li, Global solutions of a high dimensional system for Korteweg materials, J. Math. Anal. Appl., 198, (1996) [11] A. Jungel, Global weak solutions to compressible Navier-Stokes equations for quantum fluids, SIAM J. Math. Anal., 4(3), (1) [1] A. Jungel, C.-K. Lin and K.-C. Wu, An asymptotic limit of a Navier-Stokes system with capillary effects, Comm. Math. Phys., 39, (14) [13] L. Hsiao and H. Li, The well-posedness and asymptotics of multi-dimensional quantum hydrodynamics, Acta Math. Sci., 9B(3), (9) [14] T. Kato and G. Ponce, Commutator estimates and the Euler and Navier-Stokes equations, Comm. Pure Appl. Math., 41, (1988) [15] D. Korteweg, Sur la forme que prennent les équations du mouvement des fluides si l on tient compte des forces capillaires par des variations de densité. Arch. Néer. Sci. Exactes Sér, II 6, (191)1-4. [16] H. Li and C.K. Lin, Zero Debye length asymptotic of the quantum hydrodynamic model for semiconductors, Comm. Math. Phys., 56(1), (5) [17] H. Li and P. Marcati, Existence and asymptotic behavior of multi-dimensional quantum hydrodynamic model for semiconductors, Comm. Math. Phys., 45(), (4) [18] H. Li and P. Markowich, A review of hydrodynamical models for semiconductors: asymptotic behavior, Bol. Soc. Brasil Mat., 3(3), (1) [19] A. Matsumura, T. Nishida, The initial value problem for the equations of motion of viscous and heatconductive gases, J. Math. Kyoto Univ., -1, (198) [] L. Nirenberg, On elliptic partial differential equations, Ann. Scuola Norm. Sup. Pisa, 13(3), (1959) [1] X. Pu, Dispersive limit of the Euler-Poisson system in higher dimensions, SIAM J. Math. Anal., 45(), (13) [] X. Pu and B. Guo, Global existence and convergence rates of smooth solutions for the full compressible MHD equations, Z. Angew. Math. Phys., 64, (13) [3] Y. Wang and Z. Tan, Optimal decay rates for the compressible fluid model of Korteweg type, J. Math. Anal. Appl., 379, (11) [4] E. Wigner, On the quantum correction for thermodynamic equilibrium, Phys. Rev., 4, (193) Xueke Pu Department of Mathematics, Chongqing University, Chongqing 41331, P.R.China address: xuekepu@cqu.edu.cn Boling Guo Institute of Applied Physics and Computational Mathematics, P.O. Box 89, Beijing, China, 188 address: gbl@iapcm.ac.cn