Skip to main content

# Convergence of a hybrid iterative method for finite families of generalized quasi-ϕ-asymptotically nonexpansive mappings

## Abstract

Strong convergence theorem for finite families of generalized quasi-ϕ-asymptotically nonexpansive mappings is proved in a real uniformly convex and uniformly smooth Banach space using a new modified hybrid iterative algorithm.

MSC:47H09, 47J25.

## 1 Introduction

Let E be a real Banach space and ${E}^{\ast }$ be the dual space of E. The normalized duality mapping $J:E\to {2}^{{E}^{\ast }}$ is defined by

$Jx=\left\{{x}^{\ast }\in {E}^{\ast }:〈x,{x}^{\ast }〉=\parallel x\parallel \parallel {x}^{\ast }\parallel ,\parallel {x}^{\ast }\parallel =\parallel x\parallel \right\}$

for all $x\in E$, where $〈\cdot ,\cdot 〉$ denotes the duality pairing. A Banach space E is said to be uniformly convex if given $ϵ\in \left(0,2\right]$, there exists $\delta >0$ such that for all $x,y\in E$ with $\parallel x\parallel \le 1$, $\parallel y\parallel \le 1$ and $\parallel x-y\parallel \ge ϵ$, we have $\parallel \frac{x+y}{2}\parallel \le 1-\delta$. E is 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$. The space E is said to be smooth if the limit

$\underset{t\to 0}{lim}\frac{\parallel x+ty\parallel -\parallel x\parallel }{t}$

exists for all $x,y\in U$, where $U:=\left\{z\in E:\parallel z\parallel =1\right\}$. It is also uniformly smooth if the limit exists uniformly for $x,y\in U$. It is well known that if E is strictly convex, smooth and reflexive, then the duality map J is one-to-one, single-valued and onto. Also if E is uniformly smooth, then J is norm-to-norm uniformly continuous on bounded subsets of E.

Let C be a nonempty, closed, convex subset of E. Let $T:C\to C$ be a map, a point $x\in C$ is called a fixed point of T if $Tx=x$ and the set of all fixed points of T is denoted by $F\left(T\right)$. We recall that a point $p\in C$ is called an asymptotic fixed point of T if there exists a sequence $\left\{{x}_{n}\right\}\subset C$ which converges weakly to p and ${lim}_{n\to \mathrm{\infty }}\parallel {x}_{n}-T{x}_{n}\parallel =0$. The mapping T is called Lipschitz if there exists $L>0$ such that $\parallel Tx-Ty\parallel \le L\parallel x-y\parallel$ for all $x,y\in C$, and if $L=1$, then T is called nonexpansive. T is asymptotically nonexpansive if there exists a sequence $\left\{{t}_{n}\right\}\subset \left[1,\mathrm{\infty }\right)$ such that ${t}_{n}\to 1$ as $n\to \mathrm{\infty }$ and $\parallel {T}^{n}x-{T}^{n}y\parallel \le {t}_{n}\parallel x-y\parallel$ for all $n\in \mathbb{N}$ and for all $x,y\in C$. The map T is quasi-nonexpansive if $F\left(T\right)\ne \mathrm{\varnothing }$ and for all $x\in C$, $q\in F\left(T\right)$, $\parallel Tx-q\parallel \le \parallel x-q\parallel$ and is called asymptotically quasi-nonexpansive if $F\left(T\right)\ne \mathrm{\varnothing }$ and $\parallel {T}^{n}x-q\parallel \le {t}_{n}\parallel x-q\parallel$ for all $x\in C$, $q\in F\left(T\right)$ and the sequence $\left\{{t}_{n}\right\}\subset \left[1,\mathrm{\infty }\right)$ satisfies ${t}_{n}\to 1$ as $n\to \mathrm{\infty }$. The mapping T is called generalized asymptotically quasi-nonexpansive if $F\left(T\right)\ne \mathrm{\varnothing }$, there exist sequences $\left\{{s}_{n}\right\}\subset \left[0,1\right]$, $\left\{{t}_{n}\right\}\subset \left[1,\mathrm{\infty }\right)$ with ${s}_{n}\to 0$, ${t}_{n}\to 1$ as $n\to \mathrm{\infty }$ and $\parallel {T}^{n}x-q\parallel \le {t}_{n}\parallel x-q\parallel +{s}_{n}$ for all $x\in C$, $q\in F\left(T\right)$ and $n\in \mathbb{N}$.

The map T is said to be

1. (i)

asymptotically regular on C if ${lim}_{n\to \mathrm{\infty }}\parallel {T}^{n+1}x-{T}^{n}x\parallel =0$ for all $x\in C$,

2. (ii)

uniformly asymptotically regular on C if ${lim sup}_{n\to \mathrm{\infty }x\in K}\parallel {T}^{n+1}x-{T}^{n}x\parallel =0$ holds for any bounded subset K of C.

For a positive real number L, the map T is called uniformly L-Lipschitzian if $\parallel {T}^{n}x-{T}^{n}y\parallel \le L\parallel x-y\parallel$ for all $x,y\in C$ and $n\in \mathbb{N}$.

It is clear from these definitions that every nonexpansive mapping with a fixed point is quasi-nonexpansive and all asymptotically nonexpansive maps with fixed points are asymptotically quasi-nonexpansive. Recently, the class of generalized asymptotically quasi-nonexpansive mappings was introduced and studied by Shahzad and Zegeye [21]. They proved that every asymptotically quasi-nonexpansive mapping is a generalized asymptotically quasi-nonexpansive mapping and the inclusion is proper. The class of quasi-nonexpansive mappings was introduced and studied first in 1967 by Diaz and Metcalf [7]. Goebel and Kirk [8] introduced the class of asymptotically nonexpansive mappings and proved that if C is a nonempty, closed, convex and bounded subset of a uniformly convex Banach space E, then an asymptotically nonexpansive mapping $T:C\to C$ has a fixed point.

Kirk [16], proved that if E is a reflexive Banach space with normal structure and C is a nonempty, closed, convex and bounded subset of E, a nonexpansive map $T:C\to C$ has a fixed point in C. This result was extended to a finite family of nonexpansive maps by Bellus and Kirk [3] and then to an infinite family of nonexpansive maps by Lim [17].

Let H be a real Hilbert space, C be a nonempty closed convex subset of H. Recall that for each $x\in H$ there exists a unique nearest point in C to x denoted by ${P}_{C}x$. That is, $\parallel x-{P}_{C}x\parallel \le \parallel x-y\parallel$ for all $y\in C$. ${P}_{C}$ is called a metric projection of H onto C.

It is well known that the metric projection is nonexpansive only in a Hilbert space. This fact actually characterizes Hilbert spaces. Alber [1], introduced a generalized projection map ${\prod }_{C}:E\to C$ in a Banach space which is an analogue of the metric projection in a Hilbert space.

Let E be a real normed linear space with single-valued normalized duality map. Consider the functional defined by $\varphi \left(x,y\right)={\parallel x\parallel }^{2}+{\parallel y\parallel }^{2}-2〈x,Jy〉$. We observe that in a Hilbert space, $\varphi \left(x,y\right)$ reduces to ${\parallel x-y\parallel }^{2}$. It is clear that for $x,y\in E$, the following inequality holds ${\left(\parallel x\parallel -\parallel y\parallel \right)}^{2}\le \varphi \left(x,y\right)\le {\left(\parallel x\parallel +\parallel y\parallel \right)}^{2}$. The generalized projection map ${\prod }_{C}:E\to C$ is a map that assigns to an arbitrary point $x\in E$, the minimum point of the functional $\varphi \left(x,\cdot \right)$ over C, that is, ${\prod }_{C}x={x}^{\ast }$ where $\varphi \left(x,{x}^{\ast }\right)={min}_{y\in C}\varphi \left(x,y\right)$. Existence and uniqueness of the map ${\prod }_{C}$ follow from the properties of the functional ϕ and the strict monotonicity of J (see, for example, [2]).

Let C be a nonempty, closed, and convex subset of E, a mapping $T:C\to C$ is said to be

1. (i)

relatively nonexpansive if $F\left(T\right)=\stackrel{˜}{F\left(T\right)}$ and $\varphi \left(q,Tx\right)\le \varphi \left(q,x\right)$ for all $x\in C$, $q\in F\left(T\right)$ where $\stackrel{˜}{F\left(T\right)}$ denotes the set of asymptotic fixed points of T;

2. (ii)

ϕ-nonexpansive if $\varphi \left(Tx,Ty\right)\le \varphi \left(x,y\right)$ for all $x,y\in C$;

3. (iii)

ϕ-asymptotically nonexpansive if there exists a sequence $\left\{{t}_{n}\right\}\subset \left[1,\mathrm{\infty }\right)$ satisfying ${t}_{n}\to \mathrm{\infty }$ as $n\to \mathrm{\infty }$ and $\varphi \left({T}^{n}x,{T}^{n}y\right)\le {t}_{n}\varphi \left(x,y\right)$ for all $x,y\in C$, $n\in \mathbb{N}$;

4. (iv)

quasi-ϕ-asymptotically nonexpansive if $F\left(T\right)\ne \mathrm{\varnothing }$ and $\varphi \left(q,{T}^{n}x\right)\le {t}_{n}\varphi \left(q,x\right)$ for all $x\in C$, $q\in F\left(T\right)$, $n\in \mathbb{N}$, where $\left\{{t}_{n}\right\}$ is as in (iii) above.

We shall call the map T generalized quasi-ϕ-asymptotically nonexpansive in the light of [21], if $F\left(T\right)\ne \mathrm{\varnothing }$ and there exist sequences $\left\{{s}_{n}\right\}\subset \left[0,1\right]$, $\left\{{t}_{n}\right\}\subset \left[1,\mathrm{\infty }\right)$ with ${s}_{n}\to 0$, ${t}_{n}\to 1$ as $n\to \mathrm{\infty }$ and $\varphi \left(q,{T}^{n}x\right)\le {t}_{n}\varphi \left(q,x\right)+{s}_{n}$ for all $x\in C$, $q\in F\left(T\right)$ and $n\in \mathbb{N}$.

Existence and approximations of fixed points of mappings of nonexpansive type and their generalizations were studied by numerous authors, see, for example, [3, 5, 7, 8, 10, 11, 1417, 19, 21, 27] and the references therein.

In 1986, Das and Debata [6] studied the Ishikawa-like scheme defined by ${x}_{1}\in C$,

${x}_{n+1}={\alpha }_{n}S\left[{\beta }_{n}T{x}_{n}+\left(1-{\beta }_{n}\right){x}_{n}\right]+\left(1-{\alpha }_{n}\right){x}_{n},$
(1.1)

where $\left\{{\alpha }_{n}\right\}$ and $\left\{{\beta }_{n}\right\}$ are sequences in $\left[a,b\right]$ such that $0. They studied the scheme for two quasi-nonexpansive maps S and T and proved strong convergence of the sequence $\left\{{x}_{n}\right\}$ to a common fixed point of S and T in a real strictly convex Banach space. Takahashi and Tamura [25] proved strong and weak convergence of the sequence defined by (1.1) to a common fixed point of a pair of nonexpansive mappings T and S using a weaker condition on the maps.

Using a similar scheme, Wang [26] proved strong and weak convergence theorems for a pair of nonself asymptotically nonexpansive mappings in a uniformly convex Banach space.

Shahzad and Udomene [22] proved the necessary and sufficient conditions for the strong convergence of the scheme of type (1.1) to a common fixed point of two uniformly continuous asymptotically quasi-nonexpansive mappings in a real Banach space.

Chidume and Ali [4] introduced and proved strong convergence of the scheme defined by

$\left\{\begin{array}{c}{x}_{1}\in C,\hfill \\ {x}_{n+1}=P\left[\left(1-{\alpha }_{1n}\right){x}_{n}+{\alpha }_{1n}{T}_{1}{\left(P{T}_{1}\right)}^{n-1}{y}_{n+m-2}\right],\hfill \\ {y}_{n+m-2}=P\left[\left(1-{\alpha }_{2n}\right){x}_{n}+{\alpha }_{2n}{T}_{2}{\left(P{T}_{2}\right)}^{n-1}{y}_{n+m-3}\right],\hfill \\ ⋮\hfill \\ {y}_{n}=P\left[\left(1-{\alpha }_{mn}\right){x}_{n}+{\alpha }_{mn}{T}_{m}{\left(P{T}_{m}\right)}^{n-1}{x}_{n}\right],\phantom{\rule{1em}{0ex}}n\ge 1\hfill \end{array}$

to a common fixed point of a finite family of nonself asymptotically nonexpansive mappings in a uniformly convex Banach space.

Khan et al. [13] introduced and studied the following scheme:

$\left\{\begin{array}{c}{x}_{1}\in K,\phantom{\rule{2em}{0ex}}{y}_{0n}={x}_{n},\hfill \\ {x}_{n+1}=\left(1-{\alpha }_{kn}\right){x}_{n}+{\alpha }_{kn}{T}_{k}^{n}{y}_{k-1n},\hfill \\ {y}_{k-1n}=\left(1-{\alpha }_{k-1n}\right){x}_{n}+{\alpha }_{k-1n}{T}_{k-1}^{n}{y}_{k-2n},\hfill \\ ⋮\hfill \\ {y}_{1n}=\left(1-{\alpha }_{1n}\right){x}_{n}+{\alpha }_{1n}{T}_{1}^{n}{y}_{0n},\phantom{\rule{1em}{0ex}}n\ge 1\hfill \end{array}$

for a common fixed point of a finite family of asymptotically quasi-nonexpansive mappings in a Banach space.

It is known that only weak convergence theorems were proved for nonexpansive maps even in Hilbert spaces using Mann and Ishikawa type schemes.

In 2000 Solodov and Svaiter [23] introduced a hybrid proximal point type iterative scheme and proved the strong convergence of the scheme to a zero of a maximal monotone operator.

In 2003 Nakajo and Takahashi [19] proposed a hybrid Mann scheme for nonexpansive mappings and nonexpansive semigroups and proved strong convergence theorems.

Kim and Xu [14] generalized the result of Nakajo and Takahashi by proving strong convergence theorems for asymptotically nonexpansive mappings and asymptotically nonexpansive semigroups. Plubtieng and Ughchittrakool [20] introduced an Ishikawa type hybrid scheme for two asymptotically nonexpansive mappings and two asymptotically nonexpansive semigroups.

Takahashi et al. [24] studied a simpler hybrid scheme for nonexpansive mappings in Hilbert spaces. Inchan and Plubtieng [10], adopted this simpler scheme of Takahashi et al. with little modification for two nonexpansive maps and two nonexpansive semigroups. They proved the following theorem:

Theorem 1.1 ([10])

Let H be a real Hilbert space and let C be a nonempty, closed, convex, and bounded subset of H. Let $S,T:C\to C$ be two asymptotically nonexpansive mappings with sequences $\left\{{s}_{n}\right\}$ and $\left\{{t}_{n}\right\}$ respectively and $F=F\left(S\right)\cap F\left(T\right)\ne \mathrm{\varnothing }$. Let ${x}_{0}\in C$. Then the sequence $\left\{{x}_{n}\right\}$ generated by

$\left\{\begin{array}{c}{y}_{n}={\alpha }_{n}{x}_{n}+\left(1-{\alpha }_{n}\right){T}_{1}^{n}{z}_{n},\hfill \\ {z}_{n}={\beta }_{n}{x}_{n}+\left(1-{\beta }_{n}\right){S}^{n}{x}_{n},\hfill \\ {C}_{n+1}=\left\{z\in {C}_{n}:{\parallel {y}_{n}-z\parallel }^{2}\le {\parallel {x}_{n}-z\parallel }^{2}+{\theta }_{n}\right\},\hfill \\ {x}_{n+1}={P}_{{C}_{n+1}}{x}_{0},\phantom{\rule{1em}{0ex}}n\in \mathbb{N},\hfill \end{array}$
(1.2)

converges strongly to ${z}_{0}={P}_{F}{x}_{0}$, where ${\theta }_{n}=\left(1-{\alpha }_{n}\right)\left[\left({t}_{n}^{2}-1\right)+\left(1-{\beta }_{n}\right){t}_{n}^{2}\left({s}_{n}^{2}-1\right)\right]{\left(diamC\right)}^{2}\to 0$ as $n\to \mathrm{\infty }$ and $0\le {\alpha }_{n}\le a<1$, $0 for all $n\in \mathbb{N}$.

Kimura and Takahashi [15] proved strong convergence theorem for the family of relatively nonexpansive mappings in strictly convex Banach spaces having Kadec-Klee property and Frechet differentiable norm.

Recently, Zhou et al. [28] have proved strong convergence theorem for the family ${T}_{i}:C\to C$, $i\in I$ of quasi-ϕ-asymptotically nonexpansive mappings, where C is a nonempty, closed, convex and bounded subset of a uniformly smooth and uniformly convex Banach space E.

More recently, Xu et al. [27] have studied a modified hybrid scheme for fixed point of families of quasi-ϕ-asymptotically nonexpansive mappings. They proved the following theorem:

Theorem 1.2 ([27])

Let C be a nonempty closed convex subset of a uniformly convex and uniformly smooth Banach space E, and let ${T}_{i}:C\to C$, $i\in I$ be a family of closed and quasi-ϕ-asymptotically nonexpansive mappings such that $F:={\bigcap }_{i\in I}F\left({T}_{i}\right)\ne \mathrm{\varnothing }$. Assume that every ${T}_{i}$, $i\in I$ is asymptotically regular on C. Let $\left\{{\alpha }_{n}\right\}$, $\left\{{\beta }_{n}\right\}$ and $\left\{{\gamma }_{n}\right\}$ be real sequences in $\left[0,1\right]$ such that ${lim}_{n\to \mathrm{\infty }}{\alpha }_{n}=0$, ${lim inf}_{n\to \mathrm{\infty }}{\gamma }_{n}>0$. Define a sequence $\left\{{x}_{n}\right\}$ in C by:

$\left\{\begin{array}{c}{x}_{0}\in C\phantom{\rule{1em}{0ex}}\mathit{\text{chosen arbitrarily}},\hfill \\ {y}_{ni}={j}^{-1}\left({\alpha }_{n}j{x}_{0}+{\beta }_{n}j{x}_{n}+{\gamma }_{n}j{T}_{i}^{n}{x}_{n}\right),\hfill \\ {C}_{0}=C,\hfill \\ {C}_{n,i}=\left\{z\in {C}_{n-1}:\varphi \left(z,{y}_{n,i}\right)\le {\alpha }_{n}\varphi \left(z,{x}_{0}\right)+\left({\beta }_{n}+{\gamma }_{n}{k}_{n,i}\right)\varphi \left(z,{x}_{n}\right)\right\},\hfill \\ {C}_{n}={\bigcap }_{i\in I}{C}_{n,i},\hfill \\ {x}_{n+1}={\prod }_{{C}_{n}}{x}_{0}.\hfill \end{array}$
(1.3)

Then, $\left\{{x}_{n}\right\}$ converges strongly to ${\prod }_{F}{x}_{0}$, where ${\prod }_{F}$ is the generalized projection from E onto F.

Motivated by these results, we have the purpose in this paper to study a new modified hybrid iterative scheme and prove a strong convergence theorem for a finite family of generalized quasi-ϕ-asymptotically nonexpansive mappings in a uniformly convex and uniformly smooth real Banach space. Our theorems improve and unify several recent important results.

## 2 Preliminaries

Consider a sequence $\left\{{C}_{n}\right\}$ of nonempty closed and convex subsets of a reflexive Banach space E. Let $s-lim{C}_{n}$ denotes the set of all strong limits of sequences $\left\{{x}_{n}\right\}$ satisfying ${x}_{n}\in {C}_{n}$ for all $n\in \mathbb{N}$ and $w-lim{C}_{n}$ be the set of all weak limits of sequences $\left\{{y}_{i}\right\}$ satisfying ${y}_{i}\in {C}_{{n}_{i}}$ for all $i\in \mathbb{N}$ where $\left\{{C}_{{n}_{i}}\right\}$ is some subsequence of $\left\{{C}_{n}\right\}$. The sequence $\left\{{C}_{n}\right\}$ is said to converge to ${C}^{\ast }$ in the sense of Mosco [18] if $s-lim{C}_{n}=w-lim{C}_{n}={C}^{\ast }$. The Mosco limit of $\left\{{C}_{n}\right\}$ is denoted by $M-lim{C}_{n}$.

We shall make use of the following important results in the sequel.

Lemma 2.1 (Kamimura and Takahashi [12])

Let E be a real smooth and uniformly convex Banach space and $\left\{{x}_{n}\right\}$, $\left\{{y}_{n}\right\}$ be two sequences of E. If ${lim}_{n\to \mathrm{\infty }}\varphi \left({x}_{n},{y}_{n}\right)=0$ and either $\left\{{x}_{n}\right\}$ or $\left\{{y}_{n}\right\}$ is bounded, then ${lim}_{n\to \mathrm{\infty }}\parallel {x}_{n}-{y}_{n}\parallel =0$.

Lemma 2.2 (Ibaraki, Kimura and Takahashi [9])

Let C be a nonempty closed convex subset of a real uniformly smooth and uniformly convex Banach space E. Let $\left\{{C}_{n}\right\}$ be a sequence of nonempty closed convex subsets of C. If $M-lim{C}_{n}={C}^{\ast }$ exists and is nonempty, then $\left\{{\prod }_{{C}_{n}}x\right\}$ converges strongly to $\left\{{\prod }_{{C}^{\ast }}x\right\}$ for each $x\in E$.

The result in [9] is more general than the one presented here, but this is sufficient for our purpose.

Lemma 2.3 Let C be a nonempty closed convex subset of a real smooth Banach space and $T:C\to C$ be a closed generalized quasi-ϕ-asymptotically nonexpansive mapping. Then $F\left(T\right)$ is closed and convex.

Proof By the closedness assumption on T and the definition of ϕ, the result follows immediately. □

## 3 Main results

Theorem 3.1 Let E be a real uniformly convex and uniformly smooth Banach space and C be a nonempty, bounded, closed and convex subset of E. Let ${T}_{k}:C\to C$, $k=1,2,3,\dots ,m$ be a finite family of closed generalized quasi-ϕ-asymptotically nonexpansive maps with corresponding sequences $\left\{{t}_{kn}\right\}$ and $\left\{{s}_{kn}\right\}$, $k=1,2,3,\dots ,m$ such that ${t}_{kn}\to 1$ and ${s}_{kn}\to 0$ as $n\to \mathrm{\infty }$. Let $F={\bigcap }_{k=1}^{m}F\left({T}_{k}\right)\ne \mathrm{\varnothing }$ and let ${t}_{n}={max}_{1\le k\le m}{t}_{kn}$, $n\in \mathbb{N}$. Assume also that the maps ${T}_{k}$, $k=1,2,\dots ,m$ are uniformly asymptotically regular. Let ${x}_{0}\in C$ be arbitrary and ${C}_{0}=C$ and let $M={sup}_{x,y\in C}\varphi \left(x,y\right)$. For $k=1,2,\dots ,m$, let $\left\{{\beta }_{kn}\right\}$ be sequences in $\left(a,b\right)$ for some $a,b\in \left(0,1\right)$, $a. Let $\left\{{x}_{n}\right\}$ be a sequence generated by

$\left\{\begin{array}{c}{x}_{1}={x}_{0},\hfill \\ {z}_{1n}={j}^{-1}\left({\beta }_{1n}j{x}_{n}+\left(1-{\beta }_{1n}\right)j{T}_{1}^{n}{x}_{n}\right),\hfill \\ {z}_{kn}={j}^{-1}\left({\beta }_{kn}j{x}_{n}+\left(1-{\beta }_{kn}\right)j{T}_{k}^{n}{z}_{\left(k-1\right)n}\right),\phantom{\rule{1em}{0ex}}k=2,3,4,\dots ,m,\hfill \\ {C}_{kn}=\left\{v\in {C}_{n-1}:\varphi \left(v,{z}_{kn}\right)\le \varphi \left(v,{x}_{n}\right)+{\gamma }_{kn}\right\},\phantom{\rule{1em}{0ex}}k=1,2,3,\dots ,m,\hfill \\ {C}_{n}={\bigcap }_{k=1}^{m}{C}_{kn},\hfill \\ {x}_{n+1}={\prod }_{{C}_{n}}{x}_{0},\phantom{\rule{1em}{0ex}}n\ge 1,\hfill \end{array}$
(3.1)

where ${\gamma }_{kn}=\left({t}_{n}-1\right)\left(1-{\beta }_{kn}\right)\left[1+{t}_{kn}\left(1-{\beta }_{\left(k-1\right)n}\right)\left[1+{t}_{\left(k-1\right)n}\left(1-{\beta }_{\left(k-2\right)n}\right)×\left[1+{t}_{\left(k-2\right)n}\left(1-{\beta }_{\left(k-3\right)n}\right)\left[\cdots \left[1+{t}_{2n}\left(1-{\beta }_{1n}\right)\right]\cdots \right]\right]\right]\right]M+{\sum }_{i=1}^{k}{s}_{in}{\prod }_{j=i}^{k}\left(1-{\beta }_{jn}\right){\prod }_{l=i+1}^{k}{t}_{ln}$. Then the sequence $\left\{{x}_{n}\right\}$ converges strongly to ${x}^{\ast }={\prod }_{F}{x}_{0}$.

Proof We start by showing that $F\subset {C}_{n}$ $\mathrm{\forall }n\in \mathbb{N}\cup \left\{0\right\}$. We do this by induction. $F\subset {C}_{0}$ by definition. We suppose that $F\subset {C}_{N}$ for some $N\in \mathbb{N}\cup \left\{0\right\}$. We observe that for $v\in F$, using convexity of ${\parallel \cdot \parallel }^{2}$ and (3.1), we have

$\begin{array}{rcl}\varphi \left(v,{z}_{1n}\right)& =& {\parallel v\parallel }^{2}+{\parallel {j}^{-1}\left({\beta }_{1n}j{x}_{n}+\left(1-{\beta }_{1n}\right)j{T}_{1}^{n}{x}_{n}\right)\parallel }^{2}\\ -2〈v,j\left({j}^{-1}\left({\beta }_{1n}j{x}_{n}+\left(1-{\beta }_{1n}\right)j{T}_{1}^{n}{x}_{n}\right)\right)〉\\ =& {\beta }_{1n}{\parallel v\parallel }^{2}+\left(1-{\beta }_{1n}\right){\parallel v\parallel }^{2}+{\parallel {\beta }_{1n}j{x}_{n}+\left(1-{\beta }_{1n}\right)j{T}_{1}^{n}{x}_{n}\parallel }^{2}\\ -2〈v,{\beta }_{1n}j{x}_{n}+\left(1-{\beta }_{1n}\right)j{T}_{1}^{n}{x}_{n}〉\\ \le & {\beta }_{1n}\left({\parallel v\parallel }^{2}+{\parallel {x}_{n}\parallel }^{2}-2〈v,j{x}_{n}〉\right)\\ +\left(1-{\beta }_{1n}\right)\left({\parallel v\parallel }^{2}+{\parallel j{T}_{1}^{n}{x}_{n}\parallel }^{2}-2〈v,j{T}_{1}^{n}{x}_{n}〉\right)\\ =& {\beta }_{1n}\varphi \left(v,{x}_{n}\right)+\left(1-{\beta }_{1n}\right)\varphi \left(v,{T}_{1}^{n}{x}_{n}\right)\\ \le & \varphi \left(v,{x}_{n}\right)-\left(1-{\beta }_{1n}\right)\varphi \left(v,{x}_{n}\right)+\left(1-{\beta }_{1n}\right){t}_{1n}\varphi \left(v,{x}_{n}\right)+\left(1-{\beta }_{1n}\right){s}_{1n}\\ =& \varphi \left(v,{x}_{n}\right)+\left({t}_{1n}-1\right)\left(1-{\beta }_{1n}\right)\varphi \left(v,{x}_{n}\right)+{s}_{1n}\left(1-{\beta }_{1n}\right)\\ \le & \varphi \left(v,{x}_{n}\right)+\left({t}_{n}-1\right)\left(1-{\beta }_{1n}\right)\varphi \left(v,{x}_{n}\right)+{s}_{1n}\left(1-{\beta }_{1n}\right)\end{array}$

and

$\begin{array}{rcl}\varphi \left(v,{z}_{2n}\right)& =& {\parallel v\parallel }^{2}+{\parallel {j}^{-1}\left({\beta }_{2n}j{x}_{n}+\left(1-{\beta }_{2n}\right)j{T}_{2}^{n}{z}_{1n}\right)\parallel }^{2}\\ -2〈v,j\left({j}^{-1}\left({\beta }_{2n}j{x}_{n}+\left(1-{\beta }_{2n}\right)j{T}_{2}^{n}{z}_{1n}\right)\right)〉\\ \le & \varphi \left(v,{x}_{n}\right)-\left(1-{\beta }_{2n}\right)\varphi \left(v,{x}_{n}\right)+\left(1-{\beta }_{2n}\right){t}_{2n}\varphi \left(v,{z}_{1n}\right)+\left(1-{\beta }_{2n}\right){s}_{2n}\\ \le & \varphi \left(v,{x}_{n}\right)-\left(1-{\beta }_{2n}\right)\varphi \left(v,{x}_{n}\right)\\ +\left(1-{\beta }_{2n}\right){t}_{2n}\left[\varphi \left(v,{x}_{n}\right)+\left({t}_{n}-1\right)\left(1-{\beta }_{1n}\right)\varphi \left(v,{x}_{n}\right)+\left(1-{\beta }_{1n}\right){s}_{1n}\right]\\ +\left(1-{\beta }_{2n}\right){s}_{2n}\\ =& \varphi \left(v,{x}_{n}\right)+\left({t}_{2n}-1\right)\left(1-{\beta }_{2n}\right)\varphi \left(v,{x}_{n}\right)+\left(1-{\beta }_{2n}\right){t}_{2n}\left[\left({t}_{n}-1\right)\left(1-{\beta }_{1n}\right)\varphi \left(v,{x}_{n}\right)\right]\\ +\left(1-{\beta }_{1n}\right)\left(1-{\beta }_{2n}\right){s}_{1n}{t}_{2n}+\left(1-{\beta }_{2n}\right){s}_{2n}\\ \le & \varphi \left(v,{x}_{n}\right)+\left({t}_{n}-1\right)\left(1-{\beta }_{2n}\right)\left[1+{t}_{2n}\left(1-{\beta }_{1n}\right)\right]\varphi \left(v,{x}_{n}\right)\\ +{s}_{1n}\left(1-{\beta }_{1n}\right)\left(1-{\beta }_{2n}\right){t}_{2n}+{s}_{2n}\left(1-{\beta }_{2n}\right).\end{array}$

Similarly,

$\begin{array}{rcl}\varphi \left(v,{z}_{3n}\right)& =& {\parallel v\parallel }^{2}+{\parallel {j}^{-1}\left({\beta }_{3n}j{x}_{n}+\left(1-{\beta }_{3n}\right)j{T}_{3}^{n}{z}_{2n}\right)\parallel }^{2}\\ -2〈v,j\left({j}^{-1}\left({\beta }_{3n}j{x}_{n}+\left(1-{\beta }_{3n}\right)j{T}_{3}^{n}{z}_{2n}\right)\right)〉\\ \le & \varphi \left(v,{x}_{n}\right)-\left(1-{\beta }_{3n}\right)\varphi \left(v,{x}_{n}\right)+\left(1-{\beta }_{3n}\right){t}_{3n}\varphi \left(v,{z}_{2n}\right)+\left(1-{\beta }_{3n}\right){s}_{3n}\\ \le & \varphi \left(v,{x}_{n}\right)-\left(1-{\beta }_{3n}\right)\varphi \left(v,{x}_{n}\right)\\ +\left(1-{\beta }_{3n}\right){t}_{3n}\left[\varphi \left(v,{x}_{n}\right)+\left({t}_{n}-1\right)\left(1-{\beta }_{2n}\right)\left[1+{t}_{2n}\left(1-{\beta }_{1n}\right)\right]\varphi \left(v,{x}_{n}\right)\\ +\left(1-{\beta }_{1n}\right)\left(1-{\beta }_{2n}\right){s}_{1n}{t}_{2n}+\left(1-{\beta }_{2n}\right){s}_{2n}\right]+\left(1-{\beta }_{3n}\right){s}_{3n}\\ \le & \varphi \left(v,{x}_{n}\right)+\left({t}_{n}-1\right)\left(1-{\beta }_{3n}\right)\varphi \left(v,{x}_{n}\right)\\ +\left(1-{\beta }_{3n}\right){t}_{3n}\left[\left({t}_{n}-1\right)\left(1-{\beta }_{2n}\right)\left[1+{t}_{2n}\left(1-{\beta }_{1n}\right)\right]\right]\varphi \left(v,{x}_{n}\right)\\ +{s}_{1n}\left(1-{\beta }_{1n}\right)\left(1-{\beta }_{2n}\right)\left(1-{\beta }_{3n}\right){t}_{2n}{t}_{3n}+{s}_{2n}\left(1-{\beta }_{2n}\right)\left(1-{\beta }_{3n}\right){t}_{3n}+{s}_{3n}\left(1-{\beta }_{3n}\right)\\ =& \varphi \left(v,{x}_{n}\right)+\left({t}_{n}-1\right)\left(1-{\beta }_{3n}\right)\left[1+{t}_{3n}\left(1-{\beta }_{2n}\right)\left[1+{t}_{2n}\left(1-{\beta }_{1n}\right)\right]\right]\varphi \left(v,{x}_{n}\right)\\ +\sum _{i=1}^{3}{s}_{in}\prod _{j=i}^{3}\left(1-{\beta }_{jn}\right)\prod _{l=i+1}^{3}{t}_{ln}.\end{array}$

Continuing in this way, we get for $k=4,5,\dots ,m$,

$\begin{array}{rcl}\varphi \left(v,{z}_{kn}\right)& \le & \varphi \left(v,{x}_{n}\right)+\left({t}_{n}-1\right)\left(1-{\beta }_{kn}\right)\left[1+{t}_{kn}\left(1-{\beta }_{\left(k-1\right)n}\right)\\ ×\left[1+{t}_{\left(k-1\right)n}\left(1-{\beta }_{\left(k-2\right)n}\right)\left[1+{t}_{\left(k-2\right)n}\left(1-{\beta }_{\left(k-3\right)n}\right)\\ ×\left[\cdots \left[1+{t}_{2n}\left(1-{\beta }_{1n}\right)\right]\cdots \right]\right]\right]\right]M\\ +\sum _{i=1}^{k}{s}_{in}\prod _{j=i}^{k}\left(1-{\beta }_{jn}\right)\prod _{l=i+1}^{k}{t}_{ln}\\ =& \varphi \left(v,{x}_{n}\right)+{\gamma }_{kn}.\end{array}$

So $\varphi \left(v,{z}_{k\left(N+1\right)}\right)\le \varphi \left(v,{x}_{N+1}\right)+{\gamma }_{k\left(N+1\right)}$ for any $v\in F$ and $k\in \left\{1,2,\dots ,m\right\}$. This and the induction hypothesis give that $F\subset {C}_{k\left(N+1\right)}$ for all $k\in \left\{1,2,\dots ,m\right\}$. Therefore, $F\subset {C}_{N+1}$ and hence $F\subset {C}_{n}$ for all $n\in \mathbb{N}$.

Also by induction and using the fact that $\varphi \left(\cdot ,x\right)$ is continuous on E for any $x\in E$, it follows that ${C}_{kn}$ is closed for each $n\in \mathbb{N}$ and $k\in \left\{1,2,\dots ,m\right\}$, and consequently, ${C}_{n}$ is closed for each $n\in \mathbb{N}$.

We now prove that ${C}_{n}$ is convex for all $n\in \mathbb{N}$. We observe that $s\in {C}_{kn}$ is equivalent to $s\in {C}_{n-1}$ and ${\parallel {z}_{nk}\parallel }^{2}-{\parallel {x}_{n}\parallel }^{2}\le 2〈s,j{x}_{n}-j{z}_{nk}〉+{\gamma }_{kn}$. So the convexity of ${C}_{kn}$ for each $k\in \left\{1,2,\dots ,m\right\}$ and for each $n\in \mathbb{N}$ follows immediately by induction. Thus ${C}_{n}$ is convex for each $n\in \mathbb{N}$.

We now show that the sequence $\left\{{x}_{n}\right\}$ converges. Since $\left\{{C}_{n}\right\}$ is a decreasing sequence of closed, convex subsets of E, such that ${\bigcap }_{n=1}^{\mathrm{\infty }}{C}_{n}\ne \mathrm{\varnothing }$, then the Mosco limit $M-{lim}_{n\to \mathrm{\infty }}{C}_{n}$ exists and $M-{lim}_{n\to \mathrm{\infty }}{C}_{n}={\bigcap }_{n=1}^{\mathrm{\infty }}{C}_{n}$. By Lemma 2.2, the sequence $\left\{{x}_{n}\right\}$ converges to ${x}^{\ast }:={\prod }_{{C}^{\ast }}{x}_{0}$, where ${C}^{\ast }={\bigcap }_{n=1}^{\mathrm{\infty }}{C}_{n}$.

We observe that

(3.2)

and from the fact that $\left\{{x}_{n}\right\}$ is convergent, we easily deduce that

$\underset{n\to \mathrm{\infty }}{lim}\varphi \left({x}_{n+1},{x}_{n}\right)=0.$
(3.3)

Since ${x}_{n+1}\in {C}_{n}$, we get that for each $k\in \left\{1,2,\dots ,m\right\}$, $\varphi \left({x}_{n+1},{z}_{kn}\right)\le \varphi \left({x}_{n+1},{x}_{n}\right)+{\gamma }_{kn}$, and so from (3.2) and (3.3), we obtain ${lim}_{n\to \mathrm{\infty }}\varphi \left({x}_{n+1},{z}_{kn}\right)=0$ for each $k\in \left\{1,2,\dots ,m\right\}$. By Lemma 2.1, we get that ${lim}_{n\to \mathrm{\infty }}\parallel {x}_{n+1}-{z}_{kn}\parallel =0$ and ${lim}_{n\to \mathrm{\infty }}\parallel {x}_{n+1}-{x}_{n}\parallel =0$. So, for each $k\in \left\{1,2,\dots ,m\right\}$,

(3.4)

Since j is norm-to-norm uniformly continuous on bounded subsets of E, we get that, for each $k\in \left\{1,2,\dots ,m\right\}$, ${lim}_{n\to \mathrm{\infty }}\parallel j{x}_{n}-j{z}_{kn}\parallel =0$. Using (3.1) we obtain that

and for $k\in \left\{2,3,\dots ,m\right\}$,

Using these and the fact that ${j}^{-1}$ is norm-to-norm uniformly continuous on bounded subsets of ${E}^{\ast }$, we get

$\underset{n\to \mathrm{\infty }}{lim}\parallel {x}_{n}-{T}_{1}^{n}{x}_{n}\parallel =\underset{n\to \mathrm{\infty }}{lim}\parallel {x}_{n}-{T}_{2}^{n}{z}_{1n}\parallel =\cdots =\underset{n\to \mathrm{\infty }}{lim}\parallel {x}_{n}-{T}_{m}^{n}{z}_{\left(m-1\right)n}\parallel =0.$
(3.5)

Since ${x}_{n}\to {x}^{\ast }$ as $n\to \mathrm{\infty }$, we obtain that ${T}_{1}^{n}{x}_{n}\to {x}^{\ast },{T}_{2}^{n}{z}_{1n}\to {x}^{\ast },\dots ,{T}_{m}^{n}{z}_{\left(m-1\right)n}\to {x}^{\ast }$, as $n\to \mathrm{\infty }$. By the uniform asymptotic regularity of each of the maps ${T}_{k}$, $k=1,2,\dots ,m$, we get

and

for $k=2,3,\dots ,m$. These imply ${T}_{1}\left({T}_{1}^{n}{x}_{n}\right)\to {x}^{\ast }$ and ${T}_{k}\left({T}_{k}^{n}{z}_{\left(k-1\right)n}\right)\to {x}^{\ast }$ as $n\to \mathrm{\infty }$, and for $k=2,3,\dots ,m$. By the closedness of each of the maps ${T}_{k}$, $k=1,2,\dots ,m$, we have that ${x}^{\ast }\in F$.

As F is a nonempty closed convex subset of ${C}^{\ast }:={\bigcap }_{n=1}^{\mathrm{\infty }}{C}_{n}$, we obtain that ${x}^{\ast }={\prod }_{F}{x}_{0}$. This completes the proof. □

The conditions of closedness and uniform asymptotic regularity on the maps ${\left\{{T}_{k}\right\}}_{k=1}^{m}$ can be replaced by the condition that each of the maps ${\left\{{T}_{k}\right\}}_{k=1}^{m}$ is uniformly Lipschitz. So we have the following theorem:

Theorem 3.2 Let E, C, ${\left\{{T}_{k}\right\}}_{k=1}^{m}$, F, $\left\{{t}_{kn}\right\}$, $\left\{{s}_{kn}\right\}$, and $\left\{{x}_{n}\right\}$ be as in Theorem  3.1 with the exception that ${\left\{{T}_{k}\right\}}_{k=1}^{m}$ are uniformly ${L}_{k}$, $k=1,2,\dots ,m$, Lipschitzian instead of uniformly asymptotically regular and closed. Then the sequence $\left\{{x}_{n}\right\}$ converges strongly to ${x}^{\ast }={\prod }_{F}{x}_{0}$.

Proof The proof that $F\in {C}_{n}$, ${C}_{n}$ is closed, convex for each $n\in \mathbb{N}$ and ${lim}_{n\to \mathrm{\infty }}{x}_{n}={x}^{\ast }$ follows as in Theorem 3.1. Also relations (3.2), (3.3), (3.4) and (3.5) are obtainable as in Theorem 3.1. We only need to show that ${x}^{\ast }\in F$. Let $L:={max}_{1\le k\le m}{L}_{k}$, then using (3.4) and (3.5) we get

(3.6)

and for $k=2,3,\dots ,m$,

(3.7)

So we obtain

(3.8)

and also for $k=2,3,\dots ,m$,

(3.9)

Finally, using these, the fact that ${x}_{n}\to {x}^{\ast }$ as $n\to \mathrm{\infty }$, and the continuity of ${T}_{k}$ for each k, we obtain that ${x}^{\ast }\in F$ and this completes the proof. □

The following corollaries follow from Theorems 3.1 and 3.2.

Corollary 3.3 Let E be a real uniformly convex and uniformly smooth Banach space and C be a nonempty, bounded, closed and convex subset of E. Let ${T}_{k}:C\to C$, $k=1,2,3,\dots ,m$ be a finite family of quasi-ϕ-asymptptically nonexpansive maps with corresponding sequences $\left\{{t}_{kn}\right\}$, $k=1,2,3,\dots ,m$, such that ${t}_{kn}\to 1$, as $n\to \mathrm{\infty }$. Let $F={\bigcap }_{k=1}^{m}F\left({T}_{k}\right)\ne \mathrm{\varnothing }$ and let ${t}_{n}={max}_{1\le k\le m}{t}_{kn},n\in \mathbb{N}$. Assume also that the maps ${T}_{k}$, $k=1,2,\dots ,m$ are either closed and uniformly asymptotically regular on C or uniformly Lipschitzian on C. Let ${x}_{0}\in C$ be arbitrary and ${C}_{0}=C$. For $k=1,2,\dots ,m$, let $\left\{{\beta }_{kn}\right\}$ be sequences in $\left(a,b\right)$ for some $a,b\in \left(0,1\right)$, $a. Let $\left\{{x}_{n}\right\}$ be a sequence generated by (3.1). Then the sequence $\left\{{x}_{n}\right\}$ converges strongly to ${x}^{\ast }={\prod }_{F}{x}_{0}$.

Corollary 3.4 Let E be a real uniformly convex and uniformly smooth Banach space and C be a nonempty, bounded, closed and convex subset of E. Let ${T}_{k}:C\to C$, $k=1,2,3,\dots ,m$ be a finite family of ϕ-asymptotically nonexpansive maps with corresponding sequences $\left\{{t}_{kn}\right\}$, $k=1,2,3,\dots ,m$, such that ${t}_{kn}\to 1$, as $n\to \mathrm{\infty }$. Let $F={\bigcap }_{k=1}^{m}F\left({T}_{k}\right)\ne \mathrm{\varnothing }$ and let ${t}_{n}={max}_{1\le k\le m}{t}_{kn}$. Assume also that the maps ${T}_{k}$, $k=1,2,\dots ,m$ are either closed and uniformly asymptotically regular on C or uniformly Lipschitzian on C. Let ${x}_{0}\in C$ be arbitrary and ${C}_{0}=C$. For $k=1,2,\dots ,m$, let $\left\{{\beta }_{kn}\right\}$ be sequences in $\left(a,b\right)$ for some $a,b\in \left(0,1\right)$, $a. Let $\left\{{x}_{n}\right\}$ be a sequence generated by (3.1). Then the sequence $\left\{{x}_{n}\right\}$ converges strongly to ${x}^{\ast }={\prod }_{F}{x}_{0}$.

Corollary 3.5 Let H be a real Hilbert space, C be a nonempty, bounded, closed and convex subset of H. Let ${T}_{k}:C\to C$, $k=1,2,3,\dots ,m$ be a finite family of generalized asymptotically quasi-nonexpansive maps with corresponding sequences $\left\{{t}_{kn}\right\}$ and $\left\{{s}_{kn}\right\}$, $k=1,2,3,\dots ,m$ such that ${t}_{kn}\to 1$ and ${s}_{kn}\to 0$ as $n\to \mathrm{\infty }$. Let $F={\bigcap }_{k=1}^{m}F\left({T}_{k}\right)\ne \mathrm{\varnothing }$ and let ${t}_{n}={max}_{1\le k\le m}{t}_{kn}$. Assume also that the maps ${T}_{k}$, $k=1,2,\dots ,m$ are either closed and uniformly asymptotically regular on C or uniformly ${L}_{k}$, $k=1,2,\dots ,m$ Lipschitzian on C. Let ${x}_{0}\in C$ be arbitrary and ${C}_{0}=C$. For $k=1,2,\dots ,m$, let $\left\{{\beta }_{kn}\right\}$ be sequences in $\left(a,b\right)$ for some $a,b\in \left(0,1\right)$, $a. Let $\left\{{x}_{n}\right\}$ be a sequence generated by

$\left\{\begin{array}{c}{x}_{1}={x}_{0}\hfill \\ {z}_{1n}={\beta }_{1n}{x}_{n}+\left(1-{\beta }_{1n}\right){T}_{1}^{n}{x}_{n},\hfill \\ {z}_{kn}={\beta }_{kn}{x}_{n}+\left(1-{\beta }_{kn}\right){T}_{k}^{n}{z}_{\left(k-1\right)n},\phantom{\rule{1em}{0ex}}k=2,3,4,\dots ,m,\hfill \\ {C}_{kn}=\left\{v\in {C}_{n-1}:{\parallel {z}_{kn}-v\parallel }^{2}\le {\parallel {x}_{n}-v\parallel }^{2}+{\gamma }_{kn}\right\},\hfill \\ {C}_{n}={\bigcap }_{k=1}^{k}{C}_{kn},\hfill \\ {x}_{n+1}={P}_{{C}_{n}}{x}_{0},\phantom{\rule{1em}{0ex}}n\in \mathbb{N},\hfill \end{array}$
(3.10)

where ${\gamma }_{kn}=\left({t}_{n}^{2}-1\right)\left(1-{\beta }_{kn}\right)\left[1+{t}_{kn}^{2}\left(1-{\beta }_{k-1n}\right)\left[1+{t}_{\left(k-1\right)n}^{2}\left(1-{\beta }_{\left(k-2\right)n}\right)×\left[1+{t}_{\left(k-2\right)n}^{2}\left(1-{\beta }_{\left(k-3\right)n}\right)\left[\cdots \left[1+{t}_{2n}^{2}\left(1-{\beta }_{1n}\right)\right]\cdots \right]\right]\right]\right]{\left(diamC\right)}^{2}+{\sum }_{i=1}^{k}{s}_{in}{\prod }_{j=i}^{k}\left(1-{\beta }_{jn}\right){\prod }_{l=i+1}^{k}{t}_{ln}$. Then, the sequence $\left\{{x}_{n}\right\}$ converges strongly to ${x}^{\ast }={P}_{F}{x}_{0}$.

Corollary 3.6 Let H be a real Hilbert space, C be a nonempty,closed and convex subset of H. Let ${T}_{k}:C\to C$, $k=1,2,3,\dots ,m$ be a finite family of asymptotically nonexpansive maps with corresponding sequences $\left\{{t}_{kn}\right\}$, $k=1,2,3,\dots ,m$, such that ${t}_{kn}\to 1$ as $n\to \mathrm{\infty }$. Let $F={\bigcap }_{k=1}^{m}F\left({T}_{k}\right)\ne \mathrm{\varnothing }$ and let ${t}_{n}={max}_{1\le k\le m}{t}_{kn}$. Let ${x}_{0}\in C$ be arbitrary and ${C}_{1}=C$. For $k=1,2,\dots ,m$, let $\left\{{\beta }_{kn}\right\}$ be sequences in $\left(a,b\right)$ for some $a,b\in \left(0,1\right)$, $a. Let $\left\{{x}_{n}\right\}$ be a sequence generated by (3.10). Then the sequence $\left\{{x}_{n}\right\}$ converges to ${P}_{F}{x}_{0}$.

Remark 3.7 Theorem 3.1 and Corollary 3.5 extend and improve several important recent results. For instance, Corollary 3.5 is an improvement and generalization of Theorem 1.1 and Theorem 3.1 of [20].

Remark 3.8 It is not clear whether Theorem 3.1 and Corollary 3.5 hold without the boundedness assumption on C.

## References

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

2. Alber Y, Guerre-Delabriere S: On the projection methods for fixed point problems. Analysis 2001, 21: 17–39.

3. Belluce LP, Kirk WA: Fixed point theorem for families of contraction mappings. Pac. J. Math. 1966, 18: 213–217. 10.2140/pjm.1966.18.213

4. Chidume CE, Ali B: Approximation of common fixed points for finite families of nonself asymptotically nonexpansive mappings in Banach spaces. J. Math. Anal. Appl. 2007, 326: 960–973. 10.1016/j.jmaa.2006.03.045

5. Chidume CE, Ali B: Convergence theorems for finite families of asymptotically nonexpansive mappings. J. Inequal. Appl. 2007., 326: Article ID 68616. doi:10.1155/2007/68616

6. Das G, Debata JP: Fixed points of quasi-nonexpansive mappings. Indian J. Pure Appl. Math. 1986, 17: 1263–1269.

7. Diaz JB, Metcalf FB: On the structure of the set of subsequential limit points of successive approximations. Bull. Am. Math. Soc. 1967, 73: 516–519. 10.1090/S0002-9904-1967-11725-7

8. Goebel K, Kirk WA: A fixed point theorem for asymptotically nonexpansive mappings. Proc. Am. Math. Soc. 1972, 35: 171–174. 10.1090/S0002-9939-1972-0298500-3

9. 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

10. Inchan I, Plubtieng S: Strong convergence theorem of hybrid method for two asymptotically nonexpansive mappings in Hilbert spaces. Nonlinear Anal. Hybrid Syst. 2008, 2: 1125–1135. 10.1016/j.nahs.2008.09.006

11. Ishikawa S: Fixed point theorems for asymptotically nonexpansive mappings. Proc. Am. Math. Soc. 1974, 44: 147–150. 10.1090/S0002-9939-1974-0336469-5

12. Kamimura S, Takahashi W: Strong convergence of a proximal type algorithm in Banach space. SIAM J. Optim. 2002, 13: 938–945. 10.1137/S105262340139611X

13. Khan AR, Domlo AA, Fukhar-ud-din H: Common fixed point Noor iteration for finite family of asymptotically quasi-nonexpansive mappings in Banach spaces. J. Math. Anal. Appl. 2008, 341: 1–11. 10.1016/j.jmaa.2007.06.051

14. Kim TH, Xu HK: Strong convergence of modified Mann iterations for asymptotically nonexpansive mappings and semigroups. Nonlinear Anal. 2006, 24: 1140–1152.

15. Kimura Y, Takahashi W: On a hybrid method for family of relatively nonexpansive mappings in a Banach space. J. Math. Anal. Appl. 2009, 357: 356–363. 10.1016/j.jmaa.2009.03.052

16. Kirk WA: A fixed point theorem for mappings which do not increase distance. Am. Math. Mon. 1965, 72: 1004–1006. 10.2307/2313345

17. Lim TC: A fixed point theorem for families of nonexpansive mappings. Pac. J. Math. 1974, 53: 487–493. 10.2140/pjm.1974.53.487

18. Mosco U: Convergence of convex sets and solutions of variational inequalities. Adv. Math. 1969, 3: 510–585. 10.1016/0001-8708(69)90009-7

19. Nakajo K, Takahashi W: Strong convergence theorems for nonexpansive mappings and nonexpansive semigroups. J. Math. Anal. Appl. 2003, 279: 372–379. 10.1016/S0022-247X(02)00458-4

20. Plubtieng S, Ughchittrakool K: Strong convergence of modified Ishikawa iteration for two asymptotically nonexpansive mappings and semigroups. Nonlinear Anal. 2007, 67: 2306–2315. 10.1016/j.na.2006.09.023

21. Shahzad N, Zegeye H: Strong convergence of an implicit iteration process for finite family of generalized asymptotically quasi-nonexpansive maps. Appl. Math. Comput. 2007, 189: 1058–1065. 10.1016/j.amc.2006.11.152

22. Shahzad N, Udomene A: Approximating common fixed points of two asymptotically quasi-nonexpansive mappings in Banach spaces. Fixed Point Theory Appl. 2006., 2006: Article ID 18909

23. Solodov MV, Svaiter BF: Forcing strong convergence of proximal point iterations in a Hilbert space. Math. Program., Ser. A 2000, 87: 189–202.

24. Takahashi W, Takeuchi Y, Kubota R: Strong convergence theorems by hybrid methods for families of nonexpansive mappings in Hilbert space. J. Math. Anal. Appl. 2007, 241: 276–289.

25. Takahashi W, Tamura T: Convergence theorems for pair of nonexpansive mappings. J. Convex Anal. 1998, 5: 45–56.

26. Wang L: Strong and weak convergence theorems for common fixed points of nonself asymptotically nonexpansive mappings. J. Math. Anal. Appl. 2006, 323: 550–557. 10.1016/j.jmaa.2005.10.062

27. Xu Y, Zhang X, Khang J, Su Y: Modified hybrid algorithm for family of quasi- ϕ -asymptotically nonexpansive mappings. Fixed Point Theory Appl. 2010., 2010: Article ID 170701. doi:10.1155/2010170701

28. Zhou H, Gao G, Tan B: Convergence theorems of a modified hybrid algorithm for finite family of quasi- ϕ -asymptotically nonexpansive mappings. J. Appl. Math. Comput. 2010, 32: 453–464. 10.1007/s12190-009-0263-4

Download references

## Acknowledgements

This work was conducted when the first author was visiting the Abdus Salam International Center for Theoretical Physics, Trieste, Italy, as an associate. He would like to thank the center for hospitality and financial support.

## Author information

Authors

### Corresponding author

Correspondence to Bashir Ali.

## Additional information

### Competing interests

The authors declare that they have no competing interest.

### Authors’ contributions

All the authors contributed equally in writing this article.

## 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.

Reprints and Permissions

## About this article

### Cite this article

Ali, B., Minjibir, M. Convergence of a hybrid iterative method for finite families of generalized quasi-ϕ-asymptotically nonexpansive mappings. Fixed Point Theory Appl 2012, 121 (2012). https://doi.org/10.1186/1687-1812-2012-121

Download citation

• Received:

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/1687-1812-2012-121

### Keywords

• generalized quasi-ϕ-asymptotically nonexpansive mappings
• generalized projection map
• hybrid methods
• uniformly convex Banach space
• uniformly smooth Banach space