組合KdV方程的Hamilton系統(tǒng)
2014-08-27 09:52呂書(shū)強(qiáng)蔡春馬青華
網(wǎng)絡(luò)空間安全 2014年8期
呂書(shū)強(qiáng)+++蔡春+++馬青華
【 摘 要 】 本文根據(jù)KdV方程的Hamilton系統(tǒng)，構(gòu)造并證明了組合KdV方程的Hamilton系統(tǒng)。
【 關(guān)鍵詞 】 組合KdV方程；Hmailton算子；Hmailton系統(tǒng)
1 引言
KdV和mKdV 方程是發(fā)現(xiàn)最早且最具代表性的非線性發(fā)展方程，在數(shù)學(xué)、物理、工程等領(lǐng)域，都有十分重要的應(yīng)用前景。近些年來(lái)，對(duì)它們的可積性質(zhì)的研究不斷增多，得到一些結(jié)論。
本文考慮組合KdV方程
ut = δuxxx+auux+bu2ux （δ，a，b為實(shí)常數(shù)）
它可看作一維非線性晶格傳播波的模型，也可作為流體力學(xué)中的一個(gè)模型方程，組合KdV方程是KdV和mKdV方程的復(fù)合，既包含有非線性效應(yīng)，又包含頻散作用。
對(duì)于組合KdV方程，已經(jīng)得到了一些精確解。下面討論它的Hmailton系統(tǒng)。
19世紀(jì)20年代Hmailton在描述幾何學(xué)時(shí)發(fā)現(xiàn)了Hmailton系統(tǒng)，成為力學(xué)上與Lagrange力學(xué)等價(jià)的又一種力學(xué)描述方式。由于這類系統(tǒng)廣泛存在于數(shù)理科學(xué)、生命科學(xué)以及社會(huì)科學(xué)的各個(gè)領(lǐng)域，特別是天體力學(xué)、航天科學(xué)以及生物工程中的很多模型都以Hmailton系統(tǒng)（或它的擾動(dòng)系統(tǒng)）的形式出現(xiàn)，因此該領(lǐng)域的研究多年來(lái)成為人們關(guān)注的研究方向。
2 相關(guān)的定義及定理
定義1 對(duì)任意函數(shù)f（t，x，u），g（t，x，u），定義內(nèi)積
定理1 線性算子D：Am→Am為Hmailton算子，若其滿足：
（?。┓磳?duì)稱性：D*=-D ；
（ⅱ）Jacobi恒等式：
++
定義2 一對(duì)算子D1，D2稱相容的，若它們的線性組合aD1+bD2也是Hmailton算子，a，b為任意常數(shù)。
定義3 若非線性演化方程ut=K（u），K（u） ∈Am
可以表示成ut=D
其中D是Hmailton算子，是泛函
定義4 若非線性演化方程ut=K（u），K（u） ∈Am
可以表示成ut=K（u）=D1=D2
其中
定理2 若H（u）∈F，且H'=（H'）*，則
H=，
其中
3 組合KdV方程的Hmailton系統(tǒng)
對(duì)于組合KdV方程
ut = δuxxx+auux+bu2ux （δ，a，b為實(shí)常數(shù)）
可以寫(xiě)成ut = x （δuxx+u2 +u3 ）=D1
即存在D1=x ，
使等式 ut =D1
成立，因此組合KdV方程是一個(gè)Hmailton系統(tǒng)。
證明：首先證明
即 H1' =（H1'）*
由定理2可得
=（ δλuuxx+ λ2u3 +λ3u4）dλdx =（uuxx+u3 +u4 ）dx 其次證明D=x為Hmailton算子。 因?yàn)?（i）D*=-x=-D，滿足反對(duì)稱性； （ii）對(duì)于p，q，r為任意向量函數(shù)， D1'[D1q]=0 ， D1'[D1r]=0 ， D1'[D1p]=0 ∴ + 滿足Jacobi恒等式，因此D=x為Hmailton算子，從而組合KdV方程是一個(gè)Hmailton系統(tǒng)。 另外，當(dāng)b=2a=4δ時(shí)，組合KdV方程變?yōu)?/p> ut = δ（uxxx+2uux+4u2ux） 可以寫(xiě)成 ut = （3x +ux +ux ）（4δu）=D2=D1 即存在 D1=x ， D2=3x +ux +ux ， 使等式 ut =D2 =D1成立，并且算子D1，D2稱相容的，因此組合KdV方程在b=2a=4δ時(shí)，是一個(gè)雙Hmailton系統(tǒng)。 證明：首先證明 +
取H2=4δu，則H'2=4δ， （H'2）*=4δ， 即 H'2= （H'2）*
由定理2可得
=（ 4δλu2 ）dλdx =（2δu2 ）dx 其次證明D2=3x +ux +ux為Hmailton算子。 因?yàn)椋╥）D*2=-3x -xu +ux =-3x -ux -ux=-D2，滿足反對(duì)稱性； （ii）對(duì)于p，q，r為任意向量函數(shù)， Q D2q=qxxx+uqx+uxq ， D'2[v]=vx+vx ∴D'2[ D2q]r=q3xrx+uqxrx+uxqrx+q4xr+uxqxr+uqxxr+uxxqr ∴pD'2[ D2q]r +qD'2[ D2r]p+rD'2[ D2p]q =pq3xrx+upqxrx+uxpqrx+pq4xr+uxpqxr+upqxxr+uxxpqr +qr3xpx+uqrxpx+uxqrpx+qr4xp+uxqrxp+uqrxxp+uxxqrp +rp3xqx+urpxqx+uxrpqx+rp4xq+uxrpxq+urpxxq+uxxrpq =[（pxxqr+pqxxr+pqrxx）x-（pxxqrx+pxqxxr+pqxrxx）+u（pqr）x+ux（pqr）]x ∴ + 滿足Jacobi恒等式，因此D2=3x +ux +ux為Hmailton算子。 最后證明算子D1，D2稱相容的，只需證明aD1+bD2也是Hmailton算子，a，b為任意常數(shù)。 令D=aD1+bD2=ax+b（3x +ux +ux） 因?yàn)椋╥）D*=-ax+b（-3x -xu+ux）=-ax+b（-3x -ux-ux）=-D*，滿足反對(duì)稱性； （ii）對(duì)于p，q，r為任意向量函數(shù)， Q Dq=aqx+b（qxxx+uqx+uxq） ， D'[v]=bvx+bvx ∴D'[Dq]r=abqxrx+b2（q3xrx+uqxrx+uxqrx）+abqxxr+b2（q4xr+uxqxr+uqxxr+uxxqr） ∴pD'[ Dq]r +qD'[ Dr]p+rD'[ Dp]q =abpqxr+b2（pq3xrx+upqxrx+uxpqrx）+abpqxxr +b2（pq4xr+uxpqxr+upqxxr+uxxpqr） +abqrxp+b2（qr3xpx+uqrxpx+uxqrpx）+abqrxxp +b2（qr4xp+uxqrxp+uqrxxp+uxxqrp） +abrpxq+b2（rp3xqx+urpxqx+uxrpqx）+abrpxxxq+b2（rp4xq+uxrpxq+urpxxq+uxxrpq） ={ab（pqr）x）+b2[（pxxqr+pqxxr+pqrxx）x-（pxxqrx+pxqxxr+pqxrxx）+u（pqr）x+ux（pqr）]}x ∴ + 滿足Jacobi恒等式，因此D2=3x +ux +ux為Hmailton算子。 從而組合KdV方程具有雙Hmailton系統(tǒng)。 參考文獻(xiàn) [1] 王明亮.非線性發(fā)展方程與孤立子[M].蘭州：蘭州大學(xué)出版社，1990. [2] 谷超豪等.孤立子理論與應(yīng)用[M].浙江：浙江科技出版社，1995. [3] 李翊神.孤子與可積系統(tǒng)[M].上海：上?？萍冀逃霭嫔?，1999. [4] 陳登遠(yuǎn).孤子引論[M].北京：科學(xué)出版社，2006. [5] 王艷紅，王振輝，毛星星. KdV-mKdV方程的精確解[J]. 河南理工大學(xué)學(xué)報(bào)（自然科學(xué)版），2013，32（1）：118-121. [6] 陳金蘭，李向正，王躍明.組合KdV方程的精確解[J].蘭州理工大學(xué)學(xué)報(bào)，2005，31（3）：140-142. 基金項(xiàng)目： 2013年國(guó)內(nèi)訪問(wèn)學(xué)者項(xiàng)目，北京聯(lián)合大學(xué)新起點(diǎn)計(jì)劃項(xiàng)目資助（zk10201412）；北京市屬高等學(xué)校高層次人才引進(jìn)與培養(yǎng)計(jì)劃項(xiàng)目（CIT&TCD201404080和CIT&TCD201304089）。 作者簡(jiǎn)介： 呂書(shū)強(qiáng)（1971-），男， 河南泌陽(yáng)人，中國(guó)礦業(yè)大學(xué)（北京） ，碩士研究生，副教授，主要從事應(yīng)用數(shù)學(xué)的教學(xué)和科研工作；主要研究方向和關(guān)注領(lǐng)域：為非線性方程。 dλ=
+
取H2=4δu，則H'2=4δ， （H'2）*=4δ， 即 H'2= （H'2）*
由定理2可得
=（ 4δλu2 ）dλdx =（2δu2 ）dx 其次證明D2=3x +ux +ux為Hmailton算子。 因?yàn)椋╥）D*2=-3x -xu +ux =-3x -ux -ux=-D2，滿足反對(duì)稱性； （ii）對(duì)于p，q，r為任意向量函數(shù)， Q D2q=qxxx+uqx+uxq ， D'2[v]=vx+vx ∴D'2[ D2q]r=q3xrx+uqxrx+uxqrx+q4xr+uxqxr+uqxxr+uxxqr ∴pD'2[ D2q]r +qD'2[ D2r]p+rD'2[ D2p]q =pq3xrx+upqxrx+uxpqrx+pq4xr+uxpqxr+upqxxr+uxxpqr +qr3xpx+uqrxpx+uxqrpx+qr4xp+uxqrxp+uqrxxp+uxxqrp +rp3xqx+urpxqx+uxrpqx+rp4xq+uxrpxq+urpxxq+uxxrpq =[（pxxqr+pqxxr+pqrxx）x-（pxxqrx+pxqxxr+pqxrxx）+u（pqr）x+ux（pqr）]x ∴ + 滿足Jacobi恒等式，因此D2=3x +ux +ux為Hmailton算子。 最后證明算子D1，D2稱相容的，只需證明aD1+bD2也是Hmailton算子，a，b為任意常數(shù)。 令D=aD1+bD2=ax+b（3x +ux +ux） 因?yàn)椋╥）D*=-ax+b（-3x -xu+ux）=-ax+b（-3x -ux-ux）=-D*，滿足反對(duì)稱性； （ii）對(duì)于p，q，r為任意向量函數(shù)， Q Dq=aqx+b（qxxx+uqx+uxq） ， D'[v]=bvx+bvx ∴D'[Dq]r=abqxrx+b2（q3xrx+uqxrx+uxqrx）+abqxxr+b2（q4xr+uxqxr+uqxxr+uxxqr） ∴pD'[ Dq]r +qD'[ Dr]p+rD'[ Dp]q =abpqxr+b2（pq3xrx+upqxrx+uxpqrx）+abpqxxr +b2（pq4xr+uxpqxr+upqxxr+uxxpqr） +abqrxp+b2（qr3xpx+uqrxpx+uxqrpx）+abqrxxp +b2（qr4xp+uxqrxp+uqrxxp+uxxqrp） +abrpxq+b2（rp3xqx+urpxqx+uxrpqx）+abrpxxxq+b2（rp4xq+uxrpxq+urpxxq+uxxrpq） ={ab（pqr）x）+b2[（pxxqr+pqxxr+pqrxx）x-（pxxqrx+pxqxxr+pqxrxx）+u（pqr）x+ux（pqr）]}x ∴ + 滿足Jacobi恒等式，因此D2=3x +ux +ux為Hmailton算子。 從而組合KdV方程具有雙Hmailton系統(tǒng)。 參考文獻(xiàn) [1] 王明亮.非線性發(fā)展方程與孤立子[M].蘭州：蘭州大學(xué)出版社，1990. [2] 谷超豪等.孤立子理論與應(yīng)用[M].浙江：浙江科技出版社，1995. [3] 李翊神.孤子與可積系統(tǒng)[M].上海：上?？萍冀逃霭嫔?，1999. [4] 陳登遠(yuǎn).孤子引論[M].北京：科學(xué)出版社，2006. [5] 王艷紅，王振輝，毛星星. KdV-mKdV方程的精確解[J]. 河南理工大學(xué)學(xué)報(bào)（自然科學(xué)版），2013，32（1）：118-121. [6] 陳金蘭，李向正，王躍明.組合KdV方程的精確解[J].蘭州理工大學(xué)學(xué)報(bào)，2005，31（3）：140-142. 基金項(xiàng)目： 2013年國(guó)內(nèi)訪問(wèn)學(xué)者項(xiàng)目，北京聯(lián)合大學(xué)新起點(diǎn)計(jì)劃項(xiàng)目資助（zk10201412）；北京市屬高等學(xué)校高層次人才引進(jìn)與培養(yǎng)計(jì)劃項(xiàng)目（CIT&TCD201404080和CIT&TCD201304089）。 作者簡(jiǎn)介： 呂書(shū)強(qiáng)（1971-），男， 河南泌陽(yáng)人，中國(guó)礦業(yè)大學(xué)（北京） ，碩士研究生，副教授，主要從事應(yīng)用數(shù)學(xué)的教學(xué)和科研工作；主要研究方向和關(guān)注領(lǐng)域：為非線性方程。 dλ=
+
+
取H2=4δu，則H'2=4δ， （H'2）*=4δ， 即 H'2= （H'2）*
由定理2可得
=（ 4δλu2 ）dλdx =（2δu2 ）dx 其次證明D2=3x +ux +ux為Hmailton算子。 因?yàn)椋╥）D*2=-3x -xu +ux =-3x -ux -ux=-D2，滿足反對(duì)稱性； （ii）對(duì)于p，q，r為任意向量函數(shù)， Q D2q=qxxx+uqx+uxq ， D'2[v]=vx+vx ∴D'2[ D2q]r=q3xrx+uqxrx+uxqrx+q4xr+uxqxr+uqxxr+uxxqr ∴pD'2[ D2q]r +qD'2[ D2r]p+rD'2[ D2p]q =pq3xrx+upqxrx+uxpqrx+pq4xr+uxpqxr+upqxxr+uxxpqr +qr3xpx+uqrxpx+uxqrpx+qr4xp+uxqrxp+uqrxxp+uxxqrp +rp3xqx+urpxqx+uxrpqx+rp4xq+uxrpxq+urpxxq+uxxrpq =[（pxxqr+pqxxr+pqrxx）x-（pxxqrx+pxqxxr+pqxrxx）+u（pqr）x+ux（pqr）]x ∴ + 滿足Jacobi恒等式，因此D2=3x +ux +ux為Hmailton算子。 最后證明算子D1，D2稱相容的，只需證明aD1+bD2也是Hmailton算子，a，b為任意常數(shù)。 令D=aD1+bD2=ax+b（3x +ux +ux） 因?yàn)椋╥）D*=-ax+b（-3x -xu+ux）=-ax+b（-3x -ux-ux）=-D*，滿足反對(duì)稱性； （ii）對(duì)于p，q，r為任意向量函數(shù)， Q Dq=aqx+b（qxxx+uqx+uxq） ， D'[v]=bvx+bvx ∴D'[Dq]r=abqxrx+b2（q3xrx+uqxrx+uxqrx）+abqxxr+b2（q4xr+uxqxr+uqxxr+uxxqr） ∴pD'[ Dq]r +qD'[ Dr]p+rD'[ Dp]q =abpqxr+b2（pq3xrx+upqxrx+uxpqrx）+abpqxxr +b2（pq4xr+uxpqxr+upqxxr+uxxpqr） +abqrxp+b2（qr3xpx+uqrxpx+uxqrpx）+abqrxxp +b2（qr4xp+uxqrxp+uqrxxp+uxxqrp） +abrpxq+b2（rp3xqx+urpxqx+uxrpqx）+abrpxxxq+b2（rp4xq+uxrpxq+urpxxq+uxxrpq） ={ab（pqr）x）+b2[（pxxqr+pqxxr+pqrxx）x-（pxxqrx+pxqxxr+pqxrxx）+u（pqr）x+ux（pqr）]}x ∴ + 滿足Jacobi恒等式，因此D2=3x +ux +ux為Hmailton算子。 從而組合KdV方程具有雙Hmailton系統(tǒng)。 參考文獻(xiàn) [1] 王明亮.非線性發(fā)展方程與孤立子[M].蘭州：蘭州大學(xué)出版社，1990. [2] 谷超豪等.孤立子理論與應(yīng)用[M].浙江：浙江科技出版社，1995. [3] 李翊神.孤子與可積系統(tǒng)[M].上海：上?？萍冀逃霭嫔纾?999. [4] 陳登遠(yuǎn).孤子引論[M].北京：科學(xué)出版社，2006. [5] 王艷紅，王振輝，毛星星. KdV-mKdV方程的精確解[J]. 河南理工大學(xué)學(xué)報(bào)（自然科學(xué)版），2013，32（1）：118-121. [6] 陳金蘭，李向正，王躍明.組合KdV方程的精確解[J].蘭州理工大學(xué)學(xué)報(bào)，2005，31（3）：140-142. 基金項(xiàng)目： 2013年國(guó)內(nèi)訪問(wèn)學(xué)者項(xiàng)目，北京聯(lián)合大學(xué)新起點(diǎn)計(jì)劃項(xiàng)目資助（zk10201412）；北京市屬高等學(xué)校高層次人才引進(jìn)與培養(yǎng)計(jì)劃項(xiàng)目（CIT&TCD201404080和CIT&TCD201304089）。 作者簡(jiǎn)介： 呂書(shū)強(qiáng)（1971-），男， 河南泌陽(yáng)人，中國(guó)礦業(yè)大學(xué)（北京） ，碩士研究生，副教授，主要從事應(yīng)用數(shù)學(xué)的教學(xué)和科研工作；主要研究方向和關(guān)注領(lǐng)域：為非線性方程。 dλ=
+
