aboutsummaryrefslogtreecommitdiff
path: root/zhilova/08_jensen
diff options
context:
space:
mode:
authorHolden Rohrer <hr@hrhr.dev>2021-09-21 17:12:46 -0400
committerHolden Rohrer <hr@hrhr.dev>2021-09-21 17:12:46 -0400
commit32f4af5f369fa9f0b2988ecad7797f4bec3661c3 (patch)
tree7ce1c56011914681d6e2ffb5737dcdf1078d3930 /zhilova/08_jensen
parentb8433c9909bc5d29df16fd3011251a0a214d2b1a (diff)
notes and homework
Diffstat (limited to 'zhilova/08_jensen')
-rw-r--r--zhilova/08_jensen23
1 files changed, 23 insertions, 0 deletions
diff --git a/zhilova/08_jensen b/zhilova/08_jensen
new file mode 100644
index 0000000..20a8158
--- /dev/null
+++ b/zhilova/08_jensen
@@ -0,0 +1,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)