Abstract
We study chirality transitions in frustrated ferromagnetic spin chains, in view of a possible connection with the theory of Liquid Crystals. A variational approach to the study of these systems has been recently proposed by Cicalese and Solombrino, focusing close to the helimagnet/ferromagnet transition point corresponding to the critical value of the frustration parameter \(\alpha=4\). We reformulate this problem for any \(\alpha\geq0\) in the framework of surface energies in nonconvex discrete systems with nearest neighbours ferromagnetic and next-to-nearest neighbours antiferromagnetic interactions and we link it to the gradient theory of phase transitions, by showing a uniform equivalence by \(\varGamma \)-convergence on \([0,4]\) with Modica-Mortola type functionals.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Introduction
The phenomenon of frustration arises from the competition between different interactions, in a continuous or discrete physical system, that favour incompatible ground states. It occurs, for instance, in the liquid-crystalline phases of chiral molecules: a chiral molecule cannot be superimposed on its mirror image through any proper rotation or translation. The main effect of chirality is that chiral molecules do not align themselves parallel to their neighbours but tend to form a characteristic angle with them (see, e.g., [1, 13, 15]).
Edge-sharing chains of cuprates, instead, provide an example of frustrated lattice systems, where the frustration results from the competition between ferromagnetic (F) nearest-neighbour (NN) and antiferromagnetic (AF) next-nearest-neighbour (NNN) interactions (see, e.g., [12]).
In this paper we study the asymptotic properties of a one-dimensional frustrated spin system at zero temperature via \(\varGamma\)-convergence (see [2] and [11]), focusing also on the variational equivalence with problems in gradient theory of phase transitions (see, e.g., [2, 3] for a simple introduction to the topic). Our contribution has been inspired by the recent results about the variational discrete-to-continuum analysis of such systems provided by Cicalese and Solombrino [9] in the vicinity of the so called “helimagnet/ferromagnet transition point”, exhibiting at a suitable scale different scenarios not detected by a first-order \(\varGamma\)-limit. Indeed, the \(\varGamma\)-convergence approach provides a rigorous way of deriving a continuum limit for discrete systems as the number of interacting particles is increasing. However, the \(\varGamma\)-limit does not always capture the main features of the discrete model and in some cases more refined approximations are needed (see, e.g., [4, 5, 9, 18]). This motivated the derivation of the uniformly \(\varGamma\)-equivalent theories, introduced by Braides and Truskinovsky [7] for a wide class of discrete systems and developed, e.g., in the framework of fracture mechanics, by Scardia, Schlömerkemper and Zanini [17] for one-dimensional chains of atoms with Lennard-Jones interactions between nearest-neighbours. Our paper can also be seen as a first step in the analysis of chirality transitions in more complicated physical systems like as chiral liquid crystals. A discrete-to-continuum analysis via \(\varGamma\)-convergence of some problems in liquid crystals has been recently treated, e.g., by Braides, Cicalese and Solombrino [8], but this promising research field is still largely unexplored.
We consider the so-called F-AF spin chain model, where the state of the system is described by an \(S^{1}\)-valued spin variable \(u=(u^{i})\) parameterized over the points of the set \(\frac{1}{n}\mathbb{Z}\cap[0,1]\), \(n\in\mathbb{N}\). The energy of a given state of the system is
with periodic boundary conditions \((u^{0},u^{1})=(u^{n},u^{n+1})\), where \(\alpha\geq0\) is the frustration parameter, \((\cdot,\cdot)\) denotes the scalar product between vectors in \(\mathbb{R}^{2}\) and \(m_{\alpha}\) are constants depending on \(\alpha\) (see (2.5) for the precise definition).
The first term of the energy (1.1) is ferromagnetic and favours the alignment of NN spins, while the second, being antiferromagnetic, frustrates it as it favours antipodal NNN spins. Consequently, the frustration of the system depends on the parameter \(\alpha\). In order to characterize the ground states of this system and their dependence on the value of \(\alpha\), we first associate to each pair of nearest neighbours \(u^{i},u^{i+1}\) the corresponding oriented central angle \(\theta^{i}\in[-\pi,\pi)\). Then, by the periodicity assumption, we may reread the energies in terms of this scalar variable as
and follow the approach by Braides and Cicalese [5] for lattice systems of the form (1.2). Indeed, by “minimizing out” for each fixed \(i\) the nearest neighbours interactions, we are led to the definition of the effective potential \(W_{\alpha}\) (Eq. (2.9)) such that
where \(W_{\alpha}\) is convex with minimum at \(\theta=\theta_{\alpha }=0\) if \(\alpha\geq4\), while it is a double-well potential with wells at \(\theta=\pm\theta_{\alpha}\) if \(0\leq\alpha\leq4\) (see Fig. 2). Since the inequality in (1.3) is strict if \(\theta^{i}\neq\theta^{i+1}\) or \(\theta^{i}\neq\pm\theta_{\alpha}\), we deduce that if \(\alpha \geq4\) the nearest neighbours prefer to stay aligned (ferromagnetic order); if \(0\leq\alpha\leq4\), instead, the minimal configurations of \(E_{n}^{\alpha}\) are \(\theta^{i}=\theta^{i+1}\in\{\pm \theta_{\alpha}\}\); that is, the angle between pairs of nearest neighbours \(u^{i},u^{i+1}\) and \(u^{i+1},u^{i+2}\) is constant and depending on the particular value of \(\alpha\) (helimagnetic order). The two possible choices for \(\theta_{\alpha}\) (a degeneracy known in literature as chirality symmetry) correspond to either clockwise or counterclockwise spin rotations, or, equivalently, to a positive or a negative chirality (see Fig. 1).
The asymptotic behaviour of the energies \(E_{n}^{\alpha}\) as \(n\to\infty\) and for fixed \(\alpha\) (Theorem 3.1) reflects such different regimes for the ground states. If \(\alpha\geq4\) the limit is trivially finite (and equal to zero) only on the constant function \(\theta\equiv0\), while if \(0\leq\alpha<4\) it is finite on functions with bounded variation taking only the two values \(\{\pm\theta_{\alpha}\}\) and it counts the number of chirality transitions. More precisely,
where \(S(\theta)\) is the jump set of function \(\theta\) and \(C_{\alpha}=C(\alpha)\) is the cost of each chirality transition. The value \(C_{\alpha}\) (see Sect. 3.1) represents the energy of an interface which is obtained by means of a ‘discrete optimal-profile problem’ connecting the two constant (minimal) states \(\pm\theta_{\alpha}\). It is continuous as a function of \(\alpha\) on the interval \([0,4)\) (as shown by Proposition 3.2) and can be defined to be equal to 0 for \(\alpha\geq4\). Moreover, \(C_{\alpha }\to0\) as \(\alpha\to4\) and (compare with [14] and Remark 4.1)
In a recent paper [9], Cicalese and Solombrino investigated the asymptotic behaviour of this system close to the ferromagnet/helimagnet transition point; that is, they found the correct scaling (heuristically suggested by (1.4)) to detect the symmetry breaking and to compute the asymptotic behaviour of the scaled energy describing this phenomenon as \(\alpha\) is close to 4. They let the parameter \(\alpha\) depend on \(n\) and be close to 4 from below; i.e., they rewrite the energies (1.2) in terms of \(4-\alpha_{n}\), with \(4-\alpha_{n}\to0\) as \(n\to\infty\).
We state their result in a slight different form, useful for the sequel. More precisely, we prove in Theorem 4.1 that an analogous result can be obtained if we choose as order parameter the “flat” angular variable
which is equivalent to the variable considered in [9] in the regime of small angles. We compute the \(\varGamma\)-limit \(F^{0}\) as \(n\to\infty\), \(\alpha=\alpha_{n}\to4\) with respect to the strong \(L^{1}\)-topology of the scaled energies
and show that, within this scaling, several regimes are possible depending on the value
Namely, if \(l=0\) then \(F^{0}(v)=\frac{8}{3}\#(S(v)),v\in BV(I,\{ \pm1\})\), if \(l=+\infty\) then \(F^{0}\) is finite (and equal to zero) only on constant functions, while in the intermediate case \(l\in(0,+ \infty)\) we get
where \(I=(0,1)\), \(BV(I,\{\pm1\})\) is the space of functions of bounded variation defined on \(I\) and taking the values \(\{\pm1\}\), and \(W^{1,2}_{|per|}(I)=\{v\in W^{1,2}(I):\, |v(0)|=|v(1)|\}\).
Motivated by the particular form of this result and in the spirit of Braides and Truskinovsky[7], with Theorem 5.2 we find a variational link between such energies (seen as a ‘parametrized’ family of functionals) and the gradient theory of phase transitions, in the framework of the equivalence by \(\varGamma\)-convergence. Roughly speaking, two families of functionals are equivalent by \(\varGamma\)-convergence if they have the same \(\varGamma\)-limit (see Definition 5.1 and the subsequent ones for the rigorous definitions useful in this framework). More precisely, we show the uniform equivalence by \(\varGamma\)-convergence on \([0,4]\) of the energies \(F^{\alpha }_{n}(v)\) defined in (1.5) with the “Modica-Mortola type” functionals given by
where \(\lambda_{n,\alpha}=2n\theta_{\alpha}^{4}\) and \(M_{\alpha}=3C _{\alpha}/8\).
The value \(\alpha_{0}=4\) is a singular point, since the \(\varGamma\)-limit of \(G_{n}^{\alpha}\) will depend on choice of the particular sequence \(\alpha_{n}\to\alpha_{0}^{-}=4^{-}\). Each \(\alpha_{0}\in[0,4)\), instead, is a regular point; i.e., it is not singular. As a consequence of Theorem 5.2, we deduce (see Corollary 5.1) the uniform equivalence of the energies \(E^{\alpha}_{n}(\theta)\) for \(\alpha\in[0,4)\) with the family
whose potentials \(\mathcal{W}_{\alpha}(\theta):=(\theta^{2}-{\theta ^{2}_{\alpha}})^{2}\) have the wells located at the minimal angles \(\theta=\pm\theta_{\alpha}\).
As a final remark, we would like to observe that our result can be useful also to analyze more general problems of interest for the applied community. For instance, a natural extension would be the case of \(S^{2}\)-valued spins, that has been recently investigated by Cicalese, Ruf and Solombrino [10] in the vicinity of the transition point. In that paper, the authors modify the energies penalizing the distance of the \(S^{2}\) field from a finite number of copies of \(S^{1}\) and prove the emergence of non-trivial chirality transitions. However, even in the case of values in \(S^{1}\), the Villain Helical \(XY\)-model studied there could be attacked with our approach, at least in the regime of “strong” ferromagnetic interaction considered therein by the authors.
2 Setting of the Problem
Preliminarily, we fix some notation that will be used throughout. We denote by \(I=(0,1)\) and by \(\lambda_{n}=\frac{1}{n},n\in\mathbb{N}\) a positive parameter. Given \(x\in\mathbb{R}\), we denote by \(\lfloor x \rfloor\) the integer part of \(x\). The symbol \(S^{1}\) stands for the standard unit sphere of \(\mathbb{R}^{2}\). Given a vector \(v\in \mathbb{R}^{2}\) with components \(v_{1}\) and \(v_{2}\) with respect to the canonical basis of \(\mathbb{R}^{2}\), we will use the notation \(v=(v_{1}|v_{2})\). Given two vectors \(v,w\in\mathbb{R}^{2}\) we will denote by \((v,w)\) their scalar product. Here and in the following, \(\mathcal{U}_{n}(I)\) will be the space of the functions \(w:\lambda _{n}\mathbb{Z}\cap[0,1]\to S^{1}\), \(\varTheta_{n}(I)\) the space of the functions \(\varphi:\lambda_{n}\mathbb{Z}\cap[0,1]\to[- \frac{\pi}{2},\frac{\pi}{2}]\) and we use the notation \(w^{i}=w(i \lambda_{n})\), \(\varphi^{i}=\varphi(i\lambda_{n})\); \(\bar{ \mathcal{U}}_{n}(I)\) will denote the subspace of those \(w\in \mathcal{U}_{n}(I)\) satisfying the following periodic boundary condition
Analogously, \(\bar{\varTheta}_{n}(I)\) will denote the subspace of those \(\varphi\in\varTheta_{n}(I)\) such that \(\varphi^{0}=\varphi^{n}\).
We will identify each lattice function \(w\in\bar{\mathcal{U}}_{n}(I)\) with its piecewise-constant interpolation belonging to the class
while the symbol \(\mathcal{D}_{n}(I)\) will denote the analogous space for functions \(\varphi\in\bar{\varTheta}_{n}(I)\).
Given a pair of vectors \(v=(v_{1}|v_{2}), w=(w_{1}|w_{2})\in S^{1}\), we define the function \(\chi[v,w]: S^{1}\times S^{1}\rightarrow\{ \pm1\}\) as
with the convention that \(\text{sign}(0)=-1\), and the corresponding oriented central angle \(\theta\in[-\pi,\pi)\) by
The positivity of the determinant in (2.2) represents the counterclockwise ordering of the vectors \(v\) and \(w\).
2.1 The Model Energies \(E_{n}^{\alpha}\)
We consider the energy of a given state \(u\) of the F-AF spin chain model, defined as
where \(u\in\mathcal{C}_{n}(I)\), \(\alpha\geq0\) and (see [9, Proposition 3.2])
First we note that, thanks to the periodicity assumption (2.1), we can write the energies (2.4) equivalently in the form
Now we associate to each pair of neighbouring spins \(u^{i},u^{i+1}\) the corresponding oriented central angle \(\theta^{i}\) defined as in (2.3), and taking \(\theta^{i}\) as (scalar) order parameter, the energies (2.6) can be rewritten as
where \(\theta\in\mathcal{D}_{n}(I)\).
2.2 Ground States of \(E_{n}^{\alpha}\)
In this section, we focus on the ground states of the energies \(E_{n}^{\alpha}\). We will show the emergence of chiral ground states for \(\alpha\in[0,4]\) by means of a double-minimization technique introduced by Braides and Cicalese in [5] for lattice systems of the form (2.7). Following their approach, for each \(i=0,1,\dots,n-1\) we fix the next-to-nearest neighbour interactions \(\theta^{i}+\theta^{i+1}=2\theta\) and solve the minimum problem
By a direct computation, we find that the unique minimizers in (2.8) for \(\alpha\neq0 \) are \(\theta^{i}=\theta^{i+1}= \theta\) if \(\theta\in(-\pi/2,\pi/2)\), and \(\theta^{i}=\theta^{i+1}= \theta-\pi\) if \(|\theta| \in(\pi/2,\pi)\), while for \(\alpha=0\) we have \(\theta^{i}=\theta^{i+1}=\pm\pi/2\). The following picture shows that, up to a reparametrization, \(\theta\) and \(\theta-\pi\) actually represent the same minimizer.
Without loosing generality we will assume up to the end that \(\theta^{i}=\theta^{i+1}=\theta\in J\), \(J:=[-\pi/2,\pi/2]\) and correspondingly we define the effective potential as
The potential \(W_{\alpha}\) is thus obtained by integrating out the effect of nearest-neighbour interactions optimizing over atomic-scale oscillations, and its properties strongly depend on the value \(\alpha\). Indeed, if \(0\leq\alpha<4\) then \(W_{\alpha}\) is a “double-well” potential, while if \(\alpha\geq4\) the potential is convex (see Fig. 2). Moreover,
We note that by the definition of \(W_{\alpha}\) and (2.8) we get
the inequality being strict if \(\theta^{i}\neq\theta^{i+1}\) or \(\theta^{i}\neq\pm\theta_{\alpha}\). In particular, \(E_{n}^{\alpha }(\theta)\geq0\).
Thus, the minimization procedure leading to the definition of \(W_{\alpha}\) (and then to inequality (2.11)) allows us to deduce some information about the ground states of the energies \(E_{n}^{\alpha}\) from the properties of this potential. More precisely, if \(\alpha\leq4\) the minimal configurations of \(E_{n}^{\alpha}\) are \(\theta^{i}=\theta^{i+1}\in\{\pm\theta_{\alpha}\}\); that is, the angle between pairs of nearest neighbours \(u^{i},u^{i+1}\) and \(u^{i+1},u^{i+2}\) is constant and depending on the particular value of \(\alpha\). If \(\alpha\geq4\), instead, the nearest neighbours prefer to stay aligned (\(-\theta_{\alpha}=+\theta_{\alpha}=0\)).
Let be \(\theta\in\mathcal{D}_{n}(I)\). We may regard the energies \(E_{n}^{\alpha}\) as defined on a subset of \(L^{\infty}(I,J)\) and consider their extension on \(L^{\infty}(I,J)\). With a slight abuse of notation, we set \(E_{n}^{\alpha}: L^{\infty}(I,J)\to[0,+\infty]\) as
3 Limit Behaviour of \(E_{n}^{\alpha}\) with Fixed \(\alpha\)
Our first result is the explicit computation of the \(\varGamma \)-limit, as \(n\to\infty\), of the energies \(E_{n}^{\alpha}\) with fixed \(\alpha\in[0,+\infty)\). As we will show with Theorem 3.1, the asymptotic behaviour of the energies \(E_{n}^{\alpha}\) reflects the different regimes for the ground states outlined in Sect. 2.2. Indeed, the limit is non-trivial only in the helimagnetic regime (\(0\leq\alpha<4\)), representing the energy the system spends on the scale 1 for a finite number of chirality transitions from \(-\theta_{\alpha}\) to \(\theta_{\alpha}\).
3.1 Crease Transition Energies
The cost \(C_{\alpha}\) of each chirality transition can be characterized as the energy of an interface which is obtained by means of a ‘discrete optimal-profile problem’ connecting the two constant (minimal) states \(\pm\theta_{\alpha}\).
Let \(\alpha\in[0,4)\). According to [5, Sect. 2.2], we define the crease transition energy between \(-\theta_{\alpha}\) and \(\theta_{\alpha}\) as
We note that the infinite sums in (3.1) are well defined, since they involve only non negative terms and, actually, for fixed \(N\) they are finite sums, since the summands are 0 for \(i\geq N\) and \(i\leq-N-1\). Moreover, it follows by the definition a useful symmetry property of the crease energy; that is,
Now we prove that the optimal test function in (3.1) is constantly equal to \(\pm\theta_{\alpha}\) only for \(N\to+\infty\), thus relaxing the boundary condition as a condition at infinity in the definition of \(C_{\alpha}\). We notice that an analogous property of crease energies has been showed by Braides and Solci in [6] for a one-dimensional system of Lennard-Jones nearest and next-to-nearest neighbour interactions.
Proposition 3.1
The infimum in (3.1) is obtained for \(N\to\infty\); that is,
Moreover, \(C_{\alpha}>0\).
Proof
Let \(\theta^{i}\) be a test function for the problem (3.3) and denote by \(\widetilde{C}_{\alpha}\) the infimum in (3.3). With fixed \(\eta>0\), let \(N_{\eta}\) be such that \(|\theta^{i}- \text{sign}(i)\theta_{\alpha}|<\eta\) for \(|i|\geq N_{\eta}\), and define
We then have
where
is infinitesimal as \(\eta\to0\). This shows that the value \(C_{\alpha}\) defined in (3.1) is less or equal than \(\widetilde{C}_{\alpha}\). Then we are done, the converse inequality being trivial since any test function for problem (3.1) is a test function for problem (3.3). The estimate \(C_{\alpha}>0\) easily follows from (2.11) and the fact that \(\pm \theta_{\alpha}\) are the unique minimizers of \(W_{\alpha}\). □
Remark 3.1
In the ferromagnetic regime \(\alpha\geq4\), we may define \(C_{\alpha }=0\) consistently with (3.1), where now \(m_{\alpha}=-\alpha +1\). Indeed, being \(\theta_{\alpha}=-\theta_{\alpha}=0\), we can choose \(\theta\equiv0\) as a test function in (3.1), thus obtaining the estimate \(C_{\alpha}\leq0\).
It will be useful in the sequel the following continuity property of \(C_{\alpha}\) with respect to the frustration parameter \(\alpha\).
Proposition 3.2
(Continuity)
The crease energy \(C_{\alpha}\) defined as before is continuous in \([0,4)\); i.e., for any \(\bar{\alpha}\in[0,4)\) and any sequence \(\alpha_{j}\) such that \(0\leq\alpha_{j}<4\), \(\alpha_{j} \to\bar{\alpha}\) it results \(C_{\alpha_{j}}\to C_{\bar{\alpha}}\).
Proof
Let us fix \(\eta>0\) and let \(\alpha,\alpha'\in[0,4)\) be such that if \(|\alpha-\alpha'|<\delta(\eta)\) for a suitable \(\delta(\eta)>0\), then \(|\theta_{\alpha}-\theta_{\alpha'}|<\eta /2\).
From the definition of \(C_{\alpha'}\) as in (3.3), there exists a function \(\theta:\mathbb{Z}\to[-\pi/2,\pi/2]\) such that \(\sum_{i\in\mathbb{Z}}\mathcal{E}^{i,\alpha'}(\theta)< C_{\alpha'}+ \eta\), where we have set
and \(\lim_{i\to\pm\infty}\text{sign}(i)\theta^{i}=\theta_{\alpha'}\). This means that there exist two indices \(h_{1}(\eta), h_{2}(\eta)\in \mathbb{N}\) such that \(|\theta^{i}-\theta_{\alpha'}|<\eta/2\) for every \(i>h_{2}(\eta)\) and \(|\theta^{i}-(-\theta_{\alpha'})|<\eta/2\) for every \(i<-h_{1}(\eta)\).
Setting \(\bar{h}=\bar{h}(\eta):=\max\{h_{1},h_{2}\}\) and \(K_{ \bar{h}}:=\{i\in\mathbb{Z}: |i|\leq\bar{h}\}\), we observe that for every \(i\notin K_{\bar{h}}\) it also holds that \(|\text{sign}(i) \theta^{i}-\theta_{\alpha}|<\eta\).
Now we modify \(\theta\) in order to obtain a test function for the problem defining \(C_{\alpha}\) by setting
We then have
where in the second inequality we used the estimate
Each of the last two terms in (3.6) can be estimated in the same way, so we make an explicit computation only for the latter. We have
Collecting all the previous estimates and inserting them into (3.6) we obtain
Choosing now \(\gamma\geq4\eta\) and \(\alpha\) and \(\alpha'\) such that
we finally obtain \(C_{\alpha}\leq C_{\alpha'}+\gamma\).
If we change the role of \(\alpha\) and \(\alpha'\), we get an analogous estimate for \(C_{\alpha'}\). Hence, we conclude that for every \(\gamma\geq4\eta\), there exists \(\sigma(\gamma,\eta)>0\) such that if \(|\alpha-\alpha'|<\sigma(\gamma,\eta)\) then \(|C_{\alpha}-C _{\alpha'}|\leq\gamma\). Since the choice of \(\eta\) was arbitrary, the assertion immediately follows. □
3.2 Compactness and \(\varGamma\)-Convergence Results
The following compactness result states that sequences \(\theta_{n}\) with equibounded energy \(E_{n}^{\alpha}\) converge to a limit function \(\theta\) which has a finite number of jumps and takes the values \(\{\pm\theta_{\alpha}\}\) almost everywhere if \(0\leq\alpha<4\), while if \(\alpha\geq4\) the limit function is identically 0.
Proposition 3.3
(Compactness)
Let \(E_{n}^{\alpha}: L^{\infty}(I,J)\to[0,+\infty]\) be the energies defined by (2.12). If \(\{\theta_{n}\}\) is a sequence of functions such that
then we have two cases:
-
(i)
if \(0\leq\alpha<4\) there exists a set \(S\subset(0,1)\) with \(\#S<+\infty\) such that, up to subsequences, \(\theta_{n}\) converges to \(\theta\) in \(L^{1}_{loc}((0,1)\backslash S)\), where \(\theta\) is a piecewise constant function and \(\theta(0+)=\theta(1+)\). Moreover, \(\theta(t)\in\{\pm\theta_{\alpha}\}\) for a.e. \(t\in(0,1)\) and \(S(\theta)\subseteq S\);
-
(ii)
if \(\alpha\geq4\) then the limit function \(\theta\) is identically 0.
Proof
(i) We first note that \(-\alpha\cos\theta\geq|p_{\alpha}\theta|- \alpha-1\) for \(\theta\in[-\pi/2,\pi/2]\) and a constant \(p_{\alpha}\) depending on \(\alpha\), so that
from which we deduce that
From the equiboundedness assumption (3.7) there exists a constant \(C>0\) such that
where we have set
Now, if for every fixed \(\eta>0\) we define
then (3.9) implies the existence of a uniform constant \(C(\eta)\) such that
Let \(i\in\{0,1,\dots,n-1\}\) be such that \(i\notin I_{n}(\eta)\); that is,
Let \(\sigma=\sigma(\eta)>0\) be defined such that if
then
As a consequence, if \(i\notin I_{n}(\eta)\) we deduce the existence of \(\theta\in\{\pm\theta_{\alpha}\}\) such that
Hence, up to a finite number of indices \(i\), both \(\theta_{n}^{i}\) and its nearest neighbour \(\theta_{n}^{i+1}\) are close to the same minimal angle \(\pm\theta_{\alpha}\). Namely, there exists a finite number of indices \(0=i_{0}< i_{1}<\cdots<i_{N_{n}}=n-1\) such that for all \(k=1,2,\dots,N_{n}\) we can find \(\theta_{k,n}\in\{\pm\theta_{ \alpha}\}\) satisfying for all \(i\in\{i_{k-1}+1,i_{k-1}+2,\dots,i _{k}-1\}\) the aforementioned closeness property
Now, let \(\{i_{j_{r}}\}\), \(r=1,\dots, M_{n}\) be the maximal subset of \(0=i_{0}< i_{1}<\cdots<i_{N_{n}}=n-1\) defined by the requirement that if \(\theta_{j_{r},n}=\pm\theta_{\alpha}\) then \(\theta_{j_{r+1},n}= \mp\theta_{\alpha}\); this means that \(\{i_{j_{1}},\dots,i_{j_{M _{n}}}\}\subseteq I_{n}(\eta)\). Hence, there exists \(C(\eta)>0\) such that \(\sum_{i=0}^{n-1}\mathcal{E}^{i}_{n}(\theta_{n})\geq C(\eta)M _{n}\) and then \(E_{n}^{\alpha}(\theta_{n})\geq C(\eta)M_{n}\), so that from (3.7) \(M_{n}\) are equibounded. Thus, up to further subsequences, we can assume that \(M_{n}=M\) and that for every \(r=1,\dots,M\), \(t_{i_{j_{r}}}^{n}=\lambda_{n}i_{j_{r}}\to t_{r}\) for some \(t_{r}\in[0,1]\) and \(\theta_{j_{r},n}=\theta_{r}\). Set \(S=\{t_{1},\dots t_{M}\}\) and, for fixed \(\delta>0\), \(S_{\delta}= \bigcup_{r}(t_{r}-\delta,t_{r}+\delta)\). Then, by identifying \(\theta_{n}\) with its piecewise constant interpolation, from (3.12) and for \(n\) large enough we get
The previous estimates, together with (3.8) ensure that \(\{\theta_{n}\}\) is an equicontinuous and equibounded sequence in \((0,1)\backslash S_{\delta}\). Thus, thanks to the arbitrariness of \(\delta\), up to passing to a further subsequence (not relabelled), \(\theta_{n}\) converges in \(L^{\infty}_{loc}((0,1)\backslash S)\) (and in \(L^{1}_{loc}((0,1)\backslash S)\)) to a function \(\theta\) such that \(\theta(t)\in\{\pm\theta_{\alpha}\}\) for a.e. \(t\in(0,1)\). Moreover, \(S(\theta)\subseteq S\). Finally, by the periodicity assumption (2.1), we have \(\theta_{n}^{0}=\theta_{n}^{n}\) from which passing to the limit as \(n\to\infty\) we conclude that \(\theta(0+)=\theta(1+)\).
(ii) The proof of (ii) requires minor changes in the argument above, so we will omit it. □
Now we can state and prove the \(\varGamma\)-convergence result.
Theorem 3.1
-
(i)
Let \(\alpha\in[0,4)\). Then the energies \(E_{n}^{\alpha}\) \(\varGamma\)-converge with respect to the \(L^{1}_{loc} \)-topology to
$$ E^{\alpha}(\theta)= \textstyle\begin{cases} C_{\alpha}\#(S(\theta)\cap[0,1)), & \textit{if }\theta\in PC_{loc}( \mathbb{R}),\ \theta\in\{\pm\theta_{\alpha}\} \\ & \theta\textit{ is 1-periodic} \\ +\infty, & \textit{otherwise} \end{cases} $$(3.13)on \(L^{1}_{loc}(\mathbb{R})\), where \(C_{\alpha}=C(-\theta_{\alpha}, \theta_{\alpha})\) is given by (3.1) and \(PC_{loc}( \mathbb{R})\) denotes the space of locally piecewise constant functions on ℝ.
-
(ii)
Let \(\alpha\in[4,+\infty)\). Then the energies \(E_{n}^{\alpha}\) \(\varGamma\)-converge with respect to the \(L^{1}_{loc}\)-topology to
$$ E^{\alpha}(\theta)= \textstyle\begin{cases} 0, & \textit{if }\theta=0 \\ +\infty, & \textit{otherwise} \end{cases} $$(3.14)on \(L^{1}_{loc}(\mathbb{R})\).
Proof
(i) Liminf inequality. We may assume, without loss of generality, that \(\theta\) is left-continuous at each jump. Let \(\theta_{n}\to \theta\) in \(L^{1}(0,1)\) be such that \(E_{n}^{\alpha}(\theta_{n})<+ \infty\). Then, from Proposition 3.3 there exist \(N\in\mathbb{N}\), \(\bar{\theta}_{1},\dots,\bar{\theta}_{N}\in\{ \pm\theta_{\alpha}\}\) and \(0=s_{0}< s_{1}<\cdots<s_{N}=1\), \(\{s_{j}\}=\{t_{k}\}\) (the set of indices may be different if \(s_{k}=s_{k+1}\) for some \(k\)) such that
For \(l\in\{0,1,\dots,N\}\), let \(\{k_{n}^{l}\}_{n}\) be a sequence of indices such that \(k_{n}^{0}=0\),
and let \(\{h_{n}^{l}\}_{n}\) be another sequence of indices such that \(h_{n}^{0}=0\),
To get the \(\varGamma\)-liminf inequality, we rewrite the energies as follows:
where we have set
\(m_{\alpha}=-\frac{\alpha^{2}}{8}-1\) and
with \(r_{n}>0\) and \(\mathcal{E}^{i}_{n}(\theta_{n})\) as in (3.10). Defining for \(j\in\{1,2,\dots,N-1\}\)
we have that \(\tilde{\theta}_{n}^{i}\) is a test function for the minimum problem defining \(C(\theta(s_{j}-),\theta(s_{j}+))\) as in (3.1), where \(\theta(s_{j}-)=\bar{\theta}_{j}\) and \(\theta(s_{j}+)=\bar{\theta}_{j+1}\).
For \(n\) large enough and any \(\sigma>0\), we then find that each summand in (3.16) can be estimated from below as
where \(\omega:[0,+\infty)\to[0,+\infty)\) is a suitable continuous function, \(\omega(0)=0\). Finally, since for every \(j\in\{1,\dots,N-1 \}\) it holds \(C(\bar{\theta}_{j},\bar{\theta}_{j+1})=C_{\alpha}\) by (3.2), combining (3.18) with (3.16) and passing to the liminf as \(n\to+\infty\) we get the liminf inequality
where the latter equality follows by the arbitrariness of \(\sigma\).
Limsup inequality. Let \(\theta\) be such that \(E^{\alpha}( \theta)<+\infty\). Then there exist \(M\in\mathbb{N}\), \(\bar{\theta }_{1},\dots,\bar{\theta}_{M}\in\{\pm\theta_{\alpha}\}\) and \(0=t_{0}< t_{1}<\cdots<t_{M}=1\) such that \(\#S(\theta)=M-1\) and
Fixed \(\eta>0\), from the definition of \(C(\theta(t_{j}-),\theta(t _{j}+))\) for \(j\in\{1,2,\dots,M-1\}\) we can find functions \(\psi_{j,j+1}:\mathbb{Z}\to[-\pi/2,\pi/2]\), such that
and
where the latter equality follows again by (3.2). Note that in (3.21) we may assume \(N=N_{j}\) independent of \(j\), up to choose \(N=\max_{1\leq j\leq M-1}\{N_{j}\}\).
We define a recovery sequence \(\tilde{\theta}_{n}\) by means of a translation argument involving the functions \(\psi_{j,j+1}\), \(j\in\{1,\dots,M-1\}\), that will allow us to estimate the energy contribution from above with (3.22) in a suitable neighbourhood of each jump point \(t_{j}\). Namely, for every \(j\), we set \(\tilde{\theta}_{n}^{i}=\psi_{j,j+1}^{i-\lfloor t_{j}n\rfloor}\) if \(i\in \{ \lfloor t_{j}n\rfloor-N,\dots,\lfloor t_{j}n\rfloor +N \} \), while if \(i\in\{\lfloor t_{j}n\rfloor+N,\dots,\lfloor t_{j+1}n \rfloor-N\}\), we define \(\tilde{\theta}_{n}^{i}\) to be constantly equal to \(\bar{\theta}_{j+1}\), according to (3.21). This definition can be summarized as follows:
We note that the corresponding \(\tilde{\theta}_{n}\in\mathcal{D} _{n}(I)\) satisfy \(\tilde{\theta}_{n}\to\theta\) in \(L^{\infty}\) and (here we use the simplified notation for the energies as in (3.10))
whence, by the arbitrariness of \(\eta\), we deduce that
Thus, (3.24) shows that the lower bound (3.19) is sharp, and this concludes the proof of (i).
(ii) In this case the proof is immediate. Indeed, for any \(\theta_{n} \to0\), from \(E_{n}^{\alpha}(\theta_{n})\geq0\) we have in particular that
As a recovery sequence, we can choose \(\theta_{n}\equiv0\), for which we obtain \(\lim_{n\to+\infty}E_{n}^{\alpha}(\theta_{n})=0\). □
4 Limit Behaviour Near the Transition Point \(\alpha=4\)
The description of the limit as \(n\to+\infty\) of the energies \(E_{n}^{\alpha}\) with fixed \(\alpha\), carried out in the previous section, has a gap for \(\alpha=4\). Indeed, the crease energy \(C_{\alpha}\) jumps from a strictly positive value (corresponding to \(0\leq\alpha<4\)) to 0 (when \(\alpha\geq4\)). Note also that the explicit value of \(C_{\alpha}\) defined implicitly by (3.1) is not known in literature. This suggests to focus near the transition point \(\alpha=4\), let the parameter \(\alpha\) depend on \(n\) and be close to 4 from below; that is, replace \(\alpha\) by \(4-\alpha_{n}\), \(\alpha_{n}\to4^{-}\).
Such analysis is the main content of a recent paper by Cicalese and Solombrino [9], where they find suitable scaling and order parameter to compute the energy the system spends in a transition between two states with different chirality when \(\alpha\simeq4\). Moreover, they show the dependence of the limit on the particular sequence \(\alpha_{n}\to4^{-}\) and the existence of different regimes. Our aim is to show that their result can be retrieved also correspondingly to a different choice of the order parameter in the energies. First of all, we write the energies (2.12) in terms of \(4-\alpha\) as
and when necessary, we may think also the quantities \(W_{\alpha}\), \(C_{\alpha}\), etc. to be functions of \(4-\alpha\). Note that if we choose as a test function in (3.1) \(\theta^{i,\alpha}= \text{sign}(i)\arccos(\alpha/4)\) then we obtain a first rough estimate
showing in particular that \(C_{\alpha}\to0\) as \(\alpha\to4^{-}\).
The following proposition (compare with [9, Proposition 4.3]) characterizes the angles between neighbours for an equibounded (in energy) sequence of spins as the frustration parameter approaches the critical value from below.
Proposition 4.1
If \(\{\theta_{n}\}\) is a sequence such that
then \(\theta_{n}^{i}\to0\) as \(\alpha_{n}\to4^{-}\) uniformly with respect to \(i\in\{0,1,\dots,n-1\}\).
Proof
The claim follows immediately from the estimate
valid for all \(i\in\{0,1,\dots,n-1\}\). □
We introduce a new order parameter
and reformulate the \(\varGamma\)-convergence result by Cicalese and Solombrino ([9, Theorem 4.2]) in terms of this new variable. However, it is worth noting that the “flat” angular parameter \(v_{n}^{i}\) is equivalent with their variable \(z^{i}_{n}\) in the regime of “small angles”, i.e., as \(\alpha_{n}\to4^{-}\), \(\theta^{i}_{n} \to0\), since in this case
and
The change of variables (4.4) associates to any given \(\theta_{n}\in\mathcal{D}_{n}(I)\) a piecewise-constant function \(v_{n}\in\widetilde{\mathcal{D}}_{n}(I)\) where
with \(v_{n}\) as in (4.4). With a slight abuse of notation, we regard \(E_{n}^{\alpha_{n}}\) as a functional defined on \(v\in L^{1}(I,\mathbb{R})\) by
and correspondingly we define the scaled energies
Theorem 4.1
(Cicalese and Solombrino [9])
Let \(F_{n}^{\alpha _{n}}: L^{1}(I, \mathbb{R})\to[0,+\infty]\) be the functional in (4.6). Assume that there exists \(l:=\lim_{n} \sqrt{2}\lambda_{n}/4(4-\alpha_{n})^{1/2}\). Then \(F^{0}(v):= \varGamma\hbox{-}\lim_{n}F_{n}^{\alpha_{n}}(v)\) with respect to the \(L^{1}(I)\) convergence is given by:
-
(i)
if \(l=0\),
$$ F^{0}(v):= \textstyle\begin{cases} \frac{8}{3}\#(S(v)) & \textit{if }v\in BV(I,\{\pm1\}), \\ +\infty & \textit{otherwise.} \end{cases} $$(4.7) -
(ii)
if \(l\in(0,+\infty)\),
$$ F^{0}(v):= \textstyle\begin{cases} \frac{1}{l}\int_{I} (v^{2}(t)-1 )^{2}\,dt + {l}\int_{I}( \dot{v}(t))^{2}\,dt & \textit{if }v\in W^{1,2}_{|per|}(I), \\ +\infty & \textit{otherwise}, \end{cases} $$(4.8)where we have set \(W^{1,2}_{|per|}(I):=\{v\in W^{1,2}(I):\, |v(0)|=|v(1)| \}\).
-
(iii)
if \(l=+\infty\),
$$ F^{0}(v):= \textstyle\begin{cases} 0 & \textit{if }v=const., \\ +\infty & \textit{otherwise.} \end{cases} $$(4.9)
Proof
In order to simplify the notation, we put \(\varepsilon_{n}:=4-\alpha _{n}\to0\) as \(n\to\infty\). Let \(\{v_{n}\}\) be a sequence in \(\widetilde{\mathcal{D}}_{n}(I)\) such that \(\sup_{n}\frac{E_{n}^{\varepsilon_{n}}(v_{n})}{\varepsilon_{n}^{3/2}} \leq C<\infty\). As remarked before, correspondingly, there exists a sequence \(\{\theta_{n}\}\) in \(\mathcal{D}_{n}(I)\) such that \(\sup_{n}\frac{E_{n}^{\varepsilon_{n}}(\theta_{n})}{\varepsilon_{n} ^{3/2}}\leq C<\infty\), satisfying \(\theta^{i}_{n}\to0\) uniformly with respect to \(i\) by Proposition 4.1.
From the estimates contained in the proof of [9, Theorem 4.2] we get
for some \(\gamma_{n}\to0\). Since \(\sin\theta\simeq\theta\) as \(\theta\to0\), we may improve the estimate obtaining
for suitable \(\gamma'_{n},\gamma''_{n}\to0\). In terms of the new order parameter \(v^{i}_{n}\) defined by (4.4) the previous inequality now reads
where \(\lambda_{n}=\frac{1}{n}\). If we multiply both the sides by \(8/\sqrt{2}{\varepsilon^{3/2}_{n}}\), since \(\frac{\varepsilon_{n}}{2{\theta^{2}_{\varepsilon_{n}}}}\to1\) we get
Since \(\theta_{\varepsilon_{n}}=\arccos(1-\frac{\varepsilon_{n}}{4})\) and \(\theta_{\varepsilon_{n}}\simeq\frac{\sqrt{\varepsilon_{n}}}{ \sqrt{2}}\) as \(\varepsilon_{n}\to0\), we note that \(\frac{8\sqrt{2}{\theta^{4}_{\varepsilon_{n}}}}{\lambda_{n}{\varepsilon^{3/2} _{n}}}\simeq\frac{4\sqrt{\varepsilon_{n}}}{\sqrt{2}\lambda_{n}}\) and \(\frac{\sqrt{2}\theta^{2}_{\varepsilon_{n}}\lambda_{n}}{2{\varepsilon^{3/2}_{n}}} \simeq\frac{\sqrt{2}\lambda_{n}}{4\sqrt{\varepsilon_{n}}}\) as \(n\to\infty\). Thus, we finally get
for suitable \(\widetilde{\gamma}'_{n}, \widetilde{\gamma}''_{n} \to0\). The estimate (4.10) implies the liminf inequality both in case (i) and (ii) as remarked in [9], and the limsup inequality can be obtained in both cases by the constructive argument contained therein, so we will omit the proof. □
Remark 4.1
(Asymptotic Behaviour of \(C_{\alpha}\))
As remarked before, \(C_{\alpha}\to0\) as \(\alpha\to4^{-}\). However, we may use Theorem 4.1(i) to refine this estimate and determine the right order of \(C_{\alpha_{n}}\) with respect to \(4-\alpha_{n}\) as \(\alpha_{n}\to4\).
In the regime \(\lambda_{n}\ll (4-\alpha_{n})^{1/2}\) we can compute the limit of energies \(F_{n}^{\alpha_{n}}(v)\) first as \(n\to\infty\) while keeping \(\alpha_{n}\equiv\alpha_{0}\neq4\) fixed, and then the limit as \(\alpha_{0}\to4^{-}\). Thanks to Theorem 3.1 and the continuity result ensured by Proposition 3.2, we obtain
whence, by means of Theorem 4.1(i), we get
The convergence of minimum problems as \(\alpha\to4^{-}\) finally gives
Thus, near the ferromagnet-helimagnet transition point, the energy \(C_{\alpha}\) coincides with the energy \(E_{dw}\propto(4-\alpha)^{3/2}\) for the excitation of a chiral domain wall separating two domains of opposite chirality, which is a well-known universal low-temperature property of frustrated classical spin chains (see, e.g., Dmitriev and Krivnov [14]).
5 A Link with the Gradient Theory of Phase Transitions
In this section we show that the variational asymptotic behaviour of the energies \(F_{n}^{\alpha}\) for any \(\alpha\in[0,4]\), both in the case of fixed \(\alpha\) (Theorem 3.1) and in the case \(\alpha\simeq4\) (Theorem 4.1), is the same as that of a parametrized family of Modica-Mortola type functionals, thus providing an interesting connection between frustrated lattice spin systems and the gradient theory of phase transitions (see also [5, Sect. 6]).
In order to do that in the framework of the equivalence by \(\varGamma\)-convergence, we recall some definitions about \(\varGamma\)-equivalence for families of parametrized functionals, uniform equivalence, regular and singular points, as introduced by Braides and Truskinovsky [7].
Definition 5.1
(\(\varGamma\)-Equivalence)
Let \(\mathcal{A}\) be a set of parameters. Two families of parametrized functionals \(F_{n}^{\alpha}\) and \(G_{n}^{\alpha}\) are equivalent at scale 1 at \(\alpha_{0}\in\mathcal{A}\) if \(F_{n}^{\alpha_{0}}\) and \(G_{n}^{\alpha_{0}}\) are equivalent at scale 1, i.e.,
and these \(\varGamma\)-limits are non-trivial.
Definition 5.2
(Uniform \(\varGamma\)-Equivalence)
Let \(\mathcal{A}\) be a set of parameters. Two families of parametrized functionals \(F_{n}^{\alpha}\) and \(G_{n}^{\alpha}\) are uniformly equivalent at scale 1 at \(\alpha_{0}\in{\mathcal{A}}\) if for all \(\alpha_{n}\to\alpha_{0}\) we have, up to subsequences,
and these \(\varGamma\)-limits are non-trivial. They are uniformly equivalent on \(\mathcal{A}\) if they are uniformly equivalent at all \(\alpha_{0}\in\mathcal{A}\).
Definition 5.3
(Regular Point)
\(\alpha_{0}\in\mathcal{A}\) is a regular point if for all \(\alpha_{n}\to\alpha_{0}\) we have, up to a subsequence,
Definition 5.4
(Singular Point)
\(\alpha_{0}\in\mathcal{A}\) is a singular point if it is not regular; that is, if there exist \(\alpha'_{n}\to\alpha_{0}\), \(\alpha''_{n}\to\alpha_{0}\) such that (up to subsequences)
According to the previous definitions, each \(0\leq\alpha_{0}<4\) is a regular point for \(F_{n}^{\alpha}\), since, as already observed in Remark 4.1, for any sequence \(\alpha_{n}\to\alpha_{0}\), we have
As a consequence of Theorem 4.1, instead, \(\alpha_{0}=4\) is a singular point for \(F_{n}^{\alpha}\).
The behaviour of the system close to the transition point \(\alpha=4\) can be pictured in the \(\frac{1}{n}\hbox{--}\alpha\) plane (see Fig. 3), where the crossover line \(\frac{1}{n}=(4-\alpha )^{1/2}\) separates a zone where there is helimagnetic order (\(\frac{1}{n}\ll(4-\alpha)^{1/2}\)) from one where we have ferromagnetic order (\(\frac{1}{n}\gg(4-\alpha)^{1/2}\)).
For our purposes, it is useful to recall the well known \(\varGamma \)-convergence result in gradient theory of phase transitions due to Modica and Mortola [16]. Let \(\varOmega\subset\mathbb{R}\) be an open set, \(u:\varOmega\to\mathbb{R}\) and \(W=W(u)\) a non-convex energy such that \(W\geq0\), \(W(u)\geq c(u^{2}-1)\) and \(W=0\) if and only if \(u=a,b\). \(W\) is called a double-well potential. Let \(C>0\) and consider the energies
Theorem 5.1
(Modica-Mortola’s Theorem)
The functionals \(F_{n}\) above \(\varGamma\)-converge as \(n\to\infty\) and with respect to the \(L^{1}(\varOmega)\) convergence to the functional
where \(c_{W}:=2\int_{a}^{b}\sqrt{W(s)}\,ds\).
The following theorem states the announced uniform equivalence by \(\varGamma\)-convergence of the energies \(F_{n}^{\alpha}\) with parametrized Modica-Mortola type functionals.
Theorem 5.2
Setting \(\lambda_{n,\alpha}:=2n{\theta^{4}_{\alpha}}\), \(M_{\alpha}:=3C _{\alpha}/8\), \(\mu_{\alpha}:=\frac{\sqrt{2}(4-\alpha)^{3/2}}{8}\), the energies
and \(F_{n}^{\alpha}(v):=\frac{1}{\mu_{\alpha}} E_{n}^{\alpha}(v)\) are uniformly equivalent by \(\varGamma\)-convergence on \([0,4]\). Moreover,
-
(i)
each \(\alpha_{0}\in[0,4)\) is a regular point;
-
(ii)
\(\alpha_{0}=4\) is a singular point.
Proof
As before, we put \(\varepsilon_{n}:=4-\alpha_{n}\), so that \(\varepsilon_{n}\geq0\).
(i) Let \(\varepsilon_{n}\to\varepsilon_{0}\neq0\) and \(\{v_{n}\}\) be a sequence with equibounded energy. Correspondingly, by (4.4) we may find a sequence \(\{\theta_{n}\}\) such that \(v_{n}=\theta_{n}/\theta_{\varepsilon_{n}}\). The continuity of the energies \(G_{n}^{\varepsilon}\) with respect to the parameter \(\varepsilon=\varepsilon_{n}\), ensured also by Proposition 3.2, allows us to consider, without loss of generality, the energies
where \(v=\theta/\theta_{\varepsilon_{0}}\). After simplifying the constants, we may rewrite the energies in terms of \(\theta\) as
In order to compute the \(\varGamma\)-limit as \(n\to\infty\) of the energies \(G_{n}^{\varepsilon_{0}}\), we may apply the \(\varGamma \)-convergence result by Modica and Mortola (Theorem 5.1), thus obtaining
since
This result coincides with (4.11), once we remark that \(\#(S(v))=\#(S(\theta))\).
(ii) Let \(\varepsilon_{n}\to0\) and \(v\in W^{1,2}_{loc}(\mathbb{R})\). The estimates contained in the proof of Theorem 4.1 and Eq. (4.13) allow us to rewrite the functional \(G^{\varepsilon_{n}}_{n}\) as
for suitable sequences \(\eta_{n},\eta'_{n}\to0\). In order to simplify the notation, we put
and we write
We distinguish between three cases:
-
(a)
\(K_{n}\to0\). In this case, we apply again Theorem 5.1 (with \(C=1\)), thus obtaining
$$ G^{0}(v):= \varGamma\hbox{-} {\lim_{n\to+\infty}}G_{n}^{\varepsilon_{n}}(v)= \frac{8}{3}\#\bigl(S(v)\bigr), $$(5.7)since \(c_{W}=2\int_{-1}^{1}|v^{2}-1|\,dv=\frac{8}{3}\).
-
(b)
\(K_{n}\to l\in(0,+\infty)\). A sequence \(v_{n}\) with equibounded energy is weakly compact in \(W^{1,2}_{|per|}(I)\), then by lower semicontinuity in \(W^{1,2}_{|per|}(I)\) we get
$$ \liminf_{n}G_{n}^{\varepsilon_{n}}(v_{n}) \geq \frac{1}{l} \int_{I} \bigl(v^{2}-1 \bigr)^{2}\,dt +l \int_{I}(\dot{v})^{2} \,dt. $$In order to obtain the limsup inequality, we can argue by density considering \(v_{n}\in W^{1,2}_{|per|}(I)\cap C^{\infty}(\overline{I})\), \(v_{n}\to v\) such that
$$ \lim_{n}G_{n}^{\varepsilon_{n}}(v_{n})= \frac{1}{l} \int_{I} \bigl(v^{2}-1 \bigr)^{2}\,dt +l \int_{I}(\dot{v})^{2} \,dt. $$ -
(c)
\(K_{n}\to+\infty\). Let \(v\) be a constant function, and consider the constant sequence \(v_{n}\equiv v\). Trivially,
$$ \liminf_{n} G_{n}^{\varepsilon_{n}}(v_{n})= \liminf_{n} \biggl( \frac{1}{K_{n}}(1+ \eta_{n}) \int_{I} \bigl(v^{2}_{n}-1 \bigr)^{2}\,dt \biggr)\geq0, $$and
$$ \lim_{n} G_{n}^{\varepsilon_{n}}(v_{n})=0. $$
□
The proof of point (i) of Theorem 5.2 permits us to deduce an equivalence result also for the energies \(E_{n}^{\alpha}(\theta)\) defined in (2.12) with Modica Mortola type functionals whose potentials \(\mathcal{W}_{\alpha}(\theta):=(\theta^{2}-{\theta^{2} _{\alpha}})^{2}\) have the wells located at the minimal angles \(\theta=\pm\theta_{\alpha}\). It can be stated as follows.
Corollary 5.1
Let \(\alpha\) be a positive number, \(\alpha\in[0,4)\). The energies \(E_{n}^{\alpha}(\theta)\) and the family of functionals \(H_{n}^{ \alpha}(\theta)\) defined on \(L^{1}_{loc}(\mathbb{R})\) as
are uniformly equivalent by \(\varGamma\)-convergence on \([0,4)\).
References
Bahr, C., Kitzerow, H.S.: Chirality in Liquid Crystals. Springer, New York (2001)
Braides, A.: \(\varGamma \)-Convergence for Beginners. Oxford University Press, Oxford (2002)
Braides, A.: A handbook of \(\varGamma \)-convergence. In: Chipot, M., Quittner, P. (eds.) Handbook of Differential Equations. Stationary Partial Differential Equations. vol. 3. Elsevier, Amsterdam (2006)
Braides, A.: Local Minimization, Variational Evolution and \(\varGamma \)-Convergence. Lecture Notes in Mathematics, vol. 2094. Springer, Berlin (2014)
Braides, A., Cicalese, M.: Surface energies in nonconvex discrete systems. Math. Models Methods Appl. Sci. 17, 985–1037 (2007)
Braides, A., Solci, M.: Asymptotic analysis of Lennard-Jones systems beyond the nearest-neighbour setting: a one-dimensional prototypical case. Math. Mech. Solids 21, 915–930 (2016)
Braides, A., Truskinovsky, L.: Asymptotic expansions by \(\varGamma \)-convergence. Contin. Mech. Thermodyn. 20, 21–62 (2008)
Braides, A., Cicalese, M., Solombrino, F.: Q-Tensor continuum energies as limits of head-to-tail symmetric spin systems. SIAM J. Math. Anal. 47(4), 2832–2867 (2015)
Cicalese, M., Solombrino, F.: Frustrated ferromagnetic spin chains: a variational approach to chirality transitions. J. Nonlinear Sci. 25, 291–313 (2015)
Cicalese, M., Ruf, M., Solombrino, F.: Chirality transitions in frustrated \(S^{2}\)-valued spin systems. Math. Models Methods Appl. Sci. 26, 1481–1529 (2016)
Dal Maso, G.: An Introduction to \(\varGamma \)-Convergence. Progress in Nonlinear Differential Equations and Their Applications, vol. 8. Birkäuser Boston, Boston (1993)
Diep, H.T.: Frustrated Spin Systems. World Scientific, Singapore (2005)
Dierking, I.: Chiral liquid crystals: structures, phases, effects. Symmetry 6, 444–472 (2014)
Dmitriev, D.V., Krivnov, V.Y.: Universal low-temperature properties of frustrated classical spin chain near the ferromagnet-helimagnet transition point. Eur. Phys. J. B 82(2), 123–131 (2011)
Kamien, R.D., Selinger, J.V.: Order and frustration in chiral liquid crystals. J. Phys. Condens. Matter 13, R1 (2001)
Modica, L., Mortola, S.: Un esempio di \(\varGamma \)-convergenza. Boll. Unione Mat. Ital., B (5) 14(1), 285–299 (1977)
Scardia, L., Schlömerkemper, A., Zanini, C.: Towards uniformly \(\varGamma \)-equivalent theories for nonconvex discrete systems. Discrete Contin. Dyn. Syst., Ser. B 17(2), 661–686 (2011)
Truskinovsky, L.: Fracture as a phase transition. In: Contemporary Research in the Mechanics and Mathematics of Materials, pp. 322–332. CIMNE, Barcelona (1996)
Acknowledgements
We are grateful to Andrea Braides for suggesting this problem, and we would like to thank him for his advices and many fruitful discussions. We also thank Marco Cicalese, Francesco Solombrino and Leonard Kreutz for some interesting remarks leading to improve the manuscript. The first author gratefully acknowledges the hospitality of the Department of Mathematics, University of Rome “Tor Vergata”, where a substantial part of this work has been carried out, and the financial support of PRIN 2010, project “Discrete and continuum variational methods for solid and liquid crystals”.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Scilla, G., Vallocchia, V. Chirality Transitions in Frustrated Ferromagnetic Spin Chains: A Link with the Gradient Theory of Phase Transitions. J Elast 132, 271–293 (2018). https://doi.org/10.1007/s10659-017-9668-8
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10659-017-9668-8