# Fixed points of multivalued nonexpansive mappings in Banach spaces

- Safeer Hussain Khan
^{1}and - Isa Yildirim
^{2}Email author

**2012**:73

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

© Khan and Yildirim; licensee Springer. 2012

**Received: **26 September 2011

**Accepted: **2 May 2012

**Published: **2 May 2012

## Abstract

In this article, we first give a multivalued version of an iteration scheme of Agarwal et al. We use an idea due to Shahzad and Zegeye which removes a "strong condition" on the mapping involved in the iteration scheme and an observation by Song and Cho about the set of fixed points of that mapping. In this way, we approximate fixed points of a multivalued nonexpansive mapping through an iteration scheme which is independent of but faster than Ishikawa scheme used both by Song and Cho, and Shahzad and Zegeye. Thus our results improve and unify corresponding results in the contemporary literature.

**Mathematics Subject Classification (2000):** 47H10; 54H25.

## Keywords

*I*)weak and strong convergence

## 1. Introduction and preliminaries

*E*be a real Banach space. A subset

*K*is called proximinal if for each

*x*∈

*E*, there exists an element

*k*∈

*K*such that

*K*by

*P*(

*K*). Consistent with [1], let

*CB*(

*K*) be the class of all nonempty bounded and closed subsets of

*K*. Let

*H*be a Hausdorff metric induced by the metric

*d*of

*E*, that is

*A, B*∈

*CB*(

*E*). A multivalued mapping

*T*:

*K*→

*P*(

*K*) is said to be a

*contraction*if there exists a constant

*k*∈ [0, 1) such that for any

*x, y*∈

*K*,

*T*is said to be

*nonexpansive*if

for all *x, y* ∈ *K*. A point *x* ∈ *K* is called a fixed point of *T* if *x* ∈ *Tx*.

The study of fixed points for multivalued contractions and nonexpansive mappings using the Hausdorff metric was initiated by Markin [2] (see also [1]). Later, an interesting and rich fixed point theory for such maps was developed which has applications in control theory, convex optimization, differential inclusion, and economics (see, [3] and references cited therein). Moreover, the existence of fixed points for multivalued nonexpansive mappings in uniformly convex Banach spaces was proved by Lim [4].

The theory of multivalued nonexpansive mappings is harder than the corresponding theory of single valued nonexpansive mappings. Different iterative processes have been used to approximate the fixed points of multivalued nonexpansive mappings. Among these iterative processes, Sastry and Babu [5] considered the following.

*K*be a nonempty convex subset of

*E, T*:

*K → P*(

*K*) a multivalued mapping with

*p*∈

*Tp*.

- (i)The sequences of Mann iterates is defined by
*x*_{1}∈*K*,${x}_{n+1}=\left(1-{a}_{n}\right){x}_{n}+{a}_{n}{y}_{n},$(1.1)

*y*

_{ n }∈

*Tx*

_{ n }is such that ||

*y*

_{ n }

*- p*|| =

*d*(

*p, Tx*

_{ n }), and {

*a*

_{ n }} is a sequence of numbers in (0, 1) satisfying $\underset{n\to \infty}{\text{lim}}{a}_{n}=0\phantom{\rule{2.77695pt}{0ex}}\text{and}\sum {a}_{n}=\infty $.

