李京潁 丁光濤
(1.阜陽(yáng)師范學(xué)院物理與電子科學(xué)學(xué)院,阜陽(yáng) 236032) (2.安徽師范大學(xué)物理與電子信息學(xué)院,蕪湖 241000)
非線性的振蕩是無(wú)處不在的事物運(yùn)動(dòng)發(fā)展的現(xiàn)象,除了傳統(tǒng)的力學(xué)物理學(xué)和諸多工程技術(shù)科學(xué)外,還涉及從天體系統(tǒng)大氣系統(tǒng),到生態(tài)系統(tǒng)經(jīng)濟(jì)系統(tǒng)等很多自然和社會(huì)科學(xué)領(lǐng)域,人們以非線性微分方程模擬這些現(xiàn)象,利用多種方法求解這些方程,得到很多重要的研究成果[1,2].然而,對(duì)有些基本的理論問(wèn)題而言,例如,涉及的系統(tǒng)的量子化時(shí),近似解法、計(jì)算方法或?qū)嶒?yàn)的方法就達(dá)不到要求,因?yàn)槔碚撘竽軌驅(qū)С鱿到y(tǒng)的拉格朗日函數(shù)和哈密頓函數(shù),能夠得到精確的解析解.雖然這樣的非線性系統(tǒng)很少,但是有必要研究它們,而且也存在不同的研究途徑和方法[3-10].上世紀(jì)中葉以來(lái),分析力學(xué)理論在很多方面仍然取得新的進(jìn)展,例如,變分法逆問(wèn)題和對(duì)稱性與守恒量理論,分析力學(xué)理論和方法在求解微分方程中得到廣泛的應(yīng)用,這就為非線性系統(tǒng)研究提供了新的重要基礎(chǔ)和途徑[11-20].在力學(xué)和物理學(xué)的研究中,振動(dòng)是一個(gè)重要課題,人們將線性的保守的振子系統(tǒng),多方面推廣變形,其中之一就是非線性非保守的Mathews-Lakshmanan振子(以下簡(jiǎn)寫成M-L振子),此后,對(duì)該振子及其推廣進(jìn)行了多方面的研究,包括它的量子化[7-10].本文利用分析力學(xué)研究M-L振子,包括根據(jù)變分法逆問(wèn)題理論和方法,將方程變換為自伴隨方程,利用四種方法計(jì)算對(duì)應(yīng)的拉格朗日函數(shù)和哈密頓函數(shù),實(shí)現(xiàn)方程的分析力學(xué)化,再?gòu)睦窭嗜樟W(xué)和哈密頓力學(xué)兩條途徑,得到振子方程的解,從而以此振子為例,說(shuō)明分析力學(xué)理論和方法在非線性系統(tǒng)研究中的價(jià)值.
根據(jù)變分法逆問(wèn)題的理論和方法[12],對(duì)寫成基本形式的一維系統(tǒng):
(1)
自伴隨的充分和必要條件是:
(2)
據(jù)此可知,對(duì)運(yùn)動(dòng)學(xué)形式的一維系統(tǒng):
(3)
自伴隨的充分和必要條件是:
(4)
(5)
代入條件(2),得到確定φ的方程:
(6)
1974年,Mathews和Lakshmanan提出一種非線性非保守振子[6,7]:
(7)
多年來(lái),已經(jīng)有一系列工作涉及上述振子的經(jīng)典解和量子化的研究,也涉及將它推廣成多維系統(tǒng)等[8-10].下面將根據(jù)變分法逆問(wèn)題理論和方法,實(shí)現(xiàn)方程(7)分析力學(xué)化.首先,將它變換成為自伴隨形式的方程,從而證明該方程可以構(gòu)造對(duì)應(yīng)的拉格朗日函數(shù)和哈密頓函數(shù),將其表示為拉格朗日方程和哈密頓方程形式.顯然,方程(7)不滿足條件(4),故引入因子φ,代入式(6)得到:
(8)
這個(gè)方程的一個(gè)解為:
(9)
即方程(7)能夠變換成為如下自伴隨方程:
(10)
換句話說(shuō),M-L振子(7)能夠間接地表示為拉格朗日方程形式.
對(duì)于自伴隨形式的微分方程有多種途徑構(gòu)造拉格朗日函數(shù),其中之一是Engels第一方法[12].若一維系統(tǒng)(1)是自伴隨的,則其拉格朗日函數(shù)為:
(11)
這是一種比較簡(jiǎn)單的直接計(jì)算方法,將
代入式(11),計(jì)算得到:
(12)
有些情況下,通過(guò)變量變換可以將非自伴隨的方程變換成為自伴隨形式的,構(gòu)造得到新變量的拉格朗日函數(shù)后,再變換成原來(lái)變量的拉格朗日函數(shù)[17,18].
文獻(xiàn)[18]中通過(guò)變量變換方法,對(duì)下列變系數(shù)非線性動(dòng)力學(xué)系統(tǒng):
(13)
(14)
其中:
(15)
比較式(13)和(7),對(duì)M-L振子有:
(16)
代入式(15)和(14),得到式(12)拉格朗日函數(shù)L.
文獻(xiàn)[17]提出另一種利用變量變換構(gòu)造拉格朗日函數(shù)的方法,將此方法應(yīng)用到方程(13),同樣得到式(14)結(jié)果,即對(duì)方程(7)又導(dǎo)出式(12).
文獻(xiàn)[19]給出一種從下列一維系統(tǒng):
(17)
(18)
系統(tǒng)的拉格朗日函數(shù)可以寫成以下形式:
(19)
其中系數(shù)A(t,x)和B(t,x)由下列方程確定:
(20)
對(duì)方程(7)應(yīng)當(dāng)先導(dǎo)出第一積分,為此將方程改寫成:
由此可得第一積分:
(21)
上述方程存在如下一組解:
(22)
代入式(20),又得到式(12)拉格朗日函數(shù)L.
文獻(xiàn)[20]給出一種直接從運(yùn)動(dòng)方程構(gòu)造Lagrange函數(shù)的直接方法.根據(jù)此方法,對(duì)方程(7),可以設(shè)拉格朗日函數(shù):
(23)
代入拉格朗日方程,得到:
與方程(7)比較,得到:
(24)
由此可得一組解:
(25)
代入式(23),又導(dǎo)出式(12)拉格朗日函數(shù)L.
對(duì)于非線性系統(tǒng)的某些研究,還需要構(gòu)造系統(tǒng)的哈密頓函數(shù).在導(dǎo)出系統(tǒng)的拉格朗日函數(shù)后,利用勒讓德變換,即可以導(dǎo)出哈密頓函數(shù).由式(12)得到方程(7)的哈密頓函數(shù):
(26)
式中廣義動(dòng)量:
(27)
上述拉格朗日函數(shù)(12)和哈密頓函數(shù)(26),與通常簡(jiǎn)諧振子拉格朗日函數(shù)和哈密頓函數(shù)存在一定的相似性,因此有人將M-L振子(7)看作質(zhì)量與位置(坐標(biāo))相關(guān)的振子,哈密頓函數(shù)(26)是討論M-L振子量子化的出發(fā)點(diǎn).
導(dǎo)出拉格朗日函數(shù)(12)后,可以根據(jù)諾特(Noether)理論導(dǎo)出守恒量[14],由于函數(shù)L不顯含時(shí)間t,故可從時(shí)間平移對(duì)稱性導(dǎo)出振子的守恒量為:
(28)
這就是前面已經(jīng)從運(yùn)動(dòng)方程直接導(dǎo)出的廣義能量積分(21).由此積分進(jìn)一步得到振子的解為:
(29)
當(dāng)I<0時(shí),振子存在嚴(yán)格的周期解:
x=Acos(ωt+φ0)
(30)
式中:
(31)
這就是說(shuō),這個(gè)非線性振子周期(頻率)與振幅相關(guān).
在導(dǎo)出哈密頓函數(shù)(26)后,可以列出正則方程求解,也根據(jù)哈密頓-雅可比理論求解[22].由于式(26)中的哈密頓函數(shù)不顯含時(shí)間,故哈密頓-雅可比方程寫成:
(32)
上述方程的積分為:
(33)
振子的運(yùn)動(dòng)方程由下式給出:
這個(gè)結(jié)果與式(29)相同.
(1)本文對(duì)M-L振子給出了全面的分析力學(xué)求解過(guò)程:根據(jù)變分法逆問(wèn)題理論和方法,從變換為自伴隨形式的方程,說(shuō)明它能夠分析力學(xué)化;利用多種不同的途徑構(gòu)造得到振子的拉格朗日函數(shù),進(jìn)而導(dǎo)出哈密頓函數(shù),即實(shí)現(xiàn)振子的分析力學(xué)化;分別通過(guò)諾特對(duì)稱性與守恒量理論和哈密頓-雅可比方法,得到M-L振子的解析解.
(2)非線性現(xiàn)象是普遍存在的,研究的方法也多種多樣的.M-L振子是一種非線性非保守的振動(dòng)系統(tǒng),也研究了它的量子化問(wèn)題,這個(gè)振子系統(tǒng)可以被推廣,有些系統(tǒng)的近似研究可以由它出發(fā),因此,在經(jīng)典力學(xué)基礎(chǔ)上給出它的解析解是必要的.M-L振子的解法說(shuō)明在非線性研究中可以利用分析力學(xué)理論和方法,與矢量力學(xué)相比,分析力學(xué)發(fā)展了更多更有效的積分方法[14,15,22],因此在研究非線性系統(tǒng)時(shí),應(yīng)當(dāng)重視分析力學(xué)理論和方法.
(3)力學(xué)系統(tǒng),包括非線性系統(tǒng)的分析力學(xué)化,關(guān)鍵在于構(gòu)造對(duì)應(yīng)的拉格朗日函數(shù)和哈密頓函數(shù),這就表明變分法逆問(wèn)題的理論和方法的研究和應(yīng)用,應(yīng)當(dāng)?shù)玫竭M(jìn)一步重視.
1劉延柱,陳立群. 非線性振動(dòng). 北京:高等教育出版社,2001 (Liu Y Z, Chen L Q. Nonlinear vibration. Beijing: Higher Education Press, 2001 (in Chinese))
2劉秉正. 非線性動(dòng)力學(xué). 北京:高等教育出版社,2004 (Liu B Z. Nonlinear dynamics. Beijing: Higher Education Press, 2004 (in Chinese))
3Chandrasekar V K , Senthilvelan M, Lakshmanan M . On the complete integrability and linearization of certain second-order nonlinear ordinary differential equations. In: Proceedings Mathematical Physical & Engineering Sciences, 2005,461(2060):2451~2476
4Chandrasekar V K, Pandey S N, Senthilvelan M, et al. A simple and unified approach to identify integrable nonlinear oscillators and systems.JournalofMathematicalPhysics, 2006,47(2):4527
5Pradeep R G, Chandrasekar V K, Senthilvelan M, et al. Non-standard conserved hamiltonian structures in dissipative/damped systems: Nonlinear generalizations of damped harmonic oscillator.JournalofMathematicalPhysics, 2009,50(5):63
6Lakshmanan M, Chandrasekar V K. Generating finite dimensional integrable dynamical systems.EuropeanPhysicalJournalSpecialTopics, 2013, 222(3-4):665~688
7Mathews P M, Lakshmanan M. On a unique nonlinear oscillator.QuarterlyofAppliedMathematics, 1974,32:215
8Carinena J, Ranada M, Santander M. One-dimensional model of a quantum nonlinear harmonic oscillator.ReportsonMathematicalPhysics, 2005,54(2):285~293
9Carinena J, Ranada M, Santander M. A quantum exactly solvable non-linear oscillator with quasi-harmonic behaviour.AnnalsofPhysics, 2007, 322(2):434~459
10 Quesne C. Generalized nonlinear oscillators with quasi-harmonic behaviour: classical solutions.JournalofMathematicalPhysics, 2014,56(1):215
11 梅鳳翔,吳惠彬. 微分方程的分析力學(xué)方法. 北京:科學(xué)出版社,2012 (Mei F X, Wu H B. Methods of analytical mechanics for solving differential equations. Beijing: Sceince Press, 2012(in Chinese))
12 Santilli R M. Foundations of theoretical mechanics I, New York: Springer-Verlag,1978
13 Saunders D J. Thirty years of the inverse problem in the calculus of variations.ReportsonMathematicalPhysics, 2010, 66: 43~53
14 梅鳳翔. 約束力學(xué)系統(tǒng)的對(duì)稱性和守恒量. 北京:北京理工大學(xué)出版社,2004 (Mei F X. Symmetries and conserved quantities of constrained mechanical systems. Beijing: Beijing Institute of Technology Press, 2004 (in Chinese))
15 羅紹凱,張永發(fā). 約束系統(tǒng)動(dòng)力學(xué)研究進(jìn)展. 北京:科學(xué)出版社,2008 (Luo S K, Zhang Y F. Advances in the study of dynamics of contrained systems. Beijing: Sceince Press, 2008 (in Chinese))
16 丁光濤. 一維變系數(shù)耗散系統(tǒng)Lagrange函數(shù)和Hamilton函數(shù)的新構(gòu)造方法. 物理學(xué)報(bào), 2011,60: 444503 (Ding G T. A new approach to construction of the Lagrangians and Hamiltonians for one-dimensional dissipative systems with variable coefficients.ActaPhysicaSinica, 2011,60:444503 (in Chinese))
17 丁光濤. 利用變量變換構(gòu)造耗散系統(tǒng)Lagrange函數(shù). 動(dòng)力學(xué)與控制學(xué)報(bào),2012,10: 199~201 (Ding G T. The construction of th Lagrangians for dissipative-like systems by using the transformations of variables.JournalofDynamicsandControl, 2012,10: 199~201 (in Chinese))
18 Musielak Z E, Roy D, Swift L D. Method to derive Lagrangian and Hamiltonian for a nonlinear dynamical system with variable coefficients.Chaos,SolitonsandFractols, 2008,38:894~902
19 丁光濤. 從第一積分構(gòu)造Lagrange函數(shù)的直接方法. 動(dòng)力學(xué)與控制學(xué)報(bào),2011,9:102~106 (Ding G T. A direct approach to construction of the Lagrangian from the first integral.JournalofDynamicsandControl, 2011,9:102~106 (in Chinese) )
20 丁光濤. 從運(yùn)動(dòng)方程構(gòu)造Lagrange函數(shù)的直接方法. 動(dòng)力學(xué)與控制學(xué)報(bào),2010,8:305~310 (Ding G T. A direct approach to the construction of Lagrangians from the motion equation.JournalofDynamicsandControl, 2010,8:305~310 (in Chinese))
21 丁光濤. 導(dǎo)出變系數(shù)非線性動(dòng)力學(xué)系統(tǒng)拉格朗日函數(shù)的兩種方法. 動(dòng)力學(xué)與控制學(xué)報(bào), 2017,15(1):10~14 (Ding G T. Two methods to derive Lagrangians for a nonlinear dynamical system with variable coefficients.JournalofDynamicsandControl, 2017,15(1):10~14 (in Chinese))
22 陳濱. 分析動(dòng)力學(xué)(第二版). 北京:北京大學(xué)出版社,2012 (Chen B. Analytical Dynamics(2nd ed.). Beijing: Beijing University Press, 2012 (in Chinese))