对称性与守恒量

1、约束Hamilton系统的共形不变性和守恒量研究郑明亮傅景礼(浙江理工大学理学院杭少H310018)摘要：研究了约束Hamilton系统的共形不变性与新型守恒量。提出了该系统共形不变性的概念，推导出了约束Hamilton系统的运动正则方程是Lie对称性同时具有共形不变性的充要条件，并以此得到了共形因子的解析式。利用规范函数满足的Lie结构方程，导出系统相应的新型守恒量形式。最后举例说明结果的应用。关键字：约束Hamilton;共形不变性；Lie对称；共形因子；守恒量PACC:0320,02201引言：对称性理论是理论物理、工程数学、现彳t力学等学科中更高层次的法则1。对力学系统运动方程对称性的

2、研究有助于揭示力学系统的内在特征和深层次规律，对称性理论也是积分运动方程的一个有力工具。力学系统的对称性和守恒量有着密切的关系，用对称性寻求系统守恒量的近代方法主要有：Noether对称性2、Lie对称性3和Mei对称性4。研究各种约束力学系统的对称性和守恒量是近代分析力学的一个主要发展方向，在现代数理科学、机电系统和土木结构工程等中都具有重要的理论意义和实际价值。在Legendre变换下，奇异Lagrange系统在过渡到相空间用Hamilton正则变量描述时其正则变量之间存在固有约束，称之为约束Hamilton系统。机械工程和数学物理上许多重要的动力系统是奇异系统或约束Hamilton系统，

3、例如：非树形多体机器人系统动力学模型一般都可具有微分/代数方程组形式、光的横移现象和量子电动力学等。Dirac和Li研究了奇异系统Hamilton正则方程的Noether对称性与守恒量及其众多物理应用6-7,Zhang研究了奇异系统Hamilton正则方程的Lie对称性与守恒量叫Luo研究奇异系统Hamilton正则方程的Mei对称性与守恒量，并说明了Mei对称T与Noether对称TLie对称性之间的关系9。但是，关于约束Hamilton系统系统的共形不变性以及与其它各对称性的关系的研究尚未见报道，作为一种新型对称性10-11,对其进行研究是十分必要的。本文研究仅含第二类约束的约束Hamil

4、ton系统的共形不变性及其导致的新型守恒量。建立系统的运动微分方程，给出约束Hamilton系统共形不变性的定义，推导了时间、广义坐标和广义动量的无限小变换生成元满足的确定方程和共形因子表达式，根据规范函数满足的结构方程，求出系统相应的新型守恒量，并给出一个说明算例。2约束Hamilton系统运动方程假设力学系统的位形由n个广义坐标qs(s=1,n)来确定，系统的Lagrange函数为cL、一，d2L1L(t,p,q),广义动量为ps=1(s=1,.,n),设L的Hess矩阵|；的秩为r(s-1.n)(2):Psj1-pstqsj1二qs其中Qs=Qs(t,p,q)为非势广义力，%为约束乘子。

5、仅考虑约束(1)式为第二类约束，有det包,6%q0,(i丰j;i,j=1,.,n_r)，那么所有Lagrange乘子片可由约束的相容性条件确定成13：%=P，q),则方程(2)可写为：HFH-,、qs=；LPs=-AsQs,(s=1,.,n)：Ps：Ps其中Cs=Cs(t,P,q)=%,As=As(t,p,q)=Z匕，展开方程组(3),令：ja：PsjmFsFs=qs-As(t,p,q),Fs=Ps-Bs(t,p,q),(s=1,.,n)(4)3共形不变性的无限小变换和共形因子设名为无限小参数，-0,-s,ns为无限小变换生成元，引入时间、广义坐标和广义动量的无限小变换:*t=t；0(t,p

6、,q),qs=qs；s(t,p,q),pS=Ps；s(t,p,q)为方便叙述，下文均采用曰nstein求和约定，取无限小生成元向量和一次扩展为:X(0)=+自_.0s_s_(6)X(1)=x(0).(s_qs0)/Ps慌二t二qs二Ps定义1：在无限小生成元-0(t,p,q),-s(t,p,q),“s(t,p,q)的变换下，对于一阶微分方程Fs=sj,若存在非退化矩阵FsX)(Fs)=mFm,(s,m=1,2,.,n)则称约束Hamilton系统是共形不变的，其中，为共形因子。为了求得共形因子，需要先假设系统的微分方程在无限小变换下同时具有共形不变性和Lie对称性。命题1:对于名束Hamilt

7、on系统，该系统的共形不变性同时又是强Lie对称性的充要条件是无限小变换生成元和共形因子满足：X(Fs)Fs包=0X(0)(：，j(t,p,q)=0(s=1,n,j=1,nr)一j(s-qso)-(s-Pso)=0-:qs：:Ps匕匕/=sG-s0白m1=cqm印m里6sr_0vmCqmePmi(8)(9)证明：(8)式的详细证明可参考文献(9)式的证明如下：5。+-:q,-qm|m寸；：k：t三k-qqmF0一p-pm1k-m7pm,Pm(10)k-qmIm：PmPm,.XFs=(s-qs0)-X(0)(A)=(u-qmPm-qs0)-X(0)(As):t:qm:pmX(1)Fs=(s-Ps

8、0)-X(0)(Bs)=(qmPm-Ps0)-X(O)(Bs)二t二qm二Pm又因为Lie对称性的确定方程(8)可表示为：X(1)FsFs6=(s-Aso)-X(O)(As)=(sAm-Bm-As。卜*?-)s二t二qm二PmXFs”.=(工_Bsl)_X(0)(Bs)=(J+Arn+9Bm-BsO-XZBs)Fs3OtKm叩m(11)二X(1)Fs-FsXFsF77(qmAm)+77(Pm-Bm)-0(Ps_Bs)s-qmpm(1)匕；&=s(qm-)+7(pm-Bm)-0(qs-As)sRm叩m播s，上贰SM/，戌s=Fm-Fm-0Fs=L(12)fs-qm：PmF-Fm0Fs一qm-Ns

9、Fm(二qmqm二Pm二qmaX(1)Fs-X(1)FsfsF=丁ss_0-mPmfs”mfs-Pm:s：,.s7-0-m-pm=：Fm(13)证毕。4共形不变性导致的新型守恒量由于约束Hamilton系统的共形不变性，可通过强Lie对称性导出相应的新型守恒量，有如下结论：命题2：对于2束Hamilton系统，如果共形不变性的无限小生成元片(t,p,q),s(t,p,q),ns(t,p,q)以及规范函数G(t,p,q)满足如下Lie对称性的结构方程:-HoqssPss-X0(H)-s(s-Ps0)(Qs-上s)(sYs0)G=0(14)则约束Hamilton系统的共形不变性存在如下守恒量I=p

10、ss-H0G二const(15)dIdt证明：对式(13)求导数可得：(16)(17)-qsPs0-H0PssPssGqs二Ps由结构方程式(12)带入以及联立式(3)可得：dI,：:H、，.、，FH一、，.、(qss)(s-Ps0)(Pss-Qs)(s-qs0)dt；：Ps：Ps=十(s-Ps0)Fs(s-qs0)=0证毕。5算例设系统的Lagrange函数为：L-qQ-qq2(q2q2)其中非势广义力Qi=Q2=Q3=0。试研究该系统的共形不变性和新型守恒量。易验证这是约束Hamilton系统，系数矩阵的秩为r=02,系统哈密顿函数和约束方程为:有约束相容条件易得到i2H=-(q；q2),

11、小i(t,p,q)=r-q2=042(t,p,q)=P2cli=0%=-q2,%=q1，将上式带入(2)、(3)、(4)可得:F1=qi+q2F2=q2-qi|F1-Pi-q1F2-p2-q2确定方程(8)给出无限小生成元满足：-1-qi-0=-2七2-q2-0=匕；-泡=。42-泡=%将上式可取如下无穷小生成元：0=1,1=-P1,2-P2,1=q1,2=q2由命题可得该约束Hamilton系统共形不变的共形因子和确定方程为：FJF2F；一00110-10000100【-100F2F将无穷小生成元代入结构方程(12)和(13)可得规范函数和守恒量为:22G二C,I-Rq2P2q1qq2c二c

12、onst由此可见该系统生成元对应的Lie对称性同时又是共形不变性，也导致系统对应的守恒量。6总结语本文将由于Lagrange函数奇异性而存在的内在固有限制方程看作是约束方程，建立了约束Hamilton系统的正则方程，给出了系统共形不变性定义、共形因子的求法以及导致的新型守恒量形式。文中内容表明：Lie对称性因为无限小生成元的多解，不一定完全能够得到非奇异共形因子矩阵，基于Lie对称的共形不变性也不一定总导致守恒量，还要必须满足条件结构方程下。约束Hamilton系统的新型对称性与守恒量在现代数理科学和工程技术中占有重要地位并广为应用，值得广大科技工作者关注和深入研究。参考文献1赵凯华，罗蔚菌.

13、新概念物理学教程M,力学.北京：高等教育出版社,1995.2 NoetherAE1918Nachr.Akad.Wiss.Math.Phys.22353 LutzkyM1979J.Phys.A:Math.Gen.191054 MeiFX2000J.BeijingInst.Technol.91205李子平.约束哈密顿系统及其对称性质M.北京:北京工业大学出版社,1999.6 DiracPAM1964LectureonQuantumMechanics.(NewYork:Yeshi-vaUniversityPress).7 LiZPandJiangJH2002SymmetriesinConstrainedCanonicalSystem.(Beijing:SciencePress).8张毅，薛纭.仅含第二类约束的约束Hamilton系统的Lie对称性J.物理学报,2001,50(5):816-819.9罗绍凯.奇异系统Hamilton正则方程的Mei对称性、Noether对称T和Lie对称性J.物理学报,2004,53(1):05-11.10 GaliullinAS,GafarovGG,MalaishkaRP,etal.AnalyticaldynamicsofHelmholtzBirkhoflfandNambusystemsM.Mosc