- (ii)The sequence of Ishikawa iterates is defined by
*x*_{1}∈*K*,$\left\{\begin{array}{c}{y}_{n}=\left(1-{b}_{n}\right){x}_{n}+{b}_{n}{z}_{n},\hfill \\ {x}_{n+1}=\left(1-{a}_{n}\right){x}_{n}+{a}_{n}{u}_{n},\hfill \end{array}\right.$(1.2)

where *z*_{
n
} ∈ *Tx*_{
n
}*, u*_{
n
} ∈ *Ty*_{
n
} are such that ||*z*_{
n
} *- p*|| = *d*(*p, Tx*_{
n
}) and ||*u*_{
n
} *- p*|| = *d*(*p, Ty*_{
n
}), and {*a*_{
n
}}, {*b*_{
n
}} are real sequences of numbers with 0 *≤ a*_{
n
}*, b*_{
n
} *<* 1 satisfying $\underset{n\to \infty}{\text{lim}}{b}_{n}=0$ and ∑*a*_{
n
}*b*_{
n
} = ∞.

Panyanak [6] generalized the results proved by Sastry and Babu [5].

The following is a useful Lemma due to Nadler [1].

**Lemma 1**. *Let A, B* ∈ *CB*(*E*) *and a* ∈ *A. If η >* 0, *then there exists b* ∈ *B such that d*(*a, b*) *≤ H*(*A, B*) + *η*.

Based on the above Lemma, Song and Wang [7] modified the iteration scheme due to Panyanak [6] and improved the results presented therein. Their scheme is given as follows:

*K*be a nonempty convex subset of

*E, a*

_{ n }∈ [0, 1],

*b*

_{ n }∈ [0, 1] and

*η*

_{ n }∈ (0,

*∞*) such that lim

_{n → ∞}

*η*

_{ n }= 0. Choose

*x*

_{1}∈

*K*and

*z*

_{1}∈

*Tx*

_{1}. Let

*u*

_{1}∈

*Ty*

_{1}such that ||

*z*

_{1}

*- u*

_{1}||

*≤ H*(

*Tx*

_{1},

*Ty*

_{1}) +

*η*

_{1}(see [1, 8]). Let

*z*

_{2}∈

*Tx*

_{2}such that ||

*z*

_{2}

*- u*

_{1}||

*≤ H*(

*Tx*

_{2},

*Ty*

_{1}) +

*η*

_{2}. Take

*u*

_{2}∈

*Ty*

_{2}such that ||

*z*

_{2}

*- u*

_{2}||

*≤ H*(

*Tx*

_{2},

*Ty*

_{2}) +

*η*

_{2}. Let

where *z*_{
n
} ∈ *Tx*_{
n
}*, u*_{
n
} ∈ *Ty*_{
n
} are such that ||*z*_{
n
} *- u*_{
n
}|| *≤ H*(*Tx*_{
n
}*, Ty*_{
n
}) + *η*_{
n
} and ||*z*_{n+1}-*u*_{
n
}|| *≤ H*(*Tx*_{n+1}, *Ty*_{
n
}) + *η*_{
n
}, and {*a*_{
n
}},{*b*_{
n
}} are real sequences of numbers with 0 *≤ a*_{
n
}*, b*_{
n
} *<* 1 satisfying $\underset{n\to \infty}{\text{lim}}{b}_{n}=0$ and ∑*a*_{
n
}*b*_{
n
} = ∞.

It is to be noted that Song and Wang [7] need the condition *Tp* = {*p*} in order to prove their Theorem 1. Actually, Panyanak [6] proved some results using Ishikawa type iteration process without this condition. Song and Wang [7] showed that without this condition his process was not well-defined. They reconstructed the process using the condition *Tp* = {*p*} which made it well-defined. Such a condition was also used by Jung [9].

Recently, Shahzad and Zegeye [10] remarked as follows:

"We note that the iteration scheme constructed by Song and Wang [7] involves the estimates which are not easy to be computed and the scheme is more time consuming. We also observe that Song and Wang [7] did not use the above estimates in their proofs and applied Lemma 2.1 (of [10]) without showing *x*_{
n
} *- p, y*_{
n
} *- p* ∈ *B*_{
R
}(0). The assumption on *T* namely "*Tp* = {*p*} for any *p* ∈ *F*(*T*)" is quite strong.... Then we construct an iteration scheme which removes the restriction of *T* namely *Tp* = {*p*} for any *p* ∈ *F*(*T*)."

To do this, they defined *P*_{
T
}(*x*) = {*y* ∈ *Tx* : ||*x - y*|| = *d*(*x, Tx*)} for a multivalued mapping *T* : *K → P*(*K*). They also proved a couple of strong convergence results using Ishikawa type iteration process.

where {*α*_{
n
}} and {*β*_{
n
}} are in (0, 1). This scheme is independent of both Mann and Ishikawa schemes. They proved that this scheme converges at a rate faster than both Picard iteration scheme *x*_{n+1}= *Tx*_{
n
} and Mann iteration scheme for contractions. Following their method, it was observed in [12, Example 3.7] that this scheme also converges faster than Ishikawa iteration scheme.

