MR3012575 Masatake MIYAKE Masatake MIYAKE Newton Polygon and Gevrey Hierarchy in the Index Formulas for a Singular System of Ordinary Differential Equations Funkcialaj Ekvacioj. Serio Internacia 55 2012 169--237 http://fe.math.kobe-u.ac.jp/FE/FullPapers/55-2/55_169.pdf http://www.ams.org/mathscinet-getitem?mr=MR3012575 We study a singular system of ordinary differential equations, $Lu\equiv\{z^{p+1}DI_N-A(z)\}u=0$, where $z\in\mathbb{C}$, $p\geq0$, $D=d/dz$ and $A(z)$ is an $N$ square matrix of holomorphic functions in a neighborhood of $z=0$. We call a matrix of operators $L\equiv z^{p+1}DI_N-A(z):=(p,A(z))$ a system, for short.</br> In this paper we introduce a notion of $T$-expansion of a matrix function $A(z)$, which gives a summation expression of $A(z)$ different from the usual Taylor expansion. The idea comes from the result by L. R. Volevič [Vol], where he studied a general matrix of partial differential operators $A(\partial_x)$ and he presented a way of finding out a leading part from the matrix operators which we call Volevič's lemma (cf. Section 3).</br> By using the $T$-expansion of $A(z)$, we obtain an algorithm of the reduction procedure of the system $L$ into a decomposition by irreducible subsystems (cf. Theorem A$_\delta$ and (4.23) in Subsection 4.3). From this decomposition we can define the Newton polygon $\mathrm{N}(L)$ by taking the characteristic polynomial of each irreducible subsystem in Definitions 2.2 and 2.3. The importance of the Newton polygon $\mathrm{N}(L)$ will be shown by proving an index formula of the operator $L$ on a formal Gevrey space $\mathcal{G}^s$ $(1\leq s\leq\infty)$ in Theorem C$^{(\infty)}$, which is obtained from the vertical coordinate of an associated vertex of $\mathrm{N}(L)$. This is an extension of J.-P. Ramis's results [Ram1,2] for single operators. The index formula is proved by applying the index formula for general matrix of ordinary differential operators obtained in a joint paper with M. Yoshino [M-Y2]. Many other problems concerned with the study of the singular system $L=(p,A(z))$ are studied. For example, in Subsection 4.4 we give a structure of fundamental matrix solution of $Lu=0$ in exact form. In other words, the reduction procedure into Hukuhara-Turrittin's canonical form is exactly shown. The reduction procedure seems to peel one piece of peel of an onion one piece. Singular system, Newton polygon, Index formula, Formal Gevrey space, Equivalence transformation, Canonical form. Primary 34M25, Secondary 34M35. 55-169 2012 Newton Polygon and Gevrey Hierarchy in the Index Formulas for a Singular System of Ordinary Differential Equations Masatake MIYAKE Masatake MIYAKE 1 Balser, W. From Divergent Power Series to Analytic Functions Lecture Notes in Math., 1582, Springer-Verlag, Berlin 1994 MR1317343 2 Balser, W. Formal Power Series and Linear Systems of Meromorphic Ordinary Differential Equations Universitext, Springer-Verlag, New York 2000 MR1722871
3 Barkatou, M. A. An algorithm to compute the exponential part of a formal fundamental matrix solution of a linear differential system Appl. Algebra Engrg. Comm. Comput. 8 1997 1-23 MR1465085
4 Barkatou, M.; Pflügel, E. An algorithm computing the regular formal solutions of a system of linear differential equations J. Symbolic Comput. 28 1999 569-587 MR1731938
5 Braaksma, B. L. J. Multisummability of formal power series solutions of nonlinear meromorphic differential equations Ann. Inst. Fourier (Grenoble) 42 1992 517-540 MR1182640
6 Deligne, P. Équations Différentielles à Points Singuliers Réguliers Lecture Notes in Math., 163, Springer-Verlag, Berlin-New York 1970 MR0417174
7 Horn, J. Zur Theorie der Systeme linearer Differentialgleichungen mit einer unabhängingen Veränderlichen, II Math. Ann. 40 1892 527-550 MR1510732
8 Hsieh, Po-Fang; Sibuya, Y. Basic theory of ordinary differential equations Universitext, Springer-Verlag, New York 1999 MR1697415
9 Hufford, G. On the characteristic matrix of a matrix of differential operators J. Differential Equations 1 1965 27-38 MR0176228
10 Jurkat, W. B.; Lutz, D. A. On the order of solutions of analytic linear differential equations Proc. London Math. Soc. (3) 22 1971 465-482 MR0287062
11 Kitagawa, K. L'irrégularité en un point singulier d'un système d'équations différentielles linéaires d'ordre 1 J. Math. Kyoto Univ. 23 1983 427-440 MR0721377
12 Komatsu, H. On the index of ordinary differential operators J. Fac. Sci. Univ. Tokyo Sect. IA Math. 18 1971 379-398 MR0303568
13 Loday-Richaud, M. Solutions formelles des systèmes différentiels linéaires méromorphes et sommation Exposition. Math. 13 1995 116-162 MR1346200
14 Loday-Richaud, M. Rank reduction, Normal forms and Stokes matrices Expo. Math. 19 2001 229-250 MR1852074
15 Lutz, D. A. Some characterization of system of linear differential equations having regular singular solutions Trans. Amer. Math. Soc. 26 1967 424-441 MR0206370
16 Malgrange, B. Sur les points singuliers des équations différentielles linéaires Enseignement Math. (2) 20 1974 147-176 MR0368074
17 Miyake, M. On Cauchy-Kowalevski's theorem for general systems Publ. Res. Inst. Math. Sci. 15 1979 315-337 MR0555658
18 Miyake, M. On the determinant of matrices of ordinary differential operators and an index theorem Funkcial. Ekvac. 26 1983 155-171 MR0736898 0736898 19 Miyake, M. On the irregularity for general system of differential equations in the complex domain Funkcial. Ekvac. 26 1983 211-230 MR0736902 0736902 20 Miyake, M.; Ichinobe, K. Irregularity for singular system of ordinary differential equations in complex domain Funkcial. Ekvac. 52 2009 53-82 MR2538279 2538279
21 Miyake, M.; Yoshino, M. Wiener-Hopf equation and Fredholm property of the Goursat problem in Gevrey space Nagoya Math. J. 135 1994 165-196 MR1295823
22 Miyake, M.; Yoshino, M. Toeplitz operators and an index theorem for differential operators on Gevrey spaces Funkcial. Ekvac. 38 1995 329-342 MR1356332 1356332
23 Moser, J. The order of a singularity in Fuchs' theory Math. Z. 72 1959/1960 379-398 MR0117375
24 Okubo, K.; Kohno, M. Asymptotic expansions Kyoiku Shuppann 1976 (in Japanese)
25 Pflügel, E. Effective formal reduction of linear differential systems Appl. Algebra Engrg. Comm. Comput. 10 2000 153-187 MR1742739
26 Ramis, J.-P. Dévissage Gevrey Astérisque, 59-60, Soc. Math. France, Paris 1978 pp. 173-204 MR0542737
27 Ramis, J.-P. Théorèmes d'indices Gevrey pour les équations différentielles ordinaires Mem. Amer. Math. Soc. 48 1984 no. 296, 95pp MR0733946
28 Ramis, J.-P. Les séries $k$-summable et leurs applications Lecture Notes in Phys., 126, Springer-Verlag, Berlin-New York 1980 pp. 178-199 MR0579749
29 Ramis, J.-P.; Sibuya, Y. A new proof of multisummability of formal solutions of non linear meromorphic differential equations Ann. Inst. Fourier (Grenoble) 44 1994 811-848 MR1303885
30 Sibuya, Y. Ordinary differential equations in complex domain Kinokuniya 1976 (in Japanese); Linear Differential Equations in the Complex domain: Problem of Analytic Continuation, Translations of Mathematical Monographs, 82, American Mathematical Society, Providence, RI, 1990 MR1084379
31 Volevič, L. R. On general system of differential equations Dokl. Acad. Nauk SSSR 132 1960 20-23; Soviet Math. Dokl., 1 (1960), 458-461 MR0131045
32 Wasow, W. Asymptotic Expansions for Ordinary Differential Equations Pure and Applied Mathematics, Vol. XIV, Interscience Publishers John Wiley & Sons, Inc., New York-London-Sydney 1965 (Also Dover, New York, 1987) MR0203188