第一類貝塞爾函式

第一類貝塞爾函式

第一類貝塞爾函式(Bessel function of the first kind),常簡稱貝塞爾函式,為貝塞爾方程的第一解。貝塞爾函式的具體形式隨方程中任意實數或複數α變化而變化(相應地,α被稱為其對應貝塞爾函式的階數)。實際套用中最常見的情形為α是整數n,對應解稱為n 階貝塞爾函式。

歷史

貝塞爾函式的幾個正整數階特例早在18世紀中葉就由瑞士數學家丹尼爾·伯努利在研究懸鏈振動時提出了,當時引起了數學界的興趣。丹尼爾的叔叔雅各布·伯努利,歐拉、拉格朗日等數學大師對貝塞爾函式的研究作出過重要貢獻。1817年,德國數學家貝塞爾在研究克卜勒提出的三體引力系統的運動問題時,第一次系統地提出了貝塞爾函式的總體理論框架,後人以他的名字來命名了這種函式。

現實背景和套用範圍

貝塞爾方程是在圓柱坐標或球坐標下使用分離變數法求解拉普拉斯方程和亥姆霍茲方程時得到的(在圓柱域問題中得到的是整階形式 α =n;在球形域問題中得到的是半奇數階形式 α =n+½),因此貝塞爾函式在波動問題以及各種涉及有勢場的問題中占有非常重要的地位,最典型的問題有:

(1)在圓柱形波導中的電磁波傳播問題;

(2)圓柱體中的熱傳導問題;

(3)圓形(或環形)薄膜的振動模態分析問題;

在其他一些領域,貝塞爾函式也相當有用。譬如在信號處理中的調頻合成(FM synthesis)或凱澤窗(Kaiser window)的定義中,都要用到貝塞爾函式。

第一類貝塞爾函式

第一類貝塞爾函式 第一類貝塞爾函式

貝塞爾方程是一個二階常微分方程

第一類貝塞爾函式 第一類貝塞爾函式

必然存在兩個線性無關的解。針對各種具體情況,人們提出了表示這些解的不同形式。

第一類貝塞爾函式(Bessel function of the first kind)作為貝塞爾方程的第一解,又稱貝塞爾函式,有時會簡稱為 J 函式,記作 J。

0階、1階和2階第一類貝塞爾函式(貝塞爾J函式)曲線 0階、1階和2階第一類貝塞爾函式(貝塞爾J函式)曲線

第一類α階貝塞爾函式Jα(x)是貝塞爾方程當α為整數或α非負時的解,須滿足在x= 0 時有限。另一種定義方法是通過它在x= 0 點的泰勒級數展開(或者更一般地通過冪級數展開,這適用於α為非整數):

第一類貝塞爾函式 第一類貝塞爾函式
第一類貝塞爾函式 第一類貝塞爾函式
第一類貝塞爾函式 第一類貝塞爾函式
第一類貝塞爾函式 第一類貝塞爾函式

上式中 為 函式(它可視為階乘函式向非整型自變數的推廣)。第一類貝塞爾函式的形狀大致與按 速率衰減的正弦或餘弦函式類似,但它們的零點並不是周期性的,另外隨著''x''的增加,零點的間隔會越來越接近周期性。右圖所示為0階、1階和2階第一類貝塞爾函式。

如果α不為整數,則 J( x)和 J( x)線性無關,可以構成微分方程的一個解系。反之若α是整數,那么上面兩個函式之間滿足如下關係:

第一類貝塞爾函式 第一類貝塞爾函式

於是兩函式之間已不滿足線性無關條件。為尋找在此情況下微分方程與 J( x)線性無關的另一解,需要定義第二類貝塞爾函式。

貝塞爾積分

α為整數時貝塞爾函式的另一種定義方法由下面的積分給出:

第一類貝塞爾函式 第一類貝塞爾函式

這個積分式就是貝塞爾當年提出的定義,而且他還從該定義中推出了函式的一些性質。另一種積分表達式為 :

第一類貝塞爾函式 第一類貝塞爾函式

和超幾何級數的關係

貝塞爾函式可以用超幾何級數表示成下面的形式:

第一類貝塞爾函式 第一類貝塞爾函式

ɑ為整數,由於函式線性相依的特性(用了一個,少了一個,所以要再弄出一個出來),才需定義Neumann函式(即第二類貝塞爾函式)。

相關詞條

熱門詞條

聯絡我們