Beruflich Dokumente
Kultur Dokumente
Quadratic forms
Let
x1
x
2
X .
xn
be a n-vector.
aii xi2 2
i
a x x
1i j n
ij i
h (h1 , h2 ,.., hn )
r
0
0
0
X 0 h ( x1 h1 , x2 h2 ,.., xn hn )
f ( X 0 h ) f ( X 0 ) for all h
X0 is called an absolute maximum or global
maximum of f (X) if
j
f (X ) f (X0) X
X0 is called an absolute minimum or global
minimum of f (X) if
f (X ) f (X0) X
Theorem
A necessary condition for X0 to be an
optimum point of f (X) is that f ( X 0 ) 0
(that is all the first order partial derivatives f
xi
are zero at X0.)
Definition
A point X0 for which f ( X 0 ) 0
is called a stationary point of f (X) (potential
candidate for local maximum or local
minimum).
Theorem
Let X0 be a stationary point of f (X).
A sufficient condition for X0 to be a local
minimum of f (X) is that the Hessian matrix
H(X0) is positive definite; local maximum of
f (X) is that the Hessian matrix H(X0) is
negative definite.
f
x j
(j =1,2,..n)
2 f
x
1
2 f
x1x2
2 f
x1x2
2 f
x22
.
.
.
.
2 f
x1xn
2 f
x2 xn
f
xn x1
2
f
.
xn x2
2
f
xn2
2
f
2 x1 x3 2 x3 2 x 2 4
x 2
f
2 x1 x 2 4 x1 2 x 2 2 x3 4
x3
x2 x3 2 x3 x1 1
(1)
x1 x3 x3 x2 2
(2)
x1 x2 2 x1 x2 x3 2
(3)
(2) x2 2 x3 x1 x3
x1x3 (2 x1) = 0
Therefore x1= 0 or x3 = 0 or x1 = 2
Case (i)
x1 = 0
(4)
(2) implies x2 x3 = 2
(5)
same as (5)
Case (ii) x3 = 0
(1) gives x1 = 1
(2) gives x2 = 2
For these x1, x2
LHS of (3) = x1x2 - 2x1 - x2 = -2 = RHS
Therefore, we get the stationary point (1,2,0)
(6)
(2) gives x2 + x3 = 2
(7)
(3) gives x2 + x3 = 2
(6) Using (7) gives
same as (7)
x32 = 1, therefore x3 = 1
2
2 x3 2 x2 4
2 x3
2
2 x1 2
2 x2 4 2 x1 2
2
Point
Principal
minors
Nature
(0,3,1)
2,0,-32
Saddle pt
(0,1,-1)
2,0,-32
Saddle pt
(1,2,0)
2,4,8
Local min
(2,1,1)
2,0,-32
Saddle pt
(2,3,-1)
2,0,-32
Saddle pt
Definition:
A function f(X)=f(x1,x2,xn) of n variables is
said to be convex if for each pair of points X,Y
on the graph, the line segment joining these
two points lies entirely above or on the graph.
i.e. f((1-)X + Y) (1-)f(X)+ f(Y)
for all such that 0 < < 1.
convex if
d f
0
2
dx
concave if
d2 f
0
2
dx
quantity
convex Strictly
convex
concave Strictly
concave
>0
>0
fxx
>0
<0
fyy
>0
<0
Constrained optimization
KarushKuhnTucker (KKT) conditions:
Consider the problem
maximize z = f(X) = f(x1, x2,, xn)
subject to g(X) 0 [g1(X) 0
g2(X) 0
.
gm(X) 0]
(the non-negativity restrictions, if any, are
Let S ( s , s ,..., s )
(where s , s22,..,sm2 are the non negative
slack variables added to g1(X) 0 , g2(X) 0,
, gm(X) 0 to make them into equalities).
2
2
1
2
1
2
2
2
m
i gi ( X ) 0, i 1, 2,..., m
g(X ) 0
(Complementary
slackness)
L( X , ) f ( X ) i gi ( X )
i 1
i` 0, i=1,2,.m
II.
f
g1
g 2
g m
1
2
.. m
0
x j
x j
x j
x j
j 1, 2, . . . , n
III. i gi ( X ) 0, i 1,2,..., m
IV. g ( X ) 0, i 1,2,..., m
i
Objective
function
maximization
concave
Convex set
minimization
convex
Convex set
Solution
space
Required conditions
f(X)
gi(X)
convex
maximization concave concave
linear
minimization convex
convex
concave
linear
i
1ip
0
p+1 i q
0
URS q+1 i r
0
0
URS
1ip
p+1 i q
q+1 i r
0
x2 0
g3(x1,x2) =
- x2 0
Hence the KKT conditions become
10, 2 0, 3 0
g 3
g1
g 2
f
1
2
3
0
x1
x1
x1
x1
g 3
g1
g 2
f
1
2
3
0
x 2
x 2
x 2
x 2
1g1(x1,x2) = 0
2g2(x1,x2) = 0
3g3(x1,x2) = 0
g1(x1,x2) 0
g2(x1,x2) 0
Note:
f is concave
gi are convex,
maximization
problem
these KKT
conditions are
sufficient at the
i.e.
1 1 + 2 = 0
(1)
2 3x22 1 + 3 = 0 (2)
1(x1 + x2 1) = 0
(3)
2 x1
=0
(4)
3 x2
=0
(5)
x1 + x2 1 0
(6)
x1
(7)
x2
(8)
1 0
(10) and 3 0
(9)
(11)
(0,1)
(4/5,3/5
)
4 x2
=0
x12 + x22 1
x1 + 2x2 2
x1
x2
From the figure it is clear that max f occurs at (x1, x2) where
x1, x2 >0.
3 = 0, 4 = 0
suppose x1 + 2x2 2 0
2 = 0 , therefore we get 20 - 21 x1=0
10 - 21 x2=0
1 = 55
2 0
x1 + x2 2 = 0
as it is a minimization problem
2: 2x1 21 x1 2 0
1 -21 x2 2 0
3 : 1 ( x x 9) 0
2
1
2
2
2 ( x1 x2 1) 0
4: x x 9
2
1
2
2
x1 x2 1
Now 1 0
Hence 1 0 and so
x x 9
2
1
2
2
(5)
2 x1 (1 1 ) 0
Since 1 0
we get x1= 0
z 3
Basic
r
1
R1 0
R2 0
S1 0
S2 0
r
x1
x1
22
0
40
-18
1
1
0
R2 0
S1
S2
x2 1
-8
2
0
0
-18
1
10
1
1
0
4
0
19
10
9
20
19
10
29
20
89
20
2
5
0
1
4
0
0
1
-1
0
-1
0
0
0
2 R1
-1
0
0
-1
0
1
-1
0
0
0
0
0
29 89
9
20 20
20
1
1
1
40 40
40
29 89
9
20 20
20
1
1
1
40
40
40
1
1
1
40
40
40
11
20
1
40
9
20
1
40
1
40
1
0
1
0
0
R2 S1 S2
0
0
0
-1
0
0
0
0
0
1
0
0
0
1
0
0
0
1
Sol
70
0
20
50
6
18
59
1
2
59
11
2
35
2
Basic
r
x1
r
1
R2 0
x2
S2
r
x1
x2
580 580
580
0
0
0
0
0
0
R2 0
x2
x1
0
0
1
0
0
0
7
7
1160 1160
327
1160
1740
580
2
29
327
1160
0
0
2
29
327
1160
1
0
0
R1
243
580
7
1160
337
580
2
29
327
1160
2320
2900
1 580
580
1
1
0 40
40
20
1
40
1 1
7
1160
1
0
0
9
20
1
40
R2
S1
9
29
0
1
38
29
20
29
0
0
38
29
89
29
S2
Sol
1502
29
64
29
1502
29
110
29
18
29
0
0
1
2
59
11
2
3560 1160
327 327
720
327
0
0