 Research
 Open Access
 Published:
Fixed point approximation for \(SKC\)mappings in hyperbolic spaces
Journal of Inequalities and Applications volume 2015, Article number: 341 (2015)
Abstract
In this paper, we introduce the class of \(SKC\)mappings, which is a generalization of the class of Suzukigeneralized nonexpansive mappings, and we prove the strong and Δconvergence theorems of the Siteration process which is generated by \(SKC\)mappings (Karapinar and Tas in Comput. Math. Appl. 61:33703380, 2011) in uniformly convex hyperbolic spaces. As uniformly convex hyperbolic spaces contain Banach spaces as well as \(\operatorname {CAT}(0)\) spaces, our results can be viewed as an extension and generalization of several wellknown results in Banach spaces as well as \(\operatorname {CAT}(0)\) spaces.
Introduction
First, we give some definitions for the main results.
Definition 1.1
Let C be a nonempty subset of a Banach space X. A mapping \(T :C \to C\) is said to be:

(i)
nonexpansive if
$$\Vert Tx  Ty \Vert \leq \Vert x  y \Vert , $$for all \(x, y \in C\);

(ii)
quasinonexpansive if
$$\Vert Tx  p \Vert \leq \Vert x  p \Vert , $$for each \(p \in F(T)\) and for all \(x\in C\), where \(F(T)= \{x \in C; Tx = x \}\) denotes the set of fixed points of T.
In 2008, Suzuki [1] introduced a class of singlevalued mappings, called Suzukigeneralized nonexpansive mappings, as follows.
Definition 1.2
Let T be a mapping on a subset of a Banach space X. Then T is said to satisfy condition \((C)\) if
for all \(x,y \in C\).
From the following examples, we know that condition \((C)\) is weaker than nonexpansiveness and stronger than quasinonexpansiveness, that is, every nonexpansive mapping T satisfies condition \((C)\) and if the mapping T satisfies condition \((C)\) with \(F(T) \neq\phi\), then it is a quasinonexpansive.
Example 1.3
[1]
Define a mapping T on \([0,3]\) by
Then T satisfies condition \((C)\), but T is not nonexpansive.
Example 1.4
[1]
Define a mapping T on \([0,3]\) by
Then \(F(T)= \{0\} \neq\phi\) and T is quasinonexpansive, but T does not satisfy condition \((C)\).
In [1], Suzuki proved the existence of the fixed point and convergence theorems for mappings satisfying condition \((C)\) in Banach spaces. In the same space setting under certain conditions Dhompongsa et al. [2] improved the results of Suzuki [1] and obtained a fixed point result for mappings with condition \((C)\).
In 2011, Karapınar et al. [3], proposed some new classes of mappings which significantly generalized the notion of Suzukitype nonexpansive mappings as follows.
Definition 1.5
Let C be a nonempty subset of a metric space \((X, d)\). The mapping \(T: C \to C\) is said to be:

(i)
a SuzukiCiric mapping SCC [3] if
$$\frac{1}{2} d(Tx, Ty) \leq d(x, y)\quad \text{implies}\quad d(Tx, Ty) \leq M(x, y), $$where \(M(x, y) = \max\{d(x, y), d( x, Tx), d( y, Ty), d( x, Ty), d( y, Tx) \} \) for all \(x, y \in C\);

(ii)
a SuzukiKC mapping SKC if
$$\frac{1}{2} d(Tx, Ty) \leq d( x, y)\quad \text{implies}\quad d(Tx, Ty) \leq N(x, y), $$where \(N(x, y) = \max \{d(x, y),\frac{d(x, Tx) + d(y, Ty)}{2}, \frac {d(x, Ty)+ d(y, Tx)}{2} \} \) for all \(x, y \in C\);

(iii)
a KannanSuzuki mapping KSC if
$$\frac{1}{2} d(Tx, Ty) \leq d(x, y)\quad \text{implies}\quad d(Tx, Ty) \leq \frac{d(x, Tx) + d(y, Ty)}{2} $$for all \(x, y \in C\);

(iv)
a ChatterjeaSuzuki mapping CSC if
$$\frac{1}{2} d(T x, T y) \leq d(x, y)\quad \text{implies}\quad d(Tx, Ty) \leq \frac{d(y, Tx) + d(x, Ty)}{2} $$for all \(x, y \in C\).
From the above definition, it is clear that every nonexpansive mapping satisfies condition \(SKC\), but the converse is not true, as becomes clear from the following examples.
Example 1.6
[3]
Define a mapping T on \([0,4]\) by
T satisfies both the \(SCC\) condition and the \(SKC\) condition but T is not nonexpansive.
Example 1.7
[3]
Define a mapping T on \([0,4]\) by
S is quasinonexpansive and \(F(S) \neq\phi\) but S does not satisfy the \(SKC\) condition.
Example 1.8
Consider the space \(X= \{(0,0), (0,1), (1,1), (1,2)\}\) with \(\ell ^{\infty}\) metric,
Define a mapping T on X by
T obeys condition \(SKC\). Suppose that \(( x, y) =(0, 0)\) and \((x, y) = (1,1)\), then
and
thus
One can check that the condition of the \(SKC\)mapping holds for the other point of the space X. Note that \(F(T) = \{(1,1)\} \neq\phi\), and \(F(T)\) is closed and convex.
In the framework of \(\operatorname {CAT}(0)\) spaces one gave some characterization of existing fixed point results for mappings with condition \((C)\). In [4], Abbas et al. extended the result of Nanjaras et al. [5] for the class of \(SKC\)mappings and proved some strong and Δconvergence results for a finite family of \(SKC\)mappings using an Ishikawatype iteration process in the framework of \(\operatorname {CAT}(0)\) spaces (see [4]).
On the other hand, the following fixed point iteration processes have been extensively studied by many authors for approximating either fixed points of nonlinear mappings (when these mappings are already known to have fixed points) or solutions of nonlinear operator equations.
(M) The Mann iteration process (see [6, 7]) is defined as follows:
For C, a convex subset of Banach space X, and a nonlinear mapping T of C into itself, for each \(x_{0}\in C\), the sequence \(\{ x_{n}\} \) in C is defined by
where \(\{\alpha_{n}\}\) is a real sequence in \([0, 1]\) which satisfies the following conditions:
 (M_{1}):

\(0 \leq\alpha_{n} <1 \),
 (M_{2}):

\(\lim_{n\to \infty} \alpha_{n} = 0\),
 (M_{3}):

\(\sum_{n =1}^{\infty} \alpha_{n} = \infty\).
In some applications condition (M_{3}) is replaced by the condition \(\sum_{n=1}^{\infty} \alpha_{n} ( 1\alpha_{n}) = \infty\).
(I) The Ishikawa iteration process (see [6, 8]) is defined as follows:
With C, X, and T as in (M), for each \(x_{0}\in C\), the sequence \(\{ x_{n} \}\) in C is defined by
where \(\{\alpha_{n}\}\) and \(\{\beta_{n}\}\) are sequences in \([0,1]\) which satisfy the following conditions:
 (I_{1}):

\(0\leq\alpha_{n} \leq \beta_{n} < 1\),
 (I_{2}):

\(\lim_{n \to\infty} \beta_{n} =0\),
 (I_{3}):

\(\sum_{n =1}^{\infty} \alpha_{n} \beta_{n} = \infty\).
It is clear that the process (M) is not a special case of the process (I) because of condition (I_{1}). In some papers (see [9–13]) condition (I_{1}) \(0\leq\alpha_{n} \leq\beta_{n} < 1\) has been replaced by the general condition (\(\mathrm{I}_{1}^{'}\)) \(0< \alpha _{n}, \beta_{n} <1\). With this general setting, the process (I) is a natural generalization of the process (M). It is observed that, if the process (M) is convergent, then the process (I) with condition (\(\mathrm{I}_{1}^{'}\)) is also convergent under suitable conditions on \(\alpha_{n}\) and \(\beta_{n}\).
Recently, Agarwal et al. [14] introduced the Siteration process as follows. For C, a convex subset of a linear space X, and T be a mapping of C into itself, the iterative sequence \(\{x_{n}\}\) of the Siteration process is generated from \(x_{0} \in C\) is defined by
where \(\{\alpha_{n}\}\) and \(\{\beta_{n}\}\) are sequences in \((0, 1)\) satisfying the condition
It is easy to see that neither the process (M) nor the process (I) reduces to an Siteration process and vice versa. Thus, the Siteration process is independent of the Mann [7] and Ishikawa [8] iteration processes (see [6, 14, 15]).
It is observed that the rate of convergence of the Siteration process is similar to the Picard iteration process, but faster than the Mann iteration process for a contraction mapping (see [6, 14, 15]).
On the other hand, in [16], Leuştean proved that \(\operatorname {CAT}(0)\) spaces are uniformly convex hyperbolic spaces with a modulus of uniform convexity \(\eta(r, \varepsilon) = \frac{\varepsilon^{2}}{8}\) quadratic in ε. Therefore, we know that the class of uniformly convex hyperbolic spaces is a generalization of both uniformly convex Banach spaces and \(\operatorname {CAT}(0)\) spaces.
We consider the following definition of a hyperbolic space introduced by Kohlenbach [17], and, also, Zhao et al. [18] and Kim et al. [19] got some convergence results in a hyperbolic space setting.
Definition 1.9
A hyperbolic space \((X, d, W)\) is a metric space \((X, d)\) together with a convexity mapping \(W: X^{2} \times[0,1] \to X\) satisfying:

(W1)
\(d( u, W(x, y, \alpha)) \leq\alpha d( u, x) + ( 1\alpha ) d( u, y)\);

(W2)
\(d(W(x, y, \alpha), W(x, y,\beta)) = \vert\alpha \beta \vert d( x, y)\);

(W3)
\(W(x, y, \alpha) = W(y, x, 1\alpha)\);

(W4)
\(d( W(x, z, \alpha), W(y, w, \alpha))\leq(1\alpha) d(x, y)+\alpha d(z, w)\),
for all \(x, y, z, w \in X\) and \(\alpha, \beta\in[0,1]\).
A metric space is said to be a convex metric space in the sense of Takahashi [20], where a triple \((X, d, W) \) satisfies only (W1) (see [21]). We get the notion of the space of hyperbolic type in the sense of Goebel and Kirk [22], where a triple \((X, d, W)\) satisfies (W1)(W3). Condition (W4) was already considered by Itoh [23] under the name of ‘condition III’ and it is used by Reich and Shafrir [24] and Kirk [25] to define their notions of hyperbolic spaces.
The class of hyperbolic spaces include normed spaces and convex subsets thereof, the Hilbert space ball equipped with the hyperbolic metric [26], the Hadamard manifold, and the \(\operatorname {CAT}(0)\) spaces in the sense of Gromov (see [27]).
A subset C of hyperbolic space X is convex if \(W( x, y, \alpha) \in C\) for all \(x, y \in C\) and \(\alpha\in[0,1]\). If \(x, y \in X\) and \(\lambda\in[0,1]\), then we use the notation \((1\lambda)x \oplus\lambda y\) for \(W(x, y, \lambda)\). The following holds even for the more general setting of a convex metric space [20, 21]: for all \(x, y\in X\) and \(\lambda\in[0,1]\),
and
A hyperbolic space \((X, d, W)\) is uniformly convex [16] if, for any \(r > 0\) and \(\varepsilon\in(0, 2]\), there exists \(\delta \in(0, 1]\) such that, for all \(a, x, y \in X\),
provided \(d(x, a) \leq r\), \(d(y, a) \leq r\), and \(d(x, y) \geq \varepsilon r\).
A mapping \(\eta: (0, \infty) \times(0, 2] \to(0,1]\) providing such a \(\delta= \eta(r, \varepsilon)\) for given \(r>0\) and \(\varepsilon \in(0, 2]\), is called a modulus of uniform convexity. We say that η is monotone if it decreases with r for fixed ε.
The purpose of this paper is to prove some strong and Δconvergence theorems of the Siteration process which is generated by \(SKC\)mappings in uniformly convex hyperbolic spaces. Our results can be viewed as an extension and a generalization of several wellknown results in Banach spaces as well as \(\operatorname {CAT}(0)\) spaces (see [1–6, 15, 21, 28–30]).
Preliminaries
First, we give the concept of Δconvergence and some of its basic properties.
Let C be a nonempty subset of metric space \((X, d)\) and let \(\{ x_{n}\}\) be any bounded sequence in X. Let \(\operatorname {diam}(C)\) denote the diameter of C. Consider a continuous functional \(r_{a}(\cdot, \{x_{n}\}): X \to\mathbb{R^{+}}\) defined by
Then the infimum of \(r_{a} (\cdot, \{x_{n}\})\) over C is said to be the asymptotic radius of \(\{x_{n}\}\) with respect to C and is denoted by \(r_{a}(C, \{x_{n}\})\).
A point \(z \in C\) is said to be an asymptotic center of the sequence \(\{x_{n}\}\) with respect to C if
the set of all asymptotic centers of \(\{x_{n}\}\) with respect to C is denoted by \(\operatorname {AC}(C, \{x_{n}\})\). This is the set of minimizers of the functional \(r(\cdot,\{x_{n}\})\) and it may be empty or a singleton or contain infinitely many points.
If the asymptotic radius and the asymptotic center are taken with respect to X, then these are simply denoted by \(r_{a}( X, \{x_{n}\}) = r_{a}( \{x_{n}\})\) and \(\operatorname {AC}(X, \{x_{n}\})= \operatorname {AC}(\{x_{n}\})\), respectively. We know that, for \(x \in X\), \(r_{a}( x, \{x_{n}\}) = 0 \) if and only if \(\lim_{n \to\infty} x_{n} = x\).
It is well known that every bounded sequence has a unique asymptotic center with respect to each closed convex subset in uniformly convex Banach spaces and even \(\operatorname {CAT}(0)\) spaces.
The following lemma is due to Leuştean [31] and we know that this property also holds in a complete uniformly convex hyperbolic space.
Lemma 2.1
[31]
Let \((X, d, W)\) be a complete uniformly convex hyperbolic space with monotone modulus of uniform convexity η. Then every bounded sequence \(\{x_{n}\}\) in X has a unique asymptotic center with respect to any nonempty closed convex subset C of X.
Definition 2.2
A sequence \(\{x_{n}\}\) in a hyperbolic space X is said to be Δconvergent to \(x \in X\), if x is the unique asymptotic center of \(\{u_{n}\}\) for every subsequence \(\{u_{n}\}\) of \(\{x_{n}\}\). In this case, we write Δ\(\lim_{n} x_{n} = x\) and we call x the Δlimit of \(\{x_{n}\}\).
Recall that a bounded sequence \(\{x_{n}\}\) in a complete uniformly convex hyperbolic space with a monotone modulus of uniform convexity η is said to be regular if \(r_{a}(X, \{x_{n}\}) = r_{a}(X, \{ u_{n}\})\) for every subsequence \(\{u_{n}\}\) of \(\{x_{n}\}\).
It is well known that every bounded sequence in a Banach space (or complete \(\operatorname {CAT}(0)\) space (see [28])) has a regular subsequence. Since every regular sequence Δconverges, we see immediately that every bounded sequence in a complete uniformly convex hyperbolic space with a monotone modulus of uniform convexity η has a Δconvergent subsequence. Notice that (see [32], Lemma 1.10) given a bounded sequence \(\{x_{n}\} \subset X\), where X is a complete uniformly convex hyperbolic space with a monotone modulus of uniform convexity η, such that Δ\(\lim_{n} x_{n} = x\) and for any \(y \in X\) we have \(y \neq x\), then
Clearly, X satisfies the above condition, which is known in Banach space theory as the Opial property.
Lemma 2.3
[33]
Let \((X, d, W)\) be a uniformly convex hyperbolic space with monotone modulus of uniform convexity η. Let \(x \in X\) and \(\{t_{n}\}\) be a sequence in \([a, b]\) for some \(a, b \in(0,1)\). If \(\{x_{n}\}\) and \(\{ y_{n}\}\) are sequences in X such that
for some \(c \geq0\), then \(\lim_{ n \to\infty} d( x_{n}, y_{n} ) =0\).
Main results
Now we will give the definition of \(Fej\acute{e}r\) monotone sequences.
Definition 3.1
Let C be a nonempty subset of hyperbolic space X and let \(\{x_{n}\}\) be a sequence in X. Then \(\{x_{n}\}\) is \(Fej\acute{e}r\) monotone with respect to C if for all \(x \in C\) and \(n \in\mathbb{N}\),
Example 3.2
Let C be a nonempty subset of X and let \(T : C \to C\) be a quasinonexpansive (in particular, nonexpansive) mapping such that \(F(T) \neq\phi\). Then the Picard iterative sequence \(\{x_{n}\}\) is \(Fej\acute{e}r\) monotone with respect to \(F(T)\).
Proposition 3.3
[19]
Let C be a nonempty subset of X and let \(\{x_{n}\}\) be a \(Fej\acute{e}r\) monotone sequence with respect to C. Then we have the following:

(1)
\(\{x_{n}\}\) is bounded;

(2)
the sequence \(\{d(x_{n}, p)\}\) is decreasing and convergent for all \(p \in F(T)\).
We now define the Siteration process in hyperbolic spaces (see [19]):
Let C be a nonempty closed convex subset of a hyperbolic space X and let T be a mapping of C into itself. For any \(x_{1} \in C\), the sequence \(\{x_{n}\}\) of the Siteration process is defined by
where \(\{\alpha_{n}\}\) and \(\{\beta_{n}\}\) are real sequences such that \(0 < a \leq\alpha_{n} \), \(\beta_{n} \leq b < 1\).
We can easily prove the following lemma from the definition of \(SKC\)mapping.
Lemma 3.4
Let C be a nonempty closed convex subset of a hyperbolic space X and let \(T :C \to C\) be an \(SKC\)mapping. If \(\{x_{n}\}\) is a sequence defined by (3.1), then \(\{x_{n}\}\) is \(Fej\acute{e}r\) monotone with respect to \(F(T)\).
Proof
Let \(p \in F(T)\). Then by (3.1), we have
Again, using (3.1) and (3.2), we have
for all \(p \in F(T)\). Thus, \(\{x_{n}\}\) is \(Fej\acute{e}r\) monotone with respect to \(F(T)\). □
Lemma 3.5
Let C be a nonempty closed convex subset of a complete uniformly convex hyperbolic space with monotone modulus of uniform convexity η and let \(T :C \to C\) be an \(SKC\)mapping. If \(\{x_{n}\}\) is the sequence defined by (3.1), then \(F(T)\) is nonempty if and only if \(\{x_{n}\}\) is bounded and \(\lim_{n \to\infty}d(x_{n}, Tx_{n}) = 0\).
Proof
Let \(F(T)\) be nonempty and \(p \in F(T)\). Then by Lemma 3.4, \(\{ x_{n}\}\) is \(Fej\acute{e}r\) monotone with respect to \(F(T)\). Hence, by Proposition 3.3, \(\{x_{n}\}\) is bounded and \(\lim_{n \to\infty}d(x_{n}, p)\) exists. Let \(\lim_{n \to\infty }d(x_{n}, p) = c \geq0\). If \(c =0\), then we obviously have
Taking the limit supremum on both sides of above inequality, we have
Let \(c>0\). Since T is an \(SKC\)mapping, we have
and
Therefore,
for all \(n \in\mathbb{N}\). Taking the limit supremum on both sides, we get
for \(c>0\). Similarly, we have
Taking the limit supremum on both sides (3.2), we have
Since
Thus,
for \(c>0\). Hence, it follows from Lemma 2.3 that
Next,
Hence, from (3.7) and (3.8), we have
Now we observe that
which yields
From inequalities (3.6) and (3.10), we have
Thus, from (3.1), we have
which implies
Conversely, suppose that \(\{x_{n}\}\) is bounded and \(\lim_{n \to\infty} d(x_{n}, Tx_{n}) = 0\).
Let \(\operatorname {AC}(C, \{x_{n}\})= \{x\}\) be a singleton. Then, by Lemma 2.1, \(x \in C\). Since T is an \(SKC\)mapping,
which implies that
By using the uniqueness of the asymptotic center, \(Tx = x\), so x is a fixed point of T. Hence, \(F(T)\) is nonempty. □
Now, we are in a position to prove the Δconvergence theorem.
Theorem 3.6
Let C be a nonempty closed convex subset of a complete uniformly convex hyperbolic space X with monotone modulus of uniform convexity η and let \(T : C \to C\) be an \(SKC\)mapping with \(F(T) \neq\phi\). If \(\{x_{n}\}\) is the sequence defined by (3.1), then the sequence \(\{x_{n}\}\) is Δconvergent to a fixed point of T.
Proof
From Lemma 3.5, we observe that \(\{x_{n}\}\) is a bounded sequence. Therefore, \(\{x_{n}\}\) has a Δconvergent subsequence. We now prove that every Δconvergent subsequence of \(\{x_{n}\}\) has a unique Δlimit in \(F(T)\). For this, let u and v be Δlimits of the subsequences \(\{u_{n}\}\) and \(\{ v_{n}\}\) of \(\{x_{n}\}\), respectively. By Lemma 2.1, \(\operatorname {AC}(C, \{ u_{n}\})= \{u\}\) and \(\operatorname {AC}(C, \{v_{n}\})= \{v\}\). Since \(\{u_{n}\}\) is a bounded sequence, from Lemma 3.5, \(\lim_{ n \to\infty} d( u_{n} Tu_{n}) =0\). We have to show that u is a fixed point of T. Since T is an \(SKC\)mapping,
Taking the limit supremum on both sides, we have
Hence, we have
By uniqueness of the asymptotic center, \(Tu=u\).
Similarly, we can prove that \(Tv=v\). Thus, u and v are fixed points of T. Now we show that \(u =v\). If not, then by the uniqueness of the asymptotic center,
which is a contradiction. Hence \(u =v \). □
Remark 3.7
Theorem 3.6 is an extension of Theorem 3.3 of Abbas et al. [4] from \(\operatorname {CAT}(0)\) space to a uniformly convex hyperbolic space. Theorem 3.6 also holds for the \(KSC\), \(SCC\), and \(CSC\)mappings.
Now, we will introduce the strong convergence theorems in hyperbolic spaces.
Theorem 3.8
Let C be a nonempty closed convex subset of a complete uniformly convex hyperbolic space X with monotone modulus of uniform convexity η and let \(T : C \to C\) be an \(SKC\)mapping. If \(\{x_{n}\}\) is the sequence defined by (3.1), then the sequence \(\{x_{n}\}\) converges strongly to some fixed point of T if and only if
where \(D( x_{n} , F(T)) = \inf_{ x \in F(T)} d( x_{n} , x)\).
Proof
Necessity is trivial. We have to prove only the sufficient part. First, we show that \(F(T)\) is closed, let \(\{x_{n}\}\) be a sequence in \(F(T)\) which converges to some point \(z \in C\). Since T is an \(SKC\)mapping, we have
By taking the limit on both sides, we have
Then, from the uniqueness of the limit, we have \(z = Tz\), so that \(F(T)\) is closed.
Suppose that
Then, from inequality (3.3), we get
It follows from Lemma 3.4 and Proposition 3.3 that \(\lim_{n \to\infty}d(x_{n}, F(T))\) exists. Hence we know that
Hence, we can take a subsequence \(\{x_{n_{k}}\}\) of \(\{x_{n}\}\) such that
where \(\{p_{k}\}\) is in \(F(T)\). By Lemma 3.4, we have
which implies that
This means that \(\{p_{k}\}\) is a Cauchy sequence. Since \(F(T)\) is closed, \(\{p_{k}\}\) is a convergent sequence. Let \(\lim_{k \to\infty}p_{k} = p\). Then we have to show that \(\{x_{n}\}\) converges to p. In fact, since
we have
Since \(\lim_{n \to\infty} d(x_{n} , p)\) exists, the sequence \(\{x_{n}\}\) is convergent to p. □
Next, we will give one more strong convergence theorem by using Theorem 3.8. We recall the definition of condition (I) introduced by Senter and Doston [34].
Let C be a nonempty subset of a metric space \((X, d)\). A mapping \(T : C\to C\) is said to satisfy condition (I), if there is a nondecreasing function \(f [0, \infty) \to[0, \infty)\) with \(f(0) = 0\), \(f(t) > 0 \) for all \(t \in(0, \infty)\) such that
for all \(x \in C\), where \(D( x, F(T)) = \inf\{d(x, p) : p \in F(T)\}\).
Theorem 3.9
Let C be a nonempty closed convex subset of a complete uniformly convex hyperbolic space X with monotone modulus of uniform convexity η and let \(T : C \to C\) be an \(SKC\)mapping with condition (I) and \(F(T) \neq\phi\). Then the sequence \(\{x_{n}\}\) which is defined by (3.1) converges strongly to some fixed point of T.
Proof
We know that \(F(T)\) is closed from the proof of Theorem 3.8, and from Lemma 3.5 we have \(\lim_{n \to \infty}d(x_{n}, Tx_{n}) = 0\). It follows from condition (I) that
for a nondecreasing function \(f [0, \infty) \to[0, \infty)\) with \(f(0) = 0\), \(f(t) > 0 \) for all \(t \in(0, \infty)\). Hence, we have
Since f is a nondecreasing mapping satisfying \(f (0) = 0\) for all \(t \in(0, \infty)\), we have
Therefore, we can get the desired result from Theorem 3.8. □
Remark 3.10
Theorems 3.6, 3.8, and 3.9 improve and extend the previous known results from Banach spaces and \(\operatorname {CAT}(0)\) spaces to uniformly convex hyperbolic spaces (see [1–6, 15, 21, 28–30], in particular, Theorems 3.1, 3.2, 3.3, and 3.4 in [4]). In our results, we considered the Siteration which is faster than the other iteration process to approximate the fixed point of underlying mapping in the framework of uniformly convex hyperbolic spaces.
Numerical example
Example 4.1
Let \((X,d) = \mathbb{R}\) with \(d( x, y) = \vert x  y \vert\) and \(C = [0, 4] \subset\mathbb{R}\). Denote
then \((X, d,W)\) is a complete uniformly convex hyperbolic space with a monotone modulus of uniform convexity and C is a nonempty closed and convex subset of X. Let T be a mapping as defined in Example 1.6.
It is easy to see that T satisfies the \(SKC\) condition and \(0 \in C\) is a fixed point of T. It is observed that it satisfies all conditions in Theorem 3.6. Let \(\{\alpha_{n}\}\) and \(\{\beta_{n}\}\) be constant sequences such that \(\alpha_{n} = \beta_{n} = \frac{1}{2}\) for all \(n \geq0\). From the definition of T the following cases arise.
Case 1: Consider \(x \neq4\), for the sake of simplicity, we can assume that \(x_{0} = 1\). Then by the iteration process (3.1) and the definition of W (4.1), we have
and
Case 2: Consider \(x =4\), for the sake of simplicity, we can assume that \(x_{0} = 4\). Then by the iteration process and the definition of W
and
Hence, the sequence \(\{x_{n}\}\) converges to \(0 \in F(T)\).
References
Suzuki, T: Fixed point theorems and convergence theorems for some generalized nonexpansive mappings. J. Math. Anal. Appl. 340, 10881095 (2008)
Dhompongsa, S, Inthakon, W, Kaewkhao, A: Edelsteins method and fixed point theorems for some generalized nonexpansive mappings. J. Math. Anal. Appl. 350, 1217 (2009)
Karapinar, E, Tas, K: Generalized (C)conditions and related fixed point theorems. Comput. Math. Appl. 61, 33703380 (2011)
Abbas, M, Khan, SH, Postolache, M: Existence and approximation results for SKC mappings in CAT(0) spaces. J. Inequal. Appl. 2014, 212 (2014)
Nanjaras, B, Panyanak, B, Phuengrattana, W: Fixed point theorems and convergence theorems for Suzukigeneralized nonexpansive mappings in CAT(0) spaces. Nonlinear Anal. Hybrid Syst. 4, 2531 (2010)
Kim, JK, Dashputre, S, Hyun, HG: Convergence theorems of Siteration process for quasicontractive mappings in Banach spaces. Commun. Appl. Nonlinear Anal. 21(4), 8999 (2014)
Mann, WR: Mean value methods in iteration. Proc. Am. Math. Soc. 4, 506610 (1953)
Ishikawa, S: Fixed points by a new iteration method. Proc. Am. Math. Soc. 44, 147150 (1974)
Chidume, CE: Global iteration schemes for strongly pseudocontractive maps. Proc. Am. Math. Soc. 126, 26412649 (1998)
Deng, L: Convergence of the Ishikawa iteration process for nonexpansive mappings. J. Math. Anal. Appl. 199, 769775 (1996)
Tan, KK, Xu, HK: Approximating fixed points of nonexpansive mappings by the Ishikawa iteration process. J. Math. Anal. Appl. 178, 301308 (1993)
Zeng, LC: A note on approximating fixed points of nonexpansive mappings by the Ishikawa iteration process. J. Math. Anal. Appl. 178, 245250 (1998)
Zhou, HY, Jia, YT: Approximation of fixed points of strongly pseudocontractive maps without Lipschitz assumption. Proc. Am. Math. Soc. 125, 17051709 (1997)
Agarwal, RP, O’Regan, D, Sahu, DR: Iterative construction of fixed points of nearly asymptotically nonexpansive mappings. J. Convex Anal. 8(1), 6179 (2007)
Saluja, GS, Kim, JK: On the convergence of modified Siteration process for asymptotically quasinonexpansive type mappings in a CAT(0) space. Nonlinear Funct. Anal. Appl. 19, 329339 (2014)
Leuştean, L: A quadratic rate of asymptotic regularity for CAT(0) spaces. J. Math. Anal. Appl. 325(1), 386399 (2007)
Kohlenbach, U: Some logical metatheorems with applications in functional analysis. Trans. Am. Math. Soc. 357(1), 89128 (2005)
Zhao, LC, Chang, SS, Kim, JK: Mixed type iteration for total asymptotically nonexpansive mappings in hyperbolic spaces. Fixed Point Theory Appl. 2013, 363 (2013)
Kim, JK, Pathak, RP, Dashputre, S, Diwan, SD, Gupta, R: Fixed point approximation of generalized nonexpansive mappings in hyperbolic spaces. Int. J. Math. Math. Sci. 2015, Article ID 368204 (2015)
Takahashi, WA: A convexity in metric space and nonexpansive mappings, I. Kodai Math. Semin. Rep. 22, 142149 (1970)
Kim, JK, Kim, KS, Nam, YM: Convergence of stability of iterative processes for a pair of simultaneously asymptotically quasinonexpansive type mappings in convex metric spaces. J. Comput. Anal. Appl. 9(2), 159172 (2007)
Goebel, K, Kirk, WA: Iteration processes for nonexpansive mappings. In: Singh, SP, Thomeier, S, Watson, B (eds.) Topological Methods in Nonlinear Functional Analysis, Toronto, 1982. Contemp. Math., vol. 21, pp. 115123. Am. Math. Soc., Providence (1983)
Itoh, S: Some fixed point theorems in metric spaces. Fundam. Math. 102, 109117 (1979)
Reich, S, Shafrir, I: Nonexpansive iterations in hyperbolic spaces. Nonlinear Anal. 15, 537558 (1990)
Kirk, WA: Krasnosel’skiı̌’s iteration process in hyperbolic spaces. Numer. Funct. Anal. Optim. 4, 371381 (1982)
Goebel, K, Reich, S: Uniformly Convexity, Hyperbolic Geometry, and Nonexpansive Mappings. Dekker, New York (1984)
Gromov, M: Metric Structure of Riemannian and NonRiemannian Spaces. Proge. Math., vol. 152. Birkhäuser, Boston (1984)
Dhompongsa, S, Panyanak, B: On Δconvergence theorems in CAT(0) spaces. Comput. Math. Appl. 56, 25722579 (2008)
Khan, SH, Abbas, M: Strong and Δconvergence of some iterative schemes in CAT(0) spaces. Comput. Math. Appl. 61, 109116 (2011)
Laokul, T, Panyanak, B: Approximating fixed points of nonexpansive mappings in CAT(0) spaces. Int. J. Math. Anal. 3(2528), 13051315 (2009)
Leuştean, L: Nonexpansive iteration in uniformly convex Whyperbolic spaces. In: Leizarowitz, A, Mordukhovich, BS, Shafrir, I, Zaslavski, A (eds.) Nonlinear Analysis and Optimization I: Nonlinear Analysis. Contemp. Math., vol. 513, pp. 193210. Am. Math. Soc., Providence; BarIlan University (2010)
Chang, SS, Agarwal, RP, Wang, L: Existence and convergence theorems of fixed points for multivalued SCC, SKC, KSC, SCS and Ctype mappings in hyperbolic spaces. Fixed Point Theory Appl. 2015, 83 (2015)
Khan, AR, Fukharuddin, H, Khan, MA: An implicit algorithm for two finite families of nonexpansive maps in hyperbolic spaces. Fixed Point Theory Appl. 2012, 54 (2012)
Senter, HF, Doston, WG Jr.: Approximating fixed points of nonexpansive mappings. Proc. Am. Math. Soc. 44(2), 375380 (1974)
Acknowledgements
This work was supported by the Basic Science Research Program through the National Research Foundation (NRF) Grant funded by Ministry of Education of the republic of Korea (2014046293).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Kim, J.K., Dashputre, S. Fixed point approximation for \(SKC\)mappings in hyperbolic spaces. J Inequal Appl 2015, 341 (2015). https://doi.org/10.1186/s1366001508680
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366001508680
MSC
 47H09
 47H10
 49M05
Keywords
 \(SKC\)mappings
 Δconvergence
 uniformly convex hyperbolic spaces
 Siteration process