APP下载

状态空间中约束系统的运动方程*

2015-10-14丁光涛

动力学与控制学报 2015年4期
关键词:状态变量变分力学

丁光涛

(安徽师范大学物理与电子信息学院,芜湖 241000)

状态空间中约束系统的运动方程*

丁光涛†

(安徽师范大学物理与电子信息学院,芜湖 241000)

引入状态变量表示力学系统的约束方程;建立状态空间中运动约束系统的新型变分原理;导出运动约束系统的带乘子的运动微分方程和广义状态变量运动微分方程;证明状态空间中运动约束系统的运动方程是奇异的;举例说明所得结果的应用.

分析力学,状态空间,运动约束,变分原理,运动方程

引言

上世纪90年代初期,我国力学界围绕非完整系统的力学模型曾发生过一场影响深远的争论[1],其中一些重要工作涉及状态空间[2-5].对状态空间中完整系统的分析力学理论已进行过研究[6],本文将上述工作拓展到存在与速度相关的运动约束系统,给出对应的变分原理和运动微分方程,并证明了方程的奇异性.这种从位形空间中力学系统运动方程到对应的状态空间中运动方程的变换,在数学上等效,在物理上有可能带来新的结果.例如,在上世纪初,曾经围绕是否所有的二阶微分方程都可以表示成为Lagrange方程的问题进行过讨论,得到的结论是否定的[7];值得注意的是,有些二阶方程虽然不能直接或间接地从变分原理导出,但是Hojman证明将这些方程变换成等效的一阶微分方程后,就能够导出一阶Lagrange函数,将其表示为Lagrange方程[8].此外,虽然本文得到的理论不同于通常的非完整力学,但是在某些特殊条件下却与非完整力学结果一致.最后通过实例说明所得结果的应用.

1 状态空间中力学系统的约束

1.1力学系统的状态空间

经典力学中引入多种空间描述系统的运动,并在其中分别建立对应的动力学理论.对于由N个质点组成的Newton力学系统,其全部质点在时刻t的位置集合

描述了系统的位形,由位置坐标(位形变量)张成的空间称为位形空间.系统全部质点在时刻t的位置和速度集合

描述了系统的状态,由状态变量(位置和速度)张成的空间称为状态空间.在位形空间中速度的定义是坐标对时间的微商,即

但是,在状态空间中速度变量应作为独立变量,方程(3)不能再看作当然成立的定义式.以下把xki,vki写成xj,vj,(j=3k-2,3k-1,3k;k=1,…,N).以上的坐标速度变量是严格力学意义上的状态变量,这种空间可以称为狭义的状态空间.

1.2状态空间中的约束方程

位形空间中和状态空间中的约束方程的形式和约束的分类有所不同,集中表现在运动约束上.

几何约束仅限制质点的几何位置,两种空间中这种约束方程都写成

运动约束是与速度相关的约束,在位形空间中这种约束方程写成

其中线性运动约束方程写成

方程(5)和(6)所表示的约束有时称为微分约束,这些微分约束又分成可积分的和不可积分的,因而带来了完整和非完整约束的分类.这里以及后面的求和约定是,对同一项中重复的拉丁下标i,j自动从1到3N求和;对重复的拉丁下标r,s自动从1到g求和;对重复的希腊下标α,β自动从1到S=3N-g求和.

在状态空间中,将一般的运动约束方程写成

其中线性运动约束方程写成

方程(7)和(8)中,x1,…,x3N;v1,…,v3N是彼此独立的变量.在本文中按照式(7)表达的运动约束方程与式(4)表达的几何约束方程,都是有限形式的方程,而不是微分方程,方程(7)和(8)没有可积和不可积的区别,也就是说,在状态空间中约束力学系统没有完整和非完整系统的区别.下面的讨论中,如果不作专门说明,就将状态空间中系统受到的约束统一写成式(7)形式,而将几何约束看成它的特殊情形.

1.3状态变量的虚变更

考虑力学系统状态的虚变更,约束加在其上的限制条件为

将δxj,δvj全体称为系统在状态空间中的虚变更,δxj和δvj分别称为坐标虚变更和速度虚变更.这里的虚变更定义可以看作通常几何约束对虚位移定义的自然推广,当约束Φr是几何约束时,即

