# An algorithm for a common fixed point of a family of pseudocontractive mappings

## Abstract

We introduce an iterative process which converges strongly to a common fixed point of a family of Lipschitzian pseudocontractive mappings. Our theorems improve and unify most of the results that have been proved for this important class of nonlinear operators.

MSC:47H09, 47J20, 65J15.

## 1 Introduction

Let C be a nonempty subset of a real Hilbert space H. A mapping $T:C\to H$ is called pseudocontractive if and only if

(1.1)

and T is called α-strictly pseudocontractive [1] if and only if there exists $\alpha \in \left[0,1\right)$ such that

(1.2)

T is called Lipschitzian if and only if

(1.3)

If in (1.3) we have $L\le 1$, then T is called nonexpansive. We note that inequalities (1.1) and (1.2) can be equivalently written as

(1.4)

and

$〈x-y,Tx-Ty〉\le {\parallel x-y\parallel }^{2}-\lambda {\parallel \left(I-T\right)x-\left(I-T\right)y\parallel }^{2},$
(1.5)

for some $\lambda >0$, respectively.

We observe from (1.1), (1.2) and (1.3) that every nonexpansive mapping is an α-strictly pseudocontractive mapping and every α-strictly pseudocontractive mapping is a pseudocontractive mapping, and hence a class of pseudocontractive mappings is a more general class of mappings.

Furthermore, pseudocontractive mappings are related with the important class of nonlinear monotone mappings, where a mapping A with domain $D\left(A\right)$ and range $R\left(A\right)$ in H is called monotone if the inequality

$〈x-y,Ax-Ay〉\ge 0,$
(1.6)

holds for every $x,y\in D\left(A\right)$. We note that T is pseudocontractive if and only if $A:=I-T$ is monotone, and hence a fixed point of T, $F\left(T\right):=\left\{x\in D\left(T\right):Tx=x\right\}$, is a zero of A, $N\left(A\right):=\left\{x\in D\left(A\right):Ax=0\right\}$. It is now well known (see, e.g., [2]) that if A is monotone, then the solutions of the equation $Ax=0$ correspond to the equilibrium points of some evolution systems.

Finding a point in the intersection of fixed point sets of a family of nonexpansive mappings is a task that occurs frequently in various areas of mathematical sciences and engineering. For example, the well-known convex feasibility problem reduces to finding a point in the intersection of fixed point sets of a family of nonexpansive mappings; see, e.g., [3, 4].

Consequently, considerable research efforts have been devoted to developing iterative methods for approximating a common fixed point (when it exists) for a family of nonexpansive mappings and α-strictly pseudocontractive mappings. Bauschke [5] was the first to introduce a Halpern-type iterative process (see, e.g., [6]) for approximating a common fixed point for a finite family of N nonexpansive self-mappings. He proved the following theorem.

Theorem BSK (Bauschke [5], Theorem 3.1)

Let K be a nonempty closed convex subset of a Hilbert space H, and let ${T}_{1},{T}_{2},\dots ,{T}_{N}$ be a finite family of nonexpansive mappings of K into itself with $F:={\bigcap }_{i=1}^{N}F\left({T}_{i}\right)\ne \mathrm{\varnothing }$ and $F=F\left({T}_{N}{T}_{N-1}\cdots {T}_{1}\right)=F\left({T}_{1}{T}_{N}\cdots {T}_{2}\right)=F\left({T}_{N-1}{T}_{N-2}\cdots {T}_{1}{T}_{N}\right)$. Given points $u,{x}_{0}\in C$, let $\left\{{x}_{n}\right\}$ be generated by

${x}_{n+1}:={\alpha }_{n+1}u+\left(1-{\alpha }_{n+1}\right){T}_{n+1}{x}_{n},\phantom{\rule{1em}{0ex}}n\ge 0,$
(1.7)

where ${T}_{n}:={T}_{n\left(modN\right)}$ and $\left\{{\alpha }_{n}\right\}\subset \left(0,1\right)$ satisfies ${\sum }_{n\ge 1}|{\alpha }_{n+r}-{\alpha }_{n}|<\mathrm{\infty }$. Then $\left\{{x}_{n}\right\}$ converges strongly to ${P}_{F}u$, where ${P}_{F}:H\to F$ is the metric projection.

Various authors have studied iterative schemes similar to that of Theorem BSK in more general Banach spaces on the one hand, and using various conditions on the sequence $\left\{{\alpha }_{n}\right\}$ on the other hand (see, for example, Colao et al. [7], Yao [8], Takahashi and Takahashi [9], Plubtieng and Punpaeng [10], Ceng et al. [11] and the references therein). Many authors have also studied iterative methods for a family of α-strictly pseudocontractive mappings (see, e.g., [1215] and the references therein).

Our concern now is the following: Can we construct an iterative sequence for a common fixed point of a finite family of pseudocontractive mappings?

In 2008, Zhou [16] studied weak convergence of an implicit scheme to a common fixed point of a finite family of pseudocontractive mappings in Banach spaces more general than Hilbert spaces. Let C be a closed convex subset of E, and let ${\left\{{T}_{i}\right\}}_{i=1}^{N}$ be a finite family of Lipschitzian pseudocontractive self-mappings of C subset of E which is a real uniformly convex Banach space with a Frêchet differentiable norm and $F:={\bigcap }_{i=1}^{N}F\left({T}_{i}\right)\ne \mathrm{\varnothing }$. Let $\left\{{x}_{n}\right\}$ be defined by

${x}_{n}={\alpha }_{n}{x}_{n-1}+\left(1-{\alpha }_{n}\right){T}_{n}{x}_{n},\phantom{\rule{1em}{0ex}}n\ge 1,$
(1.8)

where ${T}_{n}={T}_{n\left(modN\right)}$. He proved that $\left\{{x}_{n}\right\}$ converges weakly to a common fixed point of the family ${\left\{{T}_{i}\right\}}_{i=1}^{N}$ under certain conditions on the parameter $\left\{{\alpha }_{n}\right\}$.

We remark that the scheme in the theorem of Zhou [16] is implicit and the convergence is weak convergence.

Recently, Zegeye et al. [17] proved the following strong convergence of Ishikawa iterative process [18] for a common fixed point of a finite family of Lipschitz pseudocontractive mappings.

Theorem ZSA [17]

Let C be a nonempty, closed and convex subset of a real Hilbert space H. Let ${T}_{i}:C\to C$, $i=1,2,\dots ,N$, be a finite family of Lipschitz pseudocontractive mappings with Lipschitzian constants ${L}_{i}$, for $i=1,2,\dots ,N$, respectively. Assume that the interior of $F:={\bigcap }_{i=1}^{N}F\left({T}_{i}\right)$ is nonempty. Let $\left\{{x}_{n}\right\}$ be a sequence generated from an arbitrary ${x}_{0}\in E$ by

$\left\{\begin{array}{c}{y}_{n}=\left(1-{\beta }_{n}\right){x}_{n}+{\beta }_{n}{T}_{n}{x}_{n},\hfill \\ {x}_{n+1}=\left(1-{\alpha }_{n}\right){x}_{n}+{\alpha }_{n}{T}_{n}{y}_{n},\phantom{\rule{1em}{0ex}}n\ge 1,\hfill \end{array}$
(1.9)

where ${T}_{n}:={T}_{n\left(modN\right)}$ and $\left\{{\alpha }_{n}\right\},\left\{{\beta }_{n}\right\}\subset \left(0,1\right)$ satisfy certain appropriate conditions. Then $\left\{{x}_{n}\right\}$ converges strongly to a common fixed point of $\left\{{T}_{1},{T}_{2},\dots ,{T}_{N}\right\}$.

It is worth to mention that the assumption ‘interior of $F\left(T\right)$ is nonempty’ in Theorem ZSA is severe restriction.

More recently, Daman and Zegeye [19] proved the following strong convergence of a Halpern-type [6] iterative process for a common fixed point of a finite family of Lipschitz pseudocontractive mappings under the assumption that the family satisfies condition (H), that is, the family $\left\{{T}_{i}:i=1,2,\dots ,N\right\}$ of pseudocontractive mappings is said to satisfy condition (H) if and only if $〈{T}_{i}x-x,{T}_{j}x-x〉\ge 0$ for $i,j\in \left\{1,2,\dots ,N\right\}$. We can also see that condition (H) is again severe restriction.

It is our purpose in this paper to introduce an iterative scheme which converges strongly to a common fixed point of a family of Lipschitz pseudocontractive mappings. The assumption that interior of $F\left(T\right)$ is nonempty or condition (H) is dispensed with. The results obtained in this paper improve and extend the results of Zhou [20], Theorem ZSA, Daman and Zegeye [19] and some other results in this direction.

## 2 Preliminaries

In what follows we shall make use of the following lemmas.

Lemma 2.1 Let H be a real Hilbert space. Then, for any given $x,y\in E$, the following inequality holds:

${\parallel x+y\parallel }^{2}\le {\parallel x\parallel }^{2}+2〈y,x+y〉.$

Lemma 2.2 [21]

Let C be a convex subset of a real Hilbert space H. Let $x\in H$. Then ${x}_{0}={P}_{C}x$ if and only if

$〈z-{x}_{0},x-{x}_{0}〉\le 0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }z\in C.$

