Formal solutions of irregular linear differential equations. I. (Q2617455)

Beweis des folgenden Satzes: Wenn die Koeffizienten der Differentialgleichung \[ y^{(n)}+a_1(x)y^{(n-1)}+\dotsb +a_n(x)y=0 \] formale Potenzreihen nach fallenden Potenzen von \(x^{\frac 1p}\) sind, wo \(p\) eine ganze positive Zahl, so gibt es stets \(n\) linear unabhängige formale Lösungen der Form \[ y=e^{Q(x)}x^{\frac r{mp}}[s_0(x)(\log x)^k+s_1(x)(\log x)^{k-1}+\dotsb +s_k(x)]. \] Dabei ist \(m\) eine positive Zahl \(\leqq n,Q(x)\) ein Polynom von \(x^{\frac 1{mp}}\), und die \(s_i(x)\) sind formale Reihen nach fallenden Potenzen von \(x^{\frac 1{mp}}\).