$a<b(b+2)$ then $f(a)< 2f(b).$

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











up vote
6
down vote

favorite
2












I am looking for a positive continuous function $f$ such that for all positive $a,b>0$




$$a < b(b+2)Longrightarrow f(a)<2f(b)$$ and $$a=b(b+2)Longrightarrow f(a)=2f(b).$$




Does such a function exist?



I tried to constructing one using exponential functions, as they are positive, but I failed.







share|cite|improve this question


















  • 2




    To rewrite: $$a+1<(b+1)^2 Longrightarrow f(a)<2f(b)$$ seems a bit easier to work with than the original condition.
    – InterstellarProbe
    Aug 21 at 12:49






  • 7




    And what about f(x)=1?
    – F.Carette
    Aug 21 at 12:49






  • 2




    My guess: $$f(x) = dfrac12clog x$$ or something similar
    – InterstellarProbe
    Aug 21 at 12:57







  • 2




    Ah, good point. But, I think that is a function that satisfies that $f(x^2) = 2f(x)$, which is close to the your condition that $a+1=(b+1)^2 Longrightarrow f(a)=2f(b)$. So, any function that does satisfy is going to be close to a logarithmic function. And if that is positive on $(1,infty)$, then it will not be positive on $(0,1]$.
    – InterstellarProbe
    Aug 21 at 13:02







  • 3




    The required function is $f(x)=log(x+1)$ and its positive multiples based on hint by @InterstellarProbe.
    – Ashar Tafhim
    Aug 21 at 13:09















up vote
6
down vote

favorite
2












I am looking for a positive continuous function $f$ such that for all positive $a,b>0$




$$a < b(b+2)Longrightarrow f(a)<2f(b)$$ and $$a=b(b+2)Longrightarrow f(a)=2f(b).$$




Does such a function exist?



I tried to constructing one using exponential functions, as they are positive, but I failed.







share|cite|improve this question


















  • 2




    To rewrite: $$a+1<(b+1)^2 Longrightarrow f(a)<2f(b)$$ seems a bit easier to work with than the original condition.
    – InterstellarProbe
    Aug 21 at 12:49






  • 7




    And what about f(x)=1?
    – F.Carette
    Aug 21 at 12:49






  • 2




    My guess: $$f(x) = dfrac12clog x$$ or something similar
    – InterstellarProbe
    Aug 21 at 12:57







  • 2




    Ah, good point. But, I think that is a function that satisfies that $f(x^2) = 2f(x)$, which is close to the your condition that $a+1=(b+1)^2 Longrightarrow f(a)=2f(b)$. So, any function that does satisfy is going to be close to a logarithmic function. And if that is positive on $(1,infty)$, then it will not be positive on $(0,1]$.
    – InterstellarProbe
    Aug 21 at 13:02







  • 3




    The required function is $f(x)=log(x+1)$ and its positive multiples based on hint by @InterstellarProbe.
    – Ashar Tafhim
    Aug 21 at 13:09













up vote
6
down vote

favorite
2









up vote
6
down vote

favorite
2






2





I am looking for a positive continuous function $f$ such that for all positive $a,b>0$




$$a < b(b+2)Longrightarrow f(a)<2f(b)$$ and $$a=b(b+2)Longrightarrow f(a)=2f(b).$$




Does such a function exist?



I tried to constructing one using exponential functions, as they are positive, but I failed.







share|cite|improve this question














I am looking for a positive continuous function $f$ such that for all positive $a,b>0$




$$a < b(b+2)Longrightarrow f(a)<2f(b)$$ and $$a=b(b+2)Longrightarrow f(a)=2f(b).$$




Does such a function exist?



I tried to constructing one using exponential functions, as they are positive, but I failed.









share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Aug 21 at 13:09









Clayton

18.3k22883




18.3k22883










asked Aug 21 at 12:42









Sascha

117317




