This book contains a thorough exposition of pseudodifferential calculus defined by metrics on the phase space. It contains a proof of the Nirenberg-Treves conjecture and a construction of counterexamples to "optimal" solvability under condition (psi).

This book is devoted to the study of pseudo-di?erential operators, with special emphasis on non-selfadjoint operators, a priori estimates and localization in the phase space. We have tried here to expose the most recent developments of the theory with its applications to local solvability and semi-classical estimates for non-selfadjoint operators. The?rstchapter,Basic Notions of Phase Space Analysis,isintroductoryand gives a presentation of very classical classes of pseudo-di?erential operators, along with some basic properties. As an illustration of the power of these methods, we give a proof of propagation of singularities for real-principal type operators (using aprioriestimates,andnotFourierintegraloperators),andweintroducethereader to local solvability problems. That chapter should be useful for a reader, say at the graduate level in analysis, eager to learn some basics on pseudo-di?erential operators. The second chapter, Metrics on the Phase Space begins with a review of symplectic algebra, Wigner functions, quantization formulas, metaplectic group and is intended to set the basic study of the phase space. We move forward to the more general setting of metrics on the phase space, following essentially the basic assumptions of L. H¨ ormander (Chapter 18 in the book [73]) on this topic.

Autorentext

Nicolas Lerner is professor at Sorbonne Université (formerly Université Paris VI). He has written several articles on Carleman estimates and a book on pseudo-differential operators. He was an invited section speaker at the 2002 ICM in Beijing.

Inhalt
Basic Notions of Phase Space Analysis.- Metrics on the Phase Space.- Estimates for Non-Selfadjoint Operators.