Abstract
We prove a blow-up criterion for local strong solutions to a simplified hydrodynamic flow modeling the compressible, nematic liquid crystal materials in a bounded domain.
1. Introduction
Let be a bounded domain with smooth boundary . We consider the following simplified version of Ericksen-Leslie system modeling the hydrodynamic flow of compressible nematic liquid crystals: Here is the density of the fluid, is the fluid velocity, represents the macroscopic average of the nematic liquid crystal orientation field, and is the pressure with positive constants and . Two real constants and are the shear viscosity and the bulk viscosity coefficients of the fluid, respectively, which are assumed to satisfy the following physical condition: Equations (1) and (2) are the well-known compressible Navier-Stokes system with the external force . Equation (3) is the well-known heat flow of harmonic map when .
Recently, Huang et al. [1] prove the following local-in-time well-posedness.
Proposition 1. Let for some and in , , and in . If, in addition, the compatibility condition holds, then there exist and a unique strong solution to the problem (1)–(5).
Based on the above proposition, Huang et al. [2] prove the regularity criterion to the problem (1)–(3), (5) with the boundary condition or Here, where is the unit outward normal vector to .
When , Huang and Wang [3] show the following regularity criterion: with and satisfying
When the term in (3) is replaced by , the problem (1)–(5) has been studied by L. M. Liu and X. G. Liu [4]; they proved the following regularity criterion:
The aim of this paper is to study the regularity criterion of local strong solutions to the problem (1)-(5). We will prove
Theorem 2. Let the assumptions in Proposition 1 hold true. If (12) holds true with , then the solution can be extended beyond .
Remark 3. Theorem 2 is also true for the boundary condition (9). But it is an open problem to prove (12) when the homogeneous Dirichlet boundary condition is replaced by
2. Proof of Theorem 2
Since is the local strong solution, we only need to prove a priori estimates.
First, testing (2) and (3) by and , respectively, and adding the resulting equations together, we see that which gives
We decompose the velocity into two parts: , where satisfies and thus satisfies where we used to denote the material derivative of . Then, together with the standard theory and theory for elliptic systems, we obtain
Testing (3) by and using (4), (20), (3), and the identity , we derive for any , where we have used the Hölder inequality and the Gagliardo-Nirenberg inequality
By the theory of the elliptic equations, it follows from (3) that which yields
Testing (2) by and setting , we find that
Now we deal with the last term.
First, (1) implies that
Inserting (28) into (26) and using (20), we have
Combining (21), (25), and (29), taking small enough, and using the Gronwall inequality, we conclude that
Now by the same calculations as those in [3, 5], we prove that
This completes the proof.
Acknowledgment
This work is partially supported by NSFC (no. 11171154).