(Saber Elaydi) An Introduction To Difference Equation
(Saber Elaydi) An Introduction To Difference Equation
Conclusion
(i) From the above example we conclude that in contrast to the situation
for homogeneous equations, solutions of the nonhomogeneous equation (2.4.1) do not form a vector space. In particular, neither the sum
(dierence) of two solutions nor a multiple of a solution is a solution.
(ii) From part (b) in Example 2.28 we found that the dierence of the
solutions y2 (n) and y1 (n) of the nonhomogeneous equation is actually
a solution of the associated homogeneous equation. This is indeed true
for the general nth-order equation, as demonstrated by the following
result.
Theorem 2.29. If y1 (n) and y2 (n) are solutions of (2.4.1), then x(n) =
y1 (n) y2 (n) is a solution of the corresponding homogeneous equation
x(n + k) + p1 (n)x(n + k 1) + + pk (n)x(n) = 0.
(2.4.2)
k
ai xi (n),
i=1
(2.4.3)
2
(2.4.4)
85
sin(bn),
or nk ,
(2.4.5)
an nk cos(bn), . . . .
(2.4.6)
cos(bn),
an nk ,
(2.4.7)
(2.4.8)
where p(E) = E k + p1 E k1 + p2 E k2 + + pk I.
Assume now that N (E) is an annihilator of g(n) in (2.4.8). Applying
N (E) on both sides of (2.4.8) yields
N (E)p(E)y(n) = 0.
(2.4.9)
(2.4.10)
(2.4.11)
86
yp (n)
c1 an
c0 + c1 n + + ck nk
c0 an + c1 nan + + ck nk an
c1 sin bn + c2 cos bn
(c1 sin bn + c2 cos bn)an
(c0 + c1 n + + ck nk )an sin(bn)
+ (d0 + d1 n + dk nk )an cos(bn)
contains roots of higher multiplicity than the two individual sets of characteristic roots. To determine a particular solution yp (n), we rst nd the
general solution of (2.4.9) and then drop all the terms that appear in yc (n).
Then proceed as in Case 1 to evaluate the constants.
Example 2.32. Solve the dierence equation
y(n + 2) + y(n + 1) 12y(n) = n2n .
(2.4.12)
6a2 = 1,
or
a1 =
5
,
18
a2 =
1
.
6
5 n 1 n
2 n2 ,
18
6
5 n 1 n
2 n2 .
18
6
87
(2.4.13)
(2.4.14)
n
.
(2.4.15)
2
Solution The characteristic equation of the homogeneous equation is
2 + 4 = 0.
The characteristic roots are
1 = 2i,
Thus r = 2, = /2, and
2 = 2i.
n
n
+ c2 sin
.
yc (n) = 2n c1 cos
2
2
Notice that g(n) = 2n cos n
appears in yc (n). Using Table 2.3, we set
2
n
n
+ bn sin
.
(2.4.16)
yp (n) = 2n an cos
2
2
Substituting (2.4.16) into (2.4.15) gives
n
n
2n+2 a(n + 2) cos
+ + b(n + 2) sin
+
2
n 2
n
n
n
+ bn sin
= 8(2n ) cos
.
+ (4)2 an cos
2
2
2