On a fixed point theorem of Kirk (Q705267)

The author presents a new short and simple proof of the following theorem essentially due to \textit{W. A. Kirk} [J. Math. Anal. Appl. 277, No. 2, 645--650 (2003; Zbl 1022.47036)]. Let \((X, d)\) be a complete metric space, \(T: X\to X\) continuous map and \(\{\phi_n\}\) a sequence of continuous functions such that \(\phi_n: [0, \infty)\to [0, \infty)\) and for each \(x, y \in X\), \(d(T^nx, T^ny)\leq \phi_n(d(x, y))\). Assume also that there exists a function \(\phi: [0, \infty)\to [0, \infty)\) such that for any \(t > 0,\) \(\phi(t)<t\), \(\phi(0)= 0\) and \(\phi_n\to \phi\) uniformly on the range of \(d\). If there exists an \(x\in X\) such that the orbit of \(T\) at \(x\) is bounded, then \(f\) has a unique fixed point, and all Picard orbits of \(T\) converge to the same. See also the paper of \textit{J. Jachymski} and \textit{I. Jóźwik} [J. Math. Anal. Appl. 300, No. 1, 147--159 (2004; Zbl 1064.47052)] for an entirely different constructive proof of Kirk's theorem.