Let m be a convex function on [0,+∞[ such that m(0)=0, and p a number such that −1<p<+∞. Show that the integral ∫0+∞xpexp(−m′(x))dx is convergent, as is the integral ∫0+∞xpexp(−m(x)/x)dx, and that
∫0+∞xpexp(−m(x)/x)dx≤ep+1∫0+∞xpexp(−m′(x))dx.
(For k>1 and A>0 note that m(kx)≥m(x)+(k−1)x mr′(x), and deduce the inequality
k−p−1∫0kAxpexp(−m(x)/x) dx≤∫0Axpexp(−kxm(x)−kk−1 mr′(x)) dx. Estimate the second integral with the help of Hölder’s Inequality (III, p. 115, exerc. 3) then let
A tend to
+∞ and
k tend to 1.)