Another weak convergence theorems for accretive mappings in banach spaces
 Satit Saejung^{1}Email author,
 Kanokwan Wongchan^{1} and
 Pongsakorn Yotkaew^{1}
DOI: 10.1186/16871812201126
© Saejung et al; licensee Springer. 2011
Received: 15 November 2010
Accepted: 8 August 2011
Published: 8 August 2011
Abstract
We present two weak convergence theorems for inverse strongly accretive mappings in Banach spaces, which are supplements to the recent result of Aoyama et al. [Fixed Point Theory Appl. (2006), Art. ID 35390, 13pp.].
2000 MSC: 47H10; 47J25.
Keywords
weak convergence theorem accretive mapping Banach space1. Introduction
The set of solutions of the problem above is denoted by S(C, A). It is noted that if C = E, then S(C, A) = A^{1}0 := {x ∈ E : Ax = 0}. This problem was studied by Stampacchia (see, for example, [1, 2]). The applicability of the theory has been expanded to various problems from economics, finance, optimization and game theory.
Gol'shteĭn and Tret'yakov [3] proved the following result in the finite dimensional space ℝ ^{ N } .
where {λ_{ n } }⊂ [a, b] ⊂ (0, 2α). If A^{1} 0 ≠ ∅, then {x_{ n } } converges to some element of A^{1}0.
The result above was generalized to the framework of Hilbert spaces by Iiduka et al. [4]. Note that every Hilbert space is uniformly convex and 2uniformly smooth (the related definitions will be given in the next section). Aoyama et al. [[5], Theorem 3.1] proved the following result.
where {α_{ n } } ⊂ [b, c] ⊂ (0, 1) and {λ_{ n } } ⊂ [a, α/K^{2}] ⊂ (0, α/K^{2}]. Then, {x_{ n } } converges weakly to some element of S(C, A).
Motivated by the result of Aoyama et al., we prove two more convergence theorems for αinverse strongly accretive mappings in a Banach space, which are supplements to Theorem 1.2 above. The first one is proved without the presence of the uniform convexity, while the last one is proved in uniformly convex space with some different control conditions on the parameters.
The paper is organized as follows: In Section 2, we collect some related definitions and known fact, which are referred in this paper. The main results are presented in Section 3. We start with some common tools in proving the main results in Section 3.1. In Section 3.2, we prove the first weak convergence theorem without the presence of uniform convexity. The second theorem is proved in uniformly convex Banach spaces in Section 3.3.
2. Definitions and related known fact
Let E be a real Banach space. If {x_{ n } } is a sequence in E, we denote strong convergence of {x_{ n } } to x ∈ E by x_{ n } → x and weak convergence by x_{ n } ⇀ x. Denote by ω_{ w } ({x_{ n } }) the set of weakly sequential limits of the sequence {x_{ n } }, that is, ω_{ w } ({x_{ n } }) = {p : there exists a subsequence of {x_{ n } } such that }. It is known that if {x_{ n } } is a bounded sequence in a reflexive space, then ω_{ w } ({x_{ n } }) = ∅.
The following result was proved by Xu.
for all α ∈ [0, 1] and x, y ∈ B_{ r } := {z ∈ E : z ≤ r}.
exists for all x, y ∈ U. The norm of E is said to be Fréchet differentiable if for each x ∈ U, the limit (2.1) is attained uniformly for y ∈ U.
Note that every 2uniformly smooth Banach space has the Fréchet differentiable norm and hence it is reflexive.
The following observation extracted from Lemma 2.8 of [5] plays an important role in this paper.
where I is the identity mapping. In particular, if , then I  λA is nonex pansive, that is, (I  λA)x  (I  λA)y ≤ x  y for all x, y ∈ C.
 (i)
sunny if Q(Qx + t(x  Qx)) = Qx for all t ≥ 0;
 (ii)
