3++ch3+贝塞尔函数 数数学物理方程 教学课件.pptVIP

第三章 贝塞尔函数  第二节 贝塞尔方程的求解 第三节 贝塞尔函数的性质 柱函数一般的递推公式 递推公式的应用 柱函数的渐近性质 可进一步写出它在三类齐次边界条件下的表达式： 事实上 四、 贝塞尔函数的零点 本段我们将研究贝塞尔函数的零点的性质： 问题： 1. 的零点或者根是实数吗？ 2. 它的零点是怎样分布的？ 当沿正实轴趋向于无穷时，第一类贝塞尔函数 与第二类贝塞尔函数分别有如下的渐近展开式： 由于正弦函数和余弦函数在到之间振动无限 多次，因此从上列渐近公式可以看出， 与 应该有无穷多个实零点。 我们可用 统一表示第一类贝塞尔函数(也称为第一类柱函数)。 图 (2) 及 是整数， 利用 注: 这是因为 可以证明 下面给出证明 说明 与 是线性相关的。 事实上 这说明 与 是线性相关的。 为了得到另一个与 线性无关的解，我们采用 如下的方式实现 :当 不是整数时，取 则 与 是线性无关的。 当 是整数时，取 洛必达法则 进一步计算可得 注: 详细过程可参见梁昆淼编的数学物理方法p480页. 以及 这是因为 注: 在 点的奇异性质: 诺伊曼函数的图象 但是 有界， 从而 知 与线性无关。 因此方程(2)的通解总可表为 (C, D为任意常数) 定义: 函数 称为v 阶第二类贝塞尔函数， 也称为v 阶诺伊曼函数或 v 阶第二类柱函数。 我们下面讨论贝塞尔函数的一些重要性质. 一、递推公式 从贝塞尔函数的级数表达式 可推出： 证明: 类似地可得 由（1）和（2）式可得 由（3）和（4）式可得 它们揭示了不同阶的贝塞尔函数之间的联系。 对于所有的正整数 都可以用 和 线性表示出来。 把 代入 (3) 可得 把 代入 (4) 可得 所以 把 代入 (3) 可得 把 代入 (4) 可得 所以 即 诺伊曼函数也有与第一类贝塞尔函数相同的递推 关系式，只不过将上述 (1)—(6) 中的 换成 。 二. 半整数阶贝塞尔函数 一般地说，第一类和第二类贝塞尔函数都不是初 等函数，但是，我们指出当 (m是整数) 时， 和 都是初等函数。 当 时， 当 时， 由递推关系 (1)-(6) 式可以证明，对于任何整数m, 都可以用初等函数表示出来： 由(1) 可得 所以 由(2) 可得 类似可得 此外，由于 利用递推关系可以证明， 也是初等函数。 三、贝塞尔方程的固有值问题 我们考虑贝塞尔方程的固有值问题 其中 和 是不同时为零的非负常数，固有值为 方程(13)的通解为 在自然边界条件 下, 则 所以 因为 利用边界条件(15)，得 即 是这个方程的根。 根据36页的性质4可得, 固有值 有可列无穷个，设 则相应的固有函数组成固有函数系 下面证明，固有函数系 在区间 [0,a] 上带权 x 正交，即 设 和 分别是对应与固有值 和 的固有函数，则 以 和 分别乘以这两个方程， 两式相减，并且从0到a积分 分部积分 注： 因为 和 满足齐次边界条件(16)，所以 这是关于 和 的线性方程组， 由假设 和 不同时为零，其系数行列式必定为零， 所以(18)式右端为零， 但， 因此，(17) 式成立。 其次，我们计算积分 （ 为某个固有值）， 称为贝塞尔函数 的模， 记为 因为 满足 用 乘以方程两边， 即 从0到a积分，得 对左端第二项进行分部积分， 因为若 ，则 ； 若 ，则 ， 所以上式第二项在下限的值不论 v 是否为零都 等于零； 第三项为，