 Research
 Open Access
 Published:
Viscosity approximation methods for nonexpansive nonselfmappings without boundary conditions
Fixed Point Theory and Applications volume 2014, Article number: 61 (2014)
Abstract
In this paper, we introduce several types of viscosity approximation methods for nonexpansive nonselfmappings in certain Banach spaces. Using new analysis techniques, we prove several strong convergence theorems for nonexpansive nonselfmappings in certain Banach spaces without boundary conditions.
MSC: 47H05, 47H09, 47H10.
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 TxTy\parallel \le \parallel xy\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 nonselfmappings 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 nonselfmappings 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 minimumnorm fixed point of the underlying mappings in a Hilbert space. Moreover, the proof lines of Theorem 4.2 in [6] are really long.
Our concern now is the following.

(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 MeirKeeler 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
Let 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
exists for each $x,y\in U$. Such an 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\u3008xy,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 normtoweak ^{∗} continuous.

(4)
If E has a uniformly Gâteaux differentiable norm, then J is normtoweak ^{∗} 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 normtonorm uniformly continuous on bounded sets of E.
Recall that a mapping $T:C\to E$ is said to satisfy the weakly inward condition [7, 8] if $Tx\in cl{I}_{C}(x)$ for all $x\in C$, where
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$;
(iii) if 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(xQx))=Qx$ whenever $Qx+t(xQx)\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)
$\u3008xQx,j(yQx)\u3009\le 0$ for all $x\in C$ and $y\in D$;

(3)
$\u3008xy,j(QxQy)\u3009\ge {\parallel QxQy\parallel}^{2}$ for all $x,y\in C$.
Let Q be a sunny nonexpansive retraction from E to C. Define a set
for $x\in C$. A nonselfmapping $T:C\to E$ is said to satisfy the MatsushitaTakahashi condition (MT condition, for short) if
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 nowherenormal 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.
Let $(X,d)$ be a metric space and C a subset of X. Recall that a mapping $\mathrm{\Phi}:C\to C$ is called a MeirKeeler 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 xy\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 MeirKeeler contractions;

(ii)
$\mathrm{\forall}t\in (0,1)$, define a mapping ${T}_{t}:C\to C$ by
$${T}_{t}(x)=(1t)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 selfmapping, then conclusion of (i) is still true, provided that T Φ or ΦT is well defined. The conclusion of (ii) holds true for nonselfmappings 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}+(1t)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(yz)\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).
Let 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}+(1t)T$ is a MKC by Proposition 2.7(ii), and hence the mapping $Q[t\mathrm{\Phi}+(1t)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
which inspires us to consider the following discrete iterative sequence $\{{x}_{n}\}$:
where $\{{\alpha}_{n}\}$ is a real sequence that satisfies certain conditions.
We also consider a variant of (2.8):
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})+(1t)T({x}_{t})$. Then (2.7) reduces to ${x}_{t}=Q{y}_{t}$ and
Write $f=\mathrm{\Phi}Q$ and $V=TQ$. Then (3.1) reduces to
In view of Proposition 2.7(i), we know that $f:E\to E$ is a MKC on 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.
By virtue of Lemma 2.1, we have $Fix(TQ)=Fix(T)$, which implies that $z\in C$ and hence $Qz=z$, which gives
Consequently, ${y}_{t}\to z\in Fix(T)$, and ${x}_{t}\to z$ which solves the variational inequality (VI)
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
Write ${\beta}_{n}={\alpha}_{n+1}$, $g=\mathrm{\Phi}Q$ and $U=TQ$. Then (3.5) reduces to
In view of Proposition 2.7(i), $g:E\to E$ is a MKC on 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)$.
Consequently, $\{{y}_{n}\}$, and hence $\{{x}_{n}\}$, converges strongly to $z\in Fix(T)$ which solves the variational inequality (VI):
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].
In order to establish the strong convergence of (2.9), we first consider a special case of (2.9):
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.
Indeed, set ${y}_{n}=Q[{\alpha}_{n}u+(1{\alpha}_{n})T({x}_{n})]$, and take a fixed point $p\in Fix(T)$. Then we have
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}$).
Observe that
for some positive constant ${M}_{1}$.
We have
By virtue of Proposition 2.9, we claim that ${x}_{n}{y}_{n}\to 0$ ($n\to \mathrm{\infty}$).
Step 3. ${\overline{lim}}_{n}\u3008uz,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.
Notice that
and $\parallel {x}_{n}{y}_{n}\parallel \to 0$, we have
For $t\in (0,1)$, let $\{{x}_{t}\}$ be the path defined by
Since $QT:C\to C$ is a nonexpansive selfmapping, using Theorem 2 of Morales and Jung [12], we see that $\{{x}_{t}\}$ converges strongly to $z\in Fix(QT)=Fix(T)$ by Lemma 2.1 as $t\to 0$, where $z={Q}_{Fix(T)}u$. Using Lemma 2.1 of Song et al. [13], we conclude that
Step 4. ${x}_{n}\to z$ ($n\to \mathrm{\infty}$).
By using the definition of $\{{y}_{n}\}$ and Proposition 2.2(3), we have
from which one derives
By virtue of (3.8), (3.10), and the convexity of ${\parallel \cdot \parallel}^{2}$, we have
where ${\sigma}_{n}=max\{0,\u3008uz,j({x}_{n}z)\u3009\}$ and ${e}_{n}=2(1\lambda ){\alpha}_{n}\u3008uz,j({y}_{n}z)j({x}_{n}z)\u3009$. It is easily to see that ${\sigma}_{n}\ge 0$ and ${\sigma}_{n}\to 0$ ($n\to \mathrm{\infty}$) in view of step 3. Now we shall show that ${e}_{n}=o({\alpha}_{n})$. Indeed, from step 1, we know that $\{{x}_{n}z\}$ and $\{{y}_{n}z\}$ are bounded. By step 2, ${y}_{n}{x}_{n}=({y}_{n}z)({x}_{n}x)\to 0$, it follows from Proposition 2.1(4) that
and hence ${e}_{n}=o({\alpha}_{n})$. Consequently, (3.11) reduces to
Set ${a}_{n}={\parallel {x}_{n}z\parallel}^{2}$, ${t}_{n}=(1\lambda ){\alpha}_{n}$. Then (3.12) reduces to
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)$.
Let ${y}_{1}\in C$ and define a sequence $\{{y}_{n}\}$ by
From Theorem 3.3, we assert that
where $z\in Fix(T)$ which solves the variational inequality (VI):
We shall prove that ${x}_{n}{y}_{n}\to 0$ as $n\to \mathrm{\infty}$.
Assume that $a={\overline{lim}}_{n}\parallel {x}_{n}{y}_{n}\parallel >0$; then $\mathrm{\forall}\epsilon >0$, $\epsilon <a$, we can choose $\eta >0$ such that
For above $\epsilon >0$, using Proposition 2.6, we know that there exists $\gamma \in (0,1)$ such that
for all $x,y\in C$ with $\parallel xy\parallel \ge \epsilon $, which implies that
for all $x,y\in C$.
Since ${y}_{n}\to z$ as $n\to \mathrm{\infty}$, we see that there exists some ${n}_{0}\ge 1$ such that
for all $n\ge {n}_{0}$.
We now consider two possible cases.
Case 1. There exists some ${\nu}_{1}\ge {n}_{0}$ such that
By using (2.9), (3.13), (3.16), and (3.17), we have
Similarly, we have
By induction, we have
for all $m\ge 1$, which implies that
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}$.
We shall prove that case 2 is impossible. Suppose case 2 holds true. By (3.15), we have
for all $n\ge {v}_{1}$.
By using (2.9), (3.13), and (3.19), we have
from which one derives
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 nonselfMKC. However, in the case where E is a Hilbert space, it is true.
Applying Theorems 3.13.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.13.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 nonselfmappings. 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 nonselfmappings. Applying our main results to a Hilbert space, we have drawn the corresponding conclusions announced by some authors.
References
 1.
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/01630560701749482
 2.
