Open Access Research

Strong and weak convergence theorems for an infinite family of nonexpansive mappings and applications

LC Ceng1,2, NC Wong3 and JC Yao4*

Author Affiliations

1 Department of Mathematics, Shanghai Normal University, Shanghai, 200234, China

2 Scientific Computing Key Laboratory of Shanghai Universities, Shanghai, China

3 Department of Applied Mathematics, National Sun Yat-sen University, Kaohsiung, Taiwan, 804

4 Center for General Education, Kaohsiung Medical University, Kaohsiung, Taiwan, 807

For all author emails, please log on.

Fixed Point Theory and Applications 2012, 2012:117 doi:10.1186/1687-1812-2012-117


The electronic version of this article is the complete one and can be found online at: http://www.fixedpointtheoryandapplications.com/content/2012/1/117


Received:3 May 2012
Accepted:2 July 2012
Published:20 July 2012

© 2012 Ceng et al.; licensee Springer

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.

Abstract

In this paper, let E be a reflexive and strictly convex Banach space which either is uniformly smooth or has a weakly continuous duality map. We consider the hybrid viscosity approximation method for finding a common fixed point of an infinite family of nonexpansive mappings in E. We prove the strong convergence of this method to a common fixed point of the infinite family of nonexpansive mappings, which solves a variational inequality on their common fixed point set. We also give a weak convergence theorem for the hybrid viscosity approximation method involving an infinite family of nonexpansive mappings in a Hilbert space.

MSC: 47H17, 47H09, 47H10, 47H05.

Keywords:
hybrid viscosity approximation method; nonexpansive mapping; strictly convex Banach space; uniformly smooth Banach space; reflexive Banach space with weakly continuous duality map

1 Introduction

Let C be a nonempty closed convex subset of a (real) Banach space E, and let <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M1','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M1">View MathML</a> be a nonlinear mapping. Denote by <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M2','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M2">View MathML</a> the set of fixed points of Ti.e.<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M3','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M3">View MathML</a>. Recall that T is nonexpansive if

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M4','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M4">View MathML</a>

A self-mapping <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M5','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M5">View MathML</a> is said to be a contraction on C if there exists a constant α in <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M6','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M6">View MathML</a> such that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M7','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M7">View MathML</a>

As in [1], we use the notation <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M8','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M8">View MathML</a> to denote the collection of all contractions on Ci.e.

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M9','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M9">View MathML</a>

Note that each f in <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M8','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M8">View MathML</a> has a unique fixed point in C.

One classical way to study a nonexpansive mapping <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M1','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M1">View MathML</a> is to use contractions to approximate T[2-4]. More precisely, for each t in <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M6','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M6">View MathML</a> we define a contraction <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M13','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M13">View MathML</a> by

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M14','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M14">View MathML</a>

where u in C is an arbitrary but fixed point. Banach’s contraction mapping principle guarantees that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M15','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M15">View MathML</a> has a unique fixed point <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M16','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M16">View MathML</a> in C. It is unclear, in general, how <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M16','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M16">View MathML</a> behaves as <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M18','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M18">View MathML</a>, even if T has a fixed point. However, in the case <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M19','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M19">View MathML</a> a Hilbert space and T having a fixed point, Browder [2] proved that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M16','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M16">View MathML</a> converges strongly to a fixed point of T. Reich [3] extends Browder’s result and proves that if E is a uniformly smooth Banach space, then <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M16','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M16">View MathML</a> converges strongly to a fixed point of T and the limit defines the (unique) sunny nonexpansive retraction <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M22','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M22">View MathML</a> from C onto <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M2','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M2">View MathML</a>. Xu [4] proved that Browder’s results hold in reflexive Banach spaces with weakly continuous duality mappings. See Section 2 for definitions and notations.

Recall that the original Mann’s iterative process was introduced in [5] in 1953. Let <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M1','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M1">View MathML</a> be a map of a closed and convex subset C of a Hilbert space. The original Mann’s iterative process generates a sequence <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25">View MathML</a> in the following manner:

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M26','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M26">View MathML</a>

(1.1)

where the sequence <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M27','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M27">View MathML</a> lies in the interval <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M6','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M6">View MathML</a>. If T is a nonexpansive mapping with a fixed point and the control sequence <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M27','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M27">View MathML</a> is chosen so that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M30','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M30">View MathML</a>, then the sequence <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25">View MathML</a> generated by original Mann’s iterative process (1.1) converges weakly to a fixed point of T (this is also valid in a uniformly convex Banach space with a Frechet differentiable norm [6]). In an infinite-dimensional Hilbert space, the original Mann’s iterative process guarantees only the weak convergence. Therefore, many authors try to modify the original Mann’s iterative process to ensure the strong convergence for nonexpansive mappings (see [3,7-13] and the references therein).

Kim and Xu [14] proposed the following simpler modification of the original Mann’s iterative process: Let C be a nonempty closed convex subset of a Banach space E and <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M1','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M1">View MathML</a> a nonexpansive mapping such that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M33','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M33">View MathML</a>. For an arbitrary <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M34','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M34">View MathML</a> in C, define <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25">View MathML</a> in the following way:

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M36','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M36">View MathML</a>

(1.2)

where u in C is an arbitrary but fixed element in C, and <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M37','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M37">View MathML</a> and <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M38','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M38">View MathML</a> are two sequences in <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M6','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M6">View MathML</a>. The modified Mann’s Iteration scheme (1.2) is a convex combination of a particular point u in C and the original Mann’s iterative process (1.1). There is no additional projection involved in iteration scheme (1.2). They proved a strong convergence theorem for the iteration scheme (1.2) under some control conditions on the parameters <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M40','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M40">View MathML</a>’s and <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M41','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M41">View MathML</a>’s.

Recently, Yao, Chen and Yao [12] combined the viscosity approximation method [1] and the modified Mann’s iteration scheme [14] to develop the following hybrid viscosity approximation method. Let C be a nonempty closed convex subset of a Banach space E, let <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M1','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M1">View MathML</a> a nonexpansive mapping such that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M33','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M33">View MathML</a>, and let <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M44','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M44">View MathML</a>. For any arbitrary but fixed point <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M34','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M34">View MathML</a> in C, define <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25">View MathML</a> in the following way:

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M47','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M47">View MathML</a>

(1.3)

where <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M27','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M27">View MathML</a> and <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M38','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M38">View MathML</a> are two sequences in <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M6','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M6">View MathML</a>. They proved under certain different control conditions on the sequences <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M27','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M27">View MathML</a> and <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M38','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M38">View MathML</a> that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25">View MathML</a> converges strongly to a fixed point of T. Their result extends and improves the main results in Kim and Xu [14].

Under the assumption that no parameter sequence converges to zero, Ceng and Yao [15] proved the strong convergence of the sequence <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25">View MathML</a> generated by (1.3) to a fixed point of T, which solves a variational inequality on <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M2','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M2">View MathML</a>.

Theorem 1.1 (See [15], Theorem 3.1])

LetCbe a nonempty closed convex subset of a uniformly smooth Banach spaceE. Let<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M1','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M1">View MathML</a>be a nonexpansive mapping with<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M33','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M33">View MathML</a>, and let<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M44','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M44">View MathML</a>with a contractive constantαin<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M6','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M6">View MathML</a>. Given sequences<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M27','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M27">View MathML</a>and<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M38','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M38">View MathML</a>in<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M62','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M62">View MathML</a>such that the following control conditions are satisfied:

(C1) <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M63','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M63">View MathML</a>, <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M64','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M64">View MathML</a>for some integer<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M65','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M65">View MathML</a>, and<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M66','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M66">View MathML</a>;

(C2) <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M67','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M67">View MathML</a>;

(C3) <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M68','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M68">View MathML</a>.

For an arbitrary<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M34','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M34">View MathML</a>inC, let<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25">View MathML</a>be defined by (1.3). Then,

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M71','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M71">View MathML</a>

In this case, <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M72','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M72">View MathML</a>solves the variational inequality

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M73','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M73">View MathML</a>

On the other hand, a similar problem concerning a family of nonexpansive mappings has also been considered by many authors. The well-known convex feasibility problem reduces to finding a common fixed point of a family of nonexpansive mappings; see, e.g., [16,17]. The problem of finding an optimal point that minimizes a given cost function over the common fixed point set of a family of nonexpansive mappings is of wide interdisciplinary interest and practical importance; see, e.g., [18-20]. In particular, a simple algorithm solving the problem of minimizing a quadratic function over the common fixed point set of a family of nonexpansive mappings is of extreme value in many applications including set theoretic signal estimation; see, e.g., [20,21].

Let <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M74','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M74">View MathML</a> be nonexpansive mappings of a nonempty closed and convex subset C of a Banach space E into itself. Let <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M75','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M75">View MathML</a> be real numbers in <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M62','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M62">View MathML</a>. Qin, Cho, Kang and Kang [22] considered the nonexpansive mapping <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M77','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M77">View MathML</a> defined by

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M78','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M78">View MathML</a>

(1.4)

Motivated by [7,8,11,12,14,23], they proposed the following iterative algorithm:

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M79','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M79">View MathML</a>

(1.5)

where u in C is a given point. They proved

Theorem 1.2 (See [22], Theorem 2.1 and its proof])

LetCbe a nonempty closed convex subset of a reflexive and strictly convex Banach spaceEwith a weakly continuous duality map<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M80','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M80">View MathML</a>with gaugeφ. Let<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M81','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M81">View MathML</a>be a nonexpansive mapping fromCinto itself for<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M82','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M82">View MathML</a>. Assume that<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M83','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M83">View MathML</a>. Given<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M84','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M84">View MathML</a>and given sequences<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M27','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M27">View MathML</a>, <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M38','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M38">View MathML</a>and<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M87','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M87">View MathML</a>in<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M6','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M6">View MathML</a>satisfying

(i) <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M89','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M89">View MathML</a>and<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M66','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M66">View MathML</a>;

(ii) <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M67','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M67">View MathML</a>;

(iii) <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M92','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M92">View MathML</a>, <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M93','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M93">View MathML</a>for somebin<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M6','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M6">View MathML</a>.

Then the sequence<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25">View MathML</a>defined by (1.5) converges strongly to some point<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M96','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M96">View MathML</a>inF. Here, <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M97','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M97">View MathML</a>thus defined is the unique sunny nonexpansive retraction of Reich type fromContoF, that is, <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M98','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M98">View MathML</a>solves the variational inequality

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M99','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M99">View MathML</a>

In this paper, let E be a reflexive and strictly convex Banach space which either is uniformly smooth or has a weakly continuous duality map <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M80','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M80">View MathML</a> with gauge φ. Combining two iterative methods (1.3) and (1.5), we give the following hybrid viscosity approximation scheme. Let C be a nonempty closed convex subset of E, let <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M101','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M101">View MathML</a> be a nonexpansive mapping for each <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M102','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M102">View MathML</a> , such that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M103','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M103">View MathML</a>, and let <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M104','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M104">View MathML</a>. Define <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25">View MathML</a> in the following way:

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M106','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M106">View MathML</a>

(1.6)

where <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M77','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M77">View MathML</a> is defined by (1.4), <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M108','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M108">View MathML</a> is a sequence in <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M6','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M6">View MathML</a>, and <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M27','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M27">View MathML</a> and <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M38','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M38">View MathML</a> are two sequences in <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M62','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M62">View MathML</a>. It is proved under some appropriate control conditions on the sequences <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M108','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M108">View MathML</a><a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M27','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M27">View MathML</a> and <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M38','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M38">View MathML</a> that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25">View MathML</a> converges strongly to a common fixed point <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M117','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M117">View MathML</a> of the infinite family of nonexpansive mappings <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M74','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M74">View MathML</a> , which solves a variational inequality on <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M119','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M119">View MathML</a>. Such a result includes Theorem 1.2 as a special case. Furthermore, we also give a weak convergence theorem for the hybrid viscosity approximation method (1.6) involving an infinite family of nonexpansive mappings <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M74','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M74">View MathML</a> in a Hilbert space H. The results presented in this paper can be viewed as supplements, improvements and extensions of some known results in the literature, e.g., [1,7,8,11-15,22-24].

