不論是傅里葉變換的頻域仍是拉普拉斯變換的\(s\)域(下面統稱\(s\)域),都是深刻討論LIT系統的有力工具,有時甚至是必備工具。\(s\)域的系統函數和時域的信號(單位衝激響應)是一對共生體,它們經過拉普拉斯變換生成彼此,同時也是鏈接兩個域的紐帶。對一個函數解析式,常常要對它作一些常規的分析操做,好比運算、平移、縮放、微積分、卷積等。一個很天然的問題是,在某個域的分析操做會對另外一個域帶來什麼影響呢?本篇就來討論這個問題。函數
在正式討論以前,有必要再回顧一下拉普拉斯變換的公式。你可能一開始就注意到,正反變換存在必定的「對稱性」,而僅在局部有微小差異。在數學上,兩個概念若是經過相似的方法互相定義,它們就稱爲對偶的,從形式上不難看出,互爲對偶的概念的性質也是對偶存在的,這就省去了類似論證的麻煩。信號\(x(t)\)和拉普拉斯變換\(H(s)\)之間不具備嚴格的對偶性,但這樣的類似性仍然能夠被使用。若是記\(\chi(\omega)=\dfrac{e^{\sigma}}{\sqrt{2\pi}}X(\sigma+j\omega)\),將獲得更爲對稱的式(1),把這個關係記做變換\(T\),顯然有式(2)成立。之後變換的性質若是自己不是對稱的,能夠運用該式迅速獲得另外一個對稱的性質,固然簡單的性質直接證實會更快。工具
\[x(t)=\dfrac{1}{\sqrt{2\pi}}\int_{-\infty}^{\infty}\chi(\omega)e^{j\omega t}\,\text{d}\omega;\;\;\chi(\omega)=\dfrac{1}{\sqrt{2\pi}}\int_{-\infty}^{\infty}x(t)e^{-j\omega t}\,\text{d}t\tag{1}\]數學
\[x(t)\,\overset{T}\leftrightarrow\,\chi(\omega)\;\;\Leftrightarrow\;\;\chi(t)\,\overset{T}\leftrightarrow\,x(-\omega)\tag{2}\]基礎
如下按函數運算的複雜程度,羅列LT的基本性質,過於直白的結論不加證實。須要注意的是,性質成立有它本身的ROC,並不徹底受限於原LT的ROC。還有咱們知道,ROC和積分在具體的\(s\)上的收斂性是不一樣的,如下性質在ROC外的收斂點仍然能夠是成立的。變量
首先是函數的線性運算,在\(s\)域也是線性的(式(3))。而後看函數的平移,容易有式(4)左成立,在\(s\)域的平移還有式(4)右成立,這是一組對偶性質。當對函數進行伸縮時,頻譜系數也跟着反比例伸縮(式(5)左);特別地,\(a=-1\)時表示函數左右翻轉(旋轉180度),\(s\)域則也跟着旋轉180度(式(5)右)。須要說明的是,LT是定義在實變量的複函數上的,故\(x(t)\)也能夠是復值函數。對LT右式兩邊取共軛(用\(x^*\)表示),再將\(s\)換成\(s^*\),即獲得\(x^*(t)\)的FT(式(6)左);對於實信號有\(x^*(t)=x(t)\),從而有式(6)右的頻譜關係。方法
\[ax(t)+by(t)\;\overset{L}{\leftrightarrow}\;aX(s)+bY(s)\tag{3}\]im
\[x(t-t_0)\;\overset{L}{\leftrightarrow}\;e^{-st_0}X(s);\;\;\;e^{s_0t}x(t)\;\overset{L}{\leftrightarrow}\;X(s-s_0)\tag{4}\]總結
\[x(at)\;\overset{L}{\leftrightarrow}\;\dfrac{1}{|a|}X(\dfrac{s}{a});\;\;x(-t)\;\overset{L}{\leftrightarrow}\;X(-s)\tag{5}\]co
\[x^*(t)\;\overset{L}{\leftrightarrow}\;X^*(s^*);\;\;X(s)=X^*(s^*)\tag{6}\]生成
本段來討論LT在微積分下的性質,論證中會用到微分、積分順序的交換,這能夠由函數的一致收斂性獲得(見微積分)。首先對LT逆變換式的兩邊分別取微分,可得式(7),它就是\(x'(t)\)的拉普拉斯展開,因此頻譜函數就是\(sX(s)\)(式(8)左)。一樣的方法,也能夠獲得\(s\)域微分的性質(式(8)右)。逆向使用微分性質,便能獲得時域積分的LT公式(9),當\(s=0\)時性質不成立,但不影響公式在其它\(s=j\omega\)上成立。
\[x'(t)=\dfrac{1}{2\pi}\int_{-\infty}^{\infty}X(s)se^{st}\,\text{d}\omega\tag{7}\]
\[\dfrac{\text{d}x(t)}{\text{d}t}\;\overset{L}{\leftrightarrow}\;sX(s);\;\;-tx(t)\;\overset{L}{\leftrightarrow}\;\dfrac{\text{d}X(s)}{\text{d}s}\tag{8}\]
\[\int_{-\infty}^tx(\tau)\,\text{d}\tau+C\;\overset{L}{\leftrightarrow}\;\dfrac{X(s)}{s}\tag{9}\]
在微積分中咱們知道,任何非奇異函數與三角函數\(\cos\omega t\)的積分,在\(\omega\to\infty\)時老是趨於\(0\)的。從而在拉普拉斯變換中,當\(s\to\infty\)時(延虛軸方向)必定有\(X(s)\to 0\)。當\(x(t)\)含有奇異值時,這個性質再也不成立,好比容易算得\(\delta(t)\)的LT是\(1\)。若是\(x(t)\)的(高階)微分仍不是奇異函數,利用公式(8)能夠繼續獲得當\(s\to\infty\)時\(s^kX(s)\to 0\)。\(x'(t)\)出現奇異值(好比僅在\(t=0\)處)的常見緣由是,\(x(t)\)出現了值跳變\(\Delta=x(0^+)-x(0^-)\)。這時能夠把\(x(t)\)拆成\(\Delta u(t)+g(t)\),則\(g(t),g'(t)\)都是非奇異的,對等式兩邊作拉普拉斯變換並整理得式(10)(\(u(t)\)的LT爲\(1/s\))。當\(s\to\infty\)時(延虛軸方向)\(sG(s)\to 0\),因此有式(11)左成立;當\(s\to 0\)時回到\(g'(t)\)的LT公式,可算得\(sG(s)\to g(+\infty)-g(-\infty)\),加上\(\Delta\)便有式(11)右成立。課本上還假定\(x(t)\)在\(t<0\)時爲\(0\),便可以有\(x(-\infty)=x(0^-)=0\),這時的結論會更簡潔一點,分別叫初值定理和終值定理。
\[x(t)=\Delta u(t)+g(t)\;\Rightarrow\;sX(s)=\Delta+sG(s)\tag{10}\]
\[\lim_{s\to\infty}sX(s)=x(0^+)-x(0^-);\;\;\lim_{s\to 0}sX(s)=x(+\infty)-x(-\infty)\tag{11}\]
最後來看卷積\(x(t)*y(t)\)的拉普拉斯變換,它在LIT中能夠闡述爲:信號\(x(t)\)在單位衝激響應爲\(y(t)\)的系統下的輸出。\(X(s)\)是\(x(t)\)在基波\(e^{st}\)下的密度係數(先忽略統一系數\(\dfrac{1}{2\pi}\)),\(Y(s)\)是基波\(e^{st}\)在系統下的響應係數,這樣分支\(X(s)e^{st}\)的系統響應就是\(X(s)Y(s)e^{st}\),因此總響應函數的密度係數就是\(X(s)Y(s)\)。式(12)總結了這個重要的卷積性質,固然經過積分交換直接證實才是最嚴格的,請自行完成。卷積性質揭示了拉普拉斯分解對LIT系統的意義,時域的卷積在\(s\)域只是簡單的乘法。其實這個結果也沒什麼好意外的,從討論特徵函數起,咱們就在朝這個方向行進。
\[x(t)*y(t)\;\overset{L}{\leftrightarrow}\;X(s)Y(s)\tag{12}\]
傅里葉變換是拉普拉斯變換取\(s=j\omega\)的特殊狀況,故以上性質對FT也是成立的,請回顧以上性質並用\(j\omega\)帶入。作爲特殊狀況,傅里葉變換也必有本身獨有的性質,這裏專門進行闡述。比較有表明性的是式(13)的帕斯瓦爾定理(Parseval),你可使用\(|x(t)|^2=x(t)x^*(t)\)自行驗證,這裏從另外一個角度闡述。信號是一種能量,\(|x(t)|\)蘊含着能量的大小,式(13)左便是信號能量的度量公式(平方不只計算方便、也更符合現實意義)。另外不難證實,基波\(ae^{j\omega t}\)的能量是\(|a|^2\),且不一樣頻率基波的能量是互相獨立的。這就是定理的直觀解釋,頻譜系數\(X(j\omega)\)也被叫作能量譜。
\[\int_{-\infty}^{\infty}|x(t)|^2\,\text{d}t=\dfrac{1}{2\pi}\int_{-\infty}^{\infty}|X(j\omega)|^2\,\text{d}\omega\tag{13}\]
式(5)左信號的伸縮,會帶來頻譜系數反向的伸縮,係數\(1/|a|\)保證了能量守恆。信號的時移(式(4)左)在頻譜上只是乘上了函數\(e^{-j\omega t_0}\),它的意義是在對相位調製\(\omega_0 t_0\)而範數不變,這符合直觀感受。信號翻轉時正好也帶來頻域的翻轉(式(5)右),一對正負頻率其實就是相反方向的。對實函數的性質式(6),偶函數還知足\(x(t)=x(-t)\),從而有\(X(-j\omega)=X^*(-j\omega)\),即\(X(j\omega)\)爲實值函數;一樣可知實奇函數的\(X(j\omega)\)爲純虛值函數。
上面提到過,式(9)在\(s=0\)處不收斂,而在其它\(s=j\omega\)處仍然成立(若是\(x(t)\)的FT收斂),如今須要專門計算\(h(t)=\int_{-\infty}^tx(\tau)\,\text{d}\tau\)在基波\(e^0=1\)上的頻譜。若是\(h(+\infty)=X(0)\)存在,\(h(t)\)的平均值是\(X(0)/2\)(不嚴謹),因此它對\(1\)的頻譜就是\(X(0)\delta(t)/2\)。綜合便有\(h(t)\)的頻譜系數(式(14)),注意左部分要把\(\omega=0\)去掉。另外,卷積性質(10)不具備對稱性,利用對偶式(2)能夠推出式(15)的乘法性質,它是「幅度調製」理論的基礎。
\[\int_{-\infty}^tx(\tau)\,\text{d}\tau\;\overset{F}{\leftrightarrow}\;\dfrac{X(j\omega)}{j\omega}+\pi X(0)\delta(\omega)\tag{14}\]
\[x(t)y(t)\;\overset{F}{\leftrightarrow}\;\dfrac{1}{2\pi}X(j\omega)*Y(j\omega)\tag{15}\]
傅里葉級數能夠歸入傅里葉變換的公式,以上性質基本也適用於FS,只需把\(\omega\)換成\(k\omega_0\)、並注意頻譜系數的意義差異。但有兩個性質須要單獨論證,請自行證實。一個是帕斯瓦爾定理,式(16)將能量定義在一個週期上;另外一個是週期卷積性質(式(17)),周期函數的卷積只計算一個週期的積分。
\[\int_T|x(t)|^2\,\text{d}t=T\sum_{k\in\Bbb{N}}|a_k|^2\tag{16}\]
\[x(t)*y(t)\;\overset{FS}\leftrightarrow\; Ta_kb_k\tag{17}\]
這裏列舉一些基礎的系統函數,說它們基礎是指,它們簡單但能構建起更復雜的系統,或者經過變換性質將一個系統快速地生成爲另外一系統。先來看最簡單的\(\delta(t)\),直接帶入變換式便有式(18)左。它的直觀意義很明顯,將全部基波零相移地疊加,在\(t=0\)處會產生單位衝擊,而其它位置爲0。回到分解式能夠有\(\int_{-\infty}^{\infty}1\,\text{d}\omega=2\pi\delta(0)\),這個反直觀的結論在奇異函數的世界裏就是成立的,直接使用它能讓前面困難的推導順暢起來。繼續對\(\delta(t)\)微分便有式(18)右,這樣\(s\)的多項式的逆變換就都有了。
\[\delta(t)\;\overset{L}{\leftrightarrow}\;1;\;\;u_n(t)\;\overset{L}{\leftrightarrow}\;s^n\tag{18}\]
階躍函數\(u(t)\)的微分是\(\delta(t)\),根據積分性質可知頻譜系數爲\(\dfrac{1}{s}\),固然也能夠直接計算並獲得ROC是\(\sigma>0\)(式(19)左)。\(u(t)-1=-u(-t)\)的微分仍是\(\delta(t)\),它的LT也有非空的ROC(式(19)右)。式(19)提醒咱們,變換式不能惟一肯定逆變換,還須要加入ROC的因素。另外,有了簡單分式\(\dfrac{1}{s}\),利用\(s\)域的平移性質和積分性質,能夠獲得式(20)的變換(\(a\)爲複數)。組合二者就能獲得\(\dfrac{1}{(s-a)^n}\)的逆變換,固然把\(u(t)\)換成\(-u(-t)\)都還有一個解,且ROC爲\(\sigma<0\)。
\[u(t)\;\overset{L}{\leftrightarrow}\;\dfrac{1}{s},\;(\sigma>0);\;\;\;-u(-t)\;\overset{L}{\leftrightarrow}\;\dfrac{1}{s},\;(\sigma<0)\tag{19}\]
\[e^{at}u(t)\;\overset{L}{\leftrightarrow}\;\dfrac{1}{s-a};\;\;u_{-n}(t)=\dfrac{t^{n-1}}{(n-1)!}u(t)\;\overset{L}{\leftrightarrow}\;\dfrac{1}{s^n}\tag{20}\]
複數域內的任何分式均可以分解爲多項式和一些簡單分式\(\dfrac{1}{(s-a)^n}\)的和,故任何分式系統函數的逆變換都能給出。若是限定在實數域,分式還可能分解出二次項因子\(\dfrac{cs+d}{(s^2-2as+b)^n}\),其中二次項可寫成\((s-a)^2+\omega^2\)。二次項的兩個根爲\(a\pm j\omega\),能夠先在複數域求一次項的逆變換(先設\(a=0\)),再把共軛的一次項合併便能獲得式(21)。結合\(s\)域平移和卷積便能獲得通常二次項因子的逆變換,還要注意使用\(-u(-t)\)的另外一個解,至此實數域分式的逆變換也解決了。
\[\cos\omega t\cdot u(t)\;\overset{L}{\leftrightarrow}\;\dfrac{s}{s^2+\omega^2};\;\;\sin\omega t\cdot u(t)\;\overset{L}{\leftrightarrow}\;\dfrac{1}{s^2+\omega^2}\tag{21}\]