Pontryagin’s Maximum Principle for Optimal Control Problems Governed by Integral Equations with State and Control Constraints

This paper proves a new lemma that characterizes controllability for linear Volterra control systems and shows that the usual controllability assumption for the variational linearized system near an optimal pair is superfluous. Building on this, it establishes a Pontryagin-type maximum principle for Volterra optimal control with general control and state constraints (fixed terminal constraints and time-dependent state bounds), where the cost combines a terminal term with a state-dependent and integral term. Using the Dubovitskii–Milyutin framework, we construct conic approximations for the cost, dynamics, and constraints and derive necessary optimality conditions under mild regularity: (i) a classical adjoint system when only terminal constraints are present and (ii) a Stieltjes-type adjoint with a non-negative Borel measure when pathwise state constraints are active. Furthermore, under convexity of the cost functional and linear Volterra dynamics, the maximum principle becomes a sufficient criterion for global optimality (recovering the classical sufficiency in the differential case). The differential case recovers the classical PMP, and an SIR example illustrates the results. A key theme is symmetry/duality: the adjoint differentiates in the state while the maximum condition differentiates in the control, reflecting operator transposition and the primal–dual geometry of Dubovitskii–Milyutin cones.