貝索函數

貝索函數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。

參見

參考文獻

外部連結