终值定理

Template:NoteTA 在数学分析中，终值定理（Final Value Theorem, FVT）是将时间趋于无穷时的时域表达式与频域行为建立联系的许多定理之一。终值定理允许直接对频域表达式取极限来计算时域行为，无需先转换到时域表达式再取极限。

在数学上，如果

$\underset{t\to \mathrm{\infty }}{\lim }f(t)$

有一个有限极限，那么

$\underset{t\to \mathrm{\infty }}{\lim }f(t)=\underset{s\to 0}{\lim }sF(s)$

其中 $F(s)$ 为 $f(t)$ 的（单边）拉普拉斯变换。

同样，在离散时间中

$\underset{k\to \mathrm{\infty }}{\lim }f[k]=\underset{z\to 1}{\lim }(z-1)F(z)$

其中 $F(z)$ 为 $f[k]$ 的Z轉換。

证明

通过对导数的拉普拉斯变换定义积分得：

$\underset{s\to 0}{\lim }\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{df(t)}{dt}{e}^{-st}dt=\underset{s\to 0}{\lim }[sF(s)-f(0)]$

如果右侧的无穷积分存在，则积分的极限可以写作极限的积分，因此：

$\underset{0}{\overset{\mathrm{\infty }}{\int }}\underset{s\to 0}{\lim }\frac{df(t)}{dt}{e}^{-st}dt=\underset{0}{\overset{\mathrm{\infty }}{\int }}df(t)=f(\mathrm{\infty })-f(0)$

通过令上面两个等式的右侧相等，两边同时消去 f(0) 得：

$f(\mathrm{\infty })=\underset{s\to 0}{\lim }[sF(s)]$

终值定理成立的例子

例如，一个传递函数为

$H(s)=\frac{6}{s+2},$

的系统，脈衝響應收敛于

$\underset{t\to \mathrm{\infty }}{\lim }h(t)=\underset{s\to 0}{\lim }\frac{6s}{s+2}=0.$

即系统在受到一个短暂的冲激后回归零值。而单位阶跃响应的拉普拉斯变换为

$G(s)=\frac{1}{s}\frac{6}{s+2}$

因此，阶跃响应收敛于

$\underset{t\to \mathrm{\infty }}{\lim }g(t)=\underset{s\to 0}{\lim }s\frac{1}{s}\frac{6}{s+2}=\frac{6}{2}=3$

于是一个零状态系统会按照指数增长到终值3。

终值定理不成立的例子

然而，对于传递函数为

$H(s)=\frac{9}{s^2+9},$

的系统，终值定理似乎预测冲激响应的终值为 0 而阶跃响应的终值为 1。但是时域极限不存在，所以预测没有价值。事实上，无论冲激响应还是阶跃响应都会振荡，并且（在这种特殊情况下）终值定理描述的是响应震荡的平均值。

在控制理论中有两种检验终值定理结果有效性的方法：

1. $H(s)$ 使分母为零之所有非零根的實部必须为负值。
2. $H(s)$ 在原点处不能有多于一个极点。

这个例子不满足规则1，因为分母为零的根为 $0+j3$ 和 $0-j3$。

参见

• 初值定理
• Z轉換
• 拉普拉斯变换

外部链接

• -{R|https://archive.today/20130119194726/http://wikis.controltheorypro.com/index.php?title=Final_Value_Theorem}-
• -{R|http://fourier.eng.hmc.edu/e102/lectures/Laplace_Transform/node17.html}- Template:Wayback Final value for Laplace
• -{R|https://web.archive.org/web/20110719222313/http://www.engr.iupui.edu/~skoskie/ECE595s7/handouts/fvt_proof.pdf}- Final value proof for Z-transforms