Next Article in Journal
Conformal Deformation, Monopoles, and Their Application to Control the Measurement, Berry Phase’s Path, and Resonant Frequency of a Spin
Next Article in Special Issue
Preserving Classes of Meromorphic Functions through Integral Operators
Previous Article in Journal
Research on State of Power Estimation of Echelon-Use Battery Based on Adaptive Unscented Kalman Filter
Previous Article in Special Issue
A Qualitative Study on Second-Order Nonlinear Fractional Differential Evolution Equations with Generalized ABC Operator
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Continuous Limit, Rational Solutions, and Asymptotic State Analysis for the Generalized Toda Lattice Equation Associated with 3 × 3 Lax Pair

School of Applied Science, Beijing Information Science and Technology University, Beijing 100192, China
*
Author to whom correspondence should be addressed.
Symmetry 2022, 14(5), 920; https://doi.org/10.3390/sym14050920
Submission received: 31 March 2022 / Revised: 23 April 2022 / Accepted: 26 April 2022 / Published: 30 April 2022
(This article belongs to the Special Issue Symmetry in Nonlinear and Convex Analysis)

Abstract

:
Discrete integrable nonlinear differential difference equations (NDDEs) have various mathematical structures and properties, such as Lax pair, infinitely many conservation laws, Hamiltonian structure, and different kinds of symmetries, including Lie point symmetry, generalized Lie bäcklund symmetry, and master symmetry. Symmetry is one of the very effective methods used to study the exact solutions and integrability of NDDEs. The Toda lattice equation is a famous example of NDDEs, which may be used to simulate the motions of particles in lattices. In this paper, we investigated the generalized Toda lattice equation related to 3 × 3 matrix linear spectral problem. This discrete equation is related to continuous linear and nonlinear partial differential equations under the continuous limit. Based on the known 3 × 3 Lax pair of this equation, the discrete generalized ( m , 3 N m ) -fold Darboux transformation was constructed for the first time and extended from the 2 × 2 Lax pair to the 3 × 3 Lax pair to give its rational solutions. Furthermore, the limit states of such rational solutions are discussed via the asymptotic analysis technique. Finally, the exponential–rational mixed solutions of the generalized Toda lattice equation are obtained in the form of determinants.

1. Introduction

Nonlinear differential difference equations (NDDEs) may describe many physical phenomena in nonlinear optics, biology, lattice dynamics, and electronics [1,2,3]. One of the most famous integrable NDDEs is the Toda lattice system, which can describe the lattice motions dependent on the distance between particles and their nearest neighbors [2,3]. For a better understanding of this phenomenon, the reader can refer to the first figure in Reference [3]; in that figure, the N particles labeled from 1 to N are connected by springs, which shows the interactions of the one-dimensional lattice at a fixed distance. Since the Toda lattice was proposed [2,3], the properties related to this equation have been widely studied, such as the related integrable hierarchy and Hamiltonian structures [4], rational solutions [5], complexiton solutions [6], positon–negaton-type solutions [7], mixed soliton–rational solutions [8], soliton solutions [9], and so on. Later, for the practical need of scientific research, researchers proposed other discrete equations related to the Toda lattice equation, such as the relativistic Toda lattice [10], modified Toda lattice equation [10,11], and generalized Toda lattice equation [12,13], etc.
In this paper, we mainly investigate the following generalized Toda lattice equation [12,13] given by
u n , t = w n + 1 w n + u n ( v n 1 v n ) , v n , t = u n + 1 u n , w n , t = w n ( v n 2 v n ) ,
where u n , v n , w n are potential functions of variables n and t. When w n = 0 , Equation (1) degenerates to the famous Toda lattice equation. In References [12,13], the 3 × 3 Lax pair of Equation (1) is given by
E ϕ n = U n ϕ n = 0 1 0 u n λ + v n w n 1 0 0 ϕ n , ϕ n , t = V n ϕ n = λ v n 1 1 0 u n 0 w n 1 0 λ v n 2 ϕ n ,
in which λ represents the spectral parameter independent of time t, the shift operator E meets the condition E f ( n , t ) = f ( n + 1 , t ) , E 1 f ( n , t ) = f ( n 1 , t ) , and ϕ n = ( φ n , ψ n , γ n ) T is an eigenfunction vector solution of Equation (1). The compatibility condition U n , t = ( E V n ) U n U n V n of Lax pair (2) yields Equation (1). In Reference [12], the Darboux transformation (DT) and exact one-soliton solutions of Equation (1) are given.
Some methods for constructing the explicit exact solutions of the discrete integrable NDDEs have been presented and developed, such as the inverse scattering method [14], discrete Hirota method [15], classical Lie symmetry approach [16,17], and discrete DT method [18,19]. Among them, the Lie symmetry approach is a very effective method used to find the exact solutions of NDDEs and predict their integrability; its main idea is to decrease the order of NDDEs by using symmetry so as to obtain their exact solutions [16,17]. Moreover, the discrete DT method is also regarded as an effective means to solve Lax integrable NDDEs [18,19]. Recently, a discrete generalized ( m , N m ) -fold DT related to 2 × 2 Lax pair has been proposed [19], comparing with the usual DT, its main advantage is that it can give not only usual soliton solutions, but also rational solutions, as well as mixed solutions of usual soliton and rational solutions. In Reference [20], this generalized method is extended to obtain exact solutions of the discrete coupled Ablowitz–Ladik equation from a 2 × 2 matrix spectral problem to 4 × 4 matrix spectral problem. In Reference [21], this method is once again extended to the discrete generalized ( m , 2 N m ) -fold DT to obtain various exact solutions of a relativistic Toda lattice equation related to the 2 × 2 matrix spectral problem. However, this discrete generalized method has never been extended to solve the discrete integrable NDDEs related to the 3 × 3 Lax pair. Therefore, the main goal of this paper is to extend this technique to solve the Lax integrable NDDEs with 3 × 3 Lax pair, and we take Equation (1) as an example and construct its discrete generalized ( m , 3 N m ) -fold DT to give some rational and mixed solutions.
This paper is structured as follows. Section 2 presents the continuous limit of Equation (1), from which Equation (1) is converged to linear partial differential equations (PDEs) and nonlinear partial differential equations (NPDEs). Section 3 shows the discrete generalized ( m , 3 N m ) -fold DT of Equation (1) for the first time. In Section 4, we obtain the first-order rational solutions and exponential–rational mixed solutions of Equation (1) by using the discrete generalized ( m , 3 N m ) -fold DT, and we analyze the asymptotic states of the first-order rational solutions. Finally, the conclusions are presented in the last section.

