This paper presents a theorem on necessary conditions for optimal control problems containing monotonicity constraints that bear on a joint function of the control variable, the state variable, and the time. These constraints are often found, under continuity and piecewise smoothness assumptions for the endogenous variables of the problem, in various economic fields that include monopoly regulation, non-uniform pricing, implicit contracts, and optimal taxation. After applying our theorem to a general incentive provision model, we show its usefulness in relaxing the standard continuity and smoothness assumptions, for the case of two screening problems among those that have received more attention in the literature. NON-SMOOTH MONOTONICITY CONSTRAINTS IN OPTIMAL CONTROL PROBLEMS 397differentiable. Among other reasons, if the function concerned is continuous and piecewise smooth one can express its monotonicity by imposing the constraint that its derivative becomes singlesigned, and then characterize the solution by relying on standard optimal control techniques. Nevertheless, the cost of such a procedure is a loss of generality for disregarding the solutions that do not present the supposed continuity and smoothness properties. This has been corroborated in Ruiz del Portal [7] by showing that the general results on optimal income taxation can be violated on ranges where the relevant variable is increasing and singular, failing thus to be smooth in a set of measure zero.It is well known on the other hand that, regarding a large number of incentive provision models, the natural feature of solutions is precisely that of discontinuous functions, or even discontinuous correspondences. This is the case, for instance, when the monotonicity constraint in the principalagent problem does not bind, whereas the participation constraint is binding on isolated points. The same happens when the solution to the optimal income tax problem is not uniquely determined, because the resulting tax-schedule overlaps an indifference curve for part of its length. * * In all these cases, the continuity assumption may thus turn out to be unduly restrictive.But relaxing the standard continuity and smoothness assumptions in endogenous variables offers besides the possibility of eliminating some of the restrictions, customarily adopted, as regards certain functional specifications and exogenous objects of the model. Think in this sense on the common density of characteristics or types, which can be extended to mappings containing discontinuity points, or to more general forms of distribution functions. The same can be said about the utility and production functions, whose typical continuous differentiability property may be relaxed, with respect to the type, to only measurability plus essential boundedness.The main goal of this paper is to present a theorem on necessary conditions for optimal control problems containing monotonicity constraints, which can be applied to a wide range of economic models without adopting the usual continuity and sm...