## SOLUTIONS OF GENERALIZED CONSTRAINED DISCRETE KP HIERARCHY

XUEPU MU 1 , MENGYAO CHEN 1 , JIPENG CHENG 12 , ∗ , JINGSONG HE 3

- 1 School of Mathematics, China University of Mining and Technology, Xuzhou, Jiangsu 221116, China

2 Jiangsu Center for Applied Mathematics (CUMT), Xuzhou, Jiangsu 221116, China

3 Institute for Advanced Study, Shenzhen University, Shenzhen, Guangdong 518060, China

A bstract . Solutions of a generalized constrained discrete KP (gcdKP) hierarchy with constraint on Lax operator L k = ( L k ) ≥ m + ∑ l i = 1 qi ∆ -1 Λ m r i , are invesitigated by Darboux transformations TD ( f ) = f [1] · ∆ · f -1 and TI ( g ) = ( g [ -1] ) -1 · ∆ -1 · g . Due to this special constraint on Lax operator, it is showed that the generating functions f and g of the corresponding Darboux transformations, can only be chosen from (adjoint) wave functions or ( L k ) &lt; m = ∑ l i = 1 qi ∆ -1 Λ m r i . Then successive applications of Darboux transformations for gcdKP hierarchy are discussed. Finally based upon above, solutions of gcdKP hierarchy are obtained from L { 0 } = Λ by Darboux transformations.

Keywords : discrete KP hierarchy; Darboux transformation.

MSC2020 : 35Q51, 35Q53, 37K10, 37K40

PACS : 02.30.Ik

## 1. I ntroduction

KP hierarchy [10, 24, 30, 31] has been playing a significant role in mathematical physics and integrable systems. As one of important generalizations for KP hierarchy, discrete KP (dKP) hierarchy [1, 2, 4, 6, 11, 12, 21,29] is just the ( n -n ′ )-th modified KP hierarchy [16], which can be expressed by the bilinear equation below,

$$R e s _ { z } \tau ( n, t - [ z ^ { - 1 } ] ) \tau ( n ^ { \prime }, t ^ { \prime } + [ z ^ { - 1 } ] ) e ^ { \xi ( t - t ^ { \prime }, z ) } z ^ { n - n ^ { \prime } } = 0, \ \ n \geq n ^ { \prime }, n, n ^ { \prime } \in \mathbb { Z }$$

where Res z ∑ i aiz i = a -1, t = ( t 1 , t 2 , · · · ), [ z -1 ] = ( z -1 , z -2 / 2 , · · · ) and ξ ( t , z ) = ∑ + ∞ i = 1 t z i i . Notice that when n ′ = n , (1) is just the usual KP hierarchy [10, 24, 31], while for n ′ = n + 1, we will obtain the 1st mKP hierarchy [9, 17]. Both usual KP and 1st mKP hierarchies [10, 17, 24] can be expressed by pseudo-di ff erential operators ∑ i /lessmuch∞ ai ∂ i with ∂ = ∂ t 1 . As for discrete KP, the corresponding Lax opertor L is given by using shift operator Λ defined by Λ ( f ( n )) = f ( n + 1) ( Frenkel type ) [1, 2, 11] or di ff erence operator ∆ = Λ -1 ( KhesinLyubashenko- Roger (KLR) type ) [4, 12, 15, 29], that is,

$$\tilde { \nu } ^ { \infty } \ t s t _ { 0 } \ t s t _ { 0 } \ t s t _ { 0 } \ t s t _ { 0 } \\ L = \begin{cases} \Lambda + \sum _ { j = 0 } ^ { \infty } u _ { j } ( n ) \Lambda ^ { - j }, \ \text{Frenkel type} ; \\ \Delta + \sum _ { j = 0 } ^ { \infty } v _ { j } ( n ) \Delta ^ { - j }, \ \text{KLR type}. \end{cases} \\ \tilde { \nu } \text{ discussed here is also called semi-discrete KP [18] on}$$

The discrete KP hierarchy discussed here is also called semi-discrete KP [18] or di ff erential-di ff erence KP [4, 6, 15, 29], which is di ff erent from the fully discrete KP hierarchy [32].

∗ Corresponding author. Email: chengjp@cumt.edu.cn &amp; chengjipeng1983@163.com.

The whole system of discrete KP hierarchy is too big to be used freely in integrable systems. In fact, reductions of discrete KP hierarchy are more applicable, since explicit equations are widely needed in the study of integrable systems. Constrained discrete KP (cdKP) hierarchy [4, 6, 18, 19, 26, 28] is just one of famous reductions of discrete KP hierarchy defined by

$$L ^ { k } = ( L ^ { k } ) _ { \geq 0 } + \sum _ { i = 1 } ^ { l } q _ { i } \Delta ^ { - 1 } r _ { i },$$

which is just the generalization of k -reduction L k = ( L k ) ≥ 0. The cdKP hierarchy is related with RagniscoTu hierarchy [4, 6], which is a kind of discretization of the AKNS hierarchy [23]. For cdKP hierarchy, many important results have been investigated, such as Darboux transformations [26,28,33], bilinear equations [5,14], tau function description [28], Virasoro symmetries [19] and so on. But as far as we can know, there is a lack of discussion on solutions for cdKP hierarchy. In fact when discussing corresponding solutions by Darboux transformations, we usually start from one seed solution and then solve some linear di ff erential equations. Notice that when we choose the relatively simple seed solution L k = Λ k + ∆ -1 , the corresponding linear di ff erential equation f t p = ( L p ) ≥ 0( f ) is quite di ffi cult to solve. And also the corresponding solutions can only be for case l = 1.

Therefore it will be very challenging to investigate the corresponding solutions of cdKP hierarchy. Here instead, we would like to consider a generalized constrained discrete KP (gcdKP) hierarchy [26] defined by

$$L ^ { k } = ( L ^ { k } ) _ { \geq m } + \sum _ { i = 1 } ^ { l } q _ { i } \Delta ^ { - 1 } \Lambda ^ { m } r _ { i }, \ \ m \leq k,$$

which is a natural extension of usual cdKP hierarchy. In fact, one can find that cdKP constraint (2) describes the negative part of L k , while in gcdKP hierarchy, the corresponding constraint is imposed to the part of L k with Λ -order less than m . As for gcdKP, we believe it should be the analogue of the following constraints [27]

$$\mathcal { L } ^ { k } = ( \mathcal { L } ^ { k } ) _ { \geq m } + \sum _ { i = 1 } ^ { l } q _ { i } \partial ^ { - 1 } r _ { i } \partial ^ { m }, \quad m = 0, 1, 2,$$

where L = ∑ ∞ i = 0 f i ∂ 1 -i with ∂ = ∂ t 1 satisfying L t j = [( L j ) ≥ m , L ]. Notice that (4) is corresponding to constrained KP ( m = 0), constrained modified KP ( m = 1) and constrained Harry-Dym ( m = 2). Another point we would like to point out is that the structure of gcdKP also comes from generalized bigraded Toda hierarchy [22], which is the analogue of the famous constrained KP hierarchy [7, 8] and can be viewed as the corresponding 2-component generalization.

In this paper, we have firstly reviewed some backgrounds on discrete KP hierarchy and its Darboux transformations [20,26] TD ( f ) = f [1] · ∆ · f -1 and TI ( g ) = ( g [ -1] ) -1 · ∆ -1 · g , then we find that there are two choices for f and g in Darboux transformations of gcdKP hierarchy: (adjoint) wave functions (called Oevel methods [25]) and ∑ l i = 1 qi ∆ -1 Λ m ri (called Aratyn methods [3]). Then successive applications of TD and TI are discussed after explanations of two special points in Aratyn methods. After the preparation above, we find that the methods to

obtain solutions for general l in gcdKP hierarchy (3) and give some examples. Finally some conclusions and discussions are given.

## 2. D iscrete KP hierarchy

In this section, we will review some basic facts on discrete KP hierarchy and some results on discrete KP Darboux transformations. One can refer to [1, 2, 20, 28] for more details.

Firstly the discrete KP (dKP) hierarchy is defined by the Lax equation below

$$L _ { t _ { i } } = [ ( L ^ { i } ) _ { \geq 0 }, L ], \ \ i = 1, 2, \cdots$$

with Lax operator L given by

$$L = \Lambda + \sum _ { j = 0 } ^ { \infty } u _ { j } ( n ) \Lambda ^ { - j },$$

In this paper, we use the following symbols for A = ∑ i ai Λ i ,

$$A _ { \geq k } = \sum _ { i \geq k } a _ { i } \Lambda ^ { i }, \ \ A _ { < k } = \sum _ { i < k } a _ { i } \Lambda ^ { i }, \ \ A _ { [ k ] } = a _ { k }, \ \ A ^ { * } = \sum _ { i } \Lambda ^ { - i } a _ { i }.$$

And for any function f , we use f [ ] l = f ( n + l ). The symbol A f ( ) indicates the action of A on f , whereas the symbol Af or A · f will denote the operator product of A and f .

The dKP Lax operator L can be represented by dressing operator

$$W = 1 + \sum _ { j = 1 } ^ { \infty } w _ { j } ( n ; t ) \Lambda ^ { - j },$$

such that

$$L = W \Lambda W ^ { - 1 }.$$

Then Lax equation (5) is equivalent to Sato equation,

$$W _ { t _ { i } } & = - ( L ^ { i } ) _ { < 0 } W.$$

Further define wave function w n t z ( ; , ) and adjoint wave function w ∗ ( n t ; , z ) as follows,

$$w ( n ; t, z ) = \left ( W ( n, \Lambda ) e ^ { \xi ( t, \Lambda ) } \right ) ( z ^ { n } ), \quad w ^ { * } ( n ; t, z ) = \left ( ( W ^ { - 1 } ( n, \Lambda ) ) ^ { * } e ^ { - \xi ( t, \Lambda ^ { - 1 } ) } \right ) ( z ^ { - n } ),$$

satisfying

$$L ^ { i } ( w ) = z ^ { j } w, \quad \partial _ { t _ { i } } w = ( L ^ { i } ) _ { \geq 0 } ( w ), \quad ( L ^ { i } ) ^ { * } ( w ^ { * } ) = z ^ { i } w ^ { * }, \quad \partial _ { t _ { i } } w ^ { * } = - ( ( L ^ { i } ) _ { \geq 0 } ) ^ { * } ( w ^ { * } ).$$

Wave function w n t z ( ; , ) and adjoint wave function w ∗ ( n t ; , z ) can be generalized to eigenfunction q and adjoint eigenfunction r , which are defined by

$$q _ { t _ { i } } = ( L ^ { i } ) _ { \geq 0 } ( q ), \quad r _ { t _ { i } } = - ( ( L ^ { i } ) _ { \geq 0 } ) ^ { * } ( r ).$$

Lemma 1. [1] Let A n ( , Λ = ) ∑ i ai ( n ) Λ i , B n ( , Λ = ) ∑ i bk ( n ) Λ k be two operators, then

$$A ( n, \Lambda ) \cdot B ( n, \Lambda ) ^ { * } = \sum _ { j \in \mathbb { Z } } \text{Res} _ { z } z ^ { - 1 } \left ( A ( n, \Lambda ) ( z ^ { \pm n } ) \cdot B ( n + j, \Lambda ) ( z ^ { \mp n \not = j } ) \right ) \Lambda ^ { j },$$

According to (8) and Lemma 1, we can find w n t z ( ; , ) and w ∗ ( n t ; , z ) satisfy the bilinear equation below

$$R e s _ { z } z ^ { - 1 } w ( n ; t, z ) w ^ { * } ( n ^ { \prime } ; t ^ { \prime }, z ) = 0, \ \ n > n ^ { \prime }.$$

It can be proved there exists a tau function τ ( n t ; ) for dKP hierarchy such that

