Higher-order derivatives of Lyapunov functions and partial boundedness of solutions with partially controllable initial conditions (Q2401666)

In this paper, the author considers the following system of differential equations in \(n\)-variables \[ \frac{dx}{dt} = F(t,x)\tag{1} \] with \( x = (x_1 ,\dots,x_n )^T, F(t,x) = (F_1 (t,x),\dots,F_n (t,x))^T, \) where the right-hand side of the differential system (1) is defined in \(\mathbb{R}^ + \times \mathbb{R}^n\) and is continuously differentiable up to order \(l - 1\) inclusive with \(l \geq 1, \quad l\) is a fixed number, \(\mathbb{R}^ + = \left\{ {t \in \mathbb{R}\left| {t \geq 0} \right.} \right\}\), and \(T\) denotes the operation of transposition. The author proves four theorems containing sufficient criteria for uniformly \(y\)-boundedness solutions with \(z_0\)- control, \(y\)-equi-boundedness solutions with \(z_0\)-control, uniformly \(y\)-boundedness solutions in the limit with \(z_0\)-control and \(y\)-equi-boundedness solutions in the limit with \(z_0\)-control. The proofs of the theorems are based on the use of the Lyapunov functions and their higher-order derivatives with respect to the considered system. Furthermore an example is given to illustrate the obtained results.