ARTICLE

勒让德

勒让德 (Legendre) 阿德里安-马里·勒让德(Adrien-Marie Legendre,1752年9月18日—1833年1月10日)是18世纪末至19世纪初法国最重要的数学家之一,与拉格朗日和拉普拉斯并称为"法国分析学三大巨匠"。勒让德在数论、数学分析、代数学、天体力学和统计学等多个领域做出了奠基性贡献。他出生于巴黎的一个富裕家庭,在马萨林学院接受

浏览 0 更新 2025-11-08

勒让德 (Legendre)

阿德里安-马里·勒让德(Adrien-Marie Legendre,1752年9月18日—1833年1月10日)是18世纪末至19世纪初法国最重要的数学家之一,与拉格朗日拉普拉斯并称为"法国分析学三大巨匠"。勒让德在数论数学分析代数学天体力学统计学等多个领域做出了奠基性贡献。他出生于巴黎的一个富裕家庭,在马萨林学院接受教育,1770年以数学论文获得博士学位。他的工作深刻影响了随后一个世纪的数学发展,尤其以勒让德多项式勒让德变换勒让德符号三项贡献最为著名。

勒让德多项式与勒让德微分方程

勒让德多项式(Legendre Polynomials)是一组在区间 [1,1] [-1, 1] 上满足正交性的特殊函数序列,通常记作 Pn(x) P_n(x) ,其中 n n 为多项式的阶数。它们由勒让德微分方程的解给出:

(1x2)d2ydx22xdydx+n(n+1)y=0(1 - x^2)\frac{d^2y}{dx^2} - 2x\frac{dy}{dx} + n(n+1)y = 0

n n 为非负整数时,该方程的多项式解即为勒让德多项式。前几项勒让德多项式为:

P0(x)=1,P1(x)=x,P2(x)=12(3x21),P3(x)=12(5x33x)P_0(x) = 1,\quad P_1(x) = x,\quad P_2(x) = \frac{1}{2}(3x^2 - 1),\quad P_3(x) = \frac{1}{2}(5x^3 - 3x)

勒让德多项式的一个重要性质是正交性

11Pm(x)Pn(x)dx=0(mn)\int_{-1}^{1} P_m(x)P_n(x)\,dx = 0 \quad (m \neq n)

