Convex quadratic functions
Theorem
Let
is convex if and only if is positive semidefinite. is strictly convex if and only if is positive definite.
Proof:
- Since
is the Hessian of , this follows immediately from a previous theorem. - From the same theorem it follows that if
is positive definite then is strictly convex. Now suppose is strictly convex. From 1. we know is positive semidefinite. Suppose it is not positive definite, i.e. there exists some with . Then meaning is linear in the -direction, contradicting strict convexity.