Microlocal analysis and applications.