*Tp*= {

*p*} for any

*p*∈

*F*(

*T*)" due to Shahzad and Zegeye [10] to approximate fixed points of a multivalued nonexpansive mapping

*T*. We also use a result of Song and Cho [13] saying that set of fixed points of

*T*is same as that of

*P*

_{ T }, see Lemma 2 below. Moreover, we use the method of direct construction of Cauchy sequence as indicated by Song and Cho [13] (and opposed to [10]) but also used by many other authors including [12, 14, 15]. Keeping above in mind, we define our iteration scheme as follows:

where *v*_{
n
} ∈ *P*_{
T
}(*x*_{
n
}), *u*_{
n
} ∈ *P*_{
T
}(*y*_{
n
}) and 0 *< λ, η <* 1. We have used *λ, η* only for the sake of simplicity but *α*_{
n
}*, β*_{
n
} could be used equally well under suitable conditions. In this way, we approximate fixed points of a multivalued nonexpansive mapping by an iteration scheme which is independent of but faster than Ishikawa scheme. Thus our results improve corresponding results of Shahzad and Zegeye [10], Song and Cho [13] and the results generalized therein.

Now, we give the following definitions.

**Definition 1**.

*A Banach space E is said to satisfy Opial's condition*[16]

*if for any sequence*{

*x*

_{ n }}

*in E, x*

_{ n }⇀

*x implies that*

*for all y* ∈ *E with y* ≠ *x*.

Examples of Banach spaces satisfying this condition are Hilbert spaces and all *l*^{
p
} spaces (1 *< p < ∞*). On the other hand, *L*^{
p
}[0, 2*π*] with 1 *< p* ≠ 2 fail to satisfy Opial's condition.

**Definition 2**. *A multivalued mapping T* : *K → P*(*E*) *is called demiclosed at y* ∈ *K if for any sequence* {*x*_{
n
}} *in K weakly convergent to an element x and y*_{
n
} ∈ *Tx*_{
n
} *strongly convergent to y, we have y* ∈ *Tx*.

The following is the multivalued version of condition (*I*) of Senter and Dotson [17].

