Journal of Applied MathematicsVolume 2012 (2012), Article ID 256930, 9 pagesdoi:10.1155/2012/256930

Research Article

On the Strong Convergence of an Algorithm about Firmly Pseudo-Demicontractive Mappings for the Split Common Fixed-Point Problem

Yanrong Yu and Delei Sheng

Department of Mathematics, Tianjin Polytechnic University, Tianjin 300387, China

Received 26 January 2012; Accepted 16 February 2012

Academic Editor: Yonghong Yao

Copyright © 2012 Yanrong Yu and Delei Sheng. 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.

Abstract.

Based on the recent work by Censor and Segal (2009 J. Convex Anal.16), and inspired by Moudafi (2010 Inverse Problems 26), we modify the algorithm of demicontractive operators proposed by Moudafi and study the modified algorithm for the class of firmly pseudodemicontractive operators to solve the split common fixed-point problem in a Hilbert space. We also give the strong convergence theorem under some appropriate conditions. Our work improves and/or develops the work of Moudafi, Censor and Segal, and other results.

1. Introduction

Throughout, let and be real Hilbert spaces, and let be a bounded linear operator. The split feasibility problem (SFP) [1–4] is to find a point where is a closed convex subset of a Hilbert space and is a closed convex subset of a Hilbert space . If the two closed convex subsets and are fixed point sets of and , respectively, where and are nonlinear operators, we obtain the two-set split common fixed-point problem (SCFP).

The split common fixed-point problem [5–8] requires to find a common fixed point of a family of operators in one space such that its image under a linear transformation is a common fixed point of another family of operators in the image space. This generalizes the split feasibility problem (SFP) and the convex feasibility problem (CFP).

In 2008, Censor and Segal proposed the split common fixed-point problem (SCFP) in [5] for directed operators in finite-dimensional Hilbert spaces. They invented an algorithm for the two-set SCFP which generated a sequence according to the iterative procedure where with being the spectral radius of the operator . Let be arbitrary.

They proved the convergence of the algorithm in finite-dimension spaces. Inspired by the work of Censor and Segal, Moudafi [6] introduced the following algorithm for -demicontractive operators in Hilbert spaces: and let where with being the spectral radius of the operator , . Let be arbitrary. Using Féjer-monotone and the demiclosed properties of and at the origin, Moudafi proved the convergence theorem. Based on the work of Censor, Segal, and Moudafi, Sheng and Chen gave their results of pseudo-demicontractive operators for the split common fixed-point problem recently.

Furthermore, we modify the algorithm (1.4) proposed by Moudafi and extend the operators to the class of firmly pseudo-demicontractive operators [9] in this paper. The firmly pseudo-demicontractive operators are more general class, which properly includes the class of demicontractive operators, pseudo-demicontractive operators, and quasi-nonexpansive mappings and is more desirable, for example, in fixed-point methods in image recovery where, in many cases, it is possible to map the set of images possessing a certain property to the fixed-point set of a nonlinear quasi-nonexpansive operator. Also for the hybrid steepest descent method, see [10], which is an algorithmic solution to the variational inequality problem over the fixed-point set of certain quasi-nonexpansive mappings and applicable to a broad range of convexly constrained nonlinear inverse problems in real Hilbert spaces. Our work is related to significant real-world applications, see, for instance, [2–4, 11], where such methods were applied to the inverse problem of intensity-modulated radiation therapy (IMRT) and to the dynamic emission tomographic image reconstruction. Based on the very recent work in this field, we give an extension of their unified framework to firmly pseudo-demicontractive operators and obtain convergence results of a modified algorithm in the context of general Hilbert spaces.

Our paper is organized as follows. Section 2 reviews some preliminaries. Section 3 gives a modified algorithm and shows its strong convergence under some appropriate conditions. Section 4 gives some conclusions briefly.

2. Preliminaries

To begin with, let us recall that the split common fixed point problem [5] proposed by Censor and Segal in finite spaces.

Given operators , , and , , with nonempty fixed points sets , and , , respectively. The split common fixed point problem (SCFP) is to find a vector

In the sequel, we concentrate on the study of the two-set split common fixed-point problem, which is to find that where and are two Hilbert spaces, and are two nonempty closed convex subsets, is a bounded linear operator, , are two firmly pseudo-demicontractive operators with and . , and are coefficients of , respectively.

Definition 2.1. We say that is demicontractive [6] means that there exists constant such that is pseudo-demicontractive [9] means that there exists constant such that

Definition 2.2. We say that is firmly pseudo-demicontractive means that there exist constants such that The inequality (2.5) is equivalent to An operator satisfying (2.5) will be referred to as a firmly pseudo-demicontractive mapping. It is worth noting that the class of firmly pseudo-demicontractive maps contains important operators such as the demicontractive maps, quasi-nonexpansive maps, and the strictly pseudo-contractive maps with fixed points.Next, let us recall several concepts:(1)a mapping is said to be nonexpansive if (2)a mapping is said to be quasi-nonexpansive if (3)a mapping is said to be strictly pseudo-contractive if Obviously, the nonexpansive operators are both quasi-nonexpansive and strictly pseudo-contractive maps and are well known for being demiclosed.

Lemma 2.3 (see [5]). An operator T is said to be closed at a point if for every and every sequence in , such that, and , we have . In what follows, only the particular case of closed at zero will be used, which is the particular case when .

