Conditions for having a diffeomorphism between two Banach spaces (Q2877577)

The main result consists in the following global diffeomorphism type theorem (Theorem 2.1): Let \(X, B\) be real Banach spaces. Assume that \(f : X \rightarrow B\) is a \(C^1\)-mapping, \(\eta : B \rightarrow \mathbb{R}_+\) is a \(C^1\) functional and that the following conditions hold : (c1) \((\eta (x)=0 \Leftrightarrow x=0)\) and \((\eta ' (x)=0 \Leftrightarrow x=0)\); (c2) For any \(y \in B\) the functional \(\varphi : X \rightarrow \mathbb{R}\) given by \(\varphi(x) = \eta(f(x)- y)\) satisfies the Palais-Smale condition; (c3) For any \(x \in X\) the Fréchet derivative \(f'\) is surjective, and there exists a constant \(\alpha _x > 0\) such that for all \(h \in X\) the relation \(||f'(x)h|| \geq \alpha _x ||h||\) holds; (c4) There exist positive constants \( \alpha, c, M\) such that \(\eta(x) \geq c||x||^{\alpha}\) for \(||x|| \leq M\).NEWLINENEWLINEThen \(f\) is a diffeomorphism.NEWLINENEWLINEIn the proof, the main idea contained in the paper of \textit{D. Idczak} et al. [Adv. Nonlinear Stud. 12, No. 1, 89--100 (2012; Zbl 1244.57056)] is used. Other two results are discussed in the last section.