递推公式证明.PPT

贝塞耳方程： 如果 是贝塞耳方程的一个本征值，则 也是该方程的另一个本征值。 正交性 与正交性矛盾，故贝塞耳不存在复数的零点. 由 若x0是方程的一个根，则 – x0也是方程的根，因此贝塞耳函数的零点是成对出现的. 当x较大时，贝塞耳函数的渐近式为 无穷多个成对的零点 零点的分布 Jm (x)的每两个相邻的零点之间，必有Jm+1 (x)的一个零点， Jm+1 (x)的每两个相邻的零点必有Jm (x)的一个零点存在. Jm (x)的最小一个正零点比Jm+1 (x)的最小的一个正零点小； J0 (0) = 1，Jm (0) = 0 (m ? 0) §12.5 虚宗量贝塞耳函数 贝塞耳方程： 当? 0时，令? = - h2, ?阶虚贝塞耳方程 ?阶贝塞耳方程 其中一解为： 定义： ?阶虚贝塞耳函数 讨论： 若?为非整数 - ?阶虚贝塞耳函数 若?为整数（ ? = m，m = 0, 1, 2, …） m阶虚诺尔曼函数 若为柱内问题，由于 ，故排除Km (x) 虚贝塞耳函数无实的零点 每一项均为x的偶次幂，求和后大于零，若不考虑x = 0点，则I?不存在实零点 §12.6 柱函数的应用 ? 0时（柱侧为齐次边条件） ? 0时（上下底为齐次边条件） 园柱性区域（圆柱内、外、空心圆筒）内的拉氏方程的解 * 研究圆柱形区域内的拉氏方程时，选取柱坐标，拉氏方程为： 第十二章 柱函数 §12.1 柱坐标下拉氏方程的解 自然周期条件 本征值： 本征函数： 讨论： 当m = 0时， 当m ? 0时， —— 欧勒齐次方程 m阶贝塞耳方程 m阶诺尔曼函数 柱内 m阶虚贝塞耳方程 m阶虚诺尔曼函数 m阶虚贝塞耳函数 柱内 若所给的边界条件中柱侧是齐次边条件，则取? 0，若柱侧是第二类边条件，还需要讨论? = 0情况；若所给的边界条件中上下底均是齐次边条件，则取? 0，若上下底均为第二类齐次边条件，还需要讨论? = 0情况. §12.2 贝塞耳函数 —— ? 阶贝塞耳方程 有一解: 若?为非整数， 若?为整数，? = m = 0, 1, 2, … 线性相关 m = 0 时，显然满足. 讨论m = 1, 2, 3, …情况，当k = 0, 1, 2, … , (m -1 )时， 因此，m 阶贝塞耳方程的解为： —— ?阶诺尔曼函数 —— m阶诺尔曼函数 当x ? 0时，Nm (x) ? ?. 若要求x = 0有界，则应排除Nm (x). —— 第一种汉克函数 —— 第二种汉克函数 第一类柱函数—— 贝塞耳函数（包括虚贝塞耳函数）， 第二类柱函数—— 诺尔曼函数（包括虚诺尔曼函数）， 第三类柱函数—— 第一种和第二种汉克函数. 讨论： 柱内问题（0 ? ? ? ?0） 由于 此时应排除m 阶诺尔曼函数. 柱外或空心圆柱问题 （ ? ? ?0 或 ?1 ? ? ? ?2 ） 解在x = 0点正常 由于 此时应排除- ? 阶诺尔曼函数. §12.3 贝塞耳函数的递推公式、母函数、积分表达式 （一）递推公式 证明： 或 讨论： 由递推公式 相加或相减得： 可以发现只要给出J0(x), J1(x)就可以得到J2(x), J3(x) ,J4(x),… 两个重要的结果 证明： 进行n次： 进行n次： 在上式中，令? = ?，n = 1，得： 令? = ?，n = n，得： （二）整数阶贝塞耳函数的母函数 在第三章中，已经得到： 方程两边对z求导： 比较 z m – 1 项的系数： 对x求导数 比较 z m 项的系数： （三）整数阶贝塞耳函数的积分表达式 将等式左边展成傅立叶级数，比较系数： —— m阶贝塞耳函数的积分表达式 将等式左边展成傅立叶级数，比较系数得： ——偶数阶贝塞耳函数的积分表达式 ——奇数阶贝塞耳函数的积分表达式 §12.4 贝塞耳函数的正交性 零点 （一）贝塞耳函数的正交性 讨论园内区域，若所给的边条件中柱侧为齐次，取? 0. 柱侧为第一类齐次边条件 设 的第n个正零点， 柱侧为第二类齐次边条件 递推公式： 设 为方程 的第n个正根， 当 柱侧为第三类齐次边条件 设 为方程 的第n个正根， 方程 与上面任意边界条件构成 本征值问题，本征值为 （写为 ），本征函数为 带权重因子?正交 证明： 两边从0到 ?0 积分 侧柱第一类边条件， 侧柱第二类边条件， 侧柱第三类边条件： [ ] = 0 [ ] = 0 贝塞耳