chapt10-球谐函数(4学时).ppt

Chang-Kui Duan, Institute of Modern Physics, CUPT 第十章 勒让德多项式 球函数 10.1 勒让德方程及其解的表示 10.1.1 勒让德方程 勒让德多项式 在分离变量法一章中，我们已经知道拉普拉斯方程 （10.1.1） 在球坐标系下分离变量后得到欧拉型常微分方程 （10.１.2） (10.1.2)式的解 与半径 r 无关，故称为球谐函数， 或简称为球函数． 和球谐函数方程 球谐函数方程进一步分离变量，令 得到关于 的常微分方程 　　　　（10.1.3） 称为 l 阶连带勒让德方程. 令 和 把自变数从 换为 ，则方程（10.1.3）可以化为下列 阶连带勒让德方程 形式的 　　　　（10.1.4） 若所讨论的问题具有旋转轴对称性，即定解问题的解与 无关，则 ，即有 （10.1.5） 称为 阶勒让德（legendre）方程． 10.1．2 勒让德多项式的表示 1. 勒让德多项式的级数表示 我们知道：在自然边界条件下，勒让德方程的解 为 （10.1.7） 式中 上式具有多项式的形式，故称 也称为第一类勒让德函数． 为 l 阶勒让德多项式． 注意到 , 故可方便地得出前几个勒让德多项式: 2 勒让德多项式的微分表示 　　　　　　　　　　　（10.1.10） 上式通常又称为勒让德多项式的罗德里格斯（Rodrigues）表示式． 3.勒让德多项式的积分表示 根据柯西积分公式的高阶导数，并取正方向积分有 容易证明微分表示（10.1.10）也可表示为环路积分形式 　　　　　　　 　　　　　　　　　　　　（10.1.11） C 为 z 平面上围绕 并取正方向．这叫作勒让德多项式的施列夫利积分表示式． 点的任一闭合回路， 10.2 勒让德多项式的性质 10.2.1 勒让德多项式的性质 1. 勒让德多项式的零点 对于勒让德多项式的零点，有如下结论： （i） 的 个零点都是实的，且在 内； （ii） 的零点与 的零点互相分离． 2. 奇偶性 根据勒让德多项式的定义式，作代换 容易得到 （10.2.1） 即当 为偶数时，勒让德多项式 为偶函数， 为奇数时 为奇函数 3.勒让德多项式的正交性及其模 不同阶的勒让德多项式在区间 上满足 (10.2.2) 其中 当 时满足 ， (10.2.3) 称为正交性． 相等时可求出其模 (10.2.4) 4. 广义傅里叶级数 定理10.2.1 [-1,1]上的任一连续函数 可展开为 （10.2.5） 其中系数 (10.2.6) 在实际应用中,经常要作代换 ,此时勒让德方程的解为 ，这时有 (10.2.7) （10.2.8） 10.2.2.勒让德多项式的应用（广义傅氏级数展开） 例10.2.1 将函数 按勒让德多项式形式展开. 【解】 根据 （10.2.5）设 考虑到 ，由(10.2.6)显然有 所以 例10.2.2 将函数 展开为勒让德多项式 形式 【解】 令 ，则由 考虑到勒让德函数的奇偶性 可定出 故有 下面我们给出一般性结论： 结论1：设 为正整数，可以证明： 结论2 ：根据勒让德函数的奇偶性，若需展开的函数 为奇函数， 则展开式（10.2.5）系数 若需展开的函数 为偶函数，则展开式（10.2.5）系数 例10.2.3 以勒让德多项式为基，在[-1,1]区间上把 展开为广义傅里叶级数． 【解】 本例不必应用一般公式 ，事实上， 是三次多项式（注意 既非奇函数，也非偶函数）， 设它表示为 比较同次幂即得到 由此得到 10.3 勒让德多项式的生成函数（母函数） 10.3.1勒让德多项式的生成函数的定义 如图10.2所示，设在一个单位球的北极放置一带电量为 的正电荷，则在球内任一点 （其球坐标记作 ）的静电势为 　　　　（10.3.1） 静电势 遵从拉普拉斯方程，且以球坐标系的极轴为对称轴， 因此， 应具有轴对称情况下拉普拉斯方程一般解(10.2.14)的形式， 即 　 （10.3.2） 首先不妨研究单位球内的静电势分布．在球心 ，电势应该是有限的，故必须取 （10.3.3） 为确定系数 ，在上式中令 ，并注意到 则得到 　　　　　　　　　　（10.3.4） 将上式左边在 的邻领域上展为泰勒级数 　　　　　　（10.3.5）