Well-posedness for 3D nematic liquid crystal flows with damping

Abstract

The three-dimensional nematic liquid crystal flows with damping are considered in this paper. The existence and uniqueness of strong solutions for the 3D nematic liquid crystal flows with damping are proved for $\beta\geq4$ with any $\alpha>0$.

1 Introduction

In this paper, we consider the following three-dimensional nematic liquid crystal flows with damping:

$$ \textstyle\begin{array}{l} \left \{ \textstyle\begin{array}{l} \partial_{t}u-\nu\Delta u+(u\cdot\nabla)u+\alpha \vert u \vert ^{\beta-1}u+\nabla p=-\lambda\nabla\cdot(\nabla d\odot\nabla d),\\ \partial_{t}d+(u\cdot\nabla)d=\gamma(\Delta d-f(d)),\\ \nabla\cdot u=0,\\ u|_{\partial D}=d|_{\partial D}=0,\\ u(x,0)=u_{0}(x),\qquad d(x,0)=d_{0}(x). \end{array}\displaystyle \right . \end{array} $$

(1)

Here, $x\in D\subseteq\mathbb{R}^{3}$ is a bounded domain with the boundary ∂D and $t>0$. $u=u(x,t)$ is the velocity field of the flow, $d=d(x,t)$ represents the (averaged) macroscopic/continuum molecule orientation and p is the pressure. ν, λ, γ, α are positive constants, $\beta\geq1$ and $f(d)=\frac{1}{\eta ^{2}}(|d|^{2}-1)d$ ($\eta>0$). The $3\times3$ matrix is given by $(\nabla d\odot\nabla d)_{ij}=\partial_{i}d\cdot\partial_{j}d$ for ($1\leq i,j\leq3$). For simplicity, we set $\nu=\gamma=\lambda=\eta=1$.

Recently, the 3D nematic liquid crystal flows were proposed by Lin ([1, 2]) and have been extensively investigated. The damping term describes many physical situations such as drag or friction effects, porous media flow, some dissipative mechanisms. When $d=0$, the problem (1) reduces to the three-dimensional Navier–Stokes equations with damping. In [3–6], the well-posedness of the three-dimensional Navier–Stokes equations with damping is proved for $\beta>3$ with any $\alpha>0$ and $\alpha\geq\frac {1}{4}$ as $\beta=3$. The global existence of weak solutions of the 3D nematic liquid crystal flow was proved in [7]. In [8], the existence and uniqueness of strong solutions for the 3D magneto-micropolar equations were proved for $\beta\geq4$ with any $\alpha>0$.

This paper is organized as follows. In Sect. 2, we will prove the existence and uniqueness of strong solutions for the 3D nematic liquid crystal flows with damping for $\beta\geq4$ with any $\alpha>0$. Moreover, we get the following main result.

Theorem 1.1

Let$(u_{0},d_{0})\in H^{1}(D)\times H^{2}(D)$such that$\nabla\cdot u_{0}=0$, for$\beta\geq4$with any$\alpha>0$. Then the problem (1) has a unique strong solution$(u,d)$satisfying for any given$T>0$

$$\begin{aligned}& u\in L^{\infty}\bigl(0,T;H^{1}\bigr)\cap L^{2} \bigl(0,T;H^{2}\bigr)\cap L^{\beta +1}\bigl(0,T;L^{\beta+1}(D) \bigr), \\& d\in L^{\infty}\bigl(0,T;H^{1}\bigr)\cap L^{\infty} \bigl(0,T;H^{2}\bigr)\cap L^{2}\bigl(0,T;H^{3} \bigr), \\& \vert u \vert ^{\frac{\beta-1}{2}}\nabla u\in L^{2} \bigl(0,T;L^{2}(D)\bigr),\qquad \nabla \vert u \vert ^{\frac {\beta+1}{2}} \in L^{2}\bigl(0,T;L^{2}(D)\bigr). \end{aligned}$$

2 Proof of Theorem 1.1

In this section, C represents a nonnegative constant whose value may be different from line to line. Multiplying the first equation of Eq. (1) by u and the second equation of (1) by $-\Delta d+f(d)$, integrating the result over D, and summing their results, then we have

$$ \frac{1}{2}\frac{d}{dt} \int_{D}\bigl( \vert u \vert ^{2}+ \vert \nabla d \vert ^{2}+2F(d)\bigr)\,dx + \int_{D}\bigl( \vert \nabla u \vert ^{2}+ \alpha \vert u \vert ^{\beta+1}+ \bigl\vert \Delta d-f(d) \bigr\vert ^{2}\bigr)\,dx=0, $$

(2)

here $f(d)=\nabla F(d)$, $((u\cdot\nabla)u,u)=(u,\nabla p)=((u\cdot \nabla)d,f(d))=(u,\nabla\frac{|\nabla d|^{2}}{2})=0$ and $\nabla\cdot (\nabla d\odot\nabla d)=\nabla(\frac{|\nabla d|^{2}}{2})+\Delta d\cdot \nabla d$, i.e., $F(d)=\frac{|d|^{4}}{4}-\frac{|d|^{2}}{2}$. Then it is easy to get

$$ \Vert u \Vert _{L^{\infty}(0,T;L^{2})}+ \Vert u \Vert _{L^{\beta+1}(0,T;L^{\beta+1})}+ \Vert u \Vert _{L^{2}(0,T;H^{1})}\leq C. $$

(3)

Multiplying the second equation of (1) by $|d|^{2}d$, it is easy to get

$$ \frac{1}{4}\frac{d}{dt} \int_{D} \vert d \vert ^{4}\,dx+ \frac{1}{2} \bigl\Vert \nabla \vert d \vert ^{2} \bigr\Vert ^{2}_{L^{2}} + \int_{D}\bigl( \vert d \vert ^{2} \vert \nabla d \vert ^{2}+ \vert d \vert ^{6}\bigr)\,dx= \int_{D} \vert d \vert ^{4}\,dx. $$

(4)

Applying the Gronwall inequality, then we have

$$ \bigl\Vert d(t) \bigr\Vert _{L^{4}}^{4}+ \int_{0}^{t} \bigl\Vert \nabla \vert d \vert ^{2} \bigr\Vert ^{2}_{L^{2}}\,ds+ \int _{0}^{t} \int_{D}\bigl( \vert d \vert ^{2} \vert \nabla d \vert ^{2}+ \vert d \vert ^{6}\bigr)\,dx\,ds \leq C(t,d_{0}). $$

(5)

Multiplying the second equation of (1) by $f(d)$, we deduce

$$ \frac{d}{dt} \int_{D}F(d)\,dx= \int_{D}\bigl(\Delta df(d)- \bigl\vert f(d) \bigr\vert ^{2}\bigr)\,dx. $$

(6)

Adding (2)–(6) and using the Gronwall inequality and $f(d)=(|d|^{2}-1)d$, we have

$$ \Vert d \Vert _{L^{\infty}(0,T;H^{1})}+ \Vert d \Vert _{L^{2}(0,T;H^{2})}\leq C. $$

(7)

Multiplying the first equation of (1) by $-\Delta u$, it is easy to get

$$ \begin{aligned}[b]&\frac{1}{2}\frac{d}{dt} \Vert \nabla u \Vert ^{2}_{L^{2}} + \Vert \Delta u \Vert ^{2}_{L^{2}} +\alpha \bigl\Vert \vert u \vert ^{\frac{\beta-1}{2}}\nabla u \bigr\Vert _{L^{2}}^{2}+ \frac{4\alpha (\beta-1)}{(\beta+1)^{2}} \bigl\Vert \nabla \vert u \vert ^{\frac{\beta+1}{2}} \bigr\Vert _{L^{2}}^{2} \\ &\quad= \int_{D}(u\cdot\nabla)u\cdot\Delta u\,dx+ \int_{D}\nabla d\Delta d\Delta u\,dx.\end{aligned} $$

(8)

Taking Δ on the second equation of (1) and dotting with Δd, we get

$$\begin{aligned} \frac{1}{2}\frac{d}{dt} \Vert \Delta d \Vert ^{2}_{L^{2}}+ \Vert \nabla\Delta d \Vert ^{2}_{L^{2}} =& - \int_{D}\Delta f(d)\Delta d\,dx- \int_{D}\Delta u\nabla d\Delta d\,dx \\ &{}-2\sum_{i,k=1}^{3} \int_{D}\nabla u_{i}\partial_{i} \nabla d_{k}\Delta d_{k}\,dx. \end{aligned}$$

(9)

Adding (8) and (9), we have

$$\begin{aligned} &\frac{1}{2}\frac{d}{dt}\bigl( \Vert \nabla u \Vert ^{2}_{L^{2}}+ \Vert \Delta d \Vert ^{2}_{L^{2}}\bigr) + \Vert \Delta u \Vert ^{2}_{L^{2}}+ \Vert \nabla\Delta d \Vert ^{2}_{L^{2}} +\alpha \bigl\Vert \vert u \vert ^{\frac{\beta-1}{2}}\nabla u \bigr\Vert _{L^{2}}^{2} \\ &\qquad{}+\frac{4\alpha(\beta-1)}{(\beta+1)^{2}} \bigl\Vert \nabla \vert u \vert ^{\frac{\beta+1}{2}} \bigr\Vert _{L^{2}}^{2} \\ &\quad = \int_{D}(u\cdot\nabla)u\cdot\Delta u\,dx- \int_{D}\Delta f(d)\Delta d\,dx-2\sum_{i,k=1}^{3} \int_{D}\nabla u_{i}\partial_{i} \nabla d_{k}\Delta d_{k}\,dx \\ &\quad=\sum _{i=1}^{3}I_{i}(t). \end{aligned}$$

(10)

For $I_{1}(t)$, using the Young inequality and the Hölder inequality, it is easy to get, for any $\beta>3$,

$$\begin{aligned} \bigl\vert I_{1}(t) \bigr\vert \leq& \frac{1}{4} \Vert \Delta u \Vert _{L^{2}}^{2} +C \int_{D} \vert u \vert ^{2} \vert \nabla u \vert ^{\frac{4}{\beta-1}} \vert \nabla u \vert ^{2-\frac {4}{\beta-1}}\,dx \\ \leq& \frac{1}{4} \Vert \Delta u \Vert _{L^{2}}^{2}+ \frac{\alpha}{2} \int _{D} \vert u \vert ^{\beta-1} \vert \nabla u \vert ^{2}\,dx +C \Vert \nabla u \Vert ^{2}_{L^{2}}. \end{aligned}$$

(11)

Inspired by [3–5] and exists $\theta>0$, we get $1-\frac{1}{2\theta}\geq0$ and $\alpha-\frac{\theta}{2}\geq0$. Then we get the above estimate easily for $\alpha\geq\frac{1}{4}$ as $\beta =3$.

For $I_{2}(t)$, integrating by parts, applying the Hölder inequality and the Young inequality, we get

$$\begin{aligned} I_{2}(t) =&\sum_{i=1}^{3} \int_{D}\partial_{i}\bigl( \vert d \vert ^{2}d\bigr)\partial _{i}\Delta d\,dx -\sum _{i=1}^{3} \int_{D}\partial_{i}d\partial_{i} \Delta d\,dx \\ \leq& C\bigl( \Vert \nabla d \Vert _{L^{6}} \Vert \nabla\Delta d \Vert _{L^{2}} \Vert d \Vert _{L^{6}}^{2}+ \Vert \nabla d \Vert _{L^{2}} \Vert \nabla\Delta d \Vert _{L^{2}}\bigr) \\ \leq& \frac{1}{4} \Vert \nabla\Delta d \Vert _{L^{2}}^{2}+C \bigl( \Vert \nabla d \Vert _{L^{2}}^{2}+ \Vert \nabla d \Vert _{L^{2}}^{4} \Vert \Delta d \Vert _{L^{2}}^{2}\bigr) \\ \leq& \frac{1}{4} \Vert \nabla\Delta d \Vert _{L^{2}}^{2}+C \Vert \Delta d \Vert _{L^{2}}^{2}+C. \end{aligned}$$

(12)

For $I_{3}(t)$, since $\frac{2}{\beta-2}\leq1$ for $\beta\geq4$, by using the Hölder, Gagliardo-Nirenberg and Young inequalities, we get

$$\begin{aligned} I_{3}(t) =&2\sum_{i=1}^{3} \biggl( \int_{D} u_{i}\partial_{i}\nabla d \nabla \Delta d\,dx+ \int_{D} u_{i}\partial_{i} \nabla^{2} d\Delta d\,dx\biggr) \\ \leq& C \Vert u \Vert _{L^{\beta+1}} \Vert \Delta d \Vert _{L^{\frac{2(\beta+1)}{\beta -1}}} \Vert \nabla\Delta d \Vert _{L^{2}} \\ \leq& C \Vert u \Vert _{L^{\beta+1}} \Vert \Delta d \Vert _{L^{2}}^{\frac{\beta-2}{\beta+1}} \Vert \nabla\Delta d \Vert _{L^{2}}^{\frac{\beta+4}{\beta+1}} \\ \leq& \frac{1}{4} \Vert \nabla\Delta d \Vert _{L^{2}}^{2}+C \Vert u \Vert _{L^{\beta +1}}^{\frac{2(\beta+1)}{\beta-2}} \Vert \Delta d \Vert _{L^{2}}^{2} \\ \leq& \frac{1}{4} \Vert \nabla\Delta d \Vert _{L^{2}}^{2}+C \bigl(1+ \Vert u \Vert _{L^{\beta +1}}^{\beta+1}\bigr) \Vert \Delta d \Vert _{L^{2}}^{2}. \end{aligned}$$

(13)

Adding (10)–(13), it is easy to get

$$\begin{aligned} &\frac{d}{dt}\bigl( \Vert \nabla u \Vert ^{2}_{L^{2}}+ \Vert \Delta d \Vert ^{2}_{L^{2}}\bigr) + \Vert \Delta u \Vert ^{2}_{L^{2}}+ \Vert \nabla\Delta d \Vert ^{2}_{L^{2}} + \bigl\Vert \vert u \vert ^{\frac{\beta-1}{2}}\nabla u \bigr\Vert _{L^{2}}^{2} + \bigl\Vert \nabla \vert u \vert ^{\frac{\beta+1}{2}} \bigr\Vert _{L^{2}}^{2} \\ &\quad\leq C\bigl(1+ \Vert u \Vert _{L^{\beta+1}}^{\beta+1}\bigr) \bigl( \Vert \Delta d \Vert _{L^{2}}^{2}+ \Vert \nabla u \Vert ^{2}_{L^{2}}\bigr)+C. \end{aligned}$$

(14)

Applying the Gronwall inequality and (3), we have

$$\begin{aligned} & \bigl\Vert \nabla u(t) \bigr\Vert ^{2}_{L^{2}}+ \bigl\Vert \Delta d(t) \bigr\Vert ^{2}_{L^{2}} \\ &\qquad{}+ \int_{0}^{t}\bigl( \Vert \Delta u \Vert ^{2}_{L^{2}}+ \Vert \nabla\Delta d \Vert ^{2}_{L^{2}} + \bigl\Vert \vert u \vert ^{\frac{\beta-1}{2}}\nabla u \bigr\Vert _{L^{2}}^{2} + \bigl\Vert \nabla \vert u \vert ^{\frac{\beta+1}{2}} \bigr\Vert _{L^{2}}^{2}\bigr)\,ds \\ &\quad\leq C(t,u_{0},d_{0}). \end{aligned}$$

(15)

Next, we will prove the uniqueness of the strong solutions of the problem (1). Let $(u,d)$ and $(\bar{u},\bar{d})$ be the two solutions for the problem (1) with the same $u_{0}$, $d_{0}$. Assume that $(\hat{u},\hat{d})=(\bar{u}-u,\bar{d}-d)$. Then we have

$$\begin{aligned} &\frac{1}{2}\frac{d}{dt}\bigl( \Vert \hat{u} \Vert _{L^{2}}^{2}+ \Vert \nabla\hat{d} \Vert _{L^{2}}^{2}\bigr) + \Vert \nabla\hat{u} \Vert _{L^{2}}^{2}+ \Vert \Delta\hat{d} \Vert _{L^{2}}^{2}+\alpha \int_{D} \bigl( \vert \bar{u} \vert ^{\beta-1} \bar{u}- \vert u \vert ^{\beta-1}u\bigr) (\bar{u}-u)\,dx \\ &\quad\leq \int_{D} \vert \hat{u} \vert ^{2} \vert \nabla\bar{u} \vert \,dx + \int_{D} \vert \hat{u} || \nabla\hat{d} || \Delta\bar{d} \vert \,dx \\ &\qquad{}+ \int_{D} \vert \bar{u} || \nabla\hat{d} || \Delta\hat{d} \vert \,dx + \int_{D} \bigl\vert f(\bar{d})-f(d)\bigr||\Delta\hat{d} \vert \,dx \\ &\quad=\sum_{i=1}^{4}J_{i}(t). \end{aligned}$$

(16)

Since $g(u)=\alpha|u|^{\beta-1}u$ is a monotonic function in D, it is easy to get

$$\begin{aligned} \alpha \int_{D} \bigl( \vert \bar{u} \vert ^{\beta-1} \bar{u}- \vert u \vert ^{\beta-1}u\bigr) (\bar{u}-u)\,dx\geq0. \end{aligned}$$

(17)

For $J_{1}(t)$, using the Gagliardo–Nirenberg and Young inequalities, we have

$$\begin{aligned} J_{1}(t) \leq& C \Vert \hat{u} \Vert ^{\frac{1}{2}}_{L^{2}} \Vert \nabla\hat{u} \Vert ^{\frac{3}{2}}_{L^{2}} \Vert \nabla \bar{u} \Vert _{L^{2}} \\ \leq& \frac{1}{4} \Vert \nabla\hat{u} \Vert ^{2}_{L^{2}}+C \Vert \nabla\bar{u} \Vert _{L^{2}}^{4} \Vert \hat{u} \Vert ^{2}_{L^{2}}. \end{aligned}$$

(18)

For $J_{2}(t)$ and $J_{3}(t)$, similarly, we also get

$$\begin{aligned}[b] J_{2}(t)&\leq C\Vert \hat{u} \Vert _{L^{4}} \Vert \nabla\hat{d} \Vert _{L^{4}} \Vert \Delta\bar {d} \Vert _{L^{2}} \\ &\leq C\Vert \hat{u} \Vert _{L^{2}}^{\frac{1}{4}} \Vert \nabla \hat{u} \Vert _{L^{2}}^{\frac{3}{4}} \Vert \nabla\hat{d} \Vert _{L^{2}}^{\frac{1}{4}} \Vert \Delta\hat{d} \Vert _{L^{2}}^{\frac{3}{4}} \Vert \Delta\bar{d} \Vert _{L^{2}} \\ &\leq \frac{1}{8} \Vert \nabla\hat{u} \Vert _{L^{2}}^{2}+ \frac{1}{8} \Vert \Delta\hat {d} \Vert _{L^{2}}^{2} +C \Vert \Delta\bar{d} \Vert _{L^{2}}^{4}\bigl( \Vert \hat{u} \Vert _{L^{2}}^{2}+ \Vert \nabla\hat {d} \Vert _{L^{2}}^{2}\bigr)\end{aligned} $$

(19)

and

$$\begin{aligned} J_{3}(t) \leq& C \Vert \bar{u} \Vert _{L^{6}} \Vert \nabla\hat{d} \Vert _{L^{2}}^{\frac {1}{2}} \Vert \Delta\hat{d} \Vert _{L^{2}}^{\frac{3}{2}} \\ \leq& \frac{1}{8} \Vert \Delta\hat{d} \Vert _{L^{2}}^{2}+C \Vert \nabla\bar{u} \Vert _{L^{2}}^{4} \Vert \nabla \hat{d} \Vert _{L^{2}}^{2}. \end{aligned}$$

(20)

For $J_{4}(t)$, applying the Hölder inequality, we get

$$\begin{aligned} J_{4}(t) \leq& \bigl\Vert f(\bar{d})-f(d) \bigr\Vert _{L^{2}} \Vert \Delta\hat{d} \Vert _{L^{2}} \\ \leq& \frac{1}{4} \Vert \Delta\hat{d} \Vert _{L^{2}}^{2}+C \bigl(1+ \Vert \nabla\bar{d} \Vert _{L^{2}}^{4}+ \Vert \nabla d \Vert _{L^{2}}^{4}\bigr) \Vert \nabla\hat{d} \Vert _{L^{2}}^{2}. \end{aligned}$$

(21)

Summing (16)–(21), we have

$$\begin{aligned} &\frac{d}{dt}\bigl( \Vert \hat{u} \Vert _{L^{2}}^{2}+ \Vert \nabla\hat{d} \Vert _{L^{2}}^{2}\bigr) + \Vert \nabla\hat{u} \Vert _{L^{2}}^{2}+ \Vert \Delta\hat{d} \Vert _{L^{2}}^{2} \\ &\quad\leq C\bigl(1+ \Vert \nabla\bar{u} \Vert _{L^{2}}^{4}+ \Vert \nabla\bar{d} \Vert _{L^{2}}^{4}+ \Vert \nabla d \Vert _{L^{2}}^{4}+ \Vert \Delta\bar{d} \Vert _{L^{2}}^{4}\bigr) \bigl( \Vert \hat{u} \Vert ^{2}_{L^{2}}+ \Vert \nabla\hat{d} \Vert _{L^{2}}^{2}\bigr). \end{aligned}$$

(22)

Applying the Gronwall inequality and (7) and (15), then we have

$$\begin{aligned} \bigl\Vert \hat{u}(t) \bigr\Vert _{L^{2}}^{2}+ \bigl\Vert \nabla\hat{d}(t) \bigr\Vert _{L^{2}}^{2} \leq\bigl( \bigl\Vert \hat{u}(0) \bigr\Vert _{L^{2}}^{2}+ \bigl\Vert \nabla\hat{d}(0) \bigr\Vert _{L^{2}}^{2} \bigr)e^{C\int_{0}^{t}H(s)\,ds}, \end{aligned}$$

(23)

where, $H(s)=1+\|\nabla\bar{u}(s)\|_{L^{2}}^{4}+\|\nabla\bar{d}(s)\| _{L^{2}}^{4}+\|\nabla d(s)\|_{L^{2}}^{4}+\|\Delta\bar{d}(s)\| _{L^{2}}^{4}$. The uniqueness of the strong solutions of the problem (1) is proved. This completes the proof of Theorem 1.1.