数学物理方法 第二十章 贝塞尔函数 柱函数.pptVIP

边界条件为 两边积分，故得到 施－刘型本征值问题的结论 (1) 本征值存在，且都是非负的实数； （3）对于每一个本征值 有一个相应的本征函数 若在区间 （4） （5）以 (6)零点还可以用下面的公式计算 其中 2.第二类齐次边界条件 对于 不过， 这样， 至于 对于 其中 这个条件就是 (3) 第三类齐次边界条件 ，其中 是方程（20.3.33）的第N个根 将(20.3.34)乘以 ,将(20.3.35)乘以 故当 2．贝塞尔函数的模 注意 对于 = (20.3.38) 第一类齐次边界条件 则式（20.3.38）成为 第二类齐次边界条件 （20.3.38）成为 20.3.3 广义傅立叶－贝塞尔级数 按照施－刘型本征值问题的性质，本征函数族 例20.3.4 在区间 其中系数 这里的 这样 令 20.3.4 贝塞尔函数的母函数（生成函数） 1. 母函数（生成函数） 对于固定的 称 2 .平面波用柱面波的形式展开 这公式是函数 的傅氏余弦展开式． 当 （20.3.46）式可以理解为用柱面波来表示平面波，并可写为 3.加法公式 利用母函数公式 比较两边的 4．贝塞尔函数的积分表达式 如果取 从而得到 因为在 20.4 虚宗量贝塞尔方程 在前面一节中，我们提到拉普拉斯方程在柱坐标系下的 虚宗量贝塞尔方程也称为修正贝塞尔方程． 得到贝塞尔方程形式 令 称为 讨论 根据 线性相关 为 20.4.2 第一类虚宗量贝塞尔函数的性质 由第一类虚宗量贝塞尔函数的级数形式（20.4.4）知 （1）特殊值 所有的项都是正的． 20.4.2 第二类虚宗量贝塞尔函数的性质 整数时的级数形式： 递推公式： (20.4.11) 20.5 球贝塞尔方程 20.5.1. 球贝塞尔方程 因为对于 把自变量 20.5.2 球贝塞尔方程的解 根据并贝塞尔方程(20.5.2）的解，可得球贝塞尔方程(20.5.1)的两个线性独立解为 称之为球贝塞尔方程的解，并且称 第三类球贝塞尔函数或球汉克尔函数可定义为 球贝塞尔方程的通解为 或 和 根据贝塞尔函数的递推公式（20.3.7）： 得 20.5.5 球贝塞尔函数的初等函数表示式 贝塞尔函数 改用球诺伊曼函数 在上式中，依次置 对（20.5.11）和（20.5.13）分别反复应用递推公式(20.5.10)，得到 20.5.6球形区域内的球贝塞尔方程的本征值问题 左边最后一项的系数 这里的 决定球贝塞尔函数的边界条件往往化为贝塞尔函数 本征函数族 其中系数 式中 （2）由级数表达式知，当 是大于零的实数时， 没有实零点; ( 3 ) 递推公式 (20.4.9) 根据定义式(20.4.5)，给出当 (20.4.10) 是欧拉常数. 用球坐标系对亥姆霍兹方程进行分离变量，得 球贝塞尔方程(14.4.25)即 (20.5.1) 称为 阶球贝塞尔方程． 和函数 分别换作 和 ，令 则 (20.5.2) 即为（ ）阶贝塞尔方程． 而对于 ，方程(20.5.1)即为 欧拉型方程,解为 或 再将它们每一个乘以 即得到下列定义： (20.5.3) 为第一类球贝塞尔函数， 为第二类球贝塞尔函数或球诺依曼函数． (20.5.4) (20.5.5) (20.5.6) 其中 为两个任意实数 20.5.3 球贝塞尔函数的级数表示 根据球贝塞尔函数的定义式和贝塞尔函数的级数表示得到 (20.5.7) （20.5.8） 20.5.4 球贝塞尔函数的递推公式 若用 代表球贝塞尔函数或球诺伊曼函数或球汉克尔函数， （20.5.9） 并取 故有 (20.5.10) 这就是从 和 推算 递推公式． 式（20.5.9） 反复应用递推公式，我们就得出所有的 初等函数表示式. 至于半奇数阶的诺伊曼函数，按其定义有 和球贝塞尔函数 表出， （20.5.12） 即得 （20.5.13） 球贝塞尔方程（20.5.1）写成施图姆－刘维尔型即是 ，则本征值 (20.3.31) 其中 是 的第 个零点. 的零点在一般的数学用表中并未列出. 的特例还是容易得到的： 由公式(20.3.12)得到 的零点不过就是 的零点，可从许多数学用表中查出． 的情况, 的零点 可以利用递推公式(20.3.8) 这样 的零点可从曲线 和 的交点得出． 的情况, 的零点 还可以用下面的公式计算： ＝ 记 并引用（20.3.5）可将上式改写为 所以本征