2. Continuous Limit

Continuous limit may be regarded as a bridge between discrete equations and continuous equations. Through appropriate continuous limits, discrete NDDEs and continuous NPDEs can be transformed to each other [22]. In this section, we will mainly investigate the continuous limit of Equation (1). According to the appropriate approximation, we find that Equation (1) can converge not only to a linear PDE, but also to an NPDE. Under the continuous conditions
u n = 2 + δ u [ ( n + t ) δ 2 , δ 2 t ] + O ( δ 2 ) , v n = δ v [ ( n + t ) δ 2 , δ 2 t ] + O ( δ 2 ) , w n = 1 + δ w [ ( n + t ) δ 2 , δ 2 t ] + O ( δ 2 ) ,
Equation (1) can be transformed to
( u τ + u x + 2 v x w x ) δ 3 + O ( δ 4 ) = 0 , ( v τ u x + v x ) δ 3 + O ( δ 4 ) = 0 , ( w τ + 2 v x + w x ) δ 3 + O ( δ 4 ) = 0 ,
which is just the linear PDEs when the fourth order terms of the infinitesimal δ are neglected and τ is written as time variable t. Here, δ is an arbitrary small parameter.
Moreover, under the limit conditions
u n = 2 + u [ ( n + t ) δ 3 , δ 3 t ] + O ( δ ) , v n = 1 + v [ ( n + t ) δ 3 , δ 3 t ] + O ( δ ) , w n = 1 + w [ ( n + t ) δ 3 , δ 3 t ] + O ( δ ) ,
Equation (1) is equivalent to
( u τ + u x + u v x + 2 v x w x ) δ 3 + O ( δ 4 ) = 0 , ( v τ u x + v x ) δ 3 + O ( δ 4 ) = 0 , ( w τ + 2 w v x + 2 v x + w x ) δ 3 + O ( δ 4 ) = 0 ,
which is just the NPDEs if we also ignore the fourth order terms of δ and change τ into time variable t.
For the linear PDE (4), we can easily discuss its properties, but the dynamical properties of nonlinear Equation (6) have never been considered, which deserve further study.

3. Discrete Generalized (m, 3Nm)-Fold DT

