Direct Methods in the Calculus of       Variations