Skip to content

Advertisement

Open Access

N-Fold Darboux transformation and solitonic interactions for a Volterra lattice system

Advances in Difference Equations20142014:213

https://doi.org/10.1186/1687-1847-2014-213

Received: 16 April 2014

Accepted: 15 July 2014

Published: 4 August 2014

Abstract

Under consideration in this paper is a Volterra lattice system. Through symbolic computation, the Lax pair and conservation laws are derived, an integrable lattice hierarchy and an N-fold Darboux transformation (DT) are constructed for this system. Furthermore, N-soliton solutions in terms of determinant are generated with the resulting N-fold DT. Structures of the one-, two- and three-soliton solutions are shown graphically. Overtaking inelastic solitonic interactions between/among the two and three solitons are discussed by figures plotted.

Keywords

Volterra lattice systemN-fold Darboux transformationN-soliton solutions in terms of determinantconservation lawssymbolic computation

1 Introduction

Explicit solutions of the nonlinear partial differential equations (NPDEs), in particular the soliton solutions, describe certain phenomena (see [1] and references therein). A soliton is a localized nonlinear wave which has particle-like properties [2]. Nonlinear differential-difference equations (NDDEs), taken as spatially discrete analogues of the NPDEs, have received certain attention [24]. Studies on the solitons might be divided into two categories, i.e., the continuous and discrete (lattice) cases [2]. Dynamical behaviors of the solitons in the continuous and discrete cases are described by the NPDEs and NDDEs, respectively [2]. NDDEs have some applications in science [26]. For example, the Toda lattice [5] is the discrete approximation of the Korteveg-de Vries (KdV) equation in fluids; the discrete nonlinear Schrödinger equation [6] can describe the interaction and propagation of optical pulses in a nonlinear waveguide array; the Volterra lattice system [2, 713] is in connection with the spectrum of Langmuir wave in plasma dynamics.

Explicit solutions might be helpful for understanding some processes described by the NDDEs, especially the soliton solutions [2, 14]. Solitons in the discrete systems are sometimes called the lattice solitons [2]. Methods for constructing the explicit solutions of the NDDEs, such as the inverse scattering method [1416], the Bäcklund transformation [17, 18], the Hirota method [19, 20] and the DT [2127], have been developed. Among them, the DT is an algebraic one used to obtain the explicit solutions (especially the multi-soliton solutions) in a recursive manner [28]. The key idea of the DT method is to keep the linear eigenvalue problems of the integrable NDDEs invariant.

In this paper, we consider the following Volterra lattice system [2]:
M n , t = ( 1 + M n 2 ) ( M n + 1 M n 1 ) , n = 0 , ± 1 , ± 2 , ,
(1)

where M n = M ( n , t ) are the functions of the discrete variable n and time variable t, M n , t = d M n d t . Equation (1) is in connection with the spectrum of Langmuir waves in space and laboratory plasmas [2]. References [2932] have presented some rational, solitary-wave and periodic-wave solutions of (1). In [33], the traveling-wave solution of Volterra lattice was constructed by the optimal homotopy analysis method. Although many people have investigated Eq. (1), to our knowledge, few people have studied Eq. (1) via the N-fold DT. Furthermore, inelastic interaction behaviors of the discrete solitons and conservation laws for this system have not been reported previously.

Different from the previous studies, in this paper, we make further investigation on Eq. (1) via the N-fold DT technique [34]. By employing the AKNS (Ablowitz-Kaup-Newell-Segur) procedure [35], we construct the new Lax pair in matrix form associated with Eq. (1). Based on the derived Lax representation, we directly construct the N-fold Darboux matrices for Eq. (1). Outline of this paper is as follows. In Section 2, an integrable lattice hierarchy associated with Eq. (1) is given from a discrete spectral problem. In Section 3, the Lax pair and N-fold DT of (1) are constructed by employing the AKNS procedure. In Section 4, N-soliton solutions in terms of determinant are derived via the resulting N-fold DT, the solitonic interaction of those solutions is analyzed graphically. In Section 5, conservation laws of (1) are given. Conclusions are made in the last section.

2 An integrable lattice hierarchy associated with Eq. (1)

In this section, we will consider the following discrete spectral problem in the frame of the AKNS system:
E φ n = U n ( u , λ ) φ n , U n ( u , λ ) = ( λ 2 λ u n λ v n β ) ,
(2)

where λ is a spectral parameter and λ t = 0 , β 0 is an arbitrary constant, φ n = ( φ 1 , n , φ 2 , n ) T is a vector eigenfunction, u = ( u n , v n ) T is the potential function and E is the shift operator defined by E f ( n , t ) = f ( n + 1 , t ) f n + 1 , E 1 f ( n , t ) = f ( n 1 , t ) f n 1 , n Z , t R , T denoting the transpose of the matrix.

