柱函数 大学物理贝塞尔方程的解教学PPT课件.ppt

第九章 柱函数 在§7–3中，已经求得贝塞尔方程的级数解。在本章中，首先讨论贝塞尔方程的不同形式的线性独立解，然后在第二节中重点讨论含贝塞尔方程的本征值问题。本章的最后，将简单介绍几种变形的贝塞尔方程的解。 本章的内容在电动力学 (如光导波的电磁结构) 及 量子力学 (如弹性散射中的分波法) 中均有重要应用。 § 9–1 贝塞尔方程的解 在§7–3中，已经求出了贝塞尔方程 的两个线性独立解。 当? 为非整数时，这两个线性独立的解分别为 (一) 贝塞尔函数和诺依曼函数 J? (x) 称为? 阶贝塞尔函数。 贝塞尔函数 J0(x)、J1(x)、J2(x)… 的图像 当? 为整数或零时，J? (x) 与 J–? (x) 不是线性独立的，它们之间有以下关系 贝塞尔方程的另一个独立解的形式为： (7-3-15) 但是，确定以上解中的系数是一件很麻烦的事情。有人采用一种巧妙的办法确定了贝塞尔方程中当? 为整数或零时的独立解。具体方法为：取 J? (x) 与 J–? (x) 的适当的线性组合，使得非整数 ? 趋于整数 m 时，该线性组合成为0 / 0 型的不定式，再通过这一不定式的值来得到 ? 为整数 时贝塞尔方程的另一独立解。符合要求的 J? (x) 与 J–? (x) 的线性组合为 N? (x) 与 J? (x) 、J–? (x) 是线性无关的。当 ? → m 时，利用洛比达法则，有 ——诺依曼函数 (二) 贝塞尔函数的生成函数和积分表示 在§7–3 例2 (p60) 中，曾证明函数 在 t = 0 的洛朗展开式为 其展开系数为 Jm(x)，所以上式左边的函数称为 Jm(x) 的生成函数。令 t = e i? ，可以得到 利用洛朗展开式的系数公式，得到 (9) (8) 上式即是贝塞尔函数的一种积分表达式，其中 C 是沿逆时针方向绕 t = 0 一圈的任意回路。 若取 C 为 t 平面上的单位圆，则在 C 上有 t = e i? 。于是 ——贝塞尔函数常用的积分形式 (10) (11) (三) 贝塞尔函数和诺依曼函数的渐近表示　汉克耳函数 　　从贝塞尔函数的第一种积分表达式出发，利用最陡下降法，可以得到贝塞尔函数的渐近表达式。为此，将贝塞尔函数第一种积分表示写为 根据最陡下降法，需计算 h(t) 的一阶、二阶导数： h(t) 的零点是：t0 = ± i，因此，有　　　 由此，得到 此时，积分回路 C 应选为沿垂直于 –?0/2 的方向通过两个鞍点 ± i，如下图所示。也就是说，积分路径在通过 ± i 的两小段上与虚轴成 450 角，然后按任意路径环绕，形成闭合回路。 对积分的主要贡献来自鞍点附近，即上图中的斜线段。 利用 (3-4-18) ，得到 将 和 h(±i) = ± i 代入上式，有 这是贝塞尔函数渐进展开式的第一项，它可以用来作为 x很大时 Jn(x) 的渐进表示。可以证明，这个结果对任何 v 阶贝塞尔函数都成立，即 根据 N? (x) 的定义式，利用上式，可以得到 N? (x) 的渐进展开式： 由此可见，当 |x| 很大时，J? (x) 和 N? (x) 分别具有余弦函数和正弦函数的振荡特性，但振幅与成反比，随 x增大而衰减。 仿照三角函数和虚指数函数的关系式 (1-2-12) ，定义汉克尔函数 它们的渐近表达式是 (四) 递推公式 柱函数 在计算贝塞尔函数的积分时，经常要用到各阶贝塞尔函数之间、贝塞尔函数与其导数之间的关系，即递推公式。下面就来推导它们。 以 x? 乘 (9-1-2) 式的两边，再对 x 求导，得到 与此类似，以 x –? 乘 (9-1-2) 式，然后求导，可得到 将以上两式展开，经化简分别得到 将上两式相加，得到 将式 (9-1-20) 和式 (9-1-21) 相减，有 在式 (9-1-22) 中令 ? = 0，则有 (9-1-22) 在式 (9-1-23) 中令 ? = 1，则有 (9-1-23) 由此可知，若已有零阶和一阶贝塞尔函数表，则由 (9-1-23)式可计算整数阶贝塞尔函数之值。 由上述递推公式，并由诺依曼函数的定义式 (9-1-23)，可以导出诺依曼函数的类似的递推公式： 因为 J? (x) 和 N? (x) 都满足(9-1-26)型的递推公式，而 和 是