Chapter 2 Linear Time-Invariant Systems (LTI Systems) Linear Time-Invariant Systems • A system is said to be Linear Time-Invariant (LTI) if it possesses the basic system properties of linearity and time-invariance. • The input-output relationship for LTI systems is described in terms of a convolution operation. ๐ฅ๐ DT Signal Decomposition in terms of shifted unit impulses ๐ฅ๐ ๐ฅ2 1 โโโ โโโ + + −1 + 0 ๐ฅ −1 ๐ฟ[๐ + 1] ๐ฅ 0 ๐ฟ[๐] ๐ฅ −2 ๐ฟ[๐ + 2] ๐ก 2 ๐ฅ ๐ = เท ๐ฅ[๐]๐ฟ[๐ − ๐] ๐ฟ๐ LTI System ๐=−∞ Sum of scaled impulses Impulse response ∞ ๐ฆ ๐ = เท ๐ฅ ๐ โ[๐ − ๐] LTI System 1 + ๐=−∞ โ๐ ๐ฟ ๐−๐ LTI System 2 ๐ฅ 1 ๐ฟ[๐ − 1] ๐ฅ 2 ๐ฟ[๐ − 2] เท๐ฝ โ ๐ − ๐ เท๐ฝ ๐ฟ ๐ − ๐ ∞ ๐ฅ๐ ๐ฅ2 ๐ฅ1 ๐ฅ0 −2 −2 −1 0 LTI System ๐ฅ −1 ๐ฅ −2 ๐ฅ −1 ๐ฅ 1 ๐ฅ −2 ๐ฅ0 ๐ฆ๐ โ ๐−๐ LTI System Time invariance Linearity ∞ ๐ฆ ๐ = ๐ฅ[๐] ∗ โ[๐] = เท ๐ฅ ๐ โ[๐ − ๐] ๐=−∞ Convolution sum Convolution 1 Example: Impulse response of an LTI system Convolution input Find output ∞ ๐ฆ ๐ = ๐ฅ[๐] ∗ โ[๐] = เท ๐ฅ ๐ โ[๐ − ๐] ๐=−∞ There are only two non-zero values for the input ๐ฆ ๐ = ๐ฅ 0 โ ๐ − 0 + ๐ฅ 1 โ ๐ − 1 = 0.5โ ๐ + 2 โ[๐ − 1] Example: Convolution 2 3 ๐=0 ๐=1 ๐ฅ๐ = 2 1 ๐=2 0 ๐๐๐ ๐๐คโ๐๐๐ 3 ๐=0 ๐=1 โ๐ = 1 2 ๐=2 0 ๐๐๐ ๐๐คโ๐๐๐ Length =3 Length =3 Solution: Convolution Length = ๐1 + ๐2 − 1 = 3 + 3 − 1 = 5 Convolution 3 Example: Find the output of an LTI system having a unit impulse response โ ๐ = ๐ข[๐], for the input ๐ฅ ๐ =∝๐ ๐ข ๐ ๐ ∝ ๐ฅ ๐ โ[๐ − ๐] = แ 0 0≤๐≤๐ ๐๐กโ๐๐๐ค๐๐ ๐ ๐ >๐ →โ ๐−๐ =0 ๐<0 →๐ฅ ๐ =0 Thus, for ๐ ≥ 0, ๐ ๐≥0 ๐ฆ๐ =เท ๐=0 ∝๐ 1−∝๐+1 = 1 −∝ ๐<0 Thus, for all ๐, ๐ฆ๐ = 1−∝๐+1 1 −∝ ๐ ๐ข[๐] ๐ = เท ∝๐ = 1 +∝ +∝2 + โฏ +∝๐ ๐=0 ∝ ๐ = ∝ +∝2 + โฏ +∝๐+1 ๐ −∝ ๐ = 1−∝๐+1 The Representation of Continuous-Time Signals in Terms of Impulses ๐ฅ(๐ก) is approximated in terms of pulses or staircase ๐ฅ(๐ก) Defining: 1เต 0≤๐ก≤Δ ๐ฟΔ ๐ก = เต Δ 0 ๐๐กโ๐๐๐ค๐๐ ๐ 1 Δ๐ฟΔ ๐ก = แ 0 ๐ก ๐ฅเท ๐ก : the approximation of ๐ฅ(๐ก) At ๐ก = 0 Δ๐ฟΔ ๐ก has a unit amplitude ๐ฅเท 0 = ๐ฅ(0)Δ๐ฟΔ ๐ก = แ ๐ฅ(0) 0 ≤ ๐ก ≤ Δ 0 ๐๐กโ๐๐๐ค๐๐ ๐ At ๐ก = Δ ๐ฅเท Δ = ๐ฅ(Δ)Δ๐ฟΔ ๐ก − Δ = แ In general ๐ฅ(Δ) Δ ≤ ๐ก ≤ 2Δ 0 ๐๐กโ๐๐๐ค๐๐ ๐ At ๐ก = ๐Δ ๐ฅเท ๐Δ = ๐ฅ(๐Δ)Δ๐ฟΔ ๐ก − ๐Δ = แ 0≤๐ก≤Δ ๐๐กโ๐๐๐ค๐๐ ๐ ๐ฅ(๐Δ) ๐Δ ≤ ๐ก ≤ (๐ + 1)Δ 0 ๐๐กโ๐๐๐ค๐๐ ๐ The complete pulse/staircase approximation of ๐ฅ(๐ก)is the sum ๐ฅเท ๐ก =โโโ +๐ฅเท −Δ + ๐ฅเท 0 + ๐ฅเท Δ +โโโ ∞ ๐ฅเท ๐ก = เท ๐ฅ(๐Δ)๐ฟΔ ๐ก − ๐Δ Δ ๐=−∞ The Representation of CT Signals in Terms of Impulses2 If we let Δ approach 0 ๐ฅเท ๐ก becomes closer and closer and equals ๐ฅ(๐ก) in the limit of 0 ∞ ๐ฅ ๐ก = lim ๐ฅเท ๐ก = lim เท ๐ฅ(๐Δ)๐ฟΔ ๐ก − ๐Δ Δ Δ→0 Δ→0 ๐=−∞ In the limiting case the sum approaches integral (area): Δ → 0; ๐ฟΔ ๐ก → ๐ฟ(๐ก) ∞ ∞ เท โโโ Δ → เถฑ ๐=−∞ โโโ ๐๐ ๐=−∞ ∞ Consequently: ๐ฅ ๐ก =เถฑ ๐ฅ ๐ ๐ฟ ๐ก − ๐ ๐๐ ๐=−∞ The Convolution Integral • The impulse response โ(๐ก) of a continuous-time LTI system ๐ ๐ฟ(๐ก) โ ๐ก = ๐{๐ฟ ๐ก } For the input ๐ฅ(๐ก): Sum (Integral) of weighted shifted impulses linearity ∞ ∞ ๐ฆ ๐ก =๐ ๐ฅ ๐ก =๐ เถฑ ๐ฅ ๐ ๐ฟ ๐ก − ๐ ๐๐ = เถฑ ๐=−∞ ๐ ๐ฟ ๐ก−๐ = โ(๐ก − ๐) ๐ฅ ๐ ๐{๐ฟ ๐ก − ๐ } ๐๐ ∞ Time-invariance ๐ฆ ๐ก =เถฑ ๐ฅ ๐ โ ๐ก − ๐ ๐๐ = ๐ฅ(๐ก) ∗ โ(๐ก) ๐=−∞ Example 1 Let, the input x(t) to an LTI system with unit impulse response โ ๐ก be given as ๐ฅ ๐ก = ๐ −๐๐ก ๐ข(๐ก) for ๐ > 0 and โ ๐ก = ๐ข(๐ก). Find the output ๐ฆ ๐ก of the system. ∞ ๐ฆ ๐ก = ๐ฅ(๐ก) ∗ โ(๐ก) = เถฑ ∞ ๐ฅ ๐ โ ๐ก − ๐ ๐๐ ๐=−∞ = เถฑ ๐ −๐๐ โ ๐ก − ๐ ๐๐ ๐๐๐ ๐ก > 0 0 ๐ก = เถฑ ๐ −๐๐ ๐๐ = 0 ๐ก โ(๐ก) ๐=−∞ weight impulse • Since the system is time-invariant: CT LTI System 1 −๐๐ 1 ๐ แค = 1 − ๐ −๐๐ก −๐ ๐ 0 ๐ฅ ๐ก ≠ 0 ๐๐๐ ๐ก ≥ 0 โ ๐ก = ๐ข(๐ก). 1 0<๐<๐ก โ ๐ก−๐ =แ 0 ๐>๐ก Thus, for all t, we can write 1 ๐ฆ ๐ก = 1 − ๐ −๐๐ก ๐ The Convolution Integral2 Example 2 Find ๐ฆ ๐ก = ๐ฅ(๐ก) ∗ โ(๐ก) , where ๐ 2๐ก ๐ข(−๐ก) ๐ฅ ๐ก = โ ๐ก = ๐ข(๐ก − 3) ๐ฅ ๐ = ๐ 2๐ก ๐ข(−๐) ∞ The system response is ๐ฆ ๐ก = โซ=๐ืฌโฌ−∞ ๐ฅ ๐ โ ๐ก − ๐ ๐๐ ๐ these two signals have regions of nonzero overlap For ๐ − ๐ ≤ ๐: nonzero overlap for −∞ ≤ ๐ ≤ ๐ก − 3 โ ๐ก−๐ ๐ก−3 ๐ฆ ๐ก =เถฑ −∞ For ๐ − ๐ ≥ ๐: 1 ๐ 2๐ ๐๐ = ๐ 2(๐ก−3) 2 For ๐ก ≤ 3 nonzero overlap for −∞ ≤ ๐ ≤ 0 0 ๐ฆ ๐ก = เถฑ ๐ 2๐ −∞ 1 ๐๐ = 2 ๐ ๐ฆ ๐ก For ๐ก ≥ 3 1 2(๐ก−3) ๐ ๐ฆ ๐ก =เต 2 1เต 2 For ๐ก ≤ 3 For ๐ก ≥ 3 ๐ก The Convolution Integral3 ∞ ๐ฆ ๐ก =เถฑ ๐ฅ ๐ โ ๐ก − ๐ ๐๐ ๐=−∞ Convolution Shift โ ๐ก − ๐ Aggregate the overlapping ๐<๐ No overlapping ๐ฆ ๐ก =0 ๐ก ๐ฆ ๐ก = เถฑ 2 โ 1 ๐๐ ๐<๐<๐ 0 ๐ก ๐ฆ ๐ก = 2 ๐แ 0 ๐ฆ ๐ก = 2๐ก 0<๐<๐ก ๐<๐<๐ The Convolution Integral4 ๐<๐<๐ ๐<๐<๐ No-overlap ๐ฆ ๐ก = 0 ๐>๐ ๐ ๐ ๐ ๐ ๐ ๐ ๐ ๐ ๐−๐ ๐ Properties of LTI Systems • The characteristics of an LTI system are completely determined by its impulse response. This property holds in general only for LTI systems only. • The unit impulse response of a nonlinear system does not completely characterize the behavior of the system. Consider a discrete-time system with unit impulse response: If the system is LTI, we get the system output (by convolution): There is only one such LTI system for the given h[n]. However, there are many nonlinear systems with the same response, h[n]. โ ๐ = ๐ฟ ๐ +๐ฟ ๐−1 2 โ ๐ = ๐๐๐ฅ ๐ฟ ๐ , ๐ฟ ๐ − 1 Two different Non-Linear systems with same impulse response 1, 0, ๐ = 0,1 ๐๐กโ๐๐๐ค๐๐ ๐ 1, 0, ๐ = 0,1 ๐๐กโ๐๐๐ค๐๐ ๐ โ ๐ =แ โ ๐ =แ 1 Commutative Property Proof: (discrete domain) Put ๐ = ๐ − ๐ ⇒ ๐ = ๐ − ๐ Similarly, we can prove it for continuous domain. 2 Distributive Property ๐ฅ ๐ ∗ โ1 ๐ Convolution is distributive over addition, in discrete time ๐ฅ ๐ ∗ โ2 ๐ ๐ฅ ๐ ∗ โ1 ๐ + ๐ฅ ๐ ∗ โ2 ๐ in continuous time Example: and x[n] in nonzero for entire n, so direct convolution is difficult. Therefore, we will use commutative property. 1๐๐๐ ๐ ≥ 0 1๐๐๐ ๐ ≤ ๐ ๐ =๐−๐ ๐ = −๐ ๐ เท 1๐๐๐ ๐ ≤ ๐ ∞ 2 =เท ๐=−∞ 1๐๐๐ ๐ ≤0 ๐ ๐=−๐ 1 2 ๐ ∞ =เท ๐=0 1 2 ๐−๐ ๐ ∞ =2 เท ๐=0 1 2 ๐ = 2๐+1 3 Associative Property in continuous time In discrete time Proof: 4 LTI Systems With and Without Memory A system is memory-less if its output at any time depends only on the value of the input at that same time. ๐ฆ[๐] depends on only ๐ฅ[๐] only if k = ๐, so for โ ๐ = 0 for ๐ ≠ 0 System output: A discrete-time LTI system can be memory-less if only: Thus, the impulse response have the form: impulse response ๐ฅ ๐ = ๐ฟ[๐] ๐ฆ ๐ = ๐ฅ ๐ โ 0 = ๐พ๐ฟ[๐] โ ๐ = ๐พ๐ฟ ๐ , with ๐พ = โ 0 is a constant the convolution sum reduces to If k = 1, then the system is called identity system. Similarly for continuous LTI systems. a continuous-time LTI system is memory-less if 5 Invertibility of LTI Systems A system is invertible only if an inverse system exists The system with impulse response โ1 (๐ก) is inverse of the system with impulse response โ ๐ก if: Example: Consider the LTI system consisting of a pure time shift ๐ฆ ๐ก = ๐ฅ(๐ก − ๐ก0 ) The impulse response for the system (for ๐ฅ ๐ก = ๐ฟ(๐ก)): โ ๐ก = ๐ฟ(๐ก − ๐ก0 ) ๐ก0 > 0 delay ๐ก0 < 0 advance impulse response ๐ฅ(๐ก) = ๐ฟ(t) the system’s output (the convolution): ๐ฆ ๐ก = ๐ฅ ๐ก ∗ โ ๐ก = ๐ฅ ๐ก ∗ ๐ฟ ๐ก − ๐ก0 = ๐ฅ(๐ก − ๐ก0 ) To recover the input from the output (invert the system), all that is required is to shift the output back. The inverse system impulse response: then โ1 ๐ก = ๐ฟ(๐ก + ๐ก0 ) โ ๐ก ∗ โ1 ๐ก = ๐ฟ ๐ก − ๐ก0 ∗ ๐ฟ ๐ก + ๐ก0 = ๐ฟ(๐ก) identity system (๐ฆ ๐ก = ๐ฅ ๐ก ∗ ๐ฟ ๐ก = ๐ฅ(๐ก)) Invertibility of LTI Systems: Example 2 Consider an LTI system with impulse response: โ ๐ = ๐ข[๐] ๐ ∞ Response of this system (convolution sum): summer or accumulator ๐ข ๐ − ๐ = 0 ๐๐๐ ๐ > ๐ ๐ฆ ๐ =เท ๐ฅ ๐ ๐ข[๐ − ๐] ๐ฆ ๐ =เท ๐=−∞ ๐=−∞ ๐−1 ๐ฆ ๐ =๐ฅ ๐ +เท ๐ฅ๐ ๐ฆ ๐ = ๐ฅ ๐ + ๐ฆ[๐ − 1] ๐=−∞ ๐ฅ ๐ = ๐ฆ ๐ − ๐ฆ[๐ − 1] Verification: โ ๐ ∗ โ1 ๐ = ๐ฟ ๐ โ ๐ ∗ โ1 ๐ = ๐ข[๐] ∗ ๐ฟ ๐ − ๐ฟ[๐ − 1] = ๐ข[๐] − ๐ข[๐ − 1] =๐ฟ ๐ first difference equation Inverse system Impulse response (๐ฅ ๐ = ๐ฟ[๐]): โ1 ๐ = ๐ฟ ๐ − ๐ฟ[๐ − 1] = ๐ข[๐] ∗ ๐ฟ ๐ − ๐ข[๐] ∗ ๐ฟ[๐ − 1] ๐ฅ๐ โ ๐ ∗ โ1 ๐ = ๐ฟ ๐ the impulse responses are inverses of each other ๐ฆ ๐ = ๐ฅ ๐ − ๐ฅ[๐ − 1] 6 Causality of LTI Systems • The output of a causal system depends only on the present and past values of the input to the system. ∞ ๐ฆ ๐ = เท ๐ฅ ๐ โ[๐ − ๐] ๐ฆ ๐ must not depend on ๐ฅ ๐ for ๐ > ๐ to be causal ๐=−∞ Therefore, for a discrete-time LTI system to be causal: ๐ฅ ๐ โ ๐ − ๐ = 0 for ๐ > ๐ ๐๐๐ ๐ > ๐ → ๐ − ๐ < 0 โ ๐ =0 โ ๐ − ๐ = 0 for ๐ > ๐ for ๐ < 0 Causality for LTI system is equivalent to the condition of initial rest (output must be 0 before applying the input) ๐๐๐ ๐ > ๐ โ ๐ − ๐ = 0 ๐๐๐ ๐ < 0 โ ๐ = 0 Both the accumulator (โ ๐ = ๐ข[๐]) and its inverse (โ ๐ = ๐ฟ ๐ − ๐ฟ ๐ − 1 ) are causal. Inverse system of the accumulator • Similarly, for a continuous-time LTI system to be causal: 7 Stability of LTI Systems • A system is stable if every bounded input produces a bounded output (BIBO). Consider, an input x[n] to an LTI system that is bounded in magnitude: Suppose that we apply this to the LTI system with impulse response h[n]. We take ๐ฅ ๐ = ๐ต Example: Therefore, if An LTI system with pure time shift is stable. The system is stable if the impulse response โ ๐ is absolutely summable. • Similar case in continuous-time LTI system. the system is stable if the impulse response is absolutely integrable. An accumulator (DT domain) system is unstable. Similarly, an integrator (CT domain) system is unstable. 8 Unit Step Response of An LTI System • the unit step response, ๐ [๐] or ๐ (๐ก), the output corresponding to the input ๐ฅ ๐ = ๐ข[๐] or ๐ฅ ๐ก = ๐ข ๐ก . • it is worthwhile relating the unit step response to the impulse response Response to the input h[n] of a LTI system with unit impulse response u[n]. commutative property ๐ข[๐] is the unit impulse response of the accumulator. impulse response of an accumulator ๐ โ๐ =เท 1 ๐≥0 ๐ฟ[๐] = แ = ๐ข[๐] 0 ๐<0 ๐=−∞ LTI Systems Described by Differential Equation (Linear Constant-Coefficient Differential Equation) A general Nth-order linear constant-coefficient differential equation that relates the input ๐ฅ(๐ก) to the output ๐ฆ(๐ก) is given by ๐ ๐ ๐=0 ๐=0 ๐ ๐ ๐ฆ(๐ก) ๐ ๐ ๐ฅ(๐ก) เท ๐๐ = เท ๐๐ ๐๐ก๐ ๐๐ก๐ Example1: consider a first-order differential equation where the input to the system is: The complete solution is ๏ง Finding the particular solution ๐ฆ๐ (๐ก) (signal of the same form as the input) forced response ๐ฆ๐ ๐ก = ๐๐ 3๐ก Determine ๐ From differential equation: 3๐๐ 3๐ก + 2๐๐ 3๐ก = ๐พ ๐พ๐ 3๐ก ๐พ ⇒ 3๐ + 2๐ = ๐พ ⇒ ๐ = 5 ๐ฆ๐ ๐ก = 5 ๐ 3๐ก , ๐พ ๐๐๐๐ ๐๐๐ ๐ก > 0 ๐ฆ๐ (๐ก) the particular solution ๐ฆโ (๐ก) The homogeneous solution, ๏ง Finding the homogeneous solution(hypothesize a solution) Determine ๐ and A ๐ฆโ ๐ก = ๐ด๐ ๐ ๐ก From differential equation: ๐ ๐ด๐ ๐ ๐ก + 2๐ด๐ ๐ ๐ก = 0 ⇒ ๐ด ๐ + 2 ๐ ๐ ๐ก = 0 ⇒ ๐ = −2 ๐ฆโ ๐ก = ๐ด๐ −2๐ก Complete solution: Example_contd • To find A suppose that the auxiliary condition is ๐ฆ 0 = 0, i.e. , at t = 0, ๐ฆ ๐ก = 0 Using this condition into the complete solution, we get: ๐พ 3๐ก ๐ฆ ๐ก = ๐ + ๐ด๐ −2๐ก 5 Example2: With ๐ฆ 0 =0 1 ๐ฆ ๐ − ๐ฆ ๐ − 1 = ๐ฅ[๐] 2 Find ๐ฆ ๐ of the system with the difference equation 1 ๐ฆ ๐ = ๐ฅ ๐ + ๐ฆ ๐−1 We have the output 2 Consider the input ๐ฅ ๐ = ๐ ๐ฟ[๐] and initial condition ๐ฆ −1 = 0 (rest) 1 ๐ฆ 0 = ๐ฅ 0 + ๐ฆ −1 = ๐ 2 Setting ๐ = 1 we obtain the impulse response for the system 1 1 ๐ ๐ฆ 1 =๐ฅ 1 + ๐ฆ 0 = ๐ 1 2 2 2 โ๐ = ๐ข[๐] 1 1 2 ๐ฆ 2 =๐ฅ 2 + ๐ฆ 1 = ๐ 2 2 impulse response with infinite duration โฎ ๐ 1 1 infinite impulse response ( IIR) systems. ๐ฆ ๐ =๐ฅ ๐ + ๐ฆ ๐−1 = ๐ 2 2 Block Diagram Representations of Systems systems described by linear constant -coefficient difference and differential equations can be represented in terms of block diagram interconnections of elementary operations (adder, scaler, unit delay). adder scaler unit delay Example: Consider the causal system described by the first-order difference equation ๐ฆ ๐ + ๐ ๐ฆ ๐ − 1 = ๐ ๐ฅ[๐] Consider the causal continuous−time system described by a first−order differential equation ๐๐ฆ ๐ก + ๐๐ฆ ๐ก = ๐ ๐ฅ(๐ก) ๐๐ก