- Research
- Open Access

# Viscosity approximation methods for nonexpansive nonself-mappings without boundary conditions

- Haiyun Zhou
^{1, 2}Email author and - Peiyuan Wang
^{2}

**2014**:61

https://doi.org/10.1186/1687-1812-2014-61

© Zhou and Wang; licensee Springer. 2014

**Received: **12 August 2013

**Accepted: **25 February 2014

**Published: **12 March 2014

## Abstract

In this paper, we introduce several types of viscosity approximation methods for nonexpansive nonself-mappings in certain Banach spaces. Using new analysis techniques, we prove several strong convergence theorems for nonexpansive nonself-mappings in certain Banach spaces without boundary conditions.

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

## Keywords

- nonexpansive nonself-mapping
- sunny nonexpansive retraction
- boundary condition
- fixed point
- viscosity approximation

## 1 Introduction

Let *C* be a nonempty closed convex subset of a real Banach space *E* and let *T* be a nonexpansive mapping defined on *C*, that is, $\parallel Tx-Ty\parallel \le \parallel x-y\parallel $ for all $x,y\in C$. Denote by $Fix(T)$ the set of fixed points of *T*; that is, $Fix(T)=\{x\in C:Tx=x\}$.

In general, the domain of *T* is a proper subset of *E*. In this case, some iterative algorithms associated with *T* may not be well defined. Therefore, it is interesting to find some conditions under which the algorithms considered are well defined.

Recently, the problem of approximating fixed points for nonexpansive nonself-mappings has been paid much attention to by many authors, see [1–4]. Moreover, in [5], Song and Chen introduced two iterative methods (one is implicit and the other is explicit) and established the strong convergence of such two methods in certain Banach spaces, if *T* satisfies the weakly inward condition and $Fix(T)\ne \mathrm{\varnothing}$. Further, in [6], Matsushita and Takahashi introduced a new condition (2.2). They proved the following. (i) If *T* satisfies the weakly inward condition, then *T* satisfies the condition (2.2). (ii) If *E* is a strictly convex Banach space, $T:C\to E$ is a nonexpansive mapping such that $Fix(T)\ne \mathrm{\varnothing}$ and *C* is a sunny nonexpansive retract of *E*, then *T* satisfies the condition (2.2). (iii) If *T* satisfies the condition (2.2), then $Fix(T)=Fix(QT)$, where *Q* is a sunny nonexpansive retraction from *E* onto *C*. Using these results, they proved two strong convergence theorems for nonexpansive nonself-mappings in certain Banach spaces without any boundary conditions.

We remark in the passing that the convergence theorems of Song and Chen [5] are not applicable to ${l}^{p}$ and ${L}^{p}$ for any $p\in (0,2)\cup (2,\mathrm{\infty})$. Although the convergence theorems of Matsushita and Takahashi [6] work in the Banach spaces of ${l}^{p}$ and ${L}^{p}$ for all $p>1$, they could not be used to find the minimum-norm fixed point of the underlying mappings in a Hilbert space. Moreover, the proof lines of Theorem 4.2 in [6] are really long.

- (1)
Can one present an indirect and simple method for proving Theorem 4.2 of Matsushita and Takahashi [6]?

- (2)
Can one extend Theorem 4.2 to both the more general Banach spaces and the more broad Meir-Keeler contractions?

- (3)
Can one improve the main results of [6] so that new convergence theorems hold true under less assumptions?

The purpose of this paper is to study and solve all problems mentioned above by improving and generalizing several recent results. Several new iterative schemes are introduced and several strong convergence theorems are established by using new analysis techniques.

## 2 Preliminaries

*E*be a real Banach space and let ${E}^{\ast}$ be the dual of

*E*. Denote by $\u3008\cdot ,\cdot \u3009$ the duality product. A Banach space