To obtain an integrable lattice hierarchy associated with Eq. (1), according to a scheme for generating the integrable lattice hierarchy [36], we first solve the stationary discrete zero-curvature equation
( E Γ 1 ) U n U n Γ 1 = 0 ,
(3)
where Γ 1 = ( A n B n C n A n ) . Equation (3) becomes
λ 2 A n + 1 λ 2 A n + λ v n B n + 1 λ u n C n = 0 , λ u n A n + 1 + λ u n A n + β B n + 1 λ 2 B n = 0 , λ 2 C n + 1 λ v n A n + 1 λ v n A n β C n = 0 , λ u n C n + 1 λ v n B n β A n + 1 + β A n = 0 .
(4)
Substituting A n = j = 0 A n ( j ) λ 2 j and B n = j = 0 B n ( j ) λ 2 j + 1 , C n = j = 0 C n ( j ) λ 2 j + 1 into Eq. (4) leads to the initial relations B n + 1 ( 0 ) = 0 , C n ( 0 ) = 0 and the recursion relations
A n + 1 ( j ) A n ( j ) + v n B n + 1 ( j ) u n C n ( j ) = 0 , j 0 , β B n + 1 ( j ) B n ( j + 1 ) + u n ( A n + 1 ( j ) + A n ( j ) ) = 0 , j 0 , C n + 1 ( j + 1 ) β C n ( j ) v n ( A n + 1 ( j ) + A n ( j ) ) = 0 , j 0 , u n C n + 1 ( j + 1 ) v n B n ( j + 1 ) β ( A n + 1 ( j ) A n ( j ) ) = 0 , j 0 .
(5)
Now we choose A n ( 0 ) = 1 / 2 , and require A n ( j ) | [ u ] = 0 = 0 , B n ( j ) | [ u ] = 0 = 0 , C n ( j ) | [ u ] = 0 = 0 ( j 1 ), the recursion relations (5) determine A n ( j ) , B n ( j ) , C n ( j ) ( j 1 ) uniquely, and the first few coefficients are given as follows:
B n ( 1 ) = u n , C n + 1 ( 1 ) = v n , A n ( 1 ) = u n v n 1 , B n ( 2 ) = u n ( u n v n 1 + u n + 1 v n ) β u n + 1 , C n + 1 ( 2 ) = v n ( u n v n 1 + u n + 1 v n ) β v n 1 , .
Then we define
Γ 1 ( m ) = λ 2 m Γ 1 = ( j = 0 m A n ( j ) λ 2 m 2 j j = 0 m B n ( j ) λ 2 m 2 j + 1 j = 0 m C n ( j ) λ 2 m 2 j + 1 j = 0 m A n ( j ) λ 2 m 2 j ) , m 0 .
(6)
From relations (5), we can derive
( E Γ 1 ( m ) ) U n U n Γ 1 ( m ) = ( 0 λ B n ( m + 1 ) λ C n + 1 ( m + 1 ) β ( A n + 1 ( m ) A n ( m ) ) ) .
(7)
To present the associated lattice hierarchy, we take a modification
Δ n ( m ) = ( 0 0 0 A n ( m ) ) ,
(8)
and define V n ( m ) = Γ 1 ( m ) + Δ n ( m ) for m 0 . Then we get
( E V n ( m ) ) U n U n V n ( m ) = ( 0 λ B n ( m + 1 ) λ u n A n ( m ) λ C n + 1 ( m + 1 ) + λ v n A n + 1 ( m ) 0 ) .
(9)
Let the time evolution of the eigenfunction φ n of Eq. (2) obey
φ n , t m = V n ( m ) φ n , m 0 ,
(10)
and then the compatibility conditions of Eq. (2) and Eq. (10) are E φ n , t m = E ( φ n ) t m , which are equivalent to
U n , t m = ( E V n ( m ) ) U n U n V n ( m ) , m 0 .
(11)
Equation (11) gives rise to the following positive hierarchy of lattice equations:
{ u n , t m = B n ( m + 1 ) u n A n ( m ) , v n , t m = C n + 1 ( m + 1 ) + v n A n + 1 ( m ) .
(12)
To obtain the generalized integrable lattice hierarchy associated with Eq. (1), we will further consider the following auxiliary spectral problem:
φ n , t m = Γ 2 ( m ) φ n , m 0 ,
(13)
where
Γ 2 ( m ) = ( j = 0 m a n ( j ) λ 2 m + 2 j j = 0 m b n ( j ) λ 2 m + 2 j 1 j = 0 m c n ( j ) λ 2 m + 2 j 1 j = 0 m a n ( j ) λ 2 m + 2 j ) + ( a n ( m ) 0 0 0 ) , m 0 .
(14)
The discrete zero-curvature equations U n , t m = ( E Γ 2 ( m ) ) U n U n Γ 2 ( m ) lead to the following negative hierarchy:
{ u n , t m = b n + 1 ( m + 1 ) u n a n + 1 ( m ) , v n , t m = c n ( m + 1 ) + v n a n ( m ) ,
(15)
with the recursive relations as follows:
a n ( 0 ) = 1 / 2 , b n ( 0 ) = 0 , c n + 1 ( 0 ) = 0 , b n + 1 ( 1 ) = u n / β , c n ( 1 ) = v n / β , a n ( 1 ) = v n u n 1 / β , b n + 1 ( 2 ) = u n ( u n v n 1 + u n 1 v n ) / β 2 + u n 1 / β 2 , c n ( 2 ) = v n ( u n v n + 1 + u n 1 v n ) / β 2 + v n + 1 / β 2 , .
Let P n ( m ) = Γ 2 ( m ) V n ( m ) , we consider the following auxiliary spectral problem:
φ n , t m = P n ( m ) φ n , m 0 .
(16)
The discrete zero-curvature equations lead to the following generalized combined hierarchy:
{ u n , t m = ( B n ( m + 1 ) u n A n ( m ) ) b n + 1 ( m + 1 ) u n a n + 1 ( m ) , v n , t m = ( C n + 1 ( m + 1 ) + v n A n + 1 ( m ) ) + c n ( m + 1 ) + v n a n ( m ) .
(17)
When m = 1 , system (17) reduces to
{ u n , t 1 = u n + 1 ( u n v n 1 ) + u n 1 ( u n v n 1 ) / β 2 , v n , t 1 = v n 1 ( u n v n 1 ) v n + 1 ( u n v n 1 ) / β 2 .
(18)
Accordingly, when m = 1 , the time part of the Lax pair of (18) is given as follows:
P n ( 1 ) = ( 1 / 2 λ 2 1 / ( 2 λ 2 ) u n v n 1 λ u n + u n 1 / ( β λ ) λ v n 1 + v n / ( β λ ) 1 / 2 λ 2 + 1 / ( 2 λ 2 ) v n u n 1 / β 2 ) .
(19)

When β = 1 , u n = v n = M n , system (18) reduces to Eq. (1).

The Hamiltonian structure often guarantees the existence of infinitely many symmetries and infinitely many conserved functionals, exhibiting integrability of the equations under consideration [37]. For the obtained lattice hierarchies (12), (15) and (17), we also may construct their Hamiltonian structures. The aim of this paper is to construct N-fold DT and multi-soliton solutions in terms of determinant of Eq. (1). Hence, as to the detailed derivation process on how to construct Hamiltonian structures of the obtained hierarchies, we refer the reader to the work of Ma [37], here we omit them for simplification.

3 N-Fold DT of Eq. (1)

At present, more research on the Lax integrable NPDEs has been done via the N-fold DT [3841], for the Lax integrable NDDEs, more research has been done by a single DT (i.e., 1-fold DT) [2127]. However, as far as we know, few studies on the NDDEs have been done by constructing the N-fold DT. Although the N-fold DT can be interpreted as a superposition of the 1-fold DT, comparing with the 1-fold DT, the biggest advantage of N-fold DT is that we can obtain the relationships between the new multi-soliton solutions and the seed solutions without complicated iterations, so it is meaningful to generalize the N-fold DT technique from NPDEs to NDDEs.

With the aid of symbolic computation Maple, we can construct the Lax pair for (1) as follows:
E φ n = U n φ n = ( λ 2 λ M n λ M n 1 ) φ n ,
(20)
φ n , t = V n φ n = ( λ 2 2 1 2 λ 2 + M n M n 1 λ M n M n 1 λ λ M n 1 + M n λ λ 2 2 + 1 2 λ 2 + M n M n 1 ) φ n .
(21)
The integrability condition between (20) and (21) gives rise to (1). In what follows, we proceed to establish the DT of (1). In essence, the DT is a special gauge transformation of the solutions for (20) and (21). We introduce the following gauge transformation:
φ ˜ n = T n φ n ,
(22)
where φ ˜ n is required to satisfy (20) and (21) with U n and V n replaced respectively by U ˜ n and V ˜ n , i.e.,
φ ˜ n = U ˜ n φ ˜ n , U ˜ n = T n + 1 U n T n 1 ,
(23)
φ ˜ n , t = V ˜ n φ ˜ n , V ˜ n = ( T n , t + T n V n ) T n 1 .
(24)
U ˜ n and V ˜ n have the same forms as U n and V n , respectively, except replacing M n with M ˜ n , then we can obtain a new solution M ˜ n from the old one M n of (1). It is obvious that the Darboux matrix T n is a key step for constructing the DT, a proper T n will ensure the correctness of the N-fold DT of (1). Hereby, we construct a special T n as follows:
T n = ( a n b n c n d n ) = ( λ 2 N + 1 + j = N 1 N 1 a n ( 2 j + 1 ) λ 2 j + 1 j = N N b n ( 2 j ) λ 2 j j = N N b n ( 2 j ) λ 2 j λ 2 N 1 + j = N N a n ( 2 j 1 ) λ 2 j + 1 ) ,
(25)
where a n ( j ) , b n ( j ) are the functions of n and t. a n ( j ) , b n ( j ) can be determined by the following linear algebraic system:
j = N 1 N 1 a n ( 2 j + 1 ) λ i 2 j + 1 + j = N N b n ( 2 j ) λ i 2 j δ i , n = λ i 2 N + 1 , j = N N b n ( 2 j ) λ i 2 j + j = N N a n ( 2 j 1 ) λ i 2 j + 1 δ i , n = λ i 2 N 1 δ i , n ,
(26)
where
δ i , n = φ 2 , n ( λ i ) φ 1 , n ( λ i ) , 1 i 2 N + 1 ,
(27)

and φ n = ( φ 1 , n , φ 2 , n ) is a solution of (20) and (21). When the 2 N + 1 parameters λ i ( λ i λ j , i j ) are suitably chosen so that the determinant of the coefficients for (26) is nonzero, the transformation T n is determined by (26) uniquely.

Equation (25) shows that λ 4 N + 2 det T n is the ( 8 N + 4 ) th order polynomial of λ and
det T n ( λ i ) = a n ( λ i ) d n ( λ i ) b n ( λ i ) c n ( λ i ) ,
(28)
from (22), (25) and (26), we have
a n ( λ i ) = b n ( λ i ) δ i , n , c n ( λ i ) = d n ( λ i ) δ i , n .
(29)
So we determine that
det T n ( λ i ) = 0 ,
(30)
which means that λ i ( λ i 0 ) ( i = 1 , 2 , , 2 N + 1 ) are the roots of the λ 4 N + 2 det T n , i.e.,
det T n = λ 4 N 2 a n ( 2 N 1 ) i = 1 2 N + 1 ( λ 2 λ i 2 ) 2 .
(31)

By using the above facts, we can prove the following theorem.

Theorem 1 Matrices U ˜ n and V ˜ n determined by (23) and (24) have the same forms as U n and V n respectively, where the transformation from the old potential M n into the new one M ˜ n is given by
M ˜ n = M n a n + 1 ( 2 N 1 ) b n + 1 ( 2 N ) .
(32)

The proof of the form invariance for U ˜ n , V ˜ n and U n , V n can refer to the context in [34], the proof process is similar (for proof details, see the Appendix). According to Theorem 1, the transformations (22) and (32) can change the Lax pair (20) and (21) into the Lax pair of the same type (23) and (24). Therefore, both of Lax pairs lead to (1). Transformations (22) and (32) are called an N-DT of (1).

4 N-Soliton solutions and inelastic interaction of Eq. (1)

In the following, we will give some explicit solutions of (1) via transformations (22) and (32). Substituting a trivial solution M n = 0 into (20) and (21), we can give one solution of the Lax pair (20) and (21) with λ = λ i ( i = 1 , 2 , , 2 N + 1 ) as follows:
ϕ = ( λ i 2 n e [ λ i 2 / 2 1 / ( 2 λ i 2 ) ] t e [ λ i 2 / 2 1 / ( 2 λ i 2 ) ] t ) .
(33)
According to (27), we have
δ i , n = 1 λ i 2 n e ( 1 / λ i 2 λ i 2 ) t , δ i , n + 1 = δ i , n λ i 2 .
(34)
Solving the linear algebraic system (26) by use of Cramer’s rule leads to
a n ( 2 N 1 ) = Δ a n ( 2 N 1 ) Δ , b n ( 2 N ) = Δ b n ( 2 N ) Δ ,
(35)
with
Δ = | λ 1 2 N 1 λ 1 2 N 1 λ 1 2 N δ 1 , n λ 1 2 N δ 1 , n λ 2 N + 1 2 N 1 λ 2 N + 1 2 N 1 λ 2 N + 1 2 N δ 2 N + 1 , n λ 2 N + 1 2 N δ 2 N + 1 , n λ 1 2 N + 1 δ 1 , n λ 1 2 N + 1 δ 1 , n λ 1 2 N λ 1 2 N λ 2 N + 1 2 N + 1 δ 2 N + 1 , n λ 2 N + 1 2 N + 1 δ 2 N + 1 , n λ 2 N + 1 2 N λ 2 N + 1 2 N | ,

and Δ a n ( 2 N 1 ) is produced from Δ by replacing its ( 2 N + 1 ) th column with ( λ 1 2 N + 1 , , λ 2 N + 1 2 N + 1 , λ 1 2 N 1 δ 1 , n , , λ 2 N + 1 2 N 1 δ 2 N + 1 , n ) T , Δ b n ( 2 N ) is produced from Δ by replacing its ( 4 N + 2 ) th column with ( λ 1 2 N + 1 , , λ 2 N + 1 2 N + 1 , λ 1 2 N 1 δ 1 , n , , λ 2 N + 1 2 N 1 δ 2 N + 1 , n ) T .

By use of (32) and (34), we derive a new solution as follows:
M ˜ n = b n + 1 ( 2 N ) .
(36)

From (35), we can see that solution (36) is a solution in terms of determinants [38, 39]. Here we obtain the solutions in determinant form of NDDEs. However, in [42], a set of coupled conditions consisting of NDDEs is presented for Casorati determinants to solve the Toda lattice equation. The resulting set of eigenfunctions leads to complexitons through the Casoratian formulation, a feasible way has been presented to construct a broad class of Casorati determinant solutions including complexitons and generalized Casorati determinant solutions of the Toda lattice equation. Ma and a co-worker [42] also indicate that integrable equations can have three different kinds of explicit exact transcendental function solutions: negatons, positons and complexitons. Solitons are usually a specific class of negatons. Roughly speaking, negatons and positons are solutions which involve exponential functions and trigonometric functions of space variables, respectively, and they are all associated with real eigenvalues of the associated spectral problems. But complexitons are different solutions which involve both exponential and trigonometric functions of space variables, and they are associated with complex eigenvalues of the associated spectral problems [42]. It is worth pointing out that our results seem to be different from those reported in [42] considering determinant form, but Ma and a co-worker [42] pointed out that the Casorati determinant solution has actually resulted from the Darboux transformation of the Toda lattice equation. Hence we think that these solutions may be the same as Casorati determinant solutions in essence, they may be different only in form, of course, the relation between two kinds of determinant solutions is worthwhile to be studied further. However, we should point out that there are some differences between our method and [42]. Firstly, the Lax pairs are different, one is the matrix form, the other is the operator form; secondly, the deducing steps are different, comparing with [42] we directly construct the Darboux matrix T n , let a Lax pair be covariant with respect to the action of the DT; thirdly, our results and Casorati determinant solutions have different forms. For our results, when choosing different λ, whether we can get the negatons, positons and complexitons may need further investigation. In what follows, we mainly consider multi-soliton solutions and the solitonic interaction of Eq. (1), this is the topic that we would like to address in this paper.

To understand solution (36), when N = 0 and N = 1 , we plot their structure figures as shown in Figures 1 to 3.
Figure 1

Evolution plots of solution ( 38 ) with the parameters chosen as (a) λ 1 = 0.8 , (b) λ 1 = 1.2 at different time.

  1. (I)
    When N = 0 , let λ = λ 1 . Solving the linear algebraic system (26) leads to
    a n ( 1 ) = Δ a n ( 1 ) Δ , b n ( 0 ) = Δ b n ( 0 ) Δ ,
    (37)
     
with
Δ = | 1 λ 1 δ 1 , n λ 1 δ 1 , n 1 | , Δ a n ( 1 ) = | λ 1 δ 1 , n δ 1 , n λ 1 1 | , Δ b n ( 0 ) = | 1 λ 1 λ 1 λ 1 δ 1 , n δ 1 , n λ 1 | .
Therefore, an explicit solution of (1) is obtained as follows:
M ˜ n = b n + 1 ( 0 ) .
(38)
To understand solution (38), we plot its structure figures as shown in Figure 1, it is one-soliton solution. Figure 1 shows the anti-bell-shape soliton and bell-shape soliton for (38), and solution (38) is the anti-bell soliton when 0 < λ 1 < 1 , while bell soliton structure when λ 1 > 1 . When λ 1 < 0 , solution (38) is a complex solution, whose imaginary and real parts are both periodic wave structures (here we omit their plots).
  1. (II)
    When N = 1 , let λ = λ i ( i = 1 , 2 , 3 ). Solving the linear algebraic system (26) leads to
    a n ( 3 ) = Δ a n ( 3 ) Δ , b n ( 2 ) = Δ b n ( 2 ) Δ ,
    (39)
     
with
Δ = | λ 1 1 λ 1 1 λ 1 3 δ 1 , n λ 1 2 δ 1 , n λ 1 2 δ 1 , n λ 2 1 λ 2 1 λ 2 3 δ 2 , n λ 2 2 δ 2 , n λ 2 2 δ 2 , n λ 3 1 λ 3 1 λ 3 3 δ 3 , n λ 3 2 δ 3 , n λ 3 2 δ 3 , n δ 1 , n λ 1 λ 1 δ 1 , n λ 1 3 δ 4 , n λ 1 2 1 1 λ 1 2 δ 2 , n λ 2 λ 2 δ 2 , n λ 2 3 δ 3 , n λ 2 2 1 1 λ 2 2 δ 3 , n λ 3 λ 3 δ 3 , n λ 3 3 δ 3 , n λ 3 2 1 1 λ 3 2 | , Δ a n ( 3 ) = | λ 1 1 λ 1 λ 1 3 δ 1 , n λ 1 2 δ 1 , n λ 1 2 δ 1 , n λ 2 1 λ 2 λ 2 3 δ 2 , n λ 2 2 δ 2 , n λ 2 2 δ 2 , n λ 3 1 λ 3 λ 3 3 δ 3 , n λ 3 2 δ 3 , n λ 3 2 δ 3 , n δ 1 , n λ 1 λ 1 δ 1 , n δ 1 , n λ 1 3 λ 1 2 1 1 λ 1 2 δ 2 , n λ 2 λ 2 δ 2 , n δ 2 , n λ 2 3 λ 2 2 1 1 λ 2 2 δ 3 , n λ 3 λ 3 δ 3 , n δ 3 , n λ 3 3 λ 3 2 1 1 λ 3 2 | , Δ b n ( 2 ) = | λ 1 1 λ 1 1 λ 1 3 δ 1 , n λ 1 2 δ 1 , n λ 1 3 λ 2 1 λ 2 1 λ 2 3 δ 2 , n λ 2 2 δ 2 , n λ 2 3 λ 3 1 λ 3 1 λ 3 3 δ 3 , n λ 3 2 δ 3 , n λ 3 3 δ 1 , n λ 1 λ 1 δ 1 , n λ 1 3 δ 4 , n λ 1 2 1 δ 1 , n λ 1 3 δ 2 , n λ 2 λ 2 δ 2 , n λ 2 3 δ 3 , n λ 2 2 1 δ 2 , n λ 2 3 δ 3 , n λ 3 λ 3 δ 3 , n λ 3 3 δ 3 , n λ 3 2 1 δ 3 , n λ 3 3 | .
Therefore, another explicit solution of (1) is obtained as follows:
M ˜ n = b n + 1 ( 2 ) .
(40)
When N = 1 and the parameters are suitably chosen, solution (40) is the two-soliton and three-soliton solution, respectively, the corresponding evolution plots are shown in Figures 2 to 3. Figure 2 shows the overtaking collision interactions between two solitons with a bell-shaped and an anti-bell-shaped soliton with different amplitudes along the same propagation direction for solution (40) at different time. The bell-shaped soliton with higher amplitude travels faster than the anti-bell-shaped soliton with lower amplitude. After the overtaking interaction, the amplitude of the anti-bell-shaped soliton becomes higher; however, the amplitude of the bell-shaped soliton becomes lower. The final two solitons move along the same direction and preserve their shapes and amplitudes, from which we can find that the solitonic shapes and amplitudes have changed after the interaction, the interactions between two solitons are inelastic. Figure 3 displays the overtaking collision interactions among three solitons with two bell-shaped solitons and an anti-bell-shaped soliton with different amplitudes along the same propagation direction of solution (40) at different time, the solitons with higher amplitude travel faster than those with lower amplitudes. After the overtaking interaction, the amplitude of the higher bell-shaped soliton becomes lowest; however, the amplitudes of the other two become higher, and the lower solitons travel faster than those with higher amplitudes after the interaction. The final three solitons move along the same direction and preserve their shapes, amplitudes and velocities. The solitonic shapes and amplitudes have changed after the interaction, so that the solitonic interactions among three solitons are also inelastic. As we know, the inelastic interaction phenomenon is new for (1).
Figure 2

Evolution plots of two-soliton solutions with overtaking collision behavior via ( 40 ) with the parameters λ 1 = 1.0 , λ 2 = 1.4 , λ 3 = 1.6 at different time.

Figure 3

Evolution plots of three-soliton solutions with overtaking collision behavior via ( 40 ) with the parameters λ 1 = 1.2 , λ 2 = 1.4 , λ 3 = 1.6 at different time.

With symbolic computation, solution (36) with N = 0 and N = 1 has been verified by substituting them into (1). When solution (36) is the soliton solution, note that solution (36) is the ( 2 N + 1 ) -soliton solution if λ i 1 and λ i λ j ( i , j = 1 , 2 , , 2 N + 1 ). However, the corresponding ( 2 N + 1 ) -soliton solution will reduce to the ( 2 N ) -soliton solution when one of λ i s ( i = 1 , 2 , , 2 N + 1 , N 1 ) is 1, which can be seen from Figures 2 to 3. The ( 2 N ) -soliton and ( 2 N + 1 ) -soliton solutions can make up the N-soliton solution of (1).

In [34], the elastic interaction of the solitons for a discrete system has been discussed. In this paper, we have found the inelastic interaction of the solitons in the discrete system. Therefore, we can conclude that, similar to the continuous systems, there exist the elastic interaction and inelastic interaction in the discrete systems.

5 Conservation laws of Eq. (1)

Conservation laws play a role in discussing the integrability for the NDDEs [34, 43], and the first three conservation laws describe the energy, momentum and Hamiltonian conservation laws, respectively. In the following, we will derive infinitely many conservation laws for (1).

From (20) and (21), we can get
φ 1 , n + 1 = λ 2 φ 1 , n λ M n φ 2 , n , φ 2 , n + 1 = λ M n φ 1 , n λ φ 2 , n
(41)
and
φ 1 , n + 1 φ 1 , n = λ 2 λ M n θ n , φ 2 , n + 1 φ 2 , n = λ M n θ n + 1 ,
(42)
where θ n = φ 2 , n / φ 1 , n . From (42), we can get
λ 2 θ n + 1 λ θ n θ n + 1 λ M n θ n = 0 .
(43)
Assume that
θ n = j = 1 θ n ( j ) λ j .
(44)
Substituting (44) into (43), we obtain the following recursion relation:
θ n ( 1 ) = M n 1 , θ n ( 2 ) = 0 , θ n ( m + 2 ) = M n j = 1 m θ n ( j ) θ n ( m + 1 j ) θ n ( m ) ( m 0 ) .
(45)
From (21) and (42), direct calculation leads to
[ ln ( λ 2 λ M n θ n ) ] t = ( E 1 ) [ λ 2 + M n M n 1 ( λ M n + M n 1 λ ) θ n ] .
(46)
Equating the same powers of λ in (46), we can get an infinite number of conservation laws for (1). The first two conservation laws are listed as follows:
( M n M n 1 ) t = ( E 1 ) [ M n M n 2 ( 1 + M n 1 2 ) M n 1 2 ] ,
(47)
[ M n 2 + ( M n 2 + 1 2 ) M n 1 2 ] t = ( E 1 ) [ ( M n M n 1 M n 2 2 + M n 1 M n 2 ) ( 1 + M n 1 2 ) + ( M n M n 3 + M n 1 M n 3 ) ( 1 + M n 2 2 ) ] .
(48)

6 Conclusions

In this paper, an integrable lattice hierarchy and N-fold DT (22) and (32) for (1) have been constructed based on its discrete spectral problem. We have derived N-soliton solutions (36) in terms of determinant via the resulting DT. Based on the solutions obtained, one- two- and three-solitonic structures are shown graphically: Figure 1 exhibits the one-soliton structure with N = 0 ; Figures 2 and 3 show the overtaking inelastic solitonic interactions between/among the two and three solitons with N = 1 . Solitonic shapes and amplitudes have changed after the interaction. When solution (36) is solitonic, it is worth pointing out that solution (36) is the ( 2 N + 1 ) -soliton solution if λ i 1 and λ i λ j ( i , j = 1 , 2 , , 2 N + 1 ); and further, the corresponding ( 2 N + 1 ) -soliton solutions can reduce to the ( 2 N ) -soliton solutions if one of λ i ’s ( i = 1 , 2 , , 2 N + 1 , N 1 ) is 1. Conservation laws (47) and (48) for (1) have been explicitly given.

Appendix

Proof of Theorem 1 Let T n 1 = T n / det T n and
F ( λ ) = T n + 1 U T n = ( f 11 ( λ , n ) f 12 ( λ , n ) f 21 ( λ , n ) f 22 ( λ , n ) ) .
(49)

It can be verified that λ 4 N + 2 f 11 ( λ , n ) is ( 8 N + 6 ) th order polynomial in λ, λ 4 N + 2 f 12 ( λ , n ) and λ 4 N + 2 f 21 ( λ , n ) are ( 8 N + 5 ) th order polynomials in λ, and λ 4 N + 2 f 22 ( λ , n ) is ( 8 N + 4 ) th order polynomial in λ.

From (20) and (25), we have
a n ( λ ) = δ i , n b n ( λ ) , c n ( λ ) = δ i , n d n ( λ ) , δ i , n + 1 = λ i M n + δ i , n λ i 2 λ i M n δ i , n .
(50)
Moreover, we can prove that f 11 ( λ i , n ) , f 12 ( λ i , n ) , f 21 ( λ i , n ) and f 22 ( λ i , n ) are all zeroes (the detailed proof is omitted). So we have
T n + 1 U T n = det T n P n ,
(51)
with
P n = ( P 11 ( 2 ) λ 2 + P 11 ( 1 ) λ + P 11 ( 0 ) P 12 ( 1 ) λ + P 12 ( 0 ) P 21 ( 1 ) λ + P 21 ( 0 ) P 22 ( 0 ) ) .
(52)
Thus we obtain
T n + 1 U = P n T n .
(53)
Using (32) and comparing the coefficients of λ 2 N 1 , λ 2 N , λ 2 N + 1 , λ 2 N + 2 in (53), we have
P 11 ( 2 ) = 1 , P 11 ( 1 ) ( n ) = 0 , P 11 ( 0 ) = 0 , P 12 ( 1 ) = M n a n + 1 ( 2 N 1 ) + b n + 1 ( 2 N ) = M ˜ n , P 12 ( 0 ) = 0 , P 21 ( 1 ) = M n a n + 1 ( 2 N 1 ) b n + 1 ( 2 N ) = M ˜ n , P 21 ( 0 ) = 0 , P 22 ( 0 ) = 1 .
(54)

From (23) and (54), we see that P n = U ˜ n .

Next, we will prove that the matrix V ˜ n has the same form as V n under transformations (22) and (32).

Let
( T n , t + T n V n ) T n = ( g 11 ( λ , n ) g 12 ( λ , n ) g 21 ( λ , n ) g 22 ( λ , n ) ) .
(55)

It can be verified that the highest order of g 12 ( λ , n ) and g 21 ( λ , n ) is 4 N + 4 , the lowest order is 4 N 4 , and the highest and lowest orders of g 11 ( λ , n ) , g 22 ( λ , n ) are 4 N + 3 and 4 N 3 respectively.

Using (20), (21), (25) and (27), we can obtain
a n , t ( λ i ) = δ i , n , t b n ( λ i ) δ i , n b n , t ( λ i ) , c n , t ( λ i ) = δ i , n , t d n ( λ i ) δ i , n d n , t ( λ i ) , δ i , n , t = λ i M n 1 + M n λ i + ( λ i 2 + 1 λ i 2 ) δ i , n + ( λ M n + M n 1 λ i ) δ i , n 2 .
(56)
From (56), we can prove that g 11 ( λ i , n ) , g 12 ( λ i , n ) , g 21 ( λ i , n ) and g 22 ( λ i , n ) are all zeroes (the detailed proof is omitted). Moreover, we have
( T n , t + T n V n ) T n = det T n R n ,
(57)
with
R n = ( R 1 , 1 R 1 , 2 R 2 , 1 R 2 , 2 ) ,
(58)
where
R 1 , 1 = R 11 ( 2 ) λ 2 + R 11 ( 1 ) λ + R 11 ( 1 ) / λ + R 11 ( 2 ) / λ 2 + R 11 ( 0 ) , R 1 , 2 = R 12 ( 1 ) λ + R 12 ( 0 ) + R 12 ( 1 ) / λ , R 2 , 1 = R 21 ( 1 ) λ + R 21 ( 0 ) + R 21 ( 1 ) / λ , R 2 , 2 = R 22 ( 2 ) λ 2 + R 22 ( 1 ) λ + R 22 ( 2 ) / λ 2 + R 22 ( 1 ) / λ + R 22 ( 0 ) .
Thus, we obtain
T n , t + T n V n = R n T n .
(59)
Using (27), (50) and (59), and comparing the coefficients of λ 2 N + 3 , λ 2 N + 2 , λ 2 N + 1 , λ 2 N 1 , λ 2 N 2 , λ 2 N 3 in (59), we have
R 11 ( 2 ) = 1 / 2 , R 11 ( 1 ) = 0 , R 11 ( 2 ) = 1 / 2 , R 11 ( 1 ) = 0 , R 12 ( 0 ) = 0 , R 21 ( 0 ) = 0 , R 12 ( 1 ) = M n 1 a n ( 2 N 1 ) + b n ( 2 N ) = M ˜ n 1 , R 22 ( 1 ) = 0 , R 21 ( 1 ) = M n 1 a n ( 2 N 1 ) b n ( 2 N ) = M ˜ n 1 , R 22 ( 2 ) = 1 / 2 , R 22 ( 2 ) = 1 / 2 , R 22 ( 1 ) = 0
(60)
and
R 11 ( 0 ) = R 12 ( 1 ) b n ( 2 N ) + M n 1 b n ( 2 N ) + M n M n 1 , R 12 ( 1 ) = ( b n ( 2 N ) + M n ) / a n ( 2 N 1 ) , R 21 ( 1 ) = ( b n ( 2 N ) + M n ) / a n ( 2 N 1 ) , R 22 ( 0 ) = R 21 ( 1 ) b n ( 2 N ) + M n 1 b n ( 2 N ) + M n M n 1 .
(61)
In addition, from (53) we can obtain the following relation:
a n ( 2 N 1 ) M ˜ n b n ( 2 N ) M n = 0 .
(62)
Substituting (62) into (61), from (32), we can derive
R 11 ( 0 ) = M ˜ n M ˜ n 1 , R 12 ( 1 ) = M ˜ n , R 21 ( 1 ) = M ˜ n , R 22 ( 0 ) = M ˜ n M ˜ n 1 .
(63)

From (24), (60), (61) and (63), we can see that R n = V ˜ n . The theorem is proved. □

Declarations

Acknowledgements

This work was supported by the National Natural Science Foundation of China under Grant Nos. 11201033, 91230205, 11375030.

Authors’ Affiliations

(1)
Department of Mathematics, School of Sciences, Beijing Information Science and Technology University, Beijing, China
(2)
Beijing Institute of Applied Physics and Computational Mathematics, Beijing, China

References

  1. Wen XY, Gao YT, Wang L: Darboux transformation and explicit solutions for the integrable sixth-order KdV equation for nonlinear waves. Appl. Math. Comput. 2011, 218: 55-60. 10.1016/j.amc.2011.05.045MathSciNetView ArticleMATHGoogle Scholar
  2. Wadati M: Transformation theories for nonlinear discrete systems. Prog. Theor. Phys. Suppl. 1976, 59: 36-63.View ArticleGoogle Scholar
  3. Ablowitz MJ, Ladik JF: On the solution of a class of nonlinear partial difference equations. Stud. Appl. Math. 1977, 57: 1-12.MathSciNetView ArticleMATHGoogle Scholar
  4. Ablowitz MJ, Ladik JF: A nonlinear difference scheme and inverse scattering. Stud. Appl. Math. 1976, 55: 213-229.MathSciNetView ArticleMATHGoogle Scholar
  5. Toda M: Theory of Nonlinear Lattices. Springer, Berlin; 1989.View ArticleMATHGoogle Scholar
  6. Kaup DJ: Variational solutions for the discrete nonlinear Schrödinger equation. Math. Comput. Simul. 2005, 69: 322-333. 10.1016/j.matcom.2005.01.015MathSciNetView ArticleMATHGoogle Scholar
  7. Adler VE, Svinolupov SI, Yamilov RI: Multi-component Volterra and Toda type integrable equations. Phys. Lett. A 1999, 254: 24-36. 10.1016/S0375-9601(99)00087-0MathSciNetView ArticleMATHGoogle Scholar
  8. Svinin AK: Reductions of the Volterra lattice. Phys. Lett. A 2005, 337: 197-202. 10.1016/j.physleta.2005.01.063View ArticleMATHGoogle Scholar
  9. Zhou RG, Ma WX: Classical r -matrix structures of integrable mappings related to the Volterra lattice. Phys. Lett. A 2000, 269: 103-111. 10.1016/S0375-9601(00)00246-2MathSciNetView ArticleMATHGoogle Scholar
  10. Zhang HW, Tu GZ, Oevel W, Fuchssteiner B: Symmetries, conserved quantities, and hierarchies for some lattice systems with soliton structure. J. Math. Phys. 1991, 32: 1908-1918. 10.1063/1.529205MathSciNetView ArticleMATHGoogle Scholar
  11. Ma WX, Fuchssteiner B: Algebraic structure of discrete zero curvature equations and master symmetries of discrete evolution equations. J. Math. Phys. 1999, 40: 2400-2418. 10.1063/1.532872MathSciNetView ArticleMATHGoogle Scholar
  12. Zhang SQ: The exact solutions of a modified Volterra lattice. Acta Phys. Sin. 2007, 56: 1870-1874.MathSciNetMATHGoogle Scholar
  13. Ma WX: A discrete variational identity on semi-direct sums of Lie algebras. J. Phys. A 2007, 40: 15055-15069. 10.1088/1751-8113/40/50/010MathSciNetView ArticleMATHGoogle Scholar
  14. Ablowitz MJ, Segur H: Solitons and Inverse Scattering Transformation. SIAM, Philadelphia; 1981.View ArticleMATHGoogle Scholar
  15. Ablowitz MJ, Ladik JF: Nonlinear differential-difference equations. J. Math. Phys. 1975, 16: 598-603. 10.1063/1.522558MathSciNetView ArticleMATHGoogle Scholar
  16. Ablowitz MJ, Clarkson PA: Solitons, Nonlinear Evolution Equations and Inverse Scattering. Cambridge University Press, Cambridge; 1991.View ArticleMATHGoogle Scholar
  17. Sun MN, Deng SF, Chen DY: The Bäcklund transformation and novel solutions for the Toda lattice. Chaos Solitons Fractals 2005, 23: 1169-1175. 10.1016/j.chaos.2004.06.009MathSciNetView ArticleMATHGoogle Scholar
  18. Choudhury AG, Chowdhury AR: Canonical and Backlund transformations for discrete integrable systems and classical r -matrix. Phys. Lett. A 2001, 280: 37-44. 10.1016/S0375-9601(00)00817-3MathSciNetView ArticleMATHGoogle Scholar
  19. Hu XB, Wu YT: Application of the Hirota bilinear formalism to a new integrable differential-difference equation. Phys. Lett. A 1998, 246: 523-529. 10.1016/S0375-9601(98)00571-4View ArticleGoogle Scholar
  20. Hu XB, Ma WX: Application of Hirota’s bilinear formalism to the Toeplitz lattice some special soliton-like solutions. Phys. Lett. A 2002, 293: 161-165. 10.1016/S0375-9601(01)00850-7MathSciNetView ArticleMATHGoogle Scholar
  21. Wang ZY: Darboux transformation and explicit solutions for the derivative versions of Toda equation. Phys. Lett. A 2008, 372: 1435-1439. 10.1016/j.physleta.2007.09.060MathSciNetView ArticleMATHGoogle Scholar
  22. Xu XX: Darboux transformation of a coupled lattice soliton equation. Phys. Lett. A 2007, 362: 205-211. 10.1016/j.physleta.2006.10.014MathSciNetView ArticleMATHGoogle Scholar
  23. Yang HX, Xu XX, Ding HY: New hierarchies of integrable positive and negative lattice models and Darboux transformation. Chaos Solitons Fractals 2005, 26: 1091-1103. 10.1016/j.chaos.2005.02.011MathSciNetView ArticleMATHGoogle Scholar
  24. Ding HY, Xu XX, Zhao XD: A hierarchy of lattice soliton equations and its Darboux transformation. Chin. Phys. 2004, 13: 125-131. 10.1088/1009-1963/13/2/001View ArticleGoogle Scholar
  25. Fan EG, Dai HH: A differential-difference hierarchy associated with relativistic Toda and Volterra hierarchies. Phys. Lett. A 2008, 372: 4578-4585. 10.1016/j.physleta.2008.04.051MathSciNetView ArticleMATHGoogle Scholar
  26. Yang HX: Soliton solutions by Darboux transformation for a Hamiltonian lattice system. Phys. Lett. A 2009, 373: 741-748. 10.1016/j.physleta.2008.12.046MathSciNetView ArticleMATHGoogle Scholar
  27. Wen XY, Gao YT: Darboux transformation and explicit solutions for discretized modified Korteweg-de Vries lattice equation. Commun. Theor. Phys. 2010, 53: 825-830. 10.1088/0253-6102/53/5/07MathSciNetView ArticleMATHGoogle Scholar
  28. Gu CH, Hu HS, Zhou ZX: Darboux Transformation in Soliton Theory and Its Geometric Applications. Shanghai Scientific and Technical Press, Shanghai; 1999.Google Scholar
  29. Taogetusang , Sirendaoerji :Constructing the exact solutions of the ( 2 + 1 ) -dimensional hybrid-lattice and discrete mKdV equation. Acta Phys. Sin. 2007, 56: 627-636.MathSciNetMATHGoogle Scholar
  30. Yu YX, Wang Q, Zhang HQ: New explicit rational solitary wave solutions for discretized mKdV lattice equation. Commun. Theor. Phys. 2005, 44: 1011-1014. 10.1088/6102/44/6/1011MathSciNetView ArticleGoogle Scholar
  31. Zha QL, Sirendaoreji : A hyperbolic function approach to constructing exact solitary wave solutions of the hybrid lattice and discrete mKdV lattice. Chin. Phys. 2006, 15: 475-477. 10.1088/1009-1963/15/3/003View ArticleGoogle Scholar
  32. Yao YQ, Zhang YF, Chen DY: Discrete integrable couplings of the Volterra lattice. Chin. Phys. Lett. 2007, 24: 308-311. 10.1088/0256-307X/24/2/002View ArticleGoogle Scholar
  33. Wang Q: Travelling-wave solution of Volterra lattice by the optimal homotopy analysis method. Z. Naturforsch. A 2012, 67: 15-20.View ArticleGoogle Scholar
  34. Wen XY, Gao YT: N -Soliton solutions and elastic interaction of the coupled lattice soliton equations for nonlinear waves. Appl. Math. Comput. 2012, 219: 99-107. 10.1016/j.amc.2012.04.080MathSciNetView ArticleMATHGoogle Scholar
  35. Ablowitz MJ, Kaup DJ, Newell AC, Segur H: Nonlinear evolution equations of physical significance. Phys. Rev. Lett. 1973, 31: 125-127. 10.1103/PhysRevLett.31.125MathSciNetView ArticleMATHGoogle Scholar
  36. Tu GZ: A trace identity and its applications to theory of discrete integrable systems. J. Phys. A 1990, 23: 3903-3922. 10.1088/0305-4470/23/17/020MathSciNetView ArticleMATHGoogle Scholar
  37. Ma WX, Xu XX: A modified Toda spectral problem and its hierarchy of bi-Hamiltonian lattice equations. J. Phys. A 2004, 37: 1323-1336. 10.1088/0305-4470/37/4/018MathSciNetView ArticleMATHGoogle Scholar
  38. Huang DJ, Li DS, Zhang HQ: Explicit N -fold Darboux transformation and multi-soliton solutions for the ( 1 + 1 ) -dimensional higher-order Broer-Kaup system. Chaos Solitons Fractals 2007, 33: 1677-1685. 10.1016/j.chaos.2006.03.015MathSciNetView ArticleMATHGoogle Scholar
  39. Wang L, Gao YT, Gai XL, Yu X: Vandermonde-type odd-soliton solutions for the Whitham-Broer-Kaup model in the shallow water small-amplitude regime. J. Nonlinear Math. Phys. 2010, 17: 197-211. 10.1142/S1402925110000714MathSciNetView ArticleMATHGoogle Scholar
  40. Chen AH, Li XM: Darboux transformation and soliton solutions for Boussinesq-Burgers equation. Chaos Solitons Fractals 2006, 27: 43-49. 10.1016/j.chaos.2004.09.116MathSciNetView ArticleMATHGoogle Scholar
  41. Li XM, Chen AH: Darboux transformation and multi-soliton solutions of Boussinesq-Burgers equation. Phys. Lett. A 2005, 342: 413-420. 10.1016/j.physleta.2005.05.083MathSciNetView ArticleMATHGoogle Scholar
  42. Ma WX, Maruno K: Complexiton solutions of the Toda lattice equation. Physica A 2004, 343: 219-237.MathSciNetView ArticleGoogle Scholar
  43. Wadati M, Sanuki H, Konno K: Relationships among inverse method, Bäcklund transformation and an infinite number of conservation laws. Prog. Theor. Phys. 1975, 53: 419-436. 10.1143/PTP.53.419MathSciNetView ArticleMATHGoogle Scholar

Copyright

© Wen and Hu; licensee Springer. 2014

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.