Sur un théorème d'existence de Poincaré-Liapounoff. (Q2586933)

Es handelt sich um die Existenz von Lösungen des Systems \[ \dfrac{\partial z_i}{\partial t}+\sum_{s=1}^n\bigg( \sum_{\sigma=1}^n p_{s\sigma}(t)x_\sigma+X_s\bigg) \dfrac{\partial z_i}{\partial x_s} = Z_i\qquad (i=1,\ldots,k), \] wo die \(X_s\) Potenzreihen der \(x_\sigma\) ohne konstante und lineare Glieder sind, und zwar wird ungefähr (die genaue Formulierung mag hier unterbleiben) folgendes gezeigt: Wenn es eine quadratische Form \(V(x_1,\ldots, x_n)\) mit von \(t\) abhängigen Koeffizienten gibt, für die \[ V\geqq a^2(x_1^2+\cdots+x_n^2), \] \[ \dfrac{\partial V}{\partial t} + \sum_{s=1}^n\sum_{\sigma=1}^n p_{s\sigma}(t)x_\sigma\dfrac{\partial V}{\partial x_s}\leqq -b^2(x_1^2+\cdots+x_n^2) \] ist, so hat das System genau eine Lösung; wenn es dagegen eine quadratische Form gibt, für die an Stelle der zweiten Ungleichung die folgende gilt: \[ \dfrac{\partial V}{\partial t} + \sum_{s=1}^n\sum_{\sigma=1}^n p_{s\sigma}(t)x_\sigma\dfrac{\partial V}{\partial x_s}\geqq b^2(x_1^2+\cdots+x_n^2), \] so gibt es zu für \(t = 0\) willkürlich vorgegebenen Anfangswerten genau eine Lösung.