On certain systems of partial differential equations of the first order with several dependent variables. (Q1551002)

Es handelt sich um solche Systeme von partiellen Differentialgleichungen erster Ordnung, die durch Jacobi'sche Determinanten aufgelöst werden können. Den einfachsten Fall bildet hier das aus einer einzigen Gleichungen bestehende System \[ (1)\quad \frac {\partial z_1}{\partial x_1} +\frac {\partial z_2}{\partial x_2} +\dotsm +\frac {\partial z_n}{\partial x_n} =0, \] und die allgemeine Lösung lautet: \[ (-1)^{i+1}z_i=\frac {\partial (y_1\; .\; .\; .\; .\; y_{n-1})}{\partial (x_1\ldots x_{i-1}x_{i+1}\ldots x_n)}, \] wo die rechte Seite eine Jacobi'sche Determinante bedeutet, in der \(y_1\ldots y_{n-1}\) willkürliche Functionen von \(x_1\ldots x_n\) sind. Die \(n(n-1)\) Ausdrücke \[ z_{ik}=(-1)^{i+k-1} \frac {\partial (y_1\; .\; .\; .\; .\; .\; .\; .\; y_{n-2})}{\partial (x_1\ldots x_{i-1}x_{i+1}\ldots x_{k-1}x_{k+1}\ldots x_n)} \quad i\gtrless k \] stellen offenbar eine Lösung des folgenden Systems von \(n\) Gleichungen dar \[ (2)\quad \left\{\begin{matrix} \l & \l & & \l\\ \frac {\partial z_{12}}{\partial x_2} + & \frac {\partial z_{13}}{\partial x_3} & + \dotsm + & \frac {\partial z_{1n}}{\partial x_n} =0, \\ \frac {\partial z_{21}}{\partial x_1} + & \frac {\partial z_{23}}{\partial x_3} & + \dotsm + & \frac {\partial z_{2n}}{\partial x_n} =0, \\ \quad\vdots & \quad\vdots & & \quad\vdots \\ \frac {\partial z_{n1}}{\partial x_1} + & \frac{\partial z_{n2}}{\partial x_2} & + \dotsm + & \frac {\partial z_{n,n-1}}{\partial x_{n-1}}=0. \end{matrix}\right. \] Diese Lösung ist, wie bewiesen wird, die allgemeinste; aus ihrer Form geht hervor, dass zwischen den \(z\) die Bedingungsgleichungen bestehen müssen \[ z_{ik}=-z_{ki},\quad z_{ik}z_{lm}+z_{il}z_{mk}+z_{im}z_{kl}=0; \] in Folge dessen sind nur \(2n-3\) der \(z\) von einander unabhängig. Setzt man für \(z_{ik}\) unter Einführung einer neuen willkürlichen Function \(\lambda\) die Werthe \[ z_{ik}=\lambda \frac {\partial (y_1\; .\; .\; .\; .\; .\; .\; .\; y_{n-2})}{\partial (x_1\ldots x_{i-1}x_{i+1}\ldots x_{k-1}x_{k+1}\ldots x_n)}, \] zwischen welchen die nämlichen Relationen, wie vorhin bestehen, so stellen diese die allgemeine Lösung des folgenden Systems dar: \[ (3)\quad \left\{\begin{matrix} \r\;& \l \\ & z_{ik}\left( \frac {\partial z_{l1}}{\partial x_1} + \frac {\partial z_{l2}}{\partial x_2} +\dotsm +\frac {\partial z_{ln}}{\partial x_n} \right) \\ + & z_{li} \left( \frac {\partial z_{k1}}{\partial x_1} +\frac {\partial z_{k2}}{\partial x_2} +\dotsm +\frac {\partial z_{kn}}{\partial x_n} \right)\\ + & z_{kl} \left( \frac {\partial z_{i1}}{\partial x_1} +\frac {\partial z_{i2}}{\partial x_2} +\dotsm +\frac {\partial z_{in}}{\partial x_n} \right) =0. \end{matrix} \right. \] Diese Ergebnisse werden nun in naheliegender Weise verallgemeinert. Das zu integrirende System besteht alsdann aus \[ n_{m-1}=\frac {n(n-1)\ldots (n-m+2)}{1.2\ldots (m-1)} \] Gleichungen von ähnlicher Beschaffenheit wie (1) mit \((n-1)n_{m-1}\) abhängiger Variablen, zwischen welchen so viele den obigen analoge Relationen bestehen, dass nur \(m(n-m)+1\) unter ihnen von einander unabhängig sind. Für \(m=1\) und \(m=2\) ergeben sich die Systeme (1) und (2). Wie aus ihnen das System (3), so wird aus dem allgemeinen ein analoges gebildet, dessen Lösung noch den willkürlichen Factor \(\lambda\) enthält. Die Fälle \(m=n-1\) und \(m=n-2\) werden besonders behandelt und führen auf bekannte Resultate.