Sur un théorème de la théorie des équations aux dérivées partielles. (Q2596745)

Es wird folgender Satz bewiesen: Die Funktionen \(U_\mu (x_1,\dots, x_n)\), \(\mu = 1,\dots, m\), der unabhängig Veränderlichen \(x_1,\dots, x_n\) seien Lösungen des folgenden Systems partieller Differentialgleichungen: \[ \frac {\partial^{r_\mu} U_\mu}{\partial x_1^{r_\mu}} = \varPhi_\mu \qquad (\mu = 1, \dots, m); \tag{1} \] dabei seien die \(\varPhi_\mu\) holomorphe Funktionen von \(x_1, \dots, x_n\), von \(U_1, \dots, U_m\) und von deren partiellen Ableitungen \[ \frac {\partial^{\lambda_\mu} U_\mu}{\partial x_1^{\varrho_1^{(\mu)}} \partial x_2^{\varrho_2^{(\mu)}} \dots \partial x_n^{\varrho_n^{(\mu)}}}, \;\varrho_1^{(\mu)} + \cdots + \varrho_n^{(\mu)} = \lambda_\mu \leqq r_\mu, \;0 \leqq \varrho_1^{(\mu)} \leqq r_\mu - 1; \;\mu = 1, \dots, m. \] Dann existiert zu (1) ein System von Polynomen \(P_\mu (x_1,\dots, x_n)\) in den \(x_1, \dots, x_n\) mit ganzzahligen Koeffizienten von folgender Beschaffenheit: Zu \textit{jeder} holomorphen Lösung \(U_1, \dots, U_m\) von (1) gibt es ein Gebiet \(G = G(U_1, \dots, U_m)\) im Raume der \(x_1, \dots, x_n\), so daß in \(G\) gilt: \(|P_\mu - U_\mu | > 0\), \(\mu = 1, \dots, m\). In der Behauptung kann die Forderung, daß die \(U_\mu\) holomorph seien, ersetzt werden durch die, daß die \(U_\mu\) stetige partielle Ableitungen besitzen bis zu einer gewissen, von \(r_1, \dots,,r_m\) abhängigen Ordnung. -Hinweis auf Anwendungen des bewiesenen Satzes.