第十五章.doc.docVIP

第十一章 勒让德多项式 球函数 本章讨论三维拉普拉斯方程在球坐标下的分离变量法，由此得到特殊函数：勒让德多项式、连带勒让德多项式和球谐函数，然后讨论它们的性质，最后讨论球函数的应用。 大纲要求： 1.掌握球坐标下拉普拉斯方程的分离变量法 2.掌握常点邻域的幂级数解法。 3.掌握勒让德多项式连带勒让德多项式，球函数的定义及基本性质 4.掌握球函数在求解数理方程中的应用 重点难点： 1.球坐标下的分离变量法 2.勒让德多项式的定义和基本性质 3.连带勒让德多项式，球函数的定义 4.球函数的应用 第一节 勒让德微分方程及勒让德多项式 一、勒让德微分方程的导出 考察三维拉普拉斯方程 采用球坐标系，即： 拉氏方程就变为： (1) 首先，用分离变数法把表示距离的变数r与表示方向的变数θ和分离。为此令代入(1)式得： 用r2/RY遍乘各项并适当移项，即得： 左边是r的函数，跟θ和无关。右边定θ和的函数，跟r无关，两边相等。只有同时等于一个常数，记为n(n+1)，这就分离出两个方程： (2) (3) 微分方程(2)即为欧勒型常微分方程，其解为： 偏微分方程(3)叫做球函数方程，Y(θ,)称为球函数，进一步分离变数，以： 代入球函数方程(3)得： 用遍乘各项并适当移项，即得： 左边是θ的函数，与无关，右边定的函数，跟θ无关，两边相等，只有等于一常数，记为l。 这样就分解为两个常微分方程。 (4) (5) 先看关于Φ的方程，注意到自然周期条件： (6) 方程(4)与自然周期条件(6)构成本征值问题，本征值是 l=m2(m=0,1,2,3……) 本征函数是： 这样方程(5)应为： (7) 通常令 而 代入(7)得： (8) 一般将记为y(x).方程(8)为连带(缔合)勒让德微分方程。如果球坐标的极轴是对称轴，则u与无关，从而Φ()与无关，即：m=0．在m=0的情况下，方程(8)成为： (9) 这叫勒让德方程。 二、幂级数解和勒让德多项式的定义 1、常点邻域上的级数解法 在常微分方程理论中，对于二阶常微方程是存在一种解法，称为级数解法，把二阶常微分方程的解表为系数待定的幂级数，代入方程以逐个确定系数，这是一个比较普遍的方法，对方程并无特殊要求。 既然是级数，就有是否收敛以及收敛范围的问题。用级数解法，要选定某个点x0作展开中心。得到的解就是以x0为中心的幂级数，同时确定这个幂级数的收敛圆，级数解只在收剑圆内部有定义，如果需要方程的解在这个收敛圆以外的点上的数值，那么需另选一个中心重新用级数法去求解。 如果二阶常微分方程的系数p(x)和q(x)在所选的点x0是解析的，则点x0叫做方程的常点，如果选定的x0是p(x)和q(x)的奇点，则点x0称为方程的奇点，本节介绍常点邻域上的级数解法。 下面以勒让德方程为例，讨论常点邻域的级数解法。 在x0=0的邻域，求解方程。 方程可表为： 则 在展开中心x0=0,p(x0)=0,q(x0)=n(n+1)，方程在x0=0点是解析的，因此x0=0是方程的常点。方程的解y(x)可展开为幂级数，即： (1) 其中Ck为待定系数。 (2) (3) 代入方程得： 即 对上式，x的各项幂的系数均必须为零，即： 常数项： 2·1C2+n(n+1)C0=0 x项： 3·2C3-2·1C1+n(n+1)C1=0 即： 3·2C3+[n(n+1)-2·1]C1=0 x2项： 4·3C4-2·1C2-2·2C2+n(n+1)·C2=0 即： 4·3C4+[n(n+1)-3·2]C2=0 x3 项： 5·4C5-3·2C3-2·3C3+n(n+1)C3=0 即： 5·4C5+[n(n+1)-3·4]C3=0 ………… xk项： (k+2)(k+1)Ck+2-k(k-1)Ck-2kCk+n(n+1)Ck=0 即： (k+2)(k+1)Ck+2+[n(n+1)-k(k+1)]Ck=0 一般的系数递推公式是： (4) 按照递推公式，具体进行系数递推： 这样，我们得到勒让德方程的解： 若方程中的常数n是某个偶数。如是2k-2,则y0(x)只到x2k-2项为止，以后各项系数都因含有因