Abstract
In this manuscript, we introduce a new class of uniformly L-Lipschitzian and total asymptotically quasi-nonexpansive mappings, which is significantly more general than many known nonexpansive mappings that appeared before. We establish some convergence and Δ-convergence theorems for two infinite families of such mappings in the setting of CAT(κ) spaces. Our results refine, generalize, and improve several corresponding results in the existing literature.
Similar content being viewed by others
1 Introduction
For the last ten decades researchers have paid a lot of attention to the development of fixed point theory in various classes of maps in different spaces. Different algorithms for approximation of fixed points have been investigated by a number of mathematicians (see [9, 12, 13, 20, 24] and the references therein).
In 2012, Khan et al. [12] introduced an implicit algorithm for two finite families of nonexpansive maps in a more general setting of hyperbolic spaces. Recently, Nuntadilok et al. [22] established common fixed point theorems of two finite families of asymptotically quasi-nonexpansive mappings in hyperbolic spaces. Their results were a refinement and generalization of several recent results in CAT(0) spaces and uniformly convex Banach spaces.
Let \((\mathcal{M},\mathfrak{O})\) be a metric space, where \(\mathfrak{O}:\mathcal{M} \times \mathcal{M} \to \mathbb{R}^{+}\) is a metric. Let \(\mathcal{N}\) be a subset of \(\mathcal{M}\), and \(\mathcal{U}:\mathcal{N} \to \mathcal{N}\) be a mapping. Denote by \(F(\mathcal{U}) = \{x \in \mathcal{M} : \mathcal{U}x = x\}\) the set of all fixed points of the mapping \(\mathcal{U}\). Here \(\mathbb{R}^{+}=[0,\infty )\) and \(\mathbb{N} =\) the set of positive integers.
Recall that a mapping \(\mathcal{U} : \mathcal{N} \to \mathcal{N}\) is said to be:
-
(i)
nonexpansive if
$$ \mathfrak{O}(\mathcal{U}x,\mathcal{U}y) \le \mathfrak{O}(x,y), \, \forall \, x, y \in \mathcal{N}; $$ -
(ii)
quasi-nonexpansive if \(F(\mathcal{U}) \neq \emptyset \) and
$$ \mathfrak{O}(\mathcal{U}x,p) \le \mathfrak{O}(x,p),\, \forall \, p \in F(\mathcal{U}); $$ -
(iii)
asymptotically nonexpansive if there exists a sequence \(\{k_{n}\} \subset [1,\infty )\) with \(\lim \limits _{n\to \infty}k_{n} = 1\) such that
$$ \mathfrak{O}(\mathcal{U}^{n}x,\mathcal{U}^{n}y) \le k_{n}\mathfrak{O}(x,y), \, \forall \, x, y \in \mathcal{N}\, \, \, and \, \, \, \forall \, n \in \mathbb{N}; $$ -
(iv)
asymptotically quasi-nonexpansive if \(F(\mathcal{U}) \neq \emptyset \) and there exists a sequence \(\{k_{n}\} \subset [1,\infty )\) with \(\lim \limits _{n\to \infty}k_{n} = 1\) such that
$$ \mathfrak{O}(\mathcal{U}^{n}x,p) \le k_{n}\mathfrak{O}(x,p), \forall x, y \in \mathcal{N}, \forall p \in F(\mathcal{U})\, \, \text{and} \, \, \, \forall \, n \in \mathbb{N}; $$ -
(v)
The mapping \(\mathcal{U}\) is said to be uniformly L-Lipschitzian if there exists a constant \(L > 0\) such that
$$ \mathfrak{O}(\mathcal{U}^{n}x,\mathcal{U}^{n}y) \le L\mathfrak{O}(x,y), \, \, \forall \, x, y \in \mathcal{N}. $$
Remark 1
One can easily see that if \(F(\mathcal{U}) \neq \emptyset \), then nonexpansive mapping, quasi-nonexpansive mapping, asymptotically nonexpansive mapping all are asymptotically quasi-nonexpansive mappings, but the converse is not true in general.
In 1993, Bruck et al. [4] introduced the following definition.
Definition 1
[4] A mapping \(\mathcal{U} : \mathcal{N} \to \mathcal{N}\) is said to be asymptotically nonexpansive in the intermediate sense if \(\mathcal{U}\) is uniformly continuous and
We note that the class of asymptotically nonexpansive mappings in the intermediate sense is more general than the class of asymptotically nonexpansive mappings.
Definition 2
[1] A mapping \(\mathcal{U} : \mathcal{N} \to \mathcal{N}\) is said to be \((\{\gamma _{n}\},\{\mu _{n}\},\zeta )\)-total asymptotically nonexpansive if there exist nonnegative sequences \(\{\gamma _{n}\}, \{\mu _{n}\}\) with \(\lim \limits _{n\to \infty}\gamma _{n} = 0 = \lim \limits _{n\to \infty}\mu _{n}\) and a strictly increasing continuous function \(\zeta : [0, \infty ) \to [0, \infty )\) with \(\zeta (0) = 0\) such that
Remark 2
Note that the notion of total asymptotically nonexpansive mappings is more general than that of asymptotically nonexpansive mappings in the intermediate sense (see [6]).
In recent years, CAT(0) spaces have played a very significant role in different aspects of geometry [8]. Kirk [15, 16] showed that a nonexpansive mapping defined on a bounded closed convex subset of a complete CAT(0) space has a fixed point.
In 2012, Chang et al. [7] studied the demiclosedness principle and Δ-convergence theorems for total asymptotically nonexpansive mappings in the setting of CAT(0) spaces. Since then the convergence of several iteration procedures for this type of mappings has been rapidly developed, and many articles have appeared (see, e.g., [2, 5, 14, 18, 21, 22, 25, 27–29]).
Let \(\mathcal{N}\) be a nonempty closed convex subset of a CAT(0) space \(\mathcal{M}\) and \(\mathcal{U} : \mathcal{N} \to \mathcal{N}\) be a total asymptotically nonexpansive mapping defined by (2). Given \(x_{1} \in \mathcal{N}\), let \(\{x_{n}\} \subset \mathcal{N}\) be defined by
where \(\{\alpha _{n}\}\) and \(\{\beta _{n}\} \) are sequences in \([0,1]\). In 2014, under some suitable assumptions, Karapinar et al. [11] obtained the demiclosedness principle, fixed point theorems, and convergence theorems for the iteration (3).
It is well known that any CAT(κ) space is a CAT(\(\kappa _{1}\)) space for \(\kappa \le \kappa _{1}\). Thus, all results for CAT(0) spaces immediately contain any CAT(κ) space with \(\kappa \le 0\).
In 2014, Panyanak [23] obtained the demiclosedness principle, fixed point theorems, and convergence theorems for total asymptotically nonexpansive mappings on a CAT(κ) space with \(\kappa > 0\), which generalizes the results of Chang et al. [7], Karapinar et al. [11], and Tang et al. [25],
Inspired and motivated by the work going on in this direction, Chang et al. [6] studied the strong convergence of a sequence generated by an infinite family of total asymptotically nonexpansive mappings in CAT(κ) spaces with \(\kappa > 0\). Their results are extensions and improvements of the corresponding results of Chang et al. [7], Hea et al. [10], Karapinar et al. [11], Tang et al. [25], Panyanak [23], and many others.
The purpose of this manuscript is to investigate the existence of common fixed points of two infinite families of uniformly L-Lipschitzian and \((\{\gamma _{n}\},\{\mu _{n}\},\zeta )\)-total asymptotically quasi-nonexpansive mappings, a more general class of mappings, in the setting of CAT(κ) spaces.
2 Preliminaries
Let \((\mathcal{M},\mathfrak{O})\) be a metric space. A geodesic path joining x to y for \(x,y \in \mathcal{M}\) is a mapping \(\omega :[0,l] \to \mathcal{M}\) such that \(\omega (0) = x, \omega (l) = y\), and \(\mathfrak{O}(\omega (t),\omega (t')) = |t -t'|\) for all \(t, t' \in [0,l] \subset \mathbb{R}\). In particular, ω is an isometry and \(\mathfrak{O}(x, y) = l\). The image \(\omega ([0, l])\) of ω is called a geodesic segment joining x and y. This geodesic segment is denoted by \([x,y]\), when it is unique. Then \(z \in [x,y]\) if and only if there exists \(\alpha \in [0,1]\) such that
We denote such z by \((1-\alpha ) x \bigoplus \alpha y\). That is, \(z= (1-\alpha ) x \bigoplus \alpha y\).
A metric space \((\mathcal{M},\mathfrak{O})\) is said to be a geodesic space (D-geodesic space) if every two points of \(\mathcal{M}\) are joined by a geodesic, and \(\mathcal{M}\) is said to be uniquely geodesic (D-uniquely geodesic) if there is exactly one geodesic joining x and y for each \(x, y \in \mathcal{M}\) (i.e. for any \(x, y \in \mathcal{M}\) with \(\mathfrak{O}(x,y) < D\)). A subset \(\mathcal{N}\) of \(\mathcal{M}\) is said to be convex if \(\mathcal{N}\) includes every geodesic segment \([x,y]\) for any \(x,y \in \mathcal{N}\).
A geodesic triangle \(\Delta (x,y,z)\) in a geodesic space \((\mathcal{M},\rho )\) consists of three points \(x,y,z\) in \(\mathcal{M}\) (the vertices of Δ) and three geodesic segments between each pair of vertices (the edges of Δ). A comparison triangle for a geodesic triangle \(\Delta (x,y,z)\) in \((\mathcal{M},\mathfrak{O})\) is a triangle \(\bar{\Delta}(\bar{x},\bar{y},\bar{z})\) in \(\mathbb{M}_{\kappa}^{2}\) such that
If \(\kappa < 0\), then such a comparison triangle always exists in \(\mathbb{M}_{\kappa}^{2}\). If \(\kappa > 0\), then such a triangle exists whenever \(\mathfrak{O}(x,y)+\mathfrak{O}(y,z)+\mathfrak{O}(z,x)<2D_{\kappa}\), where \(D_{\kappa} = \dfrac{\pi}{\sqrt{\kappa}}\).
A point \(\bar{p} \in [\bar{x},\bar{y}]\) is called a comparison point for \(p \in [x,y]\) if \(\mathfrak{O}(x,p)=\mathfrak{O}_{\mathbb{M}_{\kappa}^{2}}(\bar{x}, \bar{p})\). A geodesic triangle \(\Delta (x,y,z)\) in \(\mathcal{M}\) is said to satisfy the CAT(κ) inequality if for any \(p,q \in \Delta (x,y,z)\) and for their comparison points \(\bar{p},\bar{q} \in \bar{\Delta}(\bar{x},\bar{y},\bar{z})\) one has
Remark 3
For more details on the model spaces \(\mathbb{M}_{k}^{n}\), we refer readers to [8, 27].
Definition 3
A metric space \((\mathcal{M},\mathfrak{O})\) is called a CAT(0) space if \(\mathcal{M}\) is a geodesic space such that all of its geodesic triangles satisfy the CAT(κ) inequality.
Note that \(\mathcal{M}\) is called a CAT(κ) space with \(\kappa > 0\) if \(\mathcal{M}\) is \(D_{\kappa}\)-geodesic and any geodesic triangle \(\Delta (x,y,z)\) in \(\mathcal{M}\) with \(\mathfrak{O}(x,y)+\mathfrak{O}(y,z)+\mathfrak{O}(z,x) < 2D_{\kappa}\) satisfies the CAT(κ) inequality.
Let \(\{x_{n}\}\) be a bounded sequence in a CAT(κ) space \((\mathcal{M},\mathfrak{O})\). For \(x \in \mathcal{M}\), we set
The asymptotic radius \(r(\{x_{n}\})\) of \(\{x_{n}\}\) is defined by
The asymptotic center \(A(\{x_{n}\})\) of \(\{x_{n}\}\) is the set
The asymptotic radius \(r(\{x_{n}\})\) with respect to \(\mathcal{N} \subseteq \mathcal{M}\) of \(\{x_{n}\}\) is given by
The asymptotic center \(A_{\mathcal{N}}(\{x_{n}\})\) with respect to \(\mathcal{N} \subseteq \mathcal{M}\) of \(\{x_{n}\}\) is the set
We now recall the concept of Δ-convergence and some of its basic properties.
Definition 4
[17, 19] A sequence \(\{x_{n}\}\) in \(\mathcal{M}\) is said to Δ-converge to \(x\in \mathcal{M}\) if x is the unique asymptotic center of \(\{u_{n}\}\) for every subsequence \(\{u_{n}\}\) of \(\{x_{n}\}\). In this case we write Δ-\(\lim \limits _{n\to \infty}x_{n}=x\), and x is called the Δ-limit of \(\{x_{n}\}\).
Lemma 1
[6] Let \((\mathcal{M},\mathfrak{O})\) be a complete CAT(κ) space with \(\kappa > 0\) and \(diam (\mathcal{M}) \le \dfrac{\frac{\pi}{2}-\epsilon}{\sqrt{\kappa}}, \, \epsilon \in (0,\dfrac{\pi}{2})\). Then the following statements hold:
-
(i)
([29], Corollary 4.4) Every sequence in \(\mathcal{M}\) has a Δ-convergence subsequence.
-
(ii)
([29], Proposition 4.5) If \(\{x_{n}\} \subset \mathcal{M}\) and Δ-\(\lim \limits _{n\to \infty}x_{n} = x\), then
$$ x \in \cap _{n=1}^{\infty} \overline{conv}\{x_{n},x_{n+1},\dots \}, $$where \(\overline{conv}(D) = \{E : D \subseteq E\, \textit{and}\, \, E \, \, \textit{is closed and convex}\}\).
By the uniqueness of asymptotic centers, Chang et al. [6] obtained the following lemma.
Lemma 2
[6] Let \((\mathcal{M},\mathfrak{O})\) be a complete CAT(κ) space with \(\kappa > 0\) and \(diam(\mathcal{M})\le \dfrac{\frac{\pi}{2}-\epsilon}{\sqrt{\kappa}}, \, \epsilon \in (0,\dfrac{\pi}{2})\). If \(\{x_{n}\}\) is a sequence in \(\mathcal{M}\) with \(A(\{x_{n}\}) = \{x\}\) and if \(\{u_{n}\}\) is a subsequence of \(\{x_{n}\}\) with \(A(\{u_{n}\}) = \{u\}\) and the sequence \(\{\mathfrak{O}(x_{n},u)\}\) converges, then \(x = u\).
The following lemma is due to Bridson and Haefliger [3].
Lemma 3
[3] Let \((\mathcal{M},\mathfrak{O})\) be a complete CAT(κ) space with \(\kappa > 0\) and \(diam(\mathcal{M}) \le \dfrac{\frac{\pi}{2}-\epsilon}{\sqrt{\kappa}}\) for some \(\epsilon \in (0,\dfrac{\pi}{2})\). Then
for all \(x, y, z \in \mathcal{M}\) and \(\alpha \in [0,1]\).
Proposition 1
[6] Let \((\mathcal{M},\mathfrak{O})\) be a complete uniformly convex CAT(κ) space with \(\kappa > 0\) and \(diam(\mathcal{M}) \le \dfrac{\frac{\pi}{2}-\epsilon}{\sqrt{\kappa}}\) for some \(\epsilon \in (0,2)\). Let \(x \in \mathcal{M}\) be a given point and \(\{\alpha _{n}\}\) be a sequence in \([a,b]\) with \(a,b \in (0,1)\) and \(0 < b(1-a) \le \frac{1}{2}\). Let \(\{x_{n}\}\) and \(\{y_{n}\}\) be any sequences in \(\mathcal{M}\) such that
Then \(\lim \limits _{n\to \infty}\mathfrak{O}(x_{n},y_{n}) = 0\).
The following lemmas are essential.
Lemma 4
Let \(\{a_{n}\}_{n=1}^{\infty}, \{\gamma _{n}\}_{n=1}^{\infty}\) and \(\{\delta _{n}\}_{n=1}^{\infty}\) be sequences of nonnegative real numbers satisfying the inequality
If \(\sum _{n=1}^{\infty}\gamma _{n} < \infty \) and \(\sum _{n=1}^{\infty}\delta _{n} < \infty \), then
-
(i)
\(\lim \limits _{n\to \infty}a_{n}\) exists.
-
(ii)
In particular, if \(\{a_{n}\}_{n=1}^{\infty}\) has a subsequence that converges strongly to 0, then \(\lim \limits _{n\to \infty}a_{n} = 0\).
Lemma 5
[26] For each positive integer \(n \ge 1\), then
-
(1)
the unique solutions \(i(n)\) and \(l(n)\) with \(l(n) \ge i(n)\) to the following positive integer equation
$$ n = i(n) + \dfrac{(l(n)- 1)l(n)}{2} $$(4)are as follows:
$$\begin{aligned} \begin{aligned} i(n) &= n-\dfrac{(l(n)-1)l(n)}{2}, \\ l(n) &= \big[\dfrac{1}{2}+\sqrt[2]{2n-\dfrac{7}{4}}\big], \, \, l(n) \ge i(n) \end{aligned} \end{aligned}$$and \(l(n) \to \infty \) (as \(n \to \infty \)), where \([x]\) denotes the maximal integer that is not larger than x.
-
(2)
For each \(i \ge 1\), denote
$$\begin{aligned} \begin{aligned} \Gamma _{i} &= \{n\in \mathbb{N} : n = i + \dfrac{(l(n)-1)l(n)}{2},\, l(n) \ge i \} \, \, \textit{and} \\ \mathcal{K}_{i} &= \{l(n) : n \in \Gamma _{i}, n = i + \dfrac{(l(n)-1)l(n)}{2},\, l(n) \ge i\}, \end{aligned} \end{aligned}$$then \(l(n)+1 = l(n+1),\forall n \in \Gamma _{i}\).
Let \(\mathcal{U}_{i} : \mathcal{N} \to \mathcal{N}\) be uniformly \(L_{i}\)-Lipschitzian and \((\{\gamma _{n}^{(i)}\}, \{\mu _{n}^{(i)}\}, \zeta ^{(i)})\)-total asymptotically nonexpansive mappings defined by (2). For each positive integer \(n \ge 1\), let \(i(n)\) and \(l(n)\) be the unique solutions of the positive integer equation (4). Recently, Chang et al. [6] proved a strong convergence theorem for total asymptotically nonexpansive mappings in \(CAT(\kappa )\) spaces via the following iterative scheme.
For \(x_{1} \in \mathcal{N}\), define a sequence \(\{x_{n}\}\) as follows:
where \(\mathcal{N}\) is a nonempty closed and convex subset of a complete CAT(κ) space \(\mathcal{M}\) with \(\kappa > 0\).
More precisely, Chang et al. [6] obtained the following result.
Theorem 2
[6] Let \(\mathcal{N}\) be a nonempty closed and convex subset of a complete uniformly convex CAT(κ) space \((\mathcal{M},\mathfrak{O})\) with \(\kappa > 0\) and \(diam(\mathcal{M}) \le \dfrac{\frac{\pi}{2}-\epsilon}{\sqrt{\kappa}}\) for some \(\epsilon \in (0,\dfrac{\pi}{2})\). And, for each \(i \ge 1\), let \(\mathcal{U}_{i} : \mathcal{N} \to \mathcal{N}\) be a uniformly \(L_{i}\)-Lipschitzian and \((\{\gamma _{n}^{(i)}\}, \{\mu _{n}^{(i)}\}, \zeta ^{(i)})\)-total asymptotically nonexpansive mapping defined by (2) such that
-
(i)
\(\sum _{i=1}^{\infty}\sum _{n=1}^{\infty}\gamma _{n}^{(i)} < \infty , \, \sum _{i=1}^{\infty}\sum _{n=1}^{\infty}\mu _{n}^{(i)} < \infty \);
-
(ii)
there exists a constant \(\mathfrak{M}> 0\) such that \(\zeta ^{(i)}(\theta ) \le \mathfrak{M}\cdot \theta , \forall \theta \ge 0, i=1,2,3,\dots \);
-
(iii)
there exist constants \(a,b \in (0,1)\) with \(0 < b(1-a) \le \frac{1}{2}\) such that \(\{\alpha _{n}\}, \{\beta _{n}\} \subset [a,b]\).
If \(\mathcal{F} := \cap _{i=1}^{\infty}F(\mathcal{U}_{i}) \neq \emptyset \) and there exist a mapping \(\mathcal{U}_{n_{0}} \in \{\mathcal{U}_{i}\}_{i=1}^{\infty}\) and a nondecreasing function \(h:[0,\infty ) \to [0,\infty )\) with \(h(0)=0\) and \(h(r) > 0,\forall r > 0\) such that
then the sequence \(\{x_{n}\}\) defined by (5) converges strongly to some point \(x*\in \mathcal{F}\).
In this manuscript, inspired and motivated by the works of Chang et al. in [6] and some related papers, we establish common fixed point theorems for two infinite families of uniformly L-Lipschitzian and \((\{\gamma _{n}\},\{\mu _{n}\},\zeta )\)-total asymptotically quasi-nonexpansive mappings in the setting of CAT(κ) spaces. Our results significantly refine and generalize the works of Chang et al. [6] as well as many other comparable results in the literature.
3 Convergence and Δ-convergence theorems
We first introduce the following definition.
Definition 5
A mapping \(\mathcal{U} : \mathcal{N} \to \mathcal{N}\) is said to be \((\{\gamma _{n}\},\{\mu _{n}\},\zeta )\)-total asymptotically quasi-nonexpansive if \(F(\mathcal{U}) \neq \emptyset \) and there exist nonnegative sequences \(\{\mu _{n}\}, \{\gamma _{n}\}\) and a sequence \(\{k_{n}\} \subset [1,\infty )\) with \(\lim \limits _{n\to \infty}k_{n} = 1, \lim \limits _{n\to \infty} \mu _{n} = 0 = \lim \limits _{n\to \infty}\gamma _{n} \) and a strictly increasing continuous function \(\zeta : [0, \infty ) \to [0, \infty )\) with \(\zeta (0) = 0\) such that
Remark 4
It is easy to see that every \((\{\gamma _{n}\},\{\mu _{n}\},\zeta )\)-total asymptotically nonexpansive mapping defined by (2) is \((\{\gamma _{n}\},\{\mu _{n}\},\zeta )\)-total asymptotically quasi-nonexpansive mapping, but the converse is not true in general.
For each \(i \ge 1\), let \(\mathcal{U}_{i}, \mathcal{V}_{i} : \mathcal{N} \to \mathcal{N}\) be two uniformly \(L_{i}\)-Lipschitzian and \((\{\gamma _{n}^{(i)}\}, \{\mu _{n}^{(i)}\}, \zeta ^{(i)})\)-total asymptotically quasi-nonexpansive mappings defined by (7), and for each positive integer \(n \ge 1, i(n)\) and \(l(n)\) are the unique solutions of the positive integer equation (4). In this section, we will prove strong convergence and Δ-convergence theorems of two infinite families of two uniformly \(L_{i}\)-Lipschitzian and \((\{\gamma _{n}^{(i)}\}, \{\mu _{n}^{(i)}\}, \zeta ^{(i)})\)-total asymptotically quasi-nonexpansive mappings \(\{\mathcal{U}_{i} : i \ge 1\}\) and \(\{\mathcal{V}_{i} : i \ge 1\}\) via the following iterative scheme. For \(x_{1} \in \mathcal{N}\), define the sequence \(\{x_{n}\}\) as follows:
where \(\mathcal{N}\) is a nonempty closed and convex subset of a complete uniformly convex CAT(κ) space \(\mathcal{M}\) with \(\kappa > 0\).
Remark 5
If \(\mathcal{U}_{i} = \mathcal{V}_{i}\) for each \(i \ge 1\), then the sequence defined by (8) reduces to sequence (5).
We denote \(\mathbb{F}=\cap _{i=1}^{\infty}(F(\mathcal{U}_{i})\cap F(\mathcal{V}_{i})), i\ge 1\). We first prove the following two technical lemmas, which will be useful in the proof of our main results.
Lemma 6
Let \(\mathcal{N}\) be a nonempty closed and convex subset of a complete uniformly convex CAT(κ) space \((\mathcal{M},\mathfrak{O})\) with \(\kappa > 0\) and \(diam(\mathcal{M}) \le \dfrac{\frac{\pi}{2}-\epsilon}{\sqrt{\kappa}}\) for some \(\epsilon \in (0,\dfrac{\pi}{2})\). And, for each \(i \ge 1\), let \(\mathcal{U}_{i}, \mathcal{V}_{i} : \mathcal{N} \to \mathcal{N}\) be two uniformly \(L_{i}\)-Lipschitzian and \((\{\gamma _{n}^{(i)}\}, \{\mu _{n}^{(i)}\}, \zeta ^{(i)})\)-total asymptotically quasi-nonexpansive mappings defined by (7) such that
-
(i)
\(\sum _{i=1}^{\infty}\sum _{n=1}^{\infty}\gamma _{n}^{(i)} < \infty , \, \sum _{i=1}^{\infty}\sum _{n=1}^{\infty}\mu _{n}^{(i)} < \infty \);
-
(ii)
\(\sum _{n=1}^{\infty}\alpha_{n}k_{n} < \infty, \sum _{n=1}^{\infty}\beta_{n}k_{n} < \infty \) and \(\alpha _{n} \to 0,\, \beta _{n} \to 0\);
-
(iii)
there exists a constant \(\mathfrak{M}> 0\) such that \(\zeta ^{(i)}(\theta ) \le \mathfrak{M}\cdot \theta , \forall \theta \ge 0, i=1,2,3,\dots \);
-
(iv)
there exist constants \(a,b \in (0,1)\) with \(0 < b(1-a) \le \frac{1}{2}\) such that \(\{\alpha _{n}\}, \{\beta _{n}\} \subset [a,b]\).
If \(\{x_{n}\}\) is the sequence defined by (8), then \(\lim \limits _{n\to \infty}\mathfrak{O}(x_{n},\mathbb{F})\) and \(\lim \limits _{n\to \infty}\mathfrak{O}(x_{n},p), p\in \mathbb{F}\), exist.
Proof
Let \(p \in \mathbb{F}\). First we note that for each \(i \ge 1, \, \mathcal{U}_{i}, \mathcal{V}_{i} : \mathcal{N} \to \mathcal{N}\) are \((\{\gamma _{n}^{(i)}\}, \{\mu _{n}^{(i)}\}, \zeta ^{(i)})\)-total asymptotically quasi-nonexpansive mappings. By condition (iii), for each \(n \ge 1\) and any \(x, y \in \mathcal{N}\), we have
and
We will prove that \(\lim \limits _{n\to \infty}\mathfrak{O}(x_{n},\mathbb{F})\) and \(\lim \limits _{n\to \infty}\mathfrak{O}(x_{n},p)\) exist for each \(p \in \mathbb{F}\).
In fact, since \(p \in \mathbb{F}\) and \(\mathcal{U}_{i}, \mathcal{V}_{i}, i \ge 1\), are total asymptotically quasi-nonexpansive mappings, it follows from Lemma 3, (9), and (10) that
and
Substituting (11) in (12), we get
where \(\sigma _{n}=b\Big(k_{n}+\beta _{n}k_{n}^{2}+\gamma _{l(n)}^{i(n)} \mathfrak{M}+2\beta _{n}k_{n}\gamma _{l(n)}^{i(n)}\mathfrak{M}+\beta _{n}( \gamma _{l(n)}^{i(n)}\mathfrak{M})^{2}\Big)\), \(\xi _{n}=b\big(\beta _{n}k_{n}+ \beta _{n}\gamma _{l(n)}^{i(n)} \mathfrak{M}\big)\mu _{l(n)}^{i(n)}+\mu _{l(n)}^{i(n)}\) (because \(\alpha _{n},\beta _{n} \in [a,b]\)). Therefore
By using conditions (i) and (ii), we have
By Lemma 4, \(\lim \limits _{n\to \infty}\mathfrak{O}(x_{n},\mathbb{F})\) and \(\lim \limits _{n\to \infty}\mathfrak{O}(x_{n},p)\) exist for each \(p\in \mathbb{F}\). □
Lemma 7
Let \(\mathcal{N}\) be a nonempty closed and convex subset of a complete uniformly convex CAT(κ) space \((\mathcal{M},\mathfrak{O})\) with \(\kappa > 0\) and \(diam(\mathcal{M}) \le \dfrac{\frac{\pi}{2}-\epsilon}{\sqrt{\kappa}}\) for some \(\epsilon \in (0,\dfrac{\pi}{2})\). And, for each \(i \ge 1\), let \(\mathcal{U}_{i}, \mathcal{V}_{i} : \mathcal{N} \to \mathcal{N}\) be two uniformly \(L_{i}\)-Lipschitzian and \((\{\gamma _{n}^{(i)}\}, \{\mu _{n}^{(i)}\}, \zeta ^{(i)})\)-total asymptotically quasi-nonexpansive mappings defined by (7) such that
-
(i)
\(\sum _{i=1}^{\infty}\sum _{n=1}^{\infty}\gamma _{n}^{(i)} < \infty , \, \sum _{i=1}^{\infty}\sum _{n=1}^{\infty}\mu _{n}^{(i)} < \infty \);
-
(ii)
\(\sum _{n=1}^{\infty}\alpha_{n}k_{n} < \infty, \sum _{n=1}^{\infty}\beta_{n}k_{n} < \infty \) and \(\alpha _{n} \to 0,\, \beta _{n} \to 0\);
-
(iii)
there exists a constant \(\mathfrak{M}> 0\) such that \(\zeta ^{(i)}(\theta ) \le \mathfrak{M}\cdot \theta , \forall \theta \ge 0, i=1,2,3,\dots \);
-
(iv)
there exist constants \(a,b \in (0,1)\) with \(0 < b(1-a) \le \frac{1}{2}\) such that \(\{\alpha _{n}\}, \{\beta _{n}\} \subset [a,b]\).
Suppose that \(\{x_{n}\}\) is a sequence defined by (8), then
In particular, we have
for \(i \ge 1\).
Proof
(1). Firstly, we will prove that
In fact, it follows from Lemma 6 that for each given \(p \in \mathbb{F}\), the \(\lim \limits _{n\to \infty}\mathfrak{O}(x_{n},p)\) exists. Without loss of generality, we can assume that
From (11) we have
Since
from (17) we get
In addition, it follows from (13) that
This implies that
From (16), (18), (20), and Proposition 1, we have
Since
Taking lim inf on both sides of the above inequality and using (21), we have
From this together with (17), we obtain
This yields
Now, we have
Applying (16), (25), (26) and Proposition 1, we obtain
Similarly, one can show that
(2). Secondly, we show that for each \(i \ge 1\) there exists some subsequence \(\{x_{m(\in \Gamma _{i} )}\} \subset \{x_{n}\}\) such that
where \(\Gamma _{i}\) is the set of positive integers defined by Lemma 5(2). By using (27), we get
Furthermore, it follows from (21) that
From (21), (27), (31), (32), and Lemma 5, for each given positive integer \(i \ge 1\), there exist subsequences \(\{x_{m}\}_{m\in \Gamma _{i}} , \{y_{m}\}_{m\in \Gamma _{i}}\), and \(\{l(m)\}_{m\in \Gamma _{i}} \subset \mathcal{K}_{i} := \{l(m):m\in \Gamma _{i}, m = i + \dfrac{(l(m)-1)l(m)}{2}, l(m) \ge i\}\), we have that
This yields
Similarly, one can show that
This completes our proof of Lemma 7. □
Theorem 3
Let \(\mathcal{N}\) be a nonempty, closed, and convex subset of a complete uniformly convex CAT(κ) space \((\mathcal{M},\mathfrak{O})\) with \(\kappa > 0\) and \(diam(\mathcal{M}) \le \dfrac{\frac{\pi}{2}-\epsilon}{\sqrt{\kappa}}\) for some \(\epsilon \in (0,\dfrac{\pi}{2})\). And, for each \(i \ge 1\), let \(\mathcal{U}_{i}, \mathcal{V}_{i} : \mathcal{N} \to \mathcal{N}\) be two uniformly \(L_{i}\)-Lipschitzian and \((\{\gamma _{n}^{(i)}\}, \{\mu _{n}^{(i)}\}, \zeta ^{(i)})\)-total asymptotically quasi-nonexpansive mappings defined by (7) such that
-
(i)
\(\sum _{i=1}^{\infty}\sum _{n=1}^{\infty}\gamma _{n}^{(i)} < \infty , \sum _{i=1}^{\infty}\sum _{n=1}^{\infty}\mu _{n}^{(i)} < \infty \);
-
(ii)
\(\sum _{n=1}^{\infty}\alpha_{n}k_{n} < \infty. \sum _{n=1}^{\infty}\beta_{n}k_{n} < \infty \), and \(\alpha _{n} \to 0,\, \beta _{n} \to 0\);
-
(iii)
there exists a constant \(\mathfrak{M}> 0\) such that \(\zeta ^{(i)}(\theta ) \le \mathfrak{M}\cdot \theta , \forall \theta \ge 0, i=1,2,3,\ldots\) ;
-
(iv)
there exist constants \(a,b \in (0,1)\) with \(0 < b(1-a) \le \frac{1}{2}\) such that \(\{\alpha _{n}\}, \{\beta _{n}\} \subset [a,b]\).
If \(\mathbb{F} := \cap _{i=1}^{\infty}\big(F(\mathcal{U}_{i}) \cap F( \mathcal{V}_{i})\big) \neq \emptyset \) and there exist mappings \(\mathcal{U}_{n_{0}}\in \{\mathcal{U}_{i}\}_{i=1}^{\infty}, \mathcal{V}_{n_{0}} \in \{\mathcal{V}_{i}\}_{i=1}^{\infty}\) and a nondecreasing function \(h:[0,\infty ) \to [0,\infty )\) with \(h(0)=0\) and \(h(r) > 0,\forall r > 0\) such that
and
Then the sequence \(\{x_{n}\}\) defined by (8) converges strongly to a common fixed point \(x*\in \mathbb{F}\).
Proof
In fact, it follows from Lemma 7 that for given mappings \(\mathcal{U}_{n_{0}}, \mathcal{V}_{n_{0}}\) there exists some subsequence \(\{x_{m}\}_{m\in \Gamma _{n_{0}}}\) of \(\{x_{n}\}\) such that
and
Taking the limit as \(m\to \infty \) on the above inequalities, we have \(\lim \limits _{m\to \infty}h(\mathfrak{O}(x_{m},\mathbb{F})) = 0\). This implies that
Next we show that \(\{x_{m}\}_{m\in \Gamma _{n_{0}}}\) is a Cauchy sequence in \(\mathcal{N}\). In fact, it follows from (13) that for any \(p \in \mathbb{F}\),
where \(\sum _{m=1}^{\infty}\sigma _{m} < \infty \) and \(\sum _{m=1}^{\infty}\xi _{m} < \infty \). For any positive integers \(j,n \in \Gamma _{n_{0}}, n > j\), let \(n = m + j \) for some positive integer m, and since \(1+x \le e^{x}\) for each \(x \ge 0\), by following the same line of proof of Theorem 2 (i.e. Theorem 3.2 in [6]), we will obtain
This implies
where \(K=e^{(\sum _{i=1}^{\infty}\sigma _{i})}< \infty \). From (13) and (41), we have
Therefore the subsequence \(\{x_{m}\}_{m\in \Gamma _{n_{0}}} \subset \mathcal{N}\) is a Cauchy sequence. We deduce that \(\mathcal{N}\) is complete since it is a closed subset in a complete CAT(κ) space \(\mathcal{M}\). Therefore, we can assume that the subsequence \(\{x_{m}\}\) converges strongly to some common fixed point \(x^{*} \in \mathcal{N}\). We know that \(\mathbb{F}\) is a closed subset in \(\mathcal{N}\) and that \(\lim \limits _{m\to \infty}\mathfrak{O}(x_{m},\mathbb{F}) = 0\), so \(x^{*} \in \mathbb{F}\). By Lemma 6 and Lemma 4, we can conclude that the whole sequence \(\{x_{n}\}\) converges strongly to a common fixed point \(x^{*}\in \mathbb{F}\). Our proof is finished. □
Remark 6
Note that we add one more condition (i.e. condition (ii)) in Theorem 3, which is different from the work of Chang et al. [6] (see Theorem 2 above), to obtain our main result.
We now prove the Δ-convergence result.
Theorem 4
Let \(\mathcal{N}\) be a nonempty closed and convex subset of a complete uniformly convex CAT(κ) space \((\mathcal{M},\mathfrak{O})\) with \(\kappa > 0\) and \(diam(\mathcal{M}) \le \dfrac{\frac{\pi}{2}-\epsilon}{\sqrt{\kappa}}\) for some \(\epsilon \in (0,\dfrac{\pi}{2})\). And, for each \(i \ge 1\), let \(\mathcal{U}_{i}, \mathcal{V}_{i} : \mathcal{N} \to \mathcal{N}\) be two uniformly \(L_{i}\)-Lipschitzian and \((\{\gamma _{n}^{(i)}\}, \{\mu _{n}^{(i)}\}, \zeta ^{(i)})\)-total asymptotically quasi-nonexpansive mappings defined by (7) such that
-
(i)
\(\sum _{i=1}^{\infty}\sum _{n=1}^{\infty}\gamma _{n}^{(i)} < \infty , \sum _{i=1}^{\infty}\sum _{n=1}^{\infty}\mu _{n}^{(i)} < \infty \);
-
(ii)
\(\sum _{n=1}^{\infty}\alpha_{n}k_{n} < \infty, \sum _{n=1}^{\infty}\beta_{n}k_{n} < \infty \), and \(\alpha _{n} \to 0,\, \beta _{n} \to 0\);
-
(iii)
\(0< L_{i}<1\), for each i;
-
(iv)
there exists a constant \(\mathfrak{M}> 0\) such that \(\zeta ^{(i)}(\theta ) \le \mathfrak{M}\cdot \theta , \forall \theta \ge 0, i=1,2,\ldots\) ;
-
(v)
there exist constants \(a,b \in (0,1)\) with \(0 < b(1-a) \le \frac{1}{2}\) such that \(\{\alpha _{n}\}, \{\beta _{n}\} \subset [a,b]\).
Then the sequence \(\{x_{n}\}\) defined by (8) Δ-converges strongly to a common fixed point of \(\{\mathcal{U}_{i} : i \ge 1\}\) and \(\{\mathcal{V}_{i} : i \ge 1\}\).
Proof
It follows from Lemma 6 that \(\{x_{n}\}\) is bounded. Therefore, by Lemma 2, \(\{x_{n}\}\) has a unique asymptotic center. Assume that \(A(\{x_{n}\}) = \{x\}\). Let \(\{u_{n}\}\) be any subsequence of \(\{x_{n}\}\) such that \(A(\{u_{n}\}) = \{u\}\). From Lemma 7 we have \(\lim \limits _{n\to \infty}\mathfrak{O}(u_{n},\mathcal{U}_{i}u_{n}) = 0 = \lim \limits _{n\to \infty}\mathfrak{O}(u_{n},\mathcal{V}_{i}u_{n}) \) for each \(i \ge 1\).
We will prove that u is a common fixed point of \(\{\mathcal{U}_{i} : i \ge 1\}\) and \(\{\mathcal{V}_{i} : i \ge 1\}\). For each given positive integer \(i \ge 1\), and \(\{l(m)\}_{m\in \Gamma _{i}} \subset \mathcal{K}_{i} := \{l(m):m\in \Gamma _{i}, m = i + \dfrac{(l(m)-1)l(m)}{2}, l(m) \ge i\}\), we define a sequence \(\{z_{m}\}\) in \(\mathcal{N}\) by \(z_{m} = \mathcal{U}_{i}^{l(m)}u\). Observe that
This implies
Hence \(|r(z_{m},\{u_{n}\})-r(u,\{u_{n}\})| \to 0\) as \(m \to \infty \). It follows from Lemma 2 that \(\mathcal{U}_{i}u = u\). Hence u is the common fixed point of \(\{\mathcal{U}_{i} : i \ge 1\}\). Similarly, one can show that u is a common fixed point of \(\{\mathcal{V}_{i} : i \ge 1\}\). Therefore u is a common fixed point of \(\{\mathcal{U}_{i} : i \ge 1\}\) and \(\{\mathcal{V}_{i} : i \ge 1\}\). Note that \(\lim \limits _{n\to \infty}\mathfrak{O}(x_{n},u)\) exists by Lemma 6.
Suppose \(x \neq u\). By the uniqueness of asymptotic centers, and following the same method as in the proof of Theorem 3.4 in [22], we can reach a contradiction. Hence \(x = u\). Since \(\{u_{n}\}\) is an arbitrary subsequence of \(\{x_{n}\}\), therefore \(A(\{u_{n}\}) = \{u\}\) for all subsequences \(\{u_{n}\}\) of \(\{x_{n}\}\). This proves that \(\{x_{n}\}\) Δ-converges to a common fixed point of \(\{\mathcal{U}_{i} : i \ge 1\}\) and \(\{\mathcal{V}_{i} : i \ge 1\}\). □
4 Conclusions
In this manuscript, we establish new results concerning two infinite families of uniformly L-Lipschitzian and total asymptotically quasi-nonexpansive mappings in CAT(κ) spaces with \(\kappa > 0\). These mappings are essentially more general than nonexpansive mappings, asymptotically quasi-nonexpansive mapping, and total asymptotically nonexpansive mappings in the intermediate sense. Our results are a refinement, generalization of the result recently obtained by Chang et al. [6]. Besides, we also establish a Δ-convergence result for such mappings. As a further development, one can use the background of CAT(κ) spaces with \(\kappa > 0\) and other more general metric spaces to study implicit type contractive conditions inspired by those from the current work.
Data Availability
No datasets were generated or analysed during the current study.
References
Alber, Y.I., Chidume, C.E., Zegeye, H.: Approximating fixed points of total asymptotically nonexpansive mappings. Fixed Point Theory Appl. 2006, Article ID 10673 (2006)
Basarir, M., Sahin, A.: On the strong and convergence for total asymptotically nonexpansive mappings on a CAT(0) space. Carpath. Math. Publ. 5, 170–179 (2013)
Bridson, M., Haefliger, A.: Metric Spaces of Non-Positive Curvature. Springer, Berlin (1999)
Bruck, R.E., Kuczumow, Y., Reich, S.: Convergence of iterates of asymptotically nonexpansive mappings in Banach spaces with the uniform Opial property. Colloq. Math. 65(2), 169?179 (1993)
Chang, S.S., Wang, L., Lee, H.W.J., Chan, C.K.: Strong and convergence for mixed type total asymptotically nonexpansive mappings in CAT(0) spaces. Fixed Point Theory Appl. 2013, Article ID 122 (2013)
Chang, S., Zhao, L., Liu, M., Tang, J.: Convergence theorems for total asymptotically nonexpansive mappings in CAT(κ) spaces. Fixed Point Theory Algorithms Sci. Eng. 2023, Article ID 2 (2023). https://doi.org/10.1186/s13663-022-00739-2
Chang, S.S., Wang, L., Lee, H.W.J., Chan, C.K., Yang, L.: Demiclosed principle and Δ-convergence theorems for total asymptotically nonexpansive mappings in CAT(0) spaces. Appl. Math. Comput. 219, 2611–2617 (2012)
Espinola, R., Nicolae, A.: Geodesic Ptolemy spaces and fixed points. Nonlinear Anal. 74(1), 27–34 (2011)
Fukhar-ud-din, H., Khan, A.R.: Convergence of implicit iterates with errors for mappings with unbounded domain in Banach spaces. Int. J. Math. Math. Sci. 10, 1643–1653 (2005)
Hea, J.S., Fang, D.H., Lopez, G., Li, C.: Mann’s algorithm for nonexpansive mappings in CAT(κ) spaces. Nonlinear Anal. 75, 445–452 (2012)
Karapinar, E., Salahifard, H., Vaezpour, S.M.: Demiclosedness principle for total asymptotically nonexpansive mappings in CAT(0) spaces. J. Appl. Math. 2014, Article ID 738150 (2014)
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 Appl. 2012, 54 (2012)
Khan, A.R., Khamsi, M.A., Fukhar-ud-din, H.: Strong convergence of a general iteration scheme in CAT(0) spaces. Nonlinear Anal. 74, 783–791 (2011)
Kingkam, P., Nantadilok, J.: Iterative process for finding fixed points of quasi-nonexpansive multimaps in CAT(0) spaces. Korean J. Math. 31(1), 35–48 (2023). https://doi.org/10.11568/kjm.2023.31.1.35
Kirk, W.A.: Geodesic geometry and fixed point theory. In: Seminar of Math. Anal. (Malaga/Seville, 2002/2003). Colecc. Abierta, vol. 64, pp. 195–225. Univ. Sevilla Secr. Pub., Seville (2003)
Kirk, W.A.: Geodesic geometry and fixed point theory II. In: International Conference on Fixed Point Theo. Appl., pp. 113–142. Yokohama Pub., Yokohama (2004)
Kirk, W.A., Panyanak, B.: A concept of convergence in geodesic spaces. Nonlinear Anal. 68, 3689–3696 (2008)
Kratuloek, K., Kumam, P., Amnuaykarn, K., Nantadilok, J., Salisu, S.: Iterative approximation of common fixed points of two nonself asymptotically nonexpansibve mappings in CAT(0) spaces with numerical examples. Math. Methods Appl. Sci., 1–19 (2023)
Lim, T.C.: Remarks on some fixed point theorems. Proc. Am. Math. Soc. 60, 179–182 (1976)
Liu, J.A.: Some convergence theorems of implicit iterative process for nonexpansive mappings in Banach spaces. Math. Commun. 7, 113–118 (2002)
Nantadilok, J., Nuntadilok, B.: Common fixed points of asymptotically quasi-nonexpansive mappings in CAT(0) spaces. Fixed Point Theory and Chaos (2022)
Nuntadilok, B., Kingkam, P., Nantadilok, J.: Common fixed point theorems of two finite families of asymptotically quasi-nonexpansive mappings in hyperbolic spaces. J. Nonlinear Funct. Anal. 2023, 27 (2023)
Panyanak, B.: On total asymptotically nonexpansive mappings in CAT(κ) spaces. J. Inequal. Appl. (2014)
Sun, Z.H., He, C., Ni, Y.Q.: Strong convergence of an implicit iteration process for nonexpansive mappings in Banach space. Nonlinear Funct. Anal. Appl. 8(4), 595–602 (2003)
Tang, J.F., Chang, S.S., Lee, H.W.J., Chan, C.K.: Iterative algorithm and convergence theorems for total asymptotically nonexpansive mappings in CAT(0) spaces. Abstr. Appl. Anal. 2012, Article ID 965751 (2012)
Tang, Y.K., Chang, S.S., Wang, L., Xu, Y.G., Wang, G.: Strong convergence theorems of modified Halpern-Mann-type iterations for quasi-ϕ-asymptotically nonexpansive mappings and applications. Acta Math. Sci. Ser. A 34(5), 1151–1160 (2014)
Wang, L., Chang, S.S., Ma, Z.: Convergence theorems for total asymptotically nonexpansive non-selfmappings in CAT(0) spaces. J. Inequal. Appl. 2013, Article ID 135 (2013)
Yang, L., Zhao, F.H.: Strong and convergence theorems for total asymptotically nonexpansive non-selfmappings in CAT(0) spaces. J. Inequal. Appl. 2013, Article ID 557 (2013)
Zhao, L.C., Chang, S.S., Wang, X.R.: Convergence theorems for total asymptotically nonexpansive mappings in hyperbolic spaces. J. Appl. Math. 2013, Article ID 689765 (2013)
Acknowledgements
The authors would like to thank the faculty of Sciences, Maejo University and Lampang Rajabhat University for funding this research work.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
BN contributed to the conceptualization, formal analysis, methodology, writing, editing, and approving the manuscript. PK involved in formal analysis, methodology and writing the original draft. JN involved in formal analysis, editing and approving the manuscript. KS involved in formal analysis and and approving the manuscript. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Consent for publication
Not applicable.
Competing interests
The authors declare no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Nuntadilok, B., Kingkam, P., Nantadilok, J. et al. On some common fixed point results for two infinite families of uniformly L-Lipschitzian total asymptotically quasi-nonexpansive mappings. Fixed Point Theory Algorithms Sci Eng 2024, 12 (2024). https://doi.org/10.1186/s13663-024-00768-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-024-00768-z