Variational inequalities Existence theories mathematics