# Approximation of the common minimum-norm fixed point of a finite family of asymptotically nonexpansive mappings

## Abstract

We introduce an iterative process which converges strongly to the common minimum-norm fixed point of a finite family of asymptotically nonexpansive mappings. As a consequence, convergence result to a common minimum-norm fixed point of a finite family of nonexpansive mappings is proved.

MSC:47H09, 47H10, 47J05, 47J25.

## 1 Introduction

Let K and D be nonempty closed convex subsets of real Hilbert spaces ${H}_{1}$ and ${H}_{2}$, respectively. The split feasibility problem is formulated as finding a point $\overline{x}$ satisfying

$\overline{x}\in K\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}A\overline{x}\in D,$
(1.1)

where A is bounded linear operator from ${H}_{1}$ into ${H}_{2}$. A split feasibility problem in finite dimensional Hilbert spaces was first studied by Censor and Elfving  for modeling inverse problems which arise in medical image reconstruction, image restoration and radiation therapy treatment planing (see, e.g., ).

It is clear that $\overline{x}$ is a solution to the split feasibility problem (1.1) if and only if $\overline{x}\in K$ and $A\overline{x}-{P}_{D}A\overline{x}=0$, where ${P}_{D}$ is the metric projection from ${H}_{2}$ onto D. Set

$\underset{x\in K}{min}\phi \left(x\right):=\underset{x\in K}{min}\frac{1}{2}{\parallel Ax-{P}_{D}Ax\parallel }^{2}.$
(1.2)

Then $\overline{x}$ is a solution of (1.1) if and only if $\overline{x}$ solves the minimization problem (1.2) with the minimum equal to zero. Now, assume that (1.1) is consistent (i.e., (1.1) has a solution), and let Ω denote the (closed convex) solution set of (1.1) (or equivalently, solution of (1.2)). Then, in this case, Ω has a unique element $\overline{x}$ if and only if it is a solution of the following variational inequality:

$\overline{x}\in K,\phantom{\rule{1em}{0ex}}〈▽\phi \left(\overline{x}\right),x-\overline{x}〉=〈{A}^{\ast }\left(I-{P}_{D}\right)A\overline{x},x-\overline{x}〉\ge 0,\phantom{\rule{1em}{0ex}}x\in K,$
(1.3)

where ${A}^{\ast }$ is the adjoint of A. In addition, inequality (1.3) can be rewritten as

$\overline{x}\in K,\phantom{\rule{1em}{0ex}}〈\overline{x}-\gamma {A}^{\ast }\left(I-{P}_{D}\right)A\overline{x}-\overline{x},x-\overline{x}〉\le 0,\phantom{\rule{1em}{0ex}}x\in K,$
(1.4)

where $\gamma >0$ is any positive scalar. Using the nature of projection, (1.4) is equivalent to the fixed point equation

$\overline{x}={P}_{K}\left(\overline{x}-\gamma {A}^{\ast }\left(I-{P}_{D}\right)A\overline{x}\right).$
(1.5)

Recall that a point $\overline{x}\in K$ is said to be a fixed point of T if $T\left(\overline{x}\right)=\overline{x}$. We denote the set of fixed points of T by $F\left(T\right)$, i.e., $F\left(T\right):=\left\{\overline{x}\in K:T\overline{x}=\overline{x}\right\}$. Therefore, finding a solution to the split feasibility problem (1.1) is equivalent to finding the minimum-norm fixed point of the mapping $x↦{P}_{K}\left(x-\gamma {A}^{\ast }\left(I-{P}_{D}\right)Ax\right)$.

Motivated by the above split feasibility problem, we study the general case of finding the minimum-norm fixed point of an asymptotically nonexpansive self-mapping T on K; that is, we find a minimum-norm fixed point of T which satisfies

(1.6)

Let K be a nonempty subset of a real Hilbert space H; a mapping $T:K\to K$ is said to be nonexpansive if $\parallel Tx-Ty\parallel \le \parallel x-y\parallel$ for all $x,y\in K$ and it is called asymptotically nonexpansive if there exists a sequence $\left\{{k}_{n}\right\}\subset \left[1,\mathrm{\infty }\right)$ with ${k}_{n}\to 1$, as $n\to \mathrm{\infty }$, such that

(1.7)

The class of asymptotically nonexpansive mappings was introduced as a generalization of the class of nonexpansive mappings by Goebel and Kirk  who proved that if K is a nonempty closed convex bounded subset of a real uniformly convex Banach spaces which includes Hilbert spaces as a special case and T is an asymptotically nonexpansive self-mapping of K, then T has a fixed point.

Let $T:K\to K$ be a nonexpansive mapping. For a given $u\in K$ and a given $t\in \left(0,1\right)$, define a contraction ${T}_{t}:K\to K$ by

${T}_{t}x=\left(1-t\right)u+tTx,\phantom{\rule{1em}{0ex}}x\in K.$

By the Banach contraction principle, it yields a fixed point ${z}_{t}\in K$ of ${T}_{t}$, i.e., ${z}_{t}$ is the unique solution of the equation

${z}_{t}=\left(1-t\right)u+tT{z}_{t}.$
(1.8)

In , Browder proved that, as $t\to 1$, ${z}_{t}$ converges strongly to the nearest point projection of u onto $F\left(T\right)$.

In , Halpern introduced an explicit iteration scheme $\left\{{x}_{n}\right\}$ (which was referred to as Halpern iteration) defined by

${x}_{n+1}={\alpha }_{n}u+\left(1-{\alpha }_{n}\right)T{x}_{n}.$
(1.9)

He proved that, as $n\to \mathrm{\infty }$, $\left\{{x}_{n}\right\}$ converges strongly to the fixed point of a nonexpansive self-mapping T that is closest to u provided that $\left\{{\alpha }_{n}\right\}$ satisfies (i) ${lim}_{n\to \mathrm{\infty }}{\alpha }_{n}=0$, (ii) $\sum {\alpha }_{n}=\mathrm{\infty }$ and (iii) ${lim}_{n\to \mathrm{\infty }}\frac{{\alpha }_{n}}{{\alpha }_{n+1}}=0$. Wittmann  also showed that the sequence $\left\{{x}_{n}\right\}$ defined by

${x}_{0}=u\in K,\phantom{\rule{2em}{0ex}}{x}_{n+1}={a}_{n+1}u+\left(1-{a}_{n+1}\right)T{x}_{n},\phantom{\rule{1em}{0ex}}n\ge 1,$
(1.10)

converges strongly to the element of $F\left(T\right)$ which is nearest to u under certain conditions on $\left\{{a}_{n}\right\}\subset \left(0,1\right)$.

Moreover, using the idea of Browder , Shioji and Takahashi  studied the following scheme for an approximating fixed point of an asymptotically nonexpansive mapping. Let T be an asymptotically nonexpansive mapping from K into itself with $F\left(T\right)$ nonempty. Then they proved that the sequence generated by

${x}_{0}=u\in K,\phantom{\rule{2em}{0ex}}{x}_{n}={a}_{n}u+\left(1-{a}_{n}\right)\frac{1}{n+1}\sum _{j=0}^{n}{T}^{j}{x}_{n},\phantom{\rule{1em}{0ex}}n\ge 1,$
(1.11)

where $\left\{{a}_{n}\right\}\subset \left(0,1\right)$ satisfies certain conditions, converges strongly to the element of $F\left(T\right)$ which is nearest to u. Shioji and Takahashi  also studied an explicit scheme for asymptotically nonexpansive mappings. They showed that the sequence $\left\{{x}_{n}\right\}$ defined by

${x}_{0}=u\in K,\phantom{\rule{2em}{0ex}}{x}_{n+1}={b}_{n}u+\left(1-{b}_{n}\right)\frac{1}{n+1}\sum _{j=0}^{n}{T}^{j}{x}_{n},\phantom{\rule{1em}{0ex}}n\ge 1,$
(1.12)

where $\left\{{b}_{n}\right\}\subset \left(0,1\right)$ satisfies certain conditions, converges strongly to the element of $F\left(T\right)$ which is nearest to u.

Several authors have extended the above results either to a more general Banach spaces or to a more general class of mappings (see, e.g., ).

It is worth mentioning that the methods studied above are used to approximate the fixed point of T which is closest to the point $u\in K$. These methods can be used to find the minimum-norm fixed point ${x}^{\ast }$ of T if $0\in K$. If, however, $0\notin K$, any of the methods above fails to provide the minimum-norm fixed point of T.

In connection with the iterative approximation of the minimum-norm fixed point of a nonexpansive self-mapping T, Yang et al.  introduced an explicit scheme given by

${x}_{n+1}=\beta T{x}_{n}+\left(1-\beta \right){P}_{K}\left[\left(1-{\alpha }_{n}\right){x}_{n}\right],\phantom{\rule{1em}{0ex}}n\ge 1.$

They proved that under appropriate conditions on $\left\{{\alpha }_{n}\right\}$ and β, the sequence $\left\{{x}_{n}\right\}$ converges strongly to the minimum-norm fixed point of T in real Hilbert spaces.

More recently, Yao and Xu  have also shown that the explicit scheme ${x}_{n+1}={P}_{K}\left(\left(1-{\alpha }_{n}\right)T{x}_{n}\right)$, $n\ge 1$, converges strongly to the minimum-norm fixed point of a nonexpansive self-mapping T provided that $\left\{{\alpha }_{n}\right\}$ satisfies certain conditions.

A natural question arises whether we can extend the results of Yang et al. and Yao and Xu to a class of mappings more general than nonexpansive mappings or not.

Let K be a closed convex subset of a real Hilbert space H and let ${T}_{i}:K\to K$, $i=1,2,\dots ,N$ be a finite family of asymptotically nonexpansive mappings.

It is our purpose in this paper to introduce an explicit iteration process which converges strongly to the common minimum-norm fixed point of $\left\{{T}_{i}:i=1,2,\dots ,N\right\}$. Our theorems improve several 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 H$, the following inequality holds:

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

Lemma 2.2 

Let E be a real Hilbert space and ${B}_{R}\left(0\right)$ be a closed ball of H. Then, for any given subset $\left\{{x}_{0},{x}_{1},\dots ,{x}_{N}\right\}\subset {B}_{r}\left(0\right)$ and for any positive numbers ${\alpha }_{0},{\alpha }_{1},\dots ,{\alpha }_{N}$ with ${\sum }_{i=0}^{N}{\alpha }_{i}=1$, we have that

${\parallel {\alpha }_{0}{x}_{0}+{\alpha }_{1}{x}_{1}+{\alpha }_{2}{x}_{2}+\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}.$

Lemma 2.3 

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

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

Lemma 2.4 

Let H be a real Hilbert space, K be a closed convex subset of H and $T:K\to K$ be an asymptotically nonexpansive mapping, then $\left(I-T\right)$ is demiclosed at zero, i.e., if $\left\{{x}_{n}\right\}$ is a sequence in K 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 

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$ satisfying 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$, as $n\to \mathrm{\infty }$. Then ${lim}_{n\to \mathrm{\infty }}{a}_{n}=0$.

Lemma 2.6 

Let $\left\{{a}_{n}\right\}$ be a sequence 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 \mathbb{N}$. Then there exists a nondecreasing sequence $\left\{{m}_{k}\right\}\subset \mathbb{N}$ such that ${m}_{k}\to \mathrm{\infty }$ and the following properties are satisfied by all (sufficiently large) numbers $k\in \mathbb{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}=max\left\{j\le k:{a}_{j}<{a}_{j+1}\right\}$.

