arxiv:nlin/ v1 [nlin.si] 24 Jun 2005

Transcription

1 Determnant Form of Dark Soton Soutons of the Dscrete onnear Schrödnger Equaton arxv:nn/050605v [nn.si] 4 Jun 005 Ken-ch Maruno and Yasuhro Ohta Facuty of Mathematcs, Kyushu Unversty, Hakozak, Hgash-ku, Fukuoka, 8-858, Japan Department of Mathematcs, Kobe Unversty, Rokko, Kobe , Japan Abstract. It s shown that the -dark soton soutons of the ntegrabe dscrete nonnear Schrödnger (IDLS) equaton are gven n terms of the Casorat determnant. The condtons for reducton, compex conjugacy and reguarty for the Casorat determnant souton are aso gven expcty. The reatonshp between the IDLS and the reatvstc Toda attce s dscussed. 8 October 06 PACS numbers: 0.30.Ik, Yv To be submtted to : J. Phys. A: Math. Gen.. Introducton The nonnear Schrödnger (LS) equaton, ψ t = ψ xx + α ψ ψ, (.) s one of most mportant soton equatons n mathematcs and physcs. The study of dscrete anaogues of the LS equaton has receved consderabe attenton recenty from both physca and mathematca pont of vew [, ]. The ntegrabe dscrete nonnear Schrödnger (IDLS) equaton s gven by dψ n = ψ n+ + ψ n + α ψ n (ψ n+ + ψ n ). (.) dt The IDLS equaton was orgnay derved by Abowtz and Ladk usng the Lax formuaton [3, 4, ]. Thus the IDLS equaton s often caed the Abowtz-Ladk attce. The IDLS equaton can be bnearzed nto D t G n F n = G n+ F n F n+ G n, (.3) F n + αg n G n = F n+ F n, (.4) through the dependent varabe transformaton ψ n = () n G n F n where F n s a rea functon, G n s a compex functon and G n s ts compex conjugate. Wth ths bnear forms the IDLS E-ma: maruno@math.kyushu-u.ac.jp

2 Dark Soton Soutons of the Integrabe Dscrete LS Equaton equaton n the case of α= can be soved by the Hrota bnear method,.e. -brght soton soutons are obtaned [5, 6, 7, 8]. It s we known that the LS equaton wth defocusng parameter (α < 0) has dark soton soutons. It s easy confrmed that there s a statonary dark soton souton ψ n = e t sech (k) tanh(k) α tanh(kn) (.5) by the drect substtuton of an ansatz of statonary souton nto eq.(.). Understandng varous propertes of dark sotons n dscrete attces s mportant from physca pont of vew [9, 0, ]. There s a resut of the IDLS equaton under non-vanshng boundary condton usng the nverse scatterng theory by Vekserchk and Konotop []. However, t s dffcut to understand the dependence on a attce space parameter of the -dark soton soutons n the resut. The -dark soton soutons of the IDLS equaton have not been studed much unt now. The reatonshp between the IDLS and reatvstc Toda attce (RTL) equaton was ponted out by severa authors [3, 4, 8]. An nterestng open probem was gven n concuson n Ref.[8]: The -component Casorat determnant souton of the IDLS equaton and RTL equaton n Ref.[8] s dfferent from the snge-component Casorat determnant souton of the RTL equaton whch was derved n Ref.[5]. Is there any reatonshp between the -component Casorat determnant souton and snge-component Casorat determnant souton? Our goa n ths paper s to construct Casorat determnant form of -dark soton soutons wth a attce space parameter and gve an answer of the above open probem. In ths artce, we gve an expct formua of the dark soton soutons. It s known that the dark soton soutons for LS are wrtten n terms of Wronsk determnants. We show that the souton for IDLS s gven n the Casorat determnant form whch s a dscrete anaogue of the Wronskan. Ths paper s organzed as foows. In the next secton, we dscuss about the gauge transformaton and bnearzaton of IDLS equaton. In secton 3, we gve bnear denttes for Casorat determnant both for the Bäckund transformaton of Toda attce and the dscrete -dmensona Toda attce equaton. In the secton 4, we perform a reducton of the Casorat determnant whch derves the bnear form for IDLS gven n secton. The compex conjugate condton s consdered n the secton 5. In the secton 6, we gve exampes of dark soton soutons. We aso carfy the reatonshp between the IDLS and the reatvstc Toda attce n the fna secton.. Gauge Transformaton of IDLS Frst of a, we shoud examne the transformaton of IDLS equaton by gauge. Appyng the gauge transformaton, ψ n = u n Ae (θn ωt),

