Abstract
In this study, we introduce two classes of nonlinear mappings, the class ofasymptotically demicontractive mappings in the intermediate sense andasymptotically hemicontractive mappings in the intermediate sense and prove theconvergence of Mann-type and Ishikawa-type iterative schemes to their respectivefixed points. Our results are improvements and generalizations of the results ofseveral authors in the literature.
MSC: 47H10, 47H09.
Similar content being viewed by others
1 Introduction and preliminaries
In the sequel, we give the following definitions of some of the concepts that willfeature prominently in this study.
We define C as a convex subset of a normed space E.
Definition 1.1 Let be a mapping.T is said to be
(1) asymptotically nonexpansive [1] if there exists a sequence with and such that
for all integers and all ;
(2) asymptotically strict pseudocontractive [2] if there exist a constant and a sequence with as such that
If and for all in (1.2),then we obtain the class of strict pseudocontractive mappings. The class ofasymptotically strict pseudocontractive mappings was introduced by Qihou in 1987. Weremark that the class of asymptotically strict pseudocontractive mappings is ageneralization of the class of strict pseudocontractive mappings. Observe that if in (1.2),then we obtain (1.1);
(3) asymptotically strict pseudocontractive in the intermediate sense [3] if there exist a constant and a sequence with as such that
Put
It follows that as . Then(1.3) is reduced to the following:
We remark that if in (1.5), then we obtain (1.2), meaning that the class of asymptotically strictpseudocontractive mappings in the intermediate sense contains properly the class ofasymptotically strict pseudocontractive mappings;
(4) asymptotically pseudocontractive [4] if there exists a sequence
with as such that
It is easy to show that (1.6) is equivalent to
The class of asymptotically pseudocontractive mappings was introduced in 1991 bySchu [5].
Qin et al.[4] in 2010 introduced the following class ofasymptotically pseudocontractive mappings in the intermediate sense. They obtainedsome weak convergence theorems for this class of nonlinear mappings. They alsoestablished a strong convergence theorem without any compact assumption byconsidering the so-called hybrid projection method;
(5) asymptotically pseudocontractive mapping in the intermediate sense [4] if
there exists a sequence with as such that
Put
It follows that as . Hence,(1.8) is reduced to the following:
In real Hilbert spaces, it is easy to check that (1.10) is equivalent to
We remark that if ,then the class of asymptotically pseudocontractive mappings in the intermediatesense is reduced to the class of asymptotically pseudocontractive mappings;
(6) asymptotically demicontractive mappings [2] if there exists a sequence such that and for ,
The class of asymptotically demicontractive maps was introduced in 1987 by Liu[6];
(7) asymptotically hemicontractive mappings [2] if there exists a sequence such that and
The class of asymptotically hemicontractive maps was introduced in 1987 by Liu[6], and it properly contains theclass of asymptotically pseudocontractive maps and asymptotically strictpseudocontractive maps in which the fixed point set is nonempty. Clearly, if in (1.12),then we obtain (1.13).
Motivated by the above facts, we now introduce the classes of asymptoticallydemicontractive mappings in the intermediate sense and asymptoticallyhemicontractive mappings in the intermediate sense as generalizations of the classesof asymptotically demicontractive mappings and asymptotically hemicontractivemappings, respectively.
(8) The map is said to be an asymptotically demicontractive mapping in the intermediate sense if there exists a sequence such that and for some constant if
Observe that if we put
then we get that as and (1.14)is reduced to the following:
Observe that if for all n in (1.16), then we obtain (1.12);
(9) asymptotically hemicontractive mapping in the intermediate sense with sequence such that if
Observe that if we put
then we get that as and (1.17)is reduced to the following:
Observe that if for all in(1.19), then we obtain (1.13). This means that the class of asymptoticallyhemicontractive maps in the intermediate sense is a generalization of the class ofasymptotically hemicontractive maps. Clearly, if in(1.16), then we obtain (1.19).
The following definition will be useful for our results.
(10) The map is said to be uniformly L-Lipschitzian [2] if
for some constant for all and.
Qihou [2] obtained some convergence results ofMann iterative scheme for the class of asymptotically demicontractive mappings.Similarly, Schu [5] proved the convergence ofMann iterative scheme for asymptotically nonexpansive mappings. In this study, weextend the results of Qihou [2] and Schu[5] to the classes of asymptoticallydemicontractive mappings in the intermediate sense and asymptoticallyhemicontractive mappings in the intermediate sense. It is our purpose in this studyto prove strong convergence theorems of Mann and Ishikawa iterative schemes foruniformly L-Lipschitzian asymptotically demicontractive mappings in theintermediate sense and asymptotically hemicontractive maps in the intermediatesense. Our results are extensions and generalizations of the results of Hicks andKubicek [7], Liu [6], Qihou [2] andSchu [5].
Qihou [2] in 1996 proved the followingconvergence theorem for the class of asymptotically demicontractive mappings. Choet al.[8] proved some fixed point theorems for theclass of asymptotically demicontractive mappings in arbitrary real normed linearspaces. Maruster and Maruster [9] introducedthe class of α-demicontractive mappings. They established that thisclass of nonlinear mappings is general than the class of demicontractive mappings.Olaleru and Mogbademu [10, 11] used a three-step iterative scheme to approximate the fixedpoints of strongly successively pseudocontractive maps.
Theorem Q[2]
Let H be a Hilbert space, be nonempty closed bounded and convex; be completely continuous and uniformly L-Lipschitzian and asymptotically demicontractive with sequence,, ,,forand some,.
Thenconverges strongly to some fixed point of T.
Osilike [12] in 1998 extended the results ofQihou [2] to more generalq-uniformly smooth Banach spaces, for theclass of asymptotically demicontractive mappings. Osilike and Aniagbosor[13] in 2001 proved that theboundedness requirement imposed on the subset C in the results of Osilike[12] can be dropped. Moore and Nnoli[14] in 2005 proved the necessaryand sufficient conditions for the strong convergence of the Mann iterative sequenceto a fixed point of an asymptotically demicontractive and uniformlyL-Lipschitzian map. Zegeye et al.[1] in 2011 obtained some strong convergenceresults of the Ishikawa-type iterative scheme for the class of asymptoticallypseudocontractive mappings in the intermediate sense without resorting to the hybridmethod which was the main tool of Qin et al.[4]. Olaleru and Okeke [15] in 2012 established a strong convergence ofNoor-type scheme for uniformly L-Lipschitzian and asymptoticallypseudocontractive mappings in the intermediate sense without assuming any form ofcompactness. It is our purpose in this paper to prove some strong convergenceresults using Ishikawa-type and Mann-type iterative schemes for the classes ofasymptotically demicontractive mappings in the intermediate sense and asymptoticallyhemicontractive mappings in the intermediate sense. Our results generalize andimprove several other results in literature.
The following lemmas will be useful in this study.
Lemma 1.2[2]
Let sequences, satisfy,,,is convergent andhas a subsequenceconverging to 0. Then we must have
Lemma 1.3[1]
Let H be a real Hilbert space. Then the following equality holds:
for alland.
2 Main results
Theorem 2.1 Let H be a Hilbert space, be a nonempty closed bounded and convex subset of H; be a completely continuous and uniformly L-Lipschitzian and asymptotically demicontractive mapping in theintermediate sense with sequenceas defined in (1.16). Assume thatis nonempty. Letbe a sequence defined byand
where. Assume that thefollowing conditions are satisfied:
-
(i)
the sequence is such that , and ,
-
(ii)
,
-
(iii)
for some , and some .
Thenconverges strongly to a fixed point of T.
Proof Fix . Using (1.16), (2.1) and Lemma 1.3, weobtain
Using (1.20), (2.1) and Lemma 1.3, we have
Using (1.16), (2.2) and (2.3), we obtain
Using (2.4), Lemma 1.3 and condition (iii), we have
Observe that by condition (iii), ,where , sothat the term can be dropped. Hence, we obtain (2.5).
Next, we show that . From(2.5), we have
Since , itfollows that . Hence, is bounded. SinceC is bounded and , and must be bounded. Hence,there exists a constant such that
Using (2.6) and (2.7), we obtain
Observe that the condition implies that and . This implies that,hence .On squaring both sides, we obtain , so that,so we obtain ,by dividing through by ,we obtain .Hence, .Since ,there exists a natural number N such that for ,
Assuming that ,then there exist and a subsequence of such that
Without loss of generality, we can assume that .From (2.8), we obtain
Hence,
From (2.9), (2.10), (2.11) and ,we observe that
From , and theboundedness of C, we observe that the right-hand side of (2.12) is bounded.However, the left-hand side of (2.12) is positively unbounded when. Hence, acontradiction. Therefore
Using (2.1), we have
Using (2.13), we obtain
Observe that
Using (2.13) and (2.15), we have
Since is bounded, thesequence has a convergentsubsequence say. Letas . Thenas since
By the continuity of T, as butas . Hence,.
Hence, has a subsequence whichconverges to the fixed point q of T. Using (2.9), there existssome natural number N, when ,.Using (2.7), .From (2.6),
But and imply that. From(2.18), it follows that there exists a subsequence of , which converges to 0.Hence, using (2.19) and Lemma 1.2, .This means that .The proof of the theorem is complete. □
Remark 2.2 Theorem 2.1 extends the results of Osilike [12], Osilike and Aniagbosor [13], Igbokwe [16]in the framework of Hilbert spaces since the class of asymptotically demicontractivemaps considered by these authors is a subclass of the class of asymptoticallydemicontractive maps in the intermediate sense introduced in this article.
Theorem 2.3 Let H be a Hilbert space, be a nonempty closed bounded and convex subset of H; be a completely continuous and asymptotically demicontractive mapping in theintermediate sense with sequenceas defined in (1.16). Assume thatis nonempty. Letbe a sequence defined byand
where. Assume that thefollowing conditions are satisfied:
-
(i)
the sequence is such that and ,
-
(ii)
and
-
(iii)
for some and .
Thenconverges strongly to a fixed point of T.
Proof Using (1.16), we obtain
From (2.21) and Lemma 1.3, we have
Now, we show that . But,.Hence and as . From(2.22), we have
Since C is bounded and T is a self-mapping on C, itfollows that there exists some such that ,. But, from (2.23) weobtain
Hence,
But ,. Hence, weobtain .So that
Since is a bounded sequence andT is completely continuous, hence there is a subsequence of . Using (2.27), must have a convergentsubsequence . Assume.From the continuity of T and using (2.27), we obtain,meaning that is a fixed point of T. Hence, has a subsequence whichconverges to a fixed point of T.
Since and and usingLemma 1.2, we obtain
Hence, .The proof of Theorem 2.3 is completed. □
Corollary 2.4 Let H be a Hilbert space, be a nonempty closed bounded and convex subset of H; be a completely continuous and uniformly L-Lipschitzian and asymptotically demicontractive mapping withsequenceas defined in (1.12). Assume thatis nonempty. Letbe a sequence defined byand
where. Assume that thefollowing conditions are satisfied:
-
(i)
the sequence is such that and and
-
(ii)
, , and some .
Thenconverges strongly to a fixed point of T.
Remark 2.5 Corollary 2.4 is Theorem 1 of Qihou [2] when for all inTheorem 2.3.
Theorem 2.6 Let H be a Hilbert space, be a nonempty closed bounded and convex subset of H; be a completely continuous and uniformly L-Lipschitzian and asymptotically hemicontractive mapping in theintermediate sense with sequenceas defined in (1.19). Assume thatis nonempty. Letbe a sequence defined byand
where. Assume that thefollowing conditions are satisfied:
-
(i)
the sequence is such that and ,
-
(ii)
,
-
(iii)
for some and some .
Thenconverges strongly to a fixed point of T.
Proof Fix . Using (1.19), (2.30) and Lemma 1.3, weobtain
Using (1.20), (2.30) and Lemma 1.3, we have
Using (1.19), (2.31) and (2.32), we obtain
Using (2.33), Lemma 1.3 and condition (iii), we have
Next, we show that . From(2.34), we have
Since , itfollows that . Hence, is bounded. SinceC is bounded and , and must be bounded. Hence,there exists a constant such that
Using (2.35) and (2.36), we obtain
Observe that the condition implies that and . This implies that,hence .On squaring both sides, we obtain , so that,so we obtain ,by dividing through by ,we obtain .Hence, .Since ,there exists a natural number N such that for ,
Assuming that ,then there exist and a subsequence of such that
Without loss of generality, we can assume that .From (2.37), we obtain
Hence,
From (2.38), (2.39), (2.40) and ,we observe that
From , and theboundedness of C, we observe that the right-hand side of (2.41) is bounded.However, the left-hand side of (2.41) is positively unbounded when. Hence, acontradiction. Therefore
Using (2.30), we have
Using (2.42), we obtain
Observe that
Using (2.42) and (2.44), we have
Since is bounded, thesequence has a convergentsubsequence say. Letas . Thenas since
By the continuity of T, as butas . Hence,.
Hence, has a subsequence whichconverges to the fixed point q of T. Using (2.38), there existssome natural number N, when ,.Using (2.36), .From (2.35),
But and imply that. From(2.47), it follows that there exists a subsequence of , which converges to 0.Hence, using (2.48) and Lemma 1.2, .This means that .The proof of the theorem is complete. □
Observe that if for all inTheorem 2.6, then we obtain Theorem 3 of Qihou [2].
Corollary 2.7 [[2], Theorem 3]
Let H be a Hilbert space, be nonempty closed bounded and convex; be completely continuous and uniformly L-Lipschitzian and asymptotically hemicontractive with sequence,; ,;;for,some,and some; fordefine
Thenconverges strongly to some fixed point of T.
Since the class of asymptotically pseudocontractive mappings in the intermediatesense is a subclass of the class of asymptotically hemicontractive mappings in theintermediate sense, we obtain the following corollary.
Corollary 2.8 [[1], Theorem 2.1]
Let C be a nonempty, closed and convex subset of a real Hilbert space H andbe a uniformly L-Lipschitzian and asymptotically pseudocontractive mapping in theintermediate sense with sequencesandas defined in (1.11). Assume that the interior ofis nonempty. Letbe a sequence defined byand
whereandare sequences in. Assume that thefollowing conditions are satisfied:
-
(i)
, , where ;
-
(ii)
for some and .
Then the sequencegenerated by (2.49) converges strongly to a fixed point of T.
References
Zegeye H, Robdera M, Choudhary B: Convergence theorems for asymptotically pseudocontractive mappings in theintermediate sense. Comput. Math. Appl. 2011, 62: 326–332. 10.1016/j.camwa.2011.05.013
Qihou L: Convergence theorems of the sequence of iterates for asymptoticallydemicontractive and hemicontractive mappings. Nonlinear Anal., Theory Methods Appl. 1996, 26(11):1835–1842. 10.1016/0362-546X(94)00351-H
Sahu DR, Xu HK, Yao J-C: Asymptotically strict pseudocontractive mappings in the intermediatesense. Nonlinear Anal., Theory Methods Appl. 2009, 70(10):3502–3511. 10.1016/j.na.2008.07.007
Qin X, Cho SY, Kim JK: Convergence theorems on asymptotically pseudocontractive mappings in theintermediate sense. Fixed Point Theory Appl. 2010., 2010: Article ID 186874 10.1155/2010/186874
Schu J: Iterative construction of fixed points of asymptotically nonexpansivemappings. J. Math. Anal. Appl. 1991, 158: 407–413. 10.1016/0022-247X(91)90245-U
Liu Q: On Naimpally and Singh’s open questions. J. Math. Anal. Appl. 1987, 124: 157–164. 10.1016/0022-247X(87)90031-X
Hicks TL, Kubicek JD: On the Mann iteration process in a Hilbert spaces. J. Math. Anal. Appl. 1977, 59: 498–504. 10.1016/0022-247X(77)90076-2
Cho YJ, Zhou HY, Kang SM: Strong convergence theorems for iterative schemes with errors forasymptotically demicontractive mappings in arbitrary real normed linearspaces. J. Inequal. Pure Appl. Math. 2002, 3: 1–11.
Maruster L, Maruster S: Strong convergence of the Mann iteration for α -demicontractivemappings. Math. Comput. Model. 2011, 54: 2486–2492. 10.1016/j.mcm.2011.06.006
Olaleru JO, Mogbademu AA: On the modified Noor iteration scheme for non-linear maps. Acta Math. Univ. Comen. 2011, LXXX(2):221–228.
Olaleru JO, Mogbademu AA: Approximation of fixed points of strongly successively pseudocontractive mapsin Banach space. Int. J. Comput. Appl. Math. 2012, 7(2):121–132.
Osilike MO: Iterative approximation of fixed points of asymptotically demicontractivemappings. Indian J. Pure Appl. Math. 1998, 24: 1291–1300.
Osilike MO, Aniagbosor SC: Fixed points of asymptotically demicontractive mappings in certain Banachspaces. Indian J. Pure Appl. Math. 2001, 32: 1519–1537.
Moore C, Nnoli BVC: Iterative sequence for asymptotically demicontractive maps in Banachspaces. J. Math. Anal. Appl. 2005, 302: 557–562. 10.1016/j.jmaa.2004.03.006
Olaleru JO, Okeke GA: Strong convergence theorems for asymptotically pseudocontractive mappings inthe intermediate sense. Br. J. Math. Comput. Sci. 2012, 3(2):151–162.
Igbokwe DI: Approximation of fixed points of asymptotically demicontractive mappings inarbitrary Banach spaces. J. Inequal. Pure Appl. Math. 2002., 3(1): Article ID 3
Acknowledgements
The authors thank the referees for their painstaking and valuable comments andcorrections which lead to the improvement of this manuscript.
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 and significantly in this research work. All authorsread and approved the final manuscript.
Rights and permissions
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.
About this article
Cite this article
Olaleru, J., Okeke, G. Convergence theorems on asymptotically demicontractive and hemicontractivemappings in the intermediate sense. Fixed Point Theory Appl 2013, 352 (2013). https://doi.org/10.1186/1687-1812-2013-352
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1812-2013-352