Skip to main content

Theory and Modern Applications

On one-soliton solutions of the Q2 equation in the ABS list

Abstract

In this paper, we derive seed and 1-soliton solutions of the Q2 equation in the Adler–Bobenko–Suris list. The seed solutions of Q2 are obtained using those of \(\mbox{Q}1(\delta)\) and an non-auto Bäcklund transformation connecting them. Then using an auto Bäcklund transformation, two types of Q2 one-soliton solutions are obtained based on its seed solutions. These obtained solutions are new and cannot be derived as degenerations from any known soliton solutions.

1 Introduction

Integrable systems involve the study of physically relevant nonlinear equations, which includes many families of well-known, highly important partial and ordinary differential equations. Over the past two decades, research in discrete integrable systems has undergone a truly remarkable development (see for instance the monograph [1]). One of the key achievements was the introduction of multi-dimensional consistency [2,3,4] as a defining criterion for discrete integrability, which can be seen as the discrete analog of the compatible hierarchies in continuous integrable theory. It turns out that quad-equations, two-dimensional lattice equations defined on square lattices, are said to be integrable, if they are three-dimensional consistent, geometrically meaning that the equations can be consistently embedded around a cube (CAC). This led, up to few other assumptions, to the classification of integrable affine linear quad-equations [5], known as the Adler–Bobenko–Suris (ABS) list. The list contains 9 equations, named Q4, \(\mbox{Q}3(\delta)\), Q2, \(\mbox{Q}1(\delta)\), A2, \(\mbox{A}1(\delta)\), \(\mbox{H}3(\delta)\), H2 and H1. Most of these equations were known or related to known equations. For example, Q4 is a fully discretized version of the famous Krichever–Novikov equation [6, 7], \(\mbox{Q}3(\delta)\) is related to the Nijhoff–Quispel–Capel equation [8, 9], \(\mbox{Q}1(0)\), \(\mbox{H}3(0)\) and H1 are, respectively, the lattice Schwarzian Korteweg–de Vries (KdV) equation, the lattice potential modified KdV equation and the lattice potential KdV equation [10].

Amongst the equations in the ABS list, Q2 is somewhat mysterious. It was unknown before the ABS classification; so far its solutions have only been obtained either as degeneration of \(\mbox{Q}3(\delta)\) [9, 11,12,13] or from solutions of \(\mbox{Q}1(\delta)\) using appropriate transformations [14]. Partly due to its complexity, one rarely finds solution results obtained directly from the equation itself. The Q2 equation reads

$$ p(u-\widehat{u}) (\widetilde{u}-\widehat{\widetilde{u}})-q(u-\widetilde{u}) (\widehat{u}-\widehat{\widetilde{u}}) =pq(q-p) \bigl(u+\widetilde{u}+ \widehat{u}+\widehat{\widetilde{u}}-p^{2}+ pq-q^{2}\bigr), $$
(1.1)

where \(\widetilde{~~}\) and \(\widehat{~~~}\) serve as shifts in a \(\mathbb {Z}^{2}\) lattice, i.e.,

$$ u\equiv u_{n,m}, \qquad \widetilde{u}\equiv u_{n+1,m},\qquad \widehat{u}\equiv u_{n,m+1},\qquad \widehat{\widetilde{u}}\equiv u_{n+1,m+1}, $$

and p, q are the lattice parameters associated with n, m respectively. See Fig. 1(a).

Figure 1
figure 1

(a) Lattice on \((n,m)\) plane. (b) Consistent cube

Due to the CAC property, the lattice equation admits the following copies:

$$\begin{aligned}& p(u-\overline{u}) (\widetilde{u}-\widetilde{\overline{u}})-k(u-\widetilde{u}) (\overline{u}-\widetilde{\overline{u}}) =pk(k-p) \bigl(u+\widetilde{u}+ \overline{u}+\widetilde{\overline{u}}-p^{2}+ pk-k^{2}\bigr), \end{aligned}$$
(1.2a)
$$\begin{aligned}& k(u-\widehat{u}) (\overline{u}-{\widehat{\overline{u}}})-q(u-\overline{u}) (\widehat{u}- {\widehat{\overline{u}}}) =kq(q-k) \bigl(u+\overline{u}+ \widehat{u}+{\widehat{\overline{u}}}-k^{2}+ kq-q^{2}\bigr). \end{aligned}$$
(1.2b)

Here \(\bar{~~}\) denotes shifts in the third direction associated with the lattice parameter k (see Fig. 1(b)). The above equations also define an auto Bäcklund transformation (BT) of Q2 [5], namely, given u as a solution, solves Q2 as well provided that u and are connected through (1.2a)–(1.2b). In the auto BT approach, u is commonly known as a seed solution, while ū as a new solution generated from u.

One particular aim of this paper is to derive one-soliton solutions (1SSs) of Q2 by means of the auto BT (1.2a)–(1.2b). This requires knowledge of its seed solutions, which have not been well understood either in the literature. For instance the fixed-point method [15] only provides a solution of Q2 that is a special case of a more general solution (see Sect. 2.3). Our approach to obtaining Q2’s seed solutions is based on an non-auto BT between \(\mbox{Q}1(\delta)\) and Q2 [16]. There exist two different types of (seed) solutions of \(\mbox{Q}1(\delta)\) such as the exponential type cf. [15] and the rational type [15, 17]. These solutions allow one to derive exponential and rational types of seed solutions of Q2, and in turn, lead to different 1SSs of Q2. Note that although the idea of this paper is clear, the “integration” of the BT (1.2a)–(1.2b) to get 1SS is highly nontrivial. We also note that the solutions of Q2 we obtain here are essentially new, as they cannot be reduced as reductions of known results.

