Note on the form of a first-order partial differential equation. (Q2617501)

Es sei \(f(x_1,\dotsc,x_n,z,p_1,\dotsc,p_n)\) mit stetigen partiellen Ableitungen zweiter Ordnung in der Umgebung einer Stelle \[ a_1,\dotsc,a_n,b,p_1^0,\dotsc,p_n^0\leqno (1) \] versehen, an der \(f=0,f_{p_1}\neq 0\) ist. Es sei \[ F\left (x_1,\dotsc,x_n,z,P_1,\dotsc,P_{n+1}\right )=f\left (x_1,\dotsc,x_n,z,-\frac {P_1}{P_{n+1}},\dotsc, -\frac {P_n}{P_{n+1}}\right ). \] Dann sind die Lösungen der Gleichung \(f=0\), die das Anfangselement (1) enthalten, gerade die Funktionen \(z=z(x_1,\dotsc,x_n),\) die stetige partielle Ableitungen erster Ordnung haben und \(g(x_1,\dotsc,x_n,z)=0\) erfüllen, wobei \(u=g(x_1,\dotsc,x_n,z)\) eine Lösung der Relationen \(F=0,P_k=\frac {\partial u}{\partial x_k}(k=1,\dotsc,n),P_{n+1}=\frac {\partial u}{\partial z}\neq 0\) ist, und zwar eine solche, für die \(x_1,\dotsc,x_n,z,-\frac {P_1}{P_{n+1}},\dotsc,-\frac {P_n}{P_{n+1}}\) das Anfangselement (1) enthält. Für diesen Satz, durch den die Gleichung \(f=0\) auf eine Gleichung \(F=0\) zurückgeführt wird, welche die gesuchte Funktion nicht explicite enthält, gibt Verf. einen kurzen direkten Beweis, ohne Benutzung von ``vollständigen Integralen''.