2 Preliminaries

Let E be a (real) Banach space with the Banach dual space <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M121','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M121">View MathML</a> in pairing <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M122','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M122">View MathML</a>. We write <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M123','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M123">View MathML</a> to indicate that the sequence <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25">View MathML</a> converges weakly to x, and <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M125','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M125">View MathML</a> to indicate that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25">View MathML</a> converges strongly to x. The unit sphere of E is denoted by <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M127','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M127">View MathML</a>.

The norm of E is said to be Gateaux differentiable (and E is said to be smooth) if

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M128','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M128">View MathML</a>

(2.1)

exists for every <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M129','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M129">View MathML</a> in U. Recall that if E is reflexive, then E is smooth if and only if <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M121','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M121">View MathML</a> is strictly convex, i.e., for every distinct <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M131','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M131">View MathML</a> in <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M121','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M121">View MathML</a> of norm one, there holds <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M133','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M133">View MathML</a>. The norm of E is said to be uniformly Frechet differentiable (and E is said to be uniformly smooth) if the limit in (2.1) is attained uniformly for <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M134','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M134">View MathML</a> in <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M135','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M135">View MathML</a>. Every uniformly smooth Banach space E is reflexive and smooth.

The normalized duality mappingJ from E into the family of nonempty (by Hahn-Banach theorem) weak* compact subsets of <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M121','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M121">View MathML</a> is defined by

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M137','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M137">View MathML</a>

If E is smooth then J is single-valued and norm-to-weak continuous. It is also well known that if E is uniformly smooth, then J is uniformly norm-to-norm continuous on bounded subsets of E.

In order to establish new strong and weak convergence theorems for hybrid viscosity approximation method (1.6), we need the following lemmas. The first lemma is a very well-known (subdifferential) inequality; see, e.g., [25].

Lemma 2.1 ([25])

LetEbe a real Banach space andJthe normalized duality map onE. Then, for any given<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M129','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M129">View MathML</a>inE, the following inequality holds:

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M139','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M139">View MathML</a>

Lemma 2.2 ([26], Lemma 2])

Let<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25">View MathML</a>and<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M141','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M141">View MathML</a>be bounded sequences in a Banach spaceE, and let<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M38','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M38">View MathML</a>be a sequence in<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M62','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M62">View MathML</a>such that<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M144','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M144">View MathML</a>. Suppose<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M145','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M145">View MathML</a>for all integers<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M146','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M146">View MathML</a>and<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M147','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M147">View MathML</a>. Then, <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M148','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M148">View MathML</a>.

Lemma 2.3 ([27])

Let<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M149','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M149">View MathML</a>be a sequence of nonnegative real numbers satisfying the condition

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M150','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M150">View MathML</a>

where<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M151','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M151">View MathML</a>, <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M152','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M152">View MathML</a>are sequences of real numbers such that

(i) <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M153','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M153">View MathML</a>and<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M154','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M154">View MathML</a>, or equivalently,

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M155','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M155">View MathML</a>

(ii) <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M156','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M156">View MathML</a>, or<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M157','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M157">View MathML</a>is convergent.

Then, <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M158','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M158">View MathML</a>.

Recall that, if <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M159','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M159">View MathML</a> are nonempty subsets of a Banach space E such that C is nonempty, closed and convex, then a mapping <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M160','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M160">View MathML</a> is sunny[28] provided <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M161','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M161">View MathML</a> for all x in C and <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M162','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M162">View MathML</a> whenever <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M163','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M163">View MathML</a>. A sunny nonexpansive retraction is a sunny retraction, which is also nonexpansive. Sunny nonexpansive retractions play an important role; see, e.g., [1,22]. They are characterized as follows [28]: if E is a smooth Banach space, then <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M160','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M160">View MathML</a> is a sunny nonexpansive retraction if and only if there holds the inequality

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M165','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M165">View MathML</a>

Lemma 2.4 ([1], Theorem 4.1])

LetEbe a uniformly smooth Banach space, Cbe a nonempty closed convex subset ofE, <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M1','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M1">View MathML</a>be a nonexpansive mapping with<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M33','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M33">View MathML</a>, and<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M44','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M44">View MathML</a>. Then<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M169','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M169">View MathML</a>defined by

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M170','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M170">View MathML</a>

converges strongly to a point in<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M2','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M2">View MathML</a>. Define<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M172','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M172">View MathML</a>by

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M173','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M173">View MathML</a>

Then, <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M117','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M117">View MathML</a>solves the variational inequality

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M175','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M175">View MathML</a>

In particular, if<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M176','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M176">View MathML</a>is a constant, then the map<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M22','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M22">View MathML</a>is reduced to the sunny nonexpansive retraction of Reich type fromConto<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M2','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M2">View MathML</a>, i.e.,

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M179','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M179">View MathML</a>

Recall that a gauge is a continuous strictly increasing function <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M180','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M180">View MathML</a> such that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M181','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M181">View MathML</a> and <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M182','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M182">View MathML</a> as <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M183','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M183">View MathML</a>. Associated to gauge φ is the duality map <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M184','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M184">View MathML</a> defined by

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M185','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M185">View MathML</a>

Following Browder [29], we say that a Banach space E has a weakly continuous duality map if there exists gauge φ for which the duality map <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M80','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M80">View MathML</a> is single-valued and weak-to-weak sequentially continuous. It is known that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M187','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M187">View MathML</a> has a weakly continuous duality map with gauge <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M188','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M188">View MathML</a> for all <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M189','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M189">View MathML</a>. Set

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M190','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M190">View MathML</a>

Then

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M191','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M191">View MathML</a>

where denotes the subdifferential in the sense of convex analysis; see [25,30] for more details.

The first part of the following lemma is an immediate consequence of the subdifferential inequality, and the proof of the second part can be found in [31].

Lemma 2.5Assume thatEhas a weakly continuous duality map<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M80','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M80">View MathML</a>with gaugeφ.

(i) For all<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M193','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M193">View MathML</a>, there holds the inequality

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M194','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M194">View MathML</a>

(ii) Assume a sequence<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25">View MathML</a>inEis weakly convergent to a pointx. Then there holds the identity

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M196','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M196">View MathML</a>

Xu [4] showed that, if E is a reflexive Banach space and has a weakly continuous duality map <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M80','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M80">View MathML</a> with gauge φ, then there is a sunny nonexpansive retraction from C onto <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M2','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M2">View MathML</a>. Further this result is extended to the following general case.

Lemma 2.6 ([32], Theorem 3.1 and its proof])

LetEbe a reflexive Banach space and have a weakly continuous duality map<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M80','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M80">View MathML</a>with gaugeφ, letCbe a nonempty closed convex subset ofE, let<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M1','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M1">View MathML</a>be a nonexpansive mapping with<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M33','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M33">View MathML</a>, and let<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M44','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M44">View MathML</a>. Then<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M169','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M169">View MathML</a>defined by

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M204','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M204">View MathML</a>

converges strongly to a point in<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M2','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M2">View MathML</a>as<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M18','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M18">View MathML</a>. Define<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M172','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M172">View MathML</a>by

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M208','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M208">View MathML</a>

Then, <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M117','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M117">View MathML</a>solves the variational inequality

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M210','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M210">View MathML</a>

In particular, if<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M176','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M176">View MathML</a>is a constant, then the map<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M22','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M22">View MathML</a>is reduced to the sunny nonexpansive retraction of Reich type fromConto<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M2','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M2">View MathML</a>, i.e.,

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M214','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M214">View MathML</a>

Recall that E satisfies Opial’s property [33] provided, for each sequence <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25">View MathML</a> in E, the condition <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M123','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M123">View MathML</a> implies

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M217','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M217">View MathML</a>

It is known in [33] that each <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M187','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M187">View MathML</a> (<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M219','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M219">View MathML</a>) enjoys this property, while <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M220','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M220">View MathML</a> does not unless <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M221','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M221">View MathML</a>. It is known in [34] that every separable Banach space can be equivalently renormed so that it satisfies Opial’s property. We denote by <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M222','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M222">View MathML</a> the weakω-limit set of <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25">View MathML</a>i.e.

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M224','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M224">View MathML</a>

(2.2)

Finally, recall that in a Hilbert space H, there holds the following equality

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M225','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M225">View MathML</a>

(2.3)

See, e.g., Takahashi [35].

We will also use the following elementary lemmas in the sequel.

Lemma 2.7 ([36])

Let<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M226','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M226">View MathML</a>and<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M227','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M227">View MathML</a>be the sequences of nonnegative real numbers such that<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M228','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M228">View MathML</a>and<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M229','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M229">View MathML</a>for all<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M146','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M146">View MathML</a>. Then<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M231','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M231">View MathML</a>exists.

Lemma 2.8 (Demiclosedness Principle [25,30])

Assume thatTis a nonexpansive self-mapping of a nonempty closed convex subsetCof a Hilbert spaceH. IfThas a fixed point, then<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M232','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M232">View MathML</a>is demiclosed. That is, whenever<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M123','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M123">View MathML</a>inCand<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M234','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M234">View MathML</a>inH, it follows that<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M235','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M235">View MathML</a>. Here, Iis the identity operator ofH.

3 Main results

Lemma 3.1 ([24])

LetCbe a nonempty closed convex subset of a strictly convex Banach spaceE. Let<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M74','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M74">View MathML</a>be nonexpansive mappings fromCinto itself such that<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M237','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M237">View MathML</a>and let<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M238','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M238">View MathML</a>be real numbers such that<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M92','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M92">View MathML</a>for all<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M240','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M240">View MathML</a>. Then, for everyxinCand<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M241','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M241">View MathML</a>, the limit<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M242','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M242">View MathML</a>exists.

Using Lemma 3.1, one can define the mapping W from C into itself as follows.

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M243','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M243">View MathML</a>

(3.1)

Such a mapping W is called the W-mapping generated by <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M74','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M74">View MathML</a> and <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M75','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M75">View MathML</a> . Throughout this paper, we always assume that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M92','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M92">View MathML</a> for some real constant b and for all <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M240','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M240">View MathML</a>.

Lemma 3.2 ([24])

LetCbe a nonempty closed convex subset of a strictly convex Banach spaceE. Let<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M74','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M74">View MathML</a>be nonexpansive mappings ofCinto itself such that<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M237','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M237">View MathML</a>and let<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M250','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M250">View MathML</a>be real numbers such that<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M92','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M92">View MathML</a>for any<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M240','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M240">View MathML</a>. Then, <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M253','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M253">View MathML</a>.

Here comes the main result of this paper.

Theorem 3.3LetCbe a nonempty closed convex subset of a reflexive and strictly convex Banach spaceE. Assume, in addition, Eeither is uniformly smooth or has a weakly continuous duality map<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M80','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M80">View MathML</a>with gaugeφ. Let<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M101','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M101">View MathML</a>be a nonexpansive mapping for each<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M102','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M102">View MathML</a>such that<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M83','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M83">View MathML</a>, and<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M258','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M258">View MathML</a>with contractive constantαin<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M6','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M6">View MathML</a>. Given sequences<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M27','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M27">View MathML</a>, <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M38','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M38">View MathML</a>and<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M108','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M108">View MathML</a>in<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M62','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M62">View MathML</a>, the following conditions are satisfied:

(C1) <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M63','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M63">View MathML</a>, <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M64','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M64">View MathML</a>for some<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M65','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M65">View MathML</a>, and<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M66','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M66">View MathML</a>;

(C2) <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M67','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M67">View MathML</a>;

(C3) <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M68','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M68">View MathML</a>;

(C4) <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M92','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M92">View MathML</a>, <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M93','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M93">View MathML</a>for some constantbin<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M6','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M6">View MathML</a>.

For an arbitrary<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M273','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M273">View MathML</a>, let<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25">View MathML</a>be generated by

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M275','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M275">View MathML</a>

(3.2)

Then,

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M276','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M276">View MathML</a>

In this case,

