Integrable motion of curves associated with the Fokas-Lenells equation and related spin system


Abstract

In this article, we study the gauge equivalence between the integrable Fokas-Lenells equation (FLE) and an associated spin equation through a gauge transformation and the zero curvature condition. We also construct the Lax pair for the generalized spin equation to confirm its integrability. Further, by mapping a generalized spin system on a moving space curve in \(\mathbb{R}^{3}\), we show its geometrical equivalence with the FLE. In particular, the associated evolution equations for the curvature and torsion of the space curve are shown to be equivalent to the FLE through a complicated complex transformation unlike the case of the well known Heisenberg spin equation and the nonlinear Schrödinger equation.

Fokas-Lenells equation, gauge equivalence, integrable spin system, Lax pairs, space curve formalism, integrable motion of curves

1 Introduction↩︎

The study of nonlinear integrable systems is a very fascinating area of research due to the mathematical elegance and physical applications. In general, these nonlinear integrable systems possess interesting mathematical structures such as symmetries, conserved quantities, Lax pairs and bi-Hamiltonian structures. In particular the systems admitting soliton solutions, in areas such as nonlinear optics, Bose-Einstein condensation, etc., have attracted a large number of researchers in these fields over the past few decades. From the vast sea of integrable nonlinear evolution equations, one of the most well known equations is the nonlinear Schrödinger equation (NLSE) \[\begin{align} \label{eq:nlse} i u_t+\gamma u_{xx}+\rho |u|^2 u=0, \end{align}\tag{1}\] which is used as the standard model for pulse propagation in fiber optics. Here, \(\gamma\), and \(\rho\) are real constants and \(u\) is the complex-valued function of \(x\) and \(t\). Eq. (1 ) is completely integrable and can be linearized by the inverse scattering transform technique[1]. Solutions arising from system (1 ) are particularly interesting because of their potential to be used as carriers in long distance communication through optical fibers. However, the NLSE in (1 ) can only describe the propagation of pulses up to the first order nonlinear effect, the so called Kerr effect.

To address this issue, more than a decade ago, Fokas and Lenells proposed a more general version of Eq. (1 ) when certain higher order nonlinear effects are considered, namely self-steepening, Raman-scattering and third order dispersion. The resultant equation is the following one named as the Fokas-Lenells equation, \[\begin{align} \label{eq:fle} iu_t-\nu u_{tx}+\gamma u_{xx}+\rho|u|^2(u+i\nu u_x)=0, \end{align}\tag{2}\] which was deduced in Ref. [2] by means of the bi-Hamiltonian framework. We note here that Eq. (2 ) and Eq. (1 ) are related to each other in the same way that the Camassa-Holm equation is related to the Korteweg de-Vries equation from the bi-Hamiltonian perspective. One can see that Eq. (2 ) reduces to Eq. (1 ) when \(\nu=0\). Further, under an appropriate transformation \(u\rightarrow e^{ix}u\) and \(\nu=\gamma=\sigma=1\), Eq. (2 ) gets converted to \[\begin{align} \label{eq:fle2} u_{tx}+u-2iu_x-u_{xx}-i|u|^2 u_x=0, \end{align}\tag{3}\] which is integrable in the present form and admits a Lax pair[3]. The model (2 ) was derived by A. S. Fokas in Ref. [2], developed by Lenells in [4] and its physical foundation was discussed in [5]. An expression for the one-soliton solution of (2 ) was obtained by the Riemann-Hilbert approach in [3]. Additionally, through the Hirota bilinear method the authors in [6] obtained the soliton solutions, and the rogue wave solution through the Darboux transformation was obtained in Ref. [7].
It is worth noting that the FLE in Eq. (2 ) is also equivalent to a very different form under a gauge transformation followed by a change of variables introduced in [5]. Upon the transformation \(u\rightarrow\sqrt{\frac{a}{|\rho|}}b e^{i(bx+2abt)}u\), \(\xi=2(x+at)\), \(\tau=\frac{-ab^2t}{2}\), \(a=\gamma/\nu>0\), and \(b=1/\nu\), Eq. (2 ) transforms into another integrable form given as \[\begin{align} \label{eq:fle3} u_{\tau\xi}=u-2i\sigma|u|^2u_\xi, \quad \quad \sigma=\pm 1. \end{align}\tag{4}\] From the viewpoint of the spectral problem, Eq. (2 ) belongs to the derivative NLSE hierarchy that is related to the Kaup-Newell (KN) spectral problem. The form of FLE in (4 ) is also well studied in the context of soliton solutions. The \(N\)-soliton solution through the Hirota bilinear method is investigated in Refs. [8][13] and through the inverse scattering transform method is studied in [14]. Also, the breather and rogue wave solutions of the Eq. (4 ) are studied in [15] using the KP hierarchy reduction method. Its perturbation theory through the inverse scattering technique was discussed in [16]. To avoid any confusion and to analyse the above equations systematically, hereafter in this manuscript we rename Eq. (4 ) as type-I FLE and Eq. (3 ) as type-II FLE.

