  We consider the Pekar functional on a ball in R^3. We prove uniqueness of
minimizers, and a quadratic lower bound in terms of the distance to the
minimizer. The latter follows from non-degeneracy of the Hessian at the
minimum.