(i) ifEis uniformly smooth, then<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M277','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M277">View MathML</a>solves the variational inequality

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M278','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M278">View MathML</a>

(ii) ifEhas a weakly continuous duality map<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M80','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M80">View MathML</a>with gaugeφ, then<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M277','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M277">View MathML</a>solves the variational inequality

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M281','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M281">View MathML</a>

Proof First, let us show that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25">View MathML</a> is bounded. Indeed, taking an element p in <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M283','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M283">View MathML</a> arbitrarily, we obtain that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M284','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M284">View MathML</a> for all <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M146','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M146">View MathML</a>. It follows from the nonexpansivity of <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M77','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M77">View MathML</a> that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M287','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M287">View MathML</a>

Observe that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M288','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M288">View MathML</a>

By simple induction, we have

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M289','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M289">View MathML</a>

Hence <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25">View MathML</a> is bounded, and so are the sequences <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M141','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M141">View MathML</a>, <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M292','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M292">View MathML</a> and <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M293','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M293">View MathML</a>.

Suppose that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M294','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M294">View MathML</a> as <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M295','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M295">View MathML</a>. Then <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M296','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M296">View MathML</a> for all <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M146','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M146">View MathML</a>. From (3.2) it follows that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M298','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M298">View MathML</a>

that is, <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M299','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M299">View MathML</a>. Again from (3.2) we obtain that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M300','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M300">View MathML</a>

Conversely, suppose that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M301','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M301">View MathML</a> (<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M295','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M295">View MathML</a>). Put

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M303','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M303">View MathML</a>

Then, it follows from (C1) and (C2) that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M304','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M304">View MathML</a>

and hence

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M305','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M305">View MathML</a>

(3.3)

Define <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M306','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M306">View MathML</a> by

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M307','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M307">View MathML</a>

(3.4)

Observe that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M308','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M308">View MathML</a>

It follows that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M309','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M309">View MathML</a>

(3.5)

Since <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M81','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M81">View MathML</a> and <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M311','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M311">View MathML</a> are nonexpansive, from (1.4) we have

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M312','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M312">View MathML</a>

(3.6)

Since <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25">View MathML</a> is a bounded sequence and all <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M314','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M314">View MathML</a> are nonexpansive with a common fixed point p, there is <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M315','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M315">View MathML</a> such that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M316','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M316">View MathML</a>

Substituting (3.6) into (3.5), we have

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M317','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M317">View MathML</a>

From conditions (C3), (C4) and the boundedness of <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M293','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M293">View MathML</a> and <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M319','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M319">View MathML</a>, it follows that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M320','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M320">View MathML</a>

Hence by Lemma 2.2 we have

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M321','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M321">View MathML</a>

It follows from (3.3) and (3.4) that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M322','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M322">View MathML</a>

From (3.2), we have

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M323','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M323">View MathML</a>

This implies that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M324','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M324">View MathML</a>

Since <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M325','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M325">View MathML</a> and <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M301','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M301">View MathML</a>, we get

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M327','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M327">View MathML</a>

(3.7)

Observe that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M328','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M328">View MathML</a>

(3.8)

It follows from (C2), (3.7) and (3.8) that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M329','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M329">View MathML</a>

Also, note that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M330','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M330">View MathML</a>

From [37], Remark 2.2] (see also [38], Remark 3.1]), we have

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M331','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M331">View MathML</a>

It follows

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M332','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M332">View MathML</a>

(3.9)

In terms of (3.1) and Lemma 3.2, <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M333','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M333">View MathML</a> is a nonexpansive mapping such that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M334','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M334">View MathML</a>. In the following, we discuss two cases.

(i) Firstly, suppose that E is uniformly smooth. Let <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M16','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M16">View MathML</a> be the unique fixed point of the contraction mapping <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M15','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M15">View MathML</a> given by

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M337','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M337">View MathML</a>

By Lemma 2.4, we can define

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M338','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M338">View MathML</a>

and <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M339','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M339">View MathML</a> solves the variational inequality

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M340','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M340">View MathML</a>

Let us show that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M341','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M341">View MathML</a>

(3.10)

where <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M342','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M342">View MathML</a>. Note that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M343','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M343">View MathML</a>

Applying Lemma 2.1 we derive

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M344','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M344">View MathML</a>

where

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M345','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M345">View MathML</a>

The last inequality implies

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M346','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M346">View MathML</a>

It follows that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M347','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M347">View MathML</a>

(3.11)

where <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M348','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M348">View MathML</a> is a constant such that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M349','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M349">View MathML</a> for all <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M146','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M146">View MathML</a> and small enough t in <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M6','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M6">View MathML</a>. Taking the limsup as <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M352','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M352">View MathML</a> in (3.11) and noticing the fact that the two limits are interchangeable due to the fact that the duality map J is uniformly norm-to-norm continuous on any bounded subset of E, we obtain (3.10).

Now, let us show that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M353','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M353">View MathML</a> as <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M295','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M295">View MathML</a>. Indeed, observe

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M355','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M355">View MathML</a>

Then, utilizing Lemma 2.1 we get

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M356','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M356">View MathML</a>

It follows that, for all <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M357','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M357">View MathML</a>, we have

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M358','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M358">View MathML</a>

due to (C1). For every <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M357','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M357">View MathML</a>, put

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M360','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M360">View MathML</a>

and

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M361','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M361">View MathML</a>

Since <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M362','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M362">View MathML</a>, we have <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M363','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M363">View MathML</a>. Now, we have

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M364','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M364">View MathML</a>

(3.12)

It is readily seen from (C1) and (3.10) that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M365','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M365">View MathML</a>

Therefore, applying Lemma 2.3 to (3.12), we conclude that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M353','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M353">View MathML</a> as <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M295','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M295">View MathML</a>.

(ii) Secondly, suppose that E has a weakly continuous duality map <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M80','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M80">View MathML</a> with gauge φ. Let <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M16','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M16">View MathML</a> be the unique fixed point of the contraction mapping <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M15','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M15">View MathML</a> given by

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M371','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M371">View MathML</a>

By Lemma 2.6, we can define <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M372','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M372">View MathML</a>, and <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M339','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M339">View MathML</a> solves the variational inequality

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M374','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M374">View MathML</a>

(3.13)

Let us show that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M375','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M375">View MathML</a>

(3.14)

where <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M342','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M342">View MathML</a>. We take a subsequence <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M377','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M377">View MathML</a> of <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25">View MathML</a> such that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M379','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M379">View MathML</a>

(3.15)

Since E is reflexive and <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25">View MathML</a> is bounded, we may further assume that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M381','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M381">View MathML</a> for some <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M382','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M382">View MathML</a> in C. Since <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M80','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M80">View MathML</a> is weakly continuous, utilizing Lemma 2.5, we have

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M384','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M384">View MathML</a>

Put

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M385','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M385">View MathML</a>

It follows that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M386','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M386">View MathML</a>

From (3.9), we have

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M387','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M387">View MathML</a>

(3.16)

Furthermore, observe that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M388','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M388">View MathML</a>

(3.17)

Combining (3.16) with (3.17), we obtain

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M389','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M389">View MathML</a>

Hence <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M390','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M390">View MathML</a> and <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M391','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M391">View MathML</a> (by Lemma 3.2). Thus, from (3.13) and (3.15), it is easy to see that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M392','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M392">View MathML</a>

Therefore, we deduce that (3.14) holds.

Now, let us show that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M353','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M353">View MathML</a> as <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M295','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M295">View MathML</a>. Indeed, observe that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M395','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M395">View MathML</a>

Therefore, by applying Lemma 2.5, we have

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M396','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M396">View MathML</a>

Applying Lemma 2.3, we get

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M397','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M397">View MathML</a>

which implies that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M398','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M398">View MathML</a>, i.e., <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M399','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M399">View MathML</a>. This completes the proof. □

Corollary 3.4The conclusion in Theorem 3.3 still holds, provided the conditions (C1)-(C4) are replaced by the following:

(D1) <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M63','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M63">View MathML</a>, <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M64','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M64">View MathML</a>for some integer<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M65','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M65">View MathML</a>;

(D2) <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M403','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M403">View MathML</a>and<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M66','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M66">View MathML</a>;

(D3) <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M405','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M405">View MathML</a>and<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M406','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M406">View MathML</a>;

(D4) <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M92','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M92">View MathML</a>, <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M93','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M93">View MathML</a>for somebin<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M6','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M6">View MathML</a>.

Proof Observe that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M410','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M410">View MathML</a>

Since <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M403','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M403">View MathML</a> and <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M405','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M405">View MathML</a>, it follows that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M413','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M413">View MathML</a>

Consequently, all conditions of Theorem 3.3 are satisfied. So, utilizing Theorem 3.3, we obtain the desired result. □

Corollary 3.5LetCbe a nonempty closed convex subset of a reflexive and strictly convex Banach spaceE. Assume, in addition, Eeither is uniformly smooth or has a weakly continuous duality map<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M80','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M80">View MathML</a>with gaugeφ. Let<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M415','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M415">View MathML</a>be a nonexpansive mapping for each<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M102','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M102">View MathML</a>such that<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M83','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M83">View MathML</a>, and let<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M44','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M44">View MathML</a>with contractive constantαin<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M6','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M6">View MathML</a>. Given sequences<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M37','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M37">View MathML</a>, <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M38','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M38">View MathML</a>and<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M108','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M108">View MathML</a>in<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M62','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M62">View MathML</a>, the following conditions are satisfied:

(E1) <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M89','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M89">View MathML</a>and<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M66','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M66">View MathML</a>;

(E2) <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M67','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M67">View MathML</a>;

(E3) <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M427','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M427">View MathML</a>for some<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M428','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M428">View MathML</a>.

Then. for an arbitrary but fixed<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M34','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M34">View MathML</a>inC, the sequence<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25">View MathML</a>defined by (3.2) converges strongly to a common fixed point<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M117','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M117">View MathML</a>inF. Moreover,

(i) ifEis uniformly smooth, then<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M277','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M277">View MathML</a>solves the variational inequality

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M433','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M433">View MathML</a>

(ii) ifEhas a weakly continuous duality map<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M80','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M80">View MathML</a>with gaugeφ, then<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M277','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M277">View MathML</a>solves the variational inequality

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M436','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M436">View MathML</a>

Proof Repeating the arguments in the proof of Theorem 3.3, we know that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25">View MathML</a> is bounded, and so are the sequences <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M141','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M141">View MathML</a>, <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M439','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M439">View MathML</a> and <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M293','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M293">View MathML</a>. Since <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M441','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M441">View MathML</a>, it is easy to see that there hold the following:

(i) <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M301','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M301">View MathML</a> (<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M295','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M295">View MathML</a>);

(ii) <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M63','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M63">View MathML</a>, <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M64','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M64">View MathML</a> for some integer <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M65','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M65">View MathML</a>;

(iii) <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M68','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M68">View MathML</a>.

Therefore, all conditions of Theorem 3.3 are satisfied. So, utilizing Theorem 3.3, we obtain the desired result. □

To end this paper, we give a weak convergence theorem for hybrid viscosity approximation method (3.2) involving an infinite family of nonexpansive mappings <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M74','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M74">View MathML</a> in a Hilbert space H.

Theorem 3.6LetCbe a nonempty closed convex subset of a Hilbert spaceH. Let<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M101','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M101">View MathML</a>be a nonexpansive mapping for each<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M102','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M102">View MathML</a>such that<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M83','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M83">View MathML</a>and<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M44','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M44">View MathML</a>. Given sequences<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M27','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M27">View MathML</a>, <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M38','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M38">View MathML</a>and<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M108','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M108">View MathML</a>in<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M62','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M62">View MathML</a>, the following conditions are satisfied:

(F1) <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M457','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M457">View MathML</a>;

(F2) <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M67','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M67">View MathML</a>;

(F3) <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M92','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M92">View MathML</a>, <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M93','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M93">View MathML</a>for some<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M428','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M428">View MathML</a>.

