In this paper, we study the N = 2 a = 1 supersymmetric KdV equation. We construct its Darboux transformation and the associated Bäcklund transformation. Furthermore, we derive a nonlinear superposition formula, and as applications we calculate some solutions for this supersymmetric KdV equation and recover the related results for the Kersten–Krasil'shchik coupled KdV-mKdV system.
XiaoXia Yang, Lingling Xue, Q P Liu. N = 2 a = 1 supersymmetric KdV equation and its Darboux–Bäcklund transformations[J]. Communications in Theoretical Physics, 2024, 76(11): 115002. DOI: 10.1088/1572-9494/ad6a04
1. Introduction
Symmetry plays a key role in the development of physics. Supersymmetry, a concept introduced in the early seventies of last century, is a symmetry between bosons and fermions [1]. Since its inception, the theory related to supersymmetry has been developed considerably both in physics and mathematics.
Interestingly, a little earlier, the modern theory of integrable systems marked its birth in 1965 with the landmark work of Zabusky and Kruskal on the Korteweg–de Vries (KdV) equation. In particular, the inverse scattering transform, also known as nonlinear Fourier transform, was invented by Kruskal and his collaborators and was applied to solve a Cauchy problem for the KdV equation.
The marriage between supersymmetry and integrable systems leads to the development of super or supersymmetric integrable systems. For the celebrated KdV equation, its first super version and first supersymmetric version were introduced by Kupershmidt [2] and Manin and Radul [3], respectively. Those equations have been studied extensively and a large amount of literature exists (see [4–16] and the references therein). More precisely, the supersymmetric KdV (SKdV) equation of Manin and Radul is actually the N = 1 SKdV equation. In the literature, there is also the N = 2 supersymmetric KdV equation
$\begin{eqnarray}\begin{array}{rcl}{\phi }_{t} & = & -{\phi }_{{xxx}}+3{\left(\phi {{ \mathcal D }}_{1}{{ \mathcal D }}_{2}\phi \right)}_{x}\\ & & +\displaystyle \frac{1}{2}(a-1){\left({{ \mathcal D }}_{1}{{ \mathcal D }}_{2}{\phi }^{2}\right)}_{x}+3a{\phi }^{2}{\phi }_{x},\end{array}\end{eqnarray}$
where φ = φ(x, t, θ1, θ2) is a superboson function depending on temporal variable t, spatial variable x and its fermionic counterparts θi(i = 1, 2). ${{ \mathcal D }}_{1}$ and ${{ \mathcal D }}_{2}$ are the super derivatives defined by ${{ \mathcal D }}_{1}={\partial }_{{\theta }_{1}}+{\theta }_{1}{\partial }_{x},{{ \mathcal D }}_{2}={\partial }_{{\theta }_{2}}+{\theta }_{2}{\partial }_{x}$ and a is a free parameter. Equation (1), originally proposed by Laberge and Mathieu [17, 19], actually is a family of equations depending on a parameter a, so in the sequel, it will be referred to as the SKdVa equation.
The SKdVa equation (1) may be rewritten in component form as follows
where φ = w + θ1ζ + θ2(θ1u + η), w = w(x, t), u = u(x, t) are bosonic and ζ = ζ(x, t), η = η(x, t) are fermionic. Now it is easy to see that on the bosonic sector, namely setting ζ = η = 0, one may obtain a coupled KdV-mKdV system (also known as the Kersten–Krasil'shchik coupled KdV-mKdV system) and the situation is quite different from the N = 1 SKdV case, where one has the KdV equation when the fermionic component vanishes. In this sense, the N = 2 SKdV equation is more interesting.
It has been shown that the SKdVa equation (1) is integrable only for three values of the parameter a. Laberge and Mathieu in [17] obtained Lax representations and Hamiltonian structures and infinite conservation laws for both SKdV−2 and SKdV4 equations. Popowicz found a Lax representation for the SKdV1 equation [18]. The Hirota bilinear forms were worked and applied to construct solutions for both SKdV4 and SKdV1 systems [20].
Darboux transformations are very effective tools in studying integrable systems, so for a given integrable system it is always interesting to construct its Darboux transformations [21–23]. A brief survey of Darboux transformations of supersymmetric integrable systems is available [24]. As the SKdV4 equation in N = 1 form shares the same hierarchy with the supersymmetric two-boson equation, its Darboux transformations were worked out in [25]. For the SKdV−2 equation, a proper Darboux transformation and the related Bäcklund transformation was constructed in [26]. However, the Darboux transformation is still missing for the SKdV1 equation.
The main purpose of this paper is to fill the gap and present a Darboux transformation and the related Bäcklund transformation for the SKdV1 equation. The paper is organized as follows. In section 2, we recall the Lax representation of the SKdV1 equation and reformulate it in a way that its Darboux and Bäcklund transformation may be worked out. We also compare the Bäcklund transformation with the bilinear Bäcklund transformation in [20]. In section 3, we build the nonlinear superposition formula for the Bäcklund transformation. As applications, we calculate some solutions of SKdV1 equation. In the final section, we provide some comments on our results and show that the proper reduction allows us to recover the Bäcklund transformation and some solutions for the Kersten–Krasil'shchik coupled KdV-mKdV system.
2. Darboux and Bäcklund transformations
The SKdV1 equation may be read from (1), namely
$\begin{eqnarray}{\phi }_{t}={\left(-{\phi }_{{xx}}+3\phi ({{ \mathcal D }}_{1}{{ \mathcal D }}_{2}\phi )+{\phi }^{3}\right)}_{x}.\end{eqnarray}$
We now rewrite it into N = 1 formalism, thus by assuming
where v = v(t, x, θ) is bosonic (even) while α = α(t, x, θ) is fermionic (odd) with θ ≡ θ1 and ${{ \mathcal D }}_{1}\equiv { \mathcal D }$, (3) can be brought to
where for brevity the superscript ${}^{{\prime} }$ denotes the super derivative ${ \mathcal D }$. It is convenient to work with the potential form of system (5), so we introduce the new variables β, φ via α = − βx, v = iφx(i2 = − 1), and obtain
The spectral problem of (3), constructed by Popowicz [18], is
$\begin{eqnarray}{\psi }_{x}-{\partial }^{-1}{{ \mathcal D }}_{1}{{ \mathcal D }}_{2}(\phi \psi )=\lambda \psi ,\end{eqnarray}$
$\begin{eqnarray}\begin{array}{rcl}{\psi }_{t} & = & -[{\psi }_{{xxx}}-3({{ \mathcal D }}_{1}{{ \mathcal D }}_{2}(\phi {\psi }_{x}))-3{\phi }^{2}{\psi }_{x}\\ & & -3\phi ({{ \mathcal D }}_{2}\phi )({{ \mathcal D }}_{2}\psi )-3\phi ({{ \mathcal D }}_{1}\phi )({{ \mathcal D }}_{1}\psi )],\end{array}\end{eqnarray}$
from it, we can present the spectral problem for system (6). To this end, substituting (4), and ψ = − ig + θ2ξ into (7) with g = g(t, x, θ), ξ = ξ(t, x, θ), we find
which constitute a spectral problem for (6). Letting ${\boldsymbol{\chi }}={(f,g,h,f^{\prime} ,g^{\prime} )}^{{\rm{T}}}$, we get the following matrix form of the spectral problem
The matrices M, N whose entries involve both bosonic and fermionic variables are super matrices. Following [27], we introduce an involution on the algebra of super matrices as follows: given any matrix ${\boldsymbol{A}}={({a}_{{ij}})}_{i,j\in {\mathbb{Z}}}$, we define ${{\boldsymbol{A}}}^{\dagger }={({a}_{{ij}}^{\dagger })}_{i,j\in {\mathbb{Z}}}$ and ${a}_{{ij}}^{\dagger }={(-1)}^{p({a}_{{ij}})}{a}_{{ij}}$ with p(aij) denoting the parity of aij.
Our main aim is to construct a Darboux transformation for (8). To this end, we search for a gauge matrix T such that
where $\widetilde{{\boldsymbol{M}}}$ and $\widetilde{{\boldsymbol{N}}}$ are the matrices M and M but with φ, β replaced by the new field variables $\widetilde{\varphi },\widetilde{\beta }$. This imposes conditions for the gauge matrix T, that is,
It is a tedious but direct calculation. Indeed, it may be checked that the first equation of (11) amounts to (14a, 14b). Then, taking account of (14a, 14b), we find that the second one of (11) yields (14c, 14d).
The Darboux transformation presented in this proposition is defined in terms of z and ρ, which are governed by the system of differential equations (14a–14d). It is interesting to note that we may relate z, ρ to a particular solution of (8) by the following Proposition.
Let ${{\boldsymbol{\chi }}}_{1}={\left({f}_{1},{g}_{1},{h}_{1},{f}_{1}^{\prime} ,{g}_{1}^{\prime} \right)}^{{\rm{T}}}$ be one solution of (8) at $\lambda ={\lambda }_{1}$. Then
which is the spatial part of Bäcklund transformation.
In the remaining part of this section, we shall show the obtained Bäcklund transformation coincides with the one constructed in [20] by Hirota's bilinear method.
According to [20], the following transformation for the dependent variables
$\begin{eqnarray*}p=\displaystyle \frac{1}{2}({{ \mathcal D }}^{-1}(\beta -\widetilde{\beta })-\widetilde{\varphi }-\varphi ),\quad q=\displaystyle \frac{1}{2}({{ \mathcal D }}^{-1}(\beta +\widetilde{\beta })+\widetilde{\varphi }-\varphi ),\end{eqnarray*}$
$\begin{eqnarray*}\overline{p}=\displaystyle \frac{1}{2}({{ \mathcal D }}^{-1}(\beta -\widetilde{\beta })+\widetilde{\varphi }+\varphi ),\quad \overline{q}=\displaystyle \frac{1}{2}({{ \mathcal D }}^{-1}(\beta +\widetilde{\beta })-\widetilde{\varphi }+\varphi ),\end{eqnarray*}$
$\begin{eqnarray*}{p}_{2}=\displaystyle \frac{1}{2}({{ \mathcal D }}^{-1}(\beta -\widetilde{\beta })+\widetilde{\varphi }-\varphi ),\quad {q}_{2}=\displaystyle \frac{1}{2}({{ \mathcal D }}^{-1}(\beta +\widetilde{\beta })-\widetilde{\varphi }-\varphi ),\end{eqnarray*}$
$\begin{eqnarray*}{p}_{1}=\displaystyle \frac{1}{2}({{ \mathcal D }}^{-1}(\beta -\widetilde{\beta })-\widetilde{\varphi }+\varphi ),\quad {q}_{1}=\displaystyle \frac{1}{2}({{ \mathcal D }}^{-1}(\beta +\widetilde{\beta })+\widetilde{\varphi }+\varphi ),\end{eqnarray*}$
(19) is nothing but (14), this shows that the Bäcklund transformation resulted from the Darboux transformation is the same as the Bäcklund transformation derived from the framework of Hirota's method.
3. Nonlinear superposition formula
One of the important ingredients in Bäcklund transformation is the nonlinear superposition formula. Indeed, a Bäcklund transformation for a given nonlinear partial differential equation is meant to supply a way to construct its solutions, but Bäcklund transformation is differential equation itself and solving it may not be easy in general. An well-known way to overcome this difficulty is to derive a nonlinear superposition formula.
The main aim of this section is to construct the corresponding nonlinear superposition formula for the Bäcklund transformation presented in last section.
For clarity, the gauge matrix in (13) is denoted by ${\boldsymbol{T}}({\lambda }_{1};\varphi ,\beta ,\widetilde{\varphi },\widetilde{\beta })$. Consider a pair of Darboux transformations
where ${\widehat{{\boldsymbol{T}}}}_{1}\equiv {\boldsymbol{T}}({\lambda }_{1};\widehat{\varphi },\widehat{\beta }$, $\widehat{\widetilde{\varphi }},\widehat{\widetilde{\beta }})$, ${\widetilde{{\boldsymbol{T}}}}_{2}\equiv {\boldsymbol{T}}({\lambda }_{2}$; $\widetilde{\varphi },\widetilde{\beta }$, $\widetilde{\widehat{\varphi }},\widetilde{\widehat{\beta }})$. From $\widehat{\widetilde{\varphi }}=\widetilde{\widehat{\varphi }},\widehat{\widetilde{\beta }}=\widetilde{\widehat{\beta }}$ and (22), after some tedious calculations we obtain the following nonlinear superposition formula
While the nonlinear superposition formula (23)-(24) takes a rather complicated form, it is of algebro-differential in the sense that with three known solutions of the potential SKdV equation (6), one can construct the fourth solution via differentiating and algebraic manipulations.
As a simple application of Darboux transformation and nolinear superposition formula, we now calculate some solutions for SKdV1 equation.
We begin with the trivial seed solution φ = 0, β = 0. Then the linear spectral problem becomes
where ${P}_{j}={\lambda }_{j}x-{\lambda }_{j}^{3}t+\theta {\mu }_{j}+{c}_{j},{P}_{j}^{\prime} ={\mu }_{j}+\theta {\lambda }_{j}$, j = 1, 2. Plugging the above solutions and the trivial seed solution into the (23) and (24), we have
This together with $\widehat{\widetilde{\alpha }}=-{\widehat{\widetilde{\beta }}}_{x}$ yields a two-soliton solution of (5).
4. Conclusion and discussion
In this paper, we have constructed a Darboux transformation and Bäcklund transformation for SKdV1 equation. As an application, we have derived a superposition formula and calculated the simplist soliton solutions. As mentioned in the introduction, setting the fermionic components ζ = η = 0, one has a coupled system
which was considered by Kersten and Krasil'shchik [28] and was referred to as Kersten–Krasil'shchik coupled KdV-mKdV equations [29]. By reduction, we may easily recover some results for the Kersten–Krasil'shchik coupled KdV-mKdV system. For example, by setting φ(x, t, θ) = φ0(x, t), β(x, t, θ) = θβ0(x, t) with the relationship w = iφ0,x, u = − β0,x, $\widetilde{w}={\rm{i}}{\widetilde{\varphi }}_{0,x},\widetilde{u}=-{\widetilde{\beta }}_{0,x}$, we obtain
which is nothing but the Bäcklund transformation for Kersten–Krasil'shchik coupled KdV-mKdV system [32]. Furthermore, under μ1 = μ2 = 0, the solutions presented in the last section enable us to recover for the system (25) the one-soliton solution [30, 31]
Finally, apart from its usefulness in constructing solutions, Bäcklund transformation also provides an effective way to build discrete integrable systems [33–35]. Thus, considering further applications of our results is a problem worthy of study. Also, for a given nonlinear partial differential equation, various methods are available for constructing its particular solutions (see [36, 37] and the references therein), it may be interesting to apply those methods to the N = 2 SKdV equation.
This paper is supported by the National Natural Science Foundation of China (Grant Nos. 12175111, 11931107 and 12171474) and NSFC-RFBR (Grant No. 12111530003).
GaoX N, LouS Y, TangX Y2013 Bosonization, singularity analysis, nonlocal symmetry reductions and exact solutions of supersymmetric KdV equation J. High Energy Phys.2013 JHEP05(2013)029
XueL L, LiuQ P2014 Bäcklund–Darboux transformations and discretizations of super KdV equation SIGMA10 045
17
LabergeC A, MathieuP1998 N = 2 superconformal algebra and integrable O(2) fermionic extensions of the Korteweg-de Vries equation Phys. Lett. B215 718 722
MaoH, LiuQ P2018 Bäcklund-Darboux Transformations and Discretizations of N = 2, a = −2 Supersymmetric KdV Equation Phys. Lett. A382 253 258
KerstenP, Krasil'shchikJ2002 Complete integrability of the coupled KdV-mKdV system Lie Groups, Geometric Structures and Differential Equations—one hundred years after Sophus Lie (Kyoto/Nara) Adv. Stud. Pure Math. Tokyo Mathematical Society of Japan
29
Karasu (Kalkanlı)A, SakovichS Y, YurdusenÍ2003 Integrability of Kersten–Krasil'shchik coupled KdV-mKdV equations: Singularity analysis and Lax pair J. Math. Phys.44 1703 1708
30
HonY C, FanE G2004 Solitary wave and doubly periodic wave solutions for the Kersten-Krasil'shchik coupled KdV-mKdV system Chaos Solitons and Fractals19 1141 1146
HietarintaJ, JoshiN, NijhoffF W2016Discrete Systems and Integrability Cambridge Cambridge University Press
36
ZhangZ-Y, GanX-Y, YuD-M, ZhangY-H, LiX-P2012 A note on exact traveling wave solutions of the perturbed nonlinear Schrödinger's equation with Kerr law nonlinearity Commun. Theor. Phys.57 764 770
LiuQ-S, ZhangZ-Y, ZhangR-G, HuangC-X2019 Dynamical analysis and exact solutions of a new (2+1)-dimensional generalized Boussinesq model equation for nonlinear Rossby waves Commun. Theor. Phys.71 1054 1062