3 Dark Soton Soutons of the Integrabe Dscrete LS Equaton 3 eq. (.) s transformed as du n dt = ωu n +(+αa u n )(u n+ e θ + u n e θ ), thus we can scae α by usng the amptude A. To obtan the dark soton soutons, we set α = (a )/a, (a > ). We aso scae t by t a t, then the IDLS eq. (.) can be bnearzed nto (D t + ω)g n F n = G n+ F n e θ + G n F n+ e θ, (.) a F n (a )G n G n = F n+ F n, (.) through the dependent varabe transformaton, ψ n = G n F n e (θn ωt), where F n s a rea functon, G n s a compex functon and G n s ts compex conjugate. The above gauge factor e (θn ωt) s nothng but the carrer wave of the dark soton, and essentay u n = G n /F n gves the enveope of the soton souton. In the context of LS, n order to construct physca soutons, t s more convenent to consder the above bnear form than the one n eqs. (.3) and (.4). Usng the bnear forms, eqs. (.) and (.), we present the Casorat determnant form of dark soton soutons of the IDLS equaton. Instead of appyng the Hrota bnear method drecty to eqs. (.) and (.), we rather start from the agebrac denttes for Casorat determnant and derve the bnear form of IDLS equaton by usng the reducton technque. 3. Bnear Identtes for Casorat Determnant 3.. Bäckund Transformaton of Toda Lattce We have the bnear forms for Bäckund Transformaton (BT) of Toda attce (TL) equaton, (ad x )τ n+ (k+,) τ n (k,)+τ n (k+,)τ n+ (k,)=0, (3.) (bd y )τ n (k,+ ) τ n (k,)+τ n (k,+ )τ n (k,)=0, (3.) where a and b are constants. Consder the foowng Casorat determnant souton, (k,) ϕ(n+) (k,) ϕ (n+ ) (k, ) τ n (k,)= (k,) ϕ(n+) (k,) ϕ (n+ ) (k, ), (3.3)... (k,) ϕ(n+) (k,) ϕ (n+ ) (k, ) where s are arbtrary functons of two contnuous ndependent varabes, x and y, and two dscrete ones, k and, whch satsfy the dsperson reatons, x (k,)=ϕ (n+) (k,), (3.4)

4 Dark Soton Soutons of the Integrabe Dscrete LS Equaton 4 y (k,)=ϕ (n ) (k,), (3.5) k (k,)=ϕ (n+) (k,), (3.6) (k,)=ϕ (n ) (k,). (3.7) Here k and are the backward dfference operators wth dfference ntervas a and b, defned by f(k,) f(k,) k f(k,)=, (3.8) a f(k,) f(k, ) f(k,)=. (3.9) b For smpcty we ntroduce a convenent notaton, ϕ (n ) (k, ) ϕ (n ) (k, ) ϕ (n ) (k, ) ϕ (n ) (k, ) ϕ (n ) (k, ) ϕ (n ) (k, ) n k,n k,,n k =. (3.0)... ϕ (n ) (k, ) ϕ (n ) (k, ) ϕ (n ) (k, ) In ths notaton, the souton for BT of TL, τ n (k,) n eq. (3.3), s rewrtten as τ n (k,)= n k,n+ k,,n+ k or suppressng the ndex k and, we smpy wrte as τ n (k,)= n,n+,,n+., (3.) We show that the above τ n (k,) actuay satsfes the bnear eqs. (3.) and (3.) by usng the Lapace expanson technque[6, 7]. At frst we nvestgate the dfference formua for τ. From eq. (3.6) we have aϕ (n+) otcng ths reaton, we get τ n (k+,)= n k+ = n k (k+,)=,n+ k+,n+ k+ (k+,) (k,).,n+ k+,n+ k+,,n+ k+,,n+ k+ where we have subtracted the nd coumn mutped by a from the st coumn, = n k,n+ k,n+ k+,,n+ k+ where we have subtracted the 3rd coumn mutped by a from the nd coumn, = n k,n+ k,,n+ k,n+ k+, (3.) that s, τ n (k+,)= n k,n+ k,,n+ k,n+ k+. (3.3)

