特殊函式
正文
一些高級超越函式的總稱,不是代數函式的完全解析函式通稱為超越函式。高級超越函式是超越函式中不為初等函式的泛稱。特殊函式多半是從尋求某些數學物理方程的解得出的。它種類繁多,而且不斷有新的出現。常見的有:Γ 函式、B 函式、超幾何函式、勒讓德函式、貝塞爾函式等。一些正交多項式,如雅可比多項式、切比雪夫多項式、埃爾米特多項式、拉蓋爾多項式,等等,通常也列入特殊函式的內容中。
特殊函式在物理學,工程技術,計算方法等方面有廣泛的套用。研究特殊函式常用的工具是解析函式理論,如圍道積分、冪級數展開等等。 L.歐拉、P.-S.拉普拉斯、J.-B.-J.傅立葉等人,都在這方面做過奠基工作。
Γ函式 階乘n!僅對正整數n及0有意義,擴大到任意複數α,定義階乘函式為 
與階乘函式密切聯繫的是Γ函式,它的定義是:當z不為零及負整數時, 
Γ(z)是亞純函式,以0,-1,-2,…為其單極點。Γ(z)滿足兩個等式: 
當α不為零及負整數時, 
特殊情形有 n!=(1)n=г(n+1)。
當Re(z)>0時, 
當│arg z│≤π-δ(δ>0),│z│→∞ 時, 
在這公式中置z=n+1,就可得到斯特林公式 
Γ函式是數學中常用的函式之一,許多重要級數的係數,常常用Γ函式表出。
B函式 B函式可以用Γ函式來定義: 
當Re(p)>0,Re(q)>0時, 
B函式可以用來計算一些定積分的值。例如,當Re(m)>0,Re(n)>0時, 
超幾何函式 設α,b),с為常數且с不為零及負整數,通常把冪級數 
叫做超幾何級數。當α=b)=с=1時,它就是幾何級數。當α或b)為零或負整數時,它簡化成多項式。如果α,b)均不為零及負整數,則它是無窮冪級數,其收斂半徑為1,因而在|z|<1 中解析。這時從它出發利用解析開拓可產生完全解析函式。這樣的完全解析函式(包括多項式這一特殊情形在內)叫做超幾何函式,記作F(α,b);с;z)。這個符號也用來表示上述冪級數。若用θ表示微分運算元
,則u=F(α,b);с;z)是高斯微分方程 
的一個解。當Re(с)>Re(b))>0,|z|<1時,F(α,b);с;z) 
設αj(j=1,2,…,p),βk(k=1,2,…,q)均為常數,且後者不為零及負整數,並設p≤q+1。冪級數 
及從它所產生的完全解析函式均可記作 
它是微分方程 
的一個解。當p=2,q=1時,它就是超幾何函式,其餘情形叫做廣義超幾何函式。當p=q=1時,叫做合流超幾何函式。
一函式F(z,t),如果通過形式運算(即不管這種運算是否合理)能夠展成t的冪級數 
不論這個級數是否收斂,只要ƒn(z)有意義,就稱F(z,t)為ƒn(z)的母函式。
廣義超幾何函式及超幾何函式可以用來表示多種初等函式、高級超越函式以及它們之中的一些母函式,因而有廣泛套用。
勒讓德函式 勒讓德微分方程 
的兩個獨立解 
及
(n≠負整數或負奇數的一半),分別叫做第一類及第二類勒讓德函式,並記作 Pn(z),Qn(z)。當n為正整數或零時,Pn(z)為n次多項式,叫做勒讓德多項式;而 
且 
當n為負整數(n=-m-1)時,勒讓德微分方程的兩個獨立解為Pm(z),Qm(z)。當n為負奇數的一半時, 
與勒讓德函式有密切聯繫的是連帶勒讓德函式。當m,n均為整數且0≤m ≤n時,第一類、第二類連帶勒讓德函式分別為 
及 
這裡z屬於在實軸的閉區間【-1,1】上有割線的z面。它們是連帶勒讓德微分方程 
的兩個獨立解。當-1<x<1時,則規定 
當m=1,2,…,n時,
(cosθ)cosmφ,
(cosθ)sinmφ以及Pn(cosθ)構成2n+1個線性無關的n次球面調和函式,可以用來解在球面上滿足一定邊界條件的拉普拉斯方程 
所以在研究電磁、重力、速度等的勢函式以及當熱平衡時物體的溫度要用到它們。
貝塞爾函式 在18世紀中葉歐拉研究圓鼓膜振動問題時,引進了極坐標形式的波動方程 
這裡α為常數。他採用分離變數法解這個方程,得到貝塞爾微分方程及貝塞爾函式。數年後J.-L.拉格朗日研究行星繞日問題,19世紀初期傅立葉研究圓柱體的熱傳導問題,都用到貝塞爾函式。所謂貝塞爾微分方程就是形如 
的方程,這裡v為常數。它的一個解是 
稱為第一類貝塞爾函式。當v不為整數時,它的另一獨立解為 
當v為整數n時,則規定 
它們稱為第二類貝塞爾函式。
設
(z)為兩個變數z,v的解析函式,滿足一對遞推公式 
則稱
(z)為圓柱函式。J
(z)及Y
(z)均為圓柱函式。圓柱函式可以用來解在圓柱面上滿足一定邊界條件的拉普拉斯方程及波動方程。
設φ0(x),φ1(x),…,φn(x),…為在開區間(α,b))上有定義的實函式系,ω(x)為定義在(α,b))上的非負函式;如果對任何非負整數m≠n恆有 
則稱{φn(x)}為在區間(α,b))上以ω(x)為權函式的正交系。如果φn(x)恰為n次多項式,那么φn(x)稱為正交多項式。
設v>-1,則J
(z)的零點均為實數,且有無窮個正零點及負零點,其階均為1。若以j1,j2,j3,…表示J
(z)的正零點按上升順序的排列,則當v固定時,{J
(jnx)}是在(0,1)上以x為權函式的正交系。
勒讓德多項式 Pn(x) 在18世紀後期勒讓德研究球體引力及行星繞日運動問題,從母函式 
出發,引進了勒讓德多項式。它的常用定義是 
一個多項式如果能夠用一個函式的 n階導數乘上適當的因子表示出來,這種表達式通常叫做這個多項式的羅德里格斯公式。Pn(x)的羅德里格斯公式是 
勒讓德多項式具有多種積分表示,常用的拉普拉斯第一積分表示為 
Pn(x)具有遞推公式 
Pn(x)是在區間(-1,1)中以1為權函式的正交多項式。
設
=α+iβ,α>0。當
固定,n→∞時, 
這裡O中常數可取為
,其中A1,A2為絕對常數。當0≤θ≤π時, 
Pn(x)有n個單零點,在實軸的開區間(-1,1)中。利用這些零點以及在這些零點處Pń(x)的值,可以構造一種精確度很高的求定積分近似值公式。
1980年前後,有幾位數學工作者,利用勒讓德多項式,討論一些數的無理性,擴大了這個古老多項式新的套用,引起人們的重視。
雅可比多項式P
(x)
定義 
羅德里格斯公式 
母函式 
微分方程 
遞推公式 

