Abstract
The Beris–Edwards model of nematic liquid crystals couples an equation for the molecular orientation described by the Q-tensor with a Navier–Stokes type equation with an additional non-Newtonian stress caused by the molecular orientation. Both equations contain a parameter \(\xi \in \mathbb {R}\) measuring the ratio of tumbling and alignment effects. Previous well-posedness results largely vary on the space dimension n and the constraints of the parameter \(\xi \in \mathbb {R}\). This work addresses strong well-posedness of this model, first locally and then globally for small initial data, both in the \(L^p\)-\(L^2\)-setting for \(p > \frac{4}{4-n}\), in the general cases, i.e., for \(n = 2, 3\) and without any restriction on \(\xi \). The approach is based on methods from quasilinear equations and the fact that the associated linearized operator admits maximal \(L^p\)-\(L^2\)-regularity. The proof of the latter property relies on techniques from sectorial operators, Schur complements and \(\mathcal {J}\)-symmetry.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In physics there are various ways of describing order parameters in liquid crystals: the Doi–Onsager, the Landau–De Gennes and the Ericksen–Leslie theory. These lead to mathematical theories at various levels. The Ericksen-Leslie-model is a so-called vector model. Vector theories have the drawback that they do not respect head-to-tail symmetry (see [2]) which leads to difficulties when describing defect structures. Another type of model describing liquid crystal flow is the Q-tensor model, including the Landau-De Gennes theory. In contrast to vector models, it uses a symmetric, traceless \(3 \times 3\)-matrix Q to describe the alignment of molecules; they allow the description of the biaxiality of the alignment.
There exist several models which describe the dynamics of liquid crystals making use of the Q-tensor. We concentrate here on the Beris–Edwards system describing biaxial liquid crystals by the set of equations (1.1)–(1.6) given in [7] and below in (1.1). The evolution of Q is driven by the free energy of the molecules as well as by transport, distortion, tumbling and alignment effects caused by the flow. The flow field is forced by an additional non-Newtonian stress caused by the molecules orientation and expressed in terms of Q and \(\xi \), where the parameter \(\xi \) measures the ratio of tumbling and alignment effects. For more information on various liquid crystal systems we refer to the monographs by Sonnet and Virga [29], and Virga [33] as well to the survey articles [16, 31] and [35].
Previous analytical results on the Beris-Edwards model concentrated mainly on the case where the parameter \(\xi \) is zero or \(n=2\), see e.g. [8].
In what follows we analyze the Beris-Edwards model [7] in a bounded domain \(\Omega \subset \mathbb {R}^n\) with smooth boundary in dimensions \(n=2,3\) and for arbitrary \(\xi \in \mathbb {R}\). This Q-tensor model, going back to the work of de Gennes [12] describes, as written above, in contrast to the Ericksen–Leslie system, biaxial liquid crystals. The Beris–Edwards model is given by the following set of equations:
Here
where u, p and Q describe the velocity, pressure and the molecular orientation of the liquid crystal, respectively. Moreover, \(\Gamma \), \(\lambda \), \(\nu \) and a are positive constants and b and c are constants. For simplicity, we set \(\nu =\Gamma =\lambda =a=b=c=1\), which does not change our analysis concerning the existence and uniqueness of local solutions for arbitrary large data and global solutions for small data described in Theorems 3.1 and 3.2. This is, of course, different when we are considering as in Remark 3.3 the set of equilibria for equation (1.1).
More specifically, Q takes values in \(\mathbb {S}^n_{0}\), the space of symmetric \(n\times n\)-matrices having trace zero. In three space dimensions, Q having one, two, or three different eigenvalues corresponds then to the case of isotropic, uniaxial and biaxial liquid crystals, respectively. The term S describes how the gradient of the velocity, \(\nabla u\), stretches and rotates the order parameter Q. The expression H relates to the variational derivative of the free energy functional which uses the one constant approximation for the Oseen-Frank energy of liquid crystals together with a Landau-de Gennes expression for the bulk energy, (cf. e.g. [3, 7]). The terms \(\tau \) and \(\sigma \) correspond to the symmetric and antisymmetric part of the stress tensor, respectively, and the parameter \(\xi \) describes the ratio of tumbling and alignment effects.
Moreover, \(D(u)=\tfrac{1}{2}(\nabla u+(\nabla u)^T)\) and \(W(u)=\tfrac{1}{2}(\nabla u-(\nabla u)^T)\) denote the symmetric and antisymmetric part of the gradient of u, respectively. Regarding matrix-related notation, in the above \(\mathbb {I}\) stands for the \(n\times n\)-valued identity matrix (although we shall use it later also for other identities), \({{\,\textrm{tr}\,}}\) describes the trace of a matrix, and the (i, j)-component of \(\nabla Q\odot \nabla Q\) equals \({{\,\textrm{tr}\,}}(\partial _iQ\partial _jQ)\).
Analytically, the Beris–Edwards model has been studied by many authors. The existing results on weak and strong solutions as well as their uniqueness properties depend, however, largely on the space dimension n and the constraints on the parameter \(\xi \).
Concerning weak solutions, the first results were established by Paicu and Zarnescu in [22]. They considered the case \(\Omega =\mathbb {R}^n\) and \(\xi =0\) and were able to prove global existence of weak solutions to Eq. (1.1) in dimension \(n=2\) and \(n=3\), as well as weak-strong uniqueness for \(n=2\). In [23] they expanded their result to the case where \(\xi \ne 0\) is sufficiently small. The existence of weak solutions for the general case \(\xi \in \mathbb {R}\) and \(n=2,3\) was proven by Wilkinson [32]. He also established higher regularity results in two dimensions when \(\xi =0\) for a singular potential as bulk energy. Furthermore, Feireisl, Rocca, Schimperna and Zarnescu [11] proved existence of weak solutions for an isothermal variant with the above mentioned singular potential as bulk energy for periodic boundary conditions. Moreover, existence of global weak solutions with a more general energy functional was shown by Huang and Ding [17]. Abels, Dolzmann and Liu [3] showed local well-posedness and global existence for weak solutions.
Concerning strong solutions, Abels, Dolzmann, and Liu [4] established local, strong well-posedness of equations (1.1) with different boundary conditions for the case \(\xi =0\). Cavaterra, Rocca, Wu and Xu [8] showed global well-posedness of Eq. (1.1) in dimension \(n=2\) for general \(\xi \in \mathbb {R}\). Furthermore, Xiao [34] showed local well-posedness and global existence for small data for the case \(\xi =0\) and with the additional assumption of \(S=0\). Global well-posedness and decay estimates for a modified stress tensor of equations (1.1) were shown by Schonbek and Shibata [28] in the case \(\Omega =\mathbb {R}^n\). The above Q-tensor model for general values of \(\xi \in \mathbb {R}\) but subject to inhomogeneous Dirichlet boundary conditions was investigated by Liu and Wang in [19] even in the setting of anisotropic elasticity. They proved the existence of a unique, local strong solution in the case of strong anchoring boundary conditions for Q for a non-empty subset of certain admissible initial data \((u_0,Q_0)\) belonging to \(H^1_{0,\sigma } \times H^2\). Note that the size of this subset remains unclear while our approach does not require any such admissibility conditions.
It is the aim of this paper to give a rather complete understanding of the well-posedness of the Beris-Edwards model in dimension \(n=2,3\) in the case of an arbitrary ratio of tumbling and aligning effects. Let us note that by well-posedness we mean well-posedness in the strong sense. We prove in Sect. 3 first that the Beris–Edwards model is locally, strongly well-posed for arbirtray \(\xi \in \mathbb {R}\) and \(n=2,3\) and secondly, that the trivial equilibrium \(v^*=0\) is stable in the sense that for initial data close to this equilibrium, the solution exists globally and converges to some equilibrium point as \(t\rightarrow \infty \).
Analytically, the main difficulty in the investigation of the Q-tensor model is given by the fact that the latter equations formulate a quasilinear, mixed order system where the diagonal parts are of second order operators, whereas the off-diagonal parts are of third and first order. Let us note that, in contrast to systems, whose principal parts give rise to well-posedness results, see e.g. [6, 10], there is no general theory for mixed order systems. Introducing an anisotropic ground space, we obtain a system where every entry is of highest order. The analysis of this latter system is one of the main difficulties of our approach.
It is interesting to comment on previous approaches. Xiao [34] assumed that \(\xi \) as well as the coupling term S is zero. In this case, the system is of upper triangular form and solvability properties can be shown rather easily. Schonbek and Shibata [28] studied a modified stress tensor, which results in a system which is of perturbed lower triangular form. The perturbation is then controlled by an additional smallness assumption. Murata and Shibata [21] considered only the full space case with data close to zero. The linearisation then simplifies considerably to the case where the relevant and difficult terms vanish. Thus, it reduces to the case of constant coefficients. Let us emphasize that our approach includes the general case of arbitrary Q-tensors \(Q_0\). Moreover, our strategy allows for dealing not only with \(\mathbb {R}^n\) but with the physically relevant case of bounded domains. Abels, Dolzmann and Liu [4] assumed \(\xi =0\) and different boundary conditions. This results in additional symmetry properties of the system. They then show local strong well-posedness of a regularized system for which the different boundary conditions are necessary, and, secondly, they transfer this property to the limiting system by higher-order energy estimates. When performing these higher order energy estimates they exploit the above mentioned additional symmetry that arises only when \(\xi =0\). It is unclear whether their method can be generalized to the case of \(\xi \ne 0\).
The rest of this article is structured as follows: in Sect. 2 we describe the Beris-Edwards model and its derivation in some detail. Section 3 is devoted to the presentation of our main results. Thereafter, we state well-posedness results for quasilinear evolution equations. Section 5 deals with the linearization of the quasilinear formulation of (1.1) and its maximal regularity properties. Here we make use of methods from Schur complements and \(\mathcal {J}\)-symmetry. We estimate the nonlinear terms in Sect. 6, before we prove the main theorems in Sect. 7.
2 Description of the Model
In this section we give a short explanation of the Q-tensor model described in (1.1). For a very thorough study of liquid crystal models we refer to the two monographs by Virga [33] and Sonnet and Virga [29].
Given a point \(x \in \Omega \subset \mathbb {R}^n\), \(n=2\) or \(n=3\), let \(\varrho _x\) be the probability density function of the molecular orientation. These molecular orientations are elements of \(S^{n-1}\), the unit sphere in \(\mathbb {R}^n\). The Q-tensor is then defined as the traceless second-order moment of this probablity density function, i.e.,
where \(\sigma ^{n-1}\) denotes the surface measure on \(S^{n-1}\). Since \(\text{ tr }(\omega \otimes \omega ) = |\omega |^2 =1\), we see that \(\text{ tr }\; Q = 0\). Thus Q(x) belongs to \(\mathbb {S}^n_{0,\mathbb {R}}\), the space of symmetric, traceless \(n\times n\)-matrices; that is,
In dimension \(n=3\), Q(x) has one, two or three different eigenvalues corresponding to the isotropic, uniaxial or biaxial liquid crystals, respectively. These models were investigated by Ball, Majumdar [1] and Ball and Zarnescu [2]. In the following, we summarize some of their ideas.
Since Q(x) is symmetric, it has three (not necessarily different) eigenvalues \(\lambda _1,\lambda _2, \lambda _3 \in \mathbb {R}\). The representation (2.1) yields that \(\lambda _1,\lambda _2, \lambda _3 \in [-\frac{1}{3},\frac{2}{3}]\). Denoting by \(e_i\) the eigenvectors of \(\lambda _i\), \(i=1,2,3\), of unit length, we see that Q(x) can be represented as
Now, if Q(x) has only one distinct eigenvalue, this eigenvalue is zero and thus \(Q(x)=0\), which correponds to the isotropic case, i.e., the molecules are randomly distributed.
If Q(x) has two different eigenvalues (without loss of generality \(\lambda _2=\lambda _3\), \(\lambda _2= -\frac{1}{2} \lambda _1\)), then (2.2) implies that Q(x) can be represented as
where \(s:= \frac{3}{2} \lambda _1 \in [-\frac{1}{2},1]\). The unit vector \(e_1\) corresponds then to the director field in the Ericksen-Leslie model. For analytical results concerning this model we refer to [14,15,16]. This case corresponds to the uniaxial nematic state.
If Q(x) has three different eigenvalues, then (2.2) yields that it can be respresented as
where \(s_1=2\lambda _1+\lambda _2\) and \(s_2=\lambda _1+2\lambda _2\) for \(s_1,s_2 \in [-\frac{1}{2},1]\) and \(s_1 \ne s_2\). This case corresponds to the biaxial nematic state, i.e., there are two axes of symmetry within the arrangement of the molecules. Here the direction of these two axes are \(e_1\) and \(e_2\), while \(s_1\) and \(s_2\) measure the respective degrees of the orientational ordering.
We now turn our attention to the free energy functional. For given constants \(a,\lambda >0\), \(b,c \in \mathbb {R}\) and \(Q: \Omega \rightarrow \mathbb {S}^n_{0,\mathbb {R}}\) its free energy functional is given by
The first summand above amounts for the elastic energy, whereas the other terms stem from the Landau–de Gennes thermotropic energy (see [12]). For \(Q \in \{Q \in H^2(\Omega ,\mathbb {S}^n_{0.\mathbb {R}}): \partial _\nu Q =0 \text{ on } \partial \Omega \}\), the term
relates to the above free energy by
for any \(\phi \in H^1(\Omega ,\mathbb {S}^n_{0.\mathbb {R}})\).
The dynamic equation for the Q-tensor is then given by
with a positive constant \(\Gamma >0\). It states that the change in time of Q is given by a convection term, a term S, which describes how the gradient of the velocity stretches and rotates the order parameter and a term H, which is derived from the above energy functional. The term S is given by
where \(D=D(u)=\frac{1}{2}(\nabla u + (\nabla u)^T)\) and \(W=W(u)=\frac{1}{2}(\nabla u - (\nabla u)^T)\) denote the symmetric and anti-symmetric part of the velocity gradient, respectively. Moreover, the parameter \(\xi \in \mathbb {R}\) describes the ratio of tumbling and alignment effects.
The flow field is forced by an additional non-Newtonian stress caused by the molecules’ orientation and expressed in terms of Q and \(\xi \). It reads as
where \(\nu >0\) is a constant and \(\tau \) is the symmetric and \(\sigma \) the anti-symmetric part of the stress tensor given by
where the (i, j)-th component of \(\nabla Q\odot \nabla Q\) equals \(\text{ tr }(\partial _iQ\partial _jQ)\).
Lastly, there is the incompressibility condition
Summing up, the Q-tensor model of Beris-Edwards is given by the momentum equation (2.6), the incompressibility condition (2.7), the dynamic equation for the order parameter (2.5) and Neumann boundary condutions for Q, Dirichlet boundary conditions for u as well as initial conditions \(u_0\) and \(Q_0\) for u and Q.
3 Main Results
Let \(n \in \{2,3\}\) and let \(\Omega \subset \mathbb {R}^n\) be a domain with smooth boundary \(\partial \Omega \). For \(p\in (1,\infty )\), \(k\in \mathbb {N}\), we denote by \(L^p(\Omega )\) and \(W^{k}_p(\Omega )\) the Lebesgue space and Sobolev space of order k on the domain \(\Omega \) equipped with the norms \(\Vert \cdot \Vert _{p}\) and \(\Vert \cdot \Vert _{W^k_p}\), respectively. We also denote \(W^{k}_2(\Omega )\) by \(H^k(\Omega )\). The space of of solenoidal functions \(L^2_\sigma (\Omega )\) is given by \(L_{ \sigma }^2(\Omega ):=\overline{\{ u\in C^\infty ({\overline{\Omega }})^n:{\text {div}}u=0\}}^{\Vert \cdot \Vert _2}\).
We consider the Edwards–Beris system as a quasilinear evolution equation in the groundspace
where
denotes the space of symmetric, traceless \(n\times n\)-matrices, which is closed in \(\mathbb {C}^{n\times n}\). The domain \(X_1\) of the quasilinear Q-tensor operator is defined by
where \(A_2:=\mathbb {P}\Delta \) denotes the Stokes operator in \(L^2_\sigma (\Omega )\) with domain
and \(\Delta _N^1:= -\Delta + \mathbb {I}\) the shifted Neumann-Laplacian on \(H^1(\Omega ,\mathbb {S}^n_0)\) with domain
Let us note that the norm on \(\mathbb {S}^n_{0}\) is given by \(\Vert Q\Vert _{\mathbb {S}^n_0} = {{\,\textrm{tr}\,}}(QQ^*)\), where \(Q^*\) denotes the congugate transpose of Q. For \(p\in (1,\infty )\) the trace space \(X_\gamma \) is given as the real interpolation space
We recall from [14] the following characterizations of the interpolation spaces involved:
Note that
provided that \(1/p + n/4 <1\). We are considering solutions in the space \(\mathbb {E}\) of maximal \(L^p\)-regularity given by
using vector valued Lebesgue and Sobolev spaces, cf. e.g. [25, Chapter 3]. The spaces \(\mathbb {E}^u\) and \(\mathbb {E}^Q\) are defined analogously. They denote function spaces related to the regularity of u and Q.
Given \(p \in (1,\infty )\) and \((u_0,Q_0) \in X_\gamma \), we say that (u, Q) is a local, strong solution to equation (1.1), if (1.1) is satisfied almost everywhere on (0, T) for some \(T>0\) and if \((u,Q)\in \mathbb {E}\). If the same assertion holds true for \(T=\infty \), we call (u, Q) a global, strong solution to equation (1.1).
We are now in the position to state our main results, namely local well-posedness and global existence of (1.1) for arbitrary values of \(\xi \in \mathbb {R}\) and \(n\in \{2,3\}\).
Theorem 3.1
(Local, strong well-posedness for arbitrary \(\xi \in \mathbb {R}\)). Let \(n\in \{2,3\}\) and \(p>\frac{4}{4-n}\). Let \(\xi \in \mathbb {R}\) be arbitrary and assume that \(v_0=(u_0,Q_0) \in \)
\(\{u \in B^{2-2/p}_{2,p}(\Omega ) \cap L^2_\sigma (\Omega ), u =0 \text{ on } \partial \Omega \} \times \{Q \in B^{3-2/p}_{2,p}(\Omega ), \partial _\nu Q =0 \text{ on } \partial \Omega \}\).
Then there exists \(T=T(v_0)>0\) such that there exists a unique, strong solution \(v=(u,Q)\) to equation (1.1) on (0, T) lying in the regularity class
Our second main result concerns global existence of strong solutions for initial data close to the trivial equlilibria \(v^*=0\) and reads as follows:
Theorem 3.2
(Global existence for small initial data). Let \(p>\frac{4}{4-n}\) and \(\xi \in \mathbb {R}\). Then the equilibrium \(v^*=0\) of (1.1) is stable in \(X_{\gamma },\) i.e., there exists \(\delta >0\) such that the strong solution v(t) of (1.1) with initial value \(v_0\in X_{\gamma }\) and \(\Vert v_0\Vert _{X_{\gamma }}\le \delta \) exists globally and converges exponentially to 0 in \(X_{\gamma }\) as \(t\rightarrow \infty \).
Remark 3.3
One might wonder how the set of equilibria for equation (1.1) looks like. Let us note that in dimension \(n=2\) or \(n=3\), \(v = (0,0) \in \mathbb {R}^n \times \mathbb {S}^n_{0,\mathbb {R}}\) is the only spatially constant equilibrium for (1.1). This assertion depends, of course, on the chosen set of parameters \(a=b=c=1\). Here the set of spatially constant equilibria is given by
In fact, for the case \(n=2\), \(Q \in \mathbb {S}^2_{0,\mathbb {R}}\) can be represented as \(\left( \begin{array}{cc} \alpha &{}\beta \\ \beta &{} -\alpha \end{array}\right) , \) for some \(\alpha ,\beta \in \mathbb {R}\). The equality \(Q^2 - \text{ tr }\;(Q^2)\mathbb {I}/2 = 0\) yields \(H(Q)=-Q - \text{ tr }\;(Q^2)Q = -(1+2(\alpha ^2 + \beta ^2))Q\). Hence, \(Q=0\) is necessary for \(H(Q)=0\). This assertion remains true in the case of general coefficients \(a>0\) and \(b,c \in \mathbb {R}\) provided \(a + 2c(\alpha ^2+\beta ^2)>0\).
If \(n=3\), then by (2.3) Q can be represented as
where \(s=2\lambda _1 + \lambda \) and \(r=\lambda _1 + 2 \lambda _2\). Assuming \(H(Q)=0\) and substituting the above representation of Q into H(Q) we obtain three equations for the coefficients s and r. One can show that these three equations do not have a real solution besides the trivial one given by \(s=r=0\). This implies \(Q=0\).
4 Background on Quasilinear Evolution Equations
In this section we briefly recall some results on quasilinear parabolic equations of the form
which are employed in the proofs of our main theorems.
We start by fixing some notation. For a Banach space \(X_0\) let \(A_0: D(A_0)=X_1 \rightarrow X_0\) be a densely defined linear operator. For \(p \in (1,\infty )\) and \(0<T \le \infty \) we define the data space \(\mathbb {F}(0,T)\) and the maximal regularity space \(\mathbb {E}(0,T)\) by
Furthermore, for \(p\in (1,\infty )\) we denote by \(X_\gamma = (X_0,X_1)_{1-1/p}\) the time trace space. Let V be an open subset of \(X_\gamma \).
The following assumptions are essential for showing existence and uniqueness of strong solutions to problem (4.1). (We denote the closed ball centered around 0 in \(\mathbb {E}\) with radius \(R>0\) by \(\overline{B_{\mathbb {E}}}(0,R)\).
-
(A1)
The operators \(A:X_\gamma \rightarrow \mathcal {L}(X_1,X_0)\) are a family of closed linear operators, and for every \(R>0\) there exists \(L(R)>0\) such that, for all \(v,{\overline{v}},w \in \overline{B_{\mathbb {E}}}(0,R)\), it holds that
$$\begin{aligned} \Vert A(v(\cdot ))w(\cdot ) - A({\overline{v}}(\cdot ))w(\cdot )||_{\mathbb {E}} \le L(R) \Vert v-{\overline{v}}\Vert _{\mathbb {E}} \Vert w\Vert _{\mathbb {E}}. \end{aligned}$$ -
(A2)
The map \(F: [0,T] \times X_\gamma \rightarrow X_0\) satisfies \(F(\cdot ,v(\cdot )) \in \mathbb {F}\) for all \(v \in \mathbb {E}\), and for some \(k \in \mathbb {N}_0\) there exists \(C>0\) such that for all \(v, {\overline{v}}\in \mathbb {E}\) one has
$$\begin{aligned} \Vert F(\cdot ,v(\cdot )) - F(\cdot ,{\overline{v}}(\cdot )) \Vert _{\mathbb {E}}\le & {} C(\Vert v\Vert _{L^\infty (0,T;X_{\gamma })} +\Vert {\bar{v}}\Vert _{L^\infty (0,T;X_{\gamma })}+1)^k\\{} & {} (\Vert v\Vert _{\mathbb {E}} +\Vert {\bar{v}}\Vert _{\mathbb {E}}) \Vert v-{\bar{v}}\Vert _{\mathbb {E}}, \end{aligned}$$ -
(A3)
The operator \(-A_0:= - A(0)\) admits maximal \(L^p\)-regularity on \(X_0\).
Proposition 4.1
Let \(p \in (1,\infty )\), \(v_0 \in V\) be given and suppose that A and F satisfy the assumptions (A1),(A2),(A3).
Then there is \(a=a(v_0) >0\) and \(r=r(v_0) >0\) with \(\overline{B_{X_\gamma }}(v_o,r) \subset V\) such that (4.1) admits a unique, strong solution
on [0, a] for any initial value \(v_1 \in \overline{B_{X_\gamma }}(v_o,r)\).
The next result provides information about the continuation of local solutions. Let
denote the set of equilibria to (4.1). For \(v^* \in \mathcal {E}\) we set \(u=v-v^*\). The equation for u then reads as
where \(u_0=v_0-v^*\) and \(A_0=A(v^*)+B_1-B_2\) with \(B_j \in \mathcal {L}(X_\gamma ,X_0)\) and \(G(u) =G_1(u) + G_2(u)\), where \(G_1(u)= [F(v^*+u) - F(u) - B_2u] - [(A(v^*+u)-A(v^*))v^* - B_1u\) for \(u\in X_\gamma \) and \(G_2(u,w) = (A(v^*)-A(v^*+u))w\) for \(u\in X_\gamma \) and \(w \in X_1\). The operators \(B_1\) and \(B_2\) resemble the derivatives of A and F at \(v^*\). It is hence natural to assume that there exist constants \(L,r_0,\delta >0\) such that for \(\varepsilon >0\) small enough it follows that
-
(S1)
\(\Vert A(v^*+ v)v^*-A(v^*)v^*-B_1v\Vert _{X_0}\le \varepsilon \Vert v\Vert _{X_{\gamma }},\quad \Vert v\Vert _{X_{\gamma }}\le r_0\),
-
(S2)
\(\Vert h_\delta [F(v^*+v)-F(v^*)-B_2v]\Vert _{\mathbb {F}(T)}\le \varepsilon \Vert h_\delta v\Vert _{\mathbb {E}(T)}\), for \(T>0\) and all \( v\in \mathbb {E}(T)\) with \(\Vert v\Vert _{L^\infty (0,T;X_\gamma )}\le r_0\), where \( h_\delta (t)=e^{\delta t}\),
-
(S3)
\(\Vert A(v^*+v)-A(v^*)\Vert _{\mathcal {L}(X_1,X_0)}\le \ L\Vert v\Vert _{X_\gamma },\quad \Vert v\Vert _{X_{\gamma }}<r_0\).
If A(v) and F(v) are Fréchet differentiable at \(v^* \in X_\gamma \), then (S1),(S2),(S3) hold with \(B_1=A'(v^*)v^*\) and \(B_2=F'(v^*)\) and \(\varepsilon \rightarrow 0\) as \(r\rightarrow 0\).
Proposition 4.2
Suppose \(p\in (1,\infty )\), \(v^*\in \mathcal {E}\) and let \(B_1,B_2\) be such that assumptions (S1)-(S3) are satisfied. Suppose that \(A(v^*)\) has maximal \(L^p\)-regularity and that the spectrum \(\sigma (A_0)\) of \(A_0=A(v^*)+B_1-B_2\) is contained in the open right half plane.
Then there exists \(\rho \in (0,r_0]\) such that for each \(v_0\in B_\rho (v^*)\subset X_{\gamma }\) there exists a unique, global solution \(v\in H^{1,p}_{loc}(\mathbb {R}_+;X_0)\cap L^p_{loc}(\mathbb {R}_+;X_1)\) satisfying
In particular, the equilibrium \(v^*\) of the quasilinear problem (4.1) is exponentially stable in the space \(X_{\gamma }\).
The above results are only minor modifications of results due to Clément and Li [9], Prüss [24], Prüss, Simonett and Zacher [27] and Prüss, Simonett and Wilke [26]. A convenient reference for these type of results are the monographs by Amann [5, 6] and Prüss and Simonett [25, Chapter 5].
5 Reformulation as Quasilinear Evolution Equation
In this section we rewrite the system (1.1) as a quasilinear evolution equation of the form
in the space \(X_0 = L^2_\sigma (\Omega ) \times H^1(\Omega ,{{\,\mathrm{\mathbb {S}^n_0}\,}})\), where \({{\,\mathrm{\mathbb {S}^n_0}\,}}\) is defined as in Sect. 3 as the space of all symmetric, traceless \(n\times n\)-matrices over \(\mathbb {C}\). We then show that the mapping \(A_\xi ({\hat{Q}}):X_1 \rightarrow X_0\) (defined precisely below in (5.4)) is sectorial with spectral angle \(\phi _{A_\xi ({\hat{Q}})}<\frac{\pi }{2}\). In particular, \(A_\xi ({\hat{Q}})\) has maximal \(L^p\)-\(L^2\)-regularity. Our idea to show sectoriality of the underlying linear operator \(A_\xi ({\hat{v}})\) is to exploit a classical result for unbounded operators in Hilbert spaces (cf. Kato [18], Section V.3.2). It implies that for operators with non-empty resolvent set, firstly, the spectrum is contained in the numerical range and, secondly, that the resolvent scales inversely to the distance of the numerical range. Consequently, such operators are sectorial (cf. e.g. [10]) if their numerical range is contained in a sector. We hence aim to show that \(A_\xi ({\hat{Q}})\) is invertible as well as that its numerical range lies a a certain sector. In order to verify these two properties we take adavantage of certain symmetry properties, in particular \(\mathcal {J}\)-symmetry, and show that its first Schur complement is closed and invertible.
In what follows, we will use the notation \([A,B] = AB-BA\) as well as the notation \(\{A,B\}=AB+BA\) for the commutator and the anticommutator, respectively, of two matrices \(A, B\in \mathbb {C}^{n\times n}\). Moreover, we split the terms \(\tau =\tau _h+\tau _l\) and \(H=H_h+H_l\) into higher and lower order terms and obtain then
We now define two linear mappings on \(\mathbb {M}^n_{0}:=\{Q\in \mathbb {C}^{n\times n}:{{\,\textrm{tr}\,}}Q=0\}\) and recall that \(\mathbb {S}^n_{0,\mathbb {C}}:=\{A \in \mathbb {C}^{n\times n}: A=A^T, \text{ tr }\; A =0 \}\) in order to rewrite the terms \(\sigma +\tau _h\) and S in a way which indicates better derivatives. More precisely, for \(\xi \in \mathbb {R}\) and \(Q \in {{\,\mathrm{\mathbb {S}^n_0}\,}}\) we define the mappings \(S_\xi ({Q})\in \mathcal {L}(\mathbb {S}^n_{0},\mathbb {M}^n_{0})\) and \({\tilde{S}}_\xi ({Q})\in \mathcal {L}(\mathbb {M}^n_{0},\mathbb {S}^n_{0})\) as
where \(B^D\) and \(B^W\) are defined as \(B^D:=\tfrac{1}{2}(B+B^T)\) and \(B^W:=B-B^D\) and where \({\overline{Q}}\) denotes the complex conjugate of Q. In particular, for real-valued u and Q this gives
Applying the Helmholtz projection \(\mathbb {P}\) in \(L^2(\Omega )\) to the equation (1.1)\(_1\) yields along with equation (1.1)\(_3\) the following system:
Setting \(v=(u,Q)\), the system (1.1) can be now rewritten equivalently as a quasilinear evolution equation on \(X_0\) of the form
with \(v_0=(u_0,Q_0)\) and where \(A_\xi \) is given by
Here \(\mathcal {A}\) denotes the Stokes operator in \(L^2_\sigma (\Omega )\) given by
and \(\Delta _N^1\) denotes the Neumann Laplacian on \(H^1(\Omega ,{{\,\mathrm{\mathbb {S}^n_0}\,}})\) shifted by the identity, i.e.,
Moreover, the nonlinear term \(F(v)=(\mathbb {P}f_1(v),f_2(v))\) is given by
Our aim is now to show that the operator \(A_\xi ({\hat{Q}})\) has the property of maximal \(L^p\)-\(L^2\)-regularity provided \(p>\frac{4}{4-n}\), \({\hat{Q}} \in X_\gamma ^Q\) and \(\xi \in \mathbb {R}\). Let us start by showing that the numerical range of \(A_\xi ({\hat{Q}})\) lies in a certain sector in the right half plane.
5.1 Numerical Range
We start by showing that \(S_\xi \) and \({\tilde{S}}_\xi \) are adjoint to each other on the spaces of tracelesss and spaces of symmetric, traceless matrices.
Lemma 5.1
Let \(\xi \in \mathbb {R}\) and \(Q\in \mathbb {S}^n_{0}\). Then \((S_\xi ({Q}))^*= {\tilde{S}}_\xi ({Q})\), i.e., if \(A\in \mathbb {S}^n_{0}\) and \(B\in \mathbb {M}^n_{0}\), then
Proof
Let us note that \({{\,\textrm{tr}\,}}(ab)=0\) for symmetric \(a\in \mathbb {C}^{n\times n}\) and skewsymmetric \(b\in \mathbb {C}^{n\times n}\) and let us recall the notation \(B^D=\frac{1}{2}B+\frac{1}{2}B^T\) and \(B^W=B-B^D\). We verify the assertion for the four terms of \(S_\xi \) seperately.
Term 1: Commutator. Note that \([a,{\tilde{a}}]\) is skewsymmetric and [a, b] is symmetric for symmetric \(a,{\tilde{a}}\in \mathbb {C}^{n\times n}\) and skewsymmetric \(b\in \mathbb {C}^{n\times n}\). It follows that
Term 2: Anticommutator. Note that \(\{a,{\tilde{a}}\}\) is symmetric for symmetric \(a,{\tilde{a}}\in \mathbb {C}^{n\times n}\). Hence,
Term 3: The constant term. We have
Term 4: The trace term. Since A and B are traceless we get
Hence, in total, we get
\(\square \)
The above lemma allows us to compute \(\langle A_\xi ({\hat{Q}})v,v\rangle _{X_0}\) precisely, as follows:
Lemma 5.2
Let \(p>\frac{4}{6-n}\), \({\hat{Q}}\in X_\gamma ^Q\), \(\xi \in \mathbb {R}\) and \(v=(u,Q)\in X_1\). Then
Proof
By the boundary conditions for u and Q, \(\mathbb {P}u=u\) and Lemma 5.1 we obtain
\(\square \)
The regularity of the map \(S_\xi ({\hat{Q}})\) can be described as follows:
Lemma 5.3
a) Let \(p>\frac{4}{6-n}\), \({\hat{Q}} \in X_\gamma ^Q\) and \(\xi \in \mathbb {R}\). Then
b) If in addition \(p> \frac{4}{4-n}\), then
Proof
The first assertion follows by the embedding \(X_\gamma ^Q \hookrightarrow C({\overline{\Omega }}, \mathbb {S}^n_{0,\mathbb {C}})\), the fact that the Frobenius norm is submultiplicative and the estimate \(\Vert S_\xi (Q)A\Vert _{L^\infty } \le C (\Vert {\hat{Q}}\Vert _{X_\gamma ^Q} + 1)^2\Vert A\Vert \). The second assertion follows in the same way by noticing that the assumption implies \(X_\gamma ^Q \hookrightarrow C^1({\overline{\Omega }}, \mathbb {S}^n_{0,\mathbb {C}})\). \(\square \)
We proceed by showing that the numerical range of \(A_\xi ({\hat{Q}})\) lies in a certain sector of the right half plane. Here, given \(\varphi \in [0,\pi )\), \(\Sigma _\varphi \) denotes an open sector in the complex plane of angle \(\varphi \).
Proposition 5.4
(Numerical range of \(A_\xi ({\hat{Q}})\)) Let \(p>\frac{4}{6-n}\), \(q=2\), \({\hat{Q}}\in X_\gamma ^Q\), and \(\xi \in \mathbb {R}\). Then the numerical range \(\mathcal {W}(A_\xi ({\hat{Q}}))\) of \(A_\xi ({\hat{Q}})\) lies in a sector of the right half plane, i.e., there exists an angle \(\varphi \in [0,\pi /2)\) such that
where \(\varphi \) depends on \(\xi ,p, n,\Vert {\hat{Q}}\Vert _{X_\gamma ^Q}\), and \(\Omega \). In particular,
Proof
Let \(v=(u,Q)\in X_1\) such that \(\Vert v\Vert _{X_0}=1\). By Lemma 5.3, Cauchy-Schwarz and Young’s inequality we obtain
Thus, \(z:=\langle A_\xi ({\hat{Q}})v,v\rangle _{X_0}\) satisfies by Lemma 5.2 the properties
Hence,
\(\square \)
Our next aim is to show that \(A_\xi ({\hat{Q}})\) is invertible.
5.2 Invertibility
Our next aim is to show that the mapping \(A_\xi ({\hat{Q}})\) defined on \(X_0\) and having domain \(X_1\) is invertible for all \({\hat{Q}} \in X_\gamma ^Q\) and all \(\xi \in \mathbb {R}\). It is well known that the invertibility of this map is closely related to the one of its Schur complement at \(\lambda =0\). For \(\lambda \in \varrho (\Delta _N^1)\), the first Schur complement is given by
At \(\lambda = 0\), the first Schur complement \(S_1(0)\) is given by a Stokes operator with variable coefficients of the form
with domain \(D(S_1(0)) = H^2(\Omega ) \cap H^1_0(\Omega ) \cap L^2_\sigma (\Omega )\). We show first that the Schur complement \(S_1(0)\) is invertible.
Lemma 5.5
(Invertibility of the Schur complement) Let \(p>\frac{4}{4-n}\), \({\hat{Q}}\in X_\gamma ^Q\), and \(\xi \in \mathbb {R}\). Then
is invertible on \(L^2_\sigma (\Omega )\).
Proof
Setting \(W:= H^1_0(\Omega )\cap L^2_\sigma (\Omega )\), we note that the mapping \(a: W \times W \rightarrow \mathbb {R}\) given by
defines a positive, closed, symmetric sesquilinear form on \(L^2_\sigma (\Omega )\) satisfying \(a(u,u) \ge C_\Omega \Vert u\Vert _2^2\) for some \(C_\Omega >0\). There exists thus a unique operator \(A_a\) on \(L^2_\sigma (\Omega )\) with domain \(D(A_a)\) and with \(\sigma (A_a) \subset [C_\Omega ,\infty )\) such that for every \(u \in D(A_a)\) and \(v \in V\) we have \(a(u,v)= \langle A_au,v\rangle \). In particular, \(A_a\) is invertible.
Let now \(u\in D(S_1(0))\). Then \(S_1(0)u\in L^2_\sigma (\Omega )\) and thus by integration by parts we get for all \(v\in H^1_0(\Omega )\cap L^2_\sigma (\Omega )\) that
Therefore, \(u\in D(A_a)\) and \(A_au=S_1(0)u\).
Conversely, let \(u\in D(A_a)\). Then \(A_au \in L^2_\sigma (\Omega )\) and
holds for all \(v\in H^1_0(\Omega )\cap L^2_\sigma (\Omega )\). Thus, a classical result due to Giaquinta and Modica [13, Theorem 1.3] implies that \(u\in H^2(\Omega )\) and hence \(u\in {{\,\mathrm{\mathcal {D}}\,}}(S_1(0))\). \(\square \)
Using the theory of Schur complements we next show that the operator \(A_\xi ({\hat{Q}})\) is invertible.
Proposition 5.6
Suppose that \(p>\frac{4}{4-n}\), \({\hat{Q}}\in X^Q_{\gamma }\), and \(\xi \in \mathbb {R}\). Then the operator \(A_\xi ({\hat{Q}})\) is invertible.
Proof
Recall from (5.4) that the operator \(A_\xi ({\hat{Q}})\) is given by
where
Since \(S_1(0)=\mathfrak {a}-\mathfrak {b}\mathfrak {d}^{-1}\mathfrak {c}\) is invertible by Lemma 5.5, we find that
One can easily check that the above is the inverse of \(A_\xi ({\hat{Q}}) \in \mathcal {L}(X_1,X_0)\). \(\square \)
We are now in the position to prove that \(A_\xi ({\hat{Q}})\) is sectorial with spectral angle \(\phi _{A_\xi ({\hat{Q}})}<\frac{\pi }{2}\).
Proposition 5.7
Let \(p>\frac{4}{4-n}\), \({\hat{Q}}\in X^Q_\gamma \) and \(\xi \in \mathbb {R}\). Then the operator \(A_\xi ({\hat{Q}}):X_1 \rightarrow X_0\) is sectorial with spectral angle \(\phi _{A_\xi ({\hat{Q}})}<\frac{\pi }{2}\). In particular, \(A_\xi ({\hat{Q}})\) has maximal \(L^p\)-\(L^2\)-regularity.
Proof
Proposition 5.6 yields that \(A_\xi ({\hat{Q}})\) is invertible. Therefore (cf. e.g. [18, Theorem V.3.2]), we find that \(\sigma (-A_\xi (Q))\subset \mathcal {W}(-A_\xi (Q))\) and
By Proposition 5.4, there exists an angle \(\varphi \in [0,\pi /2)\), such that \(\mathcal {W}(-A_\xi (Q))\subset (\Sigma _{\pi -\varphi })^c\). Let \(\varphi _2\in (\varphi ,\pi /2]\). This yields
Hence \(A_\xi ({\hat{Q}})\) is sectorial with spectral angle \(\phi _{A_\xi ({\hat{Q}})}\le \varphi \in [0,\pi /2)\). Since \(A_\xi ({\hat{Q}})\) is a sectorial on the Hilbert space \(X_0\) with spectral angle less than \(\pi /2\), it is also \(\mathcal {R}\)-sectorial and admits hence maximal \(L^p\)-\(L^2\)-regularity; see e.g. [10] for details.
\(\square \)
6 Nonlinear Estimates
We start this section by showing that the mapping \(A_\xi : X_\gamma \rightarrow \mathcal {L}(X_1,X_0)\) is locally Lipschitz continuous.
Lemma 6.1
Let \(p >\frac{4}{4-n}\). Then there exists a constant \(C>0\) such that for all \({\hat{Q}},\hat{Q_1},\hat{Q_2} \in X_\gamma ^Q\) and \(M \in H^1(\Omega ,\mathbb {C}^{n\times n})\) one has
The above assumption on p allows, due to Sobolev embeddings, to prove the assertion of Lemma 6.1 easily by means of Hölder’s inequality.
Lemma 6.2
Let \(p >\frac{4}{4-n}\), \({\hat{Q}} \in X_\gamma ^Q\), and \(\xi \in \mathbb {R}\). Then \(A_\xi ({\hat{Q}}) \in \mathcal {L}(X_1,X_0)\).
Proof
Applying Lemma 6.1 yields that there exists a constant \(C>0\) such that for all \(u \in X_1^u\) and all \(Q \in X_1^Q\) we have
where \(\mathfrak {d}Q\) is defined as above by \(\mathfrak {d}Q=(-\Delta +\mathbb {I})Q\). Hence,
where C depends on \(\xi ,p,n,{\hat{Q}}\) and \(\Omega \). It hence follows that \(A_\xi ({\hat{Q}}) \in \mathcal {L}(X_1,X_0)\). \(\square \)
We are now in the position to show that the mapping \(A_\xi : X_\gamma \rightarrow \mathcal {L}(X_1,X_0)\) is locally Lipschitz continuous.
Lemma 6.3
(Local Lipschitz continuity of \(A_\xi \)) Let \(p >\frac{4}{4-n}\) and \(\xi \in \mathbb {R}\). Then \(A_\xi : X_\gamma \rightarrow \mathcal {L}(X_1,X_0)\) is locally Lipschitz continuous, i.e. for all \(R>0\) there exists a constant \(K(R)>0\) such that
for all \(\hat{Q_1},\hat{Q_2} \in X_\gamma ^Q\) satisfying \(\Vert \hat{Q_1}\Vert _{X_\gamma ^Q}\),\( \Vert \hat{Q_1}\Vert _{X_\gamma ^Q} \le R\).
Proof
Lemma 6.1 yields
Similarly, for \(u \in X_1^u\) we show that
Combining these estimates we obtain, for \(v=(u,Q) \in X_1\), that
This finishes the proof with \(K(R)=C(2R+1)\). \(\square \)
We now turn our attention to the nonlinear terms F(v). Before starting, we state an auxiliary lemma, which allows us to keep track of the time dependence in embedding theorems.
Lemma 6.4
Let \(s\ge s^\prime \ge 0\) and \(p\in [1,\infty )\). Then
where \(\overset{\eta }{\hookrightarrow }\) stands for an embedding with embedding constant \(CT^\eta \), \(C>0\) independent of T.
Proof
Set \(m:=\lfloor p(s-s^\prime )\rfloor \) and \(1/r:=m+1/p+s^\prime -s\in [1/p,1)\). Sobolev embeddings and Hölder’s inequality yield
\(\square \)
The following lemma allows us to keep track of the time dependence for typical product terms of the form \(v_1\partial v_2\) where \(v_1,v_2\) belong to the maximal regularity space:
Lemma 6.5
Let \(p,q\in (1,\infty )\) be such that \(2/3p+n/3q\le 1 \). Then for all \(v_1,v_2\in Y_1:=L^p(0,T;H^{2,q})\cap H^{1,p}(0,T;L^q)\), \(\partial \in \{\partial _x,\partial _y,\partial _z\}\) and \(\eta \in [0,\tfrac{3}{2}\left( 1-\tfrac{2}{3p}-\tfrac{n}{3q}\right) ]\) it follows that
Proof
Let \(\theta _1=\tfrac{2\eta }{3}+\tfrac{2}{3p}\) and \(\theta _2=\tfrac{1}{2}\theta _1\). Then, by an application of the Mixed Derivative Theorem [25], Lemma 6.4 and Sobolev embeddings, we get
where \(\overset{\eta }{\hookrightarrow }\) stands for an embedding with embedding constant \(CT^\eta \) and \(C>0\) independent of T. Thus, Hölder’s inequality implies that
\(\square \)
After these preparations we are now able to estimate the nonlinear term F(v).
Proposition 6.6
(Nonlinear Estimates). Let \(\xi \in \mathbb {R}\) and \(p\ge 2\). Then there exists \(k\in \mathbb {N}_0\) such that for all \( v,{\bar{v}}\in \mathbb {E}\)
Moreover, there exists \(\delta _0>0\) such that for all \( v\in \mathbb {E},\Vert v\Vert _{\mathbb {E}}\le r\), \(\delta \in [0,\delta _0]\), and for \( h_\delta (t)=e^{\delta t}\) it follows that
Proof
Let us note that the conditions of Lemma 6.5 are satisfied if \(p \ge 2\) and \(q=2\). In this case we have
We estimate the four terms of \(f_{1}(v)\) by means of Lemma 6.5 as follows: For the first term we obtain
and for the second one
where we used the short hand notation \(L^p(L^2)=L^p(0,T;L^2(\Omega ))\). Lemma 6.5 implies furthermore
as well as
Concerning the terms of \(f_2(v)\) we estimate
and
Finally, the second assertion can be proven similarly. We therefore omit the details. \(\square \)
7 Proof of the Main Theorems
The previous sections are organized in such a way that we may conclude the proof of the two main results, Theorem 3.1 and Theorem 3.2, by the results given in Sect. 4. Indeed, concerning local existence of a unique, strong solution to system (1.1) we verify the assumptions of Proposition 4.1 as follows.
Proof
By Lemma 6.3, the operator-valued function \(A_{\xi }:X_\gamma \rightarrow \mathcal {L}(X_1,X_0)\) is locally Lipschitz continuous. Proposition 5.7 implies that \(A_{\xi }(v_0)\) has maximal \(L^p\)-regularity. By Proposition 6.6 the nonlinear term F fulfils the assumption (A2) of Proposition 4.1. Hence, the assertion of Theorem 3.1 follows from Proposition 4.1.
Concerning global existence, we note first that \(v^*=0\) is a trivial equilibrium and that we may verify conditions (S1)-(S3) for \(B_1=B_2=0\). The Lipschitz condition (S1) for \(A_\xi \) holds true by Lemma 6.3. Moreover, by Proposition 6.6, also condition (S2) holds true. Since in our case \(B_1=B_2=0\), we see that \(A_0=A(0)\) has maximal regularity and that by Propostion 5.6 its spectrum is contained in the open right half plane. Thus the assertion of Theorem 3.2 follows from Proposition 4.2. \(\square \)
Data Availibility
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
References
Ball, J., Majumdar, A.: Nematic liquid crystals: from Maier-Saupe to a continuum theory. Mol. Cryst. Liq. Cryst. 525, 1–11, 2010
Ball, J., Zarnescu, A.: Orientability and energy minimization in liquid crystal models. Arch. Rational Mech. Anal. 202, 493–535, 2011
Abels, H., Dolzmann, G., Liu, Y.: Well-Posedness of a fully coupled Navier-Stokes/Q-tensor system with inhomogeneous boundary data. SIAM J. Math. Anal. 4, 3050–3077, 2014
Abels, H., Dolzmann, G., Liu, Y.: Strong solutions for the Beris-Edwards model for nematic liquid crystals with homogeneous Dirichlet boundary conditions. Adv. Differ. Equ. 21, 109–152, 2016
Amann, H.: Linear and Quasilinear Parabolic Problems, vol. I. Birkhauser, Basel (1995)
Amann, H.: Linear and Quasilinear Parabolic Problems, vol. II. Birkhauser, Basel (2019)
Beris, A.N., Edwards, B.J.: Thermodynamics of Flowing Systems: With Internal Microstructure. Oxford University Press, Oxford Engineering Science Series (1994)
Cavaterra, C., Rocca, E., Wu, H., Xu, X.: Global Strong Solutions of the Full Navier-Stokes and \(Q\)-Tensor System for Nematic Liquid Crystal Flows in Two Dimensions. SIAM J. Math. Anal. 48, 1368–1399, 2016
Clement, P., Li, S.G.: Abstract parabolic quasilinear equations and applications to a groundwater flow problem. Adv. Math. Sci. Appl. 3, 17–32, 1993
Denk, R., Hieber, M., Prüss, J.: R-Boundedness, Fourier Multipliers and Problems of Elliptic and Parabolic Type. Memories of the American Mathematical Society, American Mathematical Society, Providence (2003)
Feireisl, E., Rocca, E., Schimperna, G., Zarnescu, A.: Evolution of non-isothermal Landau-de Gennes nematic liquid crystals flows with singular potential. Comm. Math. Sci. 12, 317–343, 2012
de Gennes, P.G., Prost, J.: The Physics of Liquid Crystals. Clarendon Press, International Series of Monogr (1995)
Giaquinta, M., Modica, G.: Non linear systems of the type of the stationary Navier-Stokes system. J. reine angewandte Math. 330, 173–214, 1982
Hieber, M., Nesensohn, M., Prüss, J., Schade, K.: Dynamics of nematic liquid crystal flow: the quasilinear approach. Ann. Inst. H. Poincaré C Anal. Non Linéaire 33, 379–408, 2016
Hieber, M., Prüss, J.: Dynamics of Ericksen-Leslie equations with general Leslie stress I: the incompresible isotropic case. Math. Ann. 369, 977–996, 2017
Hieber, M., Prüss, J.: Modeling and analysis of the Ericksen–Leslie quations for nematic liquid crystal flows, In: Handbook of Mathematical Analysis in Mechanics of Viscous Fluids, Springer, 1075–1134, 2018
Huang, J., Ding, S.: Global well-posedness for the dynamical Q-tensor model of liquid crystals. Sci. CHINA Math. 58, 1349–1366, 2015
Kato, T.: Perturbation Theory for Linear Operators. Springer, Berlin (1995)
Liu, Y., Wang, W.: On the initial boundary value problem of a Navier-Stokes/Q-tensor model for liquid crystals. Discrete Cont. Dyn. Systems- B 23, 3879–3899, 2018
Mottram, N. J., Newton, C. J. P.: Introduction to Q–tensor theory. Available at arXiv:1409.3542 2014
Murata, M., Shibata, Y.: Global well posedness for a Q-tensor model of nematic liquid crystals. J. Math. Fluid Mech. 24, 34, 2022
Paicu, M., Zarnescu, A.: Energy dissipation and regularity for a coupled Navier-Stokes and Q-tensor system. Arch. Rational Mech. Anal. 203, 45–67, 2012
Paicu, M., Zarnescu, A.: Global existence and regularity for the full coupled Navier-Stokes and Q-tensor system. SIAM J. Math. Anal. 43, 2009–2049, 2011
Prüss, J.: Maximal Regularity for Evolution Equations in Lp–spaces, Conferenze del Seminario di Matematica dell’Università di Bari. 2002
Prüss, J., Simonett, G.: Moving Interfaces and Quasilinear Parabolic Evolution Equations, Birkhauser, 2016
Prüss, J., Simonett, G., Wilke, M.: Criticial spaces for quasilinear parabolic evolution equations and applications. J. Differ. Equ. 264, 2028–2074, 2018
Prüss, J., Simonett, G., Zacher, R.: On convergence of solutions to equilibria to quasilinear parabolic problems. J. Differ. Equ. 246, 3902–3931, 2009
Schonbek, M., Shibata, Y.: Global well-posedness and decay for a Q tensor model of incompressible nematic liquid crystals in \({\mathbb{R} }^{N}\). J. Differ. Equ. 266, 3034–3065, 2019
Sonnet, A., Virga, E.: Dissipative Ordered Fluids: Theories of Liquid Crystals. Springer, Berlin (2012)
Tóth, G., Denniston, C., Yeomans, J.M.: Hydrodynamics of domain growth in nematic liquid crystals. Phys. Rev. E 67, 051705, 2003
Wang, W., Zhang, L., Zhang, P.: Modelling and computation of liquid crystals. Acta Numer. 30, 765–851, 2021
Wilkinson, M.: Strictly physical global weak solutions of a Navier-Stokes Q-tensor system with singular potential. Arch. Ration. Mech. Anal. 218(1), 487–526, 2015
Virga, E.: Variational Theories for Liquid Crystals. Chapman & Hall, Boca Raton (1994)
Xiao, Y.: Global strong solution to the three-dimensional liquid crystal flows of Q-tensor model. J. Differ. Equ. 262, 1291–1316, 2017
Zarnescu, A.: Mathematical problems of nematic liquid crystals: between dynamical and stationary problems. Philos. Trans. Roy. Soc. A. 379, 20200432, 2021
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all the authors, the corresponding author states that there is no Conflict of interest.
Additional information
Communicated by E. Virga.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Amru Hussein has been generously supported by Deutsche Forschungsgemeinschaft (DFG) – project number 508634462 and by MathApp – Mathematics Applied to Real-World Problems – part of the Research Initiative of the Federal State of Rhineland-Palatinate, Germany. Matthias Hieber gratefully acknowledges the support by the Deutsche Forschungsgemeinschaft (DFG) through the Research Unit 5528.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, 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 licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Hieber, M., Hussein, A. & Wrona, M. Strong Well-Posedness of the Q-Tensor Model for Liquid Crystals: The Case of Arbitrary Ratio of Tumbling and Aligning Effects \(\xi \). Arch Rational Mech Anal 248, 40 (2024). https://doi.org/10.1007/s00205-024-01983-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00205-024-01983-z