MATH319 Slides

139 T not stable implies not BIBO stable

has a pole at i⁢ν, and hence Y^⁢(s)=T⁢(s)⁢U^⁢(s) has a double (or triple, …) pole at i⁢ν. But Y⁢(t) is bounded, so |Y⁢(t)|≤M for some M and all t, so

|Y^⁢(s)|=|∫0∞e-s⁢t⁢Y⁢(t)⁢𝑑t|
≤∫0∞e-t⁢ℜ⁡sMdt|
≤Mℜ⁡s.

Now consider s with ℜ⁡s>0 and s→i⁢ν. Now T⁢(s)⁢U^⁢(s) diverges like 1/(s-i⁢ν)2 or 1/(s-i⁢ν)3 etc.; whereas Y^⁢(s) can only diverge like M/ℜ⁡s at worst. This contradicts the identity Y^⁢(s)=T⁢(s)⁢U^⁢(s).