Riquier's existence theorems. (Q5907374)

Der Zweck der Arbeit ist, die wichtigsten der von \textit{Riquier} bezüglich der Existenzsätze bei Systemen partieller Differentialgleichungen gewonnenen und in seinem umfangreichen Buch ``Les systèmes d'équations aux dérivées partielles'' (1909; F. d. M. 40, 411-412) zusammengefaßten Ergebnisse in möglichst einfacher Form darzustellen. Zuerst werden Monome (Potenzprodukte) einer formalen Betrachtung unterworfen, wobei sich der Verf. (im Gegensatz zu einer ein ähnliches Ziel verfolgenden Arbeit von \textit{Janet} im Journ. de Math. (8) 3 (1920), 65-151; F. d. M. 47, 440 (JFM 47.0440.*)-445) auf das für die Ableitung der Existenztheoreme Notwendige beschränkt. Jeder Ableitung \(\dfrac{\partial u_i}{\partial x_\alpha}\) wird formal ein Monom zugeordnet, dessen Exponenten als Coten der Ableitung bezeichnet werden. Durch lexikographische Anordnung der Monome werden auch die Ableitungen einer bestimmten Anordnung unterworfen. Von dem zu untersuchenden analytischen System partieller Differentialgleichungen \(Du = F\), wo \(D\) ein Differentiationssymbol bedeutet, wird in der Hauptsache die folgende Eigenschaft verlangt: rechts treten nur solche Ableitungen auf, deren erste Cote nicht größer ist als die erste Cote der entsprechenden linken Seite. Für ein solches System wird die Existenz einer gegebenen Anfangsbedingungen genügenden Lösung nachgewiesen, allerdings nur auf einer Mannigfaltigkeit, die durch das Nullsetzen gewisser Variablen charakterisiert ist. Diese unbefriedigende Einschränkung ist bei Beschränkung auf ``orthonome'' Systeme überflüssig. Diese sind in der Hauptsache dadurch charakterisiert, daß die Gleichungen nach gewissen der Ableitungen aufgelöst sind, daß auf der rechten Seite keine der links auftretenden Ableitungen vorkommt, und daß alle in einer Gleichung rechts auftretenden Ableitungen im Sinne der oben erwähnten Anordnung vor der in derselben Gleichung links stehenden Ableitung kommen. Für ein passives (d. h. gewisse notwendige Integrabilitätsbedingungen erfüllendes) orthonomes System wird der Existenzsatz ohne Einschränkung bewiesen. Sodann wird gezeigt, daß jedes verträgliche (kompatible) System auf orthonome Form gebracht werden kann. Verf. schließt mit einer kritischen Diskussion der erhaltenen Resultate.