In this section, the discrete generalized ( m , 3 N m ) -fold DT of Equation (1) related to 3 × 3 Lax pair will be investigated. First of all, a special gauge transformation is considered as follows
ϕ ˜ n = T n ϕ n ,
then the Lax pair (2) is transformed into the following forms
ϕ ˜ n + 1 = U ˜ n ϕ ˜ n = T n + 1 U n T n 1 ϕ ˜ n , ϕ ˜ n , t = V ˜ n ϕ ˜ n = ( T n , t + V n T n ) T n 1 ϕ ˜ n ,
where the forms of U ˜ n , V ˜ n are the same as U n , V n , except that the old solutions u n , v n , w n are replaced by the new ones u ˜ n , v ˜ n , w ˜ n , respectively. To this end, we define a particular Darboux matrix T n as
T n = ( 1 B n ( N 1 ) ) λ N + j = 0 N 1 A n ( j ) λ j j = 0 N 1 B n ( j ) λ j j = 0 N 1 C n ( j ) λ j j = 0 N 1 D n ( j ) λ j λ N + j = 0 N 1 E n ( j ) λ j j = 0 N 1 F n ( j ) λ j H n ( N 1 ) λ N + j = 0 N 1 G n ( j ) λ j j = 0 N 1 H n ( j ) λ j ( 1 B n 1 ( N 1 ) ) λ N + j = 0 N 1 I n ( j ) λ j ,
in which N is an arbitrary positive integer, and A n ( j ) , B n ( j ) , C n ( j ) , D n ( j ) , E n ( j ) , F n ( j ) , G n ( j ) , H n ( j ) , and I n ( j ) ( j = 0 , 1 , . . . , N 1 ) are unknown functions of the variables n and t. If we choose appropriate values of λ i ( λ i λ j , i = 1 , 2 , , m ) , the unknowns in T n can be uniquely determined by a linear algebraic system of 9 N equations Σ j = 0 θ i T n ( j ) ϕ n ( θ i j ) = 0 ( 3 N = m + Σ i = 1 m θ i , i = 1 , 2 , , m ) . In this linear algebraic system, we use the Taylor expansion of ϕ n ( λ i ) by expanding ϕ n ( λ i + ε ) = ϕ n ( 0 ) + ϕ n ( 1 ) ε + ϕ n ( 2 ) ε 2 + with ϕ n ( j ) = 1 j ! j λ i j ϕ n ( λ i ) and the binomial expansion of T n given by T n ( λ i + ε ) = T n ( 0 ) + T n ( 1 ) ε + + T n ( θ i ) ε θ i , where the nonnegative integer θ i means the order number of the highest derivative used in the Taylor expansion of ϕ n ( λ i ) .
Therefore, from the analysis above, we have the following discrete generalized DT theorem:
Theorem 1.
Supposing Lax pair (2) has m different solutions ϕ n ( λ i ) = ( φ n ( λ i ) , ψ n ( λ i ) , γ n ( λ i ) ) T with the spectral parameters λ i (i = 1, 2,…,m), the following transformations are generated from the old solutions u n , v n , w n to the new ones u ˜ n , v ˜ n , w ˜ n
u ˜ n = u n D n ( N 1 ) + H n ( N 1 ) w ˜ n 1 B n ( N 1 ) , v ˜ n = E n + 1 ( N 1 ) + v n E n ( N 1 ) , w ˜ n = w n F n ( N 1 ) 1 B n 1 ( N 1 ) ,
with
B n ( N 1 ) = Δ B n ( N 1 ) Δ 1 , D n ( N 1 ) = Δ D n ( N 1 ) Δ 2 , E n ( N 1 ) = Δ E n ( N 1 ) Δ 2 , F n ( N 1 ) = Δ F n ( N 1 ) Δ 2 , H n ( N 1 ) = Δ H n ( N 1 ) Δ 1 ,
where
Δ 1 = Δ 1 ( 1 ) Δ 1 ( 2 ) Δ 1 ( m ) , Δ 2 = Δ 2 ( 1 ) Δ 2 ( 2 ) Δ 2 ( m ) ,
with Δ 1 ( i ) = ( Δ 1 , j , s ( i ) ) ( θ i + 1 ) × 3 N , Δ 2 ( i ) = ( Δ 2 , j , s ( i ) ) ( θ i + 1 ) × 3 N , in which Δ 1 , j , s ( i ) , Δ 2 , j , s ( i ) , ( 1 j θ i + 1 , 1 s 3 N , 1 i m ) are given by
Δ 1 , j , s ( i ) = k = 0 j 1 C N s k λ i N s k φ n ( j 1 k ) for 1 j θ i + 1 , 1 s N , k = 0 j 1 C 2 N s k λ i 2 N s k ψ n ( j 1 k ) C N 2 s N 2 k = 0 j 1 C 2 N s + 1 k λ i 2 N s k + 1 φ n ( j 1 k ) for 1 j θ i + 1 , N + 1 s 2 N , k = 0 j 1 C 3 N s k λ i 3 N s k γ n ( j 1 k ) for 1 j θ i + 1 , 2 N + 1 s 3 N , Δ 2 , j , s ( i ) = k = 0 j 1 C N s k λ i N s k φ n ( j 1 k ) for 1 j θ i + 1 , 1 s N , k = 0 j 1 C 2 N s k λ i 2 N s k ψ n ( j 1 k ) for 1 j θ i + 1 , N + 1 s 2 N , k = 0 j 1 C 3 N s k λ i 3 N s k γ n ( j 1 k ) for 1 j θ i + 1 , 2 N + 1 s 3 N ,
and Δ B n ( N 1 ) is derived by replacing the ( N + 1 ) th column of determinant Δ 1 by the column vector ( b ( 1 ) , , b ( m ) ) T with b ( i ) = ( b j ( i ) ) ( θ i + 1 ) × 1 in which b j ( i ) = k = 0 j 1 C N k λ i N k φ n ( j 1 k ) , Δ D n ( N 1 ) , Δ E n ( N 1 ) and Δ F n ( N 1 ) are obtained by replacing the first, ( N + 1 ) th and ( 2 N + 1 ) th columns of determinant Δ 2 by the column vector ( d ( 1 ) , , d ( m ) ) T with d ( i ) = ( d j ( i ) ) ( θ i + 1 ) × 1 in which d j ( i ) = k = 0 j 1 C N k λ i N k ψ n ( j 1 k ) , respectively, and Δ H n ( N 1 ) is given by replacing the first column of determinant Δ 1 by the column vector ( h ( 1 ) , , h ( m ) ) T with h ( i ) = ( h j ( i ) ) ( θ i + 1 ) × 1 in which h j ( i ) = ( 1 B n 1 ( N 1 ) ) k = 0 j 1 C N k λ i N k γ n ( j 1 k ) , where B n 1 ( N 1 ) and E n + 1 ( N 1 ) are derived from B n ( N 1 ) and E n ( N 1 ) by changing n into n 1 and n + 1 , respectively.
Remark 1.
Here, we refer to the transformations (7) and (9) using m spectral parameters λ i ( i = 1 , 2 , , m ) as the discrete generalized ( m , 3 N m ) -fold DT of Equation (1), in this term, m means the number of parameters λ i we use, N represents the order number of DT, and ( 3 N m ) represents the sum of the highest derivative used in Taylor expansion. When m = 3 N and θ i = 0 ( i = 1 , 2 , , m ) , Theorem 1 degenerates to the discrete generalized ( 3 N , 0 ) -fold DT, which contains the usual DT [12], which can derive soliton solutions. When m = 1 and θ i = 3 N 1 ( i = 1 , 2 , , m ) , Theorem 1 becomes the discrete generalized ( 1 , 3 N 1 ) -fold DT, which can give rational or semi-rational solutions as shown in the next part. When 2 m 3 N 1 , we can obtain mixed solutions, which will not be discussed in detail in this paper to save space. Here, the detailed proof derivation process of Theorem 1 is omitted, and the readers can refer to the proof process and steps in References [12,18,19] and references therein to complete the proof of Theorem 1; therefore, we leave it as an exercise for the reader. Furthermore, in the next section, we can solve Equation (1) by using Theorem 1, and then bring these solutions into Equation (1) with the help of the symbolic calculation Maple, which can also verify the correctness of Theorem 1.

4. Explicit Exact Solutions and Their Asymptotic Analysis

In this section, we will use the discrete generalized ( m , 3 N m ) -fold DT to obtain first-order rational solutions and mixed solutions, and utilize an asymptotic analysis to investigate the properties of the obtained rational solution.

4.1. Rational Solutions and Their Asymptotic Analyses

In this part, we will only discuss the rational solutions of Equation (1) when N = 1 . When m = N = 1 , Theorem 1 reduces to the discrete generalized ( 1 , 2 ) -fold DT. In order to give the rational solutions of Equation (1) associated with 3 × 3 Lax pair, the solution process is more complex than 2 × 2 Lax pair. Therefore, we choose the special trivial initial solutions u n = 3 , v n = 2 , w n = 1 of Equation (1) to substitute them into Equation (2), which yields its exact solutions as below:
ϕ n = φ n ψ n γ n = C 1 τ 1 n + 1 e ρ 1 t + C 2 τ 2 n + 1 e ρ 2 t + C 3 τ 3 n + 1 e ρ 3 t C 1 τ 1 n + 2 e ρ 1 t + C 2 τ 2 n + 2 e ρ 2 t + C 3 τ 3 n + 2 e ρ 3 t C 1 τ 1 n e ρ 1 t + C 2 τ 2 n e ρ 2 t + C 3 τ 3 n e ρ 3 t ,
with
α = ( 12 λ 44 + 8 λ 3 + 48 λ 2 + 12 12 λ 3 + 45 λ 2 126 λ + 69 ) 1 3 , τ 1 = α 6 2 ( 5 λ 2 4 λ ) 3 α + λ + 2 3 , τ 2 = α 12 + 5 λ 2 4 λ 3 α + λ + 2 3 + i 3 2 [ α 6 + 2 ( 5 λ 2 4 λ ) 3 α ] , τ 3 = α 12 + 5 λ 2 4 λ 3 α + λ + 2 3 i 3 2 [ α 6 + 2 ( 5 λ 2 4 λ ) 3 α ] , ρ 1 = τ 1 λ , ρ 2 = τ 2 λ , ρ 3 = τ 3 λ ,
where C 1 , C 2 , C 3 represents arbitrary real constants, and i represents the imaginary unit. Let λ = λ 1 + ε 3 with λ 1 = 1 , by using Taylor expansion, we expand ϕ n at ε = 0 through choosing C 1 = C 2 = C 3 = 1 as
ϕ n ( ε 3 ) = ϕ n ( 0 ) + ϕ n ( 1 ) ε 3 + ϕ n ( 2 ) ε 6 + ϕ n ( 3 ) ε 9 + ϕ n ( 4 ) ε 12 + ϕ n ( 5 ) ε 15 + ,
with
ϕ n ( 0 ) = φ n ( 0 ) ψ n ( 0 ) γ n ( 0 ) = 3 3 3 , ϕ n ( 1 ) = φ n ( 1 ) ψ n ( 1 ) γ n ( 1 ) = 1 2 β 3 + 2 β 2 + 1 2 ( 3 t + 5 ) β t 2 + 1 1 2 β 3 + 7 2 β 2 + 3 2 β t + 8 β + t + 6 3 2 β t 2 t + 1 2 β 3 + 1 2 β 2 , ϕ n ( 2 ) = φ n ( 2 ) ψ n ( 2 ) γ n ( 2 ) ,
in which
φ n ( 2 ) = 1 240 β 6 + 11 240 β 5 + 1 16 ( t + 3 ) β 4 + 1 48 ( 2 t + 17 ) β 3 + 1 240 ( 45 t 2 85 t + 74 ) β 2 + 1 240 ( 135 t 2 104 t + 24 ) β + 1 16 t 3 + 1 8 t 2 1 10 t , ψ n ( 2 ) = 1 240 β 6 + 17 240 β 5 + 1 48 ( 3 t + 23 ) β 4 + 1 48 ( 14 t + 79 ) β 3 + 1 240 ( 45 t 2 + 35 t + 724 ) β 2 + 1 240 ( 45 t 2 184 t + 668 ) β + 1 16 t 3 1 4 t 2 47 60 t + 1 , γ n ( 2 ) = 1 240 β 6 + 1 48 β 5 + 1 48 ( 3 t + 1 ) β 4 + 1 48 ( 10 t 1 ) β 3 + 1 240 ( 45 t 2 25 t 6 ) β 2 + 1 80 ( 75 t 2 + 12 t ) β + 1 16 t 3 + 7 8 t 2 ,
where β = n + t , and the rest of ϕ n ( j ) ( j = 3 , 4 , 5 , ) are omitted here.
When N = 1 , from Equation (9), the first-order rational solutions of Equation (1) are written as
u ˜ n = 3 D n ( 0 ) + H n ( 0 ) w ˜ n 1 B n ( 0 ) , v ˜ n = E n + 1 ( 0 ) + 2 E n ( 0 ) , w ˜ n = 1 F n ( 0 ) 1 B n 1 ( 0 ) ,
with
B n ( 0 ) = Δ B n ( 0 ) Δ 1 , D n ( 0 ) = Δ D n ( 0 ) Δ 2 , E n ( 0 ) = Δ E n ( 0 ) Δ 2 , F n ( 0 ) = Δ F n ( 0 ) Δ 2 , H n ( 0 ) = ( 1 B n 1 ( 0 ) ) Δ H n ( 0 ) Δ 1 ,
in which
Δ 1 = φ n ( 0 ) ψ n ( 0 ) λ 1 φ n ( 0 ) γ n ( 0 ) φ n ( 1 ) ψ n ( 1 ) λ 1 φ n ( 1 ) φ n ( 0 ) γ n ( 1 ) φ n ( 2 ) ψ n ( 2 ) λ 1 φ n ( 2 ) φ n ( 1 ) γ n ( 2 ) , Δ 2 = φ n ( 0 ) ψ n ( 0 ) γ n ( 0 ) φ n ( 1 ) ψ n ( 1 ) γ n ( 1 ) φ n ( 2 ) ψ n ( 2 ) γ n ( 2 ) , Δ B n ( 0 ) = φ n ( 0 ) λ 1 φ n ( 0 ) γ n ( 0 ) φ n ( 1 ) λ 1 φ n ( 1 ) φ n ( 0 ) γ n ( 1 ) φ n ( 2 ) λ 1 φ n ( 2 ) φ n ( 1 ) γ n ( 2 ) , Δ D n ( 0 ) = λ 1 ψ n ( 0 ) ψ n ( 0 ) γ n ( 0 ) λ 1 ψ n ( 1 ) ψ n ( 0 ) ψ n ( 1 ) γ n ( 1 ) λ 1 ψ n ( 2 ) ψ n ( 1 ) ψ n ( 2 ) γ n ( 2 ) , Δ E n ( 0 ) = φ n ( 0 ) λ 1 ψ n ( 0 ) γ n ( 0 ) φ n ( 1 ) λ 1 ψ n ( 1 ) ψ n ( 0 ) γ n ( 1 ) φ n ( 2 ) λ 1 ψ n ( 2 ) ψ n ( 1 ) γ n ( 2 ) , Δ F n ( 0 ) = φ n ( 0 ) ψ n ( 0 ) λ 1 ψ n ( 0 ) φ n ( 1 ) ψ n ( 1 ) λ 1 ψ n ( 1 ) ψ n ( 0 ) φ n ( 2 ) ψ n ( 2 ) λ 1 ψ n ( 2 ) ψ n ( 1 ) , Δ H n ( 0 ) = φ n ( 0 ) λ 1 γ n ( 0 ) γ n ( 0 ) φ n ( 1 ) λ 1 γ n ( 1 ) γ n ( 0 ) γ n ( 1 ) φ n ( 2 ) λ 1 γ n ( 2 ) γ n ( 1 ) γ n ( 2 ) ,
where B n 1 ( 0 ) and E n + 1 ( 0 ) are given from B n ( 0 ) and E n ( 0 ) by changing n into n 1 and n + 1 , respectively. For the convenience of analysis, we rewrite solutions (11) as
u ˜ n = 3 + M 1 N 1 2 , v ˜ n = 2 + M 2 N 1 N 2 , w ˜ n = 1 + M 3 N 1 N 3 ,
with
M 1 = 4374 β 10 + 85050 β 9 + ( 21870 t + 716040 ) β 8 + ( 340200 t + 3418740 ) β 7 + ( 43740 t 2 + 2282580 t + 10185102 ) β 6 + ( 549180 t 2 + 8694648 t + 19627290 ) β 5 ( 72900 t 3 2616300 t 2 20632230 t 24525060 ) β 4 ( 243000 t 3 6330420 t 2 31115040 t 19343160 ) β 3 ( 182250 t 4 + 332100 t 3 8530560 t 2 28818360 t 9007824 ) β 2 + ( 449550 t 4 520560 t 3 + 6208200 t 2 + 14768352 t + 2136960 ) β 36450 t 5 170100 t 4 340920 t 3 + 1971024 t 2 + 3162240 t + 172800 , M 2 = 4374 β 10 + 99630 β 9 + ( 21870 t + 997920 ) β 8 + ( 398520 t + 5780700 ) β 7 + ( 43740 t 2 + 3157380 t + 21414942 ) β 6 + ( 578340 t 2 + 14228568 t + 52920270 ) β 5 ( 72900 t 3 3005100 t 2 39905910 t 88158780 ) β 4 ( 534600 t 3 7934220 t 2 71286000 t 97497000 ) β 3 ( 182250 t 4 + 1790100 t 3 11256480 t 2 79123320 t 68271984 ) β 2 ( 668250 t 4 + 3144960 t 3 8042040 t 2 49834272 t 27216000 ) β 36450 t 5 607500 t 4 2185560 t 3 + 2162544 t 2 + 13622400 t + 4665600 , M 3 = 8748 β 10 97200 β 9 ( 43740 t + 416340 ) β 8 ( 388800 t + 820800 ) β 7 ( 87480 t 2 + 1415880 t + 596484 ) β 6 ( 427680 t 2 + 2627856 t 236880 ) β 5 + ( 145800 t 3 226800 t 2 2082060 t + 356340 ) β 4 + ( 777600 t 3 + 1481760 t 2 + 717360 t 180000 ) β 3 + ( 364500 t 4 + 2413800 t 3 + 3032280 t 2 + 2173680 t 141168 ) β 2 + ( 680400 t 4 + 2887920 t 3 + 2412000 t 2 + 809376 t + 54720 ) β + 72900 t 5 + 558900 t 4 + 1411920 t 3 + 915792 t 2 54720 t , N 1 = 27 β 6 + 135 t β 4 + 261 β 5 + 135 t 2 β 2 + 810 t β 3 + 1005 β 4 + 135 t 3 + 495 t 2 β + 1635 t β 2 + 1975 β 3 + 600 t 2 + 1272 t β + 2088 β 2 + 316 t + 1124 β + 240 , N 2 = 27 β 6 + 135 t β 4 + 423 β 5 + 135 t 2 β 2 + 1350 t β 3 + 2715 β 4 + 135 t 3 + 765 t 2 β + 4875 t β 2 + 9145 β 3 + 1230 t 2 + 7512 t β + 17058 β 2 + 4168 t + 16712 β + 6720 , N 3 = 27 β 6 + 99 β 5 + 135 β 4 t + 105 β 4 + 270 β 3 t + 135 β 2 t 2 + 25 β 3 + 15 β 2 t + 225 β t 2 + 135 t 3 12 β 2 108 β t + 240 t 2 4 β + 4 t .
with the help of the symbolic calculation Maple, we can easily verify the correctness of solutions (12) by substituting them into Equation (1). By drawing their structure figures as shown in Figure 1a–c, from which we can see that the solutions of these rational solutions are singular. However, it is very difficult to solve these singular curves directly from the denominator of these solutions. To better understand the positions of these singular curves and dynamical properties of solutions (12), we investigate their limit states via asymptotic analysis technique. Let ξ = β [ ( ( 80 + 30 6 ) 1 3 3 + 10 3 ( 80 + 30 6 ) 1 3 + 5 3 ) t ] 1 2 , where t < 0 , we can obtain the limit states of solutions u n , v n , w n as t , which are listed as follows:
u ˜ n u 1 = 3 + M 4 C N 5 2 , v ˜ n v 1 = 2 + M 4 C N 5 N 6 , w ˜ n w 1 = 1 + M 5 C N 5 N 7 ,
with
C = 1 900 [ 2583 6 ( 80 + 30 6 ) 2 3 + 18136 6 ( 80 + 30 6 ) 1 3 + 84130 6 + 6328 ( 80 + 30 6 ) 2 3 + 44426 ( 80 + 30 6 ) 1 3 + 206080 ] , M 4 = ( 652896 6 + 1599336 ) ( 80 + 30 6 ) 1 3 + ( 92988 6 + 227808 ) ( 80 + 30 6 ) 2 3 + 3028680 6 + 7418880 , M 5 = ( 1305792 6 3198672 ) ( 80 + 30 6 ) 1 3 + ( 185976 6 455616 ) ( 80 + 30 6 ) 2 3 6057360 6 14837760 , N 5 = 3 6 ( 80 + 30 6 ) 2 3 8 ( 80 + 30 6 ) 2 3 10 ( 80 + 30 6 ) 1 3 180 ξ 290 , N 6 = 3 ( 80 + 30 6 ) 2 3 6 8 ( 80 + 30 6 ) 2 3 10 ( 80 + 30 6 ) 1 3 180 ξ 470 , N 7 = 3 6 ( 80 + 30 6 ) 2 3 8 ( 80 + 30 6 ) 2 3 10 ( 80 + 30 6 ) 1 3 180 ξ 110 ,
where C is just a constant, and u 1 , v 1 , w 1 represent the limit state expressions of u ˜ n , v ˜ n , w ˜ n as t respectively.
It should be noted here that the first-order rational solutions (12) of Equation (1) are significantly different from those of the equations with 2 × 2 Lax pairs in References [19,21]. The solutions of Equation (1) are obviously more complex than those of the equations with 2 × 2 Lax pairs in References [19,21] or even the 4 × 4 Lax pair in Reference [20], and the structures of the solutions (12) are not as symmetrical as those in References [19,20,21].
Remark 2.
From the above discussion, we know that Equation (13) are the limit states of Equation (12) when t , while for the case of t + , the solutions u ˜ n , v ˜ n and w ˜ n tend to their backgrounds respectively, so we do not discuss the case of t > 0 here. The interaction structures of solutions are complex in the area n 2 + t 2 100 , and we do not discuss the states of solutions in this part, so we only draw the singular trajectory plots of the solutions (12) when | t | is relatively large. Therefore, it can be easily found that the solution u ˜ n becomes singular at one curve N 5 = 0 (i.e., 3 6 ( 80 + 30 6 ) 2 3 8 ( 80 + 30 6 ) 2 3 10 ( 80 + 30 6 ) 1 3 180 ξ 290 = 0 ), v ˜ n possess singularities along two curves N 5 = 0 and N 6 = 0 (i.e., 3 6 ( 80 + 30 6 ) 2 3 8 ( 80 + 30 6 ) 2 3 10 ( 80 + 30 6 ) 1 3 180 ξ 290 = 0 and 3 ( 80 + 30 6 ) 2 3 6 8 ( 80 + 30 6 ) 2 3 10 ( 80 + 30 6 ) 1 3 180 ξ 470 = 0 ), and w ˜ n has singularities at two curves N 5 = 0 and N 7 = 0 (i.e., 3 6 ( 80 + 30 6 ) 2 3 8 ( 80 + 30 6 ) 2 3 10 ( 80 + 30 6 ) 1 3 180 ξ 290 = 0 and 3 ( 80 + 30 6 ) 2 3 6 8 ( 80 + 30 6 ) 2 3 10 ( 80 + 30 6 ) 1 3 180 ξ 110 = 0 ). To show the correctness of our above analysis of solutions (12), we draw the figures of the above singular trajectory analysis results, as displayed in Figure 1d–f. By comparing them with Figure 1a–c, it is easily found that the singularities of first-order rational solutions correspond with our asymptotic analysis results when time t is beyond the range circled by the dash dot, which also shows that what we analyze above is correct.

