We study the asymptotic behavior, as the viscosity and heat-conductivity go to zero, respectively, of solutions to the Cauchy problem for the Navier-Stokes equations for a one-dimensional compressible heat-conducting fluid (in Lagrangian coordinates):

{ v t − u x = 0 , u t + p x = ε ( u x v ) x , ( e + u 2 2 ) t + ( u p ) x = κ ( θ x v ) x + ε ( u u x v ) x , (1.1)

with (discontinuous) initial data

( u , v , e ) ( x , 0 ) = ( u 0 , v 0 , e 0 ) ( x ) ,                 x ∈ R , (1.2)

where v , u , θ , p = p ( e , v ) and e denote the specific volume, the velocity, the temperature, the pressure and the internal energy respectively, and ε , κ are the viscosity and heat conductivity coefficients, respectively. At infinity, the initial data u 0 , v 0 , e 0 are assumed to satisfy

lim x → ± ∞ ( u 0 , v 0 , e 0 ) ( x ) = ( u ± , v ± , e ± ) , (1.3)

where u ± , v ± and e ± are given constant states.

The system (1.1), describing the motion of the fluid, is the conservation laws of mass, momentum and energy.

The asymptotic behavior of viscous flows, as the viscosity vanishes, is one of the important topics in the theory of compressible flows. It is expected that a general weak entropy solution to the Euler equations should be (strong) limit of solutions to the corresponding Navier-Stokes equations with same initial data as the viscosity and heat conductivity tend to zero, respectively.

For the one-dimensional compressible isentropic Navier-Stokes equations

{ v t − u x = 0 , u t + p ( v ) x = ε ( u x v ) x , (1.4)

and the corresponding inviscid p-system

{ v t − u x = 0 , u t + p ( v ) x = 0, (1.5)

the vanishing viscosity limit for the Cauchy problem has been studied by several researchers. In [1] Di Perna uses the method of compensated compactness and established almost everywhere convergence of admissible solutions ( u ε , v ε ) of (1.4) to an admissible solution of (1.5), provided that ( u ε , v ε ) is uniformly L ∞ bounded and v ε is uniform bounded away from zero. However, this uniform boundedness is difficult to verify in general, and the abstract analysis in [1] gets little information on the qualitative nature of the viscous solutions. In [2] Hoff and Liu investigate the inviscid limit problem for (1.4) in the case that the underlying inviscid flow is a single weak shock wave, and they show that solutions of the compressible Navier-Stokes equations with shock data exist and converge to the inviscid shocks, as viscosity vanishes, uniformly away from the shocks. Based on [2] [3] , Xin in [4] shows that the solution to the Cauchy problem for the system (1.4) with weak centered rarefaction wave data exists for all time and converges to the weak centered rarefaction wave solution of the corresponding Euler equations, as the viscosity tends to zero, uniformly away from the initial discontinuity. Moreover, for a given centered rarefaction wave to the Euler equations with finite strength, he constructs a viscous solution to the compressible Navier-Stokes system with initial data depending on the viscosity, such that the viscous solution approaches the centered rarefaction wave as the viscosity goes to zero at the rate | ln ε | ε 1 / 4 uniformly for all time away from t = 0 . In the vanishing viscosity limit, the Prandtl boundary layers (characteristic boundaries) are studied for the multidimensional linearized compressible Navier-Stokes equations by using asymptotic analysis in [5] [6] [7] , while the boundary layer stability in the case of non-characteristic boundaries and one spatial dimension is discussed in [8] [9] . We mention that there is an extensive literature on the vanishing artificial viscosity limit for hyperbolic systems of conservation laws, see, for example, [1] [3] [10] - [19] , also cf. the monographs [20] [21] [22] and the references therein. We also mention that the convergence of 1-d Broadwell model and the relaxation limit of a rate-type viscoelastic system to the isentropic Euler equations with centered rarefaction wave initial data are studied in [23] [24] , respectively. And, in [25] , the solution of the Navier-Stokes equations for one-dimensional compressible heat-conducting fluids with centered rarefaction data of small strength had been proved exist globally in time, and moreover, as the viscosity and heat-conductivity coefficients tend to zero, the global solution converges to the centered rarefaction wave solution of the corresponding Euler equations uniformly away from the initial discontinuity.

However, in those paper, κ is generally dependent of ε , while in this paper, we will show the dissipation limit in the case that κ and ε are independent of each other.

Our aim in this paper is to study the relation between the solution ( u κ , ε , v κ , ε , e κ , ε ) ( x , t ) of the Navier-Stokes equations for a compressible heat-conducting fluid (1.1) and the solution ( u , v , e ) ( x , t ) of the corresponding inviscid Euler equations:

{ v t − u x = 0 , u t + p x = 0 , ( e + u 2 2 ) t + ( u p ) x = 0 , (1.6)

with the initial data

( u , v , e ) ( x , 0 ) = ( u ˜ 0 , v ˜ 0 , e ˜ 0 ) ( x ) ,                 x ∈ R , (1.7)

satisfying

lim x → ± ∞ ( u ˜ 0 , v ˜ 0 , e ˜ 0 ) ( x ) = ( u ± , v ± , e ± ) , (1.8)

with the same constant states ( u ± , v ± , e ± ) as in (1.3).

It is convenient to work with the equations for the entropy s and the absolute temperature θ . The second law of thermodynamics asserts that

θ d s = d e + p d v .

We assume, as is customary in thermodynamics, that given any two of thermodynamics variables ρ , e , θ , s and p, we can obtain the remaining three variables. If we choose ( v , θ ) as independent variables and write ( p , e , s ) = ( p , e , s ) ( v , θ ) , we deduce that

s v ( v , θ ) = p θ ( v , θ ) ,                 s θ ( v , θ ) = e θ ( v , θ ) θ ,                 e v ( v , θ ) = θ p θ ( v , θ ) − p ( v , θ ) .

Then, a straightforward calculation gives

s t = κ ( θ x v θ ) x + κ θ x 2 v θ 2 + ε u x 2 v θ , (1.9)

and

θ t + θ p θ ( v , θ ) e θ ( v , θ ) u x = κ e θ ( v , θ ) ( θ x v ) x + ε e θ ( v , θ ) u x 2 v . (1.10)

We may also choose ( v , s ) as independent variables and write

p = p ( v , s ) ,                 θ = θ ( v , s ) .

Thus, instead of (1.1), we shall study the system (1.1)₁, (1.1)₂ and (1.9), or (1.1)₁, (1.1)₂ and (1.10). Namely, we shall consider

{ v t − u x = 0 , u t + p ( v , s ) x = ε ( u x v ) x ， s t = κ ( θ x v θ ) x + κ θ x 2 v θ 2 + ε u x 2 v θ , (1.11)

with initial data

( u , v , s ) ( x , 0 ) = ( u 0 , v 0 , s 0 ) ( x ) = { ( u − , v − , s − ) ,                 x < 0 , ( u + , v + , s + ) ,                 x > 0 , (1.12)

where u ± , v ± and s ± are the constant states. The corresponding inviscid Euler equations read:

{ v t − u x = 0 , u t + p ( v , s ) x = 0 , s t = 0. (1.13)

We assume in this paper that the pressure p is a smooth function of its arguments satisfying

p v ( v , s ) < 0 < p v v ( v , s ) ,                 v > 0. (1.14)

Notice that the condition (1.14) assures the system (1.13) has characteristic speeds

λ 1 = − − p v ,                 λ 2 = 0 ,                 λ 3 = − p v ,

and there are two family of rarefaction waves for the Euler equations (1.13). For illustration, we describe only the 1-rarefaction waves, and thus assume s + = s − ≡ s ¯ . The case for the 3-rarefaction waves can be dealt with similarly.

Suppose the end states ( u ± , v ± , s ¯ ) can be connected by 1-rarefaction waves. The centered 1-rarefaction wave connecting ( u − , v − , s ¯ ) to ( u + , v + , s ¯ ) is the self-similar solution ( u , v , s ) ( x , t ) = ( u r , v r , s r ) ( x / t ) of (1.13) defined by (see, e.g., [26] [27] )

{ s r ( ξ ) = s ¯ , u r ( ξ ) = u − + ∫ v − v r ( ξ ) λ 1 ( z , s ¯ ) d z , λ 1 ( v r , s ¯ ) ( s , t )                 increasing         in         x ,     λ 1 ( v r , s ¯ ) ( x , t ) = − − p v ( v r ( x / t ) , s ¯ ) , (1.15)

which is uniquely determined by the system (1.13) and the rarefaction wave initial data

( u , v , s ) | t = 0 = ( u 0 r , v 0 r , s 0 r ) ( x ) = { ( u − , v − , s ¯ ) ,                 x < 0 , ( u + , v + , s ¯ ) ,                 x > 0. (1.16)

For the internal energy e ( v , θ ) , we assume

e θ ( v , θ ) > 0           for         v , θ > 0. (1.17)

For the sake of convenience, throughout this paper we denote

α = | u + − u − | + | v + − v − | .

In this paper, we prove that the solution of system (1.11) with the centered rarefaction wave initial data (1.16) of small strength α exists for all time and converges to the centered rarefaction wave of the Euler equation (1.13) as κ , ε tends to zero respectively, uniformly away from the initial discontinuity. More precisely, the main result of this paper reads:

THEOREM 1.1. Let the constant states ( u ± , v ± , s ¯ ) be connected by a centered 1-rarefaction wave ( u r ( x / t ) , v r ( x / t ) , s r ( x / t ) ) defined by (1.15). Assume that (1.14) and (1.17) hold. Then, for α small enough, the compressible Navier-Stokes equations (1.11) with the rarefaction wave initial data (1.16) have a global piecewise smooth solution ( u κ , ε ( x , t ) , v κ , ε ( x , t ) , s κ , ε ( x , t ) ) , such that

1) u κ , ε , θ κ , ε are continuous for t > 0 , v κ , ε and u x κ , ε , v x κ , ε , θ x κ , ε are uniformly Hӧlder continuous in the set x < 0 , t ≥ τ and x > 0 , t ≥ τ for any τ > 0 ; u t κ , ε , u x x κ , ε , v x t κ , ε , θ t κ , ε , θ x x κ , ε are Hӧlder continuous on compact set ( x , t ) , x ≠ 0 , t > 0 . Moreover, the jumps in v κ , ε at x = 0 satisfy

| [ v κ , ε ( 0 , t ) ] | ≤ C 1 exp ( − C 2 t / ε ) ,

and so does the other jumps, where C 1 , C 2 are positive constants independent of t and ε , and [ ⋅ ] denotes jumps in what follows.

2) The solution ( u κ , ε , v κ , ε , s κ , ε ) converges to the centered rarefaction wave ( u r , v r , s r ) as ε → 0 , κ → 0 uniformly away from t = 0 , i.e., for any positive h, we have

lim ε → 0 , κ → 0 sup x ∈ ℝ , t > h | ( u κ , ε ( x , t ) , v κ , ε ( x , t ) , s κ , ε ( x , t ) ) − ( u r ( x t ) , v r ( x t ) , s r ( x t ) ) | = 0.

3) For any fixed ε > 0 and κ > 0 , the solution ( u κ , ε , v κ , ε , s κ , ε ) approaches the centered rarefaction wave ( u r , v r , s r ) uniformly as time goes to infinity, i.e.,

lim t → ∞ sup x ∈ ℝ 1 | ( u κ , ε ( x , t ) , v κ , ε ( x , t ) , s κ , ε ( x , t ) ) − ( u r ( x t ) , v r ( x t ) , s r ( x t ) ) | = 0.

To prove Theorem 1.1 and to overcome the difficulties induced by non-isentropy of the flow, we shall adapt and modify the arguments in [25] , but we do not use the natural scaling argument, and we do not assume that κ = O ( ε ) .

We point out here that in view of Theorem 1.1, an initial jump discontinuity at x = 0 can be allowed in (1.2). The evolution of this jump discontinuity is an important aspect in our analysis. It has been shown in [28] that the discontinuity evolution follows a curve x ˙ = − [ u ] / [ v ] in x-t plane, and the jump discontinuity in v , u x and θ x decays exponentially in time, while the discontinuity in u and θ are smoothed out at positive time, see [28] for details. We shall exploit this fact in the proof of Theorem 1.1.

In Section 2 we reformulate the problem and give the proof of Theorem 1.1, while Section 3 is dedicated to the derivation of a priori estimates used in Section 2.

Throughout this paper, we use the following notation:

ℝ − : = ( − ∞ , 0 ) ,                 ℝ + : = ( 0 , ∞ ) ,                 ‖     ⋅     ‖ = ‖     ⋅     ‖ L 2 ( ℝ ) ,                 ‖     ⋅     ‖ L p = ‖     ⋅     ‖ L p ( ℝ ) , ‖     ⋅     ‖ ± 2 ≡ ‖     ⋅     ‖ L 2 ( ℝ − ) 2 + ‖     ⋅     ‖ L 2 ( ℝ + ) 2 ,                 ∫ ± ⋅     d y ≡ ∫ − ∞ 0 ⋅     d y + ∫ 0 ∞ ⋅     d y .

In this section, we will reduce the proof of Theorem 1.1 to the nonlinear time-asymptotic stability analysis of rarefaction waves for the system (1.11) under non-smooth perturbations.

First, we derive some necessary estimates on the rarefaction waves of the Euler equations (1.13) based on the inviscid Burgers equation, in particularly, we construct an explicit smooth 1-rarefaction wave which well approximates a given centered 1-rarefaction wave. We start with the Riemann problem for the Burgers equation:

{ w t + ( w 2 2 ) x = 0 , w ( x , 0 ) = w 0 r ( x ) , (2.1)

where w 0 r ( x ) is given by

w 0 r ( x ) = { w − ,                 x < 0 , w + ,                 x > 0 ,

If w − < w + , then the problem (2.1) has the centered rarefaction wave solution w r ( x , t ) = w r ( x / t ) given by

w r ( x , t ) = { w − ,                         x / t ≤ w − , x / t ,             w − ≤ x / t ≤ w + , w + ,                         x / t ≥ w + .

To construct a smooth rarefaction wave solution of the Burgers equation which approximates the centered rarefaction wave, we set for δ > 0 ,

w δ ( x ) = w ( δ x ) = w + + w − 2 + w + − w − 2 tanh (δx)

and for each δ > 0 , we solve the following initial value problem

{ w t + ( w 2 2 ) x = 0 , w ( x , 0 ) = w δ ( x ) . (2.2)

Next, we state certain properties that will be used later.

LEMMA 2.1. (S. JIANG [25] ) For each δ > 0 , the problem (2.2) has a unique global smooth solution w δ r ( x , t ) , such that

1) w − < w δ r ( x , t ) < w + , ∂ x w δ r ( x , t ) > 0 for x ∈ ℝ ,         t ≥ 0 ,         δ > 0 .

2) For any 1 ≤ p ≤ ∞ , there is a constant C ( p ) depending only on p, such that

‖ ∂ x w δ r (   ⋅     , t ) ‖ L p ≤ C ( p ) min { ( w + − w − ) δ 1 − 1 / p , ( w + − w − ) 1 / p t − 1 + 1 / p } , ‖ ∂ x 2 w δ r (   ⋅     , t ) ‖ L p ≤ C ( p ) min { ( w + − w − ) δ 2 − 1 / p , δ 1 − 1 / p 1 t } , ‖ ∂ x 3 w δ r (   ⋅     , t ) ‖ L p ≤ C ( p ) min { ( w + − w − ) δ 3 − 1 / p , δ 2 − 1 / p 1 t } .

3)

lim t → + ∞ sup x ∈ ℝ | w δ r ( x , t ) − w r ( x , t ) | = 0.

Now, set w ± = λ 1 ( v ± , s ¯ ) , and we define V ( x , t ) , U ( x , t ) , S ( x , t ) , Θ ( x , t ) , the smooth approximation ( v r , u r , s r , θ r ) , by

λ 1 ( V ( x , t ) , s ¯ ) = w δ r ( x , t ) ,                 U ( x , t ) = u ± + ∫ v ± V ( x , t ) − p v ( z , s ¯ )   d z , S ( x , t ) = s ¯ ,               Θ ( x , t ) = θ ( V ( x , t ) , s ¯ ) .

Then, it is not difficult to see that V ( x , t ) , U ( x , t ) , S ( x , t ) , Θ ( x , t ) satisfy

{ V t − U x = 0 , U t + p ( V , Θ ) x = 0 , S t ( V , Θ ) = 0 , Θ t + Θ p Θ ( V , Θ ) e Θ U x = 0 , (2.3)

and due to Lemma 2.1, the following lemma holds for V ( x , t ) , U ( x , t ) , S ( x , t ) , Θ ( x , t ) .

LEMMA 2.2. (S. JIANG [25] ) The functions V ( x , t ) , U ( x , t ) , S ( x , t ) and Θ ( x , t ) constructed above satisfy:

1) V t = U x > 0 for all x ∈ ℝ , t ≥ 0 .

2) For any 1 ≤ p ≤ ∞ , there is a constant C ( p ) depending only on p, such that

‖ ( V x , U x , Θ x ) (   ⋅     , t ) ‖ L p ≤ C ( p ) min { α δ 1 − 1 / p , α 1 / p t − 1 + 1 / p } , (2.4)

‖ ( V x x , U x x , Θ x x ) (   ⋅     , t ) ‖ L p ≤ C ( p ) min { α δ 2 − 1 / p , δ 1 − 1 / p 1 t } , (2.5)

‖ ( V x x x , U x x x , Θ x x x ) (   ⋅     , t ) ‖ L p ≤ C ( p ) min { α δ 3 − 1 / p , δ 2 − 1 / p 1 t } . (2.6)

3)

lim t → ∞ sup x ∈ ℝ | ( V , U , S , Θ ) ( x , t ) − ( v r , u r , s r , θ r ) ( x , t ) | = 0. (2.7)

4)

| ( V t , U t , Θ t ) ( x , t ) | ≤ C | ( V x , U x , Θ x ) ( x , t ) | . (2.8)

Consequently, from Lemmas 2.1 and 2.2, it follows that ( V , U , Θ ) ( x , t ) converges to ( v r , u r , θ r ) ( x , t ) as t → ∞ .

The proof of Theorem 1.1 is broken up into several steps. We start with the observation that by making use of the smooth rarefaction wave ( V , U , Θ ) ( x , t ) constructed above (e.g. one may take δ = 1 ), one can decompose the solution ( u κ , ε , v κ , ε , θ κ , ε ) of (1.1), (1.9) and (1.10) into

( φ , ψ , ϕ ) ( x , t ) = ( v − V , u − U , θ − Θ ) ( x , t ) ,               ξ ( x , t ) = s ( x , t ) − s ¯ .

Substituting the above decomposition into (1.1), (1.9) and (1.10), we obtain the system for the functions φ , ψ , ϕ , ξ :

{ φ t − ψ x = 0 , ψ t + ( p ( v , θ ) − p ( V , Θ ) ) x = ε ( u x v ) x , ϕ t + θ p θ ( v , θ ) e θ ( v , θ ) ψ x + ( θ p θ ( v , θ ) e θ ( v , θ ) − Θ p Θ ( V , Θ ) e Θ ( V , Θ ) ) U x = κ e θ ( v , θ ) ( θ x v ) x + ε e θ ( v , θ ) u x 2 v , ξ t = κ ( θ x v θ ) x + κ θ x 2 v θ 2 + ε u x 2 v θ , (2.9)

with initial data

( φ , ψ , ϕ , ξ ) ( x , 0 ) = ( φ 0 , ψ 0 , ϕ 0 , ξ 0 ) ≡ ( v 0 − V 0 , u 0 − U 0 , θ 0 − Θ 0 , s 0 − s ¯ ) , (2.10)

where ( φ 0 , ψ 0 , ϕ 0 , ξ 0 ) and its derivatives are sufficiently smooth away from x = 0 but up to x = 0 and ( φ 0 , ψ 0 , ϕ 0 , ξ 0 ) ∈ L 2 ( ℝ ) , φ 0 x ∈ L 2 ( ℝ − ) ∩ L 2 ( ℝ + ) .

We shall show that the Cauchy problem (2.9), (2.10) possesses a unique global solution ( φ , ψ , ϕ , ξ ) ( x , t ) in the same function class as for ( u κ , ε , v κ , ε , θ κ , ε ) in Theorem 1.1. Moreover, ( φ , ψ , ϕ ) goes to zero uniformly as t → 0 . This convergence then yields Theorem 1.1 due to Lemmas 2.1 and 2.2.

LEMMA 2.3. (Hoff [28] ) Suppose that N ( 0 ) is suitably small so that there exist two positive constants v _ and v ¯ with v _ ≤ v 0 1 ( x ) ≤ v ¯ for all x ∈ ℝ . Then, there is a constant T > 0 , such that the Cauchy problem (2.9), (2.10) has a solution ( φ , ψ , ϕ ) on R × [ 0 , T ] in the same function class as for ( u κ , ε , v κ , ε , θ κ , ε ) in Theorem 1.1. Moreover, φ , ψ , ϕ satisfy

1) There exists a positive constant C, such that

sup t ≥ 0 ( ‖   ( φ , ψ , ϕ ) ( t ) ‖ 2 + ‖ φ x ( t ) ‖ ± 2 ) + ∫ 0 T ‖ ( φ x , ψ x , ϕ x ) ( t ) ‖ ± 2 d t ≤ C { N 2 ( 0 ) + δ 1 / 4 } .

2) There is a positive constant C, such that

sup 0 ≤ t ≤ T ( ‖ ( ψ x , ϕ x ) ( t ) ‖ ± 2 + ‖ ( ψ x x , ϕ x x ) ( t ) ‖ ± 2 ) + ∫ 0 T ‖ ( ψ x x , ψ x t , ϕ x x , ϕ x t ) ( t ) ‖ ± 2 d t ≤ C { N 2 ( 0 ) + δ 1 / 4 } .

3) There are constant C 1 , C 2 > 0 independent of T, such that

| [ p ( v , e ) ] | = | [ u x v ] | ≤ C 1 exp { − C 2 t }

PROPOSITION 2.4. (A priori estimate)Let the assumptions in Lemma 2.3 be satisfied. Assume that the Cauchy problem (2.9), (2.10) has a solution ( φ , ψ , ϕ ) ( x , t ) on R × [ 0 , T ] for some t > 0 , in the same function class as in Lemma 2.3. Denote

N 2 ( t 0 , t ) : = sup t 0 ≤ s ≤ t { ‖ ( φ , ψ , ϕ ) ( t ) ‖ 2 + ‖ φ x ( t ) ‖ ± 2 + ‖ ψ x ( t ) ‖ ± 2 + ‖ ϕ x ( t ) ‖ ± 2 } ,               0 ≤ t 0 ≤ t .

Then, there are positive constants η 1 and C independent of t 1 , such that for each fixed t 0 , if

N 2 ( t 0 , t 1 ) ≤ η 1 ,

then the following estimates hold

N 2 ( t 0 , t 1 ) + ∫ t 0 t ‖ ( φ x , ψ x , ϕ x ) ( t ^ ) ‖ 2 d t ^ ≤ C N 2 ( t 0 , t 0 ) + C ε ∫ t 0 t ( ‖ ( φ x , ψ x , ψ x x , ϕ x , ϕ x x ) ‖ 2 + ‖ ψ x ‖ ) ( t ^ ) d t ^       + C κ ∫ t 0 t ( ‖ ( φ x , ϕ x ) ‖ 2 + ‖ ( φ x , ϕ x ) ‖ ) ( t ^ ) d t ^ + C ε + C κ + C δ 1 / 4 ,

sup 0 ≤ t ≤ T ‖ ( ψ x , ϕ x ) ( t ) ‖ ± 2 + ∫ t 0 t ‖ ( ψ x x , ϕ x x ) ‖ ± 2 ( t ^ ) d t ^ ≤ C { ‖ ( φ , ψ , ϕ ) ( t 0 ) ‖ ± 2 + ‖ ( φ x , ψ x , ϕ x ) ( t 0 ) ‖ ± 2 + δ 1 / 4 }       + C ε ∫ t 0 t ( ‖ ( φ x , ψ x , ψ x x , ϕ x , ϕ x x ) ‖ ± 2 + ‖ ψ x ‖ ± ) ( t ^ ) d t ^       + C κ ∫ t 0 t ( ‖ ( φ x , ϕ x ) ‖ ± + ‖ ( ψ x , ϕ x ) ‖ ± 2 + ‖ ( ϕ x , ϕ x x ) ‖ ± 2 ) ( t ^ ) d t ^ + C ε + C κ .

Proof of Theorem 1.1. By the systems (2.3) and (2.9), Lemma 2.2, Cauchy-Schwarz’s and Sobolev’s inequalities, we easily find that

∫ 0 ∞ ‖ ( φ t , ψ t , ϕ t ) ( t ) ‖ L ∞ 2 d t < ∞ ,

which together with Lemma 2.3 yields lim t → ∞ sup x | ( φ ( x , t ) , ψ ( x , t ) , ϕ ( x , t ) ) | → 0 . Hence, In view of Lemma 2.2, we have proved Theorem 1.1.

□

In this section we derive the key a priori estimates given in Proposition 2.4. First, we introduce the normalized entropy:

η ( v , u , s , V , U , S ) : = ( e ( v , θ ) + u 2 2 ) − ( e ( V , Θ ) + U 2 2 )           − { − p ( V , Θ ) ( v − V ) + U ( u − U ) + Θ ( s − S ) } ,

where we have used the fact that e v ( v , s ) = − p ( v , θ ) ,         e s ( v , s ) = 0 .

An easy computation implies that η satisfies the equation:

η t + { ( p ( v , θ ) − p ( V , Θ ) ) ψ } x + ( ε Θ ψ x 2 v θ + κ Θ ϕ x 2 v θ 2 )   − U x { p V ( V , Θ ) φ − p Θ ( V , Θ ) Θ p Θ ( V , Θ ) e Θ φ + Θ p Θ ( V , Θ ) e Θ ξ } = ( ε ψ ψ x v + κ ϕ ϕ x v θ ) x + ( ε ψ U x x v + κ ϕ Θ x x v θ )         + ( − ε ψ φ x U x v 2 − ε ψ ψ x V x v 2 + ε 2 ϕ ψ x U x v θ − κ ϕ φ x Θ x v 2 θ + κ ϕ ϕ x Θ x v θ 2 )         + ( ε ϕ U x 2 v θ − ε ψ U x V x v 2 + ϕ Θ x 2 v θ 2 − κ ϕ Θ x V x v 2 θ − κ ϕ Θ x 2 v θ 2 ) . (3.1)

Employing (3.1), one has

LEMMA3.1. Suppose that the assumptions of Proposition 2.4 hold. Then,

‖ ( φ , ψ , ϕ ) ( t ) ‖ 2 + ∫ t 0 t ( ‖ V t ( φ , ϕ ) ‖ 2 + ‖ ( ψ x , ϕ x ) ‖ ± 2 ) ( t ^ ) d t ^ ≤ C ( ‖ ( φ , ψ , ϕ ) ( t 0 ) ‖ 2 + N ( t 0 , t ) ∫ t 0 t ‖ ϕ x ‖ ± 2 ( t ^ ) d t ^ ) + C δ 1 / 4         + C ε N ( t 0 , t ) 2 / 3 ∫ t 0 t ‖ ( φ x , ψ x , ϕ x ) ‖ ± 2 ( t ^ ) d t ^         + C κ N ( t 0 , t ) 2 / 3 ∫ t 0 t ‖ ( φ x , ϕ x ) ‖ ± 2 ( t ^ ) d t ^ . (3.2)

PROOF. Integrating (3.1) with respect to t and x, we get

‖ ( φ , ψ , ϕ ) ( t ) ‖ 2 + ∫ t 0 t ( ‖ V t ( φ , ϕ ) ‖ 2 + ‖ ( ψ x , ϕ x ) ‖ ± 2 ) ( t ^ ) d t ^ ≤ C ( ‖ ( φ , ψ , ϕ ) ( t 0 ) ‖ 2 + ∑ j = 1 j = 4 R j ) , (3.3)

where

R 1 = ∫ t 0 t ∫ ± ( ( − ( p ( v , θ ) − p ( V , Θ ) ) ψ ) x + ( ε ψ ψ x v + κ ϕ ϕ x v θ ) x ) ( x , t ^ ) d x d t ^ , R 2 = ∫ t 0 t ∫ ± ( ε | ψ U x x | + κ | ϕ Θ x x | ) ( x , t ^ ) d x d t ^ , R 3 = ∫ t 0 t ∫ ± ( ε ( | U x ψ φ x | + | U x ψ x ϕ | + | V x ψ ψ x | ) + κ ( | Θ x φ x ϕ | + | Θ x ϕ ϕ x | ) ) ( x , t ^ ) d x d t ^ , R 4 = ∫ t 0 t ∫ ± ( | ϕ Θ x 2 | + ε ( | U x 2 ϕ | + | U x V x ψ | ) + κ ( | V x Θ x ϕ | + | Θ x 2 ϕ | ) ) ( x , t ^ ) d x d t ^ .

Recalling the definition of N ( t 0 , t ) and applying Lemma 2.2, for given α , R j can be estimated as follows.

R 1 = ∫ t 0 t ( [ − p ( v , θ ) + p ( V , Θ ) + ε ψ x v ] ψ + κ [ ϕ ϕ x v θ ] ) ( t ^ ) d x d t ^ = 0 ,

R 2 ≤ C ∫ t 0 t ε ( ‖ ψ ‖ 1 / 2 ‖ ψ x ‖ 1 / 2 ‖ U x x ‖ L 1 ) ( t ^ ) d t ^     + C ∫ t 0 t κ ( ‖ ϕ ‖ 1 / 2 ‖ ϕ x ‖ 1 / 2 ‖ Θ x x ‖ L 1 ) ( t ^ ) d t ^ ≤ C ∫ t 0 t ε ( N ( t 0 , t ) ‖ ψ x ‖ 2 + ‖ U x x ‖ L 1 4 / 3 ) ( t ^ ) d t ^     + C ∫ t 0 t κ ( N ( t 0 , t ) ‖ ϕ x ‖ 2 + ‖ Θ x x ‖ L 1 4 / 3 ) ( t ^ ) d t ^

≤ C ε ( N ( t 0 , t ) ∫ t 0 t ‖ ψ x ‖ 2 ( t ^ ) d t ^ + δ 1 / 4 )     + C κ ( N ( t 0 , t ) ∫ t 0 t ‖ ϕ x ‖ 2 ( t ^ ) d t ^ + δ 1 / 4 ) ,

R 4 ≤ C ∫ t 0 t ( ‖ ϕ ‖ 1 / 2 ‖ ϕ x ‖ 1 / 2 ‖ Θ x ‖ 2 ) ( t ^ ) d t ^     + C ε ∫ t 0 t ( ‖ ( ψ , ϕ ) ‖ 1 / 2 ‖ ( ψ x , ϕ x ) ‖ 1 / 2 ‖ ( U x , V x ) ‖ 2 ) ( t ^ ) d t ^     + C κ ∫ t 0 t ( ‖ ( φ , ϕ ) ‖ 1 / 2 ‖ ( φ x , ϕ x ) ‖ 1 / 2 ‖ Θ x ‖ 2 ) ( t ^ ) d t ^ ≤ C ∫ t 0 t ( N ( t 0 , t ) ‖ ϕ x ‖ 2 + ‖ Θ x ‖ 8 / 3 ) ( t ^ ) d t ^     + C ε ∫ t 0 t ( N ( t 0 , t ) ‖ ( ψ x , ϕ x ) ‖ 2 + ‖ ( U x , V x ) ‖ 8 / 3 ) ( t ^ ) d t ^

    + C κ ∫ t 0 t ( N ( t 0 , t ) ‖ ( φ x , ϕ x ) ‖ 2 + ‖ Θ x ( t ^ ) ‖ 8 / 3 ) ( t ^ ) d t ^ ≤ C ( N ( t 0 , t ) ∫ t 0 t ‖ ϕ x ‖ 2 ( t ^ ) d t ^ + δ 1 / 4 )     + C ε ( N ( t 0 , t ) ∫ t 0 t ‖ ( ψ x , ϕ x ) ‖ 2 ( t ^ ) d t ^ + δ 1 / 4 )     + C κ ( N ( t 0 , t ) ∫ t 0 t ‖ ( φ x , ϕ x ) ‖ 2 ( t ^ ) d t ^ + δ 1 / 4 ) ,

and

R 3 ≤ C ε ∫ t 0 t ( ‖ ( ψ , ϕ , φ ) ‖ 1 / 2 ‖ ( ψ x , ϕ x , φ x ) ‖ 3 / 2 ‖ ( U x , V x ) ‖ ) ( t ^ ) d t ^     + C κ ∫ t 0 t ( ‖ ( φ , ϕ ) ‖ 1 / 2 ‖ ( φ x , ϕ x ) ‖ 3 / 2 ‖ Θ x ‖ ) ( t ^ ) d t ^ ≤ C ε ∫ t 0 t { N ( t 0 , t ) 2 / 3 ‖ ( ψ x , ϕ x , φ x ) ‖ 2 + ‖ ( U x , V x ) ‖ 4 } ( t ^ ) d t ^     + C κ ∫ t 0 t { N ( t 0 , t ) 2 / 3 ‖ ( φ x , ϕ x ) ‖ 2 + ‖ Θ x ‖ 4 } ( t ^ ) d t ^

≤ C ε { N ( t 0 , t ) 2 / 3 ∫ t 0 t ‖ ( ψ x , ϕ x , φ x ) ‖ 2 ( t ^ ) d t ^ + δ 1 / 4 }     + C κ { N ( t 0 , t ) 2 / 3 ∫ t 0 t ‖ ( φ x , ϕ x ) ‖ 2 ( t ^ ) d t ^ + δ 1 / 4 } .

where we have used Sobolev’s inequality:

‖ u ‖ L n p / ( n − p ) ( ℝ n ) ≤ C ‖ D u ‖ L p ( ℝ n ) ,         1 ≤ p < n ,         for         all         u ∈ C c 1 (ℝn)

Hӧlder’s inequality:

‖ u v ‖ L 1 ( U ) ≤ ‖ u ‖ L p ( U ) ‖ v ‖ L q ( U ) , for         1 ≤ p , q ≤ ∞ ,         1 p + 1 q = 1 ,         u ∈ L p ( U ) ,         v ∈ L q ( U ) .

Young’s inequality:

‖ u v ‖ L 1 ( U ) ≤ 1 p ‖ u ‖ L p ( U ) p + 1 q ‖ v ‖ L q ( U ) q , for         1 ≤ p , q ≤ ∞ ,         1 p + 1 q = 1 ,         u ∈ L p ( U ) ,         v ∈ L q ( U ) .

and the following inequality:

∫ t 0 t ‖ ∂ x i U ( t ^ ) ‖ L p a + b d t ^ ≤ sup t ^ ∈ [ t 0 , t ] ‖ ∂ x i U ( t ^ ) ‖ L p a ∫ t 0 t ‖ ∂ x i U ( t ^ ) ‖ L p b d t ^ ≤ C δ ( i − 1 / p ) a ∫ t 0 t ‖ ∂ x i U ( t ^ ) ‖ L p b d t ^ .

Substituting the above estimates for R j , ( j = 1 , ⋯ , 4 ) into (3.3), we obtain (3.2). This completes the proof.

□

LEMMA3.2. Suppose that the assumptions of Proposition 2.4 hold. Then

‖ φ x ( t ) ‖ ± 2 + ∫ t 0 t ‖ φ x ‖ ± 2 ( t ^ ) d t ^ ≤ C { ‖ ( φ x , ψ ) ( t 0 ) ‖ ± 2 + ‖ ψ ( t ) ‖ ± 2 + ∫ t 0 t ‖ ( ϕ x , ψ x , ψ x x ) ‖ ± 2 ( t ^ ) d t ^ + δ }       + C ε ∫ t 0 t ‖ ( φ x , ψ x , ψ x x ) ‖ ± 2 ( t ^ ) d t ^ . (3.4)

PROOF. Multiplying the second equation of (2.9) by − φ x v , one obtains

( 1 2 ( φ x v ) 2 − φ x v ψ ) t + ( ψ ψ x v ) x = ( ψ x x φ x v 2 − ψ x φ x 2 v 3 ) − ( U x φ x 2 v 3 ) + ( φ x 2 v p v ( v , θ ) + ψ x 2 v ) + φ x ϕ x v p θ ( v , θ ) + ( ψ φ x U x v 2 − ψ ψ x V x v 2 ) + φ x v { V x ( p v ( v , θ ) − p V ( V , Θ ) ) + Θ x ( p θ ( v , θ ) − p Θ ( V , Θ ) ) }   + ε ( − φ x ψ x x v 2 + ψ x φ x 2 v 3 ) + ε ( − φ x U x x v 2 + φ x U x V x v 3 ) + ε ( ψ x φ x V x v 3 + φ x 2 U x v 3 ) . (3.5)

Integrating (3.5) with respect to x , t over ( t 0 , t ) × ℝ , we infer

‖ φ x ( t ) ‖ ± 2 + ∫ t 0 t ‖ φ x ‖ ± 2 ( t ^ ) d t ^ ≤ C { ‖ ( φ x , ψ ) ( t 0 ) ‖ ± 2 + ‖ ψ ( t ) ‖ ± 2 + ∫ t 0 t ( ‖ ( ψ x , ϕ x ) ‖ ± 2 + ‖ V t ( φ , ϕ ) ‖ ± 2 ) ( t ^ ) d t ^ + ∑ j = 5 j = 11 R j } , (3.6)

with

R 5 = − ∫ t 0 t ∫ ± ( ψ ψ x v ) x ( x , t ^ ) d x d t ^ ,

R 6 = ∫ t 0 t ∫ ± ( | ψ U x φ x | + | V x ψ ψ x | ) ( x , t ^ ) d x d t ^ ,

R 7 = ∫ t 0 t ∫ ± ( | ψ x x φ x | + | ψ x φ x 2 | ) ( x , t ^ ) d x d t ^ ,  

R 8 = ∫ t 0 t ∫ ± | U x φ x 2 | ( x , t ^ ) d x d t ^ ,   R 9 = ε R 7 ,

R 10 = ε ∫ t 0 t ∫ ± ( | U x x φ x | + | U x V x φ x | ) ( x , t ^ ) d x d t ^ ,

R 11 = ε ∫ t 0 t ∫ ± ( | V x ψ x φ x | + | U x φ x 2 | ) ( x , t ^ ) d x d t ^ ,

where R j , ( j = 5 , ⋯ , 11 ) can be bounded as follows, using Sobolev’s imbedding theorem and Lemma2.3 (iii) (see [25] for detail).

R 5 ≤ C ∫ t 0 t ‖ ψ x ‖ 2 ( t ^ ) d t ^ + C ,                                                                                                                                             R 6 ≤ C ∫ t 0 t ‖ ( φ x , ψ x ) ‖ 2 ( t ^ ) d t ^ + C , R 7 ≤ C ∫ t 0 t ‖ ( φ x , ψ x , ψ x x ) ‖ 2 ( t ^ ) d t ^ + C ,                                                                   R 8 ≤ C ∫ t 0 t ‖ φ x ‖ 2 ( t ^ ) d t ^ + C , R 9 ≤ C ε ∫ t 0 t ‖ ( φ x , ψ x , ψ x x ) ‖ 2 ( t ^ ) d t ^ + C ε ,                                             R 10 ≤ C ε ∫ t 0 t ‖ φ x ‖ 2 ( t ^ ) d t ^ + C ε , R 10 ≤ C ε ∫ t 0 t ‖ ( ψ x , φ x ) ‖ 2 ( t ^ ) d t ^ + C ε .

Inserting the estimates for R j , ( j = 5 , ⋯ , 11 ) into (3.6), we arrive at

‖ φ x ( t ) ‖ ± 2 + ∫ t 0 t ‖ φ x ‖ ± 2 ( t ^ ) d t ^ ≤ C { ‖ ( φ x , ψ ) ( t 0 ) ‖ ± 2 + ‖ ψ ( t ) ‖ ± 2 + ∫ t 0 t ‖ ( ϕ x , ψ x , ψ x x ) ‖ ± 2 ( t ^ ) d t ^ + δ }     + C ε ∫ t 0 t ‖ ( φ x , ψ x , ψ x x ) ‖ ± 2 ( t ^ ) d t ^ . (3.7)

□

Finally, combining Lemma 3.1 with Lemma 3.2, we conclude

‖ ( φ , ψ , ϕ , φ x ) ( t ) ‖ 2 + ∫ t 0 t ( ‖ V t ( φ , ϕ ) ‖ 2 + ‖ ( φ x , ψ x , ϕ x ) ‖ ± 2 ) ( t ^ ) d t ^ ≤ C { ‖ ( φ , ψ , ϕ ) ( t 0 ) ‖ 2 + ‖ φ x ( t ) ‖ ± 2 + ∫ t 0 t ‖ ψ x x ‖ ± 2 ( t ^ ) d t ^ + δ }     + C ε ∫ t 0 t ‖ ( φ x , ϕ x , ψ x , ψ x x ) ‖ ± 2 ( t ^ ) d t ^ + C κ ∫ t 0 t ‖ ( φ x , ϕ x ) ‖ ± 2 ( t ^ ) d t ^ + C ε . (3.8)

Comparing with the standard energy estimate for the compressible Navier-Stokes equations, we refer (3.8) to the basic energy estimate.

Next, we proceed to estimate higher order derivatives of ψ , ϕ in the space L ∞ ( t 0 , t ; L 2 ( ℝ ± ) ) .

LEMMA 3.3.Suppose that the assumptions of Proposition 2.4 hold. Then,

‖ ψ x ( t ) ‖ ± 2 + ∫ t 0 t ‖ ψ x x ‖ ± 2 ( t ^ ) d t ^ ≤ C { ‖ ( φ , ψ , ϕ ) ( t 0 ) ‖ ± 2 + ‖ ψ x ( t 0 ) ‖ ± 2 } + C ε ∫ t 0 t ‖ ( φ x , ϕ x , ψ x , ψ x x ) ‖ ± 2 ( t ^ ) d t ^     + C κ ∫ t 0 t ‖ ( φ x , ϕ x ) ‖ ± 2 ( t ^ ) d t ^ + C ε . (3.9)

PROOF. Multiplying the second equation of (2.9) by − ψ x x , one obtains

( ψ x 2 2 ) t − ( ψ t ψ x ) x + ε ψ x x 2 v = ( p v ( v , θ ) φ x + p θ ( v , θ ) ϕ x ) ψ x x + ε φ x ψ x ψ x x v 2 + ε V x ψ x ψ x x v 2       + ε U x φ x ψ x x v 2 + V x { p v ( v , θ ) − p V ( V , Θ ) } ψ x x       + Θ x { p θ ( v , θ ) − p Θ ( V , Θ ) } ψ x x − ε U x x ψ x x v + ε V x U x ψ x x v 2 , (3.10)

which, by integrating with respect to x and t, leads to

‖ ψ x ( t ) ‖ ± 2 + ε ∫ t 0 t ‖ ψ x x ‖ ± 2 ( t ^ ) d t ^ ≤ ‖ ψ x ( t 0 ) ‖ ± 2 + ∫ t 0 t ∫ ± ( ψ t ψ x ) x ( x , t ^ ) d x d t ^       + C ∫ t 0 t ( ‖ ( φ x , ψ x , ϕ x ) ‖ ± 2 + ‖ V t ( φ , ϕ ) ‖ 2 ) ( t ^ ) d t ^       + C ε ∫ t 0 t ∫ ± ( | φ x ψ x ψ x x | + | V x ψ x ψ x x | + | U x φ x ψ x x | ) ( x , t ^ ) d x d t ^       + C ε ∫ t 0 t ∫ ± | ψ x x | ( | U x x | + | U x V x | ) ( x , t ^ ) d x d t ^ , (3.11)

The terms on the right hand side of (3.11) can be bounded as follows (see [25] for detail),

∫ t 0 t ∫ ± ( ψ t ψ x ) x ( x , t ^ ) d x d t ^ ≤ C ∫ t 0 t ( ‖ ψ x x ‖ + ‖ φ ‖ 2 + ‖ ψ ‖ 2 + ‖ ψ x ‖ 2 ) ( t ^ ) d t ^ , ε ∫ t 0 t ∫ ± | ( φ x ψ x ψ x x ) | ( x , t ^ ) d x d t ^ ≤ C ε ∫ t 0 t ( ‖ ψ x x ‖ ± 2 + N ( t 0 , t ) ‖ ψ x ‖ ) ( t ^ ) d t ^ , ε ∫ t 0 t ∫ ± | ψ x x | ( | V x ψ x | + | U x φ x | ) ( x , t ^ ) d x d t ^ ≤ C ε ∫ t 0 t ( ‖ ψ x x ‖ ± 2 + δ ‖ ( φ x , ψ x ) ‖ ) ( t ^ ) d t ^ , ε ∫ t 0 t ∫ ± | ψ x x | ( | U x x | + | U x V x | ) ( x , t ^ ) d x d t ^ ≤ C ε ∫ t 0 t ‖ ψ x x ‖ ± 2 ( t ^ ) d t ^ + C ε δ .

Substituting the above estimates into (3.11), we obtain (3.9).

□

Similarly, we can bound the derivatives of ϕ as follows.

LEMMA 3.4Assume that the assumptions of Proposition 2.4 hold. Then,

‖ ϕ x ( t ) ‖ ± 2 + ∫ t 0 t ‖ ϕ x x ‖ ± 2 ( t ^ ) d t ^ ≤ C ( ‖ ( φ , ψ , ϕ ) ( t 0 ) ‖ + ‖ ϕ x ( t 0 ) ‖ ± 2 + δ )       + C ε ∫ t 0 t ( ‖ ( ϕ x x , ψ x , ψ x x ) ‖ ± 2 + ‖ ψ x ‖ ± ) ( t ^ ) d t ^         + C κ ∫ t 0 t ( ‖ ( φ x , ϕ x ) ‖ ± + ‖ ( ϕ x , ϕ x x ) ‖ ± 2 ) ( t ^ ) d t ^ + C ε + C κ . (3.12)

PROOF. Multiplying the third equation of (2.9) by − ϕ x x , then integrating with respect to x and t, utilizing (3.7) and (3.8), we deduce that

‖ ϕ x ( t ) ‖ ± 2 + ∫ t 0 t ‖ ϕ x x ‖ ± 2 ( t ^ ) d t ^ ≤ ‖ ϕ x ( t 0 ) ‖ ± 2 + C ε ∫ t 0 t ‖ ψ x ‖ ± 2 ( t ^ ) d t ^ + C ∫ t 0 t ∫ ± ( ϕ t ϕ x ) x ( x , t ^ ) d x d t ^     + C κ ∫ t 0 t ∫ ± | ϕ x x | | φ x ϕ x | ( x , t ^ ) d x d t ^ + C ε ∫ t 0 t ∫ ± | ϕ x x | | ψ x 2 | ( x , t ^ ) d x d t ^     + C ∫ t 0 t ∫ ± | U x ϕ x x | ( | φ | + | ϕ | ) ( x , t ^ ) d x d t ^

  + C κ ∫ t 0 t ∫ ± | ϕ x x | ( | V x ϕ x | + | Θ x φ x | ) ( x , t ^ ) d x d t ^   + C ε ∫ t 0 t ∫ ± | ϕ x x | | ψ x U x | ( x , t ^ ) d x d t ^ + C ε ∫ t 0 t ∫ ± | ϕ x x | | U x 2 | ( x , t ^ ) d x d t ^   + C κ ∫ t 0 t ∫ ± | ϕ x x | ( | Θ x V x | + | Θ x x | ) ( x , t ^ ) d x d t ^ , (3.13)

where the right hand side can be estimated as follows (see [25] for detail),

∫ t 0 t ∫ ± ( ϕ t ϕ x ) x d x d t ^ ≤ 1 16 ∫ t 0 t ‖ ϕ x x ‖ ± 2 ( t ^ ) d t ^ + C ∫ t 0 t ( ‖ ψ ‖ 2 + ‖ ϕ ‖ 2 + ‖ ϕ x ‖ ± 2 ) ( t ^ ) d t ^ ,

κ ∫ t 0 t ∫ ± | φ x ϕ x ϕ x x | ( x , t ^ ) d x d t ^ ≤ κ 16 ∫ t 0 t ‖ ϕ x x ‖ ± 2 ( t ^ ) d t ^ + C κ N ( t 0 , t ) ∫ t 0 t ‖ ϕ x ‖ ± 2 ( t ^ ) d t ^ ,

ε ∫ t 0 t ∫ ± | ψ x 2 ϕ x x | ( x , t ^ ) d x d t ^ ≤ ε 16 ∫ t 0 t ‖ ϕ x x ‖ ± 2 ( t ^ ) d t ^ + C ε N ( t 0 , t ) ∫ t 0 t ( ‖ ψ x x ‖ ± 2 + ‖ ψ x ‖ ± 2 ) ( t ^ ) d t ^ ,

∫ t 0 t ∫ ± | U x ϕ x x | ( | φ | + | ϕ | ) ( x , t ^ ) d x d t ^ ≤ 1 16 ∫ t 0 t ‖ ϕ x x ‖ ± 2 ( t ^ ) d t ^ + C δ ∫ t 0 t ‖ V t ( φ , ϕ ) ‖ ( t ^ ) d t ^ ,

κ ∫ t 0 t ∫ ± | ϕ x x | ( | V x ϕ x | + | Θ x φ x | ) ( x , t ^ ) d x d t ^ ≤ κ 16 ∫ t 0 t ‖ ϕ x x ‖ ± 2 ( t ^ ) d t ^ + C κ δ ∫ t 0 t ‖ ( φ x , ϕ x ) ‖ ( t ^ ) d t ^ ,

ε ∫ t 0 t ∫ ± | ϕ x x | | U x ψ x | ( x , t ^ ) d x d t ^ ≤ ε 16 ∫ t 0 t ‖ ϕ x x ‖ ± 2 ( t ^ ) d t ^ + C ε δ ∫ t 0 t ‖ ψ x ‖ ( t ^ ) d t ^ ,

ε ∫ t 0 t ∫ ± | ϕ x x | | U x 2 | ( x , t ^ ) d x d t ^ ≤ ε 16 ∫ t 0 t ‖ ϕ x x ‖ ± 2 ( t ^ ) d t ^ + C ε δ 1 / 4 ,

and

κ ∫ t 0 t ∫ ± | ϕ x x | ( | Θ x V x | + | Θ x x | ) ( x , t ^ ) d x d t ^ ≤ κ 16 ∫ t 0 t ‖ ϕ x x ‖ ± 2 ( t ^ ) d t ^ + C κ δ 1 / 4 .

Substitution of the above estimates into (3.13) gives Lemma 3.4 immediately.

□

Now, combining Lemma 3.1 - 3.4, we obtain Proposition 2.4.

The authors declare no conflicts of interest regarding the publication of this paper.

Cui, S.F. (2018) Dissipation Limit for the Compressible Navier-Stokes to Euler Equations in One-Dimensional Domains. Journal of Applied Mathematics and Physics, 6, 2142-2158. https://doi.org/10.4236/jamp.2018.610180