Then, for an arbitrary but fixed<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M34','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M34">View MathML</a>inC, the sequence<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25">View MathML</a>defined by (3.2) converges weakly to a common fixed point of the infinite family of nonexpansive mappings<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M74','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M74">View MathML</a>.

Proof Take an arbitrary p in <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M465','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M465">View MathML</a>. Repeating the arguments in the proof of Theorem 3.3, we know that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25">View MathML</a> is bounded, and so are the sequences <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M141','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M141">View MathML</a>, <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M439','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M439">View MathML</a> and <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M293','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M293">View MathML</a>.

It follows from (2.3) that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M470','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M470">View MathML</a>

(3.18)

Since <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M457','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M457">View MathML</a> and <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M293','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M293">View MathML</a> is bounded, we get <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M473','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M473">View MathML</a>. Utilizing Lemma 2.7, we conclude that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M474','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M474">View MathML</a> exists. Furthermore, it follows from (3.18) that for all <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M146','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M146">View MathML</a>, we have

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M476','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M476">View MathML</a>

(3.19)

Since <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M477','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M477">View MathML</a> and <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M478','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M478">View MathML</a>, it follows from (3.19) that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M479','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M479">View MathML</a>. Also, observe that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M480','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M480">View MathML</a>

From [37], Remark 2.2] (see also [38], Remark 3.1]), we have

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M481','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M481">View MathML</a>

This implies immediately that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M482','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M482">View MathML</a>

Now, let us show that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M483','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M483">View MathML</a> (see (2.2)). Indeed, let <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M484','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M484">View MathML</a>. Then there exists a subsequence <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M485','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M485">View MathML</a> of <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25">View MathML</a> such that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M487','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M487">View MathML</a>. Since <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M488','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M488">View MathML</a>, by Lemma 2.8, <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M391','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M391">View MathML</a>.

Finally, let us show that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M222','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M222">View MathML</a> is a singleton. Indeed, let <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M491','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M491">View MathML</a> be another subsequence of <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M25">View MathML</a> such that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M493','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M493">View MathML</a>. Then <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M494','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M494">View MathML</a> also lies in F. If <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M495','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M495">View MathML</a>, by Opial’s property of H, we reach the following contradiction:

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M496','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M496">View MathML</a>

This implies that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M222','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M222">View MathML</a> is a singleton. Consequently, <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M498','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M498">View MathML</a> converges weakly to an element of F. □

Remark 3.7 As pointed out in [22], Remark 2.1], the mild conditions are imposed on the parameter sequence <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M499','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M499">View MathML</a>, which are different from those in [8,11,18,23]. Theorem 2.1 in [22] is a supplement to Remark 5 of Zhou, Wei and Cho [23] in reflexive Banach spaces. Moreover, it extends Theorem 1 in [14] from the case of a single nonexpansive mapping to that of an infinite family of nonexpansive mappings, and relaxes the restrictions imposed on the parameters in [14], Theorem 1]. Compared with Theorem 2.1 in [22] (i.e., Theorem 1.2), our Theorems 3.3 and 3.6 supplement, improve and extend them in the following aspects:

(1) The hybrid viscosity approximation method (3.2) includes their modified Mann’s iterative process (1.5) as a special case.

(2) We relax the restrictions imposed on the parameters in [22], Theorem 2.1]; for instance, there can be no parameter sequence convergent to zero in our Theorem 3.3.

(3) In Theorem 3.3, the problem of finding a common fixed point of an infinite family of nonexpansive mappings is also considered in the framework of uniformly smooth Banach space.

(4) In order to show the strong convergence of the hybrid viscosity approximation method (3.2), we use the techniques very different from those in the proof of [22], Theorem 2.1]; for instance, we use Theorem 4.1 in [1] and Theorem 3.1 in [32].

(5) Theorem 3.3 shows that the hybrid viscosity approximation method (3.2) converges strongly to a common fixed point of an infinite family of nonexpansive mappings, which solves a variational inequality on their common fixed point set.

(6) In Theorem 3.6, the conditions imposed on <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M37','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M37">View MathML</a> and <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M38','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/117/mathml/M38">View MathML</a> are very different from those in [22], Theorem 2.1].

(7) In the proof of Theorem 3.6, we use the techniques very different from those in the proof of [22], Theorem 2.1]; for instance, we use Opial’s property of Hilbert space and Tan and Xu’s lemma in [36].

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.

Acknowledgement

LCC was partially supported by the National Science Foundation of China (11071169), Innovation Program of Shanghai Municipal Education Commission (09ZZ133) and Leading Academic Discipline Project of Shanghai Normal University (DZL707). NCW was partially supported by the grant NSC 99-2115-M-110-007-MY3. JC was partially supported by the grant NSC 99-2115-M-037-002-MY3.

