数学物理方程-第七章分离变量法III.docVIP

第七章 勒让德多项式 在第三章中我们介绍了一类特殊函数—Bessel函数，利用Bessel函数给出了平面圆域上Laplace算子特征值问题的解，从而求解了一些与此特征值问题相关的定解问题.为求解空间中球形区域上与Laplace算子相关的一些定解问题，需要引入另一类特殊函数—勒让德（Legendre）多项式，用于求解空间中球形区域上Laplace算子的特征值问题. Legendre多项式不仅是解决数学物理方程中许多问题很有用的工具，在自然科学的其它领域也有不少的应用. §7 SKIPIF 1 0 1勒让德多项式 本节介绍勒让德多项式及相关的一些特征值问题，为分离变量法的进一步应用作准备. 7．1.1 勒让德方程及勒让德多项式 考虑下面二阶常微分方程 SKIPIF 1 0 ， SKIPIF 1 0 . (1.1) 其中 SKIPIF 1 0 为常数，(1.1)称为勒让德方程.设 SKIPIF 1 0 SKIPIF 1 0 非负实数，并将（1.1）改写为如下形式 SKIPIF 1 0 ， SKIPIF 1 0 . （1.2） （1.2）满足第三章中定理1.1中的条件，其中 SKIPIF 1 0 ， 故（1.2）在区间 SKIPIF 1 0 有解析解，设其解为 SKIPIF 1 0 （1.3） 其中 SKIPIF 1 0 待定常数. 将该级数及一阶和二阶导数代入到原方程中得 SKIPIF 1 0 ， 或 SKIPIF 1 0 . 令上式中 SKIPIF 1 0 系数为零可得 SKIPIF 1 0 此即 SKIPIF 1 0 （1.4） 连续使用（1.4）可得: SKIPIF 1 0 , SKIPIF 1 0 ， SKIPIF 1 0 . 将上面的结果代入到 SKIPIF 1 0 得 SKIPIF 1 0 （1.5） 其中 SKIPIF 1 0 为任意常数，而 SKIPIF 1 0 为Legendre方程的基解组. 当 SKIPIF 1 0 为非负整数 SKIPIF 1 0 时，由上面 SKIPIF 1 0 的表达式易见：若 SKIPIF 1 0 为偶数，则 SKIPIF 1 0 ， SKIPIF 1 0 . 若 SKIPIF 1 0 为奇数，则 SKIPIF 1 0 . 因此，当 SKIPIF 1 0 为非负整数 SKIPIF 1 0 时， SKIPIF 1 0 和 SKIPIF 1 0 其中之一是一个 SKIPIF 1 0 次多项式. 如果选取该 SKIPIF 1 0 次多项式的首项系数等于 SKIPIF 1 0 ，这一 SKIPIF 1 0 次多项式称为 SKIPIF 1 0 阶勒让德多项式并记为 SKIPIF 1 0 . 因此，当 SKIPIF 1 0 时，Legendre方程基解组 SKIPIF 1 0 中其中之一为 SKIPIF 1 0 阶勒让德多项式 SKIPIF 1 0 ，而另一个与 SKIPIF 1 0 线性无关的解是一个无穷级数并记为 SKIPIF 1 0 ， SKIPIF 1 0 称为第二类 SKIPIF 1 0 阶勒让德函数. 根据第三章中定理1.1可知 SKIPIF 1 0 在区间 SKI