Abstract

We study Lax triples (i.e., Lax representations consisting of three linear equations) associated with families of surfaces immersed in three-dimensional Euclidean space . 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 . Finally, the obtained results are interpreted in the context of the soliton surfaces approach.

1. 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 is an interesting and nontrivial task. There are just few papers on that subject; see, for example, [13]. However, we point out that the central result of [1], namely, Theorem , 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 -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 [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 instead of , taking into account the isomorphism of corresponding Lie algebras: . We can assume, for instance, is double covering of , so all our results can be projected on when necessary. In Section 4 we make use of another isomorphism, . Actually, also .

2. An Integrable Deformation of the Principal Chiral Model

The principal chiral model is defined by the following system of two equations [810]: where , are elements of a Lie algebra . Equations (2) are equivalent to The chiral model has the Lax representation where ( 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 we can express and in terms of : Then the first equation of (3) is identically satisfied and system (3) reduces to a single equation for : By changing variables , , we transform (6) into Solutions to this equation are harmonic maps from into provided that , are real [9, 11].

We propose an extension of the principal chiral model which is derived from the following Lax representation:where (we assume ), takes values in a Lie group , and , , belong to the corresponding Lie algebra . In particular, we can take . This case yields an integrable deformation of surfaces in . Compatibility conditions for (8) readDenoting we have, similarly to the chiral model case,Then, compatibility conditions (9) reduce to three equations for one function :

Proposition 1. Any solution of the chiral model (6) admits an extension (unique up to translations in ) to a solution of the deformed chiral model (11) such that for some .

Proof. System (11) is equivalent toThe last two equations of (12) can be rewritten as a linear system for one unknown :where and . Therefore, let us consider linear systemWe 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 can be written as whereWe immediately see that (3) imply . In order to show we compute Therefore, where we once more took into account (3). Equations (18) imply .
Thus, given a solution of (6) we obtain a unique solution of linear system (14). Then, we define and interpret as -derivative of at .

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 , , , sometimes also the dependence on . We will write, for instance, or instead of .

Lemma 2. The Darboux transformation with a canonical normalization (i.e., ) applied to a linear problem preserves the constraint .

Proof. We have . Therefore, the canonical normalization implies .

Proposition 3. The Darboux transformation for -valued linear problem (8) is given by where is a constant (i.e., it does not depend on , , ), and are complex parameters, and is uniquely defined by its kernel and image , where and are subspaces of such that and is a solution of (8) assumed to be known. The corresponding transformation for the chiral field readswhere is a constant. The reduction consists in choosing where . The reduction consists in adding the following constraints: and is orthogonal to .

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 . In particular, we have . Implications of the reductions and 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. -Valued Lax Triples Linear in Are Trivial

Let us consider -valued Lax representations linear in : where , , , , , are -valued functions of , , (without dependence on ) and . Subscripts , , denote differentiation. Compatibility conditions (, , ) readWe make use of isomorphism , where by 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 , , 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: , , are parallel. Therefore, there exists a unit matrix and real functions , , such thatAny unit element can be obtained from any constant unit element, say , by a rotation. In other words, there exists such that Substituting (26) into (25) we get Taking into account that any is orthogonal to (for any ) and any derivative of is orthogonal to (because is a unit element), we can decompose (28) into parallel and orthogonal parts. In particular, we have Hence, there exists a real function such that Formula (27) suggests gauge transformation . Then, using also (26) and (30), we have where Therefore, all -valued Lax representations linear in can be reduced to (31). It turns out that this system can be reduced further. Matrices , , satisfy compatibility conditions consisting of (24) andHence, after similar consideration to above, we obtain where is a matrix-valued function orthogonal to and , , are real functions. From (24) we get The components parallel to yield which means that there exists a real function such that The function can be eliminated by another gauge transformation: Then, we obtain the following linear problem: where . The obtained linear problem is trivial because it can be transformed into a single equation by a change of variables. Indeed, taking , , and we transform system (39) into Therefore can be taken as an arbitrary function of . No differential equations are involved.

4. An Integrable System Associated with Triply Orthogonal Coordinates

Because of isomorphism (1) -valued Lax representations are a rich source of integrable geometries in ; see [5]. In some problems, however, 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 -cases (see Section 3). In order to show integrability of geometric problems in one sometimes needs a larger Lie group; see [1416].

Here we present in more detail the case of a special system of triply orthogonal coordinates. We consider the following Lax representation: where subscripts , , denote differentiation and , are real functions, and are generators of the Clifford algebra ; that is, they satisfy the following relations: Note that the Lie algebra of linear problem (41) is spanned by bivectors which means that this is -valued (double covering of corresponding linear problem). Compatibility conditions for (41) read where , , , and From (44) it follows that , , are functions of one variable (resp., , , or ). These functions can be eliminated by a change of variables. Therefore without loss of the generality we can assume Solutions of the nonlinear system (44) and (45) have a direct connection with the geometry of triply orthogonal systems in . Namely, the metric describes a triply orthogonal system of coordinates if and only if Lamé coefficients , , satisfy the Lamé equations [17, 18]: Defining the so called rotation coefficients [18] 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: It is sufficient to define (for any fixed ) Then, condition (51) follows from the orthogonality of the matrix . 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 becomes equivalent to where One can easily check that elements , , and generate the Lie algebra ; 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 . Namely, having an -valued Lax representation such that , , , we define This is -family of surfaces in . Soliton surfaces can be easily analysed on the implicit level (fundamental forms), which is one of the important advantages of this approach. Indeed, we computeTherefore, 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 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 [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 Hence, taking into account (2), we obtain 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 that is, we get relativistic strings, as well.

6. Further Developments

Soliton surfaces approach was generalized on semisimple Lie groups [5] and 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 [6, 7, 2932]. 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.