Homogeneous vacuum minimum criterion (source code)

= Homogeneous vacuum minimum criterion

For a scalar theory with positive kinetic and <gradient energy>, a potential attaining a global minimum, and <boundary conditions> admitting a constant minimizing field, the <energy> is bounded below by the integral of that potential minimum. A static constant field at the minimum attains the bound. A potential unbounded below, such as $-\phi^4$, invalidates the existence claim; incompatible boundary values can require an inhomogeneous minimizer.