Prefer a chat interface with context about you and your work?
The resolution of the Nirenberg–Treves conjecture
We give a proof of the Nirenberg-Treves conjecture: that local solvability of principal-type pseudo-differential operators is equivalent to condition (Ψ).This condition rules out sign changes fromto + of the imaginary part of the principal symbol along the oriented bicharacteristics of the real part.We obtain local solvability by proving a localizable …