*E*is said to be strictly convex if $\parallel \frac{x+y}{2}\parallel <1$ for all $x,y\in E$ with $\parallel x\parallel =\parallel y\parallel =1$ and $x\ne y$. It is also said to be uniformly convex if ${lim}_{x\to \mathrm{\infty}}\parallel {x}_{n}-{y}_{n}\parallel =0$ for any two sequences $\{{x}_{n}\}$, $\{{y}_{n}\}$ in

*E*such that $\parallel {x}_{n}\parallel =\parallel {y}_{n}\parallel =1$ and ${lim}_{x\to \mathrm{\infty}}\parallel {x}_{n}+{y}_{n}\parallel =2$. Let $U=\{x\in E:\parallel x\parallel =1\}$ be the unit sphere of

*E*. The norm of

*E*is said to be Gâteaux differentiable if the limit

*E*is called a smooth Banach space. The norm of a Banach space

*E*is said to be uniformly Gâteaux differentiable if for each

*y*in

*U*, the limit of (2.1) is attained uniformly for

*x*in

*U*. The norm of

*E*is said to be Fréchet differentiable if for each $x\in U$, the limit of (2.1) is attained uniformly for $y\in U$. The norm of

*E*is also said to be uniformly Fréchet differentiable if the limit of (2.1) is attained uniformly for $x,y\in U$. In this case,

*E*is called a uniformly smooth Banach space. The normalized duality mapping

*J*from

*E*into ${2}^{{E}^{\ast}}$ is defined by

for each $x\in E$. The duality mapping *J* has the following basic properties; see [7, 8] for details.

**Proposition 2.1**

- (1)
${\parallel x\parallel}^{2}-{\parallel y\parallel}^{2}\ge 2\u3008x-y,j\u3009$

*for each*$x,y\in E$*and*$j\in Jy$. - (2)
*If**E**is smooth*,*then**J**is single valued*. - (3)
*If**E**is smooth*,*then**J**is norm*-*to*-*weak*^{∗}*continuous*. - (4)
*If**E**has a uniformly Gâteaux differentiable norm*,*then**J**is norm*-*to*-*weak*^{∗}*uniformly continuous on bounded sets of**E*. - (5)
*If the norm of**E**is*(*uniformly*)*Fréchet differentiable*,*then it is*(*uniformly*)*Gâteaux differentiable*. - (6)
*If Banach space**E**is uniformly smooth*,*then**J**is norm*-*to*-*norm uniformly continuous on bounded sets of**E*.

and $cl{I}_{C}(x)$ denotes the closure of the set ${I}_{C}(x)$.

**Remark 2.1** (i) $C\subset {I}_{C}(x)$ for all $x\in C$;

(ii) if *x* is an interior of *C*, then ${I}_{C}(x)=E$;

*C*is a convex subset of

*E*, then ${I}_{C}(x)$ is also convex and

(iv) if both $f:C\to E$ and $g:C\to E$ satisfy the weakly inward condition, then so does a convex combination of *f* and *g*.

Let *D* be a subset of *C* and let *Q* be a mapping from *C* to *D*. Then *Q* is said to be sunny if $Q(Qx+t(x-Qx))=Qx$ whenever $Qx+t(x-Qx)\in C$ for $x\in C$ and $t\ge 0$. A mapping *Q* from *C* into itself is said to be a retraction if ${Q}^{2}=Q$. A set *D* is said to be a sunny nonexpansive retract of *C* if there exists a sunny nonexpansive retraction from *C* into *D* [7, 8]. It is very well known that if *E* is a smooth Banach space and *C* is a nonempty closed convex subset of *E*, then there exists at most one sunny nonexpansive retraction *Q* from *E* onto *C*. In a Hilbert space *H*, there exists a unique sunny nonexpansive retraction ${P}_{C}:H\to C$.

**Proposition 2.2**

*Let*

*C*

*be a nonempty convex subset of a real smooth Banach space*

*E*, $D\subset C$

*and*$Q:C\to D$

*a retraction*.

*Then the following statements are equivalent*:

- (1)
*Q**is both sunny and nonexpansive*; - (2)
$\u3008x-Qx,j(y-Qx)\u3009\le 0$

*for all*$x\in C$*and*$y\in D$; - (3)
$\u3008x-y,j(Qx-Qy)\u3009\ge {\parallel Qx-Qy\parallel}^{2}$

*for all*$x,y\in C$.

*Q*be a sunny nonexpansive retraction from

*E*to

*C*. Define a set

for all $x\in C$, where ${S}_{x}^{C}$ denotes the complementary set of ${S}_{x}$. If *E* is a Hilbert space, then the MT condition is equivalent to the nowhere-normal outward condition introduced by Matsushita and Kuroiwa [9].

Matsushita and Takahashi [6] proved the following interesting results.

**Proposition 2.3** *Let* *C* *be a closed convex subset of a smooth Banach space* *E* *and let* *T* *be a mapping from* *C* *into* *E*. *Suppose that* *C* *is a sunny nonexpansive retract of* *E*. *If* *T* *satisfies the weakly inward condition*, *then* *T* *satisfies the MT condition*.

**Proposition 2.4** *Let* *C* *be a closed convex subset of a strictly convex Banach space* *E* *and let* *T* *be a mapping from* *C* *into* *E*. *Suppose that* *C* *is a sunny nonexpansive retract of* *E*. *If* $Fix(T)\ne \mathrm{\varnothing}$, *then* *T* *satisfies the MT condition*.

**Proposition 2.5**

*Let*

*C*

*be a closed convex subset of a smooth Banach space*

*E*

*and let*

*T*

*be a mapping form*

*C*

*into*

*E*.

*Suppose that*

*C*

*is a sunny nonexpansive retract of*

*E*.

*If*

*T*

*satisfies the MT condition*,

*then*

*where* *Q* *is the unique sunny nonexpansive retraction from* *E* *onto* *C*.

By a careful observation, we have the following more rich and nice result.

**Lemma 2.1**

*Let*

*C*

*be a closed convex subset of smooth Banach space*

*E*

*and let*

*T*

*be a mapping form*

*C*

*into*

*E*.

*Suppose that*

*C*

*is a sunny nonexpansive retract of*

*E*.

*If*

*T*

*satisfies the MT condition*,

*then*

*where* *Q* *is the unique sunny nonexpansive retraction form* *E* *onto* *C*.

*Proof*The first ‘=’ follows from Proposition 2.5. Now we prove that second ‘=’ holds. Assume that $x=TQx$; then

which shows that $Qx\in Fix(QT)$. In view of Proposition 2.5, $Fix(QT)=Fix(T)$, thus, we get $x=TQx=Qx$, which turns out that $x=Tx$. The converse inclusion relation that ‘$Fix(T)\subset Fix(TQ)$’ is obvious, consequently, $Fix(T)=Fix(TQ)$. The proof is completed. □

**Remark 2.2** The fact that $Fix(T)=Fix(TQ)$ is very important. By virtue of this fact, we can invent and create some novel argument methods for strong convergence of the some kinds of iterative algorithms.

*C*a subset of

*X*. Recall that a mapping $\mathrm{\Phi}:C\to C$ is called a Meir-Keeler contraction (MKC for short) [10], if for arbitrary $\epsilon >0$, there exists $\delta >0$ such that

In [10], Meir and Keeler proved the following interesting fixed point theorem.

**Theorem MK** *Let* $(X,d)$ *be a complete metric space and let* Φ *be a MKC on* *X*. *Then* Φ *has a unique fixed point in* *X*.

**Remark 2.3** If *C* is a nonempty closed (convex) subset of a complete metric space $(X,d)$, then the conclusion of Theorem MK is still true.

The following results can be found in [11].

**Proposition 2.6**

*Let*

*E*

*be a Banach space*

*C*

*a convex subset of*

*E*,

*and*$\mathrm{\Phi}:C\to C$

*a MKC*.

*Then*$\mathrm{\forall}\epsilon >0$,

