Minimum of the Functional F(u) at Weak Solutions