We prove that the new Lax pair of the Sawada-Kotera equation, discovered recently by Hickman, Hereman, Larue, and Göktaş, and the well-known old Lax pair of this equation, considered in the form of zero-curvature representations, are gauge equivalent to each other if and only if the spectral parameter is nonzero, while for zero spectral parameter a nongauge transformation is required.
1. Introduction
Recently, the following interesting result was obtained by Hickman et al. [1]. It turned out that the Sawada-Kotera equation [2, 3]
(1)ut+5u2ux+5uxuxx+5uuxxx+uxxxxx=0
possesses two different Lax representations in the operator form
(2)Lψ=λψ,ψt=Mψ,
where subscripts of the scalar functions u and ψ denote respective derivatives, L and M are linear differential operators expressed in powers of the derivative operator Dx, and λ is the spectral parameter. The first Lax pair, given by the operators
(3)L1=Dx3+uDx,M1=9Dx5+15uDx3+15uxDx2+(5u2+10uxx)Dx,
is well known [4, 5]. The second Lax pair, given by the operators
(4)L2=Dx3+uDx+ux,M2=9Dx5+15uDx3+30uxDx2+(5u2+25uxx)Dx+(10uux+10uxxx),
is new, in the sense that it appeared in [1] for the first time in the literature.
Many experts, according to their private communications, noticed that the second Lax pair (4) is related to the first Lax pair (3) by the transformation
(5)L2=-L1†,M2=-M1†,
where the dagger denotes the Hermitian conjugate. This transformation (5) always turns a Lax pair of an integrable equation into a Lax pair of the same equation, but usually the resulting Lax pair has essentially the same form as the original one (we believe that for this reason no second Lax pair was discovered in [1] for the Kaup-Kupershmidt equation, in particular). Let us note, however, that the Lax pairs (3) and (4) are different in form. Some other experts, also according to their private communications, noticed that the old Lax pair (3) and the new one (4) are related to each other by the transformation
(6)L2=DxL1Dx-1,M2=DxM1Dx-1,
which corresponds to the transformation ψ↦ψx made in (2). Thus, there exist (at least) two different ways to relate the Lax pairs (3) and (4) to each other, and we believe that this point deserves further investigation using more general description of Lax pairs than their operator form.
In the present paper, we study these two Lax pairs of the Sawada-Kotera equation (1)—the old one, (2) with (3), and the new one, (2) with (4)—in the matrix form
(7)Φx=XΦ,Φt=TΦ,
or, what is the same, in the form of zero-curvature representations (ZCRs)
(8)DtX-DxT+[X,T]=0,
where Φ(x,t) is a three-component column vector, X and T are 3×3 matrices, and the square brackets denote the matrix commutator. In Section 2, we show that, for any nonzero value of the spectral parameter, the new Lax pair of the Sawada-Kotera equation and the old one are related to each other by a gauge transformation of ZCRs
(9)Φ⟼GΦ,detG≠0,X⟼GXG-1+(DxG)G-1,T⟼GTG-1+(DtG)G-1,
where G is a 3×3 matrix. In Section 3, we show that, for any value of the spectral parameter including zero, the new Lax pair and the old one are related to each other by a gauge transformation (9) combined with a different type of equivalence transformations of ZCRs (8); namely,
(10)X⟼-X~,T⟼-T~,
where the tilde denotes the matrix transpose. Section 4 contains concluding remarks.
We use computationally effective techniques, such as the method of gauge-invariant description of ZCRs, developed in [6, 7] independently, and the method of cyclic bases of ZCRs [7, 8], and follow the terminology and notations adopted in [8].
2. Nonzero Spectral Parameter
Introducing the three-component column vector
(11)Φ=(ψψxψxx),
we can rewrite the Lax pairs (2) with the operators (3) and (4) in their matrix form (7). The old Lax pair of the Sawada-Kotera equation, determined by the operators (3), corresponds to the ZCR (8) with the matrices
(12)X1=(010001λ-u0),T1=(6λu-u2+uxx9λ-3ux9λ2+3λux-3λu+v-u2-2uxx-λu2+λuxx9λ2+u3+2uuxx+vx-3λu-v),
where λ denotes the spectral parameter, and
(13)v=uxxx+uux.
The new Lax pair of the Sawada-Kotera equation, (2) with (4), corresponds to the ZCR (8) with the matrices
(14)X2=(010001μ-ux-u0),T2=(6μu+3uux+v-u2-2uxx9μ+3ux9μ2+3uuxx+vx-3μu-v-u2+uxxpq-3μu-3uux),
where μ stands for the spectral parameter, v is given by (13), and
(15)p=-μu2-2u2ux+μuxx+2uxuxx+3uv+vxx,q=9μ2+u3-3μux+2uuxx.
We have changed the notation for the spectral parameter in (14) because no relation between the parameters of (12) and (14) is assumed initially.
Let us compute the cyclic bases [7, 8] of the ZCRs (8) with the matrices (12) and (14), in order to see if there are any obstacles to relate these two ZCRs by a gauge transformation
(16)X2=GX1G-1+(DxG)G-1,T2=GT1G-1+(DtG)G-1.
For the matrix X1 given by (12) with a nonzero spectral parameter λ≠0, we find that the cyclic basis is eight-dimensional, consisting of the matrices C1,∇1C1,∇12C1,…,∇17C1, where C1 is the characteristic matrix,
(17)C1=∂X1∂u=(0000000-10),
and the covariant derivative ∇1 is defined by the relation ∇1A=DxA-[X1,A] with any 3×3 matrix A. The closure equation of the cyclic basis,
(18)∇18C1=a0C1+a1∇1C1+a2∇12C1+⋯+a7∇17C1,
has the following coefficients in this case:
(19)a0=6uux2-6uxx2-10uxv-2vxxx+(6uxuxx+2vxx)vxv,a1=4u2ux-34uxuxx-22uv-14vxx+(27λ2+4u3+6ux2+16uuxx+12vx)vxv,a2=-27λ2-4u3-10ux2-20uuxx-12vx+4uuxvxv,a3=13uux-64v+(9u2+35uxx)vxv,a4=-9u2-56uxx+21uxvxv,a5=-27ux+6uvxv,a6=-6u,a7=vxv,
where v is given by (13).
For the matrix X1 (12) with λ=0, we get quite a different situation. In this case, the dimension of the cyclic basis is five, not eight. The closure equation
(20)∇15C1=a0C1+a1∇1C1+a2∇12C1+a3∇13C1+a4∇14C1
has the coefficients
(21)a0=-2uux-2uxxx+2uxuxxu,a1=-4u2-8uxx+6ux2u,a2=-6ux,a3=-5u,a4=uxu.
For the matrix X2 (14), which contains ux, the characteristic matrix C2 is computed in the following, more general, way:
(22)C2=∂X2∂u-∇2(∂X2∂ux)=(000-100000),
where the covariant derivative ∇2 is defined by the relation ∇2A=DxA-[X2,A] with any 3×3 matrix A. The cyclic basis C2,∇2C2,∇22C2,…,∇2n-1C2 for the matrix X2 has the dimension n=8 if μ≠0 and n=5 if μ=0—the same dimensions as for the matrix X1. The coefficients of closure equations in the case of X2 are given by the expressions (19), after the replacement λ2↦μ2, for μ≠0, and by the expressions (21) for μ=0—the same expressions as for the matrix X1. Taking into account that the dimensions of cyclic bases and the coefficients of closure equations are gauge invariants, we see that the only obstacle for the existence of a gauge transformation (16) we have found so far is the condition μ2=λ2. This makes sense to try to find the matrix G of (16) explicitly.
It is very convenient to make use of the fact that, under the gauge transformation (16), the characteristic matrix and its covariant derivatives transform as tensors [6, 7]; namely,
(23)∇2kC2=G(∇1kC1)G-1,k=0,1,2,….
Denoting the elements of the matrix G as gij, i,j=1,2,3, we find from the relation
(24)C2G=GC1
that
(25)g11=g13=g33=0,g23=g12.
Next, we find from the relation
(26)(∇2C2)G=G∇1C1
that
(27)g21=g22=0,g32=-ug12.
Then, the relation
(28)(∇22C2)G=G∇12C1
leads us to
(29)g31=λg12,μ=λ.
At this point, we can immediately conclude that the conditions λ≠0 and g12≠0 hold necessarily because detG=λg123≠0. Finally, we get
(30)Dxg12=Dtg12=0
directly from (16), that is, g12=c with any nonzero constant c, and obtain
(31)G=c(010001λ-u0).
With the natural choice of c=1 in (31), we have detG=λ, and the inverse matrix G-1 does not exist for λ=0. Of course, one can take c=λ-1/3 and get detG=1, but in this case the matrix G does not exist for λ=0. As we have already pointed out above, the condition λ≠0 is necessary for the existence of the gauge transformation sought.
Consequently, the two considered ZCRs with the matrices X and T given by (12) and (14) are related to each other by the gauge transformation (16) if and only if μ=λ≠0, and the corresponding matrix G is given by (31), where one can take c=1 without loss of generality. One can see easily from (9), (11), and (31) that this gauge transformation corresponds to the transformation (6) between the Lax pairs considered in their operator form. Another way to see this consists in taking into account that G in (31) with c=1 is identical to X1 in (12), and therefore we have Φ↦GΦ=DxΦ in (9) owing to (7).
Let us note that it is a new, interesting, and quite surprising phenomenon that two ZCRs containing an essential parameter are related to each other by a gauge transformation for all values of the parameter except one value and no gauge transformation exists between those ZCRs for that single value of the parameter.
3. Arbitrary Spectral Parameter
Besides gauge transformations (9), there is a different—quite evident but rarely mentioned in the literature—nongauge type of equivalence transformations of ZCRs (8), namely, the transformation (10). Let us try to make use of a combination of transformations (9) and (10) to relate the two ZCRs given by (12) and (14) to each other.
The problem is to find a matrix G such that
(32)X2=GX3G-1+(DxG)G-1,T2=GT3G-1+(DtG)G-1,
where
(33)X3=-X~1,T3=-T~1.
Since the gauge invariants of the cyclic basis in the case of X3 coincide with the ones of X1, we omit their consideration and proceed directly to the analysis of the relations ∇2kC2=G(∇3kC3)G-1, k=0,1,2,…, where ∇3 is defined by ∇3A=DxA-[X3,A] for any 3×3 matrix A, and C3=∂X3/∂u=-C~1. From the relation C2G=GC3, we find for the elements gij of the matrix G the following: g11=g12=g32=0 and g22=-g13. Next, we find from the relation (∇2C2)G=G∇3C3 that g21=g23=0 and g33=-ug13. Then, the relation (∇22C2)G=G∇32C3 leads us to g31=g13 and μ=-λ, where g13≠0 in order to have detG≠0. Finally, we get Dxg13=Dtg13=0 directly from (32), set g13=1 without loss of generality, and obtain
(34)G=(0010-1010-u).
Consequently, the two considered ZCRs with the matrices X and T given by (12) and (14) are related to each other by the combination of transformations (32) and (33) if and only if μ=-λ, and the corresponding matrix G is given by (34). The case of zero spectral parameter is included now. Let us note that we were forced to use the nongauge transformation (10), which is evidently a counterpart of the transformation (5), in order to cover the case of zero spectral parameter, because the two studied ZCRs belong to two distinct classes of gauge equivalence if the spectral parameter is zero.
4. Conclusion
In this paper, using the method of gauge-invariant description of zero-curvature representations (ZCRs) and the method of cyclic bases of ZCRs, we have shown that the new Lax pair of the Sawada-Kotera equation, discovered recently by Hickman, Hereman, Larue, and Göktas, and the well-known old Lax pair of this equation, considered in the form of ZCRs, are gauge equivalent to each other if and only if the spectral parameter is nonzero, while for zero spectral parameter a nongauge transformation is required. As a by-product, we have obtained an interesting example of two ZCRs which share the same set of gauge invariants but cannot be related to each other by a gauge transformation.
Conflict of Interests
The author declares that there is no conflict of interests regarding the publication of this paper.
Acknowledgments
The author is grateful to Ziemowit Popowicz, Takayuki Tsuchida, Allan Fordy, and anonymous reviewers for valuable comments.
HickmanM.HeremanW.LarueJ.GöktaşÜ.Scaling invariant Lax pairs of nonlinear evolution equations201291238140210.1080/00036811.2011.629611MR28767602-s2.0-84860687952SawadaK.KoteraT.A method for finding N-soliton solutions of the K.D.V. equation and K.D.V.-like equation19745151355136710.1143/PTP.51.1355MR0437957CaudreyP. J.DoddR. K.GibbonJ. D.A new hierarchy of Korteweg-de Vries equations19763511666407422MR04870952-s2.0-0017022715DoddR. K.GibbonJ. D.The prolongation structure of a higher order Korteweg—de Vries equation19783581694287296MR0481660FordyA. P.GibbonsJ.Factorization of operators. I. Miura transformations198021102508251010.1063/1.524357MR5863282-s2.0-36749119081MarvanM.KowalskiO.KrupkaD.On zero-curvature representations of partial differential equations19931Opava, Czech RepublicSilesian University in Opava103122MR1255532SakovichS. Y.On zero-curvature representations of evolution equations199528102861286910.1088/0305-4470/28/10/016MR13438802-s2.0-21844523662SakovichS. Y.Cyclic bases of zero-curvature representations: five illustrations to one concept2004831-2698310.1023/B:ACAP.0000035589.61486.a7MR20794542-s2.0-3242755043