Vector Lyapunov functions and ultimate Poisson boundedness of solutions of systems of differential equations (Q1991770)

In this paper, various forms of uniform-ultimate Poisson boundedness and of ultimate Poisson equiboundedness are introduced. Sufficient conditions for various forms of uniform-ultimate Poisson boundedness and of ultimate Poisson equiboundedness are obtained by using the method of vector Lyapunov functions. \par The author considers the following arbitrary system of differential equations of $n$-variables: \[ \frac{dx}{dt}=F(t,x),\tag{1} \] where \[ F(t,x)=(F_{1}(t,x),\dots,F_{2}(t,x))^{T}, \] and the right hand side of the differential system (1) is defined and continuous on $\mathbb{R}^{+}\times\mathbb{R}^{n}$ with $\mathbb{R}^{+}=\{t\in\mathbb{R}:t\geq0\}$. It is assumed that all solutions of the differential system (1) can be extended to the whole semi-axis $\mathbb{R}^{+}$. Before giving the main results of the paper, some basic information about vector Lyapunov functions and the notion of boundedness of solutions are given. Then, for a solution $x=x(t,t_{0},x_{0})$ of the differential system (1), the definitions of Poisson boundedness, uniform-ultimately Poisson boundedness, uniform-ultimately Poisson $y$-boundedness, and further extensions are given, respectively. \par Then, six new and nice theorems are given which contain sufficient conditions for the introduced boundedness notations, which are based on the method of vector Lyapunov functions. Finally, Theorem 1 is illustrated by an example with a detailed solution.