数学物理方法第六章_勒让德函数.PPTVIP

* 将式(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.15)的每一个函数 可以看作函数空间的“基矢”，满足一定条件的函数f(x)可以用这个函数系作为基来展开，这显示了函数系(6.3. 15)的完备性． * 2.勒让德多项式｛Pl(x)｝的完备性 若函数 f(x)在[-1,1]上有连续的一阶导数和分段连续的二阶导数，则f(x)在[-1,1]上可以展开为绝对且一致收敛的级数 称为广义傅里叶级数。 ｛Pl(x)｝可以作为广来傅里叶级数展开的基，表明｛Pl(x)｝是完备的。 * 用Pk(x)乘以(6.3.17)式两端后，对x从-1到1积分，并利用正交归一关系式(6.3.12)，可得 将上式两端的 k用l 表示，即有 (6.3.19) (6.3.18) * 【例6.3.2】试将f(x)=x3展开为广义傅里叶级数 解 由于Pl(x)是l 次多项式， f(x)=x3是奇函数，最高次幂为三次，故 f(x)可按P1(x)及P3(x)展开为广义傅里叶级数。 本题可采用如下三个方法： * 作业- §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