Sur un système différentiel du second ordre. (Q1491981)

Es sei \((y_{i_k})\) die Integralmatrix des kanonischen linearen Differentialsystems \[ \frac{dy_k}{dx} =\sum_{p=1}^n y_p \sum_{\nu =1}^\sigma\;\frac{A_{p_k}^{(\nu)}}{x-a_\nu} \qquad (k=1,2,\dots, n), \] welche sich für \(x =x_0\) auf die Einheitsmatrix \((\delta_{ik})\) reduziert, und es mögen die den Schnitten \((a_\nu, \infty)\) entsprechenden Fundamentalsubstitutionen von den als variablen Parametern betrachteten singulären Punkten \(a_1, \dots, a_{\sigma}\) unabhängig sein. Das vom Verf. so genannte \textit{Fuchs}sche Problem besteht dann darin, die \(y_{ik}\) und \(A_{i_k}^{(\nu)}\) als Funktionen der \(a_\nu\) zu untersuchen. Die vom Verf. geleistete Lösung des \textit{Riemann}schen Problems (vgl. das Referat S. 369 (JFM 39.0369.01) dieses Bandes) gestattet, die Änderungen der \(y_{ik}\) und \(A_{i_k}^{(\nu)}\) anzugeben, welche jedem System geschlossener Wege der \(a_1, \dots, a_\sigma\) entsprechen Verf. hat (J. für Math. 129) gezeigt, daß die \(y_{i_k}\) als Funktionen der Variabeln \(a_\lambda\) dem Differentialsystem \[ \frac{dy_k}{da_\lambda} = \sum_{p=1}^n y_p \left(\frac{A_{p_k}^{(\lambda)}}{a_\lambda-x} + B_{p_k}^{(\lambda)}\right) \quad (k=1, 2, \dots, n) \] genügen, worin die \(B_{p_k}^{(\lambda)}\) von \(x\) unabhängig sind. Es existiert nun eine Integralmatrix \((\alpha_{i_k})\) des Differentialsystems \[ \frac{d\alpha_k}{da_\lambda} = \sum_{p=1}^h\alpha_p B_{p_k}^{(\lambda)}, \] welche sich für \(a_\lambda = a_\lambda^{(0)}\) auf \((\delta_{i_k})\) reduziert. Setzt man daher \[ (y_{i_k}) (\alpha_{i_k})^{-1} = (z_{i_k}), \quad (\alpha_{i_k})(A_{i_k}^{(\nu)})(\alpha_{i_k})^{-1} = (C_{i_k}^{(\nu)}), \] so genügen die \(z_{ik}\) den simultanen Differentialsystemen \(\frac{dz_k}{dx} = \sum_{p=1}^n z_p \sum_{\nu=1}^\sigma \frac{C_{p_k}^{(\nu)}}{x-a_\nu},\;\frac{dz_k}{da_\lambda}=\sum_{p=1}^n z_p \,\frac{C_{p_k}^{(\nu)}}{a_\lambda-x},\) und aus den Integrabilitätsbedingungen ergibt sich für die \(C_{i_k}^{(\lambda)}\) und \(C_{i_k}^{(\nu)}\) als Funktionen von \(a_{\lambda}\) ein bemerkenswertes Differentialsystem zweiten Grades (erster Ordnung), welches einige algebraische Integrale besitzt, und dessen allgemeine Integration durch das \textit{Fuchs}sche Problem geleistet wird.