Skip to main content

A sufficient and necessary condition for the convergence of the sequence of successive approximations to a unique fixed point II

Abstract

Using the concept of a Boyd-Wong contraction, we obtain a simple, sufficient, and necessary condition for the convergence of the sequence of successive approximations to a unique fixed point.

Introduction

The Banach contraction principle is a very forceful tool in nonlinear analysis.

Theorem 1

(Banach [1] and Caccioppoli [2])

Let \((X,d)\) be a complete metric space and let T be a contraction on X, that is, there exists \(r \in[0,1)\) such that \(d(Tx, Ty) \leq r d(x,y) \) for all \(x, y \in X\). Then the following holds:

  1. (A)

    T has a unique fixed point z and \(\{ T^{n} x \}\) converges to z for any \(x \in X\).

In [3, 4] we studied (A) and obtained the following. See also [5, 6].

Theorem 2

([3, 4])

Let T be a mapping on a complete metric space \((X,d)\). Then (A), (B), and (C) are equivalent:

  1. (B)

    T is a strong Leader mapping, that is, the following hold:

    • For \(x, y \in X\) and \(\varepsilon> 0\), there exist \(\delta> 0\) and \(\nu\in\mathbb{N}\) such that

      $$d\bigl(T^{i} x, T^{j} y\bigr) < \varepsilon+ \delta\quad \Longrightarrow\quad d\bigl(T^{i+\nu}x, T^{j+\nu}y\bigr) < \varepsilon $$

      for all \(i, j \in\mathbb{N}\cup\{ 0 \}\), where \(T^{0}\) is the identity mapping on X.

    • For \(x, y \in X\), there exist \(\nu\in\mathbb{N}\) and a sequence \(\{ \alpha_{n} \}\) in \((0, \infty)\) such that

      $$d\bigl(T^{i} x, T^{j} y\bigr) < \alpha_{n}\quad \Longrightarrow\quad d\bigl(T^{i+\nu}x, T^{j+\nu}y\bigr) < 1/n $$

      for all \(i, j \in\mathbb{N}\cup\{ 0 \}\) and \(n \in\mathbb{N}\).

  2. (C)

    There exist a τ-distance p and \(r \in(0,1)\) such that \(p(Tx, T^{2} x) \leq r p(x, Tx) \) and \(p(Tx, Ty) < p(x, y) \) for all \(x, y \in X \) with \(x \neq y\).

We cannot tell that Theorem 2 is simple. Motivated by this fact, in this paper, we obtain a simpler condition equivalent to (A).

In 1969, Boyd and Wong proved a very interesting fixed point theorem. See [7]. The concept of a Boyd-Wong contraction plays an important role in this paper. Indeed, using this concept, we give a condition equivalent to (A); see Theorem 9 below. We will find that Theorem 3 is an essential generalization of Theorem 1 in some sense; see Theorem 11 and Example 12 below.

Theorem 3

(Boyd and Wong [8])

Let \((X,d)\) be a complete metric space and let T be a Boyd-Wong contraction on X, that is, there exists a function φ from \([0, \infty)\) into itself satisfying the following:

  1. (i)

    φ is upper semicontinuous.

  2. (ii)

    \(\varphi(t) < t\) for every \(t \in(0, \infty)\).

  3. (iii)

    \(d(Tx, Ty) \leq\psi ( d(x,y) ) \) for all \(x, y \in X\).

Then (A) holds.

Later, in 1975, Matkowski proved the following generalization of Theorem 1. Interestingly, while Theorem 3 and Theorem 4 look similar, we will find that Theorem 4 is similar to Theorem 1, not Theorem 3, in some sense; see Theorem 13 below.

Theorem 4

(Matkowski [9])

Let \((X,d)\) be a complete metric space and let T be a Matkowski contraction on X, that is, there exists a function ψ from \([0, \infty)\) into itself satisfying the following:

  1. (i)

    ψ is nondecreasing.

  2. (ii)

    \(\lim_{n} \psi^{n}(t) = 0\) for every \(t \in(0, \infty)\).

  3. (iii)

    \(d(Tx, Ty) \leq\psi ( d(x,y) ) \) for all \(x, y \in X\).

Then (A) holds.

We introduce two more interesting theorems. Theorem 5 is a generalization of Theorem 3 and Theorem 6 is a generalization of Theorems 4 and 5.

Theorem 5

