The input-output version of Aizerman's conjecture (Q4241114)

In 1949 Aizerman conjectured the following statement: for absolute stability of the zero solution of the equation \[ \dot x=Ax+ bf(cx) \tag{1} \] in the class of nonlinearities \(f:\mathbb{R} \to\mathbb{R}\) satisfying \[ 0\leq f(s) | s\leq q\quad \text{for all }s\in \mathbb{R}^* \tag{2} \] it is necessary and sufficient that the linear equation \[ \dot x=Ax+ q_1bcx \tag{3} \] be asymptotically stable for any \(q_1\in [0,q]\). In the present paper, the authors consider the following version of the Aizerman problem: to separate a class of systems such that the asymptotic stability of a linear systems (3) with \(q_1\in [0,q_s]\) provides the \(L^\infty\)-stability of a system in the class of nonlinearities \(f:\mathbb{R}^1 \times\mathbb{R}^m \times\mathbb{R} \to\mathbb{R}\) with the property: there are constants \(q_s\), \(q_t\geq 0\) such that \[ \bigl| f(s,h,t) \bigr| \leq q_s| s| +q_t\| h\|\quad \text{for all} \quad(s,h,t) \in\mathbb{R} \times \mathbb{R}^m \times\mathbb{R}_+. \] The main result of this paper is that if a system has a positive impulse function, then the input-output stability analysis can be reduced to checking the Hurwitzness of the corresponding polynomial.