把初值問題化為代數(turning an IVP into algebra)
把拉普拉斯方法剝到只剩一個大想法,就是這個:微積分問題變成代數問題。微分方程要你找一個未知函數——一個困難的、無窮維的問題。變換把這個問題本身,轉換成透過普通代數運算去找一個取值為數的表達式 Y(s)。這個轉換正是這套方法之所以強大的全部緣由。
具體地看每個材料變成什麼。未知函數 y(t) 變成未知變換 Y(s)。導數 y' 變成乘以 s(並附帶一個初值);y'' 變成乘以 s^2。外力函數 g(t) 變成它的變換 G(s)。所以像 a y'' + b y' + c y = g(t) 這樣的方程——一個函數與其導數之間的關係——變成 (a s^2 + b s + c) Y(s) = G(s) + (初始條件項),一個 s 的多項式之間的關係。每一個導數,那個使它成為微分方程的東西,都被換成了 s 的一個冪,那個使它僅僅是代數的東西。
一旦你面對的是多項式方程,代數的全部威力都可動用:你只要相除得到 Y(s) = [G(s) + 初始項] / (a s^2 + b s + c)。分母 a s^2 + b s + c 並非巧合——它就是方程的特徵多項式,所以 s 域默默地編碼了你用古典方法會分析的同樣結構(根、穩定性、自然頻率)。這就是深層的收益:解初值問題的難度,已從微積分(在那裡確實困難)轉移到了代數(在那裡是例行公事)。
初值問題 y'' - y = 1,y(0) = 0、y'(0) = 0 變換成 (s^2 Y - 0 - 0) - Y = 1/s,即 (s^2 - 1) Y = 1/s。微分方程已變成代數方程 Y = 1/(s(s^2 - 1)),可進行部分分式。
導數變成 s 的冪;方程變成關於 Y(s) 的純代數。
這個技巧只把常係數線性方程化得這麼乾淨。像 y^2 或 y y' 這種非線性項沒有簡單的變換——L{y^2} 不是 Y(s)^2——所以代數化失效,這套方法無法直接套用。