The Kalman-Yakubovich-Popov theorem for stabilizable hyperbolic boundary control systems (Q1304747)

The problem is \[ \min_u J(\zeta; u) = \min_u \int_0^\infty F(y(t, \zeta; u), u(t)) dt \] where \(F(y, u)\) is a quadratic form in \(H \times U\) (\(H, U\) Hilbert spaces) and \(y(t) = y(t, \zeta; u)\) solves \[ y'(t) = Ay(t) + Bu(t), \quad y(0) = \zeta \] with \(A\) the infinitesimal generator of a strongly continuous group \(S(t)\) in \(H.\) Controls are square integrable, and \(B\) is a linear operator which may be unbounded in order for the model to be applicable to certain boundary control systems. The objective of this paper is to lay down assumptions under which the frequency domain condition \[ F((i \omega I - A)^{-1}Bu, u) \geq 0 \] (or, rather, a generalized version) guarantees \(\min_u J(\zeta; u) > -\infty.\) The results also imply that the minimum is a continuous quadratic form \(\langle \zeta, P\zeta\rangle\) of \(\zeta\) with \(P\) satisfying a generalized version of \[ 2 \Re\text{e}\langle Ay + Bu, Py\rangle + F(y, u) \geq 0. \]