a retraction if Q ^{2} = Q.
It is known that a retraction Q from a smooth Banach space E onto a nonempty closed convex subset C of E is sunny and nonexpansive if and only if 〈xQx, J(Qxy)〉 ≥ 0 for all x ∈ E and y ∈ C. In this case, Q is uniquely determined. Using this result, Aoyama et al. obtained the following result. Recall that, for a mapping T : C → E, the set of fixed points of T is denoted by F (T), that is, F (T) = {x ∈ C : x = Tx}.
Lemma 2.3 ([5]). Let C be a nonempty closed convex subset of a smooth Banach space
whenever x_{ n } ⇀ x ∈ E and y ∈ E satisfy x ≠ y. The following results are known from theory of nonexpansive mappings. It should be noted that Oplial's condition and the Fréchet differentiability of the norm are independent in uniformly convex space setting.
Lemma 2.4 ([7], [8]). Let C be a nonempty closed convex subset of a Banach space. E. Suppose that E is uniformly convex or satisfies Opial's condition. Suppose that T is a nonexpansive mapping of C into itself. Then, I  T is demiclosed at zero, that is, if {x_{ n } } is a sequence in C such that x_{ n } ⇀ p and x_{ n }  Tx_{ n } → 0, then p = Tp.
consists of at most one element, where D is the closed convex hull of D.
The following two lemmas are proved in the absence of uniform convexity, and they are needed in Section 3.2.
Lemma 2.6 ([10]). Let {x_{ n } } and {y_{ n } } be bounded sequences in a Banach space and {α_{ n } } be a real sequence in [0, 1] such that 0 < lim inf_{n→∞}α_{ n }≤ lim sup_{n→∞}α_{ n }< 1. Suppose that x_{n+1}= α_{ n }x_{ n }+ (1  α_{ n })y_{ n }for all n ≥ 1. If lim sup_{n→∞}(y_{n+1} y_{ n }  x_{n+1} x_{ n }) ≤ 0, then x_{ n } y_{ n }→ 0.
 (i)
 (ii)
lim_{n→∞}z _{ n } = d and lim sup_{n→∞}w_{ n }  ≤ d;
 (iii)
then d = 0.
We also need the following simple but interesting results.
Lemma 2.8 ([12]). Let {a_{ n } } and {b_{ n } } be two sequences of nonnegative real numbers.
If and a_{n+1}≤ a_{ n }+ b_{ n }for all n ≥ 1, then lim_{n→∞}a_{ n } exists.
Lemma 2.9 ([13]). Let {a_{ n } } and {b_{ n } } be two sequences of nonnegative real numbers. If and , then lim inf_{n→∞}b_{ n } = 0.
3. Main results
From now on, we assume that

E is 2uniformly smooth Banach space with a 2uniform smoothness constant K;

C is a nonempty closed convex subset of E;

Q_{C} is a sunny nonexpansive retraction from E onto C;

A : C → E is an αinverse strongly accretive mapping with S(C, A) ≠ ∅ and α > 0.
where {α_{ n } }⊂ [0, 1] and . For convenience, we write y_{ n } ≡ Q_{ C } (x_{ n }  λ_{ n } Ax_{ n } ).
3.1. Some properties of the sequence {x_{ n }} for weak convergence theorems
We start with some propositions, which are the common tools for proving the main results in the next two subsections.
Proposition 3.1. If p ∈ S(C, A), then lim_{n→∞}x_{ n } p exists, and hence, the sequences {x_{ n } } and {Ax_{ n } } are both bounded.
Proof. Let p ∈ S(C, A). By the nonexpansiveness of Q_{ C } (I  λ_{ n } A) for all n ≥ 1 and
for all n ≥ 1. Therefore, lim_{n→∞}x_{ n }  p exists, and hence, the sequence {x_{ n } } is bounded. Since A is Lipschitzian, we have {Ax_{ n } } is bounded. The proof is finished.
for all n ≥ 1.
□
Proposition 3.3. Suppose that E is a reflexive Banach space such that either it is uniformly convex or it satisfies Opial's condition. Suppose that {x_{ n } } is a bounded sequence of C satisfying x_{ n }  Q_{ C } (I  λ_{ n }A)x_{ n } → 0 and .
Then, {x_{ n } } converges weakly to some element of S(C, A).
This implies that . By the nonexpansiveness of Q_{ C } (I  λA), Lemmas 2.3 and 2.4, we obtain that z ∈ F (Q_{ C } (I  λA)) = S(C, A). Hence ω_{ w } ({x_{ n } }) ⊂ S(C, A).
We next prove that ω_{ w } ({x_{ n } }) is exactly a singleton in the following cases.
Therefore, ω_{ w } ({x_{ n } }) is a singleton.
This is a contradiction. Hence, ω_{ w } ({x_{ n } }) is a singleton, and the proof is finished. □
Remark 3.4. There exists a reflexive Banach space such that it satisfies Opial's condition but it is not uniformly convex. In fact, we consider E = ℝ^{2} with the norm (x, y) = x + y for all (x, y) ∈ ℝ^{2} . Note that E is finite dimensional, and hence it is reflexive and satisfies Opial's condition. To see that E is not uniformly convex, let x = (1, 0) and y = (0, 1), it follows that x  y = (1, 1) = 2 and x + y/2 = (1/2, 1/2) = 1 ≰ 1  δ for all δ > 0.
3.2. Convergence results without uniform convexity
In this subsection, we make use of Lemmas 2.6 and 2.7 to show that x_{ n }  y_{ n } → 0 under the additional restrictions on the sequences {α_{ n } } and {λ_{ n } }.
Proposition 3.5. Suppose that {α_{ n } }⊂ [c, d] ⊂ (0, 1) and λ_{n+1} λ_{ n }→ 0. Then, x_{ n } y_{ n }→ 0.
Since all the requirements of Lemma 2.6 are satisfied, x_{ n } y_{ n }→ 0. □
 (i)
 (ii)
