Solvability and limit bicharacteristics
We study the solvability of pseudodifferential operators which are not of principal type. The operator will have real principal symbol and we shall consider the limits of bicharacteristics at the set where the principal symbol vanishes of at least second order. The convergence shall be as smooth curves, then the limit bicharacteristic also is a smooth curve. We shall also need uniform bounds on th