[理学]第六章 二阶线性常微分方程的幂级数解法.pptVIP

补充讨论： 当 （整数）时，若第二特解含有对数项，其系数 有 ∵ ∴ 因此，① 时， 无解； ② 时， 任意。 对于 ①， 一定含有对数项； 对于 ②， 同时依赖于 和 ， 有两项，一 项正比于 ，一项正比于 ，而此时 可取任意值， 取 。 因此， （整数），第二特解可能含有对数项 补充证明： 普遍理论 对二阶常微分方程 ，若已求出 ，总可以通过积分 求出第二解的级数。 得 证明 即 ∵ ∴ 可知 两端同除以 得 积分得 再积分，即 易知 在 z = 0 点解析 例题 解 求方程 在 z = 0 邻域内的两个级数解。 又知 z = 0 是方程的正则奇点。 方程的标准形式为 z = 0 是方程的奇点 指标方程 为 指标为 将 代入系数递推公式 可得 即 所以 当 时，由系数递推公式可得 所以 不是指标。 n 不能取 1 ，意味着不存在 ， * 第六章 二阶线性常微分方程 的幂级数解法 数学物理方法—— 数学物理问题中的二阶线性常微分方程的标准形式为 方程的系数→解的解析性 级数解法得到的解总是指某一指定点 z0 的邻域内收敛的无穷级数。 p(z)、q(z) 在 z0 点的解析性 级数解在 z0 点的解析性。 超几何方程 6.1 二阶线性常微分方程的常点和奇点 定义 若 p(z)、q(z) 在 z0 点解析，称 z0 点为方程的常点。 若 p(z)、q(z) 中至少有一个在 z0 点不解析，称 z0 点为方程的奇点。 举例 有限远处 p(z)、q(z) 有两个奇点， z = 0 和 z = 1 。 所以，z = 0 和 z = 1 是超几何方程的奇点，有限远处的其它点为方程的常点。 勒让德方程 举例 有限远处 p(z)、q(z) 有两个奇点， z = 1 和 z = -1 。 所以，z = 0 和 z = 1 是勒让德方程的奇点，有限远处的其它点为方程的常点。 将 代入方程得 例题 解 求二阶线性常微分方程，使其解为 和 。 设所求方程为 即 (1)代入(2)得 将 代入方程得 即 即所求方程为 若 p(z) 和 q(z) 在圆 内单值解析，则在此圆内常微分方程初值问题 (c0，c1 为任意常数) 有唯一的一个解 w(z) ，且 w(z) 在这个圆内单值解析。 6.2 方程常点邻域内的解 定理 ∴ 均可展开为幂级数： 求解方法说明 其中an，bn 已知，c0，c1 已知，确定出 cn 可求出方程的解。 将展开为级数的 p(z)，q(z) 和 w(z) 代入方程： ∵ p(z) 和 q(z) 在圆 内单值解析， 可知幂次项 (z-z0)n 的系数全为0 考察各幂次项系数 常数项系数为 一次项系数为 以此类推 cn 均可用 c0 和 c1 表示 例题 解 求勒让德方程 在 z = 0 邻域内的解，l 为已知参数。 统一求和指标，k 均从 0 记 z = 0 为常点，有 代入方程得 zk 同次幂合并后，得 合并 ck 的系数，得 即 得递推关系为 偶次幂系数为 同理，奇次幂系数为 引进记号 则 ∴勒让德方程在 内的解就是 任意给定初始条件