(Meir and Keeler [10])

Let \((X,d)\) be a complete metric space and let T be a Meir-Keeler contraction on X, that is, for every \(\varepsilon> 0\), there exists \(\delta> 0\) such that

$$d(x, y) < \varepsilon+ \delta\quad \Longrightarrow\quad d(Tx, Ty) < \varepsilon $$

for all \(x, y \in X\). Then (A) holds.

Theorem 6

(Ćirić [11], Jachymski [12] and Matkowski [13, 14])

Let \((X,d)\) be a complete metric space and let T be a CJM contraction on X, that is, the following hold:

  1. (i)

    For every \(\varepsilon> 0\), there exists \(\delta> 0\) such that \(d(x, y) < \varepsilon+ \delta\) implies \(d(Tx, Ty) \leq\varepsilon\).

  2. (ii)

    \(x \neq y \) implies \(d(Tx, Ty) < d(x,y) \).

Then (A) holds.

Preliminaries

Throughout this paper, we denote by \(\mathbb{N}\), \(\mathbb{Z}\), and \(\mathbb{R}\) the sets of positive integers, integers, and real numbers, respectively. For \(t \in\mathbb{R}\), we denote by \([t]\) the maximum integer not exceeding t. For an arbitrary set A, we denote by ♯A the cardinal number of A.

Let \((X, d)\) be a metric space. We denote by \(\operatorname{Cont}(X, d)\), \(\operatorname{BWC}(X, d)\), \(\operatorname{MC}(X, d)\), \(\operatorname{MKC}(X, d)\), and \(\operatorname{CJMC}(X, d)\) the sets of all contractions, all Boyd-Wong contractions, all Matkowski contractions, all Meir-Keeler contractions, and all CJM contractions on \((X,d)\), respectively. We know

$$\operatorname{Cont}(X, d) \subset\operatorname{BWC}(X, d) \subset \operatorname{MKC}(X, d) \subset\operatorname{CJMC}(X, d) $$

and

$$\operatorname{Cont}(X, d) \subset\operatorname{MC}(X, d) \subset \operatorname{CJMC}(X, d) . $$

In the proof of our main result, we use the following.

Lemma 7

Let X be a set, let z be an element of X and let f be a function from \(X \setminus\{ z \}\) into \((0, \infty)\). Define a function ρ from \(X \times X\) into \([0, \infty)\) by

$$ \rho(x,y) = \begin{cases} 0 & \textit{if } x = y , \\ f(x) & \textit{if } x \neq y, y = z , \\ f(y) & \textit{if } x \neq y, x = z , \\ \max \{ f(x), f(y) \} & \textit{if } x \neq y, x \neq z, y \neq z . \end{cases} $$
(1)

Then \((X, \rho)\) is a complete metric space.

Proof

It is obvious that \(\rho(x,y)=0 \Leftrightarrow x=y\), and \(\rho(x,y) = \rho(y,x)\). We also note that

$$\rho(x, y) = \max\bigl\{ \rho(x, z), \rho(y, z) \bigr\} \quad \text{for all } x, y \in X \text{ with } x \neq y . $$

Let x, y, w be three distinct elements of \(X \setminus\{ z \}\). We have

$$\begin{aligned}& \rho(x, z) \leq\max \bigl\{ \rho(x,z), \rho(y,z) \bigr\} = \rho(x, y) \leq \rho(x, y) + \rho(z, y) , \\& \rho(x, y) = \max \bigl\{ \rho(x,z), \rho(y,z) \bigr\} \leq\rho(x, z) + \rho(y, z) , \\& \rho(x, y) = \max \bigl\{ \rho(x,z), \rho(y,z) \bigr\} \\& \hphantom{\rho(x, y)} \leq\max \bigl\{ \max\bigl\{ \rho(x,z), \rho(w,z) \bigr\} , \max \bigl\{ \rho(y,z), \rho(w,z) \bigr\} \bigr\} \\& \hphantom{\rho(x, y)}= \max \bigl\{ \rho(x,w), \rho(y,w) \bigr\} \leq\rho(x,w) + \rho(y,w) . \end{aligned}$$