Lemma 2.3 [22]

Let $\left\{{a}_{n}\right\}$ be a sequence of nonnegative real numbers satisfying the following relation:

${a}_{n+1}\le \left(1-{\alpha }_{n}\right){a}_{n}+{\alpha }_{n}{\delta }_{n},\phantom{\rule{1em}{0ex}}n\ge {n}_{0},$

where $\left\{{\alpha }_{n}\right\}\subset \left(0,1\right)$ and $\left\{{\delta }_{n}\right\}\subset R$ satisfy the following conditions: ${lim}_{n\to \mathrm{\infty }}{\alpha }_{n}=0$, ${\sum }_{n=1}^{\mathrm{\infty }}{\alpha }_{n}=\mathrm{\infty }$, and ${lim sup}_{n\to \mathrm{\infty }}{\delta }_{n}\le 0$. Then ${lim}_{n\to \mathrm{\infty }}{a}_{n}=0$.

Lemma 2.4 [23]

Let H be a real Hilbert space, C be a closed convex subset of H and $T:C\to C$ be a continuous pseudocontractive mapping. Then

1. (i)

$F\left(T\right)$ is a closed convex subset of C;

2. (ii)

$\left(I-T\right)$ is demiclosed at zero, i.e., if $\left\{{x}_{n}\right\}$ is a sequence in C such that ${x}_{n}⇀x$ and $T{x}_{n}-{x}_{n}\to 0$, as $n\to \mathrm{\infty }$, then $x=T\left(x\right)$.

Lemma 2.5 [24]

Let $\left\{{a}_{n}\right\}$ be sequences of real numbers such that there exists a subsequence $\left\{{n}_{i}\right\}$ of $\left\{n\right\}$ such that ${a}_{{n}_{i}}<{a}_{{n}_{i}+1}$ for all $i\in N$. Then there exists a nondecreasing sequence $\left\{{m}_{k}\right\}\subset N$ such that ${m}_{k}\to \mathrm{\infty }$ and the following properties are satisfied by all (sufficiently large) numbers $k\in N$:

${a}_{{m}_{k}}\le {a}_{{m}_{k}+1}\phantom{\rule{1em}{0ex}}\mathit{\text{and}}\phantom{\rule{1em}{0ex}}{a}_{k}\le {a}_{{m}_{k}+1}.$

In fact, ${m}_{k}$ is the largest number n in the set $\left\{1,2,\dots ,k\right\}$ such that the condition ${a}_{n}\le {a}_{n+1}$ holds.

Lemma 2.6 [25]

Let H be a real Hilbert space. Then, for all ${x}_{i}\in H$ and ${\alpha }_{i}\in \left[0,1\right]$ for $i=1,2,\dots ,n$ such that ${\alpha }_{1}+{\alpha }_{2}+\cdots +{\alpha }_{n}=1$, the following equality holds:

${\parallel {\alpha }_{0}{x}_{0}+{\alpha }_{1}{x}_{1}+\cdots +{\alpha }_{n}{x}_{n}\parallel }^{2}=\sum _{i=0}^{n}{\alpha }_{i}{\parallel {x}_{i}\parallel }^{2}-\sum _{0\le i,j\le n}{\alpha }_{i}{\alpha }_{j}{\parallel {x}_{i}-{x}_{j}\parallel }^{2}.$

## 3 Main result

Theorem 3.1 Let C be a nonempty, closed and convex subset of a real Hilbert space H. Let ${T}_{1},{T}_{2}:C\to C$ be Lipschitz pseudocontractive mappings with Lipschitz constants ${L}_{1}$ and ${L}_{2}$, respectively. Assume that $\mathcal{F}=F\left({T}_{1}\right)\cap F\left({T}_{2}\right)$ is nonempty. Let a sequence $\left\{{x}_{n}\right\}$ be generated from an arbitrary ${x}_{0},u\in C$ by

$\left\{\begin{array}{c}{z}_{n}=\left(1-{c}_{n}\right){x}_{n}+{c}_{n}{T}_{2}{x}_{n};\hfill \\ {y}_{n}=\left(1-{\beta }_{n}\right){x}_{n}+{\beta }_{n}{T}_{1}{x}_{n};\hfill \\ {x}_{n+1}={\alpha }_{n}u+\left(1-{\alpha }_{n}\right)\left({\theta }_{n}{x}_{n}+{\delta }_{n}{T}_{1}{y}_{n}+{\gamma }_{n}{T}_{2}{z}_{n}\right),\phantom{\rule{1em}{0ex}}n\ge 0,\hfill \end{array}$
(3.1)

where $\left\{{\delta }_{n}\right\},\left\{{\theta }_{n}\right\},\left\{{\gamma }_{n}\right\}\subset \left(a,b\right)\subset \left(0,1\right)$, $\left\{{\alpha }_{n}\right\}\subset \left(0,c\right)\subset \left(0,1\right)$ satisfy the following conditions: (i) ${\theta }_{n}+{\delta }_{n}+{\gamma }_{n}=1$; (ii) ${lim}_{n\to \mathrm{\infty }}{\alpha }_{n}=0$, $\sum {\alpha }_{n}=\mathrm{\infty }$; (iii) ${\delta }_{n}+{\gamma }_{n}\le {c}_{n}$, ${\beta }_{n}\le \beta <\frac{1}{\sqrt{1+{L}^{2}}+1}$, $\mathrm{\forall }n\ge 1$, for $L:=max\left\{{L}_{1},{L}_{2}\right\}$. Then $\left\{{x}_{n}\right\}$ converges strongly to a common fixed point of ${T}_{1}$ and ${T}_{2}$ nearest to u.

Proof We make use of some ideas of the paper [19]. Let $p\in \mathcal{F}$. Then, from (3.1), (1.1) and Lemma 2.6, we have that

$\begin{array}{rcl}{\parallel {x}_{n+1}-p\parallel }^{2}& =& {\parallel {\alpha }_{n}u+\left(1-{\alpha }_{n}\right)\left({\theta }_{n}{x}_{n}+{\delta }_{n}{T}_{1}{y}_{n}+{\gamma }_{n}{T}_{2}{z}_{n}\right)-p\parallel }^{2}\\ \le & {\alpha }_{n}{\parallel u-p\parallel }^{2}+\left(1-{\alpha }_{n}\right){\parallel {\delta }_{n}\left({T}_{1}{y}_{n}-p\right)+{\theta }_{n}\left({x}_{n}-p\right)+{\gamma }_{n}\left({T}_{2}{z}_{n}-p\right)\parallel }^{2}\\ \le & {\alpha }_{n}{\parallel u-p\parallel }^{2}+\left(1-{\alpha }_{n}\right)\left[{\delta }_{n}{\parallel {T}_{1}{y}_{n}-p\parallel }^{2}+{\theta }_{n}{\parallel {x}_{n}-p\parallel }^{2}\\ +{\gamma }_{n}{\parallel {T}_{2}{z}_{n}-p\parallel }^{2}\right]-\left(1-{\alpha }_{n}\right){\delta }_{n}{\theta }_{n}{\parallel {T}_{1}{y}_{n}-{x}_{n}\parallel }^{2}\\ -\left(1-{\alpha }_{n}\right){\theta }_{n}{\gamma }_{n}{\parallel {T}_{2}{z}_{n}-{x}_{n}\parallel }^{2},\end{array}$

and hence

$\begin{array}{rcl}{\parallel {x}_{n+1}-p\parallel }^{2}& \le & {\alpha }_{n}{\parallel u-p\parallel }^{2}+\left(1-{\alpha }_{n}\right){\delta }_{n}\left[{\parallel {y}_{n}-p\parallel }^{2}+{\parallel {y}_{n}-{T}_{1}{y}_{n}\parallel }^{2}\right]\\ +\left(1-{\alpha }_{n}\right){\theta }_{n}{\parallel {x}_{n}-p\parallel }^{2}+\left(1-{\alpha }_{n}\right){\gamma }_{n}\left[{\parallel {z}_{n}-p\parallel }^{2}+{\parallel {z}_{n}-{T}_{2}{z}_{n}\parallel }^{2}\right]\\ -\left(1-{\alpha }_{n}\right){\delta }_{n}{\theta }_{n}{\parallel {T}_{1}{y}_{n}-{x}_{n}\parallel }^{2}-\left(1-{\alpha }_{n}\right){\theta }_{n}{\gamma }_{n}{\parallel {T}_{2}{z}_{n}-{x}_{n}\parallel }^{2}\\ \le & {\alpha }_{n}{\parallel u-p\parallel }^{2}+\left(1-{\alpha }_{n}\right){\delta }_{n}{\parallel {y}_{n}-p\parallel }^{2}+\left(1-{\alpha }_{n}\right){\delta }_{n}{\parallel {y}_{n}-{T}_{1}{y}_{n}\parallel }^{2}\\ +\left(1-{\alpha }_{n}\right){\theta }_{n}{\parallel {x}_{n}-p\parallel }^{2}+\left(1-{\alpha }_{n}\right){\gamma }_{n}{\parallel {z}_{n}-p\parallel }^{2}\\ +\left(1-{\alpha }_{n}\right){\gamma }_{n}{\parallel {z}_{n}-{T}_{2}{z}_{n}\parallel }^{2}-\left(1-{\alpha }_{n}\right){\delta }_{n}{\theta }_{n}{\parallel {T}_{1}{y}_{n}-{x}_{n}\parallel }^{2}\\ -\left(1-{\alpha }_{n}\right){\theta }_{n}{\gamma }_{n}{\parallel {T}_{2}{z}_{n}-{x}_{n}\parallel }^{2}.\end{array}$
(3.2)

In addition, from (3.1), Lemma 2.6 and (1.1), we get that

$\begin{array}{rcl}{\parallel {y}_{n}-p\parallel }^{2}& =& {\parallel \left(1-{\beta }_{n}\right)\left({x}_{n}-p\right)+{\beta }_{n}\left({T}_{1}{x}_{n}-p\right)\parallel }^{2}\\ =& \left(1-{\beta }_{n}\right){\parallel {x}_{n}-p\parallel }^{2}+{\beta }_{n}{\parallel {T}_{1}{x}_{n}-p\parallel }^{2}\\ -{\beta }_{n}\left(1-{\beta }_{n}\right){\parallel {x}_{n}-{T}_{1}{x}_{n}\parallel }^{2}\\ \le & \left(1-{\beta }_{n}\right){\parallel {x}_{n}-p\parallel }^{2}+{\beta }_{n}\left[{\parallel {x}_{n}-p\parallel }^{2}+{\parallel {x}_{n}-{T}_{1}{x}_{n}\parallel }^{2}\right]\\ -{\beta }_{n}\left(1-{\beta }_{n}\right){\parallel {x}_{n}-{T}_{1}{x}_{n}\parallel }^{2}\\ =& {\parallel {x}_{n}-p\parallel }^{2}+{\beta }_{n}^{2}{\parallel {x}_{n}-{T}_{1}{x}_{n}\parallel }^{2}.\end{array}$
(3.3)

Similarly, we have that

${\parallel {z}_{n}-p\parallel }^{2}={\parallel {x}_{n}-p\parallel }^{2}+{c}_{n}^{2}{\parallel {x}_{n}-{T}_{2}{x}_{n}\parallel }^{2}.$
(3.4)

Furthermore, from (3.1) and Lemma 2.6, we have that

$\begin{array}{rcl}{\parallel {y}_{n}-{T}_{1}{y}_{n}\parallel }^{2}& =& {\parallel \left(1-{\beta }_{n}\right)\left({x}_{n}-{T}_{1}{y}_{n}\right)+{\beta }_{n}\left({T}_{1}{x}_{n}-{T}_{1}{y}_{n}\right)\parallel }^{2}\\ =& \left(1-{\beta }_{n}\right){\parallel {x}_{n}-{T}_{1}{y}_{n}\parallel }^{2}+{\beta }_{n}{\parallel {T}_{1}{x}_{n}-{T}_{1}{y}_{n}\parallel }^{2}\\ -{\beta }_{n}\left(1-{\beta }_{n}\right){\parallel {x}_{n}-{T}_{1}{x}_{n}\parallel }^{2}\\ \le & \left(1-{\beta }_{n}\right){\parallel {x}_{n}-{T}_{1}{y}_{n}\parallel }^{2}+{\beta }_{n}{L}^{2}{\parallel {x}_{n}-{y}_{n}\parallel }^{2}\\ -{\beta }_{n}\left(1-{\beta }_{n}\right){\parallel {x}_{n}-{T}_{1}{x}_{n}\parallel }^{2}\\ =& \left(1-{\beta }_{n}\right){\parallel {x}_{n}-{T}_{1}{y}_{n}\parallel }^{2}+{\beta }_{n}^{3}{L}^{2}{\parallel {x}_{n}-{T}_{1}{x}_{n}\parallel }^{2}\\ -{\beta }_{n}\left(1-{\beta }_{n}\right){\parallel {x}_{n}-{T}_{1}{x}_{n}\parallel }^{2}\\ =& \left(1-{\beta }_{n}\right){\parallel {x}_{n}-{T}_{1}{y}_{n}\parallel }^{2}-{\beta }_{n}\left(1-{L}^{2}{\beta }_{n}^{2}-{\beta }_{n}\right){\parallel {x}_{n}-{T}_{1}{x}_{n}\parallel }^{2}.\end{array}$
(3.5)

Similarly, we obtain that

${\parallel {z}_{n}-{T}_{2}{z}_{n}\parallel }^{2}=\left(1-{c}_{n}\right){\parallel {x}_{n}-{T}_{2}{z}_{n}\parallel }^{2}-{c}_{n}\left(1-{L}^{2}{c}_{n}^{2}-{c}_{n}\right){\parallel {x}_{n}-{T}_{2}{x}_{n}\parallel }^{2}.$
(3.6)

Substituting (3.3), (3.4), (3.5) and (3.6) into (3.2), we obtain that

$\begin{array}{rcl}{\parallel {x}_{n+1}-p\parallel }^{2}& \le & {\alpha }_{n}{\parallel u-p\parallel }^{2}+\left(1-{\alpha }_{n}\right){\delta }_{n}\left[{\parallel {x}_{n}-p\parallel }^{2}+{\beta }_{n}^{2}{\parallel {x}_{n}-{T}_{1}{x}_{n}\parallel }^{2}\right]\\ +\left(1-{\alpha }_{n}\right){\delta }_{n}\left[\left(1-{\beta }_{n}\right){\parallel {x}_{n}-{T}_{1}{y}_{n}\parallel }^{2}-{\beta }_{n}\left(1-{L}^{2}{\beta }_{n}^{2}-{\beta }_{n}\right)\\ ×{\parallel {x}_{n}-{T}_{1}{x}_{n}\parallel }^{2}\right]+\left(1-{\alpha }_{n}\right){\theta }_{n}{\parallel {x}_{n}-p\parallel }^{2}+\left(1-{\alpha }_{n}\right){\gamma }_{n}\left[{\parallel {x}_{n}-p\parallel }^{2}\\ +{c}_{n}^{2}{\parallel {x}_{n}-{T}_{2}{x}_{n}\parallel }^{2}\right]+\left(1-{\alpha }_{n}\right){\gamma }_{n}\left[\left(1-{c}_{n}\right){\parallel {x}_{n}-{T}_{2}{z}_{n}\parallel }^{2}\\ -{c}_{n}\left(1-{L}^{2}{c}_{n}^{2}-{c}_{n}\right){\parallel {x}_{n}-{T}_{2}{x}_{n}\parallel }^{2}\right]-\left(1-{\alpha }_{n}\right){\delta }_{n}{\theta }_{n}{\parallel {T}_{1}{y}_{n}-{x}_{n}\parallel }^{2}\\ -\left(1-{\alpha }_{n}\right){\theta }_{n}{\gamma }_{n}{\parallel {T}_{2}{z}_{n}-{x}_{n}\parallel }^{2}\\ =& {\alpha }_{n}{\parallel u-p\parallel }^{2}+\left(1-{\alpha }_{n}\right){\parallel {x}_{n}-p\parallel }^{2}-\left(1-{\alpha }_{n}\right){\delta }_{n}{\beta }_{n}\\ ×\left(1-\left({L}^{2}{\beta }_{n}^{2}+2{\beta }_{n}\right)\right){\parallel {x}_{n}-{T}_{1}{x}_{n}\parallel }^{2}\\ -\left(1-{\alpha }_{n}\right){\gamma }_{n}{c}_{n}\left(1-\left({L}^{2}{c}_{n}^{2}+2{c}_{n}\right)\right){\parallel {x}_{n}-{T}_{2}{x}_{n}\parallel }^{2}\\ +\left(1-{\alpha }_{n}\right){\delta }_{n}\left(1-{\theta }_{n}-{\beta }_{n}\right){\parallel {T}_{1}{y}_{n}-{x}_{n}\parallel }^{2}\\ +\left(1-{\alpha }_{n}\right){\gamma }_{n}\left(1-{\theta }_{n}-{c}_{n}\right){\parallel {T}_{2}{z}_{n}-{x}_{n}\parallel }^{2},\end{array}$

and hence

$\begin{array}{rcl}{\parallel {x}_{n+1}-p\parallel }^{2}& \le & {\alpha }_{n}{\parallel u-p\parallel }^{2}+\left(1-{\alpha }_{n}\right){\parallel {x}_{n}-p\parallel }^{2}-\left(1-{\alpha }_{n}\right){\delta }_{n}{\beta }_{n}\\ ×\left(1-\left({L}^{2}{\beta }_{n}^{2}+2{\beta }_{n}\right)\right){\parallel {x}_{n}-{T}_{1}{x}_{n}\parallel }^{2}\\ -\left(1-{\alpha }_{n}\right){\gamma }_{n}{c}_{n}\left(1-\left({L}^{2}{c}_{n}^{2}+2{c}_{n}\right)\right){\parallel {x}_{n}-{T}_{2}{x}_{n}\parallel }^{2}\\ +\left(1-{\alpha }_{n}\right){\delta }_{n}\left({\delta }_{n}+{\gamma }_{n}-{\beta }_{n}\right){\parallel {T}_{1}{y}_{n}-{x}_{n}\parallel }^{2}\\ +\left(1-{\alpha }_{n}\right){\gamma }_{n}\left({\delta }_{n}+{\gamma }_{n}-{c}_{n}\right){\parallel {T}_{2}{z}_{n}-{x}_{n}\parallel }^{2}.\end{array}$
(3.7)

Now, from (iii) of the hypothesis, we have that

$1-2{\beta }_{n}-{L}^{2}{\beta }_{n}^{2}\ge 1-2\beta -{L}^{2}{\beta }^{2}>0,$
(3.8)
$1-2{c}_{n}-{L}^{2}{c}_{n}^{2}\ge 1-2\beta -{L}^{2}{\beta }^{2}>0$
(3.9)

and

(3.10)

Thus, inequality (3.7) implies that

${\parallel {x}_{n+1}-p\parallel }^{2}\le {\alpha }_{n}{\parallel u-p\parallel }^{2}+\left(1-{\alpha }_{n}\right){\parallel {x}_{n}-p\parallel }^{2}.$
(3.11)

Thus, by induction,

${\parallel {x}_{n+1}-p\parallel }^{2}\le max\left\{{\parallel u-p\parallel }^{2},{\parallel {x}_{0}-p\parallel }^{2}\right\},\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\ge 0,$

which implies that $\left\{{x}_{n}\right\}$ and hence $\left\{{y}_{n}\right\}$ are bounded.

Let ${x}^{\ast }={P}_{\mathcal{F}}\left(u\right)$. Then, using (3.1), Lemma 2.1 and following the methods used to get (3.7), we obtain that

$\begin{array}{rcl}{\parallel {x}_{n+1}-{x}^{\ast }\parallel }^{2}& =& {\parallel {\alpha }_{n}u+\left(1-{\alpha }_{n}\right)\left({\theta }_{n}{x}_{n}+{\delta }_{n}{T}_{1}{y}_{n}+{\gamma }_{n}{T}_{2}{z}_{n}\right)-{x}^{\ast }\parallel }^{2}\\ =& {\parallel {\alpha }_{n}\left(u-{x}^{\ast }\right)+\left(1-{\alpha }_{n}\right)\left[{\theta }_{n}{x}_{n}+{\delta }_{n}{T}_{1}{y}_{n}+{\gamma }_{n}{T}_{2}{z}_{n}-{x}^{\ast }\right]\parallel }^{2}\\ \le & \left(1-{\alpha }_{n}\right){\parallel {\delta }_{n}{T}_{1}{y}_{n}+{\theta }_{n}{x}_{n}+{\gamma }_{n}{T}_{2}{z}_{n}-{x}^{\ast }\parallel }^{2}\\ +2{\alpha }_{n}〈u-{x}^{\ast },{x}_{n+1}-{x}^{\ast }〉\\ \le & \left(1-{\alpha }_{n}\right){\delta }_{n}{\parallel {T}_{1}{y}_{n}-{x}^{\ast }\parallel }^{2}+\left(1-{\alpha }_{n}\right){\theta }_{n}{\parallel {x}_{n}-{x}^{\ast }\parallel }^{2}\\ +\left(1-{\alpha }_{n}\right){\gamma }_{n}{\parallel {T}_{2}{z}_{n}-{x}^{\ast }\parallel }^{2}-\left(1-{\alpha }_{n}\right){\theta }_{n}{\delta }_{n}{\parallel {T}_{1}{y}_{n}-{x}_{n}\parallel }^{2}\\ -\left(1-{\alpha }_{n}\right){\theta }_{n}{\gamma }_{n}{\parallel {T}_{2}{z}_{n}-{x}_{n}\parallel }^{2}+2{\alpha }_{n}〈u-{x}^{\ast },{x}_{n+1}-{x}^{\ast }〉\end{array}$

and

$\begin{array}{rcl}{\parallel {x}_{n+1}-{x}^{\ast }\parallel }^{2}& \le & \left(1-{\alpha }_{n}\right){\delta }_{n}\left[{\parallel {y}_{n}-{x}^{\ast }\parallel }^{2}+{\parallel {y}_{n}-{T}_{1}{y}_{n}\parallel }^{2}\right]\\ +\left(1-{\alpha }_{n}\right){\theta }_{n}{\parallel {x}_{n}-{x}^{\ast }\parallel }^{2}+\left(1-{\alpha }_{n}\right){\gamma }_{n}\left[{\parallel {z}_{n}-{x}^{\ast }\parallel }^{2}\\ +{\parallel {z}_{n}-{T}_{2}{z}_{n}\parallel }^{2}\right]-\left(1-{\alpha }_{n}\right){\theta }_{n}{\delta }_{n}{\parallel {T}_{1}{y}_{n}-{x}_{n}\parallel }^{2}\\ -\left(1-{\alpha }_{n}\right){\theta }_{n}{\gamma }_{n}{\parallel {T}_{2}{z}_{n}-{x}_{n}\parallel }^{2}+2{\alpha }_{n}〈u-{x}^{\ast },{x}_{n+1}-{x}^{\ast }〉\\ \le & \left(1-{\alpha }_{n}\right){\delta }_{n}\left[{\parallel {x}_{n}-{x}^{\ast }\parallel }^{2}+{\beta }_{n}^{2}{\parallel {x}_{n}-{T}_{1}{x}_{n}\parallel }^{2}\right]\\ +\left(1-{\alpha }_{n}\right){\delta }_{n}\left[\left(1-{\beta }_{n}\right){\parallel {x}_{n}-{T}_{1}{y}_{n}\parallel }^{2}-{\beta }_{n}\left(1-{L}^{2}{\beta }_{n}^{2}-{\beta }_{n}\right)\\ ×{\parallel {x}_{n}-{T}_{1}{x}_{n}\parallel }^{2}\right]+\left(1-{\alpha }_{n}\right){\theta }_{n}{\parallel {x}_{n}-{x}^{\ast }\parallel }^{2}\\ +\left(1-{\alpha }_{n}\right){\gamma }_{n}\left[{\parallel {x}_{n}-{x}^{\ast }\parallel }^{2}+{c}_{n}^{2}{\parallel {x}_{n}-{T}_{2}{x}_{n}\parallel }^{2}\right]\\ +\left(1-{\alpha }_{n}\right){\gamma }_{n}\left[\left(1-{c}_{n}\right){\parallel {x}_{n}-{T}_{2}{z}_{n}\parallel }^{2}-{c}_{n}\left(1-{L}^{2}{c}_{n}^{2}-{c}_{n}\right)\\ ×{\parallel {x}_{n}-{T}_{2}{x}_{n}\parallel }^{2}\right]-\left(1-{\alpha }_{n}\right){\theta }_{n}{\delta }_{n}{\parallel {T}_{1}{y}_{n}-{x}_{n}\parallel }^{2}-\left(1-{\alpha }_{n}\right){\theta }_{n}{\gamma }_{n}\\ ×{\parallel {T}_{2}{z}_{n}-{x}_{n}\parallel }^{2}+2{\alpha }_{n}〈u-{x}^{\ast },{x}_{n+1}-{x}^{\ast }〉,\end{array}$

which implies that

$\begin{array}{rcl}{\parallel {x}_{n+1}-{x}^{\ast }\parallel }^{2}& \le & \left(1-{\alpha }_{n}\right){\parallel {x}_{n}-{x}^{\ast }\parallel }^{2}-\left(1-{\alpha }_{n}\right){\delta }_{n}{\beta }_{n}\left[1-{L}^{2}{\beta }_{n}^{2}-2{\beta }_{n}\right]\\ ×{\parallel {x}_{n}-{T}_{1}{x}_{n}\parallel }^{2}+\left(1-{\alpha }_{n}\right){\delta }_{n}\left({\delta }_{n}+{\gamma }_{n}-{\beta }_{n}\right){\parallel {x}_{n}-{T}_{1}{y}_{n}\parallel }^{2}\\ -\left(1-{\alpha }_{n}\right){\delta }_{n}{c}_{n}\left[1-{L}^{2}{c}_{n}^{2}-2{c}_{n}\right]{\parallel {x}_{n}-{T}_{2}{x}_{n}\parallel }^{2}\\ +\left(1-{\alpha }_{n}\right){\gamma }_{n}\left({\delta }_{n}+{\gamma }_{n}-{c}_{n}\right){\parallel {x}_{n}-{T}_{2}{z}_{n}\parallel }^{2}+2{\alpha }_{n}〈u-{x}^{\ast },{x}_{n+1}-{x}^{\ast }〉\end{array}$
(3.12)
$\le \left(1-{\alpha }_{n}\right){\parallel {x}_{n}-{x}^{\ast }\parallel }^{2}+2{\alpha }_{n}〈u-{x}^{\ast },{x}_{n+1}-{x}^{\ast }〉.$
(3.13)

Now, we consider two cases.

Case 1. Suppose that there exists ${n}_{0}\in \mathbb{N}$ such that $\left\{\parallel {x}_{n}-{x}^{\ast }\parallel \right\}$ is decreasing for all $n\ge {n}_{0}$. Then, we get that $\left\{\parallel {x}_{n}-{x}^{\ast }\parallel \right\}$ is convergent. Thus, from (3.12), (3.8), (3.9) and (3.10), we have that

(3.14)

Furthermore, since $\left\{{x}_{n+1}\right\}$ is a bounded subset of H which is reflexive, we can choose a subsequence $\left\{{x}_{{n}_{i}+1}\right\}$ of $\left\{{x}_{n+1}\right\}$ such that ${x}_{{n}_{i}+1}⇀x$ and ${lim sup}_{n\to \mathrm{\infty }}〈u-{x}^{\ast },{x}_{n+1}-{x}^{\ast }〉={lim}_{i\to \mathrm{\infty }}〈u-{x}^{\ast },{x}_{{n}_{i}+1}-{x}^{\ast }〉$. Then, from (3.14) and Lemma 2.4, we have that $x\in F\left({T}_{1}\right)$ and $x\in F\left({T}_{2}\right)$. Therefore, by Lemma 2.2, we immediately obtain that

$\begin{array}{rcl}\underset{n\to \mathrm{\infty }}{lim sup}〈u-{x}^{\ast },{x}_{n+1}-{x}^{\ast }〉& =& \underset{i\to \mathrm{\infty }}{lim}〈u-{x}^{\ast },{x}_{{n}_{i}+1}-{x}^{\ast }〉\\ =& 〈u-{x}^{\ast },x-{x}^{\ast }〉\le 0.\end{array}$
(3.15)

Then it follows from (3.13), (3.15) and Lemma 2.3 that $\parallel {x}_{n}-{x}^{\ast }\parallel \to 0$ as $n\to \mathrm{\infty }$. Consequently, ${x}_{n}\to {x}^{\ast }={P}_{\mathcal{F}}\left(u\right)$.

Case 2. Suppose that there exists a subsequence $\left\{{n}_{i}\right\}$ of $\left\{n\right\}$ such that

$\parallel {x}_{{n}_{i}}-{x}^{\ast }\parallel <\parallel {x}_{{n}_{i}+1}-{x}^{\ast }\parallel$

for all $i\in \mathbb{N}$. Then, by Lemma 2.5, there exists a nondecreasing sequence $\left\{{m}_{k}\right\}\subset \mathbb{N}$ such that ${m}_{k}\to \mathrm{\infty }$, and

$\parallel {x}_{{m}_{k}}-{x}^{\ast }\parallel \le \parallel {x}_{{m}_{k}+1}-{x}^{\ast }\parallel \phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}\parallel {x}_{k}-{x}^{\ast }\parallel \le \parallel {x}_{{m}_{k}+1}-{x}^{\ast }\parallel$
(3.16)

for all $k\in \mathbb{N}$. Now, from (3.12), (3.8), (3.9) and (3.10), we get that ${x}_{{m}_{k}}-{T}_{1}{x}_{{m}_{k}}\to 0$ and ${x}_{{n}_{k}}-{T}_{2}{x}_{{n}_{k}}\to 0$ as $k\to \mathrm{\infty }$. Thus, like in Case 1, we obtain that

$\underset{k\to \mathrm{\infty }}{lim sup}〈u-{x}^{\ast },{x}_{{m}_{k}+1}-{x}^{\ast }〉\le 0.$
(3.17)

Now, from (3.13) we have that

${\parallel {x}_{{m}_{k}+1}-{x}^{\ast }\parallel }^{2}\le \left(1-{\alpha }_{{m}_{k}}\right){\parallel {x}_{{m}_{k}}-{x}^{\ast }\parallel }^{2}+2{\alpha }_{{m}_{k}}〈u-{x}^{\ast },{x}_{{m}_{k}+1}-{x}^{\ast }〉,$
(3.18)

and hence (3.16) and (3.18) imply that

$\begin{array}{rcl}{\alpha }_{{m}_{k}}{\parallel {x}_{{m}_{k}}-{x}^{\ast }\parallel }^{2}& \le & {\parallel {x}_{{m}_{k}}-{x}^{\ast }\parallel }^{2}-{\parallel {x}_{{m}_{k}+1}-{x}^{\ast }\parallel }^{2}+2{\alpha }_{{m}_{k}}〈u-{x}^{\ast },{x}_{{m}_{k}+1}-{x}^{\ast }〉\\ \le & +2{\alpha }_{{m}_{k}}〈u-{x}^{\ast },{x}_{{m}_{k}+1}-{x}^{\ast }〉.\end{array}$

But using the fact that ${\alpha }_{{m}_{k}}>0$ and (3.17), we obtain that

$\underset{k\to \mathrm{\infty }}{lim sup}{\parallel {x}_{{m}_{k}}-{x}^{\ast }\parallel }^{2}\le 0,$

and hence $\parallel {x}_{{m}_{k}}-{x}^{\ast }\parallel \to 0$ as $k\to \mathrm{\infty }$. This together with (3.18) implies that $\parallel {x}_{{m}_{k}+1}-{x}^{\ast }\parallel \to 0$ as $k\to \mathrm{\infty }$. But $\parallel {x}_{k}-{x}^{\ast }\parallel \le \parallel {x}_{{m}_{k}+1}-{x}^{\ast }\parallel$ for all $k\in N$, thus we obtain that ${x}_{k}\to {x}^{\ast }$. Therefore, from the above two cases, we can conclude that $\left\{{x}_{n}\right\}$ converges strongly to a common fixed point of ${T}_{1}$ and ${T}_{2}$ nearest to u. The proof is complete. □

We note that the method of the proof of Theorem 3.1 provides a convergence theorem for a finite family of Lipschitzian pseudocontractive mappings. In fact, we have the following theorem.

Theorem 3.2 Let C be a nonempty, closed and convex subset of a real Hilbert space H. Let ${T}_{i}:C\to C$, $i=1,2,\dots ,N$, be Lipschitz pseudocontractive mappings with Lipschitz constants ${L}_{i}$, $i=1,2,\dots ,N$, respectively. Assume that $\mathcal{F}={\bigcap }_{i}^{N}F\left({T}_{i}\right)$ is nonempty. Let a sequence $\left\{{x}_{n}\right\}$ be generated from an arbitrary ${x}_{0},u\in C$ by

$\left\{\begin{array}{c}{y}_{ni}=\left(1-{\beta }_{n}\right){x}_{n}+{\beta }_{n}{T}_{i}{x}_{n},\phantom{\rule{1em}{0ex}}i=1,2,\dots ,N;\hfill \\ {x}_{n+1}={\alpha }_{n}u+\left(1-{\alpha }_{n}\right)\left({\theta }_{n0}{x}_{n}+{\sum }_{i=1}^{N}{\theta }_{ni}{T}_{i}{y}_{ni}\right),\hfill \end{array}$
(3.19)

where $\left\{{\theta }_{ni}:i=0,1,2,\dots ,N\right\}\subset \left(a,b\right)\subset \left(0,1\right)$, $\left\{{\alpha }_{n}\right\}\subset \left(0,c\right)\subset \left(0,1\right)$ satisfy the following conditions: (i) ${\theta }_{n0}+{\theta }_{n1}+\cdots +{\theta }_{nN}=1$; (ii) ${lim}_{n\to \mathrm{\infty }}{\alpha }_{n}=0$, $\sum {\alpha }_{n}=\mathrm{\infty }$; (iii) ${\sum }_{i=1}^{N}{\theta }_{ni}\le {\beta }_{n}\le \beta <\frac{1}{\sqrt{1+{L}^{2}}+1}$, $\mathrm{\forall }n\ge 1$, for $L:=max\left\{{L}_{i}:i=1,2,\dots ,N\right\}$. Then $\left\{{x}_{n}\right\}$ converges strongly to a common fixed point of ${T}_{i}$ ($i=1,2,\dots ,N$) nearest to u.

If in Theorem 3.1 we assume that T is nonexpansive, then we have that T is Lipschitz pseudocontractive with $L=1$, and hence we get the following corollary.

Corollary 3.3 Let C be a nonempty, closed and convex subset of a real Hilbert space H. Let ${T}_{1},{T}_{2}:C\to C$ be nonexpansive mappings. Assume that $\mathcal{F}=F\left({T}_{1}\right)\cap F\left({T}_{2}\right)$ is nonempty. Let a sequence $\left\{{x}_{n}\right\}$ be generated from an arbitrary ${x}_{0},u\in C$ by

$\left\{\begin{array}{c}{z}_{n}=\left(1-{c}_{n}\right){x}_{n}+{c}_{n}{T}_{2}{x}_{n};\hfill \\ {y}_{n}=\left(1-{\beta }_{n}\right){x}_{n}+{\beta }_{n}{T}_{1}{x}_{n};\hfill \\ {x}_{n+1}={\alpha }_{n}u+\left(1-{\alpha }_{n}\right)\left({\theta }_{n}{x}_{n}+{\delta }_{n}{T}_{1}{y}_{n}+{\gamma }_{n}{T}_{2}{z}_{n}\right),\hfill \end{array}$
(3.20)

where $\left\{{\delta }_{n}\right\},\left\{{\theta }_{n}\right\},\left\{{\gamma }_{n}\right\}\subset \left(a,b\right)\subset \left(0,1\right)$, $\left\{{\alpha }_{n}\right\}\subset \left(0,c\right)\subset \left(0,1\right)$ satisfy the following conditions: (i) ${\delta }_{n}+{\theta }_{n}+{\gamma }_{n}=1$; (ii) ${lim}_{n\to \mathrm{\infty }}{\alpha }_{n}=0$, $\sum {\alpha }_{n}=\mathrm{\infty }$; (iii) ${\delta }_{n}+{\gamma }_{n}\le {c}_{n},{\beta }_{n}\le \beta <\left(\sqrt{2}-1\right)$, $\mathrm{\forall }n\ge 1$. Then $\left\{{x}_{n}\right\}$ converges strongly to a common fixed point of ${T}_{1}$ and ${T}_{2}$ nearest to u.

We now state and prove the convergence theorem for a common zero of a family of monotone mappings.

Corollary 3.4 Let H be a real Hilbert space. Let ${A}_{i}:H\to H$, $i=1,2$, be Lipschitz monotone mappings with Lipschitz constants ${L}_{1}$ and ${L}_{2}$, respectively. Assume that $F:={\bigcap }_{i=1}^{2}N\left({A}_{i}\right)$ is nonempty. Let a sequence $\left\{{x}_{n}\right\}$ be generated from an arbitrary ${x}_{1},u\in H$ by

$\left\{\begin{array}{c}{z}_{n}={x}_{n}-{c}_{n}{A}_{2}{x}_{n};\hfill \\ {y}_{n}={x}_{n}-{\beta }_{n}{A}_{1}{x}_{n};\hfill \\ {x}_{n+1}={\alpha }_{n}u+\left(1-{\alpha }_{n}\right)\left({\theta }_{n}{x}_{n}+{\delta }_{n}\left(I-{A}_{1}\right){y}_{n}+{\gamma }_{n}\left(I-{A}_{2}\right){z}_{n}\right),\hfill \end{array}$
(3.21)

where $\left\{{\delta }_{n}\right\},\left\{{\theta }_{n}\right\},\left\{{\gamma }_{n}\right\}\subset \left(a,b\right)\subset \left(0,1\right)$, $\left\{{\alpha }_{n}\right\}\subset \left(0,c\right)\subset \left(0,1\right)$ satisfy the following conditions: (i) ${\delta }_{n}+{\theta }_{n}+{\gamma }_{n}=1$; (ii) ${lim}_{n\to \mathrm{\infty }}{\alpha }_{n}=0$, $\sum {\alpha }_{n}=\mathrm{\infty }$; (iii) ${\delta }_{n}+{\gamma }_{n}\le {c}_{n},{\beta }_{n}\le \beta <\frac{1}{\sqrt{1+{\left(1+L\right)}^{2}}+1}$, $\mathrm{\forall }n\ge 1$, for $L:=max\left\{{L}_{1},{L}_{2}\right\}$. Then $\left\{{x}_{n}\right\}$ converges strongly to a common zero point of ${A}_{1}$ and ${A}_{2}$ nearest to u.

Proof Let ${T}_{i}x:=\left(I-{A}_{i}\right)x$ for $i=1,2$. Then we get that every ${T}_{i}$ for all $i\in \left\{1,2\right\}$ is a Lipschitz pseudocontractive mapping with the Lipschitz constant ${L}_{i}^{\prime }:=\left(1+{L}_{i}\right)$ and ${\bigcap }_{i=1}^{2}F\left({T}_{i}\right)={\bigcap }_{i=1}^{2}\left({A}_{i}\right)\ne \mathrm{\varnothing }$. Moreover, when ${A}_{i}$ is replaced with $\left(I-{T}_{i}\right)$, for each $i\in \left\{1,2\right\}$, then scheme (3.21) reduces to scheme (3.1), and hence the conclusion follows from Theorem 3.1. □

We may also have the following corollary for a finite family of monotone mappings.

Corollary 3.5 Let H be a real Hilbert space. Let ${A}_{i}:H\to H$, $i=1,2,\dots ,N$, be Lipschitz monotone mappings with Lipschitz constants ${L}_{i}$, $i=1,2,\dots ,N$, respectively. Assume that $F:={\bigcap }_{i=1}^{N}N\left({A}_{i}\right)$ is nonempty. Let a sequence $\left\{{x}_{n}\right\}$ be generated from an arbitrary ${x}_{1},u\in H$ by

$\left\{\begin{array}{c}{y}_{ni}={x}_{n}-{\beta }_{n}{A}_{i}{x}_{n},\phantom{\rule{1em}{0ex}}i=1,2,\dots ,N;\hfill \\ {x}_{n+1}={\alpha }_{n}u+\left(1-{\alpha }_{n}\right)\left({\theta }_{n0}{x}_{n}+{\sum }_{i=1}^{N}{\theta }_{ni}\left(I-{A}_{i}\right){y}_{ni}\right),\hfill \end{array}$
(3.22)

where $\left\{{\theta }_{ni}:i=0,1,2,\dots ,N\right\}\subset \left(a,b\right)\subset \left(0,1\right)$, $\left\{{\alpha }_{n}\right\}\subset \left(0,c\right)\subset \left(0,1\right)$ satisfy the following conditions: (i) ${\theta }_{n0}+{\theta }_{n1}+\cdots +{\theta }_{nN}=1$; (ii) ${lim}_{n\to \mathrm{\infty }}{\alpha }_{n}=0$, $\sum {\alpha }_{n}=\mathrm{\infty }$; (iii) ${\sum }_{i=1}^{N}{\theta }_{ni}\le {\beta }_{n}\le \beta <\frac{1}{\sqrt{1+{\left(1+L\right)}^{2}}+1}$, $\mathrm{\forall }n\ge 1$, for $L:=max\left\{{L}_{i}:i=1,2,\dots ,N\right\}$. Then $\left\{{x}_{n}\right\}$ converges strongly to a common zero point of ${A}_{i}$, $i=1,2,\dots ,N$, nearest to u.

If in Corollary 3.5 we consider a single Lipschitz monotone mapping, then we obtain the following corollary.

Corollary 3.6 Let H be a real Hilbert space. Let $A:H\to H$ be a Lipschitz monotone mapping with Lipschitz constant L. Assume that $F:=N\left(A\right)$ is nonempty. Let a sequence $\left\{{x}_{n}\right\}$ be generated from an arbitrary ${x}_{1},u\in H$ by

$\left\{\begin{array}{c}{y}_{n}={x}_{n}-{\beta }_{n}A{x}_{n};\hfill \\ {x}_{n+1}={\alpha }_{n}u+\left(1-{\alpha }_{n}\right)\left(\left(1-{\gamma }_{n}\right){x}_{n}+{\gamma }_{n}\left(I-A\right){y}_{n}\right),\hfill \end{array}$
(3.23)

where $\left\{{\gamma }_{n}\right\}\subset \left(a,b\right)\subset \left(0,1\right)$, $\left\{{\alpha }_{n}\right\}\subset \left(0,c\right)\subset \left(0,1\right)$ satisfy the following conditions: (i) ${lim}_{n\to \mathrm{\infty }}{\alpha }_{n}=0$, $\sum {\alpha }_{n}=\mathrm{\infty }$; (ii) ${\gamma }_{n}\le {\beta }_{n}\le \beta <\frac{1}{\sqrt{1+{\left(1+L\right)}^{2}}+1}$, $\mathrm{\forall }n\ge 1$. Then $\left\{{x}_{n}\right\}$ converges strongly to the zero point of A nearest to u.

## 4 Numerical example

Now, we give an example of a finite family of pseudocontractive mappings satisfying Theorem 3.1 and some numerical experiment result to explain the conclusion of the theorem as follows.

Example 4.1 Let $H=\mathbb{R}$ with absolute value norm. Let $K=\left[-2,1\right]$ and ${T}_{1},{T}_{2}:K\to K$ be defined by

${T}_{1}x:=\left\{\begin{array}{cc}x+{x}^{2},\hfill & x\in \left[-2,0\right],\hfill \\ x,\hfill & x\in \left(0,1\right]\hfill \end{array}$
(4.1)

and

${T}_{2}x:=\left\{\begin{array}{cc}x,\hfill & x\in \left[-2,\frac{1}{2}\right],\hfill \\ x-2{\left(x-\frac{1}{2}\right)}^{2},\hfill & x\in \left(\frac{1}{2},1\right].\hfill \end{array}$
(4.2)

Clearly, $\mathcal{F}=F\left({T}_{1}\right)\cap F\left({T}_{2}\right)=\left[0,1\right]\cap \left[-2,\frac{1}{2}\right]=\left[0,\frac{1}{2}\right]$, and for $x,y\in K$ we have that

$〈\left(I-{T}_{1}\right)x-\left(I-{T}_{1}\right)y,x-y〉\ge 0$
(4.3)

and

$〈\left(I-{T}_{2}\right)x-\left(I-{T}_{2}\right)y,x-y〉\ge 0,$
(4.4)

which show that both mappings are pseudocontractive. Next, we show that ${T}_{1}$ is Lipschitzian with $L=5$. If $x,y\in \left[-2,0\right]$, then

$\begin{array}{rcl}|{T}_{1}x-{T}_{1}y|& =& |x+{x}^{2}-y-{y}^{2}|\\ =& |\left(x+y\right)+1||x-y|\le 3|x+y|.\end{array}$
(4.5)

If $x,y\in \left(0,1\right]$, then

$|{T}_{1}x-{T}_{1}y|=|x-y|.$

If $x\in \left[-2,0\right]$ and $y\in \left(0,1\right]$, then

$\begin{array}{rl}|{T}_{1}x-{T}_{1}y|& =|x+{x}^{2}-y|\\ =|x-y+{x}^{2}|=|x-y+{x}^{2}-{y}^{2}+{y}^{2}|\\ =|x-y+{x}^{2}-{y}^{2}|+{y}^{2}\\ \le |x+y+1|\cdot |x-y|+|y-x|\\ =|2+x+y|\cdot |x-y|\le 3|x-y|.\end{array}$
(4.6)

If $x\in \left(0,1\right]$ and $y\in \left[-2,0\right]$, then

$\begin{array}{rcl}|{T}_{1}x-{T}_{1}y|& =& |x-\left(y+{y}^{2}\right)|\\ =& |x-y-{y}^{2}+{x}^{2}-{x}^{2}|=|x-y+\left(x+y\right)\left(x-y\right)-{x}^{2}|\\ =& |\left(1+x+y\right)||x-y|+{x}^{2}\\ \le & |\left(1+x+y\right)||x-y|+{\left(x-y\right)}^{2}\\ \le & \left(|1+x+y|+|x-y|\right)|x-y|\\ \le & 5|x-y|.\end{array}$
(4.7)

Thus, we get that ${T}_{1}$ is Lipschitzian pseudocontractive with $L=5$. Similarly, we can show that ${T}_{2}$ is Lipschitzian pseudocontractive with $L=10$.

Now, taking ${\alpha }_{n}=\frac{1}{n+10}$, ${c}_{n}={\beta }_{n}=\frac{1}{100}+\frac{1}{n+100}$, ${\gamma }_{n}={\delta }_{n}=0.5\left[\frac{1}{100}+\frac{1}{n+100}\right]$ and ${\theta }_{n}=1-\left[\frac{1}{100}+\frac{1}{n+100}\right]$, we observe that the conditions of Theorem 3.1 are satisfied and scheme (3.1) provides the data in Tables 1 and 2 and Figures 1 and 2.

1. (i)

When $u=0.6$ and ${x}_{0}=-1$, we see that the sequence converges to ${x}^{\ast }=0.5$ as shown in Table 1 and Figure 1.

2. (ii)

When $u=-1$ and ${x}_{0}=0.8$, we see that the sequence converges to ${x}^{\ast }=0$ as shown in Table 2 and Figure 2.

Remark 4.2 Theorem 3.1 provides a convergence sequence to a common fixed point of two Lipschitzian pseudocontractive mappings, whereas Theorem 3.2 provides a convergence sequence to a common fixed point of a finite family of Lipschitzian pseudocontractive mappings. In addition, Corollary 3.4 provides a convergence sequence to a common zero of two Lipschitzian monotone mappings, whereas Theorem 3.5 provides a convergence sequence to a common zero of a finite family of Lipschitzian monotone mappings.

Remark 4.3 Theorem 3.2 improves Theorem ZSA, Theorem 3.2 of Daman and Zegeye [19] in the sense that our convergence does not require the assumption that interior of $F\left(T\right)$ is nonempty or condition (H).

Remark 4.4 Theorem 3.1 improves Theorem 3.1 of Zhou [20], Theorem 3.1 of Yao et al. [26] and Theorem 3.1 of Tang et al. [27] in the sense that our convergence requires neither compactness of T nor computation of closed and convex ${C}_{n}$ of C for each $n\ge 1$.

## References

1. Browder FE, Petryshyn WV: Construction of fixed points of nonlinear mappings in Hilbert space. J. Math. Anal. Appl. 1967, 20: 197–228. 10.1016/0022-247X(67)90085-6

2. Zeidler E: Nonlinear Functional Analysis and Its Applications, Part II: Monotone Operators. Springer, Berlin; 1985.

3. Bauschke HH, Borwein JM: On projection algorithms for solving convex feasibility problems. SIAM Rev. 1996, 38: 367–426. 10.1137/S0036144593251710

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

5. Bauschke HH: The approximation of fixed points of compositions of nonexpansive mappings in Hilbert spaces. J. Math. Anal. Appl. 1996, 202: 150–159. 10.1006/jmaa.1996.0308

6. Halpern B: Fixed points of nonexpansive maps. Bull. Am. Math. Soc. 1967, 73: 957–961. 10.1090/S0002-9904-1967-11864-0

7. Colao V, Marino G, Xu HK: An iterative method for finding common solutions of equilibrium and fixed point problems. J. Math. Anal. Appl. 2008, 344: 340–352. 10.1016/j.jmaa.2008.02.041

8. Yao Y: A general iterative method for a finite family of nonexpansive mappings. Nonlinear Anal. 2007, 66: 2676–2687. 10.1016/j.na.2006.03.047

9. Takahashi S, Takahashi W: Viscosity approximation methods for equilibrium problems and fixed point problems in Hilbert spaces. J. Math. Anal. Appl. 2007, 331: 506–515. 10.1016/j.jmaa.2006.08.036

10. Plubtieng S, Punpaeng R: A general iterative method for equilibrium problems and fixed point problems in Hilbert spaces. J. Math. Anal. Appl. 2007, 336: 455–469. 10.1016/j.jmaa.2007.02.044

11. Ceng LC, Cubiotti P, Yao JC: Strong convergence theorems for finitely many nonexpansive mappings and applications. Nonlinear Anal. 2007, 67: 1464–1473. 10.1016/j.na.2006.06.055

12. Osilike MO, Shehu Y: Cyclic algorithm for common fixed points of finite family of strictly pseudocontractive mappings of Browder-Petryshyn type. Nonlinear Anal. 2009, 70: 3575–3583. 10.1016/j.na.2008.07.015

13. Zegeye H, Shahzad N: Strong convergence theorems for a common zero of a countably infinite family of λ -inverse strongly accretive mappings. Nonlinear Anal. 2009, 71: 531–538. 10.1016/j.na.2008.10.091

14. Zegeye H, Shahzad N: Strong convergence theorems for a common zero of a finite family of m -accretive mappings. Nonlinear Anal. 2007, 66: 1161–1169. 10.1016/j.na.2006.01.012

15. Zhang Y, Guo Y: Weak convergence theorems of three iterative methods for strictly pseudocontractive mappings of Browder-Petryshyn type. Fixed Point Theory Appl. 2008., 2008: Article ID 672301

16. Zhou H: Convergence theorems of fixed points for a finite family of Lipschitz pseudo-contractions in Banach spaces. Nonlinear Anal. 2008, 68: 2977–2983. 10.1016/j.na.2007.02.041

17. Zegeye H, Shahzadb N, Alghamdi MA: Convergence of Ishikawa’s iteration method for pseudocontractive mappings. Nonlinear Anal. 2011, 74: 7304–7311. 10.1016/j.na.2011.07.048

18. Ishikawa S: Fixed points by a new iteration method. Proc. Am. Math. Soc. 1974, 44: 147–150. 10.1090/S0002-9939-1974-0336469-5

19. Daman OA, Zegeye H: Strong convergence theorems for a common fixed point of a finite family of pseudocontractive mappings. Int. J. Math. Math. Sci. 2012., 2012: Article ID 405315 10.1155/2012/405315

20. Zhou H: Convergence theorems of fixed points for Lipschitz pseudo-contractions in Hilbert spaces. J. Math. Anal. Appl. 2008, 343: 546–556. 10.1016/j.jmaa.2008.01.045

21. Alber Y: Metric and generalized projection operators in Banach spaces: properties and applications. Lecture Notes in Pure and Appl. Math. 178. In Theory and Applications of Nonlinear Operators of Accretive and Monotone Type. Edited by: Kartsatos AG. Dekker, New York; 1996:15–50.

22. Xu HK: Another control condition in an iterative method for nonexpansive mappings. Bull. Aust. Math. Soc. 2002, 65: 109–113. 10.1017/S0004972700020116

23. Zhang QB, Cheng CZ: Strong convergence theorem for a family of Lipschitz pseudocontractive mappings in a Hilbert space. Math. Comput. Model. 2008, 48: 480–485. 10.1016/j.mcm.2007.09.014

24. Maingé PE: Strong convergence of projected subgradient methods for nonsmooth and non-strictly convex minimization. Set-Valued Anal. 2008, 16: 899–912. 10.1007/s11228-008-0102-z

25. Zegeye H, Shahzad N: Convergence of Mann’s type iteration method for generalized asymptotically nonexpansive mappings. Comput. Math. Appl. 2011, 62: 4007–4014. 10.1016/j.camwa.2011.09.018

26. Yao YH, Liou YC, Marino G: A hybrid algorithm for pseudo-contractive mappings. Nonlinear Anal. 2009, 71: 4997–5002. 10.1016/j.na.2009.03.075

27. Tang Y-C, Peng J-G, Liu L-W: Strong convergence theorem for pseudocontractive mappings in Hilbert spaces. Nonlinear Anal. 2011, 74: 380–385. 10.1016/j.na.2010.08.048

## Acknowledgements

This article was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah. The second author acknowledges with thanks DSR for financial support.

## Author information

Authors

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All the authors contributed equally. All authors read and approved the final manuscript.

## Authors’ original submitted files for images

Below are the links to the authors’ original submitted files for images.

## Rights and permissions

Reprints and Permissions

Zegeye, H., Shahzad, N. An algorithm for a common fixed point of a family of pseudocontractive mappings. Fixed Point Theory Appl 2013, 234 (2013). https://doi.org/10.1186/1687-1812-2013-234