- Research
- Open access
- Published:
Iterative approximation of attractive points of further generalized hybrid mappings in Hadamard spaces
Fixed Point Theory and Applications volume 2019, Article number: 3 (2019)
Abstract
In this paper, we study the class of further generalized hybrid mappings due to Khan (Fixed Point Theory Appl. 2018:8, 2018) in the setting of Hadamard spaces. We prove a demiclosed principle for such mappings in Hadamard spaces. Furthermore, we also prove the Δ-convergence of the sequence generated by the S-iteration process for finding attractive points of further generalized hybrid mappings in Hadamard spaces satisfying the \((\mathbb{S})\) property and the \((\overline{Q_{4}})\) condition. Moreover, we provide a numerical example to illustrate the convergence behavior of the studied iteration and numerically compare the convergence of the studied iteration scheme with the existing schemes. Our results extend some known results which appeared in the literature.
1 Introduction
In 2011, Takahashi and Takeuchi [2] introduced the concept of attractive points for nonlinear mappings in a Hilbert space: Let H be a Hilbert space and C be a nonempty subset of H. Let T be a mapping from C into H. Let \(A(T)\) denote the set of all attractive points of T, i.e.,
In 2012, Takahashi et al. [3] introduced the class of normally generalized hybrid mappings in a Hilbert space.
Definition 1.1
A mapping \(T:C\rightarrow H\) is called normally generalized hybrid if there exist \(\alpha ,\beta ,\gamma ,\delta \in \mathbb{R}\) such that
-
(i)
\(\alpha +\beta +\gamma +\delta \geq 0\);
-
(ii)
\(\alpha +\beta >0\) or \(\alpha +\gamma >0\); and
-
(iii)
\(\alpha \|Tx-Ty\|^{2} +\beta \|x-Ty\|^{2} + \gamma \|Tx-y\|^{2}+ \delta \|x-y\|^{2}\leq 0\), \(\forall x,y\in C\).
Such a mapping T can be called an \((\alpha ,\beta ,\gamma ,\delta )\)-normally generalized hybrid mapping.
They also proved the weak convergence theorem of Mann type for normally generalized hybrid mappings in real Hilbert spaces without convexity assumption on the domain of mappings. To be more precise, they obtained the following result.
Theorem 1.2
Let H be a real Hilbert space and C be a nonempty convex subset of H. Let \(T:C\to C\) be a normally generalized hybrid mapping. Assume that \(A(T)\ne \emptyset \). For \(x_{1}\in C\), the sequence \(\{x_{n}\}\) generated by
where \(\{\alpha _{n}\}\) is a sequence in \([0,1]\) such that \(\liminf_{n\to \infty } \alpha _{n}(1-\alpha _{n})>0\). Then the sequence \(\{x_{n}\}\) converges weakly to a point \(z\in A(T)\). Moreover, \(z=\lim_{n\to \infty }P_{A(T)}x_{n}\), where \(P_{A(T)}\) is a projection of H onto \(A(T)\).
In 2015, Kaewkhao et al. [4] extended the results of Takahashi et al. [3] from Hilbert spaces to Hadamard spaces.
In 2018, Khan [1] gave the concept of further generalized mappings (see Definition 1.3 below) which constitutes a generalization of normally generalized hybrid mappings due to Takahashi et al. [3] (see Definition 1.1 above).
Definition 1.3
([1])
A mapping \(T:C\rightarrow H\) is called further generalized hybrid if there exist \(\alpha ,\beta ,\gamma ,\delta ,\epsilon \in \mathbb{R}\) such that
-
(i)
\(\alpha +\beta +\gamma +\delta \geq 0\), \(\epsilon \geq 0\);
-
(ii)
\(\alpha +\beta >0\) or \(\alpha +\gamma >0\); and
-
(iii)
\(\alpha \|Tx-Ty\|^{2} +\beta \|x-Ty\|^{2} + \gamma \|Tx-y\|^{2}+ \delta \|x-y\|^{2}+ \epsilon \|x-Tx\|^{2}\leq 0\), \(\forall x,y\in C\).
Obviously, by above definitions, further generalized hybrid is a generalization of normally generalized hybrid when \(\epsilon =0\). It is noteworthy that it contains the class of generalized hybrid, quasi-nonexpansive mappings, quasi-contractive mappings and contractive mappings.
Recently, Khan [1] obtained a weak convergence theorem of Picard–Mann hybrid iterative process [5] for further generalized hybrid mappings in real Hilbert spaces without convexity assumption on the domain of mappings. The iterative process of Khan [1] is faster than Mann, Ishikawa and S-iteration process of Agarwal et al. [6] as shown by him in [5]. However, his results are in a Hilbert space and we want to have some results in Hadamard spaces. Note that no results are available at the moment for further generalized hybrid mappings even for Mann iterative process in Hadamard spaces. We further note that S-iteration process is also faster than Mann and Ishikawa iteration processes (but not Picard–Mann hybrid).
Motivated by the above works, we define a class of further generalized hybrid mappings and prove the demiclosed principle for such mapping in Hadamard spaces. Furthermore, we also obtain a Δ-convergence theorem of S-iteration process for further generalized hybrid mappings in Hadamard spaces satisfying the \((\mathbb{S})\) property and the \((\overline{Q_{4}})\) condition. Finally, we provide a numerical example to illustrate the convergence behavior of the S-iteration and numerically compare the convergence of the S-iteration schemes with the existing schemes.
2 Methods
The paper is organized as follows. Section 3 contains the preliminaries, including definitions and lemmas with corresponding references that will be used in the sequel. Section 4 contains the main result of the paper. In Sect. 5, we provide a numerical example to illustrate the convergence behavior of the S-iteration and numerically compare the convergence of the S-iteration schemes with the existing schemes.
3 Preliminaries
Let \((X,d)\) be a metric space. A geodesic from x to y is a map γ from the closed interval \([0,d(x,y)]\subset \mathbb{R}\) to X such that \(\gamma (0)=x\), \(\gamma (d(x,y))=y\) and \(d(\gamma (t_{1}), \gamma (t_{2}))=|t_{1}-t_{2}|\) for all \(t_{1},t_{2}\in [0,d(x,y)]\). The image of γ is called a geodesic (or metric) segment joining x and y. When it is unique, this geodesic segment is denoted by \([x,y]\). The space X is said to be a geodesic metric space if every two points of X are joined by a geodesic, and X is said to be uniquely geodesic metric space if there is exactly one geodesic joining x and y for each \(x,y\in X\). A subset C of X is said to be convex, if for any two points \(x,y\in C\), the geodesic joining x and y is contained in C.
Let X be a uniquely geodesic metric space. For each \(x,y\in X\) and for each \(\alpha \in [0,1]\), there exists a unique point \(z\in [x,y]\) such that \(d(x, z) = (1-\alpha ) d(x, y)\) and \(d(y, z) = \alpha d(x, y)\). We denote the unique point z by \(\alpha x \oplus (1-\alpha )y\).
Lemma 3.1
([7])
Let X be a uniquely geodesic metric space. The following are equivalent:
-
(i)
X is a CAT(0) space.
-
(ii)
X satisfies the (CN) inequality: If \(x,y\in X\) and \(\frac{x\oplus y}{2}\) is the midpoint of x and y, then
$$ d \biggl(z,\frac{x\oplus y}{2} \biggr)^{2}\leq \frac{1}{2}d(z,x)^{2}+ \frac{1}{2}d(z,y)^{2} - \frac{1}{4}d(x,y)^{2}, \quad \textit{for all }z\in X. $$
Lemma 3.2
Let X be a CAT(0) space, \(x,y,z\in X\) and \(\lambda \in [0,1]\). Then
-
(i)
\(d(z,\lambda x \oplus (1-\lambda )y) \leq \lambda d(z,x)+ (1- \lambda )d(z,y)\);
-
(ii)
\(d(z,\lambda x \oplus (1-\lambda )y)^{2} \leq \lambda d(z,x)^{2}+ (1-\lambda )d(z,y)^{2} -\lambda (1-\lambda ) d(x,y)^{2}\).
A complete CAT(0) space is called an Hadamard space.
It is well known that any complete, simply connected Riemannian manifold having nonpositive sectional curvature is an Hadamard space. Other examples include Euclidean spaces \(\mathbb{E}^{2}\), Hilbert spaces, the Hilbert ball [9], hyperbolic spaces [10], R-trees [11], and many others. The fixed point theory in Hadamard spaces was first studied by Kirk [12] in 2003. Since then many authors have published papers on the existence and convergence of fixed points for nonlinear mappings in such spaces (e.g., see [13, 14]).
The notion of the asymptotic center can be introduced in the general setting of an Hadamard space X as follows: Let \(\{x_{n}\}\) be a bounded sequence in X. For \(x\in X\), we define a mapping \(r ( \cdot ,\{x_{n}\} ):X\to [0,\infty )\) by
The asymptotic radius of \(\{x_{n}\} \) is given by
and the asymptotic center of \(\{x_{n}\}\) is the set
For another way of describing the asymptotic center, see [13]. It is known (see [15]) that in an Hadamard space, the asymptotic center \(A ( { \{ {x_{n} } \}} )\) consists of exactly one point.
We now give the definition and collect some basic properties of the Δ-convergence which will be used in the sequel.
Definition 3.3
([16])
A sequence \(\{x_{n}\}\) in an Hadamard space X is said to Δ-converge 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\to \infty }x_{n}=x\) and call x the Δ-limit of \(\{x_{n}\}\).
Lemma 3.4
([16])
Every bounded sequence in an Hadamard space has a Δ-convergent subsequence.
Lemma 3.5
([17])
Let C be a nonempty closed convex subset of an Hadamard space X. If \(\{x_{n}\}\) is a bounded sequence in C, then the asymptotic center of \(\{x_{n}\}\) is in C.
Lemma 3.6
([8])
Let \(\{x_{n}\}\) be a sequence in an Hadamard space X with \(A(\{x_{n}\}) = \{x\}\). If \(\{u_{n}\}\) is a subsequence of \(\{x_{n}\}\) with \(A(\{u_{n}\}) = \{u\}\) and \(\{d(x_{n},u)\}\) converges, then \(x = u\).
In 2008, Berg and Nikolaev [18] introduced the concept of quasilinearization in an Hadamard space X as follows:
Denote a pair \((a,b)\in X\times X\) by \(\overrightarrow{ab}\) and call it a vector. The quasilinearization is a map \(\langle \cdot ,\cdot \rangle : (X\times X)\times (X\times X)\to \mathbb{R}\) defined by
for any \(a,b,c,d\in X\).
We say that X satisfies the Cauchy–Schwarz inequality if
for any \(a,b,c,d\in X\). It is known that a geodesically connected metric space is a CAT(0) space if and only if it satisfies the Cauchy–Schwarz inequality; see [18].
Consider the map \(\varTheta : \mathbb{R}\times X\times X\to C(X; \mathbb{R})\) defined by
for all \(x\in X\), where \(C(X;\mathbb{R})\) is the space of all continuous real-valued functions on X. Then the Cauchy–Schwarz inequality implies that \(\varTheta (t,a,b)\) is the Lipschitz function with the Lipschitz seminorm \(L(\varTheta (t,a,b))=td(a,b)\), where \(t\in \mathbb{R}\), \(a,b\in X\) and \(L(\phi )=\sup \{ \frac{\phi (x)-\phi (y)}{d(x,y)}: x,y\in X, x\ne y\}\) is the Lipschitz seminorm for any function \(\phi : X\to \mathbb{R}\).
In 2010, Kakavandi and Amini [19] defined a pseudometric D on \(\mathbb{R}\times X\times X\) by
For an Hadamard space X, it is obtained that \(D((t,a,b),(s,u,v))=0\) if and only if \(t \langle \overrightarrow{ab},\overrightarrow{xy} \rangle = s \langle \overrightarrow{uv},\overrightarrow{xy} \rangle \) for all \(x,y\in X\). Then, D can impose an equivalent relation on \(\mathbb{R}\times X\times X\), where the equivalence class of \((t, a, b)\) is
The set \(X^{*} = \{[t \overrightarrow{ab}] : (t,a,b)\in \mathbb{R} \times X\times X\}\) is a metric space with metric D, which is called the dual metric space of X.
In 2013, Kakavandi [20] introduced the concept of \((\mathbb{S})\) property for an Hadamard space as follows.
Definition 3.7
An Hadamard space X satisfies the \((\mathbb{S})\) property if for any \((x,y)\in X\times X\) there exists a point \(y_{x}\in X\) such that \([\overrightarrow{xy}]=[\overrightarrow{y_{x}x}]\).
Moreover, Kakavandi also proved the characterization of Δ-convergence for Hadamard spaces satisfying the \((\mathbb{S})\) property as follows.
Lemma 3.8
Let X be an Hadamard space, \(\{x_{n}\}\) be a bounded sequence in X and \(x\in X\). If X satisfies the \((\mathbb{S})\) property, then Δ-\(\lim_{n\rightarrow \infty }x_{n}=x\) if and only if \(\lim_{n\rightarrow \infty }\langle \overrightarrow{xx_{n}}, \overrightarrow{xy}\rangle =0\) for all \(y\in X\).
In 2008, Kirk and Panyanak [16] introduced a geometric condition on Hadamard spaces called the \((Q_{4})\) condition as follows.
Definition 3.9
An Hadamard space X is said to satisfy the \((Q_{4})\) condition if for all \(x,y,p,q \in X\),
In 2013, Kakavandi [20] modified the \((Q_{4})\) condition as follows.
Definition 3.10
An Hadamard space X is said to satisfy the \((\overline{Q_{4}})\) condition if for any \(x,y,p,q\in X\),
We can see that Hilbert spaces and every Hadamard space of constant curvature satisfy the \((\overline{Q_{4}})\) condition. Anyway, since \((\overline{Q_{4}})\) implies \((Q_{4})\), there are some Hadamard spaces that do not satisfy such a condition. The following results were obtained by Kaewkhao et al. [4].
Lemma 3.11
Let X be an Hadamard space satisfying the \((\overline{Q_{4}})\) condition. Let C be a nonempty subset of X. Then, for any mapping \(T:C\rightarrow X\), \(A(T)\) is closed and convex.
Lemma 3.12
Let X be an Hadamard space and C be a closed convex subset of X. Let \(x\in X\) and \(y\in C\). Then \(y=P_{C}x\) if and only if \(\langle \overrightarrow{xy},\overrightarrow{yz}\rangle \geq 0\) for all \(z\in C\).
We recall the concept of Banach limit, which plays a major role in our results. Let μ be a continuous linear functional on \(l^{\infty }\), the Banach space of bounded real sequences with supremum norm, and \((x_{1},x_{2},\ldots ) \in l^{\infty }\). We write \(\mu _{n}(x_{n})\) instead of \(\mu ((x_{1},x_{2},\ldots ))\). We call μ a Banach limit if μ satisfies \(\|\mu \| = \mu (1,1,\ldots )=1\) and \(\mu _{n}(x_{n})=\mu _{n}(x_{n+1})\) for each \((x_{1},x_{2},\ldots ) \in l^{\infty }\). For a Banach limit μ, we know that
for all \((x_{1},x_{2},\ldots ) \in l^{\infty }\). So if \((x_{1},x_{2}, \ldots ) \in l^{\infty }\) with \(\lim_{n\to \infty } x_{n} = c\), then \(\mu _{n}(x_{n})=c\); see [21] for more details.
We also need the following lemmas due to Kaewkhao et al. [4].
Lemma 3.13
Let C be a nonempty subset of an Hadamard space X. Let \(\{x_{n}\}\) be a bounded sequence in C and \(T:C\to C\) be a mapping such that \(\lim_{n\to \infty }d(x_{n},Tx_{n})= 0\). Then
-
(i)
the sequences \(\{d(x_{n},y)\}\) and \(\{d(Tx_{n},y)\}\) are bounded for all \(y\in C\);
-
(ii)
\(\mu _{n} d(x_{n},y)=\mu _{n}d(Tx_{n},y)\) for any Banach limit \(\mu _{n}\) on \(l^{\infty }\).
Lemma 3.14
Let X be an Hadamard space and C be a closed convex subset of X. Let \(\{x_{n}\}\) be a bounded sequence in X. If \(d(x_{n+1},z) \leq d(x_{n},z)\) for all \(z\in C\), then \(\lim_{n\to \infty }P_{C}x _{n}= z_{0}\in C\), where \(P_{C}\) is the metric projection from X onto C.
4 Results and discussion
In this section, we prove Δ-convergence theorems of S-iteration to the set of attractive points of further generalized hybrid mappings in Hadamard spaces satisfying the \((\mathbb{S})\) property and the \((\overline{Q_{4}})\) condition. We first consider the notion of the set of attractive points for any mapping \(T:C\to X\), where X is an Hadamard space and C is a nonempty subset of X defined as
Moreover, in Hadamard spaces, a further generalized hybrid mapping is defined analogously to Definition 1.3 as follows.
Definition 4.1
A mapping \(T:C\rightarrow X\) is called further generalized hybrid if there exist \(\alpha ,\beta ,\gamma ,\delta ,\epsilon \in \mathbb{R}\) such that
-
(i)
\(\alpha +\beta +\gamma +\delta \geq 0\), \(\epsilon \geq 0\);
-
(ii)
\(\alpha +\beta >0\) or \(\alpha +\gamma >0\); and
-
(iii)
\(\alpha d(Tx,Ty)^{2}+\beta d(x,Ty)^{2}+\gamma d(Tx,y)^{2}+\delta d(x,y)^{2}+\epsilon d(x,Tx)^{2}\leq 0\), \(\forall x,y\in C\).
The following lemma is a demiclosedness principle for a further generalized hybrid mapping in an Hadamard space.
Lemma 4.2
Let X be an Hadamard space X satisfying the \((\mathbb{S})\) property. Let C be a nonempty subset of X and let \(T:C\rightarrow C\) be a further generalized hybrid mapping. Let \(\{x_{n}\}\) be a bounded sequence in C such that \(\lim_{n\rightarrow \infty }d(x_{n},Tx_{n})=0\) and Δ-\(\lim_{n\rightarrow \infty }x_{n}=z\). Then \(z\in A(T)\).
Proof
Since T is a further generalized hybrid mapping,
for all \(x,y\in C\). Lemma 3.13(i) implies that \(\{d(x_{n},y)\}\) and \(\{d(Tx_{n},y)\}\) are bounded for all \(y\in C\).
If \(\alpha +\beta >0\), then
We apply a Banach limit μ to both sides of this inequality. Thus, we have
Since \(\mu _{n}d(x_{n},Tx_{n})^{2}=0\), we get
for all \(y\in C\). Since \(\alpha +\beta +\gamma +\delta \geq 0\) and \(\alpha +\beta > 0\), we have
If \(\alpha +\gamma >0\), then
We apply a Banach limit μ to both sides of this inequality. Thus, by \(\mu _{n}d(x_{n},Tx_{n})^{2}=0\), we have
It follows from \(\epsilon \geq 0\) that
for all \(y\in C\). Since \(\alpha +\beta +\gamma +\delta \geq 0\) and \(\alpha +\gamma >0\), we have
Therefore,
for all \(y\in C\). Furthermore, Lemma 3.8 and Δ-\(\lim_{n\rightarrow \infty }x_{n}=z\) imply that
This implies that
for all \(y\in X\). Thus, we have
for all \(y\in X\). By (2), we obtain that
By adding \(\mu _{n} (d(x_{n},z)^{2}+d(z,y)^{2}+d(z,Ty)^{2} )\) to both sides of the above inequality, we get
Then we have
This implies by (3) that \(d(z,Ty)\leq d(z,y)\), and hence \(z\in A(T)\). □
In what follows we get a Δ-convergence theorem for a further generalized hybrid mapping in an Hadamard space.
Theorem 4.3
Let X be an Hadamard space satisfying the \((\mathbb{S})\) property and the \((\overline{Q_{4}})\) condition. Let C be a nonempty convex subset of X and \(T:C\rightarrow C\) be a further generalized hybrid mapping with \(A(T)\neq \emptyset \). Let \(\{\alpha _{n}\}\), \(\{\beta _{n}\}\) be sequences of real numbers such that \(0< a\leq \alpha _{n}\), \(\beta _{n} \leq b<1\) for all \(n\in \mathbb{N}\) and for some a, b. Suppose that \(\{x_{n}\}\) is the sequence generated by the S-iteration process: let \(x_{1}=x\in C\) and
Then the sequence \(\{x_{n}\}\) Δ-converges to an element \(v \in A(T)\), where \(v=\lim_{n\rightarrow \infty }P_{A(T)}x_{n}\) and \(P_{A(T)}\) is the metric projection from X onto \(A(T)\).
Proof
Step 1. We will show that \(\lim_{n\rightarrow \infty }d(u,x_{n})\) exists for all \(u\in A(T)\).
Let \(u\in A(T)\). Then, by (4), we have
Also, we get
This shows that the sequence \(\{d(u,x_{n})\}\) is decreasing and bounded below. Therefore, \(\lim_{n\rightarrow \infty }d(u,x_{n})\) exists for any \(u\in A(T)\) and so \(\{x_{n}\}\) must be bounded.
Step 2. We will show that \(\lim_{n\rightarrow \infty }d(x_{n},Tx_{n})= 0\).
Let
By (5), we have
This gives
and so
Thus, we have
Since \(\{d(u,y_{n})\}\) is bounded and \(\lim_{n\rightarrow \infty }d(u,x _{n})\) exists, we obtain that
So we get
By (6), we have
Therefore,
By Lemma 3.2, we obtain
Thus, we have
Using (7) and (8), we can conclude that
Step 3. We will show that the sequence \(\{x_{n}\}\) Δ-converges to an element in \(A(T)\). Indeed, since \(\{x_{n}\}\) is bounded, we can assume that \(A(\{x_{n}\})=\{v\}\) for some \(v\in X\). It is sufficient to show that \(A(\{x_{n_{k}}\})=\{v\}\) for any subsequence \(\{x_{n_{k}}\}\) of \(\{x_{n}\}\). Let \(\{x_{n_{k}}\}\) be a subsequence of \(\{x_{n}\}\) with \(A(\{x_{n_{k}}\})=\{w\}\). Since \(\{x_{n_{k}}\}\) is bounded, there exists a subsequence \(\{x_{n_{j}}\}\) of \(\{x_{n_{k}}\}\) such that \(\{x_{n _{j}}\}\) Δ-converges to z for some \(z\in X\). By (9) and Lemma 4.2, we have \(z\in A(T)\) and hence \(\lim_{n\rightarrow \infty }d(z,x_{n})\) exists. If \(z\neq w\), then it follows from the uniqueness of asymptotic center that
which is a contradiction. Therefore, \(w=z\in A(T)\). Suppose that \(v\neq w\). Then
This leads to a contradiction, and hence \(v=w\in A(T)\). Therefore, \(\{x_{n}\}\) Δ-converges to an element \(v\in A(T)\).
Step 4. We will show that \(v=\lim_{n\rightarrow \infty }P_{A(T)}x_{n}\). We can conclude from Step 1 that \(d(x_{n+1},z)\leq d(x_{n},z)\) for all \(z\in A(T)\) and \(n\in \mathbb{N}\). Furthermore, we obtain from Lemma 3.14 that
for some \(p\in A(T)\). From Step 1, we have that \(\lim_{n\rightarrow \infty }d(p,x_{n})\) exists. Since
for all \(n\in \mathbb{N}\), we get that \(\lim_{n\rightarrow \infty }d(x _{n},P_{A(T)}x_{n})\) exists. By the triangle inequality, we have
Since \(\lim_{n\rightarrow \infty }d(P_{A(T)}x_{n},p)=0\), we have
This implies
Moreover, since \(\{x_{n}\}\) Δ-converges to \(v\in A(T)\), we can apply Lemma 3.8 to conclude that
for all \(z\in X\). This implies
So, by (10), (11) and Lemma 3.12, we have
This implies that \(d(v,p)^{2}\leq 0\), and hence \(v=p\). Therefore, \(\{x_{n}\}\) Δ-converges to v, where \(v= \lim_{n\rightarrow \infty }P_{A(T)}x_{n}\). □
Remark 4.4
Theorem 4.3 extends and improves the results of Kaewkhao et al. [4] from a normally generalized hybrid mapping to a further generalized hybrid mapping. In fact, we present the S-iteration process for solving the attractive point problem of further generalized hybrid mappings in Hadamard spaces.
It is known that a Hilbert space satisfies both the \((\mathbb{S})\) property and the \((\overline{Q_{4}})\) condition. Furthermore, Δ-convergence and weak convergence are the same in a Hilbert space. Thus, we have the following theorem.
Theorem 4.5
Let X be a Hilbert space. Let C be a nonempty convex subset of X and \(T:C\rightarrow C\) be a further generalized hybrid mapping with \(A(T)\neq \emptyset \). Let \(\{\alpha _{n}\}\), \(\{\beta _{n}\}\) be sequences of real numbers such that \(0< a\leq \alpha _{n}\), \(\beta _{n}\leq b<1\) for all \(n\in \mathbb{N}\) and for some a, b. Suppose that \(\{x_{n}\}\) is the sequence generated by the S-iteration process: let \(x_{1}=x\in C\) and
Then the sequence \(\{x_{n}\}\) converges weakly to an element \(v\in A(T)\), where \(v=\lim_{n\rightarrow \infty }P_{A(T)}x_{n}\) and \(P_{A(T)}\) is the metric projection from X onto \(A(T)\).
Moreover, the following example shows that there is an Hadamard space satisfying both the \((\mathbb{S})\) property and the \(( \overline{Q_{4}})\) condition, which is not a Hilbert space.
Example 4.6
([4])
Consider \(\mathcal{H}=\{(x,y)\in \mathbb{R}^{2}: y^{2}-x^{2}=1\text{ and }y>0\}\). Let d be a metric defined by the function \(d:\mathcal{H}\times \mathcal{H}\to \mathbb{R}\) that assigns to each pair of vectors \(u=(u_{1},u_{2})\) and \(v=(v_{1},v_{2})\) the unique nonnegative number \(d(u,v)\geq 0\) such that
It is known that, in general, the metric space \((\mathcal{H},d)\) is an Hadamard space and also a one-dimensional hyperbolic space viewed from a hyperboloid model (for more details, see [7]). Then \((\mathcal{H},d)\) satisfies the \((\mathbb{S})\) property and the \((\overline{Q_{4}})\) condition.
Remark 4.7
Theorem 4.5 extends and improves the results of Takahashi et al. [3] from a normally generalized hybrid mapping to a further generalized hybrid mapping. In fact, we present the S-iteration process for solving the attractive point problem of further generalized hybrid mappings in Hilbert spaces.
5 Numerical example for the main result
In this section, we give a numerical example supporting our main results and compare the convergence of the studied method (4) with the Mann and Ishikawa iterations.
Recall that the Mann iteration [22] is defined by \(u_{1} \in C\) and
where \(\{ {\alpha _{n} } \}\) is a sequence in \((0,1)\). The Ishikawa iteration [23] is defined by \(z_{1}\in C\) and
where \(\{ {\alpha _{n} } \}\) and \(\{ {\beta _{n} } \}\) are sequences in \((0,1)\).
Example 5.1
Let \(X=\mathbb{R}\) be a usual metric space with the metric d, which is also an Hadamard space, and \(C =(-1,1)\). We see that C is a convex subset of X. Define a mapping \(T : C\to C\) by
for all \(x\in C\). It is easy to see that T is a further generalized hybrid mapping with \(\alpha = 2\), \(\beta =\gamma =-1\), \(\delta = \epsilon =0\) and \(A(T)=[1,\infty )\). Let \(\alpha _{n}=\frac{4n}{5n+7}\) and \(\beta _{n}=\frac{n+3}{10n+1}\) for all \(n\in \mathbb{N}\). Let \(\{x_{n}\}\) be a sequence generated by S-iteration (4), \(\{u_{n}\}\) be a sequence generated by Mann iteration (12) and \(\{z_{n}\}\) be a sequence generated by Ishikawa iteration (13). The numerical experiments of all iterations for approximating the attractive point 1, where \(1=\lim_{n\rightarrow \infty }P_{A(T)}x_{n}\), and convergence of \(\{x_{n}\}\), \(\{u_{n}\}\) and \(\{z_{n}\}\) are given in Tables 1 and 2.
From Tables 1 and 2, we see that both \(\{x_{n}\}\), \(\{u_{n}\}\) and \(\{z_{n}\}\) converge to \(1\in A(T)\) and observe that \(|x_{n}-1|\leq |u _{n}-1|\) and \(|x_{n}-1|\leq |z_{n}-1|\), so the sequence \(\{x_{n}\}\) generated by S-iteration converges faster than both \(\{u_{n}\}\) generated by Mann iteration and \(\{z_{n}\}\) generated by Ishikawa iteration.
6 Conclusions
The results presented in this paper modify, extend and improve the corresponding results of Takahashi et al. [3] and Kaewkhao et al. [4], and others. The main aim of this paper is to prove the demiclosed principle for further generalized hybrid mapping and the Δ-convergence of the sequence generated by the S-iteration process for finding attractive points of such mappings in Hadamard spaces satisfying the \((\mathbb{S})\) property and the \((\overline{Q_{4}})\) condition. We also provide a numerical example to illustrate and support our results at the end.
References
Khan, S.H.: Iterative approximation of common attractive points of further generalized hybrid mappings. Fixed Point Theory Appl. 2018, 8 (2018)
Takahashi, W., Takeuchi, Y.: Nonlinear ergodic theorem without convexity for generalized hybrid mappings in a Hilbert space. J. Nonlinear Convex Anal. 12, 399–406 (2011)
Takahashi, W., Wong, N.-C., Yao, J.-C.: Attractive point and weak convergence theorems for new generalized hybrid mappings in Hilbert spaces. J. Nonlinear Convex Anal. 13, 745–757 (2012)
Kaewkhao, A., Inthakon, W., Kunwai, K.: Attractive points and convergence theorems for normally generalized hybrid mappings in CAT(0) spaces. Fixed Point Theory Appl. 2015, 96 (2015)
Khan, S.H.: A Picard–Mann hybrid iterative process. Fixed Point Theory Appl. 2013, 69 (2013)
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)
Bridson, M., Haefliger, A.: Metric Spaces of Non-Positive Curvature. Springer, Berlin (1999)
Dhompongsa, S., Panyanak, B.: On Δ-convergence theorems in CAT(0) spaces. Comput. Math. Appl. 56, 2572–2579 (2008)
Goebel, K., Reich, S.: Uniform Convexity, Hyperbolic Geometry, and Nonexpansive Mappings. Dekker, New York (1984)
Kohlenbach, U.: Some logical metatheorems with applications in functional analysis. Trans. Am. Math. Soc. 357, 89–128 (2015)
Tits, J.: A Theorem of Lie-Kolchin for Trees, Contributions to Algebra: A Collection of Papers Dedicated to Ellis Kolchin. Academic Press, New York (1977)
Kirk, W.A.: Geodesic geometry and fixed point theory. In: Seminar of Mathematical Analysis, Malaga/Seville, 2002/2003. Colecc. Abierta, vol. 64, pp. 195–225. Univ. Sevilla Secr. Publ., Seville (2003)
Reich, S., Salinas, Z.: Weak convergence of infinite products of operators in Hadamard spaces. Rend. Circ. Mat. Palermo 65, 55–71 (2016)
Reich, S., Shafrir, I.: Nonexpansive iterations in hyperbolic spaces. Nonlinear Anal. 15, 537–558 (1990)
Dhompongsa, S., Kirk, W.A., Sims, B.: Fixed points of uniformly Lipschitzian mappings. Nonlinear Anal. 65, 762–772 (2006)
Kirk, W.A., Panyanak, B.: A concept of convergence in geodesic spaces. Nonlinear Anal. 68, 3689–3696 (2008)
Dhompongsa, S., Kirk, W.A., Panyanak, B.: Nonexpansive set-valued mappings in metric and Banach spaces. J. Nonlinear Convex Anal. 8, 35–45 (2007)
Berg, I.D., Nikolaev, I.G.: Quasilinearization and curvature of Alexandrov spaces. Geom. Dedic. 133, 195–218 (2008)
Kakavandi, B.A., Amini, M.: Duality and subdifferential for convex functions on complete CAT(0) metric spaces. Nonlinear Anal. 73, 3450–3455 (2010)
Kakavandi, B.A.: Weak topologies in complete CAT(0) metric spaces. Proc. Am. Math. Soc. 141, 1029–1039 (2013)
Takahashi, W.: Nonlinear Function Analysis. Yokahama Publishers, Yokahama (2000)
Mann, W.R.: Mean value methods in iteration. Proc. Am. Math. Soc. 4, 506–510 (1953)
Ishikawa, S.: Fixed points by a new iteration method. Proc. Am. Math. Soc. 44, 147–150 (1974)
Acknowledgements
The authors appreciate the support of their institutes.
Availability of data and materials
Data sharing not applicable to this article as no data sets were generated or analyzed during the current study.
Funding
The first author was supported by Mahidol University Kanchanaburi Campus, Kanchanaburi, Thailand.
Author information
Authors and Affiliations
Contributions
All authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Abbreviations
Not applicable.
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 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
Cuntavepanit, A., Phuengrattana, W. Iterative approximation of attractive points of further generalized hybrid mappings in Hadamard spaces. Fixed Point Theory Appl 2019, 3 (2019). https://doi.org/10.1186/s13663-019-0653-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-019-0653-8