Journal of Function Spaces

Journal of Function Spaces / 2016 / Article

Research Article | Open Access

Volume 2016 |Article ID 5973468 | 9 pages | https://doi.org/10.1155/2016/5973468

Iterative Approximations for Zeros of Sum of Accretive Operators in Banach Spaces

Academic Editor: Adrian Petrusel
Received27 Oct 2015
Revised13 Dec 2015
Accepted24 Dec 2015
Published31 Jan 2016

Abstract

We study the approximation of zero for sum of accretive operators using a modified Mann type forward-backward splitting algorithm and obtain strong convergence of the sequence generated by our scheme to the zero of sum of accretive operators in uniformly convex real Banach spaces which are also uniformly smooth. Our result is new and complements many recent and important results in this direction in the literature.

1. Introduction and Preliminaries

Let be a real Banach space. The modulus of convexity is defined as is called uniformly convex if for any and -uniformly convex if there is so that for any . The modulus of smoothness is defined by is called uniformly smooth if and -uniformly smooth if there is so that for any . Hilbert spaces, spaces, , and the Sobolev spaces, , , are -uniformly smooth. Hilbert spaces are 2-uniformly smooth whileIt is shown in [1] that there is no Banach space which is -uniformly smooth with . It is obvious that -uniformly smooth Banach space must be uniformly smooth.

The normalized duality mapping is defined byIt is well known that is single-valued and norm-to-norm uniformly continuous on each bounded subsets of if is a real smooth and uniformly convex Banach space (please see [2]). In the sequel, we will denote by the single-valued normalized duality mapping. If is reduced to the Hilbert space , then is the identity mapping.

Let be a mapping on . We will use to denote its set of fixed points; that is, . Furthermore, we say that is a fixed contraction if there exists a constant such that, for all , we have . The mapping is said to be nonexpansive if . Thus, is nonexpansive if .

Let be a nonempty, closed, and convex subset of and let be a mapping of onto . Then is said to be sunny [3] if , for all and . A mapping of into is said to be a retraction [3] if . If a mapping is a retraction, then for every , where is the range of . In [4], it was shown that if is uniformly smooth and if is the fixed point set of a nonexpansive mapping from into itself, then there is a unique sunny nonexpansive retraction from onto . We know that, in a uniformly smooth Banach space, a retraction is sunny and nonexpansive, if and only ifA set-valued operator , with domain and range , is said to be accretive if, for all and every ,Equivalently, by Lemma of Kato [5] we know that is accretive if and only if, for each , there exists such thatFurthermore, an accretive operator is said to be -accretive if the range for all . Given and , we say that an accretive operator is -inverse strongly accretive (-isa) of order if, for each , there exists such thatWhen , we simply say -isa, instead of -isa of order 2; that is, is -isa if, for each , there exists such thatLet be a real uniformly convex Banach space which is also uniformly smooth. Suppose is an -accretive operator and an -inverse strongly accretive. In this paper, we will consider the following inclusion problem (assuming that the solution exists): find such thatProblem (10) is a very general format for certain concrete problems in machine learning, image processing and linear inverse problem, and many nonlinear problems such as convex programming, variational inequalities, split feasibility problem, and minimization problem.

It is well known that a forward-backward splitting method (please see, e.g., [69]) is the classical method for solving problem (10). This forward-backward splitting method is given by andwhere . This method generalizes the proximal point algorithm (please see [1014]) and the gradient method (see, e.g., [15]). There have been many works concerning the problem of finding zero points of the sum of two monotone operators (in Hilbert spaces) and accretive operators (in Banach spaces). For more details, please, see [1620] and the references contained therein. Motivated by the results of López et al. [21], Cholamjiak [22] and Wei and Shi [23] have recently extended the results of López et al. [21] from Halpern-type forward-backward method to viscosity-type forward-backward method with fixed contraction in -uniformly smooth Banach spaces which are also uniformly convex.

Remark 1. We note that for the class of inverse strongly accretive of order coincides with that of inverse strongly accretive. Thus, in the case of , (8) is not equivalent to (9). Furthermore, for , inverse strongly accretive operators of order   do represent a subclass of inverse strongly accretive operators (see [24]). In light of above comments, the class of inverse strongly accretive operators of order considered in the results of Cholamjiak [22], López et al. [21], and Wei and Shi [23] is a subclass of inverse strongly accretive operators we will consider in this paper.
Recently, Wei and Duan [25] studied the problem of finding zeros of the sum of finitely many -accretive operators and finitely many -inversely strongly accretive operators in a real smooth and uniformly convex Banach space (i.e., find such that ). They proved the following strong convergence result.

Theorem 2. Let be a real smooth and uniformly convex Banach space and let be a nonempty, closed, and convex sunny nonexpansive retraction of , and let be the sunny nonexpansive retraction of onto . Let be a fixed contractive mapping with coefficient ,  and let   be a strongly positive linear bounded operator with coefficient . Suppose that the duality mapping is weakly sequentially continuous at zero, and . Let be -accretive operator and let be -inversely strongly accretive operator, where . Suppose that, for and ,Let be generated by, for . Suppose , and are three sequences in and satisfying the following conditions:(i), as ;(ii);(iii) and , for and ;(iv).If  , then converges strongly to a point , which is the unique solution of the following variational inequality: for all ,

We observe that Theorem 2 extends the results of López et al. [21] from -uniformly smooth Banach spaces which are also uniformly convex to uniformly smooth and uniformly convex Banach spaces under the condition that the normalized duality mapping is weakly sequentially continuous at zero. We also observe that this result is not applicable in , . This leads to this natural question.

Question 1. Can we obtain strong convergence result for approximation of zero of sum of accretive operators in uniformly smooth Banach spaces which are also uniformly convex without assuming that the normalized duality mapping is weakly sequentially continuous at zero or ?

Our interest in this paper is to answer the above question in the affirmative. That is, we establish strong convergence result for approximation of zero of sum of accretive operators in uniformly smooth Banach spaces which are also uniformly convex without assuming that the normalized duality mapping is weakly sequentially continuous at zero or . To achieve this, apply generalized forward-backward method which involves viscosity approximation method with fixed contraction and weakly contractive mappings.

In the sequel, we will assume that is an -accretive operator. Then we can define, for each , the resolvent by , and the Yosida approximation by . Denote by the zero set of ; that is, . It is well known that is single-valued and nonexpansive, and for every , where .

In what follows we will make use of the following lemmas.

Lemma 3 (see Maingé [26]). Let be a real sequence that does not decrease at infinity, in the sense that there exists a subsequence so that for all .
For every define an integer sequence asThen as and for all

Lemma 4 (see Xu [27]). Assume is a sequence of nonnegative real numbers such that where is a sequence in and is a sequence in such that(i)(ii) or Then .

Lemma 5 (see Xu [28]). Let be a nonempty closed convex subset of a uniformly smooth Banach space and let be a nonexpansive mapping with a fixed point. Let be a fixed contraction with coefficient . If there exists a bounded sequence such that and exists, where is defined by and solves the variational inequalitythen

Lemma 6. Let be a real Banach space. Then, for all , one has

Lemma 7 (see López et al. [21]). Let be a real Banach space. Let be an -accretive operator and let be an -inverse strongly accretive mapping on . Then one has(i)for , ,(ii)for and .

Lemma 8 (see Suantai and Cholamjiak [29]). Let be a real Banach space with Fréchet differentiable norm. For , let be defined for byThen, andfor all .

Remark 9. In a real Hilbert space, we see that for .

In the result of Suantai and Cholamjiak [29], the authors assumed that for . This naturally leads to this important question.

Question 2. What uniformly smooth Banach spaces (except Hilbert spaces) satisfy the assumption for ? In particular, do spaces, , satisfy it?

In , , we know thatThen in (21) is estimated by for .

In our more general setting, throughout this paper, we will assume that where is the function appearing in (21).

By following the same method of proof as contained in the proof of Lemma of [21], we have the following lemma.

Lemma 10. Let be a real uniformly convex with Fréchet differentiable norm. Assume that is a single-valued -inverse strongly accretive mapping on . Then, given , there exists a continuous, strictly increasing and convex function with such that, for all ,where .

We will adopt the following notation in this paper: means that strongly.

2. Main Results

We first prove the following lemma in a real Banach space with Fréchet differentiable norm.