4.2. Exponential-and-Rational Mixed Solutions

In this section, we will take N = 1 as an example to obtain the exponential–rational mixed solutions of Equation (1) by using Theorem 1. When N = 1 , if we take two different spectral parameters λ 1 and λ 2 , Theorem 1 degenerates to the discrete generalized ( 2 , 1 ) -fold DT. Similarly, we choose λ 1 = λ 1 + ε 3 , λ 1 = 1 , λ 2 = 2 and make the Taylor expansion of ϕ n around ε = 0 for λ 1 as in (11), but do not expand for ϕ n ( λ 2 ) . Therefore, the exponential and rational mixed solutions of Equation (1) are given by
u ˜ n = 3 D n ( 0 ) + H n ( 0 ) w ˜ n 1 B n ( 0 ) , v ˜ n = E n + 1 ( 0 ) + 2 E n ( 0 ) , w ˜ n = 1 F n ( 0 ) 1 B n 1 ( 0 ) ,
with
B n ( 0 ) = Δ B n ( 0 ) Δ 1 , D n ( 0 ) = Δ D n ( 0 ) Δ 2 , E n ( 0 ) = Δ E n ( 0 ) Δ 2 , F n ( 0 ) = Δ F n ( 0 ) Δ 2 , H n ( 0 ) = ( 1 B n 1 ( 0 ) ) Δ H n ( 0 ) Δ 1 ,
in which
Δ 1 = φ n ( 0 ) ( λ 1 ) ψ n ( 0 ) ( λ 1 ) λ 1 φ n ( 0 ) ( λ 1 ) γ n ( 0 ) ( λ 1 ) φ n ( 1 ) ( λ 1 ) ψ n ( 1 ) ( λ 1 ) λ 1 φ n ( 1 ) ( λ 1 ) φ n ( 0 ) ( λ 1 ) γ n ( 1 ) ( λ 1 ) φ n ( λ 2 ) ψ n ( λ 2 ) λ 2 φ n ( λ 2 ) γ n ( λ 2 ) , Δ 2 = φ n ( 0 ) ( λ 1 ) ψ n ( 0 ) ( λ 1 ) γ n ( 0 ) ( λ 1 ) φ n ( 1 ) ( λ 1 ) ψ n ( 1 ) ( λ 1 ) γ n ( 1 ) ( λ 1 ) φ n ( λ 2 ) ψ n ( λ 2 ) γ n ( λ 2 ) , Δ B n ( 0 ) = φ n ( 0 ) ( λ 1 ) λ 1 φ n ( 0 ) ( λ 1 ) γ n ( 0 ) ( λ 1 ) φ n ( 1 ) ( λ 1 ) λ 1 φ n ( 1 ) ( λ 1 ) φ n ( 0 ) ( λ 1 ) γ n ( 1 ) ( λ 1 ) φ n ( λ 2 ) λ 2 φ n ( λ 2 ) γ n ( λ 2 ) , Δ D n ( 0 ) = λ 1 ψ n ( 0 ) ( λ 1 ) ψ n ( 0 ) ( λ 1 ) γ n ( 0 ) ( λ 1 ) λ 1 ψ n ( 1 ) ( λ 1 ) ψ n ( 0 ) ( λ 1 ) ψ n ( 1 ) ( λ 1 ) γ n ( 1 ) ( λ 1 ) λ 2 ψ n ( λ 2 ) ψ n ( λ 2 ) γ n ( λ 2 ) , Δ E n ( 0 ) = φ n ( 0 ) ( λ 1 ) λ 1 ψ n ( 0 ) ( λ 1 ) γ n ( 0 ) ( λ 1 ) φ n ( 1 ) ( λ 1 ) λ 1 ψ n ( 1 ) ( λ 1 ) ψ n ( 0 ) ( λ 1 ) γ n ( 1 ) ( λ 1 ) φ n ( λ 2 ) λ 2 ψ n ( λ 2 ) γ n ( λ 2 ) , Δ F n ( 0 ) = φ n ( 0 ) ( λ 1 ) ψ n ( 0 ) ( λ 1 ) λ 1 ψ n ( 0 ) ( λ 1 ) φ n ( 1 ) ( λ 1 ) ψ n ( 1 ) ( λ 1 ) λ 1 ψ n ( 1 ) ( λ 1 ) ψ n ( 0 ) ( λ 1 ) φ n ( λ 2 ) ψ n ( λ 2 ) λ 2 ψ n ( λ 2 ) , Δ H n ( 0 ) = φ n ( 0 ) ( λ 1 ) λ 1 γ n ( 0 ) ( λ 1 ) γ n ( 0 ) ( λ 1 ) φ n ( 1 ) ( λ 1 ) λ 1 γ n ( 1 ) ( λ 1 ) γ n ( 0 ) ( λ 1 ) γ n ( 1 ) ( λ 1 ) φ n ( λ 2 ) λ 2 γ n ( λ 2 ) γ n ( λ 2 ) ,
where B n 1 ( 0 ) and E n + 1 ( 0 ) are given from B n ( 0 ) and E n ( 0 ) by changing n into n 1 and n + 1 , respectively. Because of the complexity of solutions (14), we only use determinants to express them here.
When N and m are greater than or equal to 2, we can also discuss higher-order rational formal solutions or mixed solutions, which we will not discuss here.

