210
CHAPTER
7.
MULTIVARIABLE
CALCULUS.
Definition
7.3.
The point (xo,
Yo)
is a critical
point
for
the
function
f (
x,
y)
if
and only
if
D
f(xo,
Yo)
= 0,
which
is
equivalent to
8f
and
8y
(xo,
Yo)
=
o.
Lemma
7.1.
Every local
extremum
point
for
the
function
f (x, y) is a critical
point.
Critical
points
are classified using
the
following two dimensional version
of
the
second derivative test:
Theorem
7.1.
Let
(xo,
Yo)
be
a critical
point
for
the
function
f (
x,
y) and
assume
that
all second order partial derivatives
of
f(x,
y) exist and are con-
tinuous.
If
the
matrix
D2
f(xo,
Yo)
is positive definite, i.e.,
if
both eigenvalues
of
the
matrix
D2f(xo,
Yo)
are strictly positive,
then
the critical point
Xo
is a local
minimum
point;
If
the
matrix
D2
f(xo,
Yo)
is negative definite, i.e.,
if
both eigenvalues
of
the
matrix
D2
f(xo,
Yo)
are strictly negative,
then
the critical point
Xo
is a local
maximum
point;
If
the two eigenvalues
of
the
matrix
D2f(xo,
Yo)
are nonzero and
of
oppo-
site signs,
then
the critical
point
(xo,
Yo)
is a saddle point, and
it
is
not
an
extremum
point;
If
one eigenvalues
of
the
matrix
D2
f(xo,
Yo)
is equal to 0 and the other eigen-
value is strictly positive,
then
the critical point
Xo
is local
minimum
point.
If
the
other
eigenvalue is strictly negative,
then
the critical point
Xo
is local
maximum
point.
If
both eigenvalues are 0, i.e.,
if
the
matrix
D2
f(xo,
Yo)
is
itself
equal to 0, anything could happen, i.e., the critical point (xo,
Yo)
could
be
a local
maximum
point, a local
minimum
point,
or
a saddle point.
While
the
eigenvalues
of
a
matrix
with
real entries are,
in
general, complex
numbers,
the
eigenvalues
of
a
symmetric
matrix
are
real numbers.
Note
that
D
2 f ( ) . t .
..
EP
f - fj2
f·
f)2 f d f)2 f
xo,
Yo
IS
a
symme
rIC
matrIX, l.e.,
f)yf)x
-
f)xf)y'
smce
f)yf)x
an
f)xf)y
are
continuous; cf.
Theorem
1.9. Therefore,
the
eigenvalues of
D2
f(xo,
Yo)
are
real
numbers
and
it
makes sense
to
talk
about
their
signs.
The
results
of
Theorem
7.1
are
often
stated
in
terms
of
det(D2f(xo,
Yo)),
the
determinant
of
the
Hessian
of
f
evaluated
at
(xo,
Yo).
Theorem
7.2.
Let
(xo,
Yo)
be
a critical
point
for
the
function
f(x,
y) and
assume
that
all second order derivatives
of
f(x,
y) exist and are continuous.
7.3.
RELATIVE
EXTREMA
OF
MULTIVARIABLE
FUNCTIONS
211
If
det(D2
f(xo,
Yo))
> 0 and
~:{
(xo,
Yo)
>
0)
then the critical point (xo,
Yo)
is
a local
minimum
point;
If
det(D2
f(xo,
Yo))
> 0 and
~:{
(xo,
Yo)
<
0)
then
the critical point
(xo,
Yo)
is
a local
maximum
point;
If
det(D2
f(xo,
Yo))
<
0,
the critical
point
(xo,
Yo)
is called a saddle point, and
it
is
not
an
extremum
point;
If
det(D2
f(xo,
Yo))
=
0,
anything could happen, i.e.,
the
critical point
(xo,
Yo)
could
be
a a local
maximum
point, a local
minimum
point,
or
a saddle point.
We
note
that
Theorem
7.2
can
be
regarded as a corollary
of
Theorem
7.1.
This
can
be
seen from
the
following result:
Lemma
7.2.
Let
A
be
a 2 x 2
symmetric
matrix
as follows:
The eigenvalues
of
A have the
same
sign
(and
are nonzero)
if
and only
if
the
determinant
of
A is strictly positive.
If
det(A) > 0
and
a >
0)
then both eigenvalues
of
A are strictly positive.
If
det(A) > 0 and a < 0, then both eigenvalues
of
A are strictly negative.
Proof.
Let
Al
and
A2
be
the
eigenvalues of
A.
We
do
not
assume
that
Al
and
A2
are necessarily different.
The
determinant
of
any
matrix
is equal
to
the
product
of
its
eigenvalues, i.e.,
Therefore, Al
and
A2
have
the
same
sign
and
are
nonzero if
and
only if
det(A)
is
strictly
positive, i.e.,
det(A)
>
O.
We recall
that,
by
definition,
det(A)
=
ad
- b
2
.
Then,
if
det(A)
> 0, we find
that
a
i=
0,
since otherwise
det(A)
=
-b
2
<
O.
Proving
that
if
det(A)
> 0
and
a > 0
then
both
eigenvalues
of
A
are
positive is
more
subtle. A
short
and
insightful
proof
requires knowledge of
the
following result:
There exists an upper triangular
matrix
U with all entries on the
main
diag-
onal strictly positive such that A =
UtU
if
and only
if
all the eigenvalues
of
the
matrix
A are strictly positive
4
•
4The decomposition UtU = A
is
called
the
Cholesky decomposition
of
the
matrix
A.