A Nash-Moser-Hörmander implicit function theorem with applications to control and Cauchy problems for PDEs

Pietro Baldi, Emanuele Haus

We prove an abstract Nash-Moser implicit function theorem which, when applied to control and Cauchy problems for PDEs in Sobolev class, is sharp in terms of the loss of regularity…