Takahashi W, Yao JC, Kocourek P: Weak and strong convergence theorems for generalized hybrid nonselfmappings in Hilbert spaces. J. Nonlinear Convex Anal. 2010, 11: 567–586.
 3.
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.
 4.
Takahashi W, Wong NC, Yao JC: Fixed point theorems for nonlinear nonself mappings in Hilbert spaces and applications. Fixed Point Theory Appl. 2013., 2013: Article ID 116
 5.
Song Y, Chen R: Viscosity approximation methods for nonexpansive nonselfmappings. J. Math. Anal. Appl. 2006, 321: 316–326. 10.1016/j.jmaa.2005.07.025
 6.
Matsushita S, Takahashi W: Strong convergence theorems for nonexpansive nonselfmappings without boundary conditions. Nonlinear Anal. 2008, 68: 412–419. 10.1016/j.na.2006.11.007
 7.
Cioranescu I: Geometry of Banach Spaces, Duality Mappings and Nonlinear Problems. Kluwer Academic, Dordrecht; 1990.
 8.
Takahashi W: Nonlinear Functional Analysis. Yokohama Publishers, Yokohama; 2000.
 9.
Matsushita S, Kuroiwa D: Approximation of fixed points of nonexpansive nonselfmappings. Sci. Math. Jpn. 2003, 57: 171–176.
 10.
Meir A, Keeler E: A theorem on contractions. J. Math. Anal. Appl. 1969, 28: 326–329. 10.1016/0022247X(69)900316
 11.
Suzuki T: Moudafi’s viscosity approximations with MeirKeeler contractions. J. Math. Anal. Appl. 2007, 325: 342–352. 10.1016/j.jmaa.2006.01.080
 12.
Morales C, Jung J: Convergence of paths for pseudocontractive mappings in Banach spaces. Proc. Am. Math. Soc. 2000, 128: 3411–3419. 10.1090/S0002993900055738
 13.
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.001
 14.
Matsushita S, Kuroiwa D: Strong convergence of averaging iterations of nonexpansive nonselfmappings. J. Math. Anal. Appl. 2004, 294: 206–214. 10.1016/j.jmaa.2004.02.010
 15.
Zhou HY, Wang PY, Zhou Y: Minimumnorm fixed point of nonexpansive mappings with applications. Optimization 2013. 1–16 10.1080/02331934.2013.811667
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.
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Both authors have played equal roles in deriving results and writing of this paper. Both authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Zhou, H., Wang, P. Viscosity approximation methods for nonexpansive nonselfmappings without boundary conditions. Fixed Point Theory Appl 2014, 61 (2014). https://doi.org/10.1186/16871812201461
Received:
Accepted:
Published:
Keywords
 nonexpansive nonselfmapping
 sunny nonexpansive retraction
 boundary condition
 fixed point
 viscosity approximation