References

  1. Xu, HK: Viscosity approximation methods for nonexpansive mappings. J. Math. Anal. Appl.. 298, 279–291 (2004). Publisher Full Text OpenURL

  2. Browder, FE: Fixed point theorems for noncompact mappings in Hilbert space. Proc. Natl. Acad. Sci. USA. 53, 1272–1276 (1965). PubMed Abstract | Publisher Full Text | PubMed Central Full Text OpenURL

  3. Reich, S: Strong convergence theorems for resolvents of accretive operators in Banach spaces. J. Math. Anal. Appl.. 75, 287–292 (1980). Publisher Full Text OpenURL

  4. Xu, HK: Strong convergence of an iterative method for nonexpansive and accretive operators. J. Math. Anal. Appl.. 314, 631–643 (2006). Publisher Full Text OpenURL

  5. Mann, WR: Mean value methods in iteration. Proc. Am. Math. Soc.. 4, 506–510 (1953). Publisher Full Text OpenURL

  6. Reich, S: Weak convergence theorems for nonexpansive mappings in Banach spaces. J. Math. Anal. Appl.. 67, 274–276 (1979). Publisher Full Text OpenURL

  7. Cho, YJ, Kang, SM, Qin, XL: Approximation of common fixed points of an infinite family of nonexpansive mappings in Banach spaces. Comput. Math. Appl.. 56, 2058–2064 (2008). Publisher Full Text OpenURL

  8. Chang, SS: Viscosity approximation methods for a finite family of nonexpansive mappings in Banach spaces. J. Math. Anal. Appl.. 323, 1402–1416 (2006). Publisher Full Text OpenURL

  9. Nakajo, K, Takahashi, W: Strong convergence theorems for nonexpansive mappings and nonexpansive semigroups. J. Math. Anal. Appl.. 279, 372–379 (2003). Publisher Full Text OpenURL

  10. Qin, XL, Su, YF: Approximation of a zero point of accretive operator in Banach spaces. J. Math. Anal. Appl.. 329, 415–424 (2007). Publisher Full Text OpenURL

  11. Takahashi, W, Tamura, T, Toyoda, M: Approximation of common fixed points of a family of finite nonexpansive mappings in Banach spaces. Sci. Math. Jpn.. 56, 475–480 (2002)

  12. Yao, YH, Chen, RD, Yao, JC: Strong convergence and certain control conditions for modified Mann iteration. Nonlinear Anal.. 68, 1687–1693 (2008). Publisher Full Text OpenURL

  13. Yao, YH, Yao, JC, Zhou, HY: Approximation methods for common fixed points of infinite countable family of nonexpansive mappings. Comput. Math. Appl.. 53, 1380–1389 (2007). Publisher Full Text OpenURL

  14. Kim, TH, Xu, HK: Strong convergence of modified Mann iterations. Nonlinear Anal.. 61, 51–60 (2005). Publisher Full Text OpenURL

  15. Ceng, LC, Yao, JC: Convergence and certain control conditions for hybrid viscosity approximation methods. Nonlinear Anal.. 73, 2078–2087 (2010). Publisher Full Text OpenURL

  16. Bauschke, HH, Borwein, JM: On projection algorithms for solving convex feasibility problems. SIAM Rev.. 38, 367–426 (1996). Publisher Full Text OpenURL

  17. Combettes, PL: The foundations of set theoretic estimation. Proc. IEEE. 81, 182–208 (1993)

  18. Bauschke, HH: The approximation of fixed points of compositions of nonexpansive mappings in Hilbert space. J. Math. Anal. Appl.. 202, 150–159 (1996). Publisher Full Text OpenURL

  19. Deutsch, F, Hundal, H: The rate of convergence of Dykstra’s cyclic projection algorithm: the polyhedral case. Numer. Funct. Anal. Optim.. 15, 537–565 (1994). Publisher Full Text OpenURL

  20. Youla, DC: Mathematical theory of image restoration by the method of convex projections. In: Stark H (ed.) Image Recovery: Theory and Applications, pp. 29–77. Academic Press, Florida (1987)

  21. Iusem, AN, De Pierro, AR: On the convergence of Han’s method for convex programming with quadratic objective. Math. Program., Ser. B. 52, 265–284 (1991). Publisher Full Text OpenURL

  22. Qin, XL, Cho, YJ, Kang, JI, Kang, SM: Strong convergence theorems for an infinite family of nonexpansive mappings in Banach spaces. J. Comput. Appl. Math.. 230, 121–127 (2009). Publisher Full Text OpenURL

  23. Zhou, HY, Wei, L, Cho, YJ: Strong convergence theorems on an iterative method for a family of finite nonexpansive mappings in reflexive Banach spaces. Appl. Math. Comput.. 173, 196–212 (2006). Publisher Full Text OpenURL

  24. Shimoji, K, Takahashi, W: Strong convergence to common fixed points of infinite nonexpansive mappings and applications. Taiwan. J. Math.. 5, 387–404 (2001)

  25. Takahashi, W: Nonlinear Functional Analysis, Yokohama Publishers, Yokohama (2000)

  26. Suzuki, T: Strong convergence of Krasnoselskii and Mann’s type sequences for one-parameter nonexpansive semigroups without Bochner integrals. J. Math. Anal. Appl.. 305, 227–239 (2005). Publisher Full Text OpenURL

  27. Xu, HK, Kim, TH: Convergence of hybrid steepest-descent methods for variational inequalities. J. Optim. Theory Appl.. 119(1), 185–201 (2003)

  28. Bruck, RE: Nonexpansive projections on subsets of Banach spaces. Pac. J. Math.. 47, 341–355 (1973)

  29. Browder, FE: Convergence theorems for sequences of nonlinear operators in Banach spaces. Math. Z.. 100, 201–225 (1967). Publisher Full Text OpenURL

  30. Goebel, K, Kirk, WA: Topics on Metric Fixed-Point Theory, Cambridge University Press, Cambridge (1990)

  31. Lim, TC, Xu, HK: Fixed point theorems for asymptotically nonexpansive mappings. Nonlinear Anal.. 22, 1345–1355 (1994). Publisher Full Text OpenURL

  32. Chen, RD, Zhu, ZC: Viscosity approximation of fixed points for nonexpansive and m-accretive operators. Fixed Point Theory Appl.. 2006, (2006)

  33. Opial, Z: Weak convergence of successive approximations for nonexpansive mappings. Bull. Am. Math. Soc.. 73, 591–597 (1967). Publisher Full Text OpenURL

  34. van Dulst, D: Equivalent norms and the fixed point property for nonexpansive mappings. J. Lond. Math. Soc.. 25, 139–144 (1982). Publisher Full Text OpenURL

  35. Takahashi, W: Introduction to Nonlinear and Convex Analysis, Yokohama Publisher, Yokohama (2009)

  36. Tan, KK, Xu, HK: Approximating fixed points of nonexpansive mappings by the Ishikawa iteration process. J. Math. Anal. Appl.. 178, 301–308 (1993). Publisher Full Text OpenURL

  37. Ceng, LC, Yao, JC: Hybrid viscosity approximation schemes for equilibrium problems and fixed point problems of infinitely many nonexpansive mappings. Appl. Math. Comput.. 198, 729–741 (2008). Publisher Full Text OpenURL

  38. Yao, YH, Liou, YC, Yao, JC: Convergence theorem for equilibrium problems and fixed point problems of infinite family of nonexpansive mappings. Fixed Point Theory Appl.. 2007, (2007)