Abstract
In this note we correct some errors that appeared in the article (Abdeljawad in Fixed Point Theory Appl. 2013:19, 2013) by modifying some conditions in the main theorems and by giving an example to support.
MSC:47H10, 54H25.
Fixed Point Theory and Applications volume 2013, Article number: 110 (2013)
In this note we correct some errors that appeared in the article (Abdeljawad in Fixed Point Theory Appl. 2013:19, 2013) by modifying some conditions in the main theorems and by giving an example to support.
MSC:47H10, 54H25.
After examining the calculations in the proof of the uniqueness part in Theorem 8 in [1] and Steps 3 and 4 of Theorem 16, we found that they do not lead to strict inequalities, and hence the proofs failed. In this note, we slightly modify some of the used conditions to achieve our claim.
The following theorem is a modification to Theorem 8 in [1]. The proof is the same as in [1] except the uniqueness part will be proved by using the new modified condition (H) in the statement of the theorem.
Theorem 1 Let (X,d) be an (f,g)-orbitally complete metric space, where f, g are self-mappings of X. Also, let \alpha :X\times X\to [0,\mathrm{\infty}) be a mapping. Assume the following:
(f,g) is α-admissible and there exists an {x}_{0}\in X such that \alpha ({x}_{0},f{x}_{0})\ge 1;
the pair (f,g) is generalized Meir-Keeler α-contractive.
Then the sequence {d}_{n}=d({x}_{n},{x}_{n+1}) is monotone decreasing. If, moreover, we assume that
on the (f,g)-orbit of {x}_{0}, we have \alpha ({x}_{n},{x}_{j})\ge 1 for all n even and j>n odd and that f and g are continuous on the (f,g)-orbit of {x}_{0}.
Then either (1) f or g has a fixed point in the (f,g)-orbit \{{x}_{n}\} of {x}_{0} or (2) f and g have a common fixed point p and lim{x}_{n}=p. If, moreover, we assume that the following condition (H) holds:
(H) If for all fixed points x and y of (f,g), \alpha (x,y)\ge 1,
then the uniqueness of the fixed point is obtained.
Proof To prove uniqueness, assume p is the common fixed point obtained as {x}_{n}\to p and q is another common fixed point. Then, Eq. (5) in [1] and the condition (H) yield
Thus we reach d(p,q)<d(p,q), and hence a contradiction, which implies that p=q. □
Using the new modified condition (H) for the pair (f,f), we modify the uniqueness part of Corollary 9 in [1].
The following example shows that we lose the uniqueness if our modified (H) condition is not satisfied.
Example 2 Let X=[0,2] with the absolute value metric d(x,y)=|x-y|. Define f:X\to X by
Also, define
Notice that f has two common fixed points x=0 and x=\frac{3}{2}. This is because f satisfies all the hypotheses of the corollary (which is Corollary 9 in [1]) except the condition (H), i.e., \alpha (0,\frac{3}{2})=0<1.
The following theorem is a modification of Theorem 16 in [1]. The proofs of Step 3 and Step 4 are given only according to the new modified conditions (H) and (f-H).
Theorem 3 Let f, g be continuous self-maps of a metric space (X,d) such that g\in {C}_{f}. Assume that \alpha ({x}_{n},{x}_{m})\ge 1 for all m>n. If g is a generalized Meir-Keeler α-f-contractive map such that α satisfies the condition (f-H): If \{{x}_{n}\} is a sequence in X such that \alpha ({x}_{n},{x}_{m})\ge 1 for all m>n and f{x}_{n}\to z, then \alpha (z,fz)\ge 1. Also assume that the condition (H) is satisfied. Then f and g have a unique common fixed point.
Proof
Step 3. We show that \eta =fz=gz is a common fixed point for f and g. Assume that f\eta \ne \eta. Then {f}^{2}z\ne fz, and by the help of the (f-H) condition, we have
Thus we have d(\eta ,f\eta )<d(\eta ,f\eta ), which gives a contradiction and therefore f\eta =\eta. Moreover, g\eta =gfz=f\eta =\eta.
Step 4. The uniqueness of the common fixed point. Assume that \eta =fz=gz is our common fixed point for f and g, where f{x}_{n}\to z, and ω is another common fixed point. Then, by the (H) condition, we have
which gives d(\eta ,\omega )<d(\eta ,\omega ), a contradiction, and hence \eta =\omega.
□
Instead of the modified condition (f-H) above, the following condition can be used (s-f-H). If \{{x}_{n}\} is a sequence in X such that \alpha ({x}_{n},{x}_{m})\ge 1 for all m>n and f{x}_{n}\to z, then \alpha (f{x}_{n},fz)\ge k for all n, where k>1, and hence Step 3 will be proved as follows.
We show that \eta =fz=gz is a common fixed point for f and g. Assume that f\eta \ne \eta. Then {f}^{2}z\ne fz, and by the help of the (s-f-H) condition, we have
and
If we let n\to \mathrm{\infty} above and use the continuity and commutativity of f and g, then we reach d(\eta ,f\eta )\le {k}^{-1}d(\eta ,f\eta )<d(\eta ,f\eta ), and hence f\eta =\eta. Moreover, g\eta =gfz=f\eta =\eta.
Finally, according to the modifications above, the (H) condition only in Theorem 18 of [1] is needed to be modified.
Abdeljawad T: Meir-Keeler α -contractive fixed and common fixed point theorems. Fixed Point Theory Appl. 2013., 2013: Article ID 19
The second author thanks for the support of CSIR, Govt. of India, Grant No-25(0215)/13/EMR-II.
The authors declare that they have no competing interests.
All authors read and approved the manuscript.
The online version of the original article can be found at 10.1186/1687-1812-2013-19
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Abdeljawad, T., Gopal, D. Erratum to ‘Meir-Keeler α-contractive fixed and common fixed point theorems’. Fixed Point Theory Appl 2013, 110 (2013). https://doi.org/10.1186/1687-1812-2013-110
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1812-2013-110