奇异点与指标方程当二阶齐次线性微分方程没有非零的幂级数解时.doc

5.2奇異點與指標方程 當二階齊次線性微分方程沒有非零的冪級數解時，如何求出非零解呢？ 觀察Euler方程 分別有一般解其中x的乘冪有非正整數的，所以考慮微分方程的解 的形式，其中s為一常數。 ? 例：求Euler方程 之一般解 解：令 ，其中s為常數，因此 將以上二式代入微分方程得令各項係數為0得 此方程稱為指標方程(indicial equation) 解此指標方程得s = 2或 - 1 (1)當s = 2時得 (2)當s = - 1時得 因為線性獨立，為微分方程之一般解 ? 是否所有二階齊次線性微分方程都有非零的 形式的解？ 答：不一定 ? 反例：求微分方程之一般解 解：假設 為微分方程之解。 因此 將上三式代入微分方程，得 因此得到矛盾，所以此微分方程並沒有 形式的解，其實，微分方程之一般解 (自行驗證) ? 那麼怎樣的二階齊次線性微分方程才有非零的 的形式的解呢？ ? 我們把這問題反過來想，考慮二階齊次線性微分方程 設 ， 為微分方程的兩個線性獨立的解，其中，所以 解以上的聯立方程組之得 將上式之代入(*)中得 ? 定義：設為二階齊次線性微分方程之奇異點，若皆在解析 則稱為微分方程之正則奇異點(regular singular point)，否則稱為非正則奇異點(irregular singular point) ? 註：當為分式時， ? 例：求m階的Legendre方程 之正則奇異點 解：顯然，為此微分方程之奇異點。 所以1為正則奇異點，同理可得-1亦為正則奇異點。 ? 例：求微分方程 之正則奇異點。 解：令 因為， 之分子、分母皆在開區間上解析，而在上只有x = 1會使分母為0且分子不為0。所以 不存在，因此不為解析，故1為上之奇異點。 另外， 不為解析， 所以1不為正則奇異點。 因為在不為解析，所以0亦為上之奇異點。 故此微分方程在區間上沒有正則奇異點。 ? 定理：設二階線性微分方程 有為正則奇異點。 的收斂半徑之最小值且 s 為其指標方程之兩個根最大值。 則此微分方程有級數解 註：以上定理是