Newton polygons and formal Gevrey classes (Q2640048)

Untersucht wird ein Cauchyproblem \(Pu=f(t,x)\), \(D^ j_ tu|_{t=0}=g_ j\) (0\(\leq j\leq m-1)\) wobei P die Form hat \(P=D_ t^ m+\sum_{0\leq j<m}a_{j,\alpha}(t,x)D^ j_ tD^ 0_ x\), \(x\in {\mathbb{C}}^ n\), \(\alpha \in {\mathbb{N}}^ n\) und ord P\(>m\) ist. Hierzu existiert eine eindeutige Lösung \(u\in G^{\infty}\), nämlich als eine formale Potenzreihe. Gezeigt wird: es ist \(u\in G^ s\) mit \(s=1+1/k_ 1\). Hierin ist \(G^ s\) ein gewisser Interpolationsraum \(G^ 1\subset G^ s\subset G^{\infty}\) wobei \(G^ 1\) konvergente Potenzreihen sind. Und \(k_ 1\) kommt aus der Folge \(0=k_ 0<k_ 1<...<k_{\ell}\) der Anstiege der Seiten des Newtonpolygons von P. Somit ist eine Aussage über die Divergenzordnung von u für partielle Differentialoperatoren gegeben. Dabei kann keine kleinere Gevrey-Ordnung s angegeben werden. Weiter werden allgemeinere P genannt, für die diese Aussage ebenso bewiesen werden kann.