Newton polygons and formal Gevrey indices in the Cauchy-Goursat-Fuchs type equations (Q1176087)

Let \(tD_ t=(t_ 1D_{t_ 1},\ldots,t_ qD_{t_ q})\), \((tD_ t)^ j=(t_ 1D_{t_ 1})^{j_ 1}\cdots(t_ qD_{t_ q})^{j_ q}\). The author is studying the mapping \(L_ m:C^ \infty/C^ s\to C^ \infty/C^ s\), \(1\leq s<\infty\), where \(C^ s\) is the formal Gevrey class and \(L_ m\) is the Cauchy-Goursat-Fuchs type integrodifferential operator \(L_ m=P_ m(tD_ t)+Q(x,t;D_ x,D_ t)+R(x,t;D_ x,D_ t)\) with \(P_ m\) being an operator of Euler type of order \(m\), that is \[ P_ m(tD_ t)=\sum_{| j|\leq m}a_ j(tD_ t)^ j,\text{ if } m\geq 1 \text{ or } 0,\quad \text{ if } m=0, \] \[ Q=\sum_{|\sigma|=| j|}b^{(\sigma)}_{\alpha_ j}(x)t^ \sigma D^ \alpha_ xD^ j_ t,\quad R=\sum_{\alpha_ j}\sum_{|\sigma|>| j|}c^{(\sigma)}_{\alpha_ j}(x,t)t^ \sigma D^ \alpha_ xD^ j_ t. \] A uniqueness and existence theorem for the problem in terms of the \(G^ s\)-principal part of \(L_ m\) is proven. Note that such operators like \(tD_ t-D_ x\) for \(m=1\) are excluded, but an operator \(I-tD_ tD_ x^{-1}\) treats.