数学物理方程 3Bessel 函数教材课程.ppt

如果选取 ，则有 代入到 得到原方程的一个解 此函数称为r阶Bessel函数，通常记 如果 则由（4）式 可得 如果选取 ，则有 代入到 得到原方程的另一个解 此函数称为-r阶Bessel函数，通常记 注1 当r为正整数时，例如 ，取 对于 ，当 时 的系数等于零。 特别r=m(m为正整数)时，有 所以，对所有的实数r， 都有意义。 求解过程失效。 注2 记 表达式中幂级数部分的系数为 ，直接计算 可得 即 表达式中幂级数部分的收敛半径为无穷大。 类似可证 表达式中幂级数部分的收敛半径也为无穷大。 因此， 中幂级数部分是两个在实数轴上的解析函数。 注3 注意到 在x=0右连续而 在x=0的邻域无界， 故当r0不等于整数时， 是线性无关的，它们构成 原方程的一个基解组。 当r=m(m为正整数)时，直接计算可得 令 n阶第一类贝塞尔函数 1 r不为整数时，贝塞尔方程的通解 和 线性无关 n阶第二类贝塞尔函 数（Neumann函数） n为整数时 2 r为整数时，贝塞尔方程的通解 A、B为任意常数， n为任意正整数 作业 P76 习题3 第七题(1)第十三题(3)(4) 3.2.3 贝塞尔函数的性质 性质1 有界性 性质2 奇偶性 当n为正整数时 性质3 递推性 (a)-(b) (a)+(b) 类似地，有 注：以上递推关系式对任意的正数r也成立(P77页习题第4题) 例1 求下列微积分 性质4 初值 性质5 零点 有无穷多个关于原点对称分布的零点 和 的零点相间分布 的零点趋于周期分布， 性质6 半奇数阶的贝塞尔函数 性质7 渐近表达式 作业 P76 习题3 第四题，第十四题 3.2.4 Bessel方程的特征值问题 二阶线性微分算子 在圆域上的特征值问题为 边界条件为 Dirichlet边界条件，或者 Neumann边界条件. 下面利用分离变量法求解（1）. 令 ，并将其带入到（1），有 即 变形为 故有 对（2），其特征值和特征函数为 将 代入到（3）中，得到 方程（4）结合一定边界条件便是Bessel方程的特征值问题。 考虑Dirichlet边界条件下n阶Bessel方程的特征值问题 其中 是一个正常数，n为非负整数， 为待定常数，称为（5） 的特征值，而相应于 的非零解称为（5）的特征函数。 对于Bessel方程的特征值问题（5），有如下定理 注：第二章分离变量法出现的非齐次常微分方程P42 一个特解为 3? 自由项 f (x) 为 eax (Acos wx + Bsin wx)型 设二阶常系数线性非齐次常微分方程为 y? + py? + qy = eax (Acos wx + Bsin wx)， 其中 a，A ，B 均为常数. 　　由于 p，q 为常数，且指数函数的各阶导数仍为指数函数， 正弦函数与余弦函数的导数也总是余弦函数与正弦函数， 因此, 我们可以设 ⑧有特解 ⑧ 其中 C，D 为待定常数. 取 k = 0， 是根时， 取 k = 1。 当 a + wi 不是 ⑧ 式所对应的齐次方程的特征方程的根时， 当 a + wi 不是 特征方程的根时，取k=0 当 a + wi 是 特征方程的根时，取k=1 例 9　求方程 y? + 3y? - y = ex cos 2x 的一个特解. 　　解　自由项 f (x) = excos2x 为 eax(Acoswx + Bsinwx) 型的函数， 则 且 a + wi = 1 + 2i，它不是对应的常系数线性齐次常微分方程的特征方程 r2 + 3r – 1 = 0 的根， 取 k = 0，所以设特解为 代入原方程，得 比较两端 cos 2x 与 sin 2x 的系数，得 解此方程组，得 故所求特解为 例 10　求方程 y? + y = sin x 的一个特解. 　　解　自由项 f (x) = sin x 为 eax(Acoswx + Bsinwx) 型的函数，且 a = 0，w = 1， 则 代入原方程，得 且 a + wi = i 是特征方程 r2 + 1 = 0 的根， 取 k = 1，所以，设特解为 比较两端 sinx 与 cosx 的系数，得 故原方程的特解为 而对应齐次方程 y? + y = 0 的通解为 Y = C1cosx + C2sinx. 故原方程的通解为 例11　方程 y? + 4y = x +1 + sin