幂级数解本章我们将讨论齐次线性微分方程在附近的级数解之.doc

5.1冪級數解 本章我們將討論齊次線性微分方程 在附近的級數解 之求法，其中s為一常數。 首先回顧兩個有關冪級數的定理： 定理：若 之收斂半徑為，則 且其收斂半徑亦為 定理：(冪級數唯一性定理) 若 其中為收斂半徑，則 以下所考慮羃級數之的範圍，皆在收斂半徑內討論 定義：若 滿足微分方程(*)，則稱其為微分方程(*)，在點的鄰域之冪級數解 例：解 解：令 在(1)式中對x微分，得 再對x微分，得 將(1)(2)代回微分方程中得 調整第一個級數的下標起始值與第二個級數相同得 對所有的在收斂半徑內皆成立。 因此由冪級數唯一性定理，得各項係數為0， 即得遞迴關係式。 所以觀察 可歸納出 同樣地，觀察 可歸納出 因此 其實等於我們早已知道之通解 求齊次線性微分方程的冪級數解的步驟 首先令 ， 為常數，接著將前式代入微分方程中。由於冪級數的導數仍為冪級數，整理之後得一冪級數等於0的式子。令各項係數為0，得之遞迴關係式。最後解出即得微分方程式之冪級數解。 例：解 Airy方程 ，當時 解：即要解 令 則 將以上二式代入(*)得 令各項係數為0，得到遞迴關係式 得 得 令兩個括號中的函數依次為 為一組基本解 定義： 稱為Airy函數，其中為函數 Legendre s Differential Equation 例：求m階的Legendre微分方程點之冪級數解 解： 將以上三式代入O.D.E.中，得 調整上式之第二個級數之下標為從n =2開始，得 令各項係數為0，得遞迴關係式 故m階的Legendre微分方程之通解為 註：當m為非負整數時，若 因此 有一個為m次多項式，稱為Legendre多項式，記為 例：求前五個Legendre多項式 解： 此五個多項式的圖形如下 例：一質點置於水平旋轉的無摩擦力的管中，如圖，當時間t=0，管子以角加速度開始旋轉，質點與轉軸之距離為。當管子轉動，質點將沿著管子向外滾動，最後將會滾出管子外，求t時刻，質點與轉軸之距離?若，管長為2.5，問何時質點飛出管外? 解：設 t 時刻，質點所在位置的極座標為，質點沿著管子滾動的加速度為，及管子旋轉時的角速度為 因在管子方向，並沒有力作用在質點上，由牛頓第二運動定律 其中，由於質點一開始為靜止的，所以 將以上兩式代入微分方程得 最後，當管長為2.5時 以為微分方程的近似解，得大約時質點飛出管子外(參看下圖) 註：在應用上，經常取微分方程的級數解之前n項作為近似解 是否所有線性齊次方程都有非零的冪級數解？ 答：不是 反例：考慮Euler方程 將以上三式代入微分方程得 所以，此方程並無非零的冪級數解 其實，我們已知為此Euler方程之解 能否改良冪級數解而得此一般解？ 定義：函數f(x)稱為在點解析(analytic)的意義是f(x)在點的鄰域等於其Taylor展開式，即 定義：點稱為線性齊次二階微分方程 的平常點(ordinary point)的意義是及都在點解析，否則，稱點為奇異點(singular point) 註：利用兩個在點解析的函數的加、減、乘、除(除式在點不為0)仍是在點解析的事實，可用來判定平常點。另外，利用若函數f(x)在點的某階導數不存在，則f(x)在點不是解析的事實，可用來判定奇異點。 例：考慮微分方程為，求出其所有的奇異點及平常點 解：改寫原微分方程為 則 因為在不可微分，所以皆為奇異點，又因在x= 0的二階導數不存在，所以0為奇異點，在區間中除了以上五點為奇異點外，其餘皆為平常點(利用兩解析函數相除，亦為解析)。 以下定理回答了何時二階齊次線性微分方程有冪級數解的問題 定理：設在點解析，之Taylor展開式之收斂半徑， 則初始值問題 存在有唯一解且此解在區間上每一點都是解析的。 進而，一般解 ，為一組基本解且在區間上每一點都是解析的。 例：證明初始值問題 存在唯一解， 證明：因為 所以，由定理得此初始值問題存在有唯一冪級數解且其收斂半徑為 若為二階齊次線性微分方程之奇異點，則此微分方程沒有非零的冪級數解 成立嗎？ 答：不成立 反例：考慮 Chebyshev微分方程 雖然為奇異點，但仍分別有非零之冪級數解 以上稱為第一類Chebyshev多項式(Chebyshev polynomial of the first kind) (參考課本p.600) 然而，x=1為微分方程之奇異點。