*there exists*$\gamma \in (0,1)$

*such that*

*for all* $x,y\in C$ *with* $\parallel x-y\parallel \ge \epsilon $.

**Proposition 2.7**

*Let*

*C*

*be a nonempty convex subset of a Banach space*

*E*, $T:C\to C$

*a nonexpansive mapping and*$\mathrm{\Phi}:C\to C$

*a MKC*.

*Then*

- (i)
*T*Φ*and*$\mathrm{\Phi}T:C\to C$*are all Meir*-*Keeler contractions*; - (ii)$\mathrm{\forall}t\in (0,1)$,
*define a mapping*${T}_{t}:C\to C$*by*${T}_{t}(x)=(1-t)Tx+t\mathrm{\Phi}x,\phantom{\rule{1em}{0ex}}x\in C,$

*then* ${T}_{t}$ *is a MKC*.

**Remark 2.4** When Φ is not a self-mapping, then conclusion of (i) is still true, provided that *T* Φ or Φ*T* is well defined. The conclusion of (ii) holds true for nonself-mappings *T* and Φ.

**Proposition 2.8**

*Let*

*C*

*be a nonempty closed convex subset of a reflexive and strictly convex Banach space*

*E*,

*whose norm is uniformly Gâteaux differentiable*.

*Let*$T:C\to C$

*be a nonexpansive mapping with*$Fix(T)=\mathrm{\varnothing}$

*and*$\mathrm{\Phi}:C\to C$

*a MKC*.

*Then the following statements are true*:

- (i)$\mathrm{\forall}t\in (0,1]$,
*there exists a unique continuous path*$\{{x}_{t}\}$*such that*${x}_{t}=t\mathrm{\Phi}{x}_{t}+(1-t)T{x}_{t},\phantom{\rule{1em}{0ex}}t\in (0,1],$(2.5)*further*,*as*$t\to 0$, $\{{x}_{t}\}$*converges strongly to a fixed point**z**of**T*,*which solves the following variational inequality*:$(\mathrm{VI})\phantom{\rule{1em}{0ex}}\u3008(I-\mathrm{\Phi})z,j(y-z)\u3009\ge 0,\phantom{\rule{1em}{0ex}}\mathrm{\forall}y\in Fix(T),$ - (ii)
*for arbitrary initial data*${x}_{1}\in C$,*a sequence*$\{{x}_{n}\}$*is generated by*${x}_{n+1}={\alpha}_{n}\mathrm{\Phi}{x}_{n}+(1-{\alpha}_{n})T{x}_{n},\phantom{\rule{1em}{0ex}}n\ge 1,$(2.6)

*where* $\{{\alpha}_{n}\}$ *is a real sequence satisfying conditions*:

(C1) ${\alpha}_{n}\to 0$; (C2) ${\sum}_{n=1}^{\mathrm{\infty}}{\alpha}_{n}=\mathrm{\infty}$; *and* (C3) ${\sum}_{n=1}^{\mathrm{\infty}}|{\alpha}_{n+1}-{\alpha}_{n}|<\mathrm{\infty}$ *or* $\frac{{\alpha}_{n}}{{\alpha}_{n+1}}\to 1$ ($n\to \mathrm{\infty}$).

*Then* $\{{x}_{n}\}$ *converges strongly to the same point* *z* *as in* (i).

*C*be a nonempty closed convex subset of a Banach space

*E*, $\mathrm{\Phi}:C\to E$ a MKC and $T:C\to E$ a nonexpansive mapping. Let

*Q*be a sunny nonexpansive retraction form

*E*onto

*C*. For each $t\in (0,1)$, the mapping $t\mathrm{\Phi}+(1-t)T$ is a MKC by Proposition 2.7(ii), and hence the mapping $Q[t\mathrm{\Phi}+(1-t)T]$ is a MKC by Proposition 2.7(i). Then the fixed point Theorem MK ensures that for each $t\in (0,1)$, there exists a unique element ${x}_{t}\in C$ such that