117317







  • 2




    To rewrite: $$a+1<(b+1)^2 Longrightarrow f(a)<2f(b)$$ seems a bit easier to work with than the original condition.
    – InterstellarProbe
    Aug 21 at 12:49






  • 7




    And what about f(x)=1?
    – F.Carette
    Aug 21 at 12:49






  • 2




    My guess: $$f(x) = dfrac12clog x$$ or something similar
    – InterstellarProbe
    Aug 21 at 12:57







  • 2




    Ah, good point. But, I think that is a function that satisfies that $f(x^2) = 2f(x)$, which is close to the your condition that $a+1=(b+1)^2 Longrightarrow f(a)=2f(b)$. So, any function that does satisfy is going to be close to a logarithmic function. And if that is positive on $(1,infty)$, then it will not be positive on $(0,1]$.
    – InterstellarProbe
    Aug 21 at 13:02







  • 3




    The required function is $f(x)=log(x+1)$ and its positive multiples based on hint by @InterstellarProbe.
    – Ashar Tafhim
    Aug 21 at 13:09













  • 2




    To rewrite: $$a+1<(b+1)^2 Longrightarrow f(a)<2f(b)$$ seems a bit easier to work with than the original condition.
    – InterstellarProbe
    Aug 21 at 12:49






  • 7




    And what about f(x)=1?
    – F.Carette
    Aug 21 at 12:49






  • 2




    My guess: $$f(x) = dfrac12clog x$$ or something similar
    – InterstellarProbe
    Aug 21 at 12:57







  • 2




    Ah, good point. But, I think that is a function that satisfies that $f(x^2) = 2f(x)$, which is close to the your condition that $a+1=(b+1)^2 Longrightarrow f(a)=2f(b)$. So, any function that does satisfy is going to be close to a logarithmic function. And if that is positive on $(1,infty)$, then it will not be positive on $(0,1]$.
    – InterstellarProbe
    Aug 21 at 13:02







  • 3




    The required function is $f(x)=log(x+1)$ and its positive multiples based on hint by @InterstellarProbe.
    – Ashar Tafhim
    Aug 21 at 13:09








2




2




To rewrite: $$a+1<(b+1)^2 Longrightarrow f(a)<2f(b)$$ seems a bit easier to work with than the original condition.
– InterstellarProbe
Aug 21 at 12:49




To rewrite: $$a+1<(b+1)^2 Longrightarrow f(a)<2f(b)$$ seems a bit easier to work with than the original condition.
– InterstellarProbe
Aug 21 at 12:49




7




7




And what about f(x)=1?
– F.Carette
Aug 21 at 12:49




And what about f(x)=1?
– F.Carette
Aug 21 at 12:49




2




2




My guess: $$f(x) = dfrac12clog x$$ or something similar
– InterstellarProbe
Aug 21 at 12:57





My guess: $$f(x) = dfrac12clog x$$ or something similar
– InterstellarProbe
Aug 21 at 12:57





2




2




Ah, good point. But, I think that is a function that satisfies that $f(x^2) = 2f(x)$, which is close to the your condition that $a+1=(b+1)^2 Longrightarrow f(a)=2f(b)$. So, any function that does satisfy is going to be close to a logarithmic function. And if that is positive on $(1,infty)$, then it will not be positive on $(0,1]$.
– InterstellarProbe
Aug 21 at 13:02





Ah, good point. But, I think that is a function that satisfies that $f(x^2) = 2f(x)$, which is close to the your condition that $a+1=(b+1)^2 Longrightarrow f(a)=2f(b)$. So, any function that does satisfy is going to be close to a logarithmic function. And if that is positive on $(1,infty)$, then it will not be positive on $(0,1]$.
– InterstellarProbe
Aug 21 at 13:02





3




3




The required function is $f(x)=log(x+1)$ and its positive multiples based on hint by @InterstellarProbe.
– Ashar Tafhim
Aug 21 at 13:09





The required function is $f(x)=log(x+1)$ and its positive multiples based on hint by @InterstellarProbe.
– Ashar Tafhim
Aug 21 at 13:09











1 Answer
1






active

oldest

votes

















up vote
2
down vote



accepted










