Given a linear control system in a Hilbert space with a bounded control operator, we establish a characterization of exponential stabilizability in terms of an observability inequality. Such dual characterizations are well known for exact (null) controllability. Our approach exploits classical Fenchel duality arguments and, in turn, leads to characterizations in terms of observability inequalities of approximately null controllability and of α-null controllability. We comment on the relationships between those various concepts, at the light of the observability inequalities that characterize them.

No abstract

This paper presents an equivalence theorem for three different kinds of optimal control problems, which are optimal target control problems, optimal norm control problems and optimal time control problems. Controlled systems in this study are internally controlled heat equations. With the aid of this theorem, we establish an optimal norm feedback law and build up two algorithms for optimal norms (together with optimal norm controls) and optimal time (along with optimal time controls), respectively.

In this paper, we study two subjects on internally controlled heat equations with time varying potentials: the attainable subspaces and the bang-bang property for some time optimal control problems. We present some equivalent characterizations on the attainable subspaces and provide a sufficient condition to ensure the bang-bang property. Both the above-mentioned characterizations and the sufficient condition are closely related to some function spaces consisting of some solutions to the adjoint equations. It seems for us that the existing ways to derive the bang-bang property for heat equations with time-invariant potentials (see, for instance, [H. O. Fattorini, Infinite Dimensional Linear Control Systems: The Time Optimal and Norm Optimal Problems, Elsevier, Amsterdam 2005], [F. do not work for the case where the potentials are time varying. We provide another way to approach it in the current paper.

No abstract