5 Dark Soton Soutons of the Integrabe Dscrete LS Equaton 5 Moreover n eq. (3.3), mutpyng the -th coumn by a and addng the ( )-th coumn to the -th coumn, we get aτ n (k+,)= n k,n+ k,,n+ k Dfferentatng eq.(3.4) wth x and usng eq.(3.4) we obtan,n+ k+. (3.4) a x τ n (k+,)= n k,n+ k,,n+ 3 k,n+ k,n+ k+ + n k,n+ k,,n+ 3 k,n+ k,n+ k+ = n k,n+ k,,n+ 3 k,n+ k,n+ k+ +τ n (k+,). (3.5) We have aso In short, we wrte x τ n (k,)= n k,n+ k,,n+ k,n+ k. (3.6) τ n (k+,)= n,n+,,n+,n+ k+, (3.7) aτ n (k+,)= n,n+,,n+,n+ k+, (3.8) (a x )τ n (k+,)= n,n+,,n+ 3,n+,n+ k+, (3.9) x τ n (k,)= n,n+,,n+,n+. (3.0) Let us ntroduce an dentty for determnant, n+ n+ n+ n+ k+ Ø n+ Ø n+ n+ k+ n n+ n+ n+ = 0. Appyng the Lapace expanson to the eft-hand sde, we obtan the agebrac bnear dentty for determnants, n+,,n+,n+,n+ k+ n,n+,,n+,n+ n+,,n+,n+,n+ k+ n,n+,,n+,n+ n+,,n+,n+,n+ n,n+,,n+,n+ k+ =0, (3.) whch s rewrtten by usng eqs. (3.7)-(3.0), nto the dfferenta bnear equaton, (a x )τ n+ (k+,) τ n (k,) aτ n+ (k+,) x τ n (k,)+τ n+ (k,)τ n (k+,)=0. Ths equaton s equa to eq. (3.). Smary we obtan (b y )τ n (k,+ ) τ n (k,) bτ n (k,+ ) y τ n (k,)+τ n (k,)τ n (k,+ )=0, because the roe of y, and b s parae to that of x, k and a except that the orderng of ndex n s reversed. The above equaton s equa to eq. (3.). Hence we have proved that the Casorat determnant τ n (k,) n eq. (3.3) gves the souton for the BT of TL equaton.

6 Dark Soton Soutons of the Integrabe Dscrete LS Equaton Dscrete -dmensona Toda Lattce Usng the Casoratan technque, we show that the bnear form of dscrete -dmensona Toda attce (DDTL) equaton, τ n (k+,+ )τ n (k,) τ n (k+,)τ n (k,+ ) = ab(τ n (k+,+ )τ n (k,) τ n+ (k+,)τ n (k,+ )), (3.) s aso satsfed by the Casorat determnant. Let us further examne the dfference formua for the Casorat determnant τ n n eq. (3.3). Smary to eqs. (3.7) and (3.8), we have τ n (k,+ )= n +,n+,,n+,n+, (3.3) bτ n (k,+ )= n+ +,n+,,n+,n+. (3.4) Thus τ n (k+,+ ) s gven by τ n (k+,+ )= n k+,n+ k+,,n+ k+,n+ k+. (3.5) + In the foowng we show that the shfts of ndex k s condensed nto ony the rght-most coumn of the determnant. From eqs. (3.6) and (3.7), satsfes that s, (k,) k whch s rewrtten as ( ab) =, (3.6) (k,) (k, )+ (k, )=ab (k,), (3.7) (k+,+ )= (k,+ )+ (k+,) (k, ) = (k,+ )+aϕ (n+) (k+,). (3.8) Therefore mutpyng the both hand sdes of eq. (3.5) by ( ab) and rewrtng the st coumn of the determnant by the use of eq. (3.8), we obtan ( ab)τ n (k+,+ ),n+ k+,,n+ k+,n+ k+ = n k + + a n+ k+,n+ k+,,n+ k+,n+ k+. (3.9) The second term n r.h.s. vanshes because ts st and nd coumns are the same. So we get ( ab)τ n (k+,+ )= n +,n+ k+,,n+ k+,n+ k+. (3.30) In the above determnant, by subtractng the ( j + )-th coumn mutped by a from the j-th coumn for j=,3,,, τ n (k+,+ ) s gven by ( ab)τ n (k+,+ )= n +,n+,,n+,n+ k+. (3.3) As s shown, even f the two varabes k and are shfted, τ n s aso expressed n the determnant form whose coumns are amost unchanged and ony edges are vared. Thus we can use the Lapace expanson technque.

