Not yet reviewed by Pith; the record is open.

We show that an optimality condition of M-stationarity type holds for minimizers of a class of mathematical programs with complementarity constraints (MPCCs) in Lebesgue spaces. We apply these results also to local minimizers of an inverse optimal control problem (which is an instance of an infinite-dimensional bilevel optimization problem). The multipliers for the M-stationarity system can be constructed via convex combinations of various multipliers to auxiliary, linear problems. However, proving the existence of the multipliers to these auxiliary problems is difficult and only possible in some situations.