Convergence of slowly decreasing sequences

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
4
down vote

favorite












Let $A$ be a large number, say $A=100$, and $a$ be a small number, say $a=0.01$.



Let $x_1=1$ and define $x_n+1-x_n=-a exp(-A/x_n)$. Is it true that $x_nto 0$?



We know that $x_n$ is strictly decreasing. But I do not know how to show that $x_n>0$ for all $n$, since mathematical induction fails here.



Note that $x=0$ is a fixed point for the iteration.







share|cite|improve this question























    up vote
    4
    down vote

    favorite












    Let $A$ be a large number, say $A=100$, and $a$ be a small number, say $a=0.01$.



    Let $x_1=1$ and define $x_n+1-x_n=-a exp(-A/x_n)$. Is it true that $x_nto 0$?



    We know that $x_n$ is strictly decreasing. But I do not know how to show that $x_n>0$ for all $n$, since mathematical induction fails here.



    Note that $x=0$ is a fixed point for the iteration.







    share|cite|improve this question





















      up vote
      4
      down vote

      favorite









      up vote
      4
      down vote

      favorite











      Let $A$ be a large number, say $A=100$, and $a$ be a small number, say $a=0.01$.



      Let $x_1=1$ and define $x_n+1-x_n=-a exp(-A/x_n)$. Is it true that $x_nto 0$?



      We know that $x_n$ is strictly decreasing. But I do not know how to show that $x_n>0$ for all $n$, since mathematical induction fails here.



      Note that $x=0$ is a fixed point for the iteration.







      share|cite|improve this question











      Let $A$ be a large number, say $A=100$, and $a$ be a small number, say $a=0.01$.



      Let $x_1=1$ and define $x_n+1-x_n=-a exp(-A/x_n)$. Is it true that $x_nto 0$?



      We know that $x_n$ is strictly decreasing. But I do not know how to show that $x_n>0$ for all $n$, since mathematical induction fails here.



      Note that $x=0$ is a fixed point for the iteration.









      share|cite|improve this question










      share|cite|improve this question




      share|cite|improve this question









      asked Jul 26 at 4:21









      Dong Li

      702413




      702413




















          2 Answers
          2






          active

          oldest

          votes

















          up vote
          1
          down vote



          accepted










          Hint:   $,f(x) = x - a e^-A/x gt x - e^-1/x gt 0,$ on $,Bbb R^+,$ for $,0 lt a lt 1 lt A,$. Therefore $,x_n gt 0,$ $,implies x_n+1=f(x_n) gt 0,$.






          share|cite|improve this answer




























            up vote
            1
            down vote













            The dynamical system $(mathbbR^+,h)$, where $h(x) = x - a e^-fracAx$ is well-defined if and only if $ h: mathbbR^+ rightarrow mathbbR^+$, i.e. if for $x>0$, $h(x)>0$.



            You can show that this inequality is equivalent to $frace^Aa x e^frac1x > 1$. The LHS function takes on a minimum at $x = 1$, where the value is $frace^A+1a$. Hence you need a and A to satisfy the condition $frace^A+1a > 1$.



            Further, if A is positive, you have a monotone decreasing sequence $x_n = h^n(1)$ that is bounded below. In that case $x_n rightarrow 0$.



            The values you specified satisfy these conditions.






            share|cite|improve this answer





















              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',
              convertImagesToLinks: true,
              noModals: false,
              showLowRepImageUploadWarning: true,
              reputationToPostImages: 10,
              bindNavPrevention: true,
              postfix: "",
              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%2f2863073%2fconvergence-of-slowly-decreasing-sequences%23new-answer', 'question_page');

              );

              Post as a guest






























              2 Answers
              2






              active

              oldest

              votes








              2 Answers
              2






              active

              oldest

              votes









              active

              oldest

              votes






              active

              oldest

              votes








              up vote
              1
              down vote



              accepted










              Hint:   $,f(x) = x - a e^-A/x gt x - e^-1/x gt 0,$ on $,Bbb R^+,$ for $,0 lt a lt 1 lt A,$. Therefore $,x_n gt 0,$ $,implies x_n+1=f(x_n) gt 0,$.






              share|cite|improve this answer

























                up vote
                1
                down vote



                accepted










                Hint:   $,f(x) = x - a e^-A/x gt x - e^-1/x gt 0,$ on $,Bbb R^+,$ for $,0 lt a lt 1 lt A,$. Therefore $,x_n gt 0,$ $,implies x_n+1=f(x_n) gt 0,$.






                share|cite|improve this answer























                  up vote
                  1
                  down vote



                  accepted







                  up vote
                  1
                  down vote



                  accepted






                  Hint:   $,f(x) = x - a e^-A/x gt x - e^-1/x gt 0,$ on $,Bbb R^+,$ for $,0 lt a lt 1 lt A,$. Therefore $,x_n gt 0,$ $,implies x_n+1=f(x_n) gt 0,$.






                  share|cite|improve this answer













                  Hint:   $,f(x) = x - a e^-A/x gt x - e^-1/x gt 0,$ on $,Bbb R^+,$ for $,0 lt a lt 1 lt A,$. Therefore $,x_n gt 0,$ $,implies x_n+1=f(x_n) gt 0,$.







                  share|cite|improve this answer













                  share|cite|improve this answer



                  share|cite|improve this answer











                  answered Jul 26 at 5:06









                  dxiv

                  53.9k64796




                  53.9k64796




















                      up vote
                      1
                      down vote













                      The dynamical system $(mathbbR^+,h)$, where $h(x) = x - a e^-fracAx$ is well-defined if and only if $ h: mathbbR^+ rightarrow mathbbR^+$, i.e. if for $x>0$, $h(x)>0$.



                      You can show that this inequality is equivalent to $frace^Aa x e^frac1x > 1$. The LHS function takes on a minimum at $x = 1$, where the value is $frace^A+1a$. Hence you need a and A to satisfy the condition $frace^A+1a > 1$.



                      Further, if A is positive, you have a monotone decreasing sequence $x_n = h^n(1)$ that is bounded below. In that case $x_n rightarrow 0$.



                      The values you specified satisfy these conditions.






                      share|cite|improve this answer

























                        up vote
                        1
                        down vote













                        The dynamical system $(mathbbR^+,h)$, where $h(x) = x - a e^-fracAx$ is well-defined if and only if $ h: mathbbR^+ rightarrow mathbbR^+$, i.e. if for $x>0$, $h(x)>0$.



                        You can show that this inequality is equivalent to $frace^Aa x e^frac1x > 1$. The LHS function takes on a minimum at $x = 1$, where the value is $frace^A+1a$. Hence you need a and A to satisfy the condition $frace^A+1a > 1$.



                        Further, if A is positive, you have a monotone decreasing sequence $x_n = h^n(1)$ that is bounded below. In that case $x_n rightarrow 0$.



                        The values you specified satisfy these conditions.






                        share|cite|improve this answer























                          up vote
                          1
                          down vote










                          up vote
                          1
                          down vote









                          The dynamical system $(mathbbR^+,h)$, where $h(x) = x - a e^-fracAx$ is well-defined if and only if $ h: mathbbR^+ rightarrow mathbbR^+$, i.e. if for $x>0$, $h(x)>0$.



                          You can show that this inequality is equivalent to $frace^Aa x e^frac1x > 1$. The LHS function takes on a minimum at $x = 1$, where the value is $frace^A+1a$. Hence you need a and A to satisfy the condition $frace^A+1a > 1$.



                          Further, if A is positive, you have a monotone decreasing sequence $x_n = h^n(1)$ that is bounded below. In that case $x_n rightarrow 0$.



                          The values you specified satisfy these conditions.






                          share|cite|improve this answer













                          The dynamical system $(mathbbR^+,h)$, where $h(x) = x - a e^-fracAx$ is well-defined if and only if $ h: mathbbR^+ rightarrow mathbbR^+$, i.e. if for $x>0$, $h(x)>0$.



                          You can show that this inequality is equivalent to $frace^Aa x e^frac1x > 1$. The LHS function takes on a minimum at $x = 1$, where the value is $frace^A+1a$. Hence you need a and A to satisfy the condition $frace^A+1a > 1$.



                          Further, if A is positive, you have a monotone decreasing sequence $x_n = h^n(1)$ that is bounded below. In that case $x_n rightarrow 0$.



                          The values you specified satisfy these conditions.







                          share|cite|improve this answer













                          share|cite|improve this answer



                          share|cite|improve this answer











                          answered Jul 26 at 5:14









                          ertl

                          445110




                          445110






















                               

                              draft saved


                              draft discarded


























                               


                              draft saved


                              draft discarded














                              StackExchange.ready(
                              function ()
                              StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2863073%2fconvergence-of-slowly-decreasing-sequences%23new-answer', 'question_page');

                              );

                              Post as a guest













































































                              Comments

                              Popular posts from this blog

                              What is the equation of a 3D cone with generalised tilt?

                              Color the edges and diagonals of a regular polygon

                              Relationship between determinant of matrix and determinant of adjoint?