刚体在重力作用下,绕
旋转对称轴上的定点转动(拉格朗日陀螺)的
欧拉动力学方程的解,对三体问题的求解方法有重要贡献,解决了限制性三体运动的定型问题。拉格朗日对流体运动的理论也有重要贡献,提出了描述流体运动的拉格朗日方法。
方法介绍
拉格朗日方法是对积分进行极值化,函数y=y(x)待定.他不象欧拉和前人用改变极大或极小化曲线的个别坐标的办法,而是引进通过端点(x1,y1),(x2,y2)的新曲线
y(x)+δy(x),
δy(x)叫曲线y(x)的变分.J相应的增量△J按δy,δy′展开的一、二阶项叫一次变分δJ和二次变分δ2J.他用分析方法证明了δJ为零的必要条件就是欧拉方程
他还继续讨论了端点变动时的情况以及两个自变量的重积分的情况,使这个分支继续发展.1770年以后,拉格朗日还研究了被积函数f包含高阶导数的单重和多重积分时的情况,现在已发展成为变分法的标准内容.
2.微分方程.早在都灵时期,拉格朗日就对变系数
常微分方程研究做出重大成果.他在降阶过程中提出了以后所称的伴随方程,并证明了非齐次线性变系数方程的伴随方程的伴随方程,就是原方程的齐次方程.他还把欧拉关于常系数齐次方程的结果推广到变系数情况,证明了变系数齐次方程的通解可用一些独立特解乘上任意常数相加而成;而且在知道方程的m个特解后,可以把方程降低m价.
在柏林时期,他对常微分方程的奇解和特解做出历史性贡献,在1774年完成的“关于微分方程特解的研究”(Sur les intégralesparticulieres des equations différentielles)[22]中系统地研究了奇解和通解的关系,明确提出由通解及其对积分常数的偏导数消去常数求出奇解的方法;还指出奇解为原方程积分曲线族的包络线.当然,他的奇解理论还不完善,现代奇解理论的形式是由G.达布(Darboux)等人完成的.
常微分方程组的研究在当时结合天体力学中的课题进行.拉格朗日在1772年完成的“论三体问题”(Essai sur le problémedes trois corps)[8]中,找出了三体运动的常微分方程组的五个特解:三个是三体共线情况;两个是三体保持等边三角形;在天体力学中称为拉格朗日平动解.他同拉普拉斯一起完善的任意常数变异法,对多体问题方程组的近似解有重大作用,促进了摄动理论的建立.
拉格朗日是
一阶偏微分方程理论的建立者,他在1772年完成的。“关于一阶偏微分方程的积分”(Sur l'integration des équationau differences partielles du premier order)[21]和1785年完成的“一阶线性偏微分方程的一般积分方法”(Méthode génèrale pourintégrer les equations partielles du premier order lorsque cesdifferences ne sont que linèaires)[23]中,系统地完成了一阶偏微分方程的理论和解法.
他首先提出了一阶非线性偏微分方程的解分类为完全解、奇解、通积分等,并给出它们之间的关系.还对形如
后来又进一步证明了解线性方程
Pp+Qq=R(P,Q,R为x,y,z的函数)(5)
与解
等价,而解(6)式又与解常微分方程组
等价.(5)式至今仍称为拉格朗日方程.有趣的是,由上面已可看出,一阶非线性偏微分方程,可以化为解常微分方程组.但拉格朗日自己却不明确,他在1785年解一个特殊的一阶偏微分方程时,还说不能用这种方法,可能他忘记了自己在1772年的结果.现代也有时称此方法为拉格朗日方法,又称为柯西(Cauchy)的特征方法.因拉格朗日只讨论两个自变量情况,在推广到n个自变量时遇到困难,而后来由柯西在1819年克服.
3.方程论.18世纪的代数学从属于分析,方程论是其中的活跃领域.拉格朗日在柏林的前十年,大量时间花在代数方程和超越方程的解法上.
他在代数方程解法中有历史性贡献.在长篇论文“关于方程的代数解法的思考” (Réflexions sur le resolution algébrique desequations,《全集》Ⅲ, pp 205—421)中,把前人解三、四次代数方程的各种解法,总结为一套标准方法,而且还分析出一般三、四次方程能用代数方法解出的原因.三次方程有一个二次辅助方程,其解为三次方程根的函数,在根的置换下只有两个值;四次方程的辅助方程的解则在根的置换下只有三个不同值,因而辅助方程为三次方程.拉格朗日称辅助方程的解为原方程根的预解函数(是有理函数).他继续寻找5次方程的预解函数,希望这个函数是低于5次的方程的解,但没有成功.尽管如此,拉格朗日的想法已蕴含着置换群概念,而且使预解(有理)函数值不变的置换构成子群,子群的阶是原置换群阶的因子.因而拉格朗日是群论的先驱.他的思想为后来的N.H.阿贝尔(Abel)和 E.伽罗瓦(Galois)采用并发展,终于解决了高于四次的一般方程为何不能用代数方法求解的问题.
拉格朗日在1770年还提出一种超越方程的级数解法.设p为方程
这就是后来在天体力学中常用的拉格朗日级数.他自己没有讨论收敛性,后来由柯西求出此级数的收敛范围.
4.数论.拉格朗日到柏林初期就开始研究数论,第一篇论文“二阶不定问题的解”(Sur la solution des problémès in détèrminésdu seconde degrés)[14]和送交都灵《论丛》的“一个算术问题的解”(Solution d'un problème d'arithmetique)[15]中,讨论了欧拉多年从事的费马(Fermat)方程
x2-Ay2=1(x,y,A为整数),(9)
不定问题解的新方法”(Nouvelle méthode pour resoudveles problèmes indéteminés en nombres entiers)[16]中得到更一般的费马方程
x2-Ay2=B(B也为整数)(10)
的解.还讨论了更广泛的二元二次整系数方程
ax2+2bxy+cy2+2dx+2ey+f=0,(11)
并解决了整数解问题.
拉格朗日还在1772年的“一个算术定理的证明”(De monstration d'un théorème d'arthmétique,《文集》Ⅲ,pp.189—201)中,把欧泣40多年没有解决的费马另一猜想“一个正整数能表示为最多四个平方数的和”证明出来.在1773年发表的“质数的一个新定理的证明”(Démonstation d'un theorem nouveau concernant les nombres premiers)[17]中,证明了著名的定理:n是质数的充要条件为(n-1)!+1能被n整除.
拉格朗日不仅有大量成果,还在方法上有创新.如在证明(9)式
研究”(Recherches d'arithmétiques,《文集》Ⅲ,pp.695—795)中,研究(11)式解时采用的方法和结果,是二次型理论的基本文献.
5.函数和无穷级数.同18世纪的其他数学家一样,拉格朗日也认为函数可以展开为无穷级数,而无穷级数则是多项式的推广.他还试图用代数建立微积分的基础.在他的《解析函数论……》(《文集》Ⅸ)中,书名上加的小标题“含有微分学的主要定理,不用无穷小,或正在消失的量,或极限与流数等概念,而归结为代数分析艺术”,表明了他的观点.由于迥避了极限和级数收敛性问题,当然就不可能建立真正的级数理论和函数论,但是他们的一些处理方法和结果仍然有用,他们的观点也在发展.
拉格朗日就在《解析函数论……》中,第一次得到
微分中值定理(书中第六章)
f(b)-f(a)=f′(c)(b-a)(a≤c≤b),(12)
后面并用它推导出泰勒(Taylor)级数,还给出余项Rn的具体表达式(第二十章)
Rn就是著名的拉格朗日余项形式.他还着重指出,泰勒级数不考虑余项是不能用的.虽然他还没有考虑收敛性,甚至各阶导数的存在性,但他强调Rn要趋于零.表明他已注意到收 题.
他同欧拉、达朗贝尔等在任意函数能否表为三角级数的长期争论,虽未解决,但为以后三角级数理论的建立打下了基础.
最后要提一下他在《师范学校数学基础教程》中,提出了著名的拉格朗日内插公式
直到现在计算机计算大量中点内插时仍在使用.另外在求多元函数相对极大极小及解微分方程中的拉格朗日任意乘子法,至今也在用.
除了对数学分析在18世纪建立的主要分支有开拓性贡献外,他对严格化问题也开始注意.尽管回避了极限概念,但他仍承认可以在极限基础上建立微积分(《文集》Ⅰ,p.325).但正是对严格化重视不够,所建立的分支到一定阶段就很难深入.这可能是他晚年研究工作少的原因.他在1781年9月21日给达朗贝尔的信中说:“在我看来,似乎(数学)矿井已挖掘很深了,除非发现新矿脉,否则势必放弃它….”(《文集》XⅢ368.)这说出了他和其他同事们的心情.事实表明,19世纪在建立数学分析严格基础后,数学更迅速地发展.
分析力学的创立者 牛顿的力学理论仍用几何方法讨论.到18世纪中期,欧拉和达朗贝尔开始用分析方法,而拉格朗日在使力学分析化方面最出色,他在1788年出版的《分析力学》一书,就是分析力学这门学科建立的代表作.他一生的全部力学论文以及同时代人的力学贡献,都归纳到这部著作中.他的研究目的是使力学成为数学分析的分支.他在《分析力学》的序言中说:“…我在其中阐明的方法,既不要求作图,也不要求几何的或力学的推理,而只是一些按照一致而正规的程序的代数(分析)运算.喜欢分析的人将高兴地看到,力学变成了它的一个新分支,并将感激我扩大了它的领域.”实际情况正是这样.
拉格朗日在这方面的最大贡献是把变分原理和
最小作用原理具体化,而且用纯分析方法进行推理,成为拉格朗日方法.
他首先引入广义坐标概念,故广义坐标又称为拉格朗日坐标.一个力学系统可用有限个坐标qj(j=1,2,…,N)表示;qj= dqj/dt为相应的广义速度.力学系统总动能T(拉格朗日称之为活力)表为qj·qj和时间t的函数后,定义
为作用,最小作用原理成为δI=0.拉格朗日用变分法讨论δI=0时,导出了力学系统的运动方程为
其中Qj为力学系统受到的作用力在广义坐标中的表达式,称为广义力.如力为保守的,则存在势函数V,(16)式成为
(16)或(17)式就是第二类拉格朗日方程.后来S.D.泊松(Poisson)等引入函数
拉格朗日还把这些方法用于研究质点组,刚体和流体.在流体力学中讨论流体内各点的运动方法仍称为拉格朗日方法.
最后收集到《文集》中的《分析力学》是第二版,共分两卷,785页.第一卷中一半讲述“静力学”,主要讨论质点组和流体的平衡问题.从分析静力学原理开始,讨论了质点组和流体的平衡条件,并用于研究行星的形状.第一卷后半和第二卷全部讨论“动力学”.
动力学部分共分为十三章,前四章讲述动力学原理和建立质点系统运动方程的拉格朗日方法,包括(16),(17)式的推导以及运动的一般性质.第五章“用任意常数变化解动力学问题的一般近似方法”中,把他在微分方程解法中的任意常数变异法用于解动力学方程.后面讨论了一阶近似的求积方法.第七章“关于能看作质点的自由物体系统在引力作用下的运动”主要讲天体力学的基本问题.第八、九章讨论不动中心吸引问题和刚体动力学.第十章讨论地球自转和月球天平动.最后三章讨论流体动力学基本问题,作为拉格朗日方法的应用.
拉格朗日创立分析力学使力学发展到新的阶段.
拉格朗日方程(16),(17)式推广了
牛顿第二运动定律;使得在任意坐标系下有统一形式的运动方程,便于处理各种约束条件等优点,至今仍为动力学中的最重要的方程.在《分析力学》第二版印出(第二卷1816年)后不久,W.R.哈密顿(Hamilton)于1834年提出广义动量并建立
哈密顿正则方程,又同K.G.雅可比(Jacobi)一起建立哈密顿-
雅可比方法(1837)后,分析力学正式奠基建成,很快用到各学科领域.
天体力学的奠基者 天体力学是在牛顿发表
万有引力定律(1687)时诞生的,很快成为天文学的主流.它的学科内容和基本理论是在18世纪后期建立的.主要奠基者为欧拉,A.C.克莱罗(Clairaut)、达朗贝尔、拉格朗日和拉普拉斯.最后由拉普拉斯集大成而正式建立经典天体力学.拉格朗日一生的研究工作中,约有一半同天体力学有关,但他主要是数学家,他要把力学作为数学分析的一个分支,而又把天体力学作为力学的一个分支对待.虽然如此,他在天体力学的奠基过程中,仍有重大历史性贡献.
首先在建立天体运动方程上,拉格朗日用他在分析力学中的原理和(16),(17)式,建立起各类天体的运动方程.其中特别是根据他在微分方程解法的任意常数变异法,建立了以天体椭圆轨道根数为基本变量的运动方程,现在仍称作拉格朗日行星运动方程,并在广泛应用,此方程对摄动理论的建立和完善起了重大作用,方程在1780年获巴黎科学院奖的论文“彗星在行星作用下的摄动理论研究”(Recherches sur la théorie des perturbations queles comètes peuvent éprouver par l'action des planètes)[13]中给出,得到达朗贝尔和拉普拉斯的高度评价.另外在一篇有关三体问题的获奖文章中[8],把三体问题的运动方程组第一次降到七阶.
在天体运动方程解法中,拉格朗日的重大历史性贡献是发现三体问题运动方程的五个特解[8],即拉格朗日平动解.其中两个解是三体围绕质量中心作椭圆运动过程中,永远保持等边三角形.他的这个理论结果在100多年后得到证实. 1907年2月22日,德国海德堡天文台发现了一颗小行星[后来命名为希腊神话中的大力士阿基里斯(Achilles),编号588],它的位置正好与太阳和木星形成等边三角形.到1970年前,已发现15颗这样的小行星,都以希腊神话中特洛伊(Troy)战争中将帅们的名字命名.有9 颗位于木星轨道上前面60°处的
拉格朗日特解附近,名为希腊人(Greek)群;有6颗位于木星轨道上后面60°处的解附近,名为脱罗央(Trojan)群.1970年以后又继续发现40多颗小行星位于此两群内,其中我国紫金山天文台发现四颗,但尚未命名.至于为什么在特解附近仍有小行星,是因为这两个特解是稳定的.1961年又在月球轨道前后发现与地月组成等边三角形解处聚集的流星物质,是拉格朗日特解的又一证明.至今尚未找到肯定在三个拉格朗日共线群(三体共线情况)处附近的天体,因为这三个特解不稳定.另外,拉格朗日在一阶摄动理论中也有重要贡献,提出了计算长期摄动方法(《文集》Ⅴ,pp.125—414),并与拉普拉斯一起提出了在一阶摄动下的太阳系稳定性定理(参见《世界著名科学家传记·天文学家Ⅰ》中“拉普拉斯”条).此外,拉格朗日级数(8)式在摄动理论中有广泛应用.
在具体天体的运动研究中,拉格朗日也有大量重要贡献,其中大部分是参加巴黎科学院征奖的课题.他的月球运动理论研究论文多次获奖.1763年完成的“月球天平动研究”(Recherches sur laLibration de la lune)[6]获1764年度奖,此文较好地解释了月球自转和公转的角速度差异,但对月球赤道和轨道面的转动规律解释得不够好.后来在1780年完成的论文解决得更好(参见《文集》Ⅴ,pp.5—123).获1772年度奖的就是著名的三体问题论文[8],也是针对月球运动研究写出的.获1774年度奖的论文为“关于月球运动的长期差”(Sur l’equation séculaire de la lune)[9],其中第一次讨论了地球形状和所有大行星对月球的摄动.关于行星和彗星运动的论文也有两次获奖.1776年度获奖的是他在1775年完成的三篇论文[10,11,12,]其中讨论了行星轨道交点和倾角的长期变化对彗星运动的影响.1780年度的获奖论文就是提出著名的
拉格朗日行星运动方程的那篇[13].
获1766年度奖的论文是“木星的卫星运动的偏差研究…”(Recherches sur les inégualités des satellites de Jupiter…)[7],其中第一次讨论了太阳引力对木星的四个卫星运动的影响,结果比达朗贝尔的更好.
拉格朗日从事的天体力学课题还有很多,如在柏林时期的前半部分,还研究了用三个时刻的观测资料计算彗星轨道的方法(《文集》Ⅳ,pp.439—532),所得结果成为轨道计算的基础.另外他还得到了一种力学模型——两个不动中心问题的解,这是欧拉已讨论过的,又称为欧拉问题.是拉格朗日推广到存在离心力的情况,故后来又称为拉格朗日问题(《文集》Ⅱ,pp.67—121).这些模型现在仍在应用.有人用作人造卫星运动的近似力学模型.此外,他在《分析力学》中给出的流体静力学的结果,后来成为讨论天体形状理论的基础.
总的看来,拉格朗日在天体力学的五个奠基者中,所做的历史性贡献仅次于拉普拉斯.他创立的“分析力学”对以后天体力学的发展有深远的影响.
结束语
结语
拉格朗日是18世纪的伟大科学家,在数学、力学和天文学三个学科中都有历史性的重大贡献.但他主要是数学家,他最突出的贡献是在把数学分析的基础脱离几何与力学方面起了决定性的作用.使数学的独立性更为清楚,而不仅是其他学科的工具.同时在使天文学力学化、力学分析化上也起了历史性作用,促使力学和天文学(天体力学)更深入发展.由于历史的局限,严密性不够妨碍着他取得更多的成果.
拉格朗日的著作非常多,未能全部收集.他去世后,法兰西研究院集中了他留在学院内的全部著作,编辑出版了十四卷《拉格朗日文集》,由J.A.塞雷(Serret)主编,1867年出第一卷,到1892年才印出第十四卷.第一卷收集他在都灵时期的工作,发表在《论丛》第一到第四卷中的论文;第二卷收集他发表在《论丛》第四、五卷及《都灵科学院文献》第一、二卷中的论文;第三卷中有他在《柏林科学院文献》 1768—1769年, 1770—1773年发表的论文; 第四卷刊有他在《柏林科学院新文献》1774—1779年, 1781年,1783年发表的论文;第五卷刊载上述刊物1780—1783年,1785—1786年,1792年,1793年,1803年发表的论文;第六卷载有他未在巴黎科学院或法兰西研究院的刊物上发表过的文章;第七卷主要刊登他在师范学校的报告;第八卷为1808年完成的《各阶数值方程的解法论述及代数方程式的几点说明》(Traité des équations numériquesde tous les degrés, avec des notes sur plusieurs points de lathéorie des equations algébriques)一书;第九卷是1813年再版的《解析函数论,含有微分学的主要定理,不用无穷小,或正在消失的量,或极限与流数等概念,而归结为代数分析艺术》一书;第十卷是1806年出版的《函数计算教程》一书;第十一卷是1811年出版的《分析力学》第一卷,并由J.贝特朗(Bertrand)和G.达布(Darboux)作了注释;第十二卷为《分析力学》的第二卷,仍由上述二人注释,此二卷书后来在巴黎重印(1965);第十三卷刊载他同达朗贝尔的学术通讯;第十四卷是他同孔多塞,拉普拉斯,欧拉等人的学术通讯,此二卷都由L.拉朗(Lalanne)作注释.还计划出第十五卷,包含1892年以后找到的通讯,但未出版.