Bourbaki

Exercise 39, § 1

Functions of a Real Variable, III, 124

Let mm be a convex function on [0,+∞[[0, +\infty[ such that m(0)=0m(0) = 0, and pp a number such that −1<p<+∞-1 < p < +\infty. Show that the integral ∫0+∞xpexp⁡(−m′(x))dx\int_0^{+\infty} x^p \exp(-m'(x)) dx is convergent, as is the integral ∫0+∞xpexp⁡(−m(x)/x)dx\int_0^{+\infty} x^p \exp(-m(x)/x) dx, and that

∫0+∞xpexp⁡(−m(x)/x)dx≤ep+1∫0+∞xpexp⁡(−m′(x))dx. \int_0^{+\infty} x^p \exp(-m(x)/x) dx \leq e^{p+1} \int_0^{+\infty} x^p \exp(-m'(x)) dx.

(For k>1k > 1 and A>0A > 0 note that m(kx)≥m(x)+(k−1)x mr′(x)m(kx) \geq m(x) + (k - 1)x\ m'_r(x), and deduce the inequality

k−p−1∫0kAxpexp⁡(−m(x)/x) dx≤∫0Axpexp⁡(−m(x)kx−k−1k mr′(x)) dx. k^{-p-1} \int_0^{kA} x^p \exp(-m(x)/x)\ dx \leq \int_0^A x^p \exp\left(-\frac{m(x)}{kx} - \frac{k-1}{k}\ m'_r(x)\right)\ dx.
Estimate the second integral with the help of Hölder’s Inequality (III, p. 115, exerc. 3) then let AA tend to +∞+\infty and kk tend to 1.)

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.