No label defined (Q4501642)

The author considers time optimal control problems with a target condition and a dynamic of the form \(y'=Ay+u\), where \(A\) is the generator of a semigroup in a Banach space \(E\). Equivalent conditions with the maximum principle are established in terms of reachable space. In particular, denseness of the domain of \(A\) in the reachable space, is equivalent with the strong continuity of the corresponding semigroup at \(t=0\), and is also equivalent with the equality between the dual of the reachable space and the space \(Z(T)\), the subspace of elements \((E^*)_{-1}\) satisfying \(\int_0^\infty \|S(t)^* z\|_{E^*} <\infty\) and equipped with the norm \(\int_0^T \|S(t)^* z\|_{E^*}\) (\((E^*)_{-1}\) is the completion of \(E^*\) for the norm \(\|(A^{-1})^*~\cdot~\|_{E^*}\)). These conditions are sufficient to establish the maximum principle, but, up to now, this principle is proved only in some situations [see, for example, \textit{H. O. Fattorini}, ``Infinite dimensional optimization theory and control theory'' (1999; Zbl 0931.49001)]. For the entire collection see [Zbl 0921.00020].