arxiv:math/ v1 [math.dg] 9 Aug 1998

Transcription

1 Preprint CNLP arxiv:math/ v1 [math.dg] 9 Aug 1998 INTEGRABLE GEOMETRY and SOLITON EQUATIONS IN 2+1 DIMENSIONS 1 R.Myrzakulov Centre for Nonlinear Problems, PO Box 30, , Alma-Ata-35, Kazakhstan cnlpmyra@satsun.sci.kz Abstract Using the differential geometry of curves and surfaces, the L-equivalent soliton equations of the some dimensional integrable spin systems are found. These equations include the modified Novikov-Veselov, Kadomtsev- Petviashvili, Nizhnik-Novikov-Veselov and other equations. Some aspects of the connection between geometry and multidimensional soliton equations are discussed. 1 Preprint CNLP Alma-Ata.1994

2 1 Introduction The relation between geometry and soliton equations has been the subject of continued interest in recent years[1-9]. In general the connection between geometry and nonlinear partial differential equationsnpde has the long history for a historical review, see, e.g., [4]. Spin systems which are the important from physical and mathematical point of views subclass of NPDE are a good laboratory to demonstrate and to understand the connection of geometry and NPDE. The first representative of integrable spin systems is the isotropic Landau-Lifshitz equationlle[2,10] S t = S S xx 1 where S 2 = E = ±1. Here and hereafter subcripts denote partial derivatives. Pioneering work by Lakshmanan [2] showed that the LLE 1 is equivalent to the known nonlinear Schrodinger equationnlse iq t +q xx +2E q 2 q = 0 2 for the case E = +1 for the case E = 1 the such equivalence was established in [17]. This equivalence in [17] we called the Lakshmanan equivalence or shortly L-equivalence. As well known between equations1 and 2 take place the gauge equivalence[15]. Letus, first, webrieflyrecall someofthewell knownfacts on thegeometrical formalism that used in [2], with the minor modifications including the case E = 1 of ref.[17]. Consider the motion of curves which are given by with C = Hence we have 0 k 0 Ek 0 τ 0 τ 0 x t = C = G, G =, 3a 0 ω 3 ω 2 Eω 3 0 ω 1 Eω 2 ω b C t G x +[C,G] = 0 4 Here,, denoterespectivelytheunittangent, normalandbinornalvectors, defined in the usual way, k and τ are respectively the curvature and torsion of the curve. Note that 3a is the usual Serret-Frenet equation SFE. If S =, then the function q = k 2 e i 1 x τ satisfies the NLSE2, that is, equations1 and 2 are L-equivalent each to other. 1

3 As known recently many efforts have been made to study the2+1-dimensional integrable NPDE[11-14]. Here we have the interesting fact: the dimensional integrable NPDE admit some number not one integrable and nonintegrable dimensional generalizations. So, for example, the LLE1 has the following dimensional integrable and nonintegrable extensions: 1. The Myrzakulov I M-I equation[17] S t = S S y +u S x u x = S Sx S y 5a 5b 2. The Myrzakulov VIII M-VIII equation[17] is t = 1 2 [S xx,s]+iws x 6a w y = 1 4i trs[s x,s y ] 6b 3. The Ishimori equation[17] is t [S,1 4 S xx +α 2 S yy ]+iu y S x +iu x S y = 0 7a α 2 u yy 1 4 u xx = α2 4i trs[s y,s x ] 4. The Myrzakulov IX M-IX equation[17] 7b is t [S,M 1S]+A 2 S x +A 1 S y = 0 8a M 2 u = α2 4i trs[s y,s x ] 5. The Myrzakulov XVIII M-XVIII equation[17] 8b is t [S,1 4 S xx α2b+1s xy +α 2 S yy ]+A 20 S x +A 10 S y = 0 9a α 2 u yy 1 4 u xx = α2 4i trs[s y,s x ] 6. The dimensional LLE 9b S t = S S xx + S yy 10 All of these equations in 1+1 dimension reduce to the LLE1. Note that here the Ishimori7, M-I5, M-VIII6, M-IX8 and M-XVIII9 equations are integrable, at the same time equation 10 is not integrable. In the study of the dimensional NPDE naturally arise the following questions: 1. What is the analog of the SFE3a in 2+1 dimensions? 2

4 Answer: The analog of the SFE3a in 2+1 dimensions is the following set of equations: = C, = D 11 with C = x 0 k 0 Ek 0 τ 0 τ 0, D = y 0 m 3 m 2 Em 3 0 m 1 Em 2 m In [17], this set of equations was called the Serret-Frenet-Myrzakulov equationsfme. [ Compare the SFME11 with the usual SFE3a]. Note that from the SFME11 follows the following conditions C y D x +[C,D] = 0, 13a or in terms of elements m 1 = 1 x τ y +Ekm 2, m 2 = 1 x km 1 τm 3 m 3 = 1 x k y τm 2. 13b 13c 13d These conditions play a key role in the geometrical interpretation of the dimensional NPDE from the integrability point of view. In particular, as it seems to us, these conditions suggest to us, how find the integrable reductions of the dimensional NPDE. Let us return to questions. 2. What is the 2+1-dimensional version of the L-equivalence? 3. How find the L-equivalent counterparts of the known and new integrable and nonintegrable NPDE? and so on. May be the some answers of the some these questions were given in [17]. It should be noted that the SFME11 plays a key role in our construction. The other new moment of our formalism, that is, it contain both cases: the focusing version when E = +1 the Euclidean case and the defocusing case when E = 1 the Minkowski case. Third, the central element of our construction is the Myrzakulov - 0M-0 equation. Let us consider a n-dimensional space R n with the unit basicvectors e j,j = 1,2,...,n. Let S, S 2 1 = E = ±1. Then, for example, the dimensional M-0 equation reads as[9] n S t = a j e j j=2 S x = S y = n b j e j j=2 n c j e j j=2 14a 14b 14c 3

5 n S z = d j e j j=2 14d In this paper we consider the some integrable reductions of the dimensional M-0 equation. Using the geometrical formalism the L-equivalent counterparts of the some dimensional integrable spin systems were found. 2 The Myrzakulov XVII equation The Myrzakulov XVIIM-XVII equation S t = 1 4 S xxx 3 4 S xyy +C 1 Sx +C 2 Sy +C 3 S, 15a V x +iv y = 1 8 [ S 2 x + S 2 y x i S 2 x + S 2 y y] 15b was introduced in [17] and arises from the compatibility conditions of the linear problem Φ y = SΦ x, Φ t = Φ xxx +B 2 Φ xx +B 1 Φ x 16 Here B 2 = 3 2 SS x, B 1 = 3 4 SS xx Sx+ 2 S y+8 V+8VI i V VS+ 2 8 S{S x,s y }+ 3i 4 S xy C 1 = 3 16 S 2 x + S 2 y +8 V +8V, C 2 = 3 4 2i V 2iV S x Sy, C 3 = 3 2 {[ V +V 3 8 S 2 x ] x S x Sy y }S = 1 4 S3 S xyy S xxx, S = S 1,S 2 is the spin vector, S 2 = E = ±1, V is scalar function, S = 3k=1 S k σ k S 3 = 0, σ k are Pauli matrix, σ 1 = , σ 2 = 0 i i 0, σ 3 = It is convenient sometimes the following form of the M-XVII equation S t = S zzz + S z z z +C Sz +C + S z +C 3 S, V z = 1 2 S z S z z 17a 17b where z = x+iy. 3 The Serret-Frenet-Myrzakulov equation and the mnve as the L-equivalent counterpart of the M- XVII equation In this section we find the L-equivalent counterpart of the M-XVII equation15. To this purpose, following[17] we consider the motion of 2-dimensional curves. 4

6 The Serret-Frenet-Myrzaluov equationsfme in this case has the form[17] e1 e1 e1 e1 = C, = D, 18 x y with C = 0 k Ek 0, D = 0 m Em 0, 19 where m = x 1k y. [ Compare the SFME18 with the usual SFE e1 e1 0 k = C, C = ] Ek 0 x At the same time the time evolution of curve is specified by e1 e1 = G. 20 Here e k are a unit basic vectors, G = t 0 ω Eω 0 k is the curvature of curve. From these equations we have, 21 C y D x +[C,D] = 0, C t G x +[C,G] = 0, D t G y +[D,G] = So we get k t = ω x, m t = ω y. 23 Let S. Then we obtain ω = 1 4 k xx 3k yy 1 4 k3 km 2 +c 1 k +c 2 m. 24 with c 1 = 3 16 k2 +m 2 +8 V +8V, c 2 = 3 4 2i V 2iV km. Now introduce the following new real function q = [k 2 /4+ 1 x k y 2 ] It is not difficult check that this function satisfies the following modified Novikov- Veselov equationmnve q t = q zzz +3Vq z V zq+q z z z +3 Vq z V z q V z = q 2 z. 26a 26b 5

7 where z = x + iy. As well known this equation was introduced in[26] and is associated with the Lax representation L mnv q Ψ = Ψ = 0 27a q where A + = qz 0 V Ψ t = A + +A Ψ 0 2qV 0 V z, A = 3 +3 V 0 q z 0 27b V z 0 2q V 0. So we have proved that the mnve26 and the M-XVII equation15 are L- equivalent each to other that coincide with the fact that these equations too are gauge eqivalent each to other[16]. 4 The related spin systems and their L-equivalents 4.1 The Myrzakulov XI equation The mnv equation26 is the some modification of the Novikov - Veselov equationnve q t = q zzz +q z z z +Vq z + Vq z, 28a V z = 3q 2 z. 28b The NV equation28 was introduced in[24-25]. In contrast with the mnve, the NVE28 is associated with the L,A,B- triple t LNV +[L NV,A] BL NV = 0, 29 L NV = +q, A = 3 +V V, B = V + V. 30 Let us consider the other form of the NVE q t = αq xxx +βq yyy 3αvq x 3βwq y w x = q y v y = q x. This equation is the compatibility condition of the linear problem φ xy = qφ 31a 31b 31c 32a φ t = αφ xxx +βφ yyy 3αvφ x 3βwφ y 32b and introduced in[24-25]. Here note the NVE31 is the Lakshmanan equivalent to the following 2+1-dimensional integrable spin model - the socalled M-XI equation[17] S t = ω k S x 33 6

8 with where q = 1 x k. ω = αq xxx +βq yyy 3αvq x 3βwq y v y = k w x = m 34a 34b 34c 4.2 The Myrzakulov X equation Similarly we can show that the M-X equation S t = 3k 2 +k xx +3α 2 wk 1 Sx w xx = k yy 35a 35b is equivalent to the famous Kadomtsev - Petviashvili equationkpe with q = k. q t 6qq x q xxx x = 3α 2 q yy 36 5 Conclusion We have discussed the differential geometrical approach to study the some properties of soliton equations in 2+1 dimensions. Using the geometrical formalism which was presented in[17], the L-equivalent counterparts of the some integrable dimensional spin systems are obtained. So we have shown that the Lakshmanan equivalent soliton equations of the M-XVII, M-XI and M-X equations are the well known modified Novikov - Veselov, Novikov - Veselov and Kadomtsev - Petviashvili equations respectively. Finally note that the some other aspects of the some spin systems were considered in [19-23]. 6 Appendix A: On the some integrable 2+1-dimensional spin systems 6.1 The Myrzakulov IX equation We note that the M-XVII equation15 is related with the Myrzakulov - IXM- IX hierarchy where α,b,a= consts and S3 rs S = rs + S 3 is t [S,M 1S]+A 2 S x +A 1 S y = 0 M 2 u = α2 4i trs[s y,s x ], S ± = S 1 ±is 2, S 2 = I, r 2 = ±1 37a 37b 7

9 M 1 = α αb a y2 x y +a2 2ab b 2 x 2; M 2 = α α2a+1 +aa+1 y2 x y x 2, A 1 = 2i{2ab+a+bu x 2b+1αu y } A 2 = 2i{2ab+a+bu y α 1 2a 2 b+a 2 +2ab+bu x }. These set of equations is integrable and the Lax representation of the M-IX equation37 is given by[17] with αφ y = 1 2 [S +2a+1I]Φ x Φ t = i 2 [S +2b+1I]Φ xx + i 2 WΦ x W 1 = W W 2 = 2b+1E +2b a+ 1 2 SS x +2b+1FS 38a 38b W 2 = W W 1 = FI S x +ES +αss y E = i 2α u x, F = i 2 2a+1u x 2u y α It is well known that the M-IX equation37 is equivalent to the following Zakharov equation[13] iq t +M 1 q +vq = 0, 39a ip t M 1 p vp = 0, M 2 v = 2M 1 pq, 39b 39c where v = ic 11 c 22, p = E q. It is interest note that the M-IX equation37 admits the some integrable reductions. Let us now present these particular integrable cases. 6.2 The Myrzakulov VIII equation Let b = 0. Then equations37 take the form is t = 1 2 [S ξξ,s]+iws ξ 40a w η = 1 4i trs[s ξ,s η ] 40b where ξ = x+ a+1 α y, η = x a α y, w = u ξ, which is the M-VIII equation[17]. The equivalent counterpart of the M-VIII equation40 we obtain from39 as b = 0 iq t +q ξξ +vq = 0, v η = 2r 2 qq ξ, which is the other Zakharov equation[13]. 8 41a 41b

