Why does the criterion for convergence of a power series not imply every series with bounded terms converges?

Multi tool use
Clash Royale CLAN TAG#URR8PPP
I am reading Complex Made Simple by David C. Ullrich. There is a result from which I am deducing bogus conclusions, so I must be misunderstanding it somehow:
Lemma 1.0. Suppose $(c_n)_n = 0^infty$ is a sequence of complex numbers, and define $R in [0, infty]$ by
$$R = sup r ge 0: textthe sequence (c_nr^n) text is bounded.$$
Then the power series $sum_n=0^inftyc_n(z-z_0)^n$ converges absolutely and uniformly on every compact subset of the disk $D(z_0, R)$ and diverges at every point $z$ with $|z-z_0|>R$.
My bogus conclusion:
Let $c_n$ be a sequence of complex numbers and suppose that $c_n r^n$ is bounded. Then $sum_n=0^infty c_n r^n$ converges.
My reasoning:
Let $c_n$ be any sequence of complex numbers. The series $sum_n=0^inftyc_n(z-z_0)^n$ converges absolutely whenever $|z - z_0|<R$, so $sum_n=0^inftyc_nr^n$ converges whenever $r < R$, so $sum_n=0^inftyc_nr^n$ converges whenever $c_n r^n$ is bounded.
complex-analysis convergence power-series
add a comment |
I am reading Complex Made Simple by David C. Ullrich. There is a result from which I am deducing bogus conclusions, so I must be misunderstanding it somehow:
Lemma 1.0. Suppose $(c_n)_n = 0^infty$ is a sequence of complex numbers, and define $R in [0, infty]$ by
$$R = sup r ge 0: textthe sequence (c_nr^n) text is bounded.$$
Then the power series $sum_n=0^inftyc_n(z-z_0)^n$ converges absolutely and uniformly on every compact subset of the disk $D(z_0, R)$ and diverges at every point $z$ with $|z-z_0|>R$.
My bogus conclusion:
Let $c_n$ be a sequence of complex numbers and suppose that $c_n r^n$ is bounded. Then $sum_n=0^infty c_n r^n$ converges.
My reasoning:
Let $c_n$ be any sequence of complex numbers. The series $sum_n=0^inftyc_n(z-z_0)^n$ converges absolutely whenever $|z - z_0|<R$, so $sum_n=0^inftyc_nr^n$ converges whenever $r < R$, so $sum_n=0^inftyc_nr^n$ converges whenever $c_n r^n$ is bounded.
complex-analysis convergence power-series
add a comment |
I am reading Complex Made Simple by David C. Ullrich. There is a result from which I am deducing bogus conclusions, so I must be misunderstanding it somehow:
Lemma 1.0. Suppose $(c_n)_n = 0^infty$ is a sequence of complex numbers, and define $R in [0, infty]$ by
$$R = sup r ge 0: textthe sequence (c_nr^n) text is bounded.$$
Then the power series $sum_n=0^inftyc_n(z-z_0)^n$ converges absolutely and uniformly on every compact subset of the disk $D(z_0, R)$ and diverges at every point $z$ with $|z-z_0|>R$.
My bogus conclusion:
Let $c_n$ be a sequence of complex numbers and suppose that $c_n r^n$ is bounded. Then $sum_n=0^infty c_n r^n$ converges.
My reasoning:
Let $c_n$ be any sequence of complex numbers. The series $sum_n=0^inftyc_n(z-z_0)^n$ converges absolutely whenever $|z - z_0|<R$, so $sum_n=0^inftyc_nr^n$ converges whenever $r < R$, so $sum_n=0^inftyc_nr^n$ converges whenever $c_n r^n$ is bounded.
complex-analysis convergence power-series
I am reading Complex Made Simple by David C. Ullrich. There is a result from which I am deducing bogus conclusions, so I must be misunderstanding it somehow:
Lemma 1.0. Suppose $(c_n)_n = 0^infty$ is a sequence of complex numbers, and define $R in [0, infty]$ by
$$R = sup r ge 0: textthe sequence (c_nr^n) text is bounded.$$
Then the power series $sum_n=0^inftyc_n(z-z_0)^n$ converges absolutely and uniformly on every compact subset of the disk $D(z_0, R)$ and diverges at every point $z$ with $|z-z_0|>R$.
My bogus conclusion:
Let $c_n$ be a sequence of complex numbers and suppose that $c_n r^n$ is bounded. Then $sum_n=0^infty c_n r^n$ converges.
My reasoning:
Let $c_n$ be any sequence of complex numbers. The series $sum_n=0^inftyc_n(z-z_0)^n$ converges absolutely whenever $|z - z_0|<R$, so $sum_n=0^inftyc_nr^n$ converges whenever $r < R$, so $sum_n=0^inftyc_nr^n$ converges whenever $c_n r^n$ is bounded.
complex-analysis convergence power-series
complex-analysis convergence power-series
edited Dec 22 '18 at 23:09
Eric Wofsey
180k12207335
180k12207335
asked Dec 22 '18 at 22:51


