基本介紹
- 中文名:終值定理
- 外文名:final value theorem
- 套用學科:信號與系統
- 類型:連續系統和離散系統兩種情況
- 基礎知識:系統函式和極零點分析相關知識
- 套用:計算自控原理中的穩態誤差
連續系統,定理內容,證明,典例,離散系統,定理內容,典例,難點和建議,注意事項,其它套用,
連續系統
定理內容
連續系統的拉普拉斯變換對應的終值定理如下所示:
設有連續函式f(t),當t趨於無窮時,f(t)的極限存在,且有:
![終值定理 終值定理](/img/9/273/nBnauMzY5UGZ4IzNzAjNmBTOzQTZwYzN1czMhdTMlFzYmZ2Y2IjM4kTYyQzLptWa39yYpB3LltWahJ2Lt92YuUHZpFmYuMmczdWbp9yL6MHc0RHa.jpg)
則終值定理可表達為:
![](/img/8/8ae/d9b210563a3daa76437c8038b50c.jpg)
該定理說明了,當滿足一定使用條件時,可由S域的象函式直接得到時域連續函式的終值。
注意:終值定理是取
的極限,因而s=0的點應在sF(s)的收斂域內,否則不能套用終值定理。
![](/img/9/e6e/438fc675005ef151ed2a7aa474fd.jpg)
證明
由微分定理,有
![](/img/e/e33/263e6a98868facbba7c4ae682a1f.jpg)
令
,對等式兩邊取極限,得
等式左邊為
於是有
![](/img/9/e6e/438fc675005ef151ed2a7aa474fd.jpg)
![](/img/9/644/408a1a986557da419991c7a1e4b5.jpg)
![](/img/7/9c0/3ca844baeeb77c1cec32cde69dbd.jpg)
![](/img/c/c06/2055eb39524f5fefc094912e5d5f.jpg)
即
。
![](/img/9/eb2/0fe02a734a7db88dd056ca3e3839.jpg)
典例
如函式f(t)的象函式
,
。
![](/img/c/37e/12b6e86f69324730f34e81601826.jpg)
![](/img/b/4dc/3c978365f7d4aac1923b3d4c7a6a.jpg)
求原函式f(t)的初值和終值。
解:(1)由初值定理,得:
;
![](/img/9/41e/7ef3537d6a1ac7640cbb9e69eae7.jpg)
由F(s)的原函式
,顯然以上結果對a>0或a<0都是正確的。
![](/img/9/592/dac4f26ee8a0fcbac11a2da7f45d.jpg)
(2)由終值定理,得:
,
![](/img/0/ffd/238a13cc27faa196aadaa059f37f.jpg)
① 若a>0,則有
;
![](/img/1/a45/fde0434a922e6c1ef3a10390c5ca.jpg)
② 若a=0,則有
;
![](/img/8/b70/dc35afc250a41e81e683467e1243.jpg)
③若a<0,則有
;
![](/img/1/a45/fde0434a922e6c1ef3a10390c5ca.jpg)
對於a≥0,
的收斂域分別為
,和
,顯然 s=0在收斂域內,因而結果 ①②正確;對於a<0,sF(s)的收斂域為Re[s]>-a=|a|,s=0不在收斂域內, 因而結果③不正確,由F(s)的原函式容易驗證以上的結果。
![](/img/3/67b/8bfa37b71e8fef8fc9b23639bb49.jpg)
![](/img/0/b15/d93aa6b0bb4232dc52d70c334e8b.jpg)
![](/img/8/075/b54ee47cef70c7b28da72f5d318d.jpg)
離散系統
定理內容
![](/img/4/d22/027895042549bc378d4c6f18e4c4.jpg)
終值定理適用於右邊序列,用於由象函式直接求得序列的終值,而不必求得原序列。
如果序列在k<M時f(k)=0,設:
,
,且
,
![](/img/e/e1c/7b8374e3c786ec80aae056b8049e.jpg)
![](/img/5/b87/d538160f73f67f2b6f6de02ea0a3.jpg)
![](/img/9/afa/d522cfcbf2ebff641cee99dfcb3f.jpg)
則序列的終值 :![](/img/c/ff0/4b3c81c2b4e4e35293921845599d.jpg)
![](/img/c/ff0/4b3c81c2b4e4e35293921845599d.jpg)
或寫為:![](/img/2/359/0a18251c48dac1645b6de0786ff6.jpg)
![](/img/2/359/0a18251c48dac1645b6de0786ff6.jpg)
上式中是取
的極限,因此最終終值定理要求z=1在收斂域內(即0≤a<1),這時
存在。
![](/img/7/5b1/3cde0dbddca292f7e88f2b58dba6.jpg)
![](/img/c/ea3/bae0ebf9d7e6946556ffc2e97aca.jpg)
典例
某因果序列的z變換為(設a為實數):
,
![](/img/8/da4/95c472ebf43e65ea97aca19d76c4.jpg)
求
。
![](/img/3/d7b/f0cb1f71cbcaf8fb150e758e7f35.jpg)
解:
(1)利用初值定理可得
![](/img/3/d5c/71984090623346ade9ffe7b94daf.jpg)
![](/img/a/1c6/7265114e29bce4b6bd0998a771c4.jpg)
![](/img/7/103/1858b4e2fa83d0c50d51527a4190.jpg)
上述象函式的原序列為
,可見以上結果對任意實數a均正確。
![](/img/3/49c/e2c52aa32942b27f28bef6530f48.jpg)
(2)利用終值定理可得
① 當|a|<1時
![](/img/9/a3d/e16208c5d9797d6e5297621dd5f1.jpg)
z=1在F(z)的收斂域內,終值定理成立,因而有:
![](/img/4/248/ad81c55402c3a9b2763fdac77aa3.jpg)
不難驗證,原序列
,故|a|<1時以上結果正確。
![](/img/5/54f/740c9d6fd8b3fde22815850c2a14.jpg)
② 當|a|=1時
若a=1,則有
,此時原序列
,結果正確。
![](/img/9/0b9/32b3ff5d526c4b8d744c69bdabaf.jpg)
![](/img/6/8a1/87802ebfb2dd43107e7787a50370.jpg)
若a=-1,則有
,此時原序列
,這時
不收 斂,因而終值定理不成立。
![](/img/4/16a/1cf1aa19f6ad6022c55478828b46.jpg)
![](/img/0/3a9/bb47f573539caebc5f501949d1e3.jpg)
![](/img/1/b2f/709e71012caea5a0fbed75f56ed4.jpg)
③ 當|a|>1時,z=1不在收斂域內,終值定理也不成立。
難點和建議
難點:現有的多數教材與參考書均直接給出了定理的使用條件和證明過程的敘述方式,並未解釋為何使用定理時需要條件的限定,而且在證明過程中,往往迴避了連續信號中含有衝激函式項的情況。這樣的處理方式割裂了定理使用條件和定理內容之間的聯繫,使讀者在學習過程中感到十分困惑。
建議:首先從定理的使用條件出發,分析特定象函式的拉普拉斯逆變換; 其次尋找定理使用條件與定理本身之間的關聯;最後再給出定理的嚴格證明,即先從頻域到時域進行引導,再從時域到頻域證明。
注意事項
- 終值定理的使用條件是當t趨於無窮時,連續函式f(t)的極限存在,或者說s=0在sF(s)的收斂域內,需結合收斂域的知識。
- 需理解系統函式和極零點分析相關知識。
- 已知f(t)為因果函式,則有:
(1)當收斂域包含S域虛軸時,s=0在sF(s)的收斂域內,滿足終值定理使用條件;
(2)當收斂域剛好在虛軸上時,只有階躍函式ε(t)的終值存在;
(3)當收斂域不包含虛軸時,時域函式一般為發散函式,終值肯定不存在,也就無法使用終值定理。
(4)終值定理的使用條件和初值定理不同,只要終值存在,即收斂域滿足使用條件即可。當F(s)為假分數時,同樣可以使用定理。
其它套用
可用於計算自控原理中的穩態誤差。
使用時應注意:必須明確終值定理的套用條件,f(t)的拉氏變換F(s)在s右半平面及虛軸上解析,即沒有極點,計算時首先應該判斷系統的穩定性。