Sur l'intégration des équations aux dérivées partielles. (Q5908874)

Von einer partiellen Differentialgleichung erster Ordnung \[ \frac{\partial W}{\partial t}=H(t,q_1, \ldots, q_n,p_1,\ldots,p_n) \;\left(p_i=\frac{\partial W}{\partial q_i}\right) \tag{1} \] kenne man \(k<n\) Integrale : \[ F_{\nu}(t,q_1,\ldots,q_n,p_1, \ldots, p_n)=a_\nu \;\;(\nu=1,\ldots,k), \] die paarweise in Involution liegen und die nach \(p_1, \ldots, p_k\) auflösbar sind: \[ p_\nu=\varphi_\nu(t,q_1,\ldots,q_n, p_{k+1},\ldots, p_n,a_1,\ldots, a_k) \;\;(\nu = 1,\ldots, k). \tag{2} \] Dann ist (1), (2) ein Involutionssystem, dessen Integration hinauskommt auf die einer einzigen Gleichung: \[ \frac{\partial W}{\partial t} = H(t,q_1,\ldots,q_n,\varphi_1,\ldots,\varphi_k, p_{k+1},\ldots, p_n) = \overline{H} \] in der \(q_1,\ldots,q_k\) als Parameter zu betrachten sind, und auf eine nachfolgende Quadratur in \(q_1,\ldots,q_k\). Dieser Satz, den der Verf. direkt beweist, findet sich zwar bei Lie nicht ausdrücklich in dieser Form ausgesprochen, er ist aber eine unmittelbare Folge seiner allgemeinen Theorie. In der Tat, die \(2k + 1\) Funktionen: \[ \frac{\partial W}{\partial t}-\overline{H},\,p_\nu-\varphi_{\nu},x_\nu \;(\nu = 1,\ldots,k) \] bilden eine kanonische Funktionengruppe im Sinne Lies, in der die erste Funktion die einzige ausgezeichnete und überdies von \(p_1,\ldots,p_k\) frei ist. Daraus aber folgt der Satz ohne weiteres.