variational formulation