7 Dark Soton Soutons of the Integrabe Dscrete LS Equaton 7 We consder an dentty for determnant, n + n+ n+ n+ k+ n Ø n+ n + Ø n n+ n+ n+ = 0. By the Lapace expanson, we have n +,n+,,n+,n+ k+ n,n+,,n+,n+ n,n+,,n+,n+ k+ n +,n+,,n+,n+ + n+,,n+,n+,n+ k+ n +,n,n+,,n+ =0. (3.3) Usng eqs. (3.7), (3.8), (3.3), (3.4) and (3.3), we obtan from eq. (3.3), ( ab)τ n (k+,+ )τ n (k,) τ n (k+,)τ n (k,+ ) + aτ n+ (k+,)bτ n (k,+ )=0, (3.33) whch recovers eq. (3.). Ths competes the proof that the Casorat determnant s ndeed the souton for DDTL equaton. For exampe, we can take as (k,)= p n ( ap ) k ( b p ) e ξ + q n ( aq ) k ( b q ) e η, (3.34) ξ = p x+ p y+ξ 0, η = q x+ q y+η 0, where p, q and ξ 0, η 0 are arbtrary constants whch correspond to the wave numbers and phase parameters of sotons, respectvey. It can easy be seen that n eq. (3.34) actuay satsfes the dsperson reatons, eqs. (3.4)-(3.7). 4. Reducton to IDLS In ths secton, we gve the reducton technque n order to derve the IDLS equaton from the system of BT of TL and DDTL. In eq. (3.34), we appy a condton for the wave numbers, Then we get and thus q = p b p ap. (4.) p = q b q aq, (4.) p On ths condton, b p = q b q. (4.3) ap aq n eq. (3.34) satsfes ϕ (n+) (k+, )= p b p (k,). (4.4) ap

8 Dark Soton Soutons of the Integrabe Dscrete LS Equaton 8 Hence we obtan τ n+ (k+, )= ( p b p = ap ) τ n (k,). (4.5) By usng eq. (4.5), the bnear forms for BT of TL and DDTL, eqs. (3.), (3.) and (3.), are rewrtten as (ad x )τ n+ (k+,) τ n (k,)+τ n (k+,)τ n+ (k,)=0, (4.6) (bd y )τ n+ (k+,) τ n (k,)+τ n+ (k+,)τ n (k,)= 0, (4.7) τ n+ (k+,)τ n (k,) τ n+ (k,)τ n (k,) = ab(τ n+ (k+,)τ n (k,) τ n (k,)τ n (k,)). (4.8) Here we may drop -dependence, thus for smpcty we take = 0 hereafter. Equaton (4.8) s nothng but the bnear form of the dscrete one-dmensona TL equaton. Let us substtute x=act, y=bdt, (4.9) where c and d are constants. Then we have t = ac x + bd y, (4.0) and from the bnear eqs. (4.6) and (4.7), we get ( D t c d)τ n+ (k+ ) τ n (k)+cτ n (k+ )τ n+ (k)+dτ n+ (k+ )τ n (k)=0. (4.) The Casorat determnant souton of eqs. (4.) and (4.8) (wth = 0) s gven by (k) ϕ(n+) (k) ϕ (n+ ) (k) (k) ϕ(n+) (k) ϕ (n+ ) (k) τ n (k)=,... (k) ϕ (n+ ) (k) ξ = Here p and q are reated by eq. (4.). By defnng (k) ϕ(n+) (k)= p n ( ap ) k e ξ + q n ( aq ) k e η, ( acp + bd ) ( t+ ξ 0, η = acq + bd ) t+ η 0. p q f n = τ n (0), g n = τ n+ (), h n = τ n ( ), (4.) from eqs. (4.8) and (4.), we obtan the bnear form of IDLS equaton, ( D t c d)g n f n + dg n+ f n + cg n f n+ = 0, (4.3) (D t c d)h n f n + ch n+ f n + dh n f n+ = 0, (4.4) f n+ f n f n f n =(ab )( f n f n g n h n ). (4.5) By usng the dependent varabe transformaton, u n = g n f n, v n = h n f n,

