4
$\begingroup$

I need to show that if $f: (a,b) \to \mathbb{ R }\text{ with}\;\; f''( x ) \geq 0$ for all $x \in (a,b)$, then $f\left( \frac{ x + y }{ 2 } \right) \leq \frac{ f( x ) + f( y ) }{ 2 }$.

I know that since $f''( x ) \geq 0$, then $f'(x)$ is monotone increasing. I'm not really sure where to go from here.

6 Answers 6

3

Hint: Use this fact that if $f$ is differentiable in $I=(a,b)$ then it is concave upward on $I$ iff $$f(x)<\frac{x_2-x}{x_2-x_1}f(x_1)+\frac{x-x_1}{x_2-x_1}f(x_2)$$ for all $x_1,x,x_2$ in tne interval $I$ asuch that $x_1

2

Assume there would be any $x,y$ with $x\lt y$ and $f\left(\frac{x+y}{2}\right) \gt \frac{f(x)+f(y)}{2}$ then follows

$$f\left(\frac{x+y}{2}\right) \gt \frac{f(x)+f(y)}{2}\Rightarrow \frac{f\left(\frac{x+y}{2}\right)-f(x)}{\frac{x+y}{2}-x} \gt \frac{f(y)-f\left(\frac{x+y}{2}\right)}{y-\frac{x+y}{2}}$$

Applying mean valuee theorem on this twice will give you a value $w$ with $f''(w)\lt0$ which stands in conflict to $f''(x)\ge0\, \forall x$

  • 0
    Very Nice point of view .+12012-12-01
1

Since the second derivative is positive, this implies that the $f$ is convex. So, just apply the finite form of Jensen's inequality with weights 1/2 to get the desired result.

  • 0
    Yes, but how does one prove the first sentence?2012-12-01
  • 0
    I guess that this all depends on how one defines convexity to start with. For differentiable functions, convexity could be defined as a property when the second derivative is positive.2012-12-01
1

You're right to observe that $f'(x)$ is monotone increasing, and in particular, this implies $f(x_1)\leq f(x_2$ for $x_1

1

Since $f''(x) \geq 0$, $f'(x)$ is monotone increasing (as you already observed). Let $x, y \in (a, b)$ and WLOG $x < y$. Therefore, $x < \frac{x + y}{2} < y$. Now, applying MVT in $\left(x, \frac{x+y}{2}\right)$ and $\left(\frac{x + y}{2}, y\right)$, we get $$ f'(c_1) = \frac{f\left(\frac{x + y}{2}\right) - f(x)}{\frac{y - x}{2}}\\ f'(c_2) = \frac{f(y) - f\left(\frac{x + y}{2}\right)}{\frac{y - x}{2}} $$ for some $c_1 \in \left(x, \frac{x+y}{2}\right)$ and some $c_2 \in \left(\frac{x + y}{2}, y\right)$.

Now $c_1 \leq c_2$, therefore $f'(c_1) \leq f'(c_2)$. This implies, $$ \frac{f\left(\frac{x + y}{2}\right) - f(x)}{\frac{y - x}{2}} \leq \frac{f(y) - f\left(\frac{x + y}{2}\right)}{\frac{y - x}{2}} \\ f\left(\frac{x + y}{2}\right) \leq \frac{f(x) + f(y)}{2} $$

0

I would say: USE THE MEAN VALUE THEOREM. (Yes, I'm shouting.)

First, if $a

Now let $a