Normal form of systems of partial differential and pseudo-differential operators in formal symbol classes (Q1332795)

On considère une système \(K\times K\) d'opérateurs différentiels ou bien pseudo-différentiels classiques d'ordre \(\nu\geq 1\) sur \(\omega\times \Gamma\) (\(\omega\) ouvert de \(R_t\times \mathbb{R}^\ell_n\), \(\Gamma\) ouvert conique de \(\mathbb{R}^\ell_\xi\)) de la forme \[ P(t, n, D_t, D_n)= J_K D_t- A(t, n, D_n),\;A(t, n, \xi)\sim \sum^\infty_0 A_j(t, n, \xi), \] \(A_j\) positivement homogène d'ordre \(\nu- j\). On suppose que le polynôme caractéristique \(\text{det}(\lambda J_K- A_0(t, n, \xi))\) a les racines \(\lambda_i(t, n, \xi)\) de multiplicité constante \(m_j\) sur \(\omega\times \Gamma\backslash\{0\}\). Il existe alors un ouvert conique \(\widetilde\omega\) dense dans \(\omega\times \Gamma\), tel que microlocalement sur \(\widetilde\omega\) ou puisse construire une matrice invertible \(N(t, n, D_n)\) d'opérateurs pseudo-différentiels telle que modulo \(S^{- \infty}\), \(N^{- 1} P N\) soit de la forme diagonale, les éléments diagonaux \(Q_j\) étant équivalents aux opérateurs scalaires \((D_t- \lambda_j(t, n, D_n))^{n_j}+\) des termes d'ordre inférieur. Il y a des variantes pour les cas où le symbôle de \(P\) est holomorphe ou bien analytique réel. Dans ces deux cases on applique le résultat ci-dessus pour obtenir des conditions nécessaires et suffisantes enfin que le problème de Cauchy soit bien posé pour \(P\).