Lemma 2.4 (see [12]). Let , and be sequences of nonnegative real numbers satisfying the inequality where , , then exists.

Motivated by the former works in [5–9], we modify the algorithm proposed by Moudafi in [6] for solving SCFP in the more general case when the operators are firmly pseudo-demicontractive, defined on a general Hilbert space and also change several conditions. Then, we prove a strong convergence theorem of the modified algorithm about firmly pseudo-demicontractive operators, which improves and/or develops several corresponding results in this field. We present in this paper only theoretical results of algorithmic developments and convergence theorems. Experimental computational work in other literatures [4, 10] shows the practical viability of this class of algorithms.

3. Main Results

Let us consider now the two operators split common fixed-point problem (SCFP) [5, 6] where is a bounded linear operator, are two firmly pseudo-demicontractive operators with and , where and are two firmly pseudo-demicontractive coefficients of , respectively. , are two Hilbert spaces.

In what follows we always assume that the solution set of the two-operator SCFP is not empty, which denotes by

Based on the algorithm of [5, 6], we develop the following modified algorithm to solve (3.1).

Algorithm 3.1. Initialization: let be arbitrary.Iterative step: for set and let where with being the spectral radius of the operator , .

Theorem 3.2. Let , are two Hilbert spaces, is a bounded linear operator, are two firmly pseudo-demicontractive operators with and , and are two firmly pseudo-demicontractive coefficients of , respectively. Let , and . is closed at the origin, the spectral radius of the operator , then the sequence generated by the modified algorithm (3.4) converges strongly to the solution of (3.1).

Proof. Taking , that is, , and using (2.6), we obtain that Using the expression of in Algorithm 3.1, we also have From the definition of , it follows that Now, by setting and using the fact (2.5) and its equivalent form (2.6), we infer that Substituting (3.8), (3.7), and (3.6) into (3.5), we get the following inequality: Since , and , we obtain that , , , and , thus, Setting and , (3.10) can be formulated as We also can denote that , , thus (3.11) can be rewritten as Obviously, , , and are sequences of nonnegative real numbers. Since , , that is, , from Lemma 2.4, exists.Since being the spectral radius of the operator , (3.9) also can be reformulated as the following: Taking limits from both side of (3.13), , , , , we obtain that If we take limits from both sides of (3.9), we can get the following: Because is closed at the origin, from (3.15) and (3.16), using Lemma 2.3, we have The sequence generated by modified algorithm (3.1) converges strongly to the solution of SCFP. The proof is completed.

Under the same conditions as in Thereom 3.2, if we take (i.e., are pseudo-demicontractive operators), the strong convergence also holds, so we get the following corollary.

Corollary 3.3. Let are two Hilbert spaces, is a bounded linear operator, are two pseudo-demicontractive operators with and , and are two pseudo-demicontractive coefficients of , respectively. Let , , and . is closed at the origin, and is the spectral radius of the operator , then the sequence generated by the modified algorithm (3.4) converges strongly to the solution of (3.1).

Proof. Taking , here (3.9) as the following: Because from (3.18), we get The same lines as the proof of Thereom 3.2, we obtain the desired result.

At last, we want to say that the condition actually controls the distance between independent variable and dependent variable of the related operators. Provided that the distance may not fluctuate too severely, the condition can always be satisfied with some appropriate coefficients, for example, taking .

4. Conclusion

In this paper, we generalize the algorithm proposed by Moudafi for demicontractive operators to firmly pseudo-demicontractive operators for SCFP and use some beautiful lemmas to prove the strong convergence of the modified algorithm. Our results improve and/or develop Moudafi, Censor, and some other people’s work.

Acknowledgment

This research was supported partly by NSFC Grant no: 11071279.

References

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.

C. Byrne, “Iterative oblique projection onto convex sets and the split feasibility problem,” Inverse Problems, vol. 18, no. 2, pp. 441–453, 2002.

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, T. Bortfeld, B. Martin, and A. Trofimov, “A unified approach for inversion problems in intensity-modulated radiation therapy,” Physics in Medicine and Biology, vol. 51, no. 10, pp. 2353–2365, 2006.

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, “The split common fixed-point problem for demicontractive mappings,” Inverse Problems, vol. 26, no. 5, Article ID 055007, p. 6, 2010.

A. Moudafi, “A note on the split common fixed-point problem for quasi-nonexpansive operators,” Nonlinear Analysis, vol. 74, no. 12, pp. 4083–4087, 2011.

F. Wang and H. K. Xu, “Cyclic algorithms for split feasibility problems in Hilbert spaces,” Nonlinear Analysis, vol. 74, no. 12, pp. 4105–4111, 2011.

D. l. Sheng and R. D. Chen, “On the strong convergence of an algorithm about pseudo-demicontractive mappings for the split common fixed-point problem,” 2011, http://www.paper.edu.cn

I. Yamada, “Signal processing applications of a pair of simple fixed-point algorithms,” in Approximation and Optimization in Image Restoration and Reconstruction, Poquerolles, France, 2009.

P. L. Combettes, “The convex feasibility problem in image recovery,” Advances in Imaging and Electron Physics C, vol. 95, pp. 155–270, 1996.

K. K. Tan and H. K. Xu, “Approximating fixed points of nonexpansive mappings by the Ishikawa iteration process,” Journal of Mathematical Analysis and Applications, vol. 178, no. 2, pp. 301–308, 1993.