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

PAGE 第七章 勒让德多项式 在第三章中我们介绍了一类特殊函数—Bessel函数，利用Bessel函数给出了平面圆域上Laplace算子特征值问题的解，从而求解了一些与此特征值问题相关的定解问题.为求解空间中球形区域上与Laplace算子相关的一些定解问题，需要引入另一类特殊函数—勒让德（Legendre）多项式，用于求解空间中球形区域上Laplace算子的特征值问题. Legendre多项式不仅是解决数学物理方程中许多问题很有用的工具，在自然科学的其它领域也有不少的应用. §71勒让德多项式 本节介绍勒让德多项式及相关的一些特征值问题，为分离变量法的进一步应用作准备. 7．1.1 勒让德方程及勒让德多项式 考虑下面二阶常微分方程 ，. (1.1) 其中为常数，(1.1)称为勒让德方程.设非负实数，并将（1.1）改写为如下形式 ，. （1.2） （1.2）满足第三章中定理1.1中的条件，其中 ， 故（1.2）在区间有解析解，设其解为 （1.3） 其中待定常数. 将该级数及一阶和二阶导数代入到原方程中得 ， 或 . 令上式中系数为零可得 此即 （1.4） 连续使用（1.4）可得:, ， . 将上面的结果代入到 得 （1.5） 其中为任意常数，而为Legendre方程的基解组. 当为非负整数时，由上面的表达式易见：若为偶数，则，. 若为奇数，则. 因此，当为非负整数时， 和其中之一是一个次多项式. 如果选取该次多项式的首项系数等于，这一次多项式称为阶勒让德多项式并记为. 因此，当时，Legendre方程基解组中其中之一为阶勒让德多项式，而另一个与线性无关的解是一个无穷级数并记为，称为第二类阶勒让德函数. 根据第三章中定理1.1可知在区间收敛. 进一步还可证明在区间的两个端点是发散的，而且是发散到无穷大. 注1 当不为整数时，由于，和都不等于零，即和是两个无穷级数, 和也称为阶勒让德函数.根据第三章定理1.1知这两个无穷级数在区间收敛. 进一步还可证明，这两个无穷级数在区间的两个端点是发散的, 而且是发散到无穷大. 总结上面所得结果便得如下定理. 定理1.1 勒让德方程（1.1）对任意的非负常数可解，且其解为 ，其中和由（1.5）中的表达式给出. 勒让德方程（1.1）有有界解当且仅当. 此时, 方程的有界解为阶勒让德多项式,而另一个与线性无关的解在区间是无界的. 勒让德多项式不仅可用于求解勒让德方程，还可以用来求解下面方程 （1.6） 其中为正整数，，. （1.6）称为勒让德伴随方程. 对(1.6)中方程作变量代换：，直接计算可得满足如下方程 （1.7） 对勒让德方程（1.2）两边求阶导数得 ， 整理可得 （1.8） 比较（1.7）和（1.8）可得，是（1.7）的解，其中是勒让德方程（1.2）的解. 因此，（1.7）的通解为 和由（1.5）中的表达式给出. 利用变换可知（1.6）中方程通解为 （1.9） 总结上面所得结果可得如下定理. 定理 对于任意的正整数，勒让德伴随方程（1.6）的通解由（1.9）给出. 仅当，（1.6）有有界解 （1.10） 7．1.2 勒让德多项式的生成函数和递推公式 勒让德多项式和三维Laplace方程基本解有密切的联系. 在第五章中已经知道，三维Laplace方程基本解为 其中 . 若记 ，和的夹角为，由余弦定理可得 ， 故有 引入函数，其定义如下 （1.10） 由于，所以可在的某一邻域展成Taylor级数. 利取时二项式Taylor级数公式可得 （1.11） 将（1.11）中展开，注意到对任意正整数，含的项均来自于（1.11）中的前项，故的系数至多为变量的一个次多项式. 可以证明的系数就是勒让德多项式，即对于任意的，有 . （1.12） 由于勒让德多项式可由（1.12）确定，就称函数为勒让德多项式的生成函数或叫母函数,利用该函数可以得到勒让德多项式的一些性质. 下面利用(1.12)式推导勒让德多项式的递推公式. 利用（1.10）对关于求导，易得下面一阶微分方程 ， （1.13） 将（1.12）代入到（1.13）中得