$$w ( n ; t, z ) = \frac { \tau ( n ; t - [ z ^ { - 1 } ] ) } { \tau ( n ; t ) } z ^ { n } e ^ { \xi ( t, z ) }, \quad w ^ { * } ( n ; t, z ) = \frac { \tau ( n + 1 ; t + [ z ^ { - 1 } ] ) } { \tau ( n + 1 ; t ) } z ^ { - n } e ^ { - \xi ( t, z ) },$$

Further, one can find coe ffi cients of Lax operator L can be expressed as tau functions by (6) and (7), that is,

$$u _ { 0 } = \partial _ { t _ { 1 } } \log \frac { \tau _ { n + 1 } ( t ) } { \tau _ { n } ( t ) }, \quad u _ { - 1 } = \partial _ { t _ { 1 } } ^ { 2 } \log \tau _ { n } ( t ), \ \cdots.$$

Further, (10) can be written as:

$$\text{Res} _ { z } \tau ( n, t - [ z ^ { - 1 } ] ) \tau ( n ^ { \prime }, t ^ { \prime } + [ z ^ { - 1 } ] ) e ^ { \xi ( t - t ^ { \prime }, z ) } z ^ { n - n ^ { \prime } } = 0, \ \ n \geq n ^ { \prime }.$$

Given an operator T and dKP Lax operator L , if L { 1 } = TLT -1 satisfy dKP Lax equation, that is,

$$L _ { t _ { 1 } } ^ { \{ 1 \} } = [ ( L ^ { \{ 1 \} } ) _ { \geq 0 } ^ { i }, L ^ { \{ 1 \} } ],$$

then T is called Darboux transformation operator of the dKP hierarchy [20, 26]. Just as we know, the dKP hierarchy has two classes of basic Darboux transformation operators [20, 26],

$$\bullet T _ { D } ( f ) = f ^ { [ 1 ] } \cdot \Delta \cdot f ^ { - 1 },$$

$$\bullet T _ { I } ( g ) = ( g ^ { [ - 1 ] } ) ^ { - 1 } \cdot \Delta ^ { - 1 } \cdot g,$$

where f is dKP eigenfunction and g is dKP adjoint eigenfunction.

Proposition 2. [20, 26, 28] Under TD ( f 1) , the corresponding transformations of eigenfunction f , adjoint eigenfunction g, and tau function τ of the dKP hierarchy are

$$f \to f ^ { ( 1 ) } = T _ { D } ( f _ { 1 } ) f, \ \ g \to g ^ { ( 1 ) } = ( T _ { D } ^ { - 1 } ( f _ { 1 } ) ) ^ { * } g, \ \tau \to \tau ^ { ( 1 ) } = f _ { 1 } \tau.$$

Under TI ( g 1) , the corresponding transformations are

$$f \to f ^ { ( 1 ) } = T _ { I } ( g _ { 1 } ) f, \ \ g = g ^ { ( 1 ) } = ( T _ { I } ^ { - 1 } ( g _ { 1 } ) ) ^ { * } g, \ \ \tau = \tau ^ { ( 1 ) } = g _ { 1 } ^ { [ - 1 ] } \tau.$$

Proposition 3. [28] The basic dKP Darboux transformation TD and TI can commute with each other, which can be shown in the figure below.

/d55

/d55

/d39

/d39

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00383v1-figure-ebc427ed-d34e-421d-b664-f83ed6b22887.jpg)

/d55

/d55

/d39

/d39

Here α, β ∈ { D I , T , } { 1 } α and T { 1 } β represents the Darboux transformation operators generated by eigenfunction or adjoint eigenfunction corresponding to L { 1 } . The figure shows that the following relations hold,

$$T _ { I } ( g ^ { ( 1 ) } ) T _ { D } ( f ) & = T _ { D } ( f ^ { ( 1 ) } ) T _ { I } ( g ), \\ T _ { D } ( f _ { 1 } ^ { ( 1 ) } ) T _ { D } ( f _ { 2 } ) & = T _ { D } ( f _ { 2 } ^ { ( 1 ) } ) T _ { D } ( f _ { 1 } ), \\ T _ { I } ( g _ { 1 } ^ { ( 1 ) } ) T _ { I } ( g _ { 2 } ) & = T _ { I } ( g _ { 2 } ^ { ( 1 ) } ) T _ { I } ( g _ { 1 } ),$$

$$\omega _ { 1 } \, \nu _ { 1 } \, \omega _ { 2 } \, = \, \omega _ { 1 } \, \omega _ { 2 } \, \omega _ { 1 }$$

where A { 1 } represents the result of A under the action of the second T. For example, in TI ( g { 1 } ) TD ( f ) , g { 1 } = ( T D -1 ( f )) ∗ ( g . )

Due to (12), we can only discuss the following Darboux chain

$$L ^ { [ 0 ] } \xrightarrow { T _ { D } ( f _ { 1 } ^ { ( 0 ) } ) } L ^ { [ 1 ] } \xrightarrow { T _ { D } ( f _ { 2 } ^ { ( 1 ) } ) } L ^ { [ 2 ] } \xrightarrow { T _ { D } ( f _ { 3 } ^ { ( 2 ) } ) } \cdots \xrightarrow { T _ { D } ( f _ { M - 1 } ^ { ( M - 2 ) } ) } L ^ { [ M - 1 ] } \xrightarrow { T _ { D } ( f _ { M } ^ { ( M - 1 ) } ) } L ^ { [ M ] } \\ \xrightarrow { T _ { I } ( g _ { 1 } ^ { ( M ) } ) } L ^ { [ M + 1 ] } \xrightarrow { T _ { I } ( g _ { 2 } ^ { ( M + 1 ) } ) } \cdots \xrightarrow { T _ { I } ( g _ { N - 1 } ^ { ( M + N - 2 ) } ) } L ^ { [ M + N - 1 ] } \xrightarrow { T _ { I } ( g _ { N } ^ { ( M + N - 1 ) } ) } L ^ { [ M + N ] },$$

where f { 0 } j and g { 0 } j are the corresponding eigenfunctions and adjoint eigenfunctions with respect to L { 0 } , respectively. In what follows, we will denote

$$T ^ { \{ M, N \} } ( f _ { 1 }, \cdots, f _ { M } ; g _ { 1 }, \cdots, g _ { N } ) = T _ { I } ( g _ { N } ^ { \{ N + M - 1 \} } ) \cdots T _ { I } ( g _ { 1 } ^ { \{ M \} } ) T _ { D } ( f _ { M } ^ { \{ M - 1 \} } ) \cdots T _ { D } ( f _ { 1 } ^ { \{ 0 \} } ).$$

Sometimes we also use T { MN , } ( /vector M N , /vector ) or T { MN , } for short, where /vector M = ( M M , -1 , · · · , 2 1) and , /vector N = ( N N , -1 , · · · , 2 1). , In Appendix, determinant formulas for T { MN , } [20,28] are given. For dKP object A , we denote A M N { , } ( /vector M N , /vector ) or A M N { + } to be the transformed object A under T { MN , } ( /vector M N , /vector ) .

## 3. G eneralized constrained discrete KP hierarchy

In this section, we firstly show the gcdKP hierarchy is well-defined, then its equivalent bilinear formulation is given. Finally, some examples of gcdKP hierarchy are given. Firstly, the ( k m l , , )-gcdKP hierarchy [26] ( k ≥ m k , ≥ 1 , l ≥ 1) is defined by the following system:

$$L ^ { k } & = \Lambda ^ { k } + u _ { k - 1 } \Lambda ^ { k - 1 } + \dots + u _ { m } \Lambda ^ { m } + \sum _ { j = 1 } ^ { l } q _ { j } \Lambda ^ { m } \Delta ^ { - 1 } r _ { j }, & ( 1 4 )$$

$$L _ { \tau _ { i } } = [ ( L ^ { i } ) _ { \geq 0 }, L ],$$

$$q _ { j, t _ { i } } = ( L ^ { i } ) _ { \geq 0 } ( q _ { j } ), \quad r _ { j, t _ { i } } = - ( ( L ^ { i } ) _ { \geq 0 } ) ^ { * } ( r _ { j } ),$$

where ∆ = Λ -1 and ∆ -1 = ∑ + ∞ i = 1 Λ -i . This system is well-defined, which can be seen from following proposition.

Proposition 4. The ( k m l -gcdKP hierarchy , , ) (14) satisfies

$$\partial _ { t _ { i } } ( L _ { < m } ^ { k } - \sum _ { j = 1 } ^ { l } q _ { j } \Lambda ^ { m } \Delta ^ { - 1 } r _ { j } ) = 0.$$

Proof. Firstly by (14), L k &lt; m = ∑ l j = 1 qj Λ ∆ m -1 r j . Then by (15), we know

$$\partial _ { t _ { i } } ( L _ { < m } ^ { k } ) = ( B _ { k } \cdot \sum _ { j = 1 } ^ { l } q \Delta ^ { - 1 } r ^ { [ m ] } ) _ { < 0 } \Lambda ^ { m } - ( \sum _ { j = 1 } ^ { l } q \Delta ^ { - 1 } r ^ { [ m ] } \cdot B _ { k } ^ { [ m ] } ) _ { < 0 } \Lambda ^ { m }.$$

Then by using (16) and formulas for operator A and function f ,

$$( A _ { \geq 0 } f \Delta ^ { - 1 } ) _ { < 0 } = A _ { \geq 0 } ( f ) \Delta ^ { - 1 }, \ \ ( \Delta ^ { - 1 } f A _ { \geq 0 } ) _ { < 0 } = \Delta ^ { - 1 } A _ { \geq 0 } ^ { * } ( f ),$$

we can get ∂ t i ( L k &lt; m ) is consistent with ∂ t i ( ∑ l j = 1 q Λ ∆ m -1 r

$$q \Lambda ^ { m } \Delta ^ { - 1 } r ). & & \Box$$

The ( k m l , , )-gcdKP hierarchy can also be expressed by bilinear equations.

Theorem 5. Given ( k m l -gcdKP hierarchy, let w n , , ) ( ; t , z ) and w ∗ ( n t ; , z ) be corresponding wave function and adjoint wave function respectively, then L k &lt; m = ∑ l j = 1 qj Λ ∆ m -1 r j is equivalent to

$$\text{Res} _ { z } z ^ { - 1 + k } w ( n ; t, z ) w ^ { * } ( n ^ { \prime } ; t ^ { \prime }, z ) = \sum _ { j = 1 } ^ { l } q _ { j } ( n, t ) r _ { j } ( n ^ { \prime }, t ^ { \prime } ), \quad n - n ^ { \prime } > - m.$$

Proof. Firstly by ∂ t i w n t z ( ; , ) = L i ≥ 0 ( w n t z ( ; , )) , ∂ t i q n t ( , ) = L i ≥ 0 ( q n t ( , )) and Taylor expansion, we can know (18) is equivalent to

$$\text{Res} _ { z } z ^ { - 1 + k } w ( n ; t, z ) w ^ { * } ( n + i, t, z ) = \sum _ { j = 1 } ^ { l } q _ { j } ( n, t ) r _ { j } ( n + i, t ), \quad i < m,$$

that is

$$\sum _ { i < m } \text{Res} _ { z } z ^ { - 1 + k } w ( n ; t, z ) w ^ { * } ( n + i ; t, z ) \Lambda ^ { i } = \sum _ { i < m } \left ( \sum _ { j = 1 } ^ { l } q _ { j } ( n, t ) r _ { j } ( n + i, t ) \right ) \Lambda ^ { i }.$$

Further by Lemma 1, we can find (19) is equivalent to

$$\left ( W ( n, \Lambda ) \Lambda ^ { k } W ( n, \Lambda ) ^ { - 1 } \right ) _ { < m } = \sum _ { i < m } \left ( \sum _ { j = 1 } ^ { l } q _ { j } ( n, t ) r _ { j } ( n + i, t ) \right ) \Lambda ^ { i } = \sum _ { j = 1 } ^ { l } q _ { j } ( n, t ) \Lambda ^ { m } \Delta ^ { - 1 } r _ { j } ( n, t ),$$

