Skip to main content

Generating nonisospectral integrable hierarchies via a new scheme

Abstract

In the paper, an efficient and straightforward method for generating nonisospectral integrable hierarchies is introduced. It follows that we consider the application related to Lie algebra \(\operatorname{gl}(3)\) based on the method. Then, we derive a nonisospectral integrable hierarchy whose some new symmetries are also investigated. In addition, a few conserved quantities of the nonisospectral integrable hierarchies are also obtained.

Introduction

We know that one approach for generating integrable systems was proposed by Magri [1], which was called the Lax-pair method [2, 3]. Based on it, Tu [4] proposed a method for generating integrable Hamiltonian hierarchies, which was called the Tu scheme by Ma [5]. Through making use of the Tu scheme, some integrable systems and the corresponding Hamiltonian structures as well as other properties were obtained, such as the works in [610]. It is well known that many different methods for generating isospectral integrable equations have been proposed [1115]. However, as nonisospectral integrable equations are concerned, fewer works have been presented, as far as we know. Ma [16, 17] applied Lax equations to work out some nonisospectral integrable hierarchy under the case of \(\lambda _{t}=\lambda ^{n}\) (\(n>0\)). Qiao [18] adopted the Lenard series method to obtain some nonisospectral integrable hierarchies under the case \(\lambda _{t}=\lambda ^{m+1}M\). The aim of this paper is to apply an efficient scheme to generate nonisospectral integrable hierarchies of evolution equations under the case where \(\lambda _{t}=\sum_{j=0}^{n}k_{j}(t)\lambda ^{n-j}\). Obviously, this case is a generalized expression for the case \(\lambda _{t}=\lambda ^{n}\) [19, 20]. Under obtaining nonisospectral integrable systems, some of their properties, including Darboux transformations, exact solutions, and so on, could be studied [2126]. We first recall some fundamental facts.

Let G be a finite-dimensional Lie algebra over the complex set C, \(\widetilde{G}=G\otimes C[\lambda , \lambda ^{-1}]\) be the corresponding loop algebra, where \(C[\lambda , \lambda ^{-1}]\) stands for a set of Laurent polynomials in the parameter λ. Suppose that \(\{e_{1},\ldots,e_{p}\}\) is a basis of G, then the basis of the loop algebra can be chosen as \(\{e_{1}(n),\ldots,e_{p}(n)\}\), where \(e_{i}(n)=e_{i}\lambda ^{N_{i}n}\), \(N_{i}=1,2,\ldots \) , \(n\in Z\).

Definition 1

One basis element \(R\in \widetilde{G}\) is called pseudoregular if the following conditions hold:

  1. (1)

    \(\widetilde{G}=\operatorname{Ker} \operatorname{ad} R\oplus \operatorname{Im} \operatorname{ad} R\),

  2. (2)

    \(\ker \operatorname{ad} R\) is commutative, where

\(\operatorname{Ker} \operatorname{ad} R=\{x\mid x\in \widetilde{G}, [x,R]=0\}\), \(\operatorname{Im} \operatorname{ad} R=\{x\mid \exists y\in \widetilde{G}, x=[y,R]\}\).

Definition 2

For any basis element \(e_{i}(n)\) (\(i=1,2,\ldots,p\)), we define its gradation by

$$ \deg \bigl(e_{i}(n)\bigr)=N_{i}n. $$
(1)

Obviously, for \(\forall g\in \widetilde{G}\), g can be expressed by \(g=\sum_{n}k_{n}e_{i}(n)=:\sum_{n}g_{n}\), \(k_{n}\) are constants. We can decompose g into two parts as follows:

$$ g_{+}=\sum_{n\geq \mu }g_{n}, \qquad g_{-}=\sum_{n< \mu }g_{n}, $$

and call \(g_{+}\) the positive part of g, \(\mu \in Z\) is some chosen integer.

In the following, the steps for generating nonisospectral integrable hierarchies of evolution equations are presented.

Step 1: By using the loop algebra , we introduce the spectral problems

$$\begin{aligned}& \psi _{x}=U\psi ,\quad U=R+u_{1}e_{1}(n)+ \cdots +u_{q}e_{q}(n), \end{aligned}$$
(2)
$$\begin{aligned}& \psi _{t}=V\psi ,\quad V=A_{1}e_{1}(n)+ \cdots +A_{p}e_{p}(n), \end{aligned}$$
(3)
$$\begin{aligned}& \lambda _{t}=\sum_{i\geq 0}k_{i}(t) \lambda ^{-N_{i}i}, \end{aligned}$$
(4)

