论力学中地对称性和守恒量.doc

论力学中的对称性和守恒量 1、相关定义 1.1、Lie 对称性的定义 取时间和广义坐标的无限小变换 t * = t + Δt , q * ( t *s ) = q s ( t ) + Δq s, ( s =1, 2, , n),(3.2.9) 或其展开式 t * = t + εξ * * 0 (t , q , q ), q s (t ) = q s(t ) + εξ s(t , q ,q ), ( s =1, 2, , n).(3.2.10) 其中ε 为一无限小参数. 所研究系统的Nielsen方程(3.2.1)的Lie对称性确定方程为[4,61] X ( 2 ){ N s ( Lr )} = X (1 )(Q s + Qωs + Γ s + Λs),(3.2.11) 其中 X ( 2 ) = X (1 )+ [(ξ k q k ξ 0 ) qkξ 0] q. k(3.2.12) 方程(3.2.3)的Lie对称性确定方程为 ξ q ξ ξ α = α s s s s s 0 2 0 s ξ 0 + α ξ + α t q k q(ξ k qkξ0).k k(3.2.13) 事实上,Lie对称性确定方程的两种表示(3.2.11)和(3.2.13)是等价的. 定义 1 对于确定方程(3.2.11)或(3.2.13),只要无限小生成元ξ 0, ξs满足其中之一[92],则 相应的对称性称为非完整系统相对运动方程(3.2.1)和(3.2.3) 的Lie对称性[90],它是与完整 系统(3.2.6)或(3.2.3)相对应的[4,61]. 则这种对称性为方程(3.2.1)和(3.2.3)相应的完整系统(3.2.6)或(3.2.3)的Lie对称性[90]. 在Chetaev型非完整约束的相对运动动力学系统中,经变换后,约束方程保持不变,则 有[61] X (1){ f β( t , q , q)} = 0 ( β=1, 2, , g).(3.2.14) 定义 2 如果无限小生成元ξ 0, ξs满足确定方程(3.2.11)或(3.2.13),且满足限制方程 (3.2.14),则称相应的对称性为非完整系统相对运动动力学的弱Lie对称性[92]. 考虑到约束方程(3.2.1)加在虚位移δq s上的Chetaev条件对ξ [92]0, ξs的限制,则有 fβ q(ξ s q sξ 0) = 0 ( β=1, 2, , g). s(3.2.15) 定义 3 如果ξ 0, ξs满足确定方程(3.2.11)或(3.2.13),满足限制方程(3.2.14)以及附加限 制方程(3.2.15)[90],则称相应的对称性为非完整相对运动动力学的强Lie对称性[92]. 1.2、Noether 对称性的定义和判据 取时间和坐标的群的无限小变换 t?= t + Δt, qs ?( t ? ) = q s ( t ) +Δ qs , (3.1.23) 或其展开式 t?= t +εξ0( t,q , q ) , qs ? ( t ? ) = qs (t ) + εξ s ( t , q , q ) . (3.1.24) 10 其中,ε 为无限小参数,ξ 0 ,ξ s 为无限小生成元.Hamilton 作用量在上述无限小变换下的不 变性称为 Noether 对称性. Noether 理论指出,如果存在规范函数GN= G N ( t,q , q ) ,使无限小生成元ξ 0 ,ξ s 满足 Noether 等式 ( ) ( ) ( )( ) 1 Lrξ0+ X Lr + Qs′′ + Q sω + Γs ξ s ? qs ξ0 + G N = 0, (3.1.25) (其中 ( ) ( ) 1 0s s s 0 s s X q =ξ??t + ξ ??q + ξ ? ξ ? ?q ) 则这种不变性称为相对运动动力学系统的 Noether 对称性.判断 Noether 对称性的另一方 法是 Killing 方程 ( )( ) ( ) 0 0 0 0 , 1, , . r r r rs s s r s k k s s k s k N N s s s s s k k L LL L q q L q t q q t q q t q Q Q qG G q s k n t q ω ξ ξξ ξ ξ ξ ξ ξ ??+ ?? +??? ? ?? ?????? ?? + ?? ??? + ?? ??? ?? + ?? ??? + ′′+ + ? = ??? ? ?? = Γ L (3.1.26) 有解.式(3.1.25)和方程(3.1.26)称为 Noether 对称性的的判据.对相对运动动力学系统而言, 由 Noether 对称性可直接导致 Noether 守恒量. 3.1.