Symbolic finite solutions by definite integrals of the equation \(\frac{d^n y}{dx^n} =x^m y\). (Q1542027)

Die Lösung vorstehender Gleichung in symbolischer Form wird zunächst für \(n=3\) in folgender Weise hergestellt. Die directe Entwickelung nach Potenzen von \(x\) giebt, wenn man \[ \alpha = m+3,\quad \nu_1 =- \frac{1}{\alpha}, \quad \nu_2 =- \frac{2}{\alpha} \] setzt, \[ y=\sum_{n=0}^{n=\infty}\;\frac{\alpha^{-3n} x^{na}}{n!(1+\nu_1) \dots (n+\nu_1)(1+\nu_2) \dots (n+\nu_2)} \cdot \] Führt man nun das Symbol ein \[ \varDelta = \left( \frac{d}{dz} \right)^{-1},\quad \text{so dass}\quad \varDelta^n z^m = \frac{z^{m+n}}{(1+m) \dots (n+m)}, \] so erhält man, wenn noch \(\alpha^{-3} x^a\) gesetzt wird, \[ (1) \qquad y= \sum \frac{z^{-\nu_2} \varDelta^n z^{\nu_2}}{n!(1+\nu_1) \dots (n+\nu_1)} = z^{-\nu_2} \varDelta^{-\nu_1} \sum \frac{\left( \frac{d}{d\varDelta} \right)^{-n} }{n!}\;\varDelta^{\nu_1} z^{\nu_2} = z^{-\nu_2} \varDelta^{-\nu_1} e^{\left( \frac{d}{\varDelta} \right)^{-1}} \varDelta^{\nu_1} z^{\nu_2}, \] wo das Symbol \(\varDelta^{-\nu_1}e^{\left( \frac{d}{\varDelta} \right)^{-1}} \varDelta^{\nu_1}\) auf \(z^{\nu_2}\) angewendet zu denken ist. Mit Hülfe der Eigenschaften dieses Symbols wird gezeigt, dass, wenn der Wert der rechten Seite von (1) für irgend welche gegebenen Werte von \(\nu_1\) und \(\nu_2\) bekannt und endlich ist, er es auch für alle Werte von \(\nu_1\) und \(\nu_2\) ist, die von den gegebenen sich nur um ganze Zahlen unterscheiden. Sind z. B. die neuen Werte \(\nu_1 -i,\nu_2 -k,\) so hat man nur auf die bakannte den Werten \(\nu_1,\nu_2\) entsprechende Function die Operation \[ z^{i-\nu_1} \left( \frac{d}{dz} \right)^i z^{\nu_1 - \nu_2 +k} \left( \frac{d}{dz} \right)^k z^{\nu_2} \] anzuwenden, um die den neuen Werten entsprechende Function zu erhalten. Nun ist \(y\) bekannt für \(m=0\), also \(\nu_1 = -\frac 13\), \(\nu_2 =-\frac 23\) oder \(\nu_1 =- \frac 23\), \(\nu_2 =- \frac 13\). Im ersten Falle muss sein \[ -\tfrac 13 - i = -\tfrac{1}{\alpha} = -\tfrac{1}{m+3},\quad -\tfrac 23 -k =- \tfrac{2}{\alpha}; \] hieraus ergiebt sich \(m= \frac{-9i}{3i +1}\). Ebenso ergiebt sich im zweiten Falle \(m= \frac{-3(3i +1)}{3i +2}\). Für diese beiden Werte von \(m\), unter \(i\) eine beliebige ganze Zahl verstanden, ist also die vorgelegte Differentialgleichung für \(n=3\) in endlicher Form lösbar. Der obige Algorithmus wird nun auf jede beliebige Ordnung der Differentialgleichung ausgedehnt und führt mit Berücksichtigung des Umstandes, dass ihr Integral für \(m=0\) bekannt ist, zu dem Resultat, dass sie für alle Werte von \[ m= \frac{-n(ni +k -1)}{ni +k}\,, \] wo \(k\) eine ganze Zahl \(<n\) und prim zu \(n\), ferner \(i\) eine beliebige positive oder negative ganze Zahl, in endlicher Form integrirt werden kann. Der zweite Teil der Arbeit beschäftigt sich mit der Lösung der vorgelegten Gleichung durch bestimmte Integrale. Die von den Herrn Kummer (Crelle J. Bd. 19) und Spitzer (Borch. J. Bd. 57) gegebenen bestimmten Integrale werden unter eine andere Form gebracht. Ist nämlich \(\psi (x)\) die allgemeine Lösung von \(\frac{d^{n+1} z}{dx^{n+1}} = bx^{m-1} z\), so kann die allgemeine Lösung der Gleichung \[ \frac{d^n y}{dx^n} = ax^m \quad \text{durch} \quad y=\int_0^{\infty} u^{m-1} e^{- \frac ba \frac{u^{m+n}}{m+n}} \psi(xu)du \] ausgedrückt werden, wobei zwischen den \(n+1\) willkürlichen Constantenin \(\psi(x)\) eine gewisse Relation besteht. Während bei der Kummer'schen Lösung \(m\) und \(m+n\) positiv und bei der Spitzer'schen diese Grössen negativ sind, in beiden aber \(n\) positiv vorausgesetzt ist, ist bei der obigen Lösung nur Bedingung, dass \(m+n\) und \(m\) von gleichem Vorzeichen sind und \(\frac ba\) positiv oder negativ, je nachdem dieses Vorzeichen plus oder minus ist. \(\frac{d^{-n} y}{dx^{-n}} =x^m y\) ist als \(y= \frac{d^n (x^m y)}{dx^n}\) zu interpretiren. Ausgehend von Gleichungen der fraglichen Form, deren Lösung bekannt ist, erhält man Lösungen der Gleichung für jeden reellen Wert von \(m\), ausgedrückt durch bestimmte Integrale unter mannichfachen Formen.