where the potential functions \(u_{1},\ldots,u_{q}\in S\) (the Schwartz space), and \(R(n)\), \(e_{1}(n),\ldots, e_{p}(n)\in \widetilde{G}\) satisfy that

  1. (a)

    R, \(e_{1},\ldots,e_{p}\) are linear independent,

  2. (b)

    R is pseudoregular,

  3. (c)

    \(\deg (R(n))\geq \deg (e_{i}(n))\), \(i=1,2,\ldots,p\).

Step 2: Solving the following stationary zero curvature equation for \(A_{i}\), \(i=1,2,\ldots,p\):

$$ V_{x}=\frac{\partial U}{\partial \lambda }\lambda _{t}+[U,V]. $$
(5)

It follows that one can get the compatibility condition of (2) and (3)

$$ \frac{\partial U}{\partial u}u_{t}+ \frac{\partial U}{\partial \lambda }\lambda _{t}-V_{x}+[U,V]=0. $$
(6)

Equation (6) can be broken down into

$$ -V_{+,x}^{(n)}+\frac{\partial U}{\partial \lambda }\lambda _{t,+}^{(n)}+\bigl[U,V_{+}^{(n)} \bigr]=V_{-,x}^{(n)}- \frac{\partial U}{\partial \lambda }\lambda _{t,-}^{(n)}-\bigl[U,V_{-}^{(n)}\bigr], $$
(7)

where

$$ \lambda _{t,+}^{(m)}=\lambda ^{N_{i}m}\lambda _{t}-\lambda _{t,-}^{(m)}= \sum _{i=\mu }^{m}k_{i}(t)\lambda ^{N_{i}m-N_{i}i+x}, \quad x=0,1,\ldots,N_{i}-1; m< n. $$

Step 3: Choose \(\triangle _{n}\in \widetilde{G}\) so that

$$\begin{aligned}& V^{(n)}=\bigl(\lambda ^{N_{i}n}V\bigr)_{+}+\triangle _{n}=:V_{+}^{(n)}+ \triangle _{n}, \\& -V_{x}^{(n)}+\frac{\partial U}{\partial \lambda }\lambda _{t,+}^{(n)}+ \bigl[U,V^{(n)}\bigr]=B_{1}e_{1}+ \cdots +B_{q}e_{q}, \end{aligned}$$

where \(B_{i}\ (i=1,2,\ldots,q) \in C\).

Step 4: The nonisospectral integrable hierarchies of evolution equations could be deduced via the nonisospectral zero curvature equation

$$ \frac{\partial U}{\partial u}u_{t}+ \frac{\partial U}{\partial \lambda }\lambda _{t,+}^{(n)}-V_{x}^{(n)}+ \bigl[U,V^{(n)}\bigr]=0. $$
(8)

Step 5: The Hamiltonian structures of hierarchies (8) are sought out according to the trace identity given by Tu [4].

A nonisospectral integrable hierarchy of evolution equations

A basis of the Lie algebras \(\operatorname{gl}(3)\) is given by

$$ \operatorname{gl}(3)=\operatorname{span}\{h, e, f\} $$

with

h=(001000100),e=(000001010),f=(010100000).

And the corresponding loop algebra is taken by

$$ \widetilde{\operatorname{gl}}(3)=\operatorname{span}\bigl\{ h(n), e(n), f(n)\bigr\} , $$

where \(h(n)=h\lambda ^{2n}\), \(e(n)=e\lambda ^{2n-1}\), \(f(n)=f\lambda ^{2n-1}\).

After simple calculations, one can find

$$ \begin{gathered} \bigl[h(n),e(m)\bigr]=f\lambda ^{2n+2m-1}=f(m+n),\qquad \bigl[h(n),f(m) \bigr]=-e(m+n), \\ \bigl[e(n),f(m)\bigr]=h(m+n-1), \quad m,n\in Z, \end{gathered} $$

where the gradations of \(h(n)\), \(e(n)\), and \(f(n)\) are given by

$$ \deg h(n)=2n, \qquad \deg e(n)=2n-1,\qquad \deg f(n)=2n-1, \quad n\in Z. $$

We consider the following nonisospectral problems based on \(\widetilde{\operatorname{gl}}(3)\):

ψx=Uψ,U=ih(1)+qe(1)+rf(1)=(0rλiλ2rλ0qλiλ2qλ0),
(9)
ψt=Vψ,V=ah(0)+be(1)+cf(1)=(0cλacλ0bλabλ0),
(10)

where \(\overline{i}^{2}=-1\), \(a=\sum_{i\geq 0}a_{i}\lambda ^{-2i}\), \(b=\sum_{i\geq 0}b_{i}\lambda ^{-2i}\), \(c=\sum_{i\geq 0}c_{i}\lambda ^{-2i}\).

It follows that we obtain

Uλλt=(0r2iλr0q2iλq0)i0ki(t)λ2i+1=i0ki(t)[2ih(1i)+qe(1i)+rf(1i)].

Furthermore, the following equation can be derived by taking \(\lambda _{t}=\sum_{i\geq 0}k_{i}(t)\lambda ^{1-2i}\) with Eq. (6):

$$ \textstyle\begin{cases} a_{ix}=qc_{i+1}-rb_{i+1}-2\overline{i}k_{i+1}(t), \\ b_{ix}=\overline{i}c_{i+1}+ra_{i}+k_{i}(t)q, \\ c_{ix}=-\overline{i}b_{i+1}-qa_{i}+k_{i}(t)r, \end{cases} $$
(11)

that is,

$$ \textstyle\begin{cases} a_{ix}=-\overline{i}(qb_{ix}+rc_{ix}-q^{2}k_{i}(t)-r^{2}k_{i}(t)+2k_{i+1}(t)), \\ c_{i+1}=\overline{i}(-b_{ix}+ra_{i}+qk_{i}(t)), \\ b_{i+1}=\overline{i}(c_{ix}+qa_{i}-rk_{i}(t)). \end{cases} $$
(12)

In terms of Eq. (12), we take the initial values

$$ b_{0}=k_{0}\partial ^{-1}q, \qquad c_{0}=k_{0}\partial ^{-1}r, $$

and then one has

$$ a_{0}=-2\overline{i}k_{1}(t)x+\beta _{0}(t), $$

where \(\beta _{0}(t)=0\) is an integral constant. From (12), we deduce that

$$\begin{aligned}& b_{1}=2k_{1}(t)qx,\qquad c_{1}=2k_{1}(t)rx, \\& a_{1}=-\overline{i}k_{1}(t)x\bigl(q^{2}+r^{2} \bigr)-2\overline{i}k_{2}(t)x+ \beta _{1}(t), \\& b_{2}=\overline{i}k_{1}(t) (r+2xr_{x})+qx \bigl(k_{1}(t)q^{2}+k_{1}(t)r^{2}+2k_{2}(t) \bigr), \\& c_{2}=-\overline{i}k_{1}(t) (q+2xq_{x})+rx \bigl(k_{1}(t)q^{2}+k_{1}(t)r^{2}+2k_{2}(t) \bigr), \\& \cdots, \end{aligned}$$

where \(\beta _{1}(t)=0\) is an integral constant. Denote that

$$\begin{aligned}& V_{+}^{(n)}=\sum_{i=0}^{n} \bigl(a_{i}h(n-i)+b_{i}e(n+1-i)+c_{i}f(n+1-i) \bigr), \\& V_{-}^{(n)}=\sum_{i=n+1}^{\infty } \bigl(a_{i}h(n-i)+b_{i}e(n+1-i)+c_{i}f(n+1-i) \bigr), \\& \lambda _{t,+}^{(n)}=\sum_{i=0}^{n}K_{i}(t) \lambda ^{2n-2i+1}, \qquad \lambda _{t,-}^{(n)}=\sum _{i=n+1}^{\infty }K_{i}(t) \lambda ^{2n-2i+1}. \end{aligned}$$

In what follows, the gradations of the left-hand side of (7) can be obtained by using (1), (9), and (10)

$$\begin{aligned}& \deg V_{+}^{(n)}=:(0,1,1)\geq 0, \qquad \deg \frac{\partial U}{\partial \lambda }\lambda _{t,+}^{(n)}=:(2,1,1) \geq 1, \\& \deg \bigl(\bigl[U,V_{+}^{(n)}\bigr]\bigr)=:(2,1,1;0,1,1)\geq 1, \end{aligned}$$

which indicates that the minimum gradation of the left-hand side of (7) is zero. Additionally, we also obtain the gradations of the right-hand side of (7) as follows:

