A criterion of asymptotic stability of the trivial solution of an autonomous set of ordinary differential equations (Q759890)

Verf. betrachtet ein autonomes Differentialgleichungssystem in Vektorform \(\dot x=f(x)\), \(x\in \{x\in {\mathbb{R}}^ n: \| x\| <H\}\), wobei die Funktion f stetig differenzierbar sei und \(f(0)=0\) gelte. Er beweist folgendes Kriterium für asymptotische Stabilität der Nullösung: Für \(a<t<\infty\), \(\| x\| \leq h<H\) existiere eine positiv- definite stetig differenzierbare skalare Funktion V(t,x), so daß für eine positive Zahl T die Funktion \(W(t_ 0,x_ 0)=\int^{t_ 0+T}_{t_ 0}\dot V({\mathcal T},x({\mathcal T},t_ 0,x_ 0))d{\mathcal T}\) mit \(a<t_ 0<\infty\), \(x_ 0\in U\) (Umgebung von \(x=0\in {\mathbb{R}}^ n)\) negativ-definit ist. Dann gilt \(\| x(t,t_ 0,x_ 0)\| \leq \epsilon\) für \(t\geq t_ 0\) und obendrein \(\lim_{t\to \infty}x(t,t_ 0,x_ 0)=0\).