On the integration of the equation \(\frac{d^2y}{dx^2} \frac{x 1}{x} \frac{dy}{dx}=y\) by series (Q1558795): Difference between revisions

Cayley gab im Phil. Mag. (Novbr. 1869) die Lösung der obigen Gleichung, welche eine bekannte Transformation der Riccati'schen Gleichung ist, in Reihen, welche in den integrablen Fällen aus einer endlichen Anzahl von Gliedern bestehen. Glaisher untersuchte darauf in einer Abh. ders. Zeitschr. (Juni 1872) die Relationen zwischen diesen Reihen. Vorliegende Abhandlung enthält im Wesentlichen eine Reproduktion der Ergebnisse dieser Arbeiten in veränderter Darstellung. Setzt man in obiger Gleichung \(y=e^xz\), so erhält man für \(z\) eine ebenfalls lineare Differentialgleichung, von welcher leicht zwei particuläre Integrale in Form von Reihenentwickelungen nach steigenden Potenzen von \(x\) erhalten werden. Diese ergeben für \(y\) die beiden Lösungen: \[ \begin{aligned} y_1= e^x \biggl\{1&- \frac{n- 1}{n-1}x+ \frac{(n-1)(n-3)} {(n-1)(n-2)} \frac{x^2}{1\cdot 2}\\ &- \frac{(n-1)(n-3)(n-5)} {(n-1)(n-2)(n-3)} \frac{x^3}{1\cdot 2\cdot 3} +\cdots\biggr\} \end{aligned} \] \[ \begin{aligned} y_3=x^ne^x \biggl\{1&- \frac{n+1}{n+1}x+ \frac{(n+1)(n+3)} {(n+1)(n+2)} \frac{x^2}{1\cdot2}\\ &-\frac{(n+1)(n+3)(n+5)} {(n+1)(n+2)(n+3)} \frac{x^3} {1\cdot 2\cdot 3}+\cdots \biggr\}. \end{aligned} \] Ebenso führt die Substitution \(y=e^{-x}z\) auf die beiden folgenden Lösungen: \[ \begin{aligned} y_2=e^{- x} \biggl\{1&+ \frac{n-1}{n-1}x+ \frac{(n-1)(n-3)} {(n-1)(n-2)} \frac{x^2}{1\cdot 2}\\ &+\frac{(n-1)(n-3)(n-5)} {(n-1)(n-2)(n-3)} \frac{x^3} {1\cdot 2\cdot 3}+\cdots \biggr\} \end{aligned} \] \[ \begin{aligned} y_4=x^ne^{-x} \biggl\{1 &+ \frac{n+1}{n+1}x+ \frac{(n+1)(n+3)} {(n+1)(n+2)} \frac{x^2}{1\cdot 2}\\ &+\frac{(n+1)(n+3)(n+5)} {(n+1)(n+2)(n+3)} \frac{x^3} {1\cdot 2\cdot 3} +\cdots\biggr\} \end{aligned} \] Diese Reihen convergiren beständig, nur dar für \(y_1\) und \(y_2\) \(n\) nicht positiv grade, für \(y_3\) und \(y_4\) \(n\) nicht negative grade sein. Die Reihen für \(y_1\) und \(y_2\) sind mit dem Gliede, das die Potenz \(x^{\frac{n-1}{2}}\) enthält, abzubrechen, wenn \(n\) positive ungerade, die Reihen für \(y_3\) und \(y_4\) brechen mit dem \(x^{-\frac{(n+1)}{2}}\) enthaltenden Gliede ab, wenn \(n\) negativ ungrade ist, so dass in diesen, wie bekannt, integrablen Fällen die Integrale in algebraischen oder exponentiellen Functionen ausgedrückt sind. Was die Relationen zwischen \(y_1\) \(y_2\) \(y_3\) \(y_4\) anlangt, so wird gezeigt, dass, wenn \(n\) weder positiv noch negativ ungerade ist, \(y_1\) mit \(y_2\), und \(y_3\) mit \(y_4\) identisch sind, und zwar ist: \[ \begin{aligned} y_1=y_2=1 &- \frac{1}{n-2} \frac{x^2}{2}+ \frac{1}{(n-2)(n-4)} \frac{1}{1\cdot 2}\frac{x^4}{2^2}\\ &-\frac{1}{(n-2)(n-4)(n-6)} \frac{1}{1\cdot 2\cdot 3} \frac{x^6}{2^3}+\cdots \end{aligned} \] \[ \begin{aligned} y_3=y_4=x^n\biggl\{1 &+ \frac{1}{n+2} \frac{x^2}{2}+ \frac{1}{(n+2)(n+4)} \frac{1}{1\cdot 2}\frac{x^4}{2^2}\\ &+\frac{1}{(n+2)(n+4)(n+6)} \frac{1}{1\cdot 2\cdot 3} \frac{x^6}{2^3} +\cdots\biggr\}, \end{aligned} \] welche Reihen die bekannten Lösungen sind, die man aus der gegebenen Differentialgleichung für \(y\) unmittelbar durch Entwickelung erhält. Ist \(n\) positiv ungerade, dann sind \(y_1\) und \(y_2\) voneinander unabhängig, während \[ y_3=y_4= \frac{1}{2a} (y_1-y_2) \] ist (\(a\) eine Constante). Ist endlich \(n\) negativ ungrade, dann sind \(y_3\) und \(y_4\) voneinander unabhänging, und es ist \[ y_1=y_2= \frac{1}{2a} (y_4-y_3). \] Schliesslich werden noch die von Glaisher im Quaterly Journ. für positive ungrade \(n\) gegebenen Lösungen \[ y_1= \frac{(- 1)^{\frac{n-1}{2}}x^n} {1\cdot 3\cdot 5\cdots n-2} \biggl( \frac{1}{x} \frac{d}{dx} \biggr)^{\frac{n-1}{2}} \frac{e^x}{x}, \] \[ y_2= \frac{(- 1)^{\frac{n-1}{2}}x^n} {1\cdot 3\cdot 5\cdots n-2} \biggl( \frac{1}{x} \frac{d}{dx} \biggr) \frac{e^{-x}}{x} \] verificirt.