牛華偉，白二彪

(1.平頂山教育學(xué)院 數(shù)學(xué)系,河南 平頂山 467000； 2.鄭州大學(xué) 數(shù)學(xué)系，河南 鄭州 450001)

在研究發(fā)展方程對(duì)稱的過程中，人們發(fā)現(xiàn)在物理中提煉出來的非線性發(fā)展方程及其所屬的方程族(例如KdV[1]1-7，[2]51-57和AKNS[3]，[4]方程族)都有無窮多對(duì)稱這樣的一個(gè)共性.由此，人們認(rèn)為發(fā)展方程具有無窮多對(duì)稱是方程可積的一個(gè)特征.如此推來，關(guān)于發(fā)展方程對(duì)稱的研究必將推動(dòng)代數(shù)幾何中發(fā)展方程可積性質(zhì)的發(fā)展，也正是基于這樣的原因，對(duì)稱的研究得到了相當(dāng)?shù)闹匾?通過研究人們發(fā)現(xiàn)，可積發(fā)展方程同時(shí)具有K對(duì)稱和τ對(duì)稱，并且這些K對(duì)稱和τ對(duì)稱通常還能構(gòu)成一個(gè)向量場(chǎng)Lie代數(shù)的Lie子代數(shù),他們具有簡(jiǎn)潔的統(tǒng)一形式.人們進(jìn)一步認(rèn)識(shí)到對(duì)稱與發(fā)展方程具有深層次的聯(lián)系.在孤立子發(fā)展方程蓬勃發(fā)展的過程各種研究對(duì)象及其討論的范圍得到了大力的擴(kuò)充，其中超空間超變量是其中的一方面，超空間是歐式空間的一種推廣，包含兩種變量，這兩種變量分別刻畫了量子力學(xué)中的波色子和費(fèi)米子的性質(zhì)，這個(gè)研究方向創(chuàng)世于上世紀(jì)中葉，后來形成了超對(duì)稱理論.經(jīng)過幾十年的發(fā)展，形成了尋找方程的對(duì)稱并構(gòu)建其Lie代數(shù)結(jié)構(gòu)的理論體系.理論研究中大部分只研究一般方程的對(duì)稱，或只研究超方程的性質(zhì)而沒有將兩者結(jié)合起來.本文正是基于這種情形，研究了超AKNS方程族和AKNS方程族的對(duì)稱及其Lie代數(shù)結(jié)構(gòu)，發(fā)現(xiàn)他們的一致性[1]1-7,[2]51-57,[3]15，[4]4.

考慮如下3×3的Lax對(duì)的特征值問題：

其中ξ是一個(gè)特征參數(shù)，q,r,α,β,A,B,C,ρ,δ是變量x,t的函數(shù).其中函數(shù)q,r, A,B,C是偶的，α,β,ρ,δ是奇的.通過相容性原理，可以得到超AKNS方程族：

其中

定理2 超AKNS方程族的方程ut=φnKo，l=0,1,2,…有對(duì)稱：

(Ⅱ)φm'[τln]=[τl'n,φm]+mφm+n-1，n=0，1，2，….，m=0,1,2,…，

定理3 超AKNS方程族(2)的對(duì)稱(5)構(gòu)成一個(gè)Lie代數(shù)：

[Km,Kn]=0，

[Km,τln]=mKm+n-1，

[τlm,τln]=(m-n)τlm+n-1，

l=1，2，3，…,m,n=0,1,2,…，

當(dāng)取2×2的Lax對(duì):

相應(yīng)可得到AKNS方程族：

其中

l=1，2，3，…,m,n=0,1,2,…

通過上面的討論可以發(fā)現(xiàn)，超變量的引入沒有影響超AKNS方程族對(duì)稱及其Li代數(shù)結(jié)構(gòu)的討論，從而超AKNS方程族和AKNS方程族的對(duì)稱和Lie代數(shù)結(jié)構(gòu)在形式上是一致的.

[1] 王寶勤，張飛軍.源于KdV方程的延拓結(jié)構(gòu)的方程與對(duì)稱[J].新疆師范大學(xué)學(xué)報(bào)(自然科學(xué)版)，1998,17(02).

[2] 斯仁道吉爾.組合KdV方程的強(qiáng)對(duì)稱、對(duì)稱及其Lie代數(shù)[J].內(nèi)蒙古師大學(xué)報(bào)(自然科學(xué)漢文版)，1992,(s1).

[3] 陳守婷.半離散AKNS系統(tǒng)的對(duì)稱及代數(shù)結(jié)構(gòu)[D].上海：上海大學(xué)，2011.

[4] 袁洪芬.超空間上Dirac型方程解的性質(zhì)[D].石家莊：河北師范大學(xué)，2012.