Abstract
We consider nonstationary 3D flow of a compressible viscous heatconducting micropolar fluid in the domain to be the subset of bounded with two concentric spheres that present solid thermoinsulated walls. In thermodynamical sense fluid is perfect and polytropic. Assuming that the initial density and temperature are strictly positive we will prove that for smooth enough spherically symmetric initial data there exists a spherically symmetric generalized solution locally in time.
Keywords:
micropolar fluid; generalized solution; spherical symmetry; weak and strong convergence1 Introduction
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 onedimensional 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., [6,7], but till now the described model of compressible micropolar fluid in threedimensional case has not been considered.
In this work we consider the threedimensional 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 [912].
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
 an axial vector with the Cartesian components , where is LeviCivita alternating tensor^{a}
ω  microrotation velocity
 skew tensor with Cartesian components
 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:
where denotes material derivative of a field a:
The scalar product of tensors A and B is defined by
The linear constitutive equations for stress tensor, couple stress tensor and heat flux density vector are respectively in the forms:
where
λ, μ  coefficients of viscosity,
, , ,  coefficients of microviscosity,
k  heat conduction coefficient
are constants with the properties
Assuming that the fluid is perfect and polytropic, for pressure and internal energy we have the equations
where R and are positive constants.
Let , , denote the domain bounded by two concentric spheres with radii a and b. The boundary of the described domain is . We shall consider the problem (1)(11) in the region (where is arbitrary) with the following initial conditions:
for ; the vector ν is an exterior unit normal vector.
For simplicity we also assume that and .
The initial boundary problems for the system (1)(13) so far have not been considered in threedimensional case. The same and similar models in onedimensional case were considered in [3,5,13] and [4]. In [2] the threedimensional 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 FaedoGalerkin method. We follow some ideas of [14] where this method was applied to a classical fluid (where microrotation is equal to zero) in onedimensional case as well as the ideas from [3] and [13] where the same result as here was provided for onedimensional 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 . 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.
2 Spherically symmetric form and the main result
We first derive the spherically symmetric form of (1)(7) and (10)(11). A spherically symmetric solution of (1)(7) has the form:
where , , and . We assume that
where , , and are known real functions defined on , and thus we reduce system (1)(7) and conditions (10)(13) to the following equations for , , and of the form:
with the following initial and boundary conditions
To investigate the local existence, it is convenient to transform the system (16)(19) to that in Lagrangian coordinates. The Eulerian coordinates are connected to the Lagrangian coordinates by the relation
We introduce the new function η by
Note that if for (which is assumed in Theorem 2.1 later), then there exists an inverse function . Let the constant L be defined as
From (16) we can easily get the equation
i.e.,
It is useful to introduce the next coordinate
and the following functions
Similarly as in [15], for a new coordinate we get
Taking into account (26) and (24), we obtain that the functions , , , and satisfy the system that we write omitting the primes for simplicity:
in , where is arbitrary. Now we have the following boundary and initial conditions
From
putting and integrating over , we get
where is a radius of the smaller boundary sphere.
We assume the inequalities
Before stating the main result, we introduce the following definition.
Definition 2.1 A generalized solution of the problem (30)(38) in the domain is a function
where
that satisfies Equations (30)(33) a.e. in 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:
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.1Let the functions
satisfy conditions (41). Then there exists, , such that the problem (30)(38) has a generalized solution in, having the property
For the functionr, it holds
Remark 2.2 Notice that the function introduced by (40) belongs to . Because of the embedding we can conclude that there exists such that
From (40) and (41) we get
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 , an approximate problem and derive the a priori estimates for approximate solutions independent of n by utilizing a technique of Kazhikov [14,18] and Mujakovic [3,13] for onedimensional 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 for sufficiently small , . Finally, we show that this limit is the solution to our problem.
3 Approximate solutions
We shall find a local generalized solution to the problem (30)(38) as a limit of approximate solutions
obtained in what follows. First, we introduce the approximations and of the functions v and r by
where is defined by (40) and , are unknown smooth functions defined on an interval , .
Then, we can write the solution to the problem
in the similar way as in [3] and [13] in the form
Since and are sufficiently smooth functions, we can conclude that the function is continuous on the rectangle with the property . Because of aforementioned, we can conclude that there exists such , that
We also introduce the approximations and of the functions ω and θ respectively by
where and are again unknown smooth functions defined on an interval , .
Evidently, the boundary conditions
According to the FaedoGalerkin method, we take the following approximate conditions:
Let , , and be the Fourier coefficients of the functions , , and respectively:
We take the initial conditions for , and in the form
then we have
where and are known functions. Taking into account (57), (62), (63), (74)(78), from (65)(67) we obtain for , the following Cauchy problem:
Notice that the functions on the righthand side of (79)(84) satisfy the conditions of the CauchyPicard theorem [19,20] and we can easily conclude that the following statements are valid.
Lemma 3.1For eachthere exists such, that the Cauchy problem (79)(86) has a unique solution defined on. The functions, anddefined by the formulas (57), (62) and (63) belong to the class, and satisfy conditions (71)(73).
From (77) and (78) we can also easily conclude that
Lemma 3.2There exists, , such that the functions, andsatisfy the conditions
on. The constantsm, a, , Mandare introduced by (40), (41), (53) and (55).
Proof The statements follow from (90)(91), (41), (53) and (55). □
4 A priori estimates
Our purpose is to find , such that for each there exists a solution to the problem (79)(86), defined on . It will be sufficient to find uniform (in ) a priori estimates for the solution defined through Lemmas 3.1 and 3.2.
In what follows we denote by or () a generic constant, not depending on , which may have different values at different places.
We also use the notation
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].
Proof From (58) follows
and using Remark 2.2 we get (95) immediately. □
Lemma 4.2For, the following inequality holds:
Proof Multiplying (66) by and summing over , after integration by parts, we obtain
Integrating over , , and taking into account (72), we obtain
Using (92), we get (96). □
In what follows, we use the inequalities
(for a function f vanishing at and and with the first derivative vanishing at some point ) that satisfy the functions , and .
Lemma 4.3For, the following inequality holds:
Proof Multiplying (65) by and summing over , after integration by parts and adding to (67) for , we have
Integrating over , and using (92) we get
Taking into account (96), (71), (73), and (97) we obtain (98). □
Lemma 4.4 ([3], Lemma 5.3)
For, the following inequality holds:
Lemma 4.5For, the following inequality holds:
Proof Taking the derivative of the function with respect to x and using the estimates (92)(94), we obtain
With the help of (97) applied to the function , the Hoelder and Young inequalities as well as (95), we get (100). □
where
Proof As in [3] Lemma 5.5, [14] pp.6366 and in [13] Lemma 5.6, multiplying (65), (66) and (67) respectively by , and and taking into account (57), (62) and (63), after summation over and addition of the obtained equations, we get
where
Taking into account (92)(94) and (95)(100), we estimate the terms on the righthand side of (102). For instance,
Applying the Young inequality, we get
where is arbitrary. In the analogous way, we obtain the following inequalities:
Using these inequalities with sufficiently small ε and estimates (92)(94), from (102) we get (101). □
Lemma 4.7There exists, () such that for eachthe Cauchy problem (79)(86) has a unique solution defined on. Moreover, the functions, , , andsatisfy the inequalities
(a, , mandMare defined by (41) and (53)(55)).
Proof To get the estimate (103) we use an approach similar to that in [3] (Lemma 5.6) and [14] (pp.6467). First, we introduce the function
Using Lemma 4.6, we find that the function satisfies the differential inequality
There exists a constant such that
and we can conclude that
We compare the solution of the problem (109)(110) with the solution of the Cauchy problem
Let , be an existence interval of the solution of the problem (111)(112). From (109)(112) we conclude that
Let be such that . From (113) and (108) we obtain
and from (101) it follows
Integrating (101) over , and using estimates (110) and (115), we immediately get (103).
Now, using the inequalities (97) for the function v, we easily get
Using (116), we derive the following estimates:
where C and B are from (103). Assuming that
and using (117) and (118) from (58) and (60), we get (104)(105).
Because of (57), (62) and (63), from (103) and (98), we easily get that for hold
and we can conclude that the solution of the problem (79)(86) is defined on . □
From (119) and (120), we can easily conclude that
and from (95), (100) and (99) it follows
Lemma 4.8Letbe defined by Lemma 4.7. Then for eachthe inequalities
hold true.
Proof Multiplying (65) by , summing over and using (104)(105), we obtain
Using (121), (122), (103), (116) and applying the Young inequality, we get
Taking into account (103) for sufficiently small from (127), we obtain
In the same way, from (66) and (67) we obtain the estimates for and respectively. The estimates (124) and (125) follow directly from (59) and (58). □
From Lemmas 4.7 and 4.8 we easily derive the following statements.
Proposition 4.1Letbe defined by Lemma 4.7. Then for the sequencethe following properties are satisfied:
5 The proof of Theorem 2.1
In the proofs we use some wellknown facts of functional analysis (e.g., [21]). Let be defined by Lemma 4.7. Theorem 2.1 is a consequence of the following lemmas.
Lemma 5.1There exists a function
and the subsequence of (for simplicity reasons denoted again as) such that
The functionrsatisfies the conditions
Proof The conclusions (130) and (131) follow immediately from Proposition 4.1. Let , belong to . Then we have
Using (104), (58), (116), (103) and (107), we obtain
and we can conclude that the sequences and satisfy the conditions of ArzelàAscoli theorem. Applying that theorem, we get the strong convergence in (132) and (133). Because of (132) and (104) we have
for each and sufficiently big . From (140) we can easily conclude that (134) is satisfied. From (132) it follows
and because of that we have (135). □
Lemma 5.2There exists a function
and the subsequence of (denoted again as) such that
The functionρsatisfies the conditions
Proof Taking into account Proposition 4.1, estimates (103)(106) and the ArzelàAscoli theorem, we prove in the same way as in the previous lemma the properties (143)(147). □
Lemma 5.3There exist functions
and the subsequence of (denoted again as) such that
The functionsv, ωandθsatisfy the conditions
Proof The conclusions (148)(151) follow from Proposition 4.1 and embedding properties (see Remark 2.1). For verification of the boundary and initial conditions (152), (153) and (154), we use the Green formula as follows.
Let φ be a function of equal to zero in a neighborhood of , with and . Using the integration by parts we have for and v (e.g.) the following equalities:
Passing in (155) and comparing (155) and (156), we obtain
and conclude
In the similar way, we get all the remaining properties in (152)(154). □
Lemma 5.4The functionsr, ρ, v, ω, θ, defined by Lemmas 5.1, 5.2 and 5.3 satisfy the Equations (30)(33) a.e. in.
Proof Let be subsequence defined by Lemmas 5.1, 5.2 and 5.3. Taking into account (144), (149) and strong convergencies (132), (133), (145) and (151) we get that (30) follows immediately from (59). We can write Equation (65) in the form
for each , where denotes the space of test functions. Now we consider the convergence of one integrand. For example, we will prove the convergence
and using already mentioned convergences, we can easily conclude that (160) is satisfied. In the same way, we can derive the convergences of other integrals in (159). Analogously, we get that (32) and (33) follow from (66) and (67). □
Remark 5.1 Taking into account (150) and (58), we can easily prove that the function r defined by Lemma 5.1 has the form
where v is from Lemma 5.3.
Lemma 5.5There exists, such that the functionθdefined by Lemma 5.3 satisfies the condition
Proof Because of the inclusion (see Remark 2.1), in the same way as in [3], we conclude that for each there exists , , such that for holds
The conclusions of Theorem 2.1 are an immediate consequence of the above lemmas. □
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The paper is the result of joint work of both authors who contributed equally to the final version of the paper. All authors read and approved the final manuscript.
Acknowledgement
The paper was made with financial support of the scientific project Mathematical analysis of composite and thin structures (03706930142765), Ministry of Science, Education and Sports, Republic of Croatia.
End notes
References

