Cody D.
Schimming
*,
C. J. O.
Reichhardt
and
C.
Reichhardt
Theoretical Division and Center for Nonlinear Studies, Los Alamos National Laboratory, Los Alamos, New Mexico 87545, USA. E-mail: cschimm2@jh.edu
First published on 26th November 2024
We develop an approximate, analytical model for the velocity of defects in active nematics by combining recent results for the velocity of topological defects in nematic liquid crystals with the flow field generated from individual defects in active nematics. Importantly, our model takes into account the long-range interactions between defects that result from the flows they produce as well as the orientational coupling between defects inherent in nematics. Our work complements previous studies of active nematic defect motion by introducing a linear approximation that allows us to treat defect interactions as two-body interactions and incorporates the hydrodynamic screening length as a tuning parameter. We show that the model can analytically predict bound states between two +1/2 winding number defects, effective attraction between two −1/2 defects, and the scaling of a critical unbinding length between ±1/2 defects with activity. The model also gives predictions for the trajectories of defects, such as the scattering of +1/2 defects by −1/2 defects at a critical impact parameter that depends on activity. In the presence of circular confinement, the model predicts a braiding motion for three +1/2 defects that was recently seen in experiments, as well as stable and ergodic trajectories for four or more defects.
Here, we focus on topological defects in two-dimensional active nematic liquid crystals. Active nematic liquid crystals, or simply “active nematics,” are fluids in which anisotropic constituents individually generate forces leading to collective macroscopic flows.17,18 Active nematics are inherently out-of-equilibrium and exhibit chaotic flows on large scales.19–22 They also exhibit spontaneous positive–negative defect pair production with self-advecting positive defects.11,23,24
Much of the theoretical and computational work surrounding active nematics has focused on a continuum model for the time dependence of the nematic tensor order parameter Q and the fluid velocity field v.17,18,25 There has been recent interest, however, in the dynamics of the topological defects themselves for their role in colloidal assembly, microfluidic cargo transport, morphogenesis, logic operations, and optimal mixing.5,6,26–37 The behavior of defects is typically inferred from solutions to the continuum equations for the order parameter, but the nonlinearity of the time evolution equations limits the progress that can be made in obtaining analytical results, though recent progress has been made by using low-order expansions of the equations of motion of Q.38,39
There have been considerable efforts to understand the flow fields produced by individual defects in active nematics, both with and without substrate friction.12,20,23,40–44 In many of these studies, defect motion is assumed to be dominated by the advection of the defect by the flows they produce. Additionally, because of the reliance on exact solutions for the fluid flows, understanding the motion of multiple interacting defects through them remains a challenge. Other recent studies of defect dynamics on curved surfaces have made the simplifying assumptions that positive defects are self-propelled, while negative defects are passive and only interact through Coulomb potentials and surface curvature coupling.45,46 These models introduce noise (an experimental reality) and allow for independent orientations of defects, however, they do not include the coupling of defect orientations with relative positions, or the advection and shear flow interactions inherent in active nematics.47,48 Recent work has also explored the effect of orientational noise on the unbinding of defects24 and developed a hydrodynamic description of many interacting defects.11,12,35 The hydrodynamic descriptions are suitable for systems with large numbers of active defects in the turbulent regime, but do not give descriptions of the trajectories of individual defects.
In this work, we combine recent analytical results for the flow field around a defect in an active nematic with an analytical framework to calculate the velocity of defects given the time dependence of the order parameter.12,16,43 Using these elements, we posit an analytical model for the velocity of defects in an active nematic with many defects. A critical component to our model is a linear perturbation approximation for the Q-tensor order parameter near defect cores. Using this, we show that the defect velocity results from two-body interactions with other defects, and may be decomposed into three parts: the Coulomb interaction between defects, advection from fluid flows generated by other defects, and deflection by shear flows generated by other defects. We analytically probe the interaction between two defects and show that the model is able to predict phenomena observed in continuum simulations and experiments, and predicted by other analytical models such as bound states between positive defects and deflections of positive defects by negative defects.12,49 We also show that the model predicts an orientation dependent, effective attraction between negative defects and that the critical unbinding length scales proportional to the active length, both of which have not been shown in previous analytical models to our knowledge. We study the predicted trajectories for multiple defects in a circularly confined system and identify several potential behaviors, such as stable configurations, periodic dynamics, ergodic trajectories, and defect braiding similar to that observed in recent experiments.36 We also compare the analytical model to a continuum model for the case of defect coarsening in a confined system. Finally, we summarize our results and discuss potential future extensions of the model and challenges that remain. Our work complements the previous efforts to understand active nematic defect motion by explicitly including the hydrodynamic screening length as a tuning parameter, and allowing for the study of multiple interacting defects through a key approximation.
(1) |
For systems with many defects, it is common to represent the nematic configuration using a rank-two tensor, Q. In two dimensions, Q may be parameterized as Q = S[ ⊗ − (1/2)I] where S is a scalar representing the degree of local order. The tensor order parameter characterization has the benefit that topological defects are no longer singularities and are instead regularized so that S varies continuously and S → 0 at the defect cores. The apolar symmetry is also inherently present in Q due to its quadratic dependence on .
Recently, an exact expression for the velocity of defects in terms of derivatives of Q was derived in both two and three dimensions.12,16 The derivation, of which we give more details in the Appendix, is based on the conservation of topological charge for systems with a continuous, broken symmetry order parameter, first explored by Halperin51 and then later developed by Mazenko.52–54 In two dimensions it reads
(2) |
To obtain an approximate analytical expression for the velocity of defects, we assume the Beris–Edwards model for the time evolution of Q in the presence of a fluid flow u:55
(3) |
(4) |
Eqn (3) may be substituted into eqn (2) to yield an equation for the defect velocity in terms of spatial derivatives of Q only. To approximate spatial derivatives at the location of the defect core, we use a linear core approximation for a nematic defect in the presence of other defects.13,16 In the absence of flow, u = 0, the velocity of the jth defect reduces to
(5) |
vAdvectionj = u(r = rj). | (6) |
j = (cos2φj, sin2φj) | (7) |
(8) |
(9) |
(10) |
The defect velocity in the presence of flow is the sum of eqn (5), (6), and (10). In Fig. 1 we show an illustration of each contribution. In the next section we use recent analytical calculations of the flow field created by a defect in an active nematic to give an analytical expression for the advection and shear contributions to defect velocity.
(11) |
We will assume that the total flow at the core of a defect is the sum of all flow fields created by defects. We justify this assumption by first noting that the director field in a system of many defects is determined by the Euler–Lagrange equation ∇2ϕ = 0. This equation is linear, so the full solution is the sum of each individual defect solution. In particular, we will assume the director structure is given by the minimal energy solution, so that there are no torques on defects due to elastic forces.9,58 Physically, this corresponds to assuming that the nematic relaxation time is much smaller than the active force time scale. The flow field created by a defect is sourced by the term α∇·Q in the rescaled eqn (11). Away from the core of other defects, this term depends only on the director, and, under our linear core assumptions, is given by the sum of all other defects. We thus approximate the total active force by the sum of active forces produced by each defect. This approximation is better when defects are well separated compared to their core size, and will begin to break down as defect cores overlap. Nevertheless, these approximations and assumptions allow us to make analytical progress in treating interactions between multiple active nematic defects, since they allow us to treat the velocities as arising from two-body interactions.
In active nematics, +1/2 defects are much more motile than −1/2 defects. This is because they generate a nonzero flow at their core43
(12) |
(13) |
(14) |
(15) |
(16) |
E 1 and E2 may be computed from gradients of the velocity. For ±1/2 defects these are given by
(17) |
(18) |
(19) |
(20) |
We note that the limit h → ∞ is not a sensible limit to take in the model. This is because, in this limit, the substrate friction goes to zero and solutions for the two-dimensional Stokes equation in an infinite domain diverge. This does not contradict experiments because substrate friction always plays a role, or in continuum simulations that set Γ = 0 since the finite size of domains always acts as an effective screening length on the system. A more sensible limit to examine in our model is how the flow solutions behave in the limit r ≪ h. While the form of βi and χi is very complicated in this limit, we use the first two terms of β1 (given in the Appendix) to estimate that β1(x) ∼ (π2/4)/(π/4 + x) for small x. Indeed, for small r/2h we find this to be a satisfactory approximation, as we show in the inset of Fig. 2(a).
The velocity of an individual defect is found by treating all other defects as point sources for the flow at the location of the defect of interest. Due to flows throughout the nematic, the actual nematic configuration may be more complicated; however, we do not consider this here and assume that all flows in the system are due to topological defects. In the limit of small relaxation time compared to the timescale for active forces, this is a good approximation, since any non-topologically protected deformation will quickly be relaxed.
(21) |
(22) |
Eqn (22) gives several insights into the motion of two +1/2 active defects. We first note that the self-propulsion velocity is reduced compared to an isolated defect, particularly at small distances relative to the screening length (note that β1 → π as r → 0). The motion is complicated by terms proportional to vectors â and which depend on the relative orientation of the defects. However, we may analyze this coupling by decomposing the velocity into terms parallel and transverse to the direction between defects:
(23) |
(24) |
Due to the complicated forms of the flow velocity, it is not immediately obvious whether defects will tend to repel (as they do in passive nematics) or attract. Eqn (23) predicts that both behaviors are possible, with φ0 = π/4 acting as a separatrix for the two behaviors. In Fig. 3(a) we plot v‖ as a function of r/h for φ0 = π/4 and h = 10 at a variety of activity strengths. For α/h2 > 1.74 there is a distance r0 such that v‖ = 0, indicating that defects will tend to rotate around each other at this distance indefinitely. In Fig. 3(b) and (c) we plot the critical distances as a function of α/h2 (b) and φ0 (c). For φ0 < π/4 and , r0 diverges at zero activity (as expected), but decreases rapidly with increasing activity. For α/h2 > 1, the critical distance remains roughly constant and small compared to h. As a function of φ0, r0 remains roughly constant until φ0 ≈ 7π/32, and then increases rapidly as φ0 approaches π/4.
Fig. 3 (a) Velocity component of a +1/2 defect in the presence of another +1/2 defect parallel to the direction between defects, v‖+ [eqn (23)], versus scaled distance between defects r/h. Colors represent different values of α/h2 with h = 10, θ = 0, φ0 = π/4, and λ = 1. The dashed line shows v‖+ = 0; r0 is defined as the point at which the velocity crosses this line. (b) Scaled critical distance r0/hversus α/h2 for various values of φ0. (c) r0/hversus φ0 for various values of α/h2. (d) Example trajectories for two +1/2 defects with initial positions at x = −0.5h and x = 0.5h for α/h2 = 0.1, φ0 = 5π/24 (blue) and α/h2 = 0.25, φ0 = π/8 (orange). (e) Distance between two +1/2 defects versus time step t/Δt for the parameters in (d) as well as at α/h2 = 0.1, φ0 = 5π/16 (yellow). |
The behavior of r0 may be attributed primarily to the self-advection part of eqn (23), which is the dominant term in the equation. It does not depend on the distance between defects, and it contributes most strongly at high activities and smaller φ0. However, we note that the shear flow interaction contributes most strongly to the behavior near φ0 = π/4 where the advection terms do not contribute to eqn (23). If λ = 0, r0 → ∞ for all values of α at φ0 = π/4.
In Fig. 3(d) we also plot trajectories of defects obtained from numerically integrating eqn (22) using a forward Euler method with timestep Δt = 0.001 and h = 10. In both computations the defects are initially placed at (−0.5h,0) and (0.5h,0). For one trajectory, we set α/h2 = 0.1 and φ0 = 5π/24. In this case, r0 is larger than the initial separation, and the defects initially move away from each other to the stable distance. For the other trajectory, we set α/h2 = 0.25 and φ0 = π/8, corresponding to a critical distance that is smaller than the initial defect separation. Here the defects move toward each other in order to reach the stable distance. In Fig. 3(e) we plot the distance between defects for the computed trajectories illustrated in Fig. 3(d), as well as for trajectories computed for α/h2 = 0.1 and φ0 = 5π/16 > π/4. In this case, while the defects still rotate around one another, the distance between them increases without bound.
The effective attraction between positive defects caused by hydrodynamic effects can lead to dynamical states in which +1/2 defects continuously rotate around one another, or even merge to form a stable higher order +1 defect, similar to behaviors predicted with a different analytical model in ref. 49. While our calculations above predict this attraction for the simplest case of a system with only two defects, this behavior should, in principle, occur even when other defects are present in the system if the two defects are far from the other defects. Indeed, bound states of two +1/2 defects may be observed in continuum simulations at high activities, as illustrated in Fig. 4(a) where we show a time snapshot of the scalar order parameter and director field in a system with periodic boundary conditions, α/h2 = 2, and h = 10 (for details of the continuum simulations, see the Appendix). We have marked the bound states of +1/2 defects in green boxes in Fig. 4(a), and for one of these boxes the subpanels provide several time snapshots illustrating two bound +1/2 defects rotating around one another and eventually merging. We note that the bound states are short-lived in the continuum simulation due to interactions with other defects. However, it has been shown in numerical simulations that such bound states may be longer lived and ordered if subjected to confinement.59–61 Partially stable bound +1/2 defect pairs have also been observed experimentally under circular confinement62 and in recently discovered acoustically actuated active nematics with no confinement, where the activity may be much larger than in biologically based active nematics.63
Fig. 4 (a) Time snapshot of an active nematic continuum simulation with periodic boundary conditions, α/h2 = 2, and h = 10. The color represents the strength of the scalar order parameter S and the white lines indicate the local director. The green boxes highlight bound states of two +1/2 defects rotating around one another. The sub panels show four time snapshots of one of the bound states at t = −4Δt, t = −2Δt, t = 0, and t = 2Δt, where t = 0 is the time in the main snapshot. The circles indicate the +1/2 defects that rotate around one another. (b) Three time snapshots of a confined continuum simulation with only two +1/2 defects with α/h2 = 0.2, h = 10, φ0 = π/8, and domain radius R = 30. (c) Scaled stable distance between defects r0/h in a continuum simulation for various values of α/h2 with h = 10 and φ0 = π/8 (orange points). The dashed line is a reproduction of the analytically derived curve from eqn (23) (solid line), with a vertical shift of 1.2. |
By simulating a continuum system under circular confinement, we can perform a rough comparison to the scaling of r0 with α shown in Fig. 3(b). In Fig. 4(b), we plot several time snapshots of a continuum simulation with α/h2 = 0.2, h = 10, φ0 = π/8, and a confining radius of R = 30. In the continuum simulations, two defects rotate around one another at a fixed distance. As predicted by the analytical equations, this distance depends on the activity. In Fig. 4(c) we plot the critical distance r0versus α/h2 for several continuum simulations. We also plot the analytically derived curve from Fig. 3(b), r0(φ0 = π/8)/h + 1.2, where the vertical shift in the curve is made to highlight the similarities and differences in the shape of the relationship. Both the continuum simulations and analytic model show a relatively rapid drop in r0 for small α; however, at larger activities r0 falls off more rapidly with α in the continuum simulations than in the analytic model, which we attribute to nonlinear effects produced by the close proximity of the defect pair in the continuum simulations. When the defects become close enough together that their cores begin to overlap, our approximations break down. In particular, in the continuum model, defects are able to merge to form higher order defects, as is visible in several of the boxed regions in Fig. 4(a). We surmise that the quantitative difference (the vertical shift between the analytically predicted behavior and the continuum simulations) arises due to effects of the boundaries on the continuum simulations. We use u = 0 boundary conditions for the flow field in the confined continuum simulations, but eqn (22) corresponds to defects in an infinite, not bounded, domain. These boundary conditions reduce the flow magnitude and spatial extent, and, hence, increase the critical distance between defects. The vertical shift factor, here found to be ≈1.2, likely depends on both h and the size of the computational domain, though a comprehensive study of this effect is outside the scope of the present work. Additionally, because defects can spontaneously nucleate for higher activities in the continuum simulations, we cannot probe the high activity scaling result. In the lower activity regime, however, we obtain good qualitative agreement between our analytic model and the behavior of defects in continuum simulations and experiments.
(25) |
(26) |
(27) |
Eqn (27) shows that the transverse component of the velocity will be zero if 4θ − 2φ0 = nπ. In this case, two −1/2 defects can only move toward or away from one another. From eqn (26), we find that if 4θ − 2φ0 = (2n + 1)π, the defects repel each other. Geometrically, this occurs when two −1/2 defects “point” towards one another if viewed as having a triangular shape. On the other hand, when the defects point away from one another for 4θ − 2φ = 2nπ, the hydrodynamic interactions compete with the Coulomb force on the defects and there is a critical distance r0 at which v‖ = 0. In Fig. 5(a) we plot this critical distance as a function of α/h2 for h = 10. For two −1/2 defects, r0 rapidly decreases as α/h2 increases until α/h ≈ 1 and the value of r0 saturates. As we did with the +1/2 defects, in Fig. 5(a) we plot r0/h for several confined continuum simulations with two −1/2 defects. The dashed line in Fig. 5(a) is the solid curve in the figure with a vertical shift, r0/h + 2, showing that apart from the vertical shift, the finite system continuum simulations behave qualitatively similarly to the curve derived analytically for an infinite domain. As with the +1/2 defects in the previous section, we suspect the quantitative difference to result from the confinement of the continuum simulations, where the flow speeds are reduced even more than in the case of two +1/2 defects. We expect that the value of the vertical shift, found to be 2 for the parameters used here, should be dependent on h and the domain size of the confined system.
Fig. 5 (a) Scaled critical distance r0/h at which the velocity of −1/2 defects v = 0 for 4θ − 2φ0 = 0 versus α/h2. The solid line shows the calculated r0/h from eqn (26). Orange points show r0/hversus α/h2 for two −1/2 defects in confined continuum simulations with h = 10 and domain radius R = 30. The dashed curve is a reproduction of the solid curve with a vertical shift of 2. (b) Example trajectories of two −1/2 defects with initial x = −0.5h and x = 0.5h at φ0 = 0.001. |
Although a critical distance between −1/2 defects exists, the velocity equations do not support stable, bound defect pairs. This is because the dynamics are explicitly dependent on θ, and, in particular, v⊥ changes as the defects rotate around one another. Further, expanding around the fixed points of eqn (27) shows that 4θ − 2φ0 = 2nπ are unstable fixed points, while 4θ − 2φ0 = (2n + 1)π are stable fixed points. The model thus predicts that active −1/2 defects will tend to reorient toward a stable relative orientation when interacting. We illustrate this instability in Fig. 5(b) by plotting the computed trajectories of two −1/2 defects with initial positions (−0.5h,0) and (0.5h,0), for φ0 = 0.001, h = 10 and α/h2 = 0.5. Initially the defects move towards each other until they rotate enough for the interaction to become repulsive. They then repel each other along a line such that asymptotically approaches 4θ − 2φ0 = π. This instability provides an explanation for why bound states of −1/2 defect pairs are not observed in continuum simulations and experiments.
(28) |
(29) |
We first analyze the interaction by examining the limiting case where the global phase is φ0 = π/2 and the axes are oriented so that θ = 0 for the +1/2 defect and θ = π for the −1/2 defect. In this case the comet head of the +1/2 defect is pointing “away” from the −1/2 defect [see Fig. 6(a)]. The velocity difference, and, hence, the rate at which the distance between defects changes, is
(30) |
In Fig. 6(a) we plot rC/hversus α/h2 for h = 10. Here rC → ∞ as α → 0 as expected, since passive ±1/2 defect pairs will always annihilate. As shown by the log–log plot in Fig. 6(b), we find that rC ∼ α−1/2, a scaling that has been observed for 〈rd〉 in continuum simulations.20,64 In some sense, this scaling is expected because the active length scale (the length scale that arises due to the competition between active and elastic forces18) a ∝ α−1/2; however, a naive approximation would lead to the expectation that dr/dt ∼ v − 1/r, where v is the speed of the +1/2 defect, and hence that rC ∼ α−1. Only by including all of the hydrodynamic effects can the α−1/2 scaling be predicted. Interestingly, we find that the screening length h plays an important role in this scaling. In Fig. 6(b) we also plot rC/hversus α/h2 for h ∈ {1,2,5}. For small screening lengths and small activity, rC ∼ α−1, confirming the naive approximation. In this regime, the self propulsion is the dominant interaction term, and only at higher activities is the α−1/2 scaling restored. The crossover between regimes as a function of α occurs for higher relative activities at smaller screening lengths. Thus, we predict that active nematic experiments and simulations performed in the “dry” limit (smaller screening length) for relatively small activities will measure 〈rd〉 ∼ α−1.
To gain some analytical insight we use the approximation of β1 in the limit of rC ≪ h [see Fig. 2(a) and the Appendix]. Setting β1(rC/2h) = (π2/4)/(π/4 + rC/2h) in eqn (30) and neglecting the terms which are small in this limit gives
(31) |
One might predict that if the comet head of the +1/2 defect is oriented toward the −1/2 defect, then annihilation will always occur. This is precisely true if 2θ − 2φ0 = 2nπ; however, due to the orientational coupling and self propulsion of the +1/2 defect, if 2θ − 2φ0 ≠ 2nπ, the +1/2 defect may deflect away from the −1/2 defect. In this more general case, the complicated non-reciprocity of the ±1/2 defect velocities does not lend itself to a straightforward analytical analysis. Instead, we analyze the interaction by numerically integrating eqn (28) and (29) and observing the resulting trajectories. In Fig. 7(a) we plot an example trajectory with φ0 = π/12. In this case, although the ±1/2 defect pair distance initially decreases, eventually it begins to grow with time, as can be seen by the three snapshot points plotted along the trajectory. We note that although −1/2 defects are typically thought of as “passive” particles, their motion is not only influenced by Coulomb interactions and can be pushed or pulled by the flows of other defects, which can be seen in the trajectory in Fig. 7(a).
We find that, if defects are initially oriented along the x-axis, there is a critical global phase, φC, depending on initial separation and activity, above which +1/2 defects will deflect and not annihilate. To study this systematically, we compute trajectories of ±1/2 defect pairs with varying initial distances and orientations. We consider the two defects “annihilated” if they come within one nematic correlation length of each other. In our normalized units this occurs when r < 1. In Fig. 7(b) we plot the critical angle φCversus α/h2 for h = 10 at various initial distances, and in Fig. 7(c) we plot φCversus r0/h for various activities. The insets of these figures show that φC ∼ r0−2α−1, or φC ∼ (a/r0)2. We can also map this critical angle to a critical impact parameter bC by rotating our axes by 2φC (so that φ0 → 0). Then, bC = r0sin2φC so that bC ≈ 2a2/r0. We sketch the rotation leading to this mapping in Fig. 8.
Fig. 8 Schematic depiction of rotating the system axes to define the impact parameter b in terms of φ0. |
Our analysis of the model's predictions for the critical unbinding lengths and angles of ±1/2 annihilation do not assume a particular method of nucleation. One future extension of the model would be to implement specific nucleation methods. However, once the defects have nucleated, our analysis should apply to situations where the ±1/2 pair are well separated or screened from other defects in the system. Therefore, we expect our analysis to apply to defects nucleated from the usual bend instability,18 as well as defects nucleated via recently observed disorder–order transitions in phototactic active nematics.65
To simulate a confined circular geometry, we use the method of images for defects in a circular domain. For each defect located at polar coordinate (r,θ), a defect of equal charge is placed at (R2/r,θ), where R is the radius of confinement. The corresponding lowest energy director angle is given by
(32) |
In confined systems, it is typical to assume no-slip boundary conditions for the fluid velocity. However, to our knowledge, no analytical solution to eqn (11) is available for u(R) = 0 boundary conditions. Thus, here we neglect the effect of the boundaries on the flow solution, and limit our considerations to the case of small screening length, namely h = 1. In this parameter regime, it was shown in ref. 43 that the flow solutions for a single defect are only weakly perturbed by no slip boundary conditions when the analytical solution for an infinite domain was compared to bounded numerical solutions. Finally, we assume that defects in the system do not feel the flow solutions from the image charges but experience only the Coulomb force from elastic forces. For the parameters that we explore, this assumption only results in small quantitative changes to the defect motion. In what follows, we integrate the equations of motion for each defect using a forward Euler method with time step Δt = 0.001 and initialize the system with randomly generated positions of the defects.
We first examine multiple +1/2 defects in confinement. For two +1/2 defects, the results of Section 3 apply and the defects will rotate around one another if φ0 ≠ 0,π/2. If φ0 = 0,π/2, the defects will find stable positions with v = 0. For three +1/2 defects, we find that the defects tend to braid one another in a manner similar to that seen in recent experiments.36 In Fig. 9(a) and (b) we show example trajectories for three defects with system radii R = 3 and R = 5, respectively. For the smaller system size, the defects maintain tighter “figure eight” trajectories, as seen in the experiments, until eventually settling into the stable figure eight trajectory shown by the dashed line in Fig. 9(a). For the larger system size the defects do not follow perfect braiding trajectories, but instead traverse figure eight pathways bounded by outer and inner figure eight loops. Here we do not observe the same stabilization of the trajectories that appears in the more confined system. Movies of the integrated analytical model are available in the Supplemental Material (1,2) (ESI†). The ability of our model to predict the braiding behavior seen in experiments highlights the importance of orientational coupling in the active nematic. Such behavior could not be reproduced with a simpler active Brownian particle model where only Coulomb interactions are present.
We also examine trajectories for four, five, and six defects. We plot example trajectories for all of these cases in Fig. 9(c)–(h) and show movies of their motion in the Supplemental Material (3–8) (ESI†). For four +1/2 defects we find that there is a stable configuration where the defects sit in a rectangular formation and v = 0 for each defect. At small confinement the system rapidly relaxes to this configuration regardless of the random initial positions, as shown in Fig. 9(c). For larger confinement, the defects eventually find the stable configuration, but only after a long transient motion of two bound states of two +1/2 defects that rotate around one each other, as illustrated in Fig. 9(d). We find that stable configurations exist for four +1/2 defects for all values of φ0. We note that, unlike the case for two +1/2 defects, the value of φ0 has no influence over the existence of a stable state. This is because a total topological charge of m = 1 is a special case since it is the only arrangement for which the relative angle of the director with respect to the boundary is constant. For any other total topological charge, the director angle relative to the boundary changes continuously, and hence any rotation of the director rotates the overall configuration. To emphasize this, in Fig. 9(b), (d), (f) and (h) we indicate the director boundary condition. We also note that although the flow solutions we assume here do not respect no-slip boundary conditions, the symmetry of the configuration dictates that a qualitatively similar configuration should still exist for the case of no-slip conditions.
For five defects we no longer find stable defect configurations. In Fig. 9(e) and (f) we plot example trajectories for five +1/2 defects and do not observe any closed defect trajectories, meaning that there is not a stable attractor for either system size. For six defects, when R = 3 we observe two periodic trajectories that contain three defects each, as shown in Fig. 9(g). The periodic trajectories may change their orientation for different random initial conditions or values of φ0. Upon increasing the system size to R = 5, however, we no longer observe stable periodic trajectories, as illustrated in Fig. 9(h). We note that while it is beyond our scope here to extensively study the effect of α on these trajectories, we find that the qualitative results do not change upon a cursory survey of varying activities. That is, only the quantitative details of the points and trajectories vary when small changes are made to the activity, but the existence of stable points or trajectories is unaffected.
Finally, we compare active nematic defect coarsening in the analytical model and a continuum simulation. For the analytical model, we initialize a system of radius R = 50 with 15 + 1/2 defects and 15 − 1/2 defects at random positions. We then numerically integrate their velocities and remove ±1/2 pairs that come within r < 1 of each other. For the continuum simulation, we initialize the system with a director field that has defects at the same positions as the analytical model. For both computations, we use α/h2 = 2, h = 1, k = 1, and φ0 = 0. Importantly, for these parameters, the continuum simulation does not spontaneously nucleate defects. In Fig. 10(a) we plot the number of defects N versus dimensionless simulation time t for both the computations with logarithmic scaling on the t-axis. At early times, when the system is more dense, the coarsening dynamics are different, with faster annihilation of defects in the continuum simulation. However, at longer time scales, the two curves have roughly logarithmic scaling with time. We also find that at late times, +1/2 defects move out toward the boundaries while −1/2 defects are left in the bulk. The +1/2 defects congregate at polar angles θ = φ0 ± π/2 due to the orientational coupling between the defects and director field. In Fig. 10(b) we plot a late-time snapshot of an analytically integrated computation while in Fig. 10(c) we plot a late-time snapshot of a continuum configuration. In both cases the charge separation occurs while the defects continue to coarsen. While a full understanding of confined active nematic defect coarsening would require many more realizations and an extensive study of the effect of model parameters, this example highlights a potential future application of the analytical model, which requires far less computational time and resources to simulate than the continuum model.
One of the primary advantages of the analytical model is the ease with which the effect of different parameters may be investigated. For example, in future studies, the model can be used to probe the effect of screening length and tumbling parameter. Another advantage is the modular nature of the theory. One may, for example, investigate the effect of elastic interactions by changing the coefficient for the Coulomb force term; or one could impose different flow profiles by adding the appropriate terms to the velocity. Since the velocity of defects is derived explicitly from topological charge conservation via the methods of Halperin and Mazenko,51–54 we do not need to interpret the results in terms of auxiliary fields.38,39 Having an explicit form for the defect velocities is particularly amenable for computational implementation.
Our analytical model achieves its greatest accuracy under the separation of length scales a < 〈rd〉 < a, where a is the core size, 〈rd〉 is the average separation of defects, and a is the active length scale. Our linear perturbation approximation, which allows us to treat the flows of individual defects separately, breaks down when the cores of defects overlap. Additionally, we have neglected the effect of topologically trivial structures such as bend walls, which also generate flows in the system,48 on the motion of defects. When 〈rd〉 > a, the effect of defect core overlap will be minimal, and when a > 〈rd〉, structures such as bend walls will be quickly relaxed due to elastic forces.
We make the approximation that the director field is always given by the minimal energy configuration. It has been shown in experiments that this is not always the case for active nematics,47,66 and induced torques, transverse velocities, and orientational noise may play an important role in the motion of active nematic defects.9,11,24,58 This presents an opportunity for a future extension of the analytical model, since it has been shown that the defect velocity formalism used here can capture the transverse motion induced by these torques.16 However, to our knowledge, the flows induced by the relative twisting of defects in active nematics are not yet well understood. If approximate equations for this can be derived, then the orientation of topological defects in active nematics may be treated independently of their positions, while still taking into account the intrinsic coupling of the director field and defect orientation, and a true particle model could be formulated using the present theoretical framework. Accurately treating the orientation of defects independently would allow for many additional features to be included in the model such as defect nucleation or orientational noise. It would also be possible to include periodic boundary conditions, which cannot be treated in the present model due to instantaneous jumps in the orientation when defects cross the periodic boundary. In each case, it would be possible to maintain the orientational coupling that we have shown is important when describing active nematic defect motion.
An interesting extension of the methodology presented here would be to treat line defects in three-dimensional active nematics. Although it has been shown that the defect velocity formalism we employ here can be generalized to line defects in three dimensions,16,67 there has been much less work in understanding defect dynamics in three dimensional active nematics both computationally,68,69 and, especially, experimentally.70 Recent theoretical work has described some aspects of defect loop motion,71,72 and it will be interesting to compare and combine the results of the methodologies used here to obtain a clearer picture of defect motion in active nematics.
The topological defect density in two dimensions may be written as
(33) |
ρ(r,t) = D(r,t)δ[Q(r,t)] | (34) |
D = εkεμν∂kQμα∂Qνα | (35) |
∂tD = ∂k(2εkεμν∂tQμα∂Qνα) ≡ ∇·JD. | (36) |
To get analytical approximations for the velocity, we must approximate Q near defect cores. We assume a linear core structure:13
(37) |
(38) |
Thus, we approximate the director distortion near the defect core of interest as a linear perturbation from all other defects.
The Coulomb velocity in eqn (5) may be derived by substituting ∂tQμα = −δF/δQμα = (1/k)∇2Qμα into eqn (2). Using eqn (37) to compute the spatial derivative and setting x = y = 0 gives eqn (5). Given a fluid flow u(r = 0), substituting ∂tQμα = −(u·∇)Qμα into eqn (2) gives the advection component of the velocity, eqn (6), after using eqn (37) to compute the gradient of Q. To get the shear component of the defect velocity, eqn (10), we first note that upon substituting ∂tQμα = Sμα into eqn (2), most of the terms are zero when x = y = 0 since Q = 0 at the core of the defect. The only term that contributes to the velocity is ∂tQμα = λEμα, and substitution of this into eqn (2) yields eqn (10).
The radial parts of the flow solutions are given by
The radial parts of the strain rate solutions are given by
To obtain the small x approximation of β1 we compute the first two terms giving β1(x) = π − 4x + ⋯ Comparing to a function of the form f(x) = B/(A + x), we may write (for x < 1) f(x) = B/A − (B/A2)x + ⋯ Thus, assuming β1(x) scales as f(x) for small x, we identify B = π2/4 and A = π/4, or β1(x) ≈ (π2/4)/(π/4 + x). The inset of Fig. 2(a) shows empirically that this is a reasonable approximation for small x.
(39) |
For the simulation snapshots shown in Fig. 4(a), we use periodic boundary conditions on a square domain. Periodic boundary conditions necessitate that the total topological charge remains neutral. On the other hand, for the continuum simulation snapshots shown in Fig. 4(b) and data shown in Fig. 4(c) and 5(b), we use Dirichlet boundary conditions on a circular domain, with u = 0, S = SN, and varying director depending on the total topological charge. To induce two +1/2 defects, the angle of the director field at the boundary is given by ϕ(R) = arctan(y/x) + φ0, while for two −1/2 defects it is given by ϕ(R) = −arctan(y/x) + φ0.
For the continuum simulation where we compare defect coarsening, shown in Fig. 10, we use Dirichlet boundary conditions with ϕ(R) = 0, requiring a total topological charge of zero. To find the number of defects as a function of time, we integrate the magnitude of D, given in eqn (35):14,74
Footnote |
† Electronic supplementary information (ESI) available: In all Supplemental Movies the points are the positions of defects, the arrows are the defect orientations , and the black circles indicate the domain boundaries. Below we list the specific parameters for each movie. Supplemental Movie 1: three +1/2 defects, R = 3, α = 2, h = 1. Supplemental Movie 2: three +1/2 defects, R = 5, α = 2, h = 1. Supplemental Movie 3: four +1/2 defects, R = 3, α = 2, h = 1. Supplemental Movie 4: four +1/2 defects, R = 5, α = 2, h = 1. Supplemental Movie 5: five +1/2 defects, R = 3, α = 3, h = 1. Supplemental Movie 6: five +1/2 defects, R = 5, α = 3, h = 1. Supplemental Movie 7: six +1/2 defects, R = 3, α = 3, h = 1. Supplemental Movie 8: six +1/2 defects, R = 5, α = 3, h = 1. See DOI: https://doi.org/10.1039/d4sm00956h |
This journal is © The Royal Society of Chemistry 2025 |