Hypergeometric partial differential equations. I. (Q2615109)

Verf. untersucht partielle Differentialgleichungen von der Form \[ \varDelta Z\equiv f(\delta)F(\delta')Z-x^ay^bg(\delta)G(\delta')Z = 0. \tag{1} \] \(f\), \(g\), \(F\), \(G\) sind Polynome mit den Graden \(p\), \(q\), \(P\), \(Q\), und es bedeutet \(\delta\equiv x \dfrac{\partial}{\partial x}\), \(\delta'\equiv y \dfrac{\partial}{\partial y}\). Ferner ist \(ab \neq 0\) vorausgesetzt. Durch Einführung neuer unabhängiger Veränderlichen kann \(a=b=1\) erreicht werden. Ist \(p\geqq q\), \(P\geqq Q\), so wird (1) als ``hyperbolische'', in allen anderen Fällen als ``parabolische Differentialgleichung'' bezeichnet. Es wird nur der hyperbolische Fall behandelt. Zunächst wird eine Lösung \(U (x, y; X, Y)\) der Gleichung \(\varDelta Z = 0\) in Form einer Potenzreihe aufgestellt, die auch der ``adjungierten'' Differentialgleichung \[ \varDelta'u\equiv f(-\delta) F (- \delta')U - xy\, g (- \delta - 1) G (-\delta' - 1) U = 0 \tag{2} \] in den Variablen \(X, Y\) genügt. Bei der Bildung der ``adjungierten'' Differentialgleichung ist \(\dfrac{\partial}{\partial x}\) durch \(\delta\) und \(\dfrac{\partial}{\partial y}\) durch \(\delta'\) zu ersetzen. Durch ein Verfahren, das dem Gedankengang der \textit{Riemann}schen Integrationsmethode folgt, wird mit Hilfe der Lösung \(U\) die explizite Lösung von (1) hergeleitet, die \(p + P\) willkürliche Funktionen und \(p\cdot P\) willkürliche Konstanten enthält. Sie kann auch als Lösung des \textit{Cauchy}schen Problems für (1) interpretiert werden. Die angegebene Lösung umfaßt alle Lösungen von (1), die nur so oft differenzierbar zu sein brauchen, wie es (1) fordert, und gewissen Einschränkungen ihres Verhaltens längs der Achsen genügen. Für \(p > q\) oder \(P > Q\) konvergiert die Lösung in der ganzen \((x,y)\)-Ebene; für \(p = q\) und \(P = Q\) konvergiert sie für \(|xy| < 1\). Für \(| xy| > 1\) ergibt sich eine analoge Darstellung der Lösung mit fallenden Potenzen von \(x\) und \(y\). Die Herleitung der Lösung von \[ {\prod\limits_{r=1}^n}f_r(\delta_r)Z={\prod\limits_{r=1}^n}x_rg_r(\delta_r)Z,\quad \delta_r\equiv x_r\dfrac{\partial}{\partial x_r}\qquad(\text{hyperbolischer Typ}) \] wird skizziert. Die Arbeit enthält eine Reihe zum Teil störender Druckfehler.