Existence of a minimum is shown for a coercive, Isc differentiable function restricted to a finite intersection of half spaces under a structural assumption on the Gâteaux derivative. This abstract existence result is illustrated by two examples from optimal control theory for distributed systems.