The transfer function of a linear time-invariant (LTI) system is the Laplace transform of the output divided by the Laplace transform of the input, with all initial conditions zero. It depends only on the system, not on the input applied, and it equals the Laplace transform of the impulse response. It is not defined for nonlinear or time-varying systems. It describes only the input-output relationship: a mode cancelled between numerator and denominator is still physically present, even though the transfer function no longer shows it.
TRANSFER FUNCTION FROM A LINEAR DIFFERENTIAL EQUATION
any(n)+⋯+a1y˙+a0y=bmu(m)+⋯+b1u˙+b0uG(s)=U(s)Y(s)=ansn+⋯+a1s+a0bmsm+⋯+b1s+b0
With all initial conditions zero, each dk/dtk becomes sk. The denominator polynomial set to zero is the characteristic equation.
POLE-ZERO (ROOT-LOCUS) FORM
G(s)=K(s−p1)(s−p2)⋯(s−pn)(s−z1)(s−z2)⋯(s−zm)
The zeros zi are the values of s that make G(s)=0. The poles pj are the roots of the denominator, where G(s)→∞. n is the order of the system. G is proper if m≤n and strictly proper if m<n; physical systems are proper.
TIME-CONSTANT (BODE) FORM
G(s)=sN(1+sτ1)(1+sτ2)⋯Kdc(1+sT1)(1+sT2)⋯
N is the number of poles at the origin. For the loop G(s)H(s), N is the type. With N=0, Kdc=G(0) is the DC gain, which is the steady-state output per unit step if the system is stable.
Setting the denominator to zero gives the characteristic equation. Its roots, the poles, fix the natural (transient) modes. A simple real pole at s=−a contributes e−at. A real pole repeated r times contributes e−at,te−at,…,tr−1e−at. A complex pair s=−σ±jωd contributes e−σtsin(ωdt+ϕ). Zeros create no modes of their own; they only change how strongly each mode is excited. A proper rational transfer function, with common factors cancelled, is BIBO stable if and only if every pole lies strictly in the left half of the s-plane. If a right-half-plane pole is cancelled by a zero, the transfer function looks stable, but the physical system is still internally unstable. For a closed loop T=G/(1+GH), the poles are the roots of 1+G(s)H(s)=0, not the poles of G(s)H(s). The closed-loop zeros are the zeros of G(s) together with the poles of H(s), unless a common factor cancels.