The chain rule along the specified straight line givesHere equality of mixed partial derivatives follows from smoothness. Apply Taylor theorem in the single variable :Writing and produces the linear and quadratic termswith all displayed partial derivatives evaluated at . For a remainder valid uniformly over directions, apply the Taylor formula with integral remainder to :Continuity of the Hessian matrix makes the difference between the integral and be . The printed ellipsis is therefore justified as a finite Taylor expansion with a remainder. Smoothness alone does not assert convergence of an infinite Taylor series.
At a stationary point, the linear term vanishes. The symmetric Hessian matrix satisfiesIf and , this is a positive-definite quadratic form. Its minimum over the unit circle is a positive number , so . The Taylor remainder is smaller than for sufficiently small , proving for nonzero nearby . Thus the stationary point is a strict local minimum.
For the given polynomial, the gradient equations reduce toThe stationary points are , andAt both points with , we have and . ConsequentlyAt the origin the determinant of the Hessian matrix is , giving a saddle point. An independent check is the identity , which proves that the two displayed local minima are also the only global minima.
Articles by others on the same topic
There are currently no matching articles.