约瑟夫-路易·拉格朗日(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 的标准方法。
与前人关系:分析基础上,他是欧拉与柯西之间的关键过渡;插值与中值定理以他命名。
局限性:幂级数基础被柯西证明不足,但其代数化取向影响了后来的代数分析。
四、代表著作与文献
- 《都灵论丛》(Mélanges de Turin,1759—1766):早期论文集,含变分法、振动弦、线性 ODE 等。
- 《关于代数方程可解性的思考》(Réflexions sur la résolution algébrique des équations,1770—1771,柏林科学院《文集》):群论与方程论的奠基论文。
- 《分析力学》(Mécanique analytique,1788):分析力学的丰碑,全书无图,第二版由他在 1810 年起修订、身后 1815 年出齐。
- 《解析函数论》(Théorie des fonctions analytiques,1797):尝试以幂级数为微积分奠基。
- 《函数计算讲义》(Leçons sur le calcul des fonctions,1801):上者的讲解版。
- 《数值方程的解法》(Résolution des équations numériques,1798)。
- 大量论文载于《柏林科学院文集》《巴黎科学院文集》《都灵论丛》,涵盖数论、天体力学、分析。
五、师承、学派与同时代交往
- 师承:基本靠自学,无严格数学导师。在都灵受贝卡里亚(物理)与哈雷著作(数学)启发;他始终把自己视为欧拉的晚辈与追随者,对欧拉极为敬重。
- 学派归属:18 世纪欧洲分析传统的集大成者,法国数学学派的奠基人之一;与拉普拉斯、勒让德、蒙日共同构成 18–19 世纪之交的法国数学核心。
- 同时代交往:
- 莱昂哈德·欧拉:精神导师与早期通信对象。欧拉对其变分法评价极高,推荐他入柏林科学院、促成其柏林职位;二人在方法上多有交锋但始终相互敬重。
- 让·达朗贝尔:举荐人、朋友与通信者。达朗贝尔为他在巴黎奔走,安排柏林职位,并在他与欧拉之间斡旋。
- 约翰·海因里希·朗伯:柏林时期的密友。
- 皮埃尔-西蒙·拉普拉斯:同时代的竞争者与合作者;在天体力学(太阳系稳定性)上既有合作也有优先权争议;《分析力学》出版由拉普拉斯主持的委员会批准。
- 阿德里安-马里·勒让德:编辑《分析力学》;在数论(二次互反律等)上有竞争。
- 腓特烈二世:柏林时期的恩主。
- 拿破仑:任命他为元老、封帝国伯爵;拿破仑称他为"数学科学的高耸金字塔"。
- 乔瓦尼·巴蒂斯塔·维利亚泰(Vigliani,都灵炮兵学校同事)、卡拉乔利侯爵(旅行同伴)。
- 同时代学者:鲁菲尼(继承其方程论)、高斯(青年高斯熟读其《分析力学》与方程论)、柯西(批判其幂级数基础并重建分析)。
六、争议、公案与历史评价
- 国籍归属:生于都灵,《意大利百科全书》称其为意大利数学家,主流(尤其法国)视其为法国数学家。他本人始终用法语拼写姓氏、倾向法国渊源,但这是身份认同问题,两种归属各有依据,学界并存。
- "笛卡尔后裔"之说:19 世纪法国传记偶称拉格朗日家族为笛卡尔后裔,无可靠证据,学界不取。
- 与拉普拉斯的优先权:在太阳系稳定性的长期摄动定理上,拉格朗日与拉普拉斯几乎同时独立得到结果,谁先发表的细节存在商榷,但二人共享该成果的荣誉,不影响其正确性。
- 幂级数基础的失败:《解析函数论》试图以幂级数为微积分奠基,被柯西证明不成立(存在处处不可展为幂级数的光滑函数);但这一尝试推动了对分析基础的反思,其代数化取向也影响了后来的代数分析。
- 性格与处世:拉格朗日温和、谦逊、回避争端(与达朗贝尔、蒙日的性格截然不同),这使他在法国大革命的动荡中安然无恙;但丧妻后长期抑郁,晚年自称对数学失去兴趣("几何是我唯一真正感兴趣却已无法从事的事业"——借用达朗贝尔的话也适用于他)。
- 历史评价:拉格朗日是 18 世纪与欧拉并列的最伟大数学家,在分析的几乎每个分支都有奠基性贡献。拿破仑称之为"数学科学的高耸金字塔"。其《分析力学》被麦克斯韦誉为"科学的诗";拉格朗日形式从经典力学延伸到电磁学、相对论、量子力学与量子场论,是现代物理的通用语言。在纯数学上,他的方程论直接孕育了群论,数论工作开辟了多个方向。
七、身后影响与学术谱系
- 对分析力学与物理学:拉格朗日方程与拉格朗日函数 $L=T-V$ 是经典力学的标准表述;其"作用量"思想(哈密顿随后发展为最小作用量原理)经哈密顿-雅可比理论,成为量子力学(费曼路径积分)与量子场论的基础。规范场论、广义相对论的作用量原理都溯源于此。
- 对变分法:欧拉—拉格朗日方程是变分法的基本方程,应用遍及微分几何(测地线、极小曲面)、偏微分方程(变分原理)、优化与经济学(最优控制)。
- 对数论:四平方和定理、佩尔方程理论、二元二次型约化、连分数周期性定理,构成 19 世纪数论(高斯《算术研究》、狄利克雷)的重要起点。
- 对代数与群论:其根的置换与预解式研究,经鲁菲尼、阿贝尔,到伽罗瓦建立群论,是整个抽象代数的源头之一。
- 对经典分析:拉格朗日插值、中值定理、乘子法、常数变易法,是每个理工科学生必学的标准工具。
- 对天体力学与航天:拉格朗日点是现代航天工程的关键位置;太阳系稳定性理论影响了 KAM 定理等动力系统研究。
- 对度量衡:作为度量衡委员会主席,他参与奠定了公制(十进制),影响延续至今。
- 文化与教育:《分析力学》成为 19 世纪数学教育的典范;巴黎综合理工学院的分析教学传统由他开启。
- 命名遗存:欧拉—拉格朗日方程、拉格朗日方程(力学)、拉格朗日函数/量、拉格朗日点、拉格朗日插值、拉格朗日中值定理、拉格朗日乘子、拉格朗日定理(群论)、拉格朗日连分数定理、拉格朗日括号、拉格朗日密度等;数学与物理中以他命名的概念之多,仅次于欧拉。
八、延伸阅读与权威来源
- MacTutor 数学史档案:Joseph-Louis Lagrange:圣安德鲁斯大学权威传记,本档案主要史实出处。
- Dictionary of Scientific Biography — Lagrange (PDF, MacTutor 托管):科学史权威传记条目。
- Wikipedia: Joseph-Louis Lagrange:生平与著作交叉核对。
- Wikipedia: Lagrangian mechanics:拉格朗日力学与拉格朗日方程。
- Wikipedia: Euler–Lagrange equation:变分法基本方程。
- Wikipedia: Lagrange point:三体问题平动点。
- Wikipedia: Lagrange's theorem (group theory):群论定理及其与拉格朗日 1771 工作的关系。
- Wikipedia: Four-square theorem:四平方和定理。
- Sénat: Joseph-Louis Lagrange, Comte d'Empire:其元老院成员身份与葬先贤祠的官方记录。
- FranceArchives: Joseph-Louis Lagrange:法国国家档案馆的生平条目。