Abstract
We consider nonstationary 3-D flow of a compressible viscous heat-conducting micropolar fluid in the domain that is the subset of bounded with two concentric spheres that present the solid thermoinsulated walls. In the thermodynamical sense the fluid is perfect and polytropic. If we assume that the initial density and temperature are strictly positive and that the initial data are sufficiently smooth spherically symmetric functions then our problem has a generalized solution for a sufficiently small time interval. We study the problem in the Lagrangian description and prove the uniqueness of its generalized solution.
Similar content being viewed by others
1 Introduction
The theory of micropolar fluids was introduced by Ahmed Cemal Eringen in 1960 [1]. Eringen suggested many possible applications of the micropolar fluid, but from the mathematical point of view the theory is still in an early stage of development. The results for incompressible flow are very well systematized in the book of Lukaszewicz [2], but the theory for compressible flows, especially for flows involving temperature, is still in its beginnings.
In this paper we analyze compressible flow of isotropic, viscous, and heat-conducting micropolar fluid which is in the thermodynamical sense perfect and polytropic. The model for this type of flow was first considered by Mujaković in [3] where she developed the one-dimensional model. In the same work, the local existence and uniqueness of a generalized solution for homogeneous boundary conditions were proved. In the work [4] the existence of a solution global in time for the described problem was proved. Mujaković also analyzed the regularity and stabilization for the model, as well as the Cauchy problem [5]. In her recent works, for example [6], the problem with non-homogeneous boundary condition for density, microrotation, and heat flux was analyzed.
Other authors, for example Chen et al. in [7] and [8] or Easwaran and Majumdar in [9], analyzed different kinds of problems concerning micropolar fluid, as well as in the three-dimensional case, but without the temperature. Till now the described model of compressible micropolar fluid (model with temperature) in the three-dimensional case has been considered just in [10] by Dražić and Mujaković in the spherically symmetric case.
Spherically symmetric flow for a classical fluid was considered for example in [11]–[13], and [14]. Uniqueness of the solution for the problems with a classical fluid in the spherically symmetric case was proved in [15]. For a micropolar fluid in the one-dimensional case, the uniqueness results are given for example in [16] for the Cauchy problem. The uniqueness problem for the micropolar fluid was also considered in [9] but for a fluid which is not heat-conducting.
In this work we prove the uniqueness of the solution for the problem presented in [10] where we proved the local existence of generalized spherically symmetric solution for the flow of described fluid in the domain to be subset of bounded with two concentric spheres that present solid thermoinsulated walls, assuming that the initial density and temperature are strictly positive and that the initial data are smooth enough spherically symmetric functions.
2 Statement of the problem and the main result
The motion of 3-D compressible viscous micropolar heat-conducting fluid which has the property of spherical symmetry and which is in the thermodynamical sense perfect and polytropic is described in Lagrangian coordinates by the following system of differential equations [10]:
This system is considered on the set , where is the domain of our generalized solution (see [10]). Here ρ, v, ω, and θ denote, respectively, the mass density, velocity, microrotation velocity, and temperature of the fluid. R, L, , are positive constants. From [10] (formulas (8) and (9)) it follows that the coefficients of viscosity λ, μ, coefficients of microviscosity , , , and heat conduction coefficient k have the properties:
Equations (1)-(4) are, respectively, local forms of the conservations laws for the mass, momentum, momentum moment, and energy.
We take the following non-homogeneous initial and boundary conditions:
for , . Here , , , and are known real functions. We assume that there exists a constant such that
The function r is defined by
where
( is radius of the smaller boundary sphere (see [10])).
In this paper we study the uniqueness of a generalized solution which is defined as follows.
Definition 2.1
A generalized solution of the problem (1)-(11) in the domain is a quadruple of functions
where
that satisfy equations (1)-(4) a.e. in and conditions (5)-(11) in the sense of traces.
Remark 2.1
From the embedding and interpolation theorems (e.g.[17] and [18]) one can conclude that from (16) and (17) follows:
Let the initial data (5)-(8) have the following smoothness properties:
Remark 2.2
Because of the embedding , for we conclude that there exists , so that
Assuming condition (21) and inequalities (12) we proved in the previous paper [10] the following local existence theorem.
Theorem 2.1
There exists small enoughsuch that the problem (1)-(11) has a generalized solutionin, having the property
For the function r, defined by (13) we get
and we easily conclude to the following property:
Our proof of the uniqueness does not depend on the size of the time existence interval . Because of that, hereafter we will take .
The aim of this paper is to prove the following result.
Theorem 2.2
Let the initial functions, , , andsatisfy conditions (12) and (21). Then the problem (1)-(11) has in the domainat most one generalized solutionwith the property (23).
As has already been mentioned, the analogous theorems for the one-dimensional case have been proved in [3] and [16]. In [3] was considered the one-dimensional problem with the same type of boundary and initial conditions as in this article. In [16] there is a proof of the uniqueness theorem for the Cauchy problem of the described fluid in the one-dimensional case. In the proof of Theorem 2.2 we use the method described in [19], where it has been applied for the one-dimensional case of a classical fluid (problem without the microrotation variable ω) and also we use some ideas from [3] and [16].
3 The proof of Theorem 2.2
For the function r defined by (13)-(14) with the properties (24)-(25) the following estimate, which we use in the proof of the theorem, holds true.
Lemma 3.1
The function r satisfies the estimate
(is the radius of smaller boundary sphere; see[10]) for each.
Proof
We have
Taking into account (1) and (13) it follows that
Integrating (28) over the interval and using (14) we get
With the help of (16), from (29) we conclude that
for each . Therefore the function r is increasing function in the variable x. Hence
□
Because of simplicity, hereafter we will consider the specific volume instead of density ρ.
We will assume now that , are two distinct generalized solutions of the problem (1)-(11) in the domain with the properties (12), (21), (23)-(24). Each solution is associated with a function
Now we define the functions , , , , and . It is easy to see that the function r has the property
After some calculations it can be shown that satisfy the following system:
where , , , , , , and .
From conditions (5)-(11) for the solutions , , we can easily get the following initial and boundary conditions for the functions u, v, ω, and θ:
for , . We also have .
Hereafter by C we denote a generic positive constant that can have different values at different places. We also use the notation
The proof of Theorem 2.2 is based on getting four inequalities which we use to control the bounds of the values of the functions u, v, ω, and θ. These inequalities we prove in the following four lemmas.
In the proofs of the lemmas we often use the following inequalities valid for the function f vanishing at and or for the function with the first derivative vanishing at some point :
It is clear that the velocity and microrotation satisfy the inequalities (39)-(40), while the temperature satisfies the inequalities (40) only.
Lemma 3.2
There exists a constant such that
for each.
Proof
With the help of (13) and the Hölder inequality we can easily get
and
Multiplying (32) by u and integrating over we obtain the following equality:
Taking into account (25), (20), (39), (40), (42), (43), and applying the Young inequality to the integral on right-hand side in (44) we get the following estimates:
Inserting (45)-(49) into (44) and integrating over we get
Using (17) for the function and applying the Gronwall inequality, from (50) follows (41). □
Lemma 3.3
We have
for each.
Proof
In the proof of this lemma we use the procedure similar to the proof of Lemma 3.2. Multiplying (33) by v and integrating over we get
Taking into account (18), (20), (25), (39), (40), (42), (43), the inequalities
and applying Young’s inequality with a parameter on the right-hand side of (52) we obtain the following inequalities:
Inserting (55)-(68) into (52), using (16) and (26) and integrating over we get
Taking into account (41) and taking small enough, from (69) we immediately get
Applying Gronwall’s inequality and property (17) for the function , from (70) we get
□
Lemma 3.4
We have
for each.
Proof
As the functions , , and ω have the same properties and belong to the same spaces as the functions , , and v we use the same approach as in Lemma 3.3. Multiplying (34) by ω and integrating over we get
Now we use (18), (20), (25), (39), (40), (42), (43), (54), as well as the inequalities
We again apply Young’s inequality with a parameter to the right-hand side of (73) and obtain the following estimates:
Using the estimates (41) for the function u, the estimate (26) for the function and the property (16) for the function , after inserting (76)-(86) into (73) and integrating over we get
We take ε small enough. Applying Gronwall’s inequality to (87) we get
Now, using the inclusion (17) for the function , from (88) we conclude that
for each . Applying the inequality (51) to (89) we immediately get (72). □
Lemma 3.5
We have
for each.
Proof
Multiplying (35) by θ, using (38) and (11), after integrating by parts over we get
To get the estimates of the integrals on the right-hand side in (91) we use again the properties (18), (20), (25), (39), (40), (42), (43), (53) for the functions , , , and , as well as the property (54) for the functions v and ω. We also use the inequality
and the result of Lemma 3.2. As we use the same procedure as in previous proofs, we omit the details and write the final form of the estimates only. We get the following inequalities:
Now we will again apply (26) as well as (16). By inserting (93)-(109) into (91) and integrating over we get
where
If we choose ε small enough, using the properties (72), (51), and (17) we get
Applying Gronwall’s inequality to (112) we finally get
□
Now we can easily conclude that Theorem 2.2 is valid. If we apply Gronwall’s inequality again to (113) we immediately get
Inserting (114) into (51), and (72) we can conclude that
Finally, from (41) we get
and Theorem 2.2 is proved.
References
Eringen AC: Simple microfluids. Int. J. Eng. Sci. 1964, 2(2):205-217. 10.1016/0020-7225(64)90005-9
Lukaszewicz G: Micropolar Fluids: Theory and Applications. Birkhäuser, Boston; 1999.
Mujaković N: One-dimensional flow of a compressible viscous micropolar fluid: a local existence theorem. Glas. Mat. 1998, 33: 71-91.
Mujaković N: One-dimensional flow of a compressible viscous micropolar fluid: a global existence theorem. Glas. Mat. 1998, 33: 199-208.
Mujaković N: One-dimensional compressible viscous micropolar fluid model: stabilization of the solution for the Cauchy problem. Bound. Value Probl. 2010., 2010: 10.1155/2010/796065
Mujaković N: Nonhomogeneous boundary value problem for one-dimensional compressible viscous micropolar fluid model: regularity of the solution. Bound. Value Probl. 2008., 2008: 10.1155/2008/189748
Chen M: Blowup criterion for viscous, compressible micropolar fluids with vacuum. Nonlinear Anal., Real World Appl. 2012, 13(2):850-859. 10.1016/j.nonrwa.2011.08.021
Chen M, Huang B, Zhang J: Blowup criterion for the three-dimensional equations of compressible viscous micropolar fluids with vacuum. Nonlinear Anal. TMA 2013, 79: 1-11. 10.1016/j.na.2012.10.013
Easwaran C, Majumdar S: A uniqueness theorem for compressible micropolar flows. Acta Mech. 1987, 68: 185-191. 10.1007/BF01190882
Dražić I, Mujaković N: 3-D flow of a compressible viscous micropolar fluid with spherical symmetry: a local existence theorem. Bound. Value Probl. 2012., 2012: 10.1186/1687-2770-2012-69
Hoff D: Spherically symmetric solutions of the Navier-Stokes equations for compressible, isothermal flow with large, discontinuous initial data. Indiana Univ. Math. J. 1992, 41: 1225-1302. 10.1512/iumj.1992.41.41060
Jiang S, Zhang P: On spherically symmetric solutions of the compressible isentropic Navier-Stokes equations. Commun. Math. Phys. 2001, 215: 559-581. 10.1007/PL00005543
Fujita-Yashima H, Benabidallah R: Equation à symétrie sphérique d’un gaz visqueux et calorifère avec la surface libre. Ann. Mat. Pura Appl. 1995, 168: 75-117. 10.1007/BF01759255
Yanagi S: Asymptotic stability of the spherically symmetric solutions for a viscous polytropic gas in a field of external forces. Transp. Theory Stat. Phys. 2000, 29(3-5):333-353. 10.1080/00411450008205878
Fujita-Yashima H, Benabidallah R: Unicité de la solution de equation monodimensionnelle ou a symetrie spherique d’un gaz visqueux et calorifere. Rend. Circ. Mat. Palermo 1993, XLII: 195-218. 10.1007/BF02843945
Mujaković N: Uniqueness of a solution of the Cauchy problem for one-dimensional compressible viscous micropolar fluid model. Appl. Math. E-Notes 2006, 6: 113-118.
Lions JL, Dautray R: Functional and Variational Methods. Springer, Berlin; 2000.
Lions JL, Dautray R: Evolution Problems I. Springer, Berlin; 2000.
Antontsev SN, Kazhikhov AV, Monakhov VN: Boundary Value Problems in Mechanics of Nonhomogeneous Fluids. North-Holland, Amsterdam; 1990.
Acknowledgements
The paper was made with financial support of scientific project ‘Mathematical and numerical modelling of compressible micropolar fluid flow’ (13.14.1.3.03), University of Rijeka, Croatia.
Author information
Authors and Affiliations
Corresponding author
Additional information
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.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Mujaković, N., Dražić, I. 3-D flow of a compressible viscous micropolar fluid with spherical symmetry: uniqueness of a generalized solution. Bound Value Probl 2014, 226 (2014). https://doi.org/10.1186/s13661-014-0226-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-014-0226-z