The paper is organized as follows. We will first make use of known solutions of \(\mbox{Q}1(\delta)\) and the non-auto BT between \(\mbox{Q}1(\delta)\) and Q2 to derive seed solutions for Q2. Fixed point idea will also be discussed. These will be done in Sect. 2. Then in Sect. 3 we derive three 1SSs for Q2 from different seed solutions. Section 4 serves for conclusions.

2 Seed solutions

We derive seed solutions of Q2 from those of \(\mbox{Q}1(\delta)\). The \(\mbox{Q}1(\delta)\) equation reads [5]

$$ p(w-\widehat{w}) (\widetilde{w}-\widehat{\widetilde{w}})-q(w-\widetilde{w}) (\widehat{w}-\widehat{\widetilde{w}}) =\delta^{2}pq(q-p) , $$
(2.1)

and is connected to Q2 by the following non-auto BT (Miura transformation) [16]:

$$\begin{aligned} &\delta(w-\widetilde{w}) (u-\widetilde{u})=-p\bigl(\delta^{2}u+\delta ^{2}\widetilde{u}-2w \widetilde{w}\bigr) +\delta p^{2}(w + \widetilde{w}+p), \end{aligned}$$
(2.2a)
$$\begin{aligned} &\delta(w-\widehat{w}) (u-\widehat{u})=-q\bigl(\delta^{2}u+ \delta^{2}\widehat{u}-2w \widehat{w}\bigr) +\delta q^{2}(w + \widehat{w}+q) . \end{aligned}$$
(2.2b)

2.1 Exponential case

\(\mbox{Q}1(1)\) has an exponential-type solution, cf. [15]

$$ w^{0SS}_{n,m}=\frac{1}{2}\bigl(A \alpha^{n} \beta^{m} +A^{-1}\alpha ^{-n}\beta^{-m} \bigr), $$
(2.3)

where A is an arbitrary non-zero constant, and α, β are connected to p, q through

$$ p=\frac{(1-\alpha)^{2}}{2\alpha},\qquad q=\frac{(1-\beta)^{2}}{2\beta}. $$
(2.4)

Inserting \(w^{0SS}_{n,m}\) into (2.2a)–(2.2b) with \(\delta=1\) and extracting out the common factors, the BT (2.2a)–(2.2b) are reduced to

$$\begin{aligned}& Z_{n,m}u-Z_{n+1,m}\widetilde{u}= \frac{1-\alpha}{2}\bigl(A \alpha^{n} \beta^{m} +A^{-1}\alpha^{-n} \beta^{-m}\bigr) +Z_{n,m}-Z_{n+1,m}-P, \\& Z_{n,m}u-Z_{n,m+1}\widehat{u}= \frac{1-\beta}{2}\bigl(A \alpha^{n} \beta^{m} +A^{-1}\alpha^{-n} \beta^{-m}\bigr) +Z_{n,m}-Z_{n,m+1}-Q, \end{aligned}$$

where

$$ \begin{aligned} &Z_{n,m}=\frac{A \alpha^{n} \beta^{m}-1}{A \alpha^{n} \beta^{m}+1},\qquad P=\frac{(\alpha^{2} -1)(\alpha^{2}-4\alpha+1)}{4\alpha^{2}}, \\ &Q=\frac{(\beta^{2} -1)(\beta^{2}-4\beta+1)}{4\beta^{2}}. \end{aligned} $$
(2.5)

By integrating the above two equations w.r.t. n and m, respectively, one gets

$$\begin{aligned}& Z_{0,m}u_{0,m}-Z_{n,m}{u}_{n,m} \\& \quad = \frac{1}{2}\bigl(-A \alpha^{n} \beta^{m} +A^{-1}\alpha^{-n}\beta^{-m}\bigr) + \frac{1}{2}\bigl(A \beta^{m} -A^{-1}\beta^{-m} \bigr) +Z_{0,m}-Z_{n,m}- Pn, \\& Z_{n,0}u_{n,0}-Z_{n,m}{u}_{n,m} \\& \quad = \frac{1}{2}\bigl(-A \alpha^{n} \beta^{m} +A^{-1}\alpha^{-n}\beta^{-m}\bigr) + \frac{1}{2}\bigl(A \alpha^{n} -A^{-1} \alpha^{-n}\bigr) +Z_{n,0}-Z_{n,m}-Qm. \end{aligned}$$

Then a combination of them yields a solution of Q2

$$ u_{n,m}^{0SS}=\frac{1}{2}\bigl(A \alpha^{n} \beta^{m} +A^{-1}\alpha ^{-n}\beta^{-m}+4 \bigr) +Z_{n,m}^{-1}(Pn+Qm+r), $$
(2.6)

where r is another constant.

2.2 Rational case

Again based on the BT (2.2a)–(2.2b), solutions of Q2 can be derived using rational solutions of \(\mbox{Q}1(\delta)\). For simplicity, we only consider the two lowest order rational solutions of \(\mbox{Q}1(\delta)\) [17]. Higher order rational solutions can in theory be used, but with more complications. Introduce a linear function

$$ x_{i}=a^{i}n+b^{i}m+ \zeta_{i}, $$
(2.7)

where

$$ p=a^{2},\qquad q=b^{2} $$
(2.8)

and \(\zeta_{i}\) is a constant. One imposes the following relation between u and w:

$$ u=y+\frac{w^{2}}{\delta^{2}}, $$
(2.9)

where δ is a parameter and y is to be determined. It follows from the BT (2.2a)–(2.2b) that

