線性:你早已信賴的那條法則
在上一篇指南裡,你把拉普拉斯變換當作一個定積分來認識,L{f}(s) = 從 0 到無窮對 e^{-st} f(t) dt 的積分——一台機器,吃進一個時間 t 的函數,還給你一個新變量 s 的函數。每一次都逐項去算那個積分,會累死人。變換的全部威力,恰在於你幾乎從不回到那個積分。你只需把若干基本變換列成一張小表一次性備好,然後用一小套運算法則把一切搬來搬去。本篇指南就是這隻工具箱,而第一件工具,正是你早已能在手中感受到的那一件。
拉普拉斯變換是線性的:對任意常數 a、b,都有 L{a f(t) + b g(t)} = a L{f}(s) + b L{g}(s)。這並非新的奇蹟——它徑直來自定積分的線性,而那是你從第一卷起就信賴的。和的積分等於積分之和,常數可以提到前面;變換把這兩個習慣整個繼承了過來。所以要變換 3 t^2 - 5 sin(t),你根本不必碰那個定義積分:在表裡查出 L{t^2} 和 L{sin t},再拼成 3 L{t^2} - 5 L{sin t}。正是線性,讓一張十來條目的表,覆蓋了無窮無盡的組合動物園。
在 s 中平移:在時間裡乘以一個指數
下一條法則,回答的是你將不斷追問的一個問題:把 f(t) 乘以一個指數 e^{at},會對它的變換做什麼?第一平移定理給出乾淨的答案——它只是把變換在 s 中橫向平移。確切地說,L{e^{at} f(t)}(s) = F(s - a),其中 F(s) = L{f}(s)。在時間裡用 e^{at} 去衰減或放大一個信號,它的整個變換便沿 s 軸滑動 a。證明只有一行,值得一看:那個 e^{at} 與定義積分裡本就有的 e^{-st} 融為一體,把 e^{-st} e^{at} 變成 e^{-(s-a)t},這恰好就是原被積函數在 s - a 而非 s 處取值。
這條小法則貴比黃金,因為「指數乘以某物」在應用裡無處不在。一個阻尼振盪 e^{-t} cos(omega t),是每一個電路、每一個減震器的家常便飯。你已經知道 L{cos(omega t)} = s/(s^2 + omega^2)。要得到阻尼版本,你不必重做任何積分——只需把 s 換成 s + 1(這裡 a = -1):L{e^{-t} cos(omega t)} = (s + 1)/((s + 1)^2 + omega^2)。時間世界裡的每一個 e^{at},到變換世界裡就成了一次老老實實的平移 s -> s - a,而這單單一次代換,便不費分文地處理了一大族衰減與增長的信號。
在時間中平移,以及伸縮
第一定理平移的是 s;它的鏡像則平移 t。設你把一個信號延遲——在時刻 a 之前什麼都不發生,到時刻 a 你的函數 f 才開始運行,整體後移。要老老實實地寫出一個「延遲並被接通」的信號,要用到赫維賽德階躍 u(t - a),它在 a 之前為 0、之後為 1。於是第二平移定理說:L{f(t - a) u(t - a)} = e^{-as} F(s)。時間裡一個純粹的延遲 a,到變換裡就成了乘以因子 e^{-as}。延遲在時間域裡凌亂,在 s 域裡卻輕而易舉——這正是拉普拉斯方法對那些會開關啟停的系統大放異彩的原因。
還有一條重塑法則,把這套幾何補全。伸縮定理告訴你拉伸時間軸會怎樣:對正常數 a,L{f(at)}(s) = (1/a) F(s/a)。把時間壓縮 a 倍,變換就在 s 中拉伸同樣的倍數,前面帶一個 1/a 來讓賬目老實——兩個域之間一筆乾淨的倒數交換。兩條平移加上這一條伸縮,讓你能把一個信號滑移、延遲、重新縮放,並立刻從一條表項就知道它的變換,全程不必重新打開那個定義 L 的反常積分。
皇冠上的寶石:導數的變換
現在輪到那條為整樁事業正名的法則。至此為止的一切都不過是便利;這一條,才是把微積分變成代數的法則。導數的變換是 L{f'(t)}(s) = s F(s) - f(0)。慢慢讀它:在時間裡求導,到變換世界裡就成了乘以 s——再加上一個修正項 f(0),它記得函數是從哪裡出發的。求導,第一卷裡那個艱難的極限運算,塌縮成了尋常的乘法。這就是整個級所立足的那點魔法。
那個 f(0) 從何而來?徑直來自分部積分,每當一個導數坐在積分裡頭,你在第一卷裡就會去取用的那一招。對從 0 到無窮的 e^{-st} f'(t) dt 的積分施以分部:邊界項 [e^{-st} f(t)] 從 0 到無窮,在下限處貢獻 -f(0)(而對乖巧的 f,在無窮處歸零),剩下的積分則重建出 s F(s)。所以那看似神奇的 s F(s) - f(0),不過是穿了燕尾服的分部積分。這個教訓既誠實又令人安心:沒有偷運進任何新東西——這就是第一年的微積分,只是用得巧妙。
First derivative: L{f'} = s F(s) - f(0)
Second derivative: L{f''} = s^2 F(s) - s f(0) - f'(0)
n-th derivative: L{f^(n)} = s^n F(s)
- s^(n-1) f(0)
- s^(n-2) f'(0)
- ...
- f^(n-1)(0)
Pattern: each derivative d/dt -> multiply by s,
and one initial value is peeled off per order.盯著二階導那一行,你已經能看出為什麼一整個微分方程會溶解。取一個受迫振子 y'' + omega^2 y = g(t),帶起始數據 y(0) 與 y'(0)。用線性和導數法則變換每一項:y'' 變成 s^2 Y(s) - s y(0) - y'(0),y 變成 Y(s),g 變成 G(s)。微分方程已經變成了一個關於 Y(s) 的純代數方程,而且——這是關鍵——初始條件 y(0) 與 y'(0) 是從正門走進來的,從一開始就烘進了代數裡,而非到最後才去擬合。用尋常代數解出 Y(s),再做逆變換。下一篇指南就把這整套當作自己的方法,用拉普拉斯變換求解初值問題。
鏡中寶石:積分的變換
如果求導是乘以 s,你大可猜到它的鏡像:積分理應除以 s——而它確實如此。積分的變換說:L{ 從 0 到 t 對 f(tau) dtau 的積分 }(s) = F(s)/s,沒有邊界修正項,因為積分從零起步。這絕非巧合——它是微積分基本定理映照進 s 域的樣子。求導與積分在時間裡互為逆運算;乘以 s 與除以 s 在變換裡互為逆運算。變換把第一卷微積分那份深刻的對稱,呈現為世上最廉價的算術。
這兩條法則合在一起,正是拉普拉斯變換成為工程師魔法棒的原因。一條電路定律也許會說,電容兩端的電壓正比於累積的電荷,而那是電流的積分——電感的電壓則正比於電流的變化率,一個導數。於是單單一個電路,就能在一個方程裡同時混入同一個未知量的導數和積分,一個在時間裡看著嚇人的積分微分方程。把它變換:每個導數變成乘以 s,每個積分變成除以 s,整團亂麻就成了一個關於 F(s) 的有理方程,連個少年都能把它重新整理。變換,做代數,再變換回來——整片微積分運算的森林,被壓平成一塊代數的平原。
這裡欠一句對小字條款的誠實。這些導數與積分法則,假定 f 足夠乖巧,使變換存在、且邊界項在無窮處歸零——具體說,就是 f 的增長不快於某個指數,並且相關的導數本身也可變換。這正是上一篇裡那個存在性條件在這裡悄悄地幹活。力學與電路裡的多數函數都輕鬆滿足它,但這些法則是帶前提的定理,而非無條件的咒語。當驅動項是一個階躍或一個衝激時,你還須小心對待一個不連續對象的導數——這個微妙之處,後面那篇講開關與狄拉克 delta 的指南會正面迎擊。
整隻工具箱,以及如何揮舞它
退後一步,這些運算法則便構成兩個世界之間一部連貫的詞典。在時間域,你有加法、指數調制、延遲、時間拉伸、求導、積分;每一個都翻譯成 s 一側一個俐落的動作。這部詞典,才是你真正用來解題的東西,而流程從不變化:
- 把整個問題變換進 s 域。逐項施用線性,對每個 y'、y'' 施用導數法則,對任何累積量施用積分法則——初始條件就在這一步自動進場。
- 解出由此得到的代數方程,求未知的變換 F(s) 或 Y(s)。這裡全無微積分——只是乘開、合併同類項、再相除。
- 把答案重塑成可查表的片段。用部分分式拆開;把一個 s -> s - a 的樣式認作第一平移定理;把一個 e^{-as} 因子認作第二平移定理給出的延遲。
- 用逆變換把每一片讀回時間域,同樣逐項進行,再相加。這個和就是你的解 y(t),初始條件已然滿足。
注意真正的活兒有多少落在第 3 步——那個重塑。正向法則是機械的;技藝在於認出你在回程路上遇到的某個變換,而兩條平移定理正是你為此所用最鋒利的工具。F(s) 裡一個 e^{-2s} 因子,不是一道要積分掉的難關——它是一面旗,寫著「一份在 t = 2 接通的延遲副本」,靠第二定理一眼就能讀出。把這區區幾條法則練到成為反射動作,拉普拉斯方法就不再像魔法,而開始顯出它的本來面目:一次精確而誠實的翻譯,讓尋常的代數,去挑起當年微積分才扛得動的重活。