The theory of micropolar fluids is introduced in 1 by Eringen. Various problems with different initial and boundary conditions for incompressible micropolar fluid are presented in 2, but the theory of compressible micropolar fluid is still in the beginning. N. Mujakovic in 3 developed the model for one-dimensional isotropic, viscous, compressible micropolar fluid which is in thermodynamical sense perfect and polytropic. In the same work, the local existence of the solution for homogeneous boundary conditions is proved. N. Mujakovic in 4 and in the references cited therein proved the local and global existence of inhomogeneous boundary conditions for velocity and microrotation as well as stabilization and regularity. In 5 the Cauchy problem for the described problem was also considered. In the last years we find some interesting works with different kind of problems concerning micropolar fluid, e.g., 67, but till now the described model of compressible micropolar fluid in three-dimensional case has not been considered.

In this work we consider the three-dimensional model with spherical symmetry. The first article in which the problem of spherical symmetry was described is 8, but for classical fluid. The spherical symmetry for classical fluid is also considered in articles 9101112.

In the setting of the field equations we use the Eulerian description.

In what follows we use the notation:

ρ - mass density

v - velocity

p - pressure

T - stress tensor

T x - an axial vector with the Cartesian components ( T x ) i = ε i j k T j k , where ε i j k is Levi-Civita alternating tensor^a

sym T = 1 2 ( T + T T ) , skw T = 1 2 ( T − T T )

ω - microrotation velocity

ω skw - skew tensor with Cartesian components ( ω skw ) i j = ε k i j ω k

j I - microinertia density (a positive scalar field)

C - couple stress tensor

θ - absolute temperature

E - internal energy density

q - heat flux density vector

f - body force density

g - body couple density

δ - body heat density

The problem we consider here is based on local forms of the conservation laws for mass, momentum, momentum moment and energy, which are stated respectively as follows:

ρ ˙ + ρ div v = 0 ,

ρ v ˙ = div T + ρ f ,

ρ j I ω ˙ = div C + T x + ρ g ,

ρ E ˙ = T : ∇ v + C : ∇ ω − T x ⋅ ω − div q + ρ δ ,

where a ˙ denotes material derivative of a field a:

a ˙ = ∂ a ∂ t + ( ∇ a ) ⋅ v .

The scalar product of tensors A and B is defined by

A : B = tr ( A T B ) .

The linear constitutive equations for stress tensor, couple stress tensor and heat flux density vector are respectively in the forms:

T = ( − p + λ div v ) I + 2 μ sym ∇ v − 2 μ r skw ∇ v − 2 μ r ω skw ,

C = c 0 ( div ω ) I + 2 c d sym ∇ ω − 2 c a skw ∇ ω ,

q = − k ∇ θ ,

where

λ, μ - coefficients of viscosity,

μ r , c 0 , c d , c a - coefficients of microviscosity,

k - heat conduction coefficient

are constants with the properties

μ ≥ 0 , 3 λ + 2 μ ≥ 0 , μ r ≥ 0 ,

c d ≥ 0 , 3 c 0 + 2 c d ≥ 0 , | c d − c a | ≤ c d + c a , k ≥ 0 .

Assuming that the fluid is perfect and polytropic, for pressure and internal energy we have the equations

p = R ρ θ ,

E = c v θ ,

where R and c v are positive constants.

