应用数学-课件-第10章-2-柱函数-兰州大学信息院.pptVIP

在用分离变量法对拉普拉斯方程及亥姆霍兹方程在柱坐标系下分离变量得到了一种特殊类型的常微分方程:贝塞尔方程（或虚宗量贝塞尔方程）． 10.2 柱函数 通过幂级数解法得到其解，为一类特殊函数，统称柱函数． 贝塞尔方程 虚宗量贝塞尔方程 10.2.1 贝塞尔方程及其解 贝塞尔方程的一般形式为 通过数学物理方程的幂级数求解方法可以得出结论： （1）当 整数时，贝塞尔方程的通解为（教材250页） 其中 为任意常数， 定义为 阶贝塞尔函数， 又叫第一类柱函数。 但是当 整数时，有 与 是线性相关的，所以上述通解必须是 整数. （2）当 取任意值时： 定义诺依曼函数 这样贝塞尔方程的通解可表示为 又叫第二类柱函数。 (3) 当 取任意值时： 由第一、二类柱函数还可以构成线性独立的函数 分别称为第一、二类汉克尔函数． 贝塞尔方程的通解又可表示为： 又叫第三类柱函数。 最后，总结 阶贝塞尔方程的通解通常有下列三种形式： （i） 整数） （ii） 可以取任意数） （iii） 可以取任意数） 10.2.2 三类柱函数的表示式及性质 1、贝塞尔函数 的级数表示式为 2、诺依曼函数 式中 是伽马函数．满足关系 当 为正整数或零时， 当 取整数时 所以当 整数时，上述的级数实际上是从 的项开始，即 而 所以 同理可证 因此有重要关系 可得几个典型的贝塞尔函数表示式 10.2.3 贝塞尔方程本征值问题（即本征值 的情况）： i. 第一类边界条件的贝塞尔方程本征值问题 根据圆柱的周期性边界条件 则 贝塞尔方程的通解为 y=besselj(0:5,(0:0.2:10)’)plot(0:0.2:10)’,y)legend(‘J0’, ‘J1’, ‘J2’, ‘J3’, ‘J4’, ‘J5’) 若用 表征 的第 个正根，于是本征值 代入边界条件决定本征值及本征函数．因为 故 又 ，要 ，则必须 则 就是决定本征值的方程. ii. 第二类齐次边界条件 这个条件就是 对于 ，则本征值 其中 是 的第 个零点. 的零点在一般的数学用表中并未列出. 不过， 的特例还是容易得到的： 这样， 至于 的零点不过就是 的零点，可从许多数学用表中查出． 的情况, 的零点 可以利用递推公式 这样 的零点可从曲线 和 的交点得出． 10.2.4 贝塞尔函数的性质 ① 特殊点 ②正交归一性 ③ 递推关系式 ④ 母函数关系式 10.2.5 广义傅立叶－贝塞尔级数 按照施－刘型本征值问题的性质，本征函数族 是完备的，可作为广义傅立叶级数展开的基． 定义在区间 上的函数 可以展开为广义的 傅立叶－贝塞尔级数 其中广义傅氏系数 在前面一节中，我们提到拉普拉斯方程在柱坐标系下的 虚宗量贝塞尔方程也称为修正贝塞尔方程． 分离变量方程，在 的情况下， 应满足 ——虚宗量贝塞尔方程 若令 ，代入上方程 10.2.6 虚宗量贝塞尔方程 令 即可得到虚宗量贝塞尔方程的解为 式中 的引入是为了确保 是实函数. 利用 的级数形式。 i、 虚宗量贝塞尔方程的解 称为 讨论 阶虚宗量贝塞尔函数. 也称为修正贝塞尔函数。 (1)当 整数时，虚宗量贝塞尔方程的通解为 为任意常数. (2)当 取任意值时： 由于任意值中可能包含 整数. 根据 线性相关 因此要求方程 的通解，必须先求出与 线性无关的另一特解. 为此我们定义： 为 阶虚宗量汉克耳函数， 这样定义后，不管 是否为整数， 和 一起总能构成虚宗量贝塞尔方程的两个线性无关的通解． 故得到当 取任意值时球贝塞尔方程的通解为 （ 任意值） 其中 是两任意常数． ii 、虚宗量贝塞尔函数的性质 由第一类虚宗量贝塞尔函数的级数形式，知 奇数 为奇函数 偶数 为偶函数 （1）特殊值 所有的项都是正的． （2）由级数表达式知，当 是大于零的实数时， 没有实零点; ( 3 ) 递推公式 本章作业：p296：2； p346 4； p361 1 。