Descartes' rule of signs for infinite series

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











up vote
7
down vote

favorite
3












Consider the function given by
$$f(x)=1-a_1x-a_2x^2-a_3x^3-cdots$$
where each $a_kgeq0$ and some $a_j>0$. If $f(x)$ is a polynomial then Descartes' Rule of signs tells us there is exactly one positive zero, i.e. root of $f(x)=0$.



Assume $f(x)$ is a (real) power series with radius of convergence $0<R<infty$.




Question. For which class or classes of such $f$ can we ensure that there is only one positive real root? This is asking for imposing condition(s).








share|cite|improve this question
























    up vote
    7
    down vote

    favorite
    3












    Consider the function given by
    $$f(x)=1-a_1x-a_2x^2-a_3x^3-cdots$$
    where each $a_kgeq0$ and some $a_j>0$. If $f(x)$ is a polynomial then Descartes' Rule of signs tells us there is exactly one positive zero, i.e. root of $f(x)=0$.



    Assume $f(x)$ is a (real) power series with radius of convergence $0<R<infty$.




    Question. For which class or classes of such $f$ can we ensure that there is only one positive real root? This is asking for imposing condition(s).








    share|cite|improve this question






















      up vote
      7
      down vote

      favorite
      3









      up vote
      7
      down vote

      favorite
      3






      3





      Consider the function given by
      $$f(x)=1-a_1x-a_2x^2-a_3x^3-cdots$$
      where each $a_kgeq0$ and some $a_j>0$. If $f(x)$ is a polynomial then Descartes' Rule of signs tells us there is exactly one positive zero, i.e. root of $f(x)=0$.



      Assume $f(x)$ is a (real) power series with radius of convergence $0<R<infty$.




      Question. For which class or classes of such $f$ can we ensure that there is only one positive real root? This is asking for imposing condition(s).








      share|cite|improve this question












      Consider the function given by
      $$f(x)=1-a_1x-a_2x^2-a_3x^3-cdots$$
      where each $a_kgeq0$ and some $a_j>0$. If $f(x)$ is a polynomial then Descartes' Rule of signs tells us there is exactly one positive zero, i.e. root of $f(x)=0$.



      Assume $f(x)$ is a (real) power series with radius of convergence $0<R<infty$.




      Question. For which class or classes of such $f$ can we ensure that there is only one positive real root? This is asking for imposing condition(s).










      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Sep 2 at 4:16









      T. Amdeberhan

      15.7k225119




      15.7k225119




















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          11
          down vote



          accepted










          $f$ is strictly decreasing on $[0,R)$, so if there is any positive zero there is only one. There is a positive zero in $[0,R)$ iff $lim_x to R- f(x) < 0$, which may or may not be true. For an example where it is not, consider
          $$ 1 - sum_n=2^infty fracx^nn^2$$






          share|cite|improve this answer
















          • 4




            So the condition may be restated as $sum_k=1^+infty a_k R^k>1$ (which is automatically true if $R=+infty$)
            – Pietro Majer
            Sep 2 at 7:21










          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: "504"
          ;
          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%2fmathoverflow.net%2fquestions%2f309645%2fdescartes-rule-of-signs-for-infinite-series%23new-answer', 'question_page');

          );

          Post as a guest






























          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes








          up vote
          11
          down vote



          accepted










          $f$ is strictly decreasing on $[0,R)$, so if there is any positive zero there is only one. There is a positive zero in $[0,R)$ iff $lim_x to R- f(x) < 0$, which may or may not be true. For an example where it is not, consider
          $$ 1 - sum_n=2^infty fracx^nn^2$$






          share|cite|improve this answer
















          • 4




            So the condition may be restated as $sum_k=1^+infty a_k R^k>1$ (which is automatically true if $R=+infty$)
            – Pietro Majer
            Sep 2 at 7:21














          up vote
          11
          down vote



          accepted










          $f$ is strictly decreasing on $[0,R)$, so if there is any positive zero there is only one. There is a positive zero in $[0,R)$ iff $lim_x to R- f(x) < 0$, which may or may not be true. For an example where it is not, consider
          $$ 1 - sum_n=2^infty fracx^nn^2$$






          share|cite|improve this answer
















          • 4




            So the condition may be restated as $sum_k=1^+infty a_k R^k>1$ (which is automatically true if $R=+infty$)
            – Pietro Majer
            Sep 2 at 7:21












          up vote
          11
          down vote



          accepted







          up vote
          11
          down vote



          accepted






          $f$ is strictly decreasing on $[0,R)$, so if there is any positive zero there is only one. There is a positive zero in $[0,R)$ iff $lim_x to R- f(x) < 0$, which may or may not be true. For an example where it is not, consider
          $$ 1 - sum_n=2^infty fracx^nn^2$$






          share|cite|improve this answer












          $f$ is strictly decreasing on $[0,R)$, so if there is any positive zero there is only one. There is a positive zero in $[0,R)$ iff $lim_x to R- f(x) < 0$, which may or may not be true. For an example where it is not, consider
          $$ 1 - sum_n=2^infty fracx^nn^2$$







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Sep 2 at 4:44









          Robert Israel

          40.3k46113




          40.3k46113







          • 4




            So the condition may be restated as $sum_k=1^+infty a_k R^k>1$ (which is automatically true if $R=+infty$)
            – Pietro Majer
            Sep 2 at 7:21












          • 4




            So the condition may be restated as $sum_k=1^+infty a_k R^k>1$ (which is automatically true if $R=+infty$)
            – Pietro Majer
            Sep 2 at 7:21







          4




          4




          So the condition may be restated as $sum_k=1^+infty a_k R^k>1$ (which is automatically true if $R=+infty$)
          – Pietro Majer
          Sep 2 at 7:21




          So the condition may be restated as $sum_k=1^+infty a_k R^k>1$ (which is automatically true if $R=+infty$)
          – Pietro Majer
          Sep 2 at 7:21

















           

          draft saved


          draft discarded















































           


          draft saved


          draft discarded














          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f309645%2fdescartes-rule-of-signs-for-infinite-series%23new-answer', 'question_page');

          );

          Post as a guest













































































          Comments

          Popular posts from this blog

          What does second last employer means? [closed]

          List of Gilmore Girls characters

          One-line joke