此外,它们还具有罗德里格斯公式(Rodrigues' Formula)的简洁表达形式:

Pn(x)=12nn!dndxn(x21)nP_n(x) = \frac{1}{2^n n!}\frac{d^n}{dx^n}(x^2 - 1)^n

这一性质使得勒让德多项式成为函数逼近数值分析中的核心工具——任何定义在 [1,1] [-1, 1] 上的平方可积函数都可以展开为勒让德多项式的级数。在物理学中,勒让德多项式广泛用于求解球坐标系下的拉普拉斯方程亥姆霍兹方程。例如,在电动力学中,点电荷产生的电势可以展开为勒让德多项式的级数;在量子力学中,氢原子的角向波函数——球谐函数——的极角部分正是勒让德多项式;在地球物理学中,地球重力场模型也使用勒让德多项式进行展开。

勒让德变换

勒让德变换(Legendre Transform)是数学分析中的一个基本变换工具,用于在函数的变量与函数的导数之间建立对偶关系。对于一个凸函数 f(x) f(x) ,其勒让德变换定义为:

f(p)=supx(pxf(x))f^*(p) = \sup_x \Big(p \cdot x - f(x)\Big)

其中 f f^* 称为 f f 凸共轭函数(Convex Conjugate)。勒让德变换的核心思想是:一个函数可以用其切线族的斜率和截距来等价表示。换言之,函数 f(x) f(x) 与其勒让德变换 f(p) f^*(p) 包含完全相同的信息,只是从不同的视角加以描述。

热力学中,勒让德变换是从一种热力学势转换到另一种的基本数学工具。例如,从内能 U(S,V) U(S, V) 出发,通过勒让德变换可以得到 H(S,P)=U+PV H(S, P) = U + PV 亥姆霍兹自由能 F(T,V)=UTS F(T, V) = U - TS 、以及吉布斯自由能 G(T,P)=U+PVTS G(T, P) = U + PV - TS 。每一种热力学势对应不同的自然变量,适用于不同的物理条件。在经典力学中,勒让德变换实现了从拉格朗日力学(以广义坐标 q q 和广义速度 q˙ \dot{q} 为变量)到哈密顿力学(以广义坐标 q q 和广义动量 p p 为变量)的转换,这一转换是分析力学发展的重要里程碑。在凸优化博弈论中,勒让德变换是对偶理论的核心工具,用于将原始问题转化为对偶问题并加以分析。

勒让德符号与数论贡献

数论领域,勒让德给出了二次互反律(Quadratic Reciprocity)的首次完整证明尝试,并引入了勒让德符号(ap) \left(\frac{a}{p}\right) ,用于简洁地表示整数 a a 对奇素数 p p 的二次剩余性质:

\left(\frac{a}{p}\right) = \begin{cases}

1 \& 如果 \text{如果 } a  是模 \text{ 是模 } p  的二次剩余\text{ 的二次剩余} \\ -1 \& 如果 \text{如果 } a  不是模 \text{ 不是模 } p  的二次剩余\text{ 的二次剩余} \\ 0 \& 如果 \text{如果 } p \mid a

\end{cases}

勒让德符号具有一系列优美的代数性质:(abp)=(ap)(bp) \left(\frac{ab}{p}\right) = \left(\frac{a}{p}\right)\left(\frac{b}{p}\right) (完全积性),以及由二次互反律给出的计算公式。勒让德符号后来被高斯推广为更一般的雅可比符号克罗内克符号。在今天,勒让德符号仍然是在数论和密码学中广泛使用的基础工具,尤其在素性检测公钥密码算法中扮演着重要角色。勒让德还证明了素数定理的一个较弱形式——即不大于 x x 的素数个数 π(x) \pi(x) 近似等于 x/(lnx1.08366) x / (\ln x - 1.08366) ,这一工作后来由柯西和高斯等人进一步完善。

最小二乘法与统计学贡献

勒让德在1805年出版的著作《彗星轨道的新方法》(Nouvelles Méthodes pour la Détermination des Orbites des Comètes)中首次公开发表了最小二乘法(Method of Least Squares)。尽管高斯声称他从1795年起就开始使用这一方法,但勒让德是第一位将其正式出版的数学家,因此最小二乘法的发现史成为数学史上著名的优先权争议之一。勒让德提出的最小二乘法原理简洁而深刻:在拟合观测数据时,应使观测值与模型预测值之间误差的平方和最小化。这一方法至今仍是回归分析计量经济学机器学习的统计推断基石。

椭圆积分与经典著作

勒让德花费了超过四十年时间系统研究椭圆积分(Elliptic Integrals),并出版了里程碑式的著作《椭圆函数论》(Traité des Fonctions Elliptiques,1825—1830年)。他将椭圆积分系统化为三种标准形式:第一类、第二类和第三类椭圆积分。尽管后来阿贝尔雅可比独立发展出更为深刻的椭圆函数(Elliptic Functions,即椭圆积分的反函数)理论,并迅速成为主流研究方向,但勒让德的系统分类和数值表格为整个领域奠定了坚实的基础。

历史评价与影响

勒让德的人生经历了法国大革命拿破仑时代以及波旁复辟王朝的动荡岁月。他晚年的处境颇为不幸——1831年,他因拒绝向当时的政府官员投票而被削减了退休金。尽管如此,勒让德始终保持着对数学研究的热情。他的教材《几何学原理》(Éléments de Géométrie)长期被用作欧洲标准教科书,对欧美数学教育产生了深远影响。为了纪念勒让德的贡献,月球正面有一座勒让德环形山以其名字命名,小行星26950 Legendre也以他命名。勒让德的工作深刻地影响了19世纪数学物理的发展方向,其多项成果至今仍是大学数学和物理课程的核心内容。