贝塞尔函数

贝塞尔函数Bessel functions),是数学上的一类特殊函数的总称。通常单说的贝塞尔函数第一类贝塞尔函数Bessel function of the first kind)。一般贝塞尔函数是下列常微分方程(一般称为贝塞尔方程)的标准解函数

图1 贝塞尔函数的一个实例:一个紧绷的鼓面在中心受到敲击后的二阶振动振型,其振幅沿半径方向上的分布就是一个贝塞尔函数(考虑正负号)。实际生活中受敲击的鼓面的振动是各阶类似振动形态的叠加。

该方程的通解无法用初等函数表示。

由于贝塞尔微分方程是二阶常微分方程,需要由两个独立的函数来表示其标准解函数。典型的是使用第一类贝塞尔函数第二类贝塞尔函数来表示标准解函数:

注意,由于 在 x=0 时候是发散的(无穷),当取 x=0 时,相关系数 必须为0时,才能获得有物理意义的结果。

贝塞尔函数的具体形式随上述方程中任意实数或复数α变化而变化(相应地,α被称为其对应贝塞尔函数的阶数)。实际应用中最常见的情形为α是整数n,对应解称为n 阶贝塞尔函数

尽管在上述微分方程中,α本身的正负号不改变方程的形式,但实际应用中仍习惯针对α和−α定义两种不同的贝塞尔函数(这样做能带来好处,比如消除了函数在α=0 点的不光滑性)。

贝塞尔函数也被称为柱谐函数圆柱函数圆柱谐波,因为他们是于拉普拉斯方程圆柱坐标上的求解过程中被发现的。

历史

贝塞尔函数的几个正整数阶特例早在18世纪中叶就由瑞士数学家丹尼尔·伯努利在研究悬链振动时提出了,当时引起了数学界的兴趣。丹尼尔的叔叔雅各布·伯努利欧拉拉格朗日等数学大师对贝塞尔函数的研究作出过重要贡献。1817年,德国数学家贝塞尔在研究开普勒提出的三体引力系统的运动问题时,第一次系统地提出了贝塞尔函数的总体理论框架,后人以他的名字来命名了这种函数 [1] [2]页面存档备份,存于互联网档案馆)。

现实背景和应用范围

贝塞尔方程是在圆柱坐标球坐标下使用分离变量法求解拉普拉斯方程亥姆霍兹方程时得到的(在圆柱域问题中得到的是整阶形式 α = n;在球形域问题中得到的是半奇数阶形式 α = n+½),因此贝塞尔函数在波的传播问题以及各种涉及有势场的问题中占有非常重要的地位,最典型的问题有:

在其他一些领域,贝塞尔函数也相当有用。譬如在ttf字体文件压缩,信号处理中的调频合成英语Frequency modulation synthesis凯泽窗的定义中,都要用到贝塞尔函数。

定义

贝塞尔方程是一个二阶常微分方程,必然存在两个线性无关的解。针对各种具体情况,人们提出了表示这些解的不同形式。下面分别介绍这些不同类型的贝塞尔函数。

第一类贝塞尔函数

 
图2 0阶、1阶和2阶第一类贝塞尔函数(贝塞尔J函数)曲线

第一类贝塞尔函数Bessel function of the first kind),又称贝塞尔函数Bessel function),下文中有时会简称为J函数,记作Jα

第一类α阶贝塞尔函数Jα(x)是贝塞尔方程当α为整数或α非负时的解,须满足在x = 0 时有限。这样选取和处理Jα的原因见本主题下面的性质介绍;另一种定义方法是通过它在x = 0 点的泰勒级数展开(或者更一般地通过幂级数展开,这适用于α为非整数):

 

上式中 Γ函数(它可视为阶乘函数向非整型自变量的推广)。第一类贝塞尔函数的形状大致与按 速率衰减的正弦余弦函数类似(参见本页下面对它们渐近形式的介绍),但它们的零点并不是周期性的,另外随着x的增加,零点的间隔会越来越接近周期性。图2所示为0阶、1阶和2阶第一类贝塞尔函数 的曲线( )。

如果α不为整数,则  线性无关,可以构成微分方程的一个解系。反之若 是整数,那么上面两个函数之间满足如下关系:

 

于是两函数之间已不满足线性无关条件。为寻找在此情况下微分方程与 线性无关的另一解,需要定义第二类贝塞尔函数,定义过程将在后面的小节中给出。

贝塞尔积分

 为整数时贝塞尔函数的另一种定义方法由下面的积分给出:

 

 为任意实数时的表达式见参考文献[2]第360页)

这个积分式就是贝塞尔当年提出的定义,而且他还从该定义中推出了函数的一些性质。另一种积分表达式为:

 

和超几何级数的关系

贝塞尔函数可以用超几何级数表示成下面的形式:

 

ɑ为整数。由于函数线性相关的特性(用了一个就少了一个,所以要再构造一个),才需定义如下详细介绍的第二类贝塞尔函数。

第二类贝塞尔函数(诺依曼函数)

 
图3 0阶、1阶和2阶第二类贝塞尔函数(贝塞尔Y 函数)曲线图

第二类贝塞尔函数Bessel function of the second kind),又称诺伊曼函数Neumann function),下文中有时会简称为Y函数,记作Yα

第二类贝塞尔函数也许比第一类更为常用。 这种函数通常用Yα(x)表示,它们是贝塞尔方程的另一类解。x = 0 点是第二类贝塞尔函数的(无穷)奇点。

Yα(x)又被称为诺依曼函数(Neumann function),有时也记作Nα(x)。它和Jα(x)存在如下关系:

 

若α为整数(此时上式是 未定式)则取右端的极限值。

从前面对Jα(x)的定义可以知道,若α不为整数时,定义Yα是多余的(因为贝塞尔方程的两个线性无关解都已经用J函数表示出来了)。另一方面,若α为整数,Yα便可以和Jα构成贝塞尔方程的一个解系。与J函数类似,Y函数正负整数阶之间也存在如下关系:

 

Jα(x)和Yα(x)均为沿负实半轴割开的复平面内关于x全纯函数。当α为整数时,复平面内不存在贝塞尔函数的支点,所以JY 均为x整函数。若将x 固定,则贝塞尔函数是α的整函数。图3所示为0阶、1阶和2阶第二类贝塞尔函数 的曲线( ):

第三类贝塞尔函数(汉克尔函数)

第三类贝塞尔函数Bessel function of the third kind),又称汉克尔函数Hankel function)。

贝塞尔方程的另外一对重要的线性无关解称为汉克尔函数(Hankel functions)Hα(1)(x)和Hα(2)(x),分别定义为:

 
 

其中i虚数单位 。以上的线性组合也成为第三类贝塞尔函数;它们描述了二维波动方程外向行柱面波解和内向行柱面波解("行"与在"行动"中同音)。

利用前面推出的关系可将汉克尔函数表示成:

 
 

若α为整数,则须对等号右边取极限值。另外,无论α是不是整数,下面的关系都成立:

 
 

修正贝塞尔函数

贝塞尔函数当变量x复数时同样成立,并且当x 为纯虚数时能得到一类重要情形——它们被称为第一类修正贝塞尔函数modified Bessel function of the first kind)和第二类修正贝塞尔函数modified Bessel function of the second kind),或虚变量的贝塞尔函数(有时还称为双曲型贝塞尔函数),定义为:

 
 

以上形式保证了当变量x实数时,函数值亦为实数。这两个函数构成了下列修正贝塞尔方程(与一般贝塞尔方程的差别仅在两个正负号)的一个相互线性无关的解系:

 

