Final value theorem

In mathematical analysis, the final value theorem (FVT) is one of several similar theorems used to relate frequency domain expressions to the time domain behavior as time approaches infinity. A final value theorem allows the time domain behavior to be directly calculated by taking a limit of a frequency domain expression, as opposed to converting to a time domain expression and taking its limit.

Mathematically, if $f$ is bounded on $(0,\infty )$ and

$\lim _{t\to \infty }f(t)$

has a finite limit, then

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

where $F(s)$ is the (unilateral) Laplace transform of $f(t)$.

Likewise, in discrete time

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

where $F(z)$ is the (unilateral) Z-transform of $f[k]$.

Proof

Suppose for convenience that $|f(t)|\leq 1$ on $(0,\infty )$, and let $\alpha =\lim _{t\to \infty }f(t)$. Let $\epsilon >0$, and choose $A$ so that $|f(t)-\alpha |<\epsilon$ for all $t>A$. Since $s\int _{0}^{\infty }e^{-st}\,dt=1$, for every $s>0$ we have

$sF(s)-\alpha =s\int _{0}^{\infty }(f(t)-\alpha )e^{-st}\,dt;$

hence

$|sF(s)-\alpha |\leq s\int _{0}^{A}|f(t)-\alpha |e^{-st}\,dt+s\int _{A}^{\infty }|f(t)-\alpha |e^{-st}\,dt\leq 2s\int _{0}^{A}e^{-st}\,dt+\epsilon s\int _{A}^{\infty }e^{-st}\,dt=I+II.$

Now for every $s>0$ we have

$II<\epsilon s\int _{0}^{\infty }e^{-st}\,dt=\epsilon$.

On the other hand, since $A<\infty$ is fixed it is clear that $\lim _{s\to 0}I=0$, and so $|sF(s)-\alpha |<2\epsilon$ if $s>0$ is small enough.

Example where FVT holds

For example, for a system described by transfer function

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

and so the impulse response converges to

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

That is, the system returns to zero after being disturbed by a short impulse. However, the Laplace transform of the unit step response is

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

and so the step response converges to

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

and so a zero-state system will follow an exponential rise to a final value of 3.

Example where FVT does not hold

However, for a system described by the transfer function

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

the final value theorem appears to predict the final value of the impulse response to be 1 and the final value of the step response to be 0. However, neither time-domain limit exists, and so the final value theorem predictions are not valid. In fact, both the impulse response and step response oscillate, and (in this special case) the final value theorem describes the average values around which the responses oscillate.

There are two checks performed in Control theory which confirm valid results for the Final Value Theorem:

1. All non-zero roots of the denominator of $H(s)$ must have negative real parts.
2. $H(s)$ must not have more than one pole at the origin.

Rule 1 was not satisfied in this example, in that the roots of the denominator are $0+j3$ and $0-j3$.

See also

• Initial value theorem
• Z-transform
• Laplace Transform

External links

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