SOC Bordered Hessian
SOC Bordered Hessian
The definiteness of matrices are related to the second order condition for the uncon-
strained problems. We have also encountered the definiteness of matrices for the proper-
ties of the Slutsky matrix.
for all y ∈ RN .
! $ ! $
"−2 1 0% " y1 %
" % " %
" % " %
Example 1. M = " 1
" −2 1 %
% is negative definite since for any non-zero y = "y %,
" 2%
" % " %
# & # &
0 1 −2 y3
we have
! $! $ ! $
"−2 1 0 % " y1 % " y1 %
' (" %" % ' (" %
" %" % " %
y T M y = y1 y2 " 1
y3 " −2 1 % "y %
% " 2% = −2y1 + y2 y1 − 2y2 + y3 y2 − 2y3 " %
" y2 %
" %" % " %
# &# & # &
0 1 −2 y3 y3
) *
= − y12 + (y1 − y2 )2 + (y2 − y3 )2 + y32 < 0.
This result is the negative of sum of squares, and therefore non-positive. Furthermore,
the result is zero only if y1 = y2 = y3 = 0 that is, when y is the zero vector. Therefore,
for any non-zero vector y, the result is always negative.
1
Advanced Microeconomics
! $ ! $
"−1 1% " y1 %
Example 2. M = "
#
%
&is negative semi-definite since for any y = "
# &, we have
%
1 −1 y2
! $! $ ! $
' (
"−1 1 % " y1 % '
"y1 %
(
2
y T M y = y1 y2 "
#
%"
&#
%
& = −y1 + y2 y1 − y2 "
# & = −(y1 + y2 ) ≤ 0.
%
1 −1 y2 y2
Note that a matrix M with all negative entries may not be negative definite. Example 3
illustrates the case where all entries in M is negative whereas M is not negative definite.
! $ ! $
"−1 −2% "−1%
Example 3. M = "
#
%
& is not negative definite since for y = "
#
%
& we have
−2 −1 1
! $! $ ! $
' ( ' (
"−1 −2% "−1% "−1%
y T M y = −1 1 "
#
%"
&#
%
& = −1 1 "
#
%
& = 2 > 0.
−2 −1 1 1
for all y ∈ RN .
Remark. A matrix that is not positive semi-definite and not negative semi-definite is
called indefinite.
There are various ways to check the definiteness of matrices. In Examples 1, 2 and
3, we have used the definition to check the definiteness. Below, we will introduce the
2
Advanced Microeconomics
determinantal test for definiteness. Before discussing the general theorem, we need to
learn some new concepts.
Definition 1.A.6 (Leading Principal Submatrix and Leading Principal Minor). Let M
be a N × N matrix. The k th order prinipal submatrix of M obtained by deleting the last
n − k rows and column of M is called the k th order leading principal submatrix of
M ; and its determinant is called the k th order leading principal minor of M .
3
Advanced Microeconomics
The following two theorems provide the algorithm for testing the definiteness of a sym-
metric matrix.
1. M is positive definite if and only if all its leading principal minors are positive;
2. M is negative definite if and only if all its leading principal minors of odd order are
negative; and all its leading principal minors of even order are positive.
1. M is positive semi-definite if and only if all its principal minors are non-negative;
2. M is negative semi-definite if and only if all its principal minors of odd order are
non-positive ; and all all its principal minors of even order are non-negative.
Remark. Please note that to check the semi-definiteness of matrices, we must unfortu-
nately check not only the leading principal minors, but all principal minors.
Remark. The second-order partial derivative matrix, Fxx , is called Hessian Matrix.
As is mentioned in class, we could use bordered Hessian matrix to check the second-order
condition.
4
Advanced Microeconomics
s.t. G1 (x, y, z) ≡ x + y + z = 12
G2 (x, y, z) ≡ x2 + y 2 − z = 0
∂L/∂x = −λ − 2µx = 0
∂L/∂y = −λ − 2µy = 0
∂L/∂z = 1 − λ + µ = 0
∂L/∂λ = 12 − x − y − z = 0
∂L/∂µ = −x2 − y 2 + z = 0
The stationary points are (x∗ , y ∗ , z ∗ , λ, µ) = (2, 2, 8, 45 , − 15 ) and (−3, −3, 18, 65 , 15 ).
1
For example, the maximization problem: maxx,y,z x + y 2 + z subject to x + y + z = 1 can be reduced
to maxx,y x + y 2 + (1 − x − y) with no constraint.
5
Advanced Microeconomics
Thus, the 2nd proposed optimum (x∗ , y ∗ , z ∗ , λ, µ) = (−3, −3, 18, 65 , 15 ) is a local maximum.
s.t. G1 (x, y, z) ≡ x2 + y 2 + z 2 = 3
∂L/∂x = 1 − 2λx = 0
∂L/∂y = 1 − 2λy = 0
∂L/∂z = 1 − 2λz = 0
∂L/∂λ = 3 − x2 − y 2 − z 2 = 0
The stationary points are (x∗ , y ∗ , z ∗ , λ) = (−1, −1, −1, − 12 ) and (1, 1, 1, 12 ).
6
Advanced Microeconomics
We need to check n − m = 2 leading principal minors, i.e., the 3rd order and the entire
bordered Hessian. For local maximum, the sign requirement is (−1)m+1 = (−1)2 > 0 for
the 3rd order leading principal minor and < 0 for the entired bordered Hessian.
1. For the first proposed optimum (x∗ , y ∗ , z ∗ , λ) = (−1, −1, −1, − 12 ), the 3rd order
leading principal minor is −8 < 0 and the determinant of the bordered Hessian is
−12 < 0;
2. For the second proposed optimum (x∗ , y ∗ , z ∗ , λ) = (1, 1, 1, 12 ), the 3rd order leading
principal minor is 8 > 0 and the determinant of the bordered Hessian is −12 < 0.