1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Prove binomial series converges for |x|<1

  1. Sep 3, 2012 #1
    1. The problem statement, all variables and given/known data

    How do you prove that the binomial series (x+1)^p converges for |x|<1 ?

    2. Relevant equations



    3. The attempt at a solution

    (x+1)^p = Ʃ[itex]x^{n}\frac{p!}{(p-n)!n!}[/itex]
    After doing ratio test I get |x|<1 . But now I have to test end points and this is my problem:

    when x=1,
    an = [itex]\frac{p!}{(p-n)!n!}[/itex]

    when x=-1,
    an = (-1)^n[itex]\frac{p!}{(p-n)!n!}[/itex]

    Since the interval of convergence does not include these endpoints, I know these two series must diverge, but how to prove this? Is it because as n->∞, (p-n)! eventually becomes undefined, and so the limit of an as n->∞ is undefined, but in order for the series to converge, an must approach 0 as n->∞ ?
    1. The problem statement, all variables and given/known data



    2. Relevant equations



    3. The attempt at a solution
    1. The problem statement, all variables and given/known data



    2. Relevant equations



    3. The attempt at a solution
     
  2. jcsd
  3. Sep 3, 2012 #2
    But, your problem statement does not involve the endpoints you had mentioned (I'm assuming you consider [itex]x \in \mathbb{R}[/itex]).
     
  4. Sep 3, 2012 #3
    Well I used the ratio test, which is inconclusive when the limit as n->∞ of |[itex]\frac{a_{n+1}}{a_{n}}[/itex]|=1.
    ie, in this case, when |x|=1
    So...I think you have to test the endpoints. Otherwise you cannot be certain that the interval of convergence contains them or not..
     
  5. Sep 3, 2012 #4
    What is the actual statement of your problem?
     
  6. Sep 3, 2012 #5
    "Use the ratio test to show that a binomial series converges for |x| < 1."
     
  7. Sep 3, 2012 #6
    So, you did that.
     
  8. Sep 3, 2012 #7
    no...this isnt the full proof...if I don't test the endpoints, it might be the case that the binomial series converges for |x|≤1 or -1<x≤1 or -1≤x<1, not for |x|<1
     
  9. Sep 3, 2012 #8
    If it converges for [itex]\vert x \vert \le 1[/itex], then it definitely converges for [itex]\vert x \vert < 1[/itex]. The converse is not true, however. Luckily, you are not required to prove the more stringent statement "the binomial series converges for [itex]\vert x \vert \le 1[/itex]", so there is no need to test the endpoints.
     
  10. Sep 3, 2012 #9
    ok yea I guess that is true.....but....I still want to test the endpoints !! :)
    so, how to do that in this case? how to prove that for x=1 and x=-1, the series diverge?
     
  11. Sep 3, 2012 #10
    Definitely not by using the ratio test.
     
  12. Sep 3, 2012 #11
    yea i know that...
    as i first wrote, i tried to prove that they diverge because their limit is undefined as n->∞. But, the limit of the general term of a series must tend to 0 as n->∞ in order for their to be a possibility of it converging. Thus, since the limit is undefined in this case, then it is not 0, and so the series must diverge. Is that the correct way of proving it?
     
  13. Sep 3, 2012 #12
    No, since [itex]a_{n} \rightarrow 0, \ n \rightarrow \infty[/itex].
     
  14. Sep 3, 2012 #13
    huh?
     
  15. Sep 3, 2012 #14
    A more general definition of the binomial coefficient (valid for non-integer p) is:
    [tex]
    \left(\begin{array}{c}
    p
    \\
    n
    \end{array} \right) \equiv \frac{p (p - 1) \ldots (p - n + 1)}{n!}, \ n > 0,
    [/tex]

    So, you don't need to worry about the case [itex]n - p < 0[/itex] too much. If [itex]p \in \mathbb{N}[/itex], then, starting with [itex]n_0 = p + 1[/itex], the numerator of this fraction is always zero, so the series is a polynomial and is definitely convergent for any value of x. Suppose [itex]p \notin \mathbb{N}[/itex]. Then, [itex]\Gamma(-p)[/itex] exists, and we may write:
    [tex]
    \left(\begin{array}{c}
    p
    \\
    n
    \end{array} \right) = \frac{(-1)^n \, (n - p - 1) \ldots (-p + 1) (-p)}{n!} = \frac{(-1)^n \, \Gamma(n - p)}{\Gamma(-p) \, \Gamma(n + 1)}
    [/tex]
    But, for large λ the Euler gamma function has the asymptotic form (Stirling's formula):
    [tex]
    \Gamma(\lambda + 1) \sim \sqrt{2 \pi \lambda} \, \left( \frac{\lambda}{e} \right)^{\lambda}, \ \lambda \rightarrow \infty
    [/tex]
    and
    [tex]
    a_n \sim \frac{(-1)^n}{\Gamma(-p)} \, \frac{(n - p - 1)^{n - p - \frac{1}{2}}}{n^{n + \frac{1}{2}}} \, e^{-n + p + 1 + n} \sim \frac{(-1)^n}{\Gamma(-p)} \, \left( \frac{e}{n} \right)^{p + 1} \rightarrow 0, \ n \rightarrow \infty
    [/tex]
    for [itex]p > -1[/itex].
    For [itex]p = -1[/itex], the binomial coefficient is:
    [tex]
    a_n = (-1)^n
    [/tex]
    and the series diverges on both ends.

    For [itex]p <-1[/itex] (and non-natural number), the main coefficient diverges, and, therefore the series should diverge by the necessary condition for convergence.

    You still haven't proven that the series converges or diverges at the endpoints for [itex]p < -1[/itex].
     
  16. Sep 3, 2012 #15
    ok now that i have looked at this more closely, i think that Ʃan converges at x=1 and x=-1...

    an = [itex](\stackrel{p}{n})[/itex][itex]x^{n}[/itex] = [itex](\stackrel{p}{n})[/itex] when x=1

    [itex](\stackrel{p}{n}) = \frac{p(p-1)(p-2)...(p-n+1)}{n!}[/itex]

    but as n->∞, the numerator will eventually become 0 because n will become greater than p....in other words, [itex]\left(\stackrel{p}{p+1}\right)[/itex] = 0 for all p

    the argument is same for x=-1

    So i think what I was doing wrong was defining [itex](\stackrel{p}{n})[/itex] to be [itex]\frac{p!}{(p-n)!n!}[/itex] , but that only works for n≤p, because when n>p, the denominator will contain the factorial of a negative number, which is not defined from what i understand...

    so what confuses me now is why my book gives as a definition that the binomial series converges for |x|<1 and not for |x|≤1....unless my argument is wrong somehow?
     
  17. Sep 3, 2012 #16
    ohhh ok i will try to digest this now...ignore my last post then bc i posted not knowing you already did...
     
  18. Sep 3, 2012 #17
    ohhhh ok i see! so basically, the series converges at x=1 and x=-1 but only when p is in the natural numbers, but the point is to make it converge for all p....thank you!
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook