- Research
- Open Access
- Published:

# Soliton solutions of *q*-Toda lattice by Hirota direct method

*Advances in Difference Equations*
**volume 2012**, Article number: 121 (2012)

## Abstract

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.

## 1 Introduction

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 [1], Bäcklund transformation [2], Hirota direct method and several dressing methods. Among these methods, Hirota direct method, introduced in the pioneering article [3], 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 [7]. 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 [13], a general framework of integrable discrete systems on $\mathbb{R}$ is introduced by the virtue of discrete one-parameter group of diffeomorphisms. These diffeomorphisms are expressed by infinitesimal generators $\chi (x){\partial}_{x}$, where in particular, $\chi =1$ corresponds to Toda lattice while $\chi =x$ subtends to *q*-deformed Toda lattice. It is concluded that all discrete systems determined by different vector fields $\chi (x){\partial}_{x}$ are not globally equivalent, moreover *q*-difference systems on ${\mathbb{R}}^{-}$ are not isomorphic to lattice systems on $\mathbb{R}$.

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 [14] or discrete-time Toda equation [15], 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 $F[u]$. 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 $f:{\mathbb{C}}^{n}\to \mathbb{C}$. The Hirota *D*-operator $D:S\times S\to S$ is defined as

where $x,t,\dots $ are independent variables and ${m}_{i}\in {\mathbb{Z}}^{+}$, $\mathrm{\forall}i\u2a7e1$.

The core of the method is to construct the so-called Hirota bilinear form, which is a compact form of the bilinear form of $F[u]$, 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 $f(x,t,\dots )$ 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) [16].

**Proposition 2.2** *Let* $P(D)$*be an arbitrary polynomial in* *D* *acting on two differentiable functions*$f(x,t,\dots )$*and*$g(x,t,\dots )$, *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 $f,g$ 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 [13]. Let $\sigma :\mathbb{R}\to \mathbb{R}$ and $\rho :\mathbb{R}\to \mathbb{R}$ be the *forward* and *backward jump operators*, respectively. Here, in $m\in {\mathbb{Z}}^{+}$ forward steps, $x\in \mathbb{R}$ is mapped to ${\sigma}_{m}(x)$, where ${\sigma}_{m}$ is the *m*-times composition of *σ*, and in *m* backward steps *x* is mapped to ${\rho}_{m}(x)$. If there exist inverse maps ${\sigma}^{-1}$ and ${\rho}^{-1}$, such that $\sigma (x)={\rho}^{-1}(x)$ and $\rho (x)={\sigma}^{-1}(x)$ for all $x\in \mathbb{R}$, then bijective *σ* defines a discrete one-parameter group of bijections on $\mathbb{R}$: $\mathbb{Z}\ni m\to \{{\sigma}_{m}:\mathbb{R}\to \mathbb{R}\}$, where ${\sigma}_{0}\equiv {\mathrm{id}}_{\mathbb{R}}$. 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 $\mathbb{R}\ni t\mapsto {\sigma}_{t}$. By Taylor expansion of ${\sigma}_{t}$ around $t=0$,

it is clear that one-parameter group of diffeomorphism is generated by a vector field (the so-called *infinitesimal generator*), denoted by $\mathcal{X}(x){\partial}_{x}$, *i.e.*, ${\sigma}_{t}(x)=x+t\cdot \mathcal{X}(x)+O({t}^{2})$, where $\mathcal{X}(x)$ is smooth on $\mathbb{R}$ 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 $u(x)$ is a smooth function and $h>0$ is some deformation parameter. If we consider the vector fields of the form $\chi (x){\partial}_{x}={x}^{1-n}{\partial}_{x}$ on $\mathbb{R}$, for $n=0$, we have

which corresponds to the *q*-difference type of discussions. For $n=1$, we deal with the case of lattice type

All discrete systems defined by different vector fields $\chi (x){\partial}_{x}$ are not globally equivalent. However, it is possible to find a local transformation relating these vector fields. If we consider $\chi (x)={x}^{1-n}$ where *n* ($n\ne 0$) is odd, and ${\chi}^{\prime}({x}^{\prime})=1$, there exists a bijection ${x}^{\prime}=\frac{1}{n}{x}^{n}$ on $\mathbb{R}-\{0\}$. Therefore all discrete systems generated by $\chi (x){\partial}_{x}={x}^{1-n}{\partial}_{x}$ (*n* is odd), can be reduced to the original lattice Toda-type systems with $x\ne 0$. However, if we consider $\chi (x)=x$ (*q*-discrete case) and ${\chi}^{\prime}({x}^{\prime})=1$, we have $x={e}^{{x}^{\prime}}$ which is not a bijection provided that $x\notin {\mathbb{R}}^{+}$(see [13] for more precise details).

