Radius of convergence (Power series)

In summary, the conversation is about finding the Maclaurin series for the function (1+x)^-1 and determining the values of x for which the series converges. The conversation includes various attempts at finding the series and using the ratio test, as well as a hint to approach the problem using geometric series. Ultimately, the solution is found by using the general form of the Maclaurin series and finding the coefficients a_n, which leads to the answer of x = (-1,1).
  • #1
ibysaiyan
442
0

Homework Statement


Hi there,
I have just started taylor series for my course.. most seems arlgiht so far, however when it comes to validating a given series( tayor or maclaruin), I have an idea on how to find out the x value.. but I don't know what I am doing wrong.Take for example: The following function (1+x)^-1 . Expand the maclaurin series of it and give values of x for which the above series is valid:

Homework Equations


F(x) = f(0) + f'(0)x /1! + f'' (0)x^2/ 2! + f'''(0)x^3 /3! + f^n (0)x^n/n!

The Attempt at a Solution



Here's my working:

Let f(x) = (1+x)^-1 so f(0) = (1+0)^-1 = 1
f'(x) = -1. (1+x)^-2 f' (0) = -1 . (1)^-2

f''(x) = 2.1 (1+x)^-3 = > f''(0) = 2.1 (1)^-3

f'''(x) = -3.2.1. (1+x)^-4 => f'''(0) = -3.2.1 (1)^-4

Now initially i was puzzled on how to predict (next term or the general pattern) but I think next term will be f'4 = 4.3.2.1 (1x)^-5 so f'4 (0) = 4.3.2.1 (1)^-5

Now I know test ratio can be done to find the radius of convergence i.e for a given function say anx^n ratio would be => (an+1)x^(n+1) / anx^n...

I tried doing the same for the above series.. My general formula is : f(n) : (-1)^n . n! (1+x)^ -(n+1) ... by manipulation i got : 1.(n+1) x [ 1^-n-2] / 1^-n-1]

= > 1. (n+1) but since n => infinity , this function diverges ?
Any constructive input will be appreciated. Thanks!
 
Last edited:
Physics news on Phys.org
  • #2
Hint: think of geometric series.
 
  • #3
spamiam said:
Hint: think of geometric series.

I know geometric series goes like : 1+ q+ q^2 +q^3 ... and is in the form of a/1-r but how do I approach this problem ? I am confused .. can't I use ratio method to get value/s of x which converge.
 
  • #4
Ok.. so the general form of my series is :

[itex]F^{n}[/itex] = [tex] (-1)^n (n!) (1+x)^{-(n+1)} [/tex]

So we can ignore [tex] (-1)^n[/tex] as n -> infinity.

I am left with : [tex] (n!) (1+x)^{-(n+1)} [/tex][itex]F^{n+1}[/itex] / [itex]F^{n}[/itex]= [tex] (n+1!) (1+x)^{-(n+2)} / n! (1+x)^{-(n+1)} [/tex]

I end up with the expression 1/ (1+x)...