式(9)就化作几何约束对虚位移的限制条件.

2 状态空间中力学系统的变分原理

2.1微分形式的变分原理

设系统由N个质点组成,质点k的质量为mk,坐标为x3k-2,x3k-1,x3k,速度分量为v3k-2,v3k-1,v3k,作用于其上的合力的分量F3k-2,F3k-1,F3k,系统受到g个式(7)形式的约束.将D′Alembert原理推广到状态空间,得到

应当指出,这里以及下面公式中质量mj的下标作为求和约定的例外处理,不求和.式中Rj,Uj分别是约束对系统运动的影响,在坐标子空间和速度子空间中的表现.

引入系统状态变量的虚变更δxj,δvj,则可以从方程(11)导出下列关系式

推广位形空间力学系统理想约束定义,引入满足下列条件的状态空间中的理想约束

就导出状态空间中理想约束系统的微分形式的变分原理

这是一种新的微分形式的变分原理,在系统只存在几何约束的特殊情况下,这个原理就变换成为通常的D′Alembert-Lagrange原理.

2.2积分形式的变分原理

式(13)乘以dt并从t=t1到t=t2积分,得到

这个对易关系与约束方程(7)是有限形式的相关.

取端点条件为

上述条件与位形空间Lagrange力学的变分原理端点条件相同,只要求两个端点在坐标子空间中是固定的,并没有要求在整个状态空间中固定.

定义虚功和动能

上式推导过程中利用了对易关系

引入新的状态函数

则从式(14)得到状态空间中力学系统积分形式变分原理的一般形式

如果系统是有势的,即存在势能函数V= V(xj,t),使得

代人式(17),得到δW=-δV,则式(20)写成

由于约束方程(7)是有限形式的,故从上式可以得到

式中引入了力学系统在状态空间中的特性函数

这个结果与文献[6]一致.

3 状态空间中力学系统带乘子的运动方程

由于存在式(7)运动约束,微分变分原理(13)中状态的虚变更受到条件(9)限制,引入不定乘子λr,从式(13)和(9)导出

由此得到带乘子的运动微分方程

关于方程(25),作如下说明:

1)如果系统约束都是几何约束,满足条件(10),那么从式(25)的第二组方程得到

代人式(25)的第二组方程得到

这组方程就是分析力学中的第一类Lagrange方程.

2)如果系统约束不满足条件(10),即约束中存在与速度相关的运动约束,那么就得不到式(26)的结果.从方程(25)可以导出

这组方程与通常非完整力学中的Routh方程不同,笛卡尔坐标下Routh方程为[9]

笛卡尔坐标下Vacco方程为[10]

由于对运动约束系统而言,式(26)不成立,故方程(28)与Vacco方程形式相似而实质不同.

3)在下面讨论中,将指出方程(25)是奇异的,它的解不是唯一确定的.

综上所述,对几何约束系统方程(25)与传统的第一类Lagrange方程一致,这是这组方程可能成立的必然要求;但是,对运动约束系统,这组方程是新型的运动微分方程.

4 状态空间中广义状态变量的运动方程

4.1广义状态变量运动方程的导出

引入S个广义状态变量qα(S=6N-g),系统的坐标和速度的变换方程为

将上述变换方程代人(7),所有约束方程都应当成为恒等式.将以下各式

代人变分原理(13),展开并整理得到

这是广义状态变量表示的微分形式变分原理.式中

由于广义状态变量变更δqα是独立的,故从式(33)得到

这就是广义状态变量表示的状态空间中运动约束系统的运动方程.容易证明上述方程可以从变分原理(20)导出.

对于有势系统,运动微分方程可以直接从变分原理(22)导出,即

将式(23)中K代入方程(39),导出的方程与(38)形式一致,其中广义力为有势力

4.2广义状态变量运动方程是奇异的

方程(38)(和(39))形式上与完整系统的状态空间中的Lagrange方程相同[6],但是,实质上存在重大区别,即运动约束系统的运动方程是奇异的.可以直接看出,如果约束数g是奇数,即S也是奇数,而Mαβ是反对称的,则行列式[Mαβ]为零,系统是奇异的.但是,根本问题在于对方程(38)而言,不论g(或S)是奇数还是偶数,系统都必然是奇异的.证明如下:

对存在g个运动约束(7)的系统,将式(7)对时间求导可得到

上述恒等式可以看作是对运动方程的限制条件

这就是说˙qα不是全部独立的,它们之间存在上述g个齐次线性相关的关系,即矩阵[Mαβ]的最高秩只能是S-g,行列式

系统(38)是奇异的,方程中广义速度˙qα不是全部独立的的.对于奇异系统,应当补充条件才能求解,即方程的解不是唯一确定的.与Lagrange力学类似,方程(25)和(38)是等价的,因此方程组(38)的奇异性,在方程(25)中也应当表现出来,换句话说,带乘子的运动微分方程的解也不是唯一确定的,下面将结合例题讨论说明.

5 算例分析

讨论受线性运动约束的质点运动的典型问题.设单位质量的质点所受主动力分量为F1,F2,F3,约束为

列出质点运动微分方程,并讨论下列两种情况下质点的运动.1)质点不受任何主动力作用;2)质点在重力场中运动.

首先,列出带乘子的运动方程.引入乘子λ,根据方程(25)得到

其次,列出广义状态变量运动微分方程.选取变量qα(α=1,2,3,4,5),变换方程为

由式(34)-(37)得到

代入方程(38),得到质点状态空间中运动方程为

结合约束方程(44),从方程(45)中消去乘子,就导出方程(49),这说明带乘子方程与广义变量运动方程是一致的,而且容易证明方程(49)是奇异的,相对应的方程(45)结合约束方程(44)也不能唯一确定的解.

方程(49)中5个˙qα不是全部独立的,必须引入补充条件.如果假设

则方程(49)约化成为

这个方程中4个广义速度是独立的,可以求解.

需要指出,从数学上要考虑主动力和补充条件的函数形式,使导出的约化方程是否相容和可积;从力学物理学上要考虑这些条件是否合理,能否实现;当然补充条件的引入也给解决实际问题以新的可能.下面讨论两种简单的情况:

1)主动力为零,即

并设

代人方程(51),并结合方程(49)第5式,可以得到如下的一组解:

式中c1,c2,c3,c4是积分常数.上述解满足约束(4),而且可以导出

这时约束方程(44)与典型的非完整约束方程[9]

一致,但是,质点运动犹如作自由运动,非完整约束的影响消失了[11].需要指出的是,这种情况下与方程(49)对应的方程(45)的解中λ=0.

2)质点在重力场中运动,轴向上,即

方程(51)写成

仍然选择式(53),方程(58)的一组解为

与解(54)比较,解(59)反映了约束(44)的影响,对应的乘子运动方程(45)中λ=g/c4,回到原来的变量,约束(44)不再能写成式(56)形式.

如果设在物理上上述假设可以实现,引入一个控制装置以抵消重力影响.从表面上看,方程(58)又成为1)中讨论过的情况,又导出解(54),然而,这是不可以的,因为这组解将导致方程(49)中第5式不成立.但是,可以给出另一组解

这组解实际上表示自由落体运动,讨论的约束条件已失去意义.在质点所受的主动力为零时,也存在与(61)相似的解,即质点沿x3轴作匀速直线运动,也是一个数学上允许的而物理上失去意义的解.

6 结论和讨论

(1)本文以状态变量为描述力学系统的基本量,将状态空间几何约束系统的Lagrange力学理论推广的带有与速度相关的运动约束系统,建立了一种新的力学理论.这个理论处理与速度相关的约束问题的模式,与通常位形空间分析力学理论处理几何约束相似.

(2)本文给出的理论在只存在几何约束情况下,与传统的Lagrange力学一致,这是新理论立足的基点,表明它是经典分析力学的一种符合逻辑的推广;但是,对于存在与速度相关的运动约束情况下,则与通常的非完整力学以及Vacco力学理论都不相同.

(3)本文给出的力学理论是自洽的,避开了通常的位形空间中处理非完整系统时所存在的一些矛盾.在一定条件下,本文状态空间中的运动约束与位形空间中的微分约束形式一致,运动约束的作用消失,这种条件需要进一步深入研究.

