Convexity
A function is convex and the following condition holds:
Strict Convexity
And the function then becomes strictly convex and the following condition holds:
The key difference between a function being convex or strictly convex being in the and signs.
Proving Convex Functions
Convex function inequality
- Pick two points above the function such as
- Substitute points into the above inequality. If it holds then the function is convex. If not then the function is not convex.
Convex, non-differentiable functions
It is possible to have functions that are convex, but not differentiable. One example is the modulus function: where .
Non-convex Functions
Convex Matrices
Convex matrices must be positive semi-definite, hence must be symmetric ie . The conditions for a PSD matrix are as follows:
Positive Semi-Definite (PSD)
There are two ways which we can see if a matrix is positive semi-definite.
-
- Eigen values
In this case, we need to ensure that all eigenvalues of the matrix are greater than zero. This implies they are all definitely positive, ie .
-
- Leading principle minors
In this case, we need to ensure that all eigenvalues of the matrix are greater than zero. This implies they are all definitely positive, ie .
There is a shortcut to checking whether a matrix is PSD. We check whether the quadratic product is greater than or equal to zero.
For a given symmetric matrix
We check for the quadratic product on giving
(0)^2+x_2^2 \ge 0 $$ Hence, we say $A$ is PSD given that $\vec x$ contains one positive and one zero value.