On the Disclination Lines of Nematic Liquid Crystals
Abstract
Defects in liquid crystals are of great practical importance and theoretical interest. Despite tremendous efforts, predicting the location and transition of defects under various topological constraint and external field remains to be a challenge. We investigate defect patterns of nematic liquid crystals confined in threedimensional spherical droplet and twodimensional disk under different boundary conditions, within the Landaude Gennes model. We implement a spectral method that numerically solves the Landaude Gennes model with high accuracy, which allows us to study the detailed static structure of defects. We observe five types of defect structures. Among them the 1/2disclination lines are the most stable structure at low temperature. Inspired by numerical results, we obtain the profile of disclination lines analytically. Moreover, the connection and difference between defect patterns under the Landaude Gennes model and the OseenFrank model are discussed. Finally, four conjectures are made to summarize some important characteristics of defects in the Landaude Gennes theory. This work is a continuing effort to deepen our understanding on defect patterns in nematic liquid crystals.
1 Introduction
Nematic liquid crystals (LCs) are composed of rigid rodlike molecules. When subject to topological constraint, discontinuity in the alignment direction of LCs can form, which is known as defects. Defects are commonly found to exist as isolated point or disclination line in experiments [8]. When conditions such as temperature and boundary constraint vary, the location and topology of defects may change drastically [15]. Predicting defect pattern is the key to design selfassembly biomolecule and colloidal suspensions, and is thus of particular practical interest but remains to be a difficult problem [24, 20, 12, 19].
Three commonly used continuum theories to describe nematic LCs at equilibrium are the OseenFrank model, Ericksen’s model and the Landaude Gennes model [19]. In the OseenFrank model the state of nematic LCs is described by a unitvector field, , where is the region occupied by the LCs material. In its simplest form, the OseenFrank freeenergy functional can be written as
The vector filed that minimizes is a valued harmonic map [19, 32].
There are two deficiencies in the OseenFrank model in describing nematic LCs. First, and are treated as discontinuity while physically they are equivalent. As a result, the headtotail symmetry is not preserved [3]. Secondly, the model can only predict point defects but not the more complex disclination lines observed in experiments [18].
The Ericksen’s model can admit solutions that contain disclination lines [13, 19]. In this model the state of LCs is described by . Compared with the OseenFrank model, it contains an extra order parameter which measures the degree of orientational order along . The freeenergy functional is given by
where is a bulk energy term and is a constant. Singularity of in in the OseenFrank model at the defect can be removed by allowing in in the Ericksen’s model. In this sense the Ericksen’s model can be considered as a regularization of the OseenFrank model.
In the physically more realistic Landaude Gennes (LdG) model the state of LCs is described by a matrixvalued tensor field, . The set contains all the threebythree symmetric traceless matrix. A tensor has five degreeoffreedom and can be written as
(1) 
where is threebythree identity matrix. When , and is called isotropic. When and , is called uniaxial. It corresponds to the physical configuration that the orientation of the LC molecules are rotational symmetrical with respect to . A uniaxial has two identical eigenvalues. The set of uniaxial and isotropic ,
(2) 
is homotopically equivalent to for the order parameters in the Ericksen’s model. In addition, for fixed in , the order parameter reduce to in the OseenFrank theory. When the three eigenvalues of are different, both and in Eq. (1) are nonzero and is referred as biaxial. As we will see later, biaxiality, which is absent in the Ericksen’s and OseenFrank models, is a key ingredient in the local profile of defects in the LdG model.
The freeenergy functional of the LdG model can be written as
Here the bulk energy density is
(3) 
and the elastic energy density is
are temperature and material dependent constants and are elastic constants. Summation over repeated indices is implied and the comma indicates spatial derivative. For simplicity we restrict ourselves to and consider the domain as a 3ball of radius (), or a 2disk of radius (). We nondimensionalize the model by defining the characteristic length , effective temperature and elastic constant , and rescaling the variables by , , . After dropping the tildes, we obtain
(4) 
The integration is taken over the rescaled computational domain — the unit ball () or unit disk ().
Remark 1.1.
In a related work [25], the length is rescaled by the characteristic length instead of as we did here. When increases in their case, the radius of the computation domain also increases while the elastic constant remains the same. In our case, however, increasing will lead to the decreasing of while the computation domain remains the same. Their approach is more physical, while ours is more mathematical.
Remark 1.2.
Before rescaling, the eigenvalues of , , take values in [21]. corresponds to the case in which all LC molecules are pointing exactly at the same direction, whereas corresponds to the case in which LC molecules are completely compressed along the corresponding eigendirection. After scaling, the eigenvalues of the scaled take value in , with and .
The effective temperature appears only in the bulk energy term in the LdG. For , nematic phase is energetically favored. Minimizing the bulk energy yields
(5) 
where
(6) 
Under certain boundary conditions, forcing everywhere to be of the form of Eq. (5) will have to introduce singularities in , or defects. In order to reduce the total freeenergy near the defects, may take the more general form of Eq. (1). Defect pattern, i. e., the global positioning of singularities and the local profile near them is a delicate balance between the bulk, elastic and boundary energy. The study of defect pattern in LCs is important because: (i) Defects are the most visually striking feature of LC material and are closely related to its physical properties. (ii) Regions at or near defects challenge the limitation set by the models and are the ideal subject to study if we want to understand the relationship between different models.
A model system to study defect pattern is a spherical droplet of LCs with homeotropic anchoring condition at the boundary. All the three continuous models mentioned above admit the socalled radial hedgehog solution, in which there exists one point defect with topological charge 1 at the center of the ball (Fig. 1(a)). For the LdG model, it has been shown both numerically and theoretically that the radial hedgehog solution is not stable for low temperature , and the point defect will broaden into a disclination ring (Fig. 1(b)) [29, 25, 14, 16]. The disclination ring is a symmetry breaking solution. Each point at the ring is a defect with topological charge +1/2, and the ring of defect is coated with a torus of biaxial region. As we mentioned earlier, the OseenFrank model can only admit isolated point defects, hence the disclination ring solution does not exist in the OseenFrank model. For the Ericksen’s model, although it has been argued that it can predict the disclination ring solution [19], the shape and stability of the ring may be quite different than that predicted by the LdG model because the Ericksen’s model does not allow biaxiality.
One can see that, even for the above simple model system, drastic difference in defect pattern exists among models. In order to gain a deeper understanding of defect patterns, including different types of defects and their transition, the global position and local profile of defects, and their parameter dependency, we study a spherical droplet of LCs subject to planar anchoring condition at the boundary. We numerically solve the LdG model with a spectral method based on Zernike polynomial expansion [33]. The high accuracy of this method allows us to capture the detailed configuration of defects. Based on our numerical results, we classify defects in the LdG model into five categories (see the end of Sec. 2.1). Four of them involve disclination lines, suggesting that disclination lines are more energetically favored than point defects in the LdG model. In addition, we notice that disclination lines are always accompanied by biaxiality.
Given the importance of disclination lines in the LdG model, we systematically study a disk of nematic LCs as a model system of disclination lines. Assuming invariant of along the axis, a point defect in a 2disk corresponds to a vertical disclination line of a cylinder. On the numerical side, we obtain three types of configurations for a variety of boundary conditions. The first type is stable only for high temperature and large . It has one single disclination line perpendicular to the center of the disk, the topological charge of which is determined by the boundary condition, with possible values . As the temperature and decreases, a disclination line with will quantize to separate disclination lines. This phenomena is consistent with a statement proved in [4]. For certain boundary conditions, the system may admit a third type of solution, which is nonsingular over the entire and is also known as “escaping in the third dimension” [30]. On the theoretical side, based on insights gained from numerical results, we obtain analytical expression of the profile of disclination lines. These profiles show how the defect in the center of the disk connect with the boundary through a biaxial region. Our results are similar to a class of special solutions for the LdG model reported in [9]. Finally, to summarize the defect patterns in 3ball and 2disk we propose four conjectures. Together, these conjectures provide an integrated description of disclination lines — from their global position to local profile. They also serve as important open questions for future research.
The rest of the paper is organized as follows. In Sec. 2 we present our main numerical results. In Sec. 3 the profiles of disclination lines are given analytically. In Sec. 4 a comparison between the LdG model and the OseenFrank model is made to highlight the fundamental difference between tensor and vector description of LCs. Finally, four conjectures of defect pattern are stated in Sec. 5 alone with some open problems.
2 Methods and results
First we give a brief description of the algorithm used in this paper. The goal is to find that minimize the LdG freeenergy in Eq. (4), plus a penalty term that is to enforce the boundary condition (see below). We first expand using orthogonal polynomials. Then we use BFGS algorithm [2] to minimize the total energy iteratively and determine the expansion coefficients. This spectral method is particularly suitable for regular geometry shape such as the ball or disk considered here. Compared with finite difference or finite element algorithm, it can achieve high accuracy with a moderate number of variables. More detailed explanation of the algorithm is in the Appendix.
To visualize the tensor field, we define
where is the diagonalized matrix of and the eigenvalues of satisfy and . We use an ellipsoid whose three semiprinciple axes lie in the eigenvectors of with length equal to the corresponding eigenvalues. In this representation, an isotropic is a ball and a uniaxial with positive (negative) is a prolate (oblate).
To visualize defects, following [6] we define
(8) 
and satisfy the properties
and
At defect, , so the isosurface of for a small positive constant is an indication of where the defect is.
Remark 2.1.
In vector models of LC such as the OseenFrank model and the Ericksen’s model, defects are defined as discontinuity in . For tensor model like the LdG, it is not straightforward to define defect because the map from a tensor to a vector can be ambiguous. For example, one can choose as the eigenvector corresponding to the largest eigenvalue of [27]. But when is oblate, this contradict with the defined in Eq. (2). Efforts have been made in rigorously defining defect for a tensor field [5]. However, it is not the focus of this work and all the defects we meet are relatively easy to be identified.
2.1 Ball
First we consider the strong radial anchoring condition. The surface freeenergy density is given by for . Here satisfies Eq. (5) (with replaced by ). is a constant that controls the relative strength of anchoring. We obtain three different configurations as shown in Fig. 1. These are the radial hedgehog, ring disclination and split core solutions obtained in [25] by assuming rotational symmetry around the axis. Here we recover these solutions in a full threedimensional computation. It was guessed that the split core solution is not stable after removing the rotational symmetry assumption [25]. Here we find that, for parameters within a certain region, the split core solution is stable when subject to a moderate level of perturbation.
In the radial hedgehog solution is uniaxial everywhere (Fig. 1 (a) and (e)). The center of the ball is the only point defect (with topological charge +1). For small and , this point defect broadens into a disclination ring (Fig. 1 (b) and (f)). The ring is composed of point defects with charge +1/2. Detailed study of the relation of the ring structure on and is documented in [25]. The disclination ring is a symmetricalbreaking configuration. Around the ring a torus of strong biaxial region () exists. The split core solution contains a short +1 disclination line in the center (Fig. 1 (c) and (g)), with two isotropic points at both ends. It is also shelled by a strong biaxial region. As we mentioned earlier, both defects and biaxiality are structures that are not energetically favored. As a result, their existence will raise the local energy density. Fig. 2 shows that the total freeenergy are concentrated near the central point defect in the radial hedgehog solution. Note that there is a small dip in the energy landscape at the center and the maximum of energy density is reached at a small distance away from the point defect. In the disclination ring solution, the total energy is concentrated near the biaxial torus, with maximum reached right at the disclination ring. Between these two ways of distributing energy, the second one is more economic (in the sense that it lowers the total energy) at low temperature. We will come back to this point in the Discussion.
Remark 2.2.
It was proposed in [19] that disclination ring configuration can be predicted by the Ericksen’s model. We try to verify it numerically by imposing uniaxial constraint over (forcing by introducing a penalty term). The rational behind this procedure is that the LdG model with constrained in the uniaxial region is equivalent to the Ericksen’s model. Surprisingly, within the parameter range we tested, the only stable uniaxial solution we get is the radial hedgehog. The inconsistence between our numerical results and theoretical reasoning made in [19] might be caused by the limited parameter region our method can handle.
It was proved in [23] that, for strong radial boundary and sufficiently low temperature, the global minimizer of the LdG energy will converge strongly to that predicted by the OseenFrank theory, in the limit of . In particular, it means the disclination ring will converge to the radial hedgehog as . To verify this result, we measure the radius of the ring, , defined as the distance between the center of the ball to a point on the ring, for fixed and different . Fig. 3 (a) shows as gets smaller, the radius of the ring decreases, consistent with the above statement. On the other hand, if measured in the characteristic length , the actual radius of the ring seems to approach to a constant as (Fig. 3 (b)). The observation that has a finite limit was also made in [25] but, to our best knowledge, a mathematical proof is still missing. To summarize, the actual size of the disclination ring configuration approaches to a finite size as the radius of the ball , which is determined by the material properties and temperature only. It is the rescaling which maps a ball with infinitely large radius to a unit ball that leads the rescaled radius of the ring to zero.
The strong radial anchoring condition requires to be fixed at the boundary. Next, we relax this requirement and allow to be a free scalar function on , i. e.,
We call it the relaxed radial anchoring condition. Besides the radial hedgehog, disclination ring and split core configurations, we obtain an additional stable solution for this boundary condition as shown in Fig. 4. This solution was also reported in [28]. In it, two rings of isotropic points form on the sphere. Between the two rings, on the surface is uniaxial (as required by the boundary condition ) and oblate (). Inside there is a strong biaxial region close to the surface.
Next we consider the more complex planar boundary condition. Due to the topological constraint imposed by the spherical surface, it is no longer possible to restrict in the form of Eq. (5) everywhere on the boundary without introducing any defect (a result known as the “hairlyball theorem” [11]). Instead, we demand for , with
where is the normal direction of the surface and is a constant. measures the strength of compression imposed on the LC molecules at the boundary along the normal direction ( corresponds to extension rather than compression). In particular we choose with given by Eq. (6) but other choices of can be made here as well. The boundary energy density is given by
(9) 
Here is the secondorder vector norm. This boundary condition is a special case of the one used in [31] (with in Eq. (6) of that paper).
Fig. 5 illustrates the defect pattern under the planar anchoring condition Eq. (9) for fixed and different . First we only look at the defect pattern on the surface. For , two +1 point defects form at two poles (Fig. 5 (a)). Around each defect point there is ring of biaxial region. As temperature decreases, the point defect on the surface will split into two point defects with topological charge +1/2. During this transition, the biaxial ring will shrink in one direction and elongate in the other, a process similar to a cell dividing into two daughter cells on a culture plate. Fig. 5 (b) shows an intermediate step () in which the biaxial region has not separated, whereas in (c) the two newly developed biaxial rings are fully separated (). In Fig. 5 (c), the four +1/2 point defects on the sphere form the vertices of a tetrahedron. This conformation is similar with the tennis ball solution [26, 34, 7] obtained for LCsphere (one sheet of LC molecules confined on a spherical surface, no LCs inside the ball). For LCsphere, the four point defects form a regular tetrahedron. Here, the tetrahedron is not a regular one due to the influence of the LC bulk inside the ball. We measure the distance between two neighboring 1/2point defects for different and . Similar with the radius of the disclination ring for the homeotropic anchoring condition, it appears that approaches to zero as (Fig. 6), and to a finite constant if measured in characteristic length (results not shown here). Finally we note that, a similar transitional process in which a +1 point defect splits into two +1/2 point defects on the surface has been studied in [31] for a solid spherical body immersed in nematic LC host. The three states corresponding to Fig. 5 (a), (b) and (c) was named as single core, double core and split core in [31] and we will follow these names below. While our results are qualitative similar with theirs, the confinement of LC inside the ball poses different constraint to the system.
Now we examine defect pattern inside the ball. In Fig. 5 (ac) the isosurface of defined in Eq. (8) is plotted to encapsulate the disclination lines. (df) show and inside the ball. We can see that, the above mentioned point defects on the surface are in fact the intersection between disclination lines developed inside the ball with the spherical surface. The single core solution has two segments of disclination with topological charge +1 (indicated by the thick lines in (d)). One end of the disclination line is isotropic and buried inside the LC ball while the other end connects the surface. As temperature decreases, the +1 disclination will split into a +1/2disclination with both ends open at the surface.
Besides the three solutions in Fig. 5, we found two other metastable solutions. The first one has a structure similar to the tennis ball configuration, but with one hemisphere rotated by around the axis so that the four +1/2 point defects on the surface lie on one big circle. We call this solution rectangle. Its freeenergy is higher than the tennis ball configuration. Another metastable state is shown in Fig. 7. It only exists for large and . Like the radial hedgehog solution, in this configuration is uniaxial everywhere and satisfies radial symmetry, except it is oblate rather than prolate. For this configuration, if the tensorfield is mapped to a vector field according to Eq. (2), one will obtain a singularity in the center of the ball, just like the radial hedgehog solution.
As a summary of the numerical results on the threedimensional ball, we observe point defects and disclination lines for different anchoring conditions. It seems that disclination lines is more commonly found within the LdG model compared with point defects. Phenomenologically, disclination lines can be classified into four types:

