Prove that $sumlimits_{k=1}^{infty}frac{(-1)^k}{2k+1}x^{2k+1}$ uniformly converges on $[-1,1].$
$begingroup$
Prove that $sumlimits_{k=1}^{infty}dfrac{(-1)^k}{2k+1}x^{2k+1}$ uniformly converges on $[-1,1].$
My book says I have use alternating series test. I can see that the series converges for any $xin[-1,1]$ by the alternating series test but it doesn't tell us the series is uniformly convergent on $[-1,1]$. I tried to use Weierstrass M-Test instead but it fails to pass the M-test.
I let $f_k(x) = dfrac{(-1)^k}{2k+1}x^{2k+1}$ and found $M_k = sup{|dfrac{(-1)^k}{2k+1}x^{2k+1}|:xin[-1,1]} = dfrac{1}{2k+1}$. But $sumlimits_{k=1}^{infty}dfrac{1}{2k+1}$ is not convergent and does not pass the M-test. Hence, the series cannot be uniformly convergent.
Did I use the M-Test correctly?
real-analysis sequences-and-series power-series
$endgroup$
add a comment |
$begingroup$
Prove that $sumlimits_{k=1}^{infty}dfrac{(-1)^k}{2k+1}x^{2k+1}$ uniformly converges on $[-1,1].$
My book says I have use alternating series test. I can see that the series converges for any $xin[-1,1]$ by the alternating series test but it doesn't tell us the series is uniformly convergent on $[-1,1]$. I tried to use Weierstrass M-Test instead but it fails to pass the M-test.
I let $f_k(x) = dfrac{(-1)^k}{2k+1}x^{2k+1}$ and found $M_k = sup{|dfrac{(-1)^k}{2k+1}x^{2k+1}|:xin[-1,1]} = dfrac{1}{2k+1}$. But $sumlimits_{k=1}^{infty}dfrac{1}{2k+1}$ is not convergent and does not pass the M-test. Hence, the series cannot be uniformly convergent.
Did I use the M-Test correctly?
real-analysis sequences-and-series power-series
$endgroup$
$begingroup$
@πr8 Oops, I thought $x^k$, not $x^{2k+1}$ ...
$endgroup$
– Hagen von Eitzen
Apr 19 '17 at 20:19
1
$begingroup$
The Weierstrass $M$-test isn't a “test” in the way that the Ratio or Root Test is. You can't use it to conclude that a power series does not converge uniformly.
$endgroup$
– Matthew Leingang
Apr 19 '17 at 20:31
$begingroup$
@MatthewLeingang Then what would be the purpose of using the M-test then? I am really confused because I've been using it to test convergence for series problems. Are you saying if M-test fails, I can't conclude anything about the series?
$endgroup$
– user3000482
Apr 20 '17 at 0:27
$begingroup$
By "if the $M$-test fails", I guess you are referring to the fact that $sum_{k=1}^infty supleft{left|frac{(-1)^kx^{2k+1}}{2k+1}right| : x in [-1,1]right}$ does not converge. That's not a failure of the test; rather, the test does not apply. It just means you have to use another method.
$endgroup$
– Matthew Leingang
Apr 20 '17 at 0:54
add a comment |
$begingroup$
Prove that $sumlimits_{k=1}^{infty}dfrac{(-1)^k}{2k+1}x^{2k+1}$ uniformly converges on $[-1,1].$
My book says I have use alternating series test. I can see that the series converges for any $xin[-1,1]$ by the alternating series test but it doesn't tell us the series is uniformly convergent on $[-1,1]$. I tried to use Weierstrass M-Test instead but it fails to pass the M-test.
I let $f_k(x) = dfrac{(-1)^k}{2k+1}x^{2k+1}$ and found $M_k = sup{|dfrac{(-1)^k}{2k+1}x^{2k+1}|:xin[-1,1]} = dfrac{1}{2k+1}$. But $sumlimits_{k=1}^{infty}dfrac{1}{2k+1}$ is not convergent and does not pass the M-test. Hence, the series cannot be uniformly convergent.
Did I use the M-Test correctly?
real-analysis sequences-and-series power-series
$endgroup$
Prove that $sumlimits_{k=1}^{infty}dfrac{(-1)^k}{2k+1}x^{2k+1}$ uniformly converges on $[-1,1].$
My book says I have use alternating series test. I can see that the series converges for any $xin[-1,1]$ by the alternating series test but it doesn't tell us the series is uniformly convergent on $[-1,1]$. I tried to use Weierstrass M-Test instead but it fails to pass the M-test.
I let $f_k(x) = dfrac{(-1)^k}{2k+1}x^{2k+1}$ and found $M_k = sup{|dfrac{(-1)^k}{2k+1}x^{2k+1}|:xin[-1,1]} = dfrac{1}{2k+1}$. But $sumlimits_{k=1}^{infty}dfrac{1}{2k+1}$ is not convergent and does not pass the M-test. Hence, the series cannot be uniformly convergent.
Did I use the M-Test correctly?
real-analysis sequences-and-series power-series
real-analysis sequences-and-series power-series
edited Jan 2 at 21:44
Lorenzo B.
1,8402520
1,8402520
asked Apr 19 '17 at 20:01
user3000482user3000482
761417
761417
$begingroup$
@πr8 Oops, I thought $x^k$, not $x^{2k+1}$ ...
$endgroup$
– Hagen von Eitzen
Apr 19 '17 at 20:19
1
$begingroup$
The Weierstrass $M$-test isn't a “test” in the way that the Ratio or Root Test is. You can't use it to conclude that a power series does not converge uniformly.
$endgroup$
– Matthew Leingang
Apr 19 '17 at 20:31
$begingroup$
@MatthewLeingang Then what would be the purpose of using the M-test then? I am really confused because I've been using it to test convergence for series problems. Are you saying if M-test fails, I can't conclude anything about the series?
$endgroup$
– user3000482
Apr 20 '17 at 0:27
$begingroup$
By "if the $M$-test fails", I guess you are referring to the fact that $sum_{k=1}^infty supleft{left|frac{(-1)^kx^{2k+1}}{2k+1}right| : x in [-1,1]right}$ does not converge. That's not a failure of the test; rather, the test does not apply. It just means you have to use another method.
$endgroup$
– Matthew Leingang
Apr 20 '17 at 0:54
add a comment |
$begingroup$
@πr8 Oops, I thought $x^k$, not $x^{2k+1}$ ...
$endgroup$
– Hagen von Eitzen
Apr 19 '17 at 20:19
1
$begingroup$
The Weierstrass $M$-test isn't a “test” in the way that the Ratio or Root Test is. You can't use it to conclude that a power series does not converge uniformly.
$endgroup$
– Matthew Leingang
Apr 19 '17 at 20:31
$begingroup$
@MatthewLeingang Then what would be the purpose of using the M-test then? I am really confused because I've been using it to test convergence for series problems. Are you saying if M-test fails, I can't conclude anything about the series?
$endgroup$
– user3000482
Apr 20 '17 at 0:27
$begingroup$
By "if the $M$-test fails", I guess you are referring to the fact that $sum_{k=1}^infty supleft{left|frac{(-1)^kx^{2k+1}}{2k+1}right| : x in [-1,1]right}$ does not converge. That's not a failure of the test; rather, the test does not apply. It just means you have to use another method.
$endgroup$
– Matthew Leingang
Apr 20 '17 at 0:54
$begingroup$
@πr8 Oops, I thought $x^k$, not $x^{2k+1}$ ...
$endgroup$
– Hagen von Eitzen
Apr 19 '17 at 20:19
$begingroup$
@πr8 Oops, I thought $x^k$, not $x^{2k+1}$ ...
$endgroup$
– Hagen von Eitzen
Apr 19 '17 at 20:19
1
1
$begingroup$
The Weierstrass $M$-test isn't a “test” in the way that the Ratio or Root Test is. You can't use it to conclude that a power series does not converge uniformly.
$endgroup$
– Matthew Leingang
Apr 19 '17 at 20:31
$begingroup$
The Weierstrass $M$-test isn't a “test” in the way that the Ratio or Root Test is. You can't use it to conclude that a power series does not converge uniformly.
$endgroup$
– Matthew Leingang
Apr 19 '17 at 20:31
$begingroup$
@MatthewLeingang Then what would be the purpose of using the M-test then? I am really confused because I've been using it to test convergence for series problems. Are you saying if M-test fails, I can't conclude anything about the series?
$endgroup$
– user3000482
Apr 20 '17 at 0:27
$begingroup$
@MatthewLeingang Then what would be the purpose of using the M-test then? I am really confused because I've been using it to test convergence for series problems. Are you saying if M-test fails, I can't conclude anything about the series?
$endgroup$
– user3000482
Apr 20 '17 at 0:27
$begingroup$
By "if the $M$-test fails", I guess you are referring to the fact that $sum_{k=1}^infty supleft{left|frac{(-1)^kx^{2k+1}}{2k+1}right| : x in [-1,1]right}$ does not converge. That's not a failure of the test; rather, the test does not apply. It just means you have to use another method.
$endgroup$
– Matthew Leingang
Apr 20 '17 at 0:54
$begingroup$
By "if the $M$-test fails", I guess you are referring to the fact that $sum_{k=1}^infty supleft{left|frac{(-1)^kx^{2k+1}}{2k+1}right| : x in [-1,1]right}$ does not converge. That's not a failure of the test; rather, the test does not apply. It just means you have to use another method.
$endgroup$
– Matthew Leingang
Apr 20 '17 at 0:54
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Note that for $xin[0,1]$, the sequence $frac{x^{2k+1}}{2k+1}$ is monotone decreasing (and for $xin[-1,0]$, the negative of this sequence is monotone decreasing).
If $a_k$ is a monotone decreasing, nonnegative sequence, the alternating series test says that:
- $sum_{k ge 1} (-1)^k a_k$ converges to some $s$
- $|s - sum_{1 le k le n}(-1)^k a_k|<a_{n+1}$
Thus, if $f_n(x)=sum_{k=1}^{n} frac{(-1)^k}{2k+1} x^{2k+1}$ and $f(x)=sum_{k=1}^{infty} frac{(-1)^k}{2k+1} x^{2k+1}$, then $$|f(x)-f_n(x)|le frac{ |x|^{2n+3} }{2n+3}le frac{1}{2n+3} to 0$$
$endgroup$
$begingroup$
But if we use the alternating series test, don't we only know that the series is convergent not uniformly convergent?
$endgroup$
– user3000482
Apr 20 '17 at 21:30
$begingroup$
You have a uniform bound on $|f(x)-f_n(x)|$; this is what is needed for uniform convergence.
$endgroup$
– πr8
Apr 20 '17 at 22:48
$begingroup$
I'm sorry but I am not sure what you mean by uniform bound. Don't we need to make sure that $| f(x)-f_n(x) |_{sup} < epsilon$?
$endgroup$
– user3000482
Apr 21 '17 at 15:05
1
$begingroup$
A uniform bound is the same as a supremum bound, yes. $| f(x)-f_n(x) |_{sup} = sup_{xin [-1,1]} |f(x)-f_n(x)|$. Since $|f(x)-f_n(x)|<frac{1}{2n+3}$ for all relevant $x$, it is clear that $sup_{xin [-1,1]} |f(x)-f_n(x)|<frac{1}{2n+3}$ also. So yes, the series certainly is uniformly convergent.
$endgroup$
– πr8
Apr 21 '17 at 15:23
1
$begingroup$
Maybe - one could conceivably adapt the proof above to prove a result of this form for power series with decaying coefficients of alternating sign.
$endgroup$
– πr8
Apr 21 '17 at 18:35
|
show 3 more comments
$begingroup$
Let $$f_n(x)=sum_{k=1}^{n} frac{(-1)^k}{2k+1} x^{2k+1},$$ and call $$f(x)=sum_{k=1}^{infty} frac{(-1)^k}{2k+1} x^{2k+1}.$$
Note that $$f_n'(s)=-s^2frac{1-(-s^2)^n}{1+s^2} implies f(x)=- int_0^x s^2frac{1-(-s^2)^n}{1+s^2},ds$$ and $$f(x)=arctan(x)-x=-int_0^xfrac{s^2}{1+s^2},ds.$$
Thus:
$$|f_n(x)-f(x)|=left| int_0^x frac{s^{2(n+1)}}{1+s^2},dsright| le left| int_0^1 s^{2(n+1)},dsright|=frac{1}{2n+3}to0$$
$endgroup$
$begingroup$
I'm sorry but I dont' quite understand your answer. How can you take derivative of $f_n(x)$? And what is the variable $s$? Is it just an arbitrary element from $[-1,1]$? I feel frustrated because I don't know how am I supposed to come up with such crazy proof... if that's the only way to solve this. Can you comment on my attempt of using M-test? I think I used it properly but the series fails the M-test.
$endgroup$
– user3000482
Apr 19 '17 at 20:22
$begingroup$
1) You can take the derivative of $f_n$ by differentiating it term-by-term; $f_n$ is just a polynomial. 2) Yes, $s$ is just a dummy variable. 3) To show uniform convergence, you need to control the difference between the partial sums ($f_n$ in this question) and the true limit ($f$), and integrals often end up being a good way of doing so. 4) The M-test doesn't work here because, as you say, the terms in the resulting sum do not have a convergent sum.
$endgroup$
– πr8
Apr 19 '17 at 20:25
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%2f2242411%2fprove-that-sum-limits-k-1-infty-frac-1k2k1x2k1-uniformly-con%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Note that for $xin[0,1]$, the sequence $frac{x^{2k+1}}{2k+1}$ is monotone decreasing (and for $xin[-1,0]$, the negative of this sequence is monotone decreasing).
If $a_k$ is a monotone decreasing, nonnegative sequence, the alternating series test says that:
- $sum_{k ge 1} (-1)^k a_k$ converges to some $s$
- $|s - sum_{1 le k le n}(-1)^k a_k|<a_{n+1}$
Thus, if $f_n(x)=sum_{k=1}^{n} frac{(-1)^k}{2k+1} x^{2k+1}$ and $f(x)=sum_{k=1}^{infty} frac{(-1)^k}{2k+1} x^{2k+1}$, then $$|f(x)-f_n(x)|le frac{ |x|^{2n+3} }{2n+3}le frac{1}{2n+3} to 0$$
$endgroup$
$begingroup$
But if we use the alternating series test, don't we only know that the series is convergent not uniformly convergent?
$endgroup$
– user3000482
Apr 20 '17 at 21:30
$begingroup$
You have a uniform bound on $|f(x)-f_n(x)|$; this is what is needed for uniform convergence.
$endgroup$
– πr8
Apr 20 '17 at 22:48
$begingroup$
I'm sorry but I am not sure what you mean by uniform bound. Don't we need to make sure that $| f(x)-f_n(x) |_{sup} < epsilon$?
$endgroup$
– user3000482
Apr 21 '17 at 15:05
1
$begingroup$
A uniform bound is the same as a supremum bound, yes. $| f(x)-f_n(x) |_{sup} = sup_{xin [-1,1]} |f(x)-f_n(x)|$. Since $|f(x)-f_n(x)|<frac{1}{2n+3}$ for all relevant $x$, it is clear that $sup_{xin [-1,1]} |f(x)-f_n(x)|<frac{1}{2n+3}$ also. So yes, the series certainly is uniformly convergent.
$endgroup$
– πr8
Apr 21 '17 at 15:23
1
$begingroup$
Maybe - one could conceivably adapt the proof above to prove a result of this form for power series with decaying coefficients of alternating sign.
$endgroup$
– πr8
Apr 21 '17 at 18:35
|
show 3 more comments
$begingroup$
Note that for $xin[0,1]$, the sequence $frac{x^{2k+1}}{2k+1}$ is monotone decreasing (and for $xin[-1,0]$, the negative of this sequence is monotone decreasing).
If $a_k$ is a monotone decreasing, nonnegative sequence, the alternating series test says that:
- $sum_{k ge 1} (-1)^k a_k$ converges to some $s$
- $|s - sum_{1 le k le n}(-1)^k a_k|<a_{n+1}$
Thus, if $f_n(x)=sum_{k=1}^{n} frac{(-1)^k}{2k+1} x^{2k+1}$ and $f(x)=sum_{k=1}^{infty} frac{(-1)^k}{2k+1} x^{2k+1}$, then $$|f(x)-f_n(x)|le frac{ |x|^{2n+3} }{2n+3}le frac{1}{2n+3} to 0$$
$endgroup$
$begingroup$
But if we use the alternating series test, don't we only know that the series is convergent not uniformly convergent?
$endgroup$
– user3000482
Apr 20 '17 at 21:30
$begingroup$
You have a uniform bound on $|f(x)-f_n(x)|$; this is what is needed for uniform convergence.
$endgroup$
– πr8
Apr 20 '17 at 22:48
$begingroup$
I'm sorry but I am not sure what you mean by uniform bound. Don't we need to make sure that $| f(x)-f_n(x) |_{sup} < epsilon$?
$endgroup$
– user3000482
Apr 21 '17 at 15:05
1
$begingroup$
A uniform bound is the same as a supremum bound, yes. $| f(x)-f_n(x) |_{sup} = sup_{xin [-1,1]} |f(x)-f_n(x)|$. Since $|f(x)-f_n(x)|<frac{1}{2n+3}$ for all relevant $x$, it is clear that $sup_{xin [-1,1]} |f(x)-f_n(x)|<frac{1}{2n+3}$ also. So yes, the series certainly is uniformly convergent.
$endgroup$
– πr8
Apr 21 '17 at 15:23
1
$begingroup$
Maybe - one could conceivably adapt the proof above to prove a result of this form for power series with decaying coefficients of alternating sign.
$endgroup$
– πr8
Apr 21 '17 at 18:35
|
show 3 more comments
$begingroup$
Note that for $xin[0,1]$, the sequence $frac{x^{2k+1}}{2k+1}$ is monotone decreasing (and for $xin[-1,0]$, the negative of this sequence is monotone decreasing).
If $a_k$ is a monotone decreasing, nonnegative sequence, the alternating series test says that:
- $sum_{k ge 1} (-1)^k a_k$ converges to some $s$
- $|s - sum_{1 le k le n}(-1)^k a_k|<a_{n+1}$
Thus, if $f_n(x)=sum_{k=1}^{n} frac{(-1)^k}{2k+1} x^{2k+1}$ and $f(x)=sum_{k=1}^{infty} frac{(-1)^k}{2k+1} x^{2k+1}$, then $$|f(x)-f_n(x)|le frac{ |x|^{2n+3} }{2n+3}le frac{1}{2n+3} to 0$$
$endgroup$
Note that for $xin[0,1]$, the sequence $frac{x^{2k+1}}{2k+1}$ is monotone decreasing (and for $xin[-1,0]$, the negative of this sequence is monotone decreasing).
If $a_k$ is a monotone decreasing, nonnegative sequence, the alternating series test says that:
- $sum_{k ge 1} (-1)^k a_k$ converges to some $s$
- $|s - sum_{1 le k le n}(-1)^k a_k|<a_{n+1}$
Thus, if $f_n(x)=sum_{k=1}^{n} frac{(-1)^k}{2k+1} x^{2k+1}$ and $f(x)=sum_{k=1}^{infty} frac{(-1)^k}{2k+1} x^{2k+1}$, then $$|f(x)-f_n(x)|le frac{ |x|^{2n+3} }{2n+3}le frac{1}{2n+3} to 0$$
answered Apr 19 '17 at 20:43
πr8πr8
9,84831024
9,84831024
$begingroup$
But if we use the alternating series test, don't we only know that the series is convergent not uniformly convergent?
$endgroup$
– user3000482
Apr 20 '17 at 21:30
$begingroup$
You have a uniform bound on $|f(x)-f_n(x)|$; this is what is needed for uniform convergence.
$endgroup$
– πr8
Apr 20 '17 at 22:48
$begingroup$
I'm sorry but I am not sure what you mean by uniform bound. Don't we need to make sure that $| f(x)-f_n(x) |_{sup} < epsilon$?
$endgroup$
– user3000482
Apr 21 '17 at 15:05
1
$begingroup$
A uniform bound is the same as a supremum bound, yes. $| f(x)-f_n(x) |_{sup} = sup_{xin [-1,1]} |f(x)-f_n(x)|$. Since $|f(x)-f_n(x)|<frac{1}{2n+3}$ for all relevant $x$, it is clear that $sup_{xin [-1,1]} |f(x)-f_n(x)|<frac{1}{2n+3}$ also. So yes, the series certainly is uniformly convergent.
$endgroup$
– πr8
Apr 21 '17 at 15:23
1
$begingroup$
Maybe - one could conceivably adapt the proof above to prove a result of this form for power series with decaying coefficients of alternating sign.
$endgroup$
– πr8
Apr 21 '17 at 18:35
|
show 3 more comments
$begingroup$
But if we use the alternating series test, don't we only know that the series is convergent not uniformly convergent?
$endgroup$
– user3000482
Apr 20 '17 at 21:30
$begingroup$
You have a uniform bound on $|f(x)-f_n(x)|$; this is what is needed for uniform convergence.
$endgroup$
– πr8
Apr 20 '17 at 22:48
$begingroup$
I'm sorry but I am not sure what you mean by uniform bound. Don't we need to make sure that $| f(x)-f_n(x) |_{sup} < epsilon$?
$endgroup$
– user3000482
Apr 21 '17 at 15:05
1
$begingroup$
A uniform bound is the same as a supremum bound, yes. $| f(x)-f_n(x) |_{sup} = sup_{xin [-1,1]} |f(x)-f_n(x)|$. Since $|f(x)-f_n(x)|<frac{1}{2n+3}$ for all relevant $x$, it is clear that $sup_{xin [-1,1]} |f(x)-f_n(x)|<frac{1}{2n+3}$ also. So yes, the series certainly is uniformly convergent.
$endgroup$
– πr8
Apr 21 '17 at 15:23
1
$begingroup$
Maybe - one could conceivably adapt the proof above to prove a result of this form for power series with decaying coefficients of alternating sign.
$endgroup$
– πr8
Apr 21 '17 at 18:35
$begingroup$
But if we use the alternating series test, don't we only know that the series is convergent not uniformly convergent?
$endgroup$
– user3000482
Apr 20 '17 at 21:30
$begingroup$
But if we use the alternating series test, don't we only know that the series is convergent not uniformly convergent?
$endgroup$
– user3000482
Apr 20 '17 at 21:30
$begingroup$
You have a uniform bound on $|f(x)-f_n(x)|$; this is what is needed for uniform convergence.
$endgroup$
– πr8
Apr 20 '17 at 22:48
$begingroup$
You have a uniform bound on $|f(x)-f_n(x)|$; this is what is needed for uniform convergence.
$endgroup$
– πr8
Apr 20 '17 at 22:48
$begingroup$
I'm sorry but I am not sure what you mean by uniform bound. Don't we need to make sure that $| f(x)-f_n(x) |_{sup} < epsilon$?
$endgroup$
– user3000482
Apr 21 '17 at 15:05
$begingroup$
I'm sorry but I am not sure what you mean by uniform bound. Don't we need to make sure that $| f(x)-f_n(x) |_{sup} < epsilon$?
$endgroup$
– user3000482
Apr 21 '17 at 15:05
1
1
$begingroup$
A uniform bound is the same as a supremum bound, yes. $| f(x)-f_n(x) |_{sup} = sup_{xin [-1,1]} |f(x)-f_n(x)|$. Since $|f(x)-f_n(x)|<frac{1}{2n+3}$ for all relevant $x$, it is clear that $sup_{xin [-1,1]} |f(x)-f_n(x)|<frac{1}{2n+3}$ also. So yes, the series certainly is uniformly convergent.
$endgroup$
– πr8
Apr 21 '17 at 15:23
$begingroup$
A uniform bound is the same as a supremum bound, yes. $| f(x)-f_n(x) |_{sup} = sup_{xin [-1,1]} |f(x)-f_n(x)|$. Since $|f(x)-f_n(x)|<frac{1}{2n+3}$ for all relevant $x$, it is clear that $sup_{xin [-1,1]} |f(x)-f_n(x)|<frac{1}{2n+3}$ also. So yes, the series certainly is uniformly convergent.
$endgroup$
– πr8
Apr 21 '17 at 15:23
1
1
$begingroup$
Maybe - one could conceivably adapt the proof above to prove a result of this form for power series with decaying coefficients of alternating sign.
$endgroup$
– πr8
Apr 21 '17 at 18:35
$begingroup$
Maybe - one could conceivably adapt the proof above to prove a result of this form for power series with decaying coefficients of alternating sign.
$endgroup$
– πr8
Apr 21 '17 at 18:35
|
show 3 more comments
$begingroup$
Let $$f_n(x)=sum_{k=1}^{n} frac{(-1)^k}{2k+1} x^{2k+1},$$ and call $$f(x)=sum_{k=1}^{infty} frac{(-1)^k}{2k+1} x^{2k+1}.$$
Note that $$f_n'(s)=-s^2frac{1-(-s^2)^n}{1+s^2} implies f(x)=- int_0^x s^2frac{1-(-s^2)^n}{1+s^2},ds$$ and $$f(x)=arctan(x)-x=-int_0^xfrac{s^2}{1+s^2},ds.$$
Thus:
$$|f_n(x)-f(x)|=left| int_0^x frac{s^{2(n+1)}}{1+s^2},dsright| le left| int_0^1 s^{2(n+1)},dsright|=frac{1}{2n+3}to0$$
$endgroup$
$begingroup$
I'm sorry but I dont' quite understand your answer. How can you take derivative of $f_n(x)$? And what is the variable $s$? Is it just an arbitrary element from $[-1,1]$? I feel frustrated because I don't know how am I supposed to come up with such crazy proof... if that's the only way to solve this. Can you comment on my attempt of using M-test? I think I used it properly but the series fails the M-test.
$endgroup$
– user3000482
Apr 19 '17 at 20:22
$begingroup$
1) You can take the derivative of $f_n$ by differentiating it term-by-term; $f_n$ is just a polynomial. 2) Yes, $s$ is just a dummy variable. 3) To show uniform convergence, you need to control the difference between the partial sums ($f_n$ in this question) and the true limit ($f$), and integrals often end up being a good way of doing so. 4) The M-test doesn't work here because, as you say, the terms in the resulting sum do not have a convergent sum.
$endgroup$
– πr8
Apr 19 '17 at 20:25
add a comment |
$begingroup$
Let $$f_n(x)=sum_{k=1}^{n} frac{(-1)^k}{2k+1} x^{2k+1},$$ and call $$f(x)=sum_{k=1}^{infty} frac{(-1)^k}{2k+1} x^{2k+1}.$$
Note that $$f_n'(s)=-s^2frac{1-(-s^2)^n}{1+s^2} implies f(x)=- int_0^x s^2frac{1-(-s^2)^n}{1+s^2},ds$$ and $$f(x)=arctan(x)-x=-int_0^xfrac{s^2}{1+s^2},ds.$$
Thus:
$$|f_n(x)-f(x)|=left| int_0^x frac{s^{2(n+1)}}{1+s^2},dsright| le left| int_0^1 s^{2(n+1)},dsright|=frac{1}{2n+3}to0$$
$endgroup$
$begingroup$
I'm sorry but I dont' quite understand your answer. How can you take derivative of $f_n(x)$? And what is the variable $s$? Is it just an arbitrary element from $[-1,1]$? I feel frustrated because I don't know how am I supposed to come up with such crazy proof... if that's the only way to solve this. Can you comment on my attempt of using M-test? I think I used it properly but the series fails the M-test.
$endgroup$
– user3000482
Apr 19 '17 at 20:22
$begingroup$
1) You can take the derivative of $f_n$ by differentiating it term-by-term; $f_n$ is just a polynomial. 2) Yes, $s$ is just a dummy variable. 3) To show uniform convergence, you need to control the difference between the partial sums ($f_n$ in this question) and the true limit ($f$), and integrals often end up being a good way of doing so. 4) The M-test doesn't work here because, as you say, the terms in the resulting sum do not have a convergent sum.
$endgroup$
– πr8
Apr 19 '17 at 20:25
add a comment |
$begingroup$
Let $$f_n(x)=sum_{k=1}^{n} frac{(-1)^k}{2k+1} x^{2k+1},$$ and call $$f(x)=sum_{k=1}^{infty} frac{(-1)^k}{2k+1} x^{2k+1}.$$
Note that $$f_n'(s)=-s^2frac{1-(-s^2)^n}{1+s^2} implies f(x)=- int_0^x s^2frac{1-(-s^2)^n}{1+s^2},ds$$ and $$f(x)=arctan(x)-x=-int_0^xfrac{s^2}{1+s^2},ds.$$
Thus:
$$|f_n(x)-f(x)|=left| int_0^x frac{s^{2(n+1)}}{1+s^2},dsright| le left| int_0^1 s^{2(n+1)},dsright|=frac{1}{2n+3}to0$$
$endgroup$
Let $$f_n(x)=sum_{k=1}^{n} frac{(-1)^k}{2k+1} x^{2k+1},$$ and call $$f(x)=sum_{k=1}^{infty} frac{(-1)^k}{2k+1} x^{2k+1}.$$
Note that $$f_n'(s)=-s^2frac{1-(-s^2)^n}{1+s^2} implies f(x)=- int_0^x s^2frac{1-(-s^2)^n}{1+s^2},ds$$ and $$f(x)=arctan(x)-x=-int_0^xfrac{s^2}{1+s^2},ds.$$
Thus:
$$|f_n(x)-f(x)|=left| int_0^x frac{s^{2(n+1)}}{1+s^2},dsright| le left| int_0^1 s^{2(n+1)},dsright|=frac{1}{2n+3}to0$$
answered Apr 19 '17 at 20:15
πr8πr8
9,84831024
9,84831024
$begingroup$
I'm sorry but I dont' quite understand your answer. How can you take derivative of $f_n(x)$? And what is the variable $s$? Is it just an arbitrary element from $[-1,1]$? I feel frustrated because I don't know how am I supposed to come up with such crazy proof... if that's the only way to solve this. Can you comment on my attempt of using M-test? I think I used it properly but the series fails the M-test.
$endgroup$
– user3000482
Apr 19 '17 at 20:22
$begingroup$
1) You can take the derivative of $f_n$ by differentiating it term-by-term; $f_n$ is just a polynomial. 2) Yes, $s$ is just a dummy variable. 3) To show uniform convergence, you need to control the difference between the partial sums ($f_n$ in this question) and the true limit ($f$), and integrals often end up being a good way of doing so. 4) The M-test doesn't work here because, as you say, the terms in the resulting sum do not have a convergent sum.
$endgroup$
– πr8
Apr 19 '17 at 20:25
add a comment |
$begingroup$
I'm sorry but I dont' quite understand your answer. How can you take derivative of $f_n(x)$? And what is the variable $s$? Is it just an arbitrary element from $[-1,1]$? I feel frustrated because I don't know how am I supposed to come up with such crazy proof... if that's the only way to solve this. Can you comment on my attempt of using M-test? I think I used it properly but the series fails the M-test.
$endgroup$
– user3000482
Apr 19 '17 at 20:22
$begingroup$
1) You can take the derivative of $f_n$ by differentiating it term-by-term; $f_n$ is just a polynomial. 2) Yes, $s$ is just a dummy variable. 3) To show uniform convergence, you need to control the difference between the partial sums ($f_n$ in this question) and the true limit ($f$), and integrals often end up being a good way of doing so. 4) The M-test doesn't work here because, as you say, the terms in the resulting sum do not have a convergent sum.
$endgroup$
– πr8
Apr 19 '17 at 20:25
$begingroup$
I'm sorry but I dont' quite understand your answer. How can you take derivative of $f_n(x)$? And what is the variable $s$? Is it just an arbitrary element from $[-1,1]$? I feel frustrated because I don't know how am I supposed to come up with such crazy proof... if that's the only way to solve this. Can you comment on my attempt of using M-test? I think I used it properly but the series fails the M-test.
$endgroup$
– user3000482
Apr 19 '17 at 20:22
$begingroup$
I'm sorry but I dont' quite understand your answer. How can you take derivative of $f_n(x)$? And what is the variable $s$? Is it just an arbitrary element from $[-1,1]$? I feel frustrated because I don't know how am I supposed to come up with such crazy proof... if that's the only way to solve this. Can you comment on my attempt of using M-test? I think I used it properly but the series fails the M-test.
$endgroup$
– user3000482
Apr 19 '17 at 20:22
$begingroup$
1) You can take the derivative of $f_n$ by differentiating it term-by-term; $f_n$ is just a polynomial. 2) Yes, $s$ is just a dummy variable. 3) To show uniform convergence, you need to control the difference between the partial sums ($f_n$ in this question) and the true limit ($f$), and integrals often end up being a good way of doing so. 4) The M-test doesn't work here because, as you say, the terms in the resulting sum do not have a convergent sum.
$endgroup$
– πr8
Apr 19 '17 at 20:25
$begingroup$
1) You can take the derivative of $f_n$ by differentiating it term-by-term; $f_n$ is just a polynomial. 2) Yes, $s$ is just a dummy variable. 3) To show uniform convergence, you need to control the difference between the partial sums ($f_n$ in this question) and the true limit ($f$), and integrals often end up being a good way of doing so. 4) The M-test doesn't work here because, as you say, the terms in the resulting sum do not have a convergent sum.
$endgroup$
– πr8
Apr 19 '17 at 20:25
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.
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%2f2242411%2fprove-that-sum-limits-k-1-infty-frac-1k2k1x2k1-uniformly-con%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
$begingroup$
@πr8 Oops, I thought $x^k$, not $x^{2k+1}$ ...
$endgroup$
– Hagen von Eitzen
Apr 19 '17 at 20:19
1
$begingroup$
The Weierstrass $M$-test isn't a “test” in the way that the Ratio or Root Test is. You can't use it to conclude that a power series does not converge uniformly.
$endgroup$
– Matthew Leingang
Apr 19 '17 at 20:31
$begingroup$
@MatthewLeingang Then what would be the purpose of using the M-test then? I am really confused because I've been using it to test convergence for series problems. Are you saying if M-test fails, I can't conclude anything about the series?
$endgroup$
– user3000482
Apr 20 '17 at 0:27
$begingroup$
By "if the $M$-test fails", I guess you are referring to the fact that $sum_{k=1}^infty supleft{left|frac{(-1)^kx^{2k+1}}{2k+1}right| : x in [-1,1]right}$ does not converge. That's not a failure of the test; rather, the test does not apply. It just means you have to use another method.
$endgroup$
– Matthew Leingang
Apr 20 '17 at 0:54