that is ( L k ) &lt; m = ∑ l j = 1 qj ( n t , ) Λ ∆ m -1 r j ( n t , ). So we finish this proof.

Next we give some examples for the ( k m l , , )-gcdKP hierarchy.

/square

Example 6. · When k = 1 , m = 0 and l = 1 ,

- 1) t 1 flow:

$$& \partial _ { t _ { 1 } } u _ { 0 } = q ^ { [ 1 ] } r - q r ^ { [ - 1 ] }, \\ & \partial _ { t _ { 1 } } q = q ^ { [ 1 ] } + u _ { 0 } q, \\ & \partial _ { t _ { 1 } } r = - r ^ { [ - 1 ] } - u _ { 0 } r.$$

- 2) t 2 flow:

$$& \partial _ { t _ { 2 } } u _ { 0 } = q ^ { [ 2 ] } r + q ^ { [ 1 ] } r u _ { 0 } ^ { [ 1 ] } + q ^ { [ 1 ] } r u _ { 0 } - q r ^ { [ - 2 ] } - q r ^ { [ - 1 ] } u _ { 0 } - q r ^ { [ - 1 ] } u _ { 0 } ^ { [ - 1 ] }, \\ & \partial _ { t _ { 2 } } q = q ^ { [ 2 ] } + u _ { 0 } ^ { [ 1 ] } q ^ { [ 1 ] } + u _ { 0 } q ^ { [ 1 ] } + u _ { 0 } ^ { 2 } q + q ^ { [ 1 ] } r q + q r ^ { [ - 1 ] } q, \\ & \partial _ { t _ { 2 } } r = - r ^ { [ - 2 ] } - u _ { 0 } ^ { [ - 1 ] } r ^ { [ - 1 ] } - u _ { 0 } r ^ { [ - 1 ] } - u _ { 0 } ^ { 2 } r - q ^ { [ 1 ] } r ^ { 2 } - q r ^ { [ - 1 ] } r.$$

- · When k = m = 1 and l = 1 ,

$$L = \Lambda + q \Lambda \Delta ^ { - 1 } r.$$

- 1) t 1 flow:

$$& \partial _ { t _ { 1 } } q = q ^ { [ 1 ] } + q ^ { 2 } r, \\ & \partial _ { t _ { 1 } } r = - r ^ { [ - 1 ] } - q r ^ { 2 }.$$

$$\ast$$

- 2) t 2 flow:

$$\partial _ { t _ { 1 } } q & = q ^ { [ 2 ] } - q ^ { 2 [ 1 ] } r ^ { [ 1 ] } - q r q ^ { [ 1 ] } + q ^ { [ 1 ] } r q + q ^ { 2 } r ^ { [ - 1 ] } + q ^ { 3 } r ^ { 2 }, \\ \partial _ { t _ { 1 } } r & = - r ^ { [ - 2 ] } + q ^ { [ 1 ] } r ^ { [ 1 ] } r ^ { [ - 1 ] } + q r r ^ { [ - 1 ] } - q ^ { [ 1 ] } r ^ { 2 } - q r ^ { [ - 1 ] } r - q ^ { 2 } r ^ { 3 }.$$

- · When k = 1 , m = -1 and l = 1 ,

$$L = \Lambda + u _ { 0 } + u _ { - 1 } \Lambda ^ { - 1 } + q \Lambda ^ { - 1 } \Delta ^ { - 1 } r.$$

- 1) t 1 flow:

$$& \partial _ { t _ { 1 } } u _ { 0 } = u _ { - 1 } ^ { [ 1 ] } - u _ { - 1 }, \\ & \partial _ { t _ { 1 } } u _ { - 1 } = u _ { 0 } u _ { - 1 } - u _ { - 1 } u _ { 0 } ^ { [ - 1 ] } + q ^ { [ 1 ] } r ^ { [ - 1 ] } - q r ^ { [ - 2 ] }, \\ & \partial _ { t _ { 1 } } q = q ^ { [ 1 ] } + u _ { 0 } q, \\ & \partial _ { t _ { 1 } } r = - r ^ { [ - 1 ] } - u _ { 0 } r.$$

$$\sigma _ { t _ { 1 } } r = - r ^ { \bullet } \, \nu - u _ { 0 } r.$$

## 2) t 2 flow:

$$& \partial _ { t _ { 2 } } u _ { 0 } = q ^ { [ 2 ] } r - q r ^ { [ - 2 ] } + ( u _ { 0 } ^ { [ 1 ] } + u _ { 0 } ) u _ { - 1 } ^ { [ 1 ] } - u _ { - 1 } ( u _ { 0 } + u _ { 0 } ^ { [ - 1 ] } ), \\ & \partial _ { t _ { 2 } } u _ { - 1 } = u _ { 0 } ^ { 2 } u _ { - 1 } - u _ { - 1 } u _ { 0 } ^ { 2 [ - 1 ] } + q ^ { [ 2 ] } r ^ { [ - 1 ] } + ( u _ { 0 } ^ { [ 1 ] } + u _ { 0 } ) q ^ { [ 1 ] } r ^ { [ - 1 ] } - q r ^ { [ - 2 ] } ( u _ { 0 } ^ { [ - 1 ] } + u _ { 0 } ^ { [ - 2 ] } ) - q r ^ { [ - 3 ] },$$

$$L = \Lambda + u _ { 0 } + q \Delta ^ { - 1 } r.$$

$$\partial _ { t _ { 2 } } q = q ^ { [ 2 ] } + ( u _ { 0 } ^ { [ 1 ] } + u _ { 0 } ) q ^ { [ 1 ] } + u _ { 0 } ^ { 2 } q + u _ { - 1 } ^ { [ 1 ] } q + u _ { - 1 } q,$$

$$\partial _ { t _ { 2 } } r = - r ^ { [ - 2 ] } - ( u _ { 0 } ^ { [ - 1 ] } + u _ { 0 } ) r ^ { [ - 1 ] } - u _ { 0 } ^ { 2 } r - u _ { - 1 } ^ { [ 1 ] } r - u _ { - 1 } r.$$

## 4. D arboux transformations for generalized constrained discrete KP hierarchy

Due to the special constraint on Lax operator, the generating functions f and g in dKP Darboux transformations TD ( f ) and TI ( g ) can not be chosen arbitrarily. In the section, Darboux transformations for gcdKP hierarchy are obtained by suitable choice of special f and g , and also the corresponding successive applications are given.

- 4.1. Darboux transformations for the ( k m l , , ) -gcdKP hierarchy. Given an operator T and Lax operator L of the ( k m l , , )-gcdKP hierarchy, if L { 1 } = TLT -1 satisfies

$$\partial _ { t _ { i } } L ^ { ( 1 ) } = [ ( L ^ { ( 1 ) } ) ^ { i } _ { \geq 0 }, L ^ { ( 1 ) } ],$$

$$( L ^ { k } ) ^ { ( 1 ) } = ( L ^ { k } ) ^ { ( 1 ) } _ { \geq m } + \sum _ { j = 1 } ^ { l } q ^ { ( 1 ) } _ { j } \Lambda ^ { m } \Delta ^ { - 1 } r ^ { ( 1 ) } _ { j },$$

$$q _ { j, t _ { i } } ^ { ( 1 ) } = ( L ^ { ( 1 ) } ) _ { \geq 0 } ^ { i } ( q _ { j } ^ { ( 1 ) } ), \ \ r _ { j, t _ { i } } = - ( ( L ^ { ( 1 ) } ) _ { \geq 0 } ^ { i } ) ^ { * } ( r _ { j } ^ { ( 1 ) } ),$$

then T is called Darboux transformation operator of the ( k m l , , )-gcdKP hierarchy (14).

Lemma 7. For any operator A and functions f ,

$$\left ( T _ { D } ( f ) \cdot A _ { \geq m } \cdot T _ { D } ^ { - 1 } ( f ) \right ) _ { < m } = \left ( T _ { D } ( f ) \cdot A _ { \geq m } \right ) ( f ) \cdot \Lambda ^ { m } \Delta ^ { - 1 } \cdot ( f ^ { [ 1 ] } ) ^ { - 1 }, \\ \cdot$$

l

l

TD

(

f

)

·

=

j

1

(

∑

qj

m

-

Λ ∆

1

r j

·

-

1

T D

(

f

)

)

=

TD

(

f

)

·

qj

Λ ∆

m

-

1

r j

(

f

)

·

Λ ∆

m

-

1

·

(

f

[1]

)

-

1

=

∑(

j

1

)

$$+ \sum _ { j = 0 } ^ { l } ( T _ { D } ( f ) ) ( q _ { j } ) \cdot \Lambda ^ { m } \Delta ^ { - 1 } \cdot ( T _ { D } ^ { - 1 } ( f ) ) ^ { * } ( r _ { j } ). \quad \quad ( 2 1 )$$

$$j = 0$$

Proof. Firstly notice that

$$\left ( T _ { D } ( f ) \cdot A _ { \geq m } \cdot T _ { D } ^ { - 1 } ( f ) \right ) _ { < m } = \left ( T _ { D } ( f ) \cdot A _ { \geq m } \cdot \Lambda ^ { - m } f ^ { [ m ] } \Delta ^ { - 1 } \right ) _ { < 0 } ( f ^ { [ m + 1 ] } ) ^ { - 1 } \Lambda ^ { m },$$

then by (17), we can get (20). As for (21), by using the formula for Xi = f i ∆ -1 gi ( i = 1 2), ,

$$X _ { 1 } \cdot X _ { 2 } = X _ { 1 } ( f _ { 2 } ) \cdot \Delta ^ { - 1 } \cdot g _ { 2 } + f _ { 1 } \cdot \Delta ^ { - 1 } \cdot X _ { 2 } ^ { * } ( g _ { 1 } ),$$

we have

$$T _ { D } ( f ) \cdot q \Lambda ^ { m } \Delta ^ { - 1 } r \cdot T _ { D } ^ { - 1 } ( f ) = & \left ( T _ { D } ( f ) \cdot q \Delta ^ { - 1 } r ^ { [ m ] } \cdot T _ { D } ^ { - 1 } ( f ^ { [ m ] } ) \right ) _ { < 0 } \Lambda ^ { m } \\ = & \left ( T _ { D } ( f ) \cdot ( q \Delta ^ { - 1 } r ^ { [ m ] } ) ( f ^ { [ m ] } ) \cdot \Delta ^ { - 1 } \cdot ( f ^ { [ m + 1 ] } ) ^ { - 1 } \right ) _ { < 0 } \Lambda ^ { m } \\ & + \left ( T _ { D } ( f ) \cdot q \cdot \Delta ^ { - 1 } \cdot ( T _ { D } ^ { - 1 } ( f ^ { [ m ] } ) ) ^ { * } ( r ^ { [ m ] } ) \right ) _ { < 0 } \Lambda ^ { m }.$$

$$+ \left ( T _ { D } ( f ) \cdot q \cdot \Delta ^ { - 1 } \cdot ( T _ { D } ^ { - 1 } ( f ^ { [ m ] } ) ) ^ { * } ( r ^ { [ m ] } ) \right ) _ { < 0 } \Lambda ^ { m }.$$

Finally by (17), we can get (21).

m

&lt;

Similarly, we can get the next lamma.

Lemma 8. For any operator A and functions g,

$$\left ( T _ { I } ( g ) \cdot A _ { \geq m } \cdot T _ { I } ^ { - 1 } ( g ) \right ) _ { < m } = ( g ^ { [ - 1 ] } ) ^ { - 1 } \cdot \Lambda _ { \substack { \lambda ^ { m } } \Delta ^ { - 1 } \cdot \left ( A _ { \geq m } \cdot T _ { I } ^ { - 1 } ( g ) \right ) ^ { * } ( g ) },$$

$$\left ( T _ { I } ( g ) \cdot \sum _ { j = 1 } ^ { l } q _ { j } \Lambda ^ { m } \Delta ^ { - 1 } r _ { j } \cdot T _ { I } ^ { - 1 } ( g ) \right ) _ { < m } = \sum _ { j = 0 } ^ { l } T _ { I } ( g ) ( q _ { j } ) \cdot \Lambda ^ { m } \Delta ^ { - 1 } \cdot ( T _ { I } ^ { - 1 } ( g ) ) ^ { * } ( r _ { j } )$$

