Chapter 9: Laplace Transform & s-Domain Circuit Applications - Compact Review
9.01 Foundation of Laplace Transform & s-Plane Representation | 9.02 Laplace Transforms of Singularity & Elementary Functions | 9.03 Mathematical Properties of the Laplace Transform | 9.04 Initial and Final Value Theorems | 9.05 Pole-Zero Analysis & Stability | 9.06 s-Domain Modeling of Passive Circuit Elements | 9.07 Transient Response of RL & RC Circuits | 9.08 Transient Response of RLC Networks
9.01 Foundation of Laplace Transform & s-Plane Representation
9.01.1 Bilateral & Unilateral Laplace Transform Definitions
*(Target: Theory Descriptive / Formulation)*
- Bilateral Laplace Transform: Integrates over the entire real timeline; maps non-causal systems:
- Unilateral Laplace Transform: Integrates from the instantaneous left boundary () to account for switching transients and initial energy states; maps causal signals:
- Inverse Laplace Transform: Integrates along a vertical Bromwich contour in the s-plane: f(t) = rac{1}{2\pi j} \int_{\sigma-j\infty}^{\sigma+j\infty} F(s) e^{st} \, ds
9.01.2 Comparison: Fourier Transform vs. Laplace Transform
*(Target: Theory Descriptive / Conceptual Comparison)*
| Feature / Dimension | Continuous-Time Fourier Transform (CTFT) [8.01] | Laplace Transform (Bilateral / Unilateral) [9.01] |
|---|---|---|
| Complex Frequency Variable | Purely imaginary phasor: (frequency in rad/s) | Complex frequency: (: attenuation, : oscillation) |
| Existence / Convergence | Requires signal to be absolutely integrable: $\int_{-\infty}^{\infty} \lvert f(t) | |
| vert dt < \infty$ | Converges for exponentially growing signals using decay factor | |
| Applicability Limit | Limited to stable systems and steady-state signals | Generalizes to transient, unstable, and switched systems |
| Physical Viewpoint | Maps a signal directly to its harmonic sinusoidal components | Maps a signal to a plane of damped sinusoidal oscillators |
9.01.3 Comparison: Bilateral vs. Unilateral Laplace Transform
*(Target: Theory Descriptive)*
| Feature / Dimension | Bilateral Laplace Transform [9.01] | Unilateral Laplace Transform [9.01] |
|---|---|---|
| Lower Integration Limit | (specifically captures impulses and derivatives at origin) | |
| Switching Transients | Incapable of modeling initial states before switches activate | Explicitly designed for initial conditions and transient circuit analysis |
| Signal Domain | Applicable to two-sided, left-sided, and right-sided signals | Strictly restricted to causal, right-sided signals ( for ) |
| ROC Boundary | Can be a vertical strip, half-plane, or empty | Always a right-half plane to the right of the rightmost pole |
9.01.4 Relationship Between Laplace and Fourier Transforms
*(Target: Mathematical Proof / 5-Mark Derivation)*
- Derivation Summary: Substituting the complex frequency into the bilateral Laplace transform integral:
ight] e^{-j\omega t} , dt \quad ext{(derivation)}F(s)\Big|_{s = \sigma + j\omega} = \mathcal{F}\left{ f(t) e^{-\sigma t} ight}$$
- The CTFT Projection: If the Region of Convergence (ROC) includes the imaginary axis (), the CTFT is obtained by direct projection: .
9.01.5 Region of Convergence (ROC) Properties
*(Target: Theory Descriptive)*
- Strip Symmetries: The ROC consists of vertical strips parallel to the -axis because convergence depends only on the real part .
- Pole Exclusion: The ROC cannot contain any poles, as at a pole.
- Finite-Duration Signals: If is finite-duration () and convergent for at least one , the ROC is the entire s-plane (excluding possibly ).
- Right-Sided Signals: If is right-sided ( for ), the ROC is a right-half plane: .
- Left-Sided Signals: If is left-sided ( for ), the ROC is a left-half plane: .
- Two-Sided Signals: If is two-sided, the ROC is a vertical strip bounded by poles on both sides: .
9.02 Laplace Transforms of Singularity & Elementary Functions
9.02.1 Sufficient Condition for Unilateral Existence
*(Target: Theory Descriptive)*
- A unilateral Laplace transform exists if the signal is piecewise continuous on every finite interval in and of exponential order ( for positive constants and ):
9.02.2 Master Laplace Transform Pairs Table
*(Target: Numerical Solving / Reference)*
| Signal () | Laplace Transform | Region of Convergence (ROC) |
|---|---|---|
| Unit Impulse | Entire s-plane | |
| Unit Step | rac{1}{s} | |
| Ramp Function | rac{1}{s^2} | |
| Power Function rac{t^{n-1}}{(n-1)!} u(t) | rac{1}{s^n} | |
| Decaying Exponential e^{-lpha t} u(t) | rac{1}{s+lpha} | \Re e(s) > -lpha |
| Growing Exponential e^{lpha t} u(t) | rac{1}{s-lpha} | \Re e(s) > lpha |
| Modulated Power rac{t^{n-1}}{(n-1)!} e^{-lpha t} u(t) | rac{1}{(s+lpha)^n} | \Re e(s) > -lpha |
| Sine Wave | rac{\omega_0}{s^2 + \omega_0^2} | |
| Cosine Wave | rac{s}{s^2 + \omega_0^2} | |
| Damped Sine e^{-lpha t} \sin(\omega_0 t) u(t) | rac{\omega_0}{(s+lpha)^2 + \omega_0^2} | \Re e(s) > -lpha |
| Damped Cosine e^{-lpha t} \cos(\omega_0 t) u(t) | rac{s+lpha}{(s+lpha)^2 + \omega_0^2} | \Re e(s) > -lpha |
9.02.3 The Power Function Derivation
*(Target: Mathematical Proof / Heavily Tested)*
- Theorem: Prove that \mathcal{L}\left\{ t^n ight\} = rac{n!}{s^{n+1}} for integer .
- Derivation Steps:
- Base case : \mathcal{L}\{1\} = \int_0^{\infty} e^{-st} dt = rac{1}{s}.
- Set up integration by parts recursively: .
- Let , and dv = e^{-st} dt \implies v = -rac{e^{-st}}{s}.
- Apply limits and evaluate boundary terms:
ight]0^{\infty} + rac{n}{s} \int_0^{\infty} t^{n-1} e^{-st} , dt = rac{n}{s} I{n-1}(s) \quad ext{(derivation)}F(s) = rac{n!}{s^{n+1}}$$
9.03 Mathematical Properties of the Laplace Transform
9.03.1 Master Laplace Properties Table
*(Target: Numerical Solving)*
| Property | Time-Domain | s-Domain | ROC constraint |
|---|---|---|---|
| Linearity | At least | ||
| Time Shifting | Unchanged | ||
| s-Domain Shifting | Shifted by | ||
| Time Scaling | $rac{1}{ | a | |
| ight)$ | Scaled by | ||
| First Derivative | rac{df(t)}{dt} | At least | |
| n-th Derivative | rac{d^n f(t)}{dt^n} | At least | |
| Time Integration | rac{F(s)}{s} | At least | |
| s-Differentiation | rac{dF(s)}{ds} | Unchanged | |
| Time Division | rac{f(t)}{t} | Converges if limit at exists | |
| Time Convolution | At least |
9.03.2 s-Domain Differentiation Property Proof
*(Target: Mathematical Proof / 5-Mark Derivation)*
- Theorem: Prove that \mathcal{L}\{-t \cdot f(t)\} = rac{dF(s)}{ds}.
- Derivation Steps:
- Express the definition integral of the Laplace transform: .
- Differentiate both sides with respect to the complex parameter under the integral sign:
ight] = \int_{0^-}^{\infty} f(t) \left[ rac{\partial}{\partial s} e^{-st} ight] , dt \quad ext{(derivation)}rac{dF(s)}{ds} = \int_{0^-}^{\infty} \left[ -t f(t) ight] e^{-st} , dt = \mathcal{L}{-t f(t)}$$
9.03.3 Even and Odd Waveform Laplace Symmetries
*(Target: Mathematical Proof / 5-Mark Derivation)*
- Even Symmetries: If , then
(derivation). - Odd Symmetries: If , then
(derivation). - ROC Requirement: For an even or odd signal to have a valid Laplace representation, the s-plane poles must occur with symmetric mirror-image alignments about the imaginary axis, forcing a bilateral strip ROC.
9.04 Initial and Final Value Theorems: Statements, Proofs, and Bounds
9.04.1 Initial Value Theorem (IVT)
*(Target: Mathematical Proof / Heavily Tested)*
- Statement: For a causal signal with unilateral Laplace transform :
- Proof Derivation:
- Write the Laplace transform of the first derivative: \mathcal{L}\left\{ rac{df(t)}{dt} ight\} = sF(s) - f(0^-).
- Take the limit as on both sides: \lim_{s o \infty} \int_{0^-}^{\infty} rac{df(t)}{dt} e^{-st} \, dt = \lim_{s o \infty} [sF(s) - f(0^-)] \quad ext{(derivation)}
- Because the decaying term as , the integral on the LHS vanishes.
- Last-Line Boxed Equivalent:
9.04.2 Final Value Theorem (FVT)
*(Target: Mathematical Proof / Heavily Tested)*
- Statement: For a causal signal with unilateral Laplace transform :
- Proof Derivation:
- Write the Laplace transform of the first derivative: \mathcal{L}\left\{ rac{df(t)}{dt} ight\} = sF(s) - f(0^-).
- Take the limit as on both sides: \lim_{s o 0} \int_{0^-}^{\infty} rac{df(t)}{dt} e^{-st} \, dt = \lim_{s o 0} [sF(s) - f(0^-)] \quad ext{(derivation)}
- Evaluating the LHS at simplifies : \int_{0^-}^{\infty} rac{df(t)}{dt} dt = f(\infty) - f(0^-).
- Last-Line Boxed Equivalent:
9.04.3 Practical Value Theorem Application Guidelines
*(Target: Theory Descriptive / Stability Check)*
- IVT Restriction: The numerator degree of must be strictly less than the denominator degree. If the degree is equal, an impulse exists at , causing the IVT limit to represent only the continuous transient boundary.
- FVT Stability Boundaries: The Final Value Theorem fails completely if contains poles on or to the right of the imaginary axis (e.g., imaginary poles at cause sustained sinusoidal oscillations that do not settle to a single steady-state value as ). Always verify that all poles of lie strictly in the stable Left-Half Plane (LHP).
9.05 Pole-Zero Analysis, Transfer Functions & s-Domain Stability
9.05.1 Definitions: Zeros and Poles
*(Target: Theory Descriptive)*
- Zeros (): The roots of the numerator polynomial where the transfer function drops to zero magnitude: .
- Poles (): The roots of the denominator polynomial where the system gain approaches infinity: .
9.05.2 Continuous LTI System Transfer Function
*(Target: Numerical Solving / System Mapping)*
- The ratio of the output Laplace transform to the input Laplace transform under zero initial conditions: H(s) = rac{Y(s)}{X(s)} = rac{b_m s^m + b_{m-1} s^{m-1} + \dots + b_0}{a_n s^n + a_{n-1} s^{n-1} + \dots + a_0}
9.05.3 Stability Classifications on the s-Plane
*(Target: Theory Descriptive / Pole Mapping)*
jω-axis (Imaginary)
▲
│ Unstable Region
Stable Region │ (RHP)
(LHP) │
│ X (sp)
X (sp) │
│
────────────────────────┼────────────────────────► σ (Real)
│
X (sp) │
│ X (sp)
│
▼
- Absolute Stability: All system poles lie strictly in the open Left-Half Plane (LHP) (). The impulse response decay is bounded and absolutely integrable: .
- Marginal Stability: Simple, non-repeated poles lie directly on the imaginary -axis (e.g., ), with all other poles in the LHP. This yields sustained, constant-amplitude oscillations.
- Instability: Any pole lies in the Right-Half Plane (RHP) () OR repeated/multiple poles lie on the imaginary axis (yielding quadratically growing, unbounded oscillations).
9.05.4 The Routh-Hurwitz Stability Criterion
*(Target: Theory Descriptive / Stability Test)*
- Purpose: Evaluates system stability without explicitly factoring higher-order characteristic equations.
- Procedure: Compiles the coefficients of into a Routh array. System stability requires that all elements in the first column of the Routh array have the same sign. The number of sign changes in the first column equals the exact count of unstable poles lying in the RHP.
9.06 s-Domain Modeling of Passive Circuit Elements with Initial Conditions
9.06.1 Component s-Domain Modeling Equivalents
*(Target: Numerical Solving / Circuit Modeling)*
| Circuit Component | Time-Domain Relationship | s-Domain Impedance () | s-Domain Series Equivalent (KVL Form) | s-Domain Parallel Equivalent (KCL Form) |
|---|---|---|---|---|
| Resistor () | I_R(s) = rac{1}{R} V_R(s) | |||
| Inductor () | v_L(t) = L rac{di_L(t)}{dt} | I_L(s) = rac{V_L(s)}{Ls} + rac{i_L(0^-)}{s} | ||
| Capacitor () | i_C(t) = C rac{dv_C(t)}{dt} | rac{1}{Cs} | V_C(s) = rac{I_C(s)}{Cs} + rac{v_C(0^-)}{s} |
9.06.2 Equivalent Circuit Topologies (with Initial Conditions)
*(Target: Circuit Formulation / Analysis)*
1. Inductor s-Domain Model:
- Series Model (KVL): An impedance in series with an independent voltage source of value pointing in a direction that opposes KVL:
i(t) I(s) + -
o--►--[ L ]--o ======► o--►--[ Ls ]----( L*i(0^-) )----o
Voltage Source
- Parallel Model (KCL): An impedance in parallel with a current source of value rac{i(0^-)}{s} pointing in the direction of the initial current.
2. Capacitor s-Domain Model:
- Series Model (KVL): An impedance rac{1}{Cs} in series with a step voltage source of value rac{v(0^-)}{s} pointing in a direction that supports KVL:
i(t) + - I(s) + -
o--►--[ C ]--o ====► o--►--[ 1/Cs ]----[ v(0^-)/s ]----o
Step Voltage
- Parallel Model (KCL): An impedance rac{1}{Cs} in parallel with an impulsive current source of value pointing opposite to the capacitor voltage polarity.
9.07 Transient Response of RL & RC Circuits using Laplace Transform
*(Target: Numerical Solving / Operational Steps)*
- Redraw the Circuit in the s-Domain: Replace all passive components () with their s-domain impedances (R, Ls, rac{1}{Cs}). Account for initial conditions using series or parallel step sources.
- Write Mesh/Loop or Nodal Equations: Set up s-domain algebraic loop or node voltage equations using KVL and KCL.
- Group and Isolate the Target Variable: Solve for the target variable (e.g., or ) by collecting and simplifying rational polynomial fractions.
- Perform Partial Fraction Expansion: Split the target expression into simpler poles: Y(s) = rac{k_1}{s - p_1} + rac{k_2}{s - p_2} + \dots
- Compute the Inverse Unilateral Laplace Transform: Convert each term back to the time-domain using the master pair lookup tables.
9.08 Transient Response of Series & Parallel RLC Networks
9.08.1 Comparison: Series RLC vs. Parallel RLC Parameters
*(Target: Numerical Solving / Parameter Analysis)*
| Feature / Parameter | Series RLC Circuit Transient | Parallel RLC Circuit Transient |
|---|---|---|
| Governing Time-Domain ODE | rac{d^2v_C}{dt^2} + rac{R}{L}rac{dv_C}{dt} + rac{1}{LC}v_C = rac{v_{in}}{LC} | rac{d^2i_L}{dt^2} + rac{1}{RC}rac{di_L}{dt} + rac{1}{LC}i_L = rac{1}{RC}rac{di_s}{dt} |
| s-Domain Characteristic Equation | s^2 + rac{R}{L}s + rac{1}{LC} = 0 | s^2 + rac{1}{RC}s + rac{1}{LC} = 0 |
| Attenuation Constant (lpha) | lpha = rac{R}{2L} | lpha = rac{1}{2RC} |
| Resonant Frequency () | \omega_0 = rac{1}{\sqrt{LC}} | \omega_0 = rac{1}{\sqrt{LC}} |
| Characteristic Roots () | s_{1,2} = -lpha \pm \sqrt{lpha^2 - \omega_0^2} | s_{1,2} = -lpha \pm \sqrt{lpha^2 - \omega_0^2} |
9.08.2 Damping State Classifications
*(Target: Theory Descriptive / Parameter Check)*
| Damping State | Mathematical Condition | Root Characteristics on s-Plane | Waveform Expression |
|---|---|---|---|
| Over-damped | lpha > \omega_0 | Two distinct, real, negative roots on LHP | |
| Critically-damped | lpha = \omega_0 | Two repeated, real, negative roots: s_{1,2} = -lpha | x(t) = (A_1 + A_2 t) e^{-lpha t} |
| Under-damped | lpha < \omega_0 | Complex conjugate LHP roots: s_{1,2} = -lpha \pm j\omega_d | $x(t) = e^{-lpha t} \left[ B_1 \cos(\omega_d t) + B_2 \sin(\omega_d t) |
| ight]$ |
Where the damped frequency of oscillation is defined as: \omega_d = \sqrt{\omega_0^2 - lpha^2}
9.09 Common Mistakes That Cost Marks
Critical Exam Pitfalls
- The Swapped Capacitor Series Polarities Trap: When modeling capacitor initial conditions in the s-domain with a series voltage source, the source polarity must match the polarity of the initial voltage (pointing in the direction of the electric field). For inductors, the series initial current source opposes KVL, acting as a generator.
- Applying the Final Value Theorem to Oscillatory Systems: Do not apply the FVT to marginally stable systems or oscillatory systems (e.g., F(s) = rac{\omega_0}{s^2 + \omega_0^2}). The limit is a mathematically valid calculation, but the steady-state final value of a sinusoidal wave does not exist as .
- The Time Delay Step Function Omission: When applying the Time Shifting Property (), ensure that the time-domain signal is explicitly multiplied by the shifted unit step . If the step function is not shifted (i.e., ), the property fails.
- Forgetting to Multiply by s Before Applying Theorems: Students often calculate or directly instead of evaluating the correct theorem limits: . This leads to an immediate loss of all theorem-solving marks.
9.10 PYQ Bank — Verbatim Questions & Answer Plans
9.10.1 PYQ 2025: Series Second-Order RLC Transient (Section B, Q6c)
- Question: In the circuit of Fig. 6(c), find the currents and and output voltage across resistor when the switch is closed, and also determine the initial and final value of current. (09 Marks)
- Answer Plan:
- Convert the circuit components to s-domain: , , .
- Model initial conditions: Circuit is initially relaxed, so initial current . The DC source .
- Write KVL equations for Loop 1 and Loop 2 to solve for the currents and in the s-domain.
- Apply partial fraction expansion to solve for and in the time domain.
- Compute output voltage: .
- Compute initial and final current values using and to verify time-domain boundaries.
9.10.2 PYQ 2023: s-Domain Differentiation Property Proof (Section B, Q6b)
- Question: If x(t) is a signal with Laplace transform X(s) then prove rac{dX(s)}{ds} = \mathcal{L}\{-tx(t)\}. (05 Marks)
- Answer Plan: Use the complete calculus proof detailed in Section 9.03.2.
9.10.3 PYQ 2024: Value Theorems & s-Domain Definitions (Section B, Q6a)
- Question: What is the main difference between Fourier transform and Laplace transform? Find the Laplace transform of function. (12 Marks)
- Answer Plan:
- Tabulate the core differences as detailed in Section 9.01.2.
- Write out the complete mathematical induction and integration-by-parts proof for detailed in Section 9.02.3.
9.10.4 PYQ 2016: Inverse Laplace of Repeated Multiplicity Poles (Section B, Q7a)
- Question: Determine the inverse Laplace transform of F(s) = rac{2s^2+3s+3}{(s+1)(s+3)^2}. Draw the pole-zero diagram for the given function. (12 Marks)
- Answer Plan:
- Formulate the partial fraction expansion with multiple poles: F(s) = rac{k_1}{s+1} + rac{k_{21}}{s+3} + rac{k_{22}}{(s+3)^2}
- Calculate residues using derivative evaluations: , , .
- Compute the inverse Laplace transform term-by-term: f(t) = \left[ 0.5e^{-t} + 1.5e^{-3t} - 6te^{-3t} ight]u(t).
- Draw the pole-zero plot on the s-plane: a simple pole at and a repeated pole of multiplicity 2 at .
9.11 Self-Check Before Moving On
- Can you define the unilateral Laplace transform and list its existence conditions?
- Do you know how to prove the s-domain differentiation property starting from the transform definition?
- Can you solve both the initial and final value theorems, stating the poles stability constraints?
- Can you draw the s-domain equivalent models for capacitors and inductors, showing the initial condition source polarities?
- Can you calculate series and parallel second-order attenuation constants (lpha) and damping ratios?
Source: ECE 2107 Syllabus, (K. Deergha Rao) Signals and Systems (Ch 4), Senior Lecture Notes (lec 8, lec 11, lec 12).