**Definition 3**. *A multivalued nonexpansive mapping T* : *K → CB*(*K*) *where K a subset of E, is said to satisfy condition* (*I*) *if there exists a nondecreasing function f* : [0, *∞*) *→* [0, *∞*) *with f*(0) = 0, *f*(*r*) *>* 0 *for all r* ∈ (0, *∞*) *such that d*(*x, Tx*) *≥ f*(*d*(*x, F*(*T*)) *for all x* ∈ *K*.

The following very useful theorem is due to Song and Cho [13].

**Lemma 2**. [13]

*Let T*:

*K → P*(

*K*)

*be a multivalued mapping and P*

_{ T }(

*x*) = {

*y*∈

*Tx*: ||

*x - y*|| =

*d*(

*x, Tx*)}

*. Then the following are equivalent*.

- (1)
*x*∈*F*(*T*); - (2)
*P*_{ T }(*x*) = {*x*}; - (3)
*x*∈*F*(*P*_{ T }).

*Moreover, F*(*T*) = *F*(*P*_{
T
}).

Next, we state the following helpful lemma.

**Lemma 3**. [18] *Let E be a uniformly convex Banach space and* 0 *< p ≤ t*_{
n
} *≤ q <* 1 *for all n* ∈ ℕ*. Suppose that* {*x*_{
n
}} *and* {*y*_{
n
}} *are two sequences of E such that* lim sup_{n→ ∞}||*x*_{
n
}|| *≤ r*, lim sup_{n→ ∞}||*y*_{
n
}|| *≤ r and* lim_{n→ ∞}||*t*_{
n
}*x*_{
n
} + (1 *- t*_{
n
})*y*_{
n
}|| = *r hold for some r ≥* 0*. Then* lim_{n→ ∞}||*x*_{
n
} *- y*_{
n
}|| = 0.

## 2. Main results

We start with the following couple of important lemmas.

**Lemma 4**. *Let E be a normed space and K a nonempty closed convex subset of E. Let T* : *K → P* (*K*) *be a multivalued mapping such that F*(*T*) ≠ ∅ *and P*_{
T
} *is a nonexpansive mapping. Let* {*x*_{
n
}} *be the sequence as defined in* (1.5)*. Then* lim_{n→ ∞}||*x*_{
n
} *- p*|| *exists for all p* ∈ *F* (*T*).

*Proof*. Let

*p*∈

*F*(

*T*). Then

*p*∈

*P*

_{ T }(

*p*) = {

*p*} by Lemma 2. It follows from (1.5) that

and lim_{n→ ∞}||*x*_{
n
} *- p*|| exists for each *p* ∈ *F* (*T*). □

**Lemma 5**. *Let E be a uniformly convex Banach space and K be a nonempty closed convex subset of E. Let T* : *K → P*(*K*) *be a multivalued mapping such that F*(*T*) ≠ ∅ *and P*_{
T
} *is a nonexpansive mapping. Let* {*x*_{
n
}} *be the sequence as defined in* (1.5). *Then* $\underset{n\to \infty}{\text{lim}}d\left({x}_{n},\phantom{\rule{2.77695pt}{0ex}}T{x}_{n}\right)=0$.

*Proof*. From Lemma 4, $\underset{n\to \infty}{\text{lim}}\left|\right|{x}_{n}-p\left|\right|$ exists for each *p* ∈ *F* (*T*). We suppose that $\underset{n\to \infty}{\text{lim}}\left|\right|{x}_{n}-p\left|\right|\phantom{\rule{2.77695pt}{0ex}}=c$ for some *c ≥* 0.

Since lim sup_{n→ ∞}||*v*_{
n
} *- p*|| *≤* lim sup_{n→ ∞}*H* (*P*_{
T
} (*x*_{
n
}), *P*_{
T
} (*p*)) *≤* lim sup_{n→ ∞}|| *x*_{
n
} *- p* || = *c*,

*d*(

*x*

_{ n }

*, Tx*

_{ n })

*≤*||

*x*

_{ n }

*- v*

_{ n }||, we have

Now we approximate fixed points of the mapping *T* through weak convergence of the sequence {*x*_{
n
}} defined in (1.5).

**Theorem 1**. *Let E be a uniformly convex Banach space satisfying Opial's condition and K a nonempty closed convex subset of E. Let T* : *K → P*(*K*) *be a multivalued mapping such that F*(*T*) ≠ ∅ *and P*_{
T
} *is a nonexpansive mapping. Let* {*x*_{
n
}} *be the sequence as defined in* (1.5). *Let I - P*_{
T
} *be demiclosed with respect to zero, then* {*x*_{
n
}} *converges weakly to a fixed point of T*.

*Proof*. Let *p* ∈ *F*(*T*) = *F*(*P*_{
T
}). From the proof of Lemma 4, $\underset{n\to \infty}{\text{lim}}\left|\right|{x}_{n}-p\left|\right|$ exists. Now we prove that {*x*_{
n
}} has a unique weak subsequential limit in *F*(*T*). To prove this, let *z*_{1} and *z*_{2} be weak limits of the subsequences $\left\{{x}_{{n}_{i}}\right\}$ and $\left\{{x}_{{n}_{j}}\right\}$ of {*x*_{
n
}}, respectively. By (2.7), there exists *v*_{
n
} ∈ *Tx*_{
n
} such that $\underset{n\to \infty}{\text{lim}}\left|\right|{x}_{n}-{v}_{n}\left|\right|\phantom{\rule{2.77695pt}{0ex}}=0$. Since *I - P*_{
T
} is demiclosed with respect to zero, therefore we obtain *z*_{1} ∈ *F*(*P*_{
T
} ) = *F*(*T*). In the same way, we can prove that *z*_{2} ∈ *F*(*T*).

*z*

_{1}≠

*z*

_{2}. Then by Opial's condition, we have

which is a contradiction. Hence {*x*_{
n
}} converges weakly to a point in *F*(*T*). □

