N = 2 Supercomplexification of the Korteweg-de Vries, Sawada-Kotera and Kaup-Kupershmidt Equations
- DOI
- 10.1080/14029251.2019.1591732How to use a DOI?
- Keywords
- suoersymnmetry; bi-Hamiltonian; Lax representation
- Abstract
The supercomplexification is a special method of N = 2 supersymmetrization of the integrable equations in which the bosonic sector can be reduced to the complex version of these equations. The N = 2 supercomplex Korteweg-de Vries, Sawada-Kotera and Kaup-Kupershmidt equations are defined and investigated. The common attribute of the supercomplex equations is appearance of the odd Hamiltonian structures and super-fermionic conservation laws. The odd bi-Hamiltonian structure, Lax representation and superfermionic conserved currents for new N = 2 supersymmetric Korteweg-de Vries equation and for Sawada-Kotera one, are given.
- Copyright
- © 2019 The Authors. Published by Atlantis and Taylor & Francis
- Open Access
- This is an open access article distributed under the CC BY-NC 4.0 license (http://creativecommons.org/licenses/by-nc/4.0/).
1. Introduction
Integrable Hamiltonian systems occupy an important place in diverse branches of theoretical physics as exactly solvable models of fundamental physical phenomena ranging from nonlinear hydrodynamics to string theory [7,8]. There are many approaches to investigate these systems as for example the Lax approach, the construction of the recursion operator and bi-Hamiltonian structure or checking the B¨acklund and Darboux transformations [3].
On the other hand, applications of the supersymmetry (SUSY) to the soliton theory provide a possibility of generalization of the integrable systems. The supersymmetric integrable equations [4–19] have drawn a lot of attention for a variety of reasons. In order to create a supersymmetric theory, we have to add to a system of k bosonic equations kN fermionic and k(N − 1) bosonic fields (k = 1, 2,..., N = 1, 2,...) in such a way that the final theory becomes SUSY invariant. A bonus of this method is, that the so called bosonic sector of the supersymmetrical equations when N ≥ 2, leads us to a new system of interacting fields. For example, the Virasoro algebra [9] and some of its extensions can be related to the second Hamiltonian structure of the Korteweg-de Vries (KdV) and KdV-like equations. This Hamiltonian structure is given by the set of Poisson brackets for the fundamental fields representing the Virasoro algebra. Now, starting from the supersymmetric generalization of the Virasoro algebra and the corresponding Hamiltonian structure, the N = 1, 2 supersymmetric extensions of the classical equations have been obtained [16,17,20].
There are many methods of supersymmetrization of integrable system as, for example, to start simply from the supersymmetric version of the Lax operator or consider the supersymmetric version of the Hamiltonian structure. Interestingly, during the process of supersymmetrization many unexpected, but typical supersymmetric effects occurred. In particular, the roots for the SUSY Lax operator are not uniquely defined [21], the non-local conservation laws [4] and the odd Hamiltonian structure appear [22,23].
The idea of introducing odd Hamiltonian structure is not new. Leites noticed [18] that in the superspace, one can consider both the even and odd sympletic structures, with even and odd Poisson brackets respectively. The odd brackets, also known as antibrackets, have drawn some interest in the context of BRST formalism in the Lagrangian framework [1], in the supersymmetrical quantum mechanics [30], and in the classical mechanics [14].
Becker and Becker in [2] proposed the supersymmetric KdV equation in the form
The N = 2 supersymmetric generalization of KdV equation
In this paper, we generalize the N = 1 substitution u ⇒ (𝒟Φ) to the N = 2 supersymmetric case, assuming that
We investigate supercomplexifications of three equations: the KdV, Sawada-Kotera (S-K) and Kaup-Kupershmidt (K-K) equations. For all these equations, we fix the arbitrary constants in such a way that their bosonic sector could be transformed to the complex version of the KdV, S-K, K-K equations. This procedure justifies the name of supercomplexification. The odd bi-Hamiltonian structure, Lax representation and superfermionic conserved currents for new BN = 2 supersymmetric Korteweg-de Vries equation are given. For the BN = 2 supercomplex Sawada-Kotera equation the Lax representation, odd bi-Hamiltonian structure and superfermionic conserved currents are defined. The BN = 2 supercomplex Kaup-Kupershmidt equation is defined, for which the odd bi-Hamiltonian structure is presented with its superfermionic conserved currents.
All calculations used in the paper have been carried out with the help of computer program Susy2 [24].
The paper is organized as follows. In the first section, the notation used in the non-extended and in extended supersymmetry is explained. Section 2 contains description of the non-extended N = 1, BN = 1 and extended N = 2, BN = 2 supersymmetric KdV equation. Section 3 and section 4 treat the non-extended N = 1, BN = 1 and extended N = 2, BN = 2 supersymmetric Sawada-Kotera and Kaup-Kupershmidt equations. The last section is the conclusion.
2. Notation used in the supersymmetry
In the non-extended N = 1 supersymmetric theory, we deal with the odd and even variables. These variables are joined in the multiplet as Φ = ξ +θu or as ϒ = w+θζ where ξ = ξ(x,t),ξ2 = 0, ζ = ζ(x,t), ζ2 = 0 are odd functions while u = u(x,t), w = w(x,t) are even functions, and θ is Majorana spinor such that θ2 = 0. In other words θ is the odd coordinate. The Φ is called superfermionic function while ϒ a superbosonic one.
The supersymmetric derivative 𝒟 is defined as
The symbolic integration over the odd variables is defined as
In the extended supersymmetry N = 2 case we deal with more complicated superfermionic or superbosonic functions which are defined by
The supersymmetric derivatives and symbolic integrations are defined as
From the formulas (2.4) follows ∫dθ1dθ2dx(𝒟iΓ) = 0, i = 1, 2 for an arbitrary superfunction Γ which vanishes in ±∞.
For the supersymmetric extensions of the models discussed in what follows, the Lax operators may be regarded as the element of the algebra of super-differential operators 𝒢 . For N = 1 we have
The supersymmetric algebra 𝒢 possess three invariant subspaces defined by the following projections P onto the subspaces of 𝒢 .
The subscript L≥0, L≥1 in what follows denotes the projection P≥0(L), P≥1(L).
The supersymmetric algebra 𝒢 is endowed with non-degenerate “trace form” given by the residues
Similarly to the classical case it is possible to construct the generalized supersymmetric Lax representation
As usual in the case of extended supersymmetry N > 1, we assume the invariance of the considered model under change the odd variables. It means that we always assume the invariance under the replacement of the supersymmetric derivatives 𝒟1 → −𝒟2,𝒟2 → 𝒟1 and denote this transformation as O2. For example we have O2(𝒟1Φ) = −(𝒟2Φ).
3. N = 1, BN = 1, N = 2 and BN = 2 susy KdV
The Korteweg-de Vries equation is defined as
The subscript ≥ 0 in (L3/2)≥0 denotes the purely differential part of L3/2. The KdV equation is integrable, has bi-Hamiltonian structure and possesses infinite number of bosonic conserved currents. The Lax operator Eq. (3.3) generates the conserved currents as
Let us recall the relationship between the Poisson bracket
3.1. N = 1, BN = 1 supersymmetric KdV equation
The N = 1 supersymmetric KdV equation is obtained from the Lax representation
This equation has been thoroughly investigated in many papers [12,15,19].
The BN = 1 supersymmetric KdV equation is generated by the Lax representation
It has a triangular form, ut does not contain the odd function, but it is a very interesting equation from integrability and supersymmetry point if view. This equation has been first considered by Becker and Becker [2] and it was named later as B extension of supersymmetric KdV equation [4].
This system possesses infinite number of the superfermionic conservation laws. For example,
The variational derivative
The bi-Hamiltonian structure is easy to obtain using the formula (3.1) in which we assume u = (𝒟Φ) ⇒ Φ = (𝒟−1u) from which follows
The operator 𝒫 is connected with the Poisson bracket
3.2. N = 2 and BN = 2 supersymmetric KdV Equation
We have three different N = 2 supersymmetrical extensions of the KdV equation
All these equations possess the bi-Hamiltonian structure [11, 21]. For example the second Hamiltonian structure for the equation (3.18) is
This formula could be rewritten in the components
This bracket defines the N = 2 supersymmetric Virasoro algebra if we apply the Fourier expansion of Φ in Eq. (3.20).
These supersymmetric equations are possible to obtain from the following Lax representations [16,21]
To this list of three equations we would like to add the fourth one integrable extension BN = 2 which has the Lax representation, bi-Hamiltonian formulation and possess the superfermionic conserved currents.
To end this let us send the formula (3) in which ki, i = 1, 2, 3, 4 are real coefficients, to the KdV Eq. (3.1). Extracting the real and imaginary part we obtain the system of two equations on (𝒟1𝒟2Φ)t, Φt,x. Solving this system of equations and verifying the integrability condition (𝒟1𝒟2Φ)t,x = ∂xΦt,𝒟1,𝒟2 we obtain a system of algebraic equation on the coefficients ki, i = 1, 2, 3, 4. There are two solutions.
The first one k1 = k4, k2 = −k3 is
The bosonic part of these equations reduces to the KdV equation when Φ = θ1θ2u and k3 = 0.
Therefore without losing on the generality we assume that BN = 2 KdV equation has the form
Below, we will call such procedure as supercomlexification of the equations.
If we replace u by (𝒟1𝒟2Φ)+iΦx in the Lax operator of KdV equation then we obtain complex operator
The following fourth order Lax representation, where we do not use the imaginary symbol i generates the supercomplex BN = 2 KdV equation.
The same equation is also generated by the nonstandard Lax representation
The equation (3.31) appeared also for the first time in [22], where the second Hamiltonian operator was constructed and was interpreted as odd version of Virasoro algebra.
In the components, the equation (3.31) is
We see that fermionic sector is invariant under the replacement ξ1 ⇒ −ξ2, ξ2 ⇒ ξ1 while the bosonic sector is purely even and does not contain the odd functions. This invariance is exactly the O2 invariance. Therefore, this supersymmetric version of the KdV equation is BN = 2 extension.
Introducing new function wx = v to the bosonic sector of the equation (3.34) we obtained
It is exactly the complex KdV equation.
On the other side the system of equations (3.34) is equivalent to the complex version of the Becker and Becker equation Eq. (3.10). Indeed if we assume that Φ = ρ1 + iρ2 in the equation (3.10) then we obtain
Next assuming that ρ1 = ξ1 + θu, ρ2 = ξ2 + θw, wx = v we see that the previous equation reduces to the system of equations (3.34).
The Lax representation of the complex KdV equation is given by the bosonic part of the supercomplexified Lax representation Eq. (3.30)
The symbol b in Lb denotes the bosonic part of the L operator.
There are many differences between the supersymmetric equations (3.34) and (3.1). The system (3.1) possess an infinite number of conservation laws but the conservation laws of (3.34) does not reduce to the conservation laws of (3.1).
Unfortunately if we apply the “trace form” to our Lax operator tr (Ln/4) for n = 2, 3, 5, 6 we did not obtain any conserved currents because then tr(Ln/4) = 0. We confirmed this observation by constructing an arbitrary superbosonic functions Kn = Kn(Φ,(𝒟1Φ),(𝒟2Φ),...) with arbitrary constants, where n = 1, 2,..., 11 denotes the weight. For example
We verified that these functions are not constants of motion for our supercomplex BN = 2 KdV equation.
However, if we expand L operator as
Indeed, as we checked
Using the O2 transformation it is possible to obtain the superpartners of
It is difficult to obtain the next conserved quantity using the trace form, because we need to compute the L1/8 up to the terms containing ∂−6, because then H = tr(LL1/4L1/8).
Therefore we assumed the most general form on the next current and verified that
It is impossible to use the similar trick as in the BN = 1 supersymmetric KdV equation Eq. (3.15) because the transformation u = (𝒟1𝒟2Φ) + iΦx is not invertible. Indeed, if we assume that such an inverse exists, then
Assuming different forms of the Hamiltonian operator of the supercomplexified BN = 2 KdV equation, we obtained the following bi-Hamiltonian structure
We checked that the operator Π defines the proper Hamiltonian operator and satisfies the Jacobi identity
This could be rewritten in the components as
If we compare the right hand of these Poisson brackets with the right hand of Poisson brackets connected with the N = 2 supersymmetric Virasoro algebra Eq. (3.21) we see that they are in opposite statistics. Indeed the supersymmetric Poisson brackets (3.21) can be symbolically rewritten as
Instead of using the recursion operator to generate the conserved currents it is possible to join the superfermionic currents with the usual conserved currents of KdV equation using the formula
Using the previous formula, we obtained next conserved current for the supercomplexified KdV equation
To finish this section let us notice that substitution (3) suggests to replace r.h.s of (3) by complex chiral superfield F [13,29] as
Substituting formula (3.56) to the KdV equation we obtain
The bosonic part of this equation is
But it is not the complex KdV equation when u = a + ib where a, b are real functions.
4. N = 1, BN = 1 and BN = 2 supersymmetric Sawada-Kotera equation
The Sawada-Kotera equation could be obtained from the Lax representation
The bi-Hamiltonian formulation of this equation is
4.1. N = 1, BN = 1 susy Sawada-Kotera equation
The N = 1 supersymmetric extension of S-K equation is defined by the Lax operator L = (𝒟∂ +Φ) 2 and its Lax representation [28]
The odd bi-Hamiltonian representation for supersymmetric N = 1 extension of the Sawada-Kotera equation has been given in [23]
The BN = 1 supersymmetrical S-K equation is defined by the Lax operator L = ∂3 + (𝒟Φ)∂ and its Lax representation as
The bi-Hamiltonian formulation for the BN = 1 extension is easy to obtain using the same trick as in the case of the BN = 1 extension of KdV equation, see Eq. (3.15).
4.2. BN = 2 Supercomplex Sawada-Kotera equation
The following Lax operator
This equation is also possible to obtain after modification of the supercomplexification method as
Introducing a new function wx = v, it appears that it is always possible to find the linear transformation of v, u which changes the bosonic sector of the equation (4.11) to the complex version of the Sawada-Kotera equation for any arbitrary values of k1, k2,
In order to study the conservation laws and Hamiltonian structure of the BN = 2 supersymmetric Sawada-Kotera equation, we consider the special case k1 = 1, k2 = 0 for which we obtained
In the components, the equation Eq.(4.16) is
The bosonic sector of the Eq. (4.17) does not interact with the fermionic variables. Thus we have the BN = 2 extension of the Sawada-Kotera equation.
In order to find the conserved current, we use the formula Eq. (3.54)
Due to this formula we obtained the following conserved charges
The system of equation (4.12) could be rewritten as the bi-Hamiltonian system
The operator 𝒦 defines a proper symplectic operator for the BN = 2 supersymmetric Sawada-Kotera equation and satisfies the condition [3]
As we checked the equation (4.24) is satisfied for superfermionic test functions and also for the superbosonic test functions. For the superfermionic test functions we should assume that in the formula Eq. (4.25), ε is an anticommuting variable, W is a superfermionic function because Φ is a superbosonic function.
To finish this section let us mention that all our formulas presented here possess the O2 superpartners.
5. BN = 1, BN = 2 supersymmetric Kaup-Kupershmidt equation
The Kaup-Kupershmidt (K-K) equation is derived from the Lax operator
The N = 1 supersymmetric extension of the K-K equation does not exist. It follows from the observation that, if we assume the most general form on the supersymmetric extension of K-K as the polynomial in Φ, (𝒟Φ) and its derivatives, which reduces in the bosonic limit to the Kaup-Kupershmidt equation, then it is possible to construct only one conserved current. It is not enough for such a system to be integrable.
However it is possible to obtain the BN = 1 supersymmetric extension of K-K equation by simply substituting u = (𝒟Φ) to the Eq. (5.1)
In order to construct the BN = 2 supersymmetric extension of the Kaup-Kupershmidt equation let us consider the most general supercomplexified ansatz
It is possible to transform the bosonic part of Φt to the complex Kaup-Kupershmidt equation after the identification wx = v and after making the linear transformation of the function v, u for arbitrary values of k1, k2
Without losing on the generality, we assume that k2 = 0, k1 = 1 and hence we consider following equation
In the components the Eq. (5.10) is
In order to find the conserved current for BN = 2 supersymmetric Kaup-Kupershmidt equation, we apply the same method as used in the supersymmetric BN = 2 Sawada-Kotera equation. Therefore, we apply the formula Eq.(3.54) in which now
Now the bi-Hamiltonian formulation is
The operator 𝒦 defines a proper symplectic operator for the BN = 2 supersymmetric Kaup-Kupershmidt equation and satisfies the condition [3]
To finish this section, let us notice that all our formulas possess the O2 superpartners.
6. Conclusion
In this paper, the method of the BN = 2 supercomplexification has been applied to the supersymmetrization of known soliton equations. In that manner, we obtained new supersymmetric KdV equation with its odd bi-Hamiltonian and Lax representation. Also, the BN = 2 supercomplexification of the Sawada-Kotera with its Lax representation and Kaup-Kupershmidt equations have been discussed. Unfortunately, we have been not able to find Lax representation for the BN = 2 Kaup-Kupershmidt equation. The unexpected feature of the supercompexification is appearance of the odd Hamiltonians operators and superfermionic conserved currents. The O2 invariance of the conserved currents and Hamiltonian operators has a special meaning here. It is similar to the invariance of the conserved currents in the complex soliton system. For example, plugging the function u ⇒ u+iv to some conserved current H = H(u, ux, ...) we obtain H ⇒ Hr +iHi where Hr and Hi are conserved too. In the N = 2 supercomplex version if H is conserved then O2(H) is also conserved. The supersymmetric Lax operator, which generates the BN = 2 supercomplex KdV equation, generates also the superfermionic conserved currents. The bosonic part of this Lax operator generates the complex KdV equation. However, we do not know how it is possible to obtain the conserved currents of complex KdV equation using this operator. On the other hand, it seems that the supercomplexification is a general method and could be applied to wide classes of integrable equations.
Acknowledgements
I would like to thank the anonymous referees for the constructive remarks.
References
Cite this article
TY - JOUR AU - Ziemowit Popowicz PY - 2021 DA - 2021/01/06 TI - N = 2 Supercomplexification of the Korteweg-de Vries, Sawada-Kotera and Kaup-Kupershmidt Equations JO - Journal of Nonlinear Mathematical Physics SP - 294 EP - 312 VL - 26 IS - 2 SN - 1776-0852 UR - https://doi.org/10.1080/14029251.2019.1591732 DO - 10.1080/14029251.2019.1591732 ID - Popowicz2021 ER -