(4)本文证明引入状态变量处理运动约束系统问题时,运动方程是奇异的,这是一个重要的新结论,这种性质会带来解的不确定性问题,但是给引入补充条件来处理实际问题带来新的可能.

1 罗绍凯,张永发.约束系统动力学研究进展.北京:科学出版社,2008(Luo S K,Zhang Y F.Advances in the study of dynamics of constrained systems.Beijing:Sceince Press.2008(in Chinese))

2 陈滨.状态空间非线性约束的完整性和非完整性.中国科学:A辑,1993,23(8):839~846(Chen B.Holonomic property and non-holonomic property of nonlinear constraints in state space.Science in China(Series A),1993,23(8):839~846(in Chinese))

3 朱如曾.非完整力学的第二类、第一类和中间类型变分原理.中国科学:A辑,1999,29(1):49~54(Zhu R Z. The second kind,the first kind and the middle kind of variational principles in the nonholonomic mechanics.Science in China(Series A),1999,29(1):49~54(in Chinese))

4 Liang L F,Hu H C.Generalized variational principles of three kinds of variables in general mechanics.Science in China(Series A),2001,44(6):770~776

5 丁光涛.状态空间中变分原理和运动方程.安徽师范大学学报(自然科学版),1989,12(1):12~24(Ding G T. A variational principle and equations of motion in the state space.Journal of Anhui Normal University(Science Edition),1989,12(1):12~24(in Chinese))

6 丁光涛.状态空间Lagrange函数和运动方程.中国科学:物理学、力学、天文学,2009,39(6):813~820(Ding G T.Lagrangians and equations of motion in state space. Science China Physics,Mechanics&Astronomy,2009,39(6):813~820(in Chinese))

7 Santilli R M.Foundations of theoretical mechanics I.New York:Springer-Verlag,1978

8 Hojman S,Urrutia L F.On the inverse problem of the calculus of variations.Journal of Mathematical Physics-Scitation,1981,22:1896~1902

9 梅凤翔.非完整系统力学基础.北京:北京工业学院出版社,1985(Mei F X.Foundations of mechanics of nonholonomic systems.Beijing:BeijingInstitute of Technology Press,1985(in Chinese))

10 Arnold V I,Kozlov V V,Neishtadt A I.Mathematical aspects of classical and celestial Mechanics,3-rd ed.Beijing:Science Press,2009

11 梅凤翔.非完整系统的自由运动和非完整性的消失.力学学报,1994,26(4):470~476(Mei F X.The free motion of nonholonomic system and disappearance of the nonholonomic property.Acta Mechanica Sinica,1994,26(4):470~476(in Chinese))

EQUATIONS OF MOTION IN STATE SPACE FOR CONSTRAINED MECHANICAL SYSTEMS*

Ding Guangtao†
(College of Physics and Electronic Information,Anhui Normal University,Wuhu 241000,China)

The constraint equations expressed by state variables were introduced,and new variational principles of kinematic constrained systems in state space were established.The equations of motion with multiplier and in general state variables for kinematic constrained systems were derived.It is shown that the motion equations of constrained systems in state space are singular.An example was given to illustrate the application of the result.

analytical mechanics,state space,kinematic constraint,variational principle,equations of motion

3 November 2013,revised 27 November 2013.

E-mail:dgt695@sina.com

10.6052/1672-6553-2013-098

2013-11-03收到第1稿,2013-11-27收到修改稿.

*国家自然科学基金资助项目(11472063)

E-mail:dgt695@sina.com

*The project supported by the National Natural Science Foundation of China(11472063)

猜你喜欢

状态变量变分力学
弟子规·余力学文(十)
一类三阶混沌系统的反馈控制实验设计
基于嵌套思路的饱和孔隙-裂隙介质本构理论
弟子规·余力学文(六)
弟子规·余力学文(四)
逆拟变分不等式问题的相关研究
求解变分不等式的一种双投影算法
带椭球势阱的Kirchhoff型方程的变分问题
一种基于主状态变量分离的降维仿真算法设计
基于变分水平集方法的数字图像分割研究