$$+ \sum _ { j = 1 } ^ { l } ( g ^ { [ - 1 ] } ) ^ { - 1 } \cdot \Lambda ^ { m } \Delta ^ { - 1 } \cdot \left ( ( q _ { j } \Lambda ^ { m } \Delta ^ { - 1 } r _ { j } ) \cdot T _ { I } ^ { - 1 } ( g ) \right ) ^ { * } ( g ).$$

Proposition 9. Under Darboux transformation operator T = TD ( f ) or TI ( g , the Lax operator L of the ) ( k m l -, , ) gcdKP hierarchy (14) becomes

$$( L ^ { k } ) ^ { ( 1 ) } = ( L ^ { k } ) _ { \geq m } + q _ { 0 } ^ { ( 1 ) } \Lambda ^ { m } \Delta ^ { - 1 } r _ { 0 } ^ { ( 1 ) } + \sum _ { j = 1 } ^ { l } q _ { j } ^ { ( 1 ) } \Lambda ^ { m } \Delta ^ { - 1 } r _ { j } ^ { ( 1 ) }.$$

- · Under the action of TD ( f ) :

$$q _ { 0 } ^ { ( 1 ) } = ( T _ { D } ( f ) \cdot L ^ { k } ) ( f ), \quad r _ { 0 } ^ { ( 1 ) } = ( f ^ { ( 1 ) } ) ^ { - 1 },$$

$$q _ { j } ^ { ( 1 ) } = ( T _ { D } ( f ) ) ( q ), \quad \ \ r _ { j } ^ { ( 1 ) } = ( T _ { D } ^ { - 1 } ( f ) ) ^ { * } ( r ).$$

$$q _ { 0 } ^ { ( 1 ) } = ( g ^ { [ - 1 ] } ) ^ { - 1 }, \quad r _ { 0 } ^ { ( 1 ) } = ( L ^ { k } \cdot T _ { I } ^ { - 1 } ( g ) ) ^ { * } ( g ),$$

$$q _ { j } ^ { ( 1 ) } = ( T _ { I } ( g ) ) ( q ), \quad r _ { j } ^ { ( 1 ) } = ( T _ { I } ^ { - 1 } ( g ) ) ^ { * } ( r ).$$

Notice that, there are l + 1 terms for ( L k ) { 1 } &lt; m in (22). However, there are l terms for ( L k ) &lt; m in (14). In order to make (22) consistent with (14), one of the terms in ( L k ) { 1 } &lt; m must be zero. Usually, we have two methods to do this. In the first way, we can set

$$q _ { 0 } ^ { \{ 1 \} } \Lambda ^ { m } \Delta ^ { - 1 } r _ { 0 } ^ { \{ 1 \} } = 0,$$

which is called Oevel method [25]. In this way,

$$( L ^ { k } ) ^ { ( 1 ) } = ( L ^ { k } ) _ { \geq m } + \sum _ { j = 1 } ^ { l } q _ { j } ^ { ( 1 ) } \Lambda ^ { m } \Delta ^ { - 1 } r _ { j } ^ { ( 1 ) },$$

where q { 1 } j and r { 1 } j is given by (24) or (26) . Actually, when T = TD ( f ), we can take f ( ) t = w n t z ( ; , ), then q { 1 } 0 = ( TD ( f ) · L k )( q ) = 0 While in the case . T = TI ( g ), we can set g t ( ) = w ∗ ( n t ; , z ), then r { 1 } 0 = ( L k · T I -1 ( g )) ∗ ( g ) = 0 .

In the second way, we can set

$$q _ { j _ { 0 } } ^ { \{ 1 \} } \Lambda ^ { m } \Delta ^ { - 1 } r _ { j _ { 0 } } ^ { \{ 1 \} } = 0,$$

for fixed j 0, 1 ≤ j 0 ≤ l , which is called Aratyn method [3]. In this case,

$$( L ^ { k } ) ^ { ( 1 ) } = ( L ^ { k } ) _ { \geq m } + q _ { 0 } ^ { \{ 1 \} } \Lambda ^ { m } \Delta ^ { - 1 } r _ { 0 } ^ { \{ 1 \} } + \sum _ { j \neq j _ { 0 } } q _ { j } ^ { \{ 1 \} } \Lambda ^ { m } \Delta ^ { - 1 } r _ { j } ^ { \{ 1 \} },$$

- · Under the action of TI ( g : )

where q { 1 } 0 and r { 1 } 0 are given by (23) and (25), while q { 1 } j and r { 1 } j ( j /nequal j 0) are given by (24) and (26). Notice that, when T = TD ( f ), take f ( ) t = qj 0 ( ), t then q { 1 } j 0 = ( TD ( f ))( q ) = 0 . While in the case T = TI ( g ), we can set g t ( ) = r j 0 ( ), t then r { 1 } j 0 = ( T I -1 ( g )) ∗ ( r ) = 0 . In this method, we can let q { 1 } 0 and r { 1 } 0 as new q { 1 } j 0 and r { 1 } j 0 respectively. Finally, we summarize the above results in the following theorem.

Theorem 10. Under Darboux transformation operator TD ( f ) and TI ( g , the Lax operator L of ) ( k m l -gcdKP , , ) hierarchy will become

$$( L ^ { k } ) ^ { \{ 1 \} } = ( L ^ { k } ) ^ { \{ 1 \} } _ { \geq m } + \sum _ { j = 1 } ^ { l } q _ { j } ^ { \{ 1 \} } \Lambda ^ { m } \Delta ^ { - 1 } r _ { j } ^ { \{ 1 \} },$$

where q { 1 } j and r { 1 } j are given in the tables below.

T able 1. Oevel method

|         | q { 1 } j =         | r { 1 } j =                |
|---------|---------------------|----------------------------|
| f = w   | ( T D ( w ))( q )   | ( T - 1 D ( w )) ∗ ( r )   |
| g = w ∗ | ( T I ( w ∗ ))( q ) | ( T - 1 I ( w ∗ )) ∗ ( r ) |

T able 2. Aratyn method ( j /nequal j 0 , r /nequal r 0)

|           | q { 1 } 0 =                   | r { 1 } 0 =                            | q { 1 } j =        | r { 1 } j =                  |
|-----------|-------------------------------|----------------------------------------|--------------------|------------------------------|
| f = q j 0 | T D ( q j 0 ) · L k ( q j 0 ) | ( q [1] j 0 ) - 1                      | T D ( q j 0 )( q ) | ( T - 1 D ( q j 0 )) ∗ ( r ) |
| g = r j 0 | ( r [ - 1] j 0 ) - 1          | ( L k · T - 1 I ( r j 0 )) ∗ ( r j 0 ) | T I ( r j 0 )( q ) | ( T - 1 I ( r j 0 )) ∗ ( r ) |

4.2. The successive applications of Darboux transformation. In the ( k m l , , )-gcdKP hierarchy, the successive applications of Darboux transformation are di ff erent from the unconstrained case. There are two important points in Aratyn method which are showed as follows.

Firstly, the following Darboux chain

$$L ^ { ( 0 ) } \xrightarrow { T _ { \alpha } ( f ^ { ( 0 ) } ) } L ^ { ( 1 ) } \xrightarrow { T _ { \alpha } ( f ^ { ( 1 ) } ) } L ^ { ( 2 ) } \xrightarrow { T _ { \alpha } ( f ^ { ( 2 ) } ) } \cdots \xrightarrow { T _ { \alpha } ( f ^ { ( M - 1 ) } ) } L ^ { ( M ) },$$

is equivalent to the following chain

$$L ^ { ( 0 ) } \xrightarrow { T _ { \alpha } ( h _ { \alpha, 0 } ^ { ( 0 ) } ) } L ^ { ( 1 ) } \xrightarrow { T _ { \alpha } ( h _ { \alpha, 1 } ^ { ( 1 ) } ) } L ^ { ( 2 ) } \xrightarrow { T _ { \alpha } ( h _ { \alpha, 2 } ^ { ( 2 ) } ) } \cdots \xrightarrow { T _ { \alpha } ( h _ { \alpha, M - 1 } ^ { ( M - 1 ) } ) } L ^ { ( M ) },$$

where we can take D or I for α . When T α = TD (or TI ), f is eigenfunction q (or adjoint eigenfunction r ) in ∑ l j = 1 qj Λ ∆ m -1 r j . When T α = TD , h α, j = ( L { 0 } k ) j ( f ), while for T α = TI , h α, j = ( L { 0 } k ∆ -1 ) ∗ ( f ). In fact, we can find h α, 0 , h α, 1 , h α, 2 , · · · , h α, M -1 are independent eigenfunctions (or adjoint eigenfunctions) corresponding to L { 0 } . According to Proposition 9, we can obtain f { j } = h { j } α, j . Therefore,

$$T _ { \alpha } ( f ^ { ( M - 1 ) } ) \cdots T _ { \alpha } ( f ^ { ( 1 ) } ) T _ { \alpha } ( f ^ { ( 0 ) } ) = T ^ { ( \alpha, M ) } ( h _ { \alpha, 0 }, h _ { \alpha, 1 }, \cdots, h _ { \alpha, M - 1 } ),$$

where ( D M , ) = { M , 0 } and ( I , M ) = { 0 , M } .

Secondly, since TI ( r { 1 } j 0 ) TD q ( { 0 } j 0 ) = TD q ( { 1 } j 0 ) TI ( r { 0 } j 0 ) = 1, the following Darboux chains

$$L ^ { ( 0 ) } \xrightarrow { T _ { D } ( q _ { J _ { 0 } } ^ { ( 0 ) } ) } L ^ { ( 1 ) } \xrightarrow { T _ { J } ( r _ { J _ { 0 } } ^ { ( 1 ) } ) } L ^ { ( 2 ) }, \quad L ^ { ( 0 ) } \xrightarrow { T _ { J } ( r _ { J _ { 0 } } ^ { ( 0 ) } ) } L ^ { ( 1 ) } \xrightarrow { T _ { D } ( q _ { J _ { 0 } } ^ { ( 1 ) } ) } L ^ { ( 2 ) }$$

are trivial, which means L { 0 } = L { 2 } . For example, we can cut o ff the trivial parts in the following chain L { 0 } TD q ( { 0 } 1 ) - - - - - -→ { } - - - - -L 1 TI ( r { 1 } 1 ) → { } - - - - - -L 2 TD q ( { 2 } 2 ) → { } L 3 , and obtain the equivalent chain L { 0 } TD q ( { 0 } 1 ) - - - - - -→ { } L 1 .

Based upon above two points, we can do any successive Darboux transformations. For example, consider the following Darboux chain

$$& L ^ { [ 0 ] } \xrightarrow { T _ { D } ( w ( n ; t, \lambda ) ) } L ^ { [ 1 ] } \xrightarrow { T _ { I } ( w ^ { * } ( n ; t, \mu ) ^ { ( 1 ) } ) } L ^ { [ 2 ] } \xrightarrow { T _ { D } ( q _ { 1 } ^ { ( 2 ) } ) } L ^ { [ 3 ] } \\ & \xrightarrow { T _ { D } ( q _ { 1 } ^ { ( 3 ) } ) } L ^ { [ 4 ] } \xrightarrow { T _ { I } ( r _ { 1 } ^ { ( 4 ) } ) } L ^ { [ 5 ] } \xrightarrow { T _ { D } ( q _ { 1 } ^ { ( 5 ) } ) } L ^ { [ 6 ] } \xrightarrow { T _ { I } ( r _ { 2 } ^ { ( 6 ) } ) } L ^ { [ 7 ] }.$$

Firstly, notice that L { 3 } = L { 5 } by (27) and (12), therefore (28) can be written as the following chain

