On the local insolvability for a class of P.D.O. with multiple characteristics (Q803828)

The author considers the problem of a local insolvability for some special class of pseudodifferential operators \(P(x,D)\). These operators are defined in a domain \(\Omega \subset {\mathbb{R}}^ n\) and have order m. Let the principal symbol degenerate at the smooth conic submanifold \(\Sigma \subset T^*\Omega \setminus 0\) of codimension 1: \(p_ m(\Sigma)=0\). According to the definition the symbol of the operator \(P(x,D)\in \eta_ 1^{m,M}(\Omega,\Sigma)\), if there exist \(K\subset \subset \Omega\) and \(C>0\) such that \[ (1)\quad | p_{m-j}(x,{\dot \xi})| \leq C\cdot (d(x,{\dot \xi}))^{M-\ell j},\quad j=0,...,[M/1]. \] In inequality (1) the following notations are used: \({\dot \xi}=\xi /| \xi |\), d(x,\({\dot \xi}\))\(=\inf \{| x-y| +| \eta - {\dot \xi}| \}\), (x,\({\dot \xi}\))\(\in K\times S^{n-1}\), (y,\(\eta\))\(\in \Sigma\), \(\ell =M/(M-M')\), where \(M'\) is an integer and \(M/2<M'<M.\) Finally the author assumes that P(x,D) is a transversally elliptic operator with respect to \(\Sigma\) in some neighborhood of the point \((x_ 0,\xi^ 0)\); and \(\Sigma\) is defined by the equation \(\Sigma =\{\phi \}=0\), where \(\phi \in S'(\Omega)\) is a real homogeneous nondegenerate function of order 1. Then there exist the symbols \[ a_{m-j}\in S^{m-M+\ell j-j}(\Omega)\text{ such that } p=\sum^{M- M'}_{j=0,\ell j\in N}a_{m-j}(x,\xi)\cdot (\phi (x,\xi))^{M-\ell j}. \] The main result of this paper is as follows: Theorem 1. Let P(x,D) be the operator with the symbol \(p(x,\xi)\in \eta_{\ell}^{m,M}(\Omega,\Sigma)\), where the integers M and \(M'\) are relatively prime. The operator P(x,D) is locally nonsolvable if the following conditions are fulfilled at some point \((x_ 0,\xi^ 0):\) 1) \(Re(a_{m-M+M'}(x_ 0,\xi^ 0)/a_ m(x_ 0,\xi^ 0))<0;\) 2) the function \(Im(a_{m-M+M'}(x,\xi)/a_ m(x,\xi))|_{\gamma}\) changes the sign from - to \(+\) by motion in the positive direction along the bicharacteristic \(\gamma\subset \Sigma\) \((\gamma \ni (x_ 0,\xi^ 0))\) of the main symbol \(p_ m(x,\xi);\) 3) at the point \((x_ 0,\xi^ 0)\) the function \(Im(a_{m- M+M'}(x,\xi)/a_ m(x,\xi))|_{\gamma}\) either has a zero of finite order or is monotone.