A Generalization of the Sine-Gordon Equation to 2+1 Dimensions

Similar documents
Symbolic Computation and New Soliton-Like Solutions of the 1+2D Calogero-Bogoyavlenskii-Schif Equation

Reciprocal transformations and reductions for a 2+1 integrable equation

The Construction of Alternative Modified KdV Equation in (2 + 1) Dimensions

The Higher Dimensional Bateman Equation and Painlevé Analysis of Nonintegrable Wave Equations

Symmetry computation and reduction of a wave model in dimensions

A New Technique in Nonlinear Singularity Analysis

Bäcklund transformations for fourth-order Painlevé-type equations

New Exact Solutions for the (2+1)-dimensional Boiti-Leon-Manna-Pempinelli Equation

Second Order Lax Pairs of Nonlinear Partial Differential Equations with Schwarzian Forms

THE LAX PAIR FOR THE MKDV HIERARCHY. Peter A. Clarkson, Nalini Joshi & Marta Mazzocco

Linearization of Mirror Systems

From Continuous to Discrete Equations via Transformations

Bäcklund transformation and special solutions for Drinfeld Sokolov Satsuma Hirota system of coupled equations

arxiv:nlin/ v2 [nlin.si] 9 Oct 2002

The (2+1) and (3+1)-Dimensional CBS Equations: Multiple Soliton Solutions and Multiple Singular Soliton Solutions

Transcendents defined by nonlinear fourth-order ordinary differential equations

Integrability approaches to differential equations

Continuous limits and integrability for a semidiscrete system Zuo-nong Zhu Department of Mathematics, Shanghai Jiao Tong University, P R China

Coupled KdV Equations of Hirota-Satsuma Type

Crum Transformation and Wronskian Type Solutions for Supersymmetric KdV Equation

Painlevé Test for the Certain (2+1)-Dimensional Nonlinear Evolution Equations. Abstract

Travelling wave solutions for a CBS equation in dimensions

arxiv:nlin/ v2 [nlin.si] 14 Sep 2001

Lecture II Search Method for Lax Pairs of Nonlinear Partial Differential Equations

Computers and Mathematics with Applications

2. Examples of Integrable Equations

Multiple-Soliton Solutions for Extended Shallow Water Wave Equations

A NEW VARIABLE-COEFFICIENT BERNOULLI EQUATION-BASED SUB-EQUATION METHOD FOR SOLVING NONLINEAR DIFFERENTIAL EQUATIONS

arxiv: v1 [nlin.si] 23 Aug 2007

Introduction to the Hirota bilinear method

Exact solutions through symmetry reductions for a new integrable equation

QUADRATIC EQUATIONS AND MONODROMY EVOLVING DEFORMATIONS

Integrability for two types of (2+1)-dimensional generalized Sharma-Tasso-Olver integro-differential equations

New explicit solitary wave solutions for (2 + 1)-dimensional Boussinesq equation and (3 + 1)-dimensional KP equation

The elliptic sinh-gordon equation in the half plane

MACSYMA PROGRAM FOR THE PAINLEVÉ TEST FOR NONLINEAR ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS

Invariance Analysis of the (2+1) Dimensional Long Dispersive Wave Equation

Painlevé analysis and some solutions of variable coefficient Benny equation

Building Generalized Lax Integrable KdV and MKdV Equations with Spatiotemporally Varying Coefficients

THE SECOND PAINLEVÉ HIERARCHY AND THE STATIONARY KDV HIERARCHY

Supersymmetric Sawada-Kotera Equation: Bäcklund-Darboux Transformations and. Applications

Similarity Reductions of (2+1)-Dimensional Multi-component Broer Kaup System

Commutator representations of nonlinear evolution equations: Harry-Dym and Kaup-Newell cases

The Modified (G /G)-Expansion Method for Nonlinear Evolution Equations

Elsayed M. E. Zayed 1 + (Received April 4, 2012, accepted December 2, 2012)

Exact Interaction Solutions of an Extended (2+1)-Dimensional Shallow Water Wave Equation

New methods of reduction for ordinary differential equations

Nonlinear Fourier Analysis

New families of non-travelling wave solutions to a new (3+1)-dimensional potential-ytsf equation

Department of Applied Mathematics, Dalian University of Technology, Dalian , China

A MULTI-COMPONENT LAX INTEGRABLE HIERARCHY WITH HAMILTONIAN STRUCTURE

SYMBOLIC COMPUTATION OF LAX PAIRS OF NONLINEAR PARTIAL DIFFERENCE EQUATIONS

A note on the G /G - expansion method

Diagonalization of the Coupled-Mode System.

New Approach of ( Ǵ/G ) Expansion Method. Applications to KdV Equation

arxiv:solv-int/ v2 27 May 1998

Studies on Integrability for Nonlinear Dynamical Systems and its Applications

Lax Representations and Zero Curvature Representations by Kronecker Product

On Mikhailov's Reduction Group

Painlevé Analysis and Darboux Transformation for a Variable-Coefficient Boussinesq System in Fluid Dynamics with Symbolic Computation

Rogue periodic waves for mkdv and NLS equations

INVERSE SCATTERING TRANSFORM, KdV, AND SOLITONS

arxiv:math/ v1 [math.ap] 1 Jan 1992

Solutions of the nonlocal nonlinear Schrödinger hierarchy via reduction

Recursion Systems and Recursion Operators for the Soliton Equations Related to Rational Linear Problem with Reductions

Symmetry reductions and travelling wave solutions for a new integrable equation

The generalized Kupershmidt deformation for integrable bi-hamiltonian systems

Surfaces of Arbitrary Constant Negative Gaussian Curvature and Related Sine-Gordon Equations

A multidimensional superposition principle: classical solitons III

The quasiclassical limit of the symmetry constraint of the KP hierarchy and the dispersionless KP hierarchy with self-consistent sources

The Riccati equation with variable coefficients expansion algorithm to find more exact solutions of nonlinear differential equations

A Method for Obtaining Darboux Transformations

Periodic and Soliton Solutions for a Generalized Two-Mode KdV-Burger s Type Equation

The (G'/G) - Expansion Method for Finding Traveling Wave Solutions of Some Nonlinear Pdes in Mathematical Physics

Lax Pairs Graham W. Griffiths 1 City University, UK. oo0oo

New approach for tanh and extended-tanh methods with applications on Hirota-Satsuma equations

Nonlocal Symmetry and Interaction Solutions of a Generalized Kadomtsev Petviashvili Equation

Symmetry and Exact Solutions of (2+1)-Dimensional Generalized Sasa Satsuma Equation via a Modified Direct Method

LECTURE 6: PSEUDOSPHERICAL SURFACES AND BÄCKLUND S THEOREM. 1. Line congruences

Inverse scattering technique in gravity

Bäcklund transformation and soliton solutions in terms of the Wronskian for the Kadomtsev Petviashvili-based system in fluid dynamics

Computable Integrability. Chapter 2: Riccati equation

Yong Chen a,b,c,qiwang c,d, and Biao Li c,d

Exact traveling wave solutions of nonlinear variable coefficients evolution equations with forced terms using the generalized.

A Short historical review Our goal The hierarchy and Lax... The Hamiltonian... The Dubrovin-type... Algebro-geometric... Home Page.

Breaking soliton equations and negative-order breaking soliton equations of typical and higher orders

Nonlocal Symmetry and Explicit Solution of the Alice-Bob Modified Korteweg-de Vries Equation

New Analytical Solutions For (3+1) Dimensional Kaup-Kupershmidt Equation

A SEARCH FOR LUMP SOLUTIONS TO A COMBINED FOURTH-ORDER NONLINEAR PDE IN (2+1)-DIMENSIONS

On Certain New Exact Solutions of the (2+1)-Dimensional Calogero-Degasperis Equation via Symmetry Approach

Prolongation structure for nonlinear integrable couplings of a KdV soliton hierarchy

A new integrable system: The interacting soliton of the BO

Math 575-Lecture 26. KdV equation. Derivation of KdV

New Integrable Decomposition of Super AKNS Equation

The Solitary Wave Solutions of Zoomeron Equation

Exact Solutions for Generalized Klein-Gordon Equation

Integrable Couplings of the Kaup-Newell Soliton Hierarchy

Alexei F. Cheviakov. University of Saskatchewan, Saskatoon, Canada. INPL seminar June 09, 2011

Symmetry Reductions of (2+1) dimensional Equal Width. Wave Equation

Georgia Tech PHYS 6124 Mathematical Methods of Physics I

Transcription:

Journal of Nonlinear Mathematical Physics Volume 11, Number (004), 164 179 Article A Generalization of the Sine-Gordon Equation to +1 Dimensions PGESTÉVEZ and J PRADA Area de Fisica Teórica, Facultad de Ciencias, Universidad de Salamanca, SPAIN E-mail: pilar@usal.es Departamento de Matemáticas, Facultad de Ciencias, Universidad de Salamanca SPAIN E-mail: prada@usal.es Received July 8, 003; Accepted October 9, 003 Abstract The Singular Manifold Method (SMM) is applied to an equation in + 1 dimensions [13] that can be considered as a generalization of the sine-gordon equation. SMM is useful to prove that the equation has two Painlevé branches and, therefore, it can be considered as the modified version of an equation with just one branch, that is the AKNS equation in + 1 dimensions. The solutions of the former split as linear superposition of two solutions of the second, related by a Bäcklund-gauge transformation. Solutions of both equations are obtained by means of an algorithmic procedure derived from these transformations. 1 Introduction In recent papers, one of us (PGE) [7], [8], [9] has used the singular manifold method (SMM) [18], based on the Painlevé test [19], in order to obtain an unified point of view of the properties of nonlinear partial differential equations (PDE s). Our aim is to prove that practically all features of a PDE can be obtained from the singular manifold equations derived from the application of the SMM. Of particular interest is the case in which the equation has two Painlevé branches. In this case, the SMM needs to be improved to incorporate two singular manifolds [5], [7], [9]. Miura transformations arise in a very natural way that connects the equation under scrutiny with another equation (that can be considered as its modified version) with just one Painlevé branch. Let us apply this procedure to the following non-linear system in ( + 1) dimensions: 0 = η x + u 0 = u xy +uη y +4ω (1.1) 0 = u t ω x Copyright c 004 by P G Estévez and J Prada

A Generalization of the Sine-Gordon Equation to + 1 Dimensions 165 where u = u(x, y, t), η = η(x, y, t), ω = ω(x, y, t). This system can also be trivially written as the following equation for u. 0=4u t + u xxy 4u u y 4u x uu y dx (1.) that appears in [] as the modified version of a breaking soliton equation 4m xt + m xxxy +8m x m xy +4m y m xx =0 (1.3) introduced by Calogero [3]. In the paper of Bogoyavlenskii [], the Lax pair and a nonisospectral condition for the spectral parameter is presented as well as the Miura transformations between (1.) and (1.3). Equation (1.) was derived by Kudryashov and Pickering [13] as a member of a ( + 1) Schwarzian breaking soliton hierarchy. Rational solutions of it were obtained by these authors. The equation appears also in reference [4] as one of the equations associated to non-isospectral scattering problems. Toda and Yu presented in 000 [17] the equation 0=4W t + W xxy W xw xy W W yw xx W +W x W y W that is trivially related to (1.4) through the change W = e udx W x ( ) W x W dx (1.4) y In this paper [17], equation (1.4) was named ( + 1)-dimensional Schwarz-Korteweg-de Vries equation. Solutions of this equation have been obtained in [11] by means of the classical Lie method. Let us notice that Eq (1.1) can be considered as a generalization to + 1 dimensions of the sine-gordon equation. Actually if we set w = 0 in Eq (1.1), the system reduces to 0=q xy sin q (1.5) where q = q(x, y) is related with u and η through the changes: u = iq x η y = 1 cos q (1.6) u y = i sin q Furthermore, (1.) can be considered as a generalization to + 1 dimensions of the well known AKNS (Ablowitz-Kaup-Newell-Segur) equation [1], [4], [16]. In [8], one of us studied the relationship between sine-gordon and AKNS by means of the SMM. Our aim in the present work is to apply to (1.) and (1.3) the method developed in [8]. Let us summarize the plan of the paper:

166 P G Estévez and J Prada In section, we notice that the Painlevé expansion for (1.1) has two different Painlevé branches which allows us to split the solutions of (1.1) as linear superposition of two solutions, related by an auto-bäcklund transformation, of an equation with just one Painlevé branch that turns out to be (1.3). The singular manifold method (SMM) is used in section 3 to study +1-AKNS equation (1.3). We present the SMM as an unified tool that allow us to identify many of the properties of the equation. In particular, we recover the Lax pair and the nonisospectral condition [4] for the spectral parameter. A crucial point of this paper is that the SMM can be applied to the Lax pair itself providing us transformations that map the Lax pair into a new one and giving us a simple and iterative method to construct solutions. These transformations have been called Bäcklund-gauge transformations by same authors [1] and sometimes [6] have been considered as Darboux transformations in the sense that they are transformations of the fields and eigenfunctions of the Lax pair. Nevertheless, they are not the usual binary Darboux transformations of the Schrödinger operator that appears, for instance, in [14] or [10]. Section 4 deals again with the fact that equation (1.1) has two Painlevé branches. It means that we need to introduce two different singular manifolds (one for each branch) that are not independent because each one is related with one of the two different solutions of (1.3) that have been used to split the solutions of (1.1). This splitting allow us to reconstruct the Lax pair for (1.1) in terms of two eigenfunctions connected with the two singular manifolds. Bäcklund-gauge transformations and iterated solutions of (1.1) can be obtained through the same connection. Section (5) is devoted to use the above described method to get some particular solutions for (1.1) and (1.3). Conclusions are listed in the pertinent section. Painlevé branches for (1.1) It is not difficult to prove that (1.1) passes the Painlevé test for PDEs [13], [4], [16]. To check it, it is necessary to expand the fields u, η and ω as a local expansion in the neighborhood of a movable singular manifold φ(x, y, t). It means u = ω = η = u j (x, y, t)[φ(x, y, t)] j 1 j=0 ω j (x, y, t)[φ(x, y, t)] j 1 j=0 η j (x, y, t)[φ(x, y, t)] j 1 (.1) j=0 The substitution of (.1) in (1.1) provides easily that η 0 = φ x, u 0 = ±φ x, w 0 = ±φ x

A Generalization of the Sine-Gordon Equation to + 1 Dimensions 167 and there are resonances at j =, 3, 4 which means that the coefficients u (x, y, t), u 3 (x, y, t) andu 4 (x, y, t) are arbitrary functions. It is a trivial exercise to check that the conditions at the resonances are satisfied. Therefore, (1.1) passes the Painlevé test. Nevertheless the ± sign of u 0 indicates that the system has two Painlevé branches. As one of us (PGE) has shown for several cases ([5], [7], [9]), when an equation has two branches, it means that the solution can be considered as the linear superposition of two different solutions (related by a Bäcklund transformation) of an equation with just one branch. In our case, it means that we need to consider two new functions m and ˆm such that: u = m ˆm η = m +ˆm w = (m t ˆm t )dx (.) The system (1.1) is now: 0 = m x +ˆm x +(m ˆm) 0 = m xy ˆm xy +(m ˆm)(m y +ˆm y )+4 (m t ˆm t )dx (.3) The inverse of Eq (.) is: m = u + η ˆm = u + η By using η x = u, we can write: m x = u x u ˆm x = u x u (.4) that allows us to write differential equations for m and ˆm. Direct calculation yields to: 4m xt + m xxxy +8m x m xy +4m y m xx =0 (.5) 4ˆm xt +ˆm xxxy +8ˆm x ˆm xy +4ˆm y ˆm xx =0 (.6) that is the AKNS equation in + 1 dimensions [], [3]. In consequence, the simple ansatz (.) has provided us the following results: a) we can split the solutions of Eq (1.1) as a linear superposition (.) of two different solutions m and ˆm that satisfy the same equation (.5), (.6). b) This two solutions are related by the auto-bäcklund transformation (.3). c) The inverse transformation associated to this splitting is (.4). This is nothing but a Miura transformation between (1.1) and (.5)-(.6)[].

168 P G Estévez and J Prada 3 Singular manifold method for Eq (1.3) It is rather easy to apply the singular manifold method [18] for Eq (1.3). It suffices to check that the leading index is 1 and therefore a truncated Painlevé expansion for Eq (1.3) takes the form of an auto-bäcklund transformation (.3). m = m + φ x φ (3.1) where m and m are two solutions of (1.3) and φ(x, y, t) is the singular manifold. Substitution of (3.1) in (1.3) yields to a polynomial in φ whose coefficients provide the expression of the derivatives of m in terms of the singular manifold in the following way (see Appendix A): where m x = v x 4 v λ(y, t) + (3.) 8 m y = v y λ(y, t)q r (3.3) v(x, y, t) = φ xx φ x r(x, y, t) = φ t φ x q(x, y, t) = φ y φ x (3.4) and λ(y, t) satisfies: λ t + λλ y =0 (3.5) Singular manifold equations Furthermore, the singular manifold φ should satisfy the equations: 0 = r x + v xy vv y + λq x + λ y 4 (3.6) v t = (r x + rv) x (3.7) v y = (q x + qv) x (3.8) (3.7) and (3.8) are a direct consequence of the compatibility between the definitions (3.4). Eq(3.6) is the specific singular manifold equation. It is interesting to point out that λ appears as the consequence of an integration in x. We thank A. Pickering for his observation that λ is not necessarily a constant but a function of y and t that satisfies (3.5), [4].

A Generalization of the Sine-Gordon Equation to + 1 Dimensions 169 Lax pair The Lax pair for (1.3) is easily obtained from (3.)-(3.3). Eq (3.) can be considered as a Riccati equation for v. Therefore it can be linearized by introducing a function ψ(x, y, t) such that v = ψ x ψ (3.9) that combined with (3.4) means that φ x = ψ (3.10) With this definition of ψ, (3.) can be written as: 0=ψ xx +(m x λ)ψ (3.11) The same substitution can be used in the singular manifold equation Eq(3.6) that combined with Eq(3.3), Eq(3.7) and Eq(3.8) yields to 0=ψ t + λψ y + m y ψ x + 1 (λ y m xy )ψ (3.1) Compatibility condition of Eq(3.11)-(3.1) is the AKNS-(+1) equation (1.3) together with the nonisospectral condition (3.5). It means that (3.11) and (3.1) are the Lax pair for (1.3). Bäcklund-gauge transformations According to the results of previous papers, [5], [7], [8], [9], [1], the singular manifold method can be used to derive transformations [1], for the solutions and eigenfunctions of (3.11)-(3.1). It requires to consider the iterated solution m m = m + φ 1,x (3.13) φ 1 where the subindex 1 refers to the fact that φ 1 is the singular manifold attached to an eigenfunction ψ 1 corresponding to an eigenvalue λ 1. It means that: φ 1,x = ψ 1 0 = ψ 1,xx +(m x λ 1 )ψ 1 0 = ψ 1,t + λ 1 ψ 1,y + m y ψ 1,x + 1 (λ 1,y m xy )ψ 1 (3.14) Next step requires to consider m as a new seed solution that allows us to perform a new iteration m = m + φ,x φ (3.15) where φ is a singular manifold related through φ,x =(ψ ) (3.16)

170 P G Estévez and J Prada with an eigenfunction ψ of m with eigenvalue λ. 0 = ψ,xx +(m x λ )ψ 0 = ψ,t + λ ψ,y + m yψ,x + 1 (λ,y m xy)ψ (3.17) The crucial point is to consider (3.16) and (3.17) as a nonlinear system of PDE s for the fields m, ψ and φ [1], [7]. It means that the truncated Painlevé expansion (3.13) should be accompanied with the corresponding expansions for ψ and φ.thisis: ψ = ψ + Θ φ 1 φ = φ + φ 1 (3.18) where ψ is an eigenfunction for m with eigenvalue λ. φ,x = ψ 0 = ψ,xx +(m x λ )ψ 0 = ψ,t + λ ψ,y + m y ψ,x + 1 (λ,y m xy )ψ (3.19) Substitution of (3.13) and (3.18) in (3.17) provides (see Appendix B): φ 1,x = ψ1 Θ = ψ 1 Ω = = Ω (3.0) Ω = ψ 1ψ,x ψ ψ 1,x λ λ 1 (3.1) In consequence, two eigenfunctions ψ 1 and ψ of the seed field m with eigenvalues λ 1 and λ allow us to construct the following transformations of the Lax pair m = m + ψ 1 ψ 1 dx (3.) ψ ψ 1 ψ,x ψ ψ 1,x = ψ ψ 1 (λ λ 1 ) ψ1 dx (3.3) in which the new field m and its eigenfunction ψ are constructed by using ψ 1 and ψ only. It constitutes an iterative method to obtain new solutions m arising from a previous known solution m. Notice that the iteration (3.) is constructed not with the eigenfuction ψ 1 as in the binary Darboux transformations [14], [10], but with the singular manifold φ 1 that is related to the eigenfuction through φ 1,x = ψ1 [1]. τ-function Eq (3.) can be iterated by using (3.15), that combined with (3.18) and (3.1) yields to: m = m + τ x (3.4) τ where τ = φ 1 φ Ω (3.5)

A Generalization of the Sine-Gordon Equation to + 1 Dimensions 171 4 Singular manifold method for Eq (1.1) According with the above results, the solutions m and ˆm of (.5) and (.6) have the following singular manifolds expansions m = m + φ x φ ˆm = ˆm + ˆφ xˆφ (4.1) It means, using (.), that the expansions for u, η and ω are: u = u + φ x φ ˆφ xˆφ η = η + φ x φ + ˆφ xˆφ ω = ω + φ t φ ˆφ t ˆφ (4.) Coupling of the singular manifolds Nevertheless, m and ˆm are not independent because there are related by the Bäcklund transformation (.3). By substituting (4.1) in (.4), we get: φ x φ ˆφ xˆφ = A φ x φ + B ˆφ xˆφ (4.3) where A = u + 1 φ xx φ x B = u + 1 ˆφ xx (4.4) ˆφ x Two component Lax pair We can introduce eigenfunctions ψ and ˆψ for m and ˆm that, according to (3.10), should be: φ x = ψ, ˆφx = ˆψ (4.5) With these eigenfunctions the Lax pair for m and ˆm will be: 0 = ψ xx +(m x λ)ψ 0 = ψ t + λψ y + m y ψ x + 1 (λ y m xy )ψ (4.6)

17 P G Estévez and J Prada 0 = ˆψ xx +(ˆm x ˆλ) ˆψ 0 = ˆψ t + ˆλ ˆψ y +ˆm y ˆψx + 1 (ˆλ y ˆm xy ) ˆψ (4.7) where λ and ˆλ are spectral parameters that satisfy (3.5). With the aid of (4.5), (4.4) can be written as: A = u + ψ x ψ B = u + ˆψ xˆψ (4.8) (4.9) Substitution of (4.1) and (4.) in the Miura transformations (.4) provides, with the aid of (4.3)-(4.9), the following result: λ = ˆλ AB = λ Furthermore, if we combine (4.6) with (4.8) and (.4), we get: (4.10) A x A +A ψ x ψ λ =0 (4.11) A similar combination between (4.7) with (4.9) and (.4) provides: B x B +B ˆψ xˆψ λ = 0 (4.1) By using (4.10) in (4.11) and (4.1), the result is: A = λ ˆψ ψ B = λ ψˆψ (4.13) (4.14) By combining (4.8-4.9) and (4.13-4.14), we get: ψ x = uψ + λ ˆψ ˆψ x = u ˆψ + λψ (4.15) Substitution of (4.15) in the temporal part of the Lax pairs (4.6)-(4.7) can be written as: λ 0 = ψ t + λψ y + (u y + η y ) ˆψ + λ y ψ + ωψ 0 = ˆψ t + λ ˆψ λ y + ( u y + η y )ψ + λ y ˆψ ω ˆψ (4.16) (4.15) and 4.16) are a two component Lax pair for (1.1). Notice that the coupling condition (4.4) can be written, with the aid of (4.5) and (4.13)-(4.14) as: ψ ˆψ = λ(φ + ˆφ) (4.17)

A Generalization of the Sine-Gordon Equation to + 1 Dimensions 173 Bäcklund-gauge transformations and τ functions The induced Bäcklund-gauge transformations for (4.15) and 4.16) are rather easy to construct. Let (ψ 1, ˆψ 1 ), (ψ, ˆψ ) be eigenfunctions of (4.15) and 4.16) with spectral parameters λ 1 and λ respectively. The corresponding singular manifolds are obviously: φ 1,x = ψ 1, ˆψ1,x = ˆψ 1 φ,x = ψ, ˆψ,x = ˆψ If we use ψ 1 and ˆψ 1 to perform a truncated expansion like (4.) u = u + φ 1,x φ 1 ˆφ 1,x ˆφ 1 η = η + φ 1,x φ 1 + ˆφ 1,x ˆφ 1 ω = ω + φ 1,t ˆφ 1,t (4.18) φ 1 ˆφ 1 the truncated expansion for the eigenfunctions of the iterated fields would be: ψ Ω = ψ ψ 1 φ 1 ˆψ = ˆψ ˆψ ˆΩ 1 (4.19) ˆφ 1 where Ω = ψ 1ψ,x ψ ψ 1,x λ λ 1 ˆΩ = ˆψ 1 ˆψ,x ˆψ ˆψ1,x (4.0) λ λ 1 Functions τ and ˆτ can be trivially defined as: τ = φ 1 φ Ω ˆτ = ˆφ 1 ˆφ ˆΩ (4.1) The second iteration of (4.17) provides: u = u + τ x τ ˆτ x ˆτ η = η + τ x τ + ˆτ x ˆτ ω = ω + τ t τ ˆτ t ˆτ (4.) 5 Particular Solutions The above described method can be easily used to obtain solutions for m, ˆm as well as for u. We will show some simple cases.

174 P G Estévez and J Prada 5.1 u = U(y, t) = m = U(y,t) (U(y,t)) x, ˆm = U(y,t) (U(y,t)) x Now (1.) implies that U(y, t) satisfies: U t U U y =0 If we call ψ i and ˆψ i the solutions of (4.15)-(4.16) attached to an spectral parameter λ i (i =1, ) we have: where ψ i = (K i (y, t) U(y, t)e K i(y,t)x+ H i (y,t) ˆψ i = (K i (y, t)+u(y, t)e K i(y,t)x+ H i (y,t) K i (y, t) = λ i (y, t)+(u(y, t)) and H i (y, t) is a function that satisfies: H i,t + λ i H i,y + λ i,y + UU y =0 Integration of (4.5) together with (4.17) and (3.6) yields to φ i = ˆφ i = 1 (R ) i (y, t)+[(k i (y, t) U(y, t)]e K i(y,t)x+h i (y,t) K i (y, t) 1 ( R ) i (y, t)+[(k i (y, t)+u(y, t)]e K i(y,t)x+h i (y,t) K i (y, t) where R i (y, t) are functions that satisfy: R i,t + λr i,y R i UU y =0 and the iterated solutions are: m = U(y, t) (U(y, t)) x ˆm = U(y, t) (U(y, t)) x + (φ i) x φ i + ( ˆφ i ) x ˆφ i u = U(y, t)+ (φ i) x φ i ( ˆφ i ) x ˆφ i For the second iteration, we need to use (4.0)-(4.1). The result is: + 4K 1 K τ =1+ K 1 U e K 1x+H 1 + K U e K x+h + R 1 R R 1 R ( ) K K 1 (K 1 U)(K U) e K 1x+H 1 e K x+h K + K 1 R 1 R

A Generalization of the Sine-Gordon Equation to + 1 Dimensions 175 + 4K 1 K ˆτ =1 K 1 U e K 1x+H 1 K U e K x+h + R 1 R R 1 R ( ) K K 1 (K 1 U)(K U) e K 1x+H 1 e K x+h K + K 1 R 1 R We have solutions for the second iteration through the expressions: m = U(y, t) (U(y, t)) x ˆm = U(y, t) (U(y, t)) x u = U(y, t)+ τ x τ ˆτ x ˆτ 5. u =0, λ i =constant + τ x τ + ˆτ x ˆτ This case is contained in the previous one. Now, we have: λ i = k i, K i = k i H i,t + k i H i,y = R i,t + k i R i,y =0 In particular, if we choose R i =1+e c 0(y k i t) e H i =1+a 0 e c 0(y k i t) where a 0 and c 0 are arbitrary constants, we get dromionic behavior. 5.3 u = U(y, t), λ =0 The solutions of (4.15)-(4.16) can be chosen now as: ψ =0 H(y) U(y,t)x+ ˆψ = e where H(y) is an arbitrary function of y and U(y, t) obviously satisfies: U t U U y =0 Expressions for φ and ˆφ can be easily obtained through (4.5), together with (4.17) and (3.6). The result is: φ = R(y) ˆφ = ˆR(y)+ eu(y,t)x+h(y) U(y, t) being R(y) and ˆR(y) arbitrary functions of y.

176 P G Estévez and J Prada Iterated solutions can be now constructed as: m = U(y, t) (U(y, t)) x ˆm = U(y, t) (U(y, t)) x U(y, t)e U(y,t)x+H(y) + ˆR(y)U(y, t)+e U(y,t)x+H(y) u U(y, t)e U(y,t)x+H(y) = U(y, t) ˆR(y)U(y, t)+e U(y,t)x+H(y) 6 Conclusions The Painlevé test of (1.1) implies that the system has two Painlevé branches. It suggests that the solutions can be written as linear superposition of solutions of an equation with just one branch. We have proved that this equation is precisely AKNS in (+1) dimensions. This above splitting allows us to get two Miura transformations between (1.1) and (1.3). The singular manifold method is applied to (1.3) to derive its Lax pair. When SMM is applied to the Lax pair itself we get Bäcklund-gauge transformations that allow us to derive an iterative method to construct solutions. SMM is applied to (1.1) with the aid of the above results for (1.3). The induced Bäcklundgauge transformations for (1.1), as well as the iterated solutions are obtained through them. We close the paper in the last section with a rich collection of exact solutions. Acknowledgements This research has been supported in part by DGICYT under projects BFM00-0609 and BFM000-137. We like to thank A. Pickering for useful information and help. Appendix A Let us substitute (3.1) into (1.9) (We have used MAPLE to handle the calculation). We obtain a polynomial in φ and, by imposing that all the coefficients are zero, we have: Coefficient in φ 3 Coefficient in φ 0=4m y +8qm x +v y +qv x + qv +4r (A1) 0= 8m xy 4qm xx 1vm y 4vqm x 16q x m x 8r x 7vqv x 1rv v q x 3qv 3 4v xy 6vv y qv xx 4q x v x (A) Coefficient in φ 1 0=4r xx +8m x vq x +3v x v q +3v x vq x +8r x v +4rv + v 3 q x +

A Generalization of the Sine-Gordon Equation to + 1 Dimensions 177 +v 4 q +8m yx v +4m xx q x +4m y v +8m x v q +4m xx qv + v xxy + +v xx q x +3vv xy +3v x v y +3v y v +4rv x +4m y v x +8m x v y + v xx qv (A3) Coefficient in φ 0 0=4m xx m y +8m xy m x +4m xt + m xxxy (A4) where, according to (3.4), we have used the following substitutions: φ xx = vφ x Let us do now the following combinations: 1) From (A1), we have: ) By substituting (A5) in (A), we have: φ t = rφ x φ y = qφ x m y = r qv 4 qm x v y q v x (A5) q(3vv x +1m xx +3v xx )=0 (A6) that can be integrated with respect to x providing: m x = v x 4 v 8 + λ (A7) where we have introduced λ = λ(y, t) as a constant with respect to the integration in x. 3) Substitution of (A7) in (A5) yields to: m y = v y r λq (A8) 4) Compatibility between (A7) and (A8) implies that: r x + v xy 4 v 4 v y + λ y + λq x =0 (A9) 5) If we substitute (A7) and (A8) in (A3), it is trivially satisfied with the aid of (A9). 6) The same substitution, when applied to (A4), yields to: λλ y +λ t =0 (A10)

0= 1 φ 1 ( x ψ Θ) + 1 φ 1 178 P G Estévez and J Prada Appendix B 1)If we substitute (3.18) in (3.16), we get: 0=φ,x ψ + 1 φ 1 ( x ψ Θ) + 1 φ 1 ( φ1,x Θ ) (B1) and by using the fact that φ i,x = ψ i, i =1,, we obtain: ( ψ 1 Θ ) (B) The coefficient in φ 1 provides: = Θ ψ 1 (B3) and by substituting (B3) in (B) we get: Θ x =Θ ψ 1,x ψ ψ 1ψ (B4) 1 ) The substitution of (3.13) and (3.18) in the spatial part of the Lax pair (3.17) gives us: 0=ψ,xx +(m x λ )ψ + 1 φ 1 (Θ xx +m x Θ+ψ φ 1,xx λ Θ) + 1 φ 1 ( Θx φ 1,x +Θφ 1,xx ψ φ 1,x) (B5) The coefficient in φ 0 1 means that ψ is an eigenfuction for m with eigenvalue λ. If we substitute φ 1,x = ψ 1 and(b4)in(b5),wehave: 0=ψ,xx +(m x λ )ψ (B6) 0= 1 φ 1 ( ψ1 ψ ψ 1,x ψ 1ψ,x + λ 1 Θ λ Θ ) (B7) By solving (B7) with respect to Θ, the result is: Θ= ψ 1 ( ψ1 ψ,x ψ ψ 1,x λ λ 1 ) (B8) if we define: we have from (B8) and from (B3). Ω= ψ 1ψ,x ψ ψ 1,x λ λ 1 Θ= ψ 1 Ω = Ω (B9) (B10) (B11)

A Generalization of the Sine-Gordon Equation to + 1 Dimensions 179 References [1] Ablowitz M J and Clarkson P A, Solitons, Non-linear Evolution Equations and Inverse Scattering, Cambridge University Press, Cambridge, 199. [] Bogoyavlenskii O I, Russian Math. Surveys 45, 1 86, (1990). [3] Calogero F, Lett. Nuovo Cimento 14 (1975), 443 447. [4] Clarkson P A, Gordoa P R and Pickering A, Inverse Problems 13 (1997), 1463 1476. [5] Estévez P G, Gordoa P R, Martinez-Alonso L and Medina-Reus E, J. Phys. A 6 (1993), 1915 195. [6] Estévez P G and Leble S, Inverse Problems 11 (1995), 95 937. [7] Estévez P G and Gordoa P R, Inverse Problems 13 (1997) 939 957. [8] Estévez P G, Conde-Calvo E and Gordoa P R, J. Nonlinear Math. Phys. 1 (1998), 8 114. [9] Estévez P G and Hernáez G A, J. Phys. A 33 (000), 131 143. [10] Levi D and Ragnisco O, Nuovo Cimento 83 (1984), 34 41. [11] Ramirez J, Bruzón, M S, Muriel C, Gandarias M L, J. Phys A: Math. Gen. 36 (003), 1467 1484. [1] Konopelchenko B G and Stramp W, J. Math. Phys. 4 (1991) 40 49. [13] Kudryashov N and Pickering A, J. Phys A: Math. Gen. 31 (1998), 9505 9518. [14] Matveev V B and Salle M A, Darboux transformations and solitons, Springer Series in Nonlinear Dynamics, Springer-Verlag, 1991. [15] Painlevé P, Sur les équations différentielles du second ordre et dordre supérieur dont lintégrale générale est uniforme, Acta Math. 5 (190), 1 85. [16] Senthilvelan M and Lakshmanan M, J. of Nonlinear Math. Phys. 5 (1998), 190 11. [17] Toda K and Yu S, J. Math. Phys. 41 (000), 4747 4751. [18] Weiss J, J. Math. Phys. 4 (1983), 1405 1413. [19] Weiss J, Tabor M and Carnevale G, J. Math. Phys. 4 (1983), 5 56.