基本介紹
斯圖姆定理是判斷實係數多項式方程實根個數的定理。給出實係數多項式方程
f(x)=axⁿ+…+ax+a=0, a≠0,
令f(x)=f(x),f(x)=f′(x),用f(x)除f(x)得商q(x)及餘式-f(x),一般地有
f(x)=f(x)q(x)-f(x),(k=1,2,…,m),
直到f(x)≡0為止,得到m+1個多項式序列
{f(x),f(x),…,f(x)},
稱為以f及f為基的斯圖姆序列,當x=a時,
{f(a),f(a),…,f(a)}
是一個數列。若其中兩個相鄰數符號相反就稱為一次變號,記此數列變號次數為V,若f(a)≠0,f(b)≠0,且數列
{f(b),f(b),…,f(b)}
的變號次數為V,則f(x)=0在[a,b]內共有V-V個不相同的實根,設最後非零函式f(x)沒有實根,則f(x)=0的實根都是單根,若f(x)=0有實根,則這些根都是f(x)=0的重根,其重數為f(x)=0內的重數加1,這就是 斯圖姆定理的內容。當a=-∞,b=+∞時,則得f(x)=0實根個數;當(a,b)內只有一個根且b-a很小,則可解決實根的隔離問題 。
相關說明
(1)斯圖姆分離定理是一個關於二階線性微分方程零解的定理:設為方程y"+q(x)y=0的兩個線性無關的解。若分別使為零,則在之間至少有一個零點 。
(2)斯圖姆比較定理是一個重要定理:已知兩個方程y"+q(x)y=0,z"+q(x)z=0,且在(a, b)內q(x)≥q(x), 則在第一個方程任一解的兩個零點之間,至少有第二個方程每個解的一個零點。
斯圖姆定理可用於研究滿足齊次邊界條件的方程y"+q(x)y=λy的斯圖姆——柳維爾問題。
1829年,法國數學家斯圖姆得出了求實係數代數方程在已知區間上的實根個數的簡單方法——斯圖姆方法,而這方法的依據就是斯圖姆定理,劉維爾說:“由於這一巨大的發現,斯圖姆立即簡化並且完整了代數的原理,用新的解法充實了它們。”
斯圖姆(J.C.F.Sturm, 1803-1855)是原籍瑞士的法國數學家 。