Existence theorems in the calculus of variations