We now give some strong convergence theorems. Our first strong convergence theorem is valid in general real Banach spaces. We then apply this theorem to obtain a result in uniformly convex Banach spaces. We also use the method of direct construction of Cauchy sequence as indicated by Song and Cho [13] (and opposed to [10]) but used also by many other authors including [12, 14, 15].

**Theorem 2**. *Let E be a real Banach space and K a nonempty closed convex subset of E. Let T* : *K → P*(*K*) *be a multivalued mapping such that F*(*T*) ≠ ∅ *and P*_{
T
} *is a nonexpansive mapping. Let* {*x*_{
n
}} *be the sequence as defined in* (1.5), *then* {*x*_{
n
}} *converges strongly to a point of F*(*T*) *if and only if* lim inf_{n→ ∞}*d*(*x*_{
n
}*, F*(*T*)) = 0.

*Proof*. The necessity is obvious. Conversely, suppose that lim inf

_{n→ ∞}

*d*(

*x*

_{ n }

*, F*(

*T*)) = 0. As proved in Lemma 4, we have

This implies that $\underset{n\to \infty}{\text{lim}}d\left({x}_{n},\phantom{\rule{2.77695pt}{0ex}}F\left(T\right)\right)$ exists and so by the hypothesis, $\underset{n\to \infty}{\text{lim}\phantom{\rule{0.3em}{0ex}}\text{inf}}d\left({x}_{n},\phantom{\rule{2.77695pt}{0ex}}F\left(T\right)\right)=0$. Therefore we must have $\underset{n\to \infty}{\text{lim}}d\left({x}_{n},\phantom{\rule{2.77695pt}{0ex}}F\left(T\right)\right)=0.$

*x*

_{ n }} is a Cauchy sequence in

*K*. Let

*ε >*0 be arbitrarily chosen. Since $\underset{n\to \infty}{\text{lim}}d\left({x}_{n},\phantom{\rule{2.77695pt}{0ex}}F\left(T\right)\right)=0.$, there exists a constant

*n*

_{0}such that for all

*n ≥ n*

_{0}, we have

*p** ∈

*F*(

*T*) such that

*m, n ≥ n*

_{0}, we have

*x*

_{ n }} is a Cauchy sequence in a closed subset

*K*of a Banach space

*E*, and so it must converge in

*K*. Let $\underset{n\to \infty}{\text{lim}}{x}_{n}=q$. Now

which gives that *d*(*q, P*_{
T
}*q*) = 0. But *P*_{
T
} is a nonexpansive mapping so *F*(*P*_{
T
}) is closed. Therefore, *q* ∈ *F*(*P*_{
T
}) = *F*(*T*). □

We now apply the above theorem to obtain the following theorem in uniformly convex Banach spaces where *T* : *K → P* (*K*) satisfies condition (*I*).

**Theorem 3**. *Let E be a uniformly convex Banach space and K a nonempty closed convex subset of E. Let T* : *K → P* (*K*) *be a multivalued mapping satisfying condition* (*I*) *such that F*(*T* ) ≠ ∅ *and P*_{
T
} *is a nonexpansive mapping. Let* {*x*_{
n
}} *be the sequence as defined in* (1.5), *then* {*x*_{
n
}} *converges strongly to a point of F*(*T*).

*Proof*. By Lemma 5, lim_{n→ ∞}||*x*_{
n
} *- p*|| exists for all *p* ∈ *F*(*T*). Let this limit be *c* for some *c ≥* 0.

If *c* = 0, there is nothing to prove.

*c >*0. Now ||

*x*

_{n+1}-

*p*||

*≤*||

*x*

_{ n }

*- p*|| implies that

*d*(

*x*

_{n+1},

*F*(

*T*))

*≤ d*(

*x*

_{ n }

*, F*(

*T*)) and so $\underset{n\to \infty}{\text{lim}}d\left({x}_{n},\phantom{\rule{2.77695pt}{0ex}}F\left(T\right)\right)$ exists. By using condition (

*I*) and Lemma 5, we have

Since *f* is a nondecreasing function and *f*(0) = 0, it follows that $\underset{n\to \infty}{\text{lim}}d\left({x}_{n},\phantom{\rule{2.77695pt}{0ex}}F\left(T\right)\right)=0.$. Now applying Theorem 2, we obtain the result. □

## Declarations

## Authors’ Affiliations

## References

- Nadler SB Jr: Multivalued contraction mappings.
*Pacific J Math*1969, 30: 475–488.MathSciNetView ArticleGoogle Scholar - Markin JT: Continuous dependence of fixed point sets.
*Proc Am Math Soc*1973, 38: 545–547.MathSciNetView ArticleGoogle Scholar - Gorniewicz L:
*Topological fixed point theory of multivalued mappings.*Kluwer Academic Pub., Dordrecht, Netherlands; 1999.View ArticleGoogle Scholar - Lim TC: A fixed point theorem for multivalued nonexpansive mappings in a uniformly convex Banach spaces.
*Bull Am Math Soc*1974, 80: 1123–1126.View ArticleGoogle Scholar - Sastry KPR, Babu GVR: Convergence of Ishikawa iterates for a multivalued mapping with a fixed point.
*Czechoslovak Math J*2005, 55: 817–826.MathSciNetView ArticleGoogle Scholar - Panyanak B: Mann and Ishikawa iterative processes for multivalued mappings in Banach spaces.
*Comp Math Appl*2007, 54: 872–877.MathSciNetView ArticleGoogle Scholar - Song Y, Wang H: Erratum to "Mann and Ishikawa iterative processes for multivalued mappings in Banach spaces" [Comp. Math. Appl. 54, 872–877 (2007)].
*Comp Math Appl*2008, 55: 2999–3002.View ArticleGoogle Scholar - Assad NA, Kirk WA: Fixed point theorems for set-valued mappings of contractive type.
*Pacific J Math*1972, 43: 553–562.MathSciNetView ArticleGoogle Scholar - Jung JS: Strong convergence theorems for multivalued nonexpansive nonself mappings in Banach spaces.
*Nonlinear Anal*2007, 66: 2345–2354.MathSciNetView ArticleGoogle Scholar - Shahzad N, Zegeye H: On Mann and Ishikawa iteration schemes for multi-valued maps in Banach spaces.
*Nonlinear Anal*2009, 71(3–4):838–844.MathSciNetView ArticleGoogle Scholar - Agarwal RP, O'Regan D, Sahu DR: Iterative construction of fixed points of nearly asymptotically nonexpansive mappings.
*J Nonlinear Convex Anal*2007, 8(1):61–79.MathSciNetGoogle Scholar - Khan SH, Kim JK: Common fixed points of two nonexpansive mappings by a modified faster iteration scheme.
*Bull Korean Math Soc*2010, 47(5):973–985.MathSciNetView ArticleGoogle Scholar - Song Y, Cho YJ: Some notes on Ishikawa iteration for multivalued mappings.
*Bull Korean Math Soc*2011, 48(3):575–584. doi:10.4134/BKMS.2011.48.3.575MathSciNetView ArticleGoogle Scholar - Khan SH, Abbas M, Rhoades BE: A new one-step iterative scheme for approximating common fixed points of two multivalued nonexpansive mappings.
*Rend del Circ Mat*2010, 59: 149–157.MathSciNetGoogle Scholar - Khan SH, Fukhar-ud-din H: Weak and strong convergence of a scheme with errors for two nonexpansive mappings.
*Nonlinear Anal*2005, 8: 1295–1301.MathSciNetView ArticleGoogle Scholar - Opial Z: Weak convergence of the sequence of successive approximations for nonexpansive mappings.
*Bull Am Math Soc*1967, 73: 591–597.MathSciNetView ArticleGoogle Scholar - Senter HF, Dotson WG: Approximatig fixed points of nonexpansive mappings.
*Proc Am Math Soc*1974, 44(2):375–380.MathSciNetView ArticleGoogle Scholar - Schu J: Weak and strong convergence to fixed points of asymptotically nonexpansive mappings.
*Bull Austral Math Soc*1991, 43: 153–159.MathSciNetView ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.