5. Conclusions

In this paper, we investigated the generalized Toda lattice Equation (1) associated with a 3 × 3 Lax pair, which might model the motions of particles in lattices. The main achievements of this paper are as follows. Firstly, we corresponded Equation (1) to continuous linear PDE (4) and NPDE (6) by using the continuous limit technique. Secondly, the discrete generalized ( m , 3 N m ) -fold DT of Equation (1) was constructed for the first time, from which the rational solutions and exponential–rational mixed interaction solutions were obtained. Thirdly, the rational solutions of Equation (1)were given by using the discrete generalized ( 1 , 2 ) -fold DT, and their limit states were discussed by using an asymptotic analysis. In order to better understand their dynamical properties, the three-dimensional and singular trajectory plots of rational solutions were also drawn in Figure 1. Finally, the mixed solutions in the form of determinants of Equation (1) were derived by use of the discrete generalized ( 2 , 1 ) -fold DT. The results and properties of Equation (1) given above are first reported, and we hope these results in this paper might be helpful to understand the dynamics of particles in lattices.

Author Contributions

Formal analysis, X.-K.L.; funding acquisition, X.-Y.W.; methodology, X.-K.L. and X.-Y.W.; validation, X.-K.L. and X.-Y.W.; writing—original draft, X.-K.L.; writing—revision, X.-Y.W. All authors have read and agreed to the published version of the manuscript.