9 Dark Soton Soutons of the Integrabe Dscrete LS Equaton 9 the above bnear equatons are transformed nto du n dt dv n dt 5. Compex Conjugate Condton = (c+d)u n +(ab (ab )u n v n )(du n+ + cu n ), (4.6) = (c+d)v n +(ab (ab )u n v n )(cv n+ + dv n ). (4.7) In order to take v n to be the compex conjugate of u n, we need to restrct f n as rea and h n as the compex conjugate of g n up to gauge freedom. Moreover to take u n to be reguar (.e., u n not to dverge for rea t), we need f n 0 for rea t. In ths secton, we gve the condtons for the compex conjugacy and reguarty for the Casorat determnant souton. Frsty we take b=a, for smpcty, and next we take a>. Then the condtons for compex conjugate are gven as foows: p = a+ a r, r =, (5.) e η 0 = p q k e ξ 0, (5.) k= q q k k d = c, (5.3) where r s a compex parameter of absoute vaue, and means the compex conjugate. On the condton (5.), eq. (4.) turns to be q = p, and eqs. (5.) and (5.3) gves e η = k= k p q k e ξ, q q k for rea t. ow we summarze the fna resut of the Casorat determnant souton for IDLS equaton. The bnear form of IDLS equaton s gven as ( D t c c )g n f n + c g n+ f n + cg n f n+ = 0, (5.4) (D t c c )h n f n + ch n+ f n + c h n f n+ = 0, (5.5) f n+ f n f n f n =(a )( f n f n g n h n ), (5.6)