As a result, *q*-difference systems on ${\mathbb{R}}^{-}$, determined by *q*-shift operators ${E}_{q}:={e}^{hx{\partial}_{x}}$ are not isomorphic to lattice systems on $\mathbb{R}$. 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*$f(x)$, $g(x)$, *the* *q*-*exponential identity*

*holds where we have the usual relation between two quantum parameters* *h* *and* *q* *as*$q={e}^{h}$. *Here*${E}_{q}$*and*${E}_{q}^{-1}$*are* *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 ${D}_{x}$ 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 $x{D}_{x}={D}_{{x}^{\prime}}$ which implies $x={e}^{{x}^{\prime}}$ by integration with respect to *x*. Here integration constant is ignored since it would be embedded while the operator ${D}_{x}$ 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 ${\mathrm{\Delta}}_{x}^{2}$ operating on an arbitrary function $f(x)$, $x\in \mathbb{R}$, as

Note that throughout the forthcoming framework, we may suppose $q>1$. One can rewrite (12), by using the *q*-forward and backward jump operators (10) as

## 4 The differential-*q*-difference Toda equation

Toda equation [17] 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 $f(x,t)$

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 $2{f}^{2}(x,t)$, 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)

we have

Here $P(D)$ is given by (19). We collect the coefficients of ${\epsilon}^{i}$, $\mathrm{\forall}i\u2a7e0$. The coefficient of the first term ${\epsilon}^{0}$ vanishes trivially, while from the coefficient of ${\epsilon}^{1}$, we have

which is a direct result of the property (5) of *D* operator, since $P(D)$ 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 ${f}^{(1)}$ 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 $\alpha ,\eta $ are arbitrary constants. Indeed, such an inevitable choice is a direct consequence of change of variable ${\partial}_{y}=x{\partial}_{x}$.

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 ${\epsilon}^{2}$, resulting from (22), yields as

which implies explicitly

We note that since ${f}^{(1)}$ given in (24) satisfies the form (26), we are allowed to assume all higher order terms to be taken zero, *i.e.*, ${f}^{(j)}=0$, $j\u2a7e2$. Thus, hereafter as a generalization of this fact, one can assume in deriving *i*-*q*-soliton solution, ${f}^{(j)}=0$ for all $j\u2a7ei+1$. Without loss of generality, we may set $\epsilon =1$; 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 ${\alpha}_{i}$, ${\eta}_{i}$ are arbitrary constants $\mathrm{\forall}i=1,2$. Similarly, collecting the coefficients of ${\epsilon}^{i}$, $\mathrm{\forall}i\u2a7e0$, the coefficient of ${\epsilon}^{0}$ vanishes trivially and from the coefficient of ${\epsilon}^{1}$, we obtain the related dispersion relation

Here we remark that the use of vector notation

leads to rewrite dispersion relation (30) as $P(pi)=0$, for all $i=1,2$. Subsequently, the coefficient of ${\epsilon}^{2}$ implies

Thus, ${f}^{(2)}$ is of the form

Plugging such ${f}^{(2)}$ into (32), one can obtain the interaction term which determines the change of position resulting from the interaction of two-*q*-solitons as

Since ${f}^{(3)}=0$, by the use of the dispersion relation (30) the coefficient of ${\epsilon}^{3}$ vanishes trivially, so do the rest of ${\epsilon}^{j}$, $\mathrm{\forall}j>3$. 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 ${\alpha}_{i}$, ${\eta}_{i}$ are arbitrary constants $\mathrm{\forall}i=1,2,3$. Similar to the previous arguments, the coefficient of ${\epsilon}^{0}$ vanishes trivially. From the coefficient of ${\epsilon}^{1}$, we have the corresponding dispersion relation

while from the coefficient of ${\epsilon}^{2}$, we obtain

where the summation is over all possible pairs of three elements such that $i<j$. The equation (38) implies the explicit form of ${f}^{(2)}$

where the interaction terms among three-*q*-soliton solutions are

Once we have ${f}^{(1)}$ and ${f}^{(2)}$, using the coefficient of ${\epsilon}^{3}$

which is equivalent to

where

we can deduce that ${f}^{(3)}$ is of the form

Substituting such ${f}^{(3)}$ in (41), $A(1,2,3)$ yields as

On the other hand, if we consider the coefficient of ${\epsilon}^{4}$, knowing the fact that ${f}^{(4)}=0$, 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 $A(1,2,3)$ should be equivalent, this equivalence gives rise to the fact that $P(D)$ given by (19) is not arbitrary but should satisfy Hirota condition (three-soliton solution condition) [18]

which can be written as

