Bourbaki

Exercise 22, § 4

Functions of a Real Variable, I, p. 53

Let f1,…,fnf_1, \ldots, f_n be continuous convex functions in a compact interval I⊂RI \subset \mathbf{R}; suppose that for every x∈Ix \in I, one has sup⁡(fj(x))⩾0\sup (f_j(x)) \geqslant 0. Now prove that there exist nn numbers αj⩾0\alpha_j \geqslant 0 such that ∑j=1nαj=1\sum_{j=1}^n \alpha_j = 1 and that one has ∑j=1nαjfj(x)⩾0\sum_{j=1}^n \alpha_j f_j(x) \geqslant 0 in II. (First treat the case n=2n = 2 by considering a point x0x_0 where the upper envelope sup⁡(f1,f2)\sup(f_1, f_2) attains its minimum; when x0x_0 is interior to II, determine α1\alpha_1 in such a way that the left derivative of α1f1+(1−α1)f2\alpha_1 f_1 + (1-\alpha_1) f_2 at the point x0x_0 is zero. Pass from there to the general case by reasoning by induction on nn; use the induction hypothesis for the restrictions of f1,…,fn−1f_1, \ldots, f_{n-1} to the compact interval where fn(x)⩽0f_n(x) \leqslant 0.)

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6. Not checked by a person.