Abstract
The purpose of this paper is to prove the demiclosedness principle and convergence theorems for nearly asymptotically nonexpansive nonself mappings in CAT(\(\kappa\)) spaces with \(\kappa >0\). Our results extend and improve some recent results announced in the current literature.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Introduction
Throughout this paper, \(\mathbb {N}\) is the set of all positive integers and \(\mathbb {R}\) is the set of all real numbers. Let K be a nonempty subset of a metric space (X, d) and \(T:K\rightarrow X\) be a nonself mapping. Denote by \(F(T)=\{x\in K:Tx=x\}\), the set of fixed points of T. A nonself mapping T is said to be nonexpansive if
A subset K of X is said to be a retract of X if there exists a continuous mapping \(P:X\rightarrow K\) such that \(Px=x\) for all \(x\in K\). A mapping \(P:X\rightarrow K\) is said to be a retraction if \(P^{2}=P\). It follows that if P is a retraction, then \(Py=y\) for all y in the range of P.
Definition 1
[11] Let K be a nonempty subset of a metric space (X, d) and P be a nonexpansive retraction of X onto K. A nonself mapping \(T:K\rightarrow X\) is said to be
-
(i)
Lipschitzian if for each \(n\in \mathbb {N}\), there exists a positive number \(k_{n}\) such that
$$\begin{aligned} d(T(PT)^{n-1}x,T(PT)^{n-1}y)\le k_{n}d(x,y), \quad \forall x,y\in K; \end{aligned}$$ -
(ii)
uniformly L-Lipschitzian if \(k_{n}=L\) for all \(n\in \mathbb {N} ;\)
-
(iii)
asymptotically nonexpansive if \(k_{n}\ge 1\) for all \(n\in \mathbb {N}\) with \(\lim \nolimits _{n\rightarrow \infty }k_{n}=1\).
The class of nearly Lipschitzian nonself mappings is an important generalization of the class of Lipschitzian nonself mappings and was introduced by Khan [19].
Definition 2
[19] Let K be a nonempty subset of a metric space (X, d), P be a nonexpansive retraction of X onto K and fix a sequence \(\{a_{n}\}\subset [0,\infty )\) with \(\lim _{n\rightarrow \infty }a_{n}=0\). A nonself mapping \(T:K\rightarrow X\) is said to be nearly Lipschitzian with respect to \(\{a_{n}\}\) if for each \(n\in \mathbb {N}\), there exists a constant \(k_{n}\ge 0\) such that
The infimum of constants \(k_{n}\) satisfying (1) is denoted by \(\eta (T(PT)^{n-1})\) and is called nearly Lipschitz constant.
Remark 1
[19] For \(n=1\), the inequality (1) can be written as:
where we have to take \(a_{1}\) as zero. Thus in this case, we have
Definition 3
[19] A nearly Lipschitzian nonself mapping T with the sequence \(\{a_{n},\eta (T(PT)^{n-1})\}\) is said to be nearly asymptotically nonexpansive if \(\eta (T(PT)^{n-1})\ge 1\) for all \(n\in \mathbb {N}\) and \(\lim \nolimits _{n\rightarrow \infty }\eta (T(PT)^{n-1})=1.\)
Agarwal et al. [2] introduced the modified S-iteration process in a Banach space:
where \(\left\{ \alpha _{n}\right\}\) and \(\left\{ \beta _{n}\right\}\) are real sequences in [0, 1]. This iteration is independent of those of modified Mann iteration in [31] and modified Ishikawa iteration in [35] and reduces to S-iteration of Agarwal et al. [2] when \(T^{n}=T\) for all \(n\in \mathbb {N}\). The convergence of S-iteration for different classes of mappings in different spaces has been studied by many authors (see, e.g., [3–5, 17, 18, 20]).
In this paper, we prove the demiclosedness principle for nearly asymptotically nonexpansive nonself mappings in \(CAT(\kappa )\) spaces. Also, we present the strong and \(\Delta\)-convergence theorems of the modified S-iteration process for mappings of this type in a \(CAT(\kappa )\) space. Our results extend and improve the corresponding results of Khan [19], Saluja et al. [30], Khan and Abbas [20] and many other results in this direction.
Preliminaries on CAT(\(\kappa\)) space
For a real number \(\kappa ,\) a CAT(\(\kappa\)) space is defined by a geodesic metric space whose geodesic triangle is sufficiently thinner than the corresponding comparison triangle in a model space with the curvature \(\kappa\). The term ‘CAT(\(\kappa\))’ was coined by Gromov [16, p.119] and the initials are in honor of Cartan, Alexandrov and Toponogov, each of whom considered similar conditions in varying degrees of generality. Fixed point theory in CAT(\(\kappa\)) spaces was first studied by Kirk [21, 22]. His works were followed by a series of new works by many authors, mainly focusing on CAT(0) spaces (see, e.g., [1, 9, 10, 12, 13, 15, 23, 24, 27, 29, 30, 33, 34]). Since any CAT(\(\kappa\)) space is a CAT(\(\kappa ^{\prime }\)) space for \(\kappa ^{\prime }\ge \kappa\) (see [6, p. 165]), all results for a CAT(0) space can immediately be applied to any CAT(\(\kappa\)) space with \(\kappa \le 0.\)
Let (X, d) be a metric space and let x, \(y\in X\) with \(d(x,y)=l\). A geodesic path joining x to y (or, more briefly, a geodesic from x to y) is an isometry \(c:[0,l]\subset \mathbb {R} \rightarrow X\) such that \(c(0)=x\) and \(c(l)=y\). The image of c is called a geodesic (or metric) segment joining x and y. A geodesic segment joining x and y is not necessarily unique in general. When it is unique, this geodesic segment is denoted by [x, y]. This means that \(z\in \left[ x,y\right]\) if and only if there exists \(\alpha \in \left[ 0,1\right]\) such that \(d(x,z)=\alpha d(x,y)\) and \(d(y,z)=(1-\alpha )d(x,y)\). In this case, we write \(z=(1-\alpha )x\oplus \alpha y\) for simplicity.
The space (X, d) is said to be a geodesic space if every two points of X are joined by a geodesic and X is said to be a uniquely geodesic if there is exactly one geodesic joining x to y for each \(x,y\in X\). Let \(D\in (0,\infty ].\) If for every x, \(y\in X\) with \(d(x,y)<D\), a geodesic from x to y exists, then X is said to be D-geodesic space. Moreover, if such a geodesic is unique for each pair of points then X is said to be a D-uniquely geodesic. Notice that X is a geodesic space if and only if it is a D - geodesic space.
A subset K of X is said to be convex if K includes every geodesic segment joining any two of its points. The set K is said to be bounded if diam\((K)=\sup \{d(x,y):x,y\in K\}<\infty .\)
To define a CAT(\(\kappa\)) space, we use the following concept called model space. For \(\kappa =0,\) the two-dimensional model space \(M_{\kappa }^{2}=M_{0}^{2}\) is the Euclidean space \(\mathbb {R} ^{2}\) with the metric induced from the Euclidean norm. For \(\kappa >0,\) \(M_{\kappa }^{2}\) is the two-dimensional sphere \(( \frac{1}{\sqrt{\kappa }}) \mathbb {S} ^{2}\) whose metric is a length of a minimal great arc joining each of the two points. For \(\kappa <0,\) \(M_{\kappa }^{2}\) is the two-dimensional hyperbolic space \(( \frac{1}{\sqrt{-\kappa }}) \mathbb {H} ^{2}\) with the metric defined by a usual hyperbolic distance.
The diameter of \(M_{\kappa }^{2}\) is denoted by
A geodesic triangle \(\bigtriangleup (x,y,z)\) in a metric space (X, d) consists of three points x, y, z in X (the vertices of \(\bigtriangleup\)) and three geodesic segments between each pair of vertices (the edges of \(\bigtriangleup\)). A comparison triangle for the geodesic triangle \(\bigtriangleup (x,y,z)\) in (X, d) is a triangle \(\overline{\triangle }(\overline{x},\overline{y},\overline{z})\) in \(M_{\kappa }^{2}\) such that
(see [6, Lemma 2.14]). If \(\kappa \le 0,\) then such a comparison triangle always exists in \(M_{\kappa }^{2}\). If \(\kappa >0\), such a comparison triangle exists whenever \(d(x,y)+d(y,z)+d(z,x)<2D_{\kappa }\). A point \(\overline{p}\in \left[ \overline{x},\overline{y}\right]\) is called a comparison point for \(p\in \left[ x,y\right]\) if \(d(x,p)=d_{M_{\kappa }^{2}}\left( \overline{x},\overline{p}\right) .\)
A geodesic triangle \(\bigtriangleup (x,y,z)\) in X is said to satisfy the CAT(\(\kappa\)) inequality if for any \(p,q\in \bigtriangleup (x,y,z)\) and for their comparison points \(\overline{p},\overline{q}\in \overline{ \triangle }(\overline{x},\overline{y},\overline{z})\), one has
Now, we are ready to introduce the concept of CAT(\(\kappa\)) space in the following definition taken from [6].
Definition 4
-
(i)
If \(\kappa \le 0,\) then a metric space (X, d) is called a CAT(\(\kappa\) ) space if X is a geodesic space such that all of its geodesic triangles satisfy the CAT(\(\kappa\)) inequality.
-
(ii)
If \(\kappa >0,\) then a metric space (X, d) is called a CAT(\(\kappa\)) space if it is \(D_{\kappa }\)-geodesic and any geodesic triangle \(\bigtriangleup (x,y,z)\) in X with \(d(x,y)+d(y,z)+d(z,x)<2D_{\kappa }\) satisfies the CAT(\(\kappa\)) inequality.
Notice that in a CAT(0) space (X, d) if \(x,y,z\in X,\) then the CAT(0) inequality implies
This is the (CN) inequality of Bruhat and Tits [8]. This inequality is extended by Dhompongsa and Panyanak [14] as
for all \(\alpha \in [0,1]\) and \(x,y,z\in X\).
Let \(R\in (0,2].\) Recall that a geodesic space (X, d) is said to be R -convex (see [26]) if for any three points \(x,y,z\in X\), we have
It follows from the (CN\(^{*}\)) inequality that a CAT(0) space is R-convex for \(R=2\).
The following lemma is a consequence of Proposition 3.1 in [26].
Lemma 1
[27, Lemma 2.3] Let \(\kappa >0\) and (X, d) be a complete CAT \((\kappa )\) space with diam \((X)\le \frac{\pi /2-\epsilon }{\sqrt{\kappa }}\) for some \(\epsilon \in (0,\pi /2)\). Then, (X, d) is R-convex for \(R=(\pi -2\epsilon )\tan (\epsilon ).\)
In the sequel, we need the following lemma.
Lemma 2
[6, p. 176] Let \(\kappa >0\) and (X, d) be a complete CAT \(( \kappa )\) space with diam \((X)\le \frac{\pi /2-\epsilon }{\sqrt{\kappa }}\) for some \(\epsilon \in (0,\pi /2)\). Then
for all \(x,y,z\in X\) and \(\alpha \in [0,1].\)
We now collect some elementary facts about CAT(\(\kappa\)) spaces. Most of them are proved in the setting of CAT(1) spaces. For completeness, we state the results in a CAT(\(\kappa\)) space with \(\kappa >0\).
Let \(\left\{ x_{n}\right\}\) be a bounded sequence in a CAT(\(\kappa\)) space\(\ X\). For \(x\in X\), we set \(r(x,\left\{ x_{n}\right\} )=\) \(\lim \sup _{n\rightarrow \infty }\) \(d(x,x_{n})\). The asymptotic radius \(r(\left\{ x_{n}\right\} )\) of \(\left\{ x_{n}\right\}\) is defined by
Further, the asymptotic center \(A\left( \left\{ x_{n}\right\} \right)\) of \(\left\{ x_{n}\right\}\) is the set
It is well known [15, Proposition 4.1] that in a CAT(\(\kappa\)) space\(\ X\) with diam\((X)<\frac{\pi }{2\sqrt{\kappa }}\), \(A\left( \left\{ x_{n}\right\} \right)\) consists of exactly one point.
Now, we can give the concept of \(\triangle\)-convergence and collect some of its basic properties.
Definition 5
[23, 25] A sequence \(\{x_{n}\}\) is \(\triangle\)-convergent to \(x\in X\) if x is the unique asymptotic center of any subsequence of \(\left\{ x_{n}\right\}\). In this case, we write \(\triangle\)-\(\lim \nolimits _{n\rightarrow \infty }x_{n}=x\) and call x the \(\triangle\)-limit of \(\left\{ x_{n}\right\}\).
Lemma 3
Let \(\kappa >0\) and (X, d) be a complete CAT \((\kappa )\) space with diam \((X)\le \frac{\pi /2-\epsilon }{\sqrt{\kappa }}\) for some \(\epsilon \in (0,\pi /2).\) Then, the following statements hold:
-
(i)
[15, Corollary 4.4] Every sequence in X has a \(\triangle\)-convergent subsequence;
-
(ii)
[15, Proposition 4.5] If \(\{x_{n}\}\subseteq X\) and \(\triangle\)-\(\lim _{n\rightarrow \infty }x_{n}=x\), then \(x\in \cap _{k=1}^{\infty } \overline{conv}\{x_{k},x_{k+1},\ldots \}\), where \(\overline{conv}(A)=\cap \{B:B\supseteq A\) and B is closed and convex \(\}\).
By the uniqueness of asymptotic centers, Panyanak [27] obtained the following lemma.
Lemma 4
[27, Lemma 2.7] Let \(\kappa >0\) and (X, d) be a complete CAT \(( \kappa )\) space with diam \((X)\le \frac{\pi /2-\epsilon }{\sqrt{\kappa }}\) for some \(\epsilon \in (0,\pi /2).\) If \(\{x_{n}\}\) is a sequence in X with \(A\left( \left\{ x_{n}\right\} \right) =\left\{ x\right\}\) and \(\left\{ u_{n}\right\}\) is a subsequence of \(\left\{ x_{n}\right\}\) with \(A\left( \left\{ u_{n}\right\} \right) =\left\{ u\right\}\) and the sequence \(\left\{ d(x_{n},u)\right\}\) converges, then \(x=u.\)
The following lemma is crucial in the study of iteration processes in both metric and Banach spaces and it was proved by Qihou [28].
Lemma 5
[28, Lemma 2] Let \(\{a_{n}\},\{b_{n}\}\) and \(\{\delta _{n}\}\) be sequences of non-negative real numbers such that
If \(\sum \nolimits _{n=1}^{\infty }\delta _{n}<\infty\) and \(\sum \nolimits _{n=1}^{\infty }b_{n}<\infty ,\) then \(\lim \nolimits _{n\rightarrow \infty }a_{n}\) exists.
Demiclosedness principle
It is well known that one of the fundamental and celebrated results in the theory of nonexpansive mappings is Browder’s demiclosedness principle [7] which states that if K is a nonempty closed convex subset of a uniformly convex Banach space X and \(T:K\rightarrow X\) is a nonexpansive mapping, then \(I-T\) is demiclosed at 0, that is, for any sequence \(\left\{ x_{n}\right\}\) in K if \(x_{n}\rightarrow x\) weakly and \((I-T)x_{n}\rightarrow 0\) strongly, then \((I-T)x=0\), where I is the identity mapping of X. Saluja et al. [30] proved the demiclosedness principle for nearly asymptotically nonexpansive self mappings in a CAT(\(\kappa\)) space. Now, we prove the demiclosedness principle for nearly asymptotically nonexpansive nonself mappings in this space.
Theorem 1
Let \(\kappa >0\) and (X, d) be a complete CAT \((\kappa )\) space with diam \((X)\le \frac{\pi /2-\epsilon }{\sqrt{\kappa }}\) for some \(\epsilon \in (0,\pi /2).\) Let K be a nonempty closed convex subset of X, P be a nonexpansive retraction of X onto K and \(T:K\rightarrow X\) be a uniformly continuous nearly asymptotically nonexpansive nonself mapping with \(F(T)\ne \emptyset\). If \(\{x_{n}\}\) is a sequence in K such that \(\lim _{n\rightarrow \infty }d(x_{n},Tx_{n})=0\) and \(\triangle\)-\(\lim _{n\rightarrow \infty }x_{n}=w\), then \(w\in K\) and \(Tw=w.\)
Proof
By Lemma 3, \(w\in K\). Now, we define \(\Psi (u)=\lim \sup \nolimits _{n\rightarrow \infty }\) \(d(x_{n},u)\) for each \(u\in K.\) Since \(\lim \nolimits _{n\rightarrow \infty }d(x_{n},Tx_{n})=0\), by induction we can prove that
In fact, it is obvious that the conclusion is true for \(m=1\). Suppose the conclusion holds for m, now we prove that the conclusion is also true for \(m+1\). By the uniform continuity of TP, we have
so that
Equation (4) is proved. This implies that
In (5), taking \(u=T(PT)^{m-1}w,\) we have
Hence
Furthermore, for any \(n,m\in \mathbb {N} ,\) it follows from the inequality (3) with \(\alpha =\frac{1}{2},\)
Since \(\triangle\)-\(\lim \nolimits _{n\rightarrow \infty }x_{n}=w,\) letting \(n\rightarrow \infty\), we get
which yields that
By (6) and (7), we have \(\lim _{m\rightarrow \infty }d(w,T(PT)^{m-1}w)=0\). In view of the continuity of TP, we obtain
This completes the proof. \(\square\)
From Theorem 1, we now derive the following result, yet is new in the literature.
Corollary 1
Let K be a nonempty bounded closed convex subset of a complete CAT(0) space (X, d), P be a nonexpansive retraction of X onto K and \(T:K\rightarrow X\) be a uniformly continuous nearly asymptotically nonexpansive nonself mapping. If \(\{x_{n}\}\) is a sequence in K such that \(\lim \nolimits _{n\rightarrow \infty }d(x_{n},Tx_{n})=0\) and \(\triangle\)-\(\lim \nolimits _{n\rightarrow \infty }x_{n}=w\), then \(w\in K\) and \(Tw=w.\)
Proof
It is well known that every convex subset of a CAT(0) space, equipped with the induced metric, is a CAT(0) space (see [6]). Then, (K, d) is a CAT(0) space and hence it is a CAT(\(\kappa\)) space for all \(\kappa >0\). Notice also that K is R-convex for \(R=2\). Since K is bounded, we can choose \(\epsilon \in (0,\pi /2)\) and \(\kappa >0\) so that diam\((K)\le \frac{ \pi /2-\epsilon }{\sqrt{\kappa }}\). The conclusion follows from Theorem 1. \(\square\)
Convergence theorems of the modified S-iteration process
We start with \(\triangle\)-convergence of the modified S-iterative sequence for nearly asymptotically nonexpansive nonself mappings in CAT(\(\kappa\)) spaces.
Theorem 2
Let \(\kappa >0\) and (X, d) be a complete CAT \((\kappa )\) space with diam \((X)\le \frac{\pi /2-\epsilon }{\sqrt{\kappa }}\) for some \(\epsilon \in (0,\pi /2).\) Let K be a nonempty closed convex subset of X, P be a nonexpansive retraction of X onto K and \(T:K\rightarrow X\) be a uniformly continuous nearly asymptotically nonexpansive nonself mapping with the sequence \(\{a_{n},\eta (T(PT)^{n-1})\}\) such that \(\sum \nolimits _{n=1}^{\infty }a_{n}<\infty\) and \(\sum \nolimits _{n=1}^{\infty }\left( \eta (T(PT)^{n-1})-1\right) <\infty .\) Let \(\{x_{n}\}\) be a sequence in K defined by
where \(\left\{ \alpha _{n}\right\}\) and \(\left\{ \beta _{n}\right\}\) are real sequences in (0, 1) such that \(\lim \inf \nolimits _{n\rightarrow \infty }\alpha _{n}(1-\alpha _{n})>0\) and \(\lim \inf \nolimits _{n\rightarrow \infty }\beta _{n}(1-\beta _{n})>0.\) If \(F(T)\ne \emptyset ,\) then \(\{x_{n}\}\) is \(\triangle\) -convergent to a fixed point of T.
Proof
We divide our proof into three steps.
-
Step 1.
First, we prove that
$$\begin{aligned} \lim _{n\rightarrow \infty }d(x_{n},p) \quad \text {exists for each }\quad p\in F(T). \end{aligned}$$(9)Let \(p\in F(T)\). Since T is a nearly asymptotically nonexpansive nonself mapping, by (8) and Lemma 2, we have
$$\begin{aligned} d(y_{n},p)= &\; {} d(P(\left( 1-\beta _{n}\right) x_{n}\oplus \beta _{n}T(PT)^{n-1}x_{n}),p) \\\le & {} d(\left( 1-\beta _{n}\right) x_{n}\oplus \beta _{n}T(PT)^{n-1}x_{n},p) \\\le & {} \left( 1-\beta _{n}\right) d(x_{n},p)+\beta _{n}d(T(PT)^{n-1}x_{n},p) \\\le & {} \left( 1-\beta _{n}\right) d(x_{n},p)+\beta _{n}\eta (T(PT)^{n-1})(d(x_{n},p)+a_{n}) \\\le & {} \eta (T(PT)^{n-1})[\left( 1-\beta _{n}\right) d(x_{n},p)+\beta _{n}d(x_{n},p)]+\beta _{n}\eta (T(PT)^{n-1})a_{n} \\\le & {} \eta (T(PT)^{n-1})d(x_{n},p)+\eta (T(PT)^{n-1})a_{n}. \end{aligned}$$This implies that
$$\begin{aligned} d(x_{n+1},p)= \;& {} d(P((1-\alpha _{n})T(PT)^{n-1}x_{n}\oplus \alpha _{n}T(PT)^{n-1}y_{n}),p) \nonumber \\\le & {} d(\left( 1-\alpha _{n}\right) T(PT)^{n-1}x_{n}\oplus \alpha _{n}T(PT)^{n-1}y_{n},p) \nonumber \\\le & {} \left( 1-\alpha _{n}\right) d(T(PT)^{n-1}x_{n},p)+\alpha _{n}d(T(PT)^{n-1}y_{n},p) \nonumber \\\le & {} \eta (T(PT)^{n-1})[\left( 1-\alpha _{n}\right) (d(x_{n},p)+a_{n})+\alpha _{n}(d(y_{n},p)+a_{n})] \nonumber \\\le & {} \eta (T(PT)^{n-1})[\left( 1-\alpha _{n}\right) d(x_{n},p)+\alpha _{n}\eta (T(PT)^{n-1})d(x_{n},p) \nonumber \\&+(1+\eta (T(PT)^{n-1}))a_{n}] \nonumber \\\le & {} \left( \eta (T(PT)^{n-1})\right) ^{2}d(x_{n},p)+[\eta (T(PT)^{n-1})+\left( \eta (T(PT)^{n-1})\right) ^{2}]a_{n} \nonumber \\= & {} (1+\sigma _{n})d(x_{n},p)+\xi _{n}, \end{aligned}$$(10)where \(\sigma _{n}=\left( \eta (T(PT)^{n-1})\right) ^{2}-1=(\eta (T(PT)^{n-1})+1)(\eta (T(PT)^{n-1})-1)\) and \(\xi _{n}=[\eta (T(PT)^{n-1})+\left( \eta (T(PT)^{n-1})\right) ^{2}]a_{n}.\) Since \(\sum \nolimits _{n=1}^{\infty }\left( \eta (T(PT)^{n-1})-1\right) <\infty\) and \(\sum \nolimits _{n=1}^{\infty }a_{n}<\infty\), it follows that \(\sum \nolimits _{n=1}^{\infty }\sigma _{n}<\infty\) and \(\sum \nolimits _{n=1}^{\infty }\xi _{n}<\infty .\) Hence, by Lemma 5, we get that \(\lim \nolimits _{n\rightarrow \infty }d(x_{n},p)\) exists for each \(p\in F(T)\).
-
Step 2.
Next, we prove that
$$\begin{aligned} \lim _{n\rightarrow \infty }d(x_{n},Tx_{n})=0. \end{aligned}$$(11)
Since \(\left\{ x_{n}\right\}\) is bounded, there exists \(R>0\) such that \(\left\{ x_{n}\right\} ,\left\{ y_{n}\right\} \subset B(p,R^{^{\prime }})\) for all \(n\in \mathbb {N}\) with \(R^{^{\prime }}<D_{k}/2\). In view of (3), we have
for some \(P>0\). This implies that
From (3) and using (13), we get
for some \(Q,M,L,\rho >0\). This inequality yields that
Since \(\sum \nolimits _{n=1}^{\infty }a_{n}<\infty\), \(\sum \nolimits _{n=1}^{\infty }\left( \eta (T(PT)^{n-1})-1\right) <\infty\) and \(d(x_{n},p)<R^{^{\prime }},\) we obtain
Hence by the fact that \(\lim \inf \nolimits _{n\rightarrow \infty }\alpha _{n}(1-\alpha _{n})>0\), we get
Now, consider (12), we have
for some \(\mu >0\). This inequality yields that
Since \(\sum \nolimits _{n=1}^{\infty }a_{n}<\infty\), \(\sum \nolimits _{n=1}^{\infty }\left( \eta (T(PT)^{n-1})-1\right) <\infty\), \(d(x_{n},p)<R^{^{\prime }}\) and \(d(y_{n},p)<R^{^{\prime }},\) we obtain
Hence by the fact that \(\lim \inf \nolimits _{n\rightarrow \infty }\beta _{n}\left( 1-\beta _{n}\right) >0,\) we have
Now using (15), we get
Also, we observe that
Therefore, we obtain
Furthermore, since
Since every nearly asymptotically nonexpansive mapping is nearly Lipschitzian, then we get
Hence (15), (17) and (18) imply that \(\lim \nolimits _{n\rightarrow \infty }d(x_{n},Tx_{n})=0.\)
Step 3. Now, we prove that \(\{x_{n}\}\) is \(\triangle\)-convergent to a fixed point of T.
Let \(\omega _{W}(x_{n})=\cup A(\left\{ u_{n}\right\} ),\) where the union is taken over all subsequences \(\left\{ u_{n}\right\}\) of \(\left\{ x_{n}\right\} .\) First, we show that \(\omega _{W}(x_{n})\subseteq F(T)\). Let \(u\in \omega _{W}(x_{n}).\) Then, there exists a subsequence \(\left\{ u_{n}\right\}\) of \(\left\{ x_{n}\right\}\) such that \(A(\left\{ u_{n}\right\} )=\left\{ u\right\} .\) By Lemma 3, there exists a subsequence \(\left\{ v_{n}\right\}\) of \(\left\{ u_{n}\right\}\) such that\(\ \bigtriangleup\)-\(\lim \nolimits _{n\rightarrow \infty }v_{n}=v\in K.\) Also by (11), we have \(\lim \nolimits _{n\rightarrow \infty }d(v_{n},Tv_{n})=0\). It follows from Theorem 1 that \(v\in F(T)\). Moreover, by (9), \(\lim \nolimits _{n\rightarrow \infty }d\left( x_{n},v\right)\) exists. Thus, \(u=v\) by Lemma 4. This implies that \(\omega _{W}(x_{n})\subseteq F(T).\) Next, we show that \(\omega _{W}(x_{n})\) consists of exactly one point. Let \(\left\{ u_{n}\right\}\) be a subsequence of \(\left\{ x_{n}\right\}\) with \(A(\left\{ u_{n}\right\} )=\left\{ u\right\}\) and let \(A(\left\{ x_{n}\right\} )=\left\{ x\right\} .\) Since \(u\in \omega _{W}(x_{n})\subseteq F(T),\) fsrom (9) \(\lim \nolimits _{n\rightarrow \infty }d\left( x_{n},u\right)\) exists. Again by Lemma 4, \(x=u.\) Thus, \(\omega _{W}(x_{n})=\{x\}.\) This means that \(\{x_{n}\}\) is \(\triangle\)-convergent to a fixed point of T. The proof is completed. \(\square\)
Next, we discuss the strong convergence of the iterative sequence \(\left\{ x_{n}\right\}\) defined by (8) for nearly asymptotically nonexpansive nonself mappings in a CAT(\(\kappa\)) space.
Theorem 3
Let X, K, P, T and \(\left\{ x_{n}\right\}\) be the same as in Theorem 2. Then, \(\left\{ x_{n}\right\}\) converges strongly to a fixed point of T if and only if \(\lim \inf \nolimits _{n\rightarrow \infty }d(x_{n},F(T))=0\) where \(d(x,F(T))=\inf \{d(x,p):p\in F(T)\}\).
Proof
If \(\left\{ x_{n}\right\}\) converges to \(p\in F(T),\) then \(\lim \nolimits _{n\rightarrow \infty }d(x_{n},p)=0\). Since \(0\le d(x_{n},F(T))\le d(x_{n},p)\), we have \(\lim \inf \nolimits _{n\rightarrow \infty }d(x_{n},F(T))=0\).
Conversely, suppose that \(\lim \inf \nolimits _{n\rightarrow \infty }d(x_{n},F(T))=0\). It follows from (9) that \(\lim \nolimits _{n\rightarrow \infty }d(x_{n},F(T))\) exists. Thus by hypothesis \(\lim \nolimits _{n\rightarrow \infty }d(x_{n},F(T))=0.\) Next, we show that \(\left\{ x_{n}\right\}\) is a Cauchy sequence. In fact, it follows from (10) that for any \(p\in F(T)\)
where \(\sum \nolimits _{n=1}^{\infty }\sigma _{n}<\infty\) and \(\sum \nolimits _{n=1}^{\infty }\xi _{n}<\infty .\) Hence for any positive integers n, m, we have
Since for each \(x\ge 0,1+x\le e^{x},\) we have
where \(N=e^{\sum \nolimits _{i=1}^{\infty }\sigma _{i}}<\infty .\) Therefore, we have
This shows that \(\left\{ x_{n}\right\}\) is a Cauchy sequence in K. Since K is a closed subset in a complete CAT(\(\kappa\)) space X, it is complete. We can assume that \(\left\{ x_{n}\right\}\) converges strongly to some point \(p^{\star }\in K\). As T is continuous, so F(T) is closed subset in K. Since \(\lim _{n\rightarrow \infty }d(x_{n},F(T))=0\), we obtain \(p^{\star }\in F(T).\) This completes the proof. \(\square\)
Remark 2
In Theorem 3, the condition \(\lim \inf _{n\rightarrow \infty }d(x_{n},F(T))=0\) may be replaced with \(\lim \sup _{n\rightarrow \infty }d(x_{n},F(T))=0\).
Recall that a mapping T from a subset K of a metric space (X, d) into itself is semi-compact if every bounded sequence \(\left\{ x_{n}\right\} \subset K\) satisfying \(d(x_{n},Tx_{n})\rightarrow 0\) as \(n\rightarrow \infty\) has a strongly convergent subsequence.
Senter and Dotson [32, p.375] introduced the concept of Condition (I) as follows.
A nonself mapping \(T:K\rightarrow X\) with \(F(T)\ne \emptyset\) is said to satisfy the Condition (I) if there exists a non-decreasing function \(f:\left[ 0,\infty \right) \rightarrow \left[ 0,\infty \right)\) with \(f(0)=0\) and \(f(r)>0\) for all \(r\in (0,\infty )\) such that
Using the above definitions, we obtain the following strong convergence theorem.
Theorem 4
Let X, K, P, T and \(\left\{ x_{n}\right\}\) be the same as in Theorem 2.
-
(i)
If T is semi-compact, then \(\left\{ x_{n}\right\}\) converges strongly to a fixed point of T.
-
(ii)
If T satisfies Condition (I), then \(\left\{ x_{n}\right\}\) converges strongly to a fixed point of T.
Proof
-
(i)
It follows from (9) that \(\left\{ x_{n}\right\}\) is a bounded sequence in K. Also, by (11), we have \(\lim _{n\rightarrow \infty }\) \(d(x_{n},Tx_{n})=0\). Then, by the semi-compactness of T, there exists a subsequence \(\left\{ x_{n_{k}}\right\} \subset \left\{ x_{n}\right\}\) such that \(\left\{ x_{n_{k}}\right\}\) converges strongly to some point \(p\in K\). Moreover, by the uniform continuity of T, we have
$$\begin{aligned} d(p,Tp)=\lim _{k\rightarrow \infty }d(x_{n_{k}},Tx_{n_{k}})=0. \end{aligned}$$This implies that \(p\in F(T)\). Again, by (9), \(\lim \nolimits _{n\rightarrow \infty }d(x_{n},p)\) exists. Hence p is the strong limit of the sequence \(\left\{ x_{n}\right\}\). As a result, \(\left\{ x_{n}\right\}\) converges strongly to a fixed point p of T.
-
(ii)
By virtue of (9), \(\lim \nolimits _{n\rightarrow \infty }d(x_{n},F(T))\) exists. Further, by Condition (I) and (11), we have
$$\begin{aligned} \lim _{n\rightarrow \infty } f\left( d\left( x_{n},F(T\right) \right) )\le \lim _{n\rightarrow \infty } d(x_{n},Tx_{n})=0. \end{aligned}$$That is, \(\lim \nolimits _{n\rightarrow \infty }\) \(f\left( d\left( x_{n},F(T\right) \right) )=0.\) Since f is a non-decreasing function satisfying \(f\left( 0\right) =0\) and \(f\left( r\right) >0\) for all \(r\in \left( 0,\infty \right)\), it follows that \(\lim _{n\rightarrow \infty }\) \(d\left( x_{n},F(T)\right) =0.\) Now, Theorem 3 implies that \(\left\{ x_{n}\right\}\) converges strongly to a point p in F(T).
\(\square\)
Remark 3
-
(i)
Theorem 1 extends Theorem 3.2 of Saluja et al. [30] from a nearly asymptotically nonexpansive self mapping to a nearly asymptotically nonexpansive nonself mapping.
-
(ii)
Theorem 2 extends Theorem 1 of Khan [19] from a uniformly convex Banach space to a CAT\((\kappa )\) space considered in this paper.
-
(iii)
Our results extend the corresponding results of Khan and Abbas [20] to the case of a more general class of nonexpansive mappings from a CAT(0) space to a CAT\((\kappa )\) space considered in this paper.
References
Abkar, A., Eslamian, M.: Common fixed point results in CAT(0) spaces. Nonlinear Anal. 74, 1835–1840 (2011)
Agarwal, R.P., O’Regan, D., Sahu, D.R.: Iterative construction of fixed points of nearly asymptotically nonexpansive mappings. J. Nonlinear Convex Anal. 8(1), 61–79 (2007)
Akbulut, S., Gündüz, B.: Strong and \(\triangle\)-convergence of a faster iteration process in hyperbolic space. Commun. Korean Math. Soc. 30(3), 209–219 (2015)
Başarır, M., Şahin, A.: On the strong and \(\triangle\)-convergence of new multi-step and S-iteration processes in a CAT(0) space. J. Inequal. Appl. 2013, 482 (2013)
Başarır, M., Şahin, A.: On the strong and \(\triangle\)-convergence of S-iteration process for generalized nonexpansive mappings on CAT(0) space. Thail. J. Math. 12(3), 549–559 (2014)
Bridson, M., Haefliger, A.: Metric Spaces of Non-Positive Curvature. Springer, Berlin (1999)
Browder, F.E.: Semicontractive and semiaccretive nonlinear mappings in Banach spaces. Bull. Am. Math. Soc. 74, 660–665 (1968)
Bruhat, F., Tits, J.: Groupes réductifs sur un corps local. I. Données radicielles valuées. Publ. Math. Inst. Hautes Études Sci. 41, 5–251 (1972)
Chang, S.S., Wang, L., Joseph Lee, H.W., Chan, C.K., Yang, L.: Demiclosed principle and \(\triangle\)-convergence theorems for total asymptotically nonexpansive mappings in CAT(0) spaces. Appl. Math. Comput. 219(5), 2611–2617 (2012)
Chaoha, P., Phon-on, A.: A note on fixed point sets in CAT(0) spaces. J. Math. Anal. Appl. 320, 983–987 (2006)
Chidume, C.E., Ofoedu, E.U., Zegeye, H.: Strong and weak convergence theorems for asymptotically nonexpansive mappings. J. Math. Anal. Appl. 280, 364–374 (2003)
Cho, Y.J., Ćirić, L., Wang, S.: Convergence theorems for nonexpansive semigroups in CAT(0) spaces. Nonlinear Anal. 74, 6050–6059 (2011)
Dhompongsa, S., Kaewkhao, A., Panyanak, B.: Lim’s theorems for multivalued mappings in CAT(0) spaces. J. Math. Anal. Appl. 312, 478–487 (2005)
Dhompongsa, S., Panyanak, B.: On \(\triangle\)-convergence theorems in CAT(0) spaces. Comput. Math. Appl. 56, 2572–2579 (2008)
Espinola, R., Fernandez-Leon, A.: CAT(\(\kappa\))-spaces, weak convergence and fixed points. J. Math. Anal. Appl. 353, 410–427 (2009)
Gromov, M.: Hyperbolic groups. In: Gersten, S.M. (ed.) Essays in Group Theory, MSRI Publ. vol. 8, pp. 75–263. Springer (1987)
Gündüz, B., Akbulut, S.: On weak and strong convergence theorems for a finite family of nonself I-asymptotically nonexpansive mappings. Math. Morav. 19(2), 49–64 (2015)
Gündüz, B., Khan, S.H., Akbulut, S.: On convergence of an implicit iterative algorithm for nonself asymptotically nonexpansive mappings. Hacet. J. Math. Stat. 43(3), 399–411 (2014)
Khan, S.H.: Weak convergence for nonself nearly asymptotically nonexpansive mappings by iterations. Demonstr. Math. XLVI I(2), 371–381 (2014)
Khan, S.H., Abbas, M.: Strong and \(\triangle\)-convergence of some iterative schemes in CAT(0) spaces. Comput. Math. Appl. 61(1), 109–116 (2011)
Kirk, W.A.: Geodesic geometry and fixed point theory. Seminar of Mathematical Analysis (Malaga/Seville, 2002/2003), Colecc. Abierta, vol. 64, pp. 195–225. Univ. Sevilla Secr. Publ, Seville (2003)
Kirk, W.A.: Geodesic geometry and fixed point theory II. In: International Conference on Fixed Point Theory and Applications, pp. 113–142, Yokohama Publishers, Yokohama (2004)
Kirk, W.A., Panyanak, B.: A concept of convergence in geodesic spaces. Nonlinear Anal. 68, 3689–3696 (2008)
Leustean, L.: A quadratic rate of asymptotic regularity for CAT(0)-spaces. J. Math. Anal. Appl. 325, 386–399 (2007)
Lim, T.C.: Remarks on some fixed point theorems. Proc. Am. Math. Soc. 60, 179–182 (1976)
Ohta, S.: Convexities of metric spaces. Geom. Dedic. 125, 225–250 (2007)
Panyanak, B.: On total asymptotically nonexpansive mappings in CAT(\(\kappa\)) spaces. J. Inequal. Appl. 2014, 336 (2014)
Qihou, L.: Iterative sequences for asymptotically quasi-nonexpansive mappings with error member. J. Math. Anal. Appl. 259, 18–24 (2001)
Saejung, S.: Halpern’s iteration in CAT(0) spaces. Fixed Point Theory Appl. 2010, Article ID 471781 (2010)
Saluja, G.S., Postolache, M., Kurdi, A.: Convergence of three-step iterations for nearly asymptotically nonexpansive mappings in CAT\((\kappa )\) spaces. J. Inequal. Appl. 2015, 156 (2015)
Schu, J.: Weak and strong convergence to fixed points of asymptotically nonexpansive mappings. Bull. Austral. Math. Soc. 43, 153–159 (1991)
Senter, H.F., Dotson, W.G.: Approximating fixed points of nonexpansive mappings. Proc. Am. Math. Soc. 44, 375–380 (1974)
Shahzad, N., Markin, J.: Invariant approximations for commuting mappings in CAT(0) and hyperconvex spaces. J. Math. Anal. Appl. 337, 1457–1464 (2008)
Şahin, A., Başarır, M.: On the strong convergence of a modified S-iteration process for asymptotically quasi-nonexpansive mappings in a CAT(0) space. Fixed Point Theory Appl. 2013, 12 (2013)
Tan, K.K., Xu, H.K.: Fixed point iteration process for asymptotically nonexpansive mappings. Proc. Am. Math. Soc. 122(3), 733–739 (1994)
Author information
Authors and Affiliations
Corresponding author
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
Şahin, A., Başarır, M. Some convergence results for nearly asymptotically nonexpansive nonself mappings in CAT(\(\kappa\)) spaces. Math Sci 11, 79–86 (2017). https://doi.org/10.1007/s40096-017-0209-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40096-017-0209-1
Keywords
- Fixed point
- Nearly asymptotically nonexpansive nonself mapping
- Demiclosedness principle
- \(\triangle\)-convergence
- Strong convergence
- CAT(\(\kappa\)) space