First-Order Necessary Conditions of Optimality for Strongly Monotone Nonlinear Control Problems

Necessary conditions for the optimality of a pair (y*, u*) with respect to the cost functional g(y) + h(u) subject to AyBu + f are given in terms of generalized gradients. Here, g is locally Lipschitz, h is convex, A is a maximal strongly monotone operator, and B is linear. Two examples of applications of our necessary conditions to nonlinear partial differential equations of elliptic type are presented.