10 6.3 The Ishimori equation Now consider the case: a = b = 1 2. In this case equations37 reduces to the well known Ishimori equation is t [S,1 4 S xx +α 2 S yy ]+iu y S x +iu x S y = 0 42a α 2 u yy 1 4 u xx = α2 4i trs[s y,s x ] 42b The equivalent counterpart of the equation42 is the Davey-Stewartson equation iq t q xx +α 2 q yy +vq = 0 43a α 2 v yy 1 4 v xx = 2{α 2 pq yy pq xx} 43b that follows from the ZE39. Note that equations 42 and 43 are gauge equivalent each to other[11]. 6.4 The Myrzakulov XVIII equation Consider the reduction: a = 1 2. Then 37 reduces to the M-XVIII equation[17] is t [S,1 4 S xx α2b+1s xy +α 2 S yy ]+A 20 S x +A 10 S y = 0 44a α 2 u yy 1 4 u xx = α2 4i trs[s y,s x ] 44b where A j0 = A j as a = 1 2. The corresponding gauge equivalent equation obtain from39 and looks like iq t q xx α2b+1q xy +α 2 q yy +vq = 0 45a α 2 v yy 1 4 v xx = 2{α 2 pq yy α2b+1pq xy pq xx} 45b Note that the Lax representations of equations40, 42 and 44 we can get from 38 as b = 0,a = b = 1 2 and a = 1 2 respectively. 7 Appendix B: Differential geometry of surfaces and the M-XXII equation Consider the Myrzakulov M-XXII equation[17] is t = 1 2 [S,S y]+2ius x + i 2 V 1S x 2ib 2 S y u x = S S x S y, V 1x = 1 4b 2 S 2 x y, 46a 46b 9

11 where S = S 1,S 2,S 3 is a spin vector, S 2 = E = ±1. These equations are integrable. The corresponding Lax representation is given by[17] Φ x = { iλ 2 b 2 S + λ b 2b SS x}φ 47a with Φ t = 2λ 2 Φ y +{λ 2 b 2 2A+B+λ bc}φ 47b A = 1 4 [S,S y]+2ius+ i 4 V 1S, B = i 2 V 1S, C = V 1 4b 2SS x+ i 2b {S xy [S x,a]}. Here spin matrix has the form S3 rs S = rs +, S 2 = I, r 2 = ±1, S ± = S S 1 ±is 2. 3 Now find the Lakshmanan equivalent counterpart of the M-XXII equation 46 for the case E = +1 for the case E = 1, see, e.g., [17]. To this end we can use the two geometrical approachesd- and C-approaches. Let us use the C-approach, i.e., the surface approach. Consider the motion of surface in the 3- dimensional space which generated by a position vector rx,y,t = rx 1,x 2,t. According to the C-approach, x and y are local coordinates on the surface. The first and second fundamental forms in the usual notation are given by I = d rd r = Edx 2 +2Fdxdy+Gdy 2, II = d rd n = Ldx 2 +2Mdxdy +Ndy 2 where E = r x r x = g 11, F = r x r y = g 12, G = r y 2 = g 22, 48 L = n r xx = b 11, M = n r xy = b 12, N = n r yy = b 22, n = r x r y r x r y.. In this case, the set of equations of the C-approach[17], becomes r t = W 1 r x +W 2 r y +W 3 n 49a r xx = Γ 1 11 r x +Γ 2 11 r y +L n r xy = Γ 1 12 r x +Γ 2 12 r y +M n r yy = Γ 1 22 r x +Γ 2 22 r y +N n n x = p 1 r x +p 2 r y n y = q 1 r x +q 2 r y 49b 49c 49d 49e 49f where W j are some functions, Γ k ij are the Christoffel symbols of the second kind defined by the metric g ij and g ij = g ij 1 as The coefficients p i,q i are given by Γ k ij = 1 2 gkl g lj x i + g il x j g ij x l 50 p i = b 1j g ji, q i = b 2j g ji

12 The compatibility conditions r xxy = r xyx and r yyx = r xyy yield the following Mainardi-Peterson-Codazzi equations MPCE R l ijk = b ij b l k b ik b l j, b ij x k b ik x j = Γs ikb is Γ s ijb ks 52 where b j i = gjl b il and the curvature tenzor has the form where Let Z = r x,r y,n t. Then R l ijk = Γl ij x k Γl ik x j +Γs ij Γl ks Γs ik Γl js 53 Γ 1 11 Γ 2 11 L A = Γ 1 12 Γ 2 12 M p 1 p 2 0 Z x = AZ, Z y = BZ 54, B = Hence we get the new form of the MPCE52 Let us introduce the orthogonal trihedral[17] Γ 1 12 Γ 2 12 M Γ 1 22 Γ 2 22 N q 1 q A y B x +[A,B] = 0 56 = r x E, = n, = 57 Let r x 2 = E = ±1 and F = 0. Then the vectors e j satisfy the following Serret-Frenet-Myrzakulov equationsfme = C, = D 58 and the time equation with C = 0 k 0 Ek 0 τ 0 τ 0 x, D = t = G y 0 m 3 m 2 Em 3 0 m 1 Em 2 m , G = 0 ω 3 ω 2 Eω 3 0 ω 1 Eω 2 ω 1 0, where k = L 2, τ = MG 1/2. 60 Hence we have C y D x +[C,D] = 0, C t G x +[C,G] = 0, D t G y +[D,G] =

