Propagation of singularities for a hyperbolic system with double characteristic (Q789608)

The author investigates propagation of singularities of solutions to the Cauchy problem (*) \(LU(t,x)=0\) in [0,T], \(U|_{t=0}=G(x)\in H_{- \infty}\) where a hyperbolic operator on \([0,T]\times {\mathbb{R}}^ n\) with \(\lambda_ j(t,x,\xi)\in B^{\infty}([0,T];S^ 1\!_{1,0})\) real valued, \(b_{jk}(t,x,\xi)\in B^{\infty}([0,T];S^ 0\!_{1,0})\) and the \(\lambda_ j\) are of positive homogeneous degree 1 on \(\xi\) for \(| \xi | \geq M\) and satisfy (**) \(\{\tau +\lambda_ i,\{\tau +\lambda_ j,\tau +\lambda_ k\}\}(t,x,\xi)=0\) on \([0,T]\times {\mathbb{R}}^{2n}\!\!_{x,\xi}\) for the Poisson bracket \(\{\) \(\}\). The author's result is closely related to the work of \textit{H. Kumano-go} and \textit{K. Taniguchi} [Funkc. Ekvacioj, Ser. Int. 22, 161-196 (1979)] in which \(WF(U(t))\subset \cap_{0<\epsilon<1}\Gamma_{t,\epsilon}\) (0\(\leq t\leq T)\) has been proved for the solution U(t,x) of (*). The definition of \(\Gamma_{t,\epsilon}\) is complicated. Under the condition (**) the author proves \(\bigcap_{0<\epsilon<1} \Gamma_{t,\epsilon} = {\tilde\Gamma}_{t,0}\) where \[ {\tilde \Gamma}{}_{t,0} = \{\delta \{Q_ J,P_ J\}(t,t_ 1,...,t_{\nu};y,\eta)| \{t_ 1,...,t_{\nu}\} \] 0-station chains, \((y,\eta)\in WF(G)\) with \(| \eta | \geq M\), \(J=(1),(2),(1,2),(2,1),(1,2,1)\) and \(\delta>0\}\). This means the wave front set WF(U(t)) is, roughly speaking, described simply in terms of a finite subset \(\{\) (1),(2),...,(1,2,1)\(\}\) of the J.