Here the multiplication is over all possible pairs of three elements such that $i<j$. 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 ${\epsilon}^{j}$ for all $j\u2a7e5$ vanish and the solution describing a head collision of three-*q*-solitons (see Figure 2) is expressed as

**Remark 4.3** If $x\in {q}^{\mathbb{Z}}$, namely $x={q}^{n}$, $n\in \mathbb{Z}$, 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 $\tau =exp(ht)$

one can verify that the expression (50) tends to ${D}_{t}^{2}$ as $h\to 0$. 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 ${h}^{2}$ by *h* in (49) and rewrite the Hirota bilinear form denoted by $P(D)$ as

By the virtue of the *q*-exponential identity (9), we may set

equipped with ${e}^{h}=q$ and ${e}^{{h}^{\prime}}={q}^{\prime}$ respectively. Here we remark that nonuniform step sizes *q* and ${q}^{\prime}$ for the variables *τ* and *y* are different. Thus, Hirota bilinear form (51) turns out to be

We divide (54) by $2{f}^{2}(\tau ,y)$ 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

The equations (56) and (57) give rise to the desired *q*-difference-*q*-difference Toda equation

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 ${\epsilon}^{i}$, $\mathrm{\forall}i\u2a7e0$, the first coefficient is identically zero while the power of ${\epsilon}^{1}$ 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 ${\epsilon}^{i}$, $i\u2a7e2$ vanish by the assumption for *i*-soliton solution, ${f}^{(j)}=0$ for all $j\u2a7ei+1$, we derive one-*q*-soliton solution using (55), (60) and (61) as

If we choose the starting solution of (59) as

where ${\eta}_{i}$, ${\alpha}_{i}$ are arbitrary nonzero constants for all $i=1,2$, the coefficient of ${\epsilon}^{1}$ leads to the dispersion relation

and the solution describing collisions of two-*q*-solitons is determined as

what follows from the coefficient of ${\epsilon}^{2}$ allowing the form of ${f}^{(2)}$ as

where the phase shift $A(1,2)$ among two-*q*-soliton solutions is expressed

by means of vector notation ${p}_{1}\pm {p}_{2}=({\alpha}_{1}\pm {\alpha}_{2},{\beta}_{1}\pm {\beta}_{2},{\eta}_{1}\pm {\eta}_{2})$. Here the coefficient of ${\epsilon}^{j}$ vanishes for all $j>3$, by the assumption ${f}^{(3)}=0$ and the dispersion relation (64) (see Figure 3).

For the three-*q*-soliton solution, choosing the starting solution of (59) as

where ${\eta}_{i}$, ${\alpha}_{i}$ are arbitrary nonzero constants for all $i=1,2,3$, one can derive a similar dispersion relation from the coefficient of ${\epsilon}^{1}$

and the form of ${f}^{(2)}$

which results from the coefficient of ${\epsilon}^{2}$. Here the interaction terms among the three-*q*-soliton solutions are

for $i<j$ and $i,j=1,2,3$. The coefficient of ${\epsilon}^{3}$ leads to ${f}^{(3)}$ of the form

where

If the coefficient of ${\epsilon}^{4}$ is taken into account, since ${f}^{(4)}=0$, one can obtain another expression for $A(1,2,3)$

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 $|x|$ increases.

## 6 *q*-Hirota D-operator

In this section, we deal with a naturally arising question of *q*-differential version of Toda equation. In [19], the *q*-discrete version of two-dimensional Toda lattice equation, which is in a bilinear form reducing to two-dimensional Toda lattice equation as ${q}_{1},{q}_{2}\to 1$, 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 $f(x)$, $g(x)$ are arbitrary *q*-differentiable functions and $m\in {\mathbb{Z}}^{+}$.

Here ${\partial}_{q,x}$ is the *q*-derivative [20] acting as

We note that since ${\partial}_{q,x}\to {\partial}_{x}$ as $q\to 1$, *q*-Hirota *D*-operator ${D}_{q,x}\to {D}_{x}$ in the limit $q\to 1$. We present the properties of *q*-Hirota *D*-operator.

**Proposition 6.2** *Let*$P({D}_{q})$*be a polynomial in*${D}_{q,x}$, *then*

*where*$f,g$*are* *q*-*differentiable functions*.

*Proof* For simplicity, consider the monomial $P({D}_{q})={D}_{q,x}^{m}$. By definition (79),

where $\left(\genfrac{}{}{0ex}{}{m}{k}\right)$ is a classical binomial coefficient and ${\partial}_{q,x}^{i}$ is the *i* th *q*-derivative. As a consequence, setting $g(x)=1$, 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 $q\to 1$. 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 $P(D)$, stated in (83), and Proposition 6.2, we encounter from the coefficient of ${\epsilon}^{1}$

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 ${e}_{q}^{t}$ is Jackson’s *q*-exponential function [21],

