Bourbaki

Exercise 11, § 4

Functions of a Real Variable, I, p. 52

Bourbaki marks this one as harder than the rest.

Soit ff a continuous function in an open interval I⊂RI \subset \mathbf{R}, admitting at every point of II a finite right derivative. If, for all x∈Ix \in I and all y∈Iy \in I such that y>xy > x, the point My=(y,f(y))M_y = (y, f(y)) is above the right half-tangent at the point Mx=(x,f(x))M_x = (x, f(x)) of the graph of ff, now prove that ff is convex in II (using the theorem of finite increments, show that one has fd′(y)⩾f(y)−f(x)y−xf'_d(y) \geqslant \frac{f(y) - f(x)}{y-x} for x<yx < y).

Give an example of a non-convex function, having at every point a finite right derivative, and such that for every x∈Ix \in I, there exists a number hx>0h_x > 0 depending on xx, such that MyM_y is above the right half-tangent at the point MxM_x for every yy such that x⩽y⩽x+hxx \leqslant y \leqslant x + h_x. This last condition is nevertheless sufficient for ff to be convex, if one supposes in addition that ff is differentiable in II (use I, p. 20, corollary).

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.