Convex Functions

A function f is convex if for any two points the following inequality holds:

f(tx+(1t)x)tf(x)+(1t)f(y)
  • xy

  • 0<t<1

a) is convex, b) is not

Epigraf

A function is convex if its epigraph defines a convex set.

Convex sets

If a functions f is defined on a convex set S and for any θ,θS and 0λ1 we have

f(λθ+(1λ)θ)λf(θ)+(1λ)f(θ)

Strict convexity

Same as convex but with strickt inequality.

f(tx+(1t)x)<tf(x)+(1t)f(y)

This means that f is convex and has greater curvature than a linear function.

Strong convexity

We say that a function f is strongly convex when for a paramter m>0

g(x)=f(x)m2||x||22

If g is a convex function. This means that f is at least as convex as a quadratic function.

Convex relationship

strongly conves => strictly convex => convex

Operations that preserve convexity

Nonnegative linear combinations of convex functions

f1a1++fnan

  • a1,,an0

Point wise maximization of a convex function

If fs is convex than for any sS point wise maximization f(x)=maxsSfs(x) yields an convex function.

Partial minimization

If g(x,y) is convex in x, y and C is convex then f(x)=mingCg(x,y) is convex.

We can minimize over some variables if g is convex and x and y are from an convex Set.

Convexity in higher dimesnions

We can expand the notion of convexity to multiple dimensions, than a convex function has to have a bowl shape, that means it will have a unique global minimum θ corresponding to the bottom of the bowl. This means that the second derivative must be positive everywhere:

d2d2θ2f(θ)>0

A twice differentiable, mutivariable function is convex if its Hessian is positive definite for all θ.