So ρ satisfies the triangle inequality. Therefore \((X, \rho)\) is a metric space. Finally, in order to show the completeness of \((X, \rho)\), let \(\{ x_{n} \}\) be a Cauchy sequence in X. In the case where \(\sharp\{ n : x_{n} = y \} = \infty\) for some \(y \in X\), \(\{ x_{n} \}\) obviously converges to y. In the case where \(\sharp\{ n : x_{n} = y \} < \infty\) for any \(y \in X\), we can choose a subsequence \(\{ x_{g(n)} \}\) of \(\{ x_{n} \}\) such that \(x_{g(n)}\) are all different. Then we have

$$0 = \lim_{\substack{m \neq n\\m, n \to\infty}} \rho(x_{g(m)}, x_{g(n)}) = \lim _{\substack{m \neq n\\m, n \to\infty}} \max \bigl\{ \rho(x_{g(m)}, z), \rho(x_{g(n)}, z) \bigr\} . $$

Thus, \(\{ x_{g(n)} \}\) converges to z. Hence \(\{ x_{n} \}\) converges to z. Therefore \((X, \rho)\) is complete. □

We denote by Ψ the set of all functions ψ satisfying (i) and (ii) of Theorem 4.

Lemma 8

Let φ and ψ belong to Ψ. Then a function η from \([0, \infty)\) defined by \(\eta(t) = \max\{ \varphi(t), \psi(t) \}\) also belongs to Ψ.

Proof

It is obvious that η is nondecreasing. Since \(\varphi(t) < t\) and \(\psi(t) < t\) for \(t \in(0, \infty)\), we have \(\eta(t) < t\) for \(t \in(0, \infty)\). Fix \(t \in(0, \infty)\). Define a mapping ν from \(\mathbb{N}\) into \(\mathbb{N}\cup\{ 0 \} \) by

$$\nu(n) = \sharp \bigl\{ k \in\mathbb{Z}: 0 \leq k < n, \psi \bigl( \eta^{k} (t) \bigr) = \eta^{k+1}(t) \bigr\} , $$

where \(\eta^{0}(t) = t\). Without loss of generality, we may assume \(\lim_{n} \nu(n) = \infty\). Since \(\eta^{n}(t) \leq\psi^{\nu(n)}(t)\), we obtain \(\lim_{n} \eta^{n}(t) = 0\). Therefore \(\eta\in\Psi\). □

Main results

We prove our main results.

Theorem 9

Let \((X,d)\) be a complete metric space and let T be a mapping on X. Then (A) and (D) are equivalent.

  1. (D)

    There exists a complete metric ρ on X such that \(\rho\geq d\) and \(T \in\operatorname{BWC}(X,\rho)\).

Proof

(D) (A): We assume (D). Then Theorem 3 shows that there exists a unique fixed point z of T and that for every \(x \in X\), \(\{ T^{n} x \}\) converges to z in \((X,\rho)\). Since the topology of \((X, \rho)\) is stronger than that of \((X, d)\), \(\{ T^{n} x \}\) converges to z in \((X,d)\). Hence (A) holds.

(A) (D): We assume (A). Define functions α from \(X \setminus\{ z \}\) into \((0, \infty)\), from \(X \setminus\{ z \}\) into \(\mathbb{Z}\), k from \(X \setminus\{ z \}\) into \(\mathbb{N}\cup\{ 0 \}\) and f from \(X \setminus\{ z \}\) into \((0, \infty)\) by

$$\begin{aligned}& \alpha(x) = \max \bigl\{ d\bigl(T^{n} x, z\bigr) : n \in\mathbb{N}\cup \{ 0 \} \bigr\} , \\& \ell(x) = \bigl[ \log_{4} \alpha(x) \bigr], \\& k(x) = \max \bigl\{ n \in\mathbb{N}\cup\{ 0 \} : T^{n} x \neq z , \ell \bigl(T^{n} x\bigr) = \ell(x) \bigr\} , \\& f(x) = 2^{2 \ell(x) + 4} - 2^{2 \ell(x) + 3 - k(x)} . \end{aligned}$$

We note

$$d(x,z) \leq\alpha(x) ,\qquad \alpha(Tx) \leq\alpha(x) ,\qquad \lim _{n \to\infty} \alpha\bigl(T^{n} x\bigr) = 0 $$

and

$$\ell(Tx) \leq\ell(x) ,\qquad \lim_{n \to\infty} \ell \bigl(T^{n} x\bigr) = - \infty $$

for \(x \in X \setminus\{ z \}\). Define a metric ρ on X by (1). Then by Lemma 7, \((X, \rho)\) is a complete metric space. We shall show \(\rho\geq d\). In the case where \(x \neq z\), we have

