冷詩(shī)揚(yáng), 楊雙羚
(1. 吉林大學(xué) 數(shù)學(xué)學(xué)院, 長(zhǎng)春 130012; 2. 吉林建筑大學(xué)城建學(xué)院 基礎(chǔ)科學(xué)部, 長(zhǎng)春 130114)
關(guān)于非線性微分方程組可積性與不可積性的研究是常微分方程定性理論的核心問(wèn)題之一. 對(duì)于一個(gè)給定系統(tǒng), 如果能找到足夠多的首次積分, 則很容易得到其通解, 該系統(tǒng)便是可積的. 利用k個(gè)函數(shù)獨(dú)立的首次積分可將n維系統(tǒng)簡(jiǎn)化為(n-k)維, 進(jìn)而研究所考慮動(dòng)力系統(tǒng)的拓?fù)浣Y(jié)構(gòu). 例如, 如果一個(gè)自由度為n的Hamilton系統(tǒng)在Liouville意義下可積, 即具有n個(gè)函數(shù)獨(dú)立且兩兩對(duì)合的首次積分, 則其與首次積分確定的不變集在相空間內(nèi)同胚于圓環(huán)、 圓柱或者平面. 如果系統(tǒng)是不可積的, 則它通常表現(xiàn)出各種混沌現(xiàn)象或其他復(fù)雜的動(dòng)力學(xué)行為.
一般很難判斷一個(gè)系統(tǒng)是否具有首次積分或者是否可積[1-2]. Ziglin[3-4]基于沿積分曲線變分方程(NVE)單值群的性質(zhì), 給出了2n維復(fù)解析Hamilton系統(tǒng)具有n個(gè)函數(shù)獨(dú)立的亞純首次積分的必要條件, 該結(jié)果可用于研究?jī)蓚€(gè)自由度Hamilton系統(tǒng)的Liouville不可積性, 例如: Toda晶格Hamilton系統(tǒng)[5]、J2問(wèn)題[6]和Kepler問(wèn)題[7]等. Morales-Ruiz等[8]利用微分Galois理論[9]對(duì)文獻(xiàn)[3-4]的結(jié)果進(jìn)行延伸, 通過(guò)取代變分方程的單值群考慮微分Galois群, 得到了非線性Hamilton系統(tǒng)Liouville可積的更強(qiáng)必要條件, 即Morales-Ramis理論[8]. 該理論在數(shù)學(xué)、 物理、 天文學(xué)等領(lǐng)域應(yīng)用廣泛, 其中兩個(gè)重要結(jié)果是平面三體問(wèn)題[10]和希爾月球問(wèn)題[11]被證明在Liouville意義下是不可積的. 同時(shí), Morales-Ramis理論也可用于研究非Hamilton系統(tǒng)亞純首次積分的存在性[12-13].
本文考慮如下具M(jìn)arta勢(shì)能的Hamilton系統(tǒng)[14]的Liouville可積性:
(1)
具M(jìn)arta勢(shì)能的Hamilton系統(tǒng)與經(jīng)典的Henon-Heiles Hamilton系統(tǒng)相似, 但與之相比, 系統(tǒng)(1)的對(duì)稱更少. 文獻(xiàn)[14]數(shù)值模擬顯示, Marta Hamilton系統(tǒng)出現(xiàn)混沌現(xiàn)象, 具有很復(fù)雜的動(dòng)力學(xué)行為. 本文從不可積性的角度考慮該系統(tǒng)的拓?fù)浣Y(jié)構(gòu).
首先簡(jiǎn)要介紹Morales-Ramis理論. 考慮如下復(fù)動(dòng)力系統(tǒng):
(2)
假設(shè)該系統(tǒng)有一個(gè)特解φ(t), 在局部坐標(biāo)t下, 該解的最大解析延拓定義了一個(gè)Riemann曲面Γ, 沿著該解的變分方程有如下形式:
(3)
其中TΓM是TM限制在Γ上的切叢. 如果系統(tǒng)是一個(gè)2n維的Hamilton系統(tǒng), 則其變分方程可約化為2(n-1)維的系統(tǒng), 即法向變分方程為
(4)
由于系統(tǒng)(4)是線性系統(tǒng), 因此, 可以考慮該系統(tǒng)的微分Galois群. 微分Galois群是作用在系統(tǒng)(4)解上的矩陣群, 并且不改變解的多項(xiàng)式關(guān)系[8]. 同時(shí), 它也是線性代數(shù)群. 對(duì)于2n維的Hamilton系統(tǒng), 法向變分方程的微分Galois群是Sp(2(m-1),)的子群. 該群中, 包含單位元的最大連通子集, 稱為該群的單位連通分支. 在Morales-Ramis理論中, Hamilton系統(tǒng)Liouville可積性的必要條件由單位連通分支的性質(zhì)給出.
定理1[9]假設(shè)復(fù)解析Hamilton系統(tǒng)(2)在解曲線Γ的某鄰域內(nèi)是亞純Liouville可積的, 則沿著該解法向變分方程的微分Galois群的單位連通分支是可交換的.
定理1是研究Hamilton系統(tǒng)不可積性的主要工具. 為了應(yīng)用定理1, 需要找到系統(tǒng)的一個(gè)特解, 計(jì)算出沿著該解的法向變分方程, 并研究相應(yīng)單位連通分支的可交換性. 但計(jì)算一個(gè)給定線性微分系統(tǒng)的Galois群十分困難. 對(duì)于二階線性微分方程, 文獻(xiàn)[15]給出了相應(yīng)較完整的算法計(jì)算其Galois群, 并給出了二階有理系數(shù)線性方程Galois群的分類.
引理1[15]具有理函數(shù)系數(shù)的二階約化線性方程
(5)
的微分Galois群是SL(2,)的代數(shù)子群, 并且滿足如下情形之一:
情形1) G共軛于一個(gè)上三角子群;
情形3) G是有限群, 且情形1),2)均不成立;
情形4) G=SL(2,).
引理2[15]引理1中前3種情形成立的必要條件分別是:
情形1)r(z)的每個(gè)極點(diǎn)或者階數(shù)是偶數(shù), 或者階數(shù)大于2;r(z)在無(wú)窮遠(yuǎn)點(diǎn)的階數(shù)或者是偶數(shù), 或者大于2;
情形2)r(z)至少有一個(gè)極點(diǎn)的階數(shù)是大于2的奇數(shù)或者是2;
Kovacic[15]給出了判斷線性方程(5)的微分Galois群屬于引理1中哪一種情形的完整算法.
定理2具M(jìn)arta勢(shì)能的Hamilton系統(tǒng)(1)在Liouville意義下不是亞純可積的.
證明: 具M(jìn)arta勢(shì)能的Hamilton系統(tǒng)(1)對(duì)應(yīng)的運(yùn)動(dòng)方程為
(6)
由于超平面N={(x,y,px,py)|x=px=0}是系統(tǒng)(6)的不變流形, 因此在不變流形N上, 系統(tǒng)(6)可約化為線性Hamilton系統(tǒng)
(7)
易見,
是系統(tǒng)(6)位于流形N上的一個(gè)周期解. 沿解曲線Γ的變分方程為
(8)
注意到特解Γ在超平面N上, 由此可得系統(tǒng)(8)的一個(gè)子系統(tǒng), 即沿解曲線Γ的法向變分方程
(9)
方程(9)等價(jià)于如下二階線性微分方程:
(10)
方程(10)可變?yōu)?/p>
+b(z)ξ1,
(11)
(12)
其中
下面利用Kovacic算法, 證明方程(12)的微分Galois群是SL(2,). 事實(shí)上r(z)有兩個(gè)極點(diǎn):z=1和z=-1, 階數(shù)都是2,r(z)在無(wú)窮遠(yuǎn)點(diǎn)的階數(shù)是1. 因此由引理2知, 方程(12)的微分Galois群只能是情形2)或者情形4). 記集合E1={2,1,3},E-1={2,1,3},E∞={1}. 則對(duì)任意的e1∈E1,e-1∈E-1和e∞∈E∞, 有d∶=e∞-e1-e-1≤1-1-1<0, 表明引理1的情形2)不成立, 因此方程(12)的微分Galois群是SL(2,).
假設(shè)Hamilton系統(tǒng)(6)在Liouville意義下是亞純可積的. 由定理1知, 法向變分方程(9)的微分Galois群的單位連通分支是可交換的. 因此, 方程(11)的微分Galois群的單位連通分支是可交換的, 也是可解群. 另一方面, 方程(12)的微分Galois群與方程(11)的微分Galois群的單位連通分支不一定同構(gòu), 但具有相同的可解性. 所以, 方程(12)的微分Galois群的單位連通分支是可解群. 但代數(shù)群SL(2,)的單位連通分支是其本身, 并且SL(2,)不是可解群, 矛盾, 假設(shè)不成立, 結(jié)論得證.