Lemma 11. Let be a real Banach space with Fréchet differentiable norm. Let be an -accretive operator and let be an -inverse strongly accretive mapping. Assume that . Let be a fixed contraction with coefficient . Let be a sequence of positive real numbers and suppose that and are sequences in . Let be a sequence generated by ,where , , . Then is bounded.

Proof. For each , let and . Then, for all , we haveThus, is nonexpansive for all . Furthermore,Thus, , . So,Now, using (29), we haveHence, is bounded.

Using the idea of the proof partly taken from [18, 26, 30, 31], we state and prove the following strong convergence theorem.

Theorem 12. Let be a real uniformly convex Banach space which is also uniformly smooth. Let be an -accretive operator and let be an -inverse strongly accretive. Assume that . Let be a fixed contraction with coefficient . Let be a sequence of positive real numbers and suppose that and are sequences in satisfying the following conditions:(i);(ii);(iii);(iv).Let the sequence be generated by (26). Then converges strongly to , where is the unique sunny nonexpansive retraction of onto ; that is, solves the variational inequality

Proof. Let . Then, using Lemma 6 in (26), we have thatIt follows from (32) and Lemma 10 that there exists a continuous, strictly increasing, and convex function with such thatNow, using (26), we haveLet , , and . Then, (34) becomesWe now show that , by considering two possible cases.
Case 1. Suppose that is eventually decreasing. That is, there exists such that is decreasing for . This implies that is convergent. It then follows from (35) thatThis implies thatConsequently,Since , there exists such that , Then, by Lemma 7, we haveAlso, from (26), we obtainSince , it follows from Lemma 5 thatEquivalently, . We observe further thatAgain from (26), we have that Hence,From (36), we have thatObserve that since . Taking in (45), we haveand thus must converge to zero.
Case 2. Suppose is not eventually decreasing. Hence, we can find a subsequence of such that , . Then we can define a subsequence as in Lemma 3 so thatThis implies from (36) thatand thus , . In a similar way to Case , we haveEquivalently, which by (48) implies that . By repeating the same arguments in Case , we can show thatUsing the definition of , we haveThis together with (47) implies thatConsequently, we have that , and so , .

If the mapping maps every point in to a fixed element, then we have the following result.

Corollary 13. Let be a real uniformly convex Banach space which is also uniformly smooth. Let be an -accretive operator and let be an -inverse strongly accretive. Assume that . Let be a fixed element in . Let be a sequence of positive real numbers and suppose that and are sequences in satisfying the following conditions:(i);(ii);(iii);(iv).For a fixed element , let the sequence be generated by ,where . Then converges strongly to , where is the unique sunny nonexpansive retraction of onto ; that is, solves the variational inequality

Recall that a mapping is said to be weakly contractive ifwhere is a continuous and strictly increasing function such that is positive on and . Let for , where . Then we see that the weakly contractive mapping is a contraction with constant . The next lemma gives existence of unique fixed point for weakly contractive mapping.

Lemma 14 (see [32, Theorem ]). Let be a complete metric space and a weakly contractive mapping on . Then, has a unique fixed point in . Moreover, for converges strongly to .

The following lemma will be used in the next theorem.

Lemma 15 (see [33, 34]). Let and be two sequences of nonnegative real numbers and a sequence of positive numbers satisfying the following conditions:(i);(ii).Let the recursive inequality where is a continuous and strictly increasing function such that is positive on and . Then, .

We now consider the viscosity approximation method with weakly contractive mapping in the following theorem.

Theorem 16. Let be a real uniformly convex Banach space which is also uniformly smooth. Let be an -accretive operator and let be an -inverse strongly accretive. Assume that . Let be a weakly contractive mapping. Let be a sequence of positive real numbers and suppose that and are sequences in satisfying the following conditions:(i);(ii);(iii);(iv).Let be a sequence generated by ,Then converges strongly to , where is the unique sunny nonexpansive retraction of onto ; that is, solves the variational inequality

Proof. We first observe that is a weakly contractive mapping. Indeed, ,Then Lemma 14 assures that there exists a unique element such that . Now, define an iterative scheme as follows:Let be the sequence generated by (60). Then, Corollary 13 with a constant assures that converges strongly to . Now, for , we obtain