正交性 條件α>-1,β>-1;區間(-1,1);權函式(1-x)α(1+x)β。
特殊情形 格根堡多項式
勒讓德多項式
。
切比雪夫多項式
。
格根堡多項式C
(x)
定義
羅德里格斯公式 
母函式
微分方程 
遞推公式 

正交性 條件
;區間(-1,1);權函式
。
切比雪夫多項式Tn(x)
定義
。
羅德里格斯公式 
母函式
微分方程
遞推公式
,

正交性 區間(-1,1),權函式
。
切比雪夫多項式在函式逼近及計算數學中用到。
埃爾米特多項式 Hn(x)
定義
羅德里格斯公式
母函式
微分方程
遞推公式

正交性 區間(-∞,∞);權函式
。
拉蓋爾多項式 L
(x)
定義
羅德里格斯公式
母函式
微分方程
遞推公式

正交性 條件α>-1;區間(0,∞);權函式xαe-x。
以上所列舉的正交多項式都是經典的。在20世紀也引進了許多新的正交多項式,最引人注意的是與貝塞爾函式密切聯繫的貝塞爾多項式,其定義為
它在證明er的無理性時用到,這裡r為有理數。
參考書目
王竹溪、郭敦仁著:《特殊函式概論》,科學出版社,北京,1965。
小谷正雄、橋本英典著,錢瑞壯譯:《特殊函式》,上海科學技術出版社,上海,1962。(小谷正雄、橋本英典著:《特殊函式》,岩波,東京,1958。)
莫葉:關於Legendre多項式,《數學進展》,Vol.12,No.4,1983。
配圖
相關連線