在數學及其應用中,以雅克·夏爾·弗朗索瓦·施圖姆(1803–1855)和約瑟夫·劉維爾(1809–1882)的名字命名的施圖姆-劉維爾方程是指二階線性實微分方程:
![{\displaystyle {\frac {d}{dx}}\!\!\left[\,p(x){\frac {dy}{dx}}\right]+q(x)y=-\lambda \,w(x)y,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7ed22ff2571ca9f5bc6f1236c5f57aea09ec786) | | 1 |
其中給定係數函數p(x), q(x), 和w(x)均為已知函數,和y是以x為自由變量的未知的待求解函數,稱為解;
是一個未定常數。w(x)又記為r(x),稱為'權(weight)'函數或'密度(density)'函數。所有二階線性常微分方程都可以簡化為這種形式。
在一個正則的施圖姆-劉維爾(S-L)本徵值問題中,在有界閉區間[a,b]上,三個係數函數
應滿足以下性質:
;
均連續;
滿足邊界條件
及
(
)。
只有一些恰當的
能夠使得方程擁有滿足上述條件的非平凡解(非零解)。這些
稱為方程的特徵值,對應的非平凡解稱為特徵函數,而特徵函數的集合則稱為特徵函數族。施、劉二人在一些由邊界條件確定的函數空間中,引入埃爾米特算子,形成了施圖姆-劉維爾理論。這個理論提出了特徵值的存在性和漸近性,以及特徵函數族的正交完備性。這個理論在應用數學中十分重要,尤其是在使用分離變量法求解偏微分方程的時候。
施圖姆-劉維爾理論提出:
- 施圖姆-劉維爾特徵值問題,存在無限多個實數特徵值,而且可以排序為:
;
- 對於每一個特徵值
都有唯一的(已被歸一化的)特徵函數
,且
在開區間(a,b)上有且僅有n-1個零點。其中
稱為滿足上述施圖姆-劉維爾特徵值問題的第n個基本解;
- 已歸一化的特徵函數族在希爾伯特空間
上有正交性和完備性,形成一組正交基:
![{\displaystyle \int _{a}^{b}y_{n}(x)y_{m}(x)w(x)\,\mathrm {d} x=\delta _{mn}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef208ebb27aa2433930592e93020500d50a56c26)
- 其中
是克羅內克函數。
只要乘以一個恰當的積分因子,所有二階常微分方程都可以寫成施圖姆-劉維爾形式。
-
- 等價於:
-
-
- 注意到 D(1 − x2) = −2x,因此等價於:
-
二體問題常用的換元的技巧是通過 和 將原方程中對時間的求導轉化為對角度 的求導,並得到Sturm-Liouville型方程[1]
-
-
- 兩邊同時除以x3:
-
- 再乘以積分因子:
-
- 得到:
-
- 又注意到:
-
- 因此原方程等價於:
-
-
- 兩邊同時乘以積分因子:
-
- 整理後得到:
-
- 或者把積分因子寫出來:
-