Sur une proposition relative aux équations linéaires du second ordre à deux variables indépendantes. (Q1473456)

Die linearen partiellen Differentialgleichungen \[ (E_0)\qquad \frac{\partial^2z}{\partial x\partial y}+a\;\frac{\partial z}{\partial x}+b\;\frac{\partial z}{\partial y}+cz=0 \] spielen in der Theorie der Flächen eine wichtige Rolle. Sie gehen bekanntlich durch die Transformation \[ \frac{\partial z}{\partial y}+az=z_1 \] in eine Gleichung \((E_1)\) von derselben Form über, und die sog. Invarianten \[ \begin{aligned} h_0 & =\frac{\partial a}{\partial x}+ab-c,\\ k_0=h_{-1}& =\frac{\partial b}{\partial y}+ab-c\end{aligned} \] verändern sich dabei folgendermaßen: \[ \begin{aligned} & h_1=2h_0-h_{-1}-\frac{\partial^2\log h_0}{\partial x\partial y},\;& k_1=h_0.\end{aligned} \] Es gehört auf diese Weise zu \((E_0)\) die ganz bestimmte ``\textit{Laplace}sche Folge'' \[ \text{mit den Invarianten }\begin{aligned} & (E_0),(E_1),(E_2),\dots\;& h_{-1},h_0,h_1,h_2,\dots.\end{aligned} \] Der Verf. beweist, daß unter den Invarianten \(h_{- 1}, h_0,\dots,h_{p-1}\) sicher eine verschwindet, wenn \(p+2\) linear unabhängige Lösungen von \((E)\) eine Gleichung von der Form \[ \frac{\partial}{\partial x} \left(Az+A_1\;\frac{\partial z}{\partial y}+\cdots+A_p\;\frac{\partial^pz}{\partial y^p} \right) =0 \] erfüllen. Beweis eines \textit{Goursat}schen Theorems mit Hilfe eines \textit{Bompiani}schen Satzes.