Optimization Theory and Practice


Unconstrained Optimization


Instructor: Hasan A. Poonawala

Mechanical and Aerospace Engineering
University of Kentucky, Lexington, KY, USA

Topics:
Solutions
Necessary and Sufficient Conditions
Overview of Algorithms

Example: Curve Fitting

Suppose we have data in the form of pairs {ti,yi}i{1,,m}.\{t_{i},y_{i}\}_ {i \in \{1,\dots,m\}}.

We believe that the model is of the form ϕ(t;θ)=θ1+θ2e(θ3t)2θ4+θ5cos(θ6t).\phi(t; \theta) = \theta_{1} + \theta_{2} e^{\frac{(\theta_{3}-t )^2}{\theta_{4}}} + \theta_{5} \cos(\theta_{6} t).

A standard approach is to find the values of θj\theta_{j}, j{1,,6}j \in \{1,\dots,6\} by solving minθ6j=16ri2(θ)\min_{\theta \in \mathbb R^6} \sum_{j=1}^{6} r_{i}^{2}(\theta) where ri(θ)=yiϕ(ti;θ)r_{i}(\theta) = y_{i} - \phi(t_{i}; \theta)

This is a nonlinear least-square problem.

Solutions

Global minimizer

A point x*x^{*} is a global minimizer if f(x*)f(x)f(x^*) \leq f(x) for all xnx \in \mathbb R^n.

Local minimizer

A point x*x^{*} is a local minimizer if there is a neighborhood 𝒩\mathcal N of x*x^* where f(x*)f(x)f(x^*) \leq f(x) for all x𝒩x \in \mathcal N, where a neighbor of yy is an open set containing yy.

Strict local minimizer

A point x*x^{*} is a strict local minimizer if there is a neighborhood 𝒩\mathcal N of x*x^* where f(x*)<f(x)f(x^*) < f(x) for all x𝒩x \in \mathcal N with xx*x \neq x^*.

Taylor’s theorem

Taylor’s Theorem

Suppose that f:nf \colon \mathbb R^n \to \mathbb R is continuously differentiable and that pnp \in \mathbb{R}^n. Then we have that f(x+p)=f(x)+f(x+tp)pf(x+p) = f(x) + \nabla f(x+t p) p for some t(0,1)t \in (0,1). Moreover, if ff is twice continuously differentiable, we have that f(x+p)=f(x)+012f(x+tp)pdt\nabla f(x+p) = \nabla f(x) + \int_{0}^{1} \nabla^2 f(x+t p) p dt and that f(x+p)=f(x)+f(x)p+12pT2f(x+tp)pf(x+p) = f(x) + \nabla f(x) p + \frac{1}{2} p^T \nabla^2 f(x+t p) p for some t(0,1)t \in (0,1).

First-order Necessary Condition

FONC

If xx^{\star} is a local minimizer and ff is continuously differentiable in an open neighborhood of xx^{\star}, then f(x)=0\nabla f (x^{\star}) = 0.

Notice that this is not the same as f(x)=0x\nabla f (x^{\star}) = 0 \implies x^{\star} is a local minimizer

Stationary point

A point xx^{\star} is a stationary point if it satisfies f(x)=0\nabla f(x^{\star})=0

Second-order Necessary Condition

SONC

If xx^{\star} is a local minimizer of ff and 2f\nabla^2 f exists and is continuous in an open neighborhood of xx^{\star}, then f(x)=0\nabla f (x^{\star}) = 0 and 2f(x)\nabla^2 f (x^{\star}) is positive semidefinite.

Second-order Sufficient Condition

SONC

Suppose that 2f(x)\nabla^2 f (x^{\star}) is continuous in a neighborhood of xx^{\star} and that f(x)=0\nabla f (x^{\star}) = 0 and 2f(x)\nabla^2 f (x^{\star}) is positive definite. Then xx^{\star} is a strict local minimizer of ff.

First-order Sufficient Condition

There is no first-order sufficient condition for ff when it is only differentiable

However, when ff is also convex, there is:

FOSC for convex ff

When ff is convex, any local minimizer xx^{\star} is a global minimizer of ff . If in addition ff is differentiable, then any stationary point xx^{\star} is a global minimizer of ff.