where $[n]=1+q+{q}^{2}+\cdots +{q}^{n-1}$, $[n]!=[n]\cdot [n-1]\cdots [1]$, for all $n\u2a7e1$ and $[0]!=1$. From the coefficient of ${\epsilon}^{2}$, we have

which yields

Clearly ${f}^{(1)}$, given in (85), satisfies the equation (87) and thus we may assume ${f}^{(2)}=0$; as a consequence, we may assume for all higher order terms ${f}^{(j)}=0$, $j\u2a7e2$. 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 ${\epsilon}^{1}$, we obtain a relation for parameters

where ${\eta}_{i}$, ${\alpha}_{i}$ are nonzero arbitrary constants. From the coefficient of ${\epsilon}^{2}$, we have similarly (86) which implies

Note that there are two possible cases for ${f}^{(2)}$. If it is of the form ${f}^{(2)}=A(1,2){x}^{{\alpha}_{1}+{\alpha}_{2}}{e}_{q}^{{\beta}_{1}t+{\beta}_{2}t}$, then we need the *additive property of* *q-exponentials*[22]

which holds only if *z*, *w* are *q*-commuting variables, *i.e.*, $wz=qzw$. In this case, this condition turns out to be ${\beta}_{1}{\beta}_{2}{t}^{2}=q{\beta}_{1}{\beta}_{2}{t}^{2}$, which implies immediately either ${\beta}_{1}=0$ (${\alpha}_{1}=0$) or ${\beta}_{2}=0$ (${\alpha}_{2}=0$). In other words, one of the summands declines in (89).

If ${f}^{(2)}$ is of the form $A(1,2){x}^{{\alpha}_{1}+{\alpha}_{2}}{e}_{q}^{{\beta}_{1}t}{e}_{q}^{{\beta}_{2}t}$, then because of the product rule ${\partial}_{q}(a(t)b(t))=a(t){\partial}_{q}b(t)+b(qt){\partial}_{q}a(t)$ for *q*-derivative, the interaction term $A(1,2)$ 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.

## References

- 1.
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 - 2.
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 - 3.
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 - 4.
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 - 5.
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 - 6.
Hirota R: Exact envelope-soliton solutions of a nonlinear wave equation.

*J. Math. Phys.*1973, 14: 805–809. 10.1063/1.1666399 - 7.
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 - 8.
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 - 9.
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. - 10.
Gürses M, Pekcan A: 2+1 KdV(N) equations.

*J. Math. Phys.*2011., 52: Article ID 083516 - 11.
Sato M: Soliton equations as dynamical systems on infinite dimensional Grassmann manifolds.

*RIMS Kokyuroku*1981, 439: 30–46. - 12.
Hirota R, Ohta Y, Satsuma J: Wronskian structures of solutions for soliton equations.

*Prog. Theor. Phys. Suppl.*1988, 94: 59–72. - 13.
Błaszak M, Gürses M, Silindir B, Szablikowski BM:Integrable discrete systems on $\mathbb{R}$ and related dispersionless systems.

*J. Math. Phys.*2008., 49: Article ID 072702 - 14.
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 - 15.
Hirota R: Nonlinear partial difference equations. II. Discrete-time Toda equation.

*J. Phys. Soc. Jpn.*1977, 43: 2074–2078. 10.1143/JPSJ.43.2074 - 16.
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. - 17.
Morikazu T: Vibration of a chain with nonlinear interaction.

*J. Phys. Soc. Jpn.*1967, 22: 431–436. 10.1143/JPSJ.22.431 - 18.
Hirota R:

*The Direct Method in Soliton Theory*. Cambridge University Press, Cambridge; 2004. - 19.
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 - 20.
Jackson FH: On

*q*-functions and a certain difference operator.*Trans. R. Soc. Edinb.*1908, 46: 253–281. - 21.
Jackson FH: A basic-sine and cosine with symbolical solution of certain differential equations.

*Proc. Edinb. Math. Soc.*1904, 22: 28–39. - 22.
Schützenberger MP:Une interprétation de certaines solutions de l’équation fonctionnelle: $F(x+y)=F(x)F(y)$.

*C. R. Acad. Sci. Paris*1953, 236: 352–353.

## Acknowledgement

The author would like to thank Prof. Maciej Błaszak for his valuable comments.

## Author information

## Additional information

### Competing interests

The author declares that she has no competing interests.

## Authors’ original submitted files for images

Below are the links to the authors’ original submitted files for images.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

#### Received

#### Accepted

#### Published

#### DOI

### Keywords

- Hirota direct method
*q*-Toda lattice*q*-soliton solutions*q*-exponential identity*q*-Hirota*D*-operator