An inverse mapping theorem in Fréchet-Montel spaces (Q2174928)

The authors prove an abstract result in the style of the Nash-Moser-Ekeland theorem for mappings from a Fréchet-Montel space with values in any Fréchet space (Theorem 1). The mapping under consideration is supposed to be continuous and directionally differentiable (in particular, Gâteaux differentiable) with the derivative having a right inverse. Finally, they derive corollaries in finite dimensions. In particular, sufficient conditions for the directional semi-regularity of a mapping defined on a (locally) convex compact set in directions from a locally conic set, and also conditions guaranteeing that the nonlinear image of a convex set contains a prescribed ordered interval, are given. Other papers of the first two authors directly connected to these results are [J. Math. Anal. Appl. 438, No. 1, 444--464 (2016; Zbl 1336.49022); Vietnam J. Math. 47, No. 3, 527--545 (2019; Zbl 1429.58020); J. Math. Anal. Appl. 473, No. 2, 811--836 (2019; Zbl 1448.58006)].