修正贝塞尔函数与一般贝塞尔函数的差别在于:一般贝塞尔函数随实变量是振荡型的,而修正贝塞尔函数IαKα则分别是指数增长指数衰减型的。和第一类贝塞尔函数Jα一样,函数Iα当α > 0 时在x=0 点等于0,当α=0时在x=0 点趋于有限值。类似地,Kαx=0 点发散(趋于无穷)。

 
图4-1 第一类修正贝塞尔函数 对实自变量的曲线( 
 
图4-2 第二类修正贝塞尔函数 对实自变量的曲线( 


复数变量的贝塞尔函数之零值 的解在α≥-1的情况下都是实数;阶数-2>α>-1的情况下,除了实数之外还有且仅有一对共轭的纯虚数解(G.N Watson 参考文献[5])。

第二类修正贝塞尔函数有时候被称为第三类修正贝塞尔函数modified Bessel function of the third kind)。

球贝塞尔函数

 
图5-1 第一类球贝塞尔函数 曲线( 
 
图5-2 第二类球贝塞尔函数 曲线( 

若使用分离变量法求解球坐标下的三维亥姆霍兹方程,则可得到如下形式关于径向(r 方向)分量的常微分方程

 

关于上述方程的一对线性无关解称为球贝塞尔函数,分别用jnyn表示(有时也记为nn)。这两个函数与一般贝塞尔函数JnYn 存在关系:

 
 

球贝塞尔函数也可写成:

 
 

0阶第一类球贝塞尔函数 又称为sinc函数。头几阶整阶球贝塞尔函数的表达式分别为:

第一类:

 
 
 

第二类:

 
 
 

还可以依照前面构造汉克尔函数相同的步骤构造所谓球汉克尔函数

 
 

事实上,所有半奇数阶贝塞尔函数都可以写成由三角函数组成的封闭形式的表达式,球贝塞尔函数也同样可以。特别地,对所有非负整数n,存在:

 

而对实自变量xhn(2)是上面hn(1)的复共轭(!! 表示阶乘)。由此我们可以通过得到h,再分离实部虚部,求出相应阶jh 的表达式,譬如j0(x) = sin(x)/xy0(x) = -cos(x)/x,等等。

球贝塞尔函数的生成函数为:

 
 

黎卡提-贝塞尔函数:Sn, Cn, ξn, ζn

黎卡提-贝塞尔函数(Riccati-Bessel functions)和球贝塞尔函数比较类似:

 
 
 

该函数满足方程:

 

这个方程以及相应的黎卡提-贝塞尔解德国物理学家古斯塔夫·米Gustav Mie)于1908年研究电磁波在球状颗粒表面散射问题时提出的,后人将这种散射称为米氏散射Mie scattering)。这个问题近几年的进展可参见文献 Du (2004)。

后人有时会遵从德拜Debye)在1909年的论文中的记法,用  代替前面的 

渐近形式

贝塞尔函数在α非负时具有下面的渐近形式。当自变量x 为小量,即 时,有:

 
 

式中γ为欧拉-马歇罗尼常数(也叫欧拉常数,等于 0.5772156649...),Γ为Γ函数。对于很大的x,即 时,渐近形式为:

 
 

(α=1/2 时渐近号两边严格相等;参见前面对球贝塞尔函数的介绍)。其他形式贝塞尔函数的渐近形式可以从上面的式子直接推得。譬如,对大自变量 ,修正贝塞尔函数的渐近形式为:

 
 

对小自变量 

 
 

性质

整阶(α = n)第一类贝塞尔函数Jn常通过对其母函数generating function)的罗朗级数Laurent series)展开来定义:

 

上式得左边即为整阶第一类贝塞尔函数的母函数,这是丹麦天文学家汉森于1843年提出的。(这种定义也可以通过路径积分或其他方法推广到非整数阶)。整阶函数的另一个重要性质是下列雅可比-安格尔恒等式Jacobi-Anger identity):

 

利用这一等式可以将平面波展开成一系列柱面波的叠加,或者将调频信号分解成傅里叶级数的叠加。

函数JαYαHα(1)Hα(2)均满足递推关系

 
 

其中Z代表J, Y, H(1)H(2)。(常将这两个恒等式联立推出其他关系)。从这组递推关系可以通过低阶贝塞尔函数(或它们的低阶导数)计算高阶贝塞尔函数(或它们的高阶导数)。特别地,有:

 
 

由于贝塞尔方程对应的作用算符除以x 后便是一个(自伴随的)厄米算符Hermitian),所以它的解在适当的边界条件下须满足正交性关系。特别地,可推得:

 

其中α > -1,δm,n克罗内克δuα,m表示Jα(x)的第m零点。这个正交性关系可用于计算傅里叶-贝塞尔级数中各项的系数,以利用该级数将任意函数写成α固定、m 变化的函数Jα(x uα,m)的无穷叠加形式。(可以立即得到球贝塞尔函数相应的关系)。

另一个正交性关系是下列在α > -1/2时成立的“封闭方程”(closure equation):

 

其中δ为狄拉克δ函数。球贝塞尔函数的正交性条件为(当α > 0):

 

贝塞尔方程的另一个重要性质与其朗斯基行列式Wronskian)相关,由阿贝尔恒等式Abel's identity)得到:

 

其中AαBα是贝塞尔方程的任意两个解,Cα是与x 无关的常数(由α和贝塞尔函数的种类决定)。譬如,若Aα = JαBα = Yα,则Cα is 2/π。该性质在修正贝塞尔函数中同样适用,譬如,若Aα = IαBα = Kα,则Cα为-1。

参见

参考文献

外部链接