Let $g:mathbbR_>1tomathbbR_>0$ be defined by $g(x):=f(x-1)$ for all $x>1$. Thus, if $a,b>0$ satisfies $a<b(b+2)$, or equivalently, $(a+1)<(b+1)^2$, then
$$g(a+1)=f(a) < 2,f(b)=2,g(b+1),.$$
If $a=b(b+2)$, which is the same as $(a+1)=(b+1)^2$, then
$$g(a+1)=f(a)=2,f(b)=2,g(b+1),.$$
Thus, if $h:mathbbRtomathbbR$ is given by $$h(t):=dfraclnBig(gbig(exp(2^t)big)Big)ln(2)text for all tinmathbbR,,$$
then
$$h(t+1)=h(t)+1text for all tinmathbbR,.tag*$$
That is,
$$f(x)=2^hleft(fraclnbig(ln(x+1)big)ln(2)right)text for all x>0tag#,.$$



In other words, you can start with any continuous function $h:mathbbRtomathbbR$ that satisfies (*). Then, any such a function $f:mathbbR_>0tomathbbR_>0$ must take the form (#). In particular, if $h(t)=t+ln(c)$ for all $tinmathbbR$ and for a fixed $c>0$, then
$$f(x)=c,ln(x+1)text for all x>0,.$$
There are, however, infinitely many other solutions. For example, we can take $$h(t)=t+p(t)text for all tinmathbbR,,$$
where $p:mathbbRtomathbbR$ is an arbitrary continuous periodic function with period $1$. Then,
$$f(x)=2^pleft(fraclnbig(ln(x+1)big)ln(2)right),ln(x+1)text for all x>0,.$$
For example, one can take $p(t)$ to be any function in the $mathbbR$-span of
$$1,sin(2pi t),cos(2pi t),sin(4pi t),cos(4pi t),sin(6pi t),cos(6pi t),ldots,.$$
The only thing you may have to worry about is that $h$ should be a strictly increasing function. However, that can be easily fixed by demanding that $p(t)$ be continuously differentiable almost everywhere with $p'(t)>-1$ for almost every $tin[0,1)$ (this extra condition will remove some viable choices of $p$, though). That is, something like $$p(t)=fraccos(2pi t)2pitext for all tinmathbbR$$
will also work.






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%2f2889818%2fabb2-then-fa-2fb%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
    2
    down vote



    accepted










    Let $g:mathbbR_>1tomathbbR_>0$ be defined by $g(x):=f(x-1)$ for all $x>1$. Thus, if $a,b>0$ satisfies $a<b(b+2)$, or equivalently, $(a+1)<(b+1)^2$, then
    $$g(a+1)=f(a) < 2,f(b)=2,g(b+1),.$$
    If $a=b(b+2)$, which is the same as $(a+1)=(b+1)^2$, then
    $$g(a+1)=f(a)=2,f(b)=2,g(b+1),.$$
    Thus, if $h:mathbbRtomathbbR$ is given by $$h(t):=dfraclnBig(gbig(exp(2^t)big)Big)ln(2)text for all tinmathbbR,,$$
    then
    $$h(t+1)=h(t)+1text for all tinmathbbR,.tag*$$
    That is,
    $$f(x)=2^hleft(fraclnbig(ln(x+1)big)ln(2)right)text for all x>0tag#,.$$



    In other words, you can start with any continuous function $h:mathbbRtomathbbR$ that satisfies (*). Then, any such a function $f:mathbbR_>0tomathbbR_>0$ must take the form (#). In particular, if $h(t)=t+ln(c)$ for all $tinmathbbR$ and for a fixed $c>0$, then
    $$f(x)=c,ln(x+1)text for all x>0,.$$
    There are, however, infinitely many other solutions. For example, we can take $$h(t)=t+p(t)text for all tinmathbbR,,$$
    where $p:mathbbRtomathbbR$ is an arbitrary continuous periodic function with period $1$. Then,
    $$f(x)=2^pleft(fraclnbig(ln(x+1)big)ln(2)right),ln(x+1)text for all x>0,.$$
    For example, one can take $p(t)$ to be any function in the $mathbbR$-span of
    $$1,sin(2pi t),cos(2pi t),sin(4pi t),cos(4pi t),sin(6pi t),cos(6pi t),ldots,.$$
    The only thing you may have to worry about is that $h$ should be a strictly increasing function. However, that can be easily fixed by demanding that $p(t)$ be continuously differentiable almost everywhere with $p'(t)>-1$ for almost every $tin[0,1)$ (this extra condition will remove some viable choices of $p$, though). That is, something like $$p(t)=fraccos(2pi t)2pitext for all tinmathbbR$$
    will also work.






    share|cite|improve this answer


























      up vote
      2
      down vote



      accepted










      Let $g:mathbbR_>1tomathbbR_>0$ be defined by $g(x):=f(x-1)$ for all $x>1$. Thus, if $a,b>0$ satisfies $a<b(b+2)$, or equivalently, $(a+1)<(b+1)^2$, then
      $$g(a+1)=f(a) < 2,f(b)=2,g(b+1),.$$
      If $a=b(b+2)$, which is the same as $(a+1)=(b+1)^2$, then
      $$g(a+1)=f(a)=2,f(b)=2,g(b+1),.$$
      Thus, if $h:mathbbRtomathbbR$ is given by $$h(t):=dfraclnBig(gbig(exp(2^t)big)Big)ln(2)text for all tinmathbbR,,$$
      then
      $$h(t+1)=h(t)+1text for all tinmathbbR,.tag*$$
      That is,
      $$f(x)=2^hleft(fraclnbig(ln(x+1)big)ln(2)right)text for all x>0tag#,.$$



      In other words, you can start with any continuous function $h:mathbbRtomathbbR$ that satisfies (*). Then, any such a function $f:mathbbR_>0tomathbbR_>0$ must take the form (#). In particular, if $h(t)=t+ln(c)$ for all $tinmathbbR$ and for a fixed $c>0$, then
      $$f(x)=c,ln(x+1)text for all x>0,.$$
      There are, however, infinitely many other solutions. For example, we can take $$h(t)=t+p(t)text for all tinmathbbR,,$$
      where $p:mathbbRtomathbbR$ is an arbitrary continuous periodic function with period $1$. Then,
      $$f(x)=2^pleft(fraclnbig(ln(x+1)big)ln(2)right),ln(x+1)text for all x>0,.$$
      For example, one can take $p(t)$ to be any function in the $mathbbR$-span of
      $$1,sin(2pi t),cos(2pi t),sin(4pi t),cos(4pi t),sin(6pi t),cos(6pi t),ldots,.$$
      The only thing you may have to worry about is that $h$ should be a strictly increasing function. However, that can be easily fixed by demanding that $p(t)$ be continuously differentiable almost everywhere with $p'(t)>-1$ for almost every $tin[0,1)$ (this extra condition will remove some viable choices of $p$, though). That is, something like $$p(t)=fraccos(2pi t)2pitext for all tinmathbbR$$
      will also work.






      share|cite|improve this answer
























        up vote
        2
        down vote



        accepted







        up vote
        2
        down vote



        accepted






        Let $g:mathbbR_>1tomathbbR_>0$ be defined by $g(x):=f(x-1)$ for all $x>1$. Thus, if $a,b>0$ satisfies $a<b(b+2)$, or equivalently, $(a+1)<(b+1)^2$, then
        $$g(a+1)=f(a) < 2,f(b)=2,g(b+1),.$$
        If $a=b(b+2)$, which is the same as $(a+1)=(b+1)^2$, then
        $$g(a+1)=f(a)=2,f(b)=2,g(b+1),.$$
        Thus, if $h:mathbbRtomathbbR$ is given by $$h(t):=dfraclnBig(gbig(exp(2^t)big)Big)ln(2)text for all tinmathbbR,,$$
        then
        $$h(t+1)=h(t)+1text for all tinmathbbR,.tag*$$
        That is,
        $$f(x)=2^hleft(fraclnbig(ln(x+1)big)ln(2)right)text for all x>0tag#,.$$



        In other words, you can start with any continuous function $h:mathbbRtomathbbR$ that satisfies (*). Then, any such a function $f:mathbbR_>0tomathbbR_>0$ must take the form (#). In particular, if $h(t)=t+ln(c)$ for all $tinmathbbR$ and for a fixed $c>0$, then
        $$f(x)=c,ln(x+1)text for all x>0,.$$
        There are, however, infinitely many other solutions. For example, we can take $$h(t)=t+p(t)text for all tinmathbbR,,$$
        where $p:mathbbRtomathbbR$ is an arbitrary continuous periodic function with period $1$. Then,
        $$f(x)=2^pleft(fraclnbig(ln(x+1)big)ln(2)right),ln(x+1)text for all x>0,.$$
        For example, one can take $p(t)$ to be any function in the $mathbbR$-span of
        $$1,sin(2pi t),cos(2pi t),sin(4pi t),cos(4pi t),sin(6pi t),cos(6pi t),ldots,.$$
        The only thing you may have to worry about is that $h$ should be a strictly increasing function. However, that can be easily fixed by demanding that $p(t)$ be continuously differentiable almost everywhere with $p'(t)>-1$ for almost every $tin[0,1)$ (this extra condition will remove some viable choices of $p$, though). That is, something like $$p(t)=fraccos(2pi t)2pitext for all tinmathbbR$$
        will also work.






        share|cite|improve this answer














        Let $g:mathbbR_>1tomathbbR_>0$ be defined by $g(x):=f(x-1)$ for all $x>1$. Thus, if $a,b>0$ satisfies $a<b(b+2)$, or equivalently, $(a+1)<(b+1)^2$, then
        $$g(a+1)=f(a) < 2,f(b)=2,g(b+1),.$$
        If $a=b(b+2)$, which is the same as $(a+1)=(b+1)^2$, then
        $$g(a+1)=f(a)=2,f(b)=2,g(b+1),.$$
        Thus, if $h:mathbbRtomathbbR$ is given by $$h(t):=dfraclnBig(gbig(exp(2^t)big)Big)ln(2)text for all tinmathbbR,,$$
        then
        $$h(t+1)=h(t)+1text for all tinmathbbR,.tag*$$
        That is,
        $$f(x)=2^hleft(fraclnbig(ln(x+1)big)ln(2)right)text for all x>0tag#,.$$



        In other words, you can start with any continuous function $h:mathbbRtomathbbR$ that satisfies (*). Then, any such a function $f:mathbbR_>0tomathbbR_>0$ must take the form (#). In particular, if $h(t)=t+ln(c)$ for all $tinmathbbR$ and for a fixed $c>0$, then
        $$f(x)=c,ln(x+1)text for all x>0,.$$
        There are, however, infinitely many other solutions. For example, we can take $$h(t)=t+p(t)text for all tinmathbbR,,$$
        where $p:mathbbRtomathbbR$ is an arbitrary continuous periodic function with period $1$. Then,
        $$f(x)=2^pleft(fraclnbig(ln(x+1)big)ln(2)right),ln(x+1)text for all x>0,.$$
        For example, one can take $p(t)$ to be any function in the $mathbbR$-span of
        $$1,sin(2pi t),cos(2pi t),sin(4pi t),cos(4pi t),sin(6pi t),cos(6pi t),ldots,.$$
        The only thing you may have to worry about is that $h$ should be a strictly increasing function. However, that can be easily fixed by demanding that $p(t)$ be continuously differentiable almost everywhere with $p'(t)>-1$ for almost every $tin[0,1)$ (this extra condition will remove some viable choices of $p$, though). That is, something like $$p(t)=fraccos(2pi t)2pitext for all tinmathbbR$$
        will also work.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Aug 21 at 13:50

























        answered Aug 21 at 13:37









        Batominovski

        24.6k22881




        24.6k22881






















             

            draft saved


            draft discarded


























             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2889818%2fabb2-then-fa-2fb%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?