数学物理方法第六章勒让德函数课件.ppt

将式(6.3.6)与式(6.3.7)联立，得 因为式(6.3.8)在|t|1区域内点点成立，可知t的同次幂项系数必须相等，即 由此得勒让德多项式的模 4.勒让德多项式的正交归一关系式 综合式(6.3.4)和式(6.3.9)，得 §6.3.2 勒让德多项式的完备性 1. “完备性”浅析 (1)、三维欧几里得空间 三维欧氏空间中e1,e2,e3构成一个完备系，是指不存在任何矢量与e1,e2,e3都正交； 三维空间的任一矢量A均可用 {ek} (k=1,2,3)展开为 二维空间中el与e2构一个完备系，是指在二维空间中不存在任何矢量与 el , e2都正交．因而二维空间的任一矢量B均可用{ek} (k=1,2)展开为 那么，在三维空间中el与e2是否构成完备系呢？ 在三维空间中可以找到e3 ，与el , e2都正交． 因此，三维空间的任意矢量不能用el , e2来展开，如 可见，在三维空间中el与e2就不构成完备系(缺了一个基矢，不完备了) (2)函数空间(以三角函数为例) 三角函数系 也构成一个完备系． 高等数学已证明，在[-11]内，若f(x)满足连续或只有第一类间断点(指f(x)在该点的跃度有限)，在区间内仅有有限个极大及极小值，则可展开为傅里叶级数 (6.3. 15) 作业- §6.1 第128页 Group C Group B Group A 6.1.1 6.1.2 6.1.3 §6.2 勒让德多项式的微分与积分表达式母函数与递推公式 勒让德多项式 微分表达式-罗德里格斯(Rodrigues)公式; 母函数; 积分表达式—施列夫利公式和拉普拉斯积分 递推公式． 6.2.1 勒让德多项式的微分表达式—罗德里格斯公式 证明 从罗德里格斯公式右边出发来证明．二项式展开定理为 对(x2-1)l求l阶导数后除以(2ll!)得到 为何求和指标的最大值为[l/2]，因为对于指数(2l-2s)＜l的项，在求l 阶导数后均为零，故：只含(2l-2s)≥l的项，即：s≤ l/2的项．这样当 l为偶数时，l/2为最大值； l为奇数时，(l-1)/2为最大值。用简写符号表示就是 [l/2] 在等式右边的分子分母中同乘以(l-2s)！，有 罗德里格斯公式得证． §6.2.2 勒让德多项式的母函数 若函数w(x,t)的泰勒级数为 则w(x,t)称为Pl(x)的母函数(或生成函数)． 勒让德多项式的母函数为 式中规定多值函数的单值分支为. 将x看作参数,w(x,t)作为t的函数在|t|1解析①今在|t|1 的圆内将它展开为泰勒级数，可证明展开系数为 ①奇点 的|t12|1 证明 (1)在|t|1内，将w(x,t)展开为泰勒级数 其中al为泰勒系数, C为在|t|1内包围t=0点的回路 (2)为证明al =Pl(x)，作变换(u为复变数) 代入al ，便有 其中u平面的曲线C?是在式(6.2.5)的变换下t平面曲线C的像．当t=0时，由式 (6.2.6)得到u=x.既然t=0在曲线C的内部，因此u=x在曲线C?的内部． (3)应用高阶导数公式计算式(6.2.7)的积分 (6.2.8) 最后的等式是罗德里格斯公式．将式(6.2.8)代入泰勒级数，即得式(6.2.4). §6.2.3 勒让德多项式的积分表达式 勒让德多项式有两个积分表达式，分别称为施列夫利(Schlfli)公式和拉普拉斯积分． 1.施列夫利公式 将al ＝ Pl(x)代入式(6.2.7)，即施列夫利公式 式中u=x在曲线C?的内部． 2.拉普拉斯积分 拉普拉斯积分证明 在施列夫利公式中，取u平面的回路C?为以x为圆心 ， 为半径的圆周，则 将以上各式代人施列夫利公式，即得拉普拉斯积分 【例6.2.1】试由拉普拉斯积分证明勒让德多项式的特殊值 Pl(1) =1, Pl(-1) = (-1)l 6.2.11) 解 分别将x =±1代入拉普拉斯积分，得 【例6.2.2】试由拉普拉斯积分证明 |Pl(x)|≤1 (6.2.12) 证明 将x = cosq 代入拉普拉斯积分，并利用复变积分的性质5，便有 6.2.4 勒让德多项式的递推公式 在积分过程中, 常用到以下几个递推公式(l ≥1): 递推公式的证明方法：(1)母函数关系式为 对t求导得 两边乘以(1-2xt+t2)，再将母函数关系式代入左边，即有 两边比较 t l 的系数(l≥