Sur le développement des intégrales d'un système d'équations différentielles au voisinage d'un point singulier. (Q1527550): Difference between revisions

In seiner Inauguraldissertation (1879) leitet Hr. Poincaré Entwickelungen her für die Integrale eines Systems: \[ \begin{aligned} \frac{dx_1}{dt} &= a_{11}x_1 +\cdots+ a_{1n}x_n + P_1(x_1,\dots,x_n),\\ .\quad.\quad&.\quad.\quad.\quad.\quad.\quad.\quad.\quad.\quad.\quad.\quad.\quad.\\ \frac{dx_n}{dt} &= a_{n1}x_1 +\cdots+ a_{nn}x_n + P_n(x_1,\dots,x_n),\end{aligned} \] wo \(P_1\), ..., \(P_n\) Potenzreihen sind, welche nur höhere Potenzen von \(x_1\), ..., \(x_n\) als die ersten enthalten. Hierbei werden jedoch gewisse Voraussetzungen gemacht, unter anderem, dass die Gleichung \[ \Delta(\lambda)\equiv\begin{vmatrix} a_{11}-\lambda,&a_{12},&\hdots&a_{1n}\\ a_{21},&a_{22}-\lambda,&\hdots&a_{2n}\\ \hdotsfor4\\ a_{n1},&a_{n2},&\hdots&a_{nn}-\lambda\end{vmatrix} = 0 \] nur einfache Wurzeln haben soll. Diese Annahme lässt der Verf. nun fallen und stellt den Satz auf, dass, unter Beibehaltung der übrigen von Hrn. Poincaré gemachten Beschränkungen, die Integrale sich folgendermassen ausdrücken lassen: Die Auflösung von \(\Delta(\lambda)\) in ``Elementarteiler'' gebe \[ \Delta(\lambda) = (\lambda-\lambda_1)^{l_1} (\lambda-\lambda_2)^{l_2}\dots (\lambda-\lambda_r)^{l_r}; \] dann entspricht jeder Wurzel \(\lambda_\nu\) ein System von \(l_\nu\) Integralen von der Form: \[ \begin{aligned} &T_{\nu1} = K_{\nu1} e^{\lambda_\nu t},\\ &T_{\nu2} + T_{\nu1} = K_{\nu2} e^{\lambda_\nu t},\\ &.\quad.\quad.\quad.\quad.\quad.\quad.\quad.\quad.\quad.\quad.\quad.\\ &T_{\nu l_\nu} + T_{\nu l_\nu-1} +\cdots+ T_{\nu1}\frac{t^{l_\nu-1}}{\underline{|l_\nu-1}} = K_{\nu\nu} e^{\lambda_\nu t},\end{aligned} \] wo \(T_{\nu a}\) Potenzreihen in \(x_1\), ..., \(x_n\) bedeuten, und \(K_{\nu a}\) Integrationsconstanten sind. Der Beweis wird nur für den Fall \(n=2\) durchgeführt.