Exercise 11.  Solve the difference equation   [Graphics:Images/ZTransformIntroModHome_gr_743.gif]   with the initial condition   [Graphics:Images/ZTransformIntroModHome_gr_744.gif].  

Use recursion (and mathematical induction) to find the solution.

That is, compute  [Graphics:Images/ZTransformIntroModHome_gr_745.gif],  [Graphics:Images/ZTransformIntroModHome_gr_746.gif],  [Graphics:Images/ZTransformIntroModHome_gr_747.gif],  then find the general term.  

Solution 11.

See text and/or instructor's solution manual.

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

Solution.   Use the recursive formula  [Graphics:../Images/ZTransformIntroModHome_gr_749.gif]  to find the solution with initial condition  [Graphics:../Images/ZTransformIntroModHome_gr_750.gif].  The first few terms look like

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

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

                    [Graphics:../Images/ZTransformIntroModHome_gr_753.gif].  
        
                    Assume that  [Graphics:../Images/ZTransformIntroModHome_gr_754.gif]  has the form
        
                    [Graphics:../Images/ZTransformIntroModHome_gr_755.gif]  
        
                    then the next step is
        
                    [Graphics:../Images/ZTransformIntroModHome_gr_756.gif]


Therefore, we have established the formula by mathematical induction.  

 

 

We are done.   

 

We can let Mathematica verify a few of the sums.

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

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


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

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


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

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

          The Maple commands are similar  

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

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


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

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


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

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

 

We are really done.   

 

Aside.  We can use Mathematica's Rsolve subroutine.

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

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

          The Maple command is similar  

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

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

 

We are really really done.   

Remark.  If we observe that  [Graphics:../Images/ZTransformIntroModHome_gr_773.gif]  then the line  [Graphics:../Images/ZTransformIntroModHome_gr_774.gif]  can be written as

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

Now use [Graphics:../Images/ZTransformIntroModHome_gr_776.gif] and combine terms to get
        
                    [Graphics:../Images/ZTransformIntroModHome_gr_777.gif],

which is the convolution form of the solution.

 

We are really really really done.   

Aside.  We can explore the situation when   [Graphics:../Images/ZTransformIntroModHome_gr_778.gif]

 

          [Graphics:../Images/ZTransformIntroModHome_gr_780.gif]     [Graphics:../Images/ZTransformIntroModHome_gr_781.gif]     [Graphics:../Images/ZTransformIntroModHome_gr_782.gif]

  

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

 

Aside.  We can explore the situation when   [Graphics:../Images/ZTransformIntroModHome_gr_784.gif]

 

          [Graphics:../Images/ZTransformIntroModHome_gr_785.gif]     [Graphics:../Images/ZTransformIntroModHome_gr_786.gif]     [Graphics:../Images/ZTransformIntroModHome_gr_787.gif]

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

 

  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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