To be concave on $[0,1]$, $f(t)leq f(0)+tf'(0)$ is enough?

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











up vote
2
down vote

favorite
1












Suppose $f(t)>0$.




$f(t)leq f(0)+tf'(0)$ if and only if $f$ is concave over $[0,1]$.




Is the above stetement true? There must be a counterexample in my
opinion.










share|cite|improve this question

























    up vote
    2
    down vote

    favorite
    1












    Suppose $f(t)>0$.




    $f(t)leq f(0)+tf'(0)$ if and only if $f$ is concave over $[0,1]$.




    Is the above stetement true? There must be a counterexample in my
    opinion.










    share|cite|improve this question























      up vote
      2
      down vote

      favorite
      1









      up vote
      2
      down vote

      favorite
      1






      1





      Suppose $f(t)>0$.




      $f(t)leq f(0)+tf'(0)$ if and only if $f$ is concave over $[0,1]$.




      Is the above stetement true? There must be a counterexample in my
      opinion.










      share|cite|improve this question













      Suppose $f(t)>0$.




      $f(t)leq f(0)+tf'(0)$ if and only if $f$ is concave over $[0,1]$.




      Is the above stetement true? There must be a counterexample in my
      opinion.







      convex-analysis examples-counterexamples equivalence-relations






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Sep 6 at 7:38









      kayak

      576318




      576318




















          3 Answers
          3






          active

          oldest

          votes

















          up vote
          2
          down vote



          accepted










          An obvious counterexample would be $f(t)=sin(2pi t)+1$, which is neither convex nor concave but fulfills your inequality.






          share|cite|improve this answer






















          • The problem mentions that $f(t)>0$
            – GoodDeeds
            Sep 6 at 7:57






          • 1




            @GoodDeeds: Oh, missed that. Doesn't change much though...
            – Toffomat
            Sep 6 at 8:05

















          up vote
          1
          down vote













          $f(x)=textarctan(2x-1) + pi$ is above its tangent line in $0$ over all $[0, 1]$, but it is concave in $[0, 1/2)$ and convex in $(1/2, 1]$.






          share|cite|improve this answer


















          • 1




            Why is a straight line not concave?
            – Calvin Khor
            Sep 6 at 7:47










          • Because a definition of concavity is the graph of the function being completely below the line connecting two points of the graph, of course except the two points themselves. Also, another definition is whenever the second derivative is positive and not zero. At least, this is what I recall; is a straight line also convex?
            – Niki Di Giano
            Sep 6 at 7:51










          • The problem mentions that $f(t)>0$
            – GoodDeeds
            Sep 6 at 7:57










          • math.stackexchange.com/questions/611633/… I would say it is convex(and concave), but not strictly convex.
            – Calvin Khor
            Sep 6 at 7:59











          • Well, it's just semantics then. I have addressed both commenters' observations in my last edit.
            – Niki Di Giano
            Sep 6 at 8:03

















          up vote
          1
          down vote













          If you think about it geometrically, it is clear that the statement is false. In fact, in geometrical terms it says that the function $f(t)$ in $[0,1]$ must lie below its tangent at origin. To realize this, it is useful to change the inequality (for $t in (0, 1]$) to the form:



          $$fracf(t) - f(0)t leq f'(t)$$



          and recall that the expression on the left is the slope of the line between $(0, f(0))$ and $(t, f(t))$.



          As a intituitive counterexample, you can draw something concave at first, with a an inflection point that makes it convex before $t=1$. The hypothesis $f(t) > 0$ is not a big constraint (geometrically it tells you that you must draw in the trapezoid given by the x and y axis, the tangent in the origin and the line $x=1$).



          If you want a mathematical expression, you can use the fine example of Toffomat:
          $$sin(2pi t) + alpha$$



          valid for any $alpha > 1$.



          If you prefer to go polynomial, consider the following translation of the standard cubic with 3 zeros:



          $$(t-alpha + 1)(t-alpha)(t-alpha -1)$$



          This is a counterexample for all $alpha in (-1, beta)$, for a $beta$ that can be prove to exist in $(-1/2, 0)$.






          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%2f2907200%2fto-be-concave-on-0-1-ft-leq-f0tf0-is-enough%23new-answer', 'question_page');

            );

            Post as a guest






























            3 Answers
            3






            active

            oldest

            votes








            3 Answers
            3






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes








            up vote
            2
            down vote



            accepted










            An obvious counterexample would be $f(t)=sin(2pi t)+1$, which is neither convex nor concave but fulfills your inequality.






            share|cite|improve this answer






















            • The problem mentions that $f(t)>0$
              – GoodDeeds
              Sep 6 at 7:57






            • 1




              @GoodDeeds: Oh, missed that. Doesn't change much though...
              – Toffomat
              Sep 6 at 8:05














            up vote
            2
            down vote



            accepted










            An obvious counterexample would be $f(t)=sin(2pi t)+1$, which is neither convex nor concave but fulfills your inequality.






            share|cite|improve this answer






















            • The problem mentions that $f(t)>0$
              – GoodDeeds
              Sep 6 at 7:57






            • 1




              @GoodDeeds: Oh, missed that. Doesn't change much though...
              – Toffomat
              Sep 6 at 8:05












            up vote
            2
            down vote



            accepted







            up vote
            2
            down vote



            accepted






            An obvious counterexample would be $f(t)=sin(2pi t)+1$, which is neither convex nor concave but fulfills your inequality.






            share|cite|improve this answer














            An obvious counterexample would be $f(t)=sin(2pi t)+1$, which is neither convex nor concave but fulfills your inequality.







            share|cite|improve this answer














            share|cite|improve this answer



            share|cite|improve this answer








            edited Sep 6 at 8:04

























            answered Sep 6 at 7:46









            Toffomat

            1,296216




            1,296216











            • The problem mentions that $f(t)>0$
              – GoodDeeds
              Sep 6 at 7:57






            • 1




              @GoodDeeds: Oh, missed that. Doesn't change much though...
              – Toffomat
              Sep 6 at 8:05
















            • The problem mentions that $f(t)>0$
              – GoodDeeds
              Sep 6 at 7:57






            • 1




              @GoodDeeds: Oh, missed that. Doesn't change much though...
              – Toffomat
              Sep 6 at 8:05















            The problem mentions that $f(t)>0$
            – GoodDeeds
            Sep 6 at 7:57




            The problem mentions that $f(t)>0$
            – GoodDeeds
            Sep 6 at 7:57




            1




            1




            @GoodDeeds: Oh, missed that. Doesn't change much though...
            – Toffomat
            Sep 6 at 8:05




            @GoodDeeds: Oh, missed that. Doesn't change much though...
            – Toffomat
            Sep 6 at 8:05










            up vote
            1
            down vote













            $f(x)=textarctan(2x-1) + pi$ is above its tangent line in $0$ over all $[0, 1]$, but it is concave in $[0, 1/2)$ and convex in $(1/2, 1]$.






            share|cite|improve this answer


















            • 1




              Why is a straight line not concave?
              – Calvin Khor
              Sep 6 at 7:47










            • Because a definition of concavity is the graph of the function being completely below the line connecting two points of the graph, of course except the two points themselves. Also, another definition is whenever the second derivative is positive and not zero. At least, this is what I recall; is a straight line also convex?
              – Niki Di Giano
              Sep 6 at 7:51










            • The problem mentions that $f(t)>0$
              – GoodDeeds
              Sep 6 at 7:57










            • math.stackexchange.com/questions/611633/… I would say it is convex(and concave), but not strictly convex.
              – Calvin Khor
              Sep 6 at 7:59











            • Well, it's just semantics then. I have addressed both commenters' observations in my last edit.
              – Niki Di Giano
              Sep 6 at 8:03














            up vote
            1
            down vote













            $f(x)=textarctan(2x-1) + pi$ is above its tangent line in $0$ over all $[0, 1]$, but it is concave in $[0, 1/2)$ and convex in $(1/2, 1]$.






            share|cite|improve this answer


















            • 1




              Why is a straight line not concave?
              – Calvin Khor
              Sep 6 at 7:47










            • Because a definition of concavity is the graph of the function being completely below the line connecting two points of the graph, of course except the two points themselves. Also, another definition is whenever the second derivative is positive and not zero. At least, this is what I recall; is a straight line also convex?
              – Niki Di Giano
              Sep 6 at 7:51










            • The problem mentions that $f(t)>0$
              – GoodDeeds
              Sep 6 at 7:57










            • math.stackexchange.com/questions/611633/… I would say it is convex(and concave), but not strictly convex.
              – Calvin Khor
              Sep 6 at 7:59











            • Well, it's just semantics then. I have addressed both commenters' observations in my last edit.
              – Niki Di Giano
              Sep 6 at 8:03












            up vote
            1
            down vote










            up vote
            1
            down vote









            $f(x)=textarctan(2x-1) + pi$ is above its tangent line in $0$ over all $[0, 1]$, but it is concave in $[0, 1/2)$ and convex in $(1/2, 1]$.






            share|cite|improve this answer














            $f(x)=textarctan(2x-1) + pi$ is above its tangent line in $0$ over all $[0, 1]$, but it is concave in $[0, 1/2)$ and convex in $(1/2, 1]$.







            share|cite|improve this answer














            share|cite|improve this answer



            share|cite|improve this answer








            edited Sep 6 at 8:02

























            answered Sep 6 at 7:46









            Niki Di Giano

            788211




            788211







            • 1




              Why is a straight line not concave?
              – Calvin Khor
              Sep 6 at 7:47










            • Because a definition of concavity is the graph of the function being completely below the line connecting two points of the graph, of course except the two points themselves. Also, another definition is whenever the second derivative is positive and not zero. At least, this is what I recall; is a straight line also convex?
              – Niki Di Giano
              Sep 6 at 7:51










            • The problem mentions that $f(t)>0$
              – GoodDeeds
              Sep 6 at 7:57










            • math.stackexchange.com/questions/611633/… I would say it is convex(and concave), but not strictly convex.
              – Calvin Khor
              Sep 6 at 7:59











            • Well, it's just semantics then. I have addressed both commenters' observations in my last edit.
              – Niki Di Giano
              Sep 6 at 8:03












            • 1




              Why is a straight line not concave?
              – Calvin Khor
              Sep 6 at 7:47










            • Because a definition of concavity is the graph of the function being completely below the line connecting two points of the graph, of course except the two points themselves. Also, another definition is whenever the second derivative is positive and not zero. At least, this is what I recall; is a straight line also convex?
              – Niki Di Giano
              Sep 6 at 7:51










            • The problem mentions that $f(t)>0$
              – GoodDeeds
              Sep 6 at 7:57










            • math.stackexchange.com/questions/611633/… I would say it is convex(and concave), but not strictly convex.
              – Calvin Khor
              Sep 6 at 7:59











            • Well, it's just semantics then. I have addressed both commenters' observations in my last edit.
              – Niki Di Giano
              Sep 6 at 8:03







            1




            1




            Why is a straight line not concave?
            – Calvin Khor
            Sep 6 at 7:47




            Why is a straight line not concave?
            – Calvin Khor
            Sep 6 at 7:47












            Because a definition of concavity is the graph of the function being completely below the line connecting two points of the graph, of course except the two points themselves. Also, another definition is whenever the second derivative is positive and not zero. At least, this is what I recall; is a straight line also convex?
            – Niki Di Giano
            Sep 6 at 7:51




            Because a definition of concavity is the graph of the function being completely below the line connecting two points of the graph, of course except the two points themselves. Also, another definition is whenever the second derivative is positive and not zero. At least, this is what I recall; is a straight line also convex?
            – Niki Di Giano
            Sep 6 at 7:51












            The problem mentions that $f(t)>0$
            – GoodDeeds
            Sep 6 at 7:57




            The problem mentions that $f(t)>0$
            – GoodDeeds
            Sep 6 at 7:57












            math.stackexchange.com/questions/611633/… I would say it is convex(and concave), but not strictly convex.
            – Calvin Khor
            Sep 6 at 7:59





            math.stackexchange.com/questions/611633/… I would say it is convex(and concave), but not strictly convex.
            – Calvin Khor
            Sep 6 at 7:59













            Well, it's just semantics then. I have addressed both commenters' observations in my last edit.
            – Niki Di Giano
            Sep 6 at 8:03




            Well, it's just semantics then. I have addressed both commenters' observations in my last edit.
            – Niki Di Giano
            Sep 6 at 8:03










            up vote
            1
            down vote













            If you think about it geometrically, it is clear that the statement is false. In fact, in geometrical terms it says that the function $f(t)$ in $[0,1]$ must lie below its tangent at origin. To realize this, it is useful to change the inequality (for $t in (0, 1]$) to the form:



            $$fracf(t) - f(0)t leq f'(t)$$



            and recall that the expression on the left is the slope of the line between $(0, f(0))$ and $(t, f(t))$.



            As a intituitive counterexample, you can draw something concave at first, with a an inflection point that makes it convex before $t=1$. The hypothesis $f(t) > 0$ is not a big constraint (geometrically it tells you that you must draw in the trapezoid given by the x and y axis, the tangent in the origin and the line $x=1$).



            If you want a mathematical expression, you can use the fine example of Toffomat:
            $$sin(2pi t) + alpha$$



            valid for any $alpha > 1$.



            If you prefer to go polynomial, consider the following translation of the standard cubic with 3 zeros:



            $$(t-alpha + 1)(t-alpha)(t-alpha -1)$$



            This is a counterexample for all $alpha in (-1, beta)$, for a $beta$ that can be prove to exist in $(-1/2, 0)$.






            share|cite|improve this answer
























              up vote
              1
              down vote













              If you think about it geometrically, it is clear that the statement is false. In fact, in geometrical terms it says that the function $f(t)$ in $[0,1]$ must lie below its tangent at origin. To realize this, it is useful to change the inequality (for $t in (0, 1]$) to the form:



              $$fracf(t) - f(0)t leq f'(t)$$



              and recall that the expression on the left is the slope of the line between $(0, f(0))$ and $(t, f(t))$.



              As a intituitive counterexample, you can draw something concave at first, with a an inflection point that makes it convex before $t=1$. The hypothesis $f(t) > 0$ is not a big constraint (geometrically it tells you that you must draw in the trapezoid given by the x and y axis, the tangent in the origin and the line $x=1$).



              If you want a mathematical expression, you can use the fine example of Toffomat:
              $$sin(2pi t) + alpha$$



              valid for any $alpha > 1$.



              If you prefer to go polynomial, consider the following translation of the standard cubic with 3 zeros:



              $$(t-alpha + 1)(t-alpha)(t-alpha -1)$$



              This is a counterexample for all $alpha in (-1, beta)$, for a $beta$ that can be prove to exist in $(-1/2, 0)$.






              share|cite|improve this answer






















                up vote
                1
                down vote










                up vote
                1
                down vote









                If you think about it geometrically, it is clear that the statement is false. In fact, in geometrical terms it says that the function $f(t)$ in $[0,1]$ must lie below its tangent at origin. To realize this, it is useful to change the inequality (for $t in (0, 1]$) to the form:



                $$fracf(t) - f(0)t leq f'(t)$$



                and recall that the expression on the left is the slope of the line between $(0, f(0))$ and $(t, f(t))$.



                As a intituitive counterexample, you can draw something concave at first, with a an inflection point that makes it convex before $t=1$. The hypothesis $f(t) > 0$ is not a big constraint (geometrically it tells you that you must draw in the trapezoid given by the x and y axis, the tangent in the origin and the line $x=1$).



                If you want a mathematical expression, you can use the fine example of Toffomat:
                $$sin(2pi t) + alpha$$



                valid for any $alpha > 1$.



                If you prefer to go polynomial, consider the following translation of the standard cubic with 3 zeros:



                $$(t-alpha + 1)(t-alpha)(t-alpha -1)$$



                This is a counterexample for all $alpha in (-1, beta)$, for a $beta$ that can be prove to exist in $(-1/2, 0)$.






                share|cite|improve this answer












                If you think about it geometrically, it is clear that the statement is false. In fact, in geometrical terms it says that the function $f(t)$ in $[0,1]$ must lie below its tangent at origin. To realize this, it is useful to change the inequality (for $t in (0, 1]$) to the form:



                $$fracf(t) - f(0)t leq f'(t)$$



                and recall that the expression on the left is the slope of the line between $(0, f(0))$ and $(t, f(t))$.



                As a intituitive counterexample, you can draw something concave at first, with a an inflection point that makes it convex before $t=1$. The hypothesis $f(t) > 0$ is not a big constraint (geometrically it tells you that you must draw in the trapezoid given by the x and y axis, the tangent in the origin and the line $x=1$).



                If you want a mathematical expression, you can use the fine example of Toffomat:
                $$sin(2pi t) + alpha$$



                valid for any $alpha > 1$.



                If you prefer to go polynomial, consider the following translation of the standard cubic with 3 zeros:



                $$(t-alpha + 1)(t-alpha)(t-alpha -1)$$



                This is a counterexample for all $alpha in (-1, beta)$, for a $beta$ that can be prove to exist in $(-1/2, 0)$.







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered Sep 6 at 9:16









                Pietro P

                111




                111



























                     

                    draft saved


                    draft discarded















































                     


                    draft saved


                    draft discarded














                    StackExchange.ready(
                    function ()
                    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2907200%2fto-be-concave-on-0-1-ft-leq-f0tf0-is-enough%23new-answer', 'question_page');

                    );

                    Post as a guest













































































                    這個網誌中的熱門文章

                    How to combine Bézier curves to a surface?

                    Carbon dioxide

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