$$\begin{aligned} \rho(x, z) & = 2^{2 \ell(x) + 4} - 2^{2 \ell(x) + 3 - k(x)} \geq2^{2 \ell(x) + 4} - 2^{2 \ell(x) + 3} = 2 \times4^{\ell(x) + 1} \\ & > 2 \times4^{\log_{4} \alpha(x)} = 2 \alpha(x) \geq2 d(x, z) > d(x, z) . \end{aligned}$$

In the case where \(x \neq y\), \(x \neq z\), and \(y \neq z\), we have

$$\begin{aligned} \rho(x, y) & = \max \bigl\{ \rho(x,z), \rho(y,z) \bigr\} > \max \bigl\{ 2 d(x, z), 2 d(y, z) \bigr\} \\ & \geq d(x, z) + d(y, z) \geq d(x, y) . \end{aligned}$$

In both cases, we obtain \(\rho\geq d\).

Next, we shall show that \(T \in\operatorname{BWC}(X, \rho)\). Define a function φ from \([0, \infty)\) into itself by

$$\varphi(t) = \begin{cases} 0 & \text{if } t = 0, \\ 0 & \text{if } 2^{2 \ell+ 2} \leq t < 2^{2 \ell+ 3} \text{ for some } \ell\in\mathbb{Z}, \\ 2^{2 \ell+ 2} & \text{if } 2^{2 \ell+ 4} - 2^{2 \ell+ 3} \leq t < 2^{2 \ell+ 4} - 2^{2 \ell+ 2} \\ & \hphantom{\text{if }}\text{for some } \ell\in\mathbb{Z}, \\ 2^{2 \ell+ 4} - 2^{2 \ell+ 4 - k} & \text{if } 2^{2 \ell+ 4} - 2^{2 \ell+ 3 - k} \leq t < 2^{2 \ell+ 4} - 2^{2 \ell+ 2 - k} \\ & \hphantom{\text{if }}\text{for some } \ell\in\mathbb{Z}, k \in\mathbb{N}. \end{cases} $$

We note that φ is well defined because

$$\begin{aligned}{} [0, \infty) =& \{ 0 \} \sqcup(0, \infty) = \{ 0 \} \sqcup\bigsqcup _{\ell\in\mathbb{Z}} \bigl[2^{2 \ell+ 2}, 2^{2 \ell+ 4}\bigr) \\ =& \{ 0 \} \sqcup\bigsqcup_{\ell\in\mathbb{Z}} \bigl( \bigl[2^{2 \ell+ 2}, 2^{2 \ell+ 3}\bigr) \sqcup\bigl[2^{2 \ell+ 3}, 2^{2 \ell+ 4}\bigr) \bigr) \\ =& \{ 0 \} \sqcup\bigsqcup_{\ell\in\mathbb{Z}} \biggl( \bigl[2^{2 \ell+ 2}, 2^{2 \ell+ 3}\bigr) \sqcup \bigsqcup _{k \in\mathbb{N}\cup\{ 0 \}} \bigl[2^{2 \ell+ 4} - 2^{2 \ell+ 3 - k}, 2^{2 \ell+ 4} - 2^{2 \ell+ 2 - k}\bigr) \biggr) , \end{aligned}$$

where ‘’ represents ‘disjoint union’. It is obvious that \(\varphi(t) < t\) for \(t \in(0, \infty)\) and φ is right continuous. We note that φ is strictly increasing on the range of ρ because the range of ρ is a subset of

$$\{ 0 \} \cup \bigl\{ 2^{2 \ell- 4} - 2^{2 \ell- 3 - k} : \ell\in\mathbb{Z}, k \in\mathbb{N}\cup\{ 0 \} \bigr\} $$

and