$$L ^ { [ 0 ] } \xrightarrow { T _ { D } ( w ( n ; t, l ) ) } L ^ { [ 1 ] } \xrightarrow { T _ { D } ( h _ { D, 0 } ^ { [ 1 ] } ) } L ^ { [ 2 ] } \xrightarrow { T _ { D } ( h _ { D, 1 } ^ { [ 2 ] } ) } L ^ { [ 3 ] } \xrightarrow { T _ { I } ( w ^ { * } ( n ; t, l ) ) ^ { [ 3 ] } ) } L ^ { [ 4 ] } \xrightarrow { T _ { I } ( r _ { 2 } ^ { ( 4 ) } ) } L ^ { [ 5 ] },$$

then T { 3 2 , } = TI ( r { 4 } 2 ) TI ( w ∗ ( n t ; , µ ) { 3 } ) TD h ( { 2 } D , 1 ) TD h ( { 1 } D , 0 ) TD w n t ( ( ; , λ )). And further according to Appendix,

$$T ^ { ( 3, 2 ) } = \left | \begin{array} { c c c c } \Delta ^ { - 1 } ( r _ { 2 } w ) & \Delta ^ { - 1 } ( r _ { 2 } h _ { D, 0 } ) & \Delta ^ { - 1 } ( r _ { 2 } h _ { D, 1 } ) \\ \Delta ^ { - 1 } ( w ^ { * } w ) & \Delta ^ { - 1 } ( w ^ { * } h _ { D, 0 } ) & \Delta ^ { - 1 } ( w ^ { * } h _ { D, 1 } ) \\ w & g _ { D, 0 } & g _ { D, 1 } \end{array} \right | ^ { - 1 }. \left | \begin{array} { c c c c } \Delta ^ { - 1 } ( r _ { 2 } w ) & \Delta ^ { - 1 } ( r _ { 2 } g _ { D, 0 } ) & \Delta ^ { - 1 } ( r _ { 2 } g _ { D, 1 } ) & \Delta ^ { - 1 } r _ { 2 } \\ \Delta ^ { - 1 } ( w ^ { * } w ) & \Delta ^ { - 1 } ( w ^ { * } g _ { D, 0 } ) & \Delta ^ { - 1 } ( w ^ { * } g _ { D, 1 } ) & \Delta ^ { - 1 } w ^ { * } \\ w & g _ { D, 0 } & g _ { D, 1 } & 1 \\ \Delta ( w ) & \Delta ( g _ { D, 0 } ) & \Delta ( g _ { D, 1 } ) & \Delta \end{array} \right | ^ { - 1 } \\ \left | \begin{array} { c c c c } \Delta ^ { - 1 } w & \Delta ^ { - 1 } h _ { D, 0 } & \Delta ^ { - 1 } h _ { D, 1 } & \left | \end{array} \right | \begin{array} { c c c c } \Delta ^ { - 1 } ( r _ { 2 } w ) & \Delta ^ { - 1 } ( r _ { 2 } h _ { D, 0 } ) & \Delta ^ { - 1 } ( r _ { 2 } h _ { D, 1 } ) \end{array} \right | ^ { - 1 }$$

In particular, the tau function

$$\left | \quad w \quad g _ { D, 0 } \quad g _ { D, 1 } \quad \right | \quad \stackrel { \sim - \sim } { \Delta ( w ) } \quad \stackrel { \sim - \sim } { \Delta ( g _ { D, 0 } ) } \quad \stackrel { \sim - \sim } { \Delta ( g _ { D, 1 } ) } \quad \right | \\ \left ( ( T ^ { ( 3, 2 ) } ) ^ { * } \right ) ^ { - 1 } = - \Lambda ^ { 2 } \left | \quad \stackrel { \sim - 1 } { \Delta ^ { - 1 } ( r _ { 2 w } ) } \quad \stackrel { \sim - 1 } { \Delta ^ { - 1 } ( r _ { 2 h _ { D, 0 } ) } } \quad \stackrel { \sim - 1 } { \Delta ^ { - 1 } ( r _ { 2 h _ { D, 1 } ) } } \right | \cdot \left | \quad \stackrel { \sim - 1 } { \Delta ^ { - 1 } ( r _ { 2 w } ) } \quad \stackrel { \sim - 1 } { \Delta ^ { - 1 } ( r _ { 2 h _ { D, 0 } ) } } \quad \stackrel { \sim - 1 } { \Delta ^ { - 1 } ( r _ { 2 h _ { D, 1 } ) } } \right | ^ { - 1 }. \\ \left | \quad \stackrel { \sim - 1 } { \Delta ^ { - 1 } ( w ^ { * } w ) } \quad \stackrel { \sim - 1 } { \Delta ^ { - 1 } ( w ^ { * } h _ { D, 0 } ) } \quad \stackrel { \sim - 1 } { \Delta ^ { - 1 } ( w ^ { * } h _ { D, 1 } ) } \right | \quad \right | \quad \text{$w$} \quad g _ { D, 0 } \quad g _ { D, 1 } \right | \\ \text{In particular, the tau function}$$

$$\tau ^ { ( 3, 2 ) } = \left | \begin{array} { c c c } \Delta ^ { - 1 } ( w r _ { 2 } ) & \Delta ^ { - 1 } ( h _ { D, 0 } r _ { 2 } ) & \Delta ^ { - 1 } ( h _ { D, 1 } r _ { 2 } ) \\ \Delta ^ { - 1 } ( w w ^ { * } ) & \Delta ^ { - 1 } ( h _ { D, 0 } w ^ { * } ) & \Delta ^ { - 1 } ( h _ { D, 1 } w ^ { * } ) \\ w & h _ { D, 0 } & h _ { D, 1 } \end{array} \right | \cdot \tau.$$

## 5. S olutions of generalized constrained discrete KP hierarchy from L { 0 } = Λ

In this section, we will construct solutions of ( k m l , , )-gcdKP hierarchy by Darboux transformation from L { 0 } = Λ . Note that when we construct solutions for ( k m l , , )-gcdKP hierarchy starting from L { 0 } = Λ , we can find TD w ( ) and TI ( w ∗ ) can not produce non-trivial solution, while TD q ( ) or TI ( r ) can only produce solutions for l = 1. In order to overcome this problem, we need the following result.

## Lemma 11.

$$( T _ { D } ^ { - 1 } ( f _ { 2, ( 1, - ) } ^ { ( 1, 0 ) } ) ) ^ { * } ( ( f _ { 1 } ^ { [ 1 ] } ) ^ { - 1 } ) = \left ( ( T _ { D } ( f _ { 2 } ) ( f _ { 1 } ) ) ^ { [ 1 ] } \right ) ^ { - 1 }, \ \ ( T _ { I } ^ { - 1 } ( g _ { ( 1, - ) } ^ { ( 1, 0 ) } ) ) ^ { * } ( ( f _ { 1 } ^ { [ 1 ] } ) ^ { - 1 } ) = \left ( ( T _ { I } ( g ) ( f _ { 1 } ) ) ^ { [ 1 ] } \right ) ^ { - 1 },$$

$$T _ { D } ( f _ { ( -, 1 ) } ^ { ( 0, 1 ) } ) ( ( g _ { 1 } ^ { [ 1 ] } ) ^ { - 1 } ) = \left ( ( T _ { D } ^ { - 1 } ( f ) ) ^ { * } ( g _ { 1 } ) ) ^ { [ 1 ] } \right ) ^ { - 1 }, \quad T _ { I } ( g _ { 2, ( -, 1 ) } ^ { [ 0, 1 ] } ) ( ( g _ { 1 } ^ { [ 1 ] } ) ^ { - 1 } ) = \left ( ( T _ { I } ^ { - 1 } ( g _ { 2 } ) ^ { * } ( g _ { 1 } ) ) ^ { [ 1 ] } \right ) ^ { - 1 }, \quad ( 3 0 )$$

$$\overset { [ 1, 0 ] } { ; } ( 1, - ) ) ^ { * } ( ( f _ { 1 } ^ { [ 1 ] } ) ^ { - 1 } ) = \left ( ( T _ { D } ( f _ { 2 } ) ( f _ { 1 } ) ) ^ { [ 1 ] } \right ) ^ { - 1 }, \quad ( T _ { I } ^ { - 1 } ( g _ { ( 1, 0 ) } ^ { [ 1, 0 ] } ) ) ^ { * } ( ( f _ { 1 } ^ { [ 1 ] } ) ^ { - 1 } ) = \left ( ( T _ { I } ( g ) ( f _ { 1 } ) ) ^ { [ 1 ] } \right ) ^ { - 1 }, \\ \overset { 1 ] } { ; } ) ( ( g _ { 1 } ^ { [ 1 ] } ) ^ { - 1 } ) = \left ( ( ( T _ { D } ^ { - 1 } ( f ) ) ^ { * } ( g _ { 1 } ) ) ^ { [ 1 ] } \right ) ^ { - 1 }, \quad T _ { I } ( g _ { 2, ( -, 1 ) } ^ { [ 0, 1 ) } ) ( ( g _ { 1 } ^ { [ 1 ] } ) ^ { - 1 } ) = \left ( ( T _ { I } ^ { - 1 } ( g _ { 2 } ) ^ { * } ( g _ { 1 } ) ) ^ { [ 1 ] } \right ) ^ { - 1 },$$

where ' -' means no action of TD or TI.

Proof. Here we only prove the first equation, since others are almost similar. Firstly, note that f { 1 0 , } 2 (1 , , -) = TD ( f 1)( f 2) = f 1( n + 1) · ∆ ( f -1 1 ( n f ) 2( n )) , we have

$$( T _ { D } ^ { - 1 } ( f _ { 2, ( 1, - ) } ^ { ( 1, 0 ) } ) ) ^ { * } ( ( f _ { 1 } ^ { [ 1 ] } ) ^ { - 1 } ) = - ( f _ { 2, ( 1, - ) } ^ { ( 1, 0 ) } ( n + 1 ) ) ^ { - 1 } \cdot ( f _ { 1 } ^ { - 1 } ( n + 1 ) f _ { 2 } ( n + 1 ) ),$$

Further by the relation below

$$\Delta ( f ^ { - 1 } ( n ) f _ { 2 } ( n ) ) = - f _ { 1 } ^ { - 1 } ( n + 1 ) f _ { 2 } ( n + 1 ) \cdot \Delta ( f _ { 1 } ( n ) f _ { 2 } ^ { - 1 } ( n ) ) \cdot f _ { 1 } ^ { - 1 } ( n ) f _ { 2 } ( n ),$$

$$\text{we can finally get} \left ( T _ { D } ^ { - 1 } ( f _ { 2, ( 1, - ) } ^ { i ( 1, 0 ) } ) ^ { * } ( ( f _ { 1 } ^ { [ 1 ] } ) ^ { - 1 } ) = \left ( \left ( T _ { D } ( f _ { 2 } ) ( f _ { 1 } ) \right ) ^ { [ 1 ] } \right ) ^ { - 1 }. & \Box$$

By Lemma 11 and Proposition 9, we can obtain the proposition below.

Theorem 12. Under T { MN , } ( /vector M N , /vector ) (see (2) ), the Lax operator L of ( k m l -gcdKP hierarchy becomes , , )

$$\int \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimimits \nolimits \nolimimits \nolimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimim                                                                                                                                                                                                        
                                                                                                                                                                                                        }                                                                                                                                                                                                        |                                                                                                                                                                                                        -                                                                                                                                                                                                        +                                                                                                                                                                                                        \int \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolims \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimimim                          
                                                                                                                                                                             -                           -                                                                                                                                                                             |                           -                                                                                                                                                                             -                           |                                                                                                                                                                             |                           |                                                                                                                                                                             -                           +                                                                                                                                                                             |                           +                                                                                                                                                                             +                           |                                                                                                                                                                             +$$

where M /vector \{ j } = { M , · · · , j + 1 , j -1 , · · · , 1 } , /vector N \{ j } = { N , · · · , j + 1 , j -1 , · · · , 1 } .

