Nature of stationary points three variable functions

Click For Summary
SUMMARY

The discussion focuses on finding and characterizing stationary points for the function F(x,y,z) = x² + xy + y² - 2z² + 3x - 2y + z. The critical point identified is (-8/3, 7/3, 14). To determine the nature of this critical point, participants emphasize the importance of constructing the Hessian matrix and evaluating its eigenvalues. The conditions for classifying the critical point as a local minimum, maximum, or saddle point are clearly outlined, with specific reference to the positive and negative definiteness of the Hessian.

PREREQUISITES
  • Understanding of multivariable calculus, specifically partial derivatives.
  • Familiarity with Hessian matrices and their properties.
  • Knowledge of eigenvalues and their role in determining matrix definiteness.
  • Experience with Cholesky factorization for matrix analysis.
NEXT STEPS
  • Study the construction and properties of Hessian matrices in multivariable functions.
  • Learn about eigenvalue computation and its implications for matrix definiteness.
  • Explore Cholesky factorization and its application in determining matrix properties.
  • Investigate the classification of critical points in higher-dimensional optimization problems.
USEFUL FOR

Students and professionals in mathematics, particularly those studying optimization in multivariable calculus, as well as researchers dealing with critical point analysis in three-variable functions.

AleksIlia94
Messages
5
Reaction score
0

Homework Statement


Find and characterise the stationary points for F(x,y,z) = x2 + xy + y2 - 2z2 +3x -2y +z






The Attempt at a Solution


I found fx, fy, fz and let them equal to 0. Solving gives me the critical point (-8/3,7/3,14). From here I'm not sure how to determine the nature of this critical point. I know how to check given a two variable function, but for 3 I am a bit stuck. I think I have to find the determinant of the Hessian with all second derivative entries but is there an easier way than this?
 
Physics news on Phys.org
(Was that z value a typo? It is certainly not "14".)

The best way to find the "nature" of the critical points of a general function of three or more variables is to first write the "true" second derivative. Not the partials. Just as the "true" first derivative of a function of three variables is a vector, the gradient,
\begin{bmatrix}\frac{\partial f}{\partial x} & \frac{\partial f}{\partial y} & \frac{\partial f}{\partial z}\end{bmatrix}
so the "true" second derivative is the matrix
\begin{bmatrix}\frac{\partial^2f}{\partial x^2} & \frac{\partial^2 f}{\partial x\partial y} & \frac{\partial^2 f}{\partial x\partial z}\\ \frac{\partial^2 f}{\partial y\partial x} & \frac{\partial^2 f}{\partial y^2} & \frac{\partial^2 f}{\partial y\partial z} \\ \frac{\partial^2 f}{\partial z\partial x} & \frac{\partial^2 f}{\partial z\partial y} & \frac{\partial^2 f}{\partial y^2}\end{bmatrix}

Set the x, y, and z equal to the coordinates of the critical point and find the eigenvalues. If they are all negative, that is a maximum, if all positive, a minimum, and, in any other case a "saddle point"- though you can characterize more fully by the number of positive and negative eigenvalues.
For this particular function, that is relatively straight forward.
 
Last edited by a moderator:
AleksIlia94 said:

Homework Statement


Find and characterise the stationary points for F(x,y,z) = x2 + xy + y2 - 2z2 +3x -2y +z

The Attempt at a Solution


I found fx, fy, fz and let them equal to 0. Solving gives me the critical point (-8/3,7/3,14). From here I'm not sure how to determine the nature of this critical point. I know how to check given a two variable function, but for 3 I am a bit stuck. I think I have to find the determinant of the Hessian with all second derivative entries but is there an easier way than this?

Finding the determinant is not enough: you need to test if the Hessian H is positive definite or positive semi-definite, negative definite or negative semi-definite, or indefinite. The second-order optimality conditions at a *stationary point* are:
(1) Necessary for a local min: H is positive semi-definite (psd).
Sufficient for a strict local min: H is positive definite (pd).
(2) Necessary for a local max: H is negative semi-definite.
Sufficient for a strict local max: H is negative-definite.
Note: if H is indefinite, the point is neither a max nor a min---it is a "saddle point".
The easiest way to test for negative (semi-) definiteness of H is to test the positive (semi-) definiteness of K = -H.

There are some simple tests that allow you to bypass the details in some cases: (i) in order that H be psd it is necessary that all diagonal elements H(i,i) >= 0; (ii) if H is psd and H(i,i) = 0 for some i, then all elements in row and column i of H must also be zero (that is, we need H(i,j) = H(j,i) = 0); if this fails, H is indefinite. (iii) In order that H be pd it is necessary that all diagonal elements H(i,i) > 0. (Thus, if H has non-zero diagonal elements of opposite signs it is automatically indefinite.) All these things can be determined without additional work. If all these tests are "passed", then to test for psd or pd the standard way nowadays is to apply Cholesky factorization (which DOES apply to both psd and pd matrices, unlike what it says in some articles). We usually do not bother trying to find the eigenvalues unless we need them for some other purposes. (Cholesky factorization is so easy that I used to have it programmed into my HP hand-held calculator; you can easily do by hand matrices up to about 8x8.)

RGV
 
Last edited:

Similar threads

Replies
3
Views
2K
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
5K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K