On a necessary condition for the wellposedness of the Cauchy problem for evolution equations (Q2640046)

Untersucht wird die Differentialgleichung höherer Ordnung bezüglich t \((\partial_ t^ m-\sum^{m}_{j=1}a_ j(t,x;D)\partial_ t^{m- j})u=0\). Dabei ist \(D=-i\partial /\partial x\); die \(a_ j(t,x;\xi)\) seien Polynome in \(\xi\) vom Grad jp \((p\in {\mathbb{R}},p>0)\) und es liege für \(t=0\) ein degenerierter Fall vor: \(h_ j(0,x;\xi)=0\) in \(V(x_ 0,\xi^ 0)\). Hierbei bezeichne \(h_ j\) den homogenen Anteil in \(\xi\) vom Grad jp von \(a_ j\). Das Cauchyproblem hierfür heißt ``H\({}^{\infty}\)-well posed'', wenn für jede \((u_ 0,u_ 1,...,u_{m-1})\in \prod H^{\infty}\) genau eine Lösung existiert mit \(\partial^ j_ tu(t,\cdot)\in H^{\infty}\) \((j=0,1,...,m-1)\) und \(\partial^ j_ tu(0,x)=u_ j(x)\) \((j=0,1,...,m-1)\); \(0\leq t\). Gezeigt wird: notwendig für die \(``H^{\infty}\)-wellposedness'' dieses Cauchyproblems ist, daß jede Wurzel \(\lambda_ i(0,x_ 0;\xi^ 0)\) einer sogenannten subcharakteristischen Gleichung nichtpositiven Realteil hat. Bewiesen wird dies mit Mikrolokalisation in t nach Mizohata.