Verification theorem and construction of $ε$-optimal controls for control of abstract evolution equations

2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/130104We study several aspects of the dynamic programming approach to optimal control of abstract evolution equations, including a class of semilinear partial differential equations. We introduce and prove a verification theorem which provides a sufficient condition for optimality. Moreover we prove sub- and superoptimality principles of dynamic programming and give an explicit construction of $ε$-optimal controls.28 pagesOptimization and Control35R15, 49L20, 49L25, 49K20Verification theorem and construction of $ε$-optimal controls for control of abstract evolution equationstext