Let Ω = { x ∈ R 3 , a < | x | < b } , a > 0 , denote the domain bounded by two concentric spheres with radii a and b. The boundary of the described domain is ∂ Ω = { x ∈ R 3 , | x | = a  or  | x | = b } . We shall consider the problem (1)-(11) in the region Q T = Ω × ] 0 , T [ (where T > 0 is arbitrary) with the following initial conditions:

ρ ( x , 0 ) = ρ 0 ( x ) , v ( x , 0 ) = v 0 ( x ) , ω ( x , 0 ) = ω 0 ( x ) , θ ( x , 0 ) = θ 0 ( x ) ,

for x ∈ Ω and boundary conditions

v | ∂ Ω = 0 , ω | ∂ Ω = 0 , ∂ θ ∂ ν | ∂ Ω = 0 ,

for 0 < t < T ; the vector ν is an exterior unit normal vector.

For simplicity we also assume that f = g = 0 and δ = 0 .

The initial boundary problems for the system (1)-(13) so far have not been considered in three-dimensional case. The same and similar models in one-dimensional case were considered in 3513 and 4. In 2 the three-dimensional model was considered but for an incompressible micropolar fluid.

In this paper we prove the local existence of generalized spherically symmetric solution to the problem (1)-(13) in the domain Ω, assuming that the initial functions are also spherically symmetric. In the proof we use the Faedo-Galerkin method. We follow some ideas of 14 where this method was applied to a classical fluid (where microrotation is equal to zero) in one-dimensional case as well as the ideas from 3 and 13 where the same result as here was provided for one-dimensional case.

The paper is organized as follows. In the second section, we derive a spherically symmetric form of (1)-(4), introduce Lagrangian description, and present the main result. In the third section, we consider an approximate problem and get an approximate solution for each n ∈ N . In the forth section, we prove uniform a priori estimates for the approximate solutions. The proof of the main result is given in the fifth section.

We first derive the spherically symmetric form of (1)-(7) and (10)-(11). A spherically symmetric solution of (1)-(7) has the form:

v i ( x , t ) = x i r v ( r , t ) , ω i ( x , t ) = x i r ω ( r , t ) , i = 1 , 2 , 3 , ρ ( x , t ) = ρ ( r , t ) , θ ( x , t ) = θ ( r , t ) ,

where x = ( x 1 , x 2 , x 3 ) ∈ R 3 , r = | x | , v = ( v 1 , v 2 , v 3 ) and ω = ( ω 1 , ω 2 , ω 3 ) . We assume that

ρ 0 ( x ) = ρ 0 ( r ) , v 0 ( x ) = x r v 0 ( r ) , ω 0 ( x ) = x r ω 0 ( r ) , θ 0 ( x ) = θ 0 ( r ) ,

where ρ 0 , v 0 , ω 0 and θ 0 are known real functions defined on ] a , b [ , and thus we reduce system (1)-(7) and conditions (10)-(13) to the following equations for ρ ( r , t ) , v ( r , t ) , ω ( r , t ) and θ ( r , t ) of the form:

∂ ρ ∂ t + ∂ ∂ r ( v ρ ) + 2 ρ r v = 0 ,

ρ ( ∂ v ∂ t + v ∂ v ∂ r ) = − R ∂ ∂ r ( ρ θ ) + ( λ + 2 μ ) ∂ ∂ r ( ∂ v ∂ r + 2 v r ) ,

ρ j I ( ∂ ω ∂ t + v ∂ ω ∂ r ) = − 4 μ r ω + ( c 0 + 2 c d ) ∂ ∂ r ( ∂ ω ∂ r + 2 ω r ) ,

with the following initial and boundary conditions

ρ ( r , 0 ) = ρ 0 ( r ) , v ( r , 0 ) = v 0 ( r ) , ω ( r , 0 ) = ω 0 ( r ) , θ ( r , 0 ) = θ 0 ( r ) , r ∈ ] a , b [ ,

v ( a , t ) = v ( b , t ) = 0 , ω ( a , t ) = ω ( b , t ) = 0 , ∂ θ ∂ r ( a , t ) = ∂ θ ∂ r ( b , t ) = 0 , 0 < t < T .

To investigate the local existence, it is convenient to transform the system (16)-(19) to that in Lagrangian coordinates. The Eulerian coordinates ( r , t ) are connected to the Lagrangian coordinates ( ξ , t ) by the relation

r ( ξ , t ) = r 0 ( ξ ) + ∫ 0 t v ˜ ( ξ , t ) d τ , r 0 ( ξ ) = r ( ξ , 0 ) = ξ ,

where v ˜ ( ξ , t ) is defined by

v ˜ ( ξ , t ) = v ( r ( ξ , t ) , t ) .

We introduce the new function η by

η ( ξ ) = ∫ a ξ s 2 ρ 0 ( s ) d s .

Note that if ρ 0 ( s ) > 0 for s ∈ ] a , b [ (which is assumed in Theorem 2.1 later), then there exists an inverse function η − 1 . Let the constant L be defined as

η ( b ) = ∫ a b s 2 ρ 0 ( s ) d s = L .

From (16) we can easily get the equation

ρ ∂ r ∂ ξ r 2 = ρ 0 ( ξ ) ξ 2 ,

i.e.,

∫ a r ( ξ , t ) ρ ( s , t ) s 2 d s = ∫ a ξ ρ 0 ( s ) s 2 d s .

It is useful to introduce the next coordinate

x ′ = L − 1 η ( ξ )

and the following functions

ρ ′ ( x ′ , t ) = ρ ˜ ( η − 1 ( x ′ L ) , t ) , v ′ ( x ′ , t ) = v ˜ ( η − 1 ( x ′ L ) , t ) , ω ′ ( x ′ , t ) = ω ˜ ( η − 1 ( x ′ L ) , t ) , θ ′ ( x ′ , t ) = θ ˜ ( η − 1 ( x ′ L ) , t ) , r ′ ( x ′ , t ) = r ( η − 1 ( x ′ L ) , t ) , ρ 0 ′ ( x ′ ) = ρ 0 ( η − 1 ( x ′ L ) ) , v 0 ′ ( x ′ ) = v 0 ( η − 1 ( x ′ L ) ) , ω 0 ′ ( x ′ ) = ω 0 ( η − 1 ( x ′ L ) ) , θ 0 ′ ( x ′ ) = θ 0 ( η − 1 ( x ′ L ) ) , r 0 ′ ( x ′ ) = r 0 ( η − 1 ( x ′ L ) ) = η − 1 ( x ′ L ) .

Similarly as in 15, for a new coordinate x ′ we get

0 = L − 1 η ( a ) ≤ x ′ ≤ L − 1 η ( b ) = 1 .

Taking into account (26) and (24), we obtain that the functions ρ ′ , v ′ , ω ′ , θ ′ and r ′ satisfy the system that we write omitting the primes for simplicity:

∂ ρ ∂ t = − 1 L ρ 2 ∂ ∂ x ( r 2 v ) ,

∂ v ∂ t = − R L r 2 ∂ ∂ x ( ρ θ ) + λ + 2 μ L 2 r 2 ∂ ∂ x ( ρ ∂ ∂ x ( r 2 v ) ) ,

ρ ∂ ω ∂ t = − 4 μ r j I ω + c 0 + 2 c d j I L 2 r 2 ρ ∂ ∂ x ( ρ ∂ ∂ x ( r 2 ω ) ) ,

in ] 0 , 1 [ × ] 0 , T [ , where T>0 is arbitrary. Now we have the following boundary and initial conditions

v ( 0 , t ) = v ( 1 , t ) = 0 ,

ω ( 0 , t ) = ω ( 1 , t ) = 0 ,

∂ θ ∂ x ( 0 , t ) = ∂ θ ∂ x ( 1 , t ) = 0 ,

for t ∈ ] 0 , T [ ,

ρ ( x , 0 ) = ρ 0 ( x ) , v ( x , 0 ) = v 0 ( x ) ,

ω ( x , 0 ) = ω 0 ( x ) , θ ( x , 0 ) = θ 0 ( x ) ,

for x ∈ ] 0 , 1 [ . We also have

r ( x , t ) = r 0 ( x ) + ∫ 0 t v ( x , τ ) d τ , ( x , t ) ∈ ] 0 , 1 [ × ] 0 , T [ .

From

∂ r ∂ x ( x , t ) = L ρ ( x , t ) r 2 ( x , t )

putting t = 0 and integrating over ] 0 , x [ , we get

r 0 ( x ) = ( a 3 + 3 L ∫ 0 x 1 ρ 0 ( y ) d y ) 1 3 , x ∈ ] 0 , 1 [ ,

where a>0 is a radius of the smaller boundary sphere.

We assume the inequalities

ρ 0 ( x ) ≥ m , θ 0 ( x ) ≥ m for  x ∈ ] 0 , 1 [ ,

where m ∈ R + .

Before stating the main result, we introduce the following definition.

Definition 2.1 A generalized solution of the problem (30)-(38) in the domain Q T = ] 0 , 1 [ × ] 0 , T [ is a function

( x , t ) ↦ ( ρ , v , ω , θ ) ( x , t ) , ( x , t ) ∈ Q T ,

where

ρ ∈ L ∞ ( 0 , T ; H 1 ( ] 0 , 1 [ ) ) ∩ H 1 ( Q T ) , inf Q T ρ > 0 ,

v , ω , θ ∈ L ∞ ( 0 , T ; H 1 ( ] 0 , 1 [ ) ) ∩ H 1 ( Q T ) ∩ L 2 ( 0 , T ; H 2 ( ] 0 , 1 [ ) ) ,

that satisfies Equations (30)-(33) a.e. in Q T and conditions (34)-(38) in the sense of traces.

Remark 2.1 From the embedding and interpolation theorems (e.g., 16 and 17) one can conclude that from (43) and (44) it follows:

ρ ∈ L ∞ ( 0 , T ; C ( [ 0 , 1 ] ) ) ∩ C ( [ 0 , T ] , L 2 ( ] 0 , 1 [ ) ) ,

v , ω , θ ∈ L 2 ( 0 , T ; C ( 1 ) ( [ 0 , 1 ] ) ) ∩ C ( [ 0 , T ] , H 1 ( ] 0 , 1 [ ) ) ,

v , ω , θ ∈ C ( Q ¯ T ) .

It is easy to check that the solution (42) with properties (43)-(44) satisfies the condition for a strong solution of the described problem.

The aim of this paper is to prove the following statements.

Theorem 2.1 Let the functions

ρ 0 , θ 0 ∈ H 1 ( ] 0 , 1 [ ) ,

v 0 , ω 0 ∈ H 0 1 ( ] 0 , 1 [ )

satisfy conditions (41). Then there exists T 0 , 0 < T 0 ≤ T , such that the problem (30)-(38) has a generalized solution in Q 0 = Q T 0 , having the property

θ > 0 in  Q ¯ 0 .

For the function r, it holds

r ∈ L ∞ ( 0 , T ; H 2 ( ] 0 , 1 [ ) ) ∩ H 2 ( Q 0 ) ∩ C ( Q ¯ 0 ) ,

a 2 ≤ r ≤ 2 M in  Q ¯ 0 .

Remark 2.2 Notice that the function r 0 introduced by (40) belongs to H 2 ( ] 0 , 1 [ ) . Because of the embedding H 1 ( ] 0 , 1 [ ) ⊂ C ( [ 0 , 1 ] ) we can conclude that there exists M ∈ R + such that

ρ 0 ( x ) , v 0 ( x ) , ω 0 ( x ) , θ 0 ( x ) ≤ M , x ∈ [ 0 , 1 ] .

From (40) and (41) we get

r 0 ∈ C ( 1 ) ( [ 0 , 1 ] ) ,

0 < a ≤ r 0 ( x ) ≤ M , 0 < a 1 ≤ r 0 ′ ( x ) ≤ M 1 , x ∈ [ 0 , 1 ] ,

where a 1 = L M − 3 and M 1 = L ( m a 2 ) − 1 .

The proof of Theorem 2.1 is essentially based on a careful examination of a priori estimates and a limit procedure. We first study, for each n∈N, an approximate problem and derive the a priori estimates for approximate solutions independent of n by utilizing a technique of Kazhikov 1418 and Mujakovic 313 for one-dimensional case. Using the obtained a priori estimates and results of weak compactness, we extract the subsequence of approximate solutions, which, when n tends to infinity, has limit in the same weak sense on ] 0 , 1 [ × ] 0 , T 0 [ for sufficiently small T0, 0<T0≤T. Finally, we show that this limit is the solution to our problem.

We shall find a local generalized solution to the problem (30)-(38) as a limit of approximate solutions

( ρ n , v n , ω n , θ n ) , n ∈ N ,

obtained in what follows. First, we introduce the approximations v n and r n of the functions v and r by

v n ( x , t ) = ∑ i = 1 n v i n ( t ) sin ( π i x ) ,

r n ( x , t ) = r 0 ( x ) + ∫ 0 t v n ( x , τ ) d τ ,

where r 0 ( x ) is defined by (40) and v i n , i = 1 , 2 , … , n are unknown smooth functions defined on an interval [ 0 , T n ] , T n ≤ T .

Then, we can write the solution ρ n to the problem

∂ ρ n ∂ t + L − 1 ( ρ n ) 2 ∂ ∂ x ( ( r n ) 2 v n ) = 0 , ρ n ( x , 0 ) = ρ 0 ( x ) ,

in the similar way as in 3 and 13 in the form

ρ n ( x , t ) = L ρ 0 ( x ) L + ρ 0 ( x ) ∂ ∂ x ∫ 0 t ( r n ) 2 v n d τ .

Since rn and vn are sufficiently smooth functions, we can conclude that the function ρn is continuous on the rectangle [ 0 , 1 ] × [ 0 , T n ] with the property ρ n ( x , 0 ) = ρ 0 ( x ) ≥ m > 0 . Because of aforementioned, we can conclude that there exists such T n , 0 < T n ≤ T that

ρ n ( x , t ) > 0 , for  ( x , t ) ∈ [ 0 , 1 ] × [ 0 , T n ] .

We also introduce the approximations ω n and θ n of the functions ω and θ respectively by

ω n ( x , t ) = ∑ j = 1 n ω j n ( t ) sin ( π j x ) ,

θ n ( x , t ) = ∑ k = 0 n θ k n ( t ) cos ( π k x ) ;

where ω j n and θ k n are again unknown smooth functions defined on an interval [0,Tn], Tn≤T.

Evidently, the boundary conditions

v n ( 0 , t ) = v n ( 1 , t ) = ω n ( 0 , t ) = ω n ( 1 , t ) = ∂ θ n ∂ x ( 0 , t ) = ∂ θ n ∂ x ( 1 , t ) = 0

for t ∈ ] 0 , T n [ are satisfied.

According to the Faedo-Galerkin method, we take the following approximate conditions:

∫ 0 1 [ ∂ v n ∂ t + R L ( r n ) 2 ∂ ∂ x ( ρ n θ n ) − λ + 2 μ L 2 ( r n ) 2 ∂ ∂ x ( ρ n ∂ ∂ x ( ( r n ) 2 v n ) ) ] sin ( π i x ) d x = 0 ,

∫ 0 1 [ ∂ ω n ∂ t + 4 μ r j I ω n ρ n − c 0 + 2 c d j I L 2 ( r n ) 2 ∂ ∂ x ( ρ n ∂ ∂ x ( ( r n ) 2 ω n ) ) ] sin ( π j x ) d x = 0 ,

∫ 0 1 [ ∂ θ n ∂ t − k c v L 2 ∂ ∂ x ( ( r n ) 4 ρ n ∂ θ n ∂ x ) + R c v L ρ n θ n ∂ ∂ x ( ( r n ) 2 v n ) − λ + 2 μ c v L 2 ρ n [ ∂ ∂ x ( ( r n ) 2 v n ) ] 2 + 4 μ c v L ∂ ∂ x ( r n ( v n ) 2 ) − c 0 + 2 c d c v L 2 ρ n [ ∂ ∂ x ( ( r n ) 2 ω n ) ] 2 + 4 c d c v L ∂ ∂ x ( r n ( ω n ) 2 ) − 4 μ r c v ( ω n ) 2 ρ n ] cos ( π k x ) d x = 0

for i , j = 1 , … , n , k = 0 , 1 , … , n .

Let v 0 i , ω 0 j , and θ 0 k be the Fourier coefficients of the functions v0, ω0, and θ0 respectively:

v 0 i = 2 ∫ 0 1 v 0 ( x ) sin ( π i x ) d x , i = 1 , … , n , ω 0 j = 2 ∫ 0 1 ω 0 ( x ) sin ( π j x ) d x , j = 1 , … , n , θ 00 = ∫ 0 1 θ 0 ( x ) d x , θ 0 k = 2 ∫ 0 1 θ 0 ( x ) cos ( π k x ) d x , k = 1 , … , n .

Let v 0 n , ω 0 n and θ 0 n be

v 0 n ( x ) = ∑ i = 1 n v 0 i sin ( π i x ) ,

ω 0 n ( x ) = ∑ j = 1 n ω 0 j sin ( π j x ) ,

θ 0 n ( x ) = ∑ k = 0 n θ 0 k cos ( π k x ) .

We take the initial conditions for vn, ωn and θn in the form

v n ( x , 0 ) = v 0 n ( x ) ,

ω n ( x , 0 ) = ω 0 n ( x ) ,

θ n ( x , 0 ) = θ 0 n ( x ) .

Let z m n , λ p q n and μ s l g n be

z m n ( t ) = ∫ 0 t v m n ( τ ) d τ , m = 1 , … , n ,

λ p q n ( t ) = ∫ 0 t z p n ( τ ) v q n ( τ ) d τ , p , q = 1 , … , n ,

μ s l g n ( t ) = ∫ 0 t z l n ( τ ) z s n ( τ ) v g n ( τ ) d τ , s , l , g = 1 , … , n

then we have

r n ( x , t ) = r 0 ( x ) + ∑ m = 1 n z m n ( t ) sin ( π m x ) ,

where r0(x) and ρ 0 ( x ) are known functions. Taking into account (57), (62), (63), (74)-(78), from (65)-(67) we obtain for { ( v i n , ω j n , θ k n , z m n , λ p q n , μ s l g n ) : i , j , m , p , q , s , l , g = 1 , … , n , k = 0 , 1 , … , n } , the following Cauchy problem:

z ˙ m n ( t ) = v m n ,

λ ˙ p q n ( t ) = z p n ⋅ v q n ,

μ ˙ s l g n ( t ) = z s n ⋅ z l n ⋅ v g n ,

v i n ( 0 ) = v 0 i , ω j n ( 0 ) = ω 0 j , θ k n ( 0 ) = θ 0 k ,

z m n ( 0 ) = 0 , λ p q n ( 0 ) = 0 , μ s l g n ( 0 ) = 0 .

Here we have λ 0 = 1 , λ k = 2 for k = 1 , 2 , … , n and

Φ i n = 2 ∫ 0 1 [ λ + 2 μ L 2 ( r n ) 2 ∂ ∂ x ( ρ n ∂ ∂ x ( ( r n ) 2 v n ) ) − R L ( r n ) 2 ∂ ∂ x ( ρ n θ n ) ] sin ( π i x ) d x ,

Ψ j n = 2 ∫ 0 1 [ c 0 + 2 c d j I L 2 ( r n ) 2 ∂ ∂ x ( ρ n ∂ ∂ x ( ( r n ) 2 ω n ) ) − 4 μ r j I ω n ρ n ] sin ( π j x ) d x ,

Π k n = ∫ 0 1 [ k c v L 2 ∂ ∂ x ( ( r n ) 4 ρ n ∂ θ n ∂ x ) − R c v L ρ n θ n ∂ ∂ x ( ( r n ) 2 v n ) + λ + 2 μ c v L 2 ρ n [ ∂ ∂ x ( ( r n ) 2 v n ) ] 2 − 4 μ c v L ∂ ∂ x ( r n ( v n ) 2 ) + c 0 + 2 c d c v L 2 ρ n [ ∂ ∂ x ( ( r n ) 2 ω n ) ] 2 − 4 c d c v L ∂ ∂ x ( r n ( ω n ) 2 ) + 4 μ r c v ( ω n ) 2 ρ n ] cos ( π k x ) d x .

Notice that the functions on the right-hand side of (79)-(84) satisfy the conditions of the Cauchy-Picard theorem 1920 and we can easily conclude that the following statements are valid.

Lemma 3.1 For each n ∈ N there exists such Tn, 0<Tn≤T that the Cauchy problem (79)-(86) has a unique solution defined on [0,Tn]. The functions vn, ωn and θn defined by the formulas (57), (62) and (63) belong to the class C ∞ ( Q ¯ n ) , Q n = ] 0 , 1 [ × ] 0 , T n [ and satisfy conditions (71)-(73).

From (77) and (78) we can also easily conclude that

ρ n ∈ C ( Q ¯ n ) ,

r n ∈ C ( 1 ) ( Q ¯ n ) .

Lemma 3.2 There exists Tn, 0<Tn≤T, such that the functions ρn, rn and ∂ r n ∂ x satisfy the conditions

m 2 ≤ ρ n ( x , t ) ≤ 2 M ,

a 2 ≤ r n ( x , t ) ≤ 2 M ,

a 1 2 ≤ ∂ r n ∂ x ( x , t ) ≤ 2 M 1 ,

on Q ¯ n . The constants m, a, a 1 , M and M 1 are introduced by (40), (41), (53) and (55).

Proof The statements follow from (90)-(91), (41), (53) and (55). □

Our purpose is to find T 0 , 0<T0≤T such that for each n∈N there exists a solution to the problem (79)-(86), defined on [ 0 , T 0 ] . It will be sufficient to find uniform (in n∈N) a priori estimates for the solution ( ρ n , v n , ω n , θ n ) defined through Lemmas 3.1 and 3.2.

In what follows we denote by C > 0 or C i > 0 (i = 1 , 2 , … ) a generic constant, not depending on n∈N, which may have different values at different places.

We also use the notation

∥ f ∥ = ∥ f ∥ L 2 ( ] 0 , 1 [ ) .

Some of our considerations are very similar or identical to that of 3 or 13. In these cases we omit proofs or details of proofs making references to corresponding pages of the articles 3 or 13.

Lemma 4.1 For t ∈ [ 0 , T n ] it holds

∥ ∂ 2 r n ∂ x 2 ( t ) ∥ 2 ≤ C ( 1 + ∫ 0 t ∥ ∂ 2 v n ∂ x 2 ( τ ) ∥ 2 d τ ) .

Proof From (58) follows

∂ 2 r n ∂ x 2 = r 0 ″ + ∫ 0 t ∂ 2 v n ∂ x 2 d τ

and using Remark 2.2 we get (95) immediately. □

Lemma 4.2 For t∈[0,Tn], the following inequality holds:

∥ ω n ( t ) ∥ 2 + ∫ 0 t ( ∥ ω n ( τ ) ∥ 2 + ∥ ∂ ∂ x ( r n 2 ω n ) ( τ ) ∥ 2 d τ ) ≤ C .

Proof Multiplying (66) by ω j n and summing over j = 1 , … , n , after integration by parts, we obtain

1 2 d d t ∥ ω n ( t ) ∥ 2 + 4 μ r j I ∫ 0 1 ( ω n ) 2 ρ n d x + c 0 + 2 c d j I L 2 ∫ 0 1 ρ n [ ∂ ∂ x ( ( r n ) 2 ω n ) ] 2 d x = 0 .

Integrating over [ 0 , t ] , 0 < t ≤ T n , and taking into account (72), we obtain

1 2 ∥ ω n ( t ) ∥ 2 + 4 μ r j I ∫ 0 t ∫ 0 1 ( ω n ) 2 ρ n d x d τ + c 0 + 2 c d j I L 2 ∫ 0 t ∫ 0 1 ρ n [ ∂ ∂ x ( ( r n ) 2 ω n ) ] 2 d x d τ = 1 2 ∥ ω 0 n ∥ 2 ≤ 1 2 ∥ ω 0 ∥ 2 .

Using (92), we get (96). □

In what follows, we use the inequalities

| f | 2 ≤ 2 ∥ f ∥ ∥ ∂ f ∂ x ∥ , | ∂ f ∂ x | 2 ≤ 2 ∥ ∂ f ∂ x ∥ ∥ ∂ 2 f ∂ x 2 ∥

(for a function f vanishing at x = 0 and x = 1 and with the first derivative vanishing at some point x ∈ [ 0 , 1 ] ) that satisfy the functions vn, ωn and ∂ θ n ∂ x .

Lemma 4.3 For t ∈ [ 0 , T n ] , the following inequality holds:

| ∫ 0 1 θ n ( x , t ) d x | ≤ C ( 1 + ∥ ∂ v n ∂ x ( t ) ∥ 2 ) .

Proof Multiplying (65) by c v − 1 v i n and summing over i = 1 , … , n , after integration by parts and adding to (67) for k = 0 , we have

d d t ( 1 2 c v ∥ v n ( t ) ∥ 2 + ∫ 0 1 θ n ( x , t ) d x ) = c 0 + 2 c d c v L 2 ∫ 0 1 ρ n [ ∂ ∂ x ( ( r n ) 2 ω n ) ] 2 d x + 4 μ r c v ∫ 0 1 ( ω n ) 2 ρ n d x .

Integrating over [0,t], 0<t≤Tn and using (92) we get

( 1 2 c v ∥ v n ( t ) ∥ 2 + ∫ 0 1 θ n ( x , t ) d x ) ≤ C ∫ 0 t ( ∥ ω n ( t ) ∥ 2 + ∥ ∂ ∂ x ( ( r n ) 2 ω n ) ( τ ) ∥ 2 ) d τ + 1 2 c v ∥ v 0 n ( t ) ∥ 2 + ∥ θ 0 n ( t ) ∥ .

Taking into account (96), (71), (73), and (97) we obtain (98). □

Lemma 4.4 (3, Lemma 5.3)

For ( x , t ) ∈ Q ¯ n , the following inequality holds:

| θ n ( x , t ) | ≤ C ( 1 + ∥ ∂ θ n ∂ x ( t ) ∥ + ∥ ∂ v n ∂ x ( t ) ∥ 2 ) .

Lemma 4.5 For t∈[0,Tn], the following inequality holds:

∥ ∂ ρ n ∂ x ( t ) ∥ 2 ≤ C ( 1 + ( ∫ 0 t ∥ ∂ 2 v n ∂ x 2 ( τ ) ∥ 2 d τ ) 2 ) .

Proof Taking the derivative of the function ρn with respect to x and using the estimates (92)-(94), we obtain

| ∂ ρ n ∂ x | ≤ C ( 1 + ∫ 0 t ( | v n | + | v n | | ∂ 2 r n ∂ x 2 | + | ∂ v n ∂ x | + | ∂ 2 v n ∂ x 2 | ) d τ ) .

With the help of (97) applied to the function vn, the Hoelder and Young inequalities as well as (95), we get (100). □

Lemma 4.6 For t∈[0,Tn] it holds

d d t ( ∥ ∂ v n ∂ x ( t ) ∥ 2 + ∥ ∂ ω n ∂ x ( t ) ∥ 2 + ∥ ∂ θ n ∂ x ( t ) ∥ 2 ) + B ( ∥ ∂ 2 v n ∂ x 2 ( t ) ∥ 2 + ∥ ∂ 2 ω n ∂ x 2 ( t ) ∥ 2 + ∥ ∂ 2 θ n ∂ x 2 ( t ) ∥ 2 ) ≤ C ( 1 + ∥ ∂ v n ∂ x ( t ) ∥ 16 + ∥ ∂ ω n ∂ x ( t ) ∥ 16 + ∥ ∂ θ n ∂ x ( t ) ∥ 16 + ( B ∫ 0 t ∥ ∂ 2 v n ∂ x 2 ( τ ) ∥ 2 d τ ) 8 ) ,

where

B = m a 4 32 min { λ + 2 μ L 2 , c 0 + 2 c d j I L 2 , k c v L 2 } .

Proof As in 3 Lemma 5.5, 14 pp.63-66 and in 13 Lemma 5.6, multiplying (65), (66) and (67) respectively by ( π i ) 2 v i n , ( π j ) 2 ω j n and ( π k ) 2 θ k n and taking into account (57), (62) and (63), after summation over i , j , k = 1 , 2 , … , n and addition of the obtained equations, we get

1 2 d d t ( ∥ ∂ v n ∂ x ∥ 2 + ∥ ∂ ω n ∂ x ∥ 2 + ∥ ∂ θ n ∂ x ∥ 2 ) + λ + 2 μ L 2 ∫ 0 1 ρ n ( r n ) 4 ( ∂ 2 v n ∂ x 2 ) 2 d x + c 0 + 2 c d j I L 2 ∫ 0 1 ρ n ( r n ) 4 ( ∂ 2 ω n ∂ x 2 ) 2 d x + k c v L 2 ∫ 0 1 ρ n ( r n ) 4 ( ∂ 2 θ n ∂ x 2 ) 2 d x = ∑ p = 1 28 I p ( t ) ,