二階線性方程:齊次
二維解空間(two-dimensional solution space)
二階方程留給你多少自由?想想拋球:一旦你定下它從哪裡出發、離手時多快,整段飛行就被決定了。兩個數字(位置與速度)便釘死了一切。這「兩個數字」恰恰就是二階方程解空間的維數:所有解構成的族,正好有兩個自由度。
更正式地說,齊次線性二階方程 y'' + p y' + q y = 0(p、q 在某區間上連續)的解集是一個向量空間,其維數為二。這表示你能找到兩個線性無關的解 y1 與 y2,而後每一個解都可寫成 y = c1 y1 + c2 y2,且常數 c1、c2 的選取恰好唯一,沒有任何解被遺漏,也沒有任何組合是多餘的。為何是二,而非三或一?因為此處的初值問題需要兩個初始資料 y(x0) 與 y'(x0),才有唯一解。你能自由設定的每一個獨立初始條件對應一個維度,而二階方程恰有這兩個位置。
正是這個結構性事實,使常係數方法奏效。特徵方程是個二次式,因而給出恰好填滿這個空間的雙參數答案。一般模式可推廣:n 階線性方程有 n 維解空間。事先知道維數,便能告訴你何時做完:一旦你有了二階方程的兩個獨立解,你就擁有全部,再沒有什麼可找了。
對 y'' - y = 0,e^x 與 e^(-x) 這一對是無關的,所以 {e^x, e^(-x)} 是這(二維)解空間的一組基。為了符合 y(0) = 1、y'(0) = 0,你解 c1 + c2 = 1 與 c1 - c2 = 0,得 c1 = c2 = 1/2,故 y = cosh(x),而這兩條方程之所以總有唯一解,正因為這個空間是二維的。
兩個基底解與兩個初始條件總能唯一對上,這正是「維數為二」在實務中的含義。
唯有當 p、q 在所論區間上連續、存在唯一性成立時,維數才是二。在某係數爆掉之處(奇點),這乾淨的二維圖像可能崩解。
又稱
另見