第六章-偏微分方程数学工具.pptVIP

HUST 应用偏微分方程 第6章 偏微分方程常用数学工具 6.4 贝塞尔方程与贝塞尔函数 第六章 偏微分方程常用数学工具 6.3 常微分方程特征值问题 6.5 勒让德方程与勒让德多项式 6.1 傅里叶分析 6.2 拉普拉斯变换 6.3 施图姆—刘维尔特征值问题的一些结论 用分离变量法求解弦振动方程、热传导方程和拉普拉斯方程的有关定解问题时，都需要解决一个含参变量 的常微分方程边值问题 使得以上问题有非零解y(x)的常数 称为此问题的特征值， y(x)称为此特征值对应的特征函数，此边值问题称为特征值问题，又称为施图姆—刘维尔特征值问题. 特征（固有）值问题：含有待定常数的常微分方程在一定条件下求非零解的问题 特征（固有）值：使方程有非零解的常数值 特征（固有）函数：和特征值相对应的非零解 分情况讨论： 1） 2） 3） 令 ， 为非零实数 例1 故，以上特征值问题的特征值和特征函数分别为： 一般的施图姆—刘维尔问题有如下结论。 （1）所有特征值均为非负实数，特别地，当 时，所有特征值都是正数； （2）所有特征值组成一个单调非减序列： 且 （3）对应于不同特征值的特征函数必在 加权意义下正交，即若对应不同特征值 的特征函数为 ,则 , (4)若函数在 在 内有一阶连续导数及 分段连续的二阶导数，并且满足所给的边界条件,则 在 可以按特征函数系 展开为绝对且一致收敛的级数： 其中 (n=1,2,…) 若 及 在 内是分段连续函数，则以上级数在 的间断点 处收敛于 且在 上失去一致性。 常用特征值问题 周期特征值问题 n阶贝塞尔方程 (n为任意实数或复数) 令： 6.4.1 贝塞尔方程的求解 假设 由于 ，所以有 6.4 贝塞尔方程与贝塞尔函数 情形1 n不为整数和半奇数 当c=n时 ,则有 令 于是, 得到贝塞尔方程的一个特解(称为n阶第一类贝塞尔函数) 当p为正整数时 当p为负整数或零时 当c=-n时，令 于是, 得到贝塞尔方程的另一个特解(称为-n阶第一类贝塞尔函数) 显然 线性无关，于是n阶贝塞尔方程的通解为 (称为n阶第二类贝塞尔函数(诺依曼函数) ) 如果取 , 则得到方程的另一个与 线性无关的特解 于是n阶贝塞尔方程的通解又可表示为 情形2 n为整数 此时 线性相关。令 可以证明 线性无关的特解， 是贝塞尔方程的与 于是，此时n阶贝塞尔方程的通解为 情形3 n为半奇数(类似讨论) A、B为任意常数， n为任意实数 n阶贝塞尔方程 的两个线性无关特解： 于是，n阶贝塞尔方程的通解为： 性质1 有界性 性质2 奇偶性 6.4.2 贝塞尔函数的性质 当n为正整数时 性质3 递推性 例1 求下列微积分 性质4 初值 性质5 零点 有无穷多个对称分布的零点 和 的零点相间分布 的零点趋于周期分布， 性质6 半奇数阶的贝塞尔函数 性质7 大宗量近似 性质8 正交性 称 n阶贝塞尔函数系 在区间(0,R)上带权函数r正交： 其中 为n阶贝塞尔函数的零点，即 为n阶贝塞尔函数 的模。 正交性的证明：先将n阶贝塞尔方程写成如下形式 则有 记 于是 取 并利用 即可证得结论。有关贝塞尔函数模的计算请大家自己完成。 例2：证明 的解为 6.4.3 傅立叶--贝塞尔级数 定理 如果 在(0,R)内分段连续,且积分 的值有限，则 能展成傅立叶—贝塞尔级数： 并且在 的连续点,级数收敛于 ；而在 的间断点，级数收敛于 ，其中 例3：将1在 区间内展成 的级数形式. 解 ，其中 由于 从而 于是有 例4：将x在0x2区间内展成 的级数形式 解 ，其中 由于 从而 于是有 例5：将 在0x1区间内展成 的级数形式 解 ，其中 由于 从而 于是有 n次勒让德方程 令 ，则 于是得到n次勒让德方程的通解为 其中， 为任意常数。 6.5 勒让德方程与勒让德多项式 6.5.1 勒让德方程的求解 若记 的特解,他们在|x|1内是收敛的。 y1为偶函数，y2为奇函数。 则以上两个级数都是勒让德方程 n为正偶数或负奇数时， y1为多项式，n为负偶数或正奇数时，y2为多项式。 n为非整数时，y1， y2均为无穷级数，它们在|x|1内收敛，在其它点发散，并且 时， y1， y2都趋于无穷大，故此时方程没有有界解。 当n为偶数时 当n为奇数时 6.5.2 勒让德多项式 n