No label defined (Q3982991)

The system under consideration is (1) \(x'(t)=F(t,x(t),x(t-\tau(t))), x(t)\in R^ n\), \(\tau(t)\) --- continuous non-negative bounded scalar function, \(F(t,x,y)\) --- vector function defined and continuous in the domain \(\| x\|\leq H\), \(\| y\|\leq H\), \(t\geq 0\), Lipschitz in \(x\) and \(y\) and \(F(t,0,0)=0\). The following conversion theorems of the Lyapunov second method are proved: Theorem. If the trivial solution of the considered system is asymptotically stable uniformly with respect to the initial data, then in a domain \(\| x\|\leq \delta\), \(t\geq t_ 0+2\tau\), there exists a continuous local Lipschitz with respect to the second argument function \(v(t,x)\) whith the properties \[ \omega_ 1(\| x\|)\leq v(t,x)\leq\omega_ 2(\| x\|),\quad {dv\over dt}\mid_{(1)}\leq- \omega_ 3(\| x\|). \] Theorem. If the trivial solution of the considered system is stable uniformly with respect to the initial data, then in a domain \(\| x\|\leq\delta\), \(t\geq t_ 0+2\tau\), there exists, a continuous function \(v(t,x)\) with the properties \[ \omega_ 1(\| x\|)\leq v(t,x)\leq\omega_ 2(\| x\|),\quad {dv\over dt}\mid_{(1)}\leq 0. \] Here \(\omega_ i(r)\) are scalar strictly increasing functions satisfying \(\omega_ i(0)=0\) and for \(v=v(t,x)=v(t,x_ 1,\ldots,x_ n)\) as usual \[ {dv\over dt}\mid_{(1)}=\limsup_{\Delta t\to+0}{1\over\Delta t}(v(t+\Delta t,x(t+\Delta t,t_ 0,\varphi))-v(t,x(t,t_ 0,\varphi))). \]