EDIT: I don't mean to spam or brea any forum rules, I can find series and predict nth term.. it's only the convergence bit confusing me :(
 
Last edited:
  • #5
ibysaiyan said:
Ok.. so the general form of my series is :

[itex]F^{n}[/itex] = [tex] (-1)^n (n!) (1+x)^{-(n+1)} [/tex]

How can you express [itex] \frac{1}{1+x} [/itex] as a geometric series? If what you've given above is what you think the nth term of the series is, then it's incorrect. It looks more like [itex] f^{(n)}(x)[/itex], but you can avoid calculating this by using my hint. If you're having trouble, look up geometric series in Wikipedia.

For what values of x does this series converge? I don't think you need to use the ratio test--facts about geometric series should be sufficient.
 
  • #6
Well... a /1-r = 1/ x+1 ... I am totally lost...
hm..
 
  • #7
ibysaiyan said:
I am totally lost...
hm..
If my hint isn't helping you, maybe you should go back to your original approach. Afterward I can show you the faster method I was hinting at if you're interested.

What do you get for [itex] \displaystyle \frac{f^{(n)}(0)}{n!}[/itex]?
 
  • #8
Coming back to my original approach.. Is the general form of the series wrong ? hm.. I am determined to finish ( and understand it) this problem , tonight.
Thanks for your patience with me.

EDIT: Oh i think i see where i may have gone wrong.
Previous

[itex]F^{n}[/itex] = [tex] (-1)^n (n!) (1+x)^{-(n+1)} [/tex]

Shouldn't the expression [tex](1+x)^{-(n+1)} [/tex] actually be [tex] (1+x)^{-n-1} [/tex] ?
The form which you have posted looks like a general form of maclaurin or taylor series hm...

EDIT: Actually i will give a little read(google) over the 'geometric approach' hm..
 
Last edited:
  • #9
ibysaiyan said:
Coming back to my original approach.. Is the general form of the series wrong ?

I think what you had for [itex] f^{(n)}(x) [/itex] was right, but then you tried to do the ratio test using it. The ratio test examines [itex] \lim_{n \to \infty} \left|\frac{a_{n+1}}{a_n} \right| [/itex] for a power series [itex] \sum_{n=0}^\infty a_n x^n [/itex]. So, now that you have [itex] f^{(n)}(x) [/itex], compute [itex] \frac{f^{(n)}(0)}{n!}[/itex], which will give you the coefficient [itex] a_n [/itex].

EDIT: Oh i think i see where i may have gone wrong.
Previous

[itex]F^{n}[/itex] = [tex] (-1)^n (n!) (1+x)^{-(n+1)} [/tex]

Shouldn't the expression [tex](1+x)^{-(n+1)} [/tex] actually be [tex] (1+x)^{-n-1} [/tex] ?
These are the same thing, so both are correct.

The form which you have posted looks like a general form of maclaurin or taylor series hm...

EDIT: Actually i will give a little read(google) over the 'geometric approach' hm..

You can try looking at http://en.wikipedia.org/wiki/Geometric_series" link for geometric series. The idea is to find a way to write [itex] \frac{1}{1-x} [/itex] as a geometric series, and then use this to do the same for [itex] \frac{1}{1+x} [/itex].
 
Last edited by a moderator:
  • #10
Did you get the answer? If you did and still want to see the shortcut using geometric series, I'll post it.
 
  • #11
spamiam said:
Did you get the answer? If you did and still want to see the shortcut using geometric series, I'll post it.

Sorry other assignments have kept me busy.. i will type down my approach in a bit.If everything fails you can post geometric method.Thanks for your concern =]
 
  • #12
Can you show me how to get the co-efficient [itex]a_{n}[/itex] ? (as above).. I am confused.. do I plug in n = 1 ?

I have used the following link as my reference... : http://www.sosmath.com/calculus/radcon/radcon02/radcon02.html

Oh do I basically find out my power series and then find out it's general form ? the maclaurin series in this case is : 4

[tex]1-x+x^2 -x^3 +x^4 -x^5 [/tex]
 
Last edited:
  • #13
ibysaiyan said:
Can you show me how to get the co-efficient [itex]a_{n}[/itex] ? (as above).. I am confused.. do I plug in n = 1 ?
It's just as you had it above, [itex] a_n = \frac{f^{(n)}(0)}{n!} [/itex].
I have used the following link as my reference... : http://www.sosmath.com/calculus/radcon/radcon02/radcon02.html

Oh do I basically find out my power series and then find out it's general form ? the maclaurin series in this case is : 4

[tex]1-x+x^2 -x^3 +x^4 -x^5 [/tex]

That looks like a good start, but you need an infinite series. What is the general pattern? You said before that [itex]f^{(n)}(x) = (-1)^n (n!) (1+x)^{-(n+1)} [/itex]. So what is [itex] f^{(n)}(0)[/itex]?
 
  • #14
spamiam said:
It's just as you had it above, [itex] a_n = \frac{f^{(n)}(0)}{n!} [/itex].That looks like a good start, but you need an infinite series. What is the general pattern? You said before that [itex]f^{(n)}(x) = (-1)^n (n!) (1+x)^{-(n+1)} [/itex]. So what is [itex] f^{(n)}(0)[/itex]?

I believe I have finally got the solution.. it took me less than a minute to figure it out... the thing which I was over looking at was the fact that I wasn't trying to find out radius of the derivates rather than the series itself. ( As you have pointed out as well).
My series is : [tex]1-x+x^2 -x^3 +x^4[/tex]
In the general form : [tex] (-1)^n * x^n[/tex]
This is An.
So the ratio which's in the form of : [itex]a_{n+1}/a{n} [/itex] as n -> infinity becomes:
[tex] ((-1)^n+1) *(x^n+1)/-1^n * x^n [/tex]

after I manipulate them I end up with -x only... which's weird since the limit is given.. how am I suppose to plug in n -> infinity , if n's cancel... hmm
 
  • #15
