Sul problema di Cauchy nel caso non analitico. (Q2596746)

Betrachtet wird das System \[ \frac {\partial^{r_i} u_i} {\partial t^{r_i}} = F_i \qquad (i=1, \dots, m) \] in den unabhängig bzw. abhängig Veränderlichen \(t, x_1, \dots, x_n\) bzw. \(u_1, \dots, u_m\), wobei die \(F_i\) Funktionen von \(t, x_1, \dots, x_n\) und den Ableitungen \(\dfrac {\partial^{k} u_i}{\partial t^{k_0}\partial x_1^{k_1} \cdots \partial x_n^{k_n}} \) sind mit \(k \leqq N\), \(k_0 + k_1 + \cdots + k_n= k\), \(k_0 \leqq r_i - 1\), unter \(N\) eine konstante natürliche Zahl verstanden. Es handelt sich um das Cauchysche Problem, bei welchem für \(t = t_0\) die \(\dfrac {\partial^s u}{\partial t^s}\) mit \(0 \leqq s \leqq r_i - 1\) vorgegebene Werte \(f_i^{(s)} (x_1, \dots, x_n)\) annehmen. Dabei sollen die \(F_i\) und \(f_i^{(s)}\) nicht (notwendig) analytisch sein, vielmehr folgenden Bedingungen genügen: Die \(f_i^{(s)}\) sind in der Umgebung eines vorgegebenen Punktes \((\overline{x}_1, \dots, \overline{x}_n )\) definiert und stetig differenzierbar bis zur Ordnung \(\mu\). Die \(F_i\) sind in der Umgebung des Punktes \( t_0, \overline{x}_1, \dots, \overline{x}_n, \overline{v}_1, \dots\) stetig differenzierbar bis zur Ordnung \(\nu\); dabei bedeuten \(v_1, \dots \) die Werte der mit Hilfe der \(f_i^{(s)}\) berechneten \(\dfrac {\partial^{k} u_i}{\partial^{k_0}t \partial^{k_1}x_1 \dots \partial x_x^{k_n}}\) an der Stelle \(t_0, \overline{x}_1, \dots, \overline{x}_n \). Es sei \(q = \max (k_1 + \cdots + k_n)\), \(q < \mu\), \(p= \min (\nu, \mu - q)\). Es werden Polynome \(u_i^*\) in \(t -t_0, x_1 - \overline{x}_1 , \dots, x_n - \overline{x}_n\) konstruiert, welche der Differentialgleichung bzw. den Randbedingungen bis zu den Gliedern mindestens der Ordnung \(h + 1\) bzw. \(\mu + 1\) genügen, wo \(h\) die größte ganze Zahl mit \(hq \leqq p\) ist.