Exercise 2 (b).  Solve   [Graphics:Images/ZTransformDEModHome_gr_284.gif]   with   [Graphics:Images/ZTransformDEModHome_gr_285.gif].   
                          Hint.  Get  [Graphics:Images/ZTransformDEModHome_gr_286.gif].  

Solution 2 (b).

See text and/or instructor's solution manual.

Answer.   [Graphics:../Images/ZTransformDEModHome_gr_392.gif].  

Alternative Answer.   [Graphics:../Images/ZTransformDEModHome_gr_393.gif].  

Remark.   It is our goal to learn Z-transforms and use residues.  

Solution.   

Method 1.
  The characteristic equation  

                    [Graphics:../Images/ZTransformDEModHome_gr_394.gif]  

has complex roots  [Graphics:../Images/ZTransformDEModHome_gr_395.gif].  

The general solution is  

                    [Graphics:../Images/ZTransformDEModHome_gr_396.gif].  

Solve the linear system  

                    [Graphics:../Images/ZTransformDEModHome_gr_397.gif]

and get  [Graphics:../Images/ZTransformDEModHome_gr_398.gif]  and  [Graphics:../Images/ZTransformDEModHome_gr_399.gif].

Therefore,  

                    [Graphics:../Images/ZTransformDEModHome_gr_400.gif].

Method 2.  Take the z-transform of both sides and use the initial conditions   [Graphics:../Images/ZTransformDEModHome_gr_401.gif]:  

                    [Graphics:../Images/ZTransformDEModHome_gr_402.gif],  

and then get    

                    [Graphics:../Images/ZTransformDEModHome_gr_403.gif].  

New solve for  [Graphics:../Images/ZTransformDEModHome_gr_404.gif]  and obtain:    

                    [Graphics:../Images/ZTransformDEModHome_gr_405.gif].  

Using Tables.   Using Table 9.1 and the formula   [Graphics:../Images/ZTransformDEModHome_gr_406.gif]   we get:  

                    [Graphics:../Images/ZTransformDEModHome_gr_407.gif]  

Remark.  The details for the partial fraction expansion are at the bottom of the page.

Therefore,  

                    [Graphics:../Images/ZTransformDEModHome_gr_408.gif].

We are done.   

Alternative Solution Using Tables.   Using ordinary partial fractions and formula   [Graphics:../Images/ZTransformDEModHome_gr_409.gif]   from Table 9.1

and the substitution  [Graphics:../Images/ZTransformDEModHome_gr_410.gif]  and    [Graphics:../Images/ZTransformDEModHome_gr_411.gif],   [Graphics:../Images/ZTransformDEModHome_gr_412.gif]  and get

                    [Graphics:../Images/ZTransformDEModHome_gr_413.gif]  

Aside.  We can verify the substitution.

[Graphics:../Images/ZTransformDEModHome_gr_414.gif]

[Graphics:../Images/ZTransformDEModHome_gr_415.gif]

We are done.   

Using Residues.   Calculate residues of  [Graphics:../Images/ZTransformDEModHome_gr_416.gif]  at the poles   [Graphics:../Images/ZTransformDEModHome_gr_417.gif].  

                    [Graphics:../Images/ZTransformDEModHome_gr_418.gif]  

At the conjugate pole we can use the computation

                    [Graphics:../Images/ZTransformDEModHome_gr_419.gif].  

Thus,  

                    [Graphics:../Images/ZTransformDEModHome_gr_420.gif]  

Therefore,

                    [Graphics:../Images/ZTransformDEModHome_gr_421.gif].  

We are done.   

Aside.  We can let Mathematica double check our work.

[Graphics:../Images/ZTransformDEModHome_gr_422.gif]

[Graphics:../Images/ZTransformDEModHome_gr_423.gif]


[Graphics:../Images/ZTransformDEModHome_gr_424.gif]

[Graphics:../Images/ZTransformDEModHome_gr_425.gif]


[Graphics:../Images/ZTransformDEModHome_gr_426.gif]

[Graphics:../Images/ZTransformDEModHome_gr_427.gif]


[Graphics:../Images/ZTransformDEModHome_gr_428.gif]

[Graphics:../Images/ZTransformDEModHome_gr_429.gif]


[Graphics:../Images/ZTransformDEModHome_gr_430.gif]

[Graphics:../Images/ZTransformDEModHome_gr_431.gif]


[Graphics:../Images/ZTransformDEModHome_gr_432.gif]

[Graphics:../Images/ZTransformDEModHome_gr_433.gif]


[Graphics:../Images/ZTransformDEModHome_gr_434.gif]

[Graphics:../Images/ZTransformDEModHome_gr_435.gif]


[Graphics:../Images/ZTransformDEModHome_gr_436.gif]

[Graphics:../Images/ZTransformDEModHome_gr_437.gif]


[Graphics:../Images/ZTransformDEModHome_gr_438.gif]

[Graphics:../Images/ZTransformDEModHome_gr_439.gif]


[Graphics:../Images/ZTransformDEModHome_gr_440.gif]

[Graphics:../Images/ZTransformDEModHome_gr_441.gif]


[Graphics:../Images/ZTransformDEModHome_gr_442.gif]

[Graphics:../Images/ZTransformDEModHome_gr_443.gif]

