- Research
- Open access
- Published:
Split feasibility and fixed-point problems for asymptotically quasi-nonexpansive mappings
Journal of Inequalities and Applications volume 2013, Article number: 322 (2013)
Abstract
The purpose of this paper is to introduce and analyze a weakly convergent theorem by using the regularized method and the relaxed extragradient method for finding a common element of the solution set Γ of the split feasibility problem and of fixed points of asymptotically quasi-nonexpansive mappings T in the setting of infinite-dimensional Hilbert spaces. Consequently, we prove that the sequence generated by the proposed algorithm converges weakly to an element of under mild assumptions.
MSC:47H09, 47J25, 65K10.
1 Introduction
In 1994, Censor and Elfving [1] first introduced the split feasibility problem (SFP) in finite-dimensional Hilbert spaces for modeling inverse problems which arise from phase retrievals and in medical image reconstruction [2]. It was found that the SFP can also be used to model intensity-modulated radiation therapy (IMRT) (see [3–6]). Very recently, Xu [7] considered the SFP in the framework of infinite-dimensional Hilbert spaces. In this setting, the SFP is formulated as the problem of finding a point with the property
where C and Q are the nonempty closed convex subsets of the infinite-dimensional real Hilbert spaces and , respectively. Let , where denotes the family of all bounded linear operators from to .
We use Γ to denote the solution set of the SFP, i.e.,
Assume that the SFP is consistent (i.e., (1.1) has a solution) so that Γ is closed, convex and nonempty. A special case of the SFP is the following convex constrained linear inverse problem:
which has extensively been investigated by using the Landweber iterative method [8]:
Comparatively, the SFP has received much less attention so far due to the complexity resulting from the set Q. Therefore, whether various versions of the projected Landweber iterative method [8] can be extended to solve the SFP remains an interesting open topic.
The original algorithm given in [1] involves the computation of the inverse (assuming the existence of the inverse of A):
where are closed convex sets, A is a full rank matrix and , and thus has not become popular.
A more popular algorithm that solves the SFP seems to be the CQ algorithm of Byrne [2, 9] which is found to be a gradient-projection method (GPM) in convex minimization. It is also a special case of the proximal forward-backward splitting method [10]. The CQ algorithm only involves the computations of the projections and onto the sets C and Q, respectively, and is therefore implementable in the case where and have closed-form expressions (for example, C and Q are closed balls or half-spaces). It remains, however, a challenge on the CQ algorithm in the case where the projection and/or fail to have closed-form expressions though theoretically we can prove the (weak) convergence of the algorithm.
Recently, Xu [7] gave a continuation of the study on the CQ algorithm and its convergence. He applied Mann’s algorithm to the SFP and proposed an averaged CQ algorithm, which was proved to be weakly convergent to a solution of the SFP. He derived a weak convergence result, which shows that for suitable choices of iterative parameters (including the regularization), the sequence of iterative solutions can converge weakly to an exact solution of the SFP. He also established the strong convergence result, which shows that the minimum-norm solution can be obtained. Later, Deepho and Kumam [11] extended the results of Xu [7] by introducing and studying the modified Halpern iterative scheme for solving the split feasibility problem (SFP) in the setting of infinite-dimensional Hilbert spaces.
Throughout this paper, we always assume that the SFP is consistent, that is, the solution set Γ of the SFP is nonempty. Let be a continuous differentiable function. The minimization problem
is ill-posed. Therefore (see [7]), consider the following Tikhonov regularized problem:
where is the regularization parameter.
We observe that the gradient
is -Lipschitz continuous and α-strongly monotone.
Define the Picard iterates
Xu [7] showed that if SFP (1.1) is consistent, then as , and consequently the strong exists and is the minimum-norm solution of the SFP. Note that (1.6) is double-step iteration. Xu [7] further suggested the following single step regularized method:
He proved that the sequence generated by (1.7) converges in norm to the minimum-norm solution of the SFP provided the parameters and satisfy the following conditions:
-
(i)
and ;
-
(ii)
;
-
(iii)
.
Motivated by the idea of the relaxed extragradient method and Xu’s regularization, Ceng, Ansari and Yao [12] presented the following relaxed extragradient method with regularization for finding a common element of the solution set of the split feasibility problem and the set of fixed points of a nonexpansive mapping S:
They only obtained the weak convergence of iterative algorithm (1.8).
The purpose of this paper to study and analyze an relaxed extragradient method with regularization for finding a common element of the solution set Γ of the SFP and the set solutions of fixed points for asymptotically quasi-nonexpansive mappings and a Lipschitz continuous mapping in a real Hilbert space. We prove that the sequence generated by the proposed method converges weakly to an element in .
2 Preliminaries
We first recall some definitions, notations, and conclusions which will be needed in proving our main results. Let H be a real Hilbert space with the inner product and and let C be a closed and convex subset of H. Let E be a Banach space. A mapping is said to be demi-closed at origin if for any sequences with and , . A Banach space E is said to have the Opial property if for any sequence with ,
Remark 2.1 It is well known that each Hilbert space possesses the Opial property.
Definition 2.2 Let H be a real Hilbert space, let C be a nonempty and closed convex subset. We denote by the set of fixed points of T, that is, . Then T is said to be
-
(i)
nonexpansive if for all ;
-
(ii)
quasi-nonexpansive if for all and ;
-
(iii)
asymptotically nonexpansive if there exist a sequence and such that
for all and ;
-
(iv)
asymptotically quasi-nonexpansive if there exist a sequence and such that
for all , and ;
-
(v)
uniformlyL-Lipschitzian if there exists a constant such that
for all and .
Remark 2.3 By the above definitions, it is clear that:
-
(i)
a nonexpansive mapping is an asymptotically quasi-nonexpansive mapping;
-
(ii)
a quasi-nonexpansive mapping is an asymptotically-quasi nonexpansive mapping;
-
(iii)
an asymptotically nonexpansive mapping is an asymptotically quasi-nonexpansive mapping.
Proposition 2.4 (see [9])
We have the following assertions.
-
(i)
Tis nonexpansive if and only if the complementis-ism.
-
(ii)
IfTisν-ism and, thenγTis-ism.
-
(iii)
Tis averaged if and only if the complementisν-ism for some.
Indeed, for, Tisα-averaged if and only ifis-ism.
We have the following assertions.
-
(i)
Iffor some, Sis averaged andVis nonexpansive, thenTis averaged.
-
(ii)
Tis firmly nonexpansive if and only if the complementis firmly nonexpansive.
-
(iii)
Iffor some, Sis firmly nonexpansive andVis nonexpansive, thenTis averaged.
-
(iv)
The composite of finite many averaged mappings is averaged. That is, if each of the mappingsis averaged, then so is the composite. In particular, ifis-averaged andis-averaged, where, then the compositeisα-averaged, where.
-
(v)
If the mappingsare averaged and have a common fixed point, then
Lemma 2.6 (see [14], demiclosedness principle)
LetCbe a nonempty closed and convex subset of a real Hilbert spaceHand letbe a nonexpansive mapping with. If the sequenceconverges weakly toxand the sequenceconverges strongly toy, then; in particular, if, then.
Lemma 2.7 (see [15])
Let the sequences and of real numbers satisfy
where, and. Then
-
(1)
exists;
-
(2)
if, then.
The following lemma gives some characterizations and useful properties of the metric projection in a Hilbert space.
For every point , there exists a unique nearest point in C, denoted by , such that
where is called the metric projection ofH onto C. We know that is a nonexpansive mapping of H onto C.
Proposition 2.8For givenand:
-
(i)
if and only iffor all.
-
(ii)
if and only iffor all.
-
(iii)
For all, .
Lemma 2.9 (see [16])
LetHbe a real Hilbert space. Then the following equations hold:
-
(i)
for all;
-
(ii)
for alland.
Let K be a nonempty closed convex subset of a real Hilbert space H and let be a monotone mapping. The variational inequality problem (VIP) is to find such that
The solution set of the VIP is denoted by . It is well known that
A set-valued mapping is called monotone if for all , and imply
A monotone mapping is called maximal if its graph is not properly contained in the graph of any other monotone mapping. It is known that a monotone mapping T is maximal if and only if for , for every implies . Let be a monotone and k-Lipschitz continuous mapping and let be the normal cone to K at , that is,
Define
Then T is maximal monotone and if and only if ; see [15] for more details.
We can use fixed point algorithms to solve the SFP on the basis of the following observation.
Let and assume that . Then , which implies that , and thus . Hence, we have the fixed point equation . Requiring that , we consider the fixed point equation
It is proved in [[7], Proposition 3.2] that the solutions of fixed point equation (2.2) are exactly the solutions of the SFP; namely, for given , solves the SFP if and only if solves fixed point equation (2.2).
Proposition 2.10 (see [12])
Given, the following statements are equivalent.
-
(i)
solves the SFP;
-
(ii)
solves fixed point equation (2.2);
-
(iii)
solves the variational inequality problem (VIP) of findingsuch that
(2.3)
whereandis the adjoint ofA.
Proof (i) ⇔ (ii). See the proof in [[7], Proposition 3.2].
-
(ii)
⇔ (iii). Observe that
where . □
Remark 2.11 It is clear from Proposition 2.10 that
for any , where and denote the set of fixed points of and the solution set of VIP.
3 Main result
Theorem 3.1LetCbe a nonempty, closed, and convex subset of a real Hilbert spaceHand letbe a uniformlyL-Lipschitzian and asymptotically quasi-nonexpansive mappings withandfor allsuch that. Letandbe the sequences inCgenerated by the following algorithm:
where, and three sequences, , andsatisfy the conditions:
-
(i)
,
-
(ii)
for someand,
-
(iii)
for some.
Then the sequencesandconverge weakly to an element.
Proof We first show that is ζ-averaged for each , where
Indeed, it is easy to see that is -ism, that is,
Observe that
Hence, it follows that is -ism. Thus, is -ism. By Proposition 2.4(iii) the composite is -averaged. Therefore, noting that is -averaged and utilizing Proposition 2.5(iv), we know that for each , is ζ-averaged with
This shows that is nonexpansive. Furthermore, for with , utilizing the fact that , we may assume that
Consequently, it follows that for each integer , is -averaged with
This immediately implies that is nonexpansive for all .
We divide the remainder of the proof into several steps.
Step 1. We prove that is bounded. Indeed, we take a fixed arbitrarily. Then we get for . Since and are nonexpansive mappings, then we have
Observe that
Since , according to Lemma 2.7 and (i), (ii) and (3.3), we obtain that
This implies that is bounded and is also bounded.
It follows that
Hence is bounded.
Step 2. We prove that
In fact, it follows from (3.2) that
where .
It follows that
Also, observe that
Hence, we have
By the conditions (i), (iii) and , we can conclude that
Consider that since and by Proposition 2.8(ii), we have
Consequently, utilizing Lemma 2.9(ii) and (3.7), we conclude that
It follows that we get
So, taking , since , (i)-(iii), (3.6) and (3.8), we can conclude that
Consider
From (3.6) we obtain
Observe that
So, from (3.6) and (3.9), we get
We compute that
From the conditions (i), (ii) and (3.11), we obtain that
Since T is uniformly L-Lipschitzian continuous, then
Since and , it follows that
Step 3. We show that .
Since is Lipschitz continuous, from (3.9), we have
Since is bounded, there is a subsequence of that converges weakly to some .
First, we show that . Since , it is known that .
Put
where . Then S is maximal monotone and if and only if ; (see [17]) for more details. Let , we have
and hence
So, we have
On the other hand, from
we have
and
Therefore, from and , it follows that
Hence, we obtain
Since S is maximal monotone, we have , and hence . Thus, it is clear that .
Next, we show that . Indeed, since and by (3.14) and Lemma 2.6, we get . Therefore, we have .
Let be another subsequence of such that . Then . Let us show that . Assume that . From the Opial condition [18], we have
This is a contradiction. Thus, we have . This implies
Further, from , it follows that . This shows that both sequences and converge weakly to . This completes the proof. □
Utilizing Theorem 3.1, we have the following new results in the setting of real Hilbert spaces.
Take in Theorem 3.1. Therefore the conclusion follows.
Corollary 3.2LetCbe a nonempty, closed, and convex subset of a real Hilbert spaceH. Suppose that. Letbe a sequence inCgenerated by the following algorithm:
where, and the sequences, , andsatisfy the conditions:
-
(i)
,
-
(ii)
for someand,
-
(iii)
for some.
Then the sequenceconverges weakly to an element.
Take in Theorem 3.1. Therefore the conclusion follows.
Corollary 3.3LetCbe a nonempty, closed, and convex subset of a real Hilbert spaceHand letbe a uniformlyL-Lipschitzian and quasi-nonexpansive mapping withandfor allsuch that. Letbe the sequence inCgenerated by the following algorithm:
and let the sequencesatisfy the conditionfor some. Then the sequenceconverges weakly to an element.
Remark 3.4 Theorem 3.1 improves and extends [[7], Theorem 5.7] in the following aspects:
-
(a)
The iterative algorithm [[7], Theorem 5.7] is extended for developing our relaxed extragradient algorithm with regularization in Theorem 3.1.
-
(b)
The technique of proving weak convergence in Theorem 3.1 is different from that in [[7], Theorem 5.7] because of our technique to use asymptotically quasi-nonexpansive mappings and the property of maximal monotone mappings.
-
(c)
The problem of finding a common element of for asymptotically quasi-nonexpansive mappings which is more general than that for nonexpansive mappings and the problem of finding a solution of the SFP in [[7], Theorem 5.7].
References
Censor Y, Elving T: A multiprojection algorithm using Bregman projections in product space. Numer. Algorithms 1994, 8: 221–239. 10.1007/BF02142692
Byrne C: Iterative oblique projection onto convex subsets and the split feasibility problem. Inverse Probl. 2002, 18: 441–453. 10.1088/0266-5611/18/2/310
Censor Y, Bortfeld T, Martin B, Trofimov A: A unified approach for inversion problems in intensity-modulated radiation therapy. Phys. Med. Biol. 2006, 51: 2353–2365. 10.1088/0031-9155/51/10/001
Censor Y, Elving T, Kopf N, Bortfeld T: The multiple-set split feasibility problem and its applications for inverse problem. Inverse Probl. 2005, 21: 2071–2084. 10.1088/0266-5611/21/6/017
Censor Y, Motova A, Segal A: Perturbed projections and subgradient projections for the multiple-set split feasibility problem. J. Math. Anal. Appl. 2007, 327: 1244–1256. 10.1016/j.jmaa.2006.05.010
Censor Y, Segal A: Iterative projection methods in biomedical inverse problem. In Mathematical Methods in Biomedical Imaging and Intensity-Modulate Therapy, IMRT. Edited by: Censor Y, Jiang M, Louis AK. Edizioni della Normale, Pisa; 2008:65–96.
Xu HK: Iterative methods for the split feasibility problem in infinite-dimensional Hilbert spaces. Inverse Probl. 2010., 26(10): Article ID 105018
Landweber L: An iterative formula for Fredholm integral equations of the first kind. Am. J. Math. 1951, 73: 615–625. 10.2307/2372313
Byrne C: A unified treatment of some iterative algorithms in signal processing and image reconstruction. Inverse Probl. 2004, 26: 103–120.
Combettes PL, Wajs V: Signal recovery by proximal forward-backward splitting multiscale model. Simulation 2005, 4: 1168–1200.
Deepho J, Kumam P: A modified Halpern’s iterative scheme for solving split feasibility problems. Abstr. Appl. Anal. 2012., 2012: Article ID 876069
Ceng LC, Ansari QH, Yao JC: Relaxed extragradient method for finding minimum-norm solutions of the split feasibility problems. Nonlinear Anal. 2012, 75(4):2116–2125. 10.1016/j.na.2011.10.012
Combettes PL: Solving monotone inclusions via compositions of nonexpansive averaged operator. Optimization 2004, 53(5–6):475–504. 10.1080/02331930412331327157
Geobel K, Kirk WA Cambridge Studies in Advanced Mathematics 28. In Topics in Metric Fixed Point Theory. Cambridge University Press, Cambridge; 1990.
Tan KK, Xu HK: Approximating fixed points of nonexpansive mappings by the Ishikawa iteration process. J. Math. Anal. Appl. 1993, 178: 301–308. 10.1006/jmaa.1993.1309
Marino G, Xu HK: Weak and strong convergence theorems for strict pseudo-contractions in Hilbert space. J. Math. Anal. Appl. 2007, 329: 336–346. 10.1016/j.jmaa.2006.06.055
Rockafellar RT: On the maximality of sums of nonlinear monotone operators. Trans. Am. Math. Soc. 1970, 149: 75–88. 10.1090/S0002-9947-1970-0282272-5
Opial Z: Weak convergence of the sequence of successive approximations for nonexpansive mappings. Bull. Am. Math. Soc. 1967, 73: 591–597. 10.1090/S0002-9904-1967-11761-0
Acknowledgements
The authors thank the referee for comments and suggestions on this manuscript. The first author was supported by the Thailand Research Fund through the Royal Golden Jubilee Ph.D. Program (Grant No. PHD/0033/2554) and the King Mongkut’s University of Technology Thonburi (KMUTT). Moreover, this study was supported by the Higher Education Research Promotion and National Research University Project of Thailand, Office of the Higher Education Commission (Under Grant No. NRU56000508).
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 writing 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 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
Deepho, J., Kumam, P. Split feasibility and fixed-point problems for asymptotically quasi-nonexpansive mappings. J Inequal Appl 2013, 322 (2013). https://doi.org/10.1186/1029-242X-2013-322
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029-242X-2013-322