Published online by Cambridge University Press: 22 January 2016
In the study of ordinary differential equations, Malgrange ([Ma]) and Ramis ([R1], [R2]) established index theorem in (formal) Gevrey spaces, and the notion of irregularity was nicely defined for the study of irregular points. In their studies, a Newton polygon has a great advantage to describe and understand the results in visual form. From this point of view, Miyake ([M2], [M3], [MH]) studied linear partial differential operators on (formal) Gevrey spaces and proved analogous results, and showed the validity of Newton polygon in the study of partial differential equations (see also [Yn]).