丁光涛
(安徽师范大学物理与电子信息学院,芜湖 241000)
变分法在数学、力学、物理学和工程科学中扮演着重要的角色,在分析力学的新进展中变分原理仍是热点课题[1−5].最早提出的变分命题就是最速落径问题,设重力场中不在同一铅垂线上两点,质点从上一点沿一光滑曲线自由滑动到下一点,确定下滑时间最短的曲线问题就是最速落径问题,这是一种最简单的变分问题.近年来有相当多的对阻尼系统的研究,主要涉及积分和Lagrange力学逆问题[6−10],本文将阻尼运动的研究拓展到最速落径变分问题.为此,我们从两个方向拓展最速落径问题:一是质点从始点以某一初速度开始下滑,而不是从静止自由下滑情况;二是阻尼媒质中的最速落径问题[3],给出了这个问题的求解方法.在讨论这两个拓展问题时,指出了约束条件与系统的运动定理以及守恒定律之间的关联,这实质上是一种新的构成约束的机理,并且得到如下结论,即微分形式运动定理的可积和不可积与这种约束的完整和非完整相对应.
质点沿铅垂平面内光滑曲线y=y(x),从A开始自由下滑到不在同一铅垂线上的B点,取x轴为水平轴,y轴铅垂向下,质点经过P(x,y)点速度为v,则该过程经历的时间为
式中y′=dy/dx.变量y和v之间存在关系可以根据动能定理确定
设在A点y=0,v=0,质点质量为m.直接积分(2)式得到
代入(1)式得到
这就是最速落径问题的泛函,它的极小值对应的曲线就是最速落径––旋轮线.
设质点开始下滑的速度不为零,即在A点y=0,v=v0,则积分式(2)得到
这表明变量y和v之间关系与初始条件相关.与(5)式对应的泛函(4)变换为引入简单的变量变换这个问题就变换成自由下滑的最速落径问题.
由于质点在阻尼媒质中运动,故质点所受主动力除了重力外,还有阻尼力mR(v),其大小是速度的函数,方向与速度相反.这里仍然讨论从A点自由下滑,方程(1)成立,但是联系v和y的动能定理方程(2)应当改写成
式中
(7)式与(2)式的重要区别在于(7)式不能直接积分.将y和v看作x的函数,由(7)式对x求微商得到
式中v′=dv/dx,y和v之间的关系由上述微分方程表示.
(3)和(5)式由(2)式直接积分导出,并且利用初始条件式确定了积分常数,这两个方程都相当于变量y和v之间的一个完整约束,因此可以在泛函中消去变量v.(9)式也来自于动能定理(7),可以看作y和v之间的一个非完整约束条件,因此,阻尼最速落径问题就是带有非完整约束条件的变分问题,这种问题可以引入不定乘子来求解.
引入不定乘子λ,则从(1)和(9)式导出如下泛函:
对应的Lagrange函数为
L∗中不显含y和x,故由此得到一个循环积分
和一个Jacobi积分
从上述两个积分可以导出新的积分
解(14)式,可以得到λ和v之间的函数关系
由Lagrange函数(11),可以导出对应于变量v的运动方程
从(12)和(13)式可以得到
由(12)和(16)式可以导出
从(17)和(18)式导出
将(15)式λ=λ(v)代人(19)式后,积分得到以 v为参数的阻尼最速落径参数方程
积分常数由端点条件
确定.
经典力学中约束是重要的概念,尤其在分析力学中可以说是奠基性的概念,然而在涉及约束特别是非完整约束的一些基本问题时仍然存在分歧和争议,文献[9]及其中收录的大量参考文献,充分反映了我国力学界从上个世纪80年代末以来,在这个领域里的争鸣、讨论和取得的多方面进展.但是,传统的对约束的研究更多地集中在约束的数学层面上,例如,约束方程、Pfaff约束的可积性、微分约束的几何性质以及变分微分的交换性等问题上,然而,约束不是单纯的数学问题,而是综合的力学物理学问题,80年代以来的讨论说明仅仅在数学层面上研究约束是不够的,应当重视约束力的分析,重视约束条件的实现方式以及约束的力学和物理本质的研究.关于第一积分作为非完整约束的研究[10],实际上已经把约束和系统的动力学规律联系起来,本文在一定意义上是上述研究过程的继续,得到的结论表明有些系统的约束条件,并不是来自具体机构的限制,不是来自控制机理的调节,不是来自特殊类型力的作用,而是正常系统力学运动规律的表现;不仅一些系统的某些运动积分可以看作约束,而且直接从运动定理就能够构成约束,特别是微分形式的运动定理是否能够直接积分分别对应着完整和非完整约束,显然,这是一种新型的约束.
1)本文讨论了经典最速落径问题的两种拓展问题:一是下滑初速不为零的最速落径问题,指出通过简单的坐标变换,这种问题就转化为自由下滑的最速落径问题;二是受到阻尼力作用的最速落径问题,我们完善了文献[3]中求解该问题的步骤和方法.
2)在讨论最速落径问题的过程中,发现这也是一种约束条件下的变分问题.在相关泛函被积式中所出现的力学变量之间存在的约束条件,实质上是运动定理的表现,其中有些可以直接积分而成为有限形式,甚至就是守恒定律,对应的守恒量数值由初始条件确定;有些不能直接积分,保持着微分或微商形式.这些变量之间的动力学关系构成了系统变量之间的约束条件,其中传统的最速落径问题中,可以直接积分成为有限形式,是完整约束;而阻尼最速落径问题中不能积分成为有限形式,是非完整约束.
3)阻尼最速落径问题中出现的约束是一种新型的约束,这种系统内在的约束条件,源于系统力学运动规律,文献[11]指出“当应用基本原理推导系统运动微分方程时,约束本身的性质有极大影响. ······因此,必须研究和区分约束的类型.” “按约束的实现可分为被动约束与主动约束.被动约束是靠接触或摩擦被动地实现的.主动约束是靠辅助能源主动地实现的,如伺服约束.”然而,本文指出的约束不同于上述主动和被动约束.这种新型的约束对系统运动形式,以及选取研究系统运动的方法有什么影响;以及在力学和物理学层面上约束本质的多样性,与非完整力学中处理非完整约束的多种模型之间,是否存在相关性,存在什么样的相关性等问题都值得进一步深入研究.
[1]Courant R,Hilbert D(translated by Qian M,Guo D R)1958 Methods of Mathematical Physics Vol.I(Beijing:Science Press)pp129–135(in Chinese)[柯朗 R, 希伯尔特D著(钱敏郭敦仁译)1958数学物理方法卷I(北京:科学出版社)第129—135页]
[2]Goldstein H,Poole C,Safko J 2005 Classical Mechanics(3rd Ed.)(Beijing:Higher Education Press)
[3]Smirnov V E(translated by Chen C Z)1958 Textbook of Higher Mathematics Vol.IV-I(Beijing:People Education Press)pp232–234(in Chinese)[斯米尔诺夫 V E 著(陈传璋译)1958高等数学教程第四卷第一分册(北京:人民教育出版社)第232—234页]
[4]Zhang H B,Chen L Q,Liu R W 2005 Chin.Phys.B 14 1063
[5]Zhang H B,Chen L Q,Gu S L,Liu C Z 2007 Chin.Phys.16 582
[6]Musielak Z E 2008 J.Phys.A:Math.Their.41 055205
[7]Cieslinski J L,Nikiciuk T 2010 J.Phys.A:Math.Their.43 175205
[8]Ding G T 2011 Acta Phys.Sin.60 044503(in Chinese)[丁光涛 2011物理学报 60 044503]
[9]Ding G T 2012 Acta Phys.Sin.61 020204(in Chinese)[丁光涛 2012物理学报 61 020204]
[10]Ding G T 2013 Acta Phys.Sin.62 064501(in Chinese)[丁光涛 2013物理学报 62 064501]
[11]Luo S K,Zhang Y F 2008 Advances in the Study of Dynamics of Constrained Systems(Beijing:Science Press)(in Chinese)[罗绍凯,张永发2008约束系统动力学研究进展(北京:科学出版社)]