数理方程-第3章-研究生.pptVIP

第三章 固有值问题与特殊函数 第一节二阶常微分方程的级数解 求解固有值问题时，经常遇到二阶线性齐次常微分方程的求解问题。 二阶齐次常微分方程的一般形式： 定义：在方程（1）中，若p x ,q x 在 处解析，则称 点为方程（1）的正常点；若 是 p x ,q x 的孤立奇点，则称 点为方程（1）的奇点；若 是p x 的不超过一级的极点，并且是q x 不超过二级的极点，则 为方程（1）的正则奇点；否则称 为方程（1）的非正则奇点。 定理（cauchy定理）设 是方程（1）的正常点，则 在 的某邻域内存在形如 的解，且满足初始条件 的解存在、唯一。 作法（待定系数法）：先将p x ,q x 在点 展成 Taylor级数，然后将展开式和（2）代入（1）。满足等式来确定 若 是方程（1）的正则奇点，则p x ,q x 可展开成Laurent级数 此时设方程（1）有广义幂级数解 最低幂的系数，即 ，其系数为 定理：设 是方程（1）的正则奇点 （1）若判定方程的两根之差不是整数，则s取这两个根构造的形如（3）的两个广义幂级数均是（1）的解（且两个解线性无关）； （2）若判定方程的两根之差是整数，则相对于较大的根所对应的形如（3）的广义幂级数仍是（1）的解，另一个解形式如 其中 为较大根对应解， 是判定方程相对较小的根，且 和 线性无关。 方程的通解情况：设 为判定方程的两个根。 （1）若 则 通解为 （2）若 则 通解为 第二节 正交函数系及广义Fourier级数 一、正交函数系的概念 1.定义：设函数 在区间[a,b]上有定义， 积分 称为函数 的内积，记作 函数 与自身的内积的开方称为该函数的范数（模），记作 ，即 2.定义：设一族定义在[a,b]上的函数 若满足 则称函数系（1）是[a,b]上的正交函数系，简称正 交系，记为 例： 若（1）还满足 则称函数系（1）是[a,b]上的标准正交系。 一切正交函数系都可标准化，即可取适当常数 使 成为标准正交系，取 3.定义：若函数系 在[a,b]上满足 其中 为权函数，则称函数系 在[a,b]上关于权函数 正交，或称按权函数 构成正交系。 二、广义Fourier级数 设 是定义在[a,b]上的一个正交函数系，f x 是[a,b] 上给定的函数，设f x 可以写成 的形式，其中 确定 ，将（1）式两端同乘 ，在[a,b]上积分 且假设级数（1）可逐项积分，则由 的正交性，有 第三节 Sturm-Liouville问题 常微分方程 方程（2）称为Sturm-Liouville方程，简记S-L方程， 其中 是与x无关的参数，p x ,q x ,s x 都是实值且假 设q x ,s x 连续， p x 连续可微。 若函数p x 和s x 在[a,b]上为正，S-L方程称为[a,b] 上正则，当区间是无穷或半无穷，或当p x 或s x 在有限 区间的一个或两个端点处为零时， S-L方程称为奇异的。 1.S-L方程（2）+端点条件 一起 称为S-L问题，其中 对于使S-L问题有非零解的 值称为固有值，相应的 固有值 的非零解称为固有函数，因而， S-L问题有时 也称为固有值问题。 3.定理 设S-L问题中的函数p,q,s在[a,b]上连续，对应于不同固有值 的固有函数 连续可微，则 在[a,b]上关于权函数s x 正交。 4.推论 区间[a,b]上的周期S-L问题，属于不同固 有值的固有函数在[a,b]上关于权函数s x 正交。 例1.求解S-L问题 解：p 1,q 0,s 1 例2.求解周期S-L问题 第四节 Bessel函数 第五节 Legendre函数 二、Legendre多项式 三、连带的Legendre多项式 二、Bessel方程和Bessel函数 贝塞尔方程 1.贝塞尔方程标准形式 1 2、 方程 1 式有级数解 x 0点附近展开 2 代入 1 式 3、因为是恒等式，所以有 1 2 3 1 式 称为指标方程或判别方程 得 代入 2 式： 4、取 r n 代入 3 中： 系数递推公式 系数递推公式中的指标差为2，即 都可用 表示，都为0 。 都可用 表示 。 …… 5、a0 取一常数，得到贝塞尔方程的一个特解： 3 取 4 其中 ? x 是 ?-函数。 级数解的一般项为： 将 3 4 式代入级数解 2 式，得到贝塞尔方程 1 的一个级数解： 5 5 称为 n 阶第一类贝塞尔函数。 6、当 n 为整数时，有 7、取 r - n 可解出另一特解： 6 8、当 n 不是整数，不妨设 n 0 ，有 与 线性