ABSTRACT
A review is given of some mathematical contributions, ideas and questions concerning liquid crystals.
1. Introduction
Recent years have seen a remarkable increase in the number of mathematicians1 working on problems of liquid crystals. This reflects both the increased ability of modern mathematics to provide useful information on the problems of liquid crystals, and the interest and challenges of these problems for mathematicians. Indeed the questions raised by liquid crystals are generating new mathematical techniques, which can be expected in turn to influence applications of mathematics to other parts of science.
Everyone who works on liquid crystals uses mathematics in one form or another, and professional mathematicians (for example, those who work in mathematics departments) don’t have a prerogative on how mathematics should best be used. Nevertheless mathematicians can have a different way of viewing things that adds new perspectives, and it is one aim of this article to convey something of this. The ultimate objective should be for mathematics to illuminate experiments and phenomena, to help predict and interpret experimental results, and to help suggest new experiments. Of course the hypotheses of mathematical results may often ignore relevant physical effects. However by making simplifying assumptions it may be possible to prove a rigorous theorem that both gives insight into what more complex models may predict, resolving ambiguities arising from other theoretical predictions based on approximations or numerical computation, and enabling placing of the problem within the existing mathematical body of knowledge.
This article is intended less for mathematicians than for other researchers who may be interested in what mathematics can contribute to the field. Whereas I have attempted to give clear statements of results, at some points these are more informal than would be the case for a mathematical audience.
2. The Oseen-Frank model and the description of defects
Consider a nematic liquid crystal at rest at constant temperature in the absence of applied electromagnetic fields. (Although most of the applications of liquid crystals to technology depend on their interaction with electromagnetic fields, for simplicity such interactions are not discussed in this paper, since many of the key analytic difficulties already arise in the case when such fields are absent.)
Suppose that the liquid crystal completely fills a container , which we assume to be a bounded open set with boundary ∂Ω. The configuration of the liquid crystal at the point x is described by the director n(x), a unit vector giving the mean orientation at x of the rod-like molecules comprising the liquid crystal. Thus n(x) ∈ S2, where S2 denotes the the unit sphere of
.
2.1. The Oseen-Frank energy
In the Oseen-Frank model the total free energy is given by
(2.1) where
(2.2) Here K1, …, K4 are the Frank constants, which are usually assumed to satisfy the strict form of the Ericksen inequalities [Citation58]
(2.3) which are necessary and sufficient that
(2.4) for all n and some constant c0 > 0. The first three terms in (Equation2.2
(2.2) ) describe respectively splay, twist and bend of the director field. The fourth saddle-splay term is a null Lagrangian, its integral
depending only on the values of n on the boundary ∂Ω. Thus if n|∂Ω is prescribed, such as for homeotropic or planar boundary conditions, the term can be ignored. However this is not the case if n|∂Ω is only partially prescribed, such as for the planar degenerate boundary condition
on part of the boundary having normal
(see, for example, [Citation106]), or for weak anchoring boundary conditions.
An important identity is
(2.5) So if K1 = K2 = K3, K4 = 0 (the one-constant approximation) then
(2.6) which is the energy functional for harmonic maps.
2.2. Orientability
The Oseen-Frank theory regards n as a vector field. However, due to the statistical head-to-tail symmetry of the constituent molecules, from a physical point of view n(x) is indistinguishable from − n(x). Hence n(x) is better thought of as a line field, or equivalently as a map from Ω to the set of all lines through the origin. A typical such line with direction ± n can be represented by the matrix n⊗n having components ninj. The set of such lines forms the real projective plane . Continuous (even smooth) line fields need not be orientable, so that it is impossible to assign a direction that turns them into a continuous vector field (see ). We return later to the implications of this for the Oseen-Frank theory. For a detailed discussion see [Citation21, Citation22].
Figure 1. A smooth line field in the exterior of a cylinder that cannot be oriented to make it a continuous vector field. The line field is parallel to the curves shown, with zero component in the perpendicular direction, so that the problem is two-dimensional. Indicated is an attempt to orient the line field, leading to a conflict in the ellipse shown.
![Figure 1. A smooth line field in the exterior of a cylinder that cannot be oriented to make it a continuous vector field. The line field is parallel to the curves shown, with zero component in the perpendicular direction, so that the problem is two-dimensional. Indicated is an attempt to orient the line field, leading to a conflict in the ellipse shown.](/cms/asset/a22dc194-46f5-42ff-abc3-641894cbeb1e/gmcl_a_1289425_f0001_oc.gif)
2.3. Energy minimization and the Euler-Lagrange equation
The fundamental energy minimization problem is to find n that minimizes
subject to the unit vector constraint |n| = 1 and suitable boundary conditions, for example
, where
is given. This is a problem of the calculus of variations.
If n is a minimizer and is any smooth mapping vanishing in a neighbourhood of ∂Ω then, for sufficiently small |ϵ|,
(2.7) satisfies |nϵ(x)| = 1 and
. Since I(nϵ) is minimized at ϵ = 0 we have that
, provided this derivative exists. Noting that
we obtain the weak form of the Euler-Lagrange equation, that for all such m
or, in components,
where repeated indices are summed from 1 to 3. Hence, integrating by parts and using the arbitrariness of m, we formally obtain the Euler-Lagrange equation
a system of second order nonlinear PDE that is to be solved subject to the pointwise constraint |n| = 1.
This can be written in the equivalent form
(2.8) where λ(x) is a Lagrange multiplier, or in components
In the one-constant approximation (EL) becomes the harmonic map equation
(2.9) How can we solve these equations? Are there any exact solutions?
2.4. Universal solutions
The question of what n(x) can be solutions of (EL) (smooth in some region of ) for all K1, K2, K3, K4, so called universal solutions, was addressed by Marris [Citation130, Citation131], following Ericksen [Citation59]. Marris showed that these consist of
(i) | constant vector fields, or those orthogonal to families of concentric spheres or cylinders, | ||||
(ii) | pure twists, such as
| ||||
(iii) | planar fields that form concentric or coaxial circles. |
An example from family (i) is the hedgehog
(2.11) which represents a point defect. Of course
is not even continuous at 0, but for x ≠ 0 it is smooth and we have
so that formally calculating its energy over the ball
, noting that W(n, ∇n) ⩽ C|∇n|2 for some constant C > 0, we find that
More precisely,
belongs to the Sobolev space
(2.12) For a precise definition of Sobolev spaces the reader is referred to standard texts on partial differential equations, such as [Citation63]. See also the discussion in [Citation21]. The most important point in giving a precise definition is that ∇n has to be defined in a suitable weak sense. For the purposes of this article one can informally think of H1(Ω; S2) as the space of finite-energy configurations for the Oseen-Frank theory; it is an example of a function space, that specifies allowed singularities in a mathematical model.
2.5. Existence of solutions and their regularity
A routine use of the so-called ‘direct method’ of the calculus of variations gives:
Theorem 1.
Let K1 > 0, K2 > 0, K3 > 0, and let . Then there exists n* that minimizes I(n) over all n ∈ H1(Ω; S2) with
, and any such minimizer n* satisfies (WEL).
Remark 1.
Because n is specified on the whole of ∂Ω and because the saddle-splay term is a null Lagrangian, we do not need any conditions on K4 to get the existence of a minimizer. However, for other boundary conditions such as planar degenerate we would need to assume the Ericksen inequalities (Equation2.3(2.3) ).
Theorem 1 just tells us that there is some energy-minimizing director configuration n*, that is I(n) ⩾ I(n*) for all n with , and that any minimizer satisfies (WEL), and not what minimizers look like. Nevertheless the conclusion of the theorem is not obvious. Nor is it obvious that just because the problem posed has a sound physical basis the existence of a minimizer is necessarily assured, examples to the contrary arising, for example, in models of martensitic phase transformations [Citation17], where nonattainment of minimum energy leads to an understanding of the appearance of very fine microstructures.
In the one-constant approximation (Equation2.6(2.6) ) with K1 > 0 there are deep results asserting more.
Theorem 2
(Schoen & Uhlenbeck [Citation159], Brezis, Coron & Lieb [Citation34]). In the one-constant approximation with K1 > 0 any minimizer n* is smooth in Ω except for a finite number of point defects located at points x(i) ∈ Ω, and
for some
.
Theorem 3
(Brezis, Coron & Lieb [Citation34]). In the one-constant approximation the hedgehog minimizes I subject to its own boundary conditions.
There is an elegant alternative proof of Theorem 3 due to Lin [Citation118]. The discovery of Theorems 2 and 3 was motivated in particular by experiments concerning point defects and their annihilation [Citation175], and by corresponding analytical and numerical studies [Citation48, Citation80, Citation82, Citation83].
What about other solutions to (WEL) (these are often called weak solutions to (EL))? Unfortunately there seem to be far too many. In the one-constant approximation Rivière [Citation153] showed that for a domain Ω with smooth boundary, with smooth on ∂Ω and not constant, there are infinitely many weak solutions, and that they can be discontinuous everywhere. The idea behind the construction is to insert dipoles (pairs of point defects with opposite topological charge) into a non constant smooth map. This is reminiscent of other physical systems of nonlinear partial differential equations where there are too many solutions and no satisfactory way of selecting the physical one, such as exhibited by Scheffer [Citation157], Shnirelman [Citation163] and De Lellis & Székelyhidi [Citation55] for the Euler equations of inviscid flow.
The derivation of (WEL) used the outer variation (Equation2.7(2.7) ). However, one can also take the inner variation
(2.13) where
is a smooth function vanishing in a neighbourhood of ∂Ω, and zϵ(x) is implicitly defined by
(2.14) This variation rearranges the values of n in Ω and preserves the unit vector constraint. For sufficiently small |ϵ| (Equation2.14
(2.14) ) has a smooth solution zϵ: Ω → Ω with zϵ(x) = x near ∂Ω. Changing variables from x to z = zϵ we see that
(2.15) Since I(nϵ) is minimized at ϵ = 0 we have that
, giving
(2.16) for all such
. This is a weak form of the equation
(2.17) If n is a smooth solution of (EL) then it is easily verified that n also satisfies (Equation2.17
(2.17) ). However solutions of (WEL) do not necessarily satisfy (Equation2.16
(2.16) ). Solutions of (WEL) that also satisfy (Equation2.16
(2.16) ) are called stationary. In the one-constant approximation it was proved by Evans [Citation62] that any stationary solution is partially regular, that is such a solution is smooth outside a closed subset E of Ω having zero one-dimensional Hausdorff measure. Thus E cannot, for example, contain a line segment or arc. In view of the result of Rivière mentioned above, this means that stationary solutions of (WEL) are more regular than general solutions.
2.6. Dynamics and weak equilibrium solutions
It is interesting to examine the dynamical significance of the different notions of weak solution2. The relevant dynamical equations are the Ericksen-Leslie equations (see [Citation57, Citation115, Citation116] and for a modern treatment [Citation164, Chapter 3]). For an incompressible fluid in the absence of body forces and couples, these equations for the velocity v(x, t) and director n(x, t) take the form
(2.18)
(2.19)
(2.20) where ρ is the constant density, T is the Cauchy stress tensor,
is the dissipation potential,
,
and
. For the purposes of this discussion all we need to know is that when v = 0 and n = n(x),
(2.21) where p is the pressure (a Lagrange multiplier corresponding to the incompressibility constraint (Equation2.19
(2.19) )). Note that it is indeed the dynamical equations for the flow of an incompressible liquid crystal that are appropriate here. Were we to consider compressible flow then the corresponding free-energy density W would depend not only on n, ∇n but also on the density ρ and perhaps ∇ρ (see [Citation164, Chapter 5]), leading to a different variational problem for a functional I(ρ, n).
The requirement that v = 0, n = n(x), p = p(x) (where we assume that p is integrable over Ω) is a weak solution of (Equation2.18(2.18) )–(Equation2.20
(2.20) ) is then that (WEL) holds and that
(2.22) for all smooth
vanishing in a neighbourhood of ∂Ω. If n is a stationary solution of (WEL) then (Equation2.22
(2.22) ) holds with p = p0 − W, where p0 is constant. However, it is not clear whether or not a solution n of (WEL) satisfying (Equation2.22
(2.22) ) is stationary. This would follow if we knew that n were partially regular, but this is also unclear.
It is interesting (see Ericksen [Citation60]) that (Equation2.18(2.18) ) can admit solutions with v = 0 but n = n(x, t), p = p(x, t), for which similar considerations apply.
2.7. Line defects
Another solution of type (i) is the two-dimensional hedgehog given by
(2.23) This has the line defect
. However, for any bounded domain Ω containing part of L, we have that some cylinder
is contained in Ω, so that using (Equation2.4
(2.4) )
(2.24) Thus the two-dimensional hedgehog has infinite energy, and
.
Other line defects are given by index defects, such as that illustrated in (a). Here the director lies in the (x1, x2) −plane and is parallel to the curves shown, with zero component in the x3 direction. Such configurations cannot be described by the Oseen-Frank theory for two reasons. First, they are not orientable (see (b), where an attempt to orient it is illustrated, giving a conflict in the elliptical cylinder shown) so that they cannot be represented by a vector field n that is continuous outside the defect. Second, even if we restrict attention to one sector in which the line-field is orientable (such as the shaded region in (c)) the corresponding energy is infinite.
The problem that and the index
singularities have infinite energy could potentially be fixed by modifying the growth of W(n, ∇n) for large |∇n| to be subquadratic, i.e. W(n, ∇n) ⩽ C(1 + |∇n|p) for some C > 0, 1 ⩽ p < 2. After all, the quadratic dependence of W in ∇n suggests a theory designed to apply for small values of |∇n|, whereas near defects |∇n| is very large. As described in [Citation16] it is easy to modify W to have subquadratic growth without affecting the Frank constants or other desirable properties. We return in Section 3 to the question of how the lack of orientability of the index
defect might be handled.
3. The Lavrentiev phenomenon and function spaces
The Lavrentiev phenomenon, discovered in 1926 by Lavrentiev [Citation113], is of profound importance for mechanics and physics. It occurs even in harmless looking problems of the one-dimensional calculus of variations3. It can be expressed as the statement:
3.1. An example from solid mechanics
For physical systems the Lavrentiev phenomenon has the uncomfortable implication that the function space is part of the model. An interesting illustration of this in a physical problem comes from nonlinear elasticity theory. Consider a nonlinear elastic body (composed of rubber, say) occupying in a reference configuration the unit ball . A typical deformation is described by a map
, where y(x) denotes the deformed position of the material point x ∈ B. We look for a minimizer y of the total elastic free energy
(3.1) subject to the boundary condition
(3.2) where λ > 0, corresponding to a uniform radial expansion at the boundary (see (a)). We take as an example the compressible neo-Hookean material having free-energy density
(3.3) where μ > 0 and h: (0, ∞) → [0, ∞) is a convex function satisfying
(3.4) which is a standard model (though not the best) for rubber.
Figure 3. Solutions to the radial expansion problem for an elastic ball in different function spaces. (a) shows the boundary conditions, (b) the minimizer in the class of smooth maps, (c) the minimizer among radial maps in , with a cavity at the origin, (d) a possible minimizer in the space
.
![Figure 3. Solutions to the radial expansion problem for an elastic ball in different function spaces. (a) shows the boundary conditions, (b) the minimizer in the class of smooth maps, (c) the minimizer among radial maps in , with a cavity at the origin, (d) a possible minimizer in the space .](/cms/asset/c6787a5d-db17-45d0-a3cd-b57e15b8ba05/gmcl_a_1289425_f0003_oc.gif)
Among smooth mappings y the unique minimizer of I(y) subject to (Equation3.2(3.2) ) is given (see (b)) by the uniform dilatation y(x) = λx (this follows from the fact that, due to the convexity of h, W is polyconvex, hence quasiconvex; for the explanation of these terms and more details see [Citation14]). However, if λ is sufficiently large, the minimizer in the Sobolev space
is not given by a uniform dilatation, because it is energetically more convenient to create a cavity (see (c)). Although this creates a point defect in the reference configuration at which W is infinite, the overall energy is decreased because
is much smaller. This is rigorously analyzed in the class of radial deformations in [Citation13]. In fact cavitation is a standard failure mechanism for rubber (see, for example, [Citation77, Citation114]).
However, maps cannot have planar discontinuities such as occur in cracks. In order to model such fracture we must enlarge the function space again, this time to be the space
consisting of special mappings of bounded variation [Citation11]. This space is somewhat technical to describe, but the key points are that (i)
can have jump discontinuities at points of a well-defined jump set Sy, at which there is a well-defined unit normal
with respect to which there are well-defined limiting values y+, y− from either side of Sy, (ii) the gradient ∇y can still be defined away from Sy. There is, however, an energetic penalty f(y+, y−, ν) per unit area associated with a jump in y, so that the energy functional has to be modified to
(3.5) for some suitable f, where
denotes the element of area on Sy. This functional coincides with I(y) for
. Then we expect to obtain a different minimizer with cracks (see (d)). Such ‘free discontinuity’ models for fracture were first proposed by Francfort & Marigo [Citation69]. For a rigorous treatment of fracture in which cavitation is also allowed, together with numerical computations, see [Citation87–90]. In summary, we have an energy functional
having different minimizers in three different function spaces.
3.2. The Lavrentiev phenomenon for liquid crystals
But does the Lavrentiev phenomenon occur for liquid crystals? As a first example we can consider the hedgehog defined in (Equation2.11
(2.11) ). Since for topological reasons there is no continuous n satisfying
on the boundary ∂B of the unit ball B, we have formally that
(3.6) whereas
.
Lest (Equation3.6(3.6) ) be regarded as somehow cheating, Hardt & Lin [Citation84] constructed an example for the one-constant approximation in which there is a smooth (degree zero) map
such that for some α > 0
for all continuous m ∈ H1(B; S2). In this case there are smooth maps for which the energy is finite, but they all have energy at least α greater than the minimum among H1(B; S2) maps.
A more interesting possibility is if we allow the director n to be discontinuous across surfaces (planar defects), in the same spirit as the fracture models of Francfort & Marigo, so that we have an augmented functional defined for n ∈ SBV(Ω; S2) by
(3.7) for some suitable continuous interfacial energy function f. As before, Sn denotes the jump set of n,
its unit normal, and n+, n− the limiting values of n from either side of Sn. Such models have been investigated in [Citation15, Citation16], where in particular it is shown that invariance requirements imply that f depends only on the quantities
and
. See also Bedford [Citation28].
To see why the Lavrentiev phenomenon arises for , consider the order reconstruction problem in which a nematic liquid crystal occupies the region Ω = (0, l1) × (0, l2) × (0, d) between two parallel plates given by x3 = 0 and x3 = d, where d > 0, with antagonistic boundary conditions on the plates
(3.8) and periodic boundary conditions on the other faces
(3.9) Such problems have been considered by many authors using the Landau - de Gennes model (see Section 4) [Citation23, Citation24, Citation32, Citation40, Citation110, Citation144], the variable scalar order parameter model of Ericksen [Citation12], and molecular dynamics [Citation149]. If n ∈ H1(Ω; S2) satisfies the boundary conditions (Equation3.8
(3.8) ), (Equation3.9
(3.9) ), then by (Equation2.4
(2.4) ) and Jensen’s inequality
, where |Ω| = l1l2d denotes the volume of Ω, we have that
(3.10) However, in the space SBV(Ω; S2) we can consider the competitor
(3.11) for which
(3.12) which is less than
provided
(3.13) Thus for sufficiently small plate separation the minimum value for
in the space SBV(Ω; S2) is less than that in H1(Ω; S2). For more details see [Citation15, Citation16].
The use of SBV(Ω; S2) also has the purely mathematical advantage of treating index defects using a vector field rather than a line-field, by allowing n to jump to − n across surfaces with zero energy cost, such as the surface OP indicated in (c). This is explored in Bedford [Citation28]. In [Citation16] further possible applications to stripe domains in nematic elastomers and smectic thin films are suggested.
4. The Landau - de Gennes model
The Landau - de Gennes model uses a five-dimensional tensor order parameter based on the probability distribution ρ(x, p) of molecular orientations p ∈ S2 at a point x. Here p is parallel to the long axis of a molecule, and we regard p and − p as being equivalent. Two generally perceived advantages of the Landau - de Gennes model over that of Oseen-Frank are that (i) it gives structure to defects, so that in particular they have finite energy, (ii) it resolves the problem of orientability of the director.
4.1. The probability distribution of molecular orientations
In order to give meaning to the probability distribution ρ(x, p), consider the ball with centre x and small radius δ > 0. We want δ to be smaller than macroscopic length scales, but large enough to contain many molecules. To give an idea of the numbers, if δ = 1μm then B(x, δ) would contain about a billion molecules. Then ρ(x, p) can be thought of as (a smoothed out version of) the probability of a molecule chosen at random from those in B(x, δ) having orientation p. See Section 5.3 for further discussion.
Since ρ is a probability distribution and ± p are equivalent, ρ satisfies
(4.1) where dp denotes the area element on S2. By (Equation4.1
(4.1) ) the first moment
(4.2) The second moment
(4.3) is a symmetric second-order tensor which is positive definite, that is M(x)e · e > 0 for all e ∈ S2. Indeed
(4.4) while M(x)e · e = 0 implies that ρ(x, p) = 0 for p · e ≠ 0, contradicting
. Also tr M(x) = 1. The case
corresponds to an isotropic molecular distribution at x, and it is easily checked that then
.
The de Gennes Q tensor is defined as
(4.5) Thus Q(x) measures the deviation of M(x) from its isotropic value, and from the properties of M(x) satisfies
(4.6) where λmin(Q(x)) denotes the minimum eigenvalue of Q(x). Thus Q(x) is a five-dimensional order parameter, whereas the director n(x) is two-dimensional.
4.2. The Landau - de Gennes energy functional
Following de Gennes we suppose that the free energy for a nematic at constant temperature is given by
(4.7) Writing H = ∇Q, where Q = (Qij), H = (Hijk) = (Qij, k), as a consequence of frame-indifference and material symmetry, ψ = ψ(Q, H) should satisfy for any R = (Rij) ∈ O(3) = {R: RTR = 1} the isotropy condition
(4.8) where Q*ij = RirRjsQrs, H*ijk = RirRjsRktHrst.
It is usual to decompose the free-energy density ψ as
(4.9) It is often assumed that ψB has the form
(4.10) where b > 0, c > 0 and a depends linearly on temperature. If
then ψB is minimized by Q having the uniaxial form
(4.11) where
(4.12)
Usually it is assumed that ψE(Q, ∇Q) is quadratic in ∇Q. Examples of isotropic functions quadratic in ∇Q are the invariants Ii = Ii(Q, ∇Q):
(4.13) The first three linearly independent invariants I1, I2, I3 span the possible isotropic quadratic functions of ∇Q. The invariant I4 is one of 6 possible linearly independent cubic terms that are quadratic in ∇Q (see [Citation30, Citation126, Citation150, Citation158]). Note that
(4.14) is a null Lagrangian.
We assume that
(4.15) where the Li are material constants4. Note that if L2 = L3 = L4 = 0 then ψE = L1|∇Q|2, the one-constant approximation of the Landau - de Gennes theory.
4.3. From Landau - de Gennes to Oseen-Frank
Since ψB is minimized for uniaxial Q given by (see (Equation4.11(4.11) ))
(4.16) in the limit of small elastic constants Li (see below for further discussion) we expect minimizers of I(Q) to be nearly uniaxial. This motivates the constrained theory5 in which we minimize I(Q) subject to the constraint (Equation4.16
(4.16) ) for fixed s > 0. Putting (Equation4.11
(4.11) ) into ψE we obtain the Oseen-Frank energy
with
(4.17) The 4 × 4 matrix in (Equation4.17
(4.17) ) is invertible, so that the Li can be also be obtained from the Ki through the formula
(4.18) This is one reason why we choose the simplified form (Equation4.15
(4.15) ) for the elastic part of the energy, rather than including all the possible cubic terms. Including I4 as the single cubic term is a common choice (see, for example, [Citation136, Citation152]), and is convenient for establishing existence when L4 ≠ 0 (see the discussion at the end of Section 5.2).
As observed by Gartland [Citation74], care needs to be taken as regards the physical interpretation of the Li being small, because their values depend on the units of length used. A change of units of length can be represented by the change of variables x = λy, λ > 0, , leading to
, where
(4.19) If the diameter of the physical domain Ω in the x −coordinates is R, and we set λ = R then we can write
with
. Writing
, where e0 has dimensions of energy per unit volume, (Equation4.19
(4.19) ) takes the form
(4.20) in which the scaled coefficients
are dimensionless. The constrained theory should be applicable when the L′i are small, which in particular is the case in the large body limit R → ∞ for fixed Li.
There are a number of rigorous results concerning the passage from the Landau - de Gennes model to that of Oseen-Frank. Most are for the one-constant approximation
(4.21) with prescribed uniaxial boundary data, in the limit as L → 0 +, with ψB given by (Equation4.10
(4.10) ) with a < 0.
Majumdar & Zarnescu [Citation129] showed that for any sequence L(k) → 0 + there is a subsequence such that minimizers
for
converge in
to a minimizer
of
subject to the constraint
, the convergence meaning that
and
. If Ω is simply-connected then any uniaxial
is orientable [Citation22]. Hence n* is a harmonic map (a minimizer for the one-constant Oseen-Frank energy), and so by Theorem 2 has a finite number of point defects. Away from these defects the convergence
is much better. The rate of convergence was improved by Nguyen & Zarnescu [Citation140], who also obtained a first-order correction term.
Canevari [Citation37] studied the convergence of minimizers QL as L → 0 + under the logarithmic scaling
(4.22) which allows the appearance of line defects in the limit. He shows that these defects consist of straight line segments. (For colloids, where curved disclinations are seen, there are other small geometric parameters. See the study of Saturn rings by Alama, Bronsard & Lamy [Citation8].) In earlier work, Bauman, Park & Phillips [Citation25] studied how line defects appeared in the zero elastic constant limit for thin films, for general elastic constants L1, L2, L3 with L4 = 0.
Given the appearance of uniaxial Q in the limit L → 0 one can ask whether in fact there are equilibrium solutions for IL(Q) with L > 0 which are everywhere uniaxial with director n and s = s(x) (the starting assumption of the Ericksen theory of liquid crystals [Citation61]). Lamy [Citation111] shows that in one and two dimensional situations n has to be constant. These results suggest that, although for small L configurations predicted by Landau - de Gennes are very close to being uniaxial (at least away from defects), they are rarely exactly so.
4.4. Description of defects in the Landau - de Gennes model
In contrast to the Oseen-Frank theory, we expect minimizers of I(Q) subject to suitable boundary conditions, such as where
is given, to be smooth. When L4 = 0 this was proved by Davis & Gartland [Citation52] under the conditions
(4.23) which imply [Citation126] that ψE(Q, ∇Q) ⩾ c|∇Q|2 for some c > 0, so that ψE(Q, ·) is convex, and the corresponding Euler-Lagrange equations form a semilinear elliptic system.
Thus defects in the Landau - de Gennes theory are not described by singularities in Q. This has been explored for the hedgehog defect by many authors (see, for example, [Citation75, Citation86, Citation91, Citation98, Citation107, Citation109, Citation128]), and for defects of other index in [Citation99, Citation100].
However L4 = 0 implies K1 = K3, so we need L4 ≠ 0. But then
Theorem 4
(Ball & Majumdar [Citation18, Citation19]). If L4 ≠ 0, and for any continuous ψB and any boundary conditions,
is unbounded below.
5. Onsager and molecular models
5.1. Onsager models
In the Onsager model, the free energy for a homogeneous nematic liquid crystal at temperature θ > 0 is given in terms of the probability distribution ρ = ρ(p) of molecular orientations by
(5.1) As in Section 4, we assume that ρ satisfies the condition of head-to-tail symmetry
(5.2) Two well-known examples of suitable kernels k = k(p · q) are
(i) |
| ||||
(ii) |
|
where κ > 0 is a constant, which may depend on temperature and concentration. For both of these cases the behaviour of solutions depends only on the dimensionless parameter
(5.3) The Euler-Lagrange equation corresponding to the free-energy functional (Equation5.1
(5.1) ) subject to the constraint
is
(5.4) where c is a constant Lagrange multiplier, for which one solution valid for all θ > 0 is the isotropic state
(5.5) Note that if ρ = ρ(p) is a solution, so is ρR(p) = ρ(Rp) for any R ∈ SO(3). In order to study all possible solutions one can begin by looking for solutions bifurcating from
. The possible bifurcation points correspond to nonzero solution pairs (ϕ, λ) with
to the equation obtained by linearizing (Equation5.4
(5.4) ) about
, namely
(5.6) where λ = −4πkBθ. The eigenvalues λ < 0 of (Equation5.6
(5.6) ) have been calculated explicitly for a wide range of kernels k by Vollmer [Citation169]. The case of the Maier-Saupe kernel is unusual in that there is only one such eigenvalue
, corresponding to
in (Equation5.3
(5.3) ), where there is a transcritical bifurcation, and for this kernel all critical points can be explicitly determined (Fatkullin & Slastikov [Citation66], Liu, Zhang & Zhang [Citation125]).
For the Onsager kernel, there are infinitely many distinct bifurcation points αj. Vollmer [Citation169] (see also Wachsmuth [Citation170]) shows that at the least bifurcation point there is a transcritical bifurcation to an axially symmetric state, together with rotations of it, and proves other properties of the solution set. However a complete description of the set of all solutions remains an open problem. For the 2D case see Lucia & Vukadinovic [Citation127].
5.2. The singular bulk potential
The Q tensor corresponding to ρ is
(5.7) Following Katriel, Kventsel, Luckhurst & Sluckin [Citation103] and Ball & Majumdar [Citation18, Citation19], the bulk energy ψB(Q, θ) can be identified with the minimum of Iθ(ρ) among probability distributions ρ on S2 satisfying (Equation5.2
(5.2) ) such that Q(ρ) = Q.
For the Maier-Saupe kernel the interaction term takes the simple form
(5.8) so that
(5.9) Hence
(5.10) where
(5.11)
Theorem 5
([Citation18, Citation19]). f is a smooth strictly convex function of Q defined for , and
(5.12) for constants C1, C2.
In particular the singular potential ψsB(Q, θ) = ψB(Q, θ) satisfies
(5.13) Using this bulk potential, under suitable conditions on the Li it follows that the energy I(Q) in (Equation4.7
(4.7) ) is bounded below and attains a minimum even for L4 ≠ 0, in contrast to Theorem 4. To see this, note that
implies that
(5.14) Define
(5.15) Thus by (Equation4.23
(4.23) ) if
(5.16) we have that ψE(Q, ∇Q) ⩾ c1|∇Q|2 for some c1 > 0, implying in particular that the Ki given in (Equation4.17
(4.17) ) satisfy the Ericksen inequalities (Equation2.3
(2.3) ), as can be checked directly.
Furthermore the singular potential predicts an isotropic to nematic phase transition in the same way as the quartic potential (Equation4.10(4.10) ), which can be regarded as an expansion of the singular potential around the isotropic state Q = 0.
For a general framework for singular potentials together with applications see the recent work of Taylor [Citation167].
5.3. Molecular models
It is an important open problem to establish some kind of rigorous link between molecular models of liquid crystals, however primitive, and continuum models, so that solutions to the equations of motion for the molecules are shown to converge in an appropriate average sense to those for some continuum model. This is a deep problem even for the much simpler situation of a moderately rarified gas, for which there is a large literature (see, for example, [Citation70, Citation112]) on the passage from Newtonian mechanics of hard spheres to a description of the dynamics of the gas in terms of a probability distribution for the velocities satisfying the Boltzmann equation, and a further large literature (see, for example, [Citation78, Citation155]) on how to pass from the Boltzmann equation to the equations of continuum fluid dynamics. There do not seem to be any corresponding rigorous results known for liquid crystals, though there are penetrating formal studies (for example, [Citation76, Citation139]).
One issue is how the macroscopic variables, such as ρ(p) and its moments, would emerge in such a theoretical framework. We already gave in Section 4.1 a suggestive description of how this might happen for nematics via a coarse-graining procedure. Less clear is the situation for smectics, in some theories of which (for example [Citation44, Citation54, Citation79, Citation105, Citation133, Citation148]) the molecular mass density c(x) plays a role, its variation describing smectic layers. How can we have a macroscopic variable which varies on a microscopic length scale? One might try to resolve this by averaging at a fixed time over a ball centred at x and small radius δ sufficient to contain lots of molecules. However, it is not obvious this works because such an average may not detect oscillations. For example,
(5.17) is zero for all x if kδ is a root of the equation sin λ = λcos λ. This is related to the Pompeiu problem [Citation7, Citation151], which asks for which bounded domains
is it true that the only locally integrable function
for which
is f = 0, for which (Equation5.17
(5.17) ) is a counterexample for Ω a ball. A possible remedy would be to average also over a short time interval, so that the radius δ could be made smaller than the layer thickness. To make this rigorous would seem to require a quite detailed understanding of the molecular motion in smectics.
6. Unequal elastic constants
We have seen that much rigorous mathematical work on liquid crystals makes the one-constant approximation (both for Oseen-Frank and Landau - de Gennes). In this section we highlight some rigorous results for the case of unequal elastic constants.
6.1. Oseen-Frank
One reason why the case of general Ki may be more difficult is that it is only for the one-constant approximation that the Lagrange multiplier λ(x) in the Euler-Lagrange equation (Equation2.8(2.8) ), that is
depends only on ∇n.
In the one-constant approximation (Theorem 2) energy minimizers are smooth except for a finite number of point defects. This is not known for general Ki. However, we have
Theorem 6
(Hardt, Lin & Kinderlehrer [Citation81]). Let K1 > 0, K2 > 0, K3 > 0, and let . Then any minimizer n ∈ H1(Ω; S2) of
subject to
, where W is given by (Equation2.2
(2.2) ), is analytic outside a closed subset
of Ω whose Hausdorff dimension is less than one.
Hardt, Lin & Kinderlehrer [Citation81] also prove a corresponding partial regularity result up to the boundary.
An extension of Rivière’s result for the one-constant approximation to general Ki is due to Hong [Citation93], who proves that if
and if ∂Ω is smooth with
smooth on ∂Ω and nonconstant, then there are infinitely many solutions to (WEL) satisfying
(see Section 6.1.1 for the special case of the hedgehog on a ball).
6.1.1. Energy minimizing properties of universal solutions
It is interesting to ask under which conditions on the Ki, and for which boundary conditions, the universal solutions described in Section 2.4 are energy minimizers. For the hedgehog , it was observed by Hélein [Citation85] that the proof of Lin [Citation118] works in the case K2 ⩾ K1 > 0, K3 > 0, so that under these conditions on the Ki the hedgehog minimizes I(n) subject to its own boundary conditions. A detailed proof of this for Ω a ball is given in [Citation141]; for a general bounded domain Ω one can extend any n ∈ H1(Ω; S2) with
to a larger ball B by setting
outside Ω, and then apply the result for B, but a direct proof is also possible. The hedgehog is a pure splay configuration, since
. The condition that K2 ⩾ K1 says that it is energetically easier to splay than to twist.
Necessary and sufficient conditions for to be a minimizer subject to its own boundary conditions do not seem to be known. Hélein [Citation85] showed that if 8(K2 − K1) + K3 < 0 then the second (outer) variation of I(n) at
can be negative, so that
is not a minimizer. On the other hand Cohen & Taylor [Citation49] showed that if the opposite inequality 8(K2 − K1) + K3 ⩾ 0 holds then the second variation of I(n) at
is strictly positive, so that with respect to certain variations
is a local minimizer. A simplified proof of these second variation calculations was given by Kinderlehrer & Ou [Citation104]. Alouges & Ghidaglia [Citation10] presented numerical computations indicating that the condition 8(K2 − K1) + K3 ⩾ 0 is not sufficient for
to be a global minimizer; however, K1 = K2 for two of the three cases when a configuration with lower energy was apparently found, when by the result mentioned above
is in fact a minimizer.
Hong [Citation92] shows that for a ball B there are always at least two solutions of (WEL) satisfying that are partially regular (that is, smooth outside a closed subset of B of Hausdorff dimension less than 1), while if K1 ⩽ min (K2, K3) there are infinitely many such partially regular solutions having non-negative second variation.
One can similarly study when pure twists of the form (Equation2.10(2.10) ) are minimizers. As in Section 3.2 consider the region Ω = (0, l1) × (0, l2) × (0, d) between two parallel plates given by x3 = 0 and x3 = d > 0, with planar boundary conditions on the plates
(6.1) where n0 = (cos α, sin α, 0), nd = (cos β, sin β, 0) and α, β ∈ [0, π), and periodic boundary conditions
(6.2) on the other faces, where we have expressed the boundary conditions in terms of n⊗n because ± n are physically indistinguishable (for simplicity we didn’t do this in Section 3.2). Then we have
Theorem 7.
The minimum of I(n) among n ∈ H1(Ω; S2) satisfying the boundary conditions (Equation6.1(6.1) ), (Equation6.2
(6.2) ) is attained. If K2 ⩽ min (K1, K3) then any minimizer is a pure twist of the form
(6.3) where
(6.4)
Thus up to a physically meaningless change of sign, there is a unique minimizer if n0 · nd ≠ 0, and two minimizers if n0 · nd = 0 (corresponding to twists in opposite directions). The proof, which will appear elsewhere, is a consequence of the identity (Equation2.5(2.5) ) and the fact that for n satisfying the boundary conditions
The conclusion of the theorem is intuitively reasonable, since the condition K2 ⩽ min (K1, K3) says that it is energetically easier to twist than to splay or bend.
If K2 > min (K1, K3) then pure twists are not in general minimizers. For example, if K1 < K2 = K3 a twist-bend equilibrium solution depending only on x3 has less energy than any pure twist (see Leslie [Citation117], Stewart [Citation165]). Using a deflation (see [Citation65]) numerical scheme Adler et al. [Citation5] compute a variety of equilibrium solutions for some different cases, studying for example the bifurcation to twist-bend solutions as K2 is increased for fixed K1, K3. It would be interesting to understand why (the presumably infinitely many) less regular equilibria similar to those whose existence is proved by Rivière and Hong are not found by the implementation of the deflation method.
6.2. Landau - de Gennes
Consider the problem of minimizing the free energy (Equation4.7(4.7) ) with the singular bulk potential
subject to
, where
is smooth and
for all x ∈ ∂Ω.
As explained at the end of Section 5.2, if the inequalities (Equation5.16(5.16) ) hold, then the minimum of I(Q) is attained. Let Q* be a minimizer, so that in particular we have that
(6.5) Is Q* smooth? This would be straightforward to prove if we knew that
(6.6) for some constant ϵ > 0. For then we could show that Q* is a weak solution of the corresponding Euler-Lagrange equations and use elliptic regularity theory in the same way as Davis & Gartland [Citation52].
But surely (Equation6.6(6.6) ) must be true, because why would it be good for the integrand in (Equation6.5
(6.5) ) to be infinite somewhere, when Q* a minimizer? However in fact this phenomenon often arises in the calculus of variations, as we have already seen for the hedgehog defect, for the model of cavitation discussed in Section 3, and more surprisingly in the one-dimensional example mentioned there, so it is a delicate matter to show that it cannot happen.
A proof of (Equation6.6(6.6) ) in the one-constant approximation ψE(Q, ∇Q) = L1|∇Q|2 is given in [Citation18, Citation19], but the method seems not to work for more general elastic constants, for which the question of whether (Equation6.6
(6.6) ) holds remains open. However, without proving (Equation6.6
(6.6) ), Evans, Kneuss & Tran [Citation64] show as a consequence of a more general partial regularity result that Q* is smooth outside a closed subset E⊂Ω of measure zero. Bauman & Phillips [Citation26] study the regularity problem in 2D, in particular proving (Equation6.6
(6.6) ) when L2 = L3 = 0 and L′1 > 0, where L′1 is defined in (Equation5.15
(5.15) ).
7. Omissions
This paper does not pretend to be a comprehensive survey of mathematical work on liquid crystals. Some notable omissions concern:
1. | Dynamics: Here one goal is to understand the qualitative properties of solutions to the Ericksen-Leslie equations, which were briefly mentioned in Section 2.6. These equations consist of a momentum equation generalizing the Navier-Stokes equations for motion of a linear viscous fluid, coupled to an evolution equation for the director n. This system of equations poses additional challenges to those already present for the Navier-Stokes equations, for which it is famously not known whether solutions to initial-boundary value problems in 3D are smooth or unique. A particular added difficulty for the Ericksen-Leslie equations is how to handle the unit vector constraint |n| = 1. Thus the first attempts to prove existence of solutions relaxed this constraint by replacing W(n, ∇n) by W(n, ∇n) + ϵ− 2(|n|2 − 1)2 in the hope of recovering the constraint in the limit ϵ → 0 +, and global existence and partial regularity of weak solutions to a simplified version of the corresponding system of equations in 3D was proved in [Citation119, Citation121, Citation122]. For versions of the Ericksen-Leslie equations in 2D with the unit vector constraint there is a relatively complete global existence, uniqueness and regularity theory (see, for example, [Citation94–96, Citation120, Citation123]). These papers ignore the moment of inertia of molecules; a short-time existence theory when this is included but without dissipation in the director equation is provided in [Citation43]. For special initial data global existence of a weak solution in 3D to a simplified Ericksen-Leslie system was proved in [Citation124], and for the same system the existence of solutions developing a singularity in finite time was proved in [Citation97]. These papers mostly concern the one-constant approximation. For a discussion of numerical approximation of solutions to the Ericksen-Leslie equations see [Citation171]. There are corresponding sets of dynamical equations when the order paranmeter is the Q tensor, such as the Beris-Edwards model [Citation29]. For recent work on the existence and properties of solutions see for example [Citation1, Citation2, Citation142, Citation143], and in the context of the singular bulk potential [Citation67, Citation174]. For results on how to relate these models to the Ericksen-Leslie equations see [Citation172]. The dynamical behaviour of liquid crystals has many complex aspects (see e.g. [Citation68]) worthy of mathematical treatment. | ||||
2. | Smectics. The results highlighted in this paper mainly concern nematics. Among mathematical studies of other liquid crystal phases, smectics (briefly touched on in Sections 3.2, 5.3) have generated considerable recent interest. See, for example, [Citation9, Citation27, Citation31, Citation36, Citation45–47, Citation50, Citation71–73, Citation79, Citation101, Citation102, Citation134, Citation145–147, Citation156, Citation162]. | ||||
3. | Liquid crystal elastomers. Liquid crystal elastomers are materials formed from polymers to which are attached liquid crystal mesogens. In the case of nematic elastomers the model of Bladon, Warner & Terentjev [Citation33, Citation173] is based on a free-energy density ψ(∇y, n) depending on the deformation gradient ∇y and n, but not on ∇n (so that Frank elasticity is ignored). Minimizing with respect to n leads to a free-energy density W(∇y) = min |n| = 1ψ(∇y, n) which was shown by De Simone & Dolzmann [Citation56] not to be quasiconvex, leading to nonattainment of energy minimizers and an explanation of observed laminated structures [Citation108] similar to those seen in martensitic phase transformations. For a selection of recent mathematical work in this area see [Citation6, Citation35, Citation41, Citation42]. | ||||
4. | Topological aspects. Liquid crystals traditionally have been an area in which geometry and mechanics meet topology, for example in the topological description of defects. An interesting area of current activity in which topology plays a role is that of nematic shells (see, for example, [Citation38, Citation39, Citation154, Citation160, Citation161]). Related to this work is the interest in the topology of disclination lines induced by colloidal systems (see, for example, [Citation8, Citation51, Citation132, Citation166, Citation168]). Other interesting connections with topology appear in [Citation3, Citation4]. |
Acknowledgments
I acknowledge with thanks the hospitality of the Liquid Crystal Research Institute at Kent State University, where much of this lecture was prepared. I am grateful to Giacomo Canevari, Patrick Farrell, David Kinderlehrer, Fanghua Lin, Tom Lubensky, Peter Palffy-Muhoray, Dan Phillips, Michaela Vollmer and Arghir Zarnescu for illuminating discussions and references. I especially thank Epifanio Virga and the referee for their careful reading of the article and very useful suggestions and comments.
Funding
This research was supported by EPSRC (GRlJ03466, the Science and Innovation award to the Oxford Centre for Nonlinear PDE EP/E035027/1, and EP/J014494/1), the European Research Council under the European Union’s Seventh Framework Programme (FP7/2007-2013) / ERC grant agreement no 291053 and by a Royal Society Wolfson Research Merit Award.
Notes
1 In MathSciNet, the main mathematics reviewing journal, the number of papers mentioning liquid crystals rose from 4 for 1971–1975, to 223 for 2006–2010, and 407 for 2011–2015.
2 I am grateful for discussions with Fanghua Lin and Epifanio Virga conerning the material in this section.
3 for example, the problem of minimizing the integral I(u) = ∫1− 1[(x4 − u6)2ux28 + ϵu2x] dx subject to the boundary conditions u( − 1) = −1, u(1) = 1, where ϵ > 0 is sufficiently small. For a detailed discussion, together with other historical references, see [Citation20].
4 Here we use the definitions of the Li, i = 1, 2, 3 most common in the literature (for example [Citation53, Citation126, Citation135]), rather than those used in the papers [Citation16, Citation19, Citation21, Citation22] in which the Li were permuted with respect to these definitions, with a corresponding permutation of the Ii.
5 For a corresponding constrained theory for biaxial nematics see [Citation137, Citation138].
References
- Abels, H., Dolzmann, G., & Liu, Y. (2014). SIAM J. Math. Anal., 46(4), 3050–3077.
- Abels, H., Dolzmann, G., & Liu, Y. (2016). Adv. Differential Equations, 21(1-2), 109–152.
- Ackerman, P. J., & Smalyukh, I. I. Diversity of knot solitons in liquid crystals manifested by linking of preimages in torons and hopfions. Preprint.
- Ackerman, P. J., & Smalyukh, I. I. Static three-dimensional topological solitons in fluid chiral ferromagnets and colloids. Preprint.
- Adler, J. H., Emerson, D. B., Farrell, P. E., & MacLachlan, S. P. (2016). SIAM Journal on Scientific Computing. To appear.
- Agostiniani, V., Dal Maso, G., & DeSimone, A. (2015). Proc. Roy. Soc. Edinburgh Sect. A, 145(4), 669–701.
- Agranovich, M. S. (2008). Integral geometry and spectral analysis. In P. Ciatti, E. Gonzalez, M. Lanza De Cristoforis, & G. P. Leonardi, editors, Topics in Mathematical Analysis, volume 3 of ISAAC series on Analysis, Applications and Computation, chapter 9, pages 281–320. World Scientific.
- Alama, S., Bronsard, L., & Lamy, X. (2016). Arch. Ration. Mech. Anal., 222(1), 427–450.
- Almog, Y. (2008). Calc. Var. Partial Differential Equations, 33(3), 299–328.
- Alouges, F., & Ghidaglia, J. M. (1997). Annales de l’I.H.P. Physique ThéOrique, 66(4), 411–447.
- Ambrosio, L., Fusco, N., & Pallara, D. (2000). Functions of Bounded Variation and Free Discontinuity Problems. Oxford Mathematical Monographs. Oxford University Press.
- Ambrosio, L., & Virga, E. G. (1991). Arch. Rational Mech. Anal., 114(4), 335–347.
- Ball, J. M. (1982). Phil. Trans. Royal Soc. London A, 306, 557–611.
- Ball, J. M. (2002). Some open problems in elasticity. In Geometry, Mechanics, and Dynamics, pages 3–59. Springer, New York.
- Ball, J. M., & Bedford, S. J. Surface discontinuities of the director in liquid crystal theory. In preparation.
- Ball, J. M., & Bedford, S. J. (2015). Molecular Crystals and Liquid Crystals, 612(1), 1–23.
- Ball, J. M., & James, R. D. (1987). Arch. Ration. Mech. Anal., 100, 13–52.
- Ball, J. M., & Majumdar, A. Equilibrium order parameters of liquid crystals in the Q-tensor framework. In preparation.
- Ball, J. M., & Majumdar, A. (2010). Molecular crystals and liquid crystals, 525, 1–11.
- Ball, J. M., & Mizel, V. J. (1985). Arch. Ration. Mech. Anal., 90, 325–388.
- Ball, J. M., & Zarnescu, A. (2008). Molecular crystals and liquid crystals, 495, 573–585.
- Ball, J. M., & Zarnescu, A. (2011). Arch. Ration. Mech. Anal., 202, 493–535.
- Barberi, R., Ciuchi, F., Durand, G. E., Iovane, M., Sikharulidze, D., Sonnet, A. M., & Virga, E. G. (2004). Eur. Phys. J. E, 13, 61–71.
- Barbero, G., & Barberi, R. (1983). J. Physique, 44, 609–616.
- Bauman, P., Park, J., & Phillips, D. (2012). Arch. Ration. Mech. Anal., 205(3), 795–826.
- Bauman, P., & Phillips, D. (2016). Calc. Var. Partial Differential Equations, 55(4), Paper No. 81, 22.
- Bauman, P., Phillips, D., & Park, J. (2015). Discrete Contin. Dyn. Syst. Ser. S, 8(2), 243–257.
- Bedford, S. J. (2016). Arch. Ration. Mech. Anal., 219(2), 937–984.
- Beris, A. N., & Edwards, B. J. (1994). Thermodynamics of flowing systems with internal microstructure, volume 36 of Oxford Engineering Science Series. The Clarendon Press, Oxford University Press, New York. Oxford Science Publications.
- Berreman, D. W., & Meiboom, S. (1984). Physical Review A, 30(4), 1955.
- Biscari, P., Calderer, M. C., & Terentjev, E. M. (2007). Phys. Rev. E (3), 75(5), 051707, 11.
- Bisi, F., Gartland, E. C., Rosso, R., & Virga, E. G. (2003). Phys. Rev. E, 68, 021707.
- Bladon, P., Terentjev, E. M., & Warner, M. (1993). Phys. Rev. E, 47, R3838–3839.
- Brezis, H., Coron, J.-M., & Lieb, E. H. (1986). Comm. Math. Phys., 107(4), 649–705.
- Calderer, M. C., Garavito Garzón, C. A., & Yan, B. (2015). Discrete Contin. Dyn. Syst. Ser. S, 8(2), 283–302.
- Calderer, M.-C., & Joo, S. (2008). SIAM J. Appl. Math., 69(3), 787–809.
- Canevari, G. (2016). Archive for Rational Mechanics and Analysis, pages 1–86.
- Canevari, G., Ramaswamy, M., & Majumdar, A. (2016). Phys. D, 314, 18–34.
- Canevari, G., Segatti, A., & Veneroni, M. (2015). J. Funct. Anal., 269(10), 3043–3082.
- Carbone, G., Lombardo, G., & Barberi, R. (2009). Phys. Rev. Letters, 103, 167801.
- Cesana, P., & Desimone, A. (2009). Math. Models Methods Appl. Sci., 19(4), 601–630.
- Cesana, P., Plucinsky, P., & Bhattacharya, K. (2015). Arch. Ration. Mech. Anal., 218(2), 863–905.
- Chechkin, G. A., Ratiu, T. S., Romanov, M. S., & Samokhin, V. N. (2016). J. Math. Fluid Mech., 18(3), 571–589.
- Chen, J., & Lubensky, T. C. (1976). Physical Review A, 14, 1202–1207.
- Cheng, L. Z., & Phillips, D. (2015). SIAM J. Appl. Math., 75(1), 164–188.
- Climent-Ezquerra, B., & Guillén-González, F. (2010). Commun. Pure Appl. Anal., 9(6), 1473–1493.
- Climent-Ezquerra, B., & Guillén-González, F. (2012). Discrete Contin. Dyn. Syst., 32(12), 4171–4182.
- Cohen, R., Hardt, R., Kinderlehrer, D., Lin, S. Y., & Luskin, M. (1987). Minimum energy configurations for liquid crystals: computational results. In Theory and applications of liquid crystals (Minneapolis, Minn., 1985), volume 5 of IMA Vol. Math. Appl., pages 99–121. Springer, New York.
- Cohen, R., & Taylor, M. (1990). Comm. Partial Differential Equations, 15(5), 675–692.
- Colbert-Kelly, S., & Phillips, D. (2013). Ann. Inst. H. Poincaré Anal. Non Linéaire, 30(6), 1009–1026.
- Čopar, S., Tkalec, U., Muševič, I., & Žumer, S. (2015). Proc. Natl. Acad. Sci. USA, 112(6), 1675–1680.
- Davis, T. A., & Gartland, Jr., E. C. (1998). SIAM J. Numer. Anal., 35(1), 336–362.
- de Gennes, P. G. (1971). Molecular Crystals and Liquid Crystals, 12(3), 193–214.
- de Gennes, P. G. (1972). Solid State Communications, 10, 753–756.
- De Lellis, C., & Székelyhidi, Jr., L. (2009). Ann. of Math. (2), 170(3), 1417–1436.
- DeSimone, A., & Dolzmann, G. (2002). Arch. Ration. Mech. Anal., 161(3), 181–204.
- Ericksen, J. L. (1962). Arch. Rational Mech. Anal., 9, 371–378.
- Ericksen, J. L. (1966). Physics of Fluids (1958-1988), 9(6), 1205–1207.
- Ericksen, J. L. (1967). Transactions of the Society of Rheology, 11, 5–14.
- Ericksen, J. L. (1968). The Quarterly Journal of Mechanics and Applied Mathematics, 21(4), 463–465.
- Ericksen, J. L. (1990). Arch. Rational Mech. Anal., 113(2), 97–120.
- Evans, L. C. (1991). Arch. Rational Mech. Anal., 116(2), 101–113.
- Evans, L. C. (2010). Partial differential equations, volume 19 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, second edition.
- Evans, L. C., Kneuss, O., & Tran, H. (2016). Trans. Amer. Math. Soc., 368(5), 3389–3413.
- Farrell, P. E., Birkisson, A., & Funke, S. W. (2015). SIAM Journal on Scientific Computing, 37(4), A2026–A2045.
- Fatkullin, I., & Slastikov, V. (2005). Nonlinearity, 18(6), 2565–2580.
- Feireisl, E., Schimperna, G., Rocca, E., & Zarnescu, A. (2015). Ann. Mat. Pura Appl. (4), 194(5), 1269–1299.
- Forest, M. G., Zhou, R., & Wang, Q. (2007). Multiscale Model. Simul., 6(3), 858–878.
- Francfort, G. A., & Marigo, J.-J. (1998). J. Mech. Phys. Solids, 46, 1319–1342.
- Gallagher, I., Saint-Raymond, L., & Texier, B. (2013). From Newton to Boltzmann: hard spheres and short-range potentials. Zurich Lectures in Advanced Mathematics. European Mathematical Society (EMS), Zürich.
- García-Cervera, C. J., Giorgi, T., & Joo, S. (2016). SIAM J. Appl. Math., 76(1), 217–237.
- García-Cervera, C. J., & Joo, S. (2012). Arch. Ration. Mech. Anal., 203(1), 1–43.
- García-Cervera, C. J., & Joo, S. (2014). Commun. Math. Sci., 12(6), 1155–1183.
- Gartland, E. C. (2015). Scalings and limits of the Landau-de Gennes model for liquid crystals: A comment on some recent analytical papers. arXiv:1512.08164.
- Gartland, E. C., & Mkaddem, S. (1999). Phys. Rev. E., 59, 563–567.
- Gelbart, W. M., & Ben-Shaul, A. (1982). The Journal of Chemical Physics, 77(2), 916–933.
- Gent, A. N., & Lindley, P. B. (1958). Proc. Roy. Soc. London Ser. A, 249, 195–205.
- Gorban, A. N., & Karlin, I. (2014). Bull. Amer. Math. Soc. (N.S.), 51(2), 187–246.
- Han, J., Luo, Y., Wang, W., Zhang, P., & Zhang, Z. (2015). Arch. Ration. Mech. Anal., 215(3), 741–809.
- Hardt, R., Kinderlehrer, D., & Lin, F. (1986). Molecular Crystals and Liquid Crystals, 139(3-4), 189–194.
- Hardt, R., Kinderlehrer, D., & Lin, F.-H. (1986). Comm. Math. Phys., 105(4), 547–570.
- Hardt, R., Kinderlehrer, D., & Lin, F.-H. (1988). Ann. Inst. H. Poincaré Anal. Non Linéaire, 5(4), 297–322.
- Hardt, R., Kinderlehrer, D., & Luskin, M. (1988). Remarks about the mathematical theory of liquid crystals. In Calculus of variations and partial differential equations, pages 123–138. Springer.
- Hardt, R., & Lin, F.-H. (1987). Comm. Pure Appl. Math., 40(5), 555–588.
- Hélein, F. (1987). C. R. Acad. Sci. Paris Sér. I Math., 305(12), 565–568.
- Henao, D., & Majumdar, A. (2012). SIAM J. Math. Anal., 44(5), 3217–3241.
- Henao, D., & Mora-Corral, C. (2010). Arch. Ration. Mech. Anal., 197(2), 619–655.
- Henao, D., & Mora-Corral, C. (2011). Arch. Ration. Mech. Anal., 201(2), 575–629.
- Henao, D., Mora-Corral, C., & Xu, X. (2015). Arch. Ration. Mech. Anal., 216(3), 813–879.
- Henao, D., Mora-Corral, C., & Xu, X. (2016). Comput. Methods Appl. Mech. Engrg., 303, 163–184.
- Henao, D., Pisante, A., & Majumdar, A. Uniaxial versus biaxial character of nematic equilibria in three dimensions. To appear.
- Hong, M.-C. (2004). Indiana Univ. Math. J., 53(5), 1401–1414.
- Hong, M.-C. (2007). Pacific J. Math., 232(1), 177–206.
- Hong, M.-C. (2011). Calc. Var. Partial Differential Equations, 40(1-2), 15–36.
- Hong, M.-C., & Xin, Z. (2012). Adv. Math., 231(3-4), 1364–1400.
- Huang, J., Lin, F.-H., & Wang, C. (2014). Comm. Math. Phys., 331(2), 805–850.
- Huang, T., Lin, F.-H., Liu, C., & Wang, C. (2016). Arch. Ration. Mech. Anal., 221(3), 1223–1254.
- Ignat, R., Nguyen, L., Slastikov, V., & Zarnescu, A. (2015). Arch. Ration. Mech. Anal., 215(2), 633–673.
- Ignat, R., Nguyen, L., Slastikov, V., & Zarnescu, A. (2016). Ann. Inst. H. Poincaré Anal. Non Linéaire, 33(4), 1131–1152.
- Ignat, R., Nguyen, L., Slastikov, V., & Zarnescu, A. (2016). Calculus of Variations and Partial Differential Equations, 55(5), 119.
- Joo, S., & Phillips, D. (2007). Comm. Math. Phys., 269(2), 369–399.
- Kamien, R. D., & Santangelo, C. D. (2006). Geom. Dedicata, 120, 229–240.
- Katriel, J., Kventsel, G. F., Luckhurst, G. R., & Sluckin, T. J. (1986). Liquid Crystals, 1, 337–355.
- Kinderlehrer, D., & Ou, B. (1992). Proc. Roy. Soc. London Ser. A, 437(1900), 475–487.
- Kléman, M., & Parodi, O. (1975). J. de Physique, 36, 671–681.
- Koning, V., van Zuiden, B. C., Kamien, R. D., & Vitelli, V. (2014). Soft Matter, 10, 4192–4198.
- Kralj, S., & Virga, E. G. (2001). J. Phys. A, 34(4), 829–838.
- Kundler, I., & Finkelmann, H. (1995). Macromol. Rapid Commun., 16, 679–686.
- Lamy, X. (2013). J. Math. Anal. Appl., 397(2), 586–594.
- Lamy, X. (2014). J. Nonlinear Sci..
- Lamy, X. (2015). Ann. Inst. H. Poincaré Anal. Non Linéaire, 32(5), 1125–1144.
- Lanford, III, O. E. (1975). Time evolution of large classical systems. In Dynamical systems, theory and applications (Rencontres, Battelle Res. Inst., Seattle, Wash., 1974), pages 1–111. Lecture Notes in Phys., Vol. 38. Springer, Berlin.
- Lavrentiev, M. (1926). Ann. Mat. Pura Appl., 4, 7–28.
- Lazzeri, A., & Bucknall, C. B. (1995). Polymer, 36, 2895–2902.
- Leslie, F. M. (1966). Quart. J. Mech. Appl. Math., 19, 357–370.
- Leslie, F. M. (1968). Arch. Rational Mech. Anal., 28(4), 265–283.
- Leslie, F. M. (1975). Pramana, Suppl. No. 1, 41–55.
- Lin, F.-H. (1987). C. R. Acad. Sci. Paris Sér. I Math., 305(12), 529–531.
- Lin, F.-H. (1989). Comm. Pure Appl. Math., 42(6), 789–814.
- Lin, F.-H., Lin, J., & Wang, C. (2010). Arch. Ration. Mech. Anal., 197(1), 297–336.
- Lin, F.-H., & Liu, C. (1995). Comm. Pure Appl. Math., 48(5), 501–537.
- Lin, F.-H., & Liu, C. (1996). Discrete Contin. Dynam. Systems, 2(1), 1–22.
- Lin, F.-H., & Wang, C. (2010). Chin. Ann. Math. Ser. B, 31(6), 921–938.
- Lin, F.-H., & Wang, C. (2016). Comm. Pure Appl. Math., 69(8), 1532–1571.
- Liu, H., Zhang, H., & Zhang, P. (2005). Commun. Math. Sci., 3(2), 201–218.
- Longa, L., Monselesan, D., & Trebin, H. (1987). Liq. Crys., 2, 769–796.
- Lucia, M., & Vukadinovic, J. (2010). Nonlinearity, 23(12), 3157–3185.
- Majumdar, A. (2012). European J. Appl. Math., 23(1), 61–97.
- Majumdar, A., & Zarnescu, A. (2010). Arch. Ration. Mech. Anal., 196(1), 227–280.
- Marris, A. W. (1978). Arch. Rational Mech. Anal., 67(3), 251–303.
- Marris, A. W. (1979). Arch. Rational Mech. Anal., 69(4), 323–333.
- Martinez, A., Ravnik, M., Lucero, B., Visvanathan, R., Žumer, S., & Smalyukh, I. I. (2014). Nat. Mater., 13, 258–263.
- McMillan, W. L. (1971). Phys. Rev. A, 4, 1238–1246.
- Mei, S., & Zhang, P. (2015). Multiscale Model. Simul., 13(3), 977–1000.
- Mori, H., Gartland, E. C., Kelly, J. R., & Bos, P. J. (1999). Jap. J. App. Phys., 38, 135–146.
- Mottram, N., & Newton, C. (2014). An introduction to Q-tensor theory. arXiv:1409.3542.
- Mucci, D., & Nicolodi, L. (2012). Arch. Ration. Mech. Anal., 206(3), 853–884.
- Mucci, D., & Nicolodi, L. (2016). SIAM J. Math. Anal., 48(3), 1954–1987.
- Nehring, J., & Saupe, A. (1971). The Journal of Chemical Physics, 54(1), 337–343.
- Nguyen, L., & Zarnescu, A. (2013). Calc. Var. Partial Differential Equations, 47(1-2), 383–432.
- Ou, B. (1992). J. Geom. Anal., 2(2), 183–194.
- Paicu, M., & Zarnescu, A. (2011). SIAM J. Math. Anal., 43(5), 2009–2049.
- Paicu, M., & Zarnescu, A. (2012). Arch. Ration. Mech. Anal., 203(1), 45–67.
- Palffy-Muhoray, P., Gartland, E. C., & Kelly, J. R. (1994). Liq. Cryst., 16, 713–718.
- Pan, X.-B. (2008). Comm. Math. Phys., 280(1), 77–121.
- Pan, X.-B. (2014). Calc. Var. Partial Differential Equations, 51(3-4), 963–998.
- Park, J., & Calderer, M. C. (2006). SIAM J. Appl. Math., 66(6), 2107–2126.
- Pevnyi, M. Y., Selinger, J. V., & Sluckin, T. J. (2014). Phys. Rev. E, 90, 032507.
- Pizzirusso, A., Berardi, R., Muccioli, L., Riccia, M., & Zannoni, C. (2012). Chem. Sci., 3, 573–579.
- Poniewierski, A., & Sluckin, T. (1985). Molecular Physics, 55(5), 1113–1127.
- Ramm, A. G. (2005). Inverse problems. Mathematical and Analytical Techniques with Applications to Engineering. Springer, New York.
- Ravnik, M., & Žumer, S. (2009). Liquid Crystals, 36(10-11), 1201–1214.
- Rivière, T. (1995). Acta Math., 175(2), 197–226.
- Rosso, R., Virga, E. G., & Kralj, S. (2012). Contin. Mech. Thermodyn., 24(4-6), 643–664.
- Saint-Raymond, L. (2014). Bull. Amer. Math. Soc. (N.S.), 51(2), 247–275.
- Santangelo, C. D., & Kamien, R. D. (2005). Proc. R. Soc. A, 461(2061), 2911–2921.
- Scheffer, V. (1993). J. Geom. Anal., 3(4), 343–401.
- Schiele, K., & Trimper, S. (1983). physica status solidi (b), 118(1), 267–274.
- Schoen, R., & Uhlenbeck, K. (1982). J. Differential Geom., 17(2), 307–335.
- Segatti, A., Snarski, M., & Veneroni, M. (2014). Phys. Rev. E, 90, 012501.
- Segatti, A., Snarski, M., & Veneroni, M. (2016). Math. Models Methods Appl. Sci., 26(10), 1865–1918.
- Segatti, A., & Wu, H. (2011). SIAM J. Math. Anal., 43(6), 2445–2481.
- Shnirelman, A. (1997). Comm. Pure Appl. Math., 50(12), 1261–1286.
- Sonnet, A. M., & Virga, E. G. (2012). Dissipative ordered fluids: Theories for liquid crystals. Springer, New York.
- Stewart, I. W. (2004). The static and dynamic theory of liquid crystals. Taylor and Francis.
- Tasinkevych, M., Campbell, M. G., & Smalyukh, I. I. (2014). Proc. Natl. Acad. Sci. USA, 111(46), 16268–16273.
- Taylor, J. M. (2016). Journal of Statistical Physics, 164(6), 1429–1459.
- Tkalec, U., Ravnik, M., Čopar, S., Žumer, S., & Muševič, I. (2011). Science, 333(6038), 62–65.
- Vollmer, M. A. C. Arch. Ration. Mech. Anal. To appear.
- Wachsmuth, J. (2006). Suspensions of rod-like molecules: the isotropic-nematic phase transition and flow alignment in 2-d. Unpublished Master’s thesis, University of Bonn.
- Walkington, N. J. (2011). ESAIM: Mathematical Modelling and Numerical Analysis, 45(3), 523–540.
- Wang, W., Zhang, P., & Zhang, Z. (2015). SIAM J. Math. Anal., 47(1), 127–158.
- Warner, M., & Terentjev, E. M. (2003). Liquid crystal elastomers. International Series of Monographs on Physics. Oxford University Press.
- Wilkinson, M. (2015). Arch. Ration. Mech. Anal., 218(1), 487–526.
- Williams, C., Pierański, P., & Cladis, P. (1972). Physical Review Letters, 29(2), 90.