$$\begin{aligned}& \deg V_{-}^{(n)}=:(-2,-1,-1)\leq -1, \qquad \deg \frac{\partial U}{\partial \lambda }\lambda _{t,-}^{(n)}=:(0,-1,-1) \leq 0, \\& \deg \bigl(\bigl[U,V_{-}^{(n)}\bigr]\bigr)=:(2,1,1;-2,-1,-1) \leq 1, \end{aligned}$$

which means the maximum gradation of the right-hand side of (7) is 1. Thus, we further infer the following equation by taking these terms which have the gradations 0 and 1:

$$\begin{aligned}& V_{-,x}^{(n)}-\frac{\partial U}{\partial \lambda } \lambda _{t,-}^{(n)}-\bigl[U,V_{-}^{(n)} \bigr] \\& \quad =\overline{i}b_{n+1}f(1)- \overline{i}c_{n+1}e(1)-qc_{n+1}h(0) +rb_{n+1}h(0)+2\overline{i}K_{n+1}(t)h(0), \end{aligned}$$

that is,

$$ \begin{aligned}[b] & -V_{+,x}^{(n)}+ \frac{\partial U}{\partial \lambda } \lambda _{t,+}^{(n)}+\bigl[U,V_{+}^{(n)} \bigr] \\ &\quad =\overline{i}b_{n+1}f(1)- \overline{i}c_{n+1}e(1)-qc_{n+1}h(0) +rb_{n+1}h(0)+2\overline{i}K_{n+1}(t)h(0). \end{aligned} $$
(13)

In order to obtain the nonisospectral integrable hierarchies, we take the modified term \(\triangle _{n}=-a_{n}h(0)\) so that for \(V^{(n)}=V_{+}^{(n)}-a_{n}h(0)\), we have from (13) that

$$ \begin{aligned} -V_{x}^{(n)}+\frac{\partial U}{\partial \lambda } \lambda _{t,+}^{(n)}+\bigl[U,V^{(n)}\bigr]=(- \overline{i}c_{n+1}-ra_{n})e(1)+( \overline{i}b_{n+1}+qa_{n})f(1). \end{aligned} $$

Therefore, the nonisospectral integrable hierarchy is derived by Eq. (8) as follows:

utn=(qr)tn=(icn+1ranibn+1+qan)=(bnxKn(t)qcnxKn(t)r)=(00)(cnbn)Kn(t)(qr)=:J1(cnbn)Kn(t)(qr),
(14)

or

utn=(qr)tn=(r1rbn+1+(i+r1q)cn+12irKn+1(t)xq1qcn+1+(i+q1r)bn+1+2iqKn+1(t)x)=(i+r1qr1rq1qi+q1r)(cn+1bn+1)+2iKn+1(t)x(rq)=:J2(cn+1bn+1)+2iKn+1(t)x(rq),
(15)

where

J1=(00),J2=(i+r1qr1rq1qi+q1r).

Based on (12), one has

(cn+1bn+1)=(r1ri+r1qi+q1rq1q)(cnbn)+Kn(t)(r1(q2+r2)+iqq1(q2+r2)ir)+2Kn+1(t)x(rq)=:L(cnbn)+Kn(t)Q+2Kn+1(t)xR,
(16)

where

L=(r1ri+r1qi+q1rq1q),Q=(r1(q2+r2)+iqq1(q2+r2)ir),R=(rq).

Hence, (14) can be written as

utn=(qr)tn=J1Ln(K01rK01q)+J1i=0n1(LiKn1i(t)Q)+2J1i=0n1LiKni(t)xRKn(t)(qr)=ΦnK0(qr)+i=0n1ΦiJ1Kn1i(t)Q+2i=0n1Kni(t)Φi(xqxr)Kn(t)(qr),
(17)

where

Φ=J1LJ11=(qx1q+q2i+qx1r+qri+rx1q+qrrx1r+r2).
(18)

When \(n=1\), the nonisospectral integrable hierarchy (17) becomes

$$ \textstyle\begin{cases} q_{t}=2K_{1}(qx)_{x}+K_{1}q, \\ r_{t}=2K_{1}(rx)_{x}+K_{1}r. \end{cases} $$
(19)

When \(n=2\), the nonisospectral integrable hierarchy (17) reduces to

$$ \textstyle\begin{cases} q_{t}=K_{1}(q^{3}x+qr^{2}x+\overline{i}r+2\overline{i}r_{x}x)_{x}+2K_{2}(qx)_{x}-K_{2}q, \\ r_{t}=K_{1}(r^{3}x+rq^{2}x-\overline{i}q-2\overline{i}q_{x}x)_{x}+2K_{2}(rx)_{x}-K_{2}r. \end{cases} $$
(20)

