No label defined (Q4461672)

In this paper, the author obtains some new results which generalize and improve the results obtained by \textit{C. Bessaga} [Colloq. Math. 7, 41--43 (1959; Zbl 0089.31501)], \textit{J. Matkowski } [Dissertationes Math. (Rozprawy Mat.) 127 (1975; Zbl 0318.39005)] and \textit{V. G. Angelov} [Nonlinear Anal. 12, 989--996 (1988; Zbl 0695.54030)] on converses to the Banach contraction theorems. We only state one of his main results: Let \(F\) be a selfmap of an abstract set \(X\) and \(x_ * \in X.\) Let \(\eta : \mathbb{R}^ + \to \mathbb{R}^ +\) be nondecreasing and such that \(\lim_{n \to \infty} \eta^ n (t) = 0 ~~\forall t > 0.\) Then the following statements are equivalent: (i) There exists a complete metric \(d\) on \(X\) such that \(F\) is \(\eta\)-contractive with a fixed point \(x_ *.\) (ii) The functional inequality \(\phi(Fx) \leq \eta(\phi(x))\) has a nonnegative solution \(\phi\) on \(X\) such that \(\phi^{-1}(\left\{0\right\}) = \left\{x_ *\right\}.\) (iii) \(\underline{\text{(One)}}\) of the following conditions is satisfied: \((iii_ 1)\) \(\eta(t) > 0~~ \forall~~ t >0, \eta\)~ is unbounded and Per\(F =\left\{x_ * \right\};\) \((iii_ 2)\) \(\eta(t) > 0~~ \forall~~ t >0, \eta\)~ is bounded and \(\cap_{n\in {\mathbb{N}}} F^ n (X) =\left\{x_ * \right\};\) \((iii_ 3)\) \(\eta(t_ 0) = 0\) for some \(t_ 0 > 0, \eta\)~ is unbounded and given \(x\in X, F^ n x =x_ *\) for \(n\) large enough; \((iii_ 4)\) \(\eta(t_ 0) = 0\) for some \(t_ 0 > 0, \eta\)~ is bounded and \(F^ p x =x_ * \;\forall x \in X,\) where \[ p:= \min\left\{k\in {\mathbb{N}}: \eta^ k (t) = 0\;\forall t\in \mathbb{R}^ +\right\}. \]