# Solving Recurrence Equations

If you represent the

term in a sequence as

, 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

.

This solves a simple recurrence equation.

Out[1]= | |

This takes the solution and makes an explicit table of the first ten

.

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 second-order recurrence equation comes out in terms of Bessel functions.

Out[8]= | |

RSolve does not require you to specify explicit values for terms such as

. 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

. 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

differ by integers, but also

*-difference equations* in which the arguments of

are related by multiplicative factors.

This solves the

-difference analog of the factorial equation.

Out[12]= | |

Here is a second-order

-difference 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]= | |