- Open Access
Soliton solutions of q-Toda lattice by Hirota direct method
Advances in Difference Equations volume 2012, Article number: 121 (2012)
This paper presents the q-analogue of Toda lattice system of difference equations by discussing the q-discretization in three aspects: differential-q-difference, q-difference-q-difference and q-differential-q-difference Toda equation. The paper develops three-q-soliton solutions, which are expressed in the form of a polynomial in power functions, for the differential-q-difference and q-difference-q-difference Toda equations by Hirota direct method. Furthermore, it introduces q-Hirota D-operator and presents the q-differential-q-difference version of Toda equation. Finally, the paper presents its solitary wave like a solution in terms of q-exponential function and explains the nonexistence of further solutions in terms of q-exponentials by the virtue of Hirota perturbation.
In the literature, to find exact solutions of nonlinear partial differential equations, a vast variety of methods have been proposed such as the inverse scattering transform , Bäcklund transformation , Hirota direct method and several dressing methods. Among these methods, Hirota direct method, introduced in the pioneering article , is one of the most effective and fastest methods for constructing not only multi-soliton solutions but also some special solutions of integrable nonlinear evolution equations. The method has been shown to be applicable to a wide class of equations including nonlinear differential, nonlinear differential-difference and nonlinear difference equations [4–6]. The first step of the method is to utilize a dependent variable transformation to convert the nonlinear partial differential or difference equation into a quadratic form, the so-called bilinear form, in the new dependent variables. The fundamental idea behind the method is to write the bilinear form as a polynomial of Hirota-D operator (derivative). This compact form is called a Hirota bilinear form. It should be noted that it is not possible to give an algorithm to write every nonlinear partial differential or difference equation in a Hirota bilinear form. Besides some equations may not have Hirota bilinear forms but trilinear or multilinear forms . It is conjectured that all completely integrable nonlinear partial differential or difference equations can be written in a Hirota bilinear form. On the other hand, for an equation admitting a Hirota bilinear form does not guarantee the existence of N-soliton solutions of any order. The equations admitting a Hirota bilinear form and having 3-soliton solutions are said to be Hirota integrable. Such equations together with Painlevé approach are widely believed to be integrable. Therefore, Hirota direct method builds a bridge between having multi-soliton solutions and the theory of integrability, in the sense that the so-called Hirota condition (three-soliton solution condition) is a milestone for investigating the integrability of an equation [8–10]. The rest of the method is to use a perturbation expansion (also known as Hirota perturbation) in a Hirota bilinear form, collect the coefficients of perturbation parameter and analyze the conditions for multi-soliton solutions.
The new dependent variables (the so-called τ-functions) are essential in the literature. They are expressed as polynomials in exponential functions in Hirota perturbation while in Sato theory they are written in terms of Wronski or Casorati determinants providing solutions to equations in bilinear forms [11, 12].
In , a general framework of integrable discrete systems on is introduced by the virtue of discrete one-parameter group of diffeomorphisms. These diffeomorphisms are expressed by infinitesimal generators , where in particular, corresponds to Toda lattice while subtends to q-deformed Toda lattice. It is concluded that all discrete systems determined by different vector fields are not globally equivalent, moreover q-difference systems on are not isomorphic to lattice systems on .
Inspired by this fact, the purpose of this paper is to present the q-analogue of Toda lattice system of difference equations and discuss the applicability of Hirota direct method for constructing multi-soliton solutions. There are several ways to q-discretize a given continuous equation. By q-discretization we mean q-difference equations determined by q-difference operator and additionally q-differential equations constructed by q-derivative operator. Therefore, we present q-discretization in three aspects: differential-q-difference, q-difference-q-difference and q-differential-q-difference Toda equation. We show that Hirota direct method allows to produce three-soliton solutions for the differential-q-difference and q-difference-q-difference Toda equations. We emphasize that the solutions not only possess soliton behaviors but have additional power counterparts for q-discrete variables. We call such soliton solutions as q-soliton solutions. Therefore, unlike the Toda equation  or discrete-time Toda equation , the differential-q-difference and q-difference-q-difference Toda equations have soliton solutions in the form of a polynomial in power functions. On the other hand, we conclude that Hirota direct method fails to derive multi-soliton solutions of the q-differential-q difference Toda equation. Furthermore, it is not possible to obtain multi-soliton solutions for any q-differential-q-difference or q-differential-difference type of equations by means of Hirota perturbation.
In Section 3, we introduce the q-analogue of the exponential identity in order to overcome the obstacles in front of deriving a Hirota bilinear form for q-discrete equations. This exponential identity arises in terms of forward and backward shift not on the level of additive sense but multiplicative sense. In Section 4, we propose the differential-q-difference Toda equation. Since Hirota condition (three-soliton solution condition) is an indicator for integrability, we present three-q-soliton solutions of the differential-q-difference Toda equation. In Section 5, reversing the procedure, we introduce a proper Hirota bilinear form from which we construct q-difference-q-difference Toda equation and its three-q-soliton solutions. In the last section, we introduce and develop the notion of q-Hirota D-operator. We present the q-differential-q-difference version of Toda equation and construct its Hirota bilinear form in terms of q-Hirota D-operator. We present its solitary wave like a solution in terms of q-exponential function and explain the nonexistence of further q-exponential type solutions by Hirota perturbation.
2 Basic notions
In order to obtain the solutions of nonlinear partial differential or difference equations
Hirota direct method allows to write such equations in a form where the new dependent variables appear bilinearly by using suitable bilinearizing transformations
This form is called bilinear form of . We should remark that some integrable equations can only be transformed to a single bilinear form while some of them can be written as a combination of bilinear forms. On the other hand, for some equations it is not possible to find a proper transformation. The next step towards Hirota direct method, is introducing the so-called Hirota D-operator which is a binary differential operator exhibiting a new calculus.
Definition 2.1 Let S be a space of differentiable functions . The Hirota D-operator is defined as
where are independent variables and , .
The core of the method is to construct the so-called Hirota bilinear form, which is a compact form of the bilinear form of , expressed in terms of a polynomial of Hirota-D operator. The last step towards the method is the application of the Hirota perturbation. We plug the finite perturbation expansion of the dependent variables into a Hirota bilinear form. We examine the coefficients of the perturbation parameter and analyze the conditions for multi-soliton solutions. We finish this section by summing up the properties of the Hirota D-operator (3) .
Proposition 2.2 Let be an arbitrary polynomial in D acting on two differentiable functionsand, then the following equations hold:
where ∂ is the usual differential operator.
3 q-exponential identity
It is possible to introduce Hirota D-operator by the virtue of the exponential identity
where h is a parameter and are continuously differentiable functions to all orders in x. In this section, our aim is to introduce the q-analogue of the exponential identity (6). For this purpose, we first explain its construction by using the notions presented in . Let and be the forward and backward jump operators, respectively. Here, in forward steps, is mapped to , where is the m-times composition of σ, and in m backward steps x is mapped to . If there exist inverse maps and , such that and for all , then bijective σ defines a discrete one-parameter group of bijections on : , where . Since infinite-dimensional systems of smooth dynamical fields are under consideration, it is better to introduce one-parameter group of diffeomorphisms instead of bijections. Consider the continuous one-parameter group of diffeomorphisms . By Taylor expansion of around ,
it is clear that one-parameter group of diffeomorphism is generated by a vector field (the so-called infinitesimal generator), denoted by , i.e., , where is smooth on except at most finite number of points. The computation of one-parameter group generated by a vector field is often referred as exponentiation of the vector field, therefore we have
where is a smooth function and is some deformation parameter. If we consider the vector fields of the form on , for , we have
which corresponds to the q-difference type of discussions. For , we deal with the case of lattice type
All discrete systems defined by different vector fields are not globally equivalent. However, it is possible to find a local transformation relating these vector fields. If we consider where n () is odd, and , there exists a bijection on . Therefore all discrete systems generated by (n is odd), can be reduced to the original lattice Toda-type systems with . However, if we consider (q-discrete case) and , we have which is not a bijection provided that (see  for more precise details).
As a result, q-difference systems on , determined by q-shift operators are not isomorphic to lattice systems on . Motivated by this in-equivalence, in order to examine how soliton solutions of q-difference systems differ from soliton solutions of discrete systems, we introduce the following q-exponential identity. Such q-exponential identity shed light to construct Hirota bilinear forms of q-discrete equations under consideration.
Theorem 3.1 For arbitrary continuously differentiable functions, , the q-exponential identity
holds where we have the usual relation between two quantum parameters h and q as. Hereandare q-forward and backward jump operators, respectively acting as
Proof First, we note that for the left hand side of the identity (9), we are not able to expand the exponential operator since is not an associative bilinear operation. Besides, for the right hand side, the Taylor series expansions are not valid either because of the fact that we seek for forward and backward shifting not on the level of additive sense but multiplicative sense. Therefore, the only way to prove the identity is to make use of the change of variable which implies by integration with respect to x. Here integration constant is ignored since it would be embedded while the operator acts in a Hirota bilinear form. Then
Using (6) for the right hand side of (11), we end up with
We finish this section by defining the following difference operator.
Definition 3.2 We define the central q-difference operator operating on an arbitrary function , , as
Note that throughout the forthcoming framework, we may suppose . One can rewrite (12), by using the q-forward and backward jump operators (10) as
4 The differential-q-difference Toda equation
Toda equation  which describes the motions of anharmonic one-dimensional lattice is given by
where a, b and m are real constants. Introducing the force of the n th spring in the lattice
as a rapidly decaying function, the equation (13) turns out to be
In this section, our aim is to establish the three-soliton solutions of the differential-q-difference Toda equation proposed as follows:
Let us introduce the dependent variable transformation as
If we integrate (16) twice with respect to time variable t, make use of the transformation (17) in (16) and impose the condition that V is a rapidly decaying function, we evolve the bilinear form for
One can derive a Hirota bilinear form, namely the bilinear form in terms of Hirota D-operator, as
what follows from (18) by multiplying with , where we utilize the q-exponential identity (9). In order to obtain three-soliton solutions, we make use of finite perturbation expansion around a formal perturbation parameter ε, as
Substituting in (20)
Here is given by (19). We collect the coefficients of , . The coefficient of the first term vanishes trivially, while from the coefficient of , we have
which is a direct result of the property (5) of D operator, since is of even order. We need to seek for a solution for the equation (23).
Remark 4.1 The general tendency for soliton solutions is being of exponential type; however, such an exponential function does not satisfy the equation (23). Because of the nature of the q-numbers, the solution of the equation (23) should have a power function for the q-discrete space variable counterpart. Therefore, one may choose the starting solution of (23) as
where are arbitrary constants. Indeed, such an inevitable choice is a direct consequence of change of variable .
Hereafter, throughout the rest of the discussions, we give the following definition.
Definition 4.2 A solution possessing usual soliton behaviors and having power counterparts for q-discrete variables is called a q-soliton solution.
If we substitute (24) in (23), we derive the relation among the parameters
which is said to be dispersion relation. The coefficient of , resulting from (22), yields as
which implies explicitly
We note that since given in (24) satisfies the form (26), we are allowed to assume all higher order terms to be taken zero, i.e., , . Thus, hereafter as a generalization of this fact, one can assume in deriving i-q-soliton solution, for all . Without loss of generality, we may set ; and therefore, we construct one-q-soliton solution using (18) by the virtue of (24) and (25) as
For the two-q-soliton solutions, we choose the starting solution of (23) as
where , are arbitrary constants . Similarly, collecting the coefficients of , , the coefficient of vanishes trivially and from the coefficient of , we obtain the related dispersion relation
Here we remark that the use of vector notation
leads to rewrite dispersion relation (30) as , for all . Subsequently, the coefficient of implies
Thus, is of the form
Plugging such into (32), one can obtain the interaction term which determines the change of position resulting from the interaction of two-q-solitons as
Since , by the use of the dispersion relation (30) the coefficient of vanishes trivially, so do the rest of , . Thus, the solution describing a head collision of two-q-solitons (see Figure 1) is expressed as
One can derive the three-q-soliton solution, by choosing the starting solution of (23) as
where , are arbitrary constants . Similar to the previous arguments, the coefficient of vanishes trivially. From the coefficient of , we have the corresponding dispersion relation
while from the coefficient of , we obtain
where the summation is over all possible pairs of three elements such that . The equation (38) implies the explicit form of
where the interaction terms among three-q-soliton solutions are
Once we have and , using the coefficient of
which is equivalent to
we can deduce that is of the form
Substituting such in (41), yields as
On the other hand, if we consider the coefficient of , knowing the fact that , the perturbation equation (22) implies that
To be more precise, we have
The above expression is satisfied provided that
Since both expressions (43) and (44) for should be equivalent, this equivalence gives rise to the fact that given by (19) is not arbitrary but should satisfy Hirota condition (three-soliton solution condition) 
which can be written as
Here the multiplication is over all possible pairs of three elements such that . Therefore, since the parameters are restricted by the dispersion relations, the existence of a three-soliton solution is a constraint on P given by (45). Finally, the coefficients of for all vanish and the solution describing a head collision of three-q-solitons (see Figure 2) is expressed as
Remark 4.3 If , namely , , the differential-q-difference Toda equation (16) can be rewritten as
whose one-q-soliton solution turns out to be
Subsequently, one can rewrite solutions describing two-q-solitons (35) and three-q-solitons (46).
5 The q-difference-q-difference Toda equation
In this section, we first answer the question of how to q-discretize the continuous time, in the light of q-difference operator (12). In order to propose the q-difference-q-difference Toda equation, we reverse the procedure and introduce a proper Hirota bilinear form
which is a generalization of (19). Indeed, setting
one can verify that the expression (50) tends to as . Thus Hirota bilinear form (49) reduces to (19), from which we establish the q-difference-q-difference analogue of Toda equation. For convenience, we interchange by h in (49) and rewrite the Hirota bilinear form denoted by as
By the virtue of the q-exponential identity (9), we may set
equipped with and respectively. Here we remark that nonuniform step sizes q and for the variables τ and y are different. Thus, Hirota bilinear form (51) turns out to be
We divide (54) by and introduce the dependent variable transformation as
In order to construct the q-difference-q-difference analogue of Toda equation, we consider
from which one can encounter
On the other hand, if we consider
For the rest of the discussion, to construct the three-q-soliton solutions of the equation (58), we utilize alike tools. Inserting the finite perturbation expansion (20) in Hirota bilinear form (51) and collecting the coefficients of , , the first coefficient is identically zero while the power of implies that
Both space and time variables being q-discrete, by the Remark 4.1, it is possible to choose the starting solution of (59) as of the power form in both variables
where η, α are nonzero arbitrary constants and the related dispersion relation among the parameters is as follows:
Since all higher order perturbation parameters , vanish by the assumption for i-soliton solution, for all , we derive one-q-soliton solution using (55), (60) and (61) as
If we choose the starting solution of (59) as
where , are arbitrary nonzero constants for all , the coefficient of leads to the dispersion relation
and the solution describing collisions of two-q-solitons is determined as
what follows from the coefficient of allowing the form of as
where the phase shift among two-q-soliton solutions is expressed
by means of vector notation . Here the coefficient of vanishes for all , by the assumption and the dispersion relation (64) (see Figure 3).
For the three-q-soliton solution, choosing the starting solution of (59) as
where , are arbitrary nonzero constants for all , one can derive a similar dispersion relation from the coefficient of
and the form of
which results from the coefficient of . Here the interaction terms among the three-q-soliton solutions are
for and . The coefficient of leads to of the form
If the coefficient of is taken into account, since , one can obtain another expression for
which should be equivalent to the form expressed in (73) provided that the inevitable Hirota condition (45) is satisfied. Finally, the solution describing the three-q-solitons (see Figure 4) is expressed in the form of a polynomial in power functions
Remark 5.1 The q-difference-q-difference Toda equation (58) can be proposed in the form of
Here we remark that this form also exhibits the same dependent variable transformation (55). If
it is possible to rewrite (76)
whose solutions describing q-solitons (62), (65), (75) can be written by means of (77).
Remark 5.2 We present the graphs for differential-q-difference Toda equation and q-difference-q-difference Toda equation demonstrating two and three-q-soliton solutions respectively. We observe the solitonic behavior of the waves. Furthermore, being expressed as polynomials in power functions, we observe that the wave lengths of q-solitons increase as increases.
6 q-Hirota D-operator
In this section, we deal with a naturally arising question of q-differential version of Toda equation. In , the q-discrete version of two-dimensional Toda lattice equation, which is in a bilinear form reducing to two-dimensional Toda lattice equation as , is presented. The (τ functions) solutions are expressed in terms of Wronski determinant. Here, we present another q-discretized version of Toda equation in one dimension, the q-differential-q-difference Toda equation, and discuss the applicability of Hirota perturbation to produce its multi-soliton solutions. For that purpose, we first introduce the q-analogue of Hirota D-operator.
Definition 6.1 We define q-Hirota D-operator as
where , are arbitrary q-differentiable functions and .
Here is the q-derivative  acting as
We note that since as , q-Hirota D-operator in the limit . We present the properties of q-Hirota D-operator.
Proposition 6.2 Letbe a polynomial in, then
whereare q-differentiable functions.
Proof For simplicity, consider the monomial . By definition (79),
where is a classical binomial coefficient and is the i th q-derivative. As a consequence, setting , the property (81) results. □
We now propose the following equation:
which admits the Hirota bilinear form
Here we emphasize that Hirota bilinear form (83) reduces to the form (19) in the limit . Thus, we may suppose (82) as a q-differential-q-difference version of Toda equation. If we utilize the perturbation expansion (20) in (21) equipped with , stated in (83), and Proposition 6.2, we encounter from the coefficient of
One can determine that
is a solution of the equation (84), provided that
Hence we face the same dispersion relation given in (25). Here η, α are nonzero arbitrary constants and is Jackson’s q-exponential function ,
where , , for all and . From the coefficient of , we have
Clearly , given in (85), satisfies the equation (87) and thus we may assume ; as a consequence, we may assume for all higher order terms , . Indeed, we can choose a solution of (84) only of the form (85), which is discussed in the following remark.
Remark 6.3 If we choose the starting solution of (84) as
from the coefficient of , we obtain a relation for parameters
where , are nonzero arbitrary constants. From the coefficient of , we have similarly (86) which implies
Note that there are two possible cases for . If it is of the form , then we need the additive property of q-exponentials
which holds only if z, w are q-commuting variables, i.e., . In this case, this condition turns out to be , which implies immediately either () or (). In other words, one of the summands declines in (89).
If is of the form , then because of the product rule for q-derivative, the interaction term is not independent of t.
To be more precise, although the equation (82) can be put into Hirota bilinear form (83), in both cases Hirota perturbation fails to produce further solutions. Moreover, it is straightforward to conclude that for any q-differential-q-difference or q-differential-difference type of equation even if the equation has a Hirota bilinear form, it is not possible to derive multisoliton solutions by the use of Hirota Direct method.
Gardner CS, Greene JM, Kruskal MD, Miura RM: Method for solving the Korteweg-de Vries equation. Phys. Rev. Lett. 1967, 19: 1095–1097. 10.1103/PhysRevLett.19.1095
Wahlquist HD, Estabrook FB: Bäcklund transformation for solutions of the Korteweg-de Vries equation. Phys. Rev. Lett. 1973, 31: 1386–1390. 10.1103/PhysRevLett.31.1386
Hirota R: Exact solution of the Korteweg-de Vries equation for multiple collisions of solitons. Phys. Rev. Lett. 1971, 27: 1192–1194. 10.1103/PhysRevLett.27.1192
Hirota R: Exact solution of the modified Korteweg-de Vries equation for multiple collisions of solitons. J. Phys. Soc. Jpn. 1972, 33: 1456–1458. 10.1143/JPSJ.33.1456
Hirota R: Exact solution of the Sine-Gordon equation for multiple collisions of solitons. J. Phys. Soc. Jpn. 1972, 33: 1459–1463. 10.1143/JPSJ.33.1459
Hirota R: Exact envelope-soliton solutions of a nonlinear wave equation. J. Math. Phys. 1973, 14: 805–809. 10.1063/1.1666399
Grammaticos B, Ramani A, Hietarinta J: Multilinear operators: the natural extension of Hirota’s bilinear formalism. Phys. Lett. A 1994, 190: 65–70. 10.1016/0375-9601(94)90367-0
Hietarinta J: A search of bilinear equations passing Hirota’s three-soliton condition: I. KdV-type bilinear equations. J. Math. Phys. 1987, 28: 1732–1742. 10.1063/1.527815
Hietarinta J: Searching for integrable PDE’s by testing Hirota’s three-soliton condition. In Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, ISSAC’91. Edited by: Watt SM. ACM, New York; 1991:295–300.
Gürses M, Pekcan A: 2+1 KdV(N) equations. J. Math. Phys. 2011., 52: Article ID 083516
Sato M: Soliton equations as dynamical systems on infinite dimensional Grassmann manifolds. RIMS Kokyuroku 1981, 439: 30–46.
Hirota R, Ohta Y, Satsuma J: Wronskian structures of solutions for soliton equations. Prog. Theor. Phys. Suppl. 1988, 94: 59–72.
Błaszak M, Gürses M, Silindir B, Szablikowski BM:Integrable discrete systems on and related dispersionless systems. J. Math. Phys. 2008., 49: Article ID 072702
Hirota R: Exact N-soliton solution of a nonlinear lumped network equation. J. Phys. Soc. Jpn. 1973, 35: 286–288. 10.1143/JPSJ.35.286
Hirota R: Nonlinear partial difference equations. II. Discrete-time Toda equation. J. Phys. Soc. Jpn. 1977, 43: 2074–2078. 10.1143/JPSJ.43.2074
Hietarinta J: Introduction to the Hirota bilinear method. Springer Lecture Notes in Physics 495. In Integrability of Nonlinear Systems. Edited by: Kosman-Schwarzbach Y, Grammaticos B, Tamizhmani KM. Springer, Berlin; 1997:95–103.
Morikazu T: Vibration of a chain with nonlinear interaction. J. Phys. Soc. Jpn. 1967, 22: 431–436. 10.1143/JPSJ.22.431
Hirota R: The Direct Method in Soliton Theory. Cambridge University Press, Cambridge; 2004.
Kajiwara K, Satsuma J: q -difference version of two-dimensional Toda Lattice equation. J. Phys. Soc. Jpn. 1991, 60: 3986–3989. 10.1143/JPSJ.60.3986
Jackson FH: On q -functions and a certain difference operator. Trans. R. Soc. Edinb. 1908, 46: 253–281.
Jackson FH: A basic-sine and cosine with symbolical solution of certain differential equations. Proc. Edinb. Math. Soc. 1904, 22: 28–39.
Schützenberger MP:Une interprétation de certaines solutions de l’équation fonctionnelle: . C. R. Acad. Sci. Paris 1953, 236: 352–353.
The author would like to thank Prof. Maciej Błaszak for his valuable comments.
The author declares that she has no competing interests.