Optimizability and estimatability for infinite-dimensional linear systems (Q2706150)

Consider the system \(\Sigma_p\) described by the abstract differential equation \(\dot{x}(t) = A x(t) + Bu(t)\), \(y(t) = C x(t)\), where \(A\) generates a \(C_0\)-semigroup on a Hilbert space and \(B\) and \(C\) are (possibly unbounded) linear operators. This system is said to possess optimizability if for any initial condition there exists a square integrable input \(u\) on \([0,\infty)\) such that the state \(x\) is square integrable on \([0,\infty)\). This property is also known as the finite cost condition. Estimatability is defined as the dual notion of optimizability. It is shown that optimizability is equivalent to stabilizability. For estimatability and detectability, a similar result holds. Note that these results are well-known for bounded \(B\) and \(C\), respectively. Other results which the authors extend to their large class of systems are the following two. The semigroup generated by \(A\) is exponentially stable if and only if the system is optimizable, detectable, and the transfer function is stable. The controller \(\Sigma_c\) (internally) stabilizes the system \(\Sigma_p\) if and only if both systems are optimizable and estimatable, and the closed-loop transfer function is stable.