Ueber die Integration linearer nicht homogener Differentialgleichungen. (Q5913951)

Die vorliegende Abhandlung bildet die Fortsetzung einer in Schlömilch Z. XXX. 27 ff. und 79 ff. (S. F. d. M. XVII. 1885. 299, JFM 17.0299.02) veröffentlichten Arbeit, worin gezeigt wird, wie das ``Supplement-Integral'' einer completen Differentialgleichung, d. h. die Function, die zu der vollständigen Lösung der reducirten Gleichung hinzuzufügen ist, um das vollständige Integral der completen Differentialgleichung darzustellen, ohne Anwendung der Variation der Constanten erhalten werden kann. Die für diesen Zweck hier behandelte Gleichung lautet: \[ (1) \quad (a_2 + b_2 x) \; y'' + (a_1 + b_1 x) \; y' + (a_0 + b_0 x) \; y = \chi, \] unter \( \chi \) eine beliebige Function von \( x \) verstanden. Die Gleichung lässt sich durch Substitutionen der Form \( x = g(\xi), y = \eta h(\xi) \) auf die Gestalt \[ (2) \quad \xi\;\frac {d^2 \eta}{d \xi^2} + (p + q + \xi)\;\frac {d \eta}{d \xi} + p \eta = f(\xi) \] bringen, und für diese wird das Supplementintegral mit Hülfe der Laplace'schen Methode in zwei Formen dargestellt: \[ a) \quad \eta = - \int_{u_1}^{u_2} \left\{ e^{u \xi} u^{p - 1} (u + 1)^{q - 1} \int_{u_0}^u F(u) \; u^{-p} (u + 1)^{-q} du \right\} du, \] worin \( F(u) \) so zu bestimmen ist, dass \( \int_{u_1}^{u_2} e^{u \xi} F(u) \, du = f(\xi) \) und die Grenzen \( u_1, u_2 \) so zu wählen sind, dass \[ \biggl| e^{u \xi} u^p (u + 1)^q \int_{u_0}^u F(u) \; u^{-p} (u - 1)^{-q} du \overset{u_1}{\underset {u_0}{\biggr|}} = 0 \] ist. \[ b) \quad \eta = \int_{u_1}^{u_2} \left\{ u^{-p} (u + 1)^{-q} F(u) \int_{u_0}^u e^{u \xi} u^{p - 1} (u + 1)^{q - 1} du \right\} du, \] \[ \int_{u_1}^{u_2} e^{u \xi} F(u) \, du = f(\xi), \] \[ | e^{u \xi} u^p (u + 1)^q \underset{u_0}| = 0. \] Die Aufgabe, \( F(u) \) aus der Functionalgleichung \[ (3) \quad \int_{u_1}^{u_2} e^{u x} F(u) \, du = f(x) \] zu bestimmen, wird für den Fall, dass \( f(x) \) eine echt gebrochene Function ist, gelöst, indem von der aus der Theorie der Gammafunctionen bekannten Relation \[ \int_0^{\pm \infty} e^{ux} u^{\nu - 1} du = \frac {(-1)^{\nu} \Gamma (\nu)}{x^{\nu}} \qquad (\nu > 0) \] \[ (+ \infty \; \text{für} \; x < 0, - \infty \; \text{für} \; x > 0) \] ausgegangen wird. Bemerkenswert sind noch folgende Hülfsmittel zur Bestimmung von \(F\) in (3), wenn \(f\) gegeben ist. \(F\) wird nach Abel's Vorgang ``die Determinante von \(f\)'' genannt. Ist \(F(u)\) die Determinante von \(f(x)\), dann ist \(\frac {d^n F(u)}{du^n}\) die Determinante von \((-1)^n x^n f(x),\) wenn \[ \biggl| e^{ux}\;\frac {d^{n - 1} F}{du^{n - 1}} \underset{u_1}{\overset{u_2}{\biggr|}} = 0, \] und \( (u - \alpha)^a (u - \beta)^b F(u) \) die Determinante von \[ e^{\beta x} \frac {d^b}{dx^b} \left\{ e^{(\alpha - \beta) \; x} \frac {d^a}{dx^a} e^{-ax} f(x) \right\} . \] Der Fall, dass in (1) \( \chi \) eine ganze Function \[ A_0 + A_1 x + \cdots + A_{\mu} \frac {x^{\mu}}{\mu !} \] ist, wird besonders behandelt. Wenn \( b_0 = 0 \) ist, dann ist das Supplementintegral eine ganze Function \( \mu^{\text{ten}} \) Grades, deren Coefficienten sich durch Substitution in (1) mittels recurrenter Gleichungen bestimmen. Ist \(b_0\) von Null verschieden, dann hat das Supplementintegral die Form \[ y = z + \alpha_0 + \alpha_1 x + \frac {\alpha_2 x^2}{2} + \cdots + \alpha_{\mu - 1} \frac {x^{\mu - 1}}{(\mu - 1)!} , \] worin \(\alpha_0, \dots, \alpha_{\mu - 1}\) sich durch Coefficientenvergleichung nach der Substitution in (1) eindeutig bestimmen lassen, \(z\) aber aus der Differentialgleichung \[ (a_2 + b_2 x) \; z'' + (a_1 + b_1 x) \; z' + (a_0 + b_0 x) \; z = A_0 - (a_0 \alpha_0 + a_1 \alpha_1 + a_2 \alpha_2) \] zu bestimmen ist, was direct mittels der Laplace'schen Methode bewirkt werden kann, bis auf einige Ausnahmefälle, wo die Transformation in (2) erforderlich wird. Im zweiten Teile der Arbeit wird eine Uebersicht derjenigen Differentialgleichungen gegeben, welche auf die Gleichungen \[ (a_2 + b_2 x + c_2 x^2) \; y'' + (a_1 + b_1 x) \; y' + a_0 y = X, \] \[ (a_2 + b_2 x) \; y'' + (a_1 + b_1 x) \; y' + (a_0 + b_0 x) \; y = X \] zurückgeführt werden können. Für die erste ist das Supplementintegral in der erwähnten früheren Arbeit (siehe JFM 17.0299.02) dargestellt worden.