Eringen, CA: Simple microfluids. Int. J. Eng. Sci.. 2(2), 205–217 (1964). Publisher Full Text

Lukaszewicz, G: Micropolar Fluids: Theory and Applications, Birkhäuser, Boston (1999)

Mujakovic, N: Onedimensional flow of a compressible viscous micropolar fluid: a local existence theorem. Glas. Mat.. 33, 71–91 (1998)

Mujakovic, N: Nonhomogeneous boundary value problem for onedimensional compressible viscous micropolar fluid model: regularity of the solution. Bound. Value Probl.. 2008, Article ID 189748 (2008)

Mujakovic, N: Onedimensional compressible viscous micropolar fluid model: stabilization of the solution for the Cauchy problem. Bound. Value Probl.. 2010, Article ID 796065 (2010)

Easwaran, C, Majumdar, S: A uniqueness theorem for compressible micropolar flows. Acta Mech.. 68, 185–191 (1987). Publisher Full Text

Chen, M: Blowup criterion for viscous, compressible micropolar fluids with vacuum. Nonlinear Anal., Real World Appl.. 13(2), 850–859 (2012). Publisher Full Text

Hoff, D: Spherically symmetric solutions of the NavierStokes equations for compressible, isothermal flow with large, discontinuous initial data. Indiana Univ. Math. J.. 41, 1225–1302 (1992). Publisher Full Text

