Existence and Uniqueness of Fixed Point in Various Abstract Spaces and Related ApplicationsView this Special Issue
Research Article | Open Access
Lawan Bulama Mohammed, A. Kılıçman, "Strong Convergence for the Split Common Fixed-Point Problem for Total Quasi-Asymptotically Nonexpansive Mappings in Hilbert Space", Abstract and Applied Analysis, vol. 2015, Article ID 412318, 7 pages, 2015. https://doi.org/10.1155/2015/412318
Strong Convergence for the Split Common Fixed-Point Problem for Total Quasi-Asymptotically Nonexpansive Mappings in Hilbert Space
In this paper, we study and modify the algorithm of Kraikaew and Saejung for the class of total quasi-asymptotically nonexpansive case so that the strong convergence is guaranteed for the solution of split common fixed-point problems in Hilbert space. Moreover, we justify our result through an example. The results presented in this paper not only extend the result of Kraikaew and Saejung but also extend, improve, and generalize some existing results in the literature.
Let be an inner product space, the corresponding norm, a Banach space, , two Hilbert spaces, a bounded linear operator, and an adjoint of . Let and be a nonempty, closed, convex subsets of and , respectively.
A Banach space is said to satisfy Opial’s condition (see ) if, for any sequence in , as implies that And also, a Banach space is said to have Kadec-Klee property (see ), if, for any sequence in , and as implies that
Remark 1. It is well known that each Hilbert space satisfied Opial and Kadec-Klee property.
The mapping is said to be demiclosed at zero, if any sequence in there holds the following implication: is said to be -strongly quasi-nonexpansive if there exists with the property , and ; this is equivalent to is said to be quasi-nonexpansive, if such that , and , and -quasi-asymptotically nonexpansive mapping, if and there exists a sequence with such that, for each , , and , and it is said to be -total quasi-asymptotically nonexpansive mapping if ; and there exist nonnegative real sequences , in with and and a strictly continuous function with such that, for each ,
Remark 2. It is known that, the class of quasi-nonexpansive mapping contained in the class of -quasi-asymptotically nonexpansive mapping and the class of -quasi-asymptotically nonexpansive mapping is contained in the class of -total quasi-asymptotically nonexpansive mapping, see .
The mapping is said to be uniformly -Lipschitzian if a constant such that, for each , , , , and it is said to be semicompact, if, for any bounded sequence with , there exists subsequence such that converges strongly to some point .
The convex feasibility problems (CFP) are finding a vector satisfying The problem of solving 6 has been intensively studied by numerous authors due to its various application in several physical problems such as approximation theorem, image recovery, signal processing, control theory, biomedical engineering, communication and geophysics (see [3–5]) and reference therein.
In 2005, Censor et al. (see ) introduced and studied the problem of multiple set split feasibility problems (MSSFP) which is formulated as finding a vector with the property If, in 7, we take , we get Equation 8 is known as the split feasibility problems (SFP) (see ), where and are nonempty, closed, and convex subsets of and , respectively. Since every closed convex subset of Hilbert space is the fixed-point set of its associating projection, then 6 and 7 become Equations 9 and 10 are called the common fixed-point problems (CFPP) and split common fixed-point problems (SCFPP), respectively, where () and () are some nonlinear operators.
In 2009, Censor and Segal  introduced the concept of SCFPP 10 in finite dimensional Hilbert space, who invented an algorithm for solving 11 which generate a sequence according to the following iterative procedure: where the initial guess is choosing arbitrarily and .
In 2011, Moudafi  studied the convergence properties of relaxed algorithm for solving 10 for the class of quasi-nonexpansive operators such that is demiclosed at zero and he obtained the weak convergence results. Note that, in finite dimensional Hilbert space, weak and strong convergence are equivalent. Differently, in infinite dimensional cases, they are not the same. Moudafi’s results guarantee only weak convergence results. In 2013, Mohammed [10, 11] utilized the strongly quasi-nonexpansive operators and quasi-nonexpansive operators to solve Moudafi’s algorithm and he obtained weak and strong convergence results, respectively.
Theorem 3 (see ). let be a strongly quasi-nonexpansive operator and let be a quasi-nonexpansive operator such that both and are demiclosed at zero. Let be a bounded linear operator with . Suppose that . Let be a sequence generated by where the parameters and satisfy the following conditions: (a); (b) and . Then .
Motivated by these results, in this paper, we studied and modified the algorithm of Kraikaew and Saejung  for the class of total quasi-asymptotically nonexpansive mappings to solve the split common fixed-point problems 10 in the frame work of infinite dimensional Hilbert space. The results presented in this paper not only improve and extend some recent results of Kraikaew and Saejung , but also improve and extend some recent results of Censor and Segal , Moudafi , and Mohammed [10, 11] and many existing results.
Throughout this paper, we adopt the following notations.(i) is the identity operator.(ii) is the fixed-point set of ; that is, .(iii)“” and “” denote the strong and weak convergence, respectively.(iv) denote the set of the cluster point of in the weak topology, that is, .(v) is the solution set of split common fixed-point problems 10; that is,
In the sequel, we will make use of the following lemmas in proving our main results.
Lemma 4 (see ). Let be a -total quasi-asymptotically nonexpansive mapping. Then for each and , the following inequalities are equivalent: for each
Lemma 5 (see ). Let , , be a sequences of nonnegative real numbers satisfying If and , then exists.
Lemma 6. Let be a Hilbert space, a nonempty closed convex subset of , and a metric projection of onto satisfying , and then , .
Proof. Let ; then
Lemma 7 (see ). If a sequence is Fejer monotone with respect to nonempty closed convex subset , then the following hold:(i) if and only if ;(ii)the sequence converges strongly to some point in ;(iii)if , then
3. Main Results
Theorem 8. Let , be two Hilbert spaces and , be , -total quasi-asymptotically nonexpansive mappings and uniformly -Lipschitzian continuous mappings such that and are both demiclosed at zero. Let be a bounded linear operator and let be an adjoint of with . Let and be positive constants such that , . Assume that the solution set of SCFPP 14 is nonempty, and let be a metric projection of onto satisfying . Define the sequence by where the parameter , , , , , and satisfy the following conditions: (a), , where ;(b), , and .Then, the sequence defined by 18 converges strongly to .
Proof. To show that as , it suffices to show and as .
The proof is divided into five steps as follows.
Step 1. In this step, we show that, for each , the following limit exists: Let ; this implies that and . From 18 and Lemma 4, we have On the other hand, by Lemma 4, it follows that By substituting 22 and 23 into 21, we obtained Substituting 24 into 20 and then simplifying, we have and from 25, we deduce that Therefore, from 26, we have where Clearly, and . Moreover, and as .
By Lemma 5, we conclude that exists.
We now prove that, for each , exists.
From 25, we deduce that From 29, we deduce that From 24, 30, and the fact that exists, then exists. Moreover, from 20, we deduce that
Step 2. In this step, we show that
Step 3. In this step, we show that
Proof. From the fact that and and is uniformly -Lipschitzian continuous, it follows that Similarly, from the fact that , , and is uniformly -Lipschitzian continuous, it follows that .
Step 4. In this step, we show that
Proof. Since is bounded, then there exists a subsequence such that
From 39 and 36, we have
From 39 and 40 and the fact that is demiclosed at zero, we get that .
Moreover, from 18, 39, and the fact , as , we have By the definition of , we get In view of 36, we get From 42 and 43 and the fact that is demiclosed at zero, we have , and this implies that .
Now, we show that is unique.
Suppose to the contrary that there exists another subsequence such that with by virtue of 19 and opial property of Hilbert space; we have which is contradiction. Therefore . By using 18 and 30, we have
Step 5. In this step, we show that To show 46, it suffices to show that as .
Corollary 9. Let , , and , be as in Theorem 8. Let and be quasi-asymptotically nonexpansive and uniformly -Lipschitzians continuous mappings such that and are both demiclosed at zero. Let , and let and be constants such that , . Assume that the solution set of SCFPP 14 is nonempty, and let be a metric projection of onto satisfying . Let the sequence be defined as in Theorem 8 where the parameters , , , and satisfy the following conditions: (a), where ;(b). Then the sequence defined as in Theorem 8 converges strongly to .
Proof. By Remark 2 and are -total quasi-asymptotically nonexpansive mappings with , , and , . Therefore, all the conditions in Theorem 8 are satisfied. The conclusions of this corollary follow directly from Theorem 8.
Corollary 10. Let , , and be as in Theorem 8. Let and be two quasi-nonexpansive and uniformly -Lipschitzian continuous mappings such that and are both demiclosed at zero. Let , and let and be positive constants such that , . Assume that the solution set of SCFPP 14 is nonempty, and let be a metric projection of H onto satisfying . Let the sequence be defined as in Theorem 8 where the parameters , , and , satisfy the following conditions:(a), , where .Then, the sequence defined as in 18 converges strongly to .
Now we give an example of our theorem.
Example 11. Let be a unit ball in a real Hilbert space , and let be a mapping define by
where is a sequence in such that .
It is proved in Goebel and Kirk  that(a), (b) and .Let such that , for ; then Let , , let , , let and be a nonnegative real sequence such that as . From (a), (b) and , and , we have Again, since and , this implies that . From the above equation, we have This show that is total quasi-asymptotically nonexpansive mapping.
Example 12. Let be a real Hilbert spaces, two unit balls in , and , two mappings defined by such that and are both demiclosed at zero, where and are sequences in such that . Let , , , , and be as in Theorem 8. And assume that conditions (a)–(b) in Theorem 8 are satisfied. Then, the sequence defined in Theorem 8 converges strongly to .
Proof. By Example 11, it follows that and are both -total quasi-asymptotically nonexpansive mappings; moreover from Example 11 (b) we have that and are both uniformly -Lipschitzian with and ; also by our hypothesis and are both demiclosed at zero. Therefore, all the conditions in Theorem 8 are satisfied. Hence, the conclusions of this corollary follow directly from Theorem 8.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
The authors gratefully acknowledge that this research was partially supported by the University Putra Malaysia under GP-IBT Grant Scheme having project number GP-IBT/2013/9420100.
- Z. Opial, “Weak convergence of the sequence of successive approximations for nonexpansive mappings,” Bulletin of the American Mathematical Society, vol. 73, pp. 591–597, 1967.
- X. R. Wang, S.-S. Chang, L. Wang, and Y.-H. Zhao, “Split feasibility problems for total quasi-asymptotically nonexpansive mappings,” Fixed Point Theory and Applications, vol. 2012, article 151, 2012.
- H. Stark, Ed., Image Recorvery Theorem and Application, Academic Press, Orlando, Fla, USA, 1987.
- P. L. Combettes, “The convex feasibility problem in image recovery,” in Advances in Imaging and Electron Physics, P. Hawkes, Ed., vol. 95, pp. 155–270, Academic Press, New York, NY, USA, 1996.
- H. H. Bauschke and J. M. Borwein, “On projection algorithms for solving convex feasibility problems,” SIAM Review, vol. 38, no. 3, pp. 367–426, 1996.
- Y. Censor, T. Elfving, N. Kopf, and T. Bortfeld, “The multiple-sets split feasibility problem and its applications for inverse problems,” Inverse Problems, vol. 21, no. 6, pp. 2071–2084, 2005.
- Y. Censor and T. Elfving, “A multiprojection algorithm using Bregman projections in a product space,” Numerical Algorithms, vol. 8, no. 2-4, pp. 221–239, 1994.
- Y. Censor and A. Segal, “The split common fixed point problem for directed operators,” Journal of Convex Analysis, vol. 16, no. 2, pp. 587–600, 2009.
- A. Moudafi, “A note on the split common fixed-point problem for quasi-nonexpansive operators,” Nonlinear Analysis: Theory, Methods & Applications, vol. 74, no. 12, pp. 4083–4087, 2011.
- L. B. Mohammed, “A note on the split common fixed-point problem for strongly quasinonexpansive operator in Hilbert space,” International Journal of Innovative Research and Studies, vol. 2, no. 8, pp. 424–434, 2013.
- L. B. Mohammed, “Strong convergence of an algorithm about quasi-nonexpansive mappings for the split common fixed-pint problem in Hilbert space,” International Journal of Innovative Research and Studies, vol. 2, no. 8, pp. 298–306, 2013.
- R. Kraikaew and S. Saejung, “On split common fixed point problems,” Journal of Mathematical Analysis and Applications, vol. 415, no. 2, pp. 513–524, 2014.
- K. Goebel and W. A. Kirk, “A fixed point theorem for asymptotically nonexpansive mappings,” Proceedings of the American Mathematical Society, vol. 35, pp. 171–174, 1972.
Copyright © 2015 Lawan Bulama Mohammed and A. Kılıçman. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.