$lim_{n rightarrowinfty} ~ x_{n+1} - x_n= c , c > 0$ . Then, is ${x_n/n}$ convergent?












7












$begingroup$


If ${x_n}$ is a sequence which satisfies $lim_{n rightarrowinfty} ~ x_{n+1} - x_n= c$ where $c$ is a real positive number. Then what can be said about the convergence/ divergence, boundedness/ unboundedness of ${x_n/n}$.



Attempt: $lim_{n rightarrowinfty} ~ x_{n+1} - x_n= c$ where $c >0$



=> $x_n$ is unbounded and divergent.



However, I am stuck on how to relate this to convergence/divergence of $x_n/n$ . Thanks for the help.










share|cite|improve this question











$endgroup$








  • 3




    $begingroup$
    Rewrite it with $a_n:=x_n-x_{n-1}$ as $x_n=sum_{k=1}^n a_k$. So, the assumption is that $a_nto c$ and we are looking for the limit of the sequence of averages of $a_k$'s.
    $endgroup$
    – Berci
    Feb 9 '14 at 18:27






  • 2




    $begingroup$
    This is a special case of Stolz-Cesaro theorem. See Wikipedia, imomath or some posts on this site, for example this one.
    $endgroup$
    – Martin Sleziak
    May 31 '14 at 12:01
















7












$begingroup$


If ${x_n}$ is a sequence which satisfies $lim_{n rightarrowinfty} ~ x_{n+1} - x_n= c$ where $c$ is a real positive number. Then what can be said about the convergence/ divergence, boundedness/ unboundedness of ${x_n/n}$.



Attempt: $lim_{n rightarrowinfty} ~ x_{n+1} - x_n= c$ where $c >0$



=> $x_n$ is unbounded and divergent.



However, I am stuck on how to relate this to convergence/divergence of $x_n/n$ . Thanks for the help.










share|cite|improve this question











$endgroup$








  • 3




    $begingroup$
    Rewrite it with $a_n:=x_n-x_{n-1}$ as $x_n=sum_{k=1}^n a_k$. So, the assumption is that $a_nto c$ and we are looking for the limit of the sequence of averages of $a_k$'s.
    $endgroup$
    – Berci
    Feb 9 '14 at 18:27






  • 2




    $begingroup$
    This is a special case of Stolz-Cesaro theorem. See Wikipedia, imomath or some posts on this site, for example this one.
    $endgroup$
    – Martin Sleziak
    May 31 '14 at 12:01














7












7








7


2



$begingroup$


If ${x_n}$ is a sequence which satisfies $lim_{n rightarrowinfty} ~ x_{n+1} - x_n= c$ where $c$ is a real positive number. Then what can be said about the convergence/ divergence, boundedness/ unboundedness of ${x_n/n}$.



Attempt: $lim_{n rightarrowinfty} ~ x_{n+1} - x_n= c$ where $c >0$



=> $x_n$ is unbounded and divergent.



However, I am stuck on how to relate this to convergence/divergence of $x_n/n$ . Thanks for the help.










share|cite|improve this question











$endgroup$




If ${x_n}$ is a sequence which satisfies $lim_{n rightarrowinfty} ~ x_{n+1} - x_n= c$ where $c$ is a real positive number. Then what can be said about the convergence/ divergence, boundedness/ unboundedness of ${x_n/n}$.



Attempt: $lim_{n rightarrowinfty} ~ x_{n+1} - x_n= c$ where $c >0$



=> $x_n$ is unbounded and divergent.



However, I am stuck on how to relate this to convergence/divergence of $x_n/n$ . Thanks for the help.







real-analysis sequences-and-series






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited May 31 '14 at 11:58









Martin Sleziak

44.7k9117272




44.7k9117272










asked Feb 9 '14 at 18:19









MathManMathMan

3,64841870




3,64841870








  • 3




    $begingroup$
    Rewrite it with $a_n:=x_n-x_{n-1}$ as $x_n=sum_{k=1}^n a_k$. So, the assumption is that $a_nto c$ and we are looking for the limit of the sequence of averages of $a_k$'s.
    $endgroup$
    – Berci
    Feb 9 '14 at 18:27






  • 2




    $begingroup$
    This is a special case of Stolz-Cesaro theorem. See Wikipedia, imomath or some posts on this site, for example this one.
    $endgroup$
    – Martin Sleziak
    May 31 '14 at 12:01














  • 3




    $begingroup$
    Rewrite it with $a_n:=x_n-x_{n-1}$ as $x_n=sum_{k=1}^n a_k$. So, the assumption is that $a_nto c$ and we are looking for the limit of the sequence of averages of $a_k$'s.
    $endgroup$
    – Berci
    Feb 9 '14 at 18:27






  • 2




    $begingroup$
    This is a special case of Stolz-Cesaro theorem. See Wikipedia, imomath or some posts on this site, for example this one.
    $endgroup$
    – Martin Sleziak
    May 31 '14 at 12:01








3




3




$begingroup$
Rewrite it with $a_n:=x_n-x_{n-1}$ as $x_n=sum_{k=1}^n a_k$. So, the assumption is that $a_nto c$ and we are looking for the limit of the sequence of averages of $a_k$'s.
$endgroup$
– Berci
Feb 9 '14 at 18:27




$begingroup$
Rewrite it with $a_n:=x_n-x_{n-1}$ as $x_n=sum_{k=1}^n a_k$. So, the assumption is that $a_nto c$ and we are looking for the limit of the sequence of averages of $a_k$'s.
$endgroup$
– Berci
Feb 9 '14 at 18:27




2




2




$begingroup$
This is a special case of Stolz-Cesaro theorem. See Wikipedia, imomath or some posts on this site, for example this one.
$endgroup$
– Martin Sleziak
May 31 '14 at 12:01




$begingroup$
This is a special case of Stolz-Cesaro theorem. See Wikipedia, imomath or some posts on this site, for example this one.
$endgroup$
– Martin Sleziak
May 31 '14 at 12:01










4 Answers
4






active

oldest

votes


















6












$begingroup$

We claim that $x_n/nrightarrow c$.



As in the comment we write $a_n=x_n-x_{n-1}$. Then $x_n=sum_{k=1}^n a_k$ $color{red} { (1) }$. The assumption becomes $a_nrightarrow c$ and $x_n/n=frac{1}{n}sum_{k=1}^n a_k$.



Then



$$x_n/n-c=left(frac{1}{n}sum_{k=1}^n a_kright) - c = frac{1}{n} sum_{k=1}^n (a_k-c)quad color{red} { (2) } $$



Let $epsilon>0$ and choose $N$ large enough such that $|a_n-c|<epsilon$ for all $nge N$. Then



$$left|frac{x_n}{n}-cright|le frac{1}{n}sum_{k=1}^N |a_k-c| + frac{n-N}{n}epsilon$$



for $nge N$. Now let $nrightarrowinfty$ while keeping $N,epsilon$ fixed. Then we obtain



$$limsup_{nrightarrowinfty}left|frac{x_n}{n}-cright|le epsilon$$



Since $epsilon$ was arbitrary, the conclusion follows.



Note:



In essence we just proved that a summable series is also Cesàro summable.






share|cite|improve this answer











$endgroup$





















    4












    $begingroup$

    That can be derived directly from Stolz-Cesaro theorem (more complete account here) by taking $b_n = n.$



    $$lim_{n to infty} x_{n+1}-x_n = lim_{n to infty} frac{x_n}{n}$$



    when $lim_{n to infty} x_{n+1}-x_n$ exists.






    share|cite|improve this answer









    $endgroup$





















      1












      $begingroup$

      Apologies for editing Your Ad Here, but can someone please check (1) and (2)?



      (1) = $sum_{1 le k le n} x_k - x_{k - 1}$ which telecopes to $-x_0 + x_n$, not just $x_n$ ?






      share|cite|improve this answer









      $endgroup$













      • $begingroup$
        That is correct. I tacitly assumed we're talking about a sequence $x_1,x_2,dots$ and set $x_0=0$ for convenience. However, please note that your answer should rather be a comment on the previous answer.
        $endgroup$
        – J.R.
        May 26 '14 at 20:05












      • $begingroup$
        @YourAdHere thanks
        $endgroup$
        – François Muer
        May 29 '14 at 20:31



















      1












      $begingroup$

      We let $a_n:=x_{n+1}-x_n$ and use this theorem to conclude that $$frac{a_1+a_2+...+a_n}{n}to c implies frac{(x_2-x_1)+(x_3-x_2)+....+(x_{n+1}-x_n)}{n}to c $$ $$ implies frac{x_{n+1}-x_1}{n}to c implies frac{x_n}{n}to c$$ since $x_1$ is finite.






      share|cite|improve this answer









      $endgroup$













        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%2f669790%2flim-n-rightarrow-infty-x-n1-x-n-c-c-0-then-is-x-n-n-c%23new-answer', 'question_page');
        }
        );

        Post as a guest















        Required, but never shown

























        4 Answers
        4






        active

        oldest

        votes








        4 Answers
        4






        active

        oldest

        votes









        active

        oldest

        votes






        active

        oldest

        votes









        6












        $begingroup$

        We claim that $x_n/nrightarrow c$.



        As in the comment we write $a_n=x_n-x_{n-1}$. Then $x_n=sum_{k=1}^n a_k$ $color{red} { (1) }$. The assumption becomes $a_nrightarrow c$ and $x_n/n=frac{1}{n}sum_{k=1}^n a_k$.



        Then



        $$x_n/n-c=left(frac{1}{n}sum_{k=1}^n a_kright) - c = frac{1}{n} sum_{k=1}^n (a_k-c)quad color{red} { (2) } $$



        Let $epsilon>0$ and choose $N$ large enough such that $|a_n-c|<epsilon$ for all $nge N$. Then



        $$left|frac{x_n}{n}-cright|le frac{1}{n}sum_{k=1}^N |a_k-c| + frac{n-N}{n}epsilon$$



        for $nge N$. Now let $nrightarrowinfty$ while keeping $N,epsilon$ fixed. Then we obtain



        $$limsup_{nrightarrowinfty}left|frac{x_n}{n}-cright|le epsilon$$



        Since $epsilon$ was arbitrary, the conclusion follows.



        Note:



        In essence we just proved that a summable series is also Cesàro summable.






        share|cite|improve this answer











        $endgroup$


















          6












          $begingroup$

          We claim that $x_n/nrightarrow c$.



          As in the comment we write $a_n=x_n-x_{n-1}$. Then $x_n=sum_{k=1}^n a_k$ $color{red} { (1) }$. The assumption becomes $a_nrightarrow c$ and $x_n/n=frac{1}{n}sum_{k=1}^n a_k$.



          Then



          $$x_n/n-c=left(frac{1}{n}sum_{k=1}^n a_kright) - c = frac{1}{n} sum_{k=1}^n (a_k-c)quad color{red} { (2) } $$



          Let $epsilon>0$ and choose $N$ large enough such that $|a_n-c|<epsilon$ for all $nge N$. Then



          $$left|frac{x_n}{n}-cright|le frac{1}{n}sum_{k=1}^N |a_k-c| + frac{n-N}{n}epsilon$$



          for $nge N$. Now let $nrightarrowinfty$ while keeping $N,epsilon$ fixed. Then we obtain



          $$limsup_{nrightarrowinfty}left|frac{x_n}{n}-cright|le epsilon$$



          Since $epsilon$ was arbitrary, the conclusion follows.



          Note:



          In essence we just proved that a summable series is also Cesàro summable.






          share|cite|improve this answer











          $endgroup$
















            6












            6








            6





            $begingroup$

            We claim that $x_n/nrightarrow c$.



            As in the comment we write $a_n=x_n-x_{n-1}$. Then $x_n=sum_{k=1}^n a_k$ $color{red} { (1) }$. The assumption becomes $a_nrightarrow c$ and $x_n/n=frac{1}{n}sum_{k=1}^n a_k$.



            Then



            $$x_n/n-c=left(frac{1}{n}sum_{k=1}^n a_kright) - c = frac{1}{n} sum_{k=1}^n (a_k-c)quad color{red} { (2) } $$



            Let $epsilon>0$ and choose $N$ large enough such that $|a_n-c|<epsilon$ for all $nge N$. Then



            $$left|frac{x_n}{n}-cright|le frac{1}{n}sum_{k=1}^N |a_k-c| + frac{n-N}{n}epsilon$$



            for $nge N$. Now let $nrightarrowinfty$ while keeping $N,epsilon$ fixed. Then we obtain



            $$limsup_{nrightarrowinfty}left|frac{x_n}{n}-cright|le epsilon$$



            Since $epsilon$ was arbitrary, the conclusion follows.



            Note:



            In essence we just proved that a summable series is also Cesàro summable.






            share|cite|improve this answer











            $endgroup$



            We claim that $x_n/nrightarrow c$.



            As in the comment we write $a_n=x_n-x_{n-1}$. Then $x_n=sum_{k=1}^n a_k$ $color{red} { (1) }$. The assumption becomes $a_nrightarrow c$ and $x_n/n=frac{1}{n}sum_{k=1}^n a_k$.



            Then



            $$x_n/n-c=left(frac{1}{n}sum_{k=1}^n a_kright) - c = frac{1}{n} sum_{k=1}^n (a_k-c)quad color{red} { (2) } $$



            Let $epsilon>0$ and choose $N$ large enough such that $|a_n-c|<epsilon$ for all $nge N$. Then



            $$left|frac{x_n}{n}-cright|le frac{1}{n}sum_{k=1}^N |a_k-c| + frac{n-N}{n}epsilon$$



            for $nge N$. Now let $nrightarrowinfty$ while keeping $N,epsilon$ fixed. Then we obtain



            $$limsup_{nrightarrowinfty}left|frac{x_n}{n}-cright|le epsilon$$



            Since $epsilon$ was arbitrary, the conclusion follows.



            Note:



            In essence we just proved that a summable series is also Cesàro summable.







            share|cite|improve this answer














            share|cite|improve this answer



            share|cite|improve this answer








            edited May 31 '14 at 11:08

























            answered Feb 9 '14 at 19:18









            J.R.J.R.

            15.6k13055




            15.6k13055























                4












                $begingroup$

                That can be derived directly from Stolz-Cesaro theorem (more complete account here) by taking $b_n = n.$



                $$lim_{n to infty} x_{n+1}-x_n = lim_{n to infty} frac{x_n}{n}$$



                when $lim_{n to infty} x_{n+1}-x_n$ exists.






                share|cite|improve this answer









                $endgroup$


















                  4












                  $begingroup$

                  That can be derived directly from Stolz-Cesaro theorem (more complete account here) by taking $b_n = n.$



                  $$lim_{n to infty} x_{n+1}-x_n = lim_{n to infty} frac{x_n}{n}$$



                  when $lim_{n to infty} x_{n+1}-x_n$ exists.






                  share|cite|improve this answer









                  $endgroup$
















                    4












                    4








                    4





                    $begingroup$

                    That can be derived directly from Stolz-Cesaro theorem (more complete account here) by taking $b_n = n.$



                    $$lim_{n to infty} x_{n+1}-x_n = lim_{n to infty} frac{x_n}{n}$$



                    when $lim_{n to infty} x_{n+1}-x_n$ exists.






                    share|cite|improve this answer









                    $endgroup$



                    That can be derived directly from Stolz-Cesaro theorem (more complete account here) by taking $b_n = n.$



                    $$lim_{n to infty} x_{n+1}-x_n = lim_{n to infty} frac{x_n}{n}$$



                    when $lim_{n to infty} x_{n+1}-x_n$ exists.







                    share|cite|improve this answer












                    share|cite|improve this answer



                    share|cite|improve this answer










                    answered May 12 '14 at 16:53









                    Ehsan M. KermaniEhsan M. Kermani

                    6,36412348




                    6,36412348























                        1












                        $begingroup$

                        Apologies for editing Your Ad Here, but can someone please check (1) and (2)?



                        (1) = $sum_{1 le k le n} x_k - x_{k - 1}$ which telecopes to $-x_0 + x_n$, not just $x_n$ ?






                        share|cite|improve this answer









                        $endgroup$













                        • $begingroup$
                          That is correct. I tacitly assumed we're talking about a sequence $x_1,x_2,dots$ and set $x_0=0$ for convenience. However, please note that your answer should rather be a comment on the previous answer.
                          $endgroup$
                          – J.R.
                          May 26 '14 at 20:05












                        • $begingroup$
                          @YourAdHere thanks
                          $endgroup$
                          – François Muer
                          May 29 '14 at 20:31
















                        1












                        $begingroup$

                        Apologies for editing Your Ad Here, but can someone please check (1) and (2)?



                        (1) = $sum_{1 le k le n} x_k - x_{k - 1}$ which telecopes to $-x_0 + x_n$, not just $x_n$ ?






                        share|cite|improve this answer









                        $endgroup$













                        • $begingroup$
                          That is correct. I tacitly assumed we're talking about a sequence $x_1,x_2,dots$ and set $x_0=0$ for convenience. However, please note that your answer should rather be a comment on the previous answer.
                          $endgroup$
                          – J.R.
                          May 26 '14 at 20:05












                        • $begingroup$
                          @YourAdHere thanks
                          $endgroup$
                          – François Muer
                          May 29 '14 at 20:31














                        1












                        1








                        1





                        $begingroup$

                        Apologies for editing Your Ad Here, but can someone please check (1) and (2)?



                        (1) = $sum_{1 le k le n} x_k - x_{k - 1}$ which telecopes to $-x_0 + x_n$, not just $x_n$ ?






                        share|cite|improve this answer









                        $endgroup$



                        Apologies for editing Your Ad Here, but can someone please check (1) and (2)?



                        (1) = $sum_{1 le k le n} x_k - x_{k - 1}$ which telecopes to $-x_0 + x_n$, not just $x_n$ ?







                        share|cite|improve this answer












                        share|cite|improve this answer



                        share|cite|improve this answer










                        answered May 12 '14 at 16:24









                        François MuerFrançois Muer

                        3561242




                        3561242












                        • $begingroup$
                          That is correct. I tacitly assumed we're talking about a sequence $x_1,x_2,dots$ and set $x_0=0$ for convenience. However, please note that your answer should rather be a comment on the previous answer.
                          $endgroup$
                          – J.R.
                          May 26 '14 at 20:05












                        • $begingroup$
                          @YourAdHere thanks
                          $endgroup$
                          – François Muer
                          May 29 '14 at 20:31


















                        • $begingroup$
                          That is correct. I tacitly assumed we're talking about a sequence $x_1,x_2,dots$ and set $x_0=0$ for convenience. However, please note that your answer should rather be a comment on the previous answer.
                          $endgroup$
                          – J.R.
                          May 26 '14 at 20:05












                        • $begingroup$
                          @YourAdHere thanks
                          $endgroup$
                          – François Muer
                          May 29 '14 at 20:31
















                        $begingroup$
                        That is correct. I tacitly assumed we're talking about a sequence $x_1,x_2,dots$ and set $x_0=0$ for convenience. However, please note that your answer should rather be a comment on the previous answer.
                        $endgroup$
                        – J.R.
                        May 26 '14 at 20:05






                        $begingroup$
                        That is correct. I tacitly assumed we're talking about a sequence $x_1,x_2,dots$ and set $x_0=0$ for convenience. However, please note that your answer should rather be a comment on the previous answer.
                        $endgroup$
                        – J.R.
                        May 26 '14 at 20:05














                        $begingroup$
                        @YourAdHere thanks
                        $endgroup$
                        – François Muer
                        May 29 '14 at 20:31




                        $begingroup$
                        @YourAdHere thanks
                        $endgroup$
                        – François Muer
                        May 29 '14 at 20:31











                        1












                        $begingroup$

                        We let $a_n:=x_{n+1}-x_n$ and use this theorem to conclude that $$frac{a_1+a_2+...+a_n}{n}to c implies frac{(x_2-x_1)+(x_3-x_2)+....+(x_{n+1}-x_n)}{n}to c $$ $$ implies frac{x_{n+1}-x_1}{n}to c implies frac{x_n}{n}to c$$ since $x_1$ is finite.






                        share|cite|improve this answer









                        $endgroup$


















                          1












                          $begingroup$

                          We let $a_n:=x_{n+1}-x_n$ and use this theorem to conclude that $$frac{a_1+a_2+...+a_n}{n}to c implies frac{(x_2-x_1)+(x_3-x_2)+....+(x_{n+1}-x_n)}{n}to c $$ $$ implies frac{x_{n+1}-x_1}{n}to c implies frac{x_n}{n}to c$$ since $x_1$ is finite.






                          share|cite|improve this answer









                          $endgroup$
















                            1












                            1








                            1





                            $begingroup$

                            We let $a_n:=x_{n+1}-x_n$ and use this theorem to conclude that $$frac{a_1+a_2+...+a_n}{n}to c implies frac{(x_2-x_1)+(x_3-x_2)+....+(x_{n+1}-x_n)}{n}to c $$ $$ implies frac{x_{n+1}-x_1}{n}to c implies frac{x_n}{n}to c$$ since $x_1$ is finite.






                            share|cite|improve this answer









                            $endgroup$



                            We let $a_n:=x_{n+1}-x_n$ and use this theorem to conclude that $$frac{a_1+a_2+...+a_n}{n}to c implies frac{(x_2-x_1)+(x_3-x_2)+....+(x_{n+1}-x_n)}{n}to c $$ $$ implies frac{x_{n+1}-x_1}{n}to c implies frac{x_n}{n}to c$$ since $x_1$ is finite.







                            share|cite|improve this answer












                            share|cite|improve this answer



                            share|cite|improve this answer










                            answered Jan 7 at 9:18









                            RhaldrynRhaldryn

                            319414




                            319414






























                                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%2f669790%2flim-n-rightarrow-infty-x-n1-x-n-c-c-0-then-is-x-n-n-c%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

                                MongoDB - Not Authorized To Execute Command

                                in spring boot 2.1 many test slices are not allowed anymore due to multiple @BootstrapWith

                                How to fix TextFormField cause rebuild widget in Flutter