Then, x_{ n }  y_{ n } → 0.
Hence, the sequence is bounded. It follows then that d = 0. □
We now have the following weak convergence theorems without uniform convexity.
 (i)
{α_{ n } } ⊂ [c, d] ⊂ (0, 1) and λ _{n+1} λ_{ n } → 0;
 (ii)
Then, {x_{ n } } converges weakly to an element in S(C, A).
Proof. Note that every 2uniformly smooth Banach space is reflexive. The result follows from Propositions 3.3, 3.5 and 3.6. □
Remark 3.9. Note that the Opial property and uniform convexity are independent. Theorem 3.7 is a supplementary to Theorem 3.1 of Aoyama et al. [5].
3.3. Convergence results in uniformly convex spaces
In this subsection, we prove two more convergence theorems in uniformly convex spaces, which are also a supplementary to Theorem 3.1 of Aoyama et al. [5]. Let us start with some propositions.
 (i)
{λ _{ n }} ⊂ [a, α/K ^{2}] ⊂ (0, α/K ^{2}];
 (ii)
Then, x_{ n }  y_{ n } → 0.
The assertion follows since and Lemma 2.8. □
Let us recall the concept of strongly nonexpansive sequences introduced by Aoyama et al. (see [14]). A sequence of nonexpansive mappings {T_{ n } } of C is called a strongly nonexpansive sequence if x_{ n }  y_{ n }  (T_{ n }x_{ n }  T_{ n }y_{ n } ) → 0 whenever {x_{ n } } and {y_{ n } } are sequences in C such that {x_{ n } y_{ n } } is bounded and x_{ n } y_{ n } T_{ n }x_{ n } T_{ n }y_{ n }  → 0. It is noted that if {T_{ n } } is a constant sequence, then this property reduces to the concept of strongly nonexpansive mappings studied by Bruck and Reich [15].
Proposition 3.11. Assume that E is a uniformly convex Banach space and {λ_{ n } }⊂ (0, b] ⊂ (0, α/K^{2}). Then, {Q_{ C } (I  λ_{ n }A)} is a strongly nonexpansive sequence.
Proposition 3.12. Assume that E is a uniformly convex Banach space. Suppose that α_{ n } ≡ 0 and {λ_{ n } } ⊂ (0, b] ⊂ (0, α/K^{2}). Then, x_{ n }  y_{ n } → 0.
□
We now obtain the following weak convergence theorems in uniformly convex spaces.
 (i)
 (ii)
