Abstract

Fixed point (especially, the minimum norm fixed point) computation is an interesting topic due to its practical applications in natural science. The purpose of the paper is devoted to finding the common fixed points of an infinite family of nonexpansive mappings. We introduce an iterative algorithm and prove that suggested scheme converges strongly to the common fixed points of an infinite family of nonexpansive mappings under some mild conditions. As a special case, we can find the minimum norm common fixed point of an infinite family of nonexpansive mappings.

1. Introduction

In many problems, it is needed to find a solution with minimum norm. In an abstract way, we may formulate such problems as finding a point with the property where is a nonempty closed convex subset of a real Hilbert space . In other words, is the (nearest point or metric) projection of the origin onto , where is the metric (or nearest point) projection from onto .

A typical example is the least-squares solution to the constrained linear inverse problem [1] where is a bounded linear operator from to another real Hilbert space and is a given point in . The least-squares solution to (1.3) is the least-norm minimizer of the minimization problem Recently, some authors consider the minimum norm solution problem by using the iterative algorithm. For some related works, please refer to [24]. Yao and Xu [3] introduced the following algorithm: They proved that the sequence converges in norm to the unique solution of VI , . Particularly, the sequence defined by converges to the minimum norm fixed point of . We note that the authors added an additional assumption, that is, . Iterative algorithm for finding the fixed points of nonexpansive mappings has been considered by many authors, see [520].

The purpose of this paper is to extend Yao and Xu’s result to an infinite family of nonexpansive mappings . We suggest a new algorithm. Particularly, we drop the above additional assumption and prove the suggested algorithm converges strongly to the common fixed points of . As a special case, we can find the minimum norm fixed point of .

2. Preliminaries

Let be a real Hilbert space with inner product and norm , respectively, and let be a nonempty closed convex subset of . We call a -contraction if there exists a constant such that for all . A bounded linear operator is said to be strongly positive on if there exists a constant such that Recall that the (nearest point or metric) projection from onto , denoted by , is defined in such a way that, for each , is the unique point in with the property It is known that satisfies Moreover, is characterized by the following properties: for all and .

We also need other sorts of nonlinear operators which are introduced below. Let be a nonlinear operator.(a) is nonexpansive if for all .(b) is firmly nonexpansive if is nonexpansive. Equivalently, , where is nonexpansive. Alternatively, is firmly nonexpansive if and only if (c) is averaged if , where and is nonexpansive. In this case, we also say that is -averaged. A firmly nonexpansive mapping is -averaged.

It is well known that both and are firmly nonexpansive. We will need to use the following notation:(i) stands for the set of fixed points of ;(ii) stands for the weak convergence of to ;(iii) stands for the strong convergence of to .

Let be infinite mappings of into itself, and let be real numbers such that for every . For any , define a mapping of into itself as follows: Such is called the -mapping generated by and . For the iterative algorithm for a finite family of nonexpansive mappings, we refer the reader to [21].

We have the following crucial lemmas concerning which can be found in [22].

Lemma 2.1. Let be a nonempty closed convex subset of a real Hilbert space . Let be nonexpansive mappings of into itself such that is nonempty, and let be real numbers such that for any . Then, for every and , the limit exists.

Lemma 2.2. Let be a nonempty closed convex subset of a real Hilbert space . Let be nonexpansive mappings of into itself such that is nonempty, and let be real numbers such that for any . Then, .

The following remark [23] is important to prove our main results.

Remark 2.3. Using Lemma 2.1, one can define a mapping of into itself as , for every . If is a bounded sequence in , then one has

Throughout this paper, we will assume that for every .

Lemma 2.4 (see [24]). Let be a nonempty closed convex subset of a real Hilbert space . Let be a nonexpansive mapping with . Then is demiclosed on , that is, if weakly and , then .

Lemma 2.5 (see [25]). Let and be bounded sequences in a Banach space , and let be a sequence in with . Suppose for all integers and . Then, .

Lemma 2.6 (see [26]). Assume is a sequence of nonnegative real numbers such that where is a sequence in and is a sequence such that (1);(2) or .Then .

3. Main Result

In this section, we introduce our algorithm and prove its strong convergence.

Theorem 3.1. Let be a nonempty closed convex subset of a real Hilbert space . Let be a sequence of nonexpansive mappings from to such that the common fixed point set . Let be a -contraction and be a self-adjoint, strongly positive bounded linear operator with coefficient . Let be a constant such that . For an arbitrary initial point belonging to , one defines a sequence iteratively where is a real sequence in . Assume the sequence satisfies the following conditions:(C1);(C2).Then the sequence generated by (3.1) converges in norm to the unique solution which solves the following variational inequality:

Proof. Let . From (3.1), we have It follows by induction that This indicates that is bounded. It is easy to deduce that , , and are also bounded.
Set . It is known that is nonexpansive. Note that . Then, we can rewrite (3.1) as Note that From (3.5), we have where Set and for all . Then It follows that Thus, From the nonexpansivity of , we get Since and are nonexpansive, we have where is a constant such that for all . So, Hence, Since , we have , , and . Therefore, By Lemma 2.5, we get Hence, from (3.7), we deduce Observe that From (3.18) and (3.19), we deduce Next we prove where is the unique solution of VI (3.2).
Indeed, we can choose a subsequence of such that Since is bounded, there exists a subsequence of which converges weakly to a point . Without loss of generality, we may assume that converges weakly to . Therefore, from (3.20) and Lemma 2.4, we have . Therefore, Finally, we show that . We observe that Since , we get It follows that Hence, all conditions of Lemma 2.6 are satisfied. Therefore, we immediately deduce that . This completes the proof.

From (3.1) and Theorem 3.1, we can deduce easily the following result.

Corollary 3.2. Let be a nonempty closed convex subset of a real Hilbert space . Let be a sequence of nonexpansive mappings from to such that the common fixed point set . For an arbitrary initial point , one defines a sequence iteratively where is a real sequence in . Assume the sequence satisfies the following conditions:(C1);(C2). Then the sequence generated by (3.27) converges to the minimum norm common fixed point of .

Acknowledgment

The paper was supported by NSFC 11071279.