http://en.wikipedia.org/wiki/List_of_geography_topics
A proof of Jensen's inequality can be provided in several ways. Here three different proves are given, each proof beeing related to the three different statements above (the finite form, the inequality in measure-theoretic terminology, and the general inequality in probabilistic notation). The first one is obtained by proving the finite form of the inequality first, and then using a density argument; this proof should clear out how is the inequality derived. The second one is the most common proof of Jensen's inequality, and uses some basic ideas of nonsmooth analysis. The third one is just a generalization of the second one, that provides a proof of the general statement for vector--valued random variables. This last proof is the more compact, even if requires a more advanced mathematical level.
If
are two arbitrary positive real numbers such that
, then convexity of
implies
for any
. This can be easily generalized: if
are n positive real numbers such that
, then
,
for any
. This finite form of the Jensen's inequality can be proved by induction: by convexity hypotheses, the statement is true for
. Suppose it is true also for some n, one needs to prove it for n+1. At least one of the
is strictly positive, say
; therefore by convexity inequality:
.
Since
, one can apply the induction hypotheses to the last term in the previous formula to obtain the result, namely the finite form of the Jensen's inequality.
In order to obtain the general inequality from this finite form, one needs to use a density argument. The finite form can be re-written as:
,
where
is a measure given by an arbitrary convex combination of Dirac deltas:
.
Since convex functions are continuous, and since convex combinations of Dirac deltas are weakly dense in the set of probability measures (as could be easily verified), the general statement is obtained simply by a limiting procedure.
Proof 2 (measure theoretic notation)
[edit]
Let g be a real-valued μ-integrable function on a measure space Ω, and let φ be a convex function on the real numbers. Define the right-handed derivative of φ at x as
![{\displaystyle \varphi ^{\prime }(x):=\lim _{t\to 0^{-}}{\frac {\varphi (x+t)-\varphi (x)}{t}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f6e5d6e69a155ba3843230677d86a475d9c0617)
Since φ is convex, the quotient of the right-hand side is decreasing when t approaches 0 from the right, and bounded below by any term of the form
![{\displaystyle {\frac {\varphi (x+t)-\varphi (x)}{t}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5223d7fa95d43e92147802761db491e369f7d956)
where t < 0, and therefore, the limit does always exist.
Now, let us define the following:
![{\displaystyle x_{0}:=\int _{\Omega }g\,d\mu ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/494e808cd17177c19fc37cb203b4a947f73dfa08)
![{\displaystyle a:=\varphi ^{\prime }(x_{0}),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d80d3d5c0322909abc702160552394a08c4652e)
![{\displaystyle b:=\varphi (x_{0})-x_{0}\varphi ^{\prime }(x_{0}).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d4a3b3502e52bbf1d0e1c9f55c481a35990c292)
Then for all x,
. To see that, take x>x0, and define t = x − x0 > 0. Then,
![{\displaystyle \varphi ^{\prime }(x_{0})\leq {\frac {\varphi (x_{0}+t)-\varphi (x_{0})}{t}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca01bc8512a9f6e0081bfdd181b820d304a98796)
Therefore,
![{\displaystyle \varphi ^{\prime }(x_{0})(x-x_{0})+\varphi (x_{0})\leq \varphi (x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d83b7eca3b29ff934a65803045a1d691f14ac9a)
as desired. The case for x < x0 is proven similarly, and clearly
.
φ(x0) can then be rewritten as
![{\displaystyle ax_{0}+b=a\left(\int _{\Omega }g\,d\mu \right)+b.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4c9233ddd915e9c3a463cadac81a958a2b1b7a7)
But since μ(Ω) = 1, then for every real number k we have
![{\displaystyle \int _{\Omega }k\,d\mu =k.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53eb57e4fd0f4aaa13477fdf9d61b125bc0ef1b1)
In particular,
![{\displaystyle a\left(\int _{\Omega }g\,d\mu \right)+b=\int _{\Omega }(ag+b)\,d\mu \leq \int _{\Omega }\varphi \circ g\,d\mu .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e4b2c4a1ce35d0d4337f4535994dcbbd208423f)
Proof 3 (general inequality in probabilistic notation)
[edit]
Let
be a random variable that takes value in a real topological vector space T. Since
is convex, for any
, the quantity
,
is decreasing as θ approaches 0. In particular, it is well defined the subdifferential of
evaluated at
in the direction
, defined by:
.
It is easily seen that the subdifferential is linear in
, and since the infimum taken in the right-hand side of the previous formula is smaller than the value of the same term for
one gets:
.
In particular, for an arbitrary sub-σ-algebra
we can evaluate the last inequality when
to obtain:
.
Now, if we take the expectation conditioned to
on both sides of the previous expression, we get the result since:
,
by the linearity of the subdifferential in the
variable, and well-known properties of the conditional expectation.