《数学物理基本方法》第6章 勒让德函数.pptVIP

第二篇 特殊函数与狄拉克d函数;第6章 勒让德函数;§6.1 勒让德方程与勒让德多项式;§6.1.1 二阶线性齐次常微分方程的级数解法;;定理2 在正则奇点z0的邻域|z-z|R内，方程的解为;指标方程的确定：将;定理1和定理2的证明见有关专著①．;§6.1.2 勒让德方程的本征值问题;在x=0的邻域求勒让德方程的有界解．;1. 级数解的形式; 2. 系数递推公式;3. 由递推公式求系数，得通解 ;勒让德方程的通解可表示为;4. 有界解的要求，自然边界条件; 这表明，在x=±1处，两级数是发散的．;物理量总是有界的;5. 本征值与本征函数;同理，若l为奇数：l=2n+1(n为正整数)，则级数y1(x)到x2n+1项为止．将k=l=2n+1代入式(6. 1. 9)，即得x2n+3项的系数为 重复应用式(6. 1. 9)，可证C2n+5, C2n+7, …均为零。 y1(x)的最高次幂为x2n+1= xl ．类似地，取常数C0=0，则勒让德方程的解为;;6.1.3 勒让德多项式;将式(6. 1.9)以Ck表示Ck+2改为以Ck+2表示Ck ;;为了简洁地表示勒让德多项式，采用了我们在1.1节已用过的简写记号 ;s = 0对应最高次幂 x = l,而s= [l/2] 对应最低次幂：若 l 为偶数,对应 x 零次幂；若 l 为奇数，则对应于 x 壹次幂。由式(6. 1.20)可求出头几个勒让德多项式：;勒让德多项式的函数曲线如图6. 1所示 ;由式(6. 1.20)可以直接得到关于Pl(x)的奇偶性及若干特殊值：;(2) Pl(0)的特殊值;作业- §6.1 第128页;§6.2 勒让德多项式的微分与积分表达式母函数与递推公式;6.2.1 勒让德多项式的微分表达式—罗德里格斯公式;对(x2-1)l求l阶导数后除以(2ll!)得到;在等式右边的分子分母中同乘以(l-2s)！，有;§6.2.2 勒让德多项式的母函数;将x看作参数,w(x,t)作为t的函数在|t|1解析①今在|t|1 的圆内将它展开为泰勒级数，可证明展开系数为;(2)为证明al =Pl(x)，作变换(u为复变数) ;代入al ，便有;§6.2.3 勒让德多项式的积分表达式;拉普拉斯积分证明;将以上各式代人施列夫利公式，即得拉普拉斯积分;【例6.2.1】试由拉普拉斯积分证明勒让德多项式的特殊值;【例6.2.2】试由拉普拉斯积分证明 |Pl(x)|≤1 (6.2.12);6.2.4 勒让德多项式的递推公式;递推公式的证明方法：(1)母函数关系式为;; (2)由母函数关系式(6.2.18)两???对x求导，再与式(6.2.19)联立，可得比较等式两边t l的系数，即得式(6.2.14) ;;;;作业- §6.2 第132页;§6.3 勒让德多项式的 正交性与完备性;§6.3.1 勒让德多项式的正交性与正交归一关系式;(2) 函数空间(以三角函数为例);;其实，不用这样麻烦：只要比较等式两边 ek 或cos(kpx/l)的系数就可。它的根据就是上面介绍的正交归一关系式．;2. 勒让德多项式的正交性;;对前两项作分部积分：; 3. 勒让德多项式的模;证明 思路 用两种方式计算母函数平方在[-1,1]区间上对x的积分，然后进行比较．; 将式(6.3.6)与式(6.3.7)联立，得 ;由此得勒让德多项式的模;4.勒让德多项式的正交归一关系式;§6.3.2 勒让德多项式的完备性;那么，在三维空间中el与e2是否构成完备系呢？ 在三维空间中可以找到e3 ，与el , e2都正交． 因此，三维空间的任意矢量不能用el , e2来展开，如 可见，在三维空间中el与e2就不构成完备系(缺了一个基矢，不完备了);(2)函数空间(以三角函数为例);;2.勒让德多项式｛Pl(x)｝的完备性;用Pk(x)乘以(6.3.17)式两端后，对x从-1到1积分，并利用正交归一关系式(6.3.12)，可得 将上式两端的 k用l 表示，即有;【例6.3.2】试将f(x)=x3展开为广义傅里叶级数;(方法一);(方法二);（方法三）利用习题6.3.1的结论;作业- §6.3 第138页;§6.4 关联勒让德方程与 关联勒让德函数;§6.4.1 关联勒让德方程的有界解;故x =1是关联勒让德方程的正则奇点;; 现在分别讨论m≥0及m0的情形：;利用莱布尼茨公式; 前面尝试用级数法在x=±1求解关联勒让德方程时，已求得方程的指标r1 = m/2自然猜想关联勒让德方程的解具有;比较式(6.4.4)与式(