曲婧佳, 楊雙羚, 馮 雪
(1.空軍航空大學(xué) 基礎(chǔ)部, 吉林 長春 130022;2.吉林建筑大學(xué)城建學(xué)院, 吉林 長春 130114)
為了研究理想不可壓縮的重質(zhì)流體在平底上的無渦旋平穩(wěn)運(yùn)動,Karabut考慮了如下邊值問題的解[1-3]:
(1)
設(shè)式(1)具有如下形式的解:
W=θ2W1(χ)+θ4W2(χ)+θ6W3(χ)+…
這種形式的解對應(yīng)了淺水?dāng)U張現(xiàn)象。進(jìn)一步假設(shè)Wj(χ)是關(guān)于cosh-2(χ/2)的多項(xiàng)式函數(shù),并記ζ=eχ。那么,上式可改寫為:
W=E1(θ)ζ+E2(θ)ζ2+E3(θ)ζ3+…
這種序列由Witting在文獻(xiàn)[4]中提出,同時,他也給出了系數(shù)Ej的遞推公式。Karabut證明:對于θ=mπ/n(m,n∈Ζ),Witting序列的精確求解等價于求解一組n元一階微分方程組。具體引入函數(shù)
Pj(χ)=W(ζω2j-2)
ω=eiθ,j=1,2,…,n
滿足方程組:
(2)
因此,為了求解邊值問題(1)具有Witting序列形式的解,我們只需要解積分方程組(2),并取W=P1。
Karabut在文獻(xiàn)[1,3]分別證明了系統(tǒng)(2)在θ=π/3,θ=π/4是可積的, 并給出了Witting序列的精確表達(dá)式。文獻(xiàn)[5]研究了該系統(tǒng)的非哈密頓意義下的可積性。這里用不同的方法研究該系統(tǒng)亞純首次積分的最大個數(shù)問題。文中主要考慮θ=π/5的情形。記
則系統(tǒng)(2)可以改寫成關(guān)于變量fj的標(biāo)準(zhǔn)形式的常微分方程組:
做時間尺度變換
并記yi:=fi,則Karabut等價于如下系統(tǒng):
(3)
式中,“·”表示對時間t的求導(dǎo)。
數(shù)值模擬顯示,Karabut系統(tǒng)(3)具有復(fù)雜的動力學(xué)行為。文中將從不可積性的角度去認(rèn)識該系統(tǒng)的拓?fù)浣Y(jié)構(gòu)。如果該系統(tǒng)有(n-1)個函數(shù)獨(dú)立的首次積分,一般我們稱一個微分動力系統(tǒng)是完全可積的。
定理1Karabut系統(tǒng)(3)至多有三個函數(shù)獨(dú)立的亞純首次積分。
定理2Karabut 系統(tǒng)(3)不是亞純完全可積的。
通過分析系統(tǒng)(3)沿某個非平衡特解的變分方程的Galois群的性質(zhì),去證明該系統(tǒng)至多只有三個函數(shù)獨(dú)立的首次積分。因?yàn)橄到y(tǒng)(3)是相對于權(quán)(1,1,1,1,1)的擬齊次系統(tǒng),所以它存在自相似解:
其中,非零向量c=(c1,c2,c3,c4,c5)滿足代數(shù)方程組:
c1+c3c5-c2c4=0
c2+c4c1-c3c5=0
c3+c2c5-c1c4=0
c4+c1c3-c2c5=0
c5+c2c4-c1c3=0
(4)
經(jīng)計算,得到一組解
c=(-i,-1,1,i,0)
系統(tǒng)(3)沿著該自相似解的變分方程是
(5)
其中,A(t)是系統(tǒng)(4)沿著該自相似解的Jacobi矩陣,即
做變換ξ=t-1χ,方程(5)變?yōu)?/p>
(6)
進(jìn)一步得到系統(tǒng)(6)的一個子系統(tǒng),法向變分方程
(7)
參考文獻(xiàn):
[1] Karabut E A. Summation of the witting series in the solitary wave problem[J]. Siberian Mathematical Journal,1995,36(2):287-304.
[2] Karabut E A. Asymptotic expansions in the problem of a solitary wave[J]. Journal of Fluid Mechanics,1996,319:109-123.
[3] Karabut E A. Summation of the witting series in the solitary-wave problem[J]. Appl. Mech. Tech. Phys.,1999,40:36-45.
[4] Witting J. On the highest and other solitary waves[J]. SIAM Journal on Applied Mathematics,1975,28(3):700-719.
[5] Christov O. Non-integrability of the karabut system[J]. Nonlinear Analysis: Real World Applications,2016,32:91-97.
[6] Ziglin S L. Branching of solutions and nonexistence of first integrals in Hamiltonian mechanics[J]. Functional Analysis and its Applications,1982,16(3):181-189.
[7] Morales-Ruiz J J, Ramis J P. Galoisian obstructions to integrability of Hamiltonian systems[J]. Methods Appl. Anal.,2001,8(1):33-96,97-112.