Ovi
12.4k1038111
12.4k1038111
add a comment |
add a comment |
3 Answers
3
active
oldest
votes
The problem comes in the last step. Just because $sum_n=1^infty c_nr^n$ converges with $r lt R$ you cannot conclude that $sum_n=1^infty c_nR^n$ converges. As an example, let $c_n=1$ for all $n$. We note that $R=1$ here. $c_nR^n=1$, so is bounded. For any $r lt 1$, $sum_n=1^infty c_nr^n$ converges absolutely, but $sum_n=1^infty c_nR^n$ does not converge.
Hi! I $think$ I understand, but could I please run my whole reasoning by you to check? My reasoning is this: Let $c_n$ be a sequence and let's say $R=1$. Take $r=0.5$. Then $c_n (0.5)^n$ is bounded. Let $z_0=0$. The theorem tells us that $sum_n=0^infty c_nz^n$ converges absolutely for any $z$ with $|z|<1$; pick $z = 0.5$, Then $sum_n=0^infty c_n (0.5)^n$ converges. But here I made the mistake; the conclusion we can draw from here is that $sum_n=0^infty c_nr^n$ converges for "almost every" $r$ for which $c_nr^n$ is bounded (for any $r$ with $|r|<1$). (continued)
– Ovi
Dec 29 '18 at 14:45
(continued) But we cannot draw the conclusion that "If $c_n r^n$ is bounded, then $sum_n=0^infty c_n r^n$ converges, because it may be the case that $c_n R^n$ is bounded, but $sum_n=0^infty c_n R^n$ does not converge.
– Ovi
Dec 29 '18 at 14:45
Yes, that is correct. The sum will converge for every $r$ with modulus strictly less than $R$, but not necessarily on the circle $|r|=R$.
– Ross Millikan
Dec 29 '18 at 15:26
Thank you! $$
– Ovi
Dec 29 '18 at 16:06
add a comment |
The fact that $c_n r^n$ is bounded, means that $r$ is in the set we're taking the sup of, so $r le R$. But the convergence of $sum_n=0^infty c_n s^n$ is only guaranteed for $s < R$. It could very well be that $r=R$;
a simple example is $c_n = (-1)^n$ and $r=1$.
add a comment |
The condition $r<R$ is not equivalent to $c_nr^n$ being bounded. It is possible that $c_nr^n$ is bounded for $r=R$ as well, and in that case we cannot conclude that the series converges.
add a comment |
Your Answer
StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3049905%2fwhy-does-the-criterion-for-convergence-of-a-power-series-not-imply-every-series%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
The problem comes in the last step. Just because $sum_n=1^infty c_nr^n$ converges with $r lt R$ you cannot conclude that $sum_n=1^infty c_nR^n$ converges. As an example, let $c_n=1$ for all $n$. We note that $R=1$ here. $c_nR^n=1$, so is bounded. For any $r lt 1$, $sum_n=1^infty c_nr^n$ converges absolutely, but $sum_n=1^infty c_nR^n$ does not converge.
Hi! I $think$ I understand, but could I please run my whole reasoning by you to check? My reasoning is this: Let $c_n$ be a sequence and let's say $R=1$. Take $r=0.5$. Then $c_n (0.5)^n$ is bounded. Let $z_0=0$. The theorem tells us that $sum_n=0^infty c_nz^n$ converges absolutely for any $z$ with $|z|<1$; pick $z = 0.5$, Then $sum_n=0^infty c_n (0.5)^n$ converges. But here I made the mistake; the conclusion we can draw from here is that $sum_n=0^infty c_nr^n$ converges for "almost every" $r$ for which $c_nr^n$ is bounded (for any $r$ with $|r|<1$). (continued)
– Ovi
Dec 29 '18 at 14:45
(continued) But we cannot draw the conclusion that "If $c_n r^n$ is bounded, then $sum_n=0^infty c_n r^n$ converges, because it may be the case that $c_n R^n$ is bounded, but $sum_n=0^infty c_n R^n$ does not converge.
– Ovi
Dec 29 '18 at 14:45
Yes, that is correct. The sum will converge for every $r$ with modulus strictly less than $R$, but not necessarily on the circle $|r|=R$.
– Ross Millikan
Dec 29 '18 at 15:26
Thank you! $$
– Ovi
Dec 29 '18 at 16:06
add a comment |
The problem comes in the last step. Just because $sum_n=1^infty c_nr^n$ converges with $r lt R$ you cannot conclude that $sum_n=1^infty c_nR^n$ converges. As an example, let $c_n=1$ for all $n$. We note that $R=1$ here. $c_nR^n=1$, so is bounded. For any $r lt 1$, $sum_n=1^infty c_nr^n$ converges absolutely, but $sum_n=1^infty c_nR^n$ does not converge.
Hi! I $think$ I understand, but could I please run my whole reasoning by you to check? My reasoning is this: Let $c_n$ be a sequence and let's say $R=1$. Take $r=0.5$. Then $c_n (0.5)^n$ is bounded. Let $z_0=0$. The theorem tells us that $sum_n=0^infty c_nz^n$ converges absolutely for any $z$ with $|z|<1$; pick $z = 0.5$, Then $sum_n=0^infty c_n (0.5)^n$ converges. But here I made the mistake; the conclusion we can draw from here is that $sum_n=0^infty c_nr^n$ converges for "almost every" $r$ for which $c_nr^n$ is bounded (for any $r$ with $|r|<1$). (continued)
– Ovi
Dec 29 '18 at 14:45
(continued) But we cannot draw the conclusion that "If $c_n r^n$ is bounded, then $sum_n=0^infty c_n r^n$ converges, because it may be the case that $c_n R^n$ is bounded, but $sum_n=0^infty c_n R^n$ does not converge.
– Ovi
Dec 29 '18 at 14:45
Yes, that is correct. The sum will converge for every $r$ with modulus strictly less than $R$, but not necessarily on the circle $|r|=R$.
– Ross Millikan
Dec 29 '18 at 15:26
Thank you! $$
– Ovi
Dec 29 '18 at 16:06
add a comment |
The problem comes in the last step. Just because $sum_n=1^infty c_nr^n$ converges with $r lt R$ you cannot conclude that $sum_n=1^infty c_nR^n$ converges. As an example, let $c_n=1$ for all $n$. We note that $R=1$ here. $c_nR^n=1$, so is bounded. For any $r lt 1$, $sum_n=1^infty c_nr^n$ converges absolutely, but $sum_n=1^infty c_nR^n$ does not converge.
The problem comes in the last step. Just because $sum_n=1^infty c_nr^n$ converges with $r lt R$ you cannot conclude that $sum_n=1^infty c_nR^n$ converges. As an example, let $c_n=1$ for all $n$. We note that $R=1$ here. $c_nR^n=1$, so is bounded. For any $r lt 1$, $sum_n=1^infty c_nr^n$ converges absolutely, but $sum_n=1^infty c_nR^n$ does not converge.
answered Dec 22 '18 at 23:02


