Lagrange functional