Power series where radius of convergence > lower limit

Click For Summary

Homework Help Overview

The discussion revolves around power series and the concept of radius of convergence. Participants are tasked with constructing an example of a power series where the lower bound for the convergence radius, denoted as ##\tilde{R}##, does not equal the actual radius of convergence ##R##. The problem involves understanding the definitions of ##\alpha## and ##\beta## in relation to the coefficients of the series.

Discussion Character

  • Exploratory, Assumption checking, Problem interpretation

Approaches and Questions Raised

  • Participants discuss various definitions for the coefficients ##a_n## and explore recursive definitions. There are attempts to analyze the relationships between ##\alpha## and ##\beta##, particularly focusing on how to achieve a situation where ##\tilde{R} \neq R##. Questions arise regarding the limits used in the definitions and the implications of those limits.

Discussion Status

Some participants have provided clarifications and suggestions on how to approach the problem, including the need to construct a counterexample rather than proving a general case. There is an acknowledgment of the need for careful consideration of the limits involved in the definitions.

Contextual Notes

There are indications of confusion regarding the variables used in the limits and the conditions under which the limits are taken. Participants are encouraged to think creatively about the definitions of ##a_n## to meet the problem's requirements.

Risborg
Messages
4
Reaction score
0

Homework Statement


Let ##\sum^{\infty}_{n=0} a_n(z-a)^n## be a real or complex power series and set ##\alpha =
\limsup\limits_{n\rightarrow\infty} |a_n|^{\frac{1}{n}}##. If ##\alpha = \infty## then the convergence radius ##R=0##, else ##R## is given by ##R = \frac{1}{\alpha}##, where ##0<R\leq\infty##.
A lower bound for the convergence radius can by found by using ##\beta = \limsup\limits_{n\rightarrow\infty} \frac{|a_{n+1}|}{|a_n|} ##, such that ##\frac{1}{\beta} = \tilde{R}##, so ##\tilde{R} \leq R##

Construct an example of a power series where ##\tilde{R} \neq R##

The Attempt at a Solution


I have tried some different kinds of values for ##a_n##, but I always end up with same answer for ##R## and ##\tilde{R}##.
I think i need to define ##a_n## recursively, but I don't know how to prove it, below I've written the relation between ##a_n## and ##a_{n+1}##.

##\beta^{-1} = \limsup\limits_{n\rightarrow\infty}\frac{|a_{n}|}{|a_{n+1}|} < \alpha^{-1} = \limsup\limits_{n\rightarrow\infty} |a_n|^{-\frac{1}{n}}##
which implies that
##\limsup\limits_{n\rightarrow0\infty} |a_{n+1}| > \limsup\limits_{n\rightarrow\infty} |a_{n}||a_n|^{\frac{1}{n}}##
I tried a few recursively defined ##a_n## but then I ended up with complicated expressions that I could find the limit of.

Can you think of a clever way to define ##a_n##, or do you have some suggestions for what I could do next?
 
Last edited:
Physics news on Phys.org
Risborg said:

Homework Statement


Let ##\sum^{\infty}_{n=0} a_n(z-a)^n## be a real or complex power series and set ##\alpha =
\limsup\limits_{x\rightarrow0} |a_n|^{\frac{1}{n}}##. If ##\alpha = \infty## then the convergence radius ##R=0##, else ##R## is given by ##R = \frac{1}{\alpha}##, where ##0<R\leq\infty##.
A lower bound for the convergence radius can by found by using ##\beta = \limsup\limits_{x\rightarrow0} \frac{|a_{n+1}|}{|a_n|} ##, such that ##\frac{1}{\beta} = \tilde{R}##, so ##\tilde{R} \leq R##
Both of your limits are as x → 0, but x is not in the expressions you're taking the limits of. What should it be?

Risborg said:
Construct an example of a power series where ##\tilde{R} \neq R##

The Attempt at a Solution


I have tried some different kinds of values for ##a_n##, but I always end up with same answer for ##R## and ##\tilde{R}##.
I think i need to define ##a_n## recursively, but I don't know how to prove it, below I've written the relation between ##a_n## and ##a_{n+1}##.

##\beta^{-1} = \limsup\limits_{x\rightarrow0}\frac{|a_{n}|}{|a_{n+1}|} < \alpha^{-1} = \limsup\limits_{x\rightarrow0} |a_n|^{-\frac{1}{n}}##
which implies that
##\limsup\limits_{x\rightarrow0} |a_{n+1}| > \limsup\limits_{x\rightarrow0} |a_{n}||a_n|^{\frac{1}{n}}##
I tried a few recursively defined ##a_n## but then I ended up with complicated expressions that I could find the limit of.

Can you think of a clever way to define ##a_n##, or do you have some suggestions for what I could do next?
 
  • Like
Likes   Reactions: Risborg
Oops I forgot to change the variables when I copied from a latex example, it should be fixed now.
 
Risborg said:
##\beta^{-1} = \limsup\limits_{n\rightarrow\infty}\frac{|a_{n}|}{|a_{n+1}|} < \alpha^{-1} = \limsup\limits_{n\rightarrow\infty} |a_n|^{-\frac{1}{n}}##
which implies that
##\limsup\limits_{n\rightarrow0\infty} |a_{n+1}| > \limsup\limits_{n\rightarrow\infty} |a_{n}||a_n|^{\frac{1}{n}}##
You cannot multiply like that.

You don't have to prove anything for the general case, it is sufficient to construct a counterexample. You want β to be large and α to be small. How can you make the limsup of the ratios large without making all the elements large?
 
  • Like
Likes   Reactions: Risborg
Okay thank you so much for the help.
I think I found a solution by choosing ##a_n = 2## if ##n## is even and ##a_n = 3## if ##n## is odd, then I end up having ##\tilde{R} = \frac{2}{3} < 1 = R##.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
14
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
Replies
8
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K