The above type of integrable nonlinear evolution equations in (1+1) and (2+1) dimensions have interesting geometrical connections with integrable moving space curves and surfaces [17], [18]. Such a geometrical connection between the Heisenberg spin system and the NLSE has been effectively demonstrated in [19], [20]. Here the geometric relation between the evolution of the curvature and torsion of the moving curve associated with the spin chain mapped onto the NLSE through a complex transformation, is established. The same geometrical connection has been systematically demonstrated in an entirely different way, namely the gauge equivalence method [21], [22]. In this procedure, the Lax pairs of the integrable nonlinear evolution equations and the corresponding integrable spin system are connected through a gauge transformation and the zero curvature equation.

Over the time, these two formalisms have been widely used to understand the integrability property of the nonlinear evolution equations. It is worth noting here that the connection between the Landau-Lifshitz equation and the higher-order nonlinear systems has been studied using gauge equivalence procedure in [23]. Also, such connections between the next order corrected Heisenberg spin equation and the fourth order Lakshmanan-Porsezian-Daniel equation (LPDE) [24] as well as the generalized spin equation and the derivative NLSE (DNLSE) [25], have been established in a similar fashion. However, to the best of our knowledge, the geometrical connection for the nonlinear evolution equations having mixed space and time derivatives has not been properly addressed in the scientific literature. To address this issue, in this paper we study the geometrical connection among the type-I and type-II FLEs and the associated spin problems.

This paper is organized as follows. In Sec. 2, we study the gauge equivalence between type-I and type-II FLEs and derive the associated spin systems. As a consequence, from the Lax pairs of the type-I and type-II FLEs, we construct the Lax pairs of the corresponding spin equations, which in turn provide the signature of the integrability of the spin problems. In Sec. 3, we investigate the above mentioned geometrical connection via the so called space curve mapping formalism and suggest the suitable modification in the usual complex transformation is used to exactly map the time evolution of the curvature and torsion equations of space curves to the respective integrable nonlinear evolution equations. Finally, we briefly conclude our main results in Sec. 4.

2 Gauge equivalence of the Fokas-Lenells system↩︎