For dKP Lax operator L { 0 } = Λ , the corresponding wave function wi and adjoint wave function w i ∗ , and eigenfunction f i and adjoint eigenfunction gi usually have the forms below, that is,

$$w _ { i } & = \lambda _ { 0, i } ^ { n } e ^ { \xi ( t, \lambda _ { 0, i } ) }, \quad \ \ w _ { i } ^ { * } & = \mu _ { 0, i } ^ { - n } e ^ { - \xi ( t, \mu _ { 0, i } ) }, \\ f _ { i } & = \sum _ { j = 1 } ^ { \alpha _ { i } } a _ { j, i } \lambda _ { j, i } ^ { n } e ^ { \xi ( t, \lambda _ { j, i } ) }, \quad g _ { i } & = \sum _ { j = 1 } ^ { \beta _ { i } } b _ { j, i } \lambda _ { j, i } ^ { - n } e ^ { - \xi ( t, \lambda _ { j, i } ) }.$$

To get solutions for ( k m l , , )-gcdKP hierarchy, we can firstly apply Darboux transformation operator T { MN , } = ( f 1 , · · · , f M g , 1 , · · · , gN ) to L { 0 } = Λ for M + N = l . In this case, L M N { , } will have the form ( L l { } ) &lt; m = ∑ l i = 1 qi Λ ∆ m -1 ri , where

$$q _ { i } & = ( T ^ { [ M, 0 ] } _ { ( \vec { M }, \vec { 0 } ) } L ^ { [ 0 ] } ) ( f _ { i } ), & r _ { i } & = \left ( \left ( T ^ { [ M - 1, 0 ] } _ { ( \vec { M } \langle i \rangle, \vec { 0 } ) } ( f _ { i } ) \right ) ^ { [ 1 ] } \right ) ^ { - 1 }, \quad \ 1 \leq i \leq M,$$

$$q _ { i } = \left ( \left ( ( T ^ { ( M, N - 1 ) } _ { ( \vec { M }, \vec { N } \langle i ) } ) ^ { - 1 * } ( g _ { i } ) \right ) ^ { [ - 1 ] } \right ) ^ { - 1 }, \quad r _ { i } = ( ( T ^ { ( M, N ) } _ { ( \vec { M }, \vec { N } ) } ) ^ { - 1 } ) ^ { * } ( L ^ { 0 0 } ) ^ { * } ( g _ { i } ), \quad M + 1 \leq i \leq l.$$

so that we can continue applying the Darboux transformation in Theorem 10 and get various solutions.

Example 13. · When l = 1 , to obtain the corresponding solutions, we can do the following Darboux chain starting from L { 0 } = Λ ,

$$L ^ { ( 0 ) } \xrightarrow { T _ { D } ( f ) } L ^ { ( 1 ) } \xrightarrow { T _ { D } ( f ^ { ( 1 ) } ) } L ^ { ( 2 ) } \xrightarrow { T _ { D } ( f ^ { ( 2 ) } ) } \cdots \xrightarrow { T _ { D } ( f ^ { ( M - 1 ) } ) } L ^ { ( M ) }$$

where f is the dKP eigenfunction corresponding to Lax operator L { 0 } = Λ , i.e., f ( n tp ) = f ( n + p , then )

$$( L ^ { \{ M \} } ) _ { < m } = q \Lambda ^ { m } \Delta ^ { - 1 } r$$

with

$$q & = \frac { W _ { M + 1 } ( f, f ^ { [ k ] }, \dots, f ^ { [ k ( M - 1 ) ] }, f ^ { [ k M ] } ) } { W _ { M } ( f, f ^ { [ k ] }, \cdots, f ^ { [ k ( M - 1 ) ] } ) }, \\ r & = \frac { W _ { M } ( f, f ^ { [ k ] }, \dots, f ^ { [ k ( M - 1 ) ] } ) } { W _ { M + 1 } ( f, f ^ { [ k ] }, \cdots, f ^ { [ k ( M - 1 ) ] }, f ^ { [ k M ] } ) }, \\ \tau & = W _ { M } ( f, f ^ { [ k ] }, \cdots, f ^ { [ k ( M - 1 ) ] } ).$$

and the part of ( L M { } ) ≥ m can be given by (11) .

For ( 1 0 1 , , )-gcdKP hierarchy, the corresponding Lax operator has the following form (see examples in (6) )

$$L = \Lambda + u _ { 0 } + q \Delta ^ { - 1 } r,$$

To get solutions of q, r, τ and u , let us choose 0

$$f = e ^ { t _ { 1 } + t _ { 2 } } + 2 ^ { n } e ^ { 2 t _ { 1 } + 4 t _ { 2 } } + 3 ^ { n } e ^ { 3 t _ { 1 } + 9 t _ { 2 } },$$

and take M = 2 in (32) , then we can get

$$q & = \frac { 4 e ^ { 6 t _ { 1 } + 1 4 t _ { 2 } } 6 ^ { n } } { e ^ { 5 t _ { 1 } + 1 3 t _ { 2 } } 6 ^ { n } + e ^ { 3 t _ { 1 } + 5 t _ { 2 } } 2 ^ { n } + 4 e ^ { 4 t _ { 1 } + 1 0 t _ { 2 } } 3 ^ { n } }, \quad r = \frac { e ^ { 4 t _ { 2 } } 3 ^ { n + 1 } + e ^ { - t _ { 1 } - t _ { 2 } } 2 ^ { n + 1 } + e ^ { - 2 t _ { 1 } - 4 t _ { 2 } } } { e ^ { 2 t _ { 1 } + 8 t _ { 2 } } 6 ^ { n + 1 } + 4 e ^ { t _ { 1 } + 5 t _ { 2 } } 3 ^ { n + 1 } + 2 ^ { n + 1 } }, \\ \tau & = e ^ { 5 t _ { 1 } + 1 3 t _ { 2 } } 6 ^ { n } + e ^ { 3 t _ { 1 } + 5 t _ { 2 } } 2 ^ { n } + 4 e ^ { 4 t _ { 1 } + 1 0 t _ { 2 } } 3 ^ { n },$$

$$u _ { 0 } = \frac { 2 ( 2 e ^ { 4 _ { 1 } + 1 6 _ { 2 } } 7 2 ^ { n } + 4 e ^ { 2 _ { 1 } + 1 0 _ { 2 } } 1 8 ^ { n } + 2 e ^ { 2 _ { 1 } + 8 _ { 2 } } 2 4 ^ { n } + 1 2 e ^ { 4 _ { 1 } + 1 8 _ { 2 } } 5 4 ^ { n } + e ^ { 1 _ { 1 } + 5 _ { 2 } } 1 2 ^ { n } + 3 e ^ { 5 _ { 1 } t _ { 1 } + 2 1 t _ { 2 } } 1 0 8 ^ { n } + 1 2 e ^ { 3 t _ { 1 } + 1 3 t _ { 2 } } 3 6 ^ { n } ) } { ( 3 e ^ { 2 _ { 1 } t _ { 1 } + 8 t _ { 2 } } 6 ^ { n } + 6 e ^ { t _ { 1 } + 5 t _ { 2 } } 3 ^ { n } + 2 ^ { n } ) \cdot ( e ^ { 2 _ { 1 } + 8 t _ { 2 } } 6 ^ { n } + 4 e ^ { t _ { 1 } + 5 t _ { 2 } } 3 ^ { n } + 2 ^ { n } ) ^ { 2 } }$$

Example 14. · For (1 , -1 2) , -gcdKP hierarchy, let us do the following Darboux chain starting from L { 0 } = Λ ,

$$L ^ { \{ 0 \} } \xrightarrow { T _ { D } ( f _ { 1 } ) } L ^ { \{ 1 \} } \xrightarrow { T _ { D } ( f _ { 2 } ^ { \{ 1 \} } ) } L ^ { \{ 2 \} } \xrightarrow { T _ { D } ( w ^ { * } ) } L ^ { \{ 3 \} },$$

where f 1 = e t 1 + t 2 + 2 n e 2 1 t + 4 2 t , f 2 = 3 n e 3 1 t + 9 2 t + 4 n e 4 1 t + 16 2 t , w ∗ = 5 -n e -5 1 t -25 2 t , then the corresponding Lax operator becomes the following form

$$L ^ { ( 3 ) } = \Lambda + u _ { 0 } + u _ { 1 } \Lambda ^ { - 1 } + q _ { 1 } \Lambda ^ { - 1 } \Delta ^ { - 1 } r _ { 1 } + q _ { 2 } \Lambda ^ { - 1 } \Delta ^ { - 1 } r _ { 2 },$$

where

$$q _ { 1 } = \frac { 4 e ^ { 5 \iota _ { 1 } + 1 9 \iota _ { 2 } } 2 4 ^ { n } + 9 e ^ { 4 \iota _ { 1 } + 1 6 \iota _ { 2 } } 1 2 ^ { n } } { 2 ^ { 3 \iota _ { 1 } + 3 } e ^ { 2 \iota _ { 1 } + 1 0 \iota _ { 2 } } + 9 e ^ { \iota _ { 1 } + 7 \iota _ { 2 } } 4 ^ { n } + 2 e ^ { \iota _ { 1 } + 3 \iota _ { 2 } } 6 ^ { n } + 3 ^ { n + 1 } }, \quad r _ { 1 } = - \frac { ( 2 ^ { n + 3 } e ^ { - 7 \iota _ { 1 } - 3 \iota _ { 2 } } + 3 e ^ { - 8 \iota _ { 1 } - 3 4 \iota _ { 2 } } ) e ^ { 5 \iota _ { 1 } + 2 5 \iota _ { 2 } } } { 8 ^ { n + 2 } e ^ { 2 \iota _ { 1 } + 1 0 \iota _ { 2 } } + 3 6 e ^ { \iota _ { 1 } + 7 \iota _ { 2 } } 4 ^ { n } + 1 2 e ^ { \iota _ { 1 } + 3 \iota _ { 2 } } 6 ^ { n } + 3 ^ { n + 2 } },$$

$$q _ { 2 } & = \frac { 6 e ^ { 3 t _ { 1 } + 1 1 t _ { 2 } } 8 ^ { n } + e ^ { 2 t _ { 1 } + 4 t _ { 2 } } 6 ^ { n } } { 2 ^ { 3 t _ { 1 } + 3 } e ^ { 2 t _ { 1 } + 1 0 t _ { 2 } } + 9 e ^ { 1 } + 7 t _ { 2 } 4 ^ { n } + 2 e ^ { 1 } + 3 t _ { 2 } } 6 ^ { n } + 3 ^ { n + 1 } }, \quad r _ { 2 } = \frac { 6 ( 3 ^ { n + 1 } e ^ { - 6 t _ { 1 } - 2 6 t _ { 2 } } + 8 \cdot 4 ^ { n } e ^ { - 5 t _ { 1 } - 1 9 t _ { 2 } } ) e ^ { 5 t _ { 1 } + 2 5 t _ { 2 } } } { 8 ^ { n + 2 } e ^ { 2 t _ { 1 } + 1 0 t _ { 2 } } + 3 6 e ^ { 1 } + 7 t _ { 2 } 4 ^ { n } + 1 2 e ^ { 1 } + 3 t _ { 2 } } 6 ^ { n } + 3 ^ { n + 2 } } \\ \tau & = \frac { 5 } { 1 2 } e ^ { - 5 t _ { 1 } - 2 5 t _ { 2 } } 5 ^ { - n } ( 3 ^ { n + 1 } e ^ { 4 t _ { 1 } + 1 0 t _ { 2 } } + 9 \cdot 4 ^ { n } e ^ { 5 t _ { 1 } + 1 7 t _ { 2 } } + 2 \cdot 6 ^ { n } e ^ { 5 t _ { 1 } + 1 3 t _ { 2 } } + 8 ^ { n + 1 } e ^ { 6 t _ { 1 } + 2 0 t _ { 2 } } ), \\ u _ { 0 } & = ( 2 7 8 4 e ^ { 4 t _ { 1 } + 2 0 t _ { 2 } } + 2 4 3 \cdot 4 8 ^ { n } e ^ { 2 t _ { 1 } + 1 4 t _ { 2 } } + 3 6 \cdot 1 0 8 ^ { n } e ^ { 2 t _ { 1 } + 6 t _ { 2 } } + 6 4 e ^ { 2 t _ { 1 } + 1 0 t _ { 2 } } 2 8 8 ^ { n } } \\ & \quad + 8 1 e ^ { 1 + 7 t _ { 1 } } 2 8 8 ^ { n } + 5 e ^ { 3 t _ { 1 } + 1 3 t _ { 2 } } 1 4 4 ^ { n + 1 } + 9 e ^ { 5 t _ { 1 } + 2 7 t _ { 2 } } 2 5 6 ^ { n + 1 } + 3 2 4 0 e ^ { 3 t _ { 1 } + 1 7 t _ { 2 } } 9 6 ^ { n } + 2 5 6 e ^ { 5 t _ { 1 } + 2 3 t _ { 2 } } 3 8 4 ^ { n } )$$

