Let be the distance from the origin to each fixed charge, and denote their position vectors by . For a small planar displacement , the Taylor expansion
can be summed using the threefold symmetry relations
The electric potential due to the fixed charges is consequently
The moving charge has electrostatic potential energy of point charges . Because the quadratic coefficient is positive, the origin is a strict local minimum of , and the equilibrium is stable.
At , the surface cannot cross the boundary , because it lies inside . Consequently the two surfaces are tangent at . Apply a proper Euclidean motion of Euclidean three-space so that , their common tangent plane is , and the prescribed inward unit normal is . Locally write
with the region on the side . Then
Thus has a local minimum at zero and its Hessian matrix is positive semidefinite. The fundamental forms of a graph surface at a horizontal tangent plane give
Taking the trace of the positive-semidefinite difference proves the mean-curvature comparison at tangential contact:
There is no analogous conclusion for . In the same local coordinates take
Then , so the second graph lies on the inward side of the first, while the Gaussian curvature of a graph surface gives
Hence the mean-curvature inequality holds but
Using smooth bump functions, these local graph patches can be completed away from to a compact region with connected smooth boundary and a closed interior surface without changing their germs at . This realizes the counterexample under the global hypotheses.
, so the critical points are . The Hessian matrix at is , making it the local minimum; is degenerate and not a minimum.
Saddle point Created 2026-09-24 Updated 2026-10-06
For a holomorphic phase , a saddle point is a critical point with . At a simple saddle, , and the quadratic Taylor term determines the local descent directions.
Sextic even Landau potential Created 2026-10-03 Updated 2026-10-05
For the Landau free energy , positive gives a continuous phase transition at . For negative , phase coexistence between the disordered global minimum and the ordered global minima occurs on , with . Indeed, on that locus the polynomial is , so these three zeros are global minima. For , the disordered and ordered spinodal points are respectively and ; equality of stationary free energies determines phase coexistence, while loss of a local minimum determines a spinodal point.