For , a degenerate Hessian matrix can be supplemented by the first nonzero term of each one-variable displacement. Two negative leading even powers give a strict local maximum, two positive ones a strict local minimum, and opposite signs give a saddle. Looking along the coordinate directions and bounding the separated terms avoids an inconclusive quadratic test.
Mathematical optimization Created 2026-09-24 Updated 2026-09-24
Mathematical optimization studies extrema under constraints.
A stationary point is nonisolated if every neighbourhood contains other stationary points. For a twice differentiable function, a regular smooth curve of stationary points through a point forces its Hessian matrix to annihilate the curve's nonzero tangent: differentiate the vanishing gradient along the curve. Thus the Hessian matrix has a zero eigenvalue there, but that alone need not determine whether the point is a local minimum or local maximum.
A first-order phase transition exchanges two distinct global minima of the Landau free energy. The equilibrium free energy remains continuous, but a first derivative such as the magnetization or entropy jumps. A temperature-driven transition generically has latent heat; crossing between symmetry-related ordered phases instead has a magnetization jump without requiring latent heat. A continuous phase transition has no such order-parameter jump and usually has a divergent correlation length and nonanalytic higher responses.
For , and crossing zero, minimizing gives for and for . The minima merge continuously at zero. The curvature vanishes there, so the long-distance response becomes singular.
For , put . A nonzero stationary minimum satisfies . Equality with the free energy gives
The finite separation demonstrates the first-order phase transition. Metastability occurs where a nonglobal local minimum persists; its disappearance at a spinodal point is not the equilibrium coexistence criterion.
For the stable branch found above, and . Hence the vacuum expectation value is
in the stated Planck units. To verify that it is a vacuum rather than merely a zero-energy stationary point, evaluate the Hessian matrix. At either zero-energy stationary branch,
Because and its first derivatives vanish there, the Hessian matrix of is just times this Hessian matrix. For , both eigenvalues are positive. This proves a strict local minimum in both real scalar directions. For , , so the alternative , is a saddle point and is excluded from the stable zero-energy Polonyi vacuum.
There is also a useful global check. Set on the stable branch. Directly completing squares gives
Both remaining coefficients are positive. Thus everywhere, with equality only at . The positive exponential prefactor proves that this is the unique global minimum, not just a metastable vacuum.
Finally, at the stable vacuum and . Its supergravity auxiliary field has
Thus the Minkowski vacuum breaks supersymmetry, even though its cosmological constant vanishes. If , the potential is flat and the displayed tuned parameter and scalar value are not selected.
The function is continuous at when for every there is a such that
Suppose has a local minimum at and is differentiable there. For sufficiently small ,
Both one-sided limits equal , so it is both nonnegative and nonpositive. Therefore
The first partial derivatives are
Both vanish at , so every positive diagonal point is a stationary point. The Hessian matrix there is
Its eigenvectors and have respective eigenvalues
The zero eigenvalue reflects the entire line of nonisolated stationary points: . In fact , showing a non-strict local minimum when , a non-strict local maximum when , and values on both sides of two near . At that last point the whole Hessian matrix vanishes, so its signs alone cannot classify the point.
In the Landau theory approximation, choose the global minimum of the Landau free energy as a function of the magnetization. Since , the polynomial is a coercive function and a global minimum exists. The candidates are stationary points satisfying
Check their values of the free-energy density; a stationary point or a metastable local minimum alone need not be the equilibrium state. Positive curvature ensures local stability; when it vanishes, higher terms must be checked. The selected global minimum is the equilibrium magnetization within this approximation.
At zero magnetic field, equal opposite minima describe distinct phases exhibiting spontaneous symmetry breaking. A spontaneous magnetization is obtained by taking the thermodynamic limit before or . A symmetric finite-volume average can instead have zero expectation even when the minima are nonzero. Thus one must specify the phase when interpreting the minimizer as the equilibrium expectation.