An abstract Nash-Moser theorem with parameters and applications to PDEs (Q846400)

This paper concerns abstract equations of the type \[ F(\varepsilon,\lambda,u)=0, \quad \varepsilon\in[0,\varepsilon_0],\;\lambda\in\Lambda,\;u\in X_{s_0+\nu}. \] Here, \(\varepsilon_0, s_0\) and \(\nu\) are positive constants, \(\Lambda\subset\mathbb R^m\) is bounded and open, \(X_s\) \((s\geq 0)\) is a scale of Banach spaces, and \(F\) is a \(C^2\)-map from \([0,\varepsilon_0]\times \Lambda\times X_{s_0+\nu}\) into \(X_{s_0}\). Conditions are stated for the existence of a solution family \(u(\varepsilon,\lambda)\) which is defined on a Cantor-like set of parameters \((\varepsilon,\lambda)\). More exactly, there exist \(c>0\), \(\gamma_0>0\), \(\varepsilon_1\in (0,\varepsilon_0)\) and a \(C^1\)-map \(u:[0,\varepsilon_1]\times \Lambda\to X_{s_0+\nu}\) with \(u(0,\lambda)=0\) and with the following property: For all \(\gamma\in (0,\gamma_0)\) there exist \(\varepsilon_2(\gamma)\in (0,\varepsilon_1)\) and a set \(C_\gamma\subset (0,\varepsilon_2(\gamma))\times \Lambda\) such that \(F(\varepsilon,\lambda,u(\varepsilon,\lambda))=0\) for all \((\varepsilon,\lambda)\in ([0,\varepsilon_2(\gamma)]\times \Lambda)\setminus C_\gamma\) and \(\operatorname{mes} C_\gamma\leq c\gamma\varepsilon_2(\gamma)\) and \(\text{mes}(C_\gamma\cap ([0,\varepsilon]\times \Lambda))\leq c\gamma\varepsilon\). The main new features of this result are: {\parindent=4mm \begin{itemize}\item[{\(\bullet\)}] No analyticity of \(F\) is required. \item[{\(\bullet\)}] The needed ``tame'' estimate for the linearized operators need be true on a proper subset of parameters only. \item[{\(\bullet\)}] In applications to time-periodic solutions of Hamiltonian PDEs, no analytic or Gevrey regularity is needed (in the presence of large clusters of small divisors, it is natural to expect only Sobolev regularity). \end{itemize}}