Bourbaki

Exercise 16, § 4

Functions of a Real Variable, I, p. 53

It is set in small type as supplementary.

Let ff be a positive convex function in ]0,+∞[]0, +\infty[, aa and bb two arbitrary real numbers. Now prove that the function xaf(x−b)x^a f(x^{-b}) is convex in ]0,+∞[]0, +\infty[, in the following cases: 1° a=12(b+1)a = \frac{1}{2}(b+1), ∣b∣⩾1|b| \geqslant 1, 2° xaf(x−b)x^a f(x^{-b}) increasing, a(b−a)⩾0a(b-a) \geqslant 0, a⩾12(b+1)a \geqslant \frac{1}{2}(b+1); 3° xaf(x−b)x^a f(x^{-b}) decreasing, a(b−a)⩾0a(b-a) \geqslant 0, a⩽12(b+1)a \leqslant \frac{1}{2}(b+1). Under the same hypotheses on ff, now prove that ex/2f(e−x)e^{x/2} f(e^{-x}) is convex (use Ex. 2 of I, p. 51). \*

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.