LPENSL-Th 05/99 solv-int/990306 Canonicity of Bäcklund transformation: r-matrix approach. I. arxiv:solv-int/990306v 25 Mar 999 E K Sklyanin Laboratoire de Physique 2, Groupe de Physique Théorique, ENS Lyon, 46 allée d Italie, 69364 Lyon 07, France Abstract. For the Hamiltonian integrable systems governed by SL2)-invariant r- matrix such as Heisenberg magnet, Toda lattice, nonlinear Schrödinger equation) a general procedure for constructing Bäcklund transformation is proposed. The corresponding BT is shown to preserve the Poisson bracket. The proof is given by a direct calculation using the r-matrix expression for the Poisson bracket. 25 March, 999 On leave from: Steklov Mathematical Institute at St. Petersburg, Fontanka 27, St. Petersburg 90, Russia. E-mail: sklyanin@euclid.pdmi.ras.ru 2 UMR 5672 du CNRS et de l ENS Lyon
In 976 Flaschka and McLaughlin [] has demonstrated that the standard Bäcklund transformation BT) for the KdV equation is canonical with respect to the associated symplectic structure. Subsequently, the canonicity of BTs has been proved for some more integrable models, see e. g. Appendix to [2]. The aim of the present paper is to apply the r-matrix formalism [3] to the problem of proving the canonicity of BT. Our proof is quite general and requires only that the Poisson brackets of the corresponding Lax operator could be written down in the r-matrix form. In our treatment of Bäcklund transformation we adopt the approach of [4] where a program has been formulated of reexamining BTs from the Hamiltonian point of view. Consider an integrable Hamiltonian system possessing a Lax matrix Lu) depending on the dynamical variables and a complex parameter u spectral parameter). The spectral invariants of Lu) are supposed to generate the commuting Hamiltonians of the system. Defining a Bäcklund transformation as a canonical transformation preserving the Hamiltonians of the system see [4] for a more detailed list of properties of BT) we conclude that it has to preserve as well the spectral invariants of Lu). As a consequence, the original matrix Lu) and the transformed one Λu) must be related by a similarity transformation Λu) = Mu)Lu)Mu). ) see [2] for a detailed account of the theory of BT as gauge transformations). An important practical question arising in the theory of BT is how to find, given a Lax matrix Lu), such a matrix Mu) which would generate a BT. To check that a matrix Mu) is admissible one needs, first, to verify that the system of equations resulting from ) is self-consistent, and, second, to proof that the resulting transformation of dynamical variables is canonical, that is preserves the Poisson bracket. Below we solve the both problems for the class of integrable systems governed by the SL2)-invariant r-matrix. Suppose that Lu) is a matrix of order 2 2 and the Poisson brackets between the entries of Lu) can be expressed in the r-matrix form [3] {L u),l 2 v)} = [r 2,L u)l 2 v)] 2) where L = L l, L 2 = l L, and r 2 = κu v) P 2 is the standard SL2)-invariant solution to the classical Yang-Baxter equation [3], κ being a constant and P 2 being the permutation operator in C 2 C 2. The class of integrable models thus defined includes such well-known models as the nonlinear Schrödinger equation, Heisenberg magnetic chain, Toda lattice [3]. When choosing an ansatz for the matrix Mu) we shall follow [5, 6] where it was observed that, in the cases of Heisenberg magnetic chain and of the lattice Landau- Lifshitz equation, the matrix Mu) happens to have the same form, as a function of u, as the corresponding elementary Lax matrix Lu) for the chain consisting only of one atom. As shown below, such choice of Mu) is valid for any integrable model governed by the r-matrix specified above. 2
Our ansatz for Mu) mimics the form of elementary Lax matrix for the isotropic Heisenberg magnetic chain [3, 5]: Mu) = u λ)l+s 3) where trs = 0, dets = µ 2 4) λ and µ being free parameters. It is convenient to perform a reparametrization λ = λ+µ, λ 2 = λ µ, so that µ = λ λ 2 )/2. The constraints 4) on the matrix S leave two more undetermined parameters. Denoting them p and q and choosing a particular parametrization of S we fix the following ansatz for Mu) Mu) = u λ +pq p pq 2 +2µq u λ 2 pq ). 5) We shall consider λ, λ 2 as the free parameters of BT. The parameters p, q are then to be determined from the equations ). Let us introduce the eigenbasis of Mu) and the dual eigenbasis = 2µ q ), 2 = 2µ as well as the corresponding spectral projectors p 2µ pq = 2µ pq, p), 2 = q, ), 7) ) 6) P ij = i j, i,j {,2} 8) satisfying P ij P kl = P il δ jk. 9) In terms of the projectors P ij the matrix Mu) and its inverse are written down, respectively, as Mu) = u λ )P +u λ 2 )P 22 0) and Note that Mu) = u λ ) P +u λ 2 ) P 22. ) detmu) = u λ )u λ 2 ). 2) Let us derive now from ) the equations determining the parameters p, q. Suppose that Lu) is polynomial in u this covers all lattice models, the continuous models can then be obtained as appropriate limits). Requiring that the transformation ) preserves the polynomiality of Lu) we conclude that the apparent poles of the righthand-side of ) at u = λ,2 due to ) should vanish, 0 = res u=λ i Λu) = λ i λ i )P i, i Lλ i )P ii, 3) 3
which gives us two equations for determining p and q as functions of the dynamical variables of the system: trp 2 Lλ ) = 0, trp 2 Lλ 2 ) = 0. 4) With the parameters p and q determined by the equations 4), the matrix Λu) is defined by ) as a function of the dynamical variables and free parameters λ,2. The next step is to show that Λu) satisfies the same Poisson bracket relations 2) as Lu): {Λ u),λ 2 v)} = [r 2,Λ u)λ 2 v)]. 5) The calculation of the Poisson brackets for Λu), though cumbersome, is quite straightforward, since all the necessary ingredients are already prepared. Substituting ) into {Λ u),λ 2 v)} and differentiating the products of matrices we obtain a rather longexpression. To write itdown inamorecompact formlet us introduce thefollowing notation L M 2 =M u){l u),m 2 v)}m u) M 2 v), 6a) M L 2 =M 2 v){m u),l 2 v)}m u) M 2 v), M M 2 =M u)m 2 v){m u),m 2 v)}m u) M 2 v), 6b) 6c) r 2 = M u)m 2 v)r 2 M u) M 2 v). 7) Using 6), 7) one can write down the left-hand-side of 5) as {Λ u),λ 2 v)} = M M 2 Λ u)λ 2 v)+ L M 2 Λ 2 v) Λ u) M M 2 Λ 2 v) + M L 2 Λ u)+[ r 2,Λ u)λ 2 v)] Λ u) M L 2 Λ 2 v) M M 2 Λ u) Λ 2 v) L M 2 +Λ u)λ 2 v) M M 2.8) Our aim is to show that the resulting expression is equal to [r 2,Λ u)λ 2 v)]. Note, first, that using the identity one can show that P 2 = P P 2 +P 2P 2 2 +P 2P 2 2 +P 22P 2 22 P 2P 2 2 P 2P 2 2 r 2 = r 2 +2µκ u λ 2 )v λ ). 9) u λ )v λ 2 ) It remains then to calculate the Poisson brackets between Lu) and Mu). To do it, we recollect the equations 4) defining implicitely p and q. The calculate the Poisson 4
brackets for p and q we shall use the trick employed in a similar situation in [7]. For any function f on the phase space we have 0={f,trP 2 Lλ )} ={f,p}tr P 2 p Lλ )+{f,q}tr P 2 q Lλ )+trp 2 {f,lλ )}, 20a) 0={f,trP 2 Lλ 2 )} ={f,p}tr P 2 p Lλ 2)+{f,q}tr P 2 q Lλ 2)+trP 2 {f,lλ 2 )}. 20b) The Poisson brackets {f,p} and {f,q} are then determined by solving the linear system 20). Using the equalities P 2 p = 0, P 2 q = 2µ P P 22 )+ p µ P 2, 2) P 2 p = P P 22, Mu) p and introducing the notation = 2µp, P 2 q = p2 2µ P P 22 ) p µ P 2, 22) Mu) q = p 2 P 2 +P 2 23) one obtains then w i λ) = trp ii Lλ), wλ) = w λ) w 2 λ) 24) {f,mv)} = 2µ wλ ) P 2tr{f,Lλ )}P 2 2µ wλ 2 ) P 2tr{f,Lλ 2 )}P 2 25) note that the last formula does not depend on parametrization of S). Now, using 2) it is easy to calculate the brackets {L u),m 2 2µκ v)} = u λ )wλ ) 2µκ u λ 2 )wλ 2 ) w λ )P 2L u)p 2 2 w 2 λ )L u)p 2P 2 ) 2 w 2 λ 2 )P 2L u)p 2 2 w λ 2 )L u)p 2P 2 ) 2 26), {M u),l 2 v)} = + 2µκ v λ )wλ ) 2µκ v λ 2 )wλ 2 ) w λ )P 2P 2 2L 2 v) w 2 λ )P 2L 2 v)p 2 ) 2 w 2 λ 2 )P 2P 2 2L 2 v) w λ 2 )P 2L 2 v)p 2 ) 2,27) {M u),m 2 v)} = 2µκw λ )w 2 λ 2 ) w 2 λ )w λ 2 )) wλ )wλ 2 ) 5 P 2P 2 2 P 2P 2 ) 2, 28)
Recalling the notation 6) one arrives to the expressions L M 2 2µκ w λ ) = u λ 2 )v λ ) wλ ) P 2Λ u)p 2 2 w ) 2λ ) wλ ) Λ u)p 2P 2 2 2µκ w2 λ 2 ) u λ )v λ 2 ) wλ 2 ) P 2Λ u)p 2 2 w ) λ 2 ) wλ 2 ) Λ u)p 2P 2 2,29) M L 2 = µκ w λ ) u λ )v λ 2 ) wλ ) P 2P 2 2Λ 2 v) w ) 2λ ) wλ ) P 2Λ 2 v)p 2 2 µκ w2 λ 2 ) + u λ 2 )v λ ) wλ 2 ) P 2P 2 2Λ 2 v) w ) λ 2 ) wλ 2 ) P 2Λ 2 v)p 2 2,30) M M 2 = 2µκw λ )w 2 λ 2 ) w 2 λ )w λ 2 )) wλ )wλ 2 ) P 2P 2 2 P 2P 2 2 u λ 2 )v λ ). 3) u λ )v λ 2 ) Finally, substituting 29), 30), 3) together with 9) into 8), we obtain, after massive cancellations, the equality 5) which finishes the proof of the canonicity of Bäcklund transformation. Discussion In this paper, we have studied only the case of the XXX type r-matrix. There is little doubtthatourresults canbegeneralized tothecases ofxxzandxyztype r-matrices. Taking the limit of linear Poisson brackets {L u),l 2 v)} = [r 2,L u)+l 2 v)] 32) one obtains, as a corollary, the canonicity of BT for the Gaudin model [7]. The proof of canonicity of BT given in the present paper, being quite simple and straightforward, does not explain, however, the reasons why we should choose for M the same ansatz 3) as for L. An answer to this question is given in the second part of our paper which is being prepared for publication. Acknowledgements I am grateful to V. B. Kuznetsov and F. Nijhoff for their interest in the work and useful discussions. This work was started during my stay at the Department of Mathematics, the University of Leeds. and benefited from the financial support of EPSRC. 6
References [] H. Flaschka and D.W. McLaughlin, Some comments on Bäcklund transformations, canonical transformations, and the Inverse Scattering Method, In: Bäcklund Transformations, ed. by R.M. Miura, Lect. Notes in Math. 55 976) 253 295 [2] V.B. Matveev and M.A. Salle, Darboux Transformations and Solitons, Berlin: Springer 99). [3] L.D. Faddeev and L.A. Takhtajan, Hamiltonian Methods in the Theory of Solitons, Berlin: Springer 987). [4] V.B. Kuznetsov and E.K. Sklyanin, On Bäcklund transformations for many-body systems, J. Phys. A: Math. Gen. 3 998) 224 225. [5] G.R.W. Quispel, F.W. Nijhoff, H.W. Capel and J. van der Linden, Linear integral equations and nonlinear difference-difference equations, Physica 25A984) 344 380. [6] F.W. Nijhoff and V. Papageorgiou, Lattice equations associated with the Landau- Lifshitz equations, Phys. Lett. A 4 989) 269 274. [7] E.K. Sklyanin, Separation of variables. New trends. Progr. Theor. Phys. Suppl. 8 995) 35 60. [8] E.K. Sklyanin. Canonicity of Bäcklund transformation: r-matrix approach. II, solv-int/990307; to be published in: Trudy MIAN, v. 226999), Moskow, Nauka. 7