贝塞尔函数的递推公式m.pptVIP

(37) (38) 在(38)式中取 并且由于 便立即可得(37)式成立。 阶贝塞尔函数序列(36)在区间 上带权 正交. 5.3.3 贝塞尔函的模 (38) 定积分 (39) 的平方根，称为贝塞尔函数 的模。 当 时，由(38)式得 在上式中，令 仍为任意参数， 由于 故上式化为 形式的不定型， 当 时，上式右端为 应用洛必达法则，得 应用洛必达法则，得 (40) 由递推公式 (40) 由递推公式 以及 得 从而(40)式变为 (41) 由于贝塞尔函数 与 没有公共零点， 由(41)式知贝塞尔函数的模不为0. 5.3.4 傅里叶-贝塞尔级数 (41) 在应用贝塞尔函数求解数学物理方程的定解 问题时，往往需要把已知函数按贝塞尔函数系 展成级数。 内分段连续的囿变函数，且积分 的值有限， 则它必能展开成如下形式的级数： (42) 并且，在 的连续点级数(42)收敛于 可以证明，如果 为定义于区间 (41) (42) 在 的间断点 处，级数收敛于点 左右极限 的平均值，即收敛于 其中系数 由下式确定 (43) 由公式(43)确定的 称为傅里叶-贝塞尔系数， 级数(42)称为傅里叶-贝塞尔级数。 * * (18) (19) 情形1 如果 不为整数(包括0)和半奇数， 由于 所以 与 线性无关， 由齐次线性 常微分方程解的结构定理知，方程(12)的通解为 (20) 与 线性无关， (12) (12) (20) (22) 如果在(20)中取 则得方程(12)的另一个与 线性无关的特解， 记作 (21) 因此方程(12)的通解可写成 称为第二类贝塞尔函数或诺伊曼函数。 情形2 如果 为整数(包括0)， (18) (19) (12) 与 当 为整数时是 这就说明了 线性相关的。 为了求出贝塞尔方程的通解，我们 还需要求出一个与 线性无关的特解。 而当 为整数时， 不为整数。 与 当 不为整数时， 其中 为整数， (21) 由(21)式知， 是 由于 于是(21)式的右端成为 形式的不定型， 此时 我们很自然地定义 而当 为整数时， 与 当 不为整数时， 由(21)式知， 是 由于 为整数时， 与 当 不为整数时， 由(21)式知， 是 线性无关的， 应用洛必达法则经过冗长的推演(可参阅H.H. 列别捷夫著，张燮译《特殊函数及其应用》， 高等教育出版社，1987），得 阶贝塞尔方程与 线性无关 其中 称为欧拉 常数。 显然 是 特解。 无穷大 (12) 是否为整数， 综上所述，不论 为任意实数。 其中 为任意实数， 当 为偶数时， 为偶函数； 当 为奇数时， 为奇函数。 当 为半奇数时，留在下一节讨论。 贝塞尔方程(12) 的通解都可表示为 另外，由 推出， 情形3 为整数时， 5.2 贝塞尔函数的递推公式 不同阶的贝塞尔函数之间有一定的联系， 本节 来建立反映这种联系的递推公式。 (18) (21) 由 的表达式(18)可推出下列两个基本 递推公式： (25) (26) (25) (26) 事实上，在(18)式的两边乘上 然后对 求导，得 令 得 同样可以证明公式(25)。 (25) (26) 事实上，在(18)式的两边乘上 然后对 求导，得 (25) (26) 如果将以上两式左端的导数表出，化简后则得 (25) (26) 如果将以上两式左端的导数表出，化简后则得 先后消去 与 则得 (27) (28) 显然(25)(26)式与(27)(28)式是等价的。 (25) (26) (27) (28) 与 若已知 之值， 由(27)式可算出 之值。 这样一来，通过(27)式，可以用0阶与1阶 贝塞尔函数来表示任意正整数阶的贝塞尔函数。 特别的，当 时，由(26)式得 (25) (26) 特别的，当 时，由(26)式得 当 时，由(25)式得 (29) (27) (28) 例 (27) (28) (29) 求 解 由(27)式知， 则有 对于第二类贝塞尔函数，也有如下的递推公式成立： 当 (18) (27) 为半奇数时的贝塞尔函数的一个重要特点 是可用初等函数表示。 先计算 由(18)式得 利用 函数的性质，得 (18) (27) 从而 (30) 同样可得 (31) 应用公式(27)得 (18) (27) 同理，应用公式(27)得 一般的，有 这里为了方便起见，我们采用微分算子 它是算子 连续作用 次的缩写。例如 一般的，有 5.3 按贝塞尔函数展开为级数 应用贝塞尔函数求解数学物理方程的定解问题 时，最终都要把已知函数按贝塞尔函数系展开为 级数。本节我们将讨论这个问题。 本章开始，我们从薄圆盘温度分布的定解问题 中，导出了贝塞尔方程的固有值问题： 方程(32)的通解为 (32) (33) 无穷大， 方程(32)的