第四章特殊函数(上)勒让德多项式和球谐函数.pptVIP

比较同次幂即得到 由此得到 练习：以勒让德多项式为基，在[-1,1]区间上把 下面函数展开为广义傅里叶级数的形式 4.3 勒让德多项式的生成函数（母函数） 4.3.1勒让德多项式的生成函数的定义 如图4.3所示，设在一个单位球的北极放置一带电量为 的正电荷，则在球内任一点 （其球坐标记作 ）的静电势为 　　　　（4.3.1） 静电势 遵从拉普拉斯方程，且以球坐标系的极轴为对称轴， 因此， 应具有轴对称情况下拉普拉斯方程通解的形式， 即 　 （4.3.2） 首先不妨研究单位球内的静电势分布．在球心 电势应该是有限的，故必须取 （4.3.3） 为确定系数 ，在上式中令 ，并注意到 则得到 　　　　　　　　　　（4.3.4） 将上式左边在 的邻领域上展为泰勒级数 　　　　　　（4.3.5） 比较（4.3.4）和（4.3.5）即知 于是（4.3.3）成为 (4.3.6) 若考虑单位球内、球外的静电势分布，则有 　 　　　　（4.3.7） 于（4.3.6）中代入 ，即为 （4.3.8） 因此 或 叫作勒让德多项式的生成函数（或母函数） 4.3.2 勒让德多项式的递推公式 根据勒让德多项式的母函数可以导出勒让德多项式的递推公式． 先把（4.3.6）写成 　　　　　　　　（4.3.9） 对 求导 对上式两边同乘以 ，得 （4.3.10） 相反，若对（4.3.8）两边对 求导 上式两边同乘以 ，得 将（4.3.8）式代入上式左边得到 　　　　　　　　　　 比较上式两边 项的系数，得另一含导数的递推公式 将（4.3.9）代入 左边 对上式，比较两边的 项的系数，得 即 　　 　 　 　　　　（4.3.11） 上式即为勒让德多项式的一个递推公式 （4.3.10） * * 在积分过程中，常用到以下几个递推公式 勒让德多项式的递推公式： 1 2 3 5 4 * * 母函数 两边对r求导 两边对x求导 递推公式2的证明 * * 递推公式1对x求导 递推公式2 后式减前式： 递推公式3的证明 * * 相加： 递推公式3 递推公式2 递推公式4的证明 * * 递推公式3 递推公式2 相减： l?l-1 乘以x： 递推公式5的证明 例4.3.1 求 【解】 例 4.3.2 求积分 【解】利用递推公式（4.3.11） ．　 故有 4. 4 球函数 4.4.1球函数的方程及其解 1. 球函数方程 根据分离变量法，在球坐标系中将下列亥姆霍兹方程 实施分离变量 (4.4.1) 式中 令 ， 则得到由亥姆霍兹方程实施分离变量 所满足的方程 (4.4.2) 与拉普拉斯方程分离变量导出的方程欧拉方程（4.1.1） (4.4.3) 已经有所区别．关于(4.4.3)的解在贝塞尔函数部分讨论 而角度部分的解 ，满足下列方程 (4.4.4) 上式由亥姆霍兹方程实施分离变量所得的方程（4.4.4）与拉普拉斯方程导出的（4.1.2）球函数方程具有相同的形式，仍为球函数（或球谐函数）． 球函数方程（4.4.4）再分离变量，令 得到两组本征值问题 （i） （4.5.5） 本征值为 本征函数为 (ii) (4.4.6) 本征值 本征函数 在 区域中求解 得到与本征值 相应的本征函数 实际上应由下列两个本征函数之积组成，即为 （4.4.7） 其中 是变量 相应于本征值 的本征函数； 是变量 相应于本征值 （对于确定的 ）的本征函数 2. 球函数表达式 （1）复数形式的球函数表达式 为了使得(4.5.7)所表示的函数系构成正交归一系， 必须添加适当常系数，于是定义 (4.4.8) 为球谐函数的本征函数（相应于本征值 ，并称它为球函数（球谐函数）表达式． 上式（4.4.8）也是复数形式的球函数．其中归一化系数 的值后面会给出． 线性独立的 阶球函数共有 个． 因为对应于 ，有一个球函数 ； 对应于 则各有两个球函数即 和 根据欧拉公式 ， 将复数形式的球函数统一表示为 （4.4.9） 在（4.4.9）之中，独立的 阶球函数仍然是 个． 4.4.2 球函数的正交关系和模的公式 1 球函数的正交性 根据 的正交性质 ,当 时， 根据 的正交性 ,当 时， 可以得到 的正交性，即当 或 时有 即 （4.4.11） 作业：计算下列定积分