Ch15勒让德多项式球函数精选.ppt

* 第十五章 勒让德多项式 拉普拉斯方程的解称为调和函数。如果用球坐标和圆柱坐标来表示拉普拉斯方程,则分别得到球面调和函数和圆柱调和函数,或者简称为球面函数和圆柱函数，球面函数中含有勒让德多项式，圆柱函数中包括贝塞耳函数 本章将介绍特殊函数。先导出它的常微分方程,然后用幂级数解法求出特殊函数,再通过母函数来讨论各阶特殊函数之间的递推关系。最后证明特殊函数的正交性和归一性,并叙述展开定理 §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的参数，因此,G x,z 在单位 圆|z| 1内是解析函数。由复变函数论可知,当|z| 1时,有 作自变量代换 它把复变数z变为复数u, C是单位圆内包围原点z 0的封闭曲线.由于1/r是拉普拉斯方程的解,而cn x 又只与x