Additionally, we focus on a format of Hamiltonian construction of hierarchy (17) via the trace identity proposed by Tu [4]. Denote the trace of the square matrices A and B by \(\langle A,B\rangle =\operatorname{tr}(AB)\).

Equation (9) and Eq. (10) admit that

$$ \biggl\langle V,\frac{\partial U}{\partial q}\biggr\rangle =-2b\lambda ^{2}, \qquad \biggl\langle V, \frac{\partial U}{\partial r}\biggr\rangle =-2c\lambda ^{2},\qquad \biggl\langle V, \frac{\partial U}{\partial \lambda }\biggr\rangle =-2cr \lambda +4\overline{i}a \lambda -2bq\lambda , $$

which can be substituted into the trace identity to get

δδu(V,Uλ)=λγλλγ(V,UqV,Ur),δδu(2crλ+4iaλ2bqλ)=λγλ(2bλ2+γ2cλ2+γ).
(21)

It follows that one can get the following equation by comparing the two sides of the above formula:

δδu(4ian2qbn2rcn)=2(22n+γ)(bncn).
(22)

One can find \(\gamma =0\) via substituting the initial values of (12) into (22), and then we obtain

(bncn)=δHnδu=(0110)(cnbn)=:M1(cnbn),

where

Hn=2ianqbnrcn2n2,M11=M1=(0110).

Hence, hierarchies (14) and (15) can be written as

utn=(qr)tn=J1M1δHnδuKn(t)(qr)=J2M1δHn+1δu+2iKn+1(t)x(rq).
(23)

It is remarkable that when \(K_{n}(t)=K_{n+1}(t)=0\), (23) is the Hamiltonian structure of the corresponding isospectral integrable hierarchy of (17).

Discussion on symmetries and conserved quantities

In [8], the authors applied the isospectral and nonisospectral integrable AKNS hierarchy to construct K symmetries and τ symmetries, which constitute an infinite-dimensional Lie algebra. Thus, we also study the K symmetries and τ symmetries of hierarchy (17) in this section. Moreover, some conserved qualities of hierarchy (17) can be found based on the obtained symmetries. After simple calculations, one can find that Φ presented in (18) satisfies

$$ \varPhi '[\varPhi f]g-\varPhi '[\varPhi g]f=\varPhi \bigl\{ \varPhi '[f]g-\varPhi '[g]f\bigr\} $$

for \(\forall f,g\in S\). Thus, Φ is the hereditary symmetry of (17). In what follows we can also prove that the following relation holds.

Proposition 1

$$ \varPhi '[K_{0}]=\bigl[K_{0}', \varPhi \bigr], $$
(24)

whereK0=(qxrx)=ut0.

In fact,

Φ[K0]=(qx1q+q1qxqx1r+q1rxrx1q+r1qxrx1r+r1rx),

for \(\forall f=(f_{1},f_{2})^{T}\in S\), we have

Φ[K0]f=(qxx1qf1+(q2)xf1+qx1qxf1+qxx1rf2+(qr)xf2+qx1rxf2rxx1qf1+(qr)xf1+rx1qxf1+rxx1rf2+(r2)xf2+rx1rxf2),[K0,Φ](f1f2)=K0Φ(f1f2)ΦK0(f1f2)=(00)(q1qi+q1ri+r1qr1r)(f1f2)Φ(f1xf2x)=(qxx1qf1+3qqxf1qx1qf1+qxx1rf2+qxrf2+(qr)xf2qx1rf2xrxx1qf1+rxqf1+qxrf1rx1qf1+qrxf1+rxx1rf2+3rrxf2rx1rf2x).

We therefore verified that (24) is correct. It follows that we can get the following equation because Φ is a hereditary symmetry:

$$ \varPhi '[K_{m}]=\bigl[K_{m}', \varPhi \bigr], $$

which means that Φ is a strong symmetry, where Km=Φm(qxrx).

Proposition 2

$$ \varPhi '[xu]+\varPhi (xu)'-(xu)' \varPhi =HI, $$
(25)

whereu=(qxrx), H=(0ii0), andIis an identity matrix.

In fact,

Φ[xu]=(ABCD),

where

