$a<b(b+2)$ then $f(a)< 2f(b).$
Clash Royale CLAN TAG#URR8PPP
up vote
6
down vote
favorite
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.
real-analysis linear-algebra functional-analysis analysis elementary-number-theory
 |Â
show 10 more comments
up vote
6
down vote
favorite
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.
real-analysis linear-algebra functional-analysis analysis elementary-number-theory
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
 |Â
show 10 more comments
up vote
6
down vote
favorite
up vote
6
down vote
favorite
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.
real-analysis linear-algebra functional-analysis analysis elementary-number-theory
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.
real-analysis linear-algebra functional-analysis analysis elementary-number-theory
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
 |Â
show 10 more comments
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
 |Â
show 10 more comments
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.
add a comment |Â
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.
add a comment |Â
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.
add a comment |Â
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.
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.
edited Aug 21 at 13:50
answered Aug 21 at 13:37
Batominovski
24.6k22881
24.6k22881
add a comment |Â
add a comment |Â
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
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
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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