where $\{{\alpha}_{n}\}$ is a real sequence that satisfies certain conditions.

where $\{{\alpha}_{n}\}$ is a real sequence that satisfies less restriction. We shall prove that the path defined by (2.7) and the sequences defined by (2.8) and (2.9), respectively, converge strongly to a fixed point of *T* which solves variational inequality (VI).

In order to achieve the objective above, we cite the following known results; see [11].

**Proposition 2.9**

*Let*

*E*

*be a Banach space*, $\{{x}_{n}\}$

*and*$\{{y}_{n}\}$

*two bounded sequences in*

*E*

*that satisfy the relation*:

*where* $\{{\lambda}_{n}\}$ *is a real sequence satisfying* $0<{\underline{lim}}_{n}\phantom{\rule{0.2em}{0ex}}{\lambda}_{n}\le {\overline{lim}}_{n}\phantom{\rule{0.2em}{0ex}}{\lambda}_{n}<1$. *Then* ${x}_{n}-{y}_{n}\to 0$ ($n\to \mathrm{\infty}$).

**Proposition 2.10**

*Let*$\{{a}_{n}\}$

*be a nonnegative real sequence that satisfies inequality*:

*where* $\{{t}_{n}\}$ *is a real sequence in* $(0,1)$ *satisfying conditions* (i) ${t}_{n}\to 0$ *and* (ii) ${\sum}_{n=1}^{\mathrm{\infty}}{t}_{n}=\mathrm{\infty}$. *Then* ${a}_{n}\to 0$ ($n\to \mathrm{\infty}$).

## 3 Main results

**Theorem 3.1**

*Let*

*C*

*be a nonempty closed convex subset of a reflexive and strictly convex Banach space*

*E*

*whose norm is uniformly Gâteaux differentiable*.

*Let*$T:C\to E$

*be a nonexpansive mapping with*$Fix(T)\ne \mathrm{\varnothing}$

*and*$\mathrm{\Phi}:C\to E$

*a MKC*.

*Suppose also that*

*C*

*is a sunny nonexpansive retract of*

*E*

*and let*

*Q*

*be the unique sunny nonexpansive retraction from*

*E*

*onto*

*C*.

*Then the path*$\{{x}_{t}\}$

*defined by*(2.7)

*converges strongly to*

*z*

*which solves the variational inequality*

*equivalently*, $z={Q}_{Fix(T)}\mathrm{\Phi}(z)$, *where* ${Q}_{Fix(T)}:E\to Fix(T)$ *is the unique sunny nonexpansive retraction from* *E* *onto* $Fix(T)$.

*Proof*Set ${y}_{t}=t\mathrm{\Phi}({x}_{t})+(1-t)T({x}_{t})$. Then (2.7) reduces to ${x}_{t}=Q{y}_{t}$ and

*E*and $V:E\to E$ is a nonexpansive mapping on

*E*. From Proposition 2.8(i), we conclude that $\{{y}_{t}\}$ converges strongly to a fixed point

*z*of $(TQ)$, which solves the variational inequality:

It follows from Proposition 2.4 that *T* satisfies the MT condition.

which is equivalent to $z={Q}_{Fix(T)}\mathrm{\Phi}(z)$ by Proposition 2.2. □

**Theorem 3.2**

*Let*

*C*

*be a nonempty closed convex subset of a reflexive and strictly convex Banach space*

*E*,

*whose norm is uniformly Gâteaux differentiable*.

*Let*$T:C\to E$

*be a nonexpansive mapping with*$Fix(T)\ne \mathrm{\varnothing}$

*and*$\mathrm{\Phi}:C\to E$

*a MKC*.

*Suppose also that*

*C*

*is a sunny nonexpansive retract of*

*E*

*and let*

*Q*

*be the unique sunny nonexpansive retraction from*

*E*

*onto*

*C*.

*Let*$\{{\alpha}_{n}\}$