$$2^{2 \ell- 4} - 2^{2 \ell- 3 - k} < 2^{2 \ell' - 4} - 2^{2 \ell' - 3 - k'} $$

for \(\ell, \ell' \in\mathbb{Z}\) and \(k, k' \in\mathbb{N}\cup\{ 0 , \infty\}\) with \(\ell< \ell' \vee(\ell= \ell' \wedge k < k')\), where \(2^{-\infty} = 0\), ‘’ represents ‘logical or’ and ‘’ represents ‘logical and’. Let x and y be two distinct elements of \(X \setminus\{ z \}\). We consider the following three cases:

  • \(Tx = z\);

  • \(Tx \neq z\) and \(k(x) = 0\);

  • \(Tx \neq z\) and \(k(x) \in\mathbb{N}\).

In the first case, we have

$$\rho(Tx, z) = 0 \leq\varphi \bigl( \rho(x, z) \bigr) . $$

In the second case, noting \(\ell(Tx) < \ell(x)\), we have

$$\begin{aligned} \rho(Tx, z) & = 2^{2 \ell(Tx) + 4} - 2^{2 \ell(Tx) + 3 - k(Tx)} < 2^{2 \ell(Tx) + 4} \leq2^{2 \ell(x) + 2} \\ & = \varphi\bigl(2^{2 \ell(x) + 4} - 2^{2 \ell(x) + 3}\bigr) = \varphi \bigl( \rho(x, z) \bigr) . \end{aligned}$$

In the third case, noting \(\ell(Tx) = \ell(x)\) and \(k(Tx) = k(x) - 1\), we have

$$\begin{aligned} \rho(Tx, z) & = 2^{2 \ell(Tx) + 4} - 2^{2 \ell(Tx) + 3 - k(Tx)} = 2^{2 \ell(x) + 4} - 2^{2 \ell(x) + 4 - k(x)} \\ & = \varphi\bigl(2^{2 \ell(x) + 4} - 2^{2 \ell(x) + 3 - k(x)}\bigr) = \varphi \bigl( \rho(x, z) \bigr) . \end{aligned}$$

We have shown \(\rho(Tx, Tz) = \rho(Tx, z) \leq\varphi ( \rho(x, z) ) \) for all \(x \in X \setminus\{ z \}\). Using this and the strict monotony of φ on the range of ρ, we obtain

$$\begin{aligned} \rho(Tx, Ty) & \leq\max \bigl\{ \rho(Tx, z), \rho(Ty, z) \bigr\} \leq\max \bigl\{ \varphi \bigl( \rho(x, z) \bigr), \varphi \bigl( \rho(y, z) \bigr) \bigr\} \\ & = \varphi \bigl( \max \bigl\{ \rho(x, z), \rho(y, z) \bigr\} \bigr) = \varphi \bigl( \rho(x, y) \bigr) . \end{aligned}$$

Therefore \(T \in\operatorname{BWC}(X,\rho)\). □

From Theorem 9, we obtain the following.

Corollary 10

Let \((X,d)\) be a complete metric space and let T be a mapping on X. Then (A), (E), (F), and (G) are equivalent.

  1. (E)

    There exists a complete metric ρ on X such that the topology of \((X,\rho)\) is stronger than that of \((X,d)\) and \(T \in\operatorname{BWC}(X,\rho)\).

  2. (F)

    There exists a complete metric ρ on X such that the topology of \((X,\rho)\) is stronger than that of \((X,d)\) and \(T \in\operatorname{MKC}(X,\rho)\).

  3. (G)

    There exists a complete metric ρ on X such that the topology of \((X,\rho)\) is stronger than that of \((X,d)\) and \(T \in\operatorname{CJMC}(X,\rho)\).

Proof

It is obvious that (E) (F) (G). The proof of (G) (A) is almost the same as that of (D) (A). Since (E) is weaker than (D), we have (A) (E) by Theorem 9. □

We note that (E) is much simpler than (B) and (C).

Additional results

In the previous section, we have showed that (D) is equivalent to (A). In this section, we will show that the condition (H) on contractions is not equivalent to (A).

Theorem 11

Let \((X,d)\) be a complete metric space and let T be a mapping on X. Then (H) (A) holds.

  1. (H)

    There exists a complete metric ρ on X such that the topology of \((X,\rho)\) is stronger than that of \((X,d)\) and \(T \in\operatorname{Cont}(X,\rho)\).

Proof

The proof of (D) (A) works. □

The following example tells that (A) (H) does not hold.

Example 12

([4])

Let A be the set of all real sequences \(\{ a_{n} \}\) such that \(a_{n} \in(0, \infty)\) for \(n \in\mathbb{N}\), \(\{ a_{n} \}\) is strictly decreasing, and \(\{ a_{n} \}\) converges to 0. Let H be a Hilbert space consisting of all the functions x from A into \(\mathbb{R}\) satisfying \(\sum_{a \in A} | x(a) |^{2} < \infty\) with inner product \(\langle x, y \rangle= \sum_{a \in A} x(a) y(a)\) for all \(x, y \in H\). Put \(d(x, y) = \langle x - y, x - y \rangle^{1/2}\). Define a complete subset X of H by

$$X = \{ 0 \} \cup \biggl( \bigcup_{a \in A} \{ a_{n} e_{a} : n \in\mathbb{N}\} \biggr) , $$

where \(e_{a} \in H\) is defined by \(e_{a}(a) = 1\) and \(e_{a}(b) = 0\) for \(b \in A \setminus\{ a \}\). Define a mapping T on X by

$$T0 = 0\quad \text{and}\quad T(a_{n} e_{a}) = a_{n+1} e_{a} . $$

Then (A) holds. However, (H) does not hold.

Proof

It is obvious that (A) holds. Arguing by contradiction, we assume (H). That is, there exist a metric ρ on X and \(r \in[0, 1)\) such that the topology of \((X,\rho)\) is stronger than that of \((X,d)\), \((X,\rho)\) is complete and \(\rho(Tx, Ty) \leq r \rho(x, y) \) for all \(x,y \in X \). Since the topology of \((X,\rho)\) is stronger than that of \((X,d)\),

$$\inf \bigl\{ \rho(0, y) : d(0, y) > t \bigr\} > 0 $$

for every \(t > 0\). So, there exists a strictly increasing sequence \(\{ \kappa_{n} \}\) in \(\mathbb{N}\) such that

$$r^{\kappa_{n}} < \inf \bigl\{ \rho(0, y) : d(0, y) > 1/n \bigr\} . $$

Then

$$\rho(0,x) \leq r^{\kappa_{n}} \quad \Longrightarrow\quad d(0,x) \leq1/n $$

holds. We choose \(\alpha\in A\) such that \(\alpha_{2 \kappa_{n} + 1} > 1/n\). Fix \(\nu\in\mathbb{N}\) with \(r^{\kappa_{\nu}} \rho(0, \alpha_{1} e_{\alpha}) \leq1\). Then we have

$$\rho(0, \alpha_{2 \kappa_{\nu}+ 1} e_{\alpha}) = \rho\bigl(T^{2 \kappa_{\nu}} 0, T^{2 \kappa_{\nu}} (\alpha_{1} e_{\alpha})\bigr) \leq r^{2 \kappa_{\nu}} \rho(0, \alpha_{1} e_{\alpha}) \leq r^{\kappa_{\nu}} $$

and hence

$$1/\nu < \alpha_{2 \kappa_{\nu}+ 1} = d(0, \alpha_{2 \kappa_{\nu}+ 1} e_{\alpha}) \leq1/\nu. $$

This is a contradiction. □

The Matkowski contraction version of (H) is equivalent to (H) itself.

Theorem 13

Let \((X,d)\) be a complete metric space and let T be a mapping on X. Then (H) (I) holds.

  1. (I)

    There exists a complete metric ρ on X such that the topology of \((X,\rho)\) is stronger than that of \((X,d)\) and \(T \in\operatorname{MC}(X,\rho)\).

Proof

(H) (I): Obvious.

(I) (H): Assume (I). Then there exists a function ψ satisfying (i)-(iii) of Theorem 4 with replacing \(d := \rho\). Define a function φ from \([0, \infty)\) into itself by

$$\varphi(t) = \max \bigl\{ \psi(t), t/2, -[-t]-1 \bigr\} . $$

Then from Lemma 8, φ satisfies (i)-(iii) of Theorem 4 with replacing \(d := \rho\) and \(\varphi:= \psi\). We note \(0 < \varphi(t)\) for \(t \in(0, \infty)\). Also we note \(k \leq\varphi(t)\) if t satisfies \(k < t \leq k+1\) for some \(k \in \mathbb{N}\). We define a sequence \(\{ t_{n} \}_{n \in\mathbb{Z}}\). Put \(t_{0} = 1\) and \(t_{n} = \varphi^{n}(1)\) for \(n \in\mathbb{N}\). For \(k \in\mathbb{N}\), we can choose \(\nu(k) \in\mathbb{N}\) satisfying \(\varphi^{\nu(k)}(k+1) = k\). So for \(n \in\mathbb{N}\), there exists \(\kappa(n) \in\mathbb{N}\) such that \(\sum_{j=1}^{\kappa(n)-1} \nu(j) < n \leq\sum_{j=1}^{\kappa(n)} \nu(j)\), where \(\sum_{j=1}^{0} \nu(j) = 0\). We put \(t_{-n} = \varphi^{\sum_{j=1}^{\kappa(n)} \nu(j) - n} ( \kappa(n) + 1 )\). Then the following are obvious:

  • \(t_{n+1} = \varphi(t_{n})\) for every \(n \in\mathbb{Z}\),

  • \(\{ t_{n} \}_{n \in\mathbb{Z}}\) is a strictly decreasing sequence,

  • \(\{ t_{n} \}_{n \in\mathbb{Z}}\) converges to 0 as n tends to ∞,

  • \(\{ t_{n} \}_{n \in\mathbb{Z}}\) converges to ∞ as n tends to −∞.

Let \(z \in X\) be a unique fixed point of T and fix \(r \in(0, 1)\). Define a function f from \(X \setminus\{ z \}\) into \((0, \infty)\) by

$$f(x) = r^{n}\quad \text{if } t_{n+1} < \rho(z, x) \leq t_{n} \text{ for some } n \in\mathbb{Z}. $$

Then we have

$$f(Tx) \leq r f(x) \quad \text{provided } Tx \neq z . $$

Indeed \(t_{n+1} < \rho(z, x) \leq t_{n}\) implies \(f(x) = r^{n}\) and

$$\rho(z, Tx) \leq\psi \bigl( \rho(z, x) \bigr) \leq\varphi \bigl( \rho(z, x) \bigr) \leq\varphi(t_{n}) = t_{n+1} $$

and hence \(f(Tx) \leq r^{n+1} = r f(x)\). We denote by q a complete metric defined by (1) with replacing \(q := \rho\). Let \(\{ x_{n} \}\) be a sequence in X such that \(x_{n}\) are all different and \(\{ x_{n} \}\) converges to some \(x \in X\) in \((X, q)\). From the definition of q, \(x = z\) holds. Without loss of generality, we may assume \(x_{n} \neq z\). Since \(\lim_{n} f(x_{n}) = \lim_{n} q(z, x_{n}) = 0\), we have \(\lim_{n} \rho(z, x_{n}) = 0\). Thus, \(\{ x_{n} \}\) converges to z in \((X, \rho)\). Therefore the topology of \((X, q)\) is stronger than that of \((X, \rho)\), which is stronger than that of \((X, d)\). Let x and y be two distinct elements of \(X \setminus\{ z \}\). In the case where \(Tx = z\), we have

$$q(Tx,Tz) = q(Tx, z) = 0 \leq r q(x, z) . $$

In the other case, where \(Tx \neq z\), we have

$$q(Tx,Tz) = q(Tx, z) = f(Tx) \leq r f(x) = q(x, z) . $$

We obtain

$$\begin{aligned} q(Tx, Ty) & \leq\max \bigl\{ q(Tx, z), q(Ty, z) \bigr\} \leq\max \bigl\{ r q(x, z), r q(y, z) \bigr\} \\ & = r \max \bigl\{ q(x, z), q(y, z) \bigr\} = r q(x, y) . \end{aligned}$$

Therefore \(T \in\operatorname{Cont}(X,q)\). □

The following result due to Bessaga [15] (see also [16]) shows that the topological condition appearing in condition (H) cannot be removed, because otherwise the convergence of iterates in the metric space \((X, d)\) cannot be ensured.

Theorem 14

(Bessaga [15])

Let X be a set and let T be a mapping on X. Then (J) and (K) are equivalent.

  1. (J)

    There exists a complete metric ρ on X such that \(T \in\operatorname{Cont}(X,\rho)\).

  2. (K)

    There exists a unique fixed point z of T and the set of periodic points of T is \(\{ z \}\).

If X is a metric space, then (J) is strictly weaker than (A) because (K) is strictly weaker than (A).

In conclusion, we obtain

$$\text{(H)} \Leftrightarrow\text{(I)}\quad \Longrightarrow\quad \text{(A)} \Leftrightarrow\text{(E)} \Leftrightarrow\text{(F)} \Leftrightarrow\text{(G)} \quad \Longrightarrow\quad \text{(J)} $$

under the assumption that \((X,d)\) is a complete metric space. We can tell that, from this point of view, the difference between contractions and Matkowski contractions is small and the difference between contractions and Boyd-Wong contractions is very large. Therefore Matkowski contractions and Boyd-Wong contractions are essentially different. Considering the appearance of the statements, we might have considered that the difference between Boyd-Wong contractions and Matkowski contractions was small and the difference between Boyd-Wong and Meir-Keeler contractions was large.

References

  1. Banach, S: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundam. Math. 3, 133-181 (1922)

    MATH  Google Scholar 

  2. Caccioppoli, R: Un teorema generale sull’esistenza di elementi uniti in una transformazione funzionale. Rend. Accad. Naz. Lincei 11, 794-799 (1930)

    MATH  Google Scholar 

  3. Suzuki, T: A sufficient and necessary condition for the convergence of the sequence of successive approximations to a unique fixed point. Proc. Am. Math. Soc. 136, 4089-4093 (2008). MR2425751

    Article  MATH  Google Scholar 

  4. Suzuki, T: Convergence of the sequence of successive approximations to a fixed point. Fixed Point Theory Appl. 2010, Article ID 716971 (2010). MR2595834

    Article  Google Scholar 

  5. Leader, S: Equivalent Cauchy sequences and contractive fixed points in metric spaces. Stud. Math. 76, 63-67 (1983). MR0728197

    MATH  MathSciNet  Google Scholar 

  6. Suzuki, T: Generalized distance and existence theorems in complete metric spaces. J. Math. Anal. Appl. 253, 440-458 (2001). MR1808147

    Article  MATH  MathSciNet  Google Scholar 

  7. Jachymski, J: Equivalence of some contractivity properties over metrical structures. Proc. Am. Math. Soc. 125, 2327-2335 (1997). MR1389524

    Article  MATH  MathSciNet  Google Scholar 

  8. Boyd, DW, Wong, JSW: On nonlinear contractions. Proc. Am. Math. Soc. 20, 458-464 (1969). MR0239559

    Article  MATH  MathSciNet  Google Scholar 

  9. Matkowski, J: Integrable solutions of functional equations. Diss. Math. 127, 1-68 (1975). MR0412650

    MathSciNet  Google Scholar 

  10. Meir, A, Keeler, E: A theorem on contraction mappings. J. Math. Anal. Appl. 28, 326-329 (1969). MR0250291

    Article  MATH  MathSciNet  Google Scholar 

  11. Ćirić, LB: A new fixed-point theorem for contractive mappings. Publ. Inst. Math. (Belgr.) 30, 25-27 (1981). MR0672538

    Google Scholar 

  12. Jachymski, J: Equivalent conditions and the Meir-Keeler type theorems. J. Math. Anal. Appl. 194, 293-303 (1995). MR1353081

    Article  MATH  MathSciNet  Google Scholar 

  13. Kuczma, M, Choczewski, B, Ger, R: Iterative Functional Equations. Encyclopedia of Mathematics and Its Applications, vol. 32. Cambridge University Press, Cambridge (1990). MR1067720

    Book  MATH  Google Scholar 

  14. Matkowski, J: Fixed point theorems for contractive mappings in metric spaces. Čas. Pěst. Mat. 105, 341-344 (1980). MR0597909

    MATH  MathSciNet  Google Scholar 

  15. Bessaga, C: On the converse of the Banach ‘fixed-point principle’. Colloq. Math. 7, 41-43 (1959). MR0111015

    MATH  MathSciNet  Google Scholar 

  16. Jachymski, J: A short proof of the converse to the contraction principle and some related results. Topol. Methods Nonlinear Anal. 15, 179-186 (2000). MR1786260

    MATH  MathSciNet  Google Scholar 

Download references

Acknowledgements

This project was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, under grant No. (35-130-35-HiCi). The authors, therefore, acknowledge technical and financial support of KAU. The first author is supported in part by Grant-in-Aid for Scientific Research from Japan Society for the Promotion of Science.

Author information

Affiliations

Authors

Corresponding author

Correspondence to Tomonari Suzuki.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Suzuki, T., Alamri, B. A sufficient and necessary condition for the convergence of the sequence of successive approximations to a unique fixed point II. Fixed Point Theory Appl 2015, 59 (2015). https://doi.org/10.1186/s13663-015-0302-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13663-015-0302-9

MSC

  • 54H25

Keywords

  • Banach contraction principle
  • Boyd-Wong contraction
  • contraction
  • fixed point
  • successive approximation