[理学]级数解与特殊函数复习.pptVIP

连带勒让德函数 关联勒让德函数m 阶 l 次勒让德函数 连带勒让德方程的本征值问题： 相同阶不同次的连带勒让德函数在区间 [-1, 1] 上正交： 模方： 在区间[-1.1]上，以连带勒让德函数为基本函数族，可把任意在[-1,1]上的连续函数f(x)展开成如下形式 球谐函数 球函数方程的本征值 模方： 球函数在球面 上正交： 在球面 上，以球函数为基本函数族，可把任意在 上的连续函数f(θ,φ)展开成如下形式 勒让德方程 自然边界条件 本征值问题 本征值：l(l+1) l为0和正整数 本征函数：Pl(x) 连带勒让德函数 连带勒让德方程 自然边界条件 本征值问题 本征值：l(l+1) l为0和正整数 本征函数： 球函数 球函数方程 自然边界条件 本征值问题 本征值：l(l+1); l为0和正整数 本征函数： 贝塞尔函数 级数解 递推关系 的渐近解 的渐近解 贝塞尔方程的本征值问题： 贝塞尔方程的解为： 本征值为： 本征函数为： 本征函数 在区间 上正交： 在区间[0，a]上，以贝塞尔函数为基本函数族，可把任意在[0,a]上的连续函数f(x)展开成如下形式 归一化因子： 数学物理问题中的二阶线性常微分方程的标准形式为 方程的系数→解的解析性 级数解法得到的解总是指某一指定点 z0 的邻域内收敛的无穷级数。 p(z)、q(z) 在 z0 点的解析性 级数解在 z0 点的解析性。 若 p(z)、q(z) 在 z0 点解析，称 z0 点为方程的常点。 若 p(z)、q(z) 中至少有一个在 z0 点不解析，称 z0 点为方程的奇点。 若 p(z)、q(z) 中至少有一个在 z0 点不解析，(z-z0)p(z)、 (z-z0)2q(z)都在在 z0 点解析，称 z0 点为方程的正则奇点。 若 p(z) 和 q(z) 在圆 内单值解析，则在此圆内常微分方程初值问题 (c0，c1 为任意常数) 有唯一的一个解 w(z) ，且 w(z) 在这个圆内单值解析。 方程常点邻域内的解 定理 ∴ 均可展开为幂级数： 求解方法说明 其中an，bn 已知，c0，c1 已知，确定出 cn 可求出方程的解。 将展开为级数的 p(z)，q(z) 和 w(z) 代入方程： ∵ p(z) 和 q(z) 在圆 内单值解析， 可知幂次项 (z-z0)n 的系数全为0 考察各幂次项系数 常数项系数为 一次项系数为 以此类推 cn 均可用 c0 和 c1 表示 在常点邻域内求级数解的一般步骤 1、将方程常点邻域内的解展开为泰勒级数，代入方程； 2、比较系数，获得系数间的递推关系； 3、反复利用递推关系，求出系数 ck 的普遍表达式（用 c0 和 c1 表示），最后得出级数解。 线性方程 线性递推关系 w1(z) 和 w2(z) 是两个线性无关的特解 定理 充分必要条件 富克斯定理 方程 在其奇点 z0 的邻域 内有两个正则解 和 在 z0 点解析 方程正则奇点邻域内的解 将 代入方程 比较系数，求出指标 和系数递推关系 在正则奇点 z0 处将 代入方程 正 则 奇 点 邻 域 内 级 数 解 的 求 解 思 路 整数 求得两个线性无关解 只求得一个解 求解过程 设 z = 0 是方程 的正则奇点， 在 z = 0 的邻域内，方程的系数作洛朗展开： 设解为 代入方程，有 由于 的存在，c0 不会因求导而消失，k 仍从 0 取起。 约去 ，整理得 的系数为 即 指标方程 其中 获得指标，其中 和 （规定 ） 的系数为