In this section, we introduce the concept of gauge equivalence for both types of FLEs given by Eqs. (3 ) and (4 ) and show an interesting connection between the considered types of FLE and the generalized Landau-Lifshitz type spin equations. In doing so, we recall that to characterize the integrable evolution of a nonlinear system, one has to typically introduce a pair of associated linear operators, commonly referred to as a Lax pair. The key idea is that the mutual compatibility of these operators governs the dynamics of the nonlinear equation and guarantees its integrability. In particular, the underlying beauty is that upon inserting the Lax pair associated with the nonlinear equation into the compatibility condition also known as the zero curvature equation, it reproduces the original nonlinear system. For instance, we may consider a Lax pair for the system, written in the following compact form: \[\label{linearsystem} \Psi_x = U_i\,\Psi, \qquad \Psi_t = V_i\,\Psi,\tag{5}\] where \(U_i\) and \(V_i\) are matrix-valued functions depending on the field \(u(x,t)\), its derivatives, the space–time variables, and a spectral parameter \(\lambda\). The compatibility condition \(\Psi_{xt} = \Psi_{tx}\) leads to \[U_{it} - V_{ix} + [U_i, V_i] = 0, \label{eq:zero-curvature}\tag{6}\] which encodes the nonlinear evolution equation satisfied by \(u(x,t)\). Eq. (6 ) is the zero curvature equation as discussed earlier.
Let \(G\) denote a Lie group associated with the algebra to which \(U_i\) and \(V_i\) belong. A gauge transformation by an element \(g(x,t;\lambda_0)\in G\), defined for a fixed spectral parameter \(\lambda_0\), acts on the Jost function as \[\Phi(x,t;\lambda,\lambda_0) = g^{-1}(x,t;\lambda_0)\Psi(x,t;\lambda), \label{eq:gauge}\tag{7}\] where the matrix \(g(x,t;\lambda_0)\) is, \[\begin{align} g(x,t,\lambda_0)=\Psi(x,t,\lambda)|_{\lambda=\lambda_0}. \end{align}\] Now, two integrable systems are said to be gauge equivalent if the Lax pair \((U_i,V_i)\) is converted to a new pair \((U_i',V_i')\) through a \(\lambda\) independent gauge transformation such as \[U_i' = g^{-1}U_i g - g^{-1}g_x, \qquad V_i' = g^{-1}V_i g - g^{-1}g_t, \label{eq:gauge-transform}\tag{8}\] and the transformed system satisfies \[\Phi_x = U_i'\Phi, \qquad \Phi_t = V_i'\Phi.\] Requiring the consistency of these two relations gives rise to the gauge-transformed compatibility condition \[U_i'{_t} - V_i'{_x} + [U_i',V_i'] = g^{-1}\Big( U_{it} - V_{ix} + [U_i,V_i] - (U_{i0t} - V_{i0x} + [U_{i0},V_{i0}]) \Big) g = 0, \label{eq:gauge-zero-curvature}\tag{9}\] where \(U_{i0} = U_i|_{\lambda=\lambda_0}\) and \(V_{i0} = V_i|_{\lambda=\lambda_0}\). Hence, the new pair \((U_i',V_i')\) generates another nonlinear evolution equation that is gauge equivalent to the original one. Subsequently, to express the transformed nonlinear evolution equation in terms of the spin field \(``S"\), we introduce, \[S = g^{-1} \sigma_3 g; \quad S^2=I, \label{eq:spinfield}\tag{10}\] with \(\sigma_3\) denoting the diagonal Pauli matrix. Then through straightforward differentiation one obtains, \[S_x = g^{-1}[\sigma_3, U_0]g, \qquad S_t = g^{-1}[\sigma_3, V_0]g. \label{eq:spin-evolution}\tag{11}\] These identities form the basis for constructing explicit Landau–Lifshitz–type spin equations that are dynamically equivalent to the FLE equations.

2.1 Type-I Fokas-Lenells equation↩︎

The type-I FLE also known as the Fokas-Lenells derivative nonlinear Schrödinger equation (DNLSE) [8] is the first negative hierarchy of the DNLSE and is written as \[\begin{align} u_{xt}-u+2i|u|^2u_x=0. \label{eq:FLE2} \end{align}\tag{12}\] The Lax pair associated with system (12 ) as described by Eq. (5 ) is \[\begin{align} \tag{13} U_1=&\frac{-i\lambda^2}{2}\sigma_3+\lambda u_x,\\ \tag{14} V_1=&\frac{i}{2\lambda^2}\sigma_3 -\frac{i}{\lambda}\sigma_3u+i\sigma_3 u^2. \end{align}\] The gauge transformation given by Eq. (7 ) changes the Lax pair in Eqs. (13 )-(14 ) to the new form in Eq. (8 ) as \[\begin{align} \tag{15} U_1'=& \frac{i}{2}(\lambda_0^2-\lambda^2)g^{-1}\sigma_3g+(\lambda-\lambda_0)g^{-1}u_xg,\\ \tag{16} V_1'=& \frac{i}{2}(\frac{1}{\lambda^2}-\frac{1}{\lambda_0^2})g^{-1}\sigma_3 g-i(\frac{1}{\lambda}-\frac{1}{\lambda_0})g^{-1}\sigma_3ug. \end{align}\] Now, after following the steps in accordance with Eqs. (10 )-(11 ), we obtain the following relations in terms of the spin field \(S = g^{-1} \sigma_3 g, S^2=I\), \[\begin{align} \label{eq:Sx1} S_x=&2\lambda_0g^{-1}\sigma_3u_xg,\\ SS_x=&2\lambda_0g^{-1}u_xg, \end{align}\tag{17}\] and, \[\begin{align} S_t=&-\frac{2i}{\lambda_0}g^{-1}ug,\\ \label{eq:SSt1} SS_t=&-\frac{2i}{\lambda_0}g^{-1}\sigma_3ug. \end{align}\tag{18}\] Inserting Eqs. (17 )-(18 ) in Eqs. (15 )-(16 ) we finally get, \[\begin{align} \tag{19} U_1'=& \frac{i}{2}(\lambda_0^2-\lambda^2)S+\frac{1}{2\lambda_0}(\lambda-\lambda_0)SS_x,\\ \tag{20} V_1'=& \frac{i}{2}(\frac{1}{\lambda^2}-\frac{1}{\lambda_0^2})S +\frac{\lambda_0}{2}(\frac{1}{\lambda}-\frac{1}{\lambda_0})SS_t. \end{align}\] Finally, substituting the above Eqs. (19 )-(20 ) into the gauge transformed compatibility Eq. (9 ), we obtain the gauge equivalent form of Eq. (12 ) as \[\begin{align} S_t-\frac{1}{2i\lambda_0^2}[S,S_{xt}]-\frac{1}{\lambda_0^4}S_x=0, S^{2}=I. \end{align}\] Without any loss of generality, we may choose \(\lambda_0 = 1\) and write the equivalent spin equation as \[\begin{align} \label{FLE1} S_t-\frac{1}{2i}[S,S_{xt}]-S_x=0, S^{2}=I. \end{align}\tag{21}\] Here we note that an attempt has already been made to derive the spin equation corresponding to Eq. (12 ) using the gauge equivalence method in [11] where the last term was missed.

2.2 Type-II Fokas-Lenells equation↩︎

The Type-II FLE being the integrable generalization of the NLSE, preserves the Lax integrability in the following form[3], \[\begin{align} u_{xt}+\alpha\beta^2 u-2i\alpha\beta u_x-\alpha u_{xx}-i\alpha\beta^2|u|^2u_x=0. \label{eq:FLE1} \end{align}\tag{22}\] The Lax pair \(U_2,V_2\) in accordance with Eq. (5 ) is, \[\begin{align} \tag{23} U_2=&\lambda u_x-i\lambda^2\sigma_3,\\ \tag{24} V_2=& \alpha \lambda u_x+\frac{i\alpha\beta^2}{2\lambda}\sigma_3 u-\frac{i\alpha\beta^2}{2}\sigma_3u^2-i\eta^2\sigma_3, \end{align}\] where \[\begin{align} \eta=\sqrt{\alpha}(\lambda-\frac{\beta}{2\lambda}). \end{align}\] Using the gauge transformation given by Eq. (7 ), the Lax pair in Eqs. (23 )-(24 ) transforms to the new form in Eq. (8 ) as \[\begin{align} \tag{25} U_2'=& (\lambda-\lambda_0)g^{-1}u_xg+i(\lambda_0^2-\lambda^2)g^{-1}\sigma_3g,\\ \tag{26} V_2'=&\alpha(\lambda-\lambda_0)g^{-1}u_x g+i\alpha[(\lambda_0^2-\lambda^2)+\frac{\beta^2}{4}(\frac{1}{\lambda_0^2}-\frac{1}{\lambda^2})]g^{-1}\sigma_3 g+\frac{i\alpha\beta^2}{2}(\frac{1}{\lambda}-\frac{1}{\lambda_0})g^{-1}\sigma_3ug. \end{align}\] Now, following similar steps as above in the case of Eq. (12 ), we obtain the following relations in terms of the spin field \(S\) \[\begin{align} \label{eq:Sx} S_x=&2\lambda_0g^{-1}\sigma_3u_xg,\\ SS_x=&2\lambda_0g^{-1}u_xg, \end{align}\tag{27}\] and \[\begin{align} S_t=&2\alpha\lambda_0g^{-1}\sigma_3u_xg+\frac{i\alpha\beta^2}{\lambda_0}g^{-1}ug,\\ \label{eq:SSt} SS_t=&2\alpha\lambda_0g^{-1}u_xg+\frac{i\alpha\beta^2}{\lambda_0}g^{-1}\sigma_3ug. \end{align}\tag{28}\] Substituting Eqs. (27 )-(28 ) into Eqs. (25 )-(26 ) we finally get, \[\begin{align} \tag{29} U_2'=& \frac{(\lambda-\lambda_0)}{2\lambda_0}SS_x+i(\lambda_0^2-\lambda^2)S,\\ \tag{30} V_2'=&(\frac{\alpha \lambda}{2\lambda_0}-\frac{\alpha\lambda_0}{2\lambda})SS_x+i\alpha[(\lambda_0^2-\lambda^2)+\frac{\beta^2}{4}(\frac{1}{\lambda_0^2}-\frac{1}{\lambda^2})]S+(\frac{\lambda_0}{2\lambda}-\frac{1}{2})SS_t. \end{align}\] After substituting the above Eqs. (29 )-(30 ) into the gauge transformed compatibility Eq. (9 ) the gauge equivalent form of Eq. (22 ), which is similar to [26], is obtained as \[\begin{align} S_t+\frac{1}{4i\lambda_0^2}[S,\alpha S_{xx}-S_{xt}]+(\frac{\alpha\beta^2}{4\lambda_0^4}-\alpha)S_x=0, S^{2}=I. \end{align}\] Again, without any loss of generality we may choose \(\lambda_0 = 1\), so the gauge equivalent spin equation may be written as \[\begin{align} \label{FLE2} S_t+\frac{1}{4i}[S,\alpha S_{xx}-S_{xt}]+(\frac{\alpha\beta^2}{4}-\alpha)S_x=0, S^{2}=I. \end{align}\tag{31}\]

3 Space Curve Mapping Formalism↩︎

In this section, we investigate the geometric relationship between the FLE and the generalized spin system using the differential geometric method, namely the space curve mapping formalism. This mapping can be applied between the time evolution of the curvature and torsion of the moving space curve and the spin system using the complex transformation which is also widely known as the Hasimoto transformation for the curve or the Lakshmanan transformation for the spin systems and the method is known as Lakshmanan equivalence [27][30].

3.1 Type-I Fokas-Lenells equation↩︎

We consider a moving space curve in \(\mathbb{R}^{3}\) represented by the orthogonal trihedral \(\vec{e_{i}}, i=1,2,3,\) following the Serret-Frenet equations and the time evolution of the trihedral on the space curve \[\begin{pmatrix} \vec{e_{1}} \\ \vec{e_{1}} \\\vec{e_{1}} \end{pmatrix}_{x} = L \begin{pmatrix} \vec{e_{1}} \\ \vec{e_{1}} \\\vec{e_{1}} \end{pmatrix}, \begin{pmatrix} \vec{e_{1}} \\ \vec{e_{1}} \\\vec{e_{1}} \end{pmatrix}_{t} = M \begin{pmatrix} \vec{e_{1}} \\ \vec{e_{1}} \\\vec{e_{1}} \end{pmatrix}, \label{SFE}\tag{32}\] where \[L= \begin{pmatrix} 0 & \kappa & 0 \\ -\kappa & 0 & \tau \\ 0 & -\tau & 0 \end{pmatrix}, M= \begin{pmatrix} 0 & \omega_{1} & \omega_{2} \\ -\omega_{1} & 0 & \omega_{3} \\ -\omega_{2} & -\omega_{3} & 0 \end{pmatrix}.\] Here \(\vec{e_{1}}, \vec{e_{2}},\) and \(\vec{e_{3}}\) are the unit tangent, normal and binormal vectors. Also, \(\kappa=(\vec{e_{1x}}.\vec{e_{1x}})^{2}\) is the curvature and \(\tau=\kappa^{-2}\vec{e_{1}}.(\vec{e_{1x}} \times \vec{e_{1xx}})\) is the torsion associated with the curve. Now the considered vector form of the spin equation in (21 ) is \[\vec{S_{t}}=(\vec{S}\times\vec{S_{xt}})+\vec{S_{x}}. \label{fle1}\tag{33}\] Then we associate the spin field \(\vec{S}(x,t)\) corresponding to the type-I FLE (33 ) with the unit tangent vector \(\vec{e_{1}}\), that is \(\vec{e_{1}}(x,t)=\vec{S}(x,t)\), and allow it to evolve as (33 ) so that we have the evolution equation \[\vec{e_{1t}}=(\vec{e_{1}}\times\vec{e_{1xt}})+\vec{e_{1x}}. \label{e1t}\tag{34}\] Now using the Serret-Frenet equation (32 ), the evolution equation can be rewritten in terms of the trihedral as \[\vec{e_{1t}}=-(\omega_{1}\tau+\omega_{2x}-\kappa)\vec{e_{2}}+(\omega_{1x}-\omega_{2}\tau)\vec{e_{3}},\] where \(\omega_{1}\), \(\omega_{2}\) and \(\omega_{3}\) are given below. Unlike the case of other equations, a complication arises in (34 ) as the evolution equation of \(\vec{e_{1t}}\) involves the mixed space and time derivatives. But since the (\(\vec{e_{1}}, \vec{e_{2}}, \vec{e_{3}}\)) form an orthogonal trihedral there is a close relationship. By taking the compatibility condition \(L_{t}-M_{x}+[L,M]=0\) for Eqs. (32 ), one obtains the following system of coupled nonlinear evolution equations for the curvature and torsion: \[\begin{align} \kappa_{t}&=&\omega_{1x}-\omega_{2}\tau,\\ \tau_{t}&=&\omega_{2}\kappa+\omega_{3x},\\ \omega_{2x}&=&-\omega_{1}\tau+\omega_{3}\kappa. \end{align}\] In the above equations, \[\begin{align} \omega_{1}&=&\frac{(\kappa-\kappa_{xt})}{(1+\tau)},\\ \omega_{2}&=&\kappa_{t},\\ \omega_{3}&=&\frac{\tau(\kappa-\kappa_{xt})}{\kappa(1+\tau)}+\frac{\kappa_{xt}}{\kappa}. \end{align}\] The resultant time evolution equations of the curvature and torsion take the following forms \[\begin{align} \kappa_{t}&=&-\frac{1}{(1+\tau)}\bigg[\frac{(\kappa_{xt}-\kappa)}{(1+\tau)}\bigg]_{x}, \tag{35}\\ \tau_{t}&=&\bigg[\frac{(\kappa_{xt}-\kappa)}{\kappa(1+\tau)}\bigg]_{x}-\frac{\kappa}{(1+\tau)}\bigg[\frac{(\kappa_{xt}-\kappa)}{(1+\tau)}\bigg]_{x}. \tag{36} \end{align}\] We note here that for the well known Heisenberg spin chain equation \[\vec{S_{t}}=(\vec{S}\times\vec{S_{xx}}),\] the associated evolution equations for curvature and torsion, as given in [20], are \[\begin{align} \kappa_{t}=&(\kappa\tau)_{x}+\kappa_{x}\tau,\tag{37}\\ \tau_{t}=&\kappa\kappa_{x}+\bigg(\frac{\kappa_{xx}}{\kappa}-\tau^{2}\bigg)_{x}.\tag{38} \end{align}\] The above coupled nonlinear evolution equations (37 )-(38 ) can be combined through the complex transformation \[\label{trans} q(x,t)=\kappa(x,t) e^{i\int \tau(x,t) dx},\tag{39}\] to obtain the well known nonlinear Schrödinger equation, \[iq_{t}+q_{xx}+\frac{1}{2}|q|^{2}q=0.\] It is important to note here that the same transformation can not be used for the nonlinear evolution equations which have mixed space and time derivatives like FLE. Instead the following evolution equations \[\begin{align} \kappa_{t}=-\frac{1}{(1+\tau)}\bigg[\bigg(\frac{\kappa(\kappa_{xt}-\kappa)}{(1+\tau)}\bigg)_{x}-4\kappa^{2}\kappa_{x}\bigg], \tag{40}\\ \tau_{t}=\bigg(\frac{\kappa_{xt}-\kappa}{\kappa(1+\tau)}\bigg)_{x}-4\kappa\kappa_{x}, \tag{41} \end{align}\] are obtained from the type-I FLE (12 ) using the complex transformation \(u(x,t)=\kappa(x,t) e^{i\int (\tau(x,t)+1) dx}\). It is evident that there are differences between (35 )-(36 ) and (40 )-(41 ). The associated differences can be eliminated with further careful modification in the complex transformation as \(u(x,t)=\kappa(x,t) e^{i\int (\tau(x,t)+b(x,t)+1) dx} e^{i\int c(x,t) dt}\) or even more general transformation of the form \(u(x,t)=f(\kappa(x,t),\tau(x,t))e^{i\int \tau(x,t) dx}e^{ia(x,t)}\) and with suitable selection of functions \(b(x,t)\) and \(c(x,t)\) or \(f(\kappa, \tau)\) and \(a(x,t)\).

3.2 Type-II Fokas-Lenells equation↩︎

To perform the space curve mapping for the spin equation (31 ), along with \(\alpha=\beta=1\) without any loss of generality, corresponding to type-II FLE, we now consider the vector spin equation \[\label{vecspin2} \vec{S_{t}}=-\delta(\vec{S}\times\vec{S_{xx}})+\delta(\vec{S}\times\vec{S_{xt}})-(\delta^{2}-1)\vec{S_{x}},\tag{42}\] where \(\delta=1/2\). This spin vector \(\vec{S}\) can again be mapped onto the unit tangent vector \(\vec{e_{1}}\) of the orthogonal trihedral, and so we have the following equation \[\vec{e_{1t}}=-\delta(\vec{e_{1}}\times\vec{e_{1xx}})+\delta(\vec{e_{1}}\times\vec{e_{1xt}})-(\delta^{2}-1)\vec{e_{1x}}.\] The above equation can be rewritten, using the standard spatial and time evolution of the orthogonal trihedral (32 ) and the relationship among the unit vectors, as \[\vec{e_{1t}}=[-\delta(\omega_{2x}+\omega_{1}\tau)+\delta\kappa\tau+(1- \delta^{2})\kappa]\vec{e_{2}}+[\delta(\omega_{1x}-\omega_{2}\tau)-\delta\kappa_x]\vec{e_{3}}.\] As followed in the previous section, the compatibility condition \(L_t-M_x+[L,M]=0\) leads to the following system of coupled nonlinear evolution equations for \(\kappa(x,t)\) and \(\tau(x,t)\) as \[\begin{align} \kappa_{t}&=&\omega_{1x}-\omega_{2}\tau,\\ \tau_{t}&=&\omega_{2}\kappa+\omega_{3x},\\ \omega_{2x}&=&-\omega_{1}\tau+\omega_{3}\kappa, \end{align}\] where \[\begin{align} \omega_{1}&=&\frac{1}{(1+\delta\tau)}[(1-\delta^2)\kappa-\delta^2(\kappa_{xt}-\kappa_{xx})+\delta\kappa\tau],\\ \omega_{2}&=&\delta(\kappa_{t}-\kappa_{x}),\\ \omega_{3}&=&\frac{\delta(\kappa_{xt}-\kappa_{xx})}{\kappa}+\frac{\tau}{\kappa(1+\delta\tau)}[(1-\delta^2)\kappa-\delta^2(\kappa_{xt}-\kappa_{xx})+\delta\kappa\tau]. \end{align}\] After substituting the value of \(\delta=1/2\), we have the evolution equations for the curvature and torsion as \[\begin{align} \kappa_{t}=&\frac{1}{(2+\tau)}\bigg[\bigg(\frac{(\kappa(3+2\tau)-\kappa_{xt}+\kappa_{xx})}{(2+\tau)^2}\bigg)_x+\kappa_{x}\tau\bigg], \tag{43}\\ \tau_{t}=&\bigg(\frac{\kappa_{xt}-\kappa_{xx}}{\kappa(2+\tau)}\bigg)_{x}-\frac{1}{2}\kappa\kappa_{x}+\frac{\kappa}{2(2+\tau)}\bigg[\bigg(\frac{(\kappa(3+2\tau)-\kappa_{xt}+\kappa_{xx})}{(2+\tau)^2}\bigg)_x+\kappa_{x}\tau\bigg], \tag{44} \end{align}\] The above two equations of \(\kappa_{t}\) and \(\tau_{t}\) can not be mapped to Eq. (22 ) through the complex transformation \(u(x,t)=\kappa(x,t) e^{i\int \tau(x,t) dx}\) due to the same reason as discussed in the previous section. But consider the following equations \[\begin{align} \kappa_{t}&=&-\frac{1}{1+\tau}\bigg[\bigg(\frac{\kappa}{1+\tau}\bigg(\frac{\kappa_{xt}}{\kappa}-\frac{\kappa_{xx}}{\kappa}+\tau^{2}\bigg)\bigg)_{x}+2\kappa^{2}\kappa_{x}-2\kappa_x\tau+\kappa\tau_x \bigg], \\ \tau_{t}&=&\bigg[\bigg(\frac{1}{1+\tau}\bigg(\frac{\kappa_{xt}}{\kappa}-\frac{\kappa_{xx}}{\kappa}+\tau^{2}\bigg)\bigg)_{x}+2\kappa\kappa_{x}\bigg]. \end{align}\] The above equations can be rewritten as \[\begin{align} \kappa_{t}&=&-\frac{1}{1+\tau}\bigg[\bigg(\frac{(\kappa_{xt}-\kappa_{xx}+\kappa\tau^2)}{(1+\tau)}\bigg)_{x} +2\kappa^{2}\kappa_{x}-2\kappa_x\tau+\kappa\tau_x \bigg], \tag{45}\\ \tau_{t}&=&\bigg[\bigg(\frac{(\kappa_{xt}-\kappa_{xx}+\kappa\tau^2)}{\kappa(1+\tau)}\bigg)_{x}+2\kappa\kappa_{x}\bigg]. \tag{46} \end{align}\] These equations of \(\kappa_{t}\) and \(\tau_{t}\), will now be able to integrate with the complex transformation \(u(x,t)=\kappa(x,t) e^{i\int (\tau(x,t)+1) dx}\) to get Eq. (22 ) for \(\alpha=\beta=1\) without any loss of generality. It is very clear that the above two set of equations for \(\kappa_t\) and \(\tau_{t}\) are not identical. In order to remove the differences that persist in the evolution equations (43 )-(44 ) and (45 )-(46 ), now we have to suitably modify the complex transformation as we proposed in the previous section \(u(x,t)=\kappa(x,t) e^{i\int (\tau(x,t)+b(x,t)+1) dx} e^{i\int c(x,t) dt}\) or even more general transformation of the form \(u(x,t)=f(\kappa(x,t),\tau(x,t))e^{i\int \tau(x,t) dx}e^{ia(x,t)}\) and integrate with very particular \(f(\kappa, \tau)\), \(a(x,t)\), \(b(x,t)\) and \(c(x,t)\). We also wish to point out that the analysis carried out for the vector spin equation associated with type-II FLE (42 ) in [26] through space curve formalism using the complex transformation (39 ) will not be valid for the reasons mentioned above.

4 Conclusions↩︎

In this article, we have succeeded to deduce the generalized spin equation equivalent to the FLE through the well known gauge equivalence method. The integrability of the identified spin system is also confirmed by the presentation of the associated Lax pair. Also, we have mapped the FLE to the corresponding spin system on a suitable moving space curve. Unlike the case of the other evolution equations, the present case requires the simultaneous consideration of the evolution of all three unit vectors constituting the orthogonal trihedral associated with the space curve. We have also given appropriate modifications in the usual complex transformation, used in the Heisenberg spin hierarchy, for the nonlinear evolution equations which have mixed space and time derivatives. We hope the method indicated in the paper will help to identify new integrable spin systems.

Acknowledgment↩︎

R.R. would like to acknowledge the financial support in the form of DST-ANRF, Government of India for National Post-doctoral Fellowship (File No. PDF/2023/001115). S.T. wants to thank DST, Government of India for INSPIRE Fellowship (Award No. DST/INSPIRE Fellowship/2020/IF200278). M.L. wishes to thank the DST-ANRF, Government of India for the award of a National Science Chair position to him (NSC/2020/000029). The work of A.S. at LANL was carried out under the auspices of the U.S. DOE and NNSA under Contract No. DEAC52-06NA25396.

References↩︎

[1]
A. Shabat and V. E. Zakharov, Exact theory of two-dimensional self-focusing and one-dimensional self-modulation of waves in nonlinear media, Sov. Phys. JETP 34(1), 62, (1972).
[2]
A. S. Fokas, On a class of physically important integrable equations, Physica D: Nonlinear Phenomena 87(1-4), 145-150, (1995).
[3]
J. Lenells, A. S. Fokas, On a novel integrable generalization of the nonlinear Schrödinger equation, Nonlinearity 22(1), 11, (2009).
[4]
J. Lenells, Dressing for a novel integrable generalization of the nonlinear Schrödinger equation, Journal of nonlinear science 20(6), 709-722, (2010).
[5]
J. Lenells, Exactly solvable model for nonlinear pulse propagation in optical fibers, Studies in Applied Mathematics 123(2), 215-232, (2009).
[6]
X. Lü and B. Tian, Novel behavior and properties for the nonlinear pulse propagation in optical fibers, Europhysics Letters 97(1), 10005, (2012).
[7]
S. Xu, J. He, Y. Cheng, K. Porseizan, The n‐order rogue waves of Fokas–Lenells equation, Mathematical Methods in the Applied Sciences 38(6), 1106-1126, (2015).
[8]
Y. Matsuno, A direct method of solution for the Fokas–Lenells derivative nonlinear Schrödinger equation: I. Bright soliton solutions, Journal of Physics A: Mathematical and Theoretical 45(23), 235202, (2012).
[9]
Y. Matsuno, A direct method of solution for the Fokas–Lenells derivative nonlinear Schrödinger equation: II. Dark soliton solutions, Journal of Physics A: Mathematical and Theoretical 45(47), 475202, (2012).
[10]
S. Talukdar, R. Dutta, G. K. Saharia, S. Nandy, Multi soliton solutions of the Fokas–Lenells equation using modified bilinear method and conservation laws, Journal of Optics 53(5), 4150-4158, (2024).
[11]
R. Dutta, S. Talukdar, G. K. Saharia, S. Nandy, Fokas-Lenells equation, dark soliton and gauge equivalent spin equation, Optical and Quantum Electronics 55(13), 1183, (2023).
[12]
S. Liu, J. Wang, D. Zhang, The Fokas–Lenells equations: Bilinear approach, Studies in Applied Mathematics 148(2), 651-688, (2022).
[13]
F. Liu, C. Zhou, X. Lü, H. Xu, Dynamic behaviors of optical solitons for Fokas-Lenells equation in optical fiber, Optik - International Journal for Light and Electron Optics, 224, 165237 (2020).
[14]
V.M. Lashkin, N-soliton solutions of the Fokas–Lenells equation for the plasma ion-cyclotron waves: Inverse scattering transform approach, Commun. Nonlinear Sci. Numer. Simul., 118, 107006 (2023).
[15]
Y. Zhang, R. Ma, B. Feng, KP reductions and various soliton solutions to the Fokas–Lenells equation under nonzero boundary condition, Stud. Appl. Math. 152, 734–759 (2024).
[16]
V. M. Lashkin, Perturbation theory for solitons of the Fokas-Lenells equation: Inverse scattering transform approach, Physical Review E 103(4), 042203, (2021).
[17]
G. L. Lamb Jr., Solitons and the motion of helical curves, Phys. Rev. Lett. 37, 235 (1976).
[18]
G. L. Lamb Jr., Solitons on moving space curves, J. Math. Phys. 18, 1654 (1977).
[19]
M. Lakshmanan, Th. W. Ruijgrok, C. J. Thompson, On the dynamics of a continuum spin system, Physica A 84, 877 (1976).
[20]
M Lakshmanan, Continuum spin system as an exactly solvable dynamical system, Phys. Lett. A 61, 53, (1977).
[21]
L. A. Takhtajan, Integration of the continuous Heisenberg spin chain through the inverse scattering method, Phys. Lett. A 64, 235 (1977).
[22]
V. E. Zakharov, L. A. Takhtajan, Equivalence of the nonlinear Schrödinger equation and the equation of a Heisenberg ferromagnet, Theor. Math. Phys. 39, 17 (1979).
[23]
A. Kundu, Landau–Lifshitz and higher‐order nonlinear systems gauge generated from nonlinear Schrödinger‐type equations, J. Math. Phys. 25(12), 3433-3438 (1984).
[24]
M. Lakshmanan, K. Porsezian, M. Daniel, Effect of discreteness on the continuum limit of the Heisenberg spin chain, Phys. Lett. A, 133(9), 483-488 (1988).
[25]
K. Porsezian, K. M. Thamizhmani, M. Lakshmanan, Geometrical equivalence of a deformed Heisenberg spin equation and the generalized nonlinear Schrödinger equation, Phys. Lett. A, 124(3), 159-160 (1987).
[26]
M. Zhassybayeva, G. Bekova, K. Yesmakhanova, R. Myrzakulov, Integrable motions of curves of the induced Fokas–Lenells equation, Optic-International Journal for Light and Electron Optics, 286, 170979 (2023).
[27]
M. Lakshmanan, On the geometrical interpretation of solitons, Phys. Lett., 64A(4), 354 (1978).
[28]
M. Lakshmanan, Rigid body motions, space curves, prolongation structures, fiber bundles, and solitons, J. Math. Phys. 20, 1667–1672 (1979).
[29]
M. Lakshmanan, K. M. Tamizhmani, Motion of strings, embedding problem and soliton equations, Applied Seientifie Research, 37, 127-143 (1981).
[30]
S. Murugesh, M. Lakshmanan, Nonlinear dynamics of moving curves and surfaces: Applications to physical systems, International Journal of Bifurcation and Chaos, 15(1), 51–63 (2005).