← 返回 约瑟夫-路易·拉格朗日 简介档案 深度档案
分析力学数论变分法微分方程

约瑟夫-路易·拉格朗日(Joseph-Louis Lagrange)

分析力学的创立者与 18 世纪最伟大的数学家之一——他把力学变成了"没有一张图"的纯分析,把变分法、数论、代数方程与天体力学一并推向新高度;从经典力学到量子场论,拉格朗日形式至今是物理学的标准语言。

一、生平与时代背景

约瑟夫-路易·拉格朗日于 1736 年 1 月 25 日生于撒丁-皮埃蒙特王国的都灵(今意大利),受洗时取名朱塞佩·洛多维科·拉格朗亚(Giuseppe Lodovico Lagrangia)。通常他被视为法国数学家,但《意大利百科全书》称其为意大利数学家——二者都有理由:他生于都灵,但其家族父系有法国血统(曾祖父是离开法国为萨伏依公爵效力的法国骑兵队长),他本人青年时便用法语拼写自己的姓(Lodovico LaGrange / Luigi Lagrange),始终倾向于自己的法国渊源。父亲朱塞佩·弗朗切斯科·洛多维科·拉格朗亚是都灵公共工程与要塞局的司库,母亲特蕾莎·格罗索(Teresa Grosso)是都灵附近坎比亚诺一位医生的独生女。拉格朗日是 11 个孩子中的长子,却只有两个活到成年。父亲地位不低,但因投机失败而家产散尽,家境并不富裕——父亲本为他规划了法律生涯。拉格朗日后来说:"如果我有钱,多半就不会献身数学了。"

他在都灵学院学习,最初最喜爱的科目是古典拉丁文,觉得希腊几何枯燥乏味。他对数学的兴趣始于读到哈雷(Halley)1693 年论代数在光学中应用的一篇文章,又被贝卡里亚(Beccaria)出色的物理课吸引,遂决心以数学为业。他几乎完全靠自学,没有机会跟一流数学家学习。1754 年 7 月 23 日,他以意大利语写给朱利奥·法尼亚诺(Giulio Fagnano)的信作为第一篇数学作品发表,署名"Luigi De la Grange Tournier"——此文在二项式定理与函数乘积的逐次导数之间作类比,并非杰作,反映了他无人指导的状况。发表前他已把结果用拉丁语寄给在柏林的欧拉;发表一个月后他发现这些结果已见诸约翰·伯努利与莱布尼茨的通信,深恐被指为剽窃,于是加倍努力。到 1754 年底,他在等时曲线(tautochrone)上取得了对新兴的变分法有实质贡献的重要发现("变分法"一名要到 1766 年才由欧拉正式提出)。

1755 年 8 月 12 日,他把含极大极小方法的等时曲线结果寄给欧拉,欧拉 9 月 6 日复信表示印象深刻。尽管年仅 19 岁,拉格朗日于 1755 年 9 月 28 日被任命为都灵皇家炮兵学校的数学教授——实至名归。1756 年他把变分法应用于力学的结果寄给欧拉,推广了欧拉本人的结果;欧拉与柏林科学院院长莫佩尔蒂(Maupertuis)商议后想把这位奇才挖到普鲁士,但拉格朗日只想要安静地做数学,婉拒了更显赫的职位。欧拉仍提名他入选柏林科学院,1756 年 9 月 2 日当选。次年,他成为都灵一个科学学会的创始成员(后来发展为都灵皇家科学院),该学会出版《都灵论丛》(Mélanges de Turin),拉格朗日是前几卷的主要撰稿人(第 1 卷 1759、第 2 卷 1762、第 3 卷 1766)。

《都灵论丛》中的论文覆盖极广:优美的变分法结果、一篇概率短论、以最小作用量与动能为基础的动力学奠基、关于声传播与振动弦的重要研究(他把弦离散化为 $n$ 个由无重弦连接的质点,解出 $n+1$ 个微分方程后令 $n\to\infty$,得到与欧拉相同的泛函解)、微分方程的积分及其在流体力学中的应用(在此引入了"拉格朗日函数")、首次使用线性替换的特征值来解线性微分方程组,以及木星与土星轨道的研究。

1762 年巴黎科学院宣布 1764 年奖赛主题为月球天平动,拉格朗日投稿,1763 年 11 月陪同时任那不勒斯大使、从都灵转往伦敦的卡拉乔利侯爵(Marquis Caraccioli)启程,抵达巴黎时稿件刚收到不久,却在巴黎病倒,未能随大使赴伦敦。达朗贝尔为这位青年几何学家鸣不平,写信说:"都灵拥有一件它或许还不知其价值的珍宝。"1765 年初返回都灵后,他又参加了 1766 年关于木星卫星轨道的巴黎奖赛。达朗贝尔为他安排了柏林的职位,他再次谢绝:"在欧拉先生还在那里时,柏林于我并不合适。"1766 年 3 月达朗贝尔得知欧拉将返圣彼得堡,再次去信;4 月腓特烈二世发来慷慨聘书,拉格朗日终于接受。8 月离开都灵,途经巴黎拜访达朗贝尔、赴伦敦拜访卡拉乔利,10 月抵柏林,11 月 6 日接替欧拉出任柏林科学院数学部主任。

在柏林的 20 年是他的全盛期。他受到大多数成员热烈欢迎,与朗伯、约翰(三世)·伯努利结为密友;但卡斯蒂永(Castillon,比他年长 32 岁)不满此任。到柏林不足一年,他与表妹维多利亚·孔蒂(Vittoria Conti)结婚,1767 年在信中告诉达朗贝尔她是"极好的主妇,毫无虚荣",二人无子女(拉格朗日明确表示不想要孩子)。都灵始终惋惜失去他,1774 年曾邀其回归。他在柏林持续产出高质量论文,屡屡赢得巴黎科学院奖:1772 年与欧拉分享三体问题奖,1774 年(月球运动)、1780 年(行星对彗星轨道的摄动)各获奖。

其柏林时期的工作涵盖天文、太阳系稳定性、力学、动力学、流体力学、概率与微积分基础。数论上,1770 年证明每个正整数是四个平方数之和(四平方和定理),1771 年证明威尔逊定理(华林此前只陈述未证);1770 年发表重要论文《关于代数方程可解性的思考》(Réflexions sur la résolution algébrique des équations),首次把方程的根当作抽象量研究,考察根的置换,是群论发展的第一步。1782 年 9 月 15 日他致信拉普拉斯:"我已几乎完成一部《分析力学论》,唯独以虚速度原理为基础;但因不知何时何地能付梓,我并不急于收尾。"

1783 年妻子久病去世,拉格朗日极为消沉;1786 年腓特烈二世去世,他在柏林的处境不如从前。意大利诸邦纷纷拉拢他,但最吸引他的聘书来自巴黎,且附带"无须授课"的条款。1787 年 5 月 18 日他离开柏林,成为巴黎科学院成员,此后定居法国直至终老。他在法国大革命中安然无恙,部分得益于其处世态度(多年前他写道:"我相信,每一个智者的首要原则之一,就是严格遵守所居国家的法律,哪怕它们不合理。")

在柏林写成的《分析力学》(Mécanique analytique)于 1788 年出版,由拉普拉斯、库赞、勒让德、孔多塞组成的委员会批准,勒让德任编辑。1790 年 5 月他进入科学院的度量衡统一委员会,参与制定公制(主张十进制)。1792 年再婚,娶科学院天文同僚之女勒妮-弗朗索瓦丝-阿德莱德·勒莫尼耶(Renée-Françoise-Adélaide Le Monnier)。1793 年恐怖统治开始,8 月 8 日科学院被取缔,度量衡委员会是唯一获准继续的机构,拉格朗日出任主席(拉瓦锡、博尔达、拉普拉斯、库仑、布里松、德朗布尔等都被逐出)。1793 年 9 月通过逮捕敌国出生的外国人、没收其财产的法令,拉格朗日本在其列,拉瓦锡为他出面干预使其幸免。

1794 年巴黎综合理工学院(École Polytechnique,初名公共工程中央学校)创办,拉格朗日被任命为首位分析学教授,1795 年 5 月 24 日为全体师生上分析课的第一讲。1795 年经度局(Bureau des Longitudes)成立,他是成员。1799 年雾月政变后拿破仑建立执政府,拉格朗日于同年 12 月 25 日被任命为元老(Sénat conservateur)成员;1808 年被封为帝国伯爵(Comte d'Empire),并获荣誉军团大军官勋位。1810 年他开始彻底修订《分析力学》第二版,生前只完成约三分之二。1813 年 4 月 3 日被授予帝国联合勋章大十字级,一周后于 4 月 10 日在巴黎逝世,享年 77 岁,葬于先贤祠(Panthéon),其墓铭为:"约瑟夫-路易·拉格朗日。元老。帝国伯爵。"

二、学术生涯年表

年份 事件
1736 1 月 25 日生于撒丁-皮埃蒙特王国都灵(今意大利),洗礼名朱塞佩·洛多维科·拉格朗亚
约 1750 读哈雷论代数在光学中应用之文,兴趣转向数学;受贝卡里亚物理课影响
1754 7 月发表首篇数学工作(致法尼亚诺的信,署名 Luigi De la Grange Tournier),后发现与伯努利-莱布尼茨通信重复,深自鞭策
1755 8 月致欧拉信提出变分法的 δ 方法;9 月 28 日(19 岁)任都灵皇家炮兵学校数学教授
1756 致欧拉:把变分法用于力学;9 月 2 日当选柏林科学院院士;婉拒赴柏林
1757 参与创建都灵科学学会(后为都灵皇家科学院),主编《都灵论丛》
1759—1766 《都灵论丛》前三卷发表其变分法、振动弦、概率、线性 ODE(首用特征值)等论文
1763 11 月陪卡拉乔利离都灵赴巴黎,途中投稿月球天平动奖赛;在巴黎病倒
1764 以月球天平动论文获巴黎科学院奖
1766—1769 发展佩尔方程的一般理论,证明其恒可解(1768 年发表首证)
1766 获木星卫星轨道巴黎奖;11 月 6 日抵柏林,接替欧拉任柏林科学院数学部主任
1767 与表妹维多利亚·孔蒂结婚;无子女
1770 证明四平方和定理;发表《关于代数方程可解性的思考》(根的置换,群论雏形)
1771 证明威尔逊定理
1772 与欧拉分享巴黎科学院三体问题奖;论文中引入五个拉格朗日平动点
1774 获月球运动巴黎奖;发表常数变易法的早期工作
1780 获行星摄动彗星轨道巴黎奖
1782 完成《关于行星轨道长期变化的理论》(太阳系稳定性)
1783 妻子病逝;此后精神抑郁
1786 腓特烈二世去世,柏林处境转差;1787 年 5 月 18 日离柏林赴巴黎
1788 《分析力学》出版,书中无一张图
1790 入科学院度量衡委员会,参与制定公制
1792 再婚,娶勒莫尼耶
1793 恐怖统治中任度量衡委员会主席(科学院被取缔后唯一获准继续的机构)
1794—1795 任巴黎综合理工学院首位分析学教授,1795 年 5 月 24 日上第一讲
1797 出版《解析函数论》,尝试以幂级数为微积分奠基
1799 12 月 25 日被拿破仑任命为元老院(Sénat conservateur)成员
1801 出版《函数计算讲义》(《解析函数论》的讲解版)
1808 被封为帝国伯爵,获荣誉军团大军官勋位
1810 开始修订《分析力学》第二版,未竟
1813 4 月 10 日卒于巴黎,葬于先贤祠

三、核心成果(逐条技术解析)

1. 变分法与欧拉—拉格朗日方程(1755—1760)

问题背景:最速降线、等周问题等"求使某积分取极值的函数"的问题,由约翰·伯努利、欧拉用几何/半解析方法处理,但缺乏统一的解析算法。

关键思想:19 岁的拉格朗日在 1755 年致欧拉的信中,引入了变分(variation)记号 $\delta$,把对整个函数 $y(x)$ 的微小扰动 $\delta y$ 当作独立对象处理,对泛函 $J[y]=\int_a^b L(x,y,y')\,dx$ 取变分并令其一阶变分为零:

$$\delta J[y] = \int_a^b \left(\frac{\partial L}{\partial y}\delta y + \frac{\partial L}{\partial y'}\delta y'\right)dx = 0.$$

分部积分并利用端点变分为零,得到使 $J$ 取极值的 $y$ 必须满足的微分方程:

$$\frac{\partial L}{\partial y} - \frac{d}{dx}\left(\frac{\partial L}{\partial y'}\right) = 0.$$

这就是欧拉—拉格朗日方程(Euler–Lagrange equation)。欧拉盛赞此法,称它是变分法的真正解析基础,并把这门学科正式命名为"变分法"(1766)。

精确表述:该方程把无穷维函数空间中的极值问题,转化为一个常微分方程的求解问题,是变分法的基本方程。

与前人关系:欧拉已用几何方法得到过等价结论,拉格朗日的纯解析 $\delta$ 方法是决定性的简化与推广,适用于任意多重积分与带约束的情形。

局限性:一阶变分为零只是极值的必要条件;充分条件(涉及二阶变分,勒让德、雅可比后来补充)当时未建立。

2. 分析力学:拉格朗日方程与《分析力学》(1760s—1788)

问题背景:牛顿力学以力、加速度与几何作图为核心,处理受约束的复杂系统(多刚体、连杆)时既不统一也不普适。

关键思想:拉格朗日把达朗贝尔原理(动力学化归静力学的虚功平衡)与变分法结合,用广义坐标 $q_1,\dots,q_n$ 描述系统,定义拉格朗日函数 $L=T-V$(动能减势能),得到运动方程:

$$\frac{d}{dt}\left(\frac{\partial L}{\partial \dot q_i}\right) - \frac{\partial L}{\partial q_i} = 0, \qquad i=1,\dots,n.$$

这就是拉格朗日方程(Lagrange's equations)。它把整个经典力学统一为一组形式完全一致的二阶常微分方程,与坐标选择无关,自动处理约束力(约束力不出现在方程中)。

精确表述:在《分析力学》(Mécanique analytique,1788)序言中,拉格朗日写下著名的话:"本书中找不到任何图形。我所阐述的方法既不需要作图,也不需要几何或力学的论证,只需要代数运算,服从规整而一致的步骤。"全书把牛顿以来的力学成果汇总为分析的一个分支。

与前人关系:基石是达朗贝尔原理(虚功)与欧拉—拉格朗日变分方法;它是牛顿《原理》之后最重要的力学著作。

局限性:拉格朗日把力学建基于"虚速度原理"等形而上学-解析原理,物理直观有所削弱;但这正是其形式化力量的来源。哈密顿(1834)在此基础上发展出哈密顿力学,进一步通向量子力学。

3. 数论的三大定理(1768—1771)

问题背景:整数的加法结构(表为平方和、素数判别、二次不定方程)是费马留下的核心难题。

关键思想与精确表述: - 四平方和定理(1770):每个正整数都可表示为至多四个整数的平方和。这是费马多边形数猜想中平方情形的证明(费马曾断言但未证)。拉格朗日证明对 $n=1,2,3,4$ 都成立;四个是必要的(如 $7=2^2+1^2+1^2+1^2$ 无法用更少的平方和表示)。欧拉在此前已做了大量铺垫。 - 威尔逊定理的证明(1771):华林 1770 年陈述(归名于其学生威尔逊)但未证明:$n$ 为素数当且仅当 $(n-1)!\equiv -1\pmod{n}$。拉格朗日给出首个证明。 - 佩尔方程的可解性(1766—1769,1768 发表首证):对任何非完全平方的正整数 $D$,方程 $x^2-Dy^2=1$ 恒有无穷多组正整数解。拉格朗日用连分数建立了佩尔方程的完整理论,给出求解算法并证明了解的存在性(欧拉此前已给出算法但未证明必有解)。他还证明了连分数的一条基本定理:一个无理数是整系数二次方程的根,当且仅当其简单连分数展开是最终周期的(拉格朗日连分数定理,1770)。

与前人关系:费马的猜想、欧拉的铺垫,由拉格朗日完成证明;他也发展了二元二次型的约化理论(1773《算术研究》),为二次型与类数理论奠基。

局限性:四平方和的"至多四个"对所有整数成立,但对充分大的整数只需更少($G(2)=4$ 是例外,平方较特殊;$G(k)$ 一般远小于 $g(k)$)。

4. 代数方程的根式可解性与群论雏形(1770—1771)

问题背景:二次、三次、四次方程都有求根公式(用加、减、乘、除与开方表示根),但五次及以上方程的求根公式两百多年苦寻不得。为什么前四次有、五次没有?

关键思想:在《关于代数方程可解性的思考》(Réflexions sur la résolution algébrique des équations,1770—1771)中,拉格朗日首次把方程的根当作抽象的量(而非具体数值)来研究。他考察三次、四次方程的解法,发现其核心是构造预解式(resolvent):取根的一个有理函数(如三次方程中根的线性组合),研究它在根的所有置换下所取的不同值——这些值满足一个次数更低的"预解方程",解出它后即可得原方程的根。

精确表述:他证明了一个关键引理(今称拉格朗日定理的雏形):$n$ 个变量的有理函数在全部 $n!$ 个置换下所取的不同值的个数,必整除 $n!$。对三次方程,一个恰当的预解函数取 2 个不同值($2\mid 6$),对应预解二次方程;对四次,取 3 个值($3\mid 24$),对应预解三次方程——这正是三、四次方程可解的原因。而对五次,相应的预解函数取 6 或更多个值,其预解方程次数不降反升,拉格朗日由此怀疑五次方程一般不能用根式求解。

与前人关系:华林已触及预解式(见华林档案),拉格朗日把它系统化为理论;他的工作经鲁菲尼(1799 尝试证明五次不可解)、阿贝尔(1824 证明),最终由伽罗瓦(1830 年代)建立完整的置换群与可解性理论。伽罗瓦曾明确研读拉格朗日。

局限性:拉格朗日没有抽象出"群"的概念,也未给出五次不可解的严格证明;他的"不同值个数整除 $n!$"是群论中拉格朗日定理(子群阶整除群阶)的雏形,完整的一般定理由若尔当等在 19 世纪给出,但该定理以拉格朗日命名。

5. 天体力学:三体问题与拉格朗日平动点(1772)

问题背景:太阳、地球、月球(或任意三天体)在引力下的运动——三体问题——没有一般的闭合解,但其特殊构型(平衡解)长期有用。

关键思想:在 1772 年获巴黎科学院奖的论文《论三体问题》(Essai sur le problème des trois corps)中,拉格朗日研究了圆型限制性三体问题(两主天体绕共同质心作圆运动,第三体质量可忽略),找到了五个平动点(libration points / Lagrange points),即第三体相对两主天体保持相对静止的位置。

精确表述:设两主天体为 $M_1,M_2$,五个点为: - $L_1,L_2,L_3$:在两主天体连线上(共线解,不稳定); - $L_4,L_5$:与两主天体构成等边三角形的两个顶点(在一定质量比条件下稳定)。

与前人关系:欧拉先发现了共线的 $L_1,L_2,L_3$(1767),拉格朗日又发现了三角形点 $L_4,L_5$,故五个点统称拉格朗日点。

后续影响:$L_4,L_5$ 成为太阳系中特洛伊小行星(如木星特洛伊群)的聚集地;今天的空间探测器广泛利用 $L_1$(如 SOHO 日地 $L_1$)、$L_2$(如詹姆斯·韦布望远镜、普朗克卫星)作为部署位置。

局限性:这些是理想圆型限制性模型中的精确解;一般三体问题的混沌性由庞加莱在 19 世纪末揭示。

6. 太阳系的稳定性与长期摄动(1782)

问题背景:行星间的引力相互作用会导致轨道缓慢变化(长期摄动),太阳系是否会因此瓦解?这是牛顿以来的重大疑问(牛顿曾认为需上帝干预来维持稳定)。

关键思想:在《关于行星轨道长期变化的理论》(1782)等工作中,拉格朗日(与拉普拉斯并行)证明了行星轨道的半长轴(决定轨道大小)没有一阶长期变化——即行星平均到太阳的距离不会单调增大或减小,从而太阳系在一阶近似下是稳定的。

精确表述:他与拉普拉斯分别证明了行星轨道半长轴的长期摄动为零(至一阶)。这一结果(加上对偏心率、倾角有界性的研究)被后世称为"拉普拉斯-拉格朗日关于太阳系稳定性的定理"。他还解释了木星与土星的"大不等式"(great inequality,周期约 900 年的相互摄动振荡)。

与前人关系:超越了牛顿的神学干预解释,给出纯力学的稳定性论证;与拉普拉斯的工作互补。

局限性:这是一阶摄动结果;更高阶与混沌稳定性(KAM 定理)要到 20 世纪才严格处理。

7. 分析基础与经典分析工具(1795—1813)

问题背景:微积分的基础(无穷小、极限、导数)在 18 世纪仍不严格;同时工程与物理需要一套系统的分析工具。

关键思想与精确表述: - 解析函数论(Théorie des fonctions analytiques,1797):拉格朗日试图把微积分完全建立在幂级数之上,避开无穷小与极限:定义 $f'(x)$ 为 $f(x+i)$ 的幂级数展开中 $i$ 的系数。这是"解析函数的代数",是分析严格化的一次重要尝试(虽有缺陷:并非所有函数都能展开为幂级数,柯西后来指出并以极限重建)。1801 年出版讲解版《函数计算讲义》(Leçons sur le calcul des fonctions)。 - 拉格朗日中值定理:若 $f$ 在 $[a,b]$ 连续、在 $(a,b)$ 可微,则存在 $c\in(a,b)$ 使 $f(b)-f(a)=f'(c)(b-a)$。拉格朗日在《解析函数论》中给出了证明(罗尔 1691 年有多项式情形的特例,即罗尔定理)。 - 拉格朗日插值:给定 $n$ 个点 $(x_i,y_i)$,存在唯一的次数 $<n$ 的多项式 $P(x)=\sum_i y_i\prod_{j\ne i}\frac{x-x_j}{x_i-x_j}$ 经过它们。牛顿、沃利斯、华林等已知特殊形式,拉格朗日给出标准显式公式。 - 拉格朗日乘子法:在约束 $g(x)=0$ 下求 $f(x)$ 的极值,引入乘子 $\lambda$,解 $\nabla f = \lambda\nabla g$。这是约束优化的基本方法,在经济学、最优控制中无处不在。 - 常数变易法(1774 起):把非齐次线性 ODE 的解中齐次解的常数"变易"为函数,是求解线性 ODE 的标准方法。

与前人关系:分析基础上,他是欧拉与柯西之间的关键过渡;插值与中值定理以他命名。

局限性:幂级数基础被柯西证明不足,但其代数化取向影响了后来的代数分析。

四、代表著作与文献

五、师承、学派与同时代交往

六、争议、公案与历史评价

七、身后影响与学术谱系

八、延伸阅读与权威来源