Proposition 2.7 Let H be a real Hilbert space, let K be a closed convex subset of H, and let T be an asymptotically nonexpansive mapping from K into itself. Then $F\left(T\right)$ is closed and convex.

Proof Clearly, the continuity of T implies that $F\left(T\right)$ is closed. Now, we show that $F\left(T\right)$ is convex. For $x,y\in F\left(T\right)$ and $t\in \left(0,1\right)$, put $z=tx+\left(1-t\right)y$. Now, we show that $z=T\left(z\right)$. In fact, we have

$\begin{array}{rcl}{\parallel z-{T}^{n}z\parallel }^{2}& =& {\parallel z\parallel }^{2}-2〈z,{T}^{n}z〉+{\parallel {T}^{n}z\parallel }^{2}\\ =& {\parallel z\parallel }^{2}-2〈tx+\left(1-t\right)y,{T}^{n}z〉+{\parallel {T}^{n}z\parallel }^{2}\\ =& {\parallel z\parallel }^{2}-2t〈x,{T}^{n}z〉-2\left(1-t\right)〈y,{T}^{n}z〉+{\parallel {T}^{n}z\parallel }^{2}\\ =& {\parallel z\parallel }^{2}+t{\parallel x-{T}^{n}z\parallel }^{2}+\left(1-t\right){\parallel y-{T}^{n}z\parallel }^{2}-t{\parallel x\parallel }^{2}-\left(1-t\right){\parallel y\parallel }^{2}\\ \le & {\parallel z\parallel }^{2}+t{k}_{n}^{2}{\parallel x-z\parallel }^{2}+\left(1-t\right){k}_{n}^{2}{\parallel y-z\parallel }^{2}-t{\parallel x\parallel }^{2}-\left(1-t\right){\parallel y\parallel }^{2}\\ \le & {\parallel z\parallel }^{2}+t{k}_{n}^{2}〈x-z,x-z〉+\left(1-t\right){k}_{n}^{2}〈y-z,y-z〉\\ -t{\parallel x\parallel }^{2}-\left(1-t\right){\parallel y\parallel }^{2}\\ \le & \left({k}_{n}^{2}-1\right)\left[t{\parallel x\parallel }^{2}+\left(1-t\right){\parallel y\parallel }^{2}+{\parallel z\parallel }^{2}\right],\end{array}$
(2.1)

and hence, since ${k}_{n}\to 1$ as $n\to \mathrm{\infty }$, we get that ${lim}_{n\to \mathrm{\infty }}{\parallel z-{T}^{n}z\parallel }^{2}=0$, which implies that ${lim}_{n\to \mathrm{\infty }}{T}^{n}z=z$. Now, by the continuity of T, we obtain that $z={lim}_{n\to \mathrm{\infty }}{T}^{n}z={lim}_{n\to \mathrm{\infty }}T\left({T}^{n-1}z\right)=T\left({lim}_{n\to \mathrm{\infty }}{T}^{n-1}z\right)=T\left(z\right)$. Hence, $z\in F\left(T\right)$ and that $F\left(T\right)$ is convex. □

## 3 Main result

We now state and proof our main theorem.

Theorem 3.1 Let K be a nonempty, closed and convex subset of a real Hilbert space H. Let ${T}_{i}:K\to K$ be asymptotically nonexpansive mappings with sequences $\left\{{k}_{n,i}\right\}$ for each $i=1,2,\dots ,N$. Assume that $F:={\bigcap }_{i=1}^{N}F\left({T}_{i}\right)$ is nonempty. Let $\left\{{x}_{n}\right\}$ be a sequence generated by

