Extension du théorème de Poincaré aux systèmes complètement intégrables d'équations aux différentielles totales. (Q2596729)

Das System der totalen Differentialgleichungen \[ dy = \sum_{k=1}^n F_k(x_1, \dots, x_n; y, z, \lambda) \,dx_k, \quad dz = \sum_{k=1}^n G_k(x_1, \dots, x_n; y, z, \lambda) \,dx_k \] möge in dem Bereiche \(|x_i| \leqq \sigma_i\), \(|y_i| \leqq \varrho\), \(|z| \leqq \varrho\), \(|\lambda| \leqq \varrho\) (\(\varrho\), \(\sigma_i\) positive Zahlen) folgende Eigenschaften besitzen: \ (1) \(F_k\), \(G_k\) sind in Reihen nach ganzen, positiven Potenzen von \(y\), \(z\), \(\lambda\) entwickelbar; \ (2) die Koeffizienten in jenen Entwicklungen sind in den Veränderlichen \(x_i\) stetig und mit stetigen ersten Derivierten versehen; \ (3) \(F_k\),\(G_k\) sind nach \(x_i\) gliedweise differenzierbar; \ (4) die Bedingungen der unbeschränkten Integrabilität sind identisch erfüllt; \ (5) für \(\lambda = 0\) besitzt das System die Lösung \(y = z = 0\). Dann wird bewiesen: Die Integralfunktionen, die für \(x_1 = \cdots = x_n = 0\) sich auf Null reduzieren, sind für genügend kleines \(|\lambda|\) analytische Funktionen des Parameters \(\lambda\).