The time-optimal control problem in Banach spaces

We show here that a variant of Pontryagin's maximum principle holds for time-optimal trajectories of the systemu′ = Au + f that begin and end at the domain ofA. HereA is the infinitesimal generator of a strongly continuous semigroupS(·) in the reflexive Banach spaceE. This partly generalizes a result of Balakrishnan ([1]) where no conditions are assumed on the trajectories but whereS(t) is supposed to beonto for allt ≥ 0. A weakened version of the maximum principle is then proved forall time-optimal trajectories whenA generates an analytic semigroup andE is a Hilbert space. Finally, the results are modified to handle two examples involving the heat equation where the spaceE is not reflexive.