*be a real sequence satisfying conditions*(C1), (C2),

*and*(C3)

*given in Proposition*2.8.

*Then the sequence*$\{{x}_{n}\}$

*defined by*(2.8)

*converges strongly to*

*z*

*which solves the variational inequality*(VI)

*Proof*Set ${y}_{n}={\alpha}_{n}\mathrm{\Phi}({x}_{n})+(1-{\alpha}_{n})T({x}_{n})$. Then (2.8) reduces to ${x}_{n+1}=Q{y}_{n}$ and

*E*and $U:E\to E$ is a nonexpansive mapping on

*E*. Obviously, $\{{\beta}_{n}\}$ satisfies the conditions (i) ${\beta}_{n}\to 0$; (ii) ${\sum}_{n=1}^{\mathrm{\infty}}{\beta}_{n}=\mathrm{\infty}$; and (iii) ${\sum}_{n=1}^{\mathrm{\infty}}|{\beta}_{n+1}-{\beta}_{n}|<\mathrm{\infty}$ or $\frac{{\beta}_{n}}{{\beta}_{n+1}}\to 1$ ($n\to \mathrm{\infty}$). By Proposition 2.8(ii), we conclude that $\{{y}_{n}\}$ converges strongly a fixed point of

*z*of $U=TQ$, which solves the variational inequality:

In view of Lemma 2.1, we know that $z=TQz=Tz$, which implies that $z\in C$ and hence $Qz=z$, which yields $g(z)=\mathrm{\Phi}(z)$.

The proof is completed. □

**Remark 3.1** Theorem 3.1 improves and generalizes Theorem 2.2 due to Song and Chen [5]; Theorem 3.2 improves and generalizes Theorem 2.4 due to Song and Chen [5] and Theorem 4.2 due to Matsushita and Takahashi [6]. We point out that our method of argumentation is much simpler than the ones used by Song and Chen [5], and Matsushita and Takahashi [6].

**Theorem 3.3**

*Let*

*C*

*be a nonempty closed convex subset of a reflexive and strictly convex Banach space*

*E*,

*whose norm is uniformly Gâteaux differentiable*.

*Let*$T:C\to E$

*be a nonexpansive mapping with*$Fix(T)\ne \mathrm{\varnothing}$.

*Suppose also that*

*C*

*is a sunny nonexpansive retract of*

*E*

*and let*

*Q*

*be the unique sunny nonexpansive retraction from*

*E*

*onto*

*C*.

*Let*$\{{\alpha}_{n}\}$

*be a sequence satisfying conditions*(C1) ${\alpha}_{n}\to 0$

*and*(C2) ${\sum}_{n=1}^{\mathrm{\infty}}{\alpha}_{n}=\mathrm{\infty}$.

*Then the sequence*$\{{x}_{n}\}$

*defined by*(3.8)

*converges strongly to a fixed point*

*z*

*of*

*T*,

*which solves the following variational inequality*:

*Proof* We split the proof into four steps.

Step 1. $\{{x}_{n}\}$ is bounded.

for all $n\ge 1$, hence $\{{x}_{n}\}$ is bounded, so is $\{T{x}_{n}\}$.

Step 2. ${x}_{n}-{y}_{n}\to 0$ ($n\to \mathrm{\infty}$).

for some positive constant ${M}_{1}$.

By virtue of Proposition 2.9, we claim that ${x}_{n}-{y}_{n}\to 0$ ($n\to \mathrm{\infty}$).

Step 3. ${\overline{lim}}_{n}\u3008u-z,j({x}_{n}-z)\u3009\le 0$, where $z={Q}_{Fix(T)}u$, and ${Q}_{Fix(T)}:C\to Fix(T)$ is the unique sunny nonexpansive retraction from *C* onto $Fix(T)$, which is guaranteed by Theorem 3.1.

*et al.*[13], we conclude that

Step 4. ${x}_{n}\to z$ ($n\to \mathrm{\infty}$).

where $\{{t}_{n}\}$ satisfies condition (i) ${t}_{n}\to 0$; and (ii) ${\sum}_{n=1}^{\mathrm{\infty}}{t}_{n}=\mathrm{\infty}$. By Proposition 2.10, we conclude that ${a}_{n}\to 0$ ($n\to \mathrm{\infty}$), *i.e.*, ${x}_{n}\to z$ ($n\to \mathrm{\infty}$). This completes the proof. □

Now we prove the strong convergence of (2.9).

**Theorem 3.4**

*Let*

*E*

*be a real reflexive and strictly convex Banach space whose norm is uniformly Gâteaux differentiable*,

*let*

*C*

*be a nonempty closed convex subset of*

*E*,

*let*

*T*

*be a nonexpansive mapping from*

*C*

*into*

*E*

*with*$Fix(T)\ne \mathrm{\varnothing}$

*and let*$\mathrm{\Phi}:C\to C$

*be a MKC*.

*Suppose that*

*C*

*is a sunny nonexpansive retract of*

*E*.

*Let*$\{{\alpha}_{n}\}$

*be a real sequence such that*$0\le {\alpha}_{n}\le 1$, ${\alpha}_{n}\to 0$

*and*${\sum}_{n=1}^{\mathrm{\infty}}{\alpha}_{n}=\mathrm{\infty}$.

*Let*$\lambda \in (0,1)$

*and*${x}_{1}\in C$.

*Suppose that*$\{{x}_{n}\}$

*is given by*(2.9).

*Then*$\{{x}_{n}\}$

*converges strongly to*$z\in Fix(T)$

*which solves the variational inequality*(VI):

*Proof* By Proposition 2.7(i), we know that ${Q}_{Fix(T)}\mathrm{\Phi}:C\to C$ is a MKC on *C*. It follows from Theorem MK, ${Q}_{Fix(T)}\mathrm{\Phi}$ has a unique fixed point *z* in *C*, *i.e.*, $z={Q}_{Fix(T)}\mathrm{\Phi}(z)$.

We shall prove that ${x}_{n}-{y}_{n}\to 0$ as $n\to \mathrm{\infty}$.

for all $x,y\in C$.

for all $n\ge {n}_{0}$.

We now consider two possible cases.

which contradicts with (3.14). Consequently, ${x}_{n}-{y}_{n}\to 0$, and hence ${x}_{n}\to z\in Fix(T)$ which solves the variational inequality (VI).

Case 2. $\parallel {x}_{n}-{y}_{n}\parallel >\epsilon +\eta $ for all $n\ge {v}_{1}$.

for all $n\ge {v}_{1}$.

in view of Proposition 2.10, and hence $0\ge \epsilon +\eta $, a contradiction, thus, case 2 is impossible. The proof is completed. □

**Remark 3.2** We do not know whether the conclusion of Theorem 3.4 holds true when $\mathrm{\Phi}:C\to E$ is a nonself-MKC. However, in the case where *E* is a Hilbert space, it is true.

Applying Theorems 3.1-3.4 to a Hilbert space *H*, we can obtain new strong convergence theorems, which improve and generalize the corresponding results by Matsushita and Kuroiwa [14], and Zhou *et al.* [15].

**Theorem 3.5** *Let* *H* *be a real Hilbert space*, *let* *C* *be a nonempty closed convex subset of* *H*, *let* *T* *be a nonexpansive mapping from* *C* *into* *H* *with* $Fix(T)\ne \mathrm{\varnothing}$ *and let* $\mathrm{\Phi}:C\to H$ *be a MKC*. *Then the conclusions of Theorems* 3.1-3.4 *hold true*.

## 4 Concluding remarks

This work contains our contribution dedicated to developing and improving the viscosity approximation methods for finding fixed points of nonexpansive nonself-mappings. A novel and remarkable finding is contained in Lemma 2.1, that is, $Fix(T)=Fix(TQ)$, which makes it possible to invent a novel and simple method of argumentation for establishing strong convergence theorems. We have introduced our modified viscosity approximation methods for finding fixed points of nonexpansive nonself-mappings. Applying our main results to a Hilbert space, we have drawn the corresponding conclusions announced by some authors.

