Incompressible Limit for the Compressible Flows of Nematic Liquid Crystals in the Whole Space

We consider the compressible flows of liquid crystals arising in a variety of scientific examples. We here study the incompressible limit of weak solutions of the compressible flows of nematic liquid crystals in the whole space .


Introduction
Liquid crystals flows can be found in the natural world and in technological applications with a variety of examples in the area of many proteins, cell membranes and solutions of soap, and various related detergents, as well as the tobacco mosaic virus.We here consider the compressible flows of liquid crystals.Consider the following: where u is the vector field,  is the density, d ∈ S 1 := {d ∈ R 2 | |d| = 1} is the macroscopic average of the nematic liquid crystal orientation field, and , ], and  are viscosities.We use the following scalings: and, for the viscosity coefficients, with the convergence of the viscosity coefficients: With this scaling, system (1) reads ( Let us introduce the history of incompressible limit problems.
For the case of d = 0, incompressible limit problems have been investigated by many authors, starting with the work by Klainerman and Majda [1] for the Euler equations and Lions and Masmoudi [2] for the isentropic Navier-Stokes equations.Similar results in the spirit of the analysis, presented by Lions and Masmoudi [2], are the recent progress by Feireisl and Novotný [3,4] for the full Navier-Stokes Fourier system.For the liquid crystals flows, there is recent progress by Wang and Yu [5] based on the spectral analysis and Duhamel's principle 2 Advances in Mathematical Physics to control difficulties arising in the boundary of bounded domains.In this paper, we will use an abstract result of Kato [6] to show that the energy of acoustic waves decays to zero and this method was used in Feireisl [7] for the full Navier-Stokes Fourier system in order to derive rigorous limit of low Mach number for compressible flows of nematic liquid crystals in the whole space R 2 .As an application of this idea, we can also see one work by Kwon and Trivisa [8] for the full magnetohydrodynamic flows.The outline of this paper is as follows.In Section 1 we present the initial boundary value problem and introduce the notion of weak solutions for the problem.In Section 2 we present the main results of the paper on the low Mach number problem in the whole space.In Section 3 we give the rigorous proof of the low Mach number problem for the flows of nematic liquid crystals in the whole space.
We now introduce the notion of global weak solutions.We first propose the initial data and boundary conditions for the existence of global existence: where  2 = (0, 1) and 1.1.Weak Solutions Definition 1.We say that a quantity {, u, d} is a weak solution of the compressible flows of liquid crystals (5) supplemented with the initial data { 0 , u 0 , d 0 } provided that the following hold.
(i) The regularity holds: where  ∈ [1, ),  ∈ (0,  − 1),  ≥ 1,  ⊂⊂ R 2 is an any compact subset of R 2 , and u represents a renormalized solution of (1) on (0, ) × R 2 ; that is, the integral identity holds for any test function  ∈ D([0, )×R 2 ) and any  such that (ii) The balance of momentum holds in distributional sense; namely, for any test function (iii) The total energy of the system holds as follows: holds for a.e. ∈ (0, ), where and we assume (0).
(iv) The equation of direction field verifies Remark 2. There are global weak solutions for compressible flows of nematic liquid crystals in two dimensions and the result is provided in Jiang et al. [9].
We now introduce the weak solutions of the target system.Definition 3. A couple {U, d} is said to be a weak solution of the target system of the compressible flows of liquid crystals supplemented with the initial conditions if the following conditions hold: and the integral identity holds for any test function and the integral identity

Main Results
In this section we mention the main result.
Theorem 4. Let {  , u  , d  } be a family of weak solutions to the compressible flow of liquid crystals system in the sense of Definition 1 with  > 1. Assume the initial condition as follows: Then, up to subsequence, where {U, d} is a weak solution of the incompressible flows of liquid crystals in the sense of Definition 3 with the initial data where Helmholtz's projection

Proof of Theorem 4
In this section we are going to give a rigorous proof of Theorem 4. To begin with we derive some uniform estimates from the energy inequality.

Uniform Bounds.
In this section we are going to derive some estimates on the sequence {  , u  , d  } >0 .Notice that the function is strictly convex in [0, ∞) and it has global minimum at .We now rewrite the energy equality into where For the convenient presentation, we now introduce the set of the essential and residual values: where [] ess = (  ), [] res = (1 − (  )), and  is defined as follows: for any  ⊂⊂ R 2 ..For the proof of this section, we will use the uniform estimate (33) to deduce

Convergence of Continuity Equation
up to a subsequence of { > 0} and for any  ⊂⊂ R 2 .In accordance with (30), we obtain and so we can take the limit of  in the continuity equation ( 9) to get for all  ∈  ∞  ((0, ) × R 2 ).

Convergence of Moment and Direction Field Equation.
This section is devoted to proving the convergence of moment and direction field equation which is based on some uniform estimates of the directional vector fields {d  } >0 in the result of global weak solutions in Jiang et al. [9].We first use the estimates of (32) and (35) in the previous section to obtain that for any  ⊂⊂ R 2 .Hence, it follows that for any test function ⃗  ∈ D([0, ); D(R 2 ; R 2 )), where U ⊗ U means the weak limit of {  u  ⊗ u  } >0 .To complete the proof, we need to show U ⊗ U = U⊗U in the weak sense thanks to the oscillations of the gradient component of the velocity field and we postpone showing this part to handle the oscillations of the gradient component in the next section.To do this, we will use the estimate of the directional field {d  } >0 obtained in Jiang et al. [9].We recall a basic estimate given in [10].Consider the following.Lemma 5. Let  1 ,  2 be positive numbers.Then there exists  := ( 1 ,  2 ) such that if ∇d  ∈ in the sense of distribution and |d| = 1.Consequently, using the estimates of {d  } >0 implies that for all ⃗  ∈ [D([0, ) × R 2 )] 2 .We are now able to identify the limit problem of the moment equation (11).Let us take the limit  → 0 in the moment equation (11) and we get for any test function where we have assumed In general we do not expect but our aim is to show that (47) holds in the weak sense; namely, for any 3.4.Strong Convergence of the Velocity.In this section, our aim is to show that (48) holds.To do this we will follow the framework of Feireisl [7].Indeed, it is sufficient to show that which is equivalent to the following convergence: for any  ∈  ∞  (; R 2 ), where V  =   u  , and we have here used the embedding  1,2 (R 2 ) →  2 () for any compact subset  ⊂⊂ R 2 and the convergence of (37).For the proof, we will apply Kato's result [6], Theorem 6.
Theorem 6 (see Reed and Simon [11]).Let  be a closed densely defined linear operator and  a self-adjoint densely defined operator in a Hilbert space .