数学物理方法：第九章 二阶常微分方程级数解法变换法本征值问题.pptVIP

I、连带勒让德方程 II、贝塞尔方程 虚宗贝塞尔方程 l+1/2 阶(l球阶)贝塞尔方程 注： （1） （实）贝塞尔方程 ： （2） ： （3）统一形式： 9.3 常点邻域的级数解法(解析解) 考虑二阶常微分方程 初始条件为 可以用级数求 更一般，对于复变函数 w(z) 初始条件为 z为复变函数, z0 为选定点，C0，C1为复常数 9.3 常点邻域的级数解法 考虑二阶常微分方程 初始条件为 Liouville公式： 则 是一个特解， 也是一个与 线性无关的特解。 （1）、勒让德方程的级数解 即 在 x0 =0的邻域内解析, 可以用级数求 勒让德方程 或 令 代入有 即 比较各次幂系数有 从而可得 外推 外推 将以上系数代入得 其中 将以上系数代入得 其中 （2）、解的收敛性 利用达朗贝尔判别法有 说明 收敛 说明 发散 可以证明在 （3）、勒让德多项式 由于 勒让德方程的级数解若能退化为多项式，则发散问题解决 考虑到 若取 则 y0(x) 只到 x2n 项 被称为 l 阶勒让德多项式 若取 则 y0(x) 只到 x2n 项 因为 但可取 则 y1(x)仍发散 从而 将l 限制在 0 或正整数，使“解在 x=?1 保持有限“，称为勒 让德方程的自然边界条件 小结：连带勒让德方程 在[-1,1]有解析解 在（-1,1）有解析解 考虑二阶常微分方程 9.4 正则奇点邻域上的级数解法 若 z0 是p(z)和 q(z)的奇点，z0 称为方程的奇点，解也以方程为奇点，则在 存在两个线性独立解 或 （一）、正则奇点邻域上的级数解 存在两个线性独立解 或 在 若存在的两个线性独立解为有限个负幂项，称 z0 为方程的正则奇点 考虑p(z)以z0为不高于一阶极点， q(z)以z0为不高于二阶极点，则 可以证明 z0 为方程的正则奇点 有 或 或 其中 s1 和 s2 是如下判定方程的两个根 取 若 s1— s2? 整，则取第一个w2(z)等式，否则取第二个 的证明 代入 的证明 考虑z的最低幂次zs-2 考虑?阶贝塞尔方程 （二）、?阶贝塞尔方程 p(z)以 x0=0 为一阶极点， q(z)以 x0=0 为二阶极点 判定方程 代入 （1）、?0阶贝塞尔方程 （阶数不为整数或半奇数） 考虑?阶贝塞尔方程 代入 先取 s1 =? 代入?阶贝塞尔方程 先取 s1 =? 代入?阶贝塞尔方程 即 即 比较各次幂系数有 得 其中 而 故只要 y=(x/2)^2 有限，级数收敛 A:解的收敛性 利用达朗贝尔判别法有 故只要 x 有限，级数收敛 B:贝塞尔函数 有 取 称为贝塞尔函数 表示为?阶贝塞尔函数 用 （1）、球坐标系 （三）、亥姆霍兹方程 首先试图将此变量变r与 ? 和 ?分离 代入 两边除以R，Y，乘以r2 令 化简为两个方程 上边第一式化为 这称为 l 阶球贝塞尔方程 称为球函数方程 令 若 k=0 l 阶球贝塞尔方程 退化为欧拉型方程 l 阶球贝塞尔方程 l 阶球贝塞尔方程 为 l+1/2 阶贝塞尔方程 l 阶球贝塞尔方程 连带勒让德方程 （2）、柱坐标系 试图将变量变 ? 与 ? 和 z 分离 代入 用 除以两边 代入 令 令 代入 令 令 为 m 阶贝塞尔方程 令 代入 若 为 m 阶贝塞尔方程 m 阶球贝塞尔方程 退化为欧拉型方程 为 m 阶贝塞尔方程 m 阶贝塞尔方程退化为欧拉型方程 例：输电线影响带电云层与地间的电场 柱外泛定方程 导体为等势体，不妨 u=0 Laplace 方程在极坐标下的表达方程为 边界条件 空间一点电势为 u 无限远处，Ey=0, Ex=E0 即： 泛定方程 边界条件 解： 令 因为 常微分方程 为欧勒方程 令 则 下面确定系数 边界条件 边界条件 若导体原来不 带电D0=0 边界条件 例：在圆域内求泊松方程边值问题 泊松方程 由对称性 1）、寻找泊松方程的特解 解： 考虑 令特解 v 2）、泊松方程的转化为 边界条件 泊松方程 为 Laplace 方程 方程一般解 圆域内 代入边界条件 亥姆霍兹方程: 球坐标: 柱坐标: * 第九章 二阶常微分方程级数解法变换法 本征值问题 9.2 特殊函数常微分方程 §9.1 正交曲线坐标系 9.3 常点邻域的级数解法 9.4 正则奇点邻域上的级数解法 9.5 施图姆—刘维本征值问题 对于圆的Dirichlet问题，其边界条件 若分离变量 则 但若选极坐标 §9.1 正交曲线坐标系 边界条件分离不出来 则 边界条件能分离出来 若以q1 , q2 , q3 正交坐标，则它与直角坐标的相互关系为 如 （1）、柱坐标 1、 正交曲线坐标系 （1）、柱坐标 其中 （2）、球坐标 其中 （1）、柱坐标 2、 正交曲线坐标系中的 ?u