Variational Formulation