On the nonnegative self-adjoint solutions of the operator Riccati equation for infinite dimensional systems

The nonnegative self-adjoint solutions of the operator Riccati equation (ORE) are studied for stabilizable semigroup Hilbert state space systems with bounded sensing and control. Basic properties of the maximal solution of the ORE are investigated: stability of the corresponding closed loop system, structure of the kernel, Hilbert-Schmidt property. Similar properties are obtained for the nonnegative self-adjoint solutions of the ORE. The analysis leads to a complete classification of all nonnegative self-adjoint solutions, which is based on a bijection between these solutions and finite dimensional semigroup invariant subspaces contained in the antistable unobservable subspace.