$$\cdot$$

1

× (8 n + 2 e 2 1 t + 10 2 t + 9 · 4 n + 1 e t 1 + 7 2 t + 2 · 6 n + 1 e t 1 + 3 2 t + 3 n + 2 ) · (2 3 n + 3 e 2 1 t + 10 2 t + 9 · 4 n e t 1 + 7 2 t + 2 · 6 n e t 1 + 3 2 t + 3 n + 1 ) 2 , u 1 = e 5 1 t + 25 2 t (4 e -3 1 t + -15 2 t 24 n + 1 + 27 e -4 1 t -18 2 t 12 n + 6 e -4 1 t -22 2 t 18 n + 72 e -2 1 t -8 2 t 32 n + 16 e -2 1 t -12 2 t 48 ) n

$$\times \frac { 1 } { ( 2 ^ { 3 n + 3 } e ^ { 2 t _ { 1 } + 1 0 t _ { 2 } } + 9 e ^ { t _ { 1 } + 7 t _ { 2 } } 4 ^ { n } + 2 e ^ { t _ { 1 } + 3 t _ { 2 } } 6 ^ { n } + 3 ^ { n + 1 } ) ^ { 2 } } }.$$

Here we have used the formula ∆ -1 ( z n ) = z n / ( z -1) .

## 6. C onclusions and D iscussions

For ( k m l , , )-gcdKP hierarchy, we firstly check that the corresponding definition is well-defined (see proposition 4), then give an equivalent bilinear equation formulation in Theorem 5. After that, the corresponding Darboux transformations are given in Proposition 9 and Theorem 10. Finally we give a systemetic method (see Theorem 12) to construct solutions of ( k m l , , )-gcdKP hierarchy by Darboux transformations from L { 0 } = Λ . Notice that we can easily solve the linear di ff erential equations ∂ t p f ( n ) = f ( n + p ) and ∂ t p g n ( ) = -f ( n -p ) corresponding to L { 0 } = Λ , so that we can solve gcdKP hierarchy by Darboux transformations.

The method used here to get solutions of gcdKP is quite typical, which may be used in other integrable systems especially for the types of constrained KP hierarchy. We believe there should be some interesting integrable systems to be found in this kind of gcdKP hierarchy discussed here.

## A ppendix

## · Case M &gt; N ,

,

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00383v1-figure-5157de9a-ae21-44d4-8a3c-854418331f84.jpg)

∣

∣

∣

∣

| (( T { MN , } ) ∗ ) - 1 = ( - 1) M Λ   | ∆ - 1 q 1 ∆ - 1 ( r N q 1 ) . . .   | ∆ - 1 q 2 ∆ - 1 ( r N q 2 ) .   | · · · · · · .   | ∆ - 1 q M ∆ - 1 ( r N q M ) . .   |    |
|----------------------------------------|-------------------------------------|---------------------------------|-----------------|-----------------------------------|----|
| (( T { MN , } ) ∗ ) - 1 = ( - 1) M Λ   | ∆ - 1 ( r 1 q 1 )                   | . . ∆ - 1 ( r 1 q 2 )           | . . · · ·       | . ∆ - 1 ( r 1 q M )               | 1  |
| (( T { MN , } ) ∗ ) - 1 = ( - 1) M Λ   | q 1                                 | q 2                             | · · ·           | q M                               | ,  |
| (( T { MN , } ) ∗ ) - 1 = ( - 1) M Λ   | ∆ q 1                               | ∆ q 2                           | · · ·           | ∆ q M . . .                       |    |
| (( T { MN , } ) ∗ ) - 1 = ( - 1) M Λ   | . . .                               | . . .                           | . . .           | ∆ M - N - 2                       |    |
| (( T { MN , } ) ∗ ) - 1 = ( - 1) M Λ   | ∆ M - N - 2 q 1                     | ∆ M - N - 2 q 2                 | · · ·           | q M                               |    |

where the generalized Wronskain determinant IWMN rN , ( , · · · , r 1; q 1 , · · · , qM ) is defined as follows,

$$& \text{where the generalized Wronskain determinant } I W _ { M, N } ( r _ { N }, \cdots, r _ { 1 } ; q _ { 1 }, \cdots, q _ { M } ) \text{ is defined as follows,} \\ & \text{IW_M, N } ( r _ { N }, \cdots, r _ { 1 } ; q _ { 1 }, \cdots, q _ { M } ) = \left | \begin{array} { c c c c c } \Delta ^ { - 1 } ( r _ { N } q _ { 1 } ) & \Delta ^ { - 1 } ( r _ { N } q _ { 2 } ) & \cdots & \Delta ^ { - 1 } ( r _ { N } q _ { M } ) \\ \Delta ^ { - 1 } ( r _ { N - 1 } q _ { 1 } ) & \Delta ^ { - 1 } ( r _ { N - 1 } q _ { 2 } ) & \cdots & \Delta ^ { - 1 } ( r _ { N - 1 } q _ { M } ) \\ \vdots & & \vdots & \ddots & \vdots \\ \Delta ^ { - 1 } ( r _ { 1 } q _ { 1 } ) & \Delta ^ { - 1 } ( r _ { 1 } q _ { 2 } ) & \cdots & \Delta ^ { - 1 } ( r _ { 1 } q _ { M } ) \\ q _ { 1 } & & q _ { 2 } & \cdots & q _ { M } \\ \Delta q _ { 1 } & & \Delta q _ { 2 } & \cdots & \Delta q _ { M } \\ \vdots & & \vdots & \ddots & \vdots \\ \Delta ^ { M - N - 1 } q _ { 1 } & \Delta ^ { M - N - 1 } q _ { 2 } & \cdots & \Delta ^ { M - N - 1 } q _ { M } \end{array} \right |. \quad \text{(3)} \\ & \text{When $N = 0$, (33) is just the Casoratian determinant} \\ & \text{$.}$$

When N = 0, (33) is just the Casoratian determinant

$$W _ { M } ( q _ { 1 }, \cdots, q _ { M } ) = \left | \begin{array} { c c c c } q _ { 1 } & q _ { 2 } & \cdots & q _ { M } \\ \Delta q _ { 1 } & \Delta q _ { 2 } & \cdots & \Delta q _ { M } \\ \vdots & \vdots & \ddots & \vdots \\ \Delta ^ { M - N - 1 } q _ { 1 } & \Delta ^ { M - N - 1 } q _ { 2 } & \cdots & \Delta ^ { M - N - 1 } q _ { M } \end{array} \right |. \\ M = N,$$

· Case M = N ,

$$\bullet & \text{Case $M=N$,} \\ T ^ { ( M, M ) } = \frac { 1 } { I W _ { M, M } ( r _ { M }, \cdots, r _ { 1 } ; q _ { 1 }, \cdots, q _ { M } ) } \cdot \left | \begin{array} { c c c c } \Delta ^ { - 1 } ( r _ { M } q _ { 1 } ) & \cdots & \Delta ^ { - 1 } ( r _ { M } q _ { M } ) & \Delta ^ { - 1 } r _ { M } \\ \vdots & \ddots & \vdots & \vdots \\ \Delta ^ { - 1 } ( r _ { 1 } q _ { 1 } ) & \cdots & \Delta ^ { - 1 } ( r _ { 1 } q _ { M } ) & \Delta ^ { - 1 } r _ { 1 } \\ q _ { 1 } & \cdots & q _ { M } & 1 \end{array} \right |, \\ ( ( T ^ { ( M, M ) } ) ^ { * } ) ^ { - 1 } = \frac { 1 } { \Lambda ( I W _ { M, M } ( r _ { M }, \cdots, r _ { 1 } ; q _ { 1 }, \cdots, q _ { M } ) ) } \cdot \left | \begin{array} { c c c c } \Delta ^ { - 1 } ( q _ { M } r _ { 1 } ) & \cdots & \Delta ^ { - 1 } ( q _ { M } r _ { M } ) & \Delta ^ { - 1 } q _ { M } \\ \vdots & \ddots & \vdots & \vdots \\ \Delta ^ { - 1 } ( q _ { 1 } r _ { 1 } ) & \cdots & \Delta ^ { - 1 } ( q _ { 1 } r _ { M } ) & \Delta ^ { - 1 } q _ { 1 } \\ r _ { 1 } & \cdots & r _ { m } & 1 \end{array} \right |.$$

.

## · Case M &lt; N ,

$$T ^ { \{ M, N \} } & = \frac { 1 } { \Lambda ^ { - 1 } ( I W _ { M, N } ^ { ^ { \prime } } ( q _ { M }, \cdots, q _ { 1 } ; r _ { 1 }, \cdots, r _ { N } ) ) } \cdot ( - 1 ) ^ { N } \Lambda ^ { - 1 } \left [ \begin{array} { c c c c } ( \Lambda ^ { * } ) ^ { - 1 } r _ { 1 } & \cdots & ( \Lambda ^ { * } ) ^ { - 1 } r _ { N } \\ ( \Lambda ^ { * } ) ^ { - 1 } ( r _ { 2 } q _ { M } ) & \cdots & ( \Lambda ^ { * } ) ^ { - 1 } ( r _ { N } q _ { M } ) \\ \vdots & \ddots & \vdots \\ ( \Lambda ^ { * } ) ^ { - 1 } ( r _ { 1 } q _ { 1 } ) & \cdots & ( \Lambda ^ { * } ) ^ { - 1 } ( r _ { N } q _ { 1 } ) \\ r _ { 1 } & \cdots & r _ { N } \\ \Lambda ^ { * } r _ { 1 } & \cdots & \Lambda ^ { * } r _ { N } \\ \vdots & \ddots & \vdots \\ ( \Lambda ^ { * } ) ^ { N - M - 2 } r _ { 1 } & \cdots & ( \Lambda ^ { * } ) ^ { N - M - 2 } r _ { N } \end{array} \right ] \\ & \left | \begin{array} { c c c c } ( \Lambda ^ { * } ) ^ { - 1 } ( q _ { M } r _ { 1 } ) & \cdots & ( \Lambda ^ { * } ) ^ { - 1 } ( q _ { M } r _ { N } ) & ( \Lambda ^ { * } ) ^ { - 1 } q _ { M } \\ ( \Lambda ^ { * } ) ^ { - 1 } ( q _ { M - 1 } r _ { 1 } ) & \cdots & ( \Lambda ^ { * } ) ^ { - 1 } ( q _ { M - 1 } r _ { N } ) & ( \Lambda ^ { * } ) ^ { - 1 } q _ { 1 } \end{array} \right ]$$

where the generalized inverse Wronskain determinant IW M N ∗ , ( qM , · · · , q 1; r 1 , · · · , rN ) is below