10 Dark Soton Soutons of the Integrabe Dscrete LS Equaton 0 where a > and t s rea. The Casorat determnant souton for the above bnear equatons s gven as (0) ϕ(n+) (0) ϕ (n+ ) (0) (0) ϕ(n+) (0) ϕ (n+ ) (0) f n =, (5.7)... (0) ϕ(n+) (0) ϕ (n+ ) (0) ϕ (n+) () ϕ (n+) () ϕ (n+) () ϕ (n+) () ϕ (n+) () ϕ (n+) () g n =, (5.8)... ϕ (n+) () ϕ (n+) () ϕ (n+) () ϕ (n ) ( ) ( ) ϕ(n+ ) ( ) ϕ (n ) ( ) ( ) ϕ(n+ ) ( ) h n =, (5.9)... ϕ (n ) ( ) ( ) ϕ(n+ ) ( ) where ( ) (k)= p n ( a p r ) k e ξ n ( ) k a + p p r p k p k= p k /p e ξ, k ) ξ = a (cp + c t+ ξ 0, p = a+ a r, r =, p where r s a compex parameter of absoute vaue and ξ 0 s an arbtrary compex parameter. Ths Casorat determnant souton gves the -dark soton souton for IDLS equaton. r and ξ 0 parametrze the wave number and phase constant of -th soton, respectvey. After a straghtforward and tedous cacuaton of expandng the determnants, f n, g n and h n can be expressed n an expct way as foows: f n = F n G, g n = G n G r r r ( a ), h n = H n G ( a ), (5.0) r r r where G s the gauge factor defned by and F n, G n and H n are gven as F n = G n = H n = M=0 M=0 M=0 < < < M < < < M < < < M G = (q q j ) > j µ<ν M µ<ν M µ<ν M p µ p ν p µ p ν p µ p ν p µ p ν p µ p ν p µ p ν M ν= M ν= M ν= = q n eη, p ν n e ξ ν +ξ ν, (5.) ( ) p ν p ν r p ν n e ξ ν +ξ ν, (5.) ν ( ) p ν r ν p ν p ν n e ξ ν +ξ ν. (5.3)

11 Dark Soton Soutons of the Integrabe Dscrete LS Equaton ow t s cear that F n s rea and H n = G n, thus v n s the compex conjugate of u n up to mutpcaton factor. Moreover snce F n >, the reguarty of u n s aso satsfed. From the bnear eqs. (5.4)-(5.6), and the gauge transformaton (5.0), the above F n and G n satsfy the bnear equatons, Let us take ( D t c c )G n F n + c G n+ F n + cg n F n+ = 0, (5.4) F n+ F n F n F n =(a )(F n F n G n G n ). (5.5) c=e θ, where θ s a rea parameter. By the varabe transformaton, that s, where we fnay obtan the IDLS equaton, ψ n = G n F n e (θn ωt), ψ n = u n ( a ) r r r e (θn ωt), ω=e θ + e θ = cosθ, dψ n a = ψ n+ + ψ n a dt a ψ n (ψ n+ + ψ n ). (5.6) Thus we have competed the proof that the -dark soton soutons for the IDLS equaton are gven n terms of the Casorat determnant. Here we remark that a parameter a s reated to a attce space parameter δ = /a(< ). Usng a attce parameter δ, we can rewrte the IDLS equaton (5.6) nto dψ n = ψ n++ ψ n dt δ δ δ ψ n (ψ n+ + ψ n ). (5.7) We see that the IDLS equaton s defocusng whenever a attce parameter δ s smaer than. When δ=, the IDLS equaton reduces to a near equaton. 6. Soton Soutons In ths secton we gve exampes of dark soton soutons for the IDLS equaton. By takng = n eqs. (5.) and (5.), we get the -soton souton for the IDLS eq. (5.6), where θ s a rea parameter and ψ n = G n F n e (θn t cosθ), F n = + p n e ξ +ξ, G n = p p p n e ξ +ξ, r

12 Dark Soton Soutons of the Integrabe Dscrete LS Equaton Fgure. Pots of -dark soton. The vertca axs s ψ n. ((a) a=,r=exp(π),θ=π, (b) a=.,r=exp(π),θ=π.) where ( ) p eθ ξ = a + t+ ξ eθ 0, p = a+ a p r, r =. By rewrtng as p = pe θ and r = re θ, we get a sghty smper expresson, F n = + p n e ξ+ξ, G n = p p r p n e ξ+ξ, where ( ξ=a p+ ) t+ ξ 0, p=ae θ + a p r, r =. Here arg(r) parametrzes the wave number of soton, and R(ξ 0 ) gves the phase constant whch parametrzes the poston of soton. Fgure shows a statonary -dark (back) soton. When a(> ) s gettng coser to, the wdth of a dp s gettng wder. Fgure and 3 show traveng -dark (gray and back) sotons. Here we shoud comment about the dfference of traveng veocty between back and gray sotons. In the contnuous case, the LS equaton (.) s nvarant under the gauge and Gaean transformatons, ψ(x,t) ψ(x kt,t)e (kx k t), thus the traveng veocty of any souton can be shfted by k by usng the above transformaton. If we normaze the freedom of Gaean transformaton by requrng that the carrer wave dsappears (.e. k = 0) and ψ represents ony the enveope, then the veocty of the enveope soton s 0 f and ony f the soton s back. In the case of IDLS, the stuaton s amost same. When θ = 0 (.e. the case of carrer-wave-ess) or θ = π (.e. ψ n = ( ) n (enveope soton)), then the veocty of back soton s 0 and the traveng dark sotons are aways gray sotons. We see ths fact from Fgure and 3. The -soton souton s obtaned by takng = n eqs. (5.) and (5.). Smary by rewrtng as p p e θ and r r e θ, we get an expct expresson of the -soton souton for eq. (5.6), ψ n = G n F n e (θn t cosθ), F n = + p n e ξ +ξ + p n e ξ +ξ + p p p p p p n e ξ +ξ +ξ +ξ,

13 Dark Soton Soutons of the Integrabe Dscrete LS Equaton 3 Fgure. Pots of traveng -gray soton. The vertca axs s ψ n. ((a) a =,r = exp(3π/4),θ=5π/3.) Fgure 3. Pots of traveng -back soton. The vertca axs s ψ n. (a =,r = exp( 5π/3),θ= 5π/3.) G n = p where p r + p p p p p n e ξ +ξ p p p p r p r p r p n e ξ +ξ p p n e ξ +ξ +ξ +ξ, ) ξ = a (p + p t+ ξ 0, p = ae θ + a r, r =. Here the carrer wave of the dark soton souton s gven by the exponenta factor, e (θn t cosθ). Fgure 4 shows -dark soton nteracton.

14 Dark Soton Soutons of the Integrabe Dscrete LS Equaton 4 Fgure 4. Pots of -dark soton nteracton. The vertca axs s ψ n. (a =,r = exp(3π/4),r = exp(π/4),θ=5π/4) 7. Concudng Remarks We have shown that the -dark soton soutons of the IDLS equaton are gven by the Casorat determnant. From the above dervaton of the -dark soton soutons for the IDLS equaton, we notce that there s correspondence between the Casorat determnant soutons of the IDLS equaton and the RTL equaton [5]. The RTL equaton s decomposed nto three bnear equatons,.e. the Toda attce (TL) equaton, the Bäckund transformaton (BT) for TL and the DTL equaton (See appendx). The IDLS equaton s aso decomposed nto three bnear equatons,.e. two types of the BT for TL and the DTL equaton. Ths fact remnds us severa works on the reatonshp between IDLS and RTL [3, 4, 8]. Moreover, our resut s an answer to an open probem of Ref.[8],.e., the -brght soton soutons of IDLS are wrtten by the -component Casorat determnant n Ref.[8], and the -dark soton souton are wrtten by the snge-component Casorat determnant whch s gven n ths paper and corresponds to the souton of RTL n Ref.[5]. It s nterestng to nvestgate -dark soton soutons of the dscrete tme IDLS equaton. It w be reported n the forthcomng paper. The authors gratefuy acknowedge vauabe dscussons wth Prof. M. J. Abowtz, Prof. Y. Kodama, Prof. K. Yoshmura, Prof. B. F. Feng, Prof. K. Kajwara and Dr. A. Mukahra. K.M. acknowedges support from the st Century COE program Deveopment of Dynamc Mathematcs wth Hgh Functonaty at Facuty of Mathematcs, Kyushu Unversty.

15 Dark Soton Soutons of the Integrabe Dscrete LS Equaton 5 8. Appendx In ths appendx we brefy expan τ-functons of the RTL equaton. The RTL equaton d q n dt =(+ c q n )(+ c q exp(q n q n ) n) + exp(q c n q n ) (+ c q n)(+ c q exp(q n q n+ ) n+) + exp(q c n q n+ ), (8.) where q n s the coordnates of n-th attce pont and c s the ght speed, was ntroduced and studed by Rujsenaars [8]. The RTL equaton (8.) s transformed nto the three bnear equatons, D x f n f n = (ḡ n g n f n), (ad x ) f n f n + ḡ n g n = 0, (8.) ḡ n g n+ f n = a ( f n+ f n f n ), through the varabe transformatons, q n = og f n, (8.3) f n +c t = x, (8.4) c a c=. (8.5) a In eqs. (8.), g and ḡ are the auxary varabes and D s the bnear dfferenta operator defned by D k x f g=( x y ) k f(x)g(y) y=x. Lettng f n = τ n (n), g n = τ n (n), ḡ n = τ n+ (n), (8.6) we have three bnear equatons, the TL equaton, the Bäckund transformaton (BT) for TL and the DTL equaton, D x τ n(k) τ n (k)=(τ n+ (k)τ n (k) τ n (k)τ n (k)), (ad x )τ n (k) τ n (k )+τ n (k )τ n (k)=0, (8.7) τ n (k+ )τ n (k ) τ n (k)τ n (k) = a (τ n+ (k+ )τ n (k ) τ n (k)τ n (k)). References [] Abowtz M J, Prnar B and Trubatch A D 004 Dscrete and Contnuous onnear Schrödnger Systems (Cambrdge Unversty Press) [] Kevrekds P G, Rasmussen K O and Bshop A R 00 Int. J. Mod. Phys. B, 5, 833 [3] Abowtz M J and Ladk J F 975 J. Math. Phys. 6, 598 [4] Abowtz M J and Ladk J F 976 J. Math. Phys. 7, 0

16 Dark Soton Soutons of the Integrabe Dscrete LS Equaton 6 [5] Hrota R 004 The Drect Method n Soton Theory (Cambrdge Unversty Press) [6] Hrota R, unpubshed work [7] Ohta Y 000 Chaos, Sotons & Fractas,, 9 [8] Sadakane T 003 J. Phys. A: Math. Gen. 36, 87 [9] Kvshar Y and Kr okowsk 994 Phys. Rev. E 50, 500 [0] Sanchez-Rey B and Johansson M 005 Phys. Rev. E 7, [] Kevrekds P G, Carretero-Gonzaez R,Theochars G, Frantzeskaks D J and Maomed B A 003 Phys. Rev. E 68, [] Vekserchk V E and Konotop V V 99 Inv. Prob. 8, 889 [3] Vekserchk V E 995 Inv. Prob., 463 [4] Kharchev S, Mronov A and Zhedanov A 997 Int. J. Mod. Phys. A,, 675 [5] Ohta Y, Kajwara K, Matsukdara J and Satsuma J 993 J. Math. Phys. 34, 590 [6] Freeman C and mmo J J C 983 Phys. Lett. A 95, [7] Freeman C and mmo J J C 983 Proc. Roy. Soc. London Ser. A 389, 39 [8] Rujsenaars S M 990 Commun. Math. Phys. 33, 7