An application of the Nash-Moser theorem to ordinary differential equations in Fréchet spaces
A general existence and uniqueness result of Picard-Lindelöf type is proved for ordinary differential equations in Fréchet spaces as an application of a generalized Nash-Moser implicit function theorem. Many examples show that the assumptions of the main result are natural. Applications are given for the Fréchet spaces , , , , for Köthe sequence spaces, and for the general class of subbinomic Fréchet algebras.