Über die Anwendung der Theorie der algebraischen Formen auf die Integration der linearen Differentialgleichungen. (Q1505436)

Der Verf. beschränkt sich auf lineare Differentialgleichungen mit rationalen Koeffizienten. Im 1. Kapitel wird die Aufgabe behandelt, die lineare Differentialgleichung \[ {(1)}\quad y^{(m)}+p_1y^{(m-1)}+\cdots +p_my=0 \] zu integrieren, vorausgesetzt, daß eine Form \(n\)-ter Ordnung mit konstanten Koeffizienten \(f(y_1,y_2,\dots,y_m)\) von \(m\) unabhängigen Lösungen von {(1)} als Funktion von \(x\) gegeben ist (vgl. \textit{Halphen:} Sur un proble\`me concernant les équations différentielles. Journ. de Math. (4) \( 1\)). Es werden die Formen \([\alpha_1\alpha_2 \dots \alpha_{m-1}]\) eingeführt, welche symbolisch dargestellt lauten: \[ [\alpha_1\alpha_2 \dots \alpha_{m-1}]= \left( \sum_1^m {}_i y_i\;\frac{\partial}{\partial y_i} \right)^{n-\alpha_1-\cdots -\alpha_{m-1}} \cdot \left( \sum{}_1 y_i' \frac{\partial}{\partial y_i} \right)^{\alpha_1} \cdots \left( \sum{}_i y_i^{(m-1)} \frac{\partial}{\partial y_i} \right)^{\alpha_{m-1}} \cdot f(y_1,\dots,y_m). \] Diese Formen erscheinen als Koeffizienten der Form \(\varPhi(u_1,u_2,\dots,u_m)\), welche aus \(f(z_1,z_2,\dots,z_m)\) durch die Substitution \[ z_i=y_iu_i+y_i'u_2+\cdots +y_i^{(m-1)}u_m \] entsteht. Aus der Betrachtung der Eigenschaften derselben folgt der Satz: Wird \(f(y_1,y_2,\dots,y_m)\) der Wurzel aus einer rationalen Funktion gleich, so wird das allgemeine Integral von {(1)} sicherlich algebraisch wenn 1. die partikularen Lösungen \(y_1,y_2,\dots,y_m\) keine Gleichung (mit konstanten Koeffizienten) \(\omega(y_1,y_2,\dots,y_m)=0\) befriedigen, 2. die Form \(f(y_1,y_2,\dots,y_m)\) \(m\) algebraisch unabhängige Kovarianten besitzt; 3. wenigstens eine der allgemeinen Invarianten der Form \(f(y_1,y_2,\dots,y_m)\) von Null verschieden ist. Zum Schluß des Kapitels werden einige Fälle erörtert, bei denen die erste Bedingung nicht erfüllt ist. Im zweiten Kapitel werden die allgemeinen Betrachtungen des ersten Kapitels auf den Fall \(m=3\), \(n=3\) angewandt (d. h. die Gleichung dritter Ordnung, die Form dritten Grades). Es werden die Merkmale angegeben, um zu entscheiden, ob eine Form dritten Grades deren Wert als Funktion von \(x\) bekannt ist, die Bedingungen 1-3 erfüllt oder nicht, und dann wird erörtert, wie nach dem gegebenen Wert die Form selbst zu konstruieren ist. Zum Schluß des Kapitels betrachtet der Verf. den ungünstigsten Fall, wo nur der Wert von \(y_1\cdot y_2\cdot y_3\) als Funktion von \(x\) bekannt ist. Zwei Methoden werden auseinandergesetzt die eine von \textit{Halphen;} die andere fordert nur die Bestimmung einer ganzen Zahl und einfache, immer ausführbare algebraische Operationen. Im Kapitel 3 wird wieder die Gleichung dritter Ordnung betrachtet, aber vorausgesetzt, daß der Grad von \(f(y_1,y_2,y_3)\) beliebig sei Folgender Satz wird bewiesen, ein spezieller Fall des allgemeineren Theorems von \textit{Wallenberg} (J. für Math. \(113\); F. d. M. \( 25\), 530, 1894, JFM 25.0530.01): Sind die Lösungen der Gleichung {(2)} \(y'''+p_1y''+p_2y'+p_3=0\) (wo \(p_1,p_2,p_3\) algebraische Funktionen von \(x\)) durch die Relation \(f(y_1,y_2,y_3)=0\) mit konstanten Koeffizienten verbunden, wird die erste Invariante \[ \nu=2p_3-p_2'+\tfrac 13 \,p_1''+\tfrac 23\, p_1p_1'-\tfrac 23\, p_1p_2 + \tfrac{4}{27}\,p_1^3 \] von Null verschieden und das Verhältnis \(\delta_2^3/\nu^8\), wo \[ \delta_2=9 \left(p_2-\tfrac 13\, p_1^2-p_1' \right) \nu^2 + 7 \nu'{}^2 - 6\nu'' \nu, \] nicht konstant, wird endlich \(e^{-\int p_1dx}\) eine algebraische Funktion von \(x\), so ist das allgemeine Integral der Gleichung {(2)} algebraisch. Dieser Satz ergänzt die Betrachtungen am Schluß des ersten Kapitels. Ferner wird die Integration von {(2)} besprochen, wenn \(\nu=0\) oder \(\frac{\delta_2^3}{\nu^8}\)=Const, und eine nicht zerlegbare Form dritten Grades von gewissen linear-unabhängigen Lösungen von {(2)} gleich Null ist. Zwei Methoden werden angegeben; die erste bildet die Anwendung der in den vorigen Kapiteln entwickelten Betrachtungen. Es kommen zur Anwendung die Größen \(\lambda_{\alpha,\beta}=[\alpha,\beta]\) und die betreffenden Formeln. Die zweite Methode ist der Abhandlung von \textit{F. Brioschi}: Sulla teoria delle eauazioni differenziali lineari (Ann. di Math. \(13\); F. d. M. \(17\), 288, 1885, JFM 17.0288.01) entnommen. Hier berichtigt der Verf. einen Schreibfehler von \textit{Brioschi}, welcher in der Formel \[ \mu_{01}=\frac 13 \begin{vmatrix} \lambda_{00} & \lambda_{10} & \lambda_{02} \\ \lambda_{10} & \lambda_{20} & \lambda_{12} \\ \lambda_{01} & \lambda_{11} & \lambda_{03} \end{vmatrix} + \frac 13 \begin{vmatrix} \lambda_{00} & \lambda_{11} & \lambda_{01} \\ \lambda_{10} & \lambda_{21} & \lambda_{11} \\ \lambda_{01} & \lambda_{12} & \lambda_{02} \end{vmatrix} \] statt \({}^1/{}_3\) als Faktor 3 geschrieben hat. Er führt die Rechnungen bis zum Schluß und korrigiert auch einen Fehler bei \textit{Lippm. Schlesinger} am Anfang seiner Kieler Dissertation die Gleichung \[ Y'''+\frac 32\;\frac{D'}{D}\;Y''+\frac 49\;\frac{D''}{D}\;Y' + \frac{1}{81}\;\frac{D'''}{D}\;Y=0 \] muß im letzten Gliede \(-\frac{1}{81}\, \frac{D'''}{D} Y\) haben. -- Kapitel 4 ist der Integration von {(2)} gewidmet, wenn eine quadratische Form mit konstanten Koeffizienten von ihren unabhängigen Lösungen gleich einer Funktion von \(x\) ist, deren logarithmische Ableitung rational ist. Besondere Aufmerksamkeit wird den Gleichungen gewidmet, wenn das Produkt zweier ihrer Lösungen der Gleichung zweiter Ordnung genügt. Kapitel 5 betrachtet teils die Integration der adjungierten Gleichung, teils die mit dem Satze von \textit{G. Darboux} (C. R. \( 90\)) verbundenen Fragen. Zum Schluß wird gezeigt, wie das erste Integral zu konstruieren ist, wenn der Wert von \(f(y_1,y_2,\dots,y_n)\) bekannt ist. Kapitel 6 behandelt die Gleichung zweiter Ordnung. Der Verf. bezweckt, eine praktisch anwendbare Methode anzugeben, um zu entscheiden, ob die gegebene Gleichung \[ (3)\quad y''+p_1y'+p_2y=0 \] mit rationalen Koeffizienten allgemeine algebraische Integrale besitzt oder nicht, und im ersteren Falle sie zu konstruieren. Besondere Aufmerksamkeit wird dem schwierigsten Punkte der Aufgabe, der Auffindung des Wertes \(\lambda\) der Form \(f(y_1,y_2)\), als Lösung der Gleichung: \[ (4)\quad \begin{cases} \lambda^{\text{IV}} \lambda - \frac{4(n-3)}{n}\;\lambda''' \lambda' + \frac{3(n-2)(n-3)}{n(n-1)}\;\lambda''{}^2 +6p_1 \lambda''' \lambda - \frac{6(n-3)}{n-1}\, p_1 \lambda'' \lambda' \\ + \left[ 4p_1'+11p_1^2+\frac{1}{(n-1)}\, (12n^2-44n+44)p_2 \right] \lambda'' \lambda \\ + \lambda'{}^2 \left[ -\frac{4(n-3)}{n}\,p_1' - \frac{4(3n-2)(n-3)}{n}\, p_2 -\frac{(5n-2)(n-3)}{ \lambda(n-1)} \,p_1^2 \right] \\ +\left[p_1''+7p_1p_1' + 6p_1^3+10p_2'+ \frac{12 n^2-24n+24}{n-1}\, p_1p_2 \right] \lambda' \lambda \\ +n \left[p_2''+2p_1'p_2 + 5p_1p_2'+6p_1^2p_2 + \frac{6(n-2)^2}{n-1} \,p_2^2 \right] \lambda^2=0 \end{cases} \] gewidmet. Der Verf. zeigt, daß die Lösung der Aufgabe die Auffindung der ganzen rationalen Funktion fordert, welche diese Gleichung befriedigt. Die Gleichung (4) wurde vom Verf. schon 1899 in der Abhandlung ``Über die in hypergeometrischen Funktionen integrierbaren Gleichungen'' (Sammlung des Instituts der Straßenbauingenieure, Heft 50) aufgestellt.