$\left\{\begin{array}{c}{x}_{1}\in K,\phantom{\rule{1em}{0ex}}\mathit{\text{chosen arbitrarily}},\hfill \\ {y}_{n}={P}_{K}\left[\left(1-{\alpha }_{n}\right){x}_{n}\right],\hfill \\ {x}_{n+1}={\beta }_{n,0}{x}_{n}+{\sum }_{i=1}^{N}{\beta }_{n,i}{T}_{i}^{n}{y}_{n},\phantom{\rule{1em}{0ex}}n\ge 1,\hfill \end{array}$
(3.1)

where ${\alpha }_{n}\in \left(0,1\right)$ such that ${lim}_{n\to \mathrm{\infty }}{\alpha }_{n}=0$, ${lim}_{n\to \mathrm{\infty }}\frac{\left({k}_{n,i}^{2}-1\right)}{{\alpha }_{n}}=0$, for each $i\in \left\{1,2,\dots ,N\right\}$ and ${\sum }_{n=1}^{\mathrm{\infty }}{\alpha }_{n}=\mathrm{\infty }$, $\left\{{\beta }_{n,i}\right\}\subset \left[a,b\right]\subset \left(0,1\right)$ for $i=1,2,\dots ,N$, satisfying ${\beta }_{n,0}+{\beta }_{n,1}+\cdots +{\beta }_{n,N}=1$ for each $n\ge 1$. Then $\left\{{x}_{n}\right\}$ converges strongly to the common minimum-norm point of F.

Proof Let ${x}^{\ast }\in {P}_{F}0$. Let ${k}_{n}:=max\left\{{k}_{n,i}:i=1,2,\dots ,N\right\}$. Then from (3.1) and asymptotical nonexpansiveness of ${T}_{i}$, for each $i\in \left\{1,2,\dots ,N\right\}$, we have that

$\begin{array}{rcl}\parallel {y}_{n}-{x}^{\ast }\parallel & =& \parallel {P}_{C}\left[\left(1-{\alpha }_{n}\right){x}_{n}\right]-{P}_{K}{x}^{\ast }\parallel \\ \le & \parallel \left(1-{\alpha }_{n}\right){x}_{n}-{x}^{\ast }\parallel \\ =& \parallel {\alpha }_{n}\left(0-{x}^{\ast }\right)+\left(1-{\alpha }_{n}\right)\left({x}_{n}-{x}^{\ast }\right)\parallel \\ \le & {\alpha }_{n}\parallel {x}^{\ast }\parallel +\left(1-{\alpha }_{n}\right)\parallel {x}_{n}-{x}^{\ast }\parallel ,\end{array}$
(3.2)

and

$\begin{array}{rcl}\parallel {x}_{n+1}-{x}^{\ast }\parallel & =& \parallel {\beta }_{n,0}{x}_{n}+\sum _{i=1}^{N}{\beta }_{n,i}{T}_{i}^{n}{y}_{n}-{x}^{\ast }\parallel \\ \le & {\beta }_{n,0}\parallel {x}_{n}-{x}^{\ast }\parallel +\sum _{i=1}^{N}{\beta }_{n,i}\parallel {T}_{i}^{n}{y}_{n}-{x}^{\ast }\parallel \\ \le & {\beta }_{n,0}\parallel {x}_{n}-{x}^{\ast }\parallel +\left(1-{\beta }_{n,0}\right){k}_{n}\parallel {y}_{n}-{x}^{\ast }\parallel \\ \le & {\beta }_{n,0}\parallel {x}_{n}-{x}^{\ast }\parallel +\left(1-{\beta }_{n,0}\right){k}_{n}\left[{\alpha }_{n}\parallel {x}^{\ast }\parallel +\left(1-{\alpha }_{n}\right)\parallel {x}_{n}-{x}^{\ast }\parallel \right]\\ \le & \left[{\beta }_{n,0}+\left(1-{\beta }_{n,0}\right){k}_{n}\left(1-{\alpha }_{n}\right)\right]\parallel {x}_{n}-{x}^{\ast }\parallel +\left[\left(1-{\beta }_{n,0}\right){k}_{n}{\alpha }_{n}\right]\parallel {x}^{\ast }\parallel \\ \le & {\delta }_{n}\parallel {x}^{\ast }\parallel +\left[1-\left(1-ϵ\right){\delta }_{n}\right]\parallel {x}_{n}-{x}^{\ast }\parallel ,\end{array}$
(3.3)

where ${\delta }_{n}=\left(1-{\beta }_{n,0}\right){k}_{n}{\alpha }_{n}$, since there exists ${N}_{0}>0$ such that $\frac{\left({k}_{n}-1\right)}{{\alpha }_{n}}\le ϵ{k}_{n}$ for all $n\ge {N}_{0}$ and for some $ϵ>0$ satisfying $\left(1-ϵ\right){\delta }_{n}\le 1$. Thus, by induction,

$\parallel {x}_{n+1}-{x}^{\ast }\parallel \le max\left\{\parallel {x}_{0}-{x}^{\ast }\parallel ,{\left(1-ϵ\right)}^{-1}\parallel {x}^{\ast }\parallel \right\},\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\ge {N}_{0},$

which implies that $\left\{{x}_{n}\right\}$ and hence $\left\{{y}_{n}\right\}$ is bounded. Moreover, from (3.2) and Lemma 2.1, we obtain that

$\begin{array}{rcl}{\parallel {y}_{n}-{x}^{\ast }\parallel }^{2}& =& {\parallel {P}_{K}\left[\left(1-{\alpha }_{n}\right){x}_{n}\right]-{P}_{K}{x}^{\ast }\parallel }^{2}\\ \le & {\parallel {\alpha }_{n}\left(0-{x}^{\ast }\right)+\left(1-{\alpha }_{n}\right)\left({x}_{n}-{x}^{\ast }\right)\parallel }^{2}\\ \le & \left(1-{\alpha }_{n}\right){\parallel {x}_{n}-{x}^{\ast }\parallel }^{2}-2{\alpha }_{n}〈{x}^{\ast },{y}_{n}-{x}^{\ast }〉.\end{array}$
(3.4)

Furthermore, from (3.1), Lemma 2.2 and asymptotical nonexpansiveness of ${T}_{i}$, for each $i=1,2,\dots ,N$, we have that

$\begin{array}{rcl}{\parallel {x}_{n+1}-{x}^{\ast }\parallel }^{2}& =& {\parallel {\beta }_{n,0}{x}_{n}+\sum _{i=1}^{N}{\beta }_{n,i}{T}_{i}^{n}{y}_{n}-{x}^{\ast }\parallel }^{2}\\ \le & {\beta }_{n,0}{\parallel {x}_{n}-{x}^{\ast }\parallel }^{2}+\sum _{i=1}^{N}{\beta }_{n,i}{\parallel {T}_{i}^{n}{y}_{n}-{x}^{\ast }\parallel }^{2}\\ -\sum _{i=1}^{N}{\beta }_{n,0}{\beta }_{n,i}{\parallel {x}_{n}-{T}_{i}^{n}{y}_{n}\parallel }^{2}\\ \le & {\beta }_{n,0}{\parallel {x}_{n}-{x}^{\ast }\parallel }^{2}+\left(1-{\beta }_{n,0}\right){k}_{n}^{2}{\parallel {y}_{n}-{x}^{\ast }\parallel }^{2}\\ -\sum _{i=1}^{N}{\beta }_{n,0}{\beta }_{n,i}{\parallel {x}_{n}-{T}_{i}^{n}{y}_{n}\parallel }^{2},\end{array}$

which implies, using (3.4), that

$\begin{array}{rcl}{\parallel {x}_{n+1}-{x}^{\ast }\parallel }^{2}& \le & {\beta }_{n,0}{\parallel {x}_{n}-{x}^{\ast }\parallel }^{2}+\left(1-{\beta }_{n,0}\right){k}_{n}^{2}\left[\left(1-{\alpha }_{n}\right){\parallel {x}_{n}-{x}^{\ast }\parallel }^{2}\\ -2{\alpha }_{n}〈{x}^{\ast },{y}_{n}-{x}^{\ast }〉\right]-\sum _{i=1}^{N}{\beta }_{n,0}{\beta }_{n,i}{\parallel {x}_{n}-{T}_{i}^{n}{y}_{n}\parallel }^{2}\\ \le & \left(1-{\theta }_{n}\right){\parallel {x}_{n}-{x}^{\ast }\parallel }^{2}-2{\theta }_{n}〈{x}^{\ast },{y}_{n}-{x}^{\ast }〉+\left({k}_{n}^{2}-1\right)M\\ -\sum _{i=1}^{N}{\beta }_{n,0}{\beta }_{n,i}{\parallel {x}_{n}-{T}_{i}^{n}{y}_{n}\parallel }^{2}\end{array}$
(3.5)
$\le \left(1-{\theta }_{n}\right){\parallel {x}_{n}-{x}^{\ast }\parallel }^{2}-2{\theta }_{n}〈{x}^{\ast },{y}_{n}-{x}^{\ast }〉+\left({k}_{n}^{2}-1\right)M$
(3.6)

for some $M>0$, where ${\theta }_{n}:={\alpha }_{n}\left(1-{\beta }_{n,0}\right)$ for all $n\in N$.

Now, we consider the following two cases.

Case 1. Suppose that there exists ${n}_{0}\in \mathbb{N}$ such that $\left\{\parallel {x}_{n}-{x}^{\ast }\parallel \right\}$ is non-increasing for all $n\ge {n}_{0}$. In this situation, $\left\{\parallel {x}_{n}-{x}^{\ast }\parallel \right\}$ is convergent. Then from (3.5), we have that ${\sum }_{i=1}^{N}{\beta }_{n,0}{\beta }_{n,i}{\parallel {x}_{n}-{T}_{i}^{n}{y}_{n}\parallel }^{2}\to 0$, which implies that

(3.7)

for each $i\in \left\{1,2,\dots ,N\right\}$. Moreover, from (3.1) and (3.7) and the fact that ${\alpha }_{n}\to 0$, we get that

$\parallel {x}_{n+1}-{x}_{n}\parallel ={\beta }_{n,1}\parallel {T}_{1}^{n}{y}_{n}-{x}_{n}\parallel +\cdots +{\beta }_{n,N}\parallel {T}_{N}^{n}{y}_{n}-{x}_{n}\parallel \to 0,$
(3.8)

and

$\begin{array}{rcl}\parallel {y}_{n}-{x}_{n}\parallel & =& \parallel {P}_{C}\left[\left(1-{\alpha }_{n}\right){x}_{n}\right]-{P}_{k}{x}_{n}\parallel \\ \le & \parallel -{\alpha }_{n}{x}_{n}\parallel \to 0,\end{array}$
(3.9)

as $n\to \mathrm{\infty }$ and hence

$\parallel {y}_{n+1}-{y}_{n}\parallel \le \parallel {y}_{n+1}-{x}_{n+1}\parallel +\parallel {x}_{n+1}-{x}_{n}\parallel +\parallel {x}_{n}-{y}_{n}\parallel \to 0,$
(3.10)

as $n\to \mathrm{\infty }$. Furthermore, from (3.7) and (3.9), we get that

(3.11)

Therefore, since

$\begin{array}{rcl}\parallel {y}_{n}-{T}_{i}{y}_{n}\parallel & \le & \parallel {y}_{n}-{y}_{n+1}\parallel +\parallel {y}_{n+1}-{T}_{i}^{n+1}{y}_{n+1}\parallel +\parallel {T}_{i}^{n+1}{y}_{n+1}-{T}_{i}^{n+1}{y}_{n}\parallel \\ +\parallel {T}_{i}^{n+1}{y}_{n}-{T}_{i}{y}_{n}\parallel ,\\ \le & \parallel {y}_{n}-{y}_{n+1}\parallel +\parallel {y}_{n+1}-{T}_{i}^{n+1}{y}_{n+1}\parallel +{k}_{n+1}\parallel {y}_{n+1}-{y}_{n}\parallel \\ +\parallel {T}_{i}\left({T}_{i}^{n}{y}_{n}\right)-{T}_{i}{y}_{n}\parallel ,\end{array}$
(3.12)

we have from (3.10), (3.11), (3.12) and uniform continuity of ${T}_{i}$ that

(3.13)

Let $\left\{{y}_{{n}_{k}}\right\}$ be a subsequence of $\left\{{y}_{n}\right\}$ such that

$\underset{n\to \mathrm{\infty }}{lim sup}〈{x}^{\ast },{y}_{n}-{x}^{\ast }〉=\underset{k\to \mathrm{\infty }}{lim}〈{x}^{\ast },{y}_{{n}_{k}}-{x}^{\ast }〉,$

and ${y}_{{n}_{k}}⇀z$. Then from (3.9), we have that ${x}_{{n}_{k}}⇀z$. Therefore, by Lemma 2.3, we obtain that

$\underset{n\to \mathrm{\infty }}{lim sup}〈{x}^{\ast },{y}_{n}-{x}^{\ast }〉=\underset{k\to \mathrm{\infty }}{lim}〈{x}^{\ast },{y}_{{n}_{k}}-{x}^{\ast }〉=〈{x}^{\ast },z-{x}^{\ast }〉\ge 0.$
(3.14)

Now, we show that ${x}_{n+1}\to {x}^{\ast }$, as $n\to \mathrm{\infty }$. But from (3.13) and Lemma 2.4, we get that $z\in F\left({T}_{i}\right)$ for each $i\in \left\{1,2,\dots ,N\right\}$ and hence $z\in {\bigcap }_{i=1}^{N}F\left({T}_{i}\right)$. Then from (3.6), we get that

$\begin{array}{rcl}{\parallel {x}_{n+1}-{x}^{\ast }\parallel }^{2}& \le & \left(1-{\theta }_{n}\right){\parallel {x}_{n}-{x}^{\ast }\parallel }^{2}-2{\theta }_{n}〈{x}^{\ast },{y}_{n}-{x}^{\ast }〉\\ +\left({k}_{n}^{2}-1\right)M\end{array}$
(3.15)

for some $M>0$. But note that ${\theta }_{n}$ satisfies ${lim}_{n}{\theta }_{n}=0$ and ${\sum }_{n=1}^{\mathrm{\infty }}{\theta }_{n}=\mathrm{\infty }$. Thus, it follows from (3.15) and Lemma 2.5 that $\parallel {x}_{n}-{x}^{\ast }\parallel \to 0$, as $n\to \mathrm{\infty }$. Consequently, ${x}_{n}\to {x}^{\ast }$.

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.6, there exists a nondecreasing sequence $\left\{{m}_{k}\right\}\subset \mathbb{N}$ such that ${m}_{k}\to \mathrm{\infty }$, $\parallel {x}_{{m}_{k}}-{x}^{\ast }\parallel \le \parallel {x}_{{m}_{k}+1}-{x}^{\ast }\parallel$ and $\parallel {x}_{k}-{x}^{\ast }\parallel \le \parallel {x}_{{m}_{k}+1}-{x}^{\ast }\parallel$ for all $k\in \mathbb{N}$. Then from (3.5) and the fact that ${\theta }_{n}\to 0$, we have This implies that ${x}_{{m}_{k}}-{T}_{i}^{{m}_{k}}{y}_{{m}_{k}}\to 0$, as $k\to \mathrm{\infty }$. Thus, following the method of Case 1, we obtain that ${x}_{{m}_{k}}-{y}_{{m}_{k}}\to 0$ and ${y}_{{m}_{k}}-{T}_{i}{y}_{{m}_{k}}\to 0$ as $k\to \mathrm{\infty }$ for each $i=1,2,\dots ,N$ and hence there exists ${z}^{\prime }\in F$ such that

$\underset{n\to \mathrm{\infty }}{lim sup}〈{x}^{\ast },{y}_{n}-{x}^{\ast }〉=\underset{k\to \mathrm{\infty }}{lim}〈{x}^{\ast },{y}_{{n}_{k}}-{x}^{\ast }〉=〈{x}^{\ast },{z}^{\prime }-{x}^{\ast }〉\ge 0.$
(3.16)

Then from (3.6), we get that

$\begin{array}{rcl}{\parallel {x}_{{m}_{k}+1}-{x}^{\ast }\parallel }^{2}& \le & \left(1-{\theta }_{{m}_{k}}\right){\parallel {x}_{{m}_{k}}-{x}^{\ast }\parallel }^{2}-2{\theta }_{{m}_{k}}〈{x}^{\ast },{y}_{{m}_{k}}-{x}^{\ast }〉\\ +\left({k}_{{m}_{k}}^{2}-1\right)M.\end{array}$
(3.17)

Since $\parallel {x}_{{m}_{k}}-{x}^{\ast }\parallel \le \parallel {x}_{{m}_{k}+1}-{x}^{\ast }\parallel$, (3.17) implies that

$\begin{array}{rcl}{\theta }_{{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{\theta }_{{m}_{k}}〈{x}^{\ast },{y}_{{m}_{k}}-{x}^{\ast }〉\\ +\left({k}_{{m}_{k}}^{2}-1\right)M\\ \le & -2{\theta }_{{m}_{k}}〈{x}^{\ast },{y}_{{m}_{k}}-{x}^{\ast }〉+\left({k}_{{m}_{k}}^{2}-1\right)M.\end{array}$

In particular, since ${\theta }_{{m}_{k}}>0$, we have that

${\parallel {x}_{{m}_{k}}-{x}^{\ast }\parallel }^{2}\le -2〈{x}^{\ast },{y}_{{m}_{k}}-{x}^{\ast }〉+\frac{\left({k}_{{m}_{k}}^{2}-1\right)}{{\theta }_{{m}_{k}}}M.$

Thus, from (3.16) and the fact that $\frac{\left({k}_{{m}_{k}}^{2}-1\right)}{{\theta }_{{m}_{k}}}\to 0$, we obtain that $\parallel {x}_{{m}_{k}}-{x}^{\ast }\parallel \to 0$ as $k\to \mathrm{\infty }$. This together with (3.17) gives $\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 \mathbb{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 point ${x}^{\ast }$ of F which is the common minimum-norm fixed point of the family $\left\{{T}_{i},i=1,2,\dots ,N\right\}$ and the proof is complete. □

If in Theorem 3.1 we assume that $N=1$, then we get the following corollary.

Corollary 3.2 Let K be a nonempty, closed and convex subset of a real Hilbert space H. Let $T:K\to K$ be an asymptotically nonexpansive mapping with a sequence $\left\{{k}_{n}\right\}$. Assume that $F\left(T\right)$ is nonempty. Let $\left\{{x}_{n}\right\}$ be a sequence generated by

$\left\{\begin{array}{c}{x}_{1}\in C,\phantom{\rule{1em}{0ex}}\mathit{\text{chosen arbitrarily}},\hfill \\ {y}_{n}={P}_{K}\left[\left(1-{\alpha }_{n}\right){x}_{n}\right],\hfill \\ {x}_{n+1}={\beta }_{n}{x}_{n}+\left(1-{\beta }_{n}\right){T}^{n}{y}_{n},\phantom{\rule{1em}{0ex}}n\ge 1,\hfill \end{array}$
(3.18)

where ${\alpha }_{n}\in \left(0,1\right)$ such that ${lim}_{n\to \mathrm{\infty }}{\alpha }_{n}=0$, ${lim}_{n\to \mathrm{\infty }}\frac{\left({k}_{n}^{2}-1\right)}{{\alpha }_{n}}=0$ and ${\sum }_{n=1}^{\mathrm{\infty }}{\alpha }_{n}=\mathrm{\infty }$, $\left\{{\beta }_{n}\right\}\subset \left[a,b\right]\subset \left(0,1\right)$ for each $n\ge 1$. Then $\left\{{x}_{n}\right\}$ converges strongly to the minimum-norm fixed point of T.

If in Theorem 3.1 we assume that each ${T}_{i}$ is nonexpansive for $i=1,2,\dots ,N$, then the method of proof of Theorem 3.1 provides the following corollary.

Corollary 3.3 Let K be a nonempty, closed and convex subset of a real Hilbert space H. Let ${T}_{i}:K\to K$ be nonexpansive mappings with $F:={\bigcap }_{i=1}^{N}F\left({T}_{i}\right)$ nonempty. Let $\left\{{x}_{n}\right\}$ be a sequence generated by

$\left\{\begin{array}{c}{x}_{1}\in K,\phantom{\rule{1em}{0ex}}\mathit{\text{chosen arbitrarily}},\hfill \\ {y}_{n}={P}_{K}\left[\left(1-{\alpha }_{n}\right){x}_{n}\right],\hfill \\ {x}_{n+1}={\beta }_{n,0}{x}_{n}+{\sum }_{i=1}^{N}{\beta }_{n,i}{T}_{i}{y}_{n},\phantom{\rule{1em}{0ex}}n\ge 1,\phantom{\rule{0.25em}{0ex}}\hfill \end{array}$
(3.19)

where ${\alpha }_{n}\in \left(0,1\right)$ such that ${lim}_{n\to \mathrm{\infty }}{\alpha }_{n}=0$ and ${\sum }_{n=1}^{\mathrm{\infty }}{\alpha }_{n}=\mathrm{\infty }$, $\left\{{\beta }_{n,i}\right\}\subset \left[a,b\right]\subset \left(0,1\right)$, for $i=1,2,\dots ,N$, satisfying ${\beta }_{n,0}+{\beta }_{n,1}+\cdots +{\beta }_{n,N}=1$ for each $n\ge 1$. Then $\left\{{x}_{n}\right\}$ converges strongly to the common minimum-norm point of F.

If in Corollary 3.3 we assume that $N=1$, then we have the following corollary.

Corollary 3.4 Let K be a nonempty, closed and convex subset of a real Hilbert space H. Let $T:K\to K$ be a nonexpansive mapping with $F\left(T\right)$ nonempty. Let $\left\{{x}_{n}\right\}$ be a sequence generated by

$\left\{\begin{array}{c}{x}_{1}\in K,\phantom{\rule{1em}{0ex}}\mathit{\text{chosen arbitrarily}},\hfill \\ {y}_{n}={P}_{K}\left[\left(1-{\alpha }_{n}\right){x}_{n}\right],\hfill \\ {x}_{n+1}={\beta }_{n}{x}_{n}+\left(1-{\beta }_{n}\right)T{y}_{n},\phantom{\rule{1em}{0ex}}n\ge 1,\hfill \end{array}$
(3.20)

where ${\alpha }_{n}\in \left(0,1\right)$ such that ${lim}_{n\to \mathrm{\infty }}{\alpha }_{n}=0$ and ${\sum }_{n=1}^{\mathrm{\infty }}{\alpha }_{n}=\mathrm{\infty }$, $\left\{{\beta }_{n}\right\}\subset \left[a,b\right]\subset \left(0,1\right)$ for each $n\ge 1$. Then $\left\{{x}_{n}\right\}$ converges strongly to the minimum-norm point of $F\left(T\right)$.

## 4 Applications

In this section, we study the problem of finding a minimizer of a continuously Fréchet-differentiable convex functional which has the minimum norm in Hilbert spaces.

Let K be a closed convex subset of a real Hilbert space H. Consider the minimization problem given by

$\underset{x\in K}{min}\phi \left(x\right),$
(4.1)

and $\phi :K\to \mathbb{R}$ be a continuously Fréchet-differentiable convex functional. Let Ω, the solution set of (4.1), be nonempty; that is,

$\mathrm{\Omega }:=\left\{z\in K:\phi \left(z\right)=\underset{x\in K}{min}\phi \left(x\right)\right\}\ne \mathrm{\varnothing }.$
(4.2)

It is known that a point $z\in K$ is a solution of (4.1) if and only if the following optimality condition holds:

$z\in K,\phantom{\rule{1em}{0ex}}〈▽\phi \left(z\right),x-z〉\ge 0,\phantom{\rule{1em}{0ex}}x\in K,$
(4.3)

where $▽\phi \left(x\right)$ is the gradient of φ at $x\in K$. It is also known that the optimality condition (4.3) is equivalent to the following fixed point problem:

(4.4)

for all $\gamma >0$.

Now, we have the following corollary deduced from Corollary 3.2.

Corollary 4.1 Let K be a closed convex subset of a real Hilbert space H. Let φ be a continuously Fréchet-differentiable convex functional on K such that ${T}_{\gamma }:={P}_{K}\left(I-\gamma ▽\phi \right)$ is asymptotically nonexpansive with a sequence $\left\{{k}_{n}\right\}$ for some $\gamma >0$. Assume that the solution of the minimization problem (4.1) is nonempty. Let $\left\{{x}_{n}\right\}$ be a sequence generated by

$\left\{\begin{array}{c}{x}_{1}\in K,\phantom{\rule{1em}{0ex}}\mathit{\text{chosen arbitrarily}},\hfill \\ {y}_{n}={P}_{K}\left[\left(1-{\alpha }_{n}\right){x}_{n}\right],\hfill \\ {x}_{n+1}={\beta }_{n}{x}_{n}+\left(1-{\beta }_{n}\right){\left[{P}_{K}\left(I-\gamma ▽\phi \right)\right]}^{n}{y}_{n},\phantom{\rule{1em}{0ex}}n\ge 1,\hfill \end{array}$
(4.5)

where ${\alpha }_{n}\in \left(0,1\right)$ such that ${lim}_{n\to \mathrm{\infty }}{\alpha }_{n}=0$, ${lim}_{n\to \mathrm{\infty }}\frac{\left({k}_{n}^{2}-1\right)}{{\alpha }_{n}}=0$ and ${\sum }_{n=1}^{\mathrm{\infty }}{\alpha }_{n}=\mathrm{\infty }$, $\left\{{\beta }_{n}\right\}\subset \left[a,b\right]\subset \left(0,1\right)$ for each $n\ge 1$. Then $\left\{{x}_{n}\right\}$ converges strongly to the minimum-norm solution of the minimization problem (4.1).

Remark 4.2 Our results extend and unify most of the results that have been proved for this important class of nonlinear mappings. In particular, Theorem 3.1 improves Theorem 3.2 of Yang et al.  and of Yao and Xu  to a more general class of a finite family of asymptotically nonexpansive mappings.

## References

1. Censor Y, Elfving T: A multiprojection algorithm using Bregman projections in a product space. Numer. Algorithms 1994, 8: 221–239. 10.1007/BF02142692

2. Byrne C: Iterative oblique projection onto convex subsets and the split feasibility problem. Inverse Probl. 2002, 18: 441–453. 10.1088/0266-5611/18/2/310

3. Censor Y, Bortfeld T, Martin B, Trofimov A: A unified approach for inversion problem in intensity-modulated radiation therapy. Phys. Med. Biol. 2006, 51: 2353–2365. 10.1088/0031-9155/51/10/001

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

5. Browder FE: Convergence of approximants to fixed points of nonexpansive nonlinear mappings in Banach spaces. Arch. Ration. Mech. Anal. 1967, 24: 82–90.

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

7. Wittmann R: Approximation of fixed point of nonexpansive mappings. Arch. Math. 1992, 58: 486–491. 10.1007/BF01190119

8. Shimizu T, Takahashi W: Strong convergence theorems for asymptotically nonexpansive semigroups in Hilbert spaces. Nonlinear Anal. 1998, 34: 87–99. 10.1016/S0362-546X(97)00682-2

9. 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: 169–179.

10. Lim TC, Xu HK: Fixed point theorems for asymptotically nonexpansive mappings. Nonlinear Anal. 1994, 22: 1345–1355. 10.1016/0362-546X(94)90116-3

11. Morales CH, Jung JS: Convergence of paths for pseudo-contractive mappings in Banach spaces. Proc. Am. Math. Soc. 2000, 128: 3411–3419. 10.1090/S0002-9939-00-05573-8

12. Reich S: Strong convergence theorems for resolvents of accretive operators in Banach spaces. J. Math. Anal. Appl. 1980, 75: 287–292. 10.1016/0022-247X(80)90323-6

13. Schu J: Iterative construction of fixed points of asymptotically nonexpansive mappings. J. Math. Anal. Appl. 1991, 158: 407–413. 10.1016/0022-247X(91)90245-U

14. Schu J: Weak and strong convergence of fixed points of asymptotically nonexpansive mappings. Bull. Aust. Math. Soc. 1991, 43: 153–159. 10.1017/S0004972700028884

15. Shioji N, Takahashi W: A strong convergence theorem for asymptotically nonexpansive mappings in Banach spaces. Arch. Math. 1999, 72: 354–359. 10.1007/s000130050343

16. Shioji N, Takahashi W: Strong convergence of averaged approximants for asymptotically nonexpansive mappings in Banach spaces. J. Approx. Theory 1999, 97: 53–64. 10.1006/jath.1996.3251

17. Takahashi W, Ueda Y: On Reich’s strong convergence theorems for resolvents of accretive operators. J. Math. Anal. Appl. 1984, 104: 546–553. 10.1016/0022-247X(84)90019-2

18. Tan KK, Xu HK: Fixed point iteration processes for asymptotically nonexpansive mappings. Proc. Am. Math. Soc. 1994, 122: 733–739. 10.1090/S0002-9939-1994-1203993-5

19. Yang X, Liou Y-C, Yao Y: Finding minimum norm fixed point of nonexpansive mappings and applications. Math. Probl. Eng. 2011., 2011: Article ID 106450. doi:10.1155/2011/106450

20. Yao Y, Xu H-K: Iterative methods for finding minimum-norm fixed points of nonexpansive mappings with applications. Optimization 2011, 60: 645–658. 10.1080/02331930903582140

21. Zegeye H: A hybrid iteration method for equilibrium, variational inequality problems and common fixed point problems in Banach spaces. Nonlinear Anal. 2010, 72(3–4):2136–2146. 10.1016/j.na.2009.10.014

22. Takahashi W: Nonlinear Functional Analysis-Fixed Point Theory and Applications. Yokohama Publishers, Yokohama; 2000.

23. Chang SS, Cho YJ, Zhou H: Demi-closed principle and weak convergence problems for asymptotically nonexpansive mappings. J. Korean Math. Soc. 2001, 38: 1245–1260.

24. Ohara JG, Pillay P, Xu HK: Iterative approaches to convex feasibility problems in Banach spaces. Nonlinear Anal. 2006, 64: 2022–2042. 10.1016/j.na.2005.07.036

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

## Acknowledgements

The second author gratefully acknowledges the sup- port provided by the Deanship of Scientific Research (DSR), King Abdulaziz University during this research.

## Author information

Authors

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.

## Rights and permissions

Reprints and Permissions

Zegeye, H., Shahzad, N. Approximation of the common minimum-norm fixed point of a finite family of asymptotically nonexpansive mappings. Fixed Point Theory Appl 2013, 1 (2013). https://doi.org/10.1186/1687-1812-2013-1

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/1687-1812-2013-1

### Keywords

• asymptotically nonexpansive mappings
• minimum-norm fixed point
• nonexpansive mappings
• split feasibility problem
• strong convergence 