On a class of strongly hyperbolic systems (Q2368530)

The authors consider the Cauchy problem for first-order hyperbolic systems, \[ L(x,D) u= \Biggl(D_0+ \sum^m_{j=1} A_j() D_j+ B(x)\Biggr) u= f,\quad x_0> 0,\;x\in U, \] where \(A_j(x)\), \(B(x)\) are \(C^\infty\), \(m\times m\) matrices and \(0\in U\) an open set in \(\mathbb{R}^{n+1}\). Denote by \(h(x,\xi)=\text{det}(\xi_0+ \sum^m_{j=1} A_j(x)\xi_j\) and assume that \(h\) hyperbolic with respect to \(\xi_0\). Moreover, assume that \[ \Sigma_l= \{(x,\xi)\in T^* U\setminus\{0\}\mid d^j h(x,\xi)= 0,\,j= 0,\dots, l-1, d^lh(x,\xi)\neq 0\} \] is a non-radial involutive \(C^\infty\) submanifold of \(T^*U\) of codimension \(\kappa_l+ 1\), \(\kappa_l\geq 2\). \(L_1(x,\xi)= \xi_0+ \sum^m_{j=1} A_j(x)\xi_j\) satisfies \[ \text{Ker\,}L_1(x,\xi)\cap \text{Im\,}L_1(x, \xi)= \{0\}, \] for \((x,\xi)\in \Sigma_l\cap T^*U\setminus\{0\}\), and \(\dim L_1|_{\Sigma_l}= l\). Put \(\Sigma_l'= \exp(tH_{-x_0})\Sigma_l\), where \(H_{-x_0}\) is Hamilton vector field of \(-x_0\) and denote by \((T^*U\setminus\{0\})^\Lambda_{\Sigma_l'}\), the union of \((T^*U\setminus\{0\}\setminus\Sigma_l'\) and \(PN\Sigma_l'\), the projective normal bundle of \(\Sigma_l'\). Further assume that \(L(x,\xi)\) is uniformly symmetrizable in \((T^*U\setminus\{0\})^\Lambda_{\Sigma_l'}\). Then it is proved that the above Cauchy problem is \(C^\infty\) well posed for any lower order term \(B(x)\).