An inequality on concave functions - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T11:48:57Z http://mathoverflow.net/feeds/question/66361 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/66361/an-inequality-on-concave-functions An inequality on concave functions wmmiao 2011-05-29T13:13:44Z 2011-07-23T22:28:24Z <p>Could somebody help me to answer the following question?</p> <p>Let $f:R_+ \rightarrow R_+$ be a nonindentically zero, nondecreasing, continuous, concave function with $f(0)=0$. Do we have that for any $s,t \in [0,1]$,</p> <p>$$f(x)f(stx)\leq f(sx)f(tx), \quad \forall x \geq 0.$$</p> <p>or equivalently, do we have that for any $t\in (0,1)$, $\frac{f(x)}{f(tx)}$ is nonincreasing on $x >0$.</p> <p>Thanks!</p> http://mathoverflow.net/questions/66361/an-inequality-on-concave-functions/66369#66369 Answer by wmmiao for An inequality on concave functions wmmiao 2011-05-29T15:09:16Z 2011-05-29T15:09:16Z <p>I just got the proof by myself.</p> <p>Without loss of generality, we assume $f$ is continuously differentiable. Otherwise, one can use the smoothing technique.</p> <p>Notice that $$\left(\frac{f(x)}{f(tx)}\right)' = \frac{f'(x)f(tx)-tf(x)f'(tx)}{f^2(tx)}.$$ We only need to show $$\frac{f'(x)}{f(x)} \leq \frac{tf'(tx)}{f(tx)},$$ which is just $$[(\log\circ f)(x)]'\leq [(\log \circ f)(tx)]'.$$ Thus, we only need to show the composition $\log\circ f$ is concave. This is true since $f$ is concave and positive for $x>0$. Thus we complete the proof.</p> http://mathoverflow.net/questions/66361/an-inequality-on-concave-functions/66387#66387 Answer by Elias Pipping for An inequality on concave functions Elias Pipping 2011-05-29T18:37:05Z 2011-05-29T18:37:05Z <p>That $\log \circ f$ is concave follows from concavity of $\log$ and $f$ because $f$ is <strong>non-decreasing</strong>. I do not see how you could put positivity to use here.</p> http://mathoverflow.net/questions/66361/an-inequality-on-concave-functions/66646#66646 Answer by Elias Pipping for An inequality on concave functions Elias Pipping 2011-06-01T10:35:15Z 2011-06-01T10:35:15Z <p>We want $$f(x)f(stx)\le f(sx)f(tx)$$ for concave non-decreasing functions with $f(0) = 0$. Since we require this for every $x$ and $f$ we can assume $x = 1$, because our claim is invariant w.r.t scaling in the argument. That means $$f(1)f(st)\le f(s)f(t)$$ Now we're looking at a function $f \colon [0,1] \to \mathbb R^+$ that is continuous, thus bounded; without loss of generality again $f(1) = 1$ because our claim is invariant w.r.t scaling again (let's leave the case $f(1) = 0$ aside for a second). So we're looking at $$f(st)\le f(s)f(t)$$ for a concave non-decreasing function $f \colon [0,1] \to [0,1]$ with $f(1) = 1$.</p> <p>Maybe this gets us any further?</p> http://mathoverflow.net/questions/66361/an-inequality-on-concave-functions/66651#66651 Answer by Mikael de la Salle for An inequality on concave functions Mikael de la Salle 2011-06-01T11:56:58Z 2011-06-01T11:56:58Z <p>The answer is no. </p> <p>For a counter-example, consider the piecewise affine function defined by $f(x)=x$ for $0 \leq x \leq 1$ and $f(x)=(x+1)/2$ for $x>1$. Take $x=4$, $s=t=1/2$. Then $f(x) f(stx)= 2.5$ and $f(sx)f(tx)=2.25$.</p> http://mathoverflow.net/questions/66361/an-inequality-on-concave-functions/71091#71091 Answer by Kenneth Hung for An inequality on concave functions Kenneth Hung 2011-07-23T22:28:24Z 2011-07-23T22:28:24Z <p>The answer is no.</p> <p>Mikael de la Salle has given a counterexample. In a more general setting, the necessary and sufficient condition for the inequality to hold is $g = \log \circ f \circ \exp$ is concave. The inequality can be rewritten into $g(y) + g(a + b + u) \le g(a + y) + g(b + y)$, where $y = \log x$, $a = \log s \le 0$ and $b = \log t \le 0$. This is precisely the necessary and sufficient condition for concavity of $\log \circ f \circ \exp$, which is certainly not the same as concavity of $f$.</p>