Ross Millikan
292k23197371
292k23197371
Hi! I $think$ I understand, but could I please run my whole reasoning by you to check? My reasoning is this: Let $c_n$ be a sequence and let's say $R=1$. Take $r=0.5$. Then $c_n (0.5)^n$ is bounded. Let $z_0=0$. The theorem tells us that $sum_n=0^infty c_nz^n$ converges absolutely for any $z$ with $|z|<1$; pick $z = 0.5$, Then $sum_n=0^infty c_n (0.5)^n$ converges. But here I made the mistake; the conclusion we can draw from here is that $sum_n=0^infty c_nr^n$ converges for "almost every" $r$ for which $c_nr^n$ is bounded (for any $r$ with $|r|<1$). (continued)
– Ovi
Dec 29 '18 at 14:45
(continued) But we cannot draw the conclusion that "If $c_n r^n$ is bounded, then $sum_n=0^infty c_n r^n$ converges, because it may be the case that $c_n R^n$ is bounded, but $sum_n=0^infty c_n R^n$ does not converge.
– Ovi
Dec 29 '18 at 14:45
Yes, that is correct. The sum will converge for every $r$ with modulus strictly less than $R$, but not necessarily on the circle $|r|=R$.
– Ross Millikan
Dec 29 '18 at 15:26
Thank you! $$
– Ovi
Dec 29 '18 at 16:06
add a comment |
Hi! I $think$ I understand, but could I please run my whole reasoning by you to check? My reasoning is this: Let $c_n$ be a sequence and let's say $R=1$. Take $r=0.5$. Then $c_n (0.5)^n$ is bounded. Let $z_0=0$. The theorem tells us that $sum_n=0^infty c_nz^n$ converges absolutely for any $z$ with $|z|<1$; pick $z = 0.5$, Then $sum_n=0^infty c_n (0.5)^n$ converges. But here I made the mistake; the conclusion we can draw from here is that $sum_n=0^infty c_nr^n$ converges for "almost every" $r$ for which $c_nr^n$ is bounded (for any $r$ with $|r|<1$). (continued)
– Ovi
Dec 29 '18 at 14:45
(continued) But we cannot draw the conclusion that "If $c_n r^n$ is bounded, then $sum_n=0^infty c_n r^n$ converges, because it may be the case that $c_n R^n$ is bounded, but $sum_n=0^infty c_n R^n$ does not converge.
– Ovi
Dec 29 '18 at 14:45
Yes, that is correct. The sum will converge for every $r$ with modulus strictly less than $R$, but not necessarily on the circle $|r|=R$.
– Ross Millikan
Dec 29 '18 at 15:26
Thank you! $$
– Ovi
Dec 29 '18 at 16:06
Hi! I $think$ I understand, but could I please run my whole reasoning by you to check? My reasoning is this: Let $c_n$ be a sequence and let's say $R=1$. Take $r=0.5$. Then $c_n (0.5)^n$ is bounded. Let $z_0=0$. The theorem tells us that $sum_n=0^infty c_nz^n$ converges absolutely for any $z$ with $|z|<1$; pick $z = 0.5$, Then $sum_n=0^infty c_n (0.5)^n$ converges. But here I made the mistake; the conclusion we can draw from here is that $sum_n=0^infty c_nr^n$ converges for "almost every" $r$ for which $c_nr^n$ is bounded (for any $r$ with $|r|<1$). (continued)
– Ovi
Dec 29 '18 at 14:45
Hi! I $think$ I understand, but could I please run my whole reasoning by you to check? My reasoning is this: Let $c_n$ be a sequence and let's say $R=1$. Take $r=0.5$. Then $c_n (0.5)^n$ is bounded. Let $z_0=0$. The theorem tells us that $sum_n=0^infty c_nz^n$ converges absolutely for any $z$ with $|z|<1$; pick $z = 0.5$, Then $sum_n=0^infty c_n (0.5)^n$ converges. But here I made the mistake; the conclusion we can draw from here is that $sum_n=0^infty c_nr^n$ converges for "almost every" $r$ for which $c_nr^n$ is bounded (for any $r$ with $|r|<1$). (continued)
– Ovi
Dec 29 '18 at 14:45
(continued) But we cannot draw the conclusion that "If $c_n r^n$ is bounded, then $sum_n=0^infty c_n r^n$ converges, because it may be the case that $c_n R^n$ is bounded, but $sum_n=0^infty c_n R^n$ does not converge.
– Ovi
Dec 29 '18 at 14:45
(continued) But we cannot draw the conclusion that "If $c_n r^n$ is bounded, then $sum_n=0^infty c_n r^n$ converges, because it may be the case that $c_n R^n$ is bounded, but $sum_n=0^infty c_n R^n$ does not converge.
– Ovi
Dec 29 '18 at 14:45
Yes, that is correct. The sum will converge for every $r$ with modulus strictly less than $R$, but not necessarily on the circle $|r|=R$.
– Ross Millikan
Dec 29 '18 at 15:26
Yes, that is correct. The sum will converge for every $r$ with modulus strictly less than $R$, but not necessarily on the circle $|r|=R$.
– Ross Millikan
Dec 29 '18 at 15:26
Thank you! $$
– Ovi
Dec 29 '18 at 16:06
Thank you! $$
– Ovi
Dec 29 '18 at 16:06
add a comment |
The fact that $c_n r^n$ is bounded, means that $r$ is in the set we're taking the sup of, so $r le R$. But the convergence of $sum_n=0^infty c_n s^n$ is only guaranteed for $s < R$. It could very well be that $r=R$;
a simple example is $c_n = (-1)^n$ and $r=1$.
add a comment |
The fact that $c_n r^n$ is bounded, means that $r$ is in the set we're taking the sup of, so $r le R$. But the convergence of $sum_n=0^infty c_n s^n$ is only guaranteed for $s < R$. It could very well be that $r=R$;
a simple example is $c_n = (-1)^n$ and $r=1$.
add a comment |
The fact that $c_n r^n$ is bounded, means that $r$ is in the set we're taking the sup of, so $r le R$. But the convergence of $sum_n=0^infty c_n s^n$ is only guaranteed for $s < R$. It could very well be that $r=R$;
a simple example is $c_n = (-1)^n$ and $r=1$.
The fact that $c_n r^n$ is bounded, means that $r$ is in the set we're taking the sup of, so $r le R$. But the convergence of $sum_n=0^infty c_n s^n$ is only guaranteed for $s < R$. It could very well be that $r=R$;
a simple example is $c_n = (-1)^n$ and $r=1$.
answered Dec 22 '18 at 22:59
Henno Brandsma
105k347114
105k347114
add a comment |
add a comment |
The condition $r<R$ is not equivalent to $c_nr^n$ being bounded. It is possible that $c_nr^n$ is bounded for $r=R$ as well, and in that case we cannot conclude that the series converges.
add a comment |
The condition $r<R$ is not equivalent to $c_nr^n$ being bounded. It is possible that $c_nr^n$ is bounded for $r=R$ as well, and in that case we cannot conclude that the series converges.
add a comment |
The condition $r<R$ is not equivalent to $c_nr^n$ being bounded. It is possible that $c_nr^n$ is bounded for $r=R$ as well, and in that case we cannot conclude that the series converges.
The condition $r<R$ is not equivalent to $c_nr^n$ being bounded. It is possible that $c_nr^n$ is bounded for $r=R$ as well, and in that case we cannot conclude that the series converges.
answered Dec 22 '18 at 22:58
Eric Wofsey
180k12207335
180k12207335
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3049905%2fwhy-does-the-criterion-for-convergence-of-a-power-series-not-imply-every-series%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown