Velvet Star Monitor

Standout celebrity highlights with iconic style.

news

Defintion of strictly concave

Writer Andrew Henderson
$\begingroup$

How do I show that if a function satisfies

$f(\alpha x + (1-\alpha)y) > \alpha f(x) + (1-\alpha)f(y)$ with $0 < \alpha < 1$,

it is true that (assuming it exists) the second derivative

$f''(x) < 0$.

I can see this is true visually in a graph but a more rigourous proof is elusive.

EDIT: I see a counterexample in the comment. I have now corrected the errors in my question (mixed up strictly concave and concave) and broadly ask about when I can use the second derivative to prove concavity (as is done to show $\log(x)$ is concave for instance) and how the equivalence is shown in these cases.

$\endgroup$ 3

1 Answer

$\begingroup$

Yes if we assume that $f''(x) < 0$ esists then $f(x)$ is strictly concave but if $f(x)$ is strictly concave we can also have $f''(x) \le 0$ with $f''(x)=0$ is some points (not on an interval) as for example $f(x)=-x^4$.

For the proof the idea behind is to show that

  • $f''(x)<0 \implies f'(x)$ strictly decreasing $\iff f(x)$ strictly concave

  • $f(x)$ concave$ \iff f'(x)$ decreasing $\iff f''(x)\le0$

$\endgroup$ 3

Your Answer

Sign up or log in

Sign up using Google Sign up using Facebook Sign up using Email and Password

Post as a guest

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy