Show Summary Details
More options …

# Open Mathematics

### formerly Central European Journal of Mathematics

Editor-in-Chief: Gianazza, Ugo / Vespri, Vincenzo

1 Issue per year

IMPACT FACTOR 2016 (Open Mathematics): 0.682
IMPACT FACTOR 2016 (Central European Journal of Mathematics): 0.489

CiteScore 2016: 0.62

SCImago Journal Rank (SJR) 2016: 0.454
Source Normalized Impact per Paper (SNIP) 2016: 0.850

Mathematical Citation Quotient (MCQ) 2016: 0.23

Open Access
Online
ISSN
2391-5455
See all formats and pricing
More options …

# Convergence theorems for a family of multivalued nonexpansive mappings in hyperbolic spaces

Osman Alagoz
• Corresponding author
• Department of Mathematics, Faculty of Scence and Art, Bilecik University, Bilecik, 11000, Turkey
• Email
• Other articles by this author:
/ Birol Gunduz
/ Sezgin Akbulut
Published Online: 2016-12-24 | DOI: https://doi.org/10.1515/math-2016-0095

## Abstract

In this article we modify an iteration process to prove strong convergence and Δ— convergence theorems for a finite family of nonexpansive multivalued mappings in hyperbolic spaces. The results presented here extend some existing results in the literature.

MSC 2010: 47H10; 49M05; 54H25

## 1 Introduction

Many important problems of mathematics, including boundary value problems for nonlinear ordinary or partial differential equation, can be translated in terms of a fixed point equation T x = x for a given mapping T on a Banach space. The class of nonexpansive mappings contains contractions as a subclass and its study has remained a popular area of research ever since its introduction. The iterative construction of fixed points of these mappings is a fascinating field of research. The fixed point problem for one or a family of nonexpansive mappings has been studied in Banach spaces, metric spaces and hyperbolic spaces [1-12].

Most of the fundamental early results discovered for nonexpansive mappings were done in the context of Banach spaces. It is then natural to try to develop a similar theory in the nonlinear spaces. The closest class of sets considered was the class of hyperbolic spaces that enjoys convexity properties very similar to the linear one. This class of metric spaces includes all normed vector spaces, Hadamard manifolds, as well as the Hilbert ball and the cartesian product of Hilbert balls.

Multivalued mappings arise in optimal control theory, especially inclusions and related subjects like game theory and economics. In physics, multivalued mappings play an increasingly important role. They form the mathematical basis for Dirac’s magnetic monopoles, for the theory of defects in crystals and the resulting plasticity of materials, for vortices in superfluids and superconductors, and for phase transitions in these systems, for instance melting and quark confinement. They are the origin of gauge field structures in many branches of physics.

In 2009 Yildirim and Ozdemir [13] used the following iteration to approximate fixed point of nonself asymptotically nonexpansive mappings.

Let x1C and {xn}be the sequence generated by $xn+1=(1−αkn)y(k−1)n+αknTkny(k−1)n,y(k−1)n=(1−α(k−1)n)y(k−2)n+α(k−1)nTk−1ny(k−2)n,⋮y2n=(1−α2n)y1n+α2nT2ny1n,y1n=(1−α1n)y0n+α1nT1ny0n$(1)

where y0n = xn. For k = 3 the iterative process (1) is reduced to SP iteration which is defined by Phuengrattana and Suantai [14] in 2011 and iteration process of Thianwan [15, 16] for k = 2. Also, the iterative process (1) is the generalized form of the modified Mann (one-step) iterative process which is given by Schu [17].

In 2010 Kettapun et all [18] studied the iteration process (1) for self mapping in Banach spaces. Recently, Gunduz and Akbulut [19] studied this iteration for a finite family of asymptotically quasi-nonexpansive mappings in convex metric spaces by using the following modified version of it. $xn+1=WTkny(k−1)n,y(k−1)n,αkny(k−1)n=WTk−1ny(k−1)n,y(k−1)n,α(k−1)n⋮y2n=WT2ny1n,y1n,α2ny1n=WT1ny0n,y0n,α1n$(2) where αin ∈ [0, 1], for all i = 1,2,...,k and any x1C.

Now, we use the iteration (2) for a finite family of nonexpansive multivalued mappings in hyperbolic spaces and get some convergence results.

Let E be a hyperbolic space and D be a nonempty convex subset of E. Let {Ti : i = 1,2,...,k} be a family of multivalued mappings such that Ti : D → P(D)and ${P}_{{T}_{i}}\left(x\right)=\left\{y\in {T}_{i}x:\phantom{\rule{thinmathspace}{0ex}}\phantom{\rule{thinmathspace}{0ex}}d\left(x,y\right)=d\left(x,{T}_{i}x\right)\right\}$ is a nonexpansive mappping. Suppose that αin ∈ [0,1], for all n = 1, 2,... and i = 1, 2,...,k for x0D and let {xn}be the sequence generated by the following algorithm; $xn+1=Wu(k−1)n,y(k−1)n,αkny(k−1)n=Wu(k−2)n,y(k−2)n,α(k−1)n⋮y2n=Wu1n,y1n,α2ny1n=Wu0n,y0n,α1n$(4) where ${u}_{in}\in {P}_{{T}_{i+1}}\left({y}_{in}\right)\phantom{\rule{thinmathspace}{0ex}}\text{for}\phantom{\rule{thinmathspace}{0ex}}i=0,1,2,\dots ,k-1\phantom{\rule{thinmathspace}{0ex}}\text{and}\phantom{\rule{thinmathspace}{0ex}}{y}_{0n}={x}_{n}.$

## 2 Preliminaries

Now we need to give some notions about the concept of hyperbolic spaces and multivalued mappings.

A hyperbolic space is a triple (X, d, W)such that (X, d)is a metric space and W : X × X × [0,1]→ X is a mapping satisfying the following conditions.

(W1) d(z, W (x, y, α)≤ (1 - α) d (z, x) + αd(z, y),

(W2) d(W (x, y, α), W(x, y, β)) = |α - β| d (x, y),

(W3) W(x, y) = W(y, x,(1 - α)),

(W4) d(W (x, z, α), W(y, w, α)) ≤ (1 - α) d (x, y) + αd (z, w) for all x, y, z, wX and α, β ∈[0,1].

Let DX if W(x, y, α) ∈ D for all x; yK and α ∈ [0,1], then D is called convex. If (X, d, W)satisfies only (W1), it is reduced to the convex metric space introduced by Takahashi [20] which incorporates all normed linear spaces, $\mathbb{R}$-trees and the Hilbert Ball with the Hyperbolic metric [21]. If (X, d, W)satisfies (W1)-(W3) then it is called the hyperbolic space in the sense of Goebel and Kirk [22]. After Itoh [23] gave the condition (III) that is equivalent (W4) condition, Reich and Shafrir [24] and Kirk [25] defined their notions of hyperbolic space by using Itoh’s condition.

A hyperbolic space (X, d, W)is said to be uniformly convex [26] if there exists a δ (0,1] such that $d(x,u)≤rd(y,u)≤rd(x,y)≥ϵr⇒d(W(x,y,12),u)≤(1−δ)r$

for all u, x, y ∈ X, r > 0 and ∊ ∈ (0,2].

A map η : (0, ∞ × (0,2] → (0,1] which satisfies such a δ = η(r, ∊) for given r > 0 and ∊ ∈ (0,2], is called modulus of uniform convexity. We call η monotone if it decreases with r for a fixed ∊.

Let (X, d)be a metric space and K be a nonempty subset of X, K is said to be proximinal if there exists an element yK such that $d(x,y)=d(x,K):=infz∈Kd(x,z)$

for each xX. The collection of all nonempty compact subsets of K, the collection of all nonempty closed bounded subsets and nonempty proximinal bounded subsets of K are denoted by C(K),CB(K)and P(K)respectively. The Hausdorff metric H on CB(X)is defined by $H(A,B):=maxsupx∈A⁡d(x,B),supy∈B⁡d(y,A)$

for all A, BCB(X): Let T : K → CB(X)be a multivalued mapping. An element x ∈ K is said to be a fixed point of T if xT x: A multivalued mapping T : K → CB(X)is said to be nonexpansive if $H(Tx,Ty)≤d(x,y),∀x,y∈K.$

Now,we need to give some definitions and notations to mention the concept of convergences in hyperbolic spaces.

Let {xn} be a bounded sequence in a hyperbolic space (X, d, W). Let r be a continuous functional r(·,{xn}): W X →[0, ∞) given by $r(x,{xn})=limsupn→∞⁡d(x,xn).$

The asymptotic radius r({xn}) of {xn}is given by $r({xn})=inf{r(x,{xn}):x∈X}.$

The asymptotic center AK.({xn}) of a bounded sequence {xn}with respect to K ⊂ X is the set $AK({xn})={x∈X:r(x,{xn})≤r(y,{xn}),∀y∈K}.$

If the asymptotic center is taken with respect to X, then it is simply denoted by A({xn}).

([26, Proposition 3.3]). Let (X, d, W) be a complete uniformly convex hyperbolic space. Every bounded sequence {xn} in X has a unique asymptotic center with respect to any nonempty closed convex subset C of X.

Recall that if x is the unique asymptotic center of {un}for every subsequence {un}of {xn}then the sequence {xn} in X is said to be Δ—converge to x ∈ X. In this case, we write Δ — limn→∞ xn = x and call x the Δ-limit of {xn}.

This concept in general metric spaces was coined by Lim [3] and Kirk and Panyanak [27].

([28, Lemma 2.5]). Let (X,d,W) be a uniformly convex hyperbolic space with monotone modulus of uniform convexity η. Let x ∈ E and {αn} be a sequence in [b,c] for some b,c ∈ (0,1). If {xn} and {yn} are sequences in X such that lim supn→∞ d (xn, x) r, lim supn→∞ d(yn, x) r and limn→∞ d(W(xn, yn, αn),x) = r for some r ≥ 0, then limn→∞ d(xn, yn) = 0.

([28, Lemma 2.6]). Let D be a nonempty closed subset of a uniformly convex hyperbolic space X and {xn} be a bounded sequence in D such that A({xn}) = {y} and r({xn}) = ρ. If {ym} is another sequence in D such that limn→∞ r(ym,{xn}) = ρ, then limm→∞ ym = y.

([29, Lemma 1]). Let Τ : D → Ρ (D) be a multivalued mapping and PT(x) = {y ∈ Tx : d(x, y) = d(x, T x)}. Then the fallowings are equivalent.

(1) x F (Τ), that is, x Τ x,

(2) PT(χ) = {x}, that is, x = y for each yPT(x),

(3) x F (ΡT), that is, xPT(x)- Moreover, F (Τ) = F(PT).

([30, p. 480]). Let Α, Β ∈ CB(X) and a ∈ A. If η > 0, then there exists b ∈ Β such that d(a, b) ≤ Η(Α,Β) + η.

## 3 Main results

Now we give two useful lemmas to prove our main results.

Let D be a nonempty closed convex subset of a hyperbolic space X and {Ti : i = 1,2,... ,k} be a family of nonexpansive multivalued mappings such that ${P}_{{T}_{i}}$ is nonexpansive mapping and p ∈ F(Ti) for i = 1, 2,..., k. Suppose that $F={\bigcap }_{i=1}^{k}F\left({T}_{i}\right)\ne \mathrm{\varnothing },$ and the iterative sequence {xn} is defined by (3 Then for pF, we get

(1) $d\left({x}_{n},{P}_{{T}_{i}}{x}_{n}\right)\le 2d\left({x}_{n},p\right)$ for all i = 1,2,... ,k,

(2) $d\left({y}_{\left(i-1\right)n},{u}_{\left(i-1\right)n}\right)\le 2d\left({y}_{\left(i-1\right)n},p\right)$ for all i = 1,2,... ,k,

(3) $d\left({u}_{\left(i-1\right)n},p\right)\le d\left({y}_{\left(i-1\right)n},p\right)$ for all i = 1,2,... ,k,

(4) $d\left({y}_{in},p\right)\le d\left({x}_{n},p\right)$ for all i = 1,2,... ,k - 1,

(5) $d\left({x}_{n+1},p\right)\le d\left({x}_{n},p\right),$,

(6) ${lim}_{n\to \mathrm{\infty }}d\left({x}_{n},p\right)\phantom{\rule{thinmathspace}{0ex}}exists,$

Let p ∈ F.

(1). For i = 1, 2, 3,... ,k, we have $d(xn,PTixn)≤d(xn,p)+d(p,PTi(xn))≤d(xn,p)+H(PTi(p),PTi(xn))≤d(xn,p)+d(p,xn)=2d(xn,p).$(4)

(2). In a similar way with part (1), we get $d(y(i−1)n,u(i−1)n)≤d(y(i−1)n,p)+d(p,u(i−1)n)≤d(y(i−1)n,p)+d(p,PTi(y(i−1)n))≤d(y(i−1)n,p)+H(PTi(p),PTi(y(i−1)n))≤d(y(i−1)n,p)+d(p,y(i−1)n)=2d(y(i−1)n,p).$(5)

(3). For i = 1, 2, 3,..., k, we have $d(u(i−1)n,p)≤d(u(i−1)n,PTi(p))≤H(PTi(y(i−1)n),PTi(p))≤d(y(i−1)n,p).$(6)

(4). We prove this item in three parts. Firstly $d(y1n,p)=d(W(u0n,y0nα1n),p)≤(1−α1n)d(u0n,p)+α1nd(y0n,p)≤(1−α1n)d(u0n,PT1(p))+α1nd(y0n,p)≤(1−α1n)H(PT1(y0n),PT1(p))+α1nd(y0n,p)≤(1−α1n)d(y0n,P)+α1nd(y0n,p)=d(xn,p)$(7)

Secondly, we assume that d(yjn, p) ≤ d(xn, p) holds for some 1 ≤ jk — 2. Then $d(y(j+1)n,p)=d(W(ujn,yjn,α(j+1)n),p)≤(1−α(j+1)n)d(ujn,p)+α(j+1)nd(yjn,p)≤(1−α(j+1)n)H(PT(j+1)n(yjn),PT(j+1)n(p))+α(j+1)nd(yjn,p)≤(1−α(j+1)nd(yjn,p)+α(j+1)nd(yjn,p)≤d(yjn,p)≤d(xn,p).$(8)

Lastly, $d(y(k−1)n,p)=d(W(u(k−2)n,yy(k−2)n,α(k−1)n),p)≤(1−α(k−1)n)d(u(k−2)n,p)+α(k−1)nd(y(k−2)n,p)≤(1−α(k−1)n)d(u(k−2)n,PTk−1(p))+α(k−1)nd(y(k−2)n,p)≤(1−α(k−1)n)H(PTk−1(y(k−2)n),PTk−1(p))+α(k−1)nd(y(k−2)n,p)≤(1−α(k−1)n)d(y(k−2)n,p)+α(k−1)nd(y(k−2)n,p)=d(y(k−2)n,p).$(9)

So, by induction, we get $d(yin,p)≤d(xn,p)$(10) for all i = 1, 2,... ,k - 1.

(5). By part (4), we have $d(xn+1,p)=d(W(u(k−1)n,y(k−1)n,αkn),p)≤(1−αkn)d(u(k−1)n,p)+αknd(y(k−1)n,p)≤(1−αkn)d(u(k−1)n,pTk(p)+αknd(y(k−1)n),p)≤(1−αkn)H(pTk(y(k−1)n),pTk(p))+αknd(y(k−1)n,p)=(1−αkn)d(y(k−1)n,p)+αknd(y(k−1)n,p)=d(y(k−1)n,p)≤d(xn,p).$(11)

(6). By part (5), we get $d(xn+1,p)≤d(xn,p)$

for i = 1,2,... ,k. Thus, we obtain limn→∞ d(xn, p)exists for each p ∈ F.

Let D be a nonempty closed subset of a uniformly convex hyperbolic space X and Ti : D → Ρ (D) be a family of multivalued mappings such that ${P}_{{T}_{i}}$ is nonexpansive mapping for i = 1,2,...,k with a set of F ≠ ∅. Then for the iterative process {xn} defined in (3), we have $limn→∞⁡d(xn,PTixn)=0$

for i = 1,2,... ,k.

By Lemma 3.1, limn→∞ d(xn, p)exists for each p ∈ F. Therefore, for a c ≥ 0, we have $limn→∞⁡d(xn,p)=c.$(12)

By taking lim sup on both sides of (10), we have $limsupn→∞⁡dyin,p≤c$(13)

for all i = 1,2,... ,k - 1.

So, by (6) and (13), we get $limsupn→∞⁡dui−1n,p≤c$(14)

forall i = 1,2,..., k.

Since limn→∞ d(xn+1, p) = c, we have $\underset{n\to \mathrm{\infty }}{lim}d\left(W\left({u}_{\left(k-1\right)n},{y}_{\left(k-1\right)n},{\alpha }_{kn}\right),p\right)=c.$. From Lemma 2.2, (13) and (14), we have $limn→∞⁡dyk−1n,uk−1n=0.$

We claim that, $limn→∞⁡dyj−1n,uj−1n=0$(15)

for all j = 2,3,..., k . By Lemma 3.1 we get $dxn+1,p≤dyin,p$(16)

for all i = 1, 2 ,..., k – 1. Therefore, from (16), we obtain $c≤liminfn→∞⁡dyi−1n,p$(17)

for i = 2,3,..., k it. By (3), (13) and (17), we obtain $limn→∞⁡d(W(uj−2n,yj−2n,αj−1n),p)=limn→∞⁡d(y(j−1)n,p)=c.$

Using (13), (14) and Lemma 2.2, we get $\underset{n\to \mathrm{\infty }}{lim}d\left({u}_{\left(j-2\right)n},{y}_{\left(j-2\right)n}\right)=0.$ So, by induction $limn→∞⁡d(y(i−1)n,u(i−1)n)=0$(18)

for all i = 1,2,... ,k. From (3), we get $d(yin,y(i−1)n)=d(W(u(i−1)n,yi−1n,αin),yi−1n)≤(1−αin)d(u(i−1)n,yi−1n).$

By (18), we have $limn→∞⁡d(yin,yi−1n)=0$(19)

for i = 1,2,... ,k. Since $d(xn,y1n)=d(xn,W(u0n,y0n,α1n)≤(1−α1n)d(xn,u0n)+α1nd(xn,y0n)=(1−α1n)d(xn,u0n).$

by taking i = 1 in (18), we get $limn→∞⁡d(xn,y1n)=0.$(20)

By known triangle inequality, $d(xn,yin)≤d(xn,y1n)+d(y1n,y2n)+⋯+d(y(i−1)n,yin).$

for all i = 1, 2,..., k - 1. It follows by (19) and (20) that $limn→∞d(xn,yin)=0.$(21)

For i = 1,2, 3,..., k $d(xn,PTixn)≤d(xn,y(i−1)n)+d(y(i−1)n,u(i−1)n)+d(ui−1n,PTixn)≤d(xn,y(i−1)n)+d(y(i−1)n,u(i−1)n)+H(PTiy(i−1)n,PTixn)≤2d(xn,y(i−1)n)+d(y(i−1)n,u(i−1)n).$

From (18) and (21), we conclude $limn→∞⁡d(xn,PTixn)=0.$

Let D be a nonempty closed convex subset of a complete uniformly convex hyperbolic space E with monotone modulus of uniform convexity η. Let Ti, ${P}_{{T}_{i}}$ and F be as in Lemma 3.2, Then the iterative process {xn}, Δ— converges to p in F.

Proof. Let p ∈ F. Then $p\in F\left({T}_{i}\right)=F\left({P}_{{T}_{i}}\right),$ for i = 1,2,... ,k. By the Lemma 3.1, {xn}is bounded and so limn→∞ d(xn, p)exists. Thus {xn}has a unique asymptotic center. In other words, we have A({xn}) = {xn}. Let {vn}be a subsequence of {xn}such that A({vn}) = {v}. From Lemma 3.2, we get $\underset{n\to \mathrm{\infty }}{lim}\left({v}_{n},{P}_{{T}_{1}}\left({v}_{n}\right)\right)=0.$ We claim that υ is a fixed point of ${P}_{{T}_{1}}.$

To prove this, we take another sequence {zm}in PT1(v) Then, $r(zm,{vn})=limsupn→∞⁡d(zm,vn)≤limn→∞⁡{d(zm,PT1(vn)+d(PT1(vn),vn)}≤limn→∞⁡{H(PT1(v),PT1(vn))+d(PT1(vn),vn))}≤limsupn→∞⁡d(v,vn)=r(v,{vn})$

this gives $|r\left({z}_{m},\left\{{v}_{n}\right\}\right)-r\left(v,\left\{{v}_{n}\right\}\right)|\to 0$ for m →. By Lemma 2.3, we get limm→∞→∞ zm = v. Note that T1(υ) ∈ P(D)being proximinal is closed, hence ${P}_{{T}_{1}}\left(v\right)$ is either closed or bounded. Consequently $\underset{m\to \mathrm{\infty }}{lim}{z}_{m}=v\in {P}_{{T}_{1}}\left(v\right).$ Similarly $v\in {P}_{{T}_{2}}\left(v\right),v\in {P}_{{T}_{3}}\left(v\right)\dots v\in {P}_{{T}_{k}}\left(v\right).$ So ν ∈ F.

Let D be a nonempty closed convex subset of a hyperbolic space E and Let Ti, ${P}_{{T}_{i}}$ and F be as in Lemma 3.2 and let {xn} be the iterative process defined in 3, then {xn} converges to p in F if and only if limn→∞ d(xn, F) = 0.

If {xn}converges to p ∈ F, then limn→∞ d(xn, p) = 0. since 0 ≤ d(xn,F) d(xn, p), we have limn→∞ d(xn, F) = 0. Conversely, suppose that limn→∞ inf d(xn, F) = 0. By Lemma 3.1, we have $d(xn+1,p)≤d(xn,p)$

which implies $d(xn+1,F)≤d(xn,F).$

This gives that limn→∞ d(xn, F)exists. Therefore, by the hypothesis of our theorem, lim infn→∞ d(xn, F) = 0. Thus we have limn→∞ d(xn, F) = 0. Let us show that {xn}is a Cauchy sequence in D. Let m, n, ∈ ℕ and assume m > n. Then it follows that d(xm, p) d(xn, p)for all p ∈ F. Thus we get, $d(xm,xn)≤d(xm,p)+d(p,xn)≤2d(xn,p).$

Taking inf on the set F, we have d(xm, xn)≤ d(xn, F). We show that {xn}is a Cauchy sequence in D. By taking as m, n in the inequality d(xm, xn)≤ d(xn, F). So, it converges to a q ∈ D. Now it is left to show that

q ∈ F (Τ1). Indeed by $d\left({x}_{n},F\left({P}_{{T}_{1}}\right)\right)={inf}_{y\in F\left({P}_{{T}_{1}}\right)}d\left({x}_{n},y\right).$So for each ∊ > 0, there exists ${p}_{n}^{\left(ϵ\right)}\in F\left({P}_{{T}_{1}}\right)$ such that, $d(xn,pn(ϵ))

This implies ${lim}_{n\to \mathrm{\infty }}d\left({x}_{n},{p}_{n}^{\left(ϵ\right)}\right)\le \frac{ϵ}{2}.\phantom{\rule{thinmathspace}{0ex}}\text{Since}\phantom{\rule{thinmathspace}{0ex}}d\left({p}_{n}{,}^{\left(ϵ\right)}q\right)\le d\left({x}_{n},{p}_{0}^{\left(ϵ\right)}\right)+d\left({x}_{n},q\right)$ it follows that ${lim}_{n\to \mathrm{\infty }}d\left({p}_{n}^{\left(ϵ\right)},q\right)\le \frac{ϵ}{2}.$ Finally $d(PT1(q),q)≤d(q,pn(ϵ))+d(pn(ϵ),PT1(q))≤d(q,pn(ϵ))+H(PT1(pn(ϵ)),PT1(q))≤2d(pn(ϵ),q)$

which shows $d\left({P}_{{T}_{1}}\left(q\right),q\right)<ϵ.\phantom{\rule{thinmathspace}{0ex}}\text{So},\phantom{\rule{thinmathspace}{0ex}}d\left({P}_{{T}_{1}}\left(q\right),q\right)=0.$ In a similar way, we get for any i = 1, 2..., k we obtain $d\left({P}_{{T}_{i}}\left(q\right),q\right)=0.$ Since F is closed, q ∈ F.

Now we give the definition of condition (B) of Senter and Dotson for a finite family of multivalued mappings to complete the proof of the following theorem.

([31]). The multivalued nonexpansive mappings Τ1, Τ2,...,Tk : DCB(D) are said to satisfy condition (B). If there exists a nondecreasing function ƒ : [0, ∞) → [0, ∞) with f(0) = 0, f(r) > 0 for all r ∈ (0, ∞) such that $d(xn,Tixn)≥f(d(xn,F)),F≠∅.$

A map Τ : DΡ(D) is called semi-compact if any bounded sequence {xn} satisfying $d\left({x}_{n},{T}_{{x}_{n}}\right)\to 0$ as n → ∞ has a convergent subsequence.

Let D be a nonempty closed convex subset of a complete uniformly convex hyperbolic space E with monotone modulus of uniform convexity η. Let Ti, ${P}_{{T}_{i}}$ and F be as in Lemma 3.2. Suppose that each ${P}_{{T}_{i}}$ satisfies condition (B). Then the iterative process {xn} defined in (3) converges strongly to p ∈ F.

Proof. By Lemma 3.1, limn→∞ d(xn, p)exists for all p ∈ F. We call it c for some c ≥ 0.Then if c = 0,proof is completed. Assume c > 0. Now d (xn+1, p) d (xn, p)gives that $infp∈F(Ti)d(xn+1,p)≤infp∈F(Ti)d(xn,p)$

which means that $d\left({x}_{n+1},F\right)\le d\left({x}_{n},F\right).\phantom{\rule{thinmathspace}{0ex}}\text{So},{lim}_{n\to \mathrm{\infty }}d\left({x}_{n},F\right)$ exists. By using the condition (B)and Lemma 3.2 we obtain, $limn→∞f(d(xn,F))≤limn→∞d(xn,PTi(xn)→0$

and so limn→∞ (d(xn, F)) = 0. By the properties of ƒ, we get limn→∞ d(xn, F) = 0. Finally by applying Theorem 3.4, we obtain the result.

Let D be a nonempty closed convex subset of a complete uniformly convex hyperbolic space E with monotone modulus of uniform convexity η and let Ti, ${P}_{{T}_{i}}$ F be as in Lemma 3.2. Suppose that ${P}_{{T}_{i}}$ is semi-compact then the iterative process {xn} defined in (3) converges strongly to p ∈ F.

## Acknowledgement

The authors would like to thank the reviewers for their valuable comments and suggestions to improve the quality of the paper.

## References

• [1]

Tan K.K., Xu H.K., Fixed point iteration process for asymptotically nonexpansive mappings, Proc. Amer. Math. Soc, 1994, 3, 733-739 Google Scholar

• [2]

Xu Β., Μ.Α., Fixed point iterations for asymptotically nonexpansive mappings in Banach spaces, J. Math. Anal. Appl., 2002, 267, 444-453Google Scholar

• [3]

Lim T.C., Remarks on some fixed point theorems, Proc. Am. Math. Soc, 1977, 60, 179-182 Google Scholar

• [4]

Gunduz B., Akbulut S., A one-step implicit iterative process for a finite family of I — nonexpansive mappings in Kohlenbach hyperbolic spaces, Math Sci, 2016, 10, 55-61Google Scholar

• [5]

Akbulut S., Gunduz B., Strong and Δ— convergence of a faster iteration process in hyperbolic space, Korean Math. Soc. 2015, 30,209-219Google Scholar

• [6]

Gunduz B., Akbulut S., On weak and strong convergence theorems for a finite family of nonself I — asymptotically nonexpansive mappings, Mathematica Moravica, 2015, 19, 49-64Google Scholar

• [7]

Gunduz B., Khan S.H., Akbulut S., Common fixed point of two finite families of nonexpansive mappings in Kochlenbach hyperbolic spaces, J. Nonlinear Funct. Anal., 2015, 2015:15Google Scholar

• [8]

Gunduz B., Khan S.H., Akbulut S., Strong convergence of an explicit iteration process for a finite family of asymptotically quasi- nonexpansive mappings in convex metric spaces, Miskol Mathematical Notes, 2013, 14, (3), 905-913Google Scholar

• [9]

Gunduz B., Khan S.H., Akbulut S., On convergence of an implicit iterative algorithm for nonself asymptotically nonexpansive mappings, Hacettepe journal of mathematics and statistics, 2014, 43, (3), 399-411Google Scholar

• [10]

Gunduz B., Akbulut S., Strong and Δ— convergence theorems in hyperbolic spaces, Miskolc mathematical notes, 2013, 14, 915- 925Google Scholar

• [11]

Sahin Α., Baçarir M., Convergence and data dependence results of an iteration process in a hyperbolic space, Filomat, 2016, 30(3), 569-582Google Scholar

• [12]

Khan S.H., Abbas M., Common fixed points of two multivalued nonexpansive maps in Kohlenbach spaces, Fixed Theory Appi., 2014,2014: 181,11 pages Google Scholar

• [13]

Yildirim I., Özdemir M., A new iterative process for common fixed points of finite families of non-self-asymptotically non-expansive mappings. Nonlinear analysis, 2009 71 991-999 Google Scholar

• [14]

Phuengrattana W., Suantai S., On the rate of convergence of Mannjshikawa, Noor and SP-iterations for continous functions on an arbitrary interval, J. Comput. Appl. Math., 2011, 235, 3006-3014 Google Scholar

• [15]

Thianwan, S., Common fixed points of new iterations for two asymptotically nonexpansive nonself-mappings in a Banach space. Journal of Computational and Applied Mathematics, 2009, 224, 688-695 Google Scholar

• [16]

Thianwan S., Common fixed points of new iterations for two asymptotically nonexpansive nonself mappings in a Banach space, J. Comput. Appl. Math., 2009, 224, 688-695 Google Scholar

• [17]

Schu J., Weak and strong convergence to fixed points of asymptotically nonexpansive mappings, Bull. Aust. Math. Soc, 1991, 43, 153-159. Google Scholar

• [18]

Kettapun Α., Kananthai Α., Suantai S., A new approximation method for common fixed points of a finite family of asymptotically quasi-nonexpansive mappings in Banach spaces, Computers and Mathematics with Aplications, 2010, 60, 1430-1439 Google Scholar

• [19]

Gunduz B., Akbulut S., Strong convegence of an explicit iteration process for a finite family of asymptotically quasi-nonexpansive mappings in convex metric spaces, Miskolc Mathematical Notes, 2013, 14 (3), 905-913 Google Scholar

• [20]

Takahashi W., A convexity in metric spaces and nonexpansive mappings. Kodai Math. Semin. Rep. 1970, 22, 142-149 Google Scholar

• [21]

Goebel K., Reich S., Uniform Convexity, Hyperbolic and Nonexpansive Mappings, Marcel Dekker, New York, 1984 Google Scholar

• [22]

Goebel K. Kirk W.A., Iteration process for nonexpansive mappings, Contemp. Math., 1983, 21, 115-123 Google Scholar

• [23]

Itoh S., Some fixed point theorems in metric spaces, Fundam. Math.,1979, 102, 109-117 Google Scholar

• [24]

Reich S., Shafrir I., Nonexpansive iterations in Hyperbolic spaces, nonlinear Anal., 1990, 15 (6), 537-558 Google Scholar

• [25]

Kirk W. Α., Krasnoselskii's iteration process in Hyperbolic space. Numer. Func. Anal. Optim., 1982, 4, 371-381 Google Scholar

• [26]

Luestean L, Nonexpansive iteration in uniformly convex w-Hyperbolic spaces, In: Leizarowitz Α., Mordukhovich B.S., Shafrir I., Zaslavski A. (Eds.), Proceedings of Nonlinear Analysis and Optimization 1 Conference (18-24 June 2008, Haifa, lsrael),2010, 513, 193-209 Google Scholar

• [27]

Kirk W.A. Panyanak B., A concept of convergence in geodesic spaces. Nonlinear Anal., 2008, 68 (12), 3689-3696 Google Scholar

• [28]

Khan A.R., Fukhar-ud-din H. Khan M.A.A, An implicit algorithm for two finite families of nonexpansive maps in Hyperbolic spaces, Fixed Point Theory and Applications, 2012, 2012:54 Google Scholar

• [29]

Song Y Cho Y.J., Some notes on Ishikawa iteration for multivalued mappings, Bull. Korean. Math. Soc, 2011, 48 (3), 575-584 Google Scholar

• [30]

Nadler S. B., Multivalued contraction mappings, Pasific J. Math., 1969, 30, 475-488 Google Scholar

• [31]

Chidume, CE., Shahzad, N., Strong convergence of an implicit iteration process for a finite family of nonexpansive mappings. Nonlinear Anal., 2005, 65, 1149-1156 Google Scholar

Accepted: 2016-10-27

Published Online: 2016-12-24

Published in Print: 2016-01-01

Citation Information: Open Mathematics, ISSN (Online) 2391-5455,

Export Citation