$$\begin{aligned} & \widetilde{y}=\frac{\widetilde{w}-w-\delta p}{\widetilde{w}-w+\delta p}y+\frac{1}{\delta ^{2}}(w+\delta p-\widetilde{w}) (w+\delta p+ \widetilde{w}), \end{aligned}$$
(2.10a)
$$\begin{aligned} & \widehat{y}=\frac{\widehat{w}-w-\delta q}{\widehat{w}-w+\delta q}y+\frac{1}{\delta ^{2}}(w+\delta q-\widehat{w}) (w+\delta q+ \widehat{w}). \end{aligned}$$
(2.10b)

Submitting a \(\mbox{Q}1(\delta)\) solutionFootnote 1 [17] \(w=\delta(x_{1}^{2}+ c_{0}) \) (\(c_{0}\) is a constant) into (2.10a)–(2.10b) yields

$$ \widetilde{y}=\frac{x_{1}}{\widetilde{x}_{1}}y-4ax_{1}\bigl(x_{1} \widetilde{x}_{1}+a^{2}+c_{0}\bigr),\qquad \widehat{y}= \frac {x_{1}}{\widehat{x}_{1}}y-4bx_{1}\bigl(x_{1}\hat{x}_{1}+b^{2}+c_{0} \bigr). $$

Introducing a new variable \(z=yx_{1}\), then the above system can be reduced to

$$ \widetilde{z}=z-4ax_{1}\tilde{x}_{1}\bigl(x_{1} \widetilde{x}_{1}+a^{2}+c_{0}\bigr),\qquad \widehat{z}=z-4bx_{1}\widehat{x}_{1}\bigl(x_{1} \widehat{x}_{1}+b^{2}+c_{0}\bigr), $$

which can be integrated

$$ z=-\frac{4}{5}x_{1}^{5}- \frac{4}{3}c_{0}x_{1}^{3}+ \frac {4}{3}c_{0}x_{3}+\frac{4}{5}x_{5}. $$
(2.11)

As a result, one obtains a rational solution of Q2 via (2.9)

$$ u= \frac{1}{5}x_{1}^{4}+\frac{2}{3}c_{0}x_{1}^{2}+ \frac{4c_{0}x_{3}}{3x_{1}}+\frac {4x_{5}}{5x_{1}}+c_{0}^{2}. $$
(2.12)

Using another rational solution of \(\mbox{Q}1(\delta)\) [17]

$$ w=\frac{x_{1}^{3}-x_{3}}{3}-\delta^{2}x_{1}, $$
(2.13)

then y satisfies

$$\begin{aligned}& \widetilde{y}=\frac{(x_{1}-\delta)(\widetilde{x}_{1}+\delta)}{(x_{1}+\delta)(\widetilde{x}_{1}-\delta)}y-\frac{a}{\delta^{2}}(x_{1}-\delta) ( \widetilde{x}_{1}+\delta) \bigl({w+\widetilde{w}}+\delta a^{2}\bigr), \\& \widetilde{y}=\frac{(x_{1}-\delta)(\widehat{x}_{1}+\delta)}{(x_{1}+\delta)(\widehat{x}_{1}-\delta)}y-\frac{b}{\delta^{2}}(x_{1}-\delta) ( \widehat{x}_{1}+\delta) \bigl({w+\widehat{w}}+\delta b^{2}\bigr), \end{aligned}$$

which can be integrated by introducing \(z=\frac{x_{1}-\delta }{x_{1}+\delta}y\). The equation for z reads

$$\begin{aligned}& \widetilde{z}=z-\frac{a}{\delta^{2}}(x_{1}-\delta) (\widetilde{x}_{1}- \delta) \bigl(w+\widetilde{w}+\delta a^{2}\bigr), \\& \widehat{z}=z- \frac{b}{\delta^{2}}(x_{1}-\delta) (\widehat{x}_{1}-\delta) \bigl(w+\widehat{w}+\delta b^{2}\bigr), \end{aligned}$$

which leads to

$$\begin{aligned} z =&-\frac{1}{9\delta^{2}}x_{1}^{6}+\frac{4}{15\delta}x_{1}^{5}+ \frac {1}{3}x_{1}^{4}+\frac{2}{9\delta^{2}}x_{1}^{3}x_{3} -\frac{4\delta}{3}x_{1}^{3}-\frac{2}{3\delta}x_{1}^{2}x_{3} \\ &{}+ \delta ^{2}x_{1}^{2}+\frac{2}{3}x_{1}x_{3} -\frac{1}{9\delta^{2}}x_{3}^{2}-\frac{2\delta}{3}x_{3}+ \frac{2}{5\delta }x_{5}. \end{aligned}$$
(2.14)

Therefore, we obtain a second rational solution of Q2 via (2.9)

$$ \begin{aligned}[b] u&=\frac{1}{45\delta(x_{1}-\delta)} \bigl[30 \bigl(x_{1}^{3}-x_{3}\bigr)\delta ^{3}-15 \bigl(x_{1}^{4}+2x_{1}x_{3}\bigr) \delta^{2} \\ &\quad {}+3\bigl(-x_{1}^{5}+10x_{1}^{2}x_{3}+6x_{5} \bigr)\delta +2x_{1}^{6}+18x_{1}x_{5}-10x_{3}^{2}-10x_{1}^{3}x_{3} \bigr]. \end{aligned} $$
(2.15)

Both (2.12) and (2.15) go to infinity when \(n,m \to\pm \infty\), which is depicted in Fig. 2.

Figure 2
figure 2

Background solutions of rational type. (a) Solution (2.12), (b) solution (2.15); where \(a=0.5\), \(b=0.5\), \(c_{0}=2\), \(\zeta_{1}= \zeta_{3}= \zeta_{5}=1\), \(\delta=1\), \(m\in[-40,40]\), waves in red, blue and black stand for \(n=-5, 0, 5\), respectively

There is a third polynomial solution of \(\mbox{Q}1(\delta)\), cf. [15]

$$ w=\alpha n+\beta m+\gamma, $$
(2.16)

obeying the parametrizations

$$ p=\frac{c_{0}}{a^{2}-\delta^{2}},\qquad q=\frac{c_{0}}{b^{2}-\delta^{2}}, \qquad \alpha=pa,\qquad \beta=qb, $$
(2.17)

with γ, δ, \(c_{0}\) being constants. Using the ansatz (2.9), through (2.10a)–(2.10b), one has

$$ y=-\frac{w c_{0}}{\delta^{3}}+\frac{1}{2\delta^{4}}c_{0}^{2}+y_{0}, $$
(2.18)

with \(y_{0}\) satisfying

$$ \widetilde{y}_{0}=\frac{a-(\pm\delta)}{a+(\pm\delta)}y_{0}, \qquad \widehat{y}_{0}=\frac {b-(\pm\delta)}{b+(\pm\delta)}y_{0}. $$

The function \(y_{0}\) can be integrated as discrete exponentials, which leads to a Q2 solution through (2.9) and (2.18). However, it is interesting that one can verify the following:

$$ u=\frac{w^{2}}{\delta^{2}}+\frac{c_{0}^{2}}{4\delta^{4}}+ \biggl(\frac {a-\delta}{a+\delta} \biggr)^{n} \biggl(\frac{b-\delta}{b+\delta } \biggr)^{m} \gamma^{+}_{0} + \biggl(\frac{a+\delta}{a-\delta} \biggr)^{n} \biggl(\frac{b+\delta }{b-\delta} \biggr)^{m} \gamma^{-}_{0}+\frac{4\gamma^{+}_{0}\gamma ^{-}_{0}\delta^{4}}{c_{0}^{2}}, $$
(2.19)

is a solution of Q2 as well, where \(\gamma^{\pm}_{0}\) are constants and a reparametrization \(\gamma \to\gamma+\frac{c_{0}}{\delta^{2}}\) is used. We note that the above solution with \(c_{0}=\delta^{2}\) coincides with the seed solution (zero-soliton solution) of Q2 derived as a degeneration of \(\mbox{Q}3(\delta)\) (see (5.8) in [9]). Inversely, we find this solution as a seed solution generate the same 1SS as obtained in [9] in the auto-BT process, and hence will not be considered in the next section.

Besides, note that there is a degeneration approach from Q2 equation (1.1) to \(\mbox{Q}1(\delta)\) equation (2.1), via [9, 18]

$$ u\to\frac{\delta^{2}}{4\epsilon^{2}}+\frac{w}{\epsilon},\quad \epsilon\to0. $$
(2.20)

Imposing the above limit on (2.12) together with taking \(c_{0}\to \frac{\delta}{2\epsilon}+c_{0}\), (2.12) leads to

$$ w=\delta \biggl(\frac{x_{1}^{3}+2x_{3}}{3x_{1}}+c_{0} \biggr). $$
(2.21)

This is a new solution to \(\mbox{Q}1(\delta)\), which was not found in [14, 17, 18]. For the solution (2.15), we again make use of (2.20) and together setting \(\delta\to\frac{\delta}{\epsilon}\), \(c_{3}\to\frac{3\delta }{8\epsilon}+c_{3}\), (2.15) turns to be

$$w=-\frac{\delta(4x_{1}^{3}-4x_{3}-3x_{1})}{6}, $$

which is nothing new but \(\mbox{Q}1(\frac{1}{2})\) (2.13) multiplied by δ. For (2.19), through (2.20) and

$$\gamma\to\frac{\gamma'\delta^{2}}{\epsilon}+\gamma,\qquad \gamma^{+}\to \frac{\gamma^{+}}{\epsilon},\qquad \gamma^{-}\to\frac{\gamma^{-}}{\epsilon}, \quad \text{where } \gamma ^{\prime 2}+ \frac{4\delta^{2}\gamma^{+}\gamma^{-}}{c_{0}^{2}}=\frac{1}{4}, $$

from (2.19) we arrive at

$$w=2\gamma'(\alpha n+\beta m+\gamma)+ \biggl(\frac{a-\delta}{a+\delta } \biggr)^{n} \biggl(\frac{b-\delta}{b+\delta} \biggr)^{m} \gamma^{+}_{0} + \biggl(\frac{a+\delta}{a-\delta} \biggr)^{n} \biggl(\frac{b+\delta }{b-\delta} \biggr)^{m} \gamma^{-}_{0}, $$

which is the same as obtained in [9].

2.3 Fixed-point solution

Fixed-point solutions, stationary solutions of quad-equations along a third lattice direction, can also be used to solve the equations themselves [19]. This idea has been applied to the equations in the ABS list [9, 15]. In this idea is considered to be u, i.e. k is not significant in generating solitons and then u is solved usually as a background solution (seed solution) of solitons. By this idea the BT (1.2a)–(1.2b) of Q2 yields its fixed point version

$$\begin{aligned}& (u-\widetilde{u})^{2} =p(p-k) \bigl(2u+2\widetilde{u}-p^{2}+ pk-k^{2}\bigr), \end{aligned}$$
(2.22a)
$$\begin{aligned}& (u-\widehat{u})^{2} =q(q-k) \bigl(2u+2\widehat{u}-k^{2}+ kq-q^{2}\bigr). \end{aligned}$$
(2.22b)

Solving them with parametrization (2.17) and \(k=-c_{0}/\delta^{2}\) yields the Q2 solution (2.19) with \(\gamma^{\pm}_{0}=0\).

3 One-soliton solutions of Q2

In this section, the solutions (2.6), (2.12) and (2.15) are used as seed solutions in the auto BT approach to generating 1SSs.

3.1 General procedure

Suppose u (denoted by \(u_{\theta}\) conventionally, cf. [15, 19,20,21,22]) is a seed solution of Q2 and denote \(\overline{u}_{\theta}\) as a shifted u in the third direction in the light of the CAC property. In fact, the CAC property of Q2 indicates its solution \(u(n,m)\) can be consistently embedded into a 3-dimension cube (see Fig. 1(b)). Although there is no explicit independent variable l in \(u(n,m)\), one can introduce a bar shift (shift in l-direction) for it according to \(\widetilde{~~}\) or \(\widehat{~~~}\) shifts. For example, for w defined in (2.3), we have \(\widetilde{w}=\frac {1}{2}(A \alpha^{n} \beta^{m} \alpha+A^{-1}\alpha^{-n}\beta^{-m}\alpha^{-1})\) and α is related to p (the spacing parameter of n-direction) as in (2.4). Then should be accordingly defined as \(\overline{w}=\frac{1}{2}(A \alpha^{n} \beta^{m} s +A^{-1}\alpha^{-n}\beta^{-m}s^{-1})\) and s is related to the spacing parameter k of l-direction by \(k=(1-s)^{2}/2s\), which is coincident with (2.4). For \(x_{i}\) defined in (2.7), we have \(\overline{x}_{i}=x_{i}+c^{i}\) where we suppose \(c^{2}=k\) to coincide with (2.8).

One imposes as a solution of Q2 in the formFootnote 2

$$ \overline{u}=\overline{u}_{\theta}+v. $$
(3.1)

Then the BT (1.2a)–(1.2b) is reduced to difference equations for v

$$ \widetilde{v}=\frac{Ev}{v+F},\qquad \widehat{v}=\frac{Gv}{v+H}, $$
(3.2)

where

$$\begin{aligned}& E=\widetilde{u}-\widetilde{\overline{u}}_{\theta}+\frac{k}{p}(u-\widetilde{u})+k(k-p), \qquad F=-u+\overline{u}_{\theta}+\frac{k}{p}(u-\widetilde{u})-k(k-p), \end{aligned}$$
(3.3a)
$$\begin{aligned}& G=\widehat{u}-{\widehat{\overline{u}}}_{\theta}+\frac{k}{q}(u-\widehat{u})+k(k-q),\qquad H=-u+ \overline{u}_{\theta}+\frac{k}{q}(u-\widehat{u})-k(k-q). \end{aligned}$$
(3.3b)

The difference system (3.2) can be linearized using \(v=\frac {f}{g}\), which leads to

Φ ˜ =Λ ( E 0 1 F ) Φ, Φ ˆ =Λ ( G 0 1 H ) Φ,Φ= ( f g ) ,
(3.4)

where Λ is some “balancing” factor to be determined to guarantee the compatibility \(\widehat{\widetilde{\varPhi}}=\widetilde{\widehat{\varPhi}}\). Then it remains to integrate the linear difference system (3.4) so that \(v=\frac{f}{g}\), hence ū, can be derived. The so-obtained ū gives a 1SS of Q2.

3.2 1SS from exponential seed solution (2.6)

Using the background form (2.6) and its shift we have

$$ \overline{u}_{\theta}=\frac{1}{2}\bigl(A \alpha^{n} \beta^{m} s +A^{-1}\alpha ^{-n}\beta^{-m}s^{-1}+4 \bigr) +\frac{A \alpha^{n} \beta^{m} s +1}{A \alpha^{n} \beta^{m} s-1} (Pn+Qm+K+r). $$
(3.5)

Similar to the parametrizations of α, β and P, Q, s and K satisfy

$$ k=\frac{(1-s)^{2}}{2s},\qquad K=\frac{(s^{2} -1)(s^{2}-4s +1)}{4s^{2}}, $$
(3.6)

as k is understood as the lattice parameter in the \(\bar{~~}\) direction. Following the ansatz described above (3.1)–(3.4), direct but hard computations lead to the difference system

Φ ˜ = ( S U n + 1 , m V n , m U n , m V n + 1 , m 0 1 U n , m Δ V n + 1 , m V n , m ) Φ, Φ ˆ = ( T U n , m + 1 V n , m U n , m V n , m + 1 0 1 U n , m Ω V n , m + 1 V n , m ) Φ,
(3.7)

where

$$\begin{aligned}& U_{n,m}=\frac{A \alpha^{n} \beta^{m} +\frac{1}{A\alpha^{n}\beta ^{m}}-4}{2Z_{n,m}} +\frac{2(Pn+Qm+r)}{(A \alpha^{n} \beta^{m} -1)(\frac{1}{A\alpha^{n}\beta ^{m}}-1)},\qquad V_{n,m}= \frac{A \alpha^{n} \beta^{m} s -1}{A \alpha^{n} \beta^{m} -1}, \\& S=\frac{(1-s)(1-\alpha s)}{(1-\alpha) s},\qquad \Delta=\frac{(1-s)(\alpha-s)}{(1-\alpha)s}, \\& T= \frac{(1-s)(1-\beta s)}{(1-\beta)s},\qquad \varOmega=\frac{(1-s)(\beta-s)}{(1-\beta)s}, \end{aligned}$$

and the balancing factor takes \(\varLambda=1/U_{n,m}\). Integrating the first equation in (3.7), one gets

$$\begin{aligned}& f_{n,m}=\frac{U_{n,m}V_{0,m}}{U_{0,m}V_{n,m}} S^{n} f_{0,m}, \\& g_{n,m}=\frac{1}{s}V_{n,m}\frac{V_{0,m}}{U_{0,m}} \biggl( \frac{S^{n}-\Delta^{n}}{1-s^{2}} +\frac{S^{n}}{A \alpha^{n} \beta^{m} s-1} -\frac{\Delta^{n}}{A \beta^{m} s-1} \biggr) f_{0,m} + \frac{V_{n,m}}{V_{0,m}}\Delta^{n} g_{0,m}, \end{aligned}$$

where the expression of \(g_{n,m}\) is obtained using the identity

$$ \frac{1}{V_{n-j,m} V_{n-1-j,m}}=\frac{1}{s^{2}} \biggl[ 1+\frac{1-s}{1-\alpha} \biggl( \frac{1-\alpha s}{A \alpha^{n-j} \beta^{m} s-1} -\frac{\alpha- s}{A \alpha^{n-1-j} \beta^{m} s-1} \biggr) \biggr]. $$

Similarly expressions can be derived solving the second equation in (3.7). Let

$$ \rho_{n,m}= \biggl(\frac{S}{\Delta} \biggr)^{n} \biggl(\frac {T}{\varOmega} \biggr)^{m} \rho_{0,0} = \biggl(\frac{1-\alpha s}{\alpha-s} \biggr)^{n} \biggl( \frac{1-\beta s}{\beta-s} \biggr)^{m} \rho_{0,0}, $$
(3.8)

we can obtain v in the form

$$ v_{n,m}=\frac{\frac{U_{n,m}V_{0,0}}{U_{0,0}V_{n,m}}v_{0,0}\rho _{n,m}/\rho_{0,0} }{ \frac{V_{n,m} V_{0,0}}{sU_{0,0}} ( - \frac{1-\rho_{n,m}/\rho_{0,0}}{1-s^{2}} +\frac{\rho_{n,m}/\rho_{0,0}}{A \alpha^{n} \beta^{m} s-1} -\frac{1}{A s-1} )v_{0,0} +\frac{V_{n,m}}{V_{0,0}}}. $$
(3.9)

After a reparametrization of \(\rho_{0,0}\), we get

$$ v_{n,m}=\frac{U_{n,m}}{V^{2}_{n,m}}\cdot \frac{\rho_{n,m}}{ 1+\frac{1}{1-s^{2}}\cdot\frac{A \alpha^{n} \beta^{m} -s}{A \alpha ^{n} \beta^{m} s-1}\cdot\rho_{n,m}}, $$
(3.10)

which, together with (3.5), forms a 1SS of Q2. Reparametrising A to \(\frac{A}{s}\) one obtains

$$\begin{aligned} u_{n,m}^{1SS} =&\frac{1}{2} \biggl(\frac{1}{A\alpha^{n} \beta ^{m}}+A \alpha^{n} \beta^{m}+4+\biggl(\frac{s}{A\alpha^{n} \beta^{m}}+ \frac {A\alpha^{n} \beta^{m}}{s}-4\biggr) \biggl(\frac{A^{2} \alpha^{2n}\beta ^{2m}}{s^{2}}-1\biggr) \varGamma_{n,m} \biggr) \\ &{} +(Pn+Qm+r) \biggl(1+2\frac{(A \alpha^{n} \beta^{m} -1)(1-s^{2}+ s\rho _{n,m})}{(1-s^{2})\rho_{n,m}}\varGamma_{n,m} \biggr) \\ &{} + \frac{A \alpha^{n} \beta^{m} +1}{A \alpha^{n} \beta^{m} -1}K, \end{aligned}$$
(3.11)

where

$$ \varGamma_{n,m}= \frac{1}{A \alpha^{n} \beta^{m} -1}\cdot \frac{(1-s^{2}) \rho_{n,m}}{(A \alpha^{n} \beta^{m} -1)(1-s^{2})+(A\alpha ^{n}\beta^{m}s^{-1}-s)\rho_{n,m}}. $$
(3.12)

3.3 1SSs from rational seed solutions (2.12) and (2.15)

We continue computing 1SSs of Q2 using the rational seed solutions (2.12) and (2.15). We will skip computational details and just put the main results.

From the seed solution (2.12), the terms defined in (3.3a)–(3.3b) and (3.4) are in the forms

$$\begin{aligned}& E=SU_{n+1,m}\frac{\varphi_{n,m}}{\varphi_{n+1,m}}, \qquad F=\Delta U_{n,m}\frac{\varphi_{n+1,m}}{\varphi_{n,m}}, \\& G=TU_{n,m+1} \frac {\varphi_{n,m}}{\varphi_{n,m+1}},\qquad H=\varOmega U_{n,m}\frac{\varphi_{n,m+1}}{\varphi_{n,m}}, \\& S=\frac{s(a+s)}{a}, \qquad T=\frac{s(b+s)}{b}, \qquad \Delta= \frac{s(s-a)}{a},\qquad \varOmega=\frac{s(s-b)}{b}, \qquad \varLambda=1/U_{n,m}, \end{aligned}$$
(3.13)

where

$$\varphi_{n,m}=\frac{x_{1}+s}{x_{1}},\qquad U_{n,m}= \frac{z_{n,m}}{x_{1}^{2}}, $$

with \(z_{n,m}\) (2.11) and \(k=s^{2}\). Then, by solving the system (3.4), we have

$$ v_{n,m}=\frac{f_{n,m}}{g_{n,m}}=\frac{2sU_{n,m}\rho_{n,m}}{\varphi _{n,m}^{2}(1+\frac{x_{1}-s}{x_{1}+s}\rho_{n,m})} ,\qquad \rho_{n,m}= \biggl(\frac{s+a}{s-a} \biggr)^{n} \biggl( \frac {s+b}{s-b} \biggr)^{m}\rho_{0,0}. $$
(3.14)

Thus the so-obtained 1SS of Q2 is

$$ u^{1SS}_{n,m}= \overline{u}_{\theta}+ \frac{2 s z_{n,m}\rho_{n,m}}{(x_{1}^{2}-s^{2})\rho_{n,m}+(x_{1}+s)^{2}}, $$
(3.15)

where \(\overline{u}_{\theta}\) is a bar-shifted u (2.12) and \(z_{n,m}\) given in (2.11). We depict its shape and motion, after removing the background \(\overline{u}_{\theta}\), in Fig. 3(a). One can find the wave asymptotically is governed by zero on one direction and by \(\frac{2 s z_{n,m}}{x_{1}^{2}-s^{2}}\) on the other direction.

Figure 3
figure 3

One-soliton solutions of Q2 without backgrounds. (a) Solution (3.15), (b) solution (3.17); where \(a=-0.5\), \(b=-0.5\), \(s=4.5\), \(\rho_{0,0}=0.5\), \(c_{0}=1\), \(\zeta_{1}= \zeta_{3}= \zeta_{5}=1\), \(\delta=-3\), \(m\in[-15,40]\), waves in red, blue and black stand for \(n=-5, 0, 5\), respectively

For the seed solution (2.15), one obtains similar expressions (3.13) and

$$\begin{aligned}& S=\frac{2s\delta(a+s)}{a},\qquad T=\frac{2s\delta(b+s)}{b},\qquad \Delta= \frac{2s\delta(s-a)}{a}, \\& \varOmega=\frac{2s\delta(s-b)}{b},\qquad \varLambda=1/U_{n,m}, \end{aligned}$$

where

$$\varphi_{n,m}=\frac{x_{1}+s-\delta}{x_{1}-\delta}, \qquad U_{n,m}= \frac {z_{n,m}}{(x_{1}-\delta)^{2}},\qquad k=s^{2}, $$

with \(z_{n,m}\) (2.14). Solving (3.4) yields

$$ v_{n,m}=\frac{4\delta sU_{n,m}\rho_{n,m}}{\varphi_{n,m}^{2}(1+\frac {x_{1}-s-\delta}{x_{1}+s-\delta}\rho_{n,m})} ,\qquad \rho_{n,m}= \biggl( \frac{s+a}{s-a} \biggr)^{n} \biggl(\frac {s+b}{s-b} \biggr)^{m}\rho_{0,0}, $$
(3.16)

which leads to another 1SS of Q2 in the form

$$ u^{1SS}_{n,m}=\overline{u}_{\theta}+\frac{4\delta sz_{n,m}\rho_{n,m}}{ [(x_{1}-\delta)^{2}-s^{2} ]\rho_{n,m}+(x_{1}-\delta+s)^{2}}, $$
(3.17)

where \(\overline{u}_{\theta}\) is a bar-shifted u (2.15) and \(z_{n,m}\) given in (2.14). We depict its shape and motion, after removing the background \(\overline{u}_{\theta}\), in Fig. 3(b). This is a moving wave asymptotically governed by zero on one direction and by \(\frac{4 \delta s z_{n,m}}{(x_{1}-\delta)^{2}-s^{2}}\) on the other direction.

4 Conclusions

In this short paper, we manage to provide explicit formulas of solutions of the Q2 equation (1.1) in the ABS list, at the cost of a considerable computational effort (in particular, to determine the balancing factor Λ). We derive seed solutions of Q2 in Sect. 2 using solutions of \(\mbox{Q}1(\delta)\) and a non-auto BT connecting them. The results are then used in Sect. 3 to derive 1SSs of Q2 using an auto BT approach. Both the auto BT and the non-auto BT are realizations of the CAC property. The seed and the associated soliton solutions belong to either exponential type or rational type of solutions. They are essentially new solutions, i.e. (2.12), (2.15), (3.15) and (3.17), as they cannot be obtained as degenerated cases of known solutions.

Here we have relaxed the definition of “solitons” as it is hard to remove background (seed solution) from an 1SS and leave a pure soliton form. As an example we may have an extra glance at the 1SS (3.15), in which \(\overline{u}_{\theta}\) is a background. The remaining soliton part takes a form

$$v=\frac{\frac{2 s z_{n,m}}{(x_{1}+s)^{2}}\rho_{n,m}}{1+\frac {x_{1}-s}{x_{1}+s}\rho_{n,m}}, $$

with the soliton parameter s, which looks much neater than (3.10) derived from the exponential case. This is again different from the pure soliton form \(\frac{s\rho _{n,m}}{1+\rho_{n,m}}\) (cf. (3.15) in [15]). In addition, although rational solutions can usually be interpreted as some limits of solitons, so far in the literature we do not know any solutions that can yield the above form by imposing suitable limits.

In comparison with other equations in the ABS list, Q2 is rather special and needs further investigations. For instance, its bilinear form, continuous counterpart, geometric interpretations or physical significance have not been fully understood. In particular, a systematic approach to generating N-soliton solutions of given type is yet to be understood, into which we hope our results could provide insight.

Notes

  1. This leads to a δ-free u (2.12).

  2. With this special form v will satisfy the linear system (3.4) which then will be handled more conveniently. More examples one can refer to [15, 20,21,22].

References

  1. Hietarinta, J., Joshi, N., Nijhoff, F.W.: Discrete Systems and Integrablity. Cambridge University Press, Cambridge (2016)

    Book  Google Scholar 

  2. Nijhoff, F.W., Walker, A.J.: The discrete and continuous Painlevé VI hierarchy and the Garnier systems. Glasg. Math. J. 43A, 109–123 (2001)

    Article  MathSciNet  Google Scholar 

  3. Nijhoff, F.W.: Lax pair for the Adler (lattice Krichever–Novikov) system. Phys. Lett. A 297, 49–58 (2002)

    Article  MathSciNet  Google Scholar 

  4. Bobenko, A.I., Suris, Y.B.: Integrable systems on quad-graphs. Int. Math. Res. Not. 2002(11), 573–611 (2002)

    Article  MathSciNet  Google Scholar 

  5. Adler, V.E., Bobenko, A.I., Suris, Y.B.: Classification of integrable equations on quad-graphs, the consistency approach. Commun. Math. Phys. 233, 513–543 (2002)

    Article  MathSciNet  Google Scholar 

  6. Krichever, I.M., Novikov, S.P.: Holomorphic fiberings and nonlinear equations: finite zone solutions of rank 2. Sov. Math. Dokl. 20, 650–654 (1979)

    MATH  Google Scholar 

  7. Adler, V.E.: Bäcklund transformation for the Krichever–Novikov equation. Int. Math. Res. Not. 1998, 1–4 (1998)

    Article  Google Scholar 

  8. Nijhoff, F.W., Quispel, G.R.W., Capel, H.W.: Direct linearization of nonlinear difference–difference equations. Phys. Lett. A 97, 125–128 (1983)

    Article  MathSciNet  Google Scholar 

  9. Nijhoff, F.W., Atkinson, J., Hietarinta, J.: Soliton solutions for ABS lattice equations. I. Cauchy matrix approach. J. Phys. A, Math. Theor. 42, 404005 (2009)

    Article  MathSciNet  Google Scholar 

  10. Nijhoff, F.W., Capel, H.W.: The discrete Korteweg–de Vries equation. Acta Appl. Math. 39, 133–158 (1995)

    Article  MathSciNet  Google Scholar 

  11. Zhang, D.J., Zhao, S.L.: Solutions to ABS lattice equations via generalized Cauchy matrix approach. Stud. Appl. Math. 131, 72–103 (2013)

    Article  MathSciNet  Google Scholar 

  12. Nijhoff, F.W., Atkinson, J.: Elliptic N-soliton solutions of ABS lattice equations. Int. Math. Res. Not. 2010, 3837–3895 (2010)

    MathSciNet  MATH  Google Scholar 

  13. Butler, S.: Multidimensional inverse scattering of integrable lattice equations. Nonlinearity 25, 1613–1634 (2012)

    Article  MathSciNet  Google Scholar 

  14. Zhang, D.D., Zhang, D.J.: Rational solutions to the ABS list: transformation approach. SIGMA 13, 078 (2017)

    MathSciNet  MATH  Google Scholar 

  15. Hietarinta, J., Zhang, D.J.: Soliton solutions for ABS lattice equations. II. Casoratians and bilinearization. J. Phys. A, Math. Theor. 42, 404006 (2009)

    Article  MathSciNet  Google Scholar 

  16. Atkinson, J.: Bäcklund transformations for integrable lattice equations. J. Phys. A, Math. Theor. 41, 135202 (2008)

    Article  Google Scholar 

  17. Zhang, D.D., Zhang, D.J.: On decomposition of the ABS lattice equations and related Bäcklund transformations. J. Nonlinear Math. Phys. 25, 34–53 (2018)

    Article  MathSciNet  Google Scholar 

  18. Zhao, S.L., Zhang, D.J.: Rational solutions to \(\mbox{Q}3(\delta)\) in the Adler–Bobenko–Suris list and degenerations. J. Nonlinear Math. Phys. 26, 107–132 (2019)

    Article  MathSciNet  Google Scholar 

  19. Atkinson, J., Hietarinta, J., Nijhoff, F.: Seed and soliton solutions of Adler’s lattice equation. J. Phys. A, Math. Theor. 40, F1–F8 (2007)

    Article  MathSciNet  Google Scholar 

  20. Atkinson, J., Hietarinta, J., Nijhoff, F.W.: Soliton solutions for Q3. J. Phys. A, Math. Theor. 41, 142001 (2008)

    Article  MathSciNet  Google Scholar 

  21. Hietarinta, J., Zhang, D.J.: Multisoliton solutions to the lattice Boussinesq equation. J. Math. Phys. 51, 033505 (2010)

    Article  MathSciNet  Google Scholar 

  22. Hietarinta, J., Zhang, D.J.: Soliton taxonomy for a modification of the lattice Boussinesq equation. SIGMA 7, 061 (2011)

    MathSciNet  MATH  Google Scholar 

Download references

Funding

This project is supported by the NSFC (Nos. 11371241, 11631007, 11601312, 11875040, 11801289) and Shanghai Young Eastern Scholar scheme (2016–2019).

Author information

Authors and Affiliations

Authors

Contributions

All authors contributed equally to the manuscript and read and approved the final manuscript.

Corresponding authors

Correspondence to Cheng Zhang or Da-jun Zhang.

Ethics declarations

Competing interests

The authors declare that there is no conflict of interest regarding the publication of this paper.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Cheng, Q., Zhang, C., Zhang, D. et al. On one-soliton solutions of the Q2 equation in the ABS list. Adv Differ Equ 2019, 30 (2019). https://doi.org/10.1186/s13662-019-1977-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-019-1977-8

PACS Codes

Keywords