On Nash-Moser-Ekeland inverse mapping theorem (Q2330970)

The principal objective in this paper is to establish an extension of \textit{I. Ekeland}'s main result [Ann. Inst. Henri Poincaré, Anal. Non Linéaire 28, No. 1, 91--105 (2011; Zbl 1256.47037)]. Exactly speaking, the main result goes as follows: Theorem. Let \(d_{1},d_{2}\) be two non-negative integers, let \(R\in\left( 0.1\right) \), and let \(\left( m_{k}\right) _{k=0}^{\infty}\) be an infinite sequence in \(\left( 0,\infty\right) \). Let \[ X:=X_{0}\cap X_{1}\cap\dots \] and \[ Y:=Y_{0}\cap Y_{1}\cap\dots \] be two Fréchet spaces graded respectively by the sequence \(\left( X_{k},\left\Vert \cdot\right\Vert _{k}\right) _{k=0}^{\infty}\) and \(\left( Y_{k},\left\vert \cdot\right\vert _{k}\right) _{k=0}^{\infty}\)\ of Banach spaces, where \(Y\)\ is standard. Let \(f:X\rightarrow Y\) be a continuous mapping with closed domain \(\Omega\), and let \(\overline{x}\in\Omega\). Assume that \(g\)\ satisfies two relevant conditions. Then \[ g\left( \Omega\cap\mathbb{B}_{X}\left( \overline{x},t,\left\Vert \cdot\right\Vert _{0}\right) \right) \supset\mathbb{B}_{Y}\left( g\left( \overline{x}\right) ,t/m_{0},\left\vert \cdot\right\vert _{d_{2}}\right) \] for every \(t\in\left( 0,R\right) \). Inspired by [\textit{V. N. Huynh} and \textit{M. Théra}, J. Math. Anal. Appl. 457, No. 2, 1403--1421 (2018; Zbl 06790544)], the result is extended slightly by using graphical derivatives.