呂書(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)積

=f（t，x，u）g（t，x，u）dx

定理1 線性算子D：Am→Am為Hmailton算子，若其滿足：

（?。┓磳?duì)稱性：D*=-D ；

（ⅱ）Jacobi恒等式：++=0，p，q，r為任意向量函數(shù)。

定義2 一對(duì)算子D1，D2稱相容的，若它們的線性組合aD1+bD2也是Hmailton算子，a，b為任意常數(shù)。

定義3 若非線性演化方程ut=K（u），K（u） ∈Am

可以表示成ut=D

其中D是Hmailton算子，是泛函∈的變分導(dǎo)數(shù)，則稱其為一個(gè)Hmailton系統(tǒng)。

定義4 若非線性演化方程ut=K（u），K（u） ∈Am

可以表示成ut=K（u）=D1=D2

其中1，2為相應(yīng)的Hmailton泛函，而且D1，D2為相容的Hmailton算子對(duì)，則稱其具有雙Hmailton系統(tǒng)。

定理2 若H（u）∈F，且H'=（H'）*，則

H=， =dλ

其中是微分函數(shù)的全體，H是Hmailton函數(shù)，H'是H的Frechét導(dǎo)數(shù)，（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 ，1=（uuxx+u3 +u4 ）dx，

使等式 ut =D1

成立，因此組合KdV方程是一個(gè)Hmailton系統(tǒng)。

證明：首先證明1存在，即1=（uuxx+u3 +u4 ）dx，取H1=δuxx+u2 +u3 ，則H1' =au+bu2+δ2x，（H1'）*=au+bu2+δ2x，

即 H1' =（H1'）*

由定理2可得

1=dλ=

=（ δλ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

∴ + + =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 ，1=δ（uuxx+u3 +u4）dx ，

D2=3x +ux +ux ， 2=（2δu2）dx ，

使等式 ut =D2 =D1成立，并且算子D1，D2稱相容的，因此組合KdV方程在b=2a=4δ時(shí)，是一個(gè)雙Hmailton系統(tǒng)。

證明：首先證明2存在，即2=（2δu2）dx

取H2=4δu，則H'2=4δ， （H'2）*=4δ， 即 H'2= （H'2）*

由定理2可得

2=

dλ=

=（ 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

∴++=0

滿足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

∴++=0

滿足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)域：為非線性方程。

取H2=4δu，則H'2=4δ， （H'2）*=4δ， 即 H'2= （H'2）*

由定理2可得

2=

dλ=

=（ 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

∴++=0

滿足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

∴++=0

滿足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)域：為非線性方程。

取H2=4δu，則H'2=4δ， （H'2）*=4δ， 即 H'2= （H'2）*

由定理2可得

2=

dλ=

=（ 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

∴++=0

滿足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

∴++=0

滿足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)域：為非線性方程。