9.03 Mathematical Properties of the Laplace Transform | 9.05 Pole-Zero Analysis, Transfer Functions & s-Domain Stability
9.04 Initial and Final Value Theorems: Statements, Proofs, and Bounds
Core Idea
The Initial and Final Value Theorems are boundary-value gatekeepers in transform-domain analysis. They allow engineers to determine the instantaneous starting behavior () and the steady-state long-term DC behavior () of a continuous-time signal directly from its Laplace s-domain rational expression . By bypassing the mathematically intensive process of calculating inverse Laplace integrals or partial fraction expansions, these theorems serve as highly efficient diagnostic tools—provided the system’s boundary convergence constraints (poles restricted to the left-half s-plane for the Final Value Theorem) are strictly respected.
1. The Initial Value Theorem (IVT)
1.1 Mathematical Statement
For a continuous-time signal with a unilateral Laplace transform , if is causal {equal to zero for } and contains no impulses or higher-order singularities at the origin , then:
This theorem establishes a crucial frequency-to-time inverse mapping: the behavior of in the limit of extremely small time () is dictated by the high-frequency asymptotic behavior of as .
1.2 Step-by-Step Mathematical Proof
The proof of the Initial Value Theorem directly exploits the Laplace transform of a time derivative.
Step 1: Write the Laplace derivative equation
By the unilateral Laplace transform definition, the derivative property accounts for initial conditions evaluated just after the origin ():
ight\} = \int_{0^+}^{\infty} \left( rac{df(t)}{dt} ight) e^{-st} \, dt = s F(s) - f(0^+)$$ #### Step 2: Take the limit as $s$ approaches infinity on both sides $$\lim_{s o \infty} \int_{0^+}^{\infty} \left( rac{df(t)}{dt} ight) e^{-st} \, dt = \lim_{s o \infty} \left[ s F(s) - f(0^+) ight]$$ #### Step 3: Evaluate the left-hand integral limit Since the integration is with respect to time $t$, and the limit variable is $s$, we can permute the limit operation inside the integral under the assumption of uniform convergence (satisfied if the derivative $ rac{df(t)}{dt}$ is Laplace transformable): $$\int_{0^+}^{\infty} \lim_{s o \infty} \left[ \left( rac{df(t)}{dt} ight) e^{-st} ight] dt = \int_{0^+}^{\infty} \left( rac{df(t)}{dt} ight) \cdot \left( \lim_{s o \infty} e^{-st} ight) dt$$ For all positive time limits $t > 0$, the exponential damping factor decays to zero as $s o \infty$: $$\lim_{s o \infty} e^{-st} = 0 \quad ( ext{since } \sigma = \Re e(s) o \infty)$$ Therefore, the entire left-hand side integral collapses to zero: $$\int_{0^+}^{\infty} \left( rac{df(t)}{dt} ight) \cdot 0 \, dt = 0$$ #### Step 4: Isolate the initial value $f(0^+)$ Substituting the collapsed integral back into our limit equation: $$0 = \lim_{s o \infty} \left[ s F(s) - f(0^+) ight]$$ Since $f(0^+)$ is a constant independent of $s$, it can be pulled outside the limit operator: $$0 = \lim_{s o \infty} [s F(s)] - f(0^+) \implies f(0^+) = \lim_{s o \infty} s F(s) \quad lacksquare$$ --- ## 2. The Final Value Theorem (FVT) ### 2.1 Mathematical Statement For a causal continuous-time signal $f(t)$ with a unilateral Laplace transform $F(s)$, if the signal settles to a stable, finite steady-state value as $t o \infty$, then: $$\lim_{t o \infty} f(t) = \lim_{s o 0} s F(s)$$ This theorem maps time-domain steady-state behavior ($t o \infty$) to the extreme low-frequency DC boundary of the Laplace spectrum ($s o 0$). --- ### 2.2 Step-by-Step Mathematical Proof The proof of the Final Value Theorem similarly builds upon the Laplace transform of a derivative. #### Step 1: Write the Laplace derivative equation $$\int_{0^+}^{\infty} \left( rac{df(t)}{dt} ight) e^{-st} \, dt = s F(s) - f(0^+)$$ #### Step 2: Take the limit as $s$ approaches zero on both sides $$\lim_{s o 0} \int_{0^+}^{\infty} \left( rac{df(t)}{dt} ight) e^{-st} \, dt = \lim_{s o 0} \left[ s F(s) - f(0^+) ight]$$ #### Step 3: Evaluate the left-hand integral limit Assuming the integral converges uniformly, we permute the limit operator inside the integral boundary: $$\int_{0^+}^{\infty} \lim_{s o 0} \left[ \left( rac{df(t)}{dt} ight) e^{-st} ight] dt = \int_{0^+}^{\infty} \left( rac{df(t)}{dt} ight) \cdot \left( \lim_{s o 0} e^{-st} ight) dt$$ Since $\lim_{s o 0} e^{-st} = e^0 = 1$, the integral simplifies directly to the time-integration of the derivative: $$\int_{0^+}^{\infty} \left( rac{df(t)}{dt} ight) \cdot 1 \, dt = \int_{0^+}^{\infty} df(t) = \left[ f(t) ight]_{0^+}^{\infty} = f(\infty) - f(0^+)$$ #### Step 4: Isolate the steady-state final value $f(\infty)$ Substituting this result back into our limit equation: $$f(\infty) - f(0^+) = \lim_{s o 0} [s F(s)] - f(0^+)$$ Canceling the $f(0^+)$ terms on both sides of the equality yields: $$f(\infty) = \lim_{s o 0} s F(s) \quad lacksquare$$ --- ### 2.3 Critical Boundary Criteria & Stability Bounds The Final Value Theorem comes with a strict mathematical caveat that examiners frequently exploit: > [!theorem] The FVT Convergence Criterion > > The Final Value Theorem is **valid if and only if the system limit $\lim_{t o \infty} f(t)$ exists and is finite**. > In the complex $s$-plane, this requires that: > 1. All poles of $s F(s)$ must lie strictly in the **open Left-Half of the s-plane (LHP)**, meaning their real parts must be negative: $\Re e(p_i) < 0$. > 2. No poles of $s F(s)$ can lie in the Right-Half Plane (RHP) *{which causes exponential growth}* or on the imaginary $j\omega$-axis *{which causes persistent sinusoidal oscillation}*. > > *Note:* A simple pole at the origin $s = 0$ in the original transform $F(s)$ is permitted, as multiplying by $s$ cancels this pole, representing a stable step offset in the time domain. --- ## 3. High-Yield Solved "Exam Killers" ### 3.1 The 8-Mark 2021 KUET Exam Classic (Q. 6b) > [!question] Verbatim Exam Problem > > Find the initial and final values of the continuous-time function represented in the Laplace domain by: > $$F(s) = rac{17s^3+7s^2+s+6}{s^5+3s^4+5s^3+4s^2+2s}$$ #### Step 1: Stability Audit (Prerequisite for FVT) We must first verify if the Final Value Theorem is mathematically applicable to this function. Factor the denominator polynomial $D(s)$: $$D(s) = s^5 + 3s^4 + 5s^3 + 4s^2 + 2s = s(s^4 + 3s^3 + 5s^2 + 4s + 2)$$ Thus, $F(s)$ has a pole at the origin $s = 0$. Now analyze the poles of $s F(s)$: $$s F(s) = rac{17s^3+7s^2+s+6}{s^4+3s^3+5s^2+4s+2}$$ The characteristic equation governing the stability of $s F(s)$ is: $$Q(s) = s^4 + 3s^3 + 5s^2 + 4s + 2 = 0$$ Using standard factoring or complex roots extraction, the four poles are calculated as: - $p_{1,2} = -1 \pm j1 \quad (\Re e(p_{1,2}) = -1)$ - $p_{3,4} = -0.5 \pm j0.866 \quad (\Re e(p_{3,4}) = -0.5)$ Since the real parts of all poles of $s F(s)$ are strictly negative ($\Re e(p_i) < 0$), **all poles lie in the Left-Half Plane (LHP), and the Final Value Theorem is fully applicable**. --- #### Step 2: Compute Initial Value $f(0^+)$ Apply the Initial Value Theorem: $$f(0^+) = \lim_{s o \infty} s F(s) = \lim_{s o \infty} rac{17s^4 + 7s^3 + s^2 + 6s}{s^5 + 3s^4 + 5s^3 + 4s^2 + 2s}$$ Divide the numerator and denominator by the highest power of $s$ (which is $s^5$): $$f(0^+) = \lim_{s o \infty} rac{ rac{17}{s} + rac{7}{s^2} + rac{1}{s^3} + rac{6}{s^4}}{1 + rac{3}{s} + rac{5}{s^2} + rac{4}{s^3} + rac{2}{s^4}}$$ As $s o \infty$, all terms with $s$ in the denominator decay to zero: $$f(0^+) = rac{0 + 0 + 0 + 0}{1 + 0 + 0 + 0 + 0} = \mathbf{0}$$ --- #### Step 3: Compute Final Value $f(\infty)$ Apply the Final Value Theorem: $$f(\infty) = \lim_{s o 0} s F(s) = \lim_{s o 0} rac{17s^3 + 7s^2 + s + 6}{s^4 + 3s^3 + 5s^2 + 4s + 2}$$ Directly substitute $s = 0$ into the simplified rational expression: $$f(\infty) = rac{17(0)^3 + 7(0)^2 + (0) + 6}{(0)^4 + 3(0)^3 + 5(0)^2 + 4(0) + 2} = rac{6}{2} = \mathbf{3}$$ **Summary of Results:** - Initial Value: $f(0^+) = 0$ - Final Value: $f(\infty) = 3$ --- ### 3.2 The Sins of FVT Omission (Imaginary Axis Pole Trap) > [!question] Conceptual Problem > > Apply the value theorems to the sinusoidal Laplace transform: > $$F(s) = rac{\omega_0}{s^2 + \omega_0^2}$$ > Explain why direct algebraic application of the Final Value Theorem yields an incorrect result. #### Step 1: Algebraic Application If we blindly apply the Final Value Theorem formula: $$f(\infty) = \lim_{s o 0} s F(s) = \lim_{s o 0} rac{s \omega_0}{s^2 + \omega_0^2} = rac{0 \cdot \omega_0}{0 + \omega_0^2} = 0$$ #### Step 2: Time-Domain Reality check Calculate the true time-domain signal by taking the inverse Laplace transform of $F(s)$: $$f(t) = \mathcal{L}^{-1}\left\{ rac{\omega_0}{s^2 + \omega_0^2} ight\} = \sin(\omega_0 t) u(t)$$ As $t o \infty$, the signal $f(t) = \sin(\omega_0 t)$ oscillates indefinitely between $-1$ and $+1$. It never settles to a single steady-state value; therefore, **$\lim_{t o \infty} f(t)$ does not exist**. #### Step 3: Explanation of Failure The poles of $s F(s) = rac{s \omega_0}{s^2 + \omega_0^2}$ are located at $s = \pm j \omega_0$. These poles lie directly **on the imaginary imaginary $j\omega$-axis**, violating the strict FVT requirement that poles of $s F(s)$ must lie in the open Left-Half Plane. Thus, the algebraic result of $0$ is mathematically invalid and would result in an immediate loss of 3–4 marks on an exam. --- ## 4. Common Mistakes That Cost Marks > [!warning] **Key Exam Checkpoints** > > * **Applying FVT to Oscillatory/Unstable Systems:** Always check the denominator roots of $s F(s)$ first! If there is a pole on the imaginary axis (e.g., $s^2 + 9 \implies$ poles at $\pm j3$) or in the right-half plane (e.g., $s - 2 \implies$ pole at $+2$), state clearly: *"The Final Value Theorem is not applicable because poles lie on the imaginary axis/RHP."*. > * **Omit the $s$-multiplier:** Forgetting to multiply $F(s)$ by $s$ before evaluating the limit is a highly common error under exam pressure. Doing so converts $\lim_{s o\infty} s F(s)$ into $\lim_{s o\infty} F(s)$, which is completely incorrect. > * **Incorrect $0^-$ vs $0^+$ Limits:** The Unilateral Laplace integral is defined from $0^-$ to capture impulse functions at the origin. However, the Initial Value Theorem yields $f(0^+)$ (the value immediately *after* origin transitions), NOT $f(0^-)$. --- ## 5. PYQ Bank — Verbatim Questions & Answer Plans ### Q1: Value Theorems Definition and Proof [PYQ 2019, 2016 — 5 Marks] **Question:** Define Laplace transform. State the "Initial" and "Final" value theorems and mention their applications. * **Answer Plan:** 1. Define the Unilateral Laplace integral formula with causal bounds. 2. State the Initial Value Theorem formula: $f(0^+) = \lim_{s o\infty} s F(s)$. 3. State the Final Value Theorem formula: $f(\infty) = \lim_{s o\infty} s F(s)$ and write out the LHP pole stability constraint. 4. List engineering applications: analyzing capacitor voltages immediately after a switch closes in transients, checking DC steady-state error in control systems, and verifying steady-state terminal voltage of networks. --- ### Q2: Mathematical Derivations of Value Theorems [PYQ 2023, 2019 — 5 Marks] **Question:** Discuss initial value and final value theorems in Laplace transform domain. Mathematically derive both theorems starting from the Laplace derivative property. * **Answer Plan:** 1. Write the time-differentiation Laplace identity: $\mathcal{L}\{ rac{df(t)}{dt}\} = sF(s) - f(0^+)$. 2. For the Initial Value Theorem, apply $\lim_{s o \infty}$, prove that the exponential decays to $0$, and isolate $f(0^+)$. 3. For the Final Value Theorem, apply $\lim_{s o 0}$, prove that the exponential term becomes $1$, integrate the derivative to get $f(\infty) - f(0^+)$, and cancel $f(0^+)$. --- ## 6. Interactive Self-Check Checklist - [ ] Can you mathematically prove the Initial Value Theorem starting from KVL derivative equations? [1.2] - [ ] Why does a pole at the origin $s = 0$ in $F(s)$ still allow the use of the Final Value Theorem? [2.3] - [ ] If $F(s) = rac{5}{s^2-4}$, can you explain why $f(\infty)$ is NOT equal to zero? [3.2] - [ ] What is the physical difference in circuit modeling between $f(0^-)$ and $f(0^+)$? [4.0]