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.
Similar content being viewed by others
1 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:
-
(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
Let T be a mapping on a complete metric space \((X,d)\). Then (A), (B), and (C) are equivalent:
-
(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}\).
-
-
(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:
-
(i)
φ is upper semicontinuous.
-
(ii)
\(\varphi(t) < t\) for every \(t \in(0, \infty)\).
-
(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:
-
(i)
ψ is nondecreasing.
-
(ii)
\(\lim_{n} \psi^{n}(t) = 0\) for every \(t \in(0, \infty)\).
-
(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
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:
-
(i)
For every \(\varepsilon> 0\), there exists \(\delta> 0\) such that \(d(x, y) < \varepsilon+ \delta\) implies \(d(Tx, Ty) \leq\varepsilon\).
-
(ii)
\(x \neq y \) implies \(d(Tx, Ty) < d(x,y) \).
Then (A) holds.
2 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
and
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
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
Let x, y, w be three distinct elements of \(X \setminus\{ z \}\). We have
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
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
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\). □
3 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.
-
(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
We note
and
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
In the case where \(x \neq y\), \(x \neq z\), and \(y \neq z\), we have
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
We note that φ is well defined because
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
and
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
In the second case, noting \(\ell(Tx) < \ell(x)\), we have
In the third case, noting \(\ell(Tx) = \ell(x)\) and \(k(Tx) = k(x) - 1\), we have
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
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.
-
(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)\).
-
(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)\).
-
(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).
4 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.
-
(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
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
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)\),
for every \(t > 0\). So, there exists a strictly increasing sequence \(\{ \kappa_{n} \}\) in \(\mathbb{N}\) such that
Then
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
and hence
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.
-
(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
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
Then we have
Indeed \(t_{n+1} < \rho(z, x) \leq t_{n}\) implies \(f(x) = r^{n}\) and
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
In the other case, where \(Tx \neq z\), we have
We obtain
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.
-
(J)
There exists a complete metric ρ on X such that \(T \in\operatorname{Cont}(X,\rho)\).
-
(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
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
Banach, S: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundam. Math. 3, 133-181 (1922)
Caccioppoli, R: Un teorema generale sull’esistenza di elementi uniti in una transformazione funzionale. Rend. Accad. Naz. Lincei 11, 794-799 (1930)
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
Suzuki, T: Convergence of the sequence of successive approximations to a fixed point. Fixed Point Theory Appl. 2010, Article ID 716971 (2010). MR2595834
Leader, S: Equivalent Cauchy sequences and contractive fixed points in metric spaces. Stud. Math. 76, 63-67 (1983). MR0728197
Suzuki, T: Generalized distance and existence theorems in complete metric spaces. J. Math. Anal. Appl. 253, 440-458 (2001). MR1808147
Jachymski, J: Equivalence of some contractivity properties over metrical structures. Proc. Am. Math. Soc. 125, 2327-2335 (1997). MR1389524
Boyd, DW, Wong, JSW: On nonlinear contractions. Proc. Am. Math. Soc. 20, 458-464 (1969). MR0239559
Matkowski, J: Integrable solutions of functional equations. Diss. Math. 127, 1-68 (1975). MR0412650
Meir, A, Keeler, E: A theorem on contraction mappings. J. Math. Anal. Appl. 28, 326-329 (1969). MR0250291
Ćirić, LB: A new fixed-point theorem for contractive mappings. Publ. Inst. Math. (Belgr.) 30, 25-27 (1981). MR0672538
Jachymski, J: Equivalent conditions and the Meir-Keeler type theorems. J. Math. Anal. Appl. 194, 293-303 (1995). MR1353081
Kuczma, M, Choczewski, B, Ger, R: Iterative Functional Equations. Encyclopedia of Mathematics and Its Applications, vol. 32. Cambridge University Press, Cambridge (1990). MR1067720
Matkowski, J: Fixed point theorems for contractive mappings in metric spaces. Čas. Pěst. Mat. 105, 341-344 (1980). MR0597909
Bessaga, C: On the converse of the Banach ‘fixed-point principle’. Colloq. Math. 7, 41-43 (1959). MR0111015
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
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
Authors and Affiliations
Corresponding author
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.
About this article
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
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-015-0302-9