4
$\begingroup$

This appeared in an exam I took.

The question asked us to give an example of a convex function $g: \mathbb{R} \longmapsto \mathbb{R}$ and a measure $\mu$ on $\left(\mathbb{R}, \mathscr{B}(\mathbb{R})\right)$ such that $g\left(\int x \, d\mu(x)\right) > \int g(x)\, d\mu(x)$.

I am assuming that such an example can be constructed by violating the finiteness of the measure, but I have no idea how I would construct such an example. I guess the Lebesgue measure can be used, but am having trouble finding a function that is convex and gives this result.

  • 0
    A probability measure or an ordinary un-normalized measure?2011-11-07
  • 0
    So, Jensen's inequality will always hold for finite measures like probability measures. I think I will need to use un-normalised measures for this.2011-11-07
  • 2
    I'm not sure this is what you're looking for but $$\exp\left(\int_0^2 x \, dx\right) = e^2 > \int_0^2 e^x \, dx = e^2 - 1$$2011-11-07
  • 0
    That certainly seems to work. I wonder which of the requirements of Jensen's inequality it violates.2011-11-07
  • 0
    I think Jensen's inequality needs a probability measure in order for the formula in your question to hold (with the inequaltiy reversed). There is a version for other finite measures. See, e.g., http://en.wikipedia.org/wiki/Jensen's_inequality2011-11-07
  • 0
    @FgNu : The measure on the whole space does not add up to 1 : $\int_0^2 dx = 2 \ne 1$.2011-11-07
  • 0
    @JoelCohen: Thanks, I was under the impression that Jensen's inequality had the same form for all finite measures. If you make your reply an answer, I will mark it.2011-11-07
  • 1
    @Joel: For an even simpler example, just use $g(x)\equiv1$. Then,$$g\left(\int_0^\frac12x\,dx\right)=1 > \frac12=\int_0^\frac12g(x)\,dx.$$2011-11-07

1 Answers 1

5

For Jensen's inequality to hold, you need $\mu$ to be a probability measure (for other finite measures, you can obtain a rescaled version). To see that it does not hold if you remove this hypothesis, consider for example (almost any example will do)

$$\exp\left(\int_0^2 x \, dx\right) = e^2 > \int_0^2 e^x \, dx = e^2 - 1$$

However, we can rescale the measure to get a modified version of Jensen's inequality. Indeed, since $\int_0^2 f(x) \, dx = \int_0^1 2 f(2u) \, du$, we get

$$\exp\left(\int_0^2 x \, dx\right) = \exp\left(\int_0^1 (4u) \, du\right) \le \int_0^1 e^{4u} \, du = \int_0^2 \frac{e^{2x}}{2} \, dx$$