Sur une équation linéaire aux dérivées partielles. (Q5969434)

Setzt man in der von Herrn Darboux (cf. das vorhergehende Referat, JFM 14.0299.02) behandelten Differentialgleichung \(z=(x-y)^m .u\), so geht dieselbein einem speciellen Fall \((\beta=\beta'=m)\) in die folgende über: \[ (x-y) \frac {\partial^2 u}{\partial x \partial y} - \beta ` \frac {\partial u}{\partial x} + \beta {\partial u}{\partial y}=0, \] auf welche der Verfasser schon früher gestossen ist (C. R. XC.; cf. F. d. M. XII. 1880 p. 296, JFM 12.0296.02). Es wird gezeigt, dass sich die von Darboux für jene angegebenen Eigenschaften auf diese allgemeinere Gleichung übertragen lassen. Ist \(\varphi(x, y)\) eine Lösung, so ist es auch \[ (ax+b)^{-\beta} (ay+b)^{-\beta `} \varphi \left ( \frac {cx+d}{ax+b},\frac {cy+d}{ay+b} \right ), \] wo \(a\), \(b\), \(c\), \(d\) beliebige Constanten sind. Als Lösungen, die nur von \(\frac{x}{y}\) abhängig sind, ergeben sich specielle Fälle von \[ x^{-\beta}y^{\mu}F \left (\beta,\mu+\beta',\mu+\lambda,\frac {y}{x} \right ) \; \text{und} \; x^{\mu} y^{-\beta} \; F \left (\beta `,\mu+\beta,\mu+\lambda,\frac {x}{y} \right ), \] (wo \(\lambda\) eine willkürliche Grösse ist), die auch Lösungen sind. Die Methode der unbestimmten Coefficienten ergiebt als Lösung in Form einer Potenzreihe die folgende: \[ u=\sum_{m,n=0}^{\infty} \frac {\beta(\beta+1)\ldots(\beta+m-1)\beta ` (\beta `+1) \ldots(\beta'+n-1)} {m! \; n!} \psi(m+n)x^m y^n, \] wo \(\psi\) eine willkürliche Function bedeutet. Eine passende Wahl von \(\psi\) liefert die hypergeometrische Reihe mit zwei Variabeln \(F_1(\alpha,\;\beta,\;\beta',\;\gamma,\; x,\; y)\). Ferner kann man \(\psi\) so wählen, dass man für \(u\) rationale, ganze Functionen in unendlicher Anzahl und von jedem beliebigen Grade erhält. Ist \(u\) eine beliebige Lösung der Differentialgleichung, so sind \(\frac {\partial u}{\partial x}\) und \(\frac {\partial u}{\partial y}\) Lösungen der Gleichungen, die man aus jener erhat, wenn \(\beta\) resp. \(\beta `\) um eine Einheit vermehrt wird. Diese Eigenschaft, ferner die Transformation \(u=(x-y)^{1-\beta-\beta'}.t\) vermitteln die Herstellung des allgemeinen Integrals für ganz beliebige, reelle oder complexe Werte von \(\beta\) und \(\beta'\).