No label defined (Q4239745)

The authors consider a quasilinear hyperbolic equation \[ \displaystyle\sum_{m-r<| \alpha| \leq m} a_\alpha(y,u^{(\beta)} \partial_y^\alpha u)=g(y,u^{(\beta)}),\qquad | \beta| \leq m-r, \quad 1\leq r\leq m, \] with \(a_\alpha, g\) real analytic functions of its arguments. They assume that the equation is a weakly hyperbolic one with constant multiplicity with respect to a given direction \(\nu_0\), and assume that Levi's conditions for a given \(C^\infty\) solution are fulfilled. Besides, on one side of an \(C^2\) hypersurface \(S\) with its normal direction \(\nu_0\) at some point, the solution \(u\) is analytic, then locally the analyticity can propagate to another side of \(S\).