Chapter 6 Basics of Set-Constrained and Unconstrained Optimization
Chapter 6 Basics of Set-Constrained and Unconstrained Optimization
Unconstrained Optimization
An Introduction to Optimization
Spring, 2014
Wei-Ta Chu
1
Introduction
Consider the optimization problem
2
Introduction
There are also optimization problems that require maximization
of the objective function, in which case seek maximizers.
Minimizers and maximizers are also called extremizers.
Maximization problems can be represented equivalently in the
minimization form because maximizing is equivalent to
minimizing .
This problem is a general form of a constrained optimization
problem. If , then we refer to the problem as an
unconstrained optimization problem.
3
Introduction
The constraint is called a set constraint.
Often, the constraint set takes the form
4
Global and Local Minimizers
Definition 6.1: Suppose that is a real-valued
function defined on some set . A point is a local
minimizer of over if there exists such that
for all and . A point is a global
minimizer of over if for all .
If we replace by , then we have a strict local minimizer
and a strict global minimizer, respectively.
local minimizer
5
strict global minimizer strict local minimizer
Global and Local Minimizers
If is a global minimizer of over , we write
and .
If the minimization is unconstrained, we simply write
or
Example: if is given by , then
6
Conditions for Local Minimizers
Given a function , recall that the first-order
derivative of , denoted by , is
7
Conditions for Local Minimizers
Example: Let
8
Feasible Direction
Definition 6.2: A vector is a feasible direction at
if there exists such that for all
The directional derivative of in the direction , denoted ,
is the real-valued function defined by
is a feasible direction
is a not feasible direction
9
Directional Derivative
If , then is the rate of increase of at in the
direction .
Suppose that and are given. Then is a function
of , and
10
Example
Define by and let
11
Theorem 6.1 First-Order Necessary Condition (FONC)
Let be a subset of Rn and a real-valued function on .
If is a local minimizer of over , then for any feasible
direction at , we have
12
First-Order Necessary Condition (FONC)
does not satisfy the FONC, whereas satisfies the
FONC.
input
feasible
directions
function value
13
First-Order Necessary Condition (FONC)
An alternative way to express the FONC is for all
feasible directions .
In other words, if is a local minimizer, then the rate of
increase of at in any feasible direction in is
nonnegative.
Alternative proof: For any feasible direction, there exists
such that for all ,
14
Corollary 6.1 Interior Case
Let be a subset of Rn and a real-valued function on .
If is a local minimizer of over and if is an interior
point of , then
15
Example
Consider the problem
16
Example
Consider the problem
On the boundary of
17
Example
Consider the problem
On the boundary of
18
Example
Consider the problem
On the boundary of
19
Example
There are two base station antennas, one for the primary base
station and another for the neighboring base station. Both
antennas are transmitting signals to the mobile user, at equal
power.
The power of the received signal is reciprocal of the squared
distance from the associated antenna.
Find the position of the mobile that maximizes the signal-to-
interference ratio.
20
Example
The squared distance from the mobile to the primary antenna is
, while the squared distance from the mobile to the
neighboring antenna is . Therefore, the signal-to-
inference ratio is
21
Example
Consider the set-constrained problem
where
Problem 1: Consider a point . Specify all feasible
directions at .
Solution: There are no feasible directions at any .
22
Example
Problem 3: Based on Problem 2, is the FONC for this set-
constrained problem useful for eliminating local-minimizer
candidates?
Solution: No, the FONC for this set-constrained problem is not
useful for eliminating local-minimizer candidates.
23
Example
Problem 4: Suppose that we use polar coordinates to
parameterize points in terms of a single parameter :
and . Now use the FONC for unconstrained
problems (with respect to ) to derive a necessary condition of
this sort: if is a local minimizer, then for
all satisfying a “certain condition.” Specify what this certain
condition is.
Solution:
Write , where is given by the equations
relating to . Note that . Hence,
24
Example
Solution:
Suppose that is a local minimizer. Write . Then
is an unconstrained minimizer of . By the FONC for unconstrained
problems, , which implies that for all
tangent to at (or, alternatively, for all orthogonal to )
25
Theorem 6.2 Second-Order Necessary Condition
(SONC)
Let , a function on , a local minimizer of
over , and a feasible direction at . If , then
Corollary 6.1 Interior Case
where is the Hessian of .
Proof: We prove the result by contradiction. Suppose that there
is a feasible direction at such that and
. Let and define the composite
function .
By Taylor’s theorem,
26
Theorem 6.2 Second-Order Necessary Condition
(SONC)
For sufficiently small ,
that is,
27
Corollary 6.2 Interior Case
Let be an interior point of . If is a local
minimizer of , , then , and
is positive semidefinite ; that is, for all ,
28
Example
Consider a function of one variable
Because and , the point satisfies both
the FONC and SONC. They are necessary conditions, but are
However, is not a minimizer. not sufficient conditions.
29
Example
Consider a function . The FONC
requires that . Thus, satisfies
the FONC.
The Hessian matrix of is
The Hessian matrix is indefinite; that is, for some we
have (e.g., ); and, for some , we have
(e.g., ). Thus, does not satisfy
the SONC, and hence it is not a minimizer.
30
Theorem 6.3 Second-Order Sufficient Condition
(SOSC), Interior Case
Let be defined on a region in which is an interior
point. Suppose that and . Then, is a
strict local minimizer of .
Proof: Because , we have . Using
assumption 2 and Rayleigh’s inequality it follows that if
then . By the Taylor’s theorem
and assumption 1,
(p. 27)
Hence, for all such that is sufficiently small,
31
Example
Let . We have if and only if
. For all , we have
32
Exercise 6.19
An amphibian vehicle needs to travel from point A (on land) to
point B (in water). The speeds at which the vehicle travels on
land and water are and , respectively.
Suppose that the vehicle traverses a path that minimizes the total time
taken to travel from A to B. Use the FONC to show that for the
optimal path above, the angles and satisfy Snell’s law:
33
Exercise 6.19
Let be the decision variable. Write the total travel time as
which is given by
which leads to
34
Exercise 6.19
The second derivative of is given by
35
Exercise 6.20
Suppose that you have a piece of land to sell and you have two
buyers. If the first buyer receives a fraction of the piece of
land, the buyer will pay you dollars. Similarly, the
second buyer will pay you dollars for a fraction of of
the land. You goal is to sell parts of your land to the two buyers
so that you maximize the total dollars you receive.
Formulate the problem as an optimization problem of the kind
38