Final Value Theorem

Final Value Theorem

Introduction to Final Value Theorem

The final value theorem is used to determine the final value in time domain by applying just the zero frequency component to the frequency domain representation of a system.

The Laplace Transform of a continuous time-domain signal x(t)x(t) is:

L[x(t)]=X(s)

where the Laplace Transform operation is defined as:

X(s)=∫∞0x(t)e−stdt

The final value theorem states:

limt→∞x(t)=lims→0sX(s)

Exceptions

In some cases, the final value theorem appears to predict the final value just fine, although there might not be a final value in time domain. This applies to oscillatory systems, which are systems without damping, and unstable systems, in which one or more poles are located in the right half plane.

The two checks summarized:

  1. All non-zero roots of the denominator of X(s) must have negative real parts (see this article: Transfer Function Stability - Interesting Facts about Polynomial Form)
  2. X(s) must not have more than one pole at the origin.

Example 1

Find the final time-domain value of the following signal in the Laplace-domain form:

Y(s)=10s(s−5)

Answer:

limt→∞y(t)=lims→0sY(s)=lims→0s10s(s−5)=lims→0s1s2=lims→01s=∞

The pole is in the right-half plane: the final value theorem is not applicable (although the result is the same - the transfer function has unbounded output).

Web-based Simulator Check (move the scope to the appropriate transfer function). Note that the Laplace Transform of the step function is 1/s:

Example 2

Find the final time-domain value of the following signal in the Laplace-domain form:

Y(s)=s−20s(s+8)

Answer:

limt→∞y(t)=lims→0sY(s)=lims→0s(s−20)s(s+8)=lims→0s−20s+8=−208=−2.5

Example 3

Find the final time-domain value of the following signal in the Laplace-domain form:

Y(s)=s+20s(s−8)

Answer:

limt→∞y(t)=lims→0sY(s)=lims→0s(s+20)s(s−8)=lims→0s+20s−8=20−8=−2.5(incorrect)

Example 4

Find the final time-domain value of the following signal in the Laplace-domain form:

Y(s)=1s(s2+81)

Answer:

limt→∞y(t)=lims→0sY(s)=lims→0s1s(s2+81)=lims→01(s2+81)=181(incorrect)

Example 5

Find the final time-domain value of the following signal in the Laplace-domain form:

Y(s)=1s(s2+10s+81)

Answer:

limt→∞y(t)=lims→0sY(s)=lims→0s1s(s2+10s+81)=lims→01(s2+10s+81)=181

Final Value Theorem Proof

Let's start with the Laplace Transform definition:

X(s)=∫∞0x(t)e−stdt

Take the derivative:

sX(s)−x(0)=∫∞0dx(t)dte−stdt

Take the limit of both sides:

lims→0(sX(s)−x(0))=lims→0(sX(s))−x(0)=lims→0∫∞0dx(t)dte−stdt

Limit of an integral is the integral of a limit:

lims→0sX(s)−x(0)=∫∞0lims→0dx(t)dte−stdt

Cancel out dt:

lims→0sX(s)−x(0)=∫∞01dx(t)=x(∞)−x(0)

Cancel out x(0):

lims→0sX(s)=x(∞)

Discrete-Time Form of the Initial Value Theorem

The final value theorem states:

limk→∞x[k]=limz→1(z−1)X(z)

This is based on the relationship between "s" and "z":

z=e−st

"Z" becomes 1 for infinite time.

More about the Laplace-domain and Z-domain connection is here: RELATIONSHIP BETWEEN S/Z PLANES AND TIME DOMAIN