Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Proving limits of recursive sequences using definition

  1. Mar 4, 2008 #1
    in general, how does one go about proving limits of recursive sequences using the definition?

    for example, how does one prove a_n+1 = (a_n)^2/5 => lim(a_n)=0?

    For me it's obvious but the TA insists that things like that require proving?
  2. jcsd
  3. Mar 4, 2008 #2
    If it's so obvious, then prove it.
  4. Mar 4, 2008 #3


    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    There are generally two steps in these kinds of problem :

    1° Suppose the limit exists and find its value (or possible values). This usually involve noticing that if a_n-->a, then a_{n+1}-->a and solve for a algebraically in the equation you get by taking the limit of both side in the recurrence relation.. for instance here we get a = a^(2/5).

    2° Prove that the limit exists, and in the event that step 1 lead to multiples possible values for the limit, determine which one is right.
  5. Mar 4, 2008 #4
    Why, would that be obvious! Unless you are some kind of genius, so you can see all the steps to the end in your head. Otherwise that is not obvious unless you start doing it!
  6. Mar 4, 2008 #5


    User Avatar
    Science Advisor
    Homework Helper


    Hi ricardianequiva!

    In a simple case like this, where you have a recursive definition, just "recurse" it! :smile:

    In this case, [tex]a_{n+k} = (a_n)^{{2/5)^k}[/tex].

    Does that do it for you? :smile:

    ooh! … just noticed … it wasn't obvious that lim a_n = 0 … in fact, it wasn't even true! … i think there's a moral there, somewhere! :rolleyes:
    Last edited: Mar 4, 2008
  7. Mar 4, 2008 #6


    User Avatar
    Science Advisor

    Good! You have a good TA.

    Actually, as Tiny Tim pointed out, this is not only not "obvious", it's not even true. What this sequence converges to, and even whether or not it converges, depends on the initial value and you did not give that!
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook