Open Access

# Strong convergence of iterative algorithms with variable coefficients for asymptotically strict pseudocontractive mappings in the intermediate sense and monotone mappings

Fixed Point Theory and Applications20122012:68

https://doi.org/10.1186/1687-1812-2012-68

Accepted: 26 April 2012

Published: 26 April 2012

## Abstract

In this article, we propose some iterative algorithms with variable coefficients for finding a common element of the set of fixed points of a uniformly continuous asymptotically κ-strict pseudocon-tractive mapping in the intermediate sense and the set of solutions of the variational inequality problem for a monotone, Lipschitz-continuous mapping. Some strong convergence theorems of these iterative algorithms are obtained without some boundedness assumptions and without some convergence condition. The results of the article improve and extend the recent results of Ceng and Yao, Nadezhkina and Takahashi, and several others.

Mathematics Subject Classification (2000): 47H09; 47J20.

## Keywords

fixed pointvariational inequalityasymptotically strict pseudocontractive mapping in the intermediate sensemonotone mappingvariable coefficient method

## 1 Introduction

Let H be a real Hilbert space with inner product 〈·, ·〉 and norm · , respectively. Let C a nonempty closed convex subset of H and let P C be the metric project from H onto C. F(S) = {x C : Sx = x} denotes the set of fixed points of a self-mapping S on a set C.

A mapping A of C into H is called monotone if
$〈Ax-Ay,x-y〉\ge 0,\phantom{\rule{1em}{0ex}}\forall x,y\in C.$
A mapping A of C into H is said to be L-Lipschitz continuous if there exists a positive constant L such that
$∥Ax-Ay∥\le L∥x-y∥,\phantom{\rule{1em}{0ex}}\forall x,y\in C.$
Let the mapping A from C to H be monotone and Lipschitz continuous. The variational inequality problem (for short, VI(C, A)) is to find a u C such that
$〈Au,v-u〉\ge 0,\phantom{\rule{1em}{0ex}}\forall v\in C.$
The set of solutions of the VI(C, A) is denoted Ω. A mapping A of C into H is said to be α-inverse strongly monotone if there exists a positive constant α such that
$〈Ax-Ay,x-y〉\ge \alpha {∥Ax-Ay∥}^{2},\phantom{\rule{1em}{0ex}}\forall x,y\in C.$
It is obvious that if A is α-inverse-strongly monotone, then A is monotone and Lipschitz continuous. Recall that a mapping S : CC is called to be nonexpansive if
$∥Sx-Sy∥\le ∥x-y∥,\phantom{\rule{1em}{0ex}}\forall x,y\in C.$
A mapping S : CC is called to be asymptotically nonexpansive [1], if there exists a sequence {k n } [1, ∞) with k n → 1 as n → ∞ such that
$∥{S}^{n}x-{S}^{n}y∥\le {k}_{n}∥x-y∥,\phantom{\rule{1em}{0ex}}\text{for}\phantom{\rule{2.77695pt}{0ex}}\text{all}\phantom{\rule{2.77695pt}{0ex}}x,y\in C,\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{2.77695pt}{0ex}}\text{all}\phantom{\rule{2.77695pt}{0ex}}\text{integers}\phantom{\rule{2.77695pt}{0ex}}n\ge 1.$
S : CC is called to be asymptotically nonexpansive in the intermediate sense [2], if it is continuous and the following inequality holds:
$\underset{n\to \infty }{\text{lim}\text{sup}}\underset{x,y\in C}{\text{sup}}\left(∥{S}^{n}x-{S}^{n}y∥-∥x-y∥\right)\le 0.$
(1.1)
In fact, we see that (1.1) is equivalent to
${∥{S}^{n}x-{S}^{n}y∥}^{2}\le {∥x-y∥}^{2}+{c}_{n},\phantom{\rule{1em}{0ex}}\forall n\ge 1,x,y\in C,$
(1.2)
where c n [0, ∞) with c n → 0 as n → ∞. S is called to be an asymptotically κ-strict pseudocontractive mapping with sequence {γ n } [3], if there exist a constant κ [0, 1) and a sequence {γ n } [0, ∞) with γ n → 0 as n → ∞ such that
${∥{S}^{n}x-{S}^{n}y∥}^{2}\le \left(1+{\gamma }_{n}\right){∥x-y∥}^{2}+\kappa {∥\left(I-{S}^{n}\right)x-\left(I-{S}^{n}\right)y∥}^{2}$
(1.3)
for all x, y C and all integers n ≥ 1. It is very clear that, in a real Hilbert space H, (1.3) is equivalent to
$〈{S}^{n}x-{S}^{n}y,x-y〉\le \left(1+\frac{{\gamma }_{n}}{2}\right){∥x-y∥}^{2}-\frac{1-\kappa }{2}{∥\left(I-{S}^{n}\right)x-\left(I-{S}^{n}\right)y∥}^{2}.$
Recall that S is called to be an asymptotically κ-strict pseudocontraction in the intermediate sense with sequence {γ n } [4], if
$\underset{n\to \infty }{\text{lim}\text{sup}}\underset{x,y\in C}{\text{sup}}\left\{{∥{S}^{n}x-{S}^{n}y∥}^{2}-\left(1+{\gamma }_{n}\right){∥x-y∥}^{2}-\kappa {∥\left(I-{S}^{n}\right)x-\left(I-{S}^{n}\right)y∥}^{2}\right\}\le 0,$
(1.4)
where κ [0, 1) and γ n [0, ∞) such that γ n → 0 as n → ∞. In fact, (1.4) is reduced to the following:
${∥{S}^{n}x-{S}^{n}y∥}^{2}\le \left(1+{\gamma }_{n}\right){∥x-y∥}^{2}+\kappa {∥\left(I-{S}^{n}\right)x-\left(I-{S}^{n}\right)y∥}^{2}+{c}_{n},\forall x,y\in C,$
(1.5)

where c n [0, ∞) with c n → 0 as n → ∞.

Recently, by combining Korpelevich's extragradient method [5] with Takahashi-Toyoda's iterative algorithm [6], Nadezhkina and Takahashi [7] introduced the following iterative scheme for finding a common element of F(S) ∩ Ω, the intersection of the set of fixed points of a nonexpansive mapping and the set of solutions of the variational inequality problem for a monotone, Lipschitz-continuous mapping and proved its weak convergence.

Theorem A (See [[7], Theorem 3.1]). Let C be a nonempty closed convex subset of a Hilbert space H. Let A : CH be a monotone, L-Lipschitz continuous mapping and let S : CC be a nonexpansive mapping such that $F\left(S\right)\cap \Omega \ne \varnothing$. Let {x n } and {y n } be the sequences generated by
$\left\{\begin{array}{c}\hfill {x}_{0}=x\in C\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}chosen\phantom{\rule{2.77695pt}{0ex}}arbitrary,\hfill \\ \hfill {y}_{n}={P}_{C}\left({x}_{n}-{\lambda }_{n}A{x}_{n}\right),\hfill \\ \hfill {x}_{n+1}={\alpha }_{n}{x}_{n}+\left(1-{\alpha }_{n}\right)S{P}_{C}\left({x}_{n}-{\lambda }_{n}A{y}_{n}\right),\phantom{\rule{1em}{0ex}}\forall n\ge 0,\hfill \end{array}\right\$

where λ n [a, b] for some a, b (0, 1/L) and α n [c, d] for some c, d (0, 1). Then the sequences {x n }, {y n } converge weakly to the same point z F(S) ∩ Ω, where z = limn→∞PF(S)∩Ωx n .

Inspired by Nadezhkina and Takahashi [[7], Theorem 3.1], and Zeng and Yao [8] introduced the following iterative process for finding an element of F(S)∩Ω and established the following strong convergence theorem.

Theorem B (See [[8], Theorem 3.1]). Let C be a nonempty closed convex subset of a Hilbert space H. Let A : CH be a monotone, L-Lipschitz continuous mapping and let S : CC be a nonexpansive such that $F\left(S\right)\cap \Omega \ne \varnothing$. Let {x n } and {y n } be the sequences generated by any given x0 C and
$\left\{\begin{array}{c}\hfill {y}_{n}={P}_{C}\left({x}_{n}-{\lambda }_{n}A{x}_{n}\right),\hfill \\ \hfill {x}_{n+1}={\alpha }_{n}{x}_{0}+\left(1-{\alpha }_{n}\right)S{P}_{C}\left({x}_{n}-{\lambda }_{n}A{y}_{n}\right),\hfill \end{array}\right\$

for every n ≥ 0, where {λ n } and {α n } satisfy the conditions:

(a) {λ n L} (0, 1 - δ) for some δ (0, 1)

(b) $\left\{{\alpha }_{n}\right\}\subset \left(0,1\right),\phantom{\rule{1em}{0ex}}\sum _{n=0}^{\infty }{\alpha }_{n}=\infty ,\phantom{\rule{1em}{0ex}}\underset{n\to \infty }{\text{lim}}{\alpha }_{n}=0,$,

Then the sequences {x n }, {y n } converge strongly to the same point PF(S)∩Ω(x0), provided limn→∞x n - xn+1 = 0.

Further, utilizing the combination of hybrid-type method and extragradient-type method, Nadezhkina and Takahashi [9] introduced the following iterative scheme for finding a common element of F(S) ∩ Ω, and proved the following strong convergence theorem.

Theorem C (See [[9], Theorem 3.1] or [[10], Theorem NT2]). Let C be a nonempty closed convex subset of a Hilbert space H. Let A : CH be a monotone, L-Lipschitz continuous mapping and let S : CC be a nonexpansive mapping such that $F\left(S\right)\cap \Omega \ne \varnothing$. Let {x n }, {y n }, and {z n } be the sequences generated by
$\left\{\begin{array}{c}\hfill {x}_{0}=x\in C\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}chosen\phantom{\rule{2.77695pt}{0ex}}arbitrary,\hfill \\ \hfill {y}_{n}={P}_{C}\left({x}_{n}-{\lambda }_{n}A{x}_{n}\right),\hfill \\ \hfill {z}_{n}={\alpha }_{n}{x}_{n}+\left(1-{\alpha }_{n}\right)S{P}_{C}\left({x}_{n}-{\lambda }_{n}A{y}_{n}\right),\hfill \\ \hfill {C}_{n}=\left\{z\in C:∥{z}_{n}-z∥\le ∥{x}_{n}-z∥\right\},\hfill \\ \hfill {Q}_{n}=\left\{z\in C:〈{x}_{n}-z,\phantom{\rule{2.77695pt}{0ex}}x-{x}_{n}〉\ge 0\right\},\hfill \\ \hfill {x}_{n+1}={P}_{{C}_{n}\cap {Q}_{n}}x,\phantom{\rule{1em}{0ex}}\forall n\ge 0,\hfill \end{array}\right\$

where λ n [a, b] for some a, b (0, 1/L) and α n [0, c] for some c [0, 1). Then the sequences {x n }, {y n }, and {z n } converge strongly to the same point q = PF(S)∩Ωx.

Very recently, considering a nonexpansive nonself mapping, Buong [11] introduced a new iteration method based on the hybrid-type method and extragradient-type method and proved its strong convergence. Considering a finite family of κ-strict pseudocontractive mappings, Ceng et al. [12] proposed parallel extragradient and cyclic-extragradient algorithms, and derived the weak convergence of these algorithms.

Most recently, considering a uniformly continuous asymptotically κ-strict pseudocon-tractive mapping in the intermediate sense, Ceng and Yao [10] proposed a modified hybrid Mann iterative scheme with perturbed mapping based on the hybrid-type method and extragradient-type method, and established the following interesting result with the help of some boundedness assumptions

Theorem D (See [[10], Theorem 3.1]). Let C be a nonempty closed convex subset of a real Hilbert space H. Let A : CH be a monotone, L-Lipschitz continuous mapping with (I - A)(C) C and let S : CC be a uniformly continuous asymptotically κ-strict pseudocontractive mapping in the intermediate sense with sequence {γ n } such that F(S)∩Ω is nonempty and bounded. Let {x n }, {y n }, and {z n } be the sequences generated by
$\left\{\begin{array}{c}\hfill {x}_{1}=x\in C\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}chosen\phantom{\rule{2.77695pt}{0ex}}arbitrary,\hfill \\ \hfill {y}_{n}=\left(1-{\mu }_{n}\right){x}_{n}+{\mu }_{n}\left({S}^{n}{x}_{n}-{\lambda }_{n}A\left({S}^{n}{x}_{n}\right)\right),\hfill \\ \hfill {t}_{n}={P}_{C}\left({y}_{n}-{\lambda }_{n}A{y}_{n}\right),\hfill \\ \hfill {z}_{n}=\left(1-{\alpha }_{n}-{\beta }_{n}\right){x}_{n}+{\alpha }_{n}{t}_{n}+{\beta }_{n}{S}^{n}{t}_{n},\hfill \\ \hfill {C}_{n}=\left\{z\in C:{∥{z}_{n}-z∥}^{2}\le {∥{x}_{n}-z∥}^{2}+{\theta }_{n}\right\},\hfill \\ \hfill {Q}_{n}=\left\{z\in C:〈{x}_{n}-z,\phantom{\rule{2.77695pt}{0ex}}x-{x}_{n}〉\ge 0\right\},\hfill \\ \hfill {x}_{n+1}={P}_{{C}_{n}\cap {Q}_{n}}x,\phantom{\rule{1em}{0ex}}\forall n\ge 1,\hfill \end{array}\right\$
where ${\theta }_{n}={\mu }_{n}\kappa {∥{x}_{n}-{S}^{n}{x}_{n}∥}^{2}+2{\gamma }_{n}{\Delta }_{n}+2{c}_{n}+{\lambda }_{n}^{2}\left({∥A\left({S}^{n}{x}_{n}\right)∥}^{2}+{∥A{y}_{n}∥}^{2}\right)$ and
${\Delta }_{n}=\text{max}\left\{\underset{p\in F\left(S\right)\cap \Omega }{\text{sup}}{∥{x}_{n}-p∥}^{2},\underset{p\in F\left(S\right)\cap \Omega }{\text{sup}}{∥{t}_{n}-p∥}^{2}\right\}<\infty .$
Assume that {λ n } is a sequence in (0, 1) with $\underset{n\to \infty }{\text{lim}}{\lambda }_{n}=0$, and {α n }, {β n }, and {μ n } are three sequences in [0, 1] satisfying the conditions:
1. (i)

α n + β n ≤ 1 for all n ≥ 1;

2. (ii)

κα n and $\underset{n\to \infty }{\text{lim}}{\mu }_{n}=0$;

3. (iii)

$\underset{n\to \infty }{\text{lim}\text{inf}}{\beta }_{n}>0$;

Then the sequences {x n }, {y n }, and {z n } converge strongly to the same point q = PF(S)∩Ω x if and only if $\underset{n\to \infty }{\text{lim}\text{inf}}〈A{x}_{n},y-{x}_{n}〉\ge 0$ for all y C.

The following problems arise naturally then: (1) Can we relax the convergence condition $\underset{n\to \infty }{\text{lim}\text{inf}}〈A{x}_{n},y-{x}_{n}〉\ge 0$ for all y C in Theorem D by proposing some new algorithm. (2) Can we relax the boundedness assumptions that the intersection F(S)∩Ω and the sequence {Δ n } in Theorem D are both bounded. Actually, in many cases, these assumptions and conditions are not easy to examine in advance. Hence, they are interesting and important problems.

In order to solve these problems, motivated and inspired by Ceng and Yao [10], Nadezhkina and Takahashi [9], and Ge et al. [13], we introduce some new algorithms with variable coefficients based on the hybrid-type method and extragradient-type method for finding a common element of the set of fixed points of a uniformly continuous asymptotically κ-strict pseudocontractive mapping in the intermediate sense and the set of solutions of the variational inequality problem for a monotone, Lipschitz-continuous mapping in real Hilbert spaces. Our results improve and extend the corresponding results of Ceng and Yao [10], Nadezhkina and Takahashi [9], and several others.

## 2 Preliminaries

• x n x means that {x n } converges strongly to x.

• F(S) = {x C : Sx = x} denotes the set of fixed points of a self-mapping S on a set C.

• B r (x1):={x H : x - x1r}.

• is the set of positive integers.

For every point x H, there exists a unique nearest point in C, denoted by P C x, such that
$∥x-{P}_{C}x∥\le ∥x-y∥,\phantom{\rule{1em}{0ex}}\forall y\in C.$
P C is called the metric projection of H onto C. We know that P C is a nonexpansive mapping from H onto C. Recall that the inequality holds
$〈x-{P}_{C}x,{P}_{C}x-y〉\ge 0,\phantom{\rule{1em}{0ex}}\forall x\in H,y\in C.$
(2.1)
Moreover, it is easy to see that it is equivalent to
${∥{P}_{C}x-{P}_{C}y∥}^{2}\le 〈{P}_{C}x-{P}_{C}y,x-y〉,\phantom{\rule{1em}{0ex}}\forall x,y\in H;$
It is also equivalent to
${∥x-y∥}^{2}\ge {∥x-{P}_{C}x∥}^{2}+{∥y-{P}_{C}x∥}^{2},\phantom{\rule{1em}{0ex}}\forall x\in H,y\in C.$
(2.2)
Lemma 2.1. [14]. Let C be a nonempty closed convex subsets of a real Hilbert space H. Given x H and y C. Then y = P C x if and only if there holds the inequality
$〈x-y,y-z〉\ge 0,\phantom{\rule{1em}{0ex}}\forall z\in C.$
Lemma 2.2. [10]. Let A : CH be a monotone mapping. In the context of the variational inequality problem the characterization of projection (2.1) implies
$u\in \Omega ⇔u={P}_{C}\left(u-\lambda Au\right),\phantom{\rule{1em}{0ex}}\forall \lambda >0.$
Lemma 2.3. [15]. Let C be a nonempty closed convex subsets of a real Hilbert space H. Given x, y, z H and given also a real number a, the set
$\left\{v\in C:{∥y-v∥}^{2}\le {∥x-v∥}^{2}+〈z,v〉+a\right\}$

is convex and closed.

Lemma 2.4. [16]. Let H be a real Hilbert space. Then for all x, y, z H and all α, β, γ [0, 1] with α + β + γ = 1, we have
${∥\alpha x+\beta y+\gamma z∥}^{2}=\alpha {∥x∥}^{2}+\beta {∥y∥}^{2}+\gamma {∥z∥}^{2}-\alpha \beta {∥x-y∥}^{2}-\alpha \gamma {∥x-z∥}^{2}-\beta \gamma {∥y-z∥}^{2}.$
Lemma 2.5. [4]. Let C be a nonempty closed convex subsets of a real Hilbert space H. and S : CC be an asymptotically κ-strict pseudocontraction in the intermediate sense with sequence {γ n }. Then
$∥{S}^{n}x-{S}^{n}y∥\le \frac{1}{1-\kappa }\left(\kappa ∥x-y∥+\sqrt{\left(1+\left(1-\kappa \right){\gamma }_{n}\right){∥x-y∥}^{2}+\left(1-\kappa \right){c}_{n}}\right)$

for all x, y C and n ≥ 1.

By Ibaraki et al. [[17], Theorem 4.1], we have the following lemma.

Lemma 2.6. Let {K n } be a sequence of nonempty closed convex subsets of a real Hilbert space H such that Kn+1 K n for each n . If ${K}^{*}={\cap }_{n=0}^{\infty }{K}_{n}$ is nonempty, then for each x H, $\left\{{P}_{{K}_{n}}x\right\}$ converges strongly to P K* x.

A set-valued mapping T : H → 2 H is called monotone if for all x, y H, f Tx and g Ty imply 〈x - y, f - g〉 ≥ 0. A monotone mapping T : H → 2 H is maximal if its graph G(T) is not properly contained in the graph of any other monotone mapping. It is known that a monotone mapping T is maximal if and only if for (x, f) H × H, 〈x-y, f-g〉 ≥ 0 for all (y, g) G(T) implies f Tx. Let A : CH be a monotone and Lipschitz continuous mapping and let N C v be the normal cone to C at v C, i.e., N C = {w H : (v - u, w) ≥ 0, u C}. Define
$Tv=\left\{\begin{array}{cc}\hfill Av+{N}_{C}v,\hfill & \hfill if\phantom{\rule{2.77695pt}{0ex}}v\in C,\hfill \\ \hfill \varnothing ,\hfill & \hfill if\phantom{\rule{2.77695pt}{0ex}}v\notin C,\hfill \end{array}\right\$

It is known that in this case T is maximal monotone, and 0 Tv if and only if v Ω, see [18].

## 3 Results and proofs

Theorem 3.1. Let C be a nonempty closed convex subset of a real Hilbert space H. Let A : CH be a monotone, L-Lipschitz continuous mapping and let S : CC be a uniformly continuous asymptotically κ-strict pseudocontractive mapping in the intermediate sense with sequence {γ n } such that F(S) ∩ Ω is nonempty. Let {x n }, {y n }, and {z n } be the sequences generated by the following algorithm with variable coefficients
$\left\{\begin{array}{c}\hfill {x}_{1}\in C\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}chosen\phantom{\rule{2.77695pt}{0ex}}arbitrary,\hfill \\ \hfill {y}_{n}={P}_{C}\left({x}_{n}-{\lambda }_{n}A{x}_{n}\right),\hfill \\ \hfill {t}_{n}={P}_{C}\left({x}_{n}-{\lambda }_{n}A{y}_{n}\right),\hfill \\ \hfill {z}_{n}=\left(1-{\alpha }_{n}-{\stackrel{^}{\beta }}_{n}\right){x}_{n}+{\alpha }_{n}{t}_{n}+{\stackrel{^}{\beta }}_{n}{S}^{n}{t}_{n},\hfill \\ \hfill {C}_{0}=C,\hfill \\ \hfill {C}_{n}=\left\{z\in {C}_{n-1}:{∥{z}_{n}-z∥}^{2}\le {∥{x}_{n}-z∥}^{2}-\left({\alpha }_{n}-\kappa \right){\stackrel{^}{\beta }}_{n}{∥{t}_{n}-{S}^{n}{t}_{n}∥}^{2}+{\theta }_{n}\right\},\hfill \\ \hfill {x}_{n+1}={P}_{{C}_{n}}{x}_{1},\hfill \end{array}\right\$
(3.1)

for every n , where ${\stackrel{^}{\beta }}_{n}=\frac{{\beta }_{n}}{1+{∥{x}_{n}-{x}_{1}∥}^{2}},\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}{\theta }_{n}={\beta }_{n}\left(2{\gamma }_{n}\left(1+{r}_{0}^{2}\right)+{c}_{n}\right),\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\left\{{\alpha }_{n}\right\}\subset \left(a,1\right),\left\{{\beta }_{n}\right\}\subset \left(b,1-a\right)$ and {λ n } (b/L, (1 - a)/L) for some a (κ, 1) and some b (0, 1 - a), and c n is as in (1.5), the positive real number r0 is chosen so that ${B}_{{r}_{0}}\left({x}_{1}\right)\cap F\left(S\right)\cap \Omega \ne \varnothing$. Then the sequences {x n }, {y n }, and {z n } converge strongly to a point of F(S) ∩ Ω.

Proof. We divide the proof into seven steps.

Step 1. We claim C n is nonempty, convex, and closed for each n .

Indeed, by the assumption, C0, i.e., C is nonempty, convex, and closed. From the definition of C n and Lemma 2.3, it is easy to see that C n is convex and closed for each n . We, therefore, only need to prove that C n is nonempty for each n .

Indeed, let $p\in {B}_{{r}_{0}}\left({x}_{1}\right)\cap F\left(S\right)\cap \Omega$ be a arbitrary element. Putting x = x n - λ n Ay n and y = p in (2.2), we have
$\begin{array}{ll}\hfill {∥{t}_{n}-p∥}^{2}& \le {∥{x}_{n}-{\lambda }_{n}A{y}_{n}-p∥}^{2}-{∥{x}_{n}-{\lambda }_{n}A{y}_{n}-{t}_{n}∥}^{2}\phantom{\rule{2em}{0ex}}\\ ={∥{x}_{n}-p∥}^{2}-{∥{x}_{n}-{t}_{n}∥}^{2}+2{\lambda }_{n}〈A{y}_{n},p-{t}_{n}〉\phantom{\rule{2em}{0ex}}\\ ={∥{x}_{n}-p∥}^{2}-{∥{x}_{n}-{t}_{n}∥}^{2}+2{\lambda }_{n}\left(〈A{y}_{n}-Ap,p-{y}_{n}〉+〈Ap,p-{y}_{n}〉\right)\phantom{\rule{2em}{0ex}}\\ \phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}+2{\lambda }_{n}〈A{y}_{n},{y}_{n}-{t}_{n}〉\phantom{\rule{2em}{0ex}}\end{array}$
(3.2)
Since A : CH is a monotone mapping and p Ω = VI(C, A), further, we have
$\begin{array}{ll}\hfill {∥{t}_{n}-p∥}^{2}& \le {∥{x}_{n}-p∥}^{2}-{∥{x}_{n}-{t}_{n}∥}^{2}+2{\lambda }_{n}〈A{y}_{n},{y}_{n}-{t}_{n}〉\phantom{\rule{2em}{0ex}}\\ ={∥{x}_{n}-p∥}^{2}-{∥{x}_{n}-{y}_{n}∥}^{2}-2〈{x}_{n}-{y}_{n},{y}_{n}-{t}_{n}〉-{∥{y}_{n}-{t}_{n}∥}^{2}+2{\lambda }_{n}〈A{y}_{n},{y}_{n}-{t}_{n}〉\phantom{\rule{2em}{0ex}}\\ ={∥{x}_{n}-p∥}^{2}-{∥{x}_{n}-{y}_{n}∥}^{2}-{∥{y}_{n}-{t}_{n}∥}^{2}+2〈{x}_{n}-{\lambda }_{n}A{y}_{n}-{y}_{n},{t}_{n}-{y}_{n}〉\phantom{\rule{2em}{0ex}}\end{array}$
(3.3)
Since y n = P C (x n - λ n Ax n ) and A is L-Lipschitz continuous, we have
$\begin{array}{l}\phantom{\rule{1em}{0ex}}〈{x}_{n}-{\lambda }_{n}A{y}_{n}-{y}_{n},{t}_{n}-{y}_{n}〉\phantom{\rule{2em}{0ex}}\\ =〈{x}_{n}-{\lambda }_{n}A{x}_{n}-{y}_{n},{t}_{n}-{y}_{n}〉+{\lambda }_{n}〈A{x}_{n}-A{y}_{n},{t}_{n}-{y}_{n}〉\phantom{\rule{2em}{0ex}}\\ \le {\lambda }_{n}〈A{x}_{n}-A{y}_{n},{t}_{n}-{y}_{n}〉\phantom{\rule{2em}{0ex}}\\ \le {\lambda }_{n}L∥{x}_{n}-{y}_{n}∥∥{t}_{n}-{y}_{n}∥.\phantom{\rule{2em}{0ex}}\end{array}$
(3.4)
So, it follows from (3.2), (3.3) and {λ n } (b/L, (1 - a)/L), we obtain
$\begin{array}{ll}\hfill {∥{t}_{n}-p∥}^{2}& \le {∥{x}_{n}-p∥}^{2}-{∥{x}_{n}-{y}_{n}∥}^{2}-{∥{y}_{n}-{t}_{n}∥}^{2}+2{\lambda }_{n}L∥{x}_{n}-{y}_{n}∥∥{t}_{n}-{y}_{n}∥\phantom{\rule{2em}{0ex}}\\ \le {∥{x}_{n}-p∥}^{2}-{∥{x}_{n}-{y}_{n}∥}^{2}-{∥{y}_{n}-{t}_{n}∥}^{2}+{\lambda }_{n}^{2}{L}^{2}{∥{x}_{n}-{y}_{n}∥}^{2}+{∥{t}_{n}-{y}_{n}∥}^{2}\phantom{\rule{2em}{0ex}}\\ ={∥{x}_{n}-p∥}^{2}+\left({\lambda }_{n}^{2}{L}^{2}-1\right){∥{x}_{n}-{y}_{n}∥}^{2}\phantom{\rule{2em}{0ex}}\\ \le {∥{x}_{n}-p∥}^{2}.\phantom{\rule{2em}{0ex}}\end{array}$
(3.5)
Since S : CC be an asymptotically κ-strict pseudocontractive mapping in the intermediate sense with sequences {γ n }, by the definition, we have
${∥{S}^{n}{t}_{n}-p∥}^{2}\le \left(1+{\gamma }_{n}\right){∥{t}_{n}-p∥}^{2}+\kappa {∥{t}_{n}-{S}^{n}{t}_{n}∥}^{2}+{c}_{n},\forall x,y\in C,$
(3.6)
where c n [0, ∞) with c n → 0 as n → ∞. So, from ${z}_{n}=\left(1-{\alpha }_{n}-{\stackrel{^}{\beta }}_{n}\right){x}_{n}+{\alpha }_{n}{t}_{n}+{\stackrel{^}{\beta }}_{n}{S}^{n}{t}_{n}$, (3.5), (3.6) and Lemma 2.4, we deduce that
$\begin{array}{ll}\hfill {∥{z}_{n}-p∥}^{2}& ={∥\left(1-{\alpha }_{n}-{\stackrel{^}{\beta }}_{n}\right)\left({x}_{n}-p\right)+{\alpha }_{n}\left({t}_{n}-p\right)+{\stackrel{^}{\beta }}_{n}\left({S}^{n}{t}_{n}-p\right)∥}^{2}\phantom{\rule{2em}{0ex}}\\ \le \left(1-{\alpha }_{n}-{\stackrel{^}{\beta }}_{n}\right){∥{x}_{n}-p∥}^{2}+{\alpha }_{n}{∥{t}_{n}-p∥}^{2}+{\stackrel{^}{\beta }}_{n}{∥{S}^{n}{t}_{n}-p∥}^{2}\phantom{\rule{2em}{0ex}}\\ \phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}-{\alpha }_{n}{\stackrel{^}{\beta }}_{n}{∥{t}_{n}-{S}^{n}{t}_{n}∥}^{2}\phantom{\rule{2em}{0ex}}\\ \le \left(1-{\alpha }_{n}-{\stackrel{^}{\beta }}_{n}\right){∥{x}_{n}-p∥}^{2}+{\alpha }_{n}{∥{t}_{n}-p∥}^{2}\phantom{\rule{2em}{0ex}}\\ \phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}+{\stackrel{^}{\beta }}_{n}\left(\left(1+{\gamma }_{n}\right){∥{t}_{n}-p∥}^{2}+\kappa {∥{t}_{n}-{S}^{n}{t}_{n}∥}^{2}+{c}_{n}\right)-{\alpha }_{n}{\stackrel{^}{\beta }}_{n}{∥{t}_{n}-{S}^{n}{t}_{n}∥}^{2}\phantom{\rule{2em}{0ex}}\\ =\left(1-{\alpha }_{n}-{\stackrel{^}{\beta }}_{n}\right){∥{x}_{n}-p∥}^{2}+\left({\alpha }_{n}+{\stackrel{^}{\beta }}_{n}\right){∥{t}_{n}-p∥}^{2}\phantom{\rule{2em}{0ex}}\\ \phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}+{\stackrel{^}{\beta }}_{n}\left({\gamma }_{n}{∥{t}_{n}-p∥}^{2}+{c}_{n}\right)-\left({\alpha }_{n}-\kappa \right){\stackrel{^}{\beta }}_{n}{∥{t}_{n}-{S}^{n}{t}_{n}∥}^{2}\phantom{\rule{2em}{0ex}}\\ \le \left(1-{\alpha }_{n}-{\stackrel{^}{\beta }}_{n}\right){∥{x}_{n}-p∥}^{2}+\left({\alpha }_{n}+{\stackrel{^}{\beta }}_{n}\right){∥{x}_{n}-p∥}^{2}\phantom{\rule{2em}{0ex}}\\ \phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}-\left({\alpha }_{n}-\kappa \right){\stackrel{^}{\beta }}_{n}{∥{t}_{n}-{S}^{n}{t}_{n}∥}^{2}+{\beta }_{n}\left({\gamma }_{n}{∥{x}_{n}-p∥}^{2}+{c}_{n}\right)\phantom{\rule{2em}{0ex}}\\ ={∥{x}_{n}-p∥}^{2}-\left({\alpha }_{n}-\kappa \right){\stackrel{^}{\beta }}_{n}{∥{t}_{n}-{S}^{n}{t}_{n}∥}^{2}+{\beta }_{n}\left({\gamma }_{n}{∥{x}_{n}-p∥}^{2}+{c}_{n}\right).\phantom{\rule{2em}{0ex}}\end{array}$
(3.7)
Further, it follows fron the definition of ${\stackrel{^}{\beta }}_{n}$ that
$\begin{array}{ll}\hfill {∥{z}_{n}-p∥}^{2}& \le {∥{x}_{n}-p∥}^{2}-\left({\alpha }_{n}-\kappa \right){\stackrel{^}{\beta }}_{n}{∥{t}_{n}-{S}^{n}{t}_{n}∥}^{2}\phantom{\rule{2em}{0ex}}\\ \phantom{\rule{1em}{0ex}}+{\beta }_{n}\left(\frac{2{\gamma }_{n}{∥{x}_{n}-{x}_{1}∥}^{2}+{∥p-{x}_{1}∥}^{2}+{c}_{n}}{1+{∥{x}_{n}-{x}_{1}∥}^{2}}\right)\phantom{\rule{2em}{0ex}}\\ \le {∥{x}_{n}-p∥}^{2}-\left({\alpha }_{n}-\kappa \right){\stackrel{^}{\beta }}_{n}{∥{t}_{n}-{S}^{n}{t}_{n}∥}^{2}+{\beta }_{n}\left(2{\gamma }_{n}\left(1+{r}_{0}^{2}\right)+{c}_{n}\right)\phantom{\rule{2em}{0ex}}\\ \le {∥{x}_{n}-p∥}^{2}-\left({\alpha }_{n}-\kappa \right){\stackrel{^}{\beta }}_{n}{∥{t}_{n}-{S}^{n}{t}_{n}∥}^{2}+{\theta }_{n},\phantom{\rule{2em}{0ex}}\end{array}$
(3.8)
where ${\theta }_{n}={\beta }_{n}\left(2{\gamma }_{n}\left(1+{r}_{0}^{2}\right)+{c}_{n}\right)$. Therefore, we have
${B}_{{r}_{0}}\left({x}_{1}\right)\cap F\left(S\right)\cap \Omega \subset {C}_{n},\phantom{\rule{2.77695pt}{0ex}}\forall n\in ℕ.$
(3.9)

Step 2. We claim that the sequence {x n } converges strongly to an element in C, say x*.

Since {C n } is a decreasing sequence of closed convex subset of H such that ${C}^{*}={\cap }_{n=0}^{\infty }{C}_{n}$ is a nonempty and closed convex subset of H, it follows from Lemma 2.6 that $\left\{{x}_{n+1}\right\}=\left\{{P}_{{C}_{n}}{x}_{1}\right\}$ converges strongly to P C* x1, say x*.

Step 3. We claim that limn→∞z n = x* and limn→∞t n - S n t n = 0.

Indeed, the definition of xn+1shows that xn+1 C n , i.e.,
${∥{z}_{n}-{x}_{n+1}∥}^{2}\le {∥{x}_{n}-{x}_{n+1}∥}^{2}-\left({\alpha }_{n}-\kappa \right){\stackrel{^}{\beta }}_{n}{∥{t}_{n}-{S}^{n}{t}_{n}∥}^{2}+{\theta }_{n}.$
(3.10)

Note that γ n → 0, c n → 0, x n x* as n → ∞ and α n > a > κ, n , we have θ n → 0, z n - xn+12 → 0, z n - x n 2 → 0 and z n x* as n → ∞.

Further, it follows from (3.10) that
$\left(a-\kappa \right)\frac{b}{1+{∥{x}_{n}-{x}_{1}∥}^{2}}{∥{t}_{n}-{S}^{n}{t}_{n}∥}^{2}\le {∥{x}_{n}-{x}_{n+1}∥}^{2}+{\theta }_{n}.$

Thus limn→∞t n - S n t n = 0.

Step 4. We claim that x* F(S).

Since ${z}_{n}=\left(1-{\alpha }_{n}-{\stackrel{^}{\beta }}_{n}\right){x}_{n}+{\alpha }_{n}{t}_{n}+{\stackrel{^}{\beta }}_{n}{S}^{n}{t}_{n}$, we have
${z}_{n}-{x}_{n}=\left({\alpha }_{n}+{\stackrel{^}{\beta }}_{n}\right)\left({t}_{n}-{x}_{n}\right)+{\stackrel{^}{\beta }}_{n}\left({S}^{n}{t}_{n}-{t}_{n}\right)$
Considering $0, by Step 3 we have
${t}_{n}-{x}_{n}\to 0,\phantom{\rule{1em}{0ex}}{t}_{n}\to {x}^{*},\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}as\phantom{\rule{2.77695pt}{0ex}}n\to \infty .$
(3.11)
From (3.11), Lemma 2.5 and Step 3, we have
$∥{S}^{n}{x}^{*}-{x}^{*}∥\le ∥{S}^{n}{x}^{*}-{S}^{n}{t}_{n}∥+∥{S}^{n}{t}_{n}-{t}_{n}∥+∥{t}_{n}-{x}^{*}∥\to 0,\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}as\phantom{\rule{2.77695pt}{0ex}}n\to \infty .$
(3.12)
Since S : CC is uniformly continuous, by (3.12) we have
${S}^{n+1}{x}^{*}=S\left({S}^{n}{x}^{*}\right)\to S{x}^{*},\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}as\phantom{\rule{2.77695pt}{0ex}}n\to \infty .$

Hence, Sx* = x*, i.e., x* F(S).

Step 5. We claim that t n - y n → 0, y n x*, as n → ∞.

By (3.5), for $p\in {B}_{{r}_{0}}\left({x}_{1}\right)\cap F\left(S\right)\cap \Omega$, we have
${∥{t}_{n}-p∥}^{2}\le {∥{x}_{n}-p∥}^{2}+\left({\lambda }_{n}^{2}{L}^{2}-1\right){∥{x}_{n}-{y}_{n}∥}^{2}$
Therefore, we have
$\begin{array}{ll}\hfill \left(1-{\lambda }_{n}^{2}{L}^{2}\right){∥{x}_{n}-{y}_{n}∥}^{2}& \le {∥{x}_{n}-p∥}^{2}-{∥{t}_{n}-p∥}^{2}\phantom{\rule{2em}{0ex}}\\ \le \left(∥{x}_{n}-p∥+∥{t}_{n}-p∥\right)\left(∥{x}_{n}-p∥-∥{t}_{n}-p∥\right)\phantom{\rule{2em}{0ex}}\\ \le \left(∥{x}_{n}-p∥+∥{t}_{n}-p∥\right)\left(∥{x}_{n}-{t}_{n}∥\right).\phantom{\rule{2em}{0ex}}\end{array}$

This together with (3.11) and $0<1-{\left(1-a\right)}^{2}<1-{\lambda }_{n}^{2}{L}^{2}$ implies that x n - y n → 0, t n - y n → 0 and y n x*, as n → ∞.

Step 6. We claim that x* Ω.

Indeed, let
$Tv=\left\{\begin{array}{cc}\hfill Av+{N}_{C}v,\hfill & \hfill if\phantom{\rule{2.77695pt}{0ex}}v\in C,\hfill \\ \hfill \varnothing ,\hfill & \hfill if\phantom{\rule{2.77695pt}{0ex}}v\notin C,\hfill \end{array}\right\$

where N C v be the normal cone to C at v C. We have already mentioned in Section 2 that in this case T is maximal monotone, and 0 Tv if and only if v Ω, see [18].

Let (v, w) G(T), the graph of T. Then, we have w Tv = Av + N c v and hence w - Av N C v. So, we have
$〈v-t,w-Av〉\ge 0,\phantom{\rule{2.77695pt}{0ex}}\forall t\in C.$
(3.13)
Noticing t n = P C (x n - λ n Ay n ) and v C, by (2.1) we have
$〈{x}_{n}-{\lambda }_{n}A{y}_{n}-{t}_{n},{t}_{n}-v〉\ge 0,$
and hence
$〈v-{t}_{n},\frac{{t}_{n}-{x}_{n}}{{\lambda }_{n}}+A{y}_{n}〉\ge 0.$
(3.14)
From (3.13), (3.14) and t n C, we have
$\begin{array}{ll}\hfill 〈v-{t}_{n},w〉& \ge 〈v-{t}_{n},Av〉\phantom{\rule{2em}{0ex}}\\ \ge 〈v-{t}_{n},Av〉-〈v-{t}_{n},\frac{{t}_{n}-{x}_{n}}{{\lambda }_{n}}+A{y}_{n}〉\phantom{\rule{2em}{0ex}}\\ \ge 〈v-{t}_{n},Av-A{t}_{n}〉+〈v-{t}_{n},A{t}_{n}-A{y}_{n}〉-〈v-{t}_{n},\frac{{t}_{n}-{x}_{n}}{{\lambda }_{n}}〉\phantom{\rule{2em}{0ex}}\end{array}$
(3.15)

Letting n → ∞ in (3.15), considering A : CH be a monotone, L-Lipschitz continuous mapping and {λ n } (b/L, (1-a)/L), we have 〈v-x*, w〉 ≥ 0. Since T is maxmal monotone, we have 0 Tx* and hence x* Ω = VI(C, A).

Step 7. We claim that the sequences {x n }, {y n }, and {z n } converge strongly to x* F(S)∩Ω

From Step 4 and Step 6, we have x* F(S) ∩ Ω. Therefore, it follows from Step 2, Step 3, and Step 5 that the sequences {x n }, {y n }, and {z n } converge strongly to x* F(S) ∩ Ω. This completes the proof.

Remark 3.2. Theorem 3.1 improves and extends Theorems C and D since
1. (1)

the nonexpansive mapping S in Theorem C is extended to be an asymptotically κ-strict pseudocontractive mapping in the intermediate sense.

2. (2)

the convergence condition that $\underset{n\to \infty }{\text{lim}\text{inf}}〈A{x}_{n},y-{x}_{n}〉\ge 0$ for all y C in Theorem D is removed.

3. (3)

the boundedness assumptions that the intersection F(S) ∩ Ω and the sequence {Δ n } are both bounded in Theorem D are dispensed with.

4. (4)

the requirement (I - A)(C) C in Theorem D is dropped off.

Corollary 3.3. Let C be a nonempty closed convex subset of a real Hilbert space H. Let S : CC be a uniformly continuous asymptotically κ-strict pseudocontractive mapping in the intermediate sense with sequence {γ n } such that F(S) is nonempty. Let {x n } and {z n } be the sequences generated by the following algorithm with variable coefficients
$\left\{\begin{array}{c}\hfill {x}_{1}\in C\phantom{\rule{1em}{0ex}}chosen\phantom{\rule{2.77695pt}{0ex}}arbitrary,\hfill \\ \hfill {z}_{n}=\left(1-{\alpha }_{n}-{\stackrel{^}{\beta }}_{n}\right){x}_{n}+{\alpha }_{n}{x}_{n}+{\stackrel{^}{\beta }}_{n}{S}^{n}{x}_{n},\hfill \\ \hfill {C}_{0}=C,\hfill \\ \hfill {C}_{n}=\left\{z\in {C}_{n-1}:{∥{z}_{n}-z∥}^{2}\le {∥{x}_{n}-z∥}^{2}-\left({\alpha }_{n}-\kappa \right){\stackrel{^}{\beta }}_{n}{∥{x}_{n}-{S}^{n}{x}_{n}∥}^{2}+{\theta }_{n}\right\},\hfill \\ \hfill {x}_{n+1}={P}_{{C}_{n}}{x}_{1},\hfill \end{array}\right\$

for every n , where ${\stackrel{^}{\beta }}_{n}=\frac{{\beta }_{n}}{1+{∥{x}_{n}-{x}_{1}∥}^{2}},\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}{\theta }_{n}={\beta }_{n}\left(2{\gamma }_{n}\left(1+{r}_{0}^{2}\right)+{c}_{n}\right),\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\left\{{\alpha }_{n}\right\}\subset \left(a,1\right),\left\{{\beta }_{n}\right\}\subset \left(b,1-a\right)$, and {λ n } (b, 1 - a) for some a (κ, 1) and some b (0, 1 - a), and c n is as in (1.5), the positive real number r0 is chosen so that ${B}_{{r}_{0}}\left({x}_{1}\right)\cap F\left(S\right)\ne \varnothing$. Then the sequences {x n } and {z n } converge strongly to a point of F(S).

Remark 3.4. Corollary 3.3 improves and extends [[4], Theorem 4.1] and Theorem D since the boundedness assumptions that the F(S) and the sequence {Δ n } are both bounded in [[4], Theorem 4.1] and Theorem D are dispensed with.

Recall that a mapping T : CC is called pseudocontractive [19, 20] if
$〈Tx-Ty,x-y〉\le {∥x-y∥}^{2},\phantom{\rule{2.77695pt}{0ex}}\forall x,y\in C.$
(3.16)
In fact, we see that (3.16) is equivalent to
${∥Tx-Ty∥}^{2}\le {∥x-y∥}^{2}+{∥\left(I-T\right)x-\left(I-T\right)y∥}^{2},\phantom{\rule{1em}{0ex}}\forall x,y\in C.$
Corollary 3.5. Let C be a nonempty closed convex subset of a real Hilbert space H. Let T : CC be a pseudocontractive, m-Lipschitz continuous mapping and let S : CC be a uniformly continuous asymptotically κ-strict pseudocontractive mapping in the intermediate sense with sequence {γ n } such that F(S) ∩ F(T) is nonempty. Let {x n }, {y n }, and {z n } be the sequences generated by the following algorithm with variable coefficients
$\left\{\begin{array}{c}\hfill {x}_{1}\in C\phantom{\rule{1em}{0ex}}chosen\phantom{\rule{2.77695pt}{0ex}}arbitrary,\hfill \\ \hfill {y}_{n}=\left(1-{\lambda }_{n}\right){x}_{n}+{\lambda }_{n}T{x}_{n},\hfill \\ \hfill {t}_{n}={P}_{C}\left({x}_{n}-{\lambda }_{n}{y}_{n}+{\lambda }_{n}T{y}_{n}\right),\hfill \\ \hfill {z}_{n}=\left(1-{\alpha }_{n}-{\stackrel{^}{\beta }}_{n}\right){x}_{n}+{\alpha }_{n}{t}_{n}+{\stackrel{^}{\beta }}_{n}{S}^{n}{t}_{n},\hfill \\ \hfill {C}_{0}=C,\hfill \\ \hfill {C}_{n}=\left\{z\in {C}_{n-1}:{∥{z}_{n}-z∥}^{2}\le {∥{x}_{n}-z∥}^{2}-\left({\alpha }_{n}-\kappa \right){\stackrel{^}{\beta }}_{n}{∥{t}_{n}-{S}^{n}{t}_{n}∥}^{2}+{\theta }_{n}\right\},\hfill \\ \hfill {x}_{n+1}={P}_{{C}_{n}}{x}_{1},\hfill \end{array}\right\$
(3.17)

for every n , where ${\stackrel{^}{\beta }}_{n}=\frac{{\beta }_{n}}{1+{∥{x}_{n}-{x}_{1}∥}^{2}},\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}{\theta }_{n}={\beta }_{n}\left(2{\gamma }_{n}\left(1+{r}_{0}^{2}\right)+{c}_{n}\right),\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\left\{{\alpha }_{n}\right\}\subset \left(a,1\right),\left\{{\beta }_{n}\right\}\subset \left(b,1-a\right)$, and {λ n } (b/L, (1 - a)/L) for some a (κ, 1) and some b (0, 1 - a), and c n is as in (1.5), the positive real number r0 is chosen so that ${B}_{{r}_{0}}\left({x}_{1}\right)\cap F\left(S\right)\cap F\left(T\right)\ne \varnothing$. Then the sequences {x n }, {y n }, and {z n } converge strongly to a point of F(S) ∩ F(T).

Proof. The following proof of this corollary is similar to that of [[10], Theorem 4.5].

Let A = I - T. It is easy to see that y n = P C (x n - λ n Ax n ) = (1 - λ n )x n +λ n Tx n . Now let us show that the mapping A is monotone and (m + 1)-Lipschitz continuous. Indeed, observe that
$〈Ax-Ay,x-y〉={∥x-y∥}^{2}-〈Tx-Ty,x-y〉\ge 0.$
and
$∥Ax-Ay∥=∥x-y-\left(Tx-Ty\right)∥\le \left(m+1\right)∥x-y∥.$
Next, let us show that F(T) = Ω = VI(C, A). Indeed, we have, for fixed λ0 (0, 1),
$Tu=u\phantom{\rule{1em}{0ex}}⇔\phantom{\rule{1em}{0ex}}Au=0\phantom{\rule{1em}{0ex}}⇔\phantom{\rule{1em}{0ex}}u=u-{\lambda }_{0}Au={P}_{C}\left(u-{\lambda }_{0}Au\right)\phantom{\rule{1em}{0ex}}⇔\phantom{\rule{1em}{0ex}}〈Au,y-u〉\ge 0,\forall y\in C.$

By Theorem 3.1, we obtain the desired conclusion. This completes the proof. □

Remark 3.6. Theorem 3.5 improves and extends [[10], Theorem 4.5] since
1. (1)

the convergence condition that $\underset{n\to \infty }{\text{lim}\text{inf}}〈A{x}_{n},y-{x}_{n}〉\ge 0$ for all y C in [[10], Theorem 4.5] is removed.

2. (2)

the boundedness assumptions that the intersection F(S) ∩ F(T) and the sequence {Δ n } are both bounded in [[10], Theorem 4.5] are dispensed with.

By the careful analysis of the proof of Theorem 3.1, we can obtain the following result.

Theorem 3.7. Let C be a nonempty closed convex subset of a real Hilbert space H. Let A : CH be a monotone, L-Lipschitz continuous mapping and let S : CC be a uniformly continuous asymptotically κ-strict pseudocontractive mapping in the intermediate sense with sequence {γ n } such that F(S) ∩ Ω is nonempty and bounded. Let {x n }, {y n }, and {z n } be the sequences generated by the following algorithm
$\left\{\begin{array}{c}\hfill {x}_{1}\in C\phantom{\rule{1em}{0ex}}chosen\phantom{\rule{2.77695pt}{0ex}}arbitrary,\hfill \\ \hfill {y}_{n}={P}_{C}\left({x}_{n}-{\lambda }_{n}A{x}_{n}\right),\hfill \\ \hfill {t}_{n}={P}_{C}\left({x}_{n}-{\lambda }_{n}A{y}_{n}\right),\hfill \\ \hfill {z}_{n}=\left(1-{\alpha }_{n}-{\beta }_{n}\right){x}_{n}+{\alpha }_{n}{t}_{n}+{\beta }_{n}{S}^{n}{t}_{n},\hfill \\ \hfill {C}_{0}=C\hfill \\ \hfill {C}_{n}=\left\{z\in {C}_{n-1}:{∥{z}_{n}-z∥}^{2}\le {∥{x}_{n}-z∥}^{2}-\left({\alpha }_{n}-\kappa \right){\beta }_{n}{∥{t}_{n}-{S}^{n}{t}_{n}∥}^{2}+{\theta }_{n}\right\},\hfill \\ \hfill {x}_{n+1}={P}_{{C}_{n}}{x}_{1},\hfill \end{array}\right\$

for every n , where ${\theta }_{n}={\beta }_{n}\left({\gamma }_{n}{\Delta }_{n}+{c}_{n}\right),\phantom{\rule{2.77695pt}{0ex}}{\Delta }_{n}=\underset{p\in F\left(S\right)\cap \Omega }{\text{sup}}{∥{x}_{n}-p∥}^{2},\left\{{\alpha }_{n}\right\}\subset \left(a,1\right),\left\{{\beta }_{n}\right\}\subset \left(b,1-a\right)$ and {λ n } (b/L, (1 - a)/L) for some a (κ, 1) and some b (0, 1 - a), and c n is as in (1.5). Then the sequences {x n }, {y n } and {z n } converge strongly to a point of F(S) ∩ Ω.

Proof. Following the reasoning in the proof of Theorem 3.1, from (3.7), we take θ n = β n (γ n Δ n + c n ) and use F(S) ∩ Ω instead of ${B}_{{r}_{0}}\left({x}_{1}\right)\cap F\left(S\right)\cap \Omega$ in Step 1. From Step 2, we have the sequence {Δ n } is bounded, and hence θ n = β n (γ n Δ n + c n ) → 0 as n → ∞. The remainder of the proof of Theorem 3.7 is similar to Theorem 3.1. The conclusion therefore follows. This completes the proof.

Theorem 3.8. Let C be a nonempty closed convex subset of a real Hilbert space H. Let A : CH be a monotone, L-Lipschitz continuous mapping and let S : CC be a uniformly continuous asymptotically nonexpansive mapping in the intermediate sense such that F(S) ∩ Ω is nonempty. Let {x n }, {y n }, and {z n } be the sequences generated by the following algorithm
$\left\{\begin{array}{c}\hfill {x}_{1}\in C\phantom{\rule{1em}{0ex}}chosen\phantom{\rule{2.77695pt}{0ex}}arbitrary,\hfill \\ \hfill {y}_{n}={P}_{C}\left({x}_{n}-{\lambda }_{n}A{x}_{n}\right),\hfill \\ \hfill {t}_{n}={P}_{C}\left({x}_{n}-{\lambda }_{n}A{y}_{n}\right),\hfill \\ \hfill {z}_{n}=\left(1-{\alpha }_{n}-{\beta }_{n}\right){x}_{n}+{\alpha }_{n}{t}_{n}+{\beta }_{n}{S}^{n}{t}_{n},\hfill \\ \hfill {C}_{0}=C,\hfill \\ \hfill {C}_{n}=\left\{z\in {C}_{n-1}:{∥{z}_{n}-z∥}^{2}\le {∥{x}_{n}-z∥}^{2}-{\alpha }_{n}{\beta }_{n}{∥{t}_{n}-{S}^{n}{t}_{n}∥}^{2}+{\theta }_{n}\right\},\hfill \\ \hfill {x}_{n+1}={P}_{{C}_{n}}{x}_{1},\hfill \end{array}\right\$

for every n , where θ n = β n c n , {α n } (a, 1), {β n } (b, 1 - a), and {λ n } (b/L, (1 - a)/L) for some a (0, 1) and some b (0, 1 - a), and c n is as in (1.2). Then the sequences {x n }, {y n }, and {z n } converge strongly to a point of F(S) ∩ Ω.

Proof. In Theorem 3.1, whenever S : CC is an asymptotically nonexpansive mapping in the intermediate sense, we have γ n = 0, κ = 0 for all n . From (3.7), we have
${∥{z}_{n}-p∥}^{2}\le {∥{x}_{n}-p∥}^{2}-\left({\alpha }_{n}-\kappa \right){\beta }_{n}{∥{t}_{n}-{S}^{n}{t}_{n}∥}^{2}+{\theta }_{n},$
where θ n = β n c n . Thus, we have
$F\left(S\right)\cap \Omega \subset {C}_{n},\phantom{\rule{2.77695pt}{0ex}}\forall n\in ℕ,$

and hence, the result of Step 1 holds.

Next, following the reasoning in the proof of Theorem 3.1 and using F(S) ∩ Ω instead of ${B}_{{r}_{0}}\left({x}_{1}\right)\cap F\left(S\right)\cap \Omega$, we deduce the conclusion of Theorem 3.8. □

Remark 3.9. Theorem 3.8 improves and extends Theorem C since the nonexpansive mapping S in Theorem C is extended to be an asymptotically nonexpansive mapping in the intermediate sense.

## Declarations

### Acknowledgements

The study was supported partly by the Natural Science Foundation of Anhui Province (11040606M01), the Natural Science Foundation of Anhui Educational Committee (KJ2011Z057), and the Specialized Research Fund 2010 for the Doctoral Program of Anhui University of Architecture.

## Authors’ Affiliations

(1)
Department of Mathematics and Physics, Anhui University of Architecture, Anhui, People's Republic of China

## References

1. Goebel K, Kirk WA: A fixed point theorem for asymptotically nonexpansive mappings. Proc Am Math Soc 1972, 35(1):171–174. 10.1090/S0002-9939-1972-0298500-3
2. Bruck RE, Kuczumow T, Reich S: Convergence of iterates of asymptotically nonexpansive mappings in Banach spaces with the uniform Opial property. Colloq Math 1993, 65(2):169–179.
3. Liu QH: Convergence theorems of the sequence of iterates for asymptotically demicontractive and hemicontractive mappings. Nolinear Anal TMA 1996, 26(11):1835–1842. 10.1016/0362-546X(94)00351-H
4. Sahu DR, Xu HK, Yao JC: Asymptotically strict pseudocontractive mappings in the intermediate sense. Nonlinear Anal TMA 2009, 70(10):3502–3511. 10.1016/j.na.2008.07.007
5. Korpelevich GM: An extragradient method for finding saddle points and for other problems. Ekonomika i Matematicheskie Metody 1976, 12: 747–756.
6. Takahashi W, Toyoda M: Weak convergence theorems for nonexpansive mappings and monotone mappings. J Optim Theory Appl 2003, 118(2):417–428. 10.1023/A:1025407607560
7. Nadezhkina N, Takahashi W: Weak convergence theorem by an extragradient method for nonexpansive mappings and monotone mappings. J Optim Theory Appl 2006, 128(1):191–201. 10.1007/s10957-005-7564-z
8. Zeng LC, Yao JC: Strong convergence theorem by an extragradient method for fixed point problems and variational inequality problems. Taiwan J Math 2006, 10(5):1293–1303.
9. Nadezhkina N, Takahashi W: Strong convergence theorem by a hybrid method for nonexpansive mapping and Lipschitz-continuous monotone mappings. SIAM J Optim 2006, 16(4):1230–1241. 10.1137/050624315
10. Ceng LC, Yao JC: Strong convergence theorems for variational inequalities and fixed point problems of asymptotically strict pseudocontractive mappings in the intermediate sense. Acta Appl Math 2011, 115(2):167–191. 10.1007/s10440-011-9614-x
11. Buong N: Strong convergence theorem of an iterative method for variational inequalities and fixed point problems in Hilbert spaces. Appl Math Comput 2010, 217(1):322–329. 10.1016/j.amc.2010.05.064
12. Ceng LC, Petrusel A, Lee C, Wong MM: Two extragradient approximation methods for variational inequalities and fixed point problems of strict pseudo-contractions. Taiwan J Math 2009, 13(2A):607–632.
13. Ge CS, Liang J, Xiao TJ: Iterative algorithms with variable coefficients for asymptotically strict pseudocontractions. Fixed Point Theory Appl 2010, 2010: 8. Article ID 948529
14. Marino G, Xu HK: Weak and strong convergence theorems for strict pseudocontractions in Hilbert spaces. J Math Anal Appl 2007, 329(1):336–346. 10.1016/j.jmaa.2006.06.055
15. Matinez-Yanes C, Xu HK: Strong convergence of the CQ method for fixed point processes. Nolinear Anal TMA 2006, 64(11):2400–2411. 10.1016/j.na.2005.08.018
16. Osilike MO, Igbokwe DI: Weak and strong convergence theorems for fixed points of pseudocontractions and solutions of monotone type operator equations. Comput Math Appl 2000, 40: 559–567. 10.1016/S0898-1221(00)00179-6
17. Ibaraki T, Kimura Y, Takahashi W: Convergence theorems for generalized projections and maximal monotone operators in Banach spaces. Abstr Appl Anal 2003, 2003(10):621–629. 10.1155/S1085337503207065
18. Rockafellar RT: On the maximality of sums of nonlinear monotone operators. Trans Am Math Soc 1970, 149(1):75–88. 10.1090/S0002-9947-1970-0282272-5
19. Takahashi W: Nonlinear Function Analysis. Yokohama Publishers, Yokohama; 2000.Google Scholar
20. Zhou HY: Convergence theorems of fixed points for Lipschitz Pseudo-contractions in Hilbert spaces. J Math Anal Appl 2008, 343(1):546–556. 10.1016/j.jmaa.2008.01.045