The proof of the Nirenberg-Treves conjecture
Nils Dencker (2003)
Journées équations aux dérivées partielles
Similarity:
We prove the Nirenberg-Treves conjecture : that for principal type pseudo-differential operators local solvability is equivalent to condition (). This condition rules out certain sign changes of the imaginary part of the principal symbol along the bicharacteristics of the real part. We obtain local solvability by proving a localizable estimate for the adjoint operator with a loss of two derivatives (compared with the elliptic case). The proof involves a new metric in the Weyl (or Beals-Fefferman)...