The investigation centers on a generalized Toda lattice equation featuring four potentials. Initially, the continuous counterpart is first established using the continuous limit approach. Subsequently, leveraging its 3 × 3 matrix spectrum problem, the discrete generalized (m, 3N − m)-fold Darboux transformation (DT) is formulated for this discrete system. Finally, the derived generalized DT is employed to generate precise rational solutions and hybrid rational-exponential solutions, which are thoroughly analyzed and graphically illustrated. These novel findings may offer insights into the lattice dynamical phenomena described by Toda lattice equation.
Ming-juan Guo, Xiao-Yong Wen. Continuous limit, exact rational solutions and combined rational-exponential solutions for a generalized Toda lattice equation with four potentials[J]. Communications in Theoretical Physics, 2025, 77(11): 115004. DOI: 10.1088/1572-9494/addcca
1. Introduction
Toda lattice equation, initially formulated by Toda in 1967, is a fundamental model within the realm of mathematical physics, which describes the dynamics of a one-dimensional lattice of particles with exponential interactions between nearest neighbors [1, 2]. Initially formulated to investigate wave propagation in one-dimensional nonlinear lattices, the Toda lattice equation has found widespread applications in various fields including condensed matter physics, biophysics and optical systems [3] outside its original physical context. Moreover, some generalized Toda lattice equation and modified Toda lattice equation have also been proposed and discussed [4, 5]. In this study, we delve deeper into the analysis of the following generalized Toda lattice equation with four potentials [4]:
where ${\phi }_{n}={({\varphi }_{n},{\psi }_{n},{\chi }_{n})}^{T}$ represents the characteristic function of equation (2) with respect to n and t, The translation operator E is is characterized by its action Ef(n, t) = f(n + 1, t) = fn+1, the symbol λ denotes a spectral parameter that has nothing to do with t, and subscript t denote partial derivatives with respect to t. Setting cn = dn = 0, equation (1) degenerates into the celebrated Toda lattice equation [2, 3]. Since Geng et al proposed equation (1) in 2006, equation(1) has garnered considerable attention. In [4], the integrable hierarchy and Hamiltonian structure of equation (1) have been formulated. In [6], explicit quasi-periodic solutions were constructed. Furthermore, reference [7] provided the infinite number of conservation laws for equation (1) and constructed the N-fold DT in matrix form to obtain solitary wave solutions. So far, the continuum limit, generalization Darboux transformation (DT), and singular rational and mixed solutions of equation (1) have not been studied. Therefore, the motivation of this paper is to investigate the continuous limit and singular rational solution structures.
Analyzing exact solutions of discrete nonlinear lattice equations is essential for interpreting physical phenomena such as wave propagation in fluid dynamics, plasmas, and elastic media [3, 8, 9]. Various powerful methods have been employed to derive these solutions, including the Jacobi elliptic function expansion [10], Hirota bilinear approaches [11], Bäcklund transformation [12], the inverse scattering transformation [13, 14], Riemann–Hilbert method [15], the Lie symmetry method [16, 17], $({G}^{{\prime} }/G)$-expansion method [18], and the DT [5, 7, 19–25]. The DT method is particularly effective for solving discrete nonlinear lattice equations linked to 2 × 2 matrix spectral problems [5, 19, 20] and 3 × 3 matrix spectral problems [7, 21–25], and its generalized form further enhances its capability to generate a wider range of solutions. The generalized (m, 3N − m)-fold DT is an extension of the usual DT that has been successfully applied to systems such as Blaszak–Marciniak lattice and Belov–Chaltikian lattice equations, which are connected to 3 × 3 matrix spectral problems [24, 25]. Nevertheless, equation (1) has not been investigated using this method, particularly with respect to its singular rational solutions and singular mixed rational-exponential solutions.
The subsequent sections of this article are structured as follows. Section 2 focuses on mapping the discrete four-potential Toda lattice equation to two continuous counterparts. In section 3, the discrete generalized (m, 3N − m)-fold DT for equation (1) is formulated based on the established Lax pair (2). Section 4 employs the generalized DT to derive rational and mixed rational-exponential solutions, which are analyzed and depicted graphically. The final section provides a summary of the key results.
2. Continuous limit
In this part, we are going to macth equation (1) to different continuous nonlinear equations by use of the continuous limit [24, 25]. For equation (1), although it can be mapped to several continuous equations, we will only discuss the following two examples:
This section focuses on developing the discrete generalized (m, 3N − m)-fold DT for equation (1) using its associated Lax pair equation (2). To accomplish this, we proceed by considering the transformation:
with ${\widetilde{\phi }}_{n}$ mandated to meet ${\widetilde{\phi }}_{n+1}={\widetilde{U}}_{n}{\widetilde{\phi }}_{n},$ and ${\widetilde{\phi }}_{n,t}={\widetilde{V}}_{n}\widetilde{{\phi }_{n}}$. From equations (2) and (5), we derive the relationships:
where ${\widetilde{U}}_{n},{\widetilde{V}}_{n}$ and Un, Vn share identical matrix structures, differing only in the substitution of an, bn, cn, dn with ${\widetilde{a}}_{n},{\widetilde{b}}_{n},{\widetilde{c}}_{n},{\widetilde{d}}_{n}$. This framework allows us to construct a specific DT matrix as:
where N presents the order of DT, and ${D}_{n}^{(j)}\ {E}_{n}^{(j)}\ {F}_{n}^{(j)}\ {G}_{n}^{(j)}\ {H}_{n}^{(j)}\ {J}_{n}^{(j)}\ {K}_{n}^{(j)}\ {W}_{n}^{(j)}\ {R}_{n}^{(j)}$ are unknown functions, which will be derived from following linear system: $\displaystyle \sum _{j=0}^{{k}_{i}}{T}_{n}^{(j)}({\lambda }_{i}){\phi }_{n}^{({k}_{i}-j)}({\lambda }_{i})=0\,\ (3N=m+\displaystyle \sum _{i=1}^{m}{k}_{i},\ i=1,2,\cdots \,,m)$, where ${\phi }_{n}^{(k)}({\lambda }_{i})=\frac{1}{k!}\frac{{\partial }^{k}}{\partial {\lambda }_{i}^{k}}{\phi }_{n}({\lambda }_{i})$ is the term of Taylor expansion ${\phi }_{i,n}({\lambda }_{i}+\varepsilon )={\sum }_{k=0}^{\infty }{\phi }_{i,n}^{(k)}{\varepsilon }^{k}$, and ${T}_{n}^{(j)}$ is provided by binomial expansion of $T({\lambda }_{i}+\varepsilon )={T}_{n}^{(0)}+{T}_{n}^{(1)}\varepsilon +{T}_{n}^{(2)}{\varepsilon }^{2}+\cdots +{T}_{n}^{({k}_{i})}{\varepsilon }^{{k}_{i}}$.
For the derivation of explicit rational and mixed solutions of equation (1), the discrete DT reported in [7, 21] must be extended to the generalized DT. Based on equations (6) and (7),the relationships between the new and old potential functions are formulated as:
where ${D}_{n}^{(N-1)}$, ${E}_{n}^{(N-1)}$, ${F}_{n}^{(N-1)}$, ${G}_{n}^{(N-1)}$, ${K}_{n}^{(N-1)}$ are defined as: ${D}_{n}^{(N-1)}=\frac{{\rm{\Delta }}{D}_{n}^{(N-1)}}{{{\rm{\Delta }}}_{N}}$, ${E}_{n}^{(N-1)}=\frac{{\rm{\Delta }}{E}_{n}^{(N-1)}}{{{\rm{\Delta }}}_{N}}$, ${F}_{n}^{(N-1)}=\frac{{\rm{\Delta }}{F}_{n}^{(N-1)}}{{{\rm{\Delta }}}_{N}}$, ${G}_{n}^{(N-1)}=\frac{{\rm{\Delta }}{G}_{n}^{(N-1)}}{{{\rm{\Delta }}}_{N}}$, ${K}_{n}^{(N-1)}=\frac{{\rm{\Delta }}{K}_{n}^{(N-1)}}{{{\rm{\Delta }}}_{N}}$, and ${{\rm{\Delta }}}_{N}=\det ({[\underset{N}{\overset{(1)}{{\rm{\Delta }}}},{{\rm{\Delta }}}_{N}^{(2)},\ldots ,{{\rm{\Delta }}}_{N}^{(m)}]}^{T})$, in which ${{\rm{\Delta }}}_{N}=\det ({[\underset{N}{\overset{(1)}{{\rm{\Delta }}}},{{\rm{\Delta }}}_{N}^{(2)},\ldots ,{{\rm{\Delta }}}_{N}^{(m)}]}^{T})$ with ${{\rm{\Delta }}}_{N}^{(i)}={({{\rm{\Delta }}}_{N,j,r}^{(i)})}_{({k}_{i}+1)\times 3N}$ is derived through the following expressions:
Here, ${\rm{\Delta }}{D}_{n}^{(N-1)},\ {\rm{\Delta }}{E}_{n}^{(n)},\ {\rm{\Delta }}{F}_{n}^{(N-1)}$ arise from transforming the determinant ΔN by substituting its first, (N + 1)th and (2N + 1)th columns of with ${({\omega }^{(1)},{\omega }^{(2)},\ldots ,{\omega }^{(m)})}^{T}$, in that order, where ${\omega }^{(i)}={({\omega }_{j}^{(i)})}_{({k}_{i}+1)\times 1}$ and ${\omega }_{j}^{(i)}=-{\sum }_{k=0}^{j-1}{C}_{N}^{k}{\lambda }_{i}^{N-k}{\varphi }_{i,n}^{(j-1-k)}$. Similarly, ${\rm{\Delta }}{G}_{n}^{(N-1)}$ is derived by exchanging the first column of ΔN with ${({\mu }^{(1)},{\mu }^{(2)},\ldots ,{\mu }^{(m)})}^{T}$, where ${\mu }^{(i)}={({\mu }_{j}^{(i)})}_{({k}_{i}+1)\times 1}$, in which ${\mu }_{j}^{(i)}=-{\sum }_{k=0}^{j-1}{C}_{N}^{k}{\lambda }_{i}^{N-k}{\psi }_{i,n}^{(j-1-k)}$. ${\rm{\Delta }}{K}_{n}^{(N-1)}$ can be generated by replacing the first column of the determinant ΔN with ${({\beta }^{(1)},{\beta }^{(2)},\ldots ,{\beta }^{(m)})}^{T}$, where ${\beta }^{(i)}={({\beta }_{j}^{(i)})}_{({k}_{i}+1)\times 1}$ and ${\beta }_{j}^{(i)}=-(1+{c}_{n}^{(N-1)})\displaystyle \sum _{k=0}^{j-1}{C}_{N}^{k}{\lambda }_{i}^{N-k}{\chi }_{i,n}^{(j-1-k)}$.
It should be emphasized that the transformations labeled equations (5) and (8) are termed the disctete generalized (m, 3N − m)-fold DT, for which more elaborate expositions and proofs of related theorems can be accessed in [21–25], readily available to readers.
4. Explicit exact solutions
Solitons are travelling waves that remain structurally stable and invariant for long periods of time during propagation, and have very important roles in nonlinear optics, electromagnetism, Bose–Einstein condensation, plasma, and other fields [26, 27]. In this section, we will consider some new singular rational soliton and mixed rational-exponential structures of equation (1) by using the DT.
The fundamental solution can be readily obtained by substituting the seed solutions an = bn = 1, cn = dn = 0 into equation (2), yielding
in which ${\rm{\Theta }}=\sqrt{{\lambda }^{2}+2\lambda -3}{\sum }_{j=0}^{n=3N-1}{\varkappa }_{j}{\epsilon }^{j}$, and C1,k, C2,k, C3,k are arbitrary constants. Meanwhile, τk (k = 1, 2, 3) serve as the solutions to the cubic equation τ3 − (λ + 2)τ2 + (λ + 2)τ − 1 = 0. If λ = λ1 = 1, we make two types of Taylor expansions of equation (9), but we will not make Taylor expansion at λk (k ≠ 1).
• Type 1 Given the parameters C1,1 = 0 and C2,1 = C3,1 = 1 and λ = λ1 + ε2, we list the first three terms of Taylor expansion of equation (9) as
• Type 2 When ${C}_{1,1}=0,{C}_{2,1}=-\frac{1}{\epsilon },{C}_{3,1}=\frac{1}{\epsilon }$ and λ = λ1 + ε2 are specified, we only list the first three of Taylor expansion as:
In this part, we will focus on the first-order exact solutions when m = 3, N = 1.
Case (i). Exact exponential function solution or hyperbolic function solution
Employing the (3, 0)-fold DT as m = 3 and N = 1, specifically, for λ1, we employ the first term of Type 1 Taylor expansion with coefficients C1,1 = 0 and C2,1 = C3,1 = 1, excluding rational polynomial terms. Additionally, for ${\lambda }_{2}=\frac{3}{2}$ and ${\lambda }_{3}=\frac{13}{4}$, we refrain from expanding and instead assign coefficients C1,2 = C2,2 = 0, C3,2 = 1 and C1,3 = C2,3 = 0, C3,3 = 1 respectively. Subsequently, based on equation (8), we derive the first-order exponential function solution as detailed below:
from which we can derive that ${\widetilde{a}}_{n},\ {\widetilde{d}}_{n}$ share an identical singular trajectory curve, denoted as Γ1 = 0, whereas ${\widetilde{c}}_{n}$ possesses a distinct singular trajectory curve, labeled as Γ2 = 0, ${\widetilde{b}}_{n}$ owns two different singularity trajectory curves Γ1 = 0, Γ2 = 0. At the same time, the three-dimensional structures of solution ${\widetilde{a}}_{n},\ {\widetilde{b}}_{n},\ {\widetilde{c}}_{n},\ {\widetilde{d}}_{n}$ are displayed in figures 1(a1)–(a4) respectively, while the associated singular trajectory plots corresponding to ${\widetilde{a}}_{n},\ {\widetilde{b}}_{n},\ {\widetilde{c}}_{n},\ {\widetilde{d}}_{n}$ are exhibited in figures 1(b1)–(b4).
Figure 1. The structures of solution equation (10): (a1)–(a4) represent the three-dimensional maps of ${\widetilde{a}}_{n},\ {\widetilde{b}}_{n},\ {\widetilde{c}}_{n},\ {\widetilde{d}}_{n}$, respectively; (b1)–(b4) depict the singular trace curves of ${\widetilde{a}}_{n},\ {\widetilde{b}}_{n},\ {\widetilde{c}}_{n},\ {\widetilde{d}}_{n}$, respectively.
Case (ii). First-order mixed rational-exponential solution
Next, we perform the Taylor expansion of Type 2 at ε = 0 for λ1, and do the same arrangement with Case (i) for λ2, λ3, thereby deriving the first-order mixed rational-exponential solution as outlined below:
in which ${\xi }_{1}=\frac{3n}{2}\mathrm{ln}2+\frac{7t}{8}$, α = n + t. Meanwhile, the three-dimensional structures of solution equation (11) are displayed in figures 2(a1)–(a4) respectively. From solution equation (11), we can clearly know that ${\widetilde{a}}_{n},\ {\widetilde{d}}_{n}$ exist the same singularity trajectory curve: A1 = 0, ${\widetilde{b}}_{n}$ owns two singularity trajectory curves: A1 = 0, A2 = 0 while ${\widetilde{c}}_{n}$ haves one singularity trajectory curve: A2 = 0. figures 2(b1)–(b4) depict the singularity trajectory curves of ${\widetilde{a}}_{n},\ {\widetilde{b}}_{n},\ {\widetilde{c}}_{n}\ {\widetilde{d}}_{n}$, respectively.
Figure 2. The structures of the first-order mixed rational-exponential solution equation (11): (a1)–(a4) represent the three-dimensional maps of ${\widetilde{a}}_{n},\ {\widetilde{b}}_{n},\ {\widetilde{c}}_{n},\ {\widetilde{d}}_{n}$, respectively; (b1)–(b4) depict the singular trace curves of ${\widetilde{a}}_{n},\ {\widetilde{b}}_{n},\ {\widetilde{c}}_{n},\ {\widetilde{d}}_{n}$, respectively.
For the purpose of investigating the limiting conditions of solution equation (11) in the period before and after collision, we assume that ξ1 is fixed, from which we get the following asymptotic states of solution equation (11):
In the scenario where N = 1 and m = 2, indicating a requirement for two spectral parameters, we proceed solely with the Type 2 expansion for λ1 When N = 1, m = 2, that is to say, we need two spectral parameters, at this point, we only do the Type 2 expansion for λ1, while still do not perform the expansion for ${\lambda }_{2}=\frac{3}{2}$ with C1,2 = C3,2 = 0, C2,2 = − 1. Utilizing the (2, 1)-fold DT, the second-order exact rational solution can be formulated as specified below:
from which it is obvious that ${\widetilde{a}}_{n}$ possesses the singularity trajectory curve: 2α3 + 3α2 + n = 0, ${\widetilde{b}}_{n}$ possesses the singularity trajectory curve: 4α6 − 5α4 − 4tα3 + n2 = 0, while ${\widetilde{c}}_{n}$ possesses the singularity trajectory curve: 2α3 − 3α2 + n = 0. According to above results, we present the three-dimensional structures of solutions ${\widetilde{a}}_{n},\ {\widetilde{b}}_{n},\ {\widetilde{c}}_{n}$, as shown in figures 3(a1)-(a3), respectively, whose corresponding trajectory curves of ${\widetilde{a}}_{n},\ {\widetilde{b}}_{n},\ {\widetilde{c}}_{n}$ are displayed in figures 3(b1)–(b3), respectively. Meanwhile, we can easily know that ${\widetilde{a}}_{n}\to 1,\ {\widetilde{b}}_{n}\to 1$ as α → ± ∞, t → ± ∞ while ${\widetilde{c}}_{n}$ tends to 0 with t → + ∞ or ${\widetilde{c}}_{n}$ tends to +∞ with t → − ∞.
Figure 3. The structures of the second-order rational solution in equation (11): (a1)–(a3) represent the three-dimensional maps of ${\widetilde{a}}_{n},\ {\widetilde{b}}_{n},\ {\widetilde{c}}_{n}$, respectively; (b1)–(b3) depict the singular trace curves of ${\widetilde{a}}_{n},\ {\widetilde{b}}_{n},\ {\widetilde{c}}_{n}$, respectively.
Case (ii). Second-order exact combined rational-exponential solution
For deriving the second-order exact combined rational-exponential solution, we employ the Type 1 expansion solely to λ1, while no expansion is performed on λ2 with C1,2 = 0, C2,2 = − C3,2 = 1. Based on this, the formulation of the second-order exact rational-exponential solution can be deduced as
with ${\xi }_{2}=n\mathrm{ln}2+\frac{3}{4}t$. For observing the structures of solution equation (13), we display the three-dimensional structures shown in figures 4(a1)–(a4), while their corresponding trace curves are demonstrated in figures 4(b1)–(b4). Then, we give two types of limit states of solution equation (13):
Figure 4. The structures of the second-order mixed rational-exponential solution equation (13): (a1)–(a4) represent the three-dimensional maps of ${\widetilde{a}}_{n},\ {\widetilde{b}}_{n},\ {\widetilde{c}}_{n},\ {\widetilde{d}}_{n}$, respectively; (b1)–(b4) depict the singular trace curves of ${\widetilde{a}}_{n},\ {\widetilde{b}}_{n},\ {\widetilde{c}}_{n},\ {\widetilde{d}}_{n}$, respectively.
Case (a) Similarly to the analysis of first-order mixed rational-exponential solution, we remain that ξ2 is fixed, then the limit states of solution equation (13) can be obtained:let α → + ∞ as t → + ∞:
For the case where N = m = 1, the first third expansion of Type 1 for λ1 is essential for deriving the third-order exact solution, which can be listed as:
from which it can be noted that ${\widetilde{a}}_{n}$ and ${\widetilde{d}}_{n}$ own the same singular trace curve B1 = 0, ${\widetilde{b}}_{n}$ exists two singular trace curves B1 = 0, B2 = 0, while ${\widetilde{c}}_{n}$ exists its singular trace curve B2 = 0. figures 5(a1)–(a4) display the three-dimensional structures of solution equation (14), while their corresponding trace curves are demonstrated in figures 5(b1)–(b4).
Figure 5. The structures of the third-order exact rational solution equation (14): (a1)–(a4) represent the three-dimensional maps of ${\widetilde{a}}_{n},\ {\widetilde{b}}_{n},\ {\widetilde{c}}_{n},\ {\widetilde{d}}_{n}$, respectively; (b1)–(b4) depict the singular trace curves of ${\widetilde{a}}_{n},\ {\widetilde{b}}_{n},\ {\widetilde{c}}_{n},\ {\widetilde{d}}_{n}$, respectively.
5. Conclusions
This study investigates a generalized Toda lattice equation (1) with four potentials linked to a 3 × 3 matrix spectrum problem. The main achievements are: (i) Transforming equation (1) into two distinct continuous equations via the continuous limit; (ii) Constructing a generalized (m, 3N − m)-fold DT of equation (1) for the first time; (iii) Deriving and meticulously analyzing singular exact rational and combined singular rational-exponential solutions, thoroughly analyzed and illustrated graphically, which are different from the usual soliton structures. The usual solitons are finite in amplitude and analytic, the solitons obtained in this paper have singularities along particular curves, and we have studied the singular trace curves of the solutions by asymptotic analysis. These results are innovative, which have not been considered in previous studies, and we expect they can provide new perspectives on wave propagation in one-dimensional nonlinear lattice dynamics.
This work has been supported by National Natural Science Foundation of China (Grant No. 12071042) and Beijing Municipal Natural Science Foundation (Grant No. 1242004).
FanF C2022 Discrete N-fold Darboux transformation and infinite number of conservation laws of a four-component Toda lattice Int. J. Geom. Methods Mod. Phys.19 2250040
LiY, TianS F, YangJ J2022 Riemann–Hilbert problem and interactions of solitons in the-component nonlinear Schrödinger equations Stud. Appl. Math.148 577
KumarS, MaW X, KumarA2021 Lie symmetries, optimal system and group-invariant solutions of the (3 + 1)-dimensional generalized KP equation Chin. J. Phys.69 1
KumarS, KumarD, KumarA2021 Lie symmetry analysis for obtaining the abundant exact solutions, optimal system and dynamics of solitons for a higher-dimensional Fokas equation Chaos Soliton Fractals142 110507
TianS F, ZhouF B, ZhouS W, ZhangT T2016 Analytic solutions and Darboux transformation to a new Hamiltonian lattice hierarchy Mod. Phys. Lett. B30 1650100
WenX Y, MengX H, XuX G, WangJ T2013N-fold Darboux transformation and explicit solutions in terms of the determinant for the three-field Blaszak–Marciniak lattice Appl. Math. Lett.26 1076 1081
ZhaoH Q, ZhuZ N, ZhangJ L2011 Darboux transformations and new explicit solutions for a Blaszak–Marciniak three-field lattice equation Commun. Theor. Phys.56 23 30
ProukakisN P, ParkerN G, FrantzeskakisD J, AdamsC S2004 Analogies between dark solitons in atomic Bose–Einstein condensates and opticalsystems J. Opt. B: Quantum Semiclass. Opt.6 S380