Access the full text.
Sign up today, get DeepDyve free for 14 days.
(1994)
Inverse Problems 10
P. Olver (1986)
Applications of lie groups to differential equationsActa Applicandae Mathematica, 20
A. Fokas (1994)
On the simplest integrable equation in 2+1Inverse Problems, 10
S. Chakravarty, S. Kent, E. Newman (1995)
Some reductions of the self‐dual Yang–Mills equations to integrable systems in 2+1 dimensionsJournal of Mathematical Physics, 36
M. Ablowitz, B. Prinari, A. Trubatch (2004)
Soliton interactions in the vector NLS equationInverse Problems, 20
A. Kiselev, J. Leur (1982)
Group analysis of differential equations
E. Díaz, P. Albares, P. Estévez, J. Cerveró, C. Gaul, E. Diez, F. Domínguez‐Adame (2017)
Spin dynamics in helical molecules with nonlinear interactionsNew Journal of Physics, 20
R. Radha, M. Lakshmanan (1997)
Exotic coherent structures in the (2+1) dimensional long dispersive wave equationJournal of Mathematical Physics, 38
R. Abłamowicz (1986)
Structure of spin groups associated with degenerate Clifford algebrasJournal of Mathematical Physics, 27
J. Villarroel, J. Prada, P. Estévez (2017)
Weakly decaying solutions of nonlinear Schrödinger equation in the planeJournal of Physics A: Mathematical and Theoretical, 50
(2017)
Nonlinear Dyn
P. Albares, ψt −iγ, iχ u2ω, iχ uλ (2017)
Classical Lie symmetries and reductions for a generalized NLS equation in 2+1 dimensionsJournal of Nonlinear Mathematical Physics, 24
H. Stephani (1990)
Differential Equations: Their Solution Using Symmetries
(1988)
Theorie der Transformationgruppen
P. Albares, P. Estévez, R. Radha, R. Saranya (2017)
Lumps and rogue waves of generalized Nizhnik–Novikov–Veselov equationNonlinear Dynamics, 90
Xing Lü, Mingshu Peng (2013)
Painlevé-integrability and explicit solutions of the general two-coupled nonlinear Schrödinger system in the optical fiber communicationsNonlinear Dynamics, 73
L. Šnobl, P. Winternitz (2014)
Classification and Identification of Lie Algebras
J. Weiss (1983)
THE PAINLEVE PROPERTY FOR PARTIAL DIFFERENTIAL EQUATIONS. II. BACKLUND TRANSFORMATION, LAX PAIRS, AND THE SCHWARZIAN DERIVATIVEJournal of Mathematical Physics, 24
P. Estévez, J. Lejarreta, C. Sardón (2017)
Symmetry computation and reduction of a wave model in $$\mathbf{2}+\mathbf{1}$$2+1 dimensionsNonlinear Dynamics, 87
J. Gubner (1931)
Differential EquationsNature, 127
Yang-Mills Equations (1995)
Symmetry Reductions of the Lax Pair of the Four-Dimensional Euclidean Self-Dual Yang-Mills EquationsJournal of Nonlinear Mathematical Physics, 3
G. Bluman, S. Kumei (1989)
Symmetries and differential equations
(2007)
A: Math
P. Albares, Elena Díaz, J. Cerveró, F. Domínguez-Adame, Enrique Diez, P. Estévez (2017)
Solitons in a nonlinear model of spin transport in helical molecules.Physical review. E, 97 2-1
K. Baumann (1988)
On canonical irreducible quantum field theories describing bosons and fermionsJournal of Mathematical Physics, 29
B. Konopelchenko (1993)
Introduction to Multidimensional Integrable Equations: The Inverse Spectral Transform in 2+1 Dimensions
Deng‐Shan Wang, Da‐jun Zhang, Jianke Yang (2010)
Integrable properties of the general coupled nonlinear Schrödinger equationsJournal of Mathematical Physics, 51
P. Estévez, J. Prada, J. Villarroel (2007)
On an algorithmic construction of lump solutions in a 2+1 integrable equationJournal of Physics A: Mathematical and Theoretical, 40
An integrable two-component nonlinear Schro¨dinger equation in 2 + 1 di- mensions is presented. The singular manifold method is applied in order to obtain a three-component Lax pair. The Lie point symmetries of this Lax pair are calculated in terms of nine arbitrary functions and one arbitrary constant that yield a non-trivial inﬁnite-dimensional Lie algebra. The main non-trivial similarity reductions associated to these symmetries are identi- ﬁed. The spectral parameter of the reduced spectral problem appears as a consequence of one of the symmetries. 1. Introduction Invariance of a diﬀerential equation under a set of transformations is equivalent to the existence of symmetries. The study of symmetries repre- sents a fundamental aspect related to the analysis of integrability of differen- tial equations, since this invariance property may be used to achieve partial or complete integration of such equations [1]. The basis of the theory of Lie symmetries lies in the invariance of diﬀeren- tial equations under one-parameter transformations of their variables. These transformations form a local group of transformations (Lie (point) symme- tries), which depend on a continuous parameter, and project any solution of the equation into another solution. Groups of transformations are fully char- acterized by their inﬁnitesimal generators, which will form the corresponding Preprint submitted to Applied Mathematics and Computation July 25, 2018 arXiv:1807.09039v1 [nlin.SI] 24 Jul 2018 Lie algebra. This method has been extensively investigated. Classical refer- ences about this subject are the textbooks [1], [2], [3], [4]. A standard method to ﬁnd solutions of a PDE (partial diﬀerential equa- tion) can be implemented by using Lie symmetries: each Lie symmetry leads to a similarity reduction for the PDE which allows us to reduce by one the number of independent variables. These procedures, as well as its numerous applications, have been widely studied [5]. As it is well known, a PDE is considered integrable when it can be derived through the Lax equation associated to a spectral problem [6]. As mentioned, Lie symmetries for PDEs are very popular in literature, however, the identi- ﬁcation of Lie symmetries of the associated spectral problem of an integrable system is much less frequent [7], [8]. Nevertheless, the determination of the symmetries of the Lax pair has the beneﬁt that the reduction associated to each symmetry of the Lax pair provides not only the reduction of the ﬁelds, but also the reductions of the eigenfunctions and the spectral parameter. A diﬀerent problem is the determination of the integrability of a nonlin- ear partial diﬀerential equation, as well as the derivation of its Lax pair in the case of integrability. The Painlev´e property and the singular manifold method derived from such property are extremely useful procedures in order to prove the integrability and to derive the Lax pair of an integrable system [9], [10], [11], [12]. This paper is devoted to the study of a multi-component nonlinear Schro¨dinger (NLS) Equation in 2 + 1 dimensions and its associated linear problem. In Section 2 the model is presented. We shall prove that the system has the Painlev´e property. The singular manifold method is suc- cessfully applied in order to derive the singular manifold equations and a three-component Lax pair. In Section 3 we shall apply the classical Lie method to ﬁnd Lie point symmetries for the system and the associated spectral problem. These sym- metries contain many arbitrary functions that yield non-trivial commutation relations among the associated generators. These commutation relations are carefully described in Section 4. In Section 5 we shall study the reductions that arise from the symmetries, obtaining three relevant similarity reductions where the spectral parameter emerges naturally as a result of the Lie method. Finally, we close with a section of conclusions. 2 2. The Singular manifold method In this paper we will study a (2 + 1)-dimensional multi-component non- linear Schro¨dinger equation iα~ + α~ + 2 m α~ = 0, t xx x † † −iα~ + α~ + 2 m α~ = 0, (1) xx m + α~ α~ = 0, α (x, y, t) where α~(x, y, t) = and α~ is the complex conjugate of α~. α (x, y, t) Besides that, m(x, y, t) is a real scalar function related to the probability density α~ α~ through the third of the equations (1). The reduction x = y of (1) yields the Manakov system [13], which is often also called vector NLS system [14]. Integrability properties of this Manakov system and its Painlev´e property are described in references [15], [16]. Diﬀerent generalizations of this Manakov system and their solutions have been recently studied in [10], [11]. Furthermore (1) is the multi-component generalization of a system that has been discussed by several authors [17], [18], [19] and whose lump solutions have been studied in [9], [20]. 2.1. Painlev´e Property It is easy to check whether or not (1) has the Painlev´e property. The existence of such property requires that all the solutions of (1) are single- valued in the initial conditions. This requirement means that the ﬁelds should be expanded as j−1 α (x, y, t) = a (x, y, t) [φ(x, y, t)] , 1 j j=0 j−1 α (x, y, t) = b (x, y, t) [φ(x, y, t)] , 2 j j=0 j−1 m(x, y, t) = c (x, y, t) [φ(x, y, t)] , (2) j=0 where φ(x, y, t) = 0 is the manifold of movable singularities. Substitution of (2) in (1) provides ﬁve polynomials in φ whose coeﬃcients should be 0. It 3 results in ﬁve recursion relations for the coeﬃcients. The calculation can be easily performed with the assistance of a symbolic package such as MAPLE. We omit here the details for the beneﬁt of the reader, but the result is that the recursion relations present four resonances in j = 1, 3, 4, 6, which are identically satisﬁed. Therefore we can conclude that (1) has the Painlev´e property (PP). The relation between integrability and Painlev´e property is an extremely interesting question. The existence of a Lax pair is usually considered as the best proof of the integrability of a nonlinear PDE. The problem of the identiﬁcation of the Lax pair for a PDE which has the PP is a non-trivial problem which can be approached through the singular manifold method (SMM) [21]. The SMM is based on the truncation of equation (2) at the constant level. It means that this truncation can be considered as an auto- B¨acklund transformation of the form: φ φ x † † † x αˆ = α + A , αˆ = α + A , 1 1 1 1 1 1 φ φ φ φ x † † † x αˆ = α + A , αˆ = α + A , 2 2 2 2 2 2 φ φ m ˆ = m + , (3) where {α , α , m} are the seed ﬁelds and {αˆ , αˆ , m ˆ } the iterated ones. Be- 1 2 1 2 sides that, φ is the singular manifold for the seed solution. Truncation means that A , A and φ should obey some equations which are known as the sin- 1 2 gular manifold equations. 2.2. Singular manifold equations Substitution of (3) in (1) yields ﬁve polynomials in φ. Each coeﬃcient of these polynomials should be 0. The cumbersome calculations can be handled with MAPLE and they allow us to write the seed ﬁelds in terms of the singular manifold in the following form: (A ) v + ir α = −A + , 1 1 A 2 (A ) v + ir α = −A + , 2 2 A 2 2 2 1 v + r m = − v + + r dx . (4) x x t 4 2 4 We have introduced for convenience the useful deﬁnitions: φ φ φ xx t y v = , r = , q = , (5) φ φ φ x x x whose cross-derivatives trivially yield v = (r + r v) , (6a) t x v = (q + q v) . (6b) y x Furthermore, the equations to be satisﬁed for A , A and φ can be listed as 1 2 (A ) (A ) 1 1 t xx − i = + v + i r + 2 m , x x x A A 1 1 (A ) (A ) 2 2 t xx − i = + v + i r + 2 m , (7) x x x A A 2 2 and † † q = A A + A A , (8) 1 2 1 2 h i † † r dx = −q r + i (A ) A − A (A ) y 1 1 1 x 1 x h i † † + i (A ) A − A (A ) . (9) 2 2 2 x 2 x 2.3. Lax pair Equations (4) can be linearized through the introduction of three-complex functions {ψ, χ, η} such that χ ρ A = , A = , (10a) 1 2 ψ ψ † † ψ ψ ψ ψ x x x x v = + , r = i − . (10b) † † ψ ψ ψ ψ Spatial part of the Lax pair Substitution of the deﬁnitions (10a)-(10b) in equation (8) yields for q the expression † † χ χ + ρ ρ q = , (11) ψ ψ 5 and substitution of (10a)-(10b) in (4) trivially results in † † χ = − α ψ ⇒ χ = − α ψ , (12a) x 1 x 1 † † ρ = − α ψ ⇒ ρ = − α ψ . (12b) x 2 x 2 Furthermore, from equations (9) and (6b) we have † † ψ χ χ ρ ρ y y † † + + α − α + α − α = 0, (13) 1 2 1 2 † † † ψ ψ ψ ψ ψ ψ " # † † ψ χ χ ρ ρ y † † i − + α + α + α + α = 0, (14) 1 2 1 2 † † † ψ ψ ψ ψ ψ ψ which can be combined in order to obtain † † † † † ψ = − α χ − α ρ, ψ = − α χ − α ρ . (15) y 1 2 1 2 y Therefore, the spatial part of the Lax pair is † † ∂ ψ 0 − α − α ψ 1 2 ∂ χ = χ , (16) − α 0 0 ∂ ρ − α 0 0 ρ and its complex conjugate. Temporal part of the Lax pair Substitution of (10a)-(10b) in (4) and (6a) yields ψ ψ ψ ψ t xx t xx + − i − = 0, (17) † † ψ ψ ψ ψ ψ ψ ψ ψ t xx t xx − − i + − 4 m = 0, (18) † † ψ ψ ψ ψ which can be combined as † † ψ = −i ψ − 2 i m ψ, ψ = i ψ + 2 i m ψ . (19) t xx x x t xx From (7), we have † † † † † χ = −i (α ) ψ + i α ψ , χ = i (α ) ψ − i (α ) ψ , (20a) t 1 1 x 1 1 x t x x † † † † † ρ = −i (α ) ψ + i α ψ , ρ = i (α ) ψ − i (α ) ψ . (20b) t 2 2 x 2 2 t x x x 6 It allows us to write the temporal part of the Lax pair as ∂ ψ −∂ − 2 m 0 0 ψ t xx x ∂ χ = i −∂ α + α ∂ 0 0 χ , (21) t x 1 1 x ∂ ρ −∂ α + α ∂ 0 0 ρ t x 2 2 x and its complex conjugate. Equations (16) and (21) (and their complex conjugates) are a three-com- ponent Lax pair for (1). The relation between the singular manifold φ and the eigenfunctions {ψ, χ, η} can be easily established by combining (5), (10b), and (11) as the exact derivative: † † † † † dφ = ψ ψ dx + χ χ + ρ ρ dy + i ψ ψ − ψ ψ dt. (22) 3. Classical Lie symmetries In this section, the Lie symmetry analysis is performed for the Lax pair given in equations (16) and (21) by applying the classical Lie method [22], [23]. Let us consider a one-parameter Lie group of inﬁnitesimal transformations of the independent variables {x, y, t}, the three ﬁelds {α , α , m} and the 1 2 eigenfunctions {ψ, χ, ρ}, given by: x˜ = x + ε ξ (x, y, t, α , α , m, ψ, χ, ρ) + O(ε ), 1 1 2 y˜ = y + ε ξ (x, y, t, α , α , m, ψ, χ, ρ) + O(ε ), 2 1 2 t = t + ε ξ (x, y, t, α , α , m, ψ, χ, ρ) + O(ε ), 3 1 2 α˜ = α + ε η (x, y, t, α , α , m, ψ, χ, ρ) + O(ε ), 1 1 1 1 2 α˜ = α + ε η (x, y, t, α , α , m, ψ, χ, ρ) + O(ε ), (23) 2 2 2 1 2 m ˜ = m + ε η (x, y, t, α , α , m, ψ, χ, ρ) + O(ε ), 3 1 2 ψ = ψ + ε φ (x, y, t, α , α , m, ψ, χ, ρ) + O(ε ), 1 1 2 χ˜ = χ + ε φ (x, y, t, α , α , m, ψ, χ, ρ) + O(ε ), 2 1 2 ρ˜ = ρ + ε φ (x, y, t, α , α , m, ψ, χ, ρ) + O(ε ), 3 1 2 where ε is the group parameter and ξ , η , φ , i = 1, ..., 3 are the components i i i of the related vector ﬁeld ∂ ∂ ∂ ∂ ∂ ∂ ∂ ∂ ∂ X = ξ +ξ +ξ +η +η +η +φ +φ +φ . (24) 1 2 3 1 2 3 1 2 3 ∂x ∂y ∂t ∂α ∂α ∂m ∂ψ ∂χ ∂ρ 1 2 7 This inﬁnitesimal transformation induces a well known one in the deriva- tives of the ﬁelds [1], [3], and it must leave invariant the set of solutions of (16)-(21). This procedure yields an overdetermined system of PDEs for the inﬁnitesimals called the determining equations, whose solutions (the calcula- tions are routinary and have been handle with MAPLE) provide the desired Lie symmetries. The result is: ξ = 4 K (t) x + 2 K (t), 1 1 2 ξ = 2 C (y), 2 1 ξ = 8 K (t), 3 1 h i 2 ′ ¨ ˙ ˙ η = i K (t) x + K (t) x + K (t) + C (y) − 2 K (t) − C (y) α , 1 1 2 3 2 1 1 + [C (y) + i C (y)] α , 4 5 2 h i 2 ′ ¨ ˙ ˙ η = i K (t) x + K (t) x + K (t) + C (y) − 2 K (t) − C (y) α , 2 1 2 3 3 1 2 − [C (y) − i C (y)] α , 4 5 1 ... 1 1 1 3 2 ˙ ¨ ˙ η = − 4 K (t) m + K (t) x + K (t) x + K (t) x + δ(y, t), 3 1 1 2 3 6 4 2 (25a) and h i ¨ ˙ ˙ φ = −i K (t) x + K (t) x + K (t) − 2 K (t) + λ ψ, 1 1 2 3 1 (25b) φ = [i C (y) − C (y) + λ] χ + [C (y) + i C (y)]ρ, 2 2 4 5 φ = [i C (y) − C (y) + λ] ρ − [C (y) − i C (y)] χ, 3 3 4 5 d d where we have used the convection ˙ = and = . dt dy These Lie symmetries depend on a set of nine arbitrary functions and one arbitrary constant, listed as, • Three arbitrary real functions K (t), j = 1...3, which depend exclu- sively on the temporal coordinate t. • Five arbitrary real functions C (y), j = 1...5, which depend on the coordinate y. • An arbitrary real function δ(y, t). • Furthermore, these symmetries include an arbitrary constant λ. We shall prove later that this constant which will play the role of the spec- tral parameter in the (1 + 1)-reductions of the Lax pair. 8 Lie symmetries for the Lax pair (16)-(21) generalize, extend and include all the Lie symmetries obtained for the multi-component NLS (1). Symme- tries given in (25a) can be analogously derived by implementing a similar procedure over the starting system of PDEs (1), whereas symmetries (25b) correspond to the transformation of the eigenfunctions of the Lax pair. It is also worthwhile to remark that the only additional symmetry that corre- sponds strictly to the Lax pair itself is the one associated with the arbitrary constant λ. 4. Commutation relations In this section, we will analyze the commutation relations among the inﬁnitesimal generators associated to the Lie symmetries for the Lax pair obtained in the previous section. The inﬁnitesimal generators associated to each symmetry are listed below. [j] • We shall denote as X , j = 1...3, the generators associated to the {K (t)} three arbitrary functions of t. [l] • Let Y , l = 1...5, be the generators associated to the arbitrary func- {C (y)} tions of y. • The generators associated to the arbitrary function δ(y, t) is denoted as Z . {δ(y,t)} • Finally, we have deﬁned as Λ the inﬁnitesimal generator related to {λ} the arbitrary constant λ. With this notation, we have the following ten generators: ... 1 ∂ ∂ ∂ ∂ [1] 3 2 X = x K + i x K α + α − ψ 1 1 1 2 {K (t)} 6 ∂m ∂α ∂α ∂ψ 1 2 ∂ ∂ ∂ ∂ ∂ ∂ + 2K 2 x − α − α − 2 m − ψ + 8 K , 1 1 2 1 ∂x ∂α ∂α ∂m ∂ψ ∂t 1 2 1 ∂ ∂ ∂ ∂ ∂ [2] ¨ ˙ X = x K + i x K α + α − ψ + 2 K , 2 2 1 2 2 {K (t)} 4 ∂m ∂α ∂α ∂ψ ∂x 1 2 1 ∂ ∂ ∂ ∂ [3] X = x K + i K α + α − ψ , 3 3 1 2 {K (t)} 2 ∂m ∂α ∂α ∂ψ 1 2 ∂ ∂ ∂ ∂ ∂ [1] Y = − C α + α + χ + ρ + 2 C , 1 2 1 {C (y)} 1 ∂α ∂α ∂χ ∂ρ ∂y 1 2 ∂ ∂ [2] Y = i C α + χ , 2 1 {C (y)} ∂α ∂χ ∂ ∂ [3] Y = i C α + ρ , 3 2 {C (y)} ∂α ∂ρ ∂ ∂ ∂ ∂ [4] Y = C α − α + ρ − χ , 4 2 1 {C (y)} ∂α ∂α ∂χ ∂ρ 1 2 ∂ ∂ ∂ ∂ [5] Y = i C α + α + ρ + χ , 5 2 1 {C (y)} ∂α ∂α ∂χ ∂ρ 1 2 Z = δ , {δ(y,t)} ∂m ∂ ∂ ∂ Λ = ψ + χ + ρ . {λ} ∂ψ ∂χ ∂ρ (26) According to [1], symmetry generators of PDEs can be classiﬁed in two classes, the ones associated to the arbitrary constants and the ones associated to the arbitrary functions. While those of the ﬁrst type will give rise to a Lie algebra, the inﬁnitesimal generators that depend on arbitrary functions do not, since we are dealing with an inﬁnite-dimensional basis of genera- tors. Nonetheless, it can be proved that the commutator of two symmetry generators is also a generator of a symmetry. Commutations relations among these operators may be performed. The convention used is that each {j, l}-element of the table corresponds to the h i [j] [l] [j] operation X , X , where X is the generator associated to a function {κ } {κ } {κ } j l j κ of its characteristic independent variables. The results are presented in 10 two diﬀerent tables for greater usability for the reader, but they should not be interpreted separately: [1] [2] [3] X X X Z {δ} {K } {K } {K } 1 2 3 [1] [1] [2] [3] X X X X Z {H } ˙ ˙ ˙ ˙ ˙ {8H ∂ (δ)+4δH } 1 t 1 1 {8H K −8K H } {8H K −4K H } {8H K } 1 1 1 1 1 2 2 1 1 3 [2] [2] [3] X −X X Z 0 {H } ˙ ˙ ˙ ˙ {H K } 2 2 3 {8K H −4H K } {2H K −2K H } 1 2 2 1 2 2 2 2 [3] [3] X −X −Z 0 0 {H } ˙ {K H } 3 2 3 {8K H } 1 3 Z −Z 0 0 0 {γ} {8K ∂ (γ)+4γK } 1 t 1 [1] [2] [3] [4] [5] Z Y Y Y Y Y {δ} {C1} {C2} {C3} {C4} {C5} Z 0 −Z 0 0 0 0 {γ} {2 C ∂ (γ)} 1 y [1] [1] [2] [3] [4] [5] Y Z Y Y Y Y Y ′ ′ ′ ′ ′ ′ {2 J ∂y(δ)} {J } 1 {2J C −2C J } {2J C } {2J C } {2J C } {2J C } 1 1 1 1 1 1 1 1 1 2 3 4 5 [2] [2] [5] [4] Y 0 −Y 0 0 −Y Y {J } {2C J } {J C } {J C } 2 1 2 4 2 5 [3] [3] [5] [4] Y 0 −Y 0 0 Y −Y {J } {2C J } {J C } {J C } 3 1 3 4 3 5 [4] [4] [5] [5] [2] [3] Y 0 −Y Y −Y 0 −Y + Y {J4} {2C1J } {C2 J4} {C3 J4} {2 J4C5} {2 J4C5} [5] [5] [4] [4] [2] [3] Y 0 −Y ′ −Y Y Y − Y 0 {J } {2C J } {C J } {C J } {2 C J } {2 C J } 5 1 2 5 3 5 4 5 4 5 Notice that the generator Λ = (ψ ∂ + χ ∂ + ρ ∂ ) commutes with all {λ} ψ χ ρ h i [j] [l] other generators. Besides that, X , Y = 0 for every value of {K (t)} {C (y)} j l j = 1...3, l = 1...5. Indeed, it may be observed that every commutator of two inﬁnitesimal generators provides a non-trivial result, due to the presence of arbitrary functions [3]. We should remark that, in general, these inﬁnitesimal generators do not form a Lie algebra, but it is possible to construct a ﬁnite-dimensional Lie algebra by selecting special values for the arbitrary functions. Some relevant works about this topic have been developed in [24], [25], where Kac-Moody type algebras have been obtained through a polynomial dependence for the arbitrary functions. 5. Similarity reductions Similarity reductions may be achieved by solving the characteristic system dx dy dt dα dα dm dψ dχ dρ 1 2 = = = = = = = = . (27) ξ ξ ξ η η η φ φ φ 1 2 3 1 2 3 1 2 3 11 In the following, we shall summarize the notation used for the reduced variables, reduced ﬁelds and reduced eigenfunctions: x, y, t → p, q, α (x, y, t) → F (p, q), α (x, y, t) → H(p, q), m(x, y, t) → N(p, q), 1 2 ψ(x, y, t) → Φ(p, q), χ(x, y, t) → Σ(p, q), ρ(x, y, t) → Ω(p, q). (28) The symmetries that will yield non-trivial reductions are those related to the arbitrary functions K (t), K (t) and C (y), present in the transformations 1 2 1 of the independent variables. The rest of the symmetries provide trivial reductions. Several reductions may emerge for diﬀerent values of K , K , C , 1 2 1 raising three independent reductions. We will introduce the following shorthand notation, which will be very useful for the next calculations: Z Z Z 2 3 1 K (t) 1 K (t) 1 K (t) 2 2 2 I (t) = dt, I (t) = dt, I (t) = dt. 0 1 2 3 5 4 2 4 K (t) 512 2 K (t) K (t) 1 1 (29) 5.1. K (t) 6= 0, K (t) 6= 0, C (y) 6= 0 1 2 1 By solving the characteristic system (27), the following results have been obtained • Reduced variables Z Z x dy dt p = − I (t), q = 4 − . (30) 1 0 C (y) K (t) K (t) 1 1 • Reduced ﬁelds n h io K (t) K (t) i 2 1 2 2 F (p, q) x + x−I (t) 8 K (t) K (t) 1 1 α (x, y, t) = e , 1 1 1 4 2 K (t) C (y) 1 1 n h io K (t) K (t) 1 2 2 2 H(p, q) x + x−I (t) 8 K (t) K (t) 1 1 α (x, y, t) = e , 1 1 4 2 K (t) C (y) 1 1 " # (31) h i 3 2 x 1 x K (t) m(x, y, t) = K (t) + 1 1 1 tt 2 2 2 24 K (t) 32 K (t) K (t) 1 1 1 N(p, q) + I (t) − I (t) + , 32 2 K (t) 12 where the subscript (·) denotes the derivative with respect to the co- ordinate t. • Reduced eigenfunctions n h i o K (t) K (t) i λ dt 1 2 2 Φ(p, q) − x + x−I (t) + 8 K (t) K (t) 8 K (t) 1 1 1 ψ(x, y, t) = e , 2 K (t) n o dt Σ(p, q) 8 K (t) χ(x, y, t) = e , (32) C (y) n o λ dt Ω(p, q) 8 K (t) ρ(x, y, t) = e . C (y) • Reduced spectral problem By substituting the reductions in the (2 + 1)-Lax pair (16)-(21) we obtain the following (1 + 1)-Lax pair: † † Φ + 2 N − λ Φ − i F Σ − i H Ω = 0, pp p Σ + F Φ = 0, (33) Ω + H Φ = 0, † † Φ + F Σ + H Ω = 0, Σ + i (F Φ − F Φ) − Σ = 0, (34) q p p Ω + i (H Φ − H Φ) − Ω = 0. q p p • Reduced Equations The compatibility condition between (33)-(34) will provide the reduced equations (and its complex conjugate) iF − F − 2FN = 0, q pp p iH − H − 2HN = 0, q pp p (35) † † N + FF + HH = 0, which prove to be a nonlocal multi-component NLS Equation in 1 + 1 † † dimensions, expressed for the complex conjugate ﬁelds {F , H } with 13 density of probability N . This reduction corresponds to the Manakov system [13], [14]. We may remark that the same reductions for the Lax pair and consequently, for the equations, will be obtained by performing the similarity reductions for the case with K (t) 6= 0, C (y) 6= 0, K (t) = 0, although the reductions 1 1 2 for the independent variables, ﬁelds and eigenfunctions are diﬀerent. 5.2. K (t) 6= 0, K (t) 6= 0, C (y) = 0 1 2 1 Integration of (27) provides the following results • Reduced variables p = − I (t), q = y. (36) K (t) • Reduced ﬁelds n h io K (t) K (t) i 2 F (p, q) 1 2 x + x−I (t) 8 K (t) K (t) 1 1 α (x, y, t) = , K (t) n h io K (t) K (t) i 2 1 2 H(p, q) x + x−I (t) 8 K (t) K (t) 1 1 α (x, y, t) = e , 2 1 K (t) " # (37) 3 h i 2 x 1 x K (t) m(x, y, t) = K (t) + 1 1 1 1 tt 2 2 2 24 K (t) 32 K (t) K (t) 1 1 1 x N(p, q) + I (t) − I (t) + . K (t) • Reduced eigenfunctions n h i o K (t) K (t) i λ dt 1 2 2 Φ(p, q) − x + x−I (t) + 8 K (t) K (t) 8 K (t) 1 1 1 ψ(x, y, t) = e , K (t) n o λ dt (38) 8 K (t) χ(x, y, t) = Σ(p, q) e , n o λ dt 8 K (t) ρ(x, y, t) = Ω(p, q) e . 14 • Reduced spectral problem Φ + 2N − λ Φ = 0, pp p Σ + F Φ = 0, (39) Ω + H Φ = 0, † † Φ + F Σ + H Ω = 0. λ Σ − 8 i (F Φ − F Φ) = 0, (40) p p λ Ω − 8 i (H Φ − H Φ) = 0. p p The previous system of PDEs can be expressed equivalently to the following scalar Lax pair in 1 + 1 dimensions Φ + 2 N − λ Φ = 0, pp p (41) † † λ Φ − 8 i F F + H H Φ + N Φ = 0. q p p q p • Reduced Equations The compatibility condition between (41) yield the reduced equations (and its complex conjugate) F + 2FN = 0, pp p H + 2HN = 0, pp p (42) † † N + FF + HH = 0. 5.3. K (t) 6= 0, C (y) 6= 0, K (t) = 0 2 1 1 The following reductions arise from the integration of (27), • Reduced variables Z Z x dy dt p = − , q = . (43) K (t) C (y) K (t) 2 1 2 15 • Reduced ﬁelds n h io K (t) i 2 2 F (p, q) x +2 p−q 4 K (t) α (x, y, t) = e , 1 1 2 2 K (t) C (y) 2 1 n h io K (t) i 2 2 H(p, q) x +2 p−q 4 K (t) e , α (x, y, t) = 2 (44) 1 1 2 2 K (t) C (y) 2 1 x K (t) N(p, q) m(x, y, t) = + . 24 K (t) K (t) 2 2 • Reduced eigenfunctions n h i o ˙ R K (t) dy i 2 λ Φ(p, q) 2 − x − q + 4 K (t) 2 C (y) 2 1 ψ(x, y, t) = e , K (t) λ dy p Σ(p, q) +i 2 C (y) 2 χ(x, y, t) = e , (45) C (y) n o λ dy p Ω(p, q) +i 2 C (y) 2 ρ(x, y, t) = e . C (y) • Reduced spectral problem † † Φ − F Σ + H Ω − Φ = 0, Σ + F Φ + Σ = 0, (46) Ω + H Φ + Ω = 0, i λ + 1 i λ + 1 † † † † Φ + i H + H Ω + i F + F Σ p p 2 2 λ + 1 † † −i FF + HH − 2 N − Φ = 0, i λ + 1 † † Σ − F − i F Φ − i FF Σ − i FH Ω = 0, (47) q p i λ + 1 † † Ω − H − i H Φ − i HF Σ − i HH Ω = 0. q p • Reduced Equations 16 The compatibility condition between (46)-(47) will provide the follow- ing system of PDEs i F + (F + i F ) + 2 FN = 0, q p p i H + (H + i H) + 2 HN = 0, (48) q p p † † N − FF − HH = 0. 6. Conclusions In this paper a multi-component Nonlinear Schro¨dinger Equation in 2+1 dimensions has been presented. This system constitutes a generalization of the Manakov system to higher dimensions. The Painlev´e test has been proved to be a powerful technique to identify the integrability of this model. Fur- thermore, the SMM has enabled us to derive a non-trivial three-component Lax pair for this system. We have determined the classical Lie symmetries for a multi-component Nonlinear Schro¨dinger equation in 2 + 1 dimensions and its three-component Lax pair. This procedure allows us to get the inﬁnitesimals related to the independent variables and ﬁelds, along with those associated to the eigen- functions. The resulting symmetries include nine arbitrary functions of the independent variables and a single arbitrary constant, which plays the role of the spectral parameter when the spectral problem is reduced to 1 + 1 dimensions. The commutation relations among the generators associated to each sym- metry have been widely analyzed. Although the set of symmetries does not form a Lie algebra (due to the presence of arbitrary functions), these rela- tions are consistent and closed. Eventually, we could deﬁne the Lie algebra associated to particular selections for the arbitrary functions. Three non-trivial reductions to 1 + 1 dimensions have been derived. The reduced equations and the reduced spectral problem have been simultane- ously obtained. It is important to notice that the spectral parameter arises naturally in the process of constructing the reductions, due to the symmetry procedure itself. Acknowledgements This research has been supported by MINECO (Grant MAT2016-75955) and Junta de Castilla y Le´on (Grant SA045U16). P. Albares also acknowl- 17 edges a predoctoral grant supported by Junta de Castilla y Le´on. We wish also thank Jose M. Cervero´ for his continuous advise and helpful comments. References [1] H. Stephani, Diﬀerential Equations. Their solutions using symmetries, edited by M.Mac Callum, Cambridge Univ. Press (1989) [2] G. W. Bluman and S. Kumei, Symmetries and Diﬀerential Equations, Springer-Verlag, New York (1989) [3] P. J. Olver, Applications of Lie Groups to Diﬀerential Equations, Springer-Verlag, New York (1993) [4] L. Snobl and P. Winternitz, Classiﬁcation and Identiﬁcation of Lie Al- gebras, CRM Monograph Series (2014) [5] P. Albares, J. M. Conde and P. G. Est´evez. J. Nonlinear Math. Phys. 24, 48-60 (2017) [6] B. Konopelchenko, Introduction to multidimensional integrable equa- tions Inverse spectral transform in dimensions, Plenum Press, New York (1992) [7] M. Legare, J. Nonlinear Math. Phys. 3, 266–285 (1996) [8] P. G. Est´evez, J. Lejarreta and C. Sard´on, Nonlinear Dyn. 87, 13-23 (2017) [9] P. G. Est´evez, J. Prada and J. Villarroel, J. Phys. A: Math. Theor. 40, 7213-7231 (2007) [10] E. D´ıaz, P. Albares, P. G. Est´evez, J. M. Cervero´, C. Gaul, E. Diez and F. Dom´ınguez-Adame, New J. Phys. 20, 043055 (2018) [11] P. Albares, E. D´ıaz, J. M. Cervero´, F. Dom´ınguez-Adame, E. Diez and P. G. Est´evez, Phys. Rev. E 97, 022210 (2018) [12] P. Albares, P. G. Est´evez, R. Radha and R. Saranya, Nonlinear Dyn. 90, 2305-2315 (2017) [13] S. V. Manakov, Sov. Phys. JETP 38, 248 (1974) 18 [14] M. Ablowitz, B. Prinari, and A. D. Trubatch, Inverse Probl. 20, 1217 (2004) [15] X. Lu and M. Peng, Nonlinear Dyn. 73, 405 (2013) [16] D.S.Wang, D.J. Zhang, and J. Yang, J. Math. Phys. 51, 023510 (2010) [17] A. Fokas, Inverse Problems 10, L1922 (1994) [18] S. Chakravarty, S. L. Kent and T. Newmann, J. Math. Phys. 36, 763-772 (1995) [19] R. Radha and M. Lakshmanan, J. Math. Phys. 38, 292299 (1997) [20] J. Villarroel, J. Prada and P. G. Est´evez, J. Phys. A: Math. Theor. 50, 495203 (2017) [21] J. Weiss, J. Math. Phys. 24, 14051413 (1983) [22] S. Lie, Theorie der Transformationgruppen, Teubner, Leipzig (1988) [23] L.V. Ovsiannikov, Group Analysis of Diﬀerential Equations, Academic Press, New York (1982) [24] B. Champagne and P. Winternitz, J. Math. Phys. 27, 1–8 (1986) [25] D. David, N. Kamran, D. Levi and P. Winternitz, J. Math. Phys. 29, 1225 (1988)
Nonlinear Sciences – arXiv (Cornell University)
Published: Jul 24, 2018
You can share this free article with as many people as you like with the url below! We hope you enjoy this feature!
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.