Sur les variétés caractéristiques des équations aux dérivées partielles du second ordre. (Q2580807)

Es handelt sich um Beiträge zur Theorie der allgemeinen partiellen Differentialgleichung zweiter Ordnung in \(n\) unabhängigen Veränderlichen \(x_1, \ldots \!, x_n\) und einer abhängigen Veränderlichen \(Z(x_1, \ldots \!, x_n) = Z (x)\) \[ F(x_1, \ldots \!, x_n;\, Z, Z_1, \ldots \!, Z_n; \, Z_{11}, Z_{12}, \ldots \!, Z_{nn}) = 0 \quad \left( Z_i=\frac{\partial Z}{\partial x_i}, Z_{ij}= \frac{\partial^2 Z}{\partial x_i \partial x_j}\right). \] Ist \(Z(x)\) eine Lösung dieser Differentialgleichung, so kann man vermöge der Parameterrelationen \[ x_1=\xi^1(\lambda_1, \ldots \!, \lambda_{n-1}), \; x_2=\xi^2(\lambda_1, \ldots \!, \lambda_{n-1}), \ldots \!, x_n=\xi^n(\lambda_1, \ldots \!, \lambda_{n-1}) \] der Funktion \(Z(x)\) in beliebiger Weise eine Funktion \(\{Z\} = Z(x(\lambda))\) (auf einer \(V_{n-1}\) der Integral-\(V_n Z(x))\) zuordnen. Sodann besteht das System \[ \{Z_i\} \xi_{\mu}^{i} =\{Z\}_{\mu}, \quad (\{Z_i\}=Z_i(x(\lambda)), \] (Summation über \(i\)), das eine und nur eine Lösung \(\{Z_1\}, \ldots \!,\{Z_{n-1}\}\) gestattet (auf der \(V_{n-1}\) der Integral-\(V_n\)), wenn \[ D_1=\frac{\partial (\xi^1, \ldots \!,\xi^{n-1})} {\partial (\lambda_1, \ldots \!,\lambda_{n-1})} \neq 0. \] Analog besteht für die zweiten Ableitungen \(\{Z_{ij}\}=Z_{ij}(x(\lambda))\) das System \[ \begin{multlined} \{F\}=F(\xi;\,\{Z\}; \,\{Z_i\};\, \{Z_{ij}\}) = 0, \quad \{Z_{ij}\} \, \xi_{\mu}^i \xi_{\nu}^j = \{Z\}_{\mu \nu} \{Z_i\} \, \xi_{\mu \nu}^i, \\ \{Z_{in}\} \, \xi_{\mu}^i = \{Z_{n}\}_{\mu}, \quad \left( \xi_{\mu}^i = \dfrac{\partial \xi^i}{\partial \lambda_{\mu}}, \, \xi_{\mu \nu}^i = \dfrac{\partial^2 \xi^i} {\partial \lambda_{\mu}\partial \lambda_{\nu}}, \, \{Z\}_{\mu \nu} = \dfrac{\partial^2 \{Z\}} {\partial \lambda_{\mu}\partial \lambda_{\nu}} \right) \end{multlined} \] und eine ähnliche, vom Verf. genau angegebene (naturgemäß weit kompliziertere) Determinantenbedingung \(D \neq 0\) garantiert die eindeutige Existenz einer Lösung \(\{Z_{11}\}, \ldots \!, \{Z_{nn}\}\) (auf der \(V_{n-1}\) der Integral-\(V_n\)). Ebenso werden die höheren Ableitungen \(\{Z_{ijk}\}, \ldots \!, \{Z_{i_1, \ldots \!, i_q}\}\) behandelt. Für beliebige Werte \(q > 1\) ist dann stets \(D \neq 0\) die notwendige und hinreichende Bedingung für die eindeutige Existenz eines Lösungssystems \(\{Z_{i_1, \ldots \!, i_q}\}\) bei auf der \(V_{n-1}\) gegebenen Funktionen \(\{Z\}, \ldots \!, \{Z_{n}\}\). Es kommt also stets auf das Verhalten der Determinante \(D\) an, deren Struktur Verf. weiterhin genauer untersucht, und für die er, insbesondere unter Verwendung einer impliziten Darstellung \(V(x_1, \ldots \!, x_n) = 0\) der in Rede stehenden \(V_{n-1}\), einige neue Ausdrücke ableitet. In die Charakteristikentheorie führt der Fall \(D = 0\). Zur eindeutigen Berechnung der \(\{Z_{ij}\}\) ist nunmehr außer der Kenntnis der Funktionen \(\{Z\}\) und \(\{Z_n\}\) noch die Kenntnis von \(\{Z_{nn}\}\) erforderlich (bei impliziter Rechnungsweise). Ähnlich ist für die eindeutige Berechnung der \(\{Z_{ijk}\}\) außer der Kenntnis der Funktionen \(\{Z\}\), \(\{Z_n\}\) noch die Kenntnis von \(\{Z_{nnn}\}\) erforderlich (bei impliziter Rechnungsweise) und analog im allgemeinen Falle. Den sich jetzt einstellenden charakteristischen Bedingungen ist der Abschluß der Arbeit gewidmet.