Sur l'étude analytique des solutions d'un système d'équations différentielles dans le voisinage d'un point singulier d'indétermination. II, III. (Q2582061)

Verf. betrachtet ein System der Form \[ x^{k+1}\frac{dy_{i}}{dx}=\mathfrak P_i(y_1,\dots,y_n;x)\quad(i=1,\dots,n), \] wo die \(\mathfrak P_i\) Potenzreihen der \(y_\nu\) sind mit Koeffizienten, die auf der Fläche von \(\log x\) für \(0< | x| < r\) regulär und für \(| x|\to0\) asymptotisch gleich gewissen Potenz\-reihen sind; und zwar untersucht er jetzt den Fall, daß die charakteristische Glei\-chung mehrfache Wurzeln und auch die Wurzel 0 hat. Er nimmt an, daß das System formal durch Potenzreihen befriedigt wird, und will zeigen, daß es Integrale gibt, die in gewissen Sektoren diesen Potenzreihen asymptotisch gleich sind. Dazu wird zunächst unter Benutzung eines Satzes von \textit{Hukuhara} (J. Fac. Sci. Hokkaido Univ. I 5 (1937), 123-166; F. d. M. \(64_{\text{II}}\), 1144) das System in die Gestalt transformiert: \[ \begin{aligned} x^{k_i+1}\frac{dy_{i}}{dx}=s_iy_i+a_i(x)+x{\sum\limits_{j=1}^{n}}a_{ij}(x)y_j+ \mathfrak P_i(y_1,\dots,y_n;x)\quad(1\leqq i\leqq m),\\ x\frac{dy_{i}}{dx}=r_iy_i+\varepsilon_iy_{i-1}+a_i(x)+x{\sum\limits_{j=1}^{n}} a_{ij}(x)y_j+ \mathfrak P_i(y_1,\dots,y_n;x)\quad(m< i\leqq n). \end{aligned} \] Dabei sind die \(a_i(x)\) Potenzreihen, die mit einer beliebig hohen Potenz beginnen, und die neuen \(\mathfrak P_i\) sind Potenzreihen der \(y_\nu\) ohne lineare und konstante Glieder. Es sind nun im wesentlichen die zwei Fälle zu unterscheiden, daß in dem betrachteten Sektor die Funktionen \(\exp(- s_ix^{-k_i})\) für \(| x|\to0\) sämtlich ins Unendliche gehen, oder daß sie teils gegen 0, teils ins Unendliche gehen. Im ersten Fall gibt es ein und nur ein Integral, welches der formalen Reihe asymptotisch gleich ist; im zweiten Fall gibt es eine ganze Schar solcher Integrale. Der Nachweis erfolgt durch suk\-zessive Approximationen. Späterhin werden für die Integrale des Systems \[ x^{k+1}\frac{d\zeta_{i}}{dx}=f_i(x)\zeta_i+\mathfrak P_i(\zeta_1,\dots,\zeta_n;x)\quad (i=1,\dots,n), \] wo die \(f_i(x)\) Polynome vom Grad \(k\) sind, Reihen aufgestellt, die nach Potenzen der willkürlichen Konstanten fortschreiten. Dabei ist zunächst die Bedingung erforder\-lich, daß zwischen denjenigen Zahlen \(s_i=f_i(0)\), die auf einer Seite einer durch den Nullpunkt gehenden Geraden liegen, und deren Anzahl gleich der Anzahl der ge\-nannten willkürlichen Konstanten ist, keine Relation der Form \(s_i=\sum a_\nu s_\nu\) mit ganzen nichtnegativen \(a_\nu\), deren Summe \(\geqq2\) ist, besteht. Im Teil III wird auch der Aus\-nahmefall, daß solche Relationen bestehen, durch geeignete Abänderung der be\-treffenden Reihen erledigt.