Solving Recurrence Equations
If you represent the
n^{th} term in a sequence as
a[n], you can use a
recurrence equation to specify how it is related to other terms in the sequence.
RSolve takes recurrence equations and solves them to get explicit formulas for
a[n].
This solves a simple recurrence equation.
Out[1]=  

This takes the solution and makes an explicit table of the first ten a[n].
Out[2]=  

RSolve[eqn,a[n],n]  solve a recurrence equation 
Solving a recurrence equation.
This solves a recurrence equation for a geometric series.
Out[3]=  

This gives the same result.
Out[4]=  

This gives an algebraic solution to a recurrence equation.
Out[5]=  

This solves the Fibonacci recurrence equation.
Out[6]=  

RSolve can be thought of as a discrete analog of
DSolve. Many of the same functions generated in solving differential equations also appear in finding symbolic solutions to recurrence equations.
This generates a gamma function, which generalizes the factorial.
Out[7]=  

This secondorder recurrence equation comes out in terms of Bessel functions.
Out[8]=  

RSolve does not require you to specify explicit values for terms such as
a[1]. Like
DSolve, it automatically introduces undetermined constants
C[i] to give a general solution.
This gives a general solution with one undetermined constant.
Out[9]=  

RSolve can solve equations that do not depend only linearly on
a[n]. For nonlinear equations, however, there are sometimes several distinct solutions that must be given. Just as for differential equations, it is a difficult matter to find symbolic solutions to recurrence equations, and standard mathematical functions only cover a limited set of cases.
Here is the general solution to a nonlinear recurrence equation.
Out[10]=  

This gives two distinct solutions.
Out[11]=  

RSolve can solve not only ordinary
difference equations in which the arguments of
a differ by integers, but also
qdifference equations in which the arguments of
a are related by multiplicative factors.
This solves the qdifference analog of the factorial equation.
Out[12]=  

Here is a secondorder qdifference equation.
Out[13]=  

RSolve[{eqn_{1},eqn_{2},...},{a_{1}[n],a_{2}[n],...},n] 
 solve a coupled system of recurrence equations 
Solving systems of recurrence equations.
This solves a system of two coupled recurrence equations.
Out[14]=  

RSolve[eqns,a[n_{1},n_{2},...],{n_{1}, n_{2}, ... }] 
 solve partial recurrence equations 
Solving partial recurrence equations.
Just as one can set up partial differential equations that involve functions of several variables, so one can also set up partial recurrence equations that involve multidimensional sequences. Just as in the differential equations case, general solutions to partial recurrence equations can involve undetermined functions.
This gives the general solution to a simple partial recurrence equation.
Out[15]=  
