We study Lax triples (i.e., Lax representations consisting of three linear equations) associated with families of surfaces immersed in three-dimensional Euclidean space E3. We begin with a natural integrable deformation of the principal chiral model. Then, we show that all deformations linear in the spectral parameter λ are trivial unless we admit Lax representations in a larger space. We present an explicit example of triply orthogonal systems with Lax representation in the group Spin(6). Finally, the obtained results are interpreted in the context of the soliton surfaces approach.
Polish Ministry of Science and Higher Education1. Introduction
We consider geometric problems associated with Lax triples, that is, Lax representations consisting of three linear equations with a spectral parameter. They can be interpreted as integrable deformations of problems corresponding to one of the involved Lax pairs. The problem of finding integrable deformations of surfaces in E3 is an interesting and nontrivial task. There are just few papers on that subject; see, for example, [1–3]. However, we point out that the central result of [1], namely, Theorem 3.2, is wrong. This theorem claims that for any augmented system of Gauss-Mainardi-Codazzi equations there exists an explicit Lax representation with the spectral parameter: system (3.6) in [1]. Unfortunately, one can easily check that the spectral parameter can be easily eliminated from this system by performing simple algebraic calculations.
In this paper we suggest another methodology. We start from Lax representations of prescribed form in order to obtain special cases of integrable systems. We checked two cases: Lax representations with three different simple poles (an integrable deformation of the principal chiral model; see Section 2) and Lax representations linear in the spectral parameter. All SU(2)-valued Lax representations linear in λ turned out to be trivial; see Section 3. However, there exists a nontrivial Lax representation in a larger space for a special class of orthogonal nets in E3 [4]; see also Section 4. Finally, in Section 5, we shortly present more general context for studying integrable differential geometry: soliton surfaces approach [5] and Lie point symmetries for introducing the spectral parameter [6, 7].
Throughout this paper we usually use the Lie group SU(2) instead of SO(3), taking into account the isomorphism of corresponding Lie algebras: so(3)≃su(2). We can assume, for instance, (1)0-a3-a2a30a1a2-a10⟷-i2a3a1-ia2a1+ia2-a3.SU(2) is double covering of SO(3), so all our results can be projected on SO(3) when necessary. In Section 4 we make use of another isomorphism, su(2)≃spin(3). Actually, also SU(2)≃Spin(3).
2. An Integrable Deformation of the Principal Chiral Model
The principal chiral model is defined by the following system of two equations [8–10]: (2)At=12B,A,Bx=12A,B,where A, B are elements of a Lie algebra g. Equations (2) are equivalent to (3)At-Bx+A,B=0,At+Bx=0.The chiral model has the Lax representation (4)Ψx=A1-λΨ,Ψt=B1+λΨ,where Ψ=Ψ(x,t;λ)∈G (G is the corresponding Lie group). The chiral model is integrable in the sense of the theory of solitons. In particular, Darboux transformation and multisoliton solutions are known [10]. Denoting Φ=Ψ(x,t;0) we can express A and B in terms of Φ: (5)A=ΦxΦ-1,B=ΦtΦ-1.Then the first equation of (3) is identically satisfied and system (3) reduces to a single equation for Φ: (6)ΦxΦ-1t+ΦtΦ-1x=0.By changing variables ξ=(1/2)(x+t), η=(i/2)(t-x), we transform (6) into (7)ΦξΦ-1ξ+ΦηΦ-1η=0.Solutions to this equation are harmonic maps from R2 into G provided that ξ, η are real [9, 11].
We propose an extension of the principal chiral model which is derived from the following Lax representation:(8)Ψx=A1-λΨ,Ψt=B1+λΨ,Ψy=κCκ-λΨ,where κ∈R (we assume κ≠1), Ψ=Ψ(x,t,y;λ) takes values in a Lie group G, and A, B, C belong to the corresponding Lie algebra g. In particular, we can take G=SU(2). This case yields an integrable deformation of surfaces in E3. Compatibility conditions for (8) read(9)At=12B,A,By=κ1+κC,B,Cx=11-κA,C,Bx=12A,B,Ct=11+κB,C,Ay=κ1-κA,C.Denoting Φ=Ψ(x,t,y;0) we have, similarly to the chiral model case,(10)A=ΦxΦ-1,B=ΦtΦ-1,C=ΦyΦ-1.Then, compatibility conditions (9) reduce to three equations for one function Φ:(11)ΦxΦ-1t+ΦtΦ-1x=0,ΦxΦ-1y-κΦyΦ-1x=0,ΦtΦ-1y+κΦyΦ-1t=0.
Proposition 1.
Any solution Φ0(x,t) of the chiral model (6) admits an extension (unique up to translations in y) to a solution Φ of the deformed chiral model (11) such that Φ(x,t,y0)=Φ^0(x,t) for some y0.
Proof.
System (11) is equivalent to(12)ΦxΦ-1t+ΦtΦ-1x=0,1-κΦxy-ΦxΦ-1Φy+κΦyΦ-1Φx=0,1+κΦty-ΦtΦ-1Φy-κΦyΦ-1Φt=0.The last two equations of (12) can be rewritten as a linear system for one unknown Φy:(13)∂∂xΦy=AΦy-κΦyA^1-κ,∂∂tΦy=BΦy+κΦyB^1+κ,where A^=Φ-1AΦ and B^=Φ-1BΦ. Therefore, let us consider linear system(14)∂Γ∂x=AΓ-κΓA^1-κ,∂Γ∂t=BΓ+κΓB^1+κ.We will show that the compatibility conditions for (14) are equivalent to the first equation of (12) which, in turn, is equivalent to (3). Compatibility conditions Φyx=Φxy can be written as (15)PΦy-ΦyQ=0,where(16)P=1+κAt+AB-1-κBx-BA,Q=κ1+κA^t+κ2B^A^-κ2A^B^+κ1-κB^x.We immediately see that (3) imply P=0. In order to show Q=0 we compute (17)A^t=Φ-1At+A,BΦ,B^x=Φ-1Bx+B,AΦ,A^,B^=Φ-1A,BΦ.Therefore, (18)A^t-B^x-A^,B^=Φ-1At-Bx+A,BΦ=0,A^t+B^x=Φ-1At+BxΦ=0,where we once more took into account (3). Equations (18) imply Q=0.
Thus, given a solution Φ0 of (6) we obtain a unique solution Γ0 of linear system (14). Then, we define Φ(x,t,y0)≔Φ0(x,t) and interpret Γ0(x,y) as y-derivative of Φ(x,t,y) at y=y0.
We proceed to showing the integrability of deformed chiral model (11) by constructing the Darboux-Bäcklund transformation, following [12]. In what follows we usually suppress the dependence on x, t, y, sometimes also the dependence on λ. We will write, for instance, D(λ) or D instead of D(x,t,y;λ).
Lemma 2.
The Darboux transformation Ψ~=DΨ with a canonical normalization (i.e., D(∞)=I) applied to a linear problem Ψx=U(λ)Ψ preserves the constraint U(∞)=0.
Proof.
We have U~=DxD-1+DUD-1. Therefore, the canonical normalization implies U~(∞)=U(∞).
Proposition 3.
The Darboux transformation for GL(n)-valued linear problem (8) is given by (19)Ψ~λ=fλI+λ1-μ1λ-λ1PΨλ,where f(λ) is a constant (i.e., it does not depend on x, t, y), λ1 and μ1 are complex parameters, and P is uniquely defined by its kernel kerP=Ψ(λ1)Vker and image ImP=Ψ(μ1)VIm, where Vker and VIm are subspaces of Cn such that Vker⊕VIm=Cn and Ψ(λ) is a solution of (8) assumed to be known. The corresponding transformation for the chiral field Φ reads(20)Φ~=f0I+μ1-λ1λ1PΦ,where f0≡f(0) is a constant. The reduction SL(n,C) consists in choosing (21)fλ=λ-λ1λ-μ1d/n,where d=dimImP. The reduction U(n) consists in adding the following constraints: μ1=λ¯1 and VIm is orthogonal to Vker.
Proof.
Formula (19) preserves all poles of the linear problem (8), as shown, for instance, in [12]. There is also another condition to be preserved: all matrices of our linear problem vanish at λ=∞. By Lemma 2 this constraint is preserved by any Darboux matrix with the canonical normalization. Formula (20) follows from (19) by substitution λ=0. In particular, we have Φ=Ψ(0). Implications of the reductions U(n) and SL(n,C) are described in [12] in detail.
Proposition 3 proves integrability of the related nonlinear system. All steps of the proof are exactly the same as in the case of the principal chiral model. Therefore, multisoliton solution can be obtained in the standard way; see [10, 13].
3. SU(2)-Valued Lax Triples Linear in λ Are Trivial
Let us consider SU(2)-valued Lax representations linear in λ: (22)Ψx=A+λLΨ,Ψt=B+λMΨ,Ψy=C+λNΨ,where A, B, C, L, M, N are su(2)-valued functions of x, t, y (without dependence on λ) and Ψ=Ψ(x,t,y;λ)∈SU(2). Subscripts x, t, y denote differentiation. Compatibility conditions (Ψxt=Ψtx, Ψty=Ψyt, Ψxy=Ψyx) read(23)L,M=0,L,N=0,M,N=0,(24)At-Bx+A,B=0,By-Ct+B,C=0,Cx-Ay+C,A=0,(25)Lt-Mx+L,B+A,M=0,My-Nt+M,C+B,N=0,Nx-Ly+N,A+C,L.We make use of isomorphism E3≃su(2), where by E3 we mean the three-dimensional Euclidean space with scalar and skew product. In this isomorphism the scalar product is identified with the Killing-Cartan form (without entering into details we denote by e1, e2, e3 one of the orthonormal frames) and the skew product with the Lie bracket (commutator of matrices). In particular, vanishing commutator of two elements means that they are parallel and so forth.
The first set of compatibility conditions, namely, (23), can be easily solved: L, M, N are parallel. Therefore, there exists a unit matrix m∈su(2) and real functions α, β, γ such that(26)L=αm,M=βm,N=γm.Any unit element m∈su(2) can be obtained from any constant unit element, say e3, by a rotation. In other words, there exists T∈SU(2) such that (27)m=T-1e3T. Substituting (26) into (25) we get (28)αtm+αmt-βxm-βmx+αm,B+βA,m=0,βym+βmy-γtm-γmt+βm,C+γB,m=0,γxm+γmx-αym-αmy+γm,A+αC,m=0.Taking into account that any [m,X] is orthogonal to m (for any X) and any derivative of m is orthogonal to m (because m is a unit element), we can decompose (28) into parallel and orthogonal parts. In particular, we have (29)αt=βx,βy=γt,γx=αy.Hence, there exists a real function φ=φ(x,t,y) such that (30)α=φx,β=φt,γ=φy.Formula (27) suggests gauge transformation Ψ^=TΨ. Then, using also (26) and (30), we have (31)Ψ^x=A^+λφxe3Ψ^,Ψ^t=B^+λφte3Ψ^,Ψ^y=C^+λφye3Ψ^,where (32)A^=TxT-1+TAT-1,B^=TtT-1+TBT-1,C^=TyT-1+TCT-1.Therefore, all SU(2)-valued Lax representations linear in λ can be reduced to (31). It turns out that this system can be reduced further. Matrices A^, B^, C^ satisfy compatibility conditions consisting of (24) and(33)e3,φtA^-φxB^=0,e3,φxC^-φyA^=0,e3,φtC^-φyB^=0.Hence, after similar consideration to above, we obtain (34)A^=φxQ^+ae3,B^=φtQ^+ce3,C^=φyQ^+ce3,where Q^ is a matrix-valued function orthogonal to e3 and a, b, c are real functions. From (24) we get (35)ate3-bxe3+φxQ^t-φtQ^x+φxbQ^,e3+aφte3,Q^=0,bye3-cte3+φtQ^y-φyQ^t+φtcQ^,e3+bφye3,Q^=0,cxe3-aye3+φyQ^x-φxQ^y+φyaQ^,e3+cφxe3,Q^=0.The components parallel to e3 yield (36)at=bx,by=ct,cy=ay,which means that there exists a real function χ such that (37)a=χx,b=χt,c=χy.The function χ can be eliminated by another gauge transformation: (38)Φ=e-χe3Ψ^.Then, we obtain the following linear problem: (39)Φx=φxλe3+QΦ,Φt=φtλe3+QΦ,Φy=φyλe3+QΦ,where Q=e-χe3Q^eχe3. The obtained linear problem is trivial because it can be transformed into a single equation by a change of variables. Indeed, taking x~=φ(x,y,t), t~=t, and y~=y we transform system (39) into (40)Φx~=λe3+QΦ,Φt~=0,Φy~=0.Therefore Q can be taken as an arbitrary function of x~. No differential equations are involved.
4. An Integrable System Associated with Triply Orthogonal Coordinates
Because of isomorphism (1) SU(2)-valued Lax representations are a rich source of integrable geometries in E3; see [5]. In some problems, however, SU(2) assumption is too restrictive. For instance, searching for integrable geometries associated with Lax representations linear in the spectral parameter we obtained a negative result: there are no nontrivial SU(2)-cases (see Section 3). In order to show integrability of geometric problems in E3 one sometimes needs a larger Lie group; see [14–16].
Here we present in more detail the case of a special system of triply orthogonal coordinates. We consider the following Lax representation: (41)Ψx=12a1λ+b1e1Ψ,Ψt=12a2λ+b2e2Ψ,Ψy=12a3λ+b3e3Ψ,where subscripts x, t, y denote differentiation and (42)a1=α11e4+α21e5+α31e6,b1=β21e2+β31e3,a2=α12e4+α22e5+α32e6,b2=β12e1+β32e3,a3=α13e4+α23e5+α33e6,b3=β13e1+β23e2,αjk, βjk are real functions, and ek are generators of the Clifford algebra C6,0; that is, they satisfy the following relations: (43)ek2=1,for k=1,2,…,6,ejek=-ekej,for j≠k.Note that the Lie algebra of linear problem (41) is spanned by bivectors ejek which means that this is Spin(6)-valued (double covering of corresponding SO(6) linear problem). Compatibility conditions for (41) read (44)aj∣ak=0,for j≠k,∂jαik=βjkαij,forj≠k,(45)∂jβik=βijβjk,fori≠j≠k≠i,∂kβkj+∂jβjk+βikβij=0,for i≠j≠k≠i,where ∂1≡∂x, ∂2=∂t, ∂3=∂y, and (46)aj∣ak≔∑i=13αijαik.From (44) it follows that a1∣a1, a2∣a2, a3∣a3 are functions of one variable (resp., x, t, or y). These functions can be eliminated by a change of variables. Therefore without loss of the generality we can assume (47)a1∣a1=a2∣a2=a3∣a3=1. Solutions of the nonlinear system (44) and (45) have a direct connection with the geometry of triply orthogonal systems in E3. Namely, the metric (48)ds2=H12dx2+H22dt2+H32dy2describes a triply orthogonal system of coordinates if and only if Lamé coefficients H1, H2, H3 satisfy the Lamé equations [17, 18]: (49)∂2H1∂y∂t=1H2∂H2∂y∂H1∂t+1H3∂H3∂t∂H1∂y,∂2H2∂x∂y=1H3∂H3∂x∂H2∂y+1H1∂H1∂y∂H2∂x,∂2H3∂t∂x=1H1∂H1∂t∂H3∂x+1H2∂H2∂x∂H3∂t,∂∂x1H1∂H2∂x+∂∂t1H2∂H1∂t+1H32∂H1∂y∂H2∂y=0,∂∂t1H2∂H3∂t+∂∂y1H3∂H2∂y+1H12∂H2∂x∂H3∂x=0,∂∂y1H3∂H1∂y+∂∂x1H1∂H3∂x+1H22∂H3∂t∂H1∂t=0.Defining the so called rotation coefficients [18] (50)βkj=∂kHjHk one can show that system (45) is equivalent to (49).
The whole system of compatibility conditions, (44), (45), and (47), is equivalent to the Lamé equations (49) with the following constraint: (51)H12+H22+H32=1.It is sufficient to define (for any fixed j) (52)Hk=αjk.Then, condition (51) follows from the orthogonality of the matrix αjk. The Lamé system with constraint (51) was first considered by Darboux; see [17, book III, chapter X]. Modern approach to the Darboux transformations for this system can be found in [15, 19, 20] (in [20] the constraint (51) is not explicitly presented). Some other reductions of Lamé equations are discussed in [21]. Lamé equations without this constraint are also integrable; see [18, 22] and references quoted therein.
Throughout this section we used a convenient language of Clifford numbers. It is worthwhile noticing that system (41) evaluated at λ=0 becomes equivalent to (53)Ψx=AΨ,Ψt=BΨ,Ψy=CΨ,where (54)A=0-β21-β31β2100β3100⟷12β21e2e1+12β31e3e1,B=0β120-β120-β320β320⟷12β12e1e2+12β32e3e2,C=00β1300β23-β13-β230⟷12β13e1e3+12β23e2e3.One can easily check that elements (1/2)e2e3, (1/2)e3e1, and (1/2)e1e2 generate the Lie algebra su(2); compare (1). Compatibility conditions for (53) yield augmented Gauss-Mainardi-Codazzi system [1].
5. Soliton Surfaces
Soliton surfaces approach [5, 23] (see also [24]) can be easily applied to the analysis of deformation of surfaces in E3. Namely, having an SU(2)-valued Lax representation (55)Ψx=UλΨ,Ψt=VλΨ,Ψy=WλΨ,such that U(0)=A, V(0)=B, W(0)=C, we define (56)r=Ψ-1Ψλλ=0.This is y-family of surfaces in su(2)≃E3. Soliton surfaces can be easily analysed on the implicit level (fundamental forms), which is one of the important advantages of this approach. Indeed, we compute(57)rx=Ψ-1UλΨ,rt=Ψ-1VλΨ,ry=Ψ-1WλΨ,rxt=Ψ-1Uλt+Uλ,BΨ, etc.Therefore, in any particular case all fundamental forms can be calculated without the explicit knowledge of Ψ. Geometric interpretation often helps to understand trivial or degenerated cases. For linear problem (22) we get (58)rx=Ψ-1LΨ,rt=Ψ-1MΨ,ry=Ψ-1NΨ.Therefore (23) simply mean that all tangent vectors are parallel. Hence, system (22) describes a curve rather than a family of deformed surfaces.
In the case of triply orthogonal systems with constraint (51) the soliton surfaces approach shows an unexpected feature: soliton submanifold (56) is immersed in a six-dimensional space. However, by making an appropriate projections on three-dimensional spaces we obtain three different triply orthogonal systems of coordinates in E3 [15], mutually related by the so called Combescure transformations.
Another advantage of this approach is a unification of several integrable models on the same soliton surface [25]. For instance, in the case of chiral model (4) we easily obtain (59)rx=Φ-1AΦ,rt=Φ-1BΦ,rxt=Φ-1At+A,BΦ.Hence, taking into account (2), we obtain (60)rxt=12rx,rt. Thus the soliton surface of the principal chiral model is swept out by the motion of a relativistic string model [26]. Similar computation for other pairs of variables yields (61)rxy=κ1-κrx,ry,ryt=κ1+κry,rt;that is, we get relativistic strings, as well.
6. Further Developments
Soliton surfaces approach was generalized on semisimple Lie groups [5] and Spin(p,q) groups [4, 15]. There are also further developments with more stress on symmetries [24, 27, 28]. Lie point symmetries turned out to be very promising as a tool for inserting the spectral parameter into Gauss-Weingarten equations (“nonparametric linear problems”) associated with surfaces immersed in E3 [6, 7, 29–32]. In other words, it turns out that in some cases the spectral parameter λ is a group parameter.
A natural next step consists in finding some integrable cases by studying Lie point symmetries for special systems of augmented Gauss-Mainardi-Codazzi equations (53). We hope to get new integrable cases. The work in this direction is in progress.
Competing Interests
The authors declare that they have no competing interests.
Acknowledgments
The research is supported by Polish Ministry of Science and Higher Education. In particular, the second author (Artur Kobus) realizes his research in the framework of the Project S/WBiIŚ/3/2016.
BrackenP.Deformation of surfaces in three-dimensional space induced by means of integrable systems20131431331133910.1016/j.nonrwa.2012.09.021MR30045042-s2.0-84872030597KonopelchenkoB. G.Nets in R3, their integrable evolutions and the DS hierarchy19931832-315315910.1016/0375-9601(93)91162-xMR12523702-s2.0-0002657888KonopelchenkoB. G.PinkallU.Integrable deformations of affine surfaces via the Nizhnik-Veselov-Novikov equation19982453-42392452-s2.0-17944397464CieślińskiJ. L.A class of linear spectral problems in Clifford algebras2000267425125510.1016/s0375-9601(00)00086-4MR17496552-s2.0-0034689064SymA.MartiniR.Soliton surfaces and their applications1985239Berlin, GermanySpringer154231Lecture Notes in PhysicsCieślińskiJ. L.GoldsteinP.SymA.On integrability of the inhomogeneous Heisenberg ferromagnet model: examination of a new test19942751645166410.1088/0305-4470/27/5/028MR12795242-s2.0-21344496135Krasil'shchikJ.MarvanM.Coverings and integrability of the Gauss-Mainardi-Codazzi equations1999562-321723010.1023/a:1006121716159MR1714556MañasM.FordyA. P.WoodJ. C.The principal chiral model as an integrable system1994Braunschweig, GermanyVieweg147173UhlenbeckK.Harmonic maps into Lie groups: classical solutions of the chiral model1989301150MR1001271ZakharovV. E.MikhailovA. V.On the integrability of classical spinor models in two-dimensional space-time1980741214010.1007/bf01197576MR5758942-s2.0-0040340516GuestM. A.1997Cambridge University PressCieślińskiJ.An algebraic method to construct the Darboux matrix199536105670570610.1063/1.531282MR13531112-s2.0-21844502946CieślińskiJ. L.Algebraic construction of the Darboux matrix revisited200942404040400310.1088/1751-8113/42/40/404003MR25442672-s2.0-70449589806CieślińskiJ.The Darboux-Bianchi transformation for isothermic surfaces. Classical results versus the soliton approach19977112810.1016/s0926-2245(97)00002-8MR1441914CieślińskiJ. L.Geometry of submanifolds derived from spin-valued spectral problems200313711396140510.1023/a:1026096404956CieślińskiJ.GoldsteinP.SymA.Isothermic surfaces in E3 as soliton surfaces19952051374310.1016/0375-9601(95)00504-vMR13524262-s2.0-0008127212DarbouxG.19102ndParis, FranceGauthier-VillarsZakharovV. E.Description of the n-orthogonal curvilinear coordinate systems and Hamiltonian integrable systems of hydrodynamic type, I: integration of the Lamé equations199894110313910.1215/s0012-7094-98-09406-6MR16359082-s2.0-0003022531BiernackiW.CieślińskiJ. L.A compact form of the Darboux-Bäcklund transformation for some spectral problems in Clifford algebras20012883-416717210.1016/s0375-9601(01)00551-5MR18612332-s2.0-0035943864CieślińskiJ.The cross ratio and Clifford algebras19977213313910.1007/bf03041223MR1485317MokhovO. I.Lax pairs for equations describing compatible nonlocal poisson brackets of hydrodynamic type and integrable reductions of the Lam equations20041382238249BogdanovL. V.KonopelchenkoB. G.Lattice and q-difference Darboux-Zakharov-Manakov systems via ∂--dressing method199528L173L178SymA.Soliton surfaces19823312394400CieślińskiJ.A generalized formula for integrable classes of surfaces in Lie algebras19973884255427210.1063/1.532093MR14596562-s2.0-0039246075SymA.Soliton surfaces II. Geometric unification of solvable nonlinearities1983361030731210.1007/bf02719461SymA.RagniscoO.LeviD.BruschiM.Soliton surfaces VII. Relativistic string in external field: general integral and particular solutions198544852953610.1007/bf02746755FokasA. S.GelfandI. M.Surfaces on Lie groups, on Lie algebras, and their integrability1996177120322010.1007/bf02102436MR13822262-s2.0-0030529761GrundlandA. M.PostS.RiglioniD.Soliton surfaces and generalized symmetries of integrable systems20144711401520110.1088/1751-8113/47/1/015201MR31469752-s2.0-84890763707BaranH.MarvanM.Classification of integrable Weingarten surfaces possessing an sl(2)-valued zero curvature representation20102325772597CieślińskiJ.BoitiM.MartinaL.PempinelliF.Lie symmetries as a tool to isolate integrable geometries1992SingaporeWorld Scientific260268MR1192584CieślińskiJ.Non-local symmetries and a working algorithm to isolate integrable geometries1993265L267L27110.1088/0305-4470/26/5/017MR12113402-s2.0-25544438444MarvanM.On the spectral parameter problem2010109123925510.1007/s10440-009-9450-4MR25798912-s2.0-73849093652