Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2013, Article ID 805104, 6 pages http://dx.doi.org/10.1155/2013/805104 Research Article General Split Feasibility Problems in Hilbert Spaces Mohammad Eslamian1 and Abdul Latif2 1 2 Young Researchers Club, Babol Branch, Islamic Azad University, Babol, Iran Department of Mathematics, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia Correspondence should be addressed to Abdul Latif; latifmath@yahoo.com Received 25 October 2012; Accepted 23 December 2012 Academic Editor: Qamrul Hasan Ansari Copyright © 2013 M. Eslamian and A. Latif. 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. Introducing a general split feasibility problem in the setting of infinite-dimensional Hilbert spaces, we prove that the sequence generated by the purposed new algorithm converges strongly to a solution of the general split feasibility problem. Our results extend and improve some recent known results. 1. Introduction Let đť and đž be infinite-dimensional real Hilbert spaces, and đ let đ´ : đť → đž be a bounded linear operator. Let {đśđ }đ=1 and đ {đđ }đ=1 be the families of nonempty closed convex subsets of đť and đž, respectively. (a) The convex feasibility problem (CFP) is formulated as the problem of finding a point đĽâ with the property: đ đĽâ ∈ âđśđ . (1) đ=1 (b) The split feasibility problem (SEP) is formulated as the problem of finding a point đĽâ with the property: đĽâ ∈ đś, đ´đĽâ ∈ đ, (2) where đś and đ are nonempty closed convex subsets of đť and đž, respectively. (c) The multiple-set split feasibility problem (MSSFP) is formulated as the problem of finding a point đĽâ with the property: đ đĽâ ∈ âđśđ , đ=1 đ đ´đĽâ ∈ âđđ . (3) planning [1]. The split feasibility problem SFP in the setting of finite-dimensional Hilbert spaces was first introduced by Censor and Elfving [2] for modelling inverse problems which arise from phase retrievals and in medical image reconstruction [3]. Since then, a lot of work has been done on finding a solution of SFP and MSSFP; see, for example, [2–25]. Recently, it is found that the SFP can also be applied to study the intensity-modulated radiation therapy; see, for example, [6, 16] and the references therein. Very recently, Xu [8] considered the SFP in the setting of infinite-dimensional Hilbert spaces. The original algorithm given in [2] involves the computation of the inverse đ´−1 provided it exists. In [8], Xu studied some algorithm and its convergence. In particular, he applied Mann’s algorithm to the SFP and purposed an algorithm which is proved to be weakly convergent to a solution of the SFP. He also established the strong convergence result, which shows that the minimum-norm solution can be obtained. In [7], Wang and Xu purposed the following cyclic algorithm to solve MSSFP: đĽđ+1 = đđś[đ] (đĽđ + đžđ´∗ (đđ[đ] − đź) đ´đĽđ ) , (4) đ=1 Note that (MSSFP) reduces to (SEP) if we take đ = đ = 1. There is a considerable investigation on CFP in view of its applications in various disciplines such as image restoration, computer tomograph, and radiation therapy treatment where [đ] := đ (mod đ), (mod function take values in {1, 2, . . . , đ}), and đž ∈ (0, 2/âđ´â2 ). They show that the sequence {đĽđ } convergence weakly to a solution of MSSFP provided the solution exists. To study strong convergence to 2 Abstract and Applied Analysis a solution of MSSFP, first we introduce a general form of the split feasibility problem for infinite families as follows. (d) General split feasibility problem (GSFP) is to find a point đĽ∗ such that ∞ đĽâ ∈ âđśđ , đ=1 ∞ đ´đĽâ ∈ âđđ . (5) đ=1 We denote by Ω the solution set of GSFP. In this paper, using viscosity iterative method defined by Moudafi [21], we propose an algorithm for finding the solutions of the general split feasibility problem in a Hilbert space. We establish the strong convergence of the proposed algorithm to a solution of GSFP. where {đžđ }, {đ˝đ }, and {đżđ } satisfy the following conditions: (i) đžđ ⊂ [0, 1], ∑∞ đ=1 đžđ = ∞, (ii) lim supđ → ∞ đżđ ≤ 0 or ∑∞ đ=1 |đžđ đżđ | < ∞, (iii) đ˝đ ≥ 0 for all đ ≥ 0 with ∑∞ đ=0 đ˝đ < ∞. Then, limđ → ∞ đđ = 0. Lemma 4 (see [24]). Let {đĄđ } be a sequence of real numbers such that there exists a subsequence {đđ } of {đ} such that đĄđđ < đĄđđ +1 for all đ ∈ N. Then, there exists a nondecreasing sequence {đ(đ)} ⊂ N such that đ(đ) → ∞, and the following properties are satisfied by all (sufficiently large) numbers đ ∈ N: đĄđ(đ) ≤ đĄđ(đ)+1 , 2. Preliminaries Throughout the paper, we denote by đť a real Hilbert space with inner product â¨⋅, ⋅⊠and norm â ⋅ â. Let {đĽđ } be a sequence in đť and đĽ ∈ đť. Weak convergence of {đĽđ } to đĽ is denoted by đĽđ â đĽ, and strong convergence by đĽđ → đĽ. Let đś be a closed and a convex subset of đť. For every point đĽ ∈ đť, there exists a unique nearest point in đś, denoted by đđśđĽ. This point satisfies óľŠ óľŠ óľŠ óľŠóľŠ óľŠóľŠđĽ − đđśđĽóľŠóľŠóľŠ ≤ óľŠóľŠóľŠđĽ − đŚóľŠóľŠóľŠ , ∀đŚ ∈ đś. (6) The operator đđś is called the metric projection or the nearest point mapping of đť onto đś. The metric projection đđś is characterized by the fact that đđś(đĽ) ∈ đś and â¨đŚ − đđś (đĽ) , đĽ − đđś (đĽ)⊠≤ 0, ∀đĽ ∈ đť, đŚ ∈ đś. (7) Recall that a mapping đ : đś → đś is called nonexpansive if óľŠ óľŠ óľŠ óľŠóľŠ óľŠóľŠđđĽ − đđŚóľŠóľŠóľŠ ≤ óľŠóľŠóľŠđĽ − đŚóľŠóľŠóľŠ , ∀đĽ, đŚ ∈ đś. (8) It is well known that đđś is a nonexpansive mapping. It is also known that đť satisfies Opial’s condition, that is, for any sequence {đĽđ } with đĽđ â đĽ, the inequality óľŠ óľŠ óľŠ óľŠ lim inf óľŠóľŠóľŠđĽđ − đĽóľŠóľŠóľŠ < lim inf óľŠóľŠóľŠđĽđ − đŚóľŠóľŠóľŠ đ→∞ (9) đ→∞ holds for every đŚ ∈ đť with đŚ ≠ đĽ. (13) đ (đ) = max {đ ≤ đ : đĄđ < đĄđ+1 } . (14) In fact Lemma 5 (demiclosedness principle [25]). Let đś be a nonempty closed and convex subset of a real Hilbert space đť. Let đ : đś → đś be a nonexpansive mapping such that Fix(đ) ≠ 0. Then, đ is demiclosed on đś, that is, if đŚđ â đ§ ∈ đś, and (đŚđ − đđŚđ ) → đŚ, then (đź − đ)đ§ = đŚ. 3. Main Result In the following result, we propose an algorithm and prove that the sequence generated by the proposed method converges strongly to a solution of the GSFP. Theorem 6. Let đť and đž be real Hilbert spaces, and let đ´ : ∞ đť → đž be a bounded linear operator. Let {đśđ }∞ đ=1 and {đđ }đ=1 be the families of nonempty closed convex subsets of đť and đž, respectively. Assume that GSFP (5) has a nonempty solution set Ω. Suppose that đ is a self đ-contraction mapping of đť, and let {đĽđ } be a sequence generated by đĽ0 ∈ đť as đĽđ+1 = đźđ đĽđ + đ˝đ đ (đĽđ ) ∞ Lemma 1. Let đť be a Hilbert space. Then, for all đĽ, đŚ ∈ đť óľŠ2 óľŠóľŠ 2 óľŠóľŠđĽ + đŚóľŠóľŠóľŠ ≤ âđĽâ + 2 â¨đŚ, đĽ + đŚâŠ . óľŠóľŠ ∞ óľŠóľŠ2 ∞ óľŠóľŠ óľŠ óľŠóľŠ ∑ đ đ đĽđ óľŠóľŠóľŠ ≤ ∑ đ đ óľŠóľŠóľŠđĽđ óľŠóľŠóľŠ2 − đ đ đ đ óľŠóľŠóľŠóľŠđĽđ − đĽđ óľŠóľŠóľŠóľŠ2 . óľŠóľŠ óľŠóľŠ óľŠ óľŠ óľŠ óľŠ óľŠóľŠđ=1 óľŠóľŠ đ=1 đ ≥ 0, đ=1 (15) (11) Lemma 3 (see [23]). Assume that {đđ } is a sequence of nonnegative real numbers such that đ ≥ 0, + ∑đžđ,đ đđśđ (đź − đ đ,đ đ´∗ (đź − đđđ ) đ´) đĽđ , (10) Lemma 2 (see [22]). Let đť be a Hilbert space, and let {đĽđ } be a sequence in đť. Then, for any given sequence {đ đ }∞ đ=1 ⊂ (0, 1) with ∑∞ đ=1 đ đ = 1 and for any positive integer đ, đ with đ < đ, đđ+1 ≤ (1 − đžđ ) đđ + đžđ đżđ + đ˝đ , đĄđ ≤ đĄđ(đ)+1 . (12) where đźđ + đ˝đ + ∑∞ đ=1 đžđ,đ = 1. If the sequences {đźđ }, {đ˝đ }, {đžđ,đ }, and {đ đ,đ } satisfy the following conditions: (i) limđ → ∞ đ˝đ = 0 and ∑∞ đ=0 đ˝đ = ∞, (ii) for each đ ∈ N, lim inf đ đźđ đžđ,đ > 0, (iii) for each đ ∈ N, {đ đ,đ } ⊂ (0, 2/âđ´â2 ) and 0 < lim inf đ → ∞ đ đ,đ ≤ lim supđ → ∞ đ đ,đ < 2/âđ´â2 , then, the sequence {đĽđ } converges strongly to đĽâ ∈ Ω, where đĽâ = đΩ đ(đĽâ ). Abstract and Applied Analysis 3 óľŠ óľŠ óľŠ2 óľŠ2 ≤ đźđ óľŠóľŠóľŠđĽđ − đ§óľŠóľŠóľŠ + đ˝đ óľŠóľŠóľŠđ (đĽđ ) − đ§óľŠóľŠóľŠ Proof. First, we show that {đĽđ } is bounded. In fact, let đ§ ∈ Ω. Since {đ đ,đ } ⊂ (0, 2/âđ´â2 ), the operators đđśđ (đź − đ đ,đ đ´∗ (đź − đđđ )đ´) are nonexpansive, and hence we have ∞ óľŠóľŠ óľŠóľŠ2 + ∑ đžđ,đ óľŠóľŠóľŠđđśđ (đź − đ đ,đ đ´∗ (đź − đđđ ) đ´) đĽđ − đ§óľŠóľŠóľŠ óľŠ óľŠ đ=1 óľŠóľŠ óľŠ óľŠóľŠđĽđ+1 − đ§óľŠóľŠóľŠ óľŠóľŠ óľŠóľŠ = óľŠóľŠóľŠđźđ đĽđ + đ˝đ đ (đĽđ ) óľŠóľŠ óľŠ óľŠ óľŠ2 − đźđ đžđ,đ óľŠóľŠóľŠóľŠđđśđ (đź − đ đ,đ đ´∗ (đź − đđđ ) đ´) đĽđ − đĽđ óľŠóľŠóľŠóľŠ óľŠ óľŠ óľŠ2 óľŠ2 ≤ đźđ óľŠóľŠóľŠđĽđ − đ§óľŠóľŠóľŠ + đ˝đ óľŠóľŠóľŠđ (đĽđ ) − đ§óľŠóľŠóľŠ óľŠóľŠ ∞ óľŠóľŠ +∑đžđ,đ đđśđ (đź − đ đ,đ đ´∗ (đź − đđđ ) đ´) đĽđ − đ§óľŠóľŠóľŠ óľŠóľŠ đ=1 óľŠ óľŠóľŠ óľŠóľŠ óľŠóľŠ óľŠóľŠ ≤ đźđ óľŠóľŠđĽđ − đ§óľŠóľŠ + đ˝đ óľŠóľŠđ (đĽđ ) − đ§óľŠóľŠ ∞ óľŠ óľŠ2 + ∑ đžđ,đ óľŠóľŠóľŠđĽđ − đ§óľŠóľŠóľŠ đ=1 óľŠ óľŠ2 − đźđ đžđ,đ óľŠóľŠóľŠóľŠđđśđ (đź − đ đ,đ đ´∗ (đź − đđđ ) đ´) đĽđ − đĽđ óľŠóľŠóľŠóľŠ ∞ óľŠ óľŠ + ∑đžđ,đ óľŠóľŠóľŠóľŠđđśđ (đź − đ đ,đ đ´∗ (đź − đđđ ) đ´) đĽđ − đ§óľŠóľŠóľŠóľŠ óľŠ óľŠ óľŠ2 óľŠ2 ≤ (1 − đ˝đ ) óľŠóľŠóľŠđĽđ − đ§óľŠóľŠóľŠ + đ˝đ óľŠóľŠóľŠđ (đĽđ ) − đ§óľŠóľŠóľŠ đ=1 óľŠ óľŠ2 − đźđ đžđ,đ óľŠóľŠóľŠóľŠđđśđ (đź − đ đ,đ đ´∗ (đź − đđđ ) đ´) đĽđ − đĽđ óľŠóľŠóľŠóľŠ . óľŠ óľŠ óľŠ óľŠ ≤ đźđ óľŠóľŠóľŠđĽđ − đ§óľŠóľŠóľŠ + đ˝đ óľŠóľŠóľŠđ (đĽđ ) − đ§óľŠóľŠóľŠ (18) ∞ óľŠ óľŠ + ∑đžđ,đ óľŠóľŠóľŠđĽđ − đ§óľŠóľŠóľŠ Hence, for each đ ∈ N, we have đ=1 óľŠ óľŠ óľŠ óľŠ ≤ (1 − đ˝đ ) óľŠóľŠóľŠđĽđ − đ§óľŠóľŠóľŠ + đ˝đ óľŠóľŠóľŠđ (đĽđ ) − đ§óľŠóľŠóľŠ óľŠ óľŠ óľŠ óľŠ ≤ (1 − đ˝đ ) óľŠóľŠóľŠđĽđ − đ§óľŠóľŠóľŠ + đ˝đ óľŠóľŠóľŠđ (đĽđ ) − đ (đ§)óľŠóľŠóľŠ óľŠ óľŠ + đ˝đ óľŠóľŠóľŠđ (đ§) − đ§óľŠóľŠóľŠ óľŠ óľŠ óľŠ óľŠ ≤ (1 − đ˝đ ) óľŠóľŠóľŠđĽđ − đ§óľŠóľŠóľŠ + đ˝đ đ óľŠóľŠóľŠđĽđ − đ§óľŠóľŠóľŠ óľŠ óľŠ + đ˝đ óľŠóľŠóľŠđ (đ§) − đ§óľŠóľŠóľŠ óľŠ óľŠ ≤ (1 − (1 − đ)) đ˝đ óľŠóľŠóľŠđĽđ − đ§óľŠóľŠóľŠ đ˝ óľŠ óľŠ + (1 − đ) đ óľŠóľŠóľŠđ (đ§) − đ§óľŠóľŠóľŠ 1−đ óľŠ óľŠ óľŠ 1 óľŠóľŠ ≤ max {óľŠóľŠóľŠđĽđ − đ§óľŠóľŠóľŠ , óľŠđ (đ§) − đ§óľŠóľŠóľŠ} 1−đóľŠ óľŠ óľŠ óľŠ2 óľŠ óľŠ2 óľŠ2 ≤ óľŠóľŠóľŠđĽđ − đ§óľŠóľŠóľŠ − óľŠóľŠóľŠđĽđ+1 − đ§óľŠóľŠóľŠ + đ˝đ óľŠóľŠóľŠđ (đĽđ ) − đ§óľŠóľŠóľŠ . Next, we show that there exists a unique đĽâ ∈ Ω such that đĽ = đΩ đ(đĽâ ). We observe that for each đ ≥ 0, đĽâ ∈ Ω solves the GSFP (5) if and only if đĽâ solves the fixed point equation đĽâ = đđśđ (đź − đ đ,đ đ´∗ (đź − đđđ ) đ´) đĽâ , óľŠóľŠ 1 óľŠóľŠ óľŠ óľŠđ (đ§) − đ§óľŠóľŠóľŠ} , 1−đóľŠ óľŠ − đđśđ (đź − đ đ,đ đ´∗ (đź − đđđ ) đ´) đĽđ óľŠóľŠóľŠóľŠ = 0. (17) By using Lemma 2, for every đ§ ∈ Ω and đ ∈ N, we have that (20) óľŠ óľŠ óľŠ óľŠ óľŠ óľŠóľŠ óľŠóľŠđΩ (đ) (đĽ) − đΩ (đ) (đŚ)óľŠóľŠóľŠ ≤ óľŠóľŠóľŠđ (đĽ) − đ (đŚ)óľŠóľŠóľŠ ≤ đ óľŠóľŠóľŠđĽ − đŚóľŠóľŠóľŠ . (21) Hence, there exists a unique element đĽâ ∈ Ω such that đĽâ = đΩ đ(đĽâ ). In order to prove that đĽđ → đĽâ as đ → ∞, we consider two possible cases. Case 1. Assume that {âđĽđ − đĽâ â} is a monotone sequence. In other words, for đ0 large enough, {âđĽđ − đĽâ â}đ≥đ0 is either nondecreasing or nonincreasing. Since âđĽđ − đĽâ â is bounded we have âđĽđ − đĽâ â is convergent. Since limđ → ∞ đ˝đ = 0 and {đ(đĽđ )} is bounded, from (19) we get that óľŠóľŠ óľŠ2 óľŠóľŠđĽđ+1 − đ§óľŠóľŠóľŠ óľŠóľŠ óľŠóľŠ = óľŠóľŠóľŠóľŠđźđ đĽđ + đ˝đ đ (đĽđ ) óľŠóľŠ óľŠ óľŠóľŠ2 óľŠóľŠ + ∑đžđ,đ đđśđ (đź − đ đ,đ đ´ (đź − đđđ ) đ´) đĽđ − đ§óľŠóľŠóľŠóľŠ óľŠóľŠ đ=1 óľŠ ∞ đ ∈ N, that is, the solution sets of fixed point equation (20) and GSFP (5) are the same (see for details [8]). Note that if {đ đ,đ } ⊂ (0, 2/âđ´â2 ), then the operators đđśđ (đź − đ đ,đ đ´∗ (đź − đđđ )đ´) are nonexpansive. Since the fixed point set of nonexpansive operators is closed and convex, the projection onto the solution set Ω is well defined whenever Ω ≠ 0. We observe that đΩ (đ) is a contraction of đť into itself. Indeed, since đΩ is nonexpansive, which implies that {đĽđ } is bounded, and we also obtain that {đ(đĽđ )} is bounded. Next, we show that for each đ ∈ N, lim óľŠóľŠđĽđ đ→∞ óľŠ (19) â .. . óľŠ óľŠ ≤ max {óľŠóľŠóľŠđĽ0 − đ§óľŠóľŠóľŠ , óľŠ óľŠ2 đźđ đžđ,đ óľŠóľŠóľŠóľŠđđśđ (đź − đ đ,đ đ´∗ (đź − đđđ ) đ´) đĽđ − đĽđ óľŠóľŠóľŠóľŠ (16) ∗ óľŠóľŠ lim đź đž óľŠóľŠđđśđ đ → ∞ đ đ,đ óľŠ óľŠ2 (đź − đ đ,đ đ´∗ (đź − đđđ ) đ´) đĽđ − đĽđ óľŠóľŠóľŠóľŠ = 0. (22) 4 Abstract and Applied Analysis Finally, we show that đĽđ → đΩ đ(đĽâ ). Applying Lemma 1, we have that By assuming that lim inf đ đźđ đžđ,đ > 0, we obtain óľŠóľŠ lim óľŠóľŠđđśđ đ→∞ óľŠ óľŠ (đź − đ đ,đ đ´∗ (đź − đđđ ) đ´) đĽđ − đĽđ óľŠóľŠóľŠóľŠ = 0, ∀đ ∈ N. (23) Now, we show that â â â lim sup â¨đ (đĽ ) − đĽ , đĽđ − đĽ ⊠≤ 0. đ→∞ (25) đ→∞ Since {đĽđđ } is bounded, there exists a subsequence {đĽđđ } of đ {đĽđđ } which converges weakly to đ¤. Without loss of generality, we can assume that đĽđđ â đ¤ and đ đ,đ → đ đ ∈ (0, 2/âđ´â2 ) for each đ ∈ N. From (23), we have óľŠ óľŠóľŠ óľŠóľŠđđśđ (đź − đ đ đ´∗ (đź − đđđ ) đ´) đĽđ − đĽđ óľŠóľŠóľŠ óľŠ óľŠ óľŠóľŠ ≤ óľŠóľŠóľŠđđśđ (đź − đ đ đ´∗ (đź − đđđ ) đ´) đĽđ (1 − đ˝đ ) + đ˝đ đ óľŠóľŠ â óľŠ2 óľŠóľŠđĽđ − đĽ óľŠóľŠóľŠ 1 − đ˝đ đ + = Notice that for each đ ∈ N, đđśđ (đź − đ đ đ´∗ (đź − đđđ )đ´) is nonexpansive. Thus, from Lemma 5, we have đ¤ ∈ Ω. Therefore, it follows that đ→∞ 2đ˝đ â¨đ (đĽâ ) − đĽâ , đĽđ+1 − đĽâ ⊠1 − đ˝đ đ 1 − 2đ˝đ + đ˝đ đ óľŠóľŠ â óľŠ2 óľŠđĽ − đĽ óľŠóľŠóľŠ 1 − đ˝đ đ óľŠ đ + đ˝đ2 óľŠóľŠ â óľŠ2 óľŠóľŠđĽđ − đĽ óľŠóľŠóľŠ 1 − đ˝đ đ + 2đ˝đ â¨đ (đ§) − đĽâ , đĽđ+1 − đĽâ ⊠1 − đ˝đ đ ≤ (1 − + lim sup â¨đ (đĽâ ) − đĽâ , đĽđ − đĽâ ⊠= â¨đ (đĽâ ) − đĽâ , đ¤ − đĽâ ⊠≤ 0. 2óľŠ óľŠ2 ≤ (1 − đ˝đ ) óľŠóľŠóľŠđĽđ − đĽâ óľŠóľŠóľŠ óľŠ óľŠ2 óľŠ óľŠ2 + đ˝đ đ {óľŠóľŠóľŠđĽđ − đĽâ óľŠóľŠóľŠ + óľŠóľŠóľŠđĽđ+1 − đĽâ óľŠóľŠóľŠ } (26) as đ ół¨→ ∞. đ→∞ + 2đ˝đ â¨đ (đĽâ ) − đĽâ , đĽđ+1 − đĽâ ⊠2 óľŠóľŠ ∗ óľŠ óľŠóľŠđ´ (đź − đđđ ) đ´đĽđ óľŠóľŠóľŠ óľŠ óľŠ = lim â¨đ (đĽâ ) − đĽâ , đĽđđ − đĽâ ⊠2óľŠ óľŠ2 ≤ (1 − đ˝đ ) óľŠóľŠóľŠđĽđ − đĽâ óľŠóľŠóľŠ óľŠóľŠ óľŠ óľŠ + 2đ˝đ đ óľŠóľŠóľŠđĽđ − đĽâ óľŠóľŠóľŠ óľŠóľŠóľŠđĽđ+1 − đĽâ óľŠóľŠóľŠ ≤ óľŠ óľŠ + óľŠóľŠóľŠóľŠđđśđ (đź − đ đ,đ đ´∗ (đź − đđđ ) đ´) đĽđ − đĽđ óľŠóľŠóľŠóľŠ ół¨→ 0 (28) + 2đ˝đ â¨đ (đĽâ ) − đĽâ , đĽđ+1 − đĽâ ⊠óľŠóľŠ â óľŠ2 óľŠóľŠđĽđ+1 − đĽ óľŠóľŠóľŠ óľŠ óľŠ + óľŠóľŠóľŠóľŠđđśđ (đź − đ đ,đ đ´∗ (đź − đđđ ) đ´) đĽđ − đĽđ óľŠóľŠóľŠóľŠ óľ¨ óľ¨ ≤ óľ¨óľ¨óľ¨đ đ − đ đ,đ óľ¨óľ¨óľ¨ 2óľŠ óľŠ2 ≤ (1 − đ˝đ ) óľŠóľŠóľŠđĽđ − đĽâ óľŠóľŠóľŠ This implies that óľŠ óľŠ + óľŠóľŠóľŠóľŠđđśđ (đź − đ đ,đ đ´∗ (đź − đđđ ) đ´) đĽđ − đĽđ óľŠóľŠóľŠóľŠ óľŠ − (đź − đ đ,đ đ´∗ (đź − đđđ ) đ´) đĽđ óľŠóľŠóľŠóľŠ + 2đ˝đ â¨đ (đĽđ ) − đĽâ , đĽđ+1 − đĽâ ⊠+ 2đ˝đ â¨đ (đĽâ ) − đĽâ , đĽđ+1 − đĽâ ⊠. óľŠ −đđśđ (đź − đ đ,đ đ´∗ (đź − đđđ ) đ´) đĽđ óľŠóľŠóľŠóľŠ óľŠ ≤ óľŠóľŠóľŠóľŠ(đź − đ đ đ´∗ (đź − đđđ ) đ´) đĽđ óľŠóľŠ2 ∞ óľŠóľŠ +∑đžđ,đ (đđśđ (đź − đ đ,đ đ´∗ (đź − đđđ ) đ´) đĽđ − đĽâ )óľŠóľŠóľŠ óľŠóľŠ đ=1 óľŠ + 2đ˝đ â¨đ (đĽđ ) − đ (đĽâ ) , đĽđ+1 − đĽâ ⊠lim â¨đ (đĽâ ) − đĽâ , đĽđđ − đĽâ ⊠= lim supâ¨đ (đĽâ ) − đĽâ , đĽđ − đĽâ âŠ. óľŠóľŠ óľŠóľŠ = óľŠóľŠóľŠđźđ (đĽđ − đĽâ ) óľŠóľŠ óľŠ (24) To show this inequality, we choose a subsequence {đĽđđ } of {đĽđ } such that đ→∞ óľŠóľŠ â óľŠ2 óľŠóľŠđĽđ+1 − đĽ óľŠóľŠóľŠ 2 (1 − đ) đ˝đ óľŠóľŠ óľŠ2 ) óľŠóľŠđĽđ − đĽâ óľŠóľŠóľŠ 1 − đ˝đ đ 2 (1 − đ) đ˝đ đ˝đ { đ 1 − đ˝đ đ 2 (1 − đ) 1 â¨đ (đĽâ ) − đĽâ , đĽđ+1 − đĽâ âŠ} 1−đ óľŠ2 óľŠ ≤ (1 − đđ ) óľŠóľŠóľŠđĽđ − đĽâ óľŠóľŠóľŠ + đđ đżđ , (29) + (27) Abstract and Applied Analysis 5 đ where đżđ = đ˝đ đ 1 + â¨đ (đĽâ ) − đĽâ , đĽđ+1 − đĽâ ⊠, 2 (1 − đ) 1 − đ (30) đ = sup{âđĽđ − đĽâ â2 : đ ≥ 0} and đđ = 2(1 − đ)đ˝đ /(1 − đ˝đ đ). It is easy to see that đđ → 0, ∑∞ đ=1 đđ = ∞ and lim supđ → ∞ đżđ ≤ 0. Hence, by Lemma 3, the sequence {đĽđ } converges strongly to đĽâ = đΩ đ(đĽâ ). Case 2. Assume that {âđĽđ − đĽâ â} is not a monotone sequence. Then, we can define an integer sequence {đ(đ)} for all đ ≥ đ0 (for some đ0 large enough) by óľŠ óľŠ óľŠ óľŠ đ (đ) = max {đ ∈ N; đ ≤ đ : óľŠóľŠóľŠđĽđ − đĽâ óľŠóľŠóľŠ < óľŠóľŠóľŠđĽđ+1 − đĽâ óľŠóľŠóľŠ} . (31) Clearly, đ(đ) is a nondecreasing sequence such that đ(đ) → ∞ as đ → ∞ and for all đ ≥ đ0 , óľŠ óľŠóľŠ âóľŠ âóľŠ (32) óľŠóľŠđĽđ(đ) − đĽ óľŠóľŠóľŠ < óľŠóľŠóľŠđĽđ(đ)+1 − đĽ óľŠóľŠóľŠ . From (19), we obtain that óľŠ óľŠ lim óľŠóľŠóľŠđđśđ (đź − đ đ(đ),đ đ´∗ (đź − đđđ ) đ´) đĽđ(đ) − đĽđ(đ) óľŠóľŠóľŠóľŠ = 0. đ→∞ óľŠ (33) Following an argument similar to that in Case 1, we have â â â lim sup â¨đ (đĽ ) − đĽ , đĽđ(đ)+1 − đĽ ⊠≤ 0. (34) đ→∞ And by similar argument, we have óľŠóľŠ â óľŠ2 óľŠóľŠđĽđ(đ)+1 − đĽ óľŠóľŠóľŠ (35) óľŠ2 óľŠ ≤ (1 − đđ(đ) ) óľŠóľŠóľŠđĽđ(đ) − đĽâ óľŠóľŠóľŠ + đđ(đ) đżđ(đ) , where đđ(đ) → 0, ∑∞ đ=1 đđ(đ) = ∞ and lim supđ → ∞ đżđ(đ) ≤ 0. Hence, by Lemma 3, we obtain limđ → ∞ âđĽđ(đ) − đĽâ â = 0 and limđ → ∞ âđĽđ(đ)+1 − đĽâ â = 0. Now, from Lemma 4, we have óľŠ óľŠ 0 ≤ óľŠóľŠóľŠđĽđ − đĽâ óľŠóľŠóľŠ óľŠ óľŠ óľŠ óľŠ ≤ max {óľŠóľŠóľŠđĽđ(đ) − đĽâ óľŠóľŠóľŠ , óľŠóľŠóľŠđĽđ − đĽâ óľŠóľŠóľŠ} (36) óľŠ óľŠ ≤ óľŠóľŠóľŠđĽđ(đ)+1 − đĽâ óľŠóľŠóľŠ . Therefore, {đĽđ } converges strongly to đĽâ = đΩ đ(đĽâ ). For finite collections we have the following consequence of Theorem 6. Theorem 7. Let đť and đž be real Hilbert spaces, and let đ´ : đ đť → đž be a bounded linear operator. Let {đśđ }đ=1 be a family đ of nonempty closed convex subsets in đť, and let {đđ }đ=1 be a family of nonempty closed convex subsets in đž. Assume that MSSFP has a nonempty solution set Ω. Let đ˘ be an arbitrary element in đť, and let {đĽđ } be a sequence generated by đĽ0 ∈ đť and đĽđ+1 = đźđ đĽđ + đ˝đ đ˘ đ + ∑đžđ,đ đđśđ (đź − đ đ,đ đ´∗ (đź − đđđ ) đ´) đĽđ , đ ≥ 0, đ=1 (37) where đźđ + đ˝đ + ∑đ=1 đžđ,đ = 1. If the sequences {đźđ }, {đ˝đ }, {đžđ,đ }, and {đ đ,đ } satisfy the following conditions: (i) limđ → ∞ đ˝đ = 0 and ∑∞ đ=0 đ˝đ = ∞, (ii) for all đ ∈ {1, 2, . . . , đ}, lim inf đ đźđ đžđ,đ > 0, (iii) for all đ ∈ {1, 2, . . . , đ}, {đ đ,đ } ⊂ (0, 2/âđ´â2 ) and 0 < lim inf đ đ,đ ≤ lim supđ đ,đ < đ→∞ đ→∞ 2 , âđ´â2 (38) then the sequence {đĽđ } converges strongly to đĽâ ∈ Ω, where đĽâ = đΩ đ˘. Acknowledgment This paper is funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah. The authors therefore, acknowledge with thanks the DSR for technical and financial support. References [1] 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. [2] 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. [3] C. Byrne, “Iterative oblique projection onto convex sets and the split feasibility problem,” Inverse Problems, vol. 18, no. 2, pp. 441– 453, 2002. [4] L.-C. Ceng, Q. H. Ansari, and J.-C. Yao, “Relaxed extragradient methods for finding minimum-norm solutions of the split feasibility problem,” Nonlinear Analysis: Theory, Methods & Applications, vol. 75, no. 4, pp. 2116–2125, 2012. [5] L.-C. Ceng, Q. H. Ansari, and J.-C. Yao, “An extragradient method for solving split feasibility and fixed point problems,” Computers & Mathematics with Applications, vol. 64, no. 4, pp. 633–642, 2012. [6] Y. Censor, T. Elfving, N. Kopf, and T. Bortfeld, “The multiplesets split feasibility problem and its applications for inverse problems,” Inverse Problems, vol. 21, no. 6, pp. 2071–2084, 2005. [7] F. Wang and H.-K. Xu, “Cyclic algorithms for split feasibility problems in Hilbert spaces,” Nonlinear Analysis: Theory, Methods & Applications, vol. 74, no. 12, pp. 4105–4111, 2011. [8] H.-K. Xu, “Iterative methods for the split feasibility problem in infinite-dimensional Hilbert spaces,” Inverse Problems, vol. 26, no. 10, Article ID 105018, p. 17, 2010. [9] Y. Censor, A. Motova, and A. Segal, “Perturbed projections and subgradient projections for the multiple-sets split feasibility problem,” Journal of Mathematical Analysis and Applications, vol. 327, no. 2, pp. 1244–1256, 2007. [10] H.-K. Xu, “A variable Krasnosel’skii-Mann algorithm and the multiple-set split feasibility problem,” Inverse Problems, vol. 22, no. 6, pp. 2021–2034, 2006. [11] Q. Yang, “The relaxed CQ algorithm solving the split feasibility problem,” Inverse Problems, vol. 20, no. 4, pp. 1261–1266, 2004. 6 [12] 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. [13] Y. Alber and D. Butnariu, “Convergence of Bregman projection methods for solving consistent convex feasibility problems in reflexive Banach spaces,” Journal of Optimization Theory and Applications, vol. 92, no. 1, pp. 33–61, 1997. [14] B. Qu and N. Xiu, “A note on the đśđ algorithm for the split feasibility problem,” Inverse Problems, vol. 21, no. 5, pp. 1655– 1665, 2005. [15] J. Zhao and Q. Yang, “Several solution methods for the split feasibility problem,” Inverse Problems, vol. 21, no. 5, pp. 1791– 1799, 2005. [16] 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. [17] Y. Yao, W. Jigang, and Y.-C. Liou, “Regularized methods for the split feasibility problem,” Abstract and Applied Analysis, vol. 2012, Article ID 140679, 13 pages, 2012. [18] Y. Dang and Y. Gao, “The strong convergence of a KM-CQ-like algorithm for a split feasibility problem,” Inverse Problems, vol. 27, article 015007, p. 9, 2011. [19] F. Wang and H.-K. Xu, “Approximating curve and strong convergence of the đśđ algorithm for the split feasibility problem,” Journal of Inequalities and Applications, vol. 2010, Article ID 102085, 13 pages, 2010. [20] L.-C. Ceng, Q. H. Ansari, and J.-C. Yao, “Mann type iterative methods for finding a common solution of split feasibility and fixed point problems,” Positivity, vol. 16, no. 3, pp. 471–495, 2012. [21] A. Moudafi, “Viscosity approximation methods for fixed-points problems,” Journal of Mathematical Analysis and Applications, vol. 241, no. 1, pp. 46–55, 2000. [22] S.-S. Chang, J. K. Kim, and X. R. Wang, “Modified block iterative algorithm for solving convex feasibility problems in Banach spaces,” Journal of Inequalities and Applications, vol. 2010, Article ID 869684, 14 pages, 2010. [23] H.-K. Xu, “Iterative algorithms for nonlinear operators,” Journal of the London Mathematical Society, vol. 66, no. 1, pp. 240–256, 2002. [24] P.-E. MaingeĚ, “Strong convergence of projected subgradient methods for nonsmooth and nonstrictly convex minimization,” Set-Valued Analysis, vol. 16, no. 7-8, pp. 899–912, 2008. [25] K. Goebel and W. A. Kirk, Topics in Metric Fixed Point Theory, vol. 28, Cambridge University Press, Cambridge, UK, 1990. Abstract and Applied Analysis Advances in Operations Research Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Advances in Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Mathematical Problems in Engineering Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Algebra Hindawi Publishing Corporation http://www.hindawi.com Probability and Statistics Volume 2014 The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Differential Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Submit your manuscripts at http://www.hindawi.com International Journal of Advances in Combinatorics Hindawi Publishing Corporation http://www.hindawi.com Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences Journal of Hindawi Publishing Corporation http://www.hindawi.com Stochastic Analysis Abstract and Applied Analysis Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com International Journal of Mathematics Volume 2014 Volume 2014 Discrete Dynamics in Nature and Society Volume 2014 Volume 2014 Journal of Journal of Discrete Mathematics Journal of Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Applied Mathematics Journal of Function Spaces Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Optimization Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014