勒让德微分方程是二阶常微分方程
(1)
|
它可以被重写为
(2)
|
上述形式是所谓的“关联勒让德微分方程”在 情况下的特例。勒让德微分方程在
、1 和
处有正则奇点。
如果变量 被替换为
,则勒让德微分方程变为
(3)
|
以下推导了关联 () 情况。
由于勒让德微分方程是二阶常微分方程,它有两个线性独立的解。在有限点处正则的解 称为第一类勒让德函数,而在
处奇异的解
称为第二类勒让德函数。如果
是整数,则第一类函数简化为称为勒让德多项式的多项式。
勒让德微分方程可以使用弗罗贝尼乌斯方法通过进行 的级数展开来求解,
(4)
| |||
(5)
| |||
(6)
|
代入,
(7)
|
(8)
| |
(9)
| |
(10)
| |
(11)
| |
(12)
| |
(13)
|
(14)
|
因此每一项必须消失,并且
(15)
|
(16)
| |||
(17)
|
因此,
(18)
| |||
(19)
| |||
(20)
| |||
(21)
| |||
(22)
|
因此偶解是
(23)
|
类似地,奇解是
(24)
|
如果 是偶数整数,级数
简化为次数为
且仅包含 偶数次幂
的多项式,而级数
发散。如果
是奇数整数,级数
简化为次数为
且仅包含 奇数次幂
的多项式,而级数
发散。整数
的通解由勒让德多项式给出
(25)
| |||
(26)
|
其中选择 以产生归一化
,而
是超几何函数。
勒让德微分方程的推广形式被称为关联勒让德微分方程。
Moon 和 Spencer (1961, p. 155) 将微分方程称为
(27)
|
勒让德波动方程 (Zwillinger 1997, p. 124)。