The goal of this project is to formalize results related to dispersive equations. One of the most studied example of such an equation is the Schrödinger equation.
Currently the main objective is to prove well-posedness of the Schrödinger equation and calculate the explicit integral representation. Further down the track the aim is to prove various estimates used in nonlinear dispersive PDEs such as Strichartz estimates and its applications to local well-posedness of NLS.
This project should be viewed more as a scenic tour than a race to the finish, so stopping and changing directions is very much possible.