Skip to main content

Global existence of strong solutions to the micro-polar, compressible flow with density-dependent viscosities

Abstract

This article is concerned with global strong solutions of the micro-polar, compressible flow with density-dependent viscosity coefficients in one-dimensional bounded intervals. The important point in this article is that the initial density may vanish in an open subset.

1 Introduction

Theory of micro-polar, compressible flow was first introduced by Eringen [1], describing the compressible fluids with randomly oriented particles suspended in the medium when the deformation of fluid particles is ignored. The governing equations in Eulerian coordinate take the form as

{ ρ t + ( ρ u ) x = 0 , ( ρ u ) t + ( ρ u 2 ) x + p x = ( μ u x ) x , ( ρ w ) t + ( ρ u w ) x + 2 ν w = ( λ w x ) x , ( ρ e ) t + ( ρ e u ) x + p u x = μ ( u x ) 2 + λ ( w x ) 2 + 2 μ w 2 + ( κ θ x ) x ,
(1)

where ρ = ρ (t, x) denotes the density of the fluid, u = u(t, x) is the velocity, w = w(t, x) is the micro-rotational velocity, θ = θ (t, x) is the temperature, e = e(t, x) is the internal energy, p = p(ρ, θ) is the pressure. μ = μ (ρ, θ), ν = ν (ρ,θ), and λ = λ (ρ, θ) are the viscosities of the fluid, and κ is the heat conductivity.

There are several articles that have considered the above micro-polar, compressible flow, with the viscosity being constant satisfying some physical meaning. Here, we only refer the reader to [24], wherein the global existence was established for (1), with the condition that the initial density needs to be bounded a way from zero.

In view of their being physically important, the viscosities are not constants. In this article, we consider a simpler model (2) below. For the physical consideration, in the case of isothermal flow, [5] introduce the viscosities depending on the density ρ for isentropic flow. For the micro-polar, compressible flow, the model meets the following conditions:

{ ρ t + ( ρ u ) x = 0 , ( ρ u ) t + ( ρ u 2 ) x + ( p ( ρ ) ) x = ( μ ( ρ ) u x ) x , ( ρ w ) t + ( ρ u w ) x + ν ( ρ ) w = ( λ ( ρ ) w x ) x ,
(2)

with the initial and boundary conditions:

ρ ( 0 , x ) = ρ 0 ( x ) , u ( 0 , x ) = u 0 ( x ) , w ( 0 , x ) = w 0 ( x ) on 0 x 1 , u ( t , 0 ) = u ( t , 1 ) = w ( t , 0 ) = w ( t , 1 ) = 0 .
(3)

The pressure p is determined by p(ρ) = γ, where a is some positive constant and γ > 1, and we normalize a = 1 in the rest of this article. The viscosities tend to depend on the density ρ, i.e. μ (ρ), ν (ρ), and λ (ρ), satisfying

μ ( ρ ) , ν ( ρ ) , λ ( ρ ) C 1 [ 0 , ) and μ ( ρ ) μ 1 > 0 , λ ( ρ ) λ 1 > 0 for all ρ 0 ,
(4)

where μ1 and λ1 are positive constants.

Our main concern here is to show the existence of global strong solution for the initial boundary value problem (2)-(3). It is worth emphasizing that the initial density may vanish in an open subset, and the viscosity coefficients μ, ν, and λ depend on density ρ.

Some of the relevant studies in this direction can be summarized as follows. When the viscosity μ, ν, and λ are constants, the global strong solution is established by Chen in [6] where the vacuum is also allowed. We also refer the reader for a detailed description of three-dimensional micro-polar, compressible flow under the effect of magnetic field, in respect of which global weak solution was established by Amirat and Hamdache in [7].

Without the randomly oriented particles suspended in the fluid, i.e., when w = 0, the compressible Navier-Stokes equation with density-dependent viscosity, Wen and Yao [8] proved the global strong solution in one dimension, which generalized Hoff's study [9] (dealing with the case of constant viscosity coefficient); for the free boundary, the existence of global weak solutions, we refer the readers to Guo and Zhu [10], and Jiang, Xin and Zhang [11] and references therein.

The aim of this article is to consider the micro-polar, compressible flow with density-dependent viscosities, in the spirit of [8].

Now, we state our main result:

Theorem 1.1. Assume that the viscosity μ (ρ), ν (ρ), and λ (ρ) satisfy (4), with the initial data ρ0 H1 (0, 1), ( u 0 , w 0 ) H 0 1 ( 0 , 1 ) . Then, there exists a global strong solutions(ρ, u, w) to the initial boundary value problem (2)-(3) such that for all T (0, + ∞),

{ ρ L ( 0 , T ; H 1 ( 0 , 1 ) ) , ( u , w ) L ( 0 , T ; H 0 1 ( 0 , 1 ) ) , ρ t L ( 0 , T ; L 2 ( 0 , 1 ) ) , ( ( ρ u ) t , ( ρ w ) t ) L 2 ( 0 , T ; L 2 ( 0 , 1 ) ) , ( u x x , w x x ) L 2 ( 0 , T ; L 2 ( 0 , 1 ) ) .
(5)

This article is organized as follows. In Section 2, we derive some uniform estimates for the proof of the main Theorem 1.1, which do not depend on the lower bound of the density. We shall complete the proof of Theorem 1.1 in Section 3.

Notations Throughout this article, we denote C, a generic positive constant, depending only on ρ0, u0, w0, and the time T, but independent of lower bounds of the initial density; we will also use the following simplified notations for the standard Sobolev spaces:

L p = L p ( 0 , 1 ) , H 1 = H 1 ( 0 , 1 ) , H 0 1 = H 0 1 ( 0 , 1 ) for some 1 p .

2 Uniform estimates

The following lemma provides standard (energy) estimates which can be obtained by multiplying (2)2 by u and (2)3 by w, and then integrating over (0, T) × (0, 1), with the help of (2)1.

Lemma 2.1. Under the conditions of Theorem 1.1, we have

sup 0 t T ( | ρ u | L 2 2 + | p ( ρ ) | L 1 ) + 0 T 0 1 μ ( ρ ) u x 2 d x d t C ;
(6)
sup 0 t T | ρ w | L 2 2 + 0 T 0 1 ν ( ρ ) w 2 + λ ( ρ ) w x 2 d x d t C .
(7)

The following lemma 2.2 is proved in [8], we omit it here, which plays crucial role for the proof of Theorem 1.1.

Lemma 2.2. Under the conditions of Theorem 1.1, we have

sup 0 t T | ρ ( t ) | L C .
(8)

Now we will prove the second crucial estimates.

Lemma 2.3. Under the conditions of Theorem 1.1, we have

sup 0 t T | u | H 1 + 0 T | ρ u t | L 2 2 d t C ,
(9)
sup 0 t T | w | H 1 + 0 T | ρ w t | L 2 2 d t C .
(10)

Proof. Equation (9) can be obtained via [8], and so we focus on the proof of (10). From (2)3, we have

ρ w t + ρ u w x + ν ( ρ ) w = ( λ ( ρ ) w x ) x .

Multiplying the above equality by w t , integrating the resultant equality with respect to x over [0, 1], with the help of Young's inequality and (2)1, one gets

0 1 ρ w t 2 d x + d d t 0 1 ν ( ρ ) w 2 + λ ( ρ ) w x 2 d x 0 1 ρ u 2 w x 2 d x - 0 1 ( ν ( ρ ) ) x u w 2 d x - 0 1 ( λ ( ρ ) ) x u w x 2 d x - 0 1 ν ( ρ ) ρ u x w 2 d x - 0 1 λ ( ρ ) ρ u x w x 2 d x i = 1 5 I i .
(11)

Using Sobolev inequalities, (8) and (9), we have

I 1 = 0 1 ρ u 2 w x 2 d x | ρ | L | u | L 2 | w x | L 2 2 | ρ | L | u x | L 2 2 | w x | L 2 2 C | w x | L 2 2 ; I 2 = - 0 1 ( ν ( ρ ) ) x u w 2 d x = 0 1 ν ( ρ ) u x w 2 d x + 2 0 1 ν ( ρ ) u w w x d x C | w | L 2 | u x | L 2 + C | u | L | w | L | w x | L 2 C | w x | L 2 2 ;
I 3 = 0 1 ( λ ( ρ ) ) x u w x 2 d x = 0 1 ( ( λ ( ρ ) ) x / ( λ ( ρ ) ) 2 ) u ( λ ( ρ ) w x ) 2 d x = 0 1 ( 1 / λ ( ρ ) ) x u ( λ ( ρ ) w x ) 2 d x = 0 1 λ ( ρ ) u x ( w x ) 2 d x 2 0 1 u w x ( λ ( ρ ) w x ) x d x | λ ( ρ ) w x | L | u x | L 2 | w x | L 2 + 2 0 1 u w x ( ρ w t + ρ u w x + ν ( ρ ) w ) d x C | ρ w t + ρ u w x + ν ( ρ ) w | L 2 | u x | L 2 | w x | L 2 + δ | ρ w t | L 2 2 + C | ρ | L | u | L 2 | w x | L 2 2 + C | ν ( ρ ) | L | u | L | w | L | w x | L 2 | ρ | L 1 / 2 | ρ w t | L 2 | u x | L 2 | w x | L 2 + | ρ | L | u | L | w x | L 2 2 + | ν ( ρ ) | L | w x | L 2 2 + δ | ρ w t | L 2 2 + C | w x | L 2 2 C | w x | L 2 2 + 2 δ | ρ w t | L 2 2 ;
I 4 = 0 1 ν ( ρ ) ρ u x w 2 d x | ν ( ρ ) | L | ρ | L | w | L 2 | u x | L 2 C | w x | L 2 2 ; I 5 = 0 1 λ ( ρ ) ρ u x w x 2 d x 0 1 ( λ ( ρ ) ρ / λ ( ρ ) ) λ ( ρ ) w x u x w x d x C | λ ( ρ ) w x | L | u x | L 2 | w x | L 2 C | ( λ ( ρ ) w x ) x | L 2 | u x | L 2 | w x | L 2 δ | ρ w t | L 2 2 + C | w x | L 2 2 .

Substituting the above estimates into (11), choosing δ = 1/6, and then integrating with respect to t over (0, t), we get

0 t | ρ w t | L 2 2 d s + | ν ( ρ ) w | L 2 + | λ ( ρ ) w x | L 2 (1) | ν ( ρ 0 ) w 0 | L 2 + | λ ( ρ 0 ) w 0 x | L 2 + C 0 t | w x | L 2 2 d s (2) C + C 0 t | λ ( ρ ) w x | L 2 2 d s , (3) (4)

which completes the proof of (10), according to Gronwall's inequality.

Lemma 2.4. Under the conditions of Theorem 1.1, we have

0 T | u x | L 2 d t C a n d 0 T | w x | L 2 d t C .
(12)

Proof. The first inequality has been proved in [8]; now, we consider the second inequality. By virtue of (8), then

| w x | L C | λ ( ρ ) w x | L C | ( λ ( ρ ) w x ) x | L 2 C | ρ w t + ρ u w x + ν ( ρ ) w | L 2 C | ρ | L | ρ w t | L 2 + C | ρ | L | u | L | w x | L 2 + C | w | L 2 C + C | ρ w t | L 2 .

The above inequalities together with (10) provide the proof of the second inequality.

Lemma 2.5. Under the conditions of Theorem 1.1, we have

sup 0 t T | ρ x | L 2 2 + 0 T | u x x | L 2 2 d t C ,
(13)
0 T | w x x | L 2 2 d t C .
(14)

Proof. For the proof of (13), see [8]. From (2), (4), and (8), we have

| w x x | L 2 2 C | λ ( ρ ) w x x | L 2 2 C | λ ( ρ ) w x x + λ ( ρ ) ρ x w x | L 2 2 + C | λ ( ρ ) ρ x w x | L 2 2 C | ( λ ( ρ ) w x ) x | L 2 2 + C | w x | L 2 | ρ x | L 2 2 C | ρ w t + ρ u w x + ν ( ρ ) | L 2 2 + C | w x | L 2 | ρ x | L 2 C | ρ w t | L 2 2 + C | u | L | w x | L 2 2 + C | w | L 2 2 + C | w x | L 2 | ρ x | L 2 ,

which together with (6), (7), (10), (12), and (13) furnishes the proof of (14).

3 Proof of Theorem 1.1

In this section, we prove the global existence of strong solutions to the problems (2)-(3) by applying the a priori estimates established in the previous section. One of the main issues is the non-vanishing characteristic of the density in the approximate solutions. To this end, we modify the initial data, and choose the smooth approximate function ( ϱ 0 ε , u 0 ε , w 0 ε ) such that

ϱ 0 ε C 2 [ 0 , 1 ] , 0 < ε ϱ 0 ε 1 + | ϱ 0 | L in ( 0 , 1 ) , ϱ 0 ε ϱ 0 in H 1

and

( u 0 ε , w 0 ε ) ( u 0 , w 0 ) in H 1 .

Now, we consider the initial-boundary value problems (2)-(3) with the initial data (ρ0, u0, w0) replaced by ( ϱ 0 ε , u 0 ε , w 0 ε ) . By virtue of Lemmas 2.1-2.5, we could conclude that

sup 0 t T ( | ρ ε | H 1 + | ρ t ε | L 2 + | ( u ε , w ε ) | H 1 ) + 0 T | ( ( ρ ε u ε ) t , ( ρ ε u ε ) t ) | L 2 2 + | ( u x x ε , w x x ε ) | L 2 d t C .

We emphasize that C does not depend on the parameter ε, i.e., the lower bound of the initial density. Then by the standard argument of compactness, we conclude from (2)-(3) that there exists a global strong solution, details of which are omitted here.

References

  1. Eringen AC: Theory of micropolar fluids. J Math Mech 1966, 16: 1-18.

    MathSciNet  Google Scholar 

  2. Mujakovic N: One-dimensional flow of a compressible viscous micropolar fluid: a global existence theorem. Glasnic matematički 1998, 33: 199-208.

    MathSciNet  MATH  Google Scholar 

  3. Mujakovic N: Global in time estimates for one-dimensional compressible viscous micropolar fluid model. Glasnic matematički 2005, 40: 103-120.

    Article  MathSciNet  MATH  Google Scholar 

  4. Mujakovic N: Non-homogeneous boundary value problem for one-dimensional compressible viscous micropolar fluid model: a global existence theorem. Math Inequalities Appl 2009, 12(3):651-662.

    Article  MathSciNet  Google Scholar 

  5. Liu TP, Xin ZP, Yang T: Vacuum states of compressible flow. Discrete Contin Dyn Syst 1998, 4: 1-32.

    MathSciNet  MATH  Google Scholar 

  6. Chen MT: Global strong solutions for the viscous, micropolar, compressible flow. J Part Differential Equations 2011, 24: 158-164.

    MATH  Google Scholar 

  7. Amirat Y, Hamdache K: Weak solutions to the equations of motion for compressible magnetic fluids. J Math Pure Appl 2009, 91: 433-467. 10.1016/j.matpur.2009.01.015

    Article  MathSciNet  MATH  Google Scholar 

  8. Wen HY, Yao L: Global existence of strong solutions of the Navier-Stokes equations for isentropic compressible fluids with density-dependent viscosity. J Math Anal Appl 2009, 349: 503-515. 10.1016/j.jmaa.2008.09.025

    Article  MathSciNet  MATH  Google Scholar 

  9. Hoff D: Global solutions of the equations of one-dimensional, compressible flow with large data and forces, and with differing end states. Z Angew Math Phys 1998, 49: 774-785. 10.1007/PL00001488

    Article  MathSciNet  MATH  Google Scholar 

  10. Guo ZH, Zhu CJ: Global weak solutions and asymptotic behavior to 1D compressible Navier-Stokes equations with density-dependent viscosity and vacuum. J Differential Equations 2010, 248: 2768-2799. 10.1016/j.jde.2010.03.005

    Article  MathSciNet  MATH  Google Scholar 

  11. Jiang S, Xin ZP, Zhang P: Global weak solutions to 1D compressible isentropic Navier-Stokes equations with density-dependent viscosity. Methods Appl Anal 2005, 12: 239-251.

    MathSciNet  Google Scholar 

Download references

Acknowledgements

The author is indebted to the referee for giving nice suggestions which have helped them improve the presentation of this article.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Mingtao Chen.

Additional information

Competing interests

The author declares that they have no competing interests.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Chen, M. Global existence of strong solutions to the micro-polar, compressible flow with density-dependent viscosities. Bound Value Probl 2011, 13 (2011). https://doi.org/10.1186/1687-2770-2011-13

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-2770-2011-13

Keywords