Ch15勒让德多项式球函数综述.pptVIP

* 第十五章 勒让德多项式 拉普拉斯方程的解称为调和函数。如果用球坐标和圆柱坐标来表示拉普拉斯方程,则分别得到球面调和函数和圆柱调和函数,或者简称为球面函数和圆柱函数，球面函数中含有勒让德多项式，圆柱函数中包括贝塞耳函数 本章将介绍特殊函数。先导出它的常微分方程,然后用幂级数解法求出特殊函数,再通过母函数来讨论各阶特殊函数之间的递推关系。最后证明特殊函数的正交性和归一性,并叙述展开定理 §1 勒让德微分方程及勒让德多项式 §15.1.1. 勒让德微分方程的导出 在第十一章中,我们对球形区域曾经提出过狄利克雷问题 (15.1) (15.2) 其中 得到球坐标系统下的拉普拉斯方程 其中R为已知正数，引入球坐标变换 而边界条件(15.2)变为 (15.2)’ 用 乘之,并移项,得 令 代入方程(15.1)’得 对电场中导体球的讨论,即可归结为这样的定解问题 于是有 (15.3) (15.4) 其中λ为泛定常数,(15.4)的解 与半径r无关,故称为球面函数,或简称为球函数 两端乘以 并移项,再令 得 再令 代入(15.4)得 于是我们有 (15.5) (15.6) (15.6)’ 方程(15.6)’称为连带勒让德微分方程,取m=0,则得所谓的勒让德微分方程 习惯上常令 于是方程(15.6) 变为 (15.7) §15.1.2. 幂级数解和勒让德多项式的定义 在常微分方程的解析理论中,一个标准形式的二阶线性常微分方程 的系数p(z)和q(z)如果都在某点z0解析,则z0称为方程的常点;只要p(z)和q(z)之一在z0点不解析,则z0就称为方程的奇点 可以证明,当z0为常点时,方程具有线性无关的两个整幂级数解.其收敛半径等于与z0最近的方程的奇点到z0的距离 (15.8) 把(15.7)改写为 并称之为n阶勒让德微分方程，如果再把它化为标准形式,立即看出x=0是方程的常点, 因此, 在x=0的领域内, 方程的解可以表示为幂级数形式 (15.9) (15.10) (15.11) 把(15.9),(15.10)和(15.11)代入方程(15.8),得到 其中ck为待定系数.对(15.9)逐项求导,得 因上式对x是一个恒等式,故x的各次幂的系数均必须为零,遂得 从而得ck的循环公式 (15.12) 将(15.12)代入(15.9),则得方程(15.8)的含有两个任意常数c0和c1 的通解 (15.13) 利用循环公式(15.12)立即得级数y0(x)和y1(x)的收敛半径 容易看出,当n为偶数时,y0(x)是一个多项式,可以证明y1(±1) 发散.此时,取c1=0,则得微分方程在闭区间[-1,1]上的有界非零解 ,或者满足自然边界条件的非零解.同理,当n为奇数时,y1(x)是一个 多项式,可以证明y1(±1)发散.此时,取c0=0,亦得在[-1,1]上的有界 非零解,或者满足自然边界条件的非零解 通常把这种多项式的最高次方幂xn的系数规定 然后称之为勒让德多项式，并用Pn(x)表示之. Pn(x)的表达式可以如下导出：由(15.12)，令k=n-2,得 同样,得 借用数学归纳法,可证 (15.14) 下面给出前六个勒氏多项式的明显表达式，并画出P1(x),P2(x) ,P3(x)和P4(x)的图形(x=cos?) 其中[n/2]表示不大于n/2的最大整数，于是得 总结以上叙述,勒让德方程(15.7)和解在x=±1有界的自然 边界条件构成一个常微分方程的边值问题, n(n+1)(n=0,1,2,…)即 是该问题的特征值，勒让德多项式即是相应的特征函数,也就是 我们所求的有界非零解。可以证明，n阶勒让德方程的与Pn(x)线性无关的所有其他解，当x=±1时必为无穷大 显然 §15.1.3. 勒让德多项式的微分表达式—洛德利格公式 为了讨论问题和计算上的方便,我们介绍勒氏多项式的另一种表示法,即所谓的洛德利格公式 证 按二项式展开,有 因此 §15.1.4. 勒让德多项式的施列夫积分表达式 设 由哥西积分公式(3.9),得 因为 故 于是得勒氏多项式的施列夫利积分表达式 或简称为施氏积分 §2 勒让德多项式的母函数及其递推公式 §15.2.1. 勒让德多项式的母函数 本节我们用另一种方法—母函数数方法—来产生勒氏多项式。由于勒氏多项式从拉普拉斯方程而来,因此,不妨从拉普拉斯方程的基本解出发考虑问题,如下图 (变点) (定点) 令 则 现在讨论函数 其中z为复变数,而x为绝对值不大于1的参