α_{ n } ≡ 0 and {λ_{ n } }⊂ [a, b] ⊂ (0, α/K ^{2}).
Then, {x_{ n } } converges weakly to an element in S (C, A).
Proof. The result follows from Propositions 3.3, 3.10 and 3.12. □
Remark 3.14. It is easy to see that conditions (i) and (ii) in Theorem 3.13 are not comparable.
Remark 3.15. Compare Theorem 3.13 to Theorem 1.2 of Aoyama et al., our result is a supplementary to their result. It is noted that, for example, our iteration scheme with α_{ n } ≡ 0 and λ_{ n } ≡ α/(α/K^{2}) is simpler than the one in Theorem 1.2.
Declarations
Acknowledgements
The first author is supported by the Thailand Research Fund, the Commission on Higher Education of Thailand and Khon Kaen University under Grant number 5380039. The second author is supported by grant fund under the program Strategic Scholarships for Frontier Research Network for the Ph.D. Program Thai Doctoral degree from the Office of the Higher Education Commission, Thailand. The third author is supported by the Thailand Research Fund through the Royal Golden Jubilee Ph.D. Program (Grant No. PHD/0188/2552) and Khon Kaen University under the RGJPh.D. scholarship. Finally, the authors thank Professor M. de la Sen and the referees for their comments and suggestions.
Authors’ Affiliations
References
 Kinderlehrer D, Stampacchia G: An introduction to variational inequalities and their applications. In Pure and Applied Mathematics. Volume 88. Academic Press, Inc., New York; 1980. xiv+313Google Scholar
 Lions JL, Stampacchia G: Variational inequalities. Comm Pure Appl Math 1967, 20: 493–519. 10.1002/cpa.3160200302MathSciNetView ArticleGoogle Scholar
 Gol'shteĭn EG, Tret'yakov NV: Modified Lagrangians in convex programming and their generalizations. Pointtoset maps and mathematical programming. Math Programming Stud 1979, 10: 86–97.View ArticleGoogle Scholar
 Iiduka H, Takahashi W, Toyoda M: Approximation of solutions of variational inequalities for monotone mappings. Panamer Math J 2004, 14: 49–61.MathSciNetGoogle Scholar
 Aoyama K, Iiduka H, Takahashi W: Weak convergence of an iterative sequence for accretive operators in Banach spaces. Fixed Point Theory Appl Art 2006, 2006: 13. ID 35390Google Scholar
 Xu HK: Inequalities in Banach spaces with applications. Nonlinear Anal 1991, 16: 1127–1138. 10.1016/0362546X(91)90200KMathSciNetView ArticleGoogle Scholar
 Browder FE: Nonlinear operators and nonlinear equations of evolution in Banach spaces. Nonlinear functional analysis. In Proceedings of Symposia in Pure Mathematics, vol. XVIII, Part 2, Chicago, IL, 1968, pp. 1–308. American Mathematical Society, Providence; 1976.Google Scholar
 Opial Z: Weak convergence of the sequence of successive approximations for nonexpansive mappings. Bull Am Math Soc 1967, 73: 591–597. 10.1090/S000299041967117610MathSciNetView ArticleGoogle Scholar
 Reich S: Weak convergence theorems for nonexpansive mappings in Banach spaces. J Math Anal Appl 1979, 67: 274–276. 10.1016/0022247X(79)900246MathSciNetView ArticleGoogle Scholar
 Suzuki T: Strong convergence theorems for infinite families of nonexpansive mappings in general Banach spaces. Fixed Point Theory Appl 2005, 2005: 103–123. 10.1155/FPTA.2005.103View ArticleGoogle Scholar
 Deng L: Convergence of the Ishikawa iteration process for nonexpansive mappings. J Math Anal Appl 1996, 199: 769–775. 10.1006/jmaa.1996.0174MathSciNetView ArticleGoogle Scholar
 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.1309MathSciNetView ArticleGoogle Scholar
 Ofoedu EU: Strong convergence theorem for uniformly L Lipschitzian asymptotically pseudocontractive mapping in real Banach space. J Math Anal Appl 2006, 321: 722–728. 10.1016/j.jmaa.2005.08.076MathSciNetView ArticleGoogle Scholar
 Aoyama K, Kimura Y, Takahashi W, Toyoda M: On a strongly nonexpansive sequence in Hilbert spaces. J Nonlinear Convex Anal 2007, 8: 471–489.MathSciNetGoogle Scholar
 Bruck RE, Reich S: Nonexpansive projections and resolvents of accretive operators in Banach spaces. Houston J Math 1977, 3: 459–470.MathSciNetGoogle Scholar
 Kitahara S, Takahashi W: Image recovery by convex combinations of sunny nonexpansive retractions. Topol Methods Nonlinear Anal 1993, 2: 333–342.MathSciNetGoogle Scholar
 Reich S: A limit theorem for projections. Linear Multilinear Algebra 1983, 13: 281–290. 10.1080/03081088308817526View ArticleGoogle Scholar
Copyright
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.