## Declarations

### Acknowledgements

The first author was supported in part by NSFC 11071053. The authors wish to thank the referee for the valuable suggestions to improve the writing of this paper.

## Authors’ Affiliations

## References

- Ceng LC, Xu HK, Yao JC: Strong convergence of an iterative method with perturbed mappings for nonexpansive and accretive operators.
*Numer. Funct. Anal. Optim.*2008, 29: 1–22. 10.1080/01630560701749482View ArticleMathSciNetGoogle Scholar - Takahashi W, Yao JC, Kocourek P: Weak and strong convergence theorems for generalized hybrid nonself-mappings in Hilbert spaces.
*J. Nonlinear Convex Anal.*2010, 11: 567–586.MathSciNetGoogle Scholar - Naraghirad E, Takahashi W, Yao JC: Generalized retraction and fixed point theorems using Bregman functions in Banach spaces.
*J. Nonlinear Convex Anal.*2012, 13: 141–156.MathSciNetGoogle Scholar - Takahashi W, Wong NC, Yao JC: Fixed point theorems for nonlinear non-self mappings in Hilbert spaces and applications.
*Fixed Point Theory Appl.*2013., 2013: Article ID 116Google Scholar - Song Y, Chen R: Viscosity approximation methods for nonexpansive nonself-mappings.
*J. Math. Anal. Appl.*2006, 321: 316–326. 10.1016/j.jmaa.2005.07.025View ArticleMathSciNetGoogle Scholar - Matsushita S, Takahashi W: Strong convergence theorems for nonexpansive nonself-mappings without boundary conditions.
*Nonlinear Anal.*2008, 68: 412–419. 10.1016/j.na.2006.11.007View ArticleMathSciNetGoogle Scholar - Cioranescu I:
*Geometry of Banach Spaces, Duality Mappings and Nonlinear Problems*. Kluwer Academic, Dordrecht; 1990.View ArticleGoogle Scholar - Takahashi W:
*Nonlinear Functional Analysis*. Yokohama Publishers, Yokohama; 2000.Google Scholar - Matsushita S, Kuroiwa D: Approximation of fixed points of nonexpansive nonself-mappings.
*Sci. Math. Jpn.*2003, 57: 171–176.MathSciNetGoogle Scholar - Meir A, Keeler E: A theorem on contractions.
*J. Math. Anal. Appl.*1969, 28: 326–329. 10.1016/0022-247X(69)90031-6View ArticleMathSciNetGoogle Scholar - Suzuki T: Moudafi’s viscosity approximations with Meir-Keeler contractions.
*J. Math. Anal. Appl.*2007, 325: 342–352. 10.1016/j.jmaa.2006.01.080View ArticleMathSciNetGoogle Scholar - Morales C, Jung J: Convergence of paths for pseudo-contractive mappings in Banach spaces.
*Proc. Am. Math. Soc.*2000, 128: 3411–3419. 10.1090/S0002-9939-00-05573-8View ArticleMathSciNetGoogle Scholar - Song Y, Chen R, Zhou H: Viscosity approximation methods for nonexpansive mapping sequences in Banach spaces.
*Nonlinear Anal.*2007, 66: 1016–1024. 10.1016/j.na.2006.01.001View ArticleMathSciNetGoogle Scholar - Matsushita S, Kuroiwa D: Strong convergence of averaging iterations of nonexpansive nonself-mappings.
*J. Math. Anal. Appl.*2004, 294: 206–214. 10.1016/j.jmaa.2004.02.010View ArticleMathSciNetGoogle Scholar - Zhou HY, Wang PY, Zhou Y: Minimum-norm fixed point of nonexpansive mappings with applications.
*Optimization*2013. 1–16 10.1080/02331934.2013.811667Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.