• Support PF! Buy your school textbooks, materials and every day products via PF Here!

Prove binomial series converges for |x|<1

  • Thread starter Aziza
  • Start date
190
1
1. Homework Statement

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

2. Homework 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. Homework Statement



2. Homework Equations



3. The Attempt at a Solution
1. Homework Statement



2. Homework Equations



3. The Attempt at a Solution
 
2,956
5
But, your problem statement does not involve the endpoints you had mentioned (I'm assuming you consider [itex]x \in \mathbb{R}[/itex]).
 
190
1
But, your problem statement does not involve the endpoints you had mentioned (I'm assuming you consider [itex]x \in \mathbb{R}[/itex]).
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..
 
2,956
5
What is the actual statement of your problem?
 
190
1
What is the actual statement of your problem?
"Use the ratio test to show that a binomial series converges for |x| < 1."
 
2,956
5
So, you did that.
 
190
1
So, you did that.
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
 
2,956
5
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.
 
190
1
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.
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?
 
2,956
5
Definitely not by using the ratio test.
 
190
1
Definitely not by using the ratio test.
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?
 
2,956
5
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?
No, since [itex]a_{n} \rightarrow 0, \ n \rightarrow \infty[/itex].
 
2,956
5
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].
 
190
1
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?
 
190
1
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].
ohhh ok i will try to digest this now...ignore my last post then bc i posted not knowing you already did...
 
190
1
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!
 

Related Threads for: Prove binomial series converges for |x|<1

Replies
12
Views
14K
Replies
10
Views
2K
  • Posted
Replies
3
Views
2K
  • Posted
Replies
4
Views
1K
  • Posted
Replies
7
Views
1K
  • Posted
Replies
1
Views
877
  • Posted
Replies
2
Views
992
  • Posted
Replies
5
Views
874
Top