Funding

This work was partially supported by the National Natural Science Foundation of China under grant no. 12071042 and the Beijing Natural Science Foundation under grant no. 1202006.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Ablowitz, M.J.; Prinari, B.; Trubatch, A.D. Discrete and Continuous Nonlinear Schrödinger Systems; Cambridge University Press: Cambridge, UK, 2003. [Google Scholar]
  2. Toda, M. Vibration of a chain with nonlinear interaction. J. Phys. Soc. Jpn. 1967, 22, 431–436. [Google Scholar] [CrossRef]
  3. Wadati, M. Transformation theories for nonlinear discrete systems. Prog. Theor. Phys. Suppl. 1976, 59, 36–63. [Google Scholar] [CrossRef] [Green Version]
  4. Tu, G.Z. A trace identity and its applications to the theory of discrete integrable systems. J. Phys. A 1990, 23, 3903–3922. [Google Scholar]
  5. Ma, W.X.; You, Y.C. Rational solutions of the Toda lattice equation in Casoratian form. Chaos 2004, 22, 395–406. [Google Scholar] [CrossRef]
  6. Ma, W.X. Complexiton solutions to integrable equations. Nonlinear. Anal. 2005, 63, e2461–e2471. [Google Scholar] [CrossRef] [Green Version]
  7. Maruno, K.; Ma, W.X.; Oikawa, M. Generalized casorati determinant and positon-negaton-type solutions of the Toda lattice equation. J. Phys. Soc. Jpn. 2004, 73, 831–837. [Google Scholar] [CrossRef]
  8. Cârstea, A.S.; Grecu, D. On a class of rational and mixed soliton-rational solutions of the Toda lattice. Prog. Theor. Phys. 1996, 96, 29–36. [Google Scholar] [CrossRef] [Green Version]
  9. Wen, X.Y. N-fold Darboux transformation and soliton solutions for Toda lattice equation. Rep. Math. Phys. 2011, 68, 211–223. [Google Scholar] [CrossRef]
  10. Suris, Y.B. The Problem of Integrable Discretization: Hamiltonian Approach; Birkhäuser: Basel, Switzerland, 2003. [Google Scholar]
  11. Ma, W.X.; Xu, X.X. A modified Toda spectral problem and its hierarchy of bi-hamiltonian lattice equations. J. Phys. A 2004, 37, 1323–1336. [Google Scholar] [CrossRef]
  12. Wang, X. Darboux Transformation for Two Discrete Soliton Equations; Zhengzhou University: Zhengzhou, China, 2012. [Google Scholar]
  13. Wu, Y.T.; Geng, X.G. A new integrable symplectic map of neumann type. J. Phys. Soc. Jpn. 1999, 68, 784–790. [Google Scholar] [CrossRef]
  14. Ablowitz, J.; Clarkson, P.A. Solitons, Nonlinear Evolution Equations and Inverse Scattering; Cambridge University Press: Cambridge, UK, 1991. [Google Scholar]
  15. Wang, Y.F.; Tian, B.; Li, M.; Wang, P.; Jiang, Y. Soliton dynamics of a discrete integrable Ablowitz-Ladik equation for some electrical and optical systems. Appl. Math. Lett. 2014, 35, 4651. [Google Scholar] [CrossRef]
  16. Wang, X.; Chen, Y.; Dong, Z.Z. Symmetries and conservation laws of one Blaszak-Marciniak four-field lattice equation. Chin. Phys. B 2014, 23, 010201. [Google Scholar] [CrossRef]
  17. Olver, P.J. Applications of Lie Groups to Differential Equations; Springer: Berlin/Heidelberg, Germany, 2000. [Google Scholar]
  18. Yu, F.J.; Feng, S. Explicit solution and Darboux transformation for a new discrete integrable soliton hierarchy with 4 × 4 Lax pairs. Math. Method Appl. Sci. 2017, 40, 5515–5525. [Google Scholar] [CrossRef]
  19. Wen, X.Y.; Yan, Z.Y.; Malomed, B.A. Higher-order vector discrete rogue-wave states in the coupled Ablowitz-Ladik equations: Exact solutions and stability. Chaos 2016, 26, 123110. [Google Scholar] [CrossRef] [PubMed]
  20. Wen, X.Y.; Yuan, C.L. Controllable rogue wave and mixed interaction solutions for the coupled Ablowitz-Ladik equations with branched dispersion. Appl. Math. Lett. 2022, 123, 107591. [Google Scholar] [CrossRef]
  21. Qin, M.L.; Wen, X.Y.; Yuen, M. A relativistic Toda lattice hierarchy, discrete generalized (m, 2Nm)-Fold Darboux transformation and diverse exact solutions. Symmetry 2021, 13, 2315. [Google Scholar] [CrossRef]
  22. Liu, P.; Jia, M.; Lou, S.Y. A discrete Lax-integrable coupled system related to coupled KdV and coupled mKdV equations. Chin. Phys. Lett. 2007, 24, 2717–2719. [Google Scholar]
Figure 1. (Color online) first-order rational solutions (12): (a) the three-dimensional plot of u ˜ n ; (d) the singular trajectory plot of u ˜ n in (13); (b) the three-dimensional plot of v ˜ n ; (e) the singular trajectory plot of v ˜ n in (13); (c) the three-dimensional plot of w ˜ n ; (f) the singular trajectory plot of w ˜ n in (13).
Figure 1. (Color online) first-order rational solutions (12): (a) the three-dimensional plot of u ˜ n ; (d) the singular trajectory plot of u ˜ n in (13); (b) the three-dimensional plot of v ˜ n ; (e) the singular trajectory plot of v ˜ n in (13); (c) the three-dimensional plot of w ˜ n ; (f) the singular trajectory plot of w ˜ n in (13).
Symmetry 14 00920 g001
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Liu, X.-K.; Wen, X.-Y. Continuous Limit, Rational Solutions, and Asymptotic State Analysis for the Generalized Toda Lattice Equation Associated with 3 × 3 Lax Pair. Symmetry 2022, 14, 920. https://doi.org/10.3390/sym14050920

AMA Style

Liu X-K, Wen X-Y. Continuous Limit, Rational Solutions, and Asymptotic State Analysis for the Generalized Toda Lattice Equation Associated with 3 × 3 Lax Pair. Symmetry. 2022; 14(5):920. https://doi.org/10.3390/sym14050920

Chicago/Turabian Style

Liu, Xue-Ke, and Xiao-Yong Wen. 2022. "Continuous Limit, Rational Solutions, and Asymptotic State Analysis for the Generalized Toda Lattice Equation Associated with 3 × 3 Lax Pair" Symmetry 14, no. 5: 920. https://doi.org/10.3390/sym14050920

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop