Strict subadditivity of $xmapsto x^t$ for $0<t0$

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











up vote
1
down vote

favorite












Let $f:mathbb (0,infty)tomathbb R, xmapsto x^t$ for some $0<t<1$. I want to know if $f$ is strictly subadditiv, i.e. $f(x)+f(y)>f(x+y)$.



If $t=frac1k$ for some $k>0$, it's easy to see that $f$ is strictly subadditiv. I've checked the subadditivity of $f$ for certain values $tneqfrac1k$ using the computer, so I am thinking that $f$ should be strictly subadditiv for all $t$. My question is how can you prove it for all $0<t<1$? I've tried to use the generalized binomial theorem but it didn't get me any futher.







share|cite|improve this question
























    up vote
    1
    down vote

    favorite












    Let $f:mathbb (0,infty)tomathbb R, xmapsto x^t$ for some $0<t<1$. I want to know if $f$ is strictly subadditiv, i.e. $f(x)+f(y)>f(x+y)$.



    If $t=frac1k$ for some $k>0$, it's easy to see that $f$ is strictly subadditiv. I've checked the subadditivity of $f$ for certain values $tneqfrac1k$ using the computer, so I am thinking that $f$ should be strictly subadditiv for all $t$. My question is how can you prove it for all $0<t<1$? I've tried to use the generalized binomial theorem but it didn't get me any futher.







    share|cite|improve this question






















      up vote
      1
      down vote

      favorite









      up vote
      1
      down vote

      favorite











      Let $f:mathbb (0,infty)tomathbb R, xmapsto x^t$ for some $0<t<1$. I want to know if $f$ is strictly subadditiv, i.e. $f(x)+f(y)>f(x+y)$.



      If $t=frac1k$ for some $k>0$, it's easy to see that $f$ is strictly subadditiv. I've checked the subadditivity of $f$ for certain values $tneqfrac1k$ using the computer, so I am thinking that $f$ should be strictly subadditiv for all $t$. My question is how can you prove it for all $0<t<1$? I've tried to use the generalized binomial theorem but it didn't get me any futher.







      share|cite|improve this question












      Let $f:mathbb (0,infty)tomathbb R, xmapsto x^t$ for some $0<t<1$. I want to know if $f$ is strictly subadditiv, i.e. $f(x)+f(y)>f(x+y)$.



      If $t=frac1k$ for some $k>0$, it's easy to see that $f$ is strictly subadditiv. I've checked the subadditivity of $f$ for certain values $tneqfrac1k$ using the computer, so I am thinking that $f$ should be strictly subadditiv for all $t$. My question is how can you prove it for all $0<t<1$? I've tried to use the generalized binomial theorem but it didn't get me any futher.









      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Aug 8 at 19:15









      andr

      84




      84




















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          0
          down vote



          accepted










          Yes, $f$ is strictly sub additive.

          To prove it, fix some $x,y>0$ and observe that for $0<t<1$, we have $s^t-1>(x+s)^t-1$ for all $s>0$.

          Integrating both side from $0$ to $y$, we get $int_0^ys^t-1ds>int_0^y(x+s)^t-1ds$, which gives $y^t>(x+y)^t-x^t$.
          Hence the required sub additivity follows.






          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%2f2876473%2fstrict-subadditivity-of-x-mapsto-xt-for-0t1-x0%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
            0
            down vote



            accepted










            Yes, $f$ is strictly sub additive.

            To prove it, fix some $x,y>0$ and observe that for $0<t<1$, we have $s^t-1>(x+s)^t-1$ for all $s>0$.

            Integrating both side from $0$ to $y$, we get $int_0^ys^t-1ds>int_0^y(x+s)^t-1ds$, which gives $y^t>(x+y)^t-x^t$.
            Hence the required sub additivity follows.






            share|cite|improve this answer
























              up vote
              0
              down vote



              accepted










              Yes, $f$ is strictly sub additive.

              To prove it, fix some $x,y>0$ and observe that for $0<t<1$, we have $s^t-1>(x+s)^t-1$ for all $s>0$.

              Integrating both side from $0$ to $y$, we get $int_0^ys^t-1ds>int_0^y(x+s)^t-1ds$, which gives $y^t>(x+y)^t-x^t$.
              Hence the required sub additivity follows.






              share|cite|improve this answer






















                up vote
                0
                down vote



                accepted







                up vote
                0
                down vote



                accepted






                Yes, $f$ is strictly sub additive.

                To prove it, fix some $x,y>0$ and observe that for $0<t<1$, we have $s^t-1>(x+s)^t-1$ for all $s>0$.

                Integrating both side from $0$ to $y$, we get $int_0^ys^t-1ds>int_0^y(x+s)^t-1ds$, which gives $y^t>(x+y)^t-x^t$.
                Hence the required sub additivity follows.






                share|cite|improve this answer












                Yes, $f$ is strictly sub additive.

                To prove it, fix some $x,y>0$ and observe that for $0<t<1$, we have $s^t-1>(x+s)^t-1$ for all $s>0$.

                Integrating both side from $0$ to $y$, we get $int_0^ys^t-1ds>int_0^y(x+s)^t-1ds$, which gives $y^t>(x+y)^t-x^t$.
                Hence the required sub additivity follows.







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered Aug 8 at 19:36









                Tomath

                1326




                1326






















                     

                    draft saved


                    draft discarded


























                     


                    draft saved


                    draft discarded














                    StackExchange.ready(
                    function ()
                    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2876473%2fstrict-subadditivity-of-x-mapsto-xt-for-0t1-x0%23new-answer', 'question_page');

                    );

                    Post as a guest













































































                    這個網誌中的熱門文章

                    How to combine Bézier curves to a surface?

                    Mutual Information Always Non-negative

                    Why am i infinitely getting the same tweet with the Twitter Search API?