In general, the power series for a function will converge "until there is a problem". Here, the function is 1/(1+ x) which "has a problem" at x= -1. So there is no reason for the series not to converge between 0 and -1 but it obviously cannot converge to a value at x= -1.

Or, as others have pointed out, 1/(1+ x)= 1/(1- (-x)) is the sum of a goemetric series with "common ratio", r= -x. For what "r" does a geometric series converge?
 
  • #16
ibysaiyan said:
I believe I have finally got the solution.. it took me less than a minute to figure it out... the thing which I was over looking at was the fact that I wasn't trying to find out radius of the derivates rather than the series itself. ( As you have pointed out as well).
My series is : [tex]1-x+x^2 -x^3 +x^4[/tex]
In the general form : [tex] (-1)^n * x^n[/tex]
This is An.
Looks good. (You can add the LaTeX markup \cdots to make it [itex]1-x+x^2 -x^3 +x^4 - \cdots[/itex].)
So the ratio which's in the form of : [itex]a_{n+1}/a{n} [/itex] as n -> infinity becomes:
[tex] ((-1)^n+1) *(x^n+1)/-1^n * x^n [/tex]

after I manipulate them I end up with -x only... which's weird since the limit is given.. how am I suppose to plug in n -> infinity , if n's cancel... hmm
That's okay. If [itex] \left| \frac{a_{n+1}}{a_n} \right| [/itex] is the same thing for every n (i.e., doesn't depend on n), then taking the limit shouldn't change anything, right? For example, [itex] \lim_{n \to \infty} 2 = 2 [/itex].

Read what the ratio test has to say a bit more carefully. First of all, it examines [itex] L = \lim_{n \to \infty} \left| \frac{a_{n+1}}{a_n} \right| [/itex], so don't forget the absolute values. Now, for which values of L does the series converge? For which does it diverge? And for which is the test inconclusive?
 
  • #17
HallsofIvy said:
In general, the power series for a function will converge "until there is a problem". Here, the function is 1/(1+ x) which "has a problem" at x= -1. So there is no reason for the series not to converge between 0 and -1 but it obviously cannot converge to a value at x= -1.

Or, as others have pointed out, 1/(1+ x)= 1/(1- (-x)) is the sum of a goemetric series with "common ratio", r= -x. For what "r" does a geometric series converge?

spamiam said:
Looks good. (You can add the LaTeX markup \cdots to make it [itex]1-x+x^2 -x^3 +x^4 - \cdots[/itex].)

That's okay. If [itex] \left| \frac{a_{n+1}}{a_n} \right| [/itex] is the same thing for every n (i.e., doesn't depend on n), then taking the limit shouldn't change anything, right? For example, [itex] \lim_{n \to \infty} 2 = 2 [/itex].

Read what the ratio test has to say a bit more carefully. First of all, it examines [itex] L = \lim_{n \to \infty} \left| \frac{a_{n+1}}{a_n} \right| [/itex], so don't forget the absolute values. Now, for which values of L does the series converge? For which does it diverge? And for which is the test inconclusive?

Thanks for the reply.
Would the r value be r>1 ? since if that's plugged into the equation... i get negative number. I still however am confused since typical ratio test problems have some value of x turning out to be either negative or positive value which tells of divergence,convergence of the function.
 
Last edited:
  • #18
ibysaiyan said:
Thanks for the reply.
Would the x value be <1 ? since if that's plugged into the equation... i get negative number.
How do you get a negative number since you're taking the absolute value?
I still however am confused since typical ratio test problems have some value of x turning out to be either negative or positive value which tells of divergence,convergence of the function.

Like I said, read carefully what the ratio test tells you: http://en.wikipedia.org/wiki/Ratio_test
 
  • #19
spamiam said:
How do you get a negative number since you're taking the absolute value?


Like I said, read carefully what the ratio test tells you: http://en.wikipedia.org/wiki/Ratio_test

I see. So in my case L = -x, right ?
 
  • #20
ibysaiyan said:
I see. So in my case L = -x, right ?

Almost, but don't forget to take the absolute value!
 
  • #21
spamiam said:
Almost, but don't forget to take the absolute value!

Ah... I see. Thank you very much for your help. I really appreciate it.

So I have another expression: ln (x+a) for which I did the above process all over again.. I end up with L = |x/a|, am I right ?
 
Last edited:
  • #22
ibysaiyan said:
Ah... I see. Thank you very much for your help. I really appreciate it.
So what did you get for the radius of convergence?

