aboutsummaryrefslogtreecommitdiff
path: root/zhilova/08_jensen
blob: 20a81581f7d5df13d2ee543f995454be7dc2273a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
Definition: A fn. f : R -> R is called convex on an interval (a,b) if
f(cx + dy) \leq cf(x) + df(y)
\forall x, y \in (a, b)
\forall c \in (0, 1), d = 1-c.
Concave is -convex.

Essentially stating that the function lies on or below a line segment
connecting f(a) and f(b) [or above in the case of concave].

Strictly convex: f(cx+dy) < cf(x) + df(y).

    Jensen's Inequality
X - r.v., E|X| < infty. E|f(x)| < infty.
    f(E X) \leq E(f(x)).
If f is strictly convex, \leq -> "less than" unless X is a constant r.v.

Further theorems:
(1) If f is differentiable on (a,b),
f is convex <=> f' is nondecreasing on (a,b).
f is strictly convex <=> f' is strictly increasing on (a,b)
(2) If f is twice differentiable on (a,b)
f is convex <=> f'' \geq 0 on (a,b)
f is strictly convex <=> f'' > 0 on (a,b)