Stabilization of control systems associated with a strongly continuous group

Abstract

This paper is devoted to the stabilization of a linear control system $y' = A y + B u$ and its suitable non-linear variants where $(A, \cD(A))$ is an infinitesimal generator of a strongly continuous {\it group} in a Hilbert space $\mH$, and $B$ defined in a Hilbert space $\mU$ is an admissible control operator with respect to the semigroup generated by $A$. Let $\lambda \in \mR$ and assume that, for some {\it positive} symmetric, invertible $Q = Q(\lambda) \in \cL(\mH)$, for some {\it non-negative}, symmetric $R = R(\lambda) \in \cL(\mH)$, and for some {\it non-negative}, symmetric $W = W(\lambda) \in \cL(\mU)$, it holds $$ A Q + Q A^* - B W B^* + Q R Q + 2 \lambda Q = 0. $$ We then present a new approach to study the stabilization of such a system and its suitable nonlinear variants. Both the stabilization using dynamic feedback controls and the stabilization using static feedback controls in a weak sense are investigated. To our knowledge, the nonlinear case is out of reach previously when $B$ is unbounded for both types of stabilization.