$$\left | \begin{array} { c c c c c } \vdots & \ddots & \vdots \\ ( \Delta ^ { * } ) ^ { N - M - 2 } r _ { 1 } & \cdots & ( \Delta ^ { * } ) ^ { N - M - 2 } r _ { N } \end{array} \right | \\ \left | \begin{array} { c c c c c } ( \Delta ^ { * } ) ^ { - 1 } ( q _ { M } r _ { 1 } ) & \cdots & ( \Delta ^ { * } ) ^ { - 1 } ( q _ { M } r _ { N } ) & ( \Delta ^ { * } ) ^ { - 1 } q _ { M } \\ ( \Delta ^ { * } ) ^ { - 1 } ( q _ { M - 1 } r _ { 1 } ) & \cdots & ( \Delta ^ { * } ) ^ { - 1 } ( q _ { M - 1 } r _ { N } ) & ( \Delta ^ { * } ) ^ { - 1 } q _ { 1 } \\ \vdots & \ddots & \vdots & \vdots \\ ( \Delta ^ { * } ) ^ { - 1 } ( q _ { 1 } r _ { 1 } ) & \cdots & ( \Delta ^ { * } ) ^ { - 1 } ( q _ { 1 } r _ { N } ) & ( \Delta ^ { * } ) ^ { - 1 } q _ { 1 } \\ r _ { 1 } & \cdots & r _ { N } & 1 \\ \Delta ^ { * } ( r _ { 1 } ) & \cdots & \Delta ^ { * } ( r _ { N } ) & \Delta ^ { * } \\ \vdots & \ddots & \vdots & \vdots \\ ( \Delta ^ { * } ) ^ { N - M } ( r _ { 1 } ) & \cdots & ( \Delta ^ { * } ) ^ { N - M } ( r _ { N } ) & ( \Delta ^ { * } ) ^ { N - M } \end{array} \right | \\ \text{where the generalized inverse Wronskain determinant} I W _ { M, N } ^ { * } ( q _ { M }, \cdots, q _ { 1 } ; r _ { 1 }, \cdots, r _ { N } ) \text{ is below} \\ \left | \begin{array} { c c c c c } ( \Delta ^ { * } ) ^ { - 1 } ( a u r _ { 1 } ) & ( \Delta ^ { * } ) ^ { - 1 } ( a u r _ { 2 } ) & \cdots & ( \Delta ^ { * } ) ^ { - 1 } ( a u r _ { 3 } ) & \end{array} \right |$$

$$\text{where the generalized inverse Wronskain determinant } I W _ { M, N } ^ { * } ( q _ { M }, \cdots, q _ { 1 } ; r _ { 1 }, \cdots, r _ { N } ) \text{ is below} \\ I W _ { M, N } ^ { * } ( q _ { M }, \cdots, q _ { 1 } ; r _ { 1 }, \cdots, r _ { N } ) = \left | \begin{array} { c c c c } ( \Delta ^ { * } ) ^ { - 1 } ( q _ { M } r _ { 1 } ) & ( \Delta ^ { * } ) ^ { - 1 } ( q _ { M } r _ { 2 } ) & \cdots & ( \Delta ^ { * } ) ^ { - 1 } ( q _ { M } r _ { N } ) \\ \vdots & \vdots & \cdots & \vdots \\ ( \Delta ^ { * } ) ^ { - 1 } ( q _ { 1 } r _ { 1 } ) & ( \Delta ^ { * } ) ^ { - 1 } ( q _ { 1 } r _ { 2 } ) & \cdots & ( \Delta ^ { * } ) ^ { - 1 } ( q _ { 1 } r _ { N } ) \\ r _ { 1 } & r _ { 2 } & \cdots & r _ { N } \\ \Delta ^ { * } ( r _ { 1 } ) & \Delta ^ { * } ( r _ { 2 } ) & \cdots & \Delta ^ { * } ( r _ { N } ) \\ \vdots & \vdots & \cdots & \vdots \\ ( \Delta ^ { * } ) ^ { N - M - 1 } ( r _ { 1 } ) & ( \Delta ^ { * } ) ^ { N - M - 1 } ( r _ { 2 } ) & \cdots & ( \Delta ^ { * } ) ^ { N - M - 1 } ( r _ { N } ) \end{array} \right |.$$

## Acknowledgements :

This work is supported by National Natural Science Foundation of China (Grant Nos. 12171472, 12261072 and 12071304), Shenzhen Natural Science Fund (the Stable Support Plan Program) (Grants 20220809163103001), Guangdong Basic and Applied Basic Research Foundation (Grants 2024A1515013106) and 'Qinglan Project' of Jiangsu Universities.

## Conflict of Interest :

The authors have no conflicts to disclose.

,

## Data availability :

Date sharing is not applicable to this article as no new data were created or analyzed in this study.

## R eferences

- [1] M. Adler and P. van Moerbeke, Vertex operator solutions to the discrete KP-hierarchy. Comm. Math. Phys. 203 (1999) 185-210.
- [2] M. Adler and P. van Moerbeke, Generalized orthogonal polynomials, discrete KP and Riemann-Hilbert problems. Comm. Math. Phys. 207 (1999) 589-620.
- [3] H. Aratyn, E. Nissimov, S. Pacheva, Darboux-B¨ acklund solutions of SL(p,q) KP-KdV hierarchies, constrained generalized Toda lattices, and two-matrix string model. Phys. Lett. A 201 (1995) 293-305.
- [4] K. Chen, X. Deng and D. J. Zhang, Symmetry constraint of the di ff erential-di ff erence KP hierarchy and a second discretization of the ZS-AKNS system. J. Nonlinear Math. Phys. 24 (2017) 18-35.
- [5] K. Chen, E. G. Fan and D. J. Zhang, Bilinear equations and solutions for k -constrained D ∆ KP. Poster in China-Japan Joint Workshop on Integrable Systems 2019, Japan, August 19-22, 2019.
- [6] K. Chen, C. Zhang and D. J. Zhang, Squared eigenfunction symmetry of the D ∆ mKP hierarchy and its constraint. Stud. Appl. Math. 147 (2021) 75-791.
- [7] Y. Cheng, Constraints of the Kadomtsev-Petviashvili hierarchy. J. Math. Phys. 33 (1992) 3774-3782.
- [8] Y. Cheng, Y. J. Zhang, Bilinear equations for the constrained KP hierarchy. Inverse Probl. 10 (1994) L11-L17.
- [9] J. P. Cheng, M. H. Li and K. L. Tian, On the modified KP hierarchy: tau functions, squared eigenfunction symmetries and additional symmetries. J. Geom. Phys. 134 (2018) 19-37.
- [10] E. Date, M. Kashiwara, M. Jimbo and T. Miwa, Transformation groups for soliton equations, in Nonlinear integrable systems classical theory and quantum theory (Kyoto, 1981), World Sci. Publishing, Singapore, 1983, 39-119.
- [11] L. A. Dickey, Modified KP and discrete KP, Lett. Math. Phys. 48 (1999) 277-289.
- [12] L. Haine and P. Iliev, Commutative rings of di ff erence operators and an adelic flag manifold. Internat. Math. Res. Notices, 2000, 281-323.
- [13] J. S. He, Y. S. Li, Y. Cheng, Two choices of the gauge transformation for the AKNS hierarchy through the constrained KP hierarchy. J. Math. Phys. 44 (2003) 3928-3960.
- [14] X. Y. Hu, Bilinear equations of the constrained discrete KP hierarchy (in Chinese). College Math. 36 (2020) 29-30.
- [15] W. Fu, L. Huang, K. M. Tamizhmani, D. J. Zhang, Integrability properties of the di ff erential-di ff erence Kadomtsev-Petviashvili hierarchy and continuum limits. Nonlinearity, 26 (2013) 3197-3229.
- [16] M. Jimbo and T. Miwa, Solitons and infinite dimensional Lie algebras. Publ. Res. Inst. Math. Sci. 19 (1983) 943-1001.
- [17] B. Konopelchenko and W. Oevel, An r-matrix approach to nonstandard classes of integrable equations. Publ. Res. Inst. Math. Sci. 29 (1993) 581-666.
- [18] M. H. Li, J. P. Cheng and J. S. He, The gauge transformation of the constrained semi-discrete KP hierarchy. Modern Phys. Lett. B, 27 (2013) 1350043.
- [19] M. H. Li, C. Z. Li, K. L. Tian, J. S. He, Y . Cheng, Virasoro type algebraic structure hidden in the constrained discrete KadomtsevPetviashvili hierarchy. J. Math. Phys. 54 (2013) 043512.
- [20] S. W. Liu, Y. Cheng, J. S. He, The determinant representation of the gauge transformation for the discrete KP hierarchy. Sci. China Math. 53 (2010) 1195-1206.
- [21] J. Liu, D. J. Zhang, X. H. Zhao, Symmetries of the D ∆ mKP hierarchy and their continuum limits. Stud. Appl. Math. 152 (2024) 404-430.
- [22] Y. Liu, X. J. Yan, J. B. Wang, J. P. Cheng, Generalized bigraded Toda hierarchy. arXiv:2405.19952.
- [23] I. Merola, O. Ragnisco, G. Z. Tu, A novel hierarchy of integrable lattices. Inverse Probl. 10 (1994) 1315-1334.

- [24] Y. Ohta, J. Satsuma, D. Takahashi and T. Tokihiro, An elementary introduction to Sato theory. Progr. Theoret. Phys. Suppl. 94 (1988) 210-241.
- [25] W. Oevel, Darboux theorems and Wronskian formulas for integrable systems. I. Constrained KP flows. Phys. A 195 (1993) 533-576.
- [26] W. Oevel, Darboux transformations for integrable lattice systems, in Nonlinear physics: theory and experiment (Lecce, 1995), World Scientific Publishing Co. Inc., River Edge, NJ, 1996, 233-240.
- [27] W. Oevel, S. Carillo, Squared eigenfunction symmetries for soliton equations: Part II. J. Math. Anal. Appl. 217 (1998) 179-199.
- [28] J. Q. Song, C. Li, J. P. Cheng, M. R. Chen, Constrained discrete KP hierarchy: the constraint on the tau functions and gauge transformations. Theoret. Math. Phys. 214 (2023) 334-353.
- [29] K. M. Tamizhmani, S. Kanaga Vel, Gauge equivalence and l -reductions of the di ff erential-di ff erence KP equation. Chaos Solitons Fractals, 11 (2000) 137-143.
- [30] P. van Moerbeke, Integrable foundations of string theory, in Lectures on integrable systems (Sophia-Antipolis, 1991), World Sci. Publ., River Edge, NJ, 1994,163-267.
- [31] R. Willox, J. Satsuma, Sato theory and transformation groups. A unified approach to integrable systems, in Discrete integrable systems (Berlin,2004), Lecture Notes in Phys. Springer-Verlag, 644 (2004) 17-55.
- [32] R. Willox, M. Hattori, Discretisations of constrained KP hierarchies. J. Math. Sci. The University of Tokyo, 22(2015) 613-661.
- [33] Z. W. Yan, J. P. Cheng, Several integrable properties of the discrete KP hierarchy obtained by means of gauge transformations. Rep. Math. Phys. 89 (2022) 371-389.
Xuepu Mu Mengyao Chen Jipeng Cheng Jingsong He
Solutions of generalized constrained discrete KP hierarchy
Solutions of a generalized constrained discrete KP (gcdKP) hierarchy with
constraint on Lax operator $L^k=(L^k)_{\geq
m}+\sum_{i=1}^lq_i\Delta^{-1}\Lambda^mr_i$, are invesitigated by Darboux
transformations $T_D(f)=f^{[1]}\cdot\Delta\cdot f^{-1}$ and
$T_I(g)=(g^{[-1]})^{-1}\cdot\Delta^{-1}\cdot g$. Due to this special constraint
on Lax operator, it is showed that the generating functions $f$ and $g$ of the
corresponding Darboux transformations, can only be chosen from (adjoint) wave
functions or $(L^k)_{<m}=\sum_{i=1}^lq_i\Delta^{-1}\Lambda^mr_i$. Then
successive applications of Darboux transformations for gcdKP hierarchy are
discussed. Finally based upon above, solutions of gcdKP hierarchy are obtained
from $L^{\{0\}}=\Lambda$ by Darboux transformations.