Aside.  The Maple commands are similar  

[Graphics:../Images/ZTransformDEModHome_gr_444.gif]  

                                                            [Graphics:../Images/ZTransformDEModHome_gr_445.gif]


[Graphics:../Images/ZTransformDEModHome_gr_446.gif]  

                                                            [Graphics:../Images/ZTransformDEModHome_gr_447.gif]


[Graphics:../Images/ZTransformDEModHome_gr_448.gif]  

                                                            [Graphics:../Images/ZTransformDEModHome_gr_449.gif]

                                                            
[Graphics:../Images/ZTransformDEModHome_gr_450.gif]   

                                                            [Graphics:../Images/ZTransformDEModHome_gr_451.gif]


[Graphics:../Images/ZTransformDEModHome_gr_452.gif]  

                                                            [Graphics:../Images/ZTransformDEModHome_gr_453.gif]

We are really done.   

Aside.  We can use Mathematica's Rsolve subroutine.

[Graphics:../Images/ZTransformDEModHome_gr_454.gif]

[Graphics:../Images/ZTransformDEModHome_gr_455.gif]

Aside.  The Maple command is similar  

[Graphics:../Images/ZTransformDEModHome_gr_456.gif]  

                                                            [Graphics:../Images/ZTransformDEModHome_gr_457.gif]

For curiosities sake, we can compute some of the terms in the sequence with the various formulae.

[Graphics:../Images/ZTransformDEModHome_gr_458.gif]

[Graphics:../Images/ZTransformDEModHome_gr_459.gif]


[Graphics:../Images/ZTransformDEModHome_gr_460.gif]

[Graphics:../Images/ZTransformDEModHome_gr_461.gif]


[Graphics:../Images/ZTransformDEModHome_gr_462.gif]

[Graphics:../Images/ZTransformDEModHome_gr_463.gif]


[Graphics:../Images/ZTransformDEModHome_gr_464.gif]

[Graphics:../Images/ZTransformDEModHome_gr_465.gif]

We leave it for the reader to prove that the four forms of the answer are equivalent.

We are really really done.   

 

Aside.  We can graph some of the terms in the sequence.

 

          [Graphics:../Images/ZTransformDEModHome_gr_466.gif]     [Graphics:../Images/ZTransformDEModHome_gr_467.gif]     [Graphics:../Images/ZTransformDEModHome_gr_468.gif]

                    The sequence   [Graphics:../Images/ZTransformDEModHome_gr_469.gif].  

 

We are really really really done.   

The Details for the Partial Fractions.   

Aside.  How can we expand   [Graphics:../Images/ZTransformDEModHome_gr_470.gif]   into the proper partial fractions?

Method (i).   Use the following algebra steps  

                    [Graphics:../Images/ZTransformDEModHome_gr_471.gif]  

Now we have the desired partial fraction form:

                    [Graphics:../Images/ZTransformDEModHome_gr_472.gif].

Method (ii).   Find the linear combination of   [Graphics:../Images/ZTransformDEModHome_gr_473.gif],  

                    [Graphics:../Images/ZTransformDEModHome_gr_474.gif].  

Equate the numerators   [Graphics:../Images/ZTransformDEModHome_gr_475.gif],  

and solve the linear system  

                    [Graphics:../Images/ZTransformDEModHome_gr_476.gif]  

and get   [Graphics:../Images/ZTransformDEModHome_gr_477.gif].   

Therefore, the desired partial fraction form is  

                    [Graphics:../Images/ZTransformDEModHome_gr_478.gif].  

Aside.   The Mathematica commands for Method (ii)  are

[Graphics:../Images/ZTransformDEModHome_gr_479.gif]

[Graphics:../Images/ZTransformDEModHome_gr_480.gif]


[Graphics:../Images/ZTransformDEModHome_gr_481.gif]

[Graphics:../Images/ZTransformDEModHome_gr_482.gif]

Method (iii).   The substitution   [Graphics:../Images/ZTransformDEModHome_gr_483.gif]   does not apply when there are complex roots.

We are really really really really done.   

Method 2 Revisited.  Take the z-transform of both sides and use the initial conditions   [Graphics:../Images/ZTransformDEModHome_gr_484.gif]:  

                    [Graphics:../Images/ZTransformDEModHome_gr_485.gif],  

and then get    

                    [Graphics:../Images/ZTransformDEModHome_gr_486.gif].  

New solve for  [Graphics:../Images/ZTransformDEModHome_gr_487.gif]  and obtain:    

                    [Graphics:../Images/ZTransformDEModHome_gr_488.gif].  

Using Residues.   Calculate residues of  [Graphics:../Images/ZTransformDEModHome_gr_489.gif]  at the poles   [Graphics:../Images/ZTransformDEModHome_gr_490.gif].  

                    [Graphics:../Images/ZTransformDEModHome_gr_491.gif]  

At the conjugate pole we can use the computation

                    [Graphics:../Images/ZTransformDEModHome_gr_492.gif].  

Thus,  

                    [Graphics:../Images/ZTransformDEModHome_gr_493.gif]  

Therefore,  

                    [Graphics:../Images/ZTransformDEModHome_gr_494.gif].  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(c) 2008 John H. Mathews, Russell W. Howell