ABSTRACT
We study the effects of additive and multiplicative noise on the solution landscape of nematic liquid crystals confined to a square domain within the Landau-de Gennes framework, as well as the impact of additive noise on the symmetric radial hedgehog solution for nematic droplets. The introduction of random noise can be used to capture material uncertainties and imperfections, which are always present in physical systems. We implement random noise in our framework by introducing a -Wiener stochastic process to the governing differential equations. On the square, the solution landscape for the deterministic problem is well understood, enabling us to compare and contrast the deterministic predictions and the stochastic predictions, while we demonstrate that the symmetry of the radial hedgehog solution can be violated by noise. This approach of introducing noise to deterministic equations can be used to test the robustness and validity of predictions from deterministic liquid crystal models, which essentially capture idealised situations.
1. Introduction
Liquid crystals are classical examples of partially ordered materials that have a degree of positional and/or orientational order [Citation1]. The simplest, and most common liquid crystal phase, is the nematic phase, for which the constituent rod-like molecules typically exhibit a degree of long-range orientational ordering i.e. the nematic phase has distinguished material directions referred to as directors. From a modelling perspective, liquid crystals are studied almost exclusively via deterministic models, such as the Oseen-Frank, Ericksen-Leslie and Landau-de Gennes (LdG) continuum theories, as well as various molecular models. However, their stochastic counterpart, i.e. introducing random noise to the governing differential equations, has received less attention despite the fact that they have the potential to account for material imperfections and uncertainties that will almost always be present in physical systems.
We work with the LdG theory, wherein the state of nematic ordering is captured by the LdG -tensor, which is a symmetric, traceless matrix [Citation1]. The physically observable configurations are modelled by local or global minimisers of an appropriately defined LdG-free energy, which is typically a nonlinear and non-convex functional of the LdG -tensor and its derivatives. Mathematically, the energy minimisers are classical solutions of the associated system of Euler-Lagrange equations – a system of five nonlinear elliptic partial differential equations subject to appropriate boundary conditions. We study the effects of random noise on the solutions of the LdG Euler-Lagrange equations for two well-known problems: (i) nematic liquid crystals confined to two-dimensional square domains [Citation2,Citation3] and (ii) a spherical droplet of nematic liquid crystal [Citation4]. Noise in stochastic analysis is classified into additive and multiplicative categories based on how it affects a stochastic process. This is the standard terminology used in the stochastic (partial) differential equation literature, such as [Citation5,Citation6] and [Citation7]. Additive noise is noise that is added directly to a stochastic process as an external influence and is typically used to model disturbances or errors that are independent of the underlying process. It represents external factors affecting the system. Multiplicative noise is noise that scales or multiplies the stochastic process itself and is often used to model factors that impact the growth or volatility of the underlying process. In our problems, the noise appears in the form of one additional term in the differential equations, modelled by a -Wiener stochastic process [Citation6]. This term models random perturbations which can capture material imperfections and/or uncertainties in the material properties and experimental set-up. For example, the random noise could capture the effects of material inhomogeneities, thermal fluctuations, manufacturing imperfections and/or material defects. On square domains, we consider additive and multiplicative noise, while for the droplet, we consider additive noise only. In both cases, we observe that random noise has a pronounced effect on solution profiles for small domains and has a symmetry-breaking effect on highly symmetric solutions.
To the best of our knowledge, the introduction of stochastic terms into an LdG model has not been considered in detail, in the literature. In [Citation8], the authors look at a modified Ericksen-Leslie model with multiplicative noise. They prove various rigorous results including the existence of a weak solution, pathwise uniqueness of the solution in 2D settings and a maximum principle. In [Citation9], a large deviation principle is developed for the same modified Ericksen-Leslie model with multiplicative noise, which may be useful for the study of switching processes between distinct equilibria in liquid crystal systems. However, these papers do not focus on numerical experiments or specific model examples as we do, for which one can compare the deterministic predictions with their stochastic counterparts. Numerical experiments are always vitally important as they give us detailed structural information about observable equilibria, including their multiplicity, singular sets and numerical experiments can explore parameter regimes inaccessible to rigorous asymptotic analysis.
With this in mind, we perform a numerical exploration of the stochastic solution landscape for nematic liquid crystals in the LdG framework, for two model problems which have been studied extensively in the deterministic case. On square domains with tangent boundary conditions, it is well-known that the Well Order Reconstruction Solution (WORS) with two diagonal defect lines is globally stable in certain LdG frameworks for small square domains, whereas large square domains are multistable in the sense that they support two stable diagonal and four stable distinct rotated solutions [Citation2,Citation10]. The tangent boundary conditions require the nematic director (modelled by the eigenvector of the LdG -tensor with the largest positive eigenvalue) to be tangent to the square edges, creating a mismatch or defects at the square vertices. The WORS has a perfectly symmetric profile, such that the square diagonals partition the square domain into four quadrants and the nematic director is approximately constant in each quadrant. The director is not defined along the two square diagonals, and hence, the two square diagonals are interpreted as defects of the WORS solution. The diagonal and rotated solutions can be distinguished by the director profiles near the square vertices, which are defects induced by the tangent boundary conditions, and as the name suggests, the nematic director is approximately aligned with one of the square diagonals for the diagonal solutions. With random noise, we compute the probabilities of observing different solutions and relate stability to the probability of observation, in a non-rigorous manner. The introduction of random noise immediately kills the symmetry of the WORS and typically shrinks the domain of stability of WORS-like solutions. The impact of random noise on the diagonal and rotated solutions is less pronounced, and as such, we deduce that random noise has a more pronounced effect on the solution profiles for small domains or for solutions which have small domains of stability. The second example concerns spherical droplets filled with nematic liquid crystals, with strong radial anchoring or homeotropic boundary conditions. The radial hedgehog solution has a perfectly radial nematic director with a single isolated point defect at the droplet centre, and the radial hedgehog solution is globally stable for sufficiently small droplets or for relatively high temperatures [Citation11]. For larger droplets, the radial hedgehog solution loses stability with respect to solutions which break the spherical symmetry near the droplet centre. We observe that random noise breaks the perfect spherical symmetry of the radial hedgehog solution near the centre, for small droplets and the predictions for large droplets are not much affected by random noise.
The paper is organised as follows. In Section 2, we introduce the LdG framework studied in this paper. In Section 3, we study the problem of nematics within a square domain subject to tangent boundary conditions, in deterministic and stochastic settings. In Section 3.1, we first summarise known results for the deterministic problem to give context to our stochastic results. In Section 3.1, the stochastic problem is introduced and we study the effects of additive and multiplicative noise. Using our stochastic framework, in Section 3.2.3, we propose a method to model switching processes between the WORS, diagonal and rotated solutions. Finally, in Section 4, we introduce additive noise to a nematic-filled spherical droplet and look at its impact on the profile of the well-known radial hedgehog solution. In Section 5, some conclusions and future directions are discussed for the reader’s interest.
2. Modelling framework
In this paper, we work in the LdG-framework, wherein the nematic state is described by the LdG -tensor – a symmetric traceless matrix with five degrees of freedom, i.e. (where denotes the space of all matrices). Consequently, using the spectral decomposition theorem, can be expressed in terms of an orthonormal set of eigenvectors and associated eigenvalues as
Here, is the vector tensor product. Similarly, can be expressed as . Combining this with the constraint , we see
Hence, setting
can be written as
A biaxial phase is represented by a LdG -tensor with three distinct eigenvalues and the director is defined to be the eigenvector of with the largest positive eigenvalue. The secondary director is modelled by the eigenvector with the second largest eigenvalue. A uniaxial nematic phase is modelled by a -tensor with two equal non-zero eigenvalues and there is a single distinguished material direction, modelled by the uniaxial director which is the eigenvector with the non-degenerate eigenvalue. For example, if , can be written as
where is the uniaxial director or eigenvector with the non-degenerate eigenvalue, . Finally, the nematic phase is isotropic if the -tensor has three equal eigenvalues, so that and , for which all directions are physically equivalent [Citation12].
We measure the degree of biaxiality with the biaxiality parameter , defined to be [Citation13]
for . From Lemma 1 in [Citation13], , for uniaxial and isotropic -tensors, whereas non-zero is a signature of biaxiality. Further, attains its maximum value of unity when the -tensor has a zero eigenvalue.
3. Nematic liquid crystals confined to square domains
In this section, we consider nematic liquid crystals confined to a 2D square domain, ( is the physical length of the square edges) in the -plane. This is appropriate for modelling three-dimensional square wells, for which the height of the well is much smaller than the square cross-sectional dimensions, and it is reasonable to assume that the structural details are invariant along the height of the well. Imposing planar surface anchoring conditions on the top and bottom of the well, which enforce tangent boundary conditions, along with -invariant uniaxial Dirichlet boundary conditions on the lateral surfaces, it can be shown that the space of physically relevant -tensors is constrained to be -invariant i.e. the director lies in the -plane, and have as a fixed eigenvector with associated fixed eigenvalue, in the limit of vanishing cell thickness [Citation14]. With a fixed eigenvector, only has three degrees of freedom, , and can be expressed as
For formal arguments regarding the reduction from a 3D to a 2D problem for thin systems, and from five to three degrees of freedom, see [Citation10,Citation14] and in particular, Theorem 5.1 and Theorem 2.1 respectively. It can also be shown that is a fixed known constant in certain physical situations (explained shortly), reducing the problem further to two degrees of freedom.
We work with a simple form of the LdG energy , for which the energy density is the sum of a Dirichlet elastic energy density (to penalise spatial inhomogeneities) and a fourth order thermotropic bulk potential, [Citation2,Citation12]:
and
where is the sum of the squares of the spatial derivatives of the components of the LdG -tensor. Here, are material-dependent constants independent of temperature, while depends linearly on temperature and is given by
where is a material dependent constant, is the absolute temperature of the system, and is a characteristic liquid crystal temperature [Citation1]. We work with , i.e. low temperatures, so that an ordered uniaxial state is the globally stable critical point of [Citation15]. In this case, the set of bulk energy minimisers is , with
and (the unit sphere) is arbitrary [Citation12].
We non-dimensionalise the energy with the following change of variables , , and the dimensionless-free energy is given by
with the re-scaled domain, . Note that Nm is dimensionless. Henceforth, we drop bars and consider all quantities to be dimensionless. The Euler-Lagrange equations associated with (10) are:
Using standard arguments in elliptic regularity, one can deduce that solutions of (11) are real analytic in [Citation13].
The square edges are labelled by for , as in , i.e.
and the set of corners/vertices is denoted by . Following the existing literature [Citation16–18], we impose tangent uniaxial Dirichlet boundary conditions on the square edges
where
To resolve the issue of conflicting tangent boundary conditions meeting at the square vertices, we set
i.e., the average of the two boundary conditions on the two square edges intersecting at a vertex. This choice works for the purpose of performing the numerical experiments in this paper. A function interpolating between the two boundary conditions can also be defined as in [Citation19], and this can be helpful in analytical studies of the problem. These boundary conditions translate to the following conditions on the components of :
on and on .
For the remainder of the manuscript, we work with the special temperature, , for which and there is a solution branch of (11) with constant , which is compatible with the boundary conditions for . In this case, we numerically compute solution branches of (11) i.e. , by solving the gradient-flow equations
with appropriate initial conditions, subject to the boundary conditions specified above. The principle here, is that for long enough times, solutions of the gradient flow model evolve to energy minimisers (or critical points) of the free energy (10), i.e. they are steady solutions which satisfy for , so that is a solution of (11). Henceforth, we define to be the single dimensionless parameter, which is interpreted as a measure of domain size due to its dependence on . Solving (16) numerically, we recover the diagonal and rotated solutions first reported in [Citation16], and later recovered in [Citation17], and both solutions have non-zero , by using different initial conditions.
Additionally, there is also a specific solution branch with , which satisfies (11b) and is compatible with the boundary conditions. Hence, there also exists a solution branch of the form for all . The single governing equation for is, thus,
This solution branch includes the well order reconstruction solution (WORS) reported in [Citation2,Citation18], with along the square diagonals so that the WORS has a uniaxial diagonal cross (see (6) with along the square diagonals to see why there is a uniaxial diagonal cross for the WORS) and this is surrounded by regions of maximal biaxiality. To find solutions of (17), we solve the corresponding gradient flow equation:
i.e., the Allen-Cahn equation. Note, any steady solution of (18), is also a steady solution of (16), with and .
3.1. Deterministic case
3.1.1. Numerical method
We solve the gradient flow equations (16) in Matlab using finite difference methods and the Runge-Kutta method [Citation20]. We divide into a uniform square grid of points, where is the spatial step size. Our time interval is , is the total number of time steps and is the time step size. Considering (18) for example, the approximation of the solution , at a point , at time , is denoted by . is a matrix, whose element is . Here, and . The Runge-Kutta method is then defined by
where
and (using Matlab notation)
for . The numerical method for solving the system (16) is analogous, with modifications to and to account for the different right hand sides in (16a) and (16b).
3.1.2. Summary of the deterministic solution landscape
To put our stochastic results into context, we first summarise the solution landscape of (3) (see [Citation2,Citation3,Citation16] for the original work). We numerically compute the solution branches and . The numerical solution of (18) or (16) is deemed to be steady, or equivalently a solution of (11), if the norm of the gradient falls below , i.e. the norm of the right hand side of (18) or (16) falls below . At this point, we assume that our numerical method has converged. We take and . With appropriate initial conditions, we observe that our numerical solutions converge for . Throughout this section and Section 3.1, , N, N [Citation2,Citation12] and N [Citation13], so that varying is equivalent to changing the square domain size. When , the corresponding square edge length is m yielding a nano-scale square domain, whilst for , the corresponding edge length is m and the square is closer to an experimentally achievable micron-scale square domain. Here and in our stochastic results, we plot the biaxiality parameter defined in (5) and the director , taken to be the eigenvector of with largest positive eigenvalue. Consequently, the director must lie in the -plane (since is negatively ordered in the direction with eigenvalue , throughout ) and can therefore be defined as , where is the angle between the director and the -axis.
For solution branches with i.e. , we find the WORS and bent-director (BD) solutions, and no other solutions. With , the corresponding LdG -tensor has three constant eigenvectors along the coordinate directions. The defining feature of the WORS is two lines of uniaxiality along the square diagonals, and this is surrounded by regions of biaxiality including maximal biaxiality (see , first row). On the square diagonals and , hence
showing is uniaxial on the square diagonals for the WORS. Numerically, we classify a solution as being WORS if the average value of on each of the square diagonals, and the average value of throughout (i.e. the sum of the absolute value of the numerical solution () at every point on the square diagonal (in ) divided by the total number of points on the square diagonal (in )), are both less than ). This is an arbitrary measure that suffices for our numerical experiments. There are two types of BD solutions, with two bands of biaxiality near a pair of parallel edges. We label the BD solution in (second row) for large , as BD, since the bands of biaxiality are parallel to the -axis. Similarly, we label the BD solutions in for intermediate , as BD.
The solution branches with non-zero , denoted by , include the diagonal and rotated solutions. There are two diagonal solutions for which the director aligns along one of the square diagonals (see , third row) and four rotated solutions (see , fourth row) where the director rotates by radians between a pair of parallel edges (we only present two of the four rotated solutions). The diagonal and rotated solutions exhibit biaxiality near the square vertices and the biaxial regions shrink as increases (this can be seen looking across the rows in ).
The WORS exists for all , it is the unique and globally stable critical point of (10) (i.e. all the eigenvalues of the Hessian of the free energy at that critical point are positive, otherwise a critical point is unstable) for sufficiently small , but loses stability for sufficiently large [Citation2] (see Lemma 4.6 and Theorem 5.1 respectively). In , we track the value of and as a function of . To compute this plot, we use an initial condition which favours ((23) with along the diagonals) and ((23) and ). Hence, the value of for which or (whichever occurs first) labels the bifurcation point at which the WORS loses stability and new solutions emerge. This critical value is numerically computed to be . For , due to the emergence of diagonal solutions. For , BD solutions emerge, followed by the appearance of rotated solutions for .
With the following initial condition for (18),
we can numerically compute the WORS with on the square diagonals and throughout the domain, for all and for all positive . To find BD solutions, we take on in (23) and solve the gradient-flow model (18). In the context of the full system (16), we additionally take everywhere as our initial condition to find WORS and BD solutions. To find diagonal solutions of (16), we take (23) (for ) and at every mesh point as our initial condition. To find rotated solutions of (16), we solve subject to
Setting and , our initial conditions are and . By altering the boundary conditions in (24) accordingly, we find the remaining three rotated solutions. Henceforth, we refer to these initial conditions as a WORS initial condition, BD initial condition, diagonal initial condition and rotated initial condition respectively, for brevity.
3.2. Stochastic case
Next, we consider the effects of random noise on the solution branches discussed in the preceding section. A stochastic version of (18) is given by
where is known as a -Wiener process (which introduces random noise), controls the strength of the noise and is a function which may depend on the solution [Citation6]. Informally speaking, a -Wiener process is an example of coloured noise which has correlation in space, as opposed to white noise which is homogeneous in space. We study a -Wiener process as opposed to white-noise because, the two-dimensional problem with white noise is ill-posed and further treatment is needed (see [Citation21,Citation22] for instance). The physical interpretation of the -Wiener process , is that it is a random term in both space and time, which accounts for random fluctuations found in nature [Citation6]. Therefore, in our context, we can interpret it as uncertainties in material/system properties. For a formal definition of a -Wiener process see [Citation6]. Similarly, a stochastic version of (16) is
3.2.1. Numerical method
Following Theorem 10.7 in [Citation6], a -Wiener process can be expressed by the following sum
Here, and are the eigenvalues and eigenfunctions of the -Wiener process respectively, while are independent identically distributed (iid) Brownian motions (informally, a Brownian motion is a stochastic process whose increments are independent and normal distributed, see [Citation6] for a full definition). We numerically implement the -Wiener process (27) by a finite sum approximation as in Example 10.12 of [Citation6].
For and , let be a bounded linear operator with eigenfunctions and eigenvalues , for a parameter which controls the rate of decay of the noise and . We then let
for iid Brownian motions , be our finite sum approximation. The difference approximates and this is computed using Algorithms 10.5 and 10.6 in [Citation6]. Here are index points on our spatial grid. Considering (25), we then add this approximation of to our Runge-Kutta method (explained in Section 3.1.1) at each time step, i.e.
where are as in (20), and we add
to each of the , for , following [Citation5,Citation23]. The same modifications apply to (26). Due to the presence of noise, the order of convergence cannot exceed one [Citation5]. An important concept for ergodic theory in random dynamical systems is the invariant measure, which refers to the limiting distribution that the stochastic solution obeys in the long run [Citation24]. In other words, the time-dependent distribution of the evolving stochastic solution becomes time-invariant as time approaches infinity [Citation25]. Proposition [4.1] guarantees the existence of the invariant measure of an equation such as (25) by showing the existence of the stationary solution, which gives rise to the invariant measure. The stability of the empirical distributions through numerical simulations in Section 3.2.1 (see ) illustrates the convergence of the numerical scheme to the invariant measure.
3.2.2. Effects of additive noise
We begin by numerically exploring solutions of the stochastic EquationEquations (25)(25) (25) , (Equation26a(26a) (26a) ) and (Equation26b(26b) (26b) ), under the inclusion of additive noise and assess the impact on the corresponding solution landscape. By additive noise, we refer to the case when , so that the noise term is independent of and therefore simply added to the equation [Citation6]. Recall, appears in the eigenvalues of the -Wiener process and subsequently controls the rate of decay and spatial variation of the noise as well as its strength, while multiplies and consequently scales the strength of the noise. Since both and affect the strength of the noise, for simplicity, we fix and vary to control the noise amplitude. Large values of (say ) represent weak noise with little spatial variation and small values of (say ) represent strong noise with large spatial variation.
In Section 3.1.2, we consider steady solutions of the gradient flow EquationEquations (16(16a) (16a) ) and (Equation18(18) (18) ), which correspond to solutions of the Euler-Lagrange EquationEquations (11)(11a) (11a) . For the stochastic case, as introduces random fluctuations to the equations, the same notion of a steady solution does not apply. Instead, we consider solutions of (25) and (26) at a given time . Hence, a solution of our stochastic partial differential equations is obtained by stopping our numerical method at a given time . Since the numerical solutions typically converge for in the deterministic case, we take again and plot solutions for the stochastic equations for , so that these solutions are, in some sense, long-time equilibrium profiles. This claim is validated in (at least for certain parameter values), where the average of 100 empirical density functions is generated from 100 corresponding sample solutions of (25) (with , , and a WORS initial condition) at and . The empirical density function is the probability density function associated to the numerical solution , so that the area under the curve between two point and , equals (i.e. the probability that the value of the numerical solution , at any point in , is between and ), while the total area under the curve is 1. The curves at and are almost identical indicating the existence of an invariant measure [Citation26], meaning that over many simulations, there is little difference between solutions at and .
We first study (25), which is somewhat artificial as it assumes despite the inclusion of noise. This is different to studying (26), since the noise reduces the probability of observing solutions with . The WORS is the unique stable solution of (11) (with ) for small . However, in the stochastic case, with , weak additive noise and a WORS initial condition, the WORS is no longer (qualitatively) unique as there are solutions of (25) which can be classified as either BD or BD (see ). In fact, as soon as noise is introduced, the uniaxial diagonal cross is lost (i.e, along the square diagonals) and one can only observe approximate WORS solutions. We classify a solution as being an approximate WORS if and the average value of on each of the square diagonals is less than 0.05 (see first row). Decreasing with (using a WORS initial condition still), the symmetry of the approximate WORS solution is further lost ( second row), and finally with (strong noise), the obtained solution is dominated by noise and completely random, hence approximate WORS solutions cannot be found. Similarly, for and (using a BD initial condition), we see that the symmetry of the biaxial bands along parallel square edges is lost for the BD solutions, whilst for , BD solutions cannot be found due to the large strength of the noise (these solutions are not presented).
The existence of approximate WORS solutions also depends on . In fact, we are unable to find such solutions for with (in 20 simulations with these parameter values and using a WORS initial condition, we did not observe an approximate WORS solution). This is again in contradiction to the deterministic picture where the WORS exists for all . BD solutions, however, can be found for all values of in both the deterministic and stochastic settings (for suitably sized noise). Using a BD initial condition, for small and weak noise (), we observe BD solutions in , and for large and strong noise (), we find solutions that are still clearly identifiable as BD (see for a BD solution for instance). We speculate that for a fixed , BD-solutions exist for (25) for where is a decreasing function of i.e. the critical noise strength increases with increasing square edge length.
For the remainder of this subsection, we study (26). We first set , and use a WORS initial condition to check what profiles exist for the full system of equations. We still recover approximate WORS solutions. However, in contrast to , the change in the director orientation across the square diagonals is replaced by smooth rotation (see first row). This is a consequence of everywhere in because of the inclusion of noise in (26b). Hence, to classify a solution as approximate WORS in this case, we additionally require that the average value of throughout to be less than . We also recover approximate BD solutions (see second row, again we have smooth rotation of the director between different regions of the square) for these parameter values and BD initial condition. We label a solution as approximate BD if the average value of throughout , and the director and biaxiality plot qualitatively resemble a BD profile (see second row for reference). We complete 100 simulations with , (weak noise) and a random initial condition (the entries of and are generated from a uniform distribution on ), and record the observed solutions in (the solutions are classified from each simulation by looking at the director and biaxiality plots). The probability of observing an approximate WORS is 0.12, while the probability of observing an approximate BD solution is 0.88. Therefore, we deduce that BD solutions are the most relevant profiles for small square sizes under the inclusion of noise, and hence, most likely to be observed in experiments on small nano-scale domains.
Increasing or the square edge length, we are unable to find approximate WORS and approximate BD solutions for and respectively, in the context of the full stochastic system (26), with weak additive noise (that is, in 20 simulations we did not observe these solutions for these parameter values using a WORS and BD initial condition respectively). Using a diagonal initial condition, diagonal solutions are found for when (in the sense that director and biaxiality plots are qualitatively similar to a diagonal solution from the deterministic setting); this deviates slightly from the deterministic approach where they are observed for . Using a rotated initial condition, we find rotated solutions for with (in the sense that director and biaxiality plots qualitatively resemble a rotated solution from the deterministic setting); this again deviates from the deterministic case for which rotated solutions are observed for . For large , the observed diagonal and rotated solutions are essentially unperturbed by additive noise for (relatively strong noise). In the case of strong noise with , the observed profiles (see ) remain clearly identifiable with their deterministic counterparts. Completing 100 simulations with , and a random initial condition, diagonal solutions are observed far more frequently than rotated solutions, with a probability of 0.75 (see ) and as such, we deduce that diagonal solutions are the most likely to be observed in experiments. This is in agreement with the energy calculations in the deterministic Oseen-Frank framework in [Citation27], which demonstrate that the diagonal solutions have lower energy than rotated solutions and lower energy solutions are more likely to be observed in experiments.
3.2.3. Effects of multiplicative noise
This subsection focuses on the addition of multiplicative noise to the stochastic PDEs (26a), (26b) i.e. is multiplied by a function which depends on the unknown being solved for [Citation6]. Specifically, we let
in (26a) and (26b), respectively. This choice of the multiplicative noise does not affect points where or , so it preserves symmetric structures or defect lines with . We have chosen the multiplicative factors of , instead of some other functions , in an attempt to observe/stabilise the WORS in a stochastic setting. Using a WORS initial condition, this multiplicative noise helps preserve on the square diagonals and everywhere, and hence the symmetry of the WORS. Physically, the preservation of points with and , would correspond to some kind of strong surface treatment which fixes molecules to lie in certain directions in the square interior.
We only consider (16) with the addition of multiplicative noise, and not (18). Since noise is not introduced at points where in the multiplicative case, with appropriate initial conditions (i.e. ) one can find solutions of (26a), (26b) with in , making a study of (25) with multiplicative noise redundant. In this section, is fixed and is varied to control the strength of the noise.
For the system (26a), (26b) under multiplicative noise, with a WORS initial condition, we are able to find WORS solutions (as characterised in Section 3.1.2), as well as approximate WORS solutions for larger values of and than we could under additive noise. In for instance, we present an approximate WORS solution of (26) for and . In , we record values of for different and (we record the smallest value of seen in 10 simulations for a given choice of and ), hence summarising when we observe WORS and approximate WORS solutions of (26). Recall that a WORS solution exists for all in the deterministic case. For multiplicative noise with , we do not find WORS solutions for and approximate WORS solutions for , while for additive noise with , we could not find WORS solutions for any value of and approximate WORS solutions for (in the context of either (25) or system (26)). Clearly the introduction of multiplicative noise governed by (30) enhances the stability of WORS and approximate WORS solutions. Completing 100 simulations with , and a random initial condition, 94 WORS solutions and 6 approximate WORS solutions are observed. This multiplicative noise also supports the observation of BD solutions, which are now observed for all using a BD initial condition and are visually qualitatively identical to the BD solutions in the deterministic case. As such, they are not presented. This is significantly different to the additive case, for which we could not find BD solutions for , for the full system (26).
Using a diagonal initial condition, diagonal solutions are found for , when . For comparison, in the deterministic case and in the stochastic case with additive noise (with ), we observe diagonal solutions for and respectively. With a rotated initial condition, we are also able to find rotated solutions for . Again, for comparison, in the deterministic case and in the stochastic case with additive noise (with ), we observe rotated solutions for and respectively. Hence, the multiplicative noise (30) preserves solutions with for larger values of , or larger square domains, than in the additive case, without hindering the observation of solutions with such as the diagonal and rotated solutions. In particular, in the case of multiplicative noise, we find that solutions with everywhere in (BD solutions and WORS) can co-exist with solutions that have everywhere in (diagonal and rotated solutions), for the same domain size, and hence multiplicative noise enhances multistability and also the probability of observing solutions with interior biaxiality such as the WORS or the BD solutions.
We complete 100 simulations with , (strong noise) and a random initial condition and record the observed solutions in . The random initial conditions exclude BD-type solutions for this large square domain. Diagonal solutions are again observed far more frequently than rotated solutions, with a probability of 0.89, further supporting that they are the most relevant solution for large square sizes. Furthermore, all solutions in these 100 simulations are identifiable with a deterministic counterpart (unlike ), implying that the impact of noise is less pronounced in the multiplicative case.
3.2.4. Potential applications to switching processes
The inclusion of noise may be used to model the switching processes in a multistable liquid crystal device. The key principle in such devices, is that an external input (e.g. applied electric or magnetic fields) is needed only to switch between distinct equilibria or energy minimisers, but not necessarily to maintain individual states, thus offering the prospect of power-efficient and high resolution optical devices. Mathematically, the switching process is described by a non-equilibrium time-dependent process, that drives the system out of a given critical point of (10) and pushes the system into a different critical point of (10), by overcoming their energy barrier (i.e. the difference between the value of (10) for each critical point). The switching is typically mediated by external inputs, which could be an external electric/magnetic field, thermal effects or fluctuations, and the input essentially provides a kick to the system, and once the input is removed, the system settles into a different equilibrium configuration. To model large fluctuations that could induce a switching process, we take a solution of the deterministic system (11) as our initial condition and introduce additive noise (i.e. consider(26) with ) of a given strength , at our first time step. The value of or the noise strength needed to facilitate switching also depends on the initial condition. We keep the value of fixed until , at which point we increase , to weaken the noise and remove large fluctuations that could induce a switching process. We then further run our simulation until , at which point our stochastic solution appears to converge to a different deterministic solution, simulating a switching process between the initial condition and the final solution.
Some of our results that follow from this procedure are summarised below. These results are not comprehensive, but illustrate some generic concepts.
For and with the WORS as an initial condition, the system evolves to an approximate BD solution with (weak noise).
For and starting from a WORS, BD or rotated solution, the system evolves to a diagonal solution. To make the system switch, we require (weak noise) for the WORS initial condition, (intermediate strength noise) for BD initial condition and (very strong noise) for rotated initial conditions. Some snapshots of the switching processes from the WORS to diagonal, BD to diagonal and rotated to diagonal state are shown in respectively.
For and with a WORS or BD initial condition, the system evolves to a diagonal solution. Weak noise e.g. is sufficient to facilitate the WORS to diagonal switching, whereas we need to induce the BD to diagonal switching.
For and with a rotated solution, and very strong noise (), we find that in 4 out of 10 simulations the system moves to a diagonal solution, while in the remaining simulations, the system stays in the rotated solution.
Our numerical simulations suggest that it is not possible to switch from a diagonal initial condition for square domains of any size, e.g. with , and with very strong noise (), we cannot switch from a diagonal solution. This would be consistent with previous studies which suggest that the diagonal solution is the global energy minimiser for large square domains, with tangent boundary conditions. More generally, these results suggest stronger noise is needed to facilitate switching for stable solutions.
4. The radial hedgehog
To conclude this work, we perform some preliminary studies of the effects of additive noise on the radial hedgehog solution, on spherical droplets of nematic liquid crystal [Citation4], with homeotropic boundary conditions i.e. a Dirichlet boundary condition of the form
where is defined in Section 3, is the position vector and is the identity matrix. The computational domain is a spherical droplet of radius,
Consider the free energy (8), which can be non-dimensionalised to yield the dimensionless-free energy:
where (is a measure of the system temperature) and , being the biaxial correlation length [Citation28]. The radial hedgehog is a uniaxial radially symmetric solution of the corresponding Euler-Lagrange equations of (32), subject to the specified homeotropic Dirichlet boundary conditions. More formally, the radial hedgehog solution can be written in the form
where is the radial vector and is a solution of the ordinary differential equation
subject to
Here, is the re-scaled definition of in (9). The radial hedgehog solution is fully defined by the solution of the ordinary differential EquationEquation (34)(34) (34) , subject to the fixed boundary conditions.
For implementing noise in (34), one option is to include one-dimensional additive noise in (34) and solve the equation independently in every radial direction, yielding the full profile of the droplet. However, for simplicity, we solve (34) on a circular cross section of the sphere (i.e. a disk), enabling us to implement the two-dimensional -Wiener process outlined in Section 3.1. That is, we specify independent copies of EquationEquation (34)(34) (34) corresponding to radial directions on the disk, making the problem effectively two-dimensional, and then add the two-dimensional noise seen previously. Points on the disk can be specified using polar coordinates , where and . Hence, to generate noise, we consider this as a problem on the rectangle , making the implementation the same as in Section 3.1 after adjusting for the different interval widths in Algorithm 10.5 [Citation6]. We therefore solve the following equation
on , which is divided into a grid of points and again consider solutions at , with as our time step. We then present the average of the profiles obtained on the disk, to assess the impact of noise on the radial hedgehog profile. The initial condition is fixed to be , for throughout this section, but , and are varied to study the effects of the model parameters and noise on the radial hedgehog solution. In the definition of , we fix Nm and Nm [Citation12], so that varying is equivalent to varying and the system temperature. Recall that the incorporation of noise is intended to capture material imperfections and experimental uncertainty.
In , we numerically compute solutions of the deterministic EquationEquation (34)(34) (34) (with no noise) for and multiple values of . In , as decreases (for ), deep into the nematic phase, the degree of interior nematic ordering increases since [Citation11,Citation29]. Similarly, a larger value of e.g. has the same effect of increasing the interior ordering, for a fixed value of , compared to the case.
For comparison, in , we plot the average of solutions of the stochastic Equationequation (36)(36) (36) , for , the same values of as in , and with , and . We consider in , to be an intermediate noise strength. Interestingly, in , with and , we find on an interval where . This is important, because it demonstrates that the radial symmetry of the radial hedgehog solution could be violated (which requires non-negative ) for sufficiently small droplets with small negative values of , or equivalently high temperatures ( corresponds to Nm). For large negative values of (i.e, ) deep in the nematic phase, the inclusion of noise has no discernible impact on the profiles, which look visually similar to the plots in . This is in agreement with experiments, where radially symmetric optical patterns are seen at sufficiently low temperatures [Citation30]. In , where and (i.e. strong noise), noise has no noticeable impact on the scalar order parameter (on average). This suggests, as in the case of square domains, that noise has less effect on solution profiles for large domains. Performing numerical experiments for different values of , and , we find:
for and , is the weakest noise required to observe (on average in 100 simulations), i.e. we find for ;
for and , (Nm) is the lowest temperature for which can be observed (on average in 100 simulations), suggesting that the critical noise needed for symmetry-breaking increases with decreasing temperature;
and finally, for and , is the largest droplet size for which can be observed (on average in 100 simulations). This suggests that for a fixed , there is a critical droplet size, such that is non-negative for .
These numerical experiments suggest that symmetry-breaking may occur for the radial-hedgehog solution, for sufficiently small droplets and for sufficiently high temperatures, under the influence of additive noise. A negative value of implies that the molecules, on average, lie in the plane orthogonal to the radial unit-vector and this changes the defect profile near the droplet centre. In the deterministic case, the spherically symmetric radial hedgehog solution, with a unique, monotonic and non-negative -profile, is globally stable for small droplets and for sufficiently high temperatures [Citation11,Citation29], in contrast to the stochastic predictions in this section. It is experimentally difficult to zoom into director profiles near the droplet centre, or defect profiles in general, and hence, it may be hard to test whether the deterministic predictions are indeed valid for small droplets and/or high temperatures, in real-life experimental settings which inevitably have some fluctuations and imperfections.
5. Conclusions
In this paper, we perform some numerical explorations of well-studied model problems in the Landau-de Gennes theory for nematic liquid crystals, with the effects of random noise. The random noise models material imperfections or uncertainties in the experimental set-up. The inclusion of random noise can be used as a method to test the robustness and physical relevance of solutions computed with deterministic approaches. We argue that solutions which survive (qualitatively) under the inclusion of noise are more likely to be observed in experiments than those which do not. For instance, with additive noise (including strong noise), diagonal and rotated solutions survive on large domains, suggesting they are the most physically relevant. This is consistent with experimental results which support the observation of diagonal and rotated solutions (see [Citation16] and [Citation27] for instance). It also suggests that the deterministic approach adequately captures structural details in the parameter regime of large , when bulk effects dominate elastic effects.
The picture is different for small domains. The WORS is the unique energy minimiser, and globally stable for small domains, in the deterministic Landau-de Gennes framework. The critical square edge length depends on the temperature, such that the WORS is globally stable for . The WORS does not really survive with additive noise, although we observe approximate WORS for sufficiently small square domains. This suggests that the WORS maybe an artefact of the symmetries of the deterministic model, with a highly symmetric diagonal defect cross, and is perhaps why it has not been observed experimentally. Hence, further effects must be included to enhance the stability of the WORS so it is consistently observed in a stochastic setting. In turn, this may inform the design of new experiments, to facilitate the observation of the WORS. The physical relevance of the multiplicative noise setup is questionable, as it requires preferred directions of molecular alignment to be enforced inside the square domain.
Finally, the work in Section 3.2.3, proposes a method for modelling switching processes via the inclusion of noise. We can clearly capture the switching mechanism from less stable to more stable solutions. However, switching between different energetically degenerate solutions, e.g. from one diagonal solution to another, cannot be captured with this method. Future work on stochastic liquid crystal models can include:
study of alternative numerical schemes such as Galerkin finite element methods for liquid crystal problems (i.e. systems of nonlinear partial differential equations)
rigorous convergence analysis of numerical schemes for stochastic PDEs and their long time behaviour
generalisation of the approaches in this paper to study three-dimensional liquid crystal problems, for which the LdG tensor has five degrees of freedom, with emphasis on how noise affects defect structures and their stability. The stochastic study can also be used to test the robustness of deterministic predictions.
Acknowledgments
The authors would like to thank Professor Neela Nataraj for her valued suggestions and feedback on the paper, especially with regard to the numeral implementation. The authors also thank Professor Utpal Manna (IISER Trivandrum) for helpful references and discussions in the initial stages of the work.
Disclosure statement
No potential conflict of interest was reported by the authors.
Additional information
Funding
References
- de Gennes PG, Prost J. The physics of liquid crystals. 2nd ed. Oxford (UK): Clarendon Press; 1993.
- Canevari G, Majumdar A, Spicer A. Order reconstruction for nematics on squares and hexagons: a landau-de gennes study. SIAM J Appl Math. 2017;77(1):267–293. doi: 10.1137/16M1087990
- Robinson M, Luo C, Farrell PE, et al. From molecular to continuum modelling of bistable liquid crystal devices. Liq Cryst. 2017;44(14–15):2267–2284. doi: 10.1080/02678292.2017.1290284
- Gartland EC, Mkaddem S. Instability of radial hedgehog configurations in nematic liquid crystals under Landau–de Gennes free-energy models. Phy Rev E. 1999;59(1):563–567. doi: 10.1103/PhysRevE.59.563
- Kloeden PE, Platen E. Stochastic differential equations. Heidelberg: Springer Berlin; 1992.
- Lord GJ, Powell CE, Shardlow T. An introduction to computational stochastic PDEs. Cambridge (UK): Cambridge University Press; 2014.
- Øksendal B. Stochastic differential equations: an introduction with applications. Heidelberg: Springer Berlin; 2003.
- Brzeźniak Z, Hausenblas E, Razafimandimby PA. Some results on the penalised nematic liquid crystals driven by multiplicative noise: weak solution and maximum principle. Stoch Partial Differ Equ. 2019;7(3):417–475. doi: 10.1007/s40072-018-0131-z
- Brzeźniak Z, Manna U, Panda AA. Large deviations for stochastic nematic liquid crystals driven by multiplicative gaussian noise. Potential Anal. 2020;53(3):799–838. doi: 10.1007/s11118-019-09788-6
- Wang Y, Canevari G, Majumdar A. Order reconstruction for nematics on squares with isotropic inclusions: a Landau-de Gennes study. SIAM J Appl Math. 2019;79(4):1314–1340. doi: 10.1137/17M1179820
- Majumdar A. The radial-hedgehog solution in Landau–de Gennes’ theory for nematic liquid crystals. Eur J Appl Math. 2012;23(1):61–97. doi: 10.1017/S0956792511000295
- Majumdar A. Equilibrium order parameters of nematic liquid crystals in the Landau-de Gennes theory. Eur J Appl Math. 2010;21(2):181–203. doi: 10.1017/S0956792509990210
- Majumdar A, Zarnescu A. Landau-de Gennes theory of nematic liquid crystals: the Oseen–Frank limit and beyond. Arch Ration Mech Anal. 2010;196(1):227––280. doi: 10.1007/s00205-009-0249-2
- Golovaty D, Montero JA, Sternberg P. Dimension reduction for the Landau-de Gennes model in planar nematic thin films. J Nonlinear Sci. 2015;25(6):1431–1451. doi: 10.1007/s00332-015-9264-7
- Mottram NJ, Newton CJ. Introduction to Q-tensor theory. arXiv:14093542 [cond-matsoft]. 2014.
- Tsakonas C, Davidson AJ, Brown CV, et al. Multistable alignment states in nematic liquid crystal filled wells. Appl Phys Lett. 2007;90(11):111913. doi: 10.1063/1.2713140
- Luo C, Majumdar A, Erban R. Multistability in planar liquid crystal wells. Phys Rev E. 2012;85(6):061702. doi: 10.1103/PhysRevE.85.061702
- Kralj S, Majumdar A. Order reconstruction patterns in nematic liquid crystal wells. Proc Math Phys Eng Sci. 2014;470(2169):20140276. doi: 10.1098/rspa.2014.0276
- Canevari G, Harris J, Majumdar A, et al. The well order reconstruction solution for three-dimensional wells, in the Landau-de Gennes theory. Int J Non Linear Mech. 2020;119:103342. doi: 10.1016/j.ijnonlinmec.2019.103342
- Butcher JC. The numerical analysis of ordinary differential equations : Runge-Kutta and general linear methods. Chichester: Wiley; 1987.
- Hairer M, Ryser M, Weber H. Triviality of the 2d stochastic Allen-Cahn equation. Electron J Probab. 2012;17(39):1–14. doi: 10.1214/EJP.v17-1731
- Ryser MD, Nigam N, Tupper PF. On the well-posedness of the stochastic Allen–Cahn equation in two dimensions. J Comput Phys. 2012;231(6):2537–2550. doi: 10.1016/j.jcp.2011.12.002
- Gard TC. Introduction to stochastic differential equations. 1988.
- Arnold L. Random dynamical systems. Heidelberg: Springer Berlin; 1998.
- Chunrong F, Wu Y, Zhao H. Anticipating random periodic solutions–ii. SPDES with multiplicative linear noise. arXiv preprint arXiv:180300503. 2018.
- Liu W, Mao X, Wu Y. The backward Euler-maruyama method for invariant measures of stochastic differential equations with super-linear coefficients. Appl Numer Math. 2023;184:137–150. doi: 10.1016/j.apnum.2022.09.017
- Lewis AH, Garlea I, Alvarado J, et al. Colloidal liquid crystals in rectangular confinement: theory and experiment. Soft Matter. 2014;10(39):7865–7873. doi: 10.1039/C4SM01123F
- Kralj S, Rosso R, Virga EG. Finite-size effects on order reconstruction around nematic defects. Phy Rev E. 2010;81(2):021702. doi: 10.1103/PhysRevE.81.021702
- Lamy X. Some properties of the nematic radial hedgehog in the Landau–de gennes theory. J Math Anal Appl. 2013;397(2):586–594. doi: 10.1016/j.jmaa.2012.08.011
- Sofi JA, Dhara S. Stability of liquid crystal micro-droplets based optical microresonators. Liq Cryst. 2019;46(4):629–639. doi: 10.1080/02678292.2018.1515373