Both ends of the disclination line submerged in the LC bulk (Fig. 1(g)).

One end of the disclination line submerged in the LC bulk while the other end connects to the surface (Fig. 5(d)).

Both ends of the disclination line connect to the surface (Fig. 5(e) and (f)).
One feature that is shared by all disclination lines in the LdG model is that they are always accompanied by regions with strong biaxiality. In fact, the bulk energy does not favor that is biaxial. The fact that biaxiality is closely related to defects suggests that defect pattern is a subtle balance between the elastic energy and topological constraint.
2.2 Disk
Disk is an ideal system to study the profile of disclination lines. A point defect in a disk is a vertical disclination line along the direction. Consider a unit disk , for different boundary conditions, we find for that minimize the LdG energy Eq. (4).
First we consider the boundary condition
(10) 
with , . is given by Eq. (6). Under this condition, at the boundary always lies in the plane. Traveling along the circle of rotates by an angle of (positive angle means counterclockwise and negative angle means clockwise).
For we obtain solution shown in Fig. 8 (a), (b). In the center of the disk, there is a +1/2 point defect, surrounded by a biaxial ring. For the same parameters, the solution for has the same eigenvalues with that of , only the eigenvectors are rotated, resulting a 1/2 point defect in the center (Fig. 8 (c), (d)).
The case for has been studied numerically in [1, 30, 17]. Three possible configurations exist, which are the planar radial (Fig. 9a), planar polar (b), and escape radial (c). The planar radial configuration exists for high temperature and large . For low temperature the planar polar configuration is more stable. In the planar polar solution, two +1/2 point defects form at the opposite site of the disk. For low temperature and small , the escape radial solution can be obtained. It is a nonsingular solution in which is uniaxial everywhere with being constant and being a harmonic map for the given boundary condition. A phase diagram for the three configurations for is shown in Fig. 10. For there are also three solutions as shown in Fig. 9 (df).
For , the solutions for different parameters are shown in Fig. 11. Similar with , at high temperature and large , there exist a solution in which the eigenvalues of are radial symmetry (b, d). It has one point defect with topological charge +3/2 or 3/2 in the center of the disk. At low temperature this point defect will split into three +1/2 or 1/2 point defects (a, c). Unlike the case, there is no nonsingular solution because smooth harmonic map only exists for even but not for odd .
The case for is shown in Fig. 12. Again, the point defect at the center will split into 4 defect points for low temperature and small . There is also a nonsingular solutions (c and f) because is even in this case.
We also considered two other boundary conditions. One is the tangent anchoring condition in which lies in the tangent direction at the boundary. The other is a Mobiuslike anchoring condition in which rotates counterclockwisely in the moving plane traveling alone the boundary circle perpendicular to it (and hence the trajectory of the unitvector forms a Mobius stripe). As shown in Fig. 13 (a), under the tangent anchoring condition, there is also a radialsymmetrical solution for high temperature and large . Again, for low temperature and small two +1/2 point defects will appear (Fig. 13 (b)). For low temperature and very small , there is also a nonsingular harmonic map solution (Fig. 13 (c)). The solutions of the Mobius anchoring condition has a biaxial region located away from the center of the disk (Fig. 13 (d) and (e)). The profile looks like a +1/2 point defects but the eigenvectors of are distorted near the defect and no longer perpendicular to or lie in the disk as in other 1/2 point defects.
To summarize the results in the section, we point out here that, if was kept in the plane at the boundary (as in the boundary condition Eq. (10) and the tangent anchoring condition), the solutions of the LdG model seem to be quite predictable: For large and , there is a semiradial solution in which all the eigenvalues are radial symmetric while the eigenvectors are constant along the direction up to the boundary. In these cases, is uniaxial at the boundary (being prolate) as well at the center (being oblate), and there is a connecting biaxial region in between. At the center, there is a defect whose topological charge is determined by the boundary constraint. As and decrease, the semiradial solution become unstable and the defect point in the center will quantize to defect points. The number of defects is determined by the conservation of the total topological charge. When is even in Eq. (10) and for the tangent anchoring condition, can be extended smoothly from the boundary to the entire domain. If this is the case the system admits a nonsingular harmonic map solution, a phenomena referred as “escape in the third dimension” in [30]. Both the harmonic map and the quantized solutions are stable for low temperature. In the limit of , the freeenergy of the former (if exists) will be lower. For boundary conditions in which does not stay in the plane the behavior of the solution is not fully understood and will be studied in future work.
3 Profile of disclination lines
Profile of defect gives the local structure of the tensor field near the defect. Because defects that are homotopically equivalent to each other should have similar local structure, it is useful to study the profile of some representative defects. The radial hedgehog solution is a good represent for point defects. The profile of the radial hedgehog in the LdG model can be obtained analytically, which is the solution of a secondorder ordinary differential equation (ODE). This ODE follows from the radial symmetry property of the radial hedgehog solution plus is everywhere uniaxial [22].
For disclination lines, the solutions we obtain for the twodimensional disk make good representatives. For example, the +1 disclination lines we observed in Fig. 1 (c) and Fig. 5 (a) in the unit ball are locally homotopically equivalent to the semiradial solution for (here and in the following locally means we are only compare one infinitely small segment of the two disclination lines). Also, the +1/2disclination lines in Fig. 1 (b) and Fig. 5 (b, c) in the unit ball are locally homotopically equivalent to the semiradial solution for .
In the following we study the profile of the semiradial solution for . Based on the previous numerical results, we make the following observations:

There is one and only one defect point located at the center of the disk.

The eigenvectors of does not change along the direction for fix azimuth angle .

The eigenvalues of are determined by only.
These features are mostly evident from Fig. 8 (b) and (d) for the case of and are also true for other . Based on them we can write as
(11) 
with and . Here are the three eigenvalues of and are the corresponding eigenvectors. The eigenvectors are determined by their values at the boundary.
After change of variables by letting and , becomes
Substitute this into the LdG energy function Eq. (4) gives
The corresponding EulerLagrange equation is,
(12)  
(13) 
with the boundary condition , , , (The first two conditions comes from Eq. (10) at the boundary . The other two conditions is needed for the ODEs to be welldefined at ). To verify the above results, we solve Eqs. (12) and (13) with for different and and compare the solutions to the numerical results in Fig. 14. The numerical results match the ODEs perfectly.
Remark 3.1.
To obtain the profile of disclination lines, we rescale the above ODEs by defining , and , let , and drop all the tildes for convenience to give
with the boundary condition , . , . This solution of the above ODEs gives us a profile that is homotopically equivalent to the disclination lines.
4 Relation between the LdG and OF model
We make a brief discussion about the relation between the LdG tensor model and the OseenFrank vector model. In particular, we consider a modified LdG energy functional, given by
(14) 
Here the subtraction of a constant from the bulk energy make sure the first term on the right being positive. Given , the energy minimizer of Eq. (14) is denoted by . is a solution of the following EulerLagrange equation
(15) 
We are interested in the limit of as .
We define the limiting harmonic map
(16) 
where is the minimizer of the OseenFrank freeenergy,
(17) 
The admissible space of , , is the quotient of with respect to the equivalence relation if and only if [10]. satisfies the following EulerLagrange equation,
(18) 
In the LdG theory, solution of Eq. (15) may contain point defects and disclination lines. For small but finite , and when the temperature is low, disclination lines tend to be more stable than point defects. Moreover, among disclination lines with different topological charge, the one with smaller topological charge tend to be more stable. Since is the smallest topological charge in , we suspect that disclination lines with topological charge are generic structure in global energy minimizer of LdG for for arbitrary boundary conditions.
In the case of 3ball, it is shown in [21] that, under Dirichlet boundary condition, there exists a sequence of global minimizer of the LdG such that as strongly in the Sobolev space , where is the limiting harmonic map defined in Eq. (16). In particular, as we mentioned earlier, the disclination ring will shrink to the radial hedgehog as , which is achieved by rescaling the size of an infinitely large ball to a unit ball (Fig. 3). Additionally, for planar condition the two 1/2defects on the surface will also shrink to zero as (Fig. 6 (a)). We believe this limiting process is also true for arbitrary boundary conditions.
In the case of 2disk, for sufficiently low temperature, the EulerLagrange equation of the LdG functional Eq. (15) admits a solution that contains quantized disclination lines. is metastable in the LdG model for any given and , but not a minimizer in the OseenFrank model because it contains disclination lines. In some cases, such as when is even in Eq. (10), may “escape” to the harmonic map solution , which is the global minimizer of the LdG freeenergy for sufficiently small and (see, for example, Fig. 15). In some other cases, such as when is odd in Eq. (10), an harmonic map does not exist. If this is the cases then will not approach to as because in the 2disk is assumed to be invariant along the axis. When this constraint is removed in full threedimensional cylinder, we expect these infinitely long vertical disclination lines to break up and shrink in size as . In this sense, the above limit from the LdG model to the OseenFrank model still holds.
5 Discussion and Conclusion
In this work, we investigate defect pattern in the LdG model in a threedimensional ball and twodimensional disk subject to different boundary conditions. We classify defects into five categories according to their patterns. Among them, only the radial hedgehog solution contains point defect while all other four cases contain disclination lines. A common feature shared by disclination lines is that they are always accompanied by biaxial region. The profile of disclination lines highlight the drastic difference between the tensor model and vector model, and are the focus of this work.
We try to understand the properties of disclination lines using both numerical and analytical approaches. Our numerical results provide detailed configuration of defect under different boundary conditions. Based on observations made from these results, we obtain the profiles of disclination lines analytically in twodimensional disk. The profiles are important for us to understand the local structure of nematic LCs near defects.
To summarize the key properties of defect pattern within the LdG theory, four conjectures are proposed in the following.
Conjecture 5.1.
Disclination lines are a more generic way for energy concentration than point defects.
Point defects and disclination lines are two forms of defects in the LdG model that are different in topology and local profile. One can also think them as two ways of energy concentration (see Fig. 2): To minimize the total energy, a large portion of is kept in the lowest energy state, while most of the excessive energy is concentrated in the vicinity of defects. It appears that forming a 1/2disclination line is the most efficient way of energy concentration in order to reduce the total energy cost.
With the idea of energy concentration in mind we can understand the previous numerical results in a more systematic way. For the 3ball under radial anchoring condition, the excessive freeenergy is concentrated near the center of the ball. At the temperature decreases, the way of energy concentration will switch from point defect to disclination ring, causing symmetry breaking. For the planar anchoring condition, energy is concentrated near a thin boundary layer while the bulk body of the ball is in the lowest energy state. Within the boundary layer, energy will further distributed to form disclination lines.
For the 2disk cases, energy concentration explains why disclination lines with high topological charge will quantize to disclination lines at low temperature and small . However, these disclination lines are obtained under the assumption that is invariant along the axis. For a infinitely long cylinder of nematic LCs, the energy cost in maintaining these disclination lines is also infinite. As a result, if the boundary condition allows, the solution will escape in the third dimension to a nonsingular solution.
Conjecture 5.2.
The local configuration of defects can be described by their corresponding profiles.
We obtain the profiles of disclination lines as given by Eq. (12) and (13). Other disclination lines with the same topological charge in the LdG model will be homotopically equivalent to them and hence their local tensor field can be described by these profiles.
Conjecture 5.3.
Among all the disclination lines, the disclination line is the most stable.
In both the three and twodimensional results, the disclination lines for can only exists for relatively high temperature and large . For low and small , they will quantize to give disclination line. In a special setting, it can be proven for the twodimensional disk that the disclination lines is the most stable structure in the LdG theory [4]. We believe this statement is generally true for all tensor models of LCs.
Conjecture 5.4.
For a point at disclination line, is always uniaxial, with (oblate) and pointing in the axial direction.
There might be exceptions to this conjecture under extreme conditions. For example, in the Mobius anchoring condition, conjecture 5.4 seems to be violated in the twodimensional disk. However, whether this conjecture is true or not for the Mobius anchoring condition in the physically more realistic threedimensional cylinder is not clear to us. Together, conjectures 5.3 and 5.4 characterize the geometry properties of disclination lines.
Overall, the above conjectures give an integrated description of defect pattern, including the global position and local profile. Although they are based on results obtained within the LdG model, we believe they are qualitatively true for other tensor models of LCs. These conjectures open a new perspective in defect pattern of LCs and pose interesting mathematical problems for future research. Both numerical and analytical approaches are needed in order to fully understand these problems.
Acknowledgment
PZ is supported by the NSFC (National Science Foundation of China) under Grant 21274005. YH is supported by the NSFC under Grant No. 11301294.
Appendix
Appendix A Expanding in Zernike polynomials
For the threedimensional ball, we expand each element of the using Zernike polynomials,
(19) 
where ,
are the spherical harmonic functions,
are the normalized associated Legendre polynomials. have the properties:
where
For the twodimensional disk the procedure is similar. We expand each element of using 2D Zernike polynomials,
(20) 
where
Appendix B Algorithm
After expanding in Zernike polynomials, we need to determine the coefficients in Eq. (19). is a function of variables (5 is the number of free variables in a threebythree traceless symmetrical matrix). So does the total freeenergy . Given , the integration of term can be computed analytically using from the orthogonal relation of the Zernike polynomials. For the bulk energy, numerical integration is used. In particular, we use Gaussian integral in and and fast Fourier transform in . The calculation of the gradient of with respect to is similarly. The gradient information allows us to use optimization methods such as BFGS [2] to find that minimize the energy .
The choice of are rather arbitrary and can be adjusted to get the best performance. What we did is to start with some moderate and gradually increase some or all of them until the numerical solution converge, i. e., no significant change in the value of freeenergy. To validate the algorithm, we compare our numerical results to the radial hedgehog solution. The later can be obtained analytically by assuming radial symmetry [22]. As we increase the number of basis in the Zernike polynomials using , the numerical error in the total freeenergy decrease to as low as (Fig. S1).
3D figures in this work are produced using Paraview (http://www.paraview.org/).
References
 D. W. Allender, G. P. Crawford, and J. W. Doane, Determination of the liquidcrystal surface elastic constant , Phys. Rev. Lett., 67 (1991), pp. 1442–1445.
 M. Avriel, Nonlinear programming: analysis and methods, Courier Dover Publications, 2003.
 J. M. Ball and A. Zarnescu, Orientability and energy minimization in liquid crystal models, Arch. Ration. Mech. Anal., 202 (2011), pp. 493–535.
 P. Bauman, J. Park, and D. Phillips, Analysis of nematic liquid crystals with disclination lines, Arch. Ration. Mech. Anal., 205 (2012), pp. 795–826.
 P. Biscari and G. G. Peroli, A hierarchy of defects in biaxial nematics, Comm. Math. Phys., 186 (1997), pp. 381–392.
 A. C. CallanJones, R. A. Pelcovits, V. A. Slavin, S. Zhang, D. H. Laidlaw, and G. B. Loriot, Simulation and visualization of topological defects in nematic liquid crystals, Phys. Rev. E, 74 (2006), p. 061701.
 H. Cheng and P. Zhang, A tensor model for liquid crystals on a spherical surface, Sci. China Math., 56 (2013), pp. 2549–2559.
 P. G. de Gennes and J. Prost, The physics of liquid crystals, Oxford University Press, Oxford, second ed., 1995.
 G. Di Fratta, J. Robbins, V. Slastikov, and A. Zarnescu, Profiles of point defects in two dimensions in Landaude Gennes theory, arXiv:1403.2566, (2014).
 M. Do Carmo, Riemannian geometry, Springer, Boston, 1992.
 M. Eisenberg and R. Guy, A proof of the hairy ball theorem, Am. Math. Mon., 86 (1979), pp. 571–574.
 J. H. Erdmann, S. Žumer, and J. W. Doane, Configuration transition in a nematic liquid crystal confined to a small spherical cavity, Phys. Rev. Lett., 64 (1990), pp. 1907–1910.
 J. L. Ericksen, Liquid crystals with variable degree of orientation, Arch. Ration. Mech. Anal., 113 (1991), pp. 97–120.
 E. C. Gartland and S. Mkaddem, Instability of radial hedgehog configurations in nematic liquid crystals under Landaude Gennes freeenergy models, Phys. Rev. E, 59 (1999), pp. 563–567.
 J. K. Gupta, S. Sivakumar, F. Caruso, and N. L. Abbott, Sizedependent ordering of liquid crystals observed in polymeric capsules with micrometer and smaller diameters, Angew. Chem. Int. Ed. Engl., 48 (2009), pp. 1652–1655.
 R. Ignat, L. Nguyen, V. Slastikov, and A. Zarnescu, Stability of the melting hedgehog in the Landaude Gennes theory of nematic liquid crystals, arXiv:1404.1729, (2014).
 S. Kralj, E. G. Virga, and S. Žumer, Biaxial torus around nematic point defects, Phys. Rev. E, 60 (1999), pp. 1858–1866.
 O. Lavrentovich, Defects in liquid crystals: surface and interfacial anchoring effects, in Patterns of Symmetry Breaking, Springer, 2003, pp. 161–195.
 F. H. Lin and C. Liu, Static and dynamic theories of liquid crystals, J. Partial Differ. Equ., 14 (2001), pp. 289–330.
 T. LopezLeon and A. FernandezNieves, Drops and shells of liquid crystal, Colloid. Polym. Sci., 289 (2011), pp. 345–359.
 A. Majumdar, Equilibrium order parameters of nematic liquid crystals in the Landaude Gennes theory, Eur. J. Appl. Math, 21 (2010), pp. 181–203.
 , The radialhedgehog solution in Landaude Gennes’ theory for nematic liquid crystals, Eur. J. Appl. Math., 23 (2012), pp. 61–97.
 A. Majumdar and A. Zarnescu, Landaude Gennes theory of nematic liquid crystals: the Oseen–Frank limit and beyond, Arch. Ration. Mech. Anal., 196 (2010), pp. 227–280.
 D. S. Miller, X. Wang, and N. L. Abbott, Design of functional materials based on liquid crystalline droplets, Chem. Mater., 26 (2013), pp. 496–506.
 S. Mkaddem and E. Gartland Jr, Fine structure of defects in radial nematic droplets, Phys. Rev. E, 62 (2000), p. 6694.
 D. R. Nelson, Toward a tetravalent chemistry of colloids, Nano Lett., 2 (2002), pp. 1125–1129.
 L. Nguyen and A. Zarnescu, Refined approximation for a class of landaude gennes energy minimizers, arXiv:1006.5689, (2010).
 T. Porenta, M. Ravnik, and S. Žumer, Effect of flexoelectricity and order electricity on defect cores in nematic droplets, Soft Matter, 7 (2011), pp. 132–136.
 N. Schopohl and T. Sluckin, Hedgehog structure in nematic and magnetic systems, J. Phys., 49 (1988), pp. 1097–1101.
 A. Sonnet, A. Kilian, and S. Hess, Alignment tensor versus director: Description of defects in nematic liquid crystals, Phys. Rev. E, 52 (1995), pp. 718–722.
 M. Tasinkevych, N. Silvestre, and M. M. Telo da Gama, Liquid crystal boojumcolloids, New J. Phys., 14 (2012), p. 073030.
 E. G. Virga, Variational theories for liquid crystals, vol. 8, CRC Press, 1995.
 F. Zernike, Diffraction theory of the cut procedure and its improved form, the phase contrast method, Physica, 1 (1934), pp. 689–704.
 W.Y. Zhang, Y. Jiang, and J. Z. Y. Chen, Onsager model for the structure of rigid rods confined on a spherical surface, Phys. Rev. Lett., 108 (2012), p. 057801.