指數階(exponential order)
想像兩名跑者在一條無限延伸的跑道上。一名是你關心的函數 f(t);另一名是純指數 e^(at)。說 f 具有指數階,就是說遲早那名指數跑者快到足以永遠領先 f。只要某個指數能跑贏你的函數,拉普拉斯變換的衰減權重 e^(-st) 就能馴服它。
正式地說,f(t) 具有指數階,是指存在常數 M > 0、a 與某個時刻 T,使得對所有 t >= T 都有 |f(t)| <= M e^(at)。換句話說:過了某點 T 之後,f 的大小永遠不超過一個固定指數的固定倍數。函數可以增長——甚至指數增長——但不能比某個指數還快。這是兩個存在條件中的第二個。它為何有效,直覺如下:變換積分含有 f(t) e^(-st);若 |f(t)| <= M e^(at),則 |f(t) e^(-st)| <= M e^(-(s - a) t),而當 s > a 時這個界衰減得夠快使積分收斂。門檻 s > a 正是 F(s) 存在的 s 下限。
這裡藏著一個誠實的告誡:並非每個函數都過關。經典的失敗例子是 f(t) = e^(t^2)。無論你把 a 取得多大,拋物線指數 t^2 終究勝過線性指數 a t,所以沒有指數能蓋住它——而 e^(t^2) 根本沒有拉普拉斯變換。好消息是,幾乎每個來自現實模型的函數(多項式、指數、正弦及其組合)都從容地具有指數階,所以實務上不必特地檢查就已滿足。
f(t) = t^3 具有指數階:對任意 a > 0,t^3 終究會留在 e^(at) 之下,所以過了某個 T 後 |t^3| <= e^(at)。因此 L{t^3} 對 s > 0 存在。但 f(t) = e^(t^2) 不具指數階,沒有變換。
冪比任何指數都慢;e^(t^2) 比所有指數都快。
指數階與分段連續一起是充分條件——它保證變換存在,但對每個函數而言並非嚴格必要。不過它涵蓋了你會遇到的一切,所以就把它當成可用的準則。