So I have another expression: ln (x+a) for which I did the above process all over again.. I end up with L = |x/a|, am I right ?

I don't understand... Are you trying to find a series for f(x) = ln(x + a)?
 
  • #23
spamiam said:
So what did you get for the radius of convergence?



I don't understand... Are you trying to find a series for f(x) = ln(x + a)?
Wouldn't that be simply L = |x| ?

f(x) = ln(x + a)
Series and the x value/s for which it's valid.
 
  • #24
ibysaiyan said:
Wouldn't that be simply L = |x| ?
Right, and now the link from post #18 tells you for what values of L the series converges. Post what you get for the region of convergence and I'll show you the geometric series trick.

f(x) = ln(x + a)
Series and the x value/s for which it's valid.

Once again, you can either do this problem by calculating successive derivatives, or by noting a nice geometric series trick. What is the derivative of f(x) = ln(x+a) and can you see its connection with the previous problem?
 
  • #25
spamiam said:
Right, and now the link from post #18 tells you for what values of L the series converges. Post what you get for the region of convergence and I'll show you the geometric series trick.
Once again, you can either do this problem by calculating successive derivatives, or by noting a nice geometric series trick. What is the derivative of f(x) = ln(x+a) and can you see its connection with the previous problem?

Hi there, I have just had my test on this series... for which i have got 9/10 .. not bad.. for the previous question since nth term's cancel out.. and we're left with -x... for a series to be valid it must converge so I take absolute value of -x i.e |x| .. and the condition under which this series converges is when x<1.

EDIT: In case I am wrong.. I will rethink this again.. I have lecture in few minutes.
 
  • #26
ibysaiyan said:
for a series to be valid it must converge so I take absolute value of -x i.e |x| .. and the condition under which this series converges is when x<1.
...when |x|<1! Also, remember that when L=1 the test is inconclusive, so you still have to check the endpoints, i.e. determine whether or not the series [itex] \sum_{n=0}^\infty (-1)^n x^n [/itex] converges for [itex] x = \pm 1 [/itex].

Okay, you've almost finished the problem, so here's the geometric series trick. We have the equality [itex] \frac{1}{1-r} = \sum_{n=0}^\infty r^n [/itex] for |r|<1. You can prove this equality by noting that the series [itex] (1-r)(1 + r + r^2 + \cdots) [/itex] telescopes and all terms except for the 1 cancel out. Plug in r = -x and we have
[tex]
\frac{1}{1+x} = \frac{1}{1 - (-x)} = \sum_{n=0}^\infty (-x)^n = \sum_{n=0}^\infty (-1)^n x^n
[/tex]
which is the same answer you got by computing the derivatives.

For the second problem, my hint is to calculate [itex] \frac{d}{dx} \ln(x+a)[/itex] and see if you can use the first problem to get the answer.
 

What is the radius of convergence for a power series?

The radius of convergence for a power series is a measure of how far away from the center of the series the function will converge. It is represented by the letter R and can be calculated using the ratio test.

How do you calculate the radius of convergence?

The radius of convergence can be calculated using the ratio test, which involves taking the limit of the absolute value of the ratio of consecutive terms in the series. If the limit is less than 1, then the series will converge. The radius of convergence is equal to the reciprocal of this limit.

What happens if the limit in the ratio test is equal to 1?

If the limit in the ratio test is equal to 1, then the radius of convergence is infinite and the series will converge for all values of x. This is known as a power series with infinite radius of convergence.

Can a power series have a negative radius of convergence?

No, a power series cannot have a negative radius of convergence. The radius of convergence must be a positive real number or infinite.

What is the significance of the radius of convergence?

The radius of convergence is important because it tells us the interval of x values for which the power series will converge. For values of x outside this interval, the series will diverge. It also helps us determine the interval of convergence for the corresponding Taylor series of a function.

Similar threads

  • Calculus and Beyond Homework Help
Replies
1
Views
259
  • Calculus and Beyond Homework Help
Replies
2
Views
189
  • Calculus and Beyond Homework Help
Replies
2
Views
711
  • Calculus and Beyond Homework Help
Replies
3
Views
418
  • Calculus and Beyond Homework Help
Replies
4
Views
311
  • Calculus and Beyond Homework Help
Replies
17
Views
620
  • Calculus and Beyond Homework Help
Replies
6
Views
391
  • Calculus and Beyond Homework Help
Replies
7
Views
709
  • Calculus and Beyond Homework Help
Replies
3
Views
287
  • Calculus and Beyond Homework Help
Replies
26
Views
898
Back
Top