{A=qx1q+xqxx1q+2xqxq+qx1xqx,B=qx1r+xqxx1r+xqxr+xqrx+qx1xrx,C=rx1q+xrxx1q+xrxq+xrqx+rx1xqx,D=rx1r+xrxx1r+2xrxr+rx1xrx.Φ(xu)=(xq2+xqqxqx1(q+xqx)xqr+i+ix2+xrqxqx1(r+xrx)xqriix2+xqrxrx1(q+xqx)xr2+xrrxrx1(r+xrx)),(xu)Φ=(xqxx1q+3xqqx+xq2ix2+xqxx1r+2xrqx+xqrx+xqrix2+xrxx1q+2xqrx+xrqx+xqrxrxx1r+3xrrx+xr2),

where

(xu)[σ]=ddϵ|ϵ=0(x(q+ϵσ1)xx(q+ϵσ2)x)=x(σ1σ2)(xu)=(x00x).

We therefore verified that (25) is correct.

Proposition 3

$$ [K_{1},xu]=[\varPhi u,xu]=Hu+K_{1}, $$
(26)

whereu=(qxrx), H=(0ii0), and\(K_{1}=\varPhi u\).

In fact,

Φu=(irxx+12qx(q2+r2)+qrrx+q2qxiqxx+12rx(q2+r2)+qrqx+r2rx),(Φu)=(12(q2+r2)+3qqx+q2+rrxi2+qr+(qr)xi2+qr+(qr)x12(q2+r2)+3rrx+r2+qqx),(Φu)(xqxxrx)=(12(q2+r2)(xqx)+3xqqx2+q2(xqx)+xrrxqx+i2(xrx)+qr(xrx)+xrx(qr)xi2(xqx)+qr(xqx)+xqx(qr)x+12(q2+r2)(xrx)+3xrrx2+r2(xrx)+xrxqqx).

Then we have

(xu)[Φu]=(x(irxx+12qx(q2+r2)+qrrx+q2qx)x(iqxx+12rx(q2+r2)+qrqx+r2rx)),[Φu,xu]=(Φu)[xu](xu)[Φu]=(0ii0)(qxrx)+K1=Hu+K1.

We therefore verified that (26) is correct.

Proposition 4

$$ [K_{m},K_{n}]=0, \quad m,n=0,1,2,\ldots, $$
(27)

where\(K_{m}=\varPhi ^{m}u\), \(K_{n}=\varPhi ^{n}u\).

Proposition 5

$$ \bigl[\varPhi ^{m}xu,xu\bigr]=m\varPhi ^{m-1}(xu). $$

The proofs of Proposition 4 and Proposition 5 were presented in [20].

From the above results we can get

$$ \bigl[\varPhi ^{m}xu,\varPhi ^{n}xu\bigr]=(m-n)\varPhi ^{m+n-1}(xu),\quad m=0,1,2,\ldots ; n=0,1,2,\ldots . $$

From (26), one can find that \(\{\varPhi ^{n}u, \varPhi ^{m}xu\}\) cannot constitute a Lie algebra. However, \(\{\varPhi ^{n}u, n=0,1,2,\ldots \}\) and \(\{\varPhi ^{n}xu, n=0,1,2,\ldots \}\) constitute the infinite-dimensional Lie algebra, respectively based on the above analysis.

Next we derive some conserved qualities of Tu isospectral hierarchy

utn=(qr)tn=Φn(qxrx).
(28)

Definition 3

([11, 12, 14])

If we have known the integrable hierarchy \(u_{t}=K_{n}(u)\), then v satisfying the following equation

$$ \frac{dv}{dt}+K^{\prime \ast }v=0 $$
(29)

is called the conserved covariance, where \(K'\) is the linearized operator of K, and \(K^{\prime \ast }\) denotes a conjugate operator of \(K'\).

Proposition 6

([14])

Ifσis a symmetry of Eq. \(u_{t}=K_{n}(u)\), vis its conserved covariance, then we have

$$ \int _{-\infty }^{\infty }v\sigma \,dx=\langle v,\sigma \rangle , $$

which is independent of timet, that is, \(\frac{d}{dt}\langle v,\sigma \rangle =0\).

Definition 4

([11, 12, 14])

If \(F'f=\langle v,f\rangle \) for \(\forall f\in S\), then v is called the gradient of the functional F, which is denoted by \(v=\frac{\delta F}{\delta u}\).

Proposition 7

([14])

If\(v'=v^{\prime \ast }\), thenvis the gradient of the following functional:

$$ F= \int _{0}^{1}\bigl\langle v(\lambda u),u\bigr\rangle \,d\lambda . $$
(30)

According to the symbols above, we can deduce the following.

Proposition 8

([11, 12])

IfIis a conserved quality of the hierarchy\(u_{t}=K_{n}(u)\), and the conserved covariancevsatisfies

$$ I'K_{n}=\langle v,K_{n}\rangle , $$

then one obtains

$$ \frac{\partial I}{\partial t}+\langle v,K_{n}\rangle =0, $$

that is,

$$ \frac{\partial v}{\partial t}+K_{n}^{\prime \ast }v+v'K_{n}=0. $$

Hence, we derive the following conserved qualities related to the integrable hierarchy \(u_{t}=K_{n}(u)\):

$$ I_{m}= \int _{0}^{1}\bigl\langle \partial _{x}^{-1}K_{m}(\lambda u),u\bigr\rangle \,d\lambda . $$
(31)

In addition, a few conserved qualities are also derived for the integrable hierarchy (28) as follows:

I0=01x1K0(λu),udλ=01[(0110)(qxλrxλ)]T,(qr)dλ=(qxrrxq)dx,

where

K0=Φ0u=(qxrx)=(0110)(rxqx).

Moreover, we have

K1=Φu=(irxx+12qx(q2+r2)+qrrx+q2qxiqxx+12rx(q2+r2)+qrqx+r2rx)=(0110)(iqxx12rx(q2+r2)qrqxr2rxirxx+12qx(q2+r2)+qrrx+q2qx),I1=01[(0110)(irxxλ+12qx(q2+r2)λ3+qrrxλ3+q2qxλ3iqxxλ+12rx(q2+r2)λ3+qrqxλ3+r2rxλ3)]T,(qr)dλ=[i2(qqxx+rrxx)+18(q2+r2)(qxrrxq)]dx,Ik=(0110)Kk(λu),(qr)dλ.

References

  1. Magri, F.: Nonlinear Evolution Equations and Dynamical Systems. Springer Lecture Notes in Physics, vol. 120, p. 233. Springer, Berlin (1980)

    Book  Google Scholar 

  2. Ablowitz, M.J., Segur, H.: Solitons and the Inverse Scattering Transform. SIAM, Philadelphia (1981)

    Book  Google Scholar 

  3. Newell, A.C.: Solitons in Mathematics and Physics. SIAM, Philadelphia (1985)

    Book  Google Scholar 

  4. Tu, G.Z.: The trace identity, a powerful tool for constructing the Hamiltonian structure of integrable systems. J. Math. Phys. 30, 330–338 (1989)

    MathSciNet  Article  Google Scholar 

  5. Ma, W.X.: A new hierarchy of Liouville integrable generalized Hamiltonian equations and its reduction. Chin. J. Contemp. Math. 13(1), 79 (1992)

    MathSciNet  Google Scholar 

  6. Qiao, Z.J.: Generation of soliton hierarchy and general structure of its commutator representations. Acta Math. Appl. Sin. 18(2), 287–301 (1995)

    MathSciNet  Article  Google Scholar 

  7. Li, Y.S.: A kind of evolution equations and the deform of spectral. Sci. Sin., Ser. A 25, 385–387 (1982) (in Chinese)

    Google Scholar 

  8. Li, Y.S., Zhu, G.C.: New set of symmetries of the integrable equations, Lie algebras and non-isospectral evolution equations: II. AKNS suystem. J. Phys. A, Math. Gen. 19, 3713–3725 (1986)

    Article  Google Scholar 

  9. Kaup, D.J., Newell, A.C.: An exact solution for a derivative nonlinear Schrödinger equation. J. Math. Phys. 19(4), 798–804 (1978)

    Article  Google Scholar 

  10. Li, Y.S., Zhuang, D.W.: Nonlinear evolution equations related to characteristic problems dependent on potential energy. Acta Math. Sin. 25(4), 464–474 (1982) (in Chinese)

    MATH  Google Scholar 

  11. Zhang, Y.F., Tam, H.: A few integrable systems and spatial spectral transformations. Commun. Nonlinear Sci. Numer. Simul. 14(11), 3770–3783 (2009)

    MathSciNet  Article  Google Scholar 

  12. Zhang, Y.F., Rui, W.J.: A few continuous and discrete dynamical systems. Rep. Math. Phys. 78(1), 19–32 (2016)

    MathSciNet  Article  Google Scholar 

  13. Chang, X.K., Hu, X.B., Li, S.H.: Moment modification, multipeakons, and nonisospectral generalizations. J. Differ. Equ. 265(9), 3858–3887 (2018)

    MathSciNet  Article  Google Scholar 

  14. Ma, W.X.: K symmetries and τ symmetries of evolution equations and their Lie algebras. J. Phys. A, Math. Gen. 23, 2707–2716 (1990)

    MathSciNet  Article  Google Scholar 

  15. Fan, E.: The integrability of nonisospectral and variable-coefficient KdV equation with binary Bell polynomials. Phys. Lett. A 375(3), 493–497 (2011)

    MathSciNet  Article  Google Scholar 

  16. Ma, W.X.: An approach for constructing non-isospectral hierarchies of evolution equations. J. Phys. A, Math. Gen. 25, L719–L726 (1992)

    Article  Google Scholar 

  17. Ma, W.X.: A simple scheme for generating nonisospectral flows from the zero curvature representation. Phys. Lett. A 179, 179–185 (1993)

    MathSciNet  Article  Google Scholar 

  18. Qiao, Z.J.: New hierarchies of isospectral and non-isospectral integrable NLEEs derived from the Harry-Dym spectral problem. Physica A 252, 377–387 (1998)

    MathSciNet  Article  Google Scholar 

  19. Zhang, Y.F., Mei, J.Q., Guan, H.Y.: A method for generating isospectral and nonisospectral hierarchies of equations as well as symmetries. J. Geom. Phys. 147(103538), 1–15 (2020)

    MathSciNet  MATH  Google Scholar 

  20. Zhang, Y.F., Wang, H.F., Bai, N.: A general method for generating nonisospectral integrable hierarchies by the use of loop algebras. Preprint

  21. Yu, F.J.: A novel non-isospectral hierarchy and soliton wave dynamics for a parity-time-symmetric nonlocal vector nonlinear Gross–Pitaevskii equations. Commun. Nonlinear Sci. Numer. Simul. 78(104852), 1–18 (2019)

    MathSciNet  Google Scholar 

  22. Gao, X.D., Zhang, S.: Inverse scattering transform for a new non-isospectral integrable non-linear AKNS model. Therm. Sci. 21(1), S153–S160 (2017)

    Article  Google Scholar 

  23. Estévz, P.G., Savdón, C.: Miura-reciprocal transformations for non-isospectral Camassa–Holm hierarchies in \(2 + 1\) dimensions. J. Nonlinear Math. Phys. 20(4), 552–564 (2013)

    MathSciNet  Article  Google Scholar 

  24. Estévz, P.G., Lejarreta, J.D., Sardón, C.: Non-isospectral \(1 + 1\) hierarchies arising from a Camassa–Holm hierarchy in \(2 + 1\) dimensions. J. Nonlinear Math. Phys. 18(1), 9–28 (2011)

    MathSciNet  Article  Google Scholar 

  25. Zhao, X.H., Tiao, B., Li, H.M., Guo, Y.J.: Solitons, periodic waves, breathers and integrability for a nonisospectral and variable-coefficient fifth-order Korteweg–de Vries equation in fluids. Appl. Math. Lett. 65, 48–55 (2017)

    MathSciNet  Article  Google Scholar 

  26. Wang, H.F., Li, C.Z.: Affine Weyl group symmetries of Frobenius Painlevé equations. Math. Methods Appl. Sci. 43, 3238–3252 (2020)

    Article  Google Scholar 

Download references

Acknowledgements

Not applicable.

Availability of data and materials

Not applicable.

Funding

This work was supported by the National Natural Science Foundation of China (grant No. 11971475).

Author information

Authors and Affiliations

Authors

Contributions

The two authors contributed equally to the manuscript and typed, read, and approved the final manuscript.

Corresponding author

Correspondence to Yufeng Zhang.

Ethics declarations

Ethics approval and consent to participate

Not applicable.

Competing interests

The authors declare that they have no competing interests.

Consent for publication

Not applicable.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Wang, H., Zhang, Y. Generating nonisospectral integrable hierarchies via a new scheme. Adv Differ Equ 2020, 170 (2020). https://doi.org/10.1186/s13662-020-02600-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-020-02600-5

PACS Codes

  • 05.45.Yv
  • 02.30.Jr
  • 02.30.Ik

Keywords

  • Nonisospectral integrable hierarchy
  • Lie algebras
  • Hamiltonian structure
  • Symmetries