Sur les systèmes d'équations différentielles dont toutes les solutions sont analytiques. (Q2600974)

Ohne näher ausgeführte Beweise wird folgendes mitgeteilt: Gegeben sei das System partieller Differentialgleichungen \[ F_j(x_0, \, x_1, \ldots \!,x_n; \; u_1, \ldots \!,u_N; \ldots) =0, \quad j=1, \ldots \!,N, \tag{1} \] wobei die \(F_j\) von den \(x_{\nu}, \nu=0, \ldots \!,n\); \(u_{\tau}, \tau=1, \ldots \!,N\); sowie von den partiellen Ableitungen der \(u_{\tau}\) nach den \(x_{\nu}\) bis zur Ordnung \(n_j\) einschließlich abhängen. Und zwar sind die \(F_j\) erklärt als analytische Funktionen der komplexen Veränderlichen \(x_0, u_1, \ldots \!,u_N\) und der Ableitungen der \(u_{\tau}\), ferner als versehen mit stetigen partiellen Ableitungen hinsichtlich der reellen Veränderlichen \(x_1, \ldots \!,x_n\) bis zur Ordnung \(L\); dabei ist \(L=\max \left( 2n+\left[ \dfrac{n+1}{2} \right],n^* \right)+ \left[ \dfrac{n+1}{2} \right]+7\), wo \(n^* = \max (n_1,\ldots \!,n_N)\), \([y]\,=\) größte ganze, in \(y\) enthaltene Zahl. Die Matrix \[ \begin{Vmatrix} \sum\limits_{r_0+r_1+\cdots + r_n=n_j} \dfrac{\partial F_i} {\partial \left( \dfrac{\partial^{r_0+\cdots + r_n}u_j} {\partial x_0^{r_0} \cdots \partial x_n^{r_n}} \right)} \alpha_0^{r_0} \alpha_1^{r_1} \cdots \alpha_n^{r_n} \end{Vmatrix} \tag{2} \] sei in ``Diagonalgestalt'' \(\begin{Vmatrix} M_1 & & \\ & \ddots & \\ & & M_s \end{Vmatrix}\) geschrieben (vgl. auch das vorangehende Referat). Schließlich sollen in \(F_j\) die Ableitungen der, der \(M_{\lambda}\) entsprechenden \(u_{\tau}\) nur nach \(x_{0 \lambda} = x_0, \, x_{1 \lambda}, \ldots \!, x_{l \lambda}\) auftreten. Wenn dann für alle reellen \(\alpha_{0 \lambda}, \, \alpha_{1 \lambda}, \ldots \!, \alpha_{l \lambda}\) mit \(\sum\limits_{\varrho=0}^{l} \alpha_{\varrho \lambda}^2=1\) die Determinante von \(M_{\lambda} \neq 0\) ist, so gilt: In einem gewissen Gebiet sind alle Lösungen von (1) analytisch hinsichtlich \(x_0\), welche stetige Ableitungen nach \(x_0, x_1, \ldots \!,x_n \), bis zur Ordnung \(L + n^* - 1\) besitzen. Ferner wird u. a. angegeben, daß im Falle des Vorhandenseins eines reellen Wertesystems \(\alpha_{0}, \, \alpha_{1}, \ldots \!, \alpha_{n}\) mit \(\alpha_{0} \neq 0\), für welches die (nicht identisch verschwindende) Determinante von (2) null ist bei gewissen linearen Systemen (1) Lösungen vorhanden sind, die zwar Ableitungen bis zu einer beliebig vorgegebenen Ordnung besitzen, aber nicht analytisch sind hinsichtlich \(x_0\). Wegen einiger weiter angemerkter Dinge sei auf die Note selbst verwiesen.