13 Now let S =. Let us now introduce the new function q by q = k 2b expi[1 8 1 x k 2 b 2 4τ 2b 2 x] 62 Then the function q satisfies the following equations[17] iq t +q yx + i 2 [V 1q x V 2 q qpq y ] = 0 63a ip t p yx + i 2 [V 1p x +V 2 p qpp y ] = 0 63b V 1x = pq y, V 2x = p yx q pq yx 63c where p = E q. This set of equations is the L-equivalent counterpart of the M-XXII equation46. As it seems to us, equations 63 are new integrable equation. We will call 63 the M-XXII q equation. Now let us consider the following transformation q = qexp i 2 1 x q 2 64 Then the new variable q satisfies the Strachan equation[18] iq t +q xy +ivq x = 0, V x = E q 2 y. 65 We see that the M-XXII q equation7 and the Strachan equation22 is gauge equivalent to each other. References [1] A. Sym // Springer Lecture Notes in Physics, edited by R. Martini Springer, Berlin 1985 v.239, p 154 [2] M. Lakshmanan // Phys. Lett., v.a61, ; J. Math. Phys., v.20, [3] K. Nakayama, H. Segur and M. Wadati//Phys.Rev.Lett. v.69, N18, [4] A. Doliwa and P.M. Santini // Phys. Lett., v.a185, [5] A.Bobenko // Surfaces in terms of 2 by 2 matrices. Old and new integrable cases. In: Harmonic maps and integrable systemsvieweg, Aspects Math. E23, [6] J.Cieslinski, A.Sym and W.Wesselius //J.Phys.A: Math. Gen., v.26, [7] R. Balakrishnan, A.R.Bishop and R.Dandoloff// Phys.Rev., B47, [8] W.Zakrzewski // Low dimensional sigma models Hilger,

14 [9] B.G.Konopelchenko // Multidimensional integrable systems and dynamics of surfaces in space Preprint, Acad.Sinica, Taipei, 1993 [10] L.A. Takhtajan // Phys. Lett., v.a64, [11] B.G.Konopelchenko//Solitons in multidimensions.world Scientific. Singapore [12] M.J. Ablowitz and P.A. Clarkson // Solitons, Nonlinear evolution equations and Inverse Scattering. Cambridge University Press, Cambridge, 1991 [13] V. E. Zakharov // Solitons. eds. by R.K. Bullough and P.J. Caudrey Springer, Berlin, 1980 [14] M.Boiti, L.Martina and F.Pempinelli // Multidimensional localized solitons [15] V. E. Zakharov, L. A. Takhtajan //Theor. Math. Phys v.38. p.17. [16] G. N. Nugmanova// The Myrzakulov equations: the gauge equivalent counterparts and soliton solutions. Alma-Ata 1992 [17] R. Myrzakulov // On some integrable and nonintegrable soliton equations of magnets HEPI, Alma-Ata, 1987 [18] I. A. B. Strachan // J. Math. Phys., v.34, [19] G.N.Nugmanova// On magnetoelastic solitons in ferromagnet. Preprint CNLP Alma-Ata [20] R. Myrzakulov // Soliton equations in 2+1 dimensions and Differential geometry of curves/surfaces. Preprint CNLP Alma-Ata [21] R. Myrzakulov // A dimensional integrable spin model the M- XXII equation and Differential geometry of curves/surfaces. Preprint CNLP Alma-Ata [22] R. Myrzakulov // The gauge equivalence of the Zakharov equations and dimensional continuous Heisenberg ferromagnetic models. Preprint CNLP Alma-Ata [23] R. Myrzakulov// Gauge equivalence between two- dimensional Heisenberg ferromagnets with single- site anisotropy and Zakharov equations. Preprint CNLP Alma-Ata [24] L.P. Nizhnik //DAN SSSR, v.254, [25] A.P. Veselov and S.P.Novikov //DAN SSSR, v.279, [26] L.V.Bogdanov // Theor. and Math. Phys., v.70,