Abstract
The propagation of analyticity for solutions u of <!-- MATH $P(x,D)u = f$ --> is studied, in terms of wave front sets, for a large class of differential operators <!-- MATH $P = P(x,D)$ --> of principal type. In view of a theorem by L. Hörmander [9], the results obtained imply rather precise results about the surjectivity of the mapping <!-- MATH $P:{C^\infty }(\Omega ) \to {C^\infty }(\Omega )$ --> .

This publication has 11 references indexed in Scilit: