握住整個系統的一個比值
上一篇把卷積定理交到你手裡:在 s 域中,輸出的變換不過是乘積 Y(s) = H(s) * F(s),其中 F(s) 是輸入的變換。那個小小的 H(s) 值得一個名字和久久的凝視,因為它正是本篇的主角。它就是轉移函數——這單一物件描述了一個線性、常係數系統對你餵入的任何東西所做的一切。學會讀懂 H(s),你便能不必再解任何新的微分方程,就預測系統的行為。
H(s) 從何而來?取任何常係數的線性 ODE,比如 a y'' + b y' + c y = f(t),並在所有初始條件設為零的情況下變換它——我們問的是這系統「靠自己」會怎麼動,不帶任何過去殘留的能量。導數法則把左邊化為 (a s^2 + b s + c) Y(s),於是變換後的方程是 (a s^2 + b s + c) Y = F。解出 Y,答案乾淨地分離開來:Y(s) = [1 / (a s^2 + b s + c)] * F(s)。那個括號就是 H(s)。它是轉移函數,只依賴於系統本身——那些質量、彈簧、電阻——而絕不依賴於特定的輸入。
從另一側看脈衝響應
這裡有一個把本節串起來的優美恆等式。當輸入是單一道銳利的衝擊——在 t = 0 的一個 Dirac δ 函數——輸出是什麼?它的變換是 F(s) = 1,是最簡單的輸入了,所以 Y(s) = H(s) * 1 = H(s)。換句話說,轉移函數正是你兩篇之前見過的脈衝響應的變換。這兩個想法其實是同一個物件穿著兩套戲服:H(s) 活在 s 域,而它的反變換 h(t) 是系統在時域裡對一記單位衝擊的反應。
這正是卷積定理與轉移函數彼此契合得如此完美的緣由。在時域中,輸出是卷積 y(t) = (h * f)(t)——脈衝響應沿著輸入的整段歷史被抹開。到了 s 域,那番抹開就化為乾淨的乘積 Y = H F。轉移函數,毫不誇張地說,就是系統對單一瞬間之響應在 s 域裡的影子。一旦你知道了某系統的 h(t),你就知道它對每一種輸入的響應,因為任何輸入都是一場由無數小衝擊組成的密集風暴,而系統不過是把它們的響應加總起來。
極點:分母歸零之處
現在仔細端詳 H(s) 的形狀。在我們的例子裡它是 1 / (a s^2 + b s + c)——一個多項式的比值,而你會遇到的幾乎每一個轉移函數都是如此。使分母為零的那些 s 值,就是系統的極點,H(s) 在那裡衝向無窮。它們是整個主題中最重要的數。而你早就知道怎麼找它們了,因為分母 a s^2 + b s + c 恰恰就是你在常係數那一章寫下的特徵多項式。極點無非就是特徵方程的根,只是循著一條新路抵達。
為何稱它們為極點,又為何要在意?因為每個極點掌管著時域答案裡的一個模態。當你對 Y(s) 做部分分式以反變換時,每個極點 r 會貢獻一項,而表會把它變回 e^(r t)。一個位於 r = -2 的實極點給出衰減的 e^(-2 t);一對複極點 r = -1 ± 3 i 給出衰減的振盪 e^(-t) cos(3 t)。極點的實部決定那一塊增長或衰減的快慢;虛部決定它振盪的快慢。y(t) 的整體行為就由這些塊組裝而成,每個極點一塊,所以極點正是系統的指紋。
pole at s = r time-domain piece what it does
----------------------- --------------------- ---------------------------
real, r < 0 (e.g. -2) e^(r t) decays to 0
real, r > 0 (e.g. +1) e^(r t) blows up
real, r = 0 constant (1) neither -> marginal
complex, p +/- q i, p<0 e^(p t) cos(q t) decaying oscillation
complex, p +/- q i, p=0 cos(q t) undamped ring -> marginal
complex, p +/- q i, p>0 e^(p t) cos(q t) growing oscillation
Rule of thumb: real part < 0 -> that mode dies out.
real part > 0 -> that mode explodes.穩定性,直接從極點讀出
這裡就是讓工程師鍾愛轉移函數的回報。想像複數 s 平面,實軸左右橫陳、虛軸上下豎立。把所有極點畫成點。本篇最有用的單一事實是:一個系統穩定,恰好當每個極點都嚴格地落在左半平面、實部為負之時。每個極點都在左邊,意味著每一塊 e^(r t) 都衰減,於是任何擾動都會消亡,系統回到靜止。這就是漸近穩定,而你一眼就能看出,無需計算任何一個解。
其他情形讀起來同樣迅速。若哪怕只有一個極點落在右半平面(實部為正),那個模態便像 e^(r t) 般無界增長,系統就不穩定——任何一推都會爆掉。若有極點恰好坐在虛軸上(實部為零)、且沒有任何極點更靠右,系統便是臨界穩定:它既不衰減也不增長,而是永遠振盪下去,就像一個無阻尼的彈簧,或一個毫無損耗的理想輸入—輸出系統。一個落在軸上的重根更糟,會像 t 一樣增長——所以這條分界線著實微妙。
極點告訴不了你的事
轉移函數這幅圖景很有威力,但要對它的侷限看得清楚。第一,極點支配的是長期行為——系統在 t 增大時會怎樣——而一個穩定系統的穩態,可以用終值定理讀出。但那條定理只在系統已經穩定時才有效;把它用在一個不穩定的轉移函數上,它會交給你一個自信滿滿、卻完全錯誤的數字。在你信任任何終值結論之前,極點必須先落在左半平面。
第二,這整套乾淨的故事屬於線性、常係數的系統。一旦方程是非線性的,就沒有單一的轉移函數、也沒有固定的一組極點——H(s) 根本不存在。穩定性於是變成一個逐個平衡點回答的局部問題,而誠實的工具是在某個靜止點附近做線性化、再讀出所得矩陣的特徵值,這跟極點是同一個想法的化身,但只在那一點附近才有效。遠離平衡點、或在一個非雙曲點上,連那也可能誤導你。轉移函數是線性性的一份禮物,並非放諸四海的定律。
不過要牢牢抓住其核心,因為它確實深刻。一個比值 H(s) 編碼了一整個線性系統;它分子的根(零點)塑造它會擋掉哪些輸入,它分母的根(極點)則決定它會安定、歌唱、還是尖嘯。穩定性是一個幾何事實——極點落在左半平面——而你常常能直接從係數的正負號就核對它。這正是整節一路搭建所要通往的橋:從一次解一條 ODE,到一眼讀出一個系統的性格,這是控制工程與訊號處理的日常語言。