Prove that $sumlimits_{k=1}^{infty}frac{(-1)^k}{2k+1}x^{2k+1}$ uniformly converges on $[-1,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?










share|cite|improve this question











$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
















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?










share|cite|improve this question











$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














1












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?










share|cite|improve this question











$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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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


















  • $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










2 Answers
2






active

oldest

votes


















1












$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:




  1. $sum_{k ge 1} (-1)^k a_k$ converges to some $s$

  2. $|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$$






share|cite|improve this answer









$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



















2












$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$$






share|cite|improve this answer









$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











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
});


}
});














draft saved

draft discarded


















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









1












$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:




  1. $sum_{k ge 1} (-1)^k a_k$ converges to some $s$

  2. $|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$$






share|cite|improve this answer









$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
















1












$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:




  1. $sum_{k ge 1} (-1)^k a_k$ converges to some $s$

  2. $|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$$






share|cite|improve this answer









$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














1












1








1





$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:




  1. $sum_{k ge 1} (-1)^k a_k$ converges to some $s$

  2. $|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$$






share|cite|improve this answer









$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:




  1. $sum_{k ge 1} (-1)^k a_k$ converges to some $s$

  2. $|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$$







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










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


















  • $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











2












$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$$






share|cite|improve this answer









$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
















2












$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$$






share|cite|improve this answer









$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














2












2








2





$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$$






share|cite|improve this answer









$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$$







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










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


















  • $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


















draft saved

draft discarded




















































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.




draft saved


draft discarded














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





















































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







Popular posts from this blog

Can a sorcerer learn a 5th-level spell early by creating spell slots using the Font of Magic feature?

Does disintegrating a polymorphed enemy still kill it after the 2018 errata?

A Topological Invariant for $pi_3(U(n))$