Concept

Final value theorem — where it appears

The statement that a signal's settled value is the limit of s times its Laplace transform as s goes to zero. It reads a steady state off the transform without inverting it, and it returns a wrong number rather than an error when the transform has a pole in the right half-plane or on the imaginary axis away from the origin.

Named by 2 essays across one field — each of them below, with the objects they name alongside it.

Also named here as initial value theorem — the same set of essays touches all of them, so they are one junction rather than several.

A step on a series RLC at ζ = 0.079, and the two numbers read off H(s). computed by solving, not by drawing. A 50.3 kHz series RLC driven by a one-volt step, with the capacitor voltage and the inductor voltage drawn together. Two limits of the transfer function are two points of the waveform and neither needs the waveform: H(0) = 1.000000 is where the capacitor ends up, and H(∞) across the inductor is 1.0000, which is what it does at the first instant — the expansion gives 1.000000 for it at t = 0. Here the damping ratio is 0.0791, the response is inside ±2% after 7.6 cycles, and 100.0% of the last twenty-four cycles sit there. The poles are at a real part of -7.91e-2 of ω₀, which is the condition the final-value theorem actually has — not a property of H but of where sY(s) has its poles.

Two numbers without solving for the waveform

Where a step response starts and where it ends are two limits of the transfer function, and neither needs the waveform. Both are exact here — 1.000000000 volts at the end and the whole step at the first instant — and one of them is a lie waiting to happen: take the damping to zero and the final-value theorem still returns 1.000000 for a response that swings between 0 and 2 for ever. Its condition is not on the transfer function but on where the poles are, and the practical condition is narrower still: at five ohms the poles are safely in the left half-plane and sixty cycles is not enough time.

transients · Value theorems $A step through r sections starts as (t/τ)^r: it reaches 1% at 10.1 µs, 105 µs, 243 µs, 380 µs, 508 µs for r = 1 to 5. Solved, and expanded two ways. The step response of buffered RC sections of time constants τ, τ/2, … τ/r, with τ = 1 ms, on logarithmic axes. The relative degree of the recovered transfer function is r, so the first r − 1 derivatives of the step are zero at the start and the r-th is lim s^r·H(s) = r!/τ^r, read off the network solved far above its poles and off the expansion of H about infinity; the step therefore starts as (t/τ)^r, a straight line of slope r. The expansion about infinity and the residue expansion agree to a part in a million where both are well conditioned. The output reaches 1% at 10.1 µs (r = 1), 105 µs (r = 2), 243 µs (r = 3), 380 µs (r = 4), 508 µs (r = 5), and half its final value at 693 µs, 1.23 ms, 1.58 ms, 1.84 ms, 2.04 ms. For these time constants the whole step is (1 − e^(−t/τ))^r, checked against both expansions, so the time to a fraction ε is −τ·ln(1 − ε^(1/r)).$

The start a step takes from infinity

The initial-value theorem reads where a step starts off H at infinite frequency. Apply it again to s·H, s²·H and on, and it reads how the step starts: the first r − 1 derivatives are zero for a network r degrees more poles than zeros, and the r-th is the ratio of the leading coefficients. So a step through r sections begins as a power of time — for sections of τ, τ/2, … τ/r, exactly (t/τ) to the r — and reaches one per cent at 10.1 µs through one section, 105 µs through two and 508 µs through five. Put a zero anywhere, even a thousand times above every pole, and the step starts linearly instead, with a slope of twice the zero's time constant over τ² that is the larger term for the first two of them.

transients · Value theorems

Named alongside it

The objects these essays reach for when they reach for this one.

Initial value theorem Poles Residues Settling time Transfer function Lossless network Step response Trapezoidal rule

All concepts