Jiang, S: Global spherically symmetric solutions to the equations of a viscous polytropic ideal gas in an exterior domain. Commun. Math. Phys.. 178, 339–374 (1996). Publisher Full Text

Jiang, S, Zhang, P: On spherically symmetric solutions of the compressible isentropic NavierStokes equations. Commun. Math. Phys.. 215, 559–581 (2001). Publisher Full Text

FujitaYashima, H, Benabidallah, R: Equation à symétrie sphérique d’un gaz visqueux et calorifère avec la surface libre. Ann. Mat. Pura Appl.. 168, 75–117 (1995). Publisher Full Text

Yanagi, S: Asymptotic stability of the spherically symmetric solutions for a viscous polytropic gas in a field of external forces. Transp. Theory Stat. Phys.. 29(35), 333–353 (2000). Publisher Full Text

Mujakovic, N: Nonhomogeneous boundary value problem for onedimensional compressible viscous micropolar fluid model: a local existence theorem. Ann. Univ. Ferrara. 53, 361–379 (2007). Publisher Full Text

Antontsev, SN, Kazhikhov, AV, Monakhov, VN: Boundary Value Problems in Mechanics of Nonhomogeneous Fluids, NorthHolland, Amsterdam (1990)

Weigant, V: Example of nonexistence in the large for the problem of the existence of solutions of NavierStokes equations for compressible viscous barotropic fluids. Dokl. Akad. Nauk SSSR. 339, 155–156 (1994)

Lions, JL, Dautray, R: Functional and Variational Methods, Springer, Berlin (2000)

Lions, JL, Dautray, R: Evolution Problems I, Springer, Berlin (2000)

Kazhikhov, AV: To a theory of boundary value problems for equation of onedimensional nonstationary motion of viscous heatconductive gases. Bound. Value Probl. Hydrodyn. Equ.. 50, 327–362 (1981)

Arnold, VI: Ordinary Differential Equations, MIT Press, Cambridge (1978)

Petrowski, IG: Vorlesungen über die Theorie der gewöhnlichen Differentialgleichungen, Teubner, Leipzig (1954).

Brezis, H: Analyse fonctionnelle: théorie et applications, Masson, Paris (1983).