Lecture 3-Hessian Matrix and Conditions For Max and Min
Lecture 3-Hessian Matrix and Conditions For Max and Min
Spring 2023
Lecture 3
• Second order derivative of multivariable functions
• Conditions for local max and min
•Michel Bierlaire, Optimzation: Principles and algorithms, 2nd edition, EPFL Press, 2018.
•Mykel J. Kochenderfer Tim A. Wheeler, Algorithms for Optimization, MIT Press, 2019.
•S. Boyd and L. Vandenberghe, Convex Optimization, Cambridge University Press, 2004.
Differentiability
: Second order
2
Second Order
Differentiability: Consider the function
Examples
∇ 𝑓 ( 𝑥 , 𝑦 )= ( 4𝑥
18 𝑦 )
𝐻𝑒𝑠𝑠𝑖𝑎𝑛= ∇
2
𝑓 ( 𝑥 , 𝑦 )= ( 4
0
0
18 )
Second Order
Differentiability:
Examples
1. is positive definite.
Multidimensional –
dimensional
Optimization Problem: tells us that the function is not changing at .
Conditions for local is positive tells us that is in a bowl.
minima
5
Positive definite matrix:
Definitions
• All upper left determinants must be greater than zero. Determinant of all upper-left sub-
matrices must be positive. Break the
matrix in to several sub matrices, by
progressively taking upper-left
elements. If the determinants of all
the sub-matrices are positive, then
A the original matrix is positive
definite.
¿0
• Positive definite symmetric matrices have the property that all their eigenvalues are positive (>0).
6
Negative definite matrix:
Definitions
¿0
¿0
• Negative definite symmetric matrices have the property that all their eigenvalues are negative (<0).
7
Examples
Classify the following matrices as positive definite, negative definite, indefinite or unknown:
Second Order
Differentiability: Consider the function
Examples
∇ 𝑓 ( 𝑥 , 𝑦 )= ( 4𝑥
18 𝑦 )
𝐻𝑒𝑠𝑠𝑖𝑎𝑛= ∇
2
𝑓 ( 𝑥 , 𝑦 )= ( 4
0
0
18 )
• Check value at the stationary points, and classify them as min, max, saddle according to the following
theorem:
Two-dimensional function:
Simplified conditions for min, max and saddle points
Second Order =
Differentiability: Find the stationary points and state whether they are min, max, or saddle
Examples points
∇ 𝑓 =0 𝑎𝑡 (1 , 1)
The Hessian at (1, 1) is which is positive definite.
H=
¿ 0 , <0 Indefinite