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.

convexity visualised

Proving Convex Functions

Convex function inequality

  1. Pick two points above the function such as
  2. 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.

    1. 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 .

    1. 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.