線性常微分方程的級(jí)數(shù)解法和某些特殊函數(shù)

線性常微分方程的級(jí)數(shù)解法和某些特殊函數(shù)第一頁，共二十七頁，2022年，8月28日§8.1常點(diǎn)鄰域方程的級(jí)數(shù)解

勒讓德方程1常點(diǎn)鄰域方程的級(jí)數(shù)解2勒讓德方程第二頁，共二十七頁，2022年，8月28日2023/2/1921常點(diǎn)鄰域方程的級(jí)數(shù)解方程的一般形式定解條件：

(8.1)

（8.2）為應(yīng)用解析函數(shù)理論設(shè)p(z)、q(z)、y(z)是分別由p(x)、q(x)、y(x)唯一確定的復(fù)變函數(shù).為了書寫方便變量仍記作x.第三頁，共二十七頁，2022年，8月28日2023/2/1931)方程的常點(diǎn)：在是解析的，則2)解的存在和唯一性定理：設(shè)函數(shù)在則(8.1)存在唯一的滿足條件(8.2)的解析函數(shù)3)求解步驟：b)將、、在并比較(x-x0)的同冪項(xiàng)系數(shù)，給出系數(shù){ak}的遞推公式；稱為方程的常點(diǎn)。內(nèi)是解析的，.；c)運(yùn)用系數(shù)遞推公式，將系數(shù)確定至兩個(gè)積分常數(shù)；上的冪級(jí)數(shù)展開式代入方程，d)討論.確定x0為方程常點(diǎn)，設(shè)第四頁，共二十七頁，2022年，8月28日2023/2/1942勒讓德方程[在第十二章“球坐標(biāo)系下的分離變數(shù)法”中，勒讓德多項(xiàng)式和球函數(shù)要用此處結(jié)果，在那里取值待定、而1)同一般形式比較,均在上解析，故是方程的常點(diǎn)x0=0.

第五頁，共二十七頁，2022年，8月28日2023/2/1952)設(shè)

將以上諸式代入勒讓德方程，得↓的系數(shù)：…∴第六頁，共二十七頁，2022年，8月28日2023/2/1963)定系數(shù)：

第七頁，共二十七頁，2022年，8月28日2023/2/1974)討論：解在上是絕對(duì)且一致收斂的，在物理上需要考慮處的收斂問題，P151具體論證了y0(x)在x=1發(fā)散所以,要求有限值,是數(shù)學(xué)問題有物理意義的必然要求.，y0(x)退化為l=2n次多項(xiàng)式,y1(x)仍發(fā)散舍去；：多項(xiàng)式,

y0(x)仍發(fā)散舍去.

總之,l=整數(shù)：方程的兩個(gè)特解中有一個(gè)退化為l次多項(xiàng)式(l階勒讓德多項(xiàng)式),另一個(gè)發(fā)散級(jí)數(shù)解舍去..y1(x)退化為l=2n+1次第八頁，共二十七頁，2022年，8月28日2023/2/1985)階勒讓德多項(xiàng)式∵

∴上式中k=1,2,…,第九頁，共二十七頁，2022年，8月28日2023/2/199若選取則使得yl(1)=1,此時(shí)yl(x)稱為l階勒讓德多項(xiàng)式由上式易得，、、、注:本征值問題

本征值：

本征函數(shù)：[Pl(x)的表達(dá)式在第十二章中要用]、…第十頁，共二十七頁，2022年，8月28日2023/2/1910§8.2正則奇點(diǎn)鄰域方程的級(jí)數(shù)解柱貝塞爾方程(P153)1.正則奇點(diǎn)鄰域方程的級(jí)數(shù)解4.柱貝塞爾方程(m=0或整數(shù)的情況)2.柱貝塞爾方程(和正整數(shù)的情況)3.柱貝塞爾方程(m=半整數(shù)的情況)第十一頁，共二十七頁，2022年，8月28日2023/2/19111正則奇點(diǎn)鄰域方程的級(jí)數(shù)解（1）（2）當(dāng)(1)與(3)總是線性無關(guān)的2)在正則奇點(diǎn)鄰域上方程冪級(jí)數(shù)獨(dú)立解或（3）1)方程的奇點(diǎn)x0:是p(x)高于一階或q(x)高于二階的極點(diǎn).

正則奇點(diǎn)x0:(Fuchs富克斯定理)是p(x)不高于一階的極點(diǎn)或q(x)

的不高于二階的極點(diǎn).在奇點(diǎn)x0鄰域上運(yùn)用級(jí)數(shù)解法是不方便的,故本課程只研究正則奇點(diǎn)鄰域上的冪級(jí)數(shù)解.第十二頁，共二十七頁，2022年，8月28日2023/2/19123)指標(biāo)方程p-1是p(x)在上展開式中的負(fù)一次冪項(xiàng)系數(shù)上展開式中的負(fù)二次冪項(xiàng)系數(shù)a)判定x0為正則奇點(diǎn)代入方程→各冪次系數(shù)為零→c)s1-s2=非整數(shù)，取系數(shù)遞推公式中s=s1、s2分別給出y1、y2；若s1-s2=整數(shù)，仍取系數(shù)遞推公式中s=s1、s2分別給出y1、y2，d)必要的討論.4)求解步驟：b)將若二者線性相關(guān)，則另取代入方程從頭開始；q-2是q(x)在第十三頁，共二十七頁，2022年，8月28日2023/2/1913思考與討論題1.何謂方程的常點(diǎn)？在常點(diǎn)鄰域方程的冪級(jí)數(shù)解有怎樣的形式？2.二階線性齊次常微分方程在常點(diǎn)鄰域的冪級(jí)數(shù)解法的主要步驟有哪些？其中要注意的要點(diǎn)是哪些？作業(yè)：p175：8.1(1)、(3)，8.2第十四頁，共二十七頁，2022年，8月28日2023/2/19142柱貝塞爾方程(和正整數(shù)的情況)(在柱坐標(biāo)系、球坐標(biāo)系中求解定解問題時(shí)將遇到)在區(qū)域上解析，顯然x0=0是的單極點(diǎn)，q(x)的二階極點(diǎn)，所以x0=0是方程的正則奇點(diǎn)；1)2)設(shè)第十五頁，共二十七頁，2022年，8月28日2023/2/1915

而∴—系數(shù)遞推公式，(k=1,2,…)c0任意，s1=m,s2=-m,s1-s2=2m≠0或正整數(shù)第十六頁，共二十七頁，2022年，8月28日2023/2/19162)給出如下[其中利用了取則—m階貝塞爾函數(shù)；給出第二個(gè)特解：—-m階貝塞爾函數(shù)類似取第十七頁，共二十七頁，2022年，8月28日2023/2/1917a)若m是非整數(shù)與非半整數(shù)時(shí)，與線性獨(dú)立，通解b)m階貝塞爾函數(shù)中m的對(duì)任何實(shí)數(shù)都適用，只是與線性相關(guān).當(dāng)m=整數(shù)時(shí)3)討論：第十八頁，共二十七頁，2022年，8月28日2023/2/19183柱貝塞爾方程(m=半整數(shù)的情況)先討論的情況：:,c0任意,所以第十九頁，共二十七頁，2022年，8月28日2023/2/1919當(dāng)取:時(shí)，推導(dǎo)同2，可得

當(dāng)取時(shí)，常數(shù)任意第二十頁，共二十七頁，2022年，8月28日2023/2/1920則1)可以驗(yàn)證：,顯然它與線性無關(guān),所以方程的通解為因此,在保證與線性獨(dú)立的前提下,可取,則2)對(duì)的情況，可知與線性獨(dú)立，則階貝塞爾方程的通解為的初等函數(shù)表示見第十三章P285～286.；階貝塞爾討論：則第二十一頁，共二十七頁，2022年，8月28日2023/2/19214柱貝塞爾方程(或整數(shù)的情況)=(當(dāng)k+1-m=0或負(fù)整數(shù)時(shí)，Γ(k+1-m)→∞)它與線性相關(guān),所以第二個(gè)特解應(yīng)取為:經(jīng)過P161～164的推導(dǎo)(推導(dǎo)過程較為復(fù)雜,故不作要求),可得與線性獨(dú)立的第二個(gè)特解為階諾依曼(Neumann)函數(shù)所以當(dāng)m為0或正整數(shù)時(shí)，m階貝塞爾方程的通解為綜上所述：只要是實(shí)數(shù)，通解總可以寫成上式第二十二頁，共二十七頁，2022年，8月28日2023/2/1922﹡§8.3高斯方程和庫默爾方程(P167)

§8.4非齊次方程的通解(P172)非齊次方程：相應(yīng)的齊次方程：1齊次方程的通解2非齊次方程的通解（1）（2）第二十三頁，共二十七頁，2022年，8月28日2023/2/1923若已知第一個(gè)特解為y1(x),則齊次方程的通解為只所以為通解,是因?yàn)樯鲜街泻袃蓚€(gè)不定積分;若兩個(gè)不定積分改為帶有固定下限的積分，則上式為與y1獨(dú)立的第二個(gè)特解.（3）由y1

、y2組成的朗斯基行列式：證明:設(shè)y1

、y2是獨(dú)立特解，則（4）1齊次方程的通解第二十四頁，共二十七頁，2022年，8月28日2023/2/1924

再由(3)、(4)∴證畢.第二十五頁，共二十七頁，2022年，8月28日2023/2/19252非齊次方程的通解含有兩個(gè)積分常數(shù)是方程(1)的通解;而y1

、y2分別是(2)