 Research
 Open access
 Published:
Iterative approximation of common attractive points of further generalized hybrid mappings
Fixed Point Theory and Applications volume 2018, Article number: 8 (2018)
Abstract
Our purpose in this paper is (i) to introduce the concept of further generalized hybrid mappings, (ii) to introduce the concept of common attractive points (CAP), and (iii) to write and use PicardMann iterative process for two mappings. We approximate common attractive points of further generalized hybrid mappings by using iterative process due to Khan (Fixed Point Theory Appl. 2013:69, 2013, https://doi.org/10.1186/16871812201369) generalized to the case of two mappings in Hilbert spaces without closedness assumption. Our results are generalizations and improvements of several results in the literature in different ways.
1 Introduction and preliminaries
Let \(\mathbb{N}\) denote the set of positive integers and \(\mathbb{R}\) the set of real numbers. Let H be a real Hilbert space and C be a nonempty subset of H. Let T be a mapping of C into H. Recall that the set of fixed points of T is denoted and defined by \(F(T)=\{z\in C:Tz=z\}\). Fixed point problems are quite general, which covers many important problems, in particular, variational inequalities, equilibrium problems, and convex optimization problems, for example, see [2–4]. Takahashi and Takeuchi [5] introduced the concept of attractive points in Hilbert spaces. They defined and denoted the set of attractive points as follows:
From this definition, neither an attractive point is a fixed point nor conversely. However, for a relation between the two, see Lemmas 1 and 3. Basically this concept was introduced to get rid of the hypothesis of closedness and convexity as used in a wellcelebrated Baillon’s nonlinear ergodic theorem in Hilbert spaces [6]. They also proved an existence theorem for attractive points without convexity in Hilbert spaces. In these theorems, they used the socalled generalized hybrid mappings (to be defined in the sequel) whose class is larger than the class of nonexpansive mappings used in Baillon’s theorem. Since we are interested in the existence theorem, we state it as follows.
Theorem 1
(Takahashi and Takeuchi [5])
Let H be a Hilbert space and C be a nonempty subset of H. Let \(T:C\rightarrow C\) be a generalized hybrid mapping. Then T has an attractive point if and only if \(\exists z\in C\) such that \(\{T^{n}z:n=0,1,\ldots\}\) is bounded.
Obviously, the hypothesis does not require any closedness or convexity. Takahashi and Takeuchi [5] also gave some properties of the attractive points as follows.
Lemma 1
Let H be a real Hilbert space, and let C be a nonempty closed convex subset of H. Let \(T:C\rightarrow C\) be a mapping. If \(A(T)\neq\varnothing\), then \(F(T)\neq\varnothing\).
Lemma 2
Let H be a real Hilbert space, and let C be a nonempty subset of H. Let \(T:C\rightarrow H\) be a mapping. Then \(A(T)\) is a closed and convex subset of H.
Later, the following was noted by Takahashi et al. [7] for quasinonexpansive mappings.
Lemma 3
Let H be a real Hilbert space, and let C be a nonempty subset of H. Let \(T:C\rightarrow H\) be a quasinonexpansive mapping (that is, \(\Vert Txz \Vert \leq \Vert xz \Vert \), \(z\in F(T)\)). Then \(A(T)\cap C=F(T)\).
Let \(l^{\infty}\) be the Banach space of bounded sequences with supremum norm and \((l^{\infty})^{\ast}\) be its dual space (set of all continuous linear functionals on \(l^{\infty}\)). It is well known that there exists \(\mu\in(l^{\infty})^{\ast}\) (that is, there exists a continuous linear functional on \(l^{\infty}\)) such that \(\Vert \mu \Vert =\mu(1)=1 \) and \(\mu_{n}(x_{n+1})=\mu_{n}(x_{n})\) for each \(x=(x_{1},x_{2},x_{3},\ldots)\in l^{\infty}\). Such μ is called a Banach limit. Sometimes \(\mu_{n}(x_{n})\) is denoted by \(\mu(x)\). It is also known that for a Banach limit \(\mu,\liminf_{n\rightarrow\infty }x_{n}\leq\mu(x)\leq\limsup_{n\rightarrow\infty}x_{n}\) for each \(x=(x_{1},x_{2},x_{3},\ldots)\in l^{\infty}\). As a special case, if \(\lim_{n\rightarrow\infty}x_{n}\) exists and is a, then \(\mu(x)=a\) too. This means the idea of a Banach limit is an extension of the idea of usual limits. It is also a wellknown result that for a bounded sequence \(\{x_{n} \} \) in a Hilbert space H, there exists unique \(u_{0}\in \overline{\operatorname{co}}\{x_{n}:n\in\mathbb{N}\}\) such that \(\mu_{n} \langle x_{n},v \rangle= \langle u_{0},v \rangle\) for all \(v\in H\).
Recall that for every closed convex subset C of a Hilbert space H, there exists a metric projection \(P_{C}:H\rightarrow C\). That is, for each \(x\in H\), there is a unique element \(P_{C}x\in C\) such that \(\Vert xP_{C}x \Vert \leq \Vert xy \Vert \) for all \(y\in C\). We also need the following lemma due to Takahashi and Toyoda [8].
Lemma 4
Let K be a nonempty closed convex subset of a real Hilbert space H. Let \(P_{K}:H\rightarrow K\) be the metric projection. Let \(\{x_{n}\}\) be a sequence in H. If \(\Vert x_{n+1}k \Vert \leq \Vert x_{n}k \Vert \) for any \(k\in K\) and \(n\in\mathbb {N}\), then \(\{P_{K}x_{n}\}\) converges strongly to some \(k_{0}\in K\).
Mathematicians started working on attractive points in various directions after the publication of Theorem 1, see, for example, [7, 9–16], and [17]. Let us start by recalling the definitions and possible comparisons of different types of mappings. In the sequel, we take the mapping \(T:C\rightarrow H\) unless otherwise specified. T is called contractive if there exists a real number α with \(0<\alpha<1\) such that \(\Vert TxTy \Vert \leq\alpha \Vert xy \Vert \) for all \(x,y\in C\). T is said to be nonexpansive if \(\Vert TxTy \Vert \leq \Vert xy \Vert \) for all \(x,y\in C\). T is said to be quasinonexpansive if for \(p\in F(T)\), \(\Vert Txp \Vert \leq \Vert xp \Vert \) for all \(x\in C\). Tis called quasicontractive (due to Berinde [18]) if there exist real numbers α with \(0<\alpha<1\) and \(L\geq0\) such that \(\Vert TxTy \Vert \leq\alpha \Vert xy \Vert +L \Vert xTx \Vert \) for all \(x,y\in C\). Note that the class of quasicontractive mappings already contains contractions, Kannan, Chatterji and Zamfirescu operators (for definitions, see [18]). Takahashi et al. [7] introduced a broader class of nonlinear mappings which contains the class of contractive mappings and the class of generalized hybrid mappings. T is called normally generalized hybrid if there exist \(\alpha,\beta ,\gamma ,\delta\in\mathbb{R}\) such that
for all \(x,y\in C\). A normally generalized hybrid mapping with a fixed point is quasinonexpansive. Moreover, a normally generalized hybrid mapping with \(\alpha=1\), \(\beta=\gamma=0\), \(1<\delta<0\) is a contractive mapping. However, this class does not contain the class of quasicontractive mappings due to Berinde [18]. Finally, we have also found another class of mappings in [11] which was originally introduced by Kawasaki and Takahashi [13] and called “widely more generalized hybrid” in a Hilbert space. T is called “widely more generalized hybrid” if there exist \(\alpha,\beta ,\gamma,\delta,\varepsilon,\varsigma,\eta\in\mathbb{R}\) such that
for all \(x,y\in C\). They noted that the class of widely more generalized hybrid mappings contains the class of normally generalized hybrid mappings but not of quasinonexpansive mappings generally even with having a fixed point.
Our purpose in this paper is (i) to introduce the concept of further generalized hybrid mappings, (ii) to introduce the concept of common attractive points (CAP), and (iii) to write and use PicardMann iterative process for two mappings. We approximate common attractive points of further generalized hybrid mappings by using iterative process due to Khan [1] generalized to the case of two mappings in Hilbert spaces without closedness of C. First we introduce further generalized hybrid mappings as another generalization of normally generalized hybrid mappings. T is called a further generalized mapping if there exist \(\alpha,\beta,\gamma ,\delta,\varepsilon\in\mathbb{R}\) such that
for all \(x,y\in C\). Obviously, this is a generalization of (1.1) when \(\varepsilon=0\). It is noteworthy that it contains the class of quasinonexpansive mappings, quasicontractive mappings due to Berinde [18] and, in turn, contractive mappings, Kannan mappings, Chatterjea mappings, Zamfirescu mappings. For definitions of these mappings, see, for example, [18]. To see that (1.3) actually contains quasicontractive mappings due to Berinde [18], choose \(\alpha=1\), \(\beta=\gamma =0\), \(\delta \in(1,0)\), \(\varepsilon\in(\infty,0]\) and then use \(a^{2}+b^{2}\leq (a+b)^{2}\) for all nonnegative real numbers a, b. Recall that quasicontractive mappings due to Berinde [18] are not contained in (1.1). Apparently, this seems a special case of “widely more generalized hybrid” mappings (1.2) when \(\varsigma=\eta=0\). However, our class not only constitutes a simple generalization of (1.1) but also, as mentioned above, contains the class of quasinonexpansive mappings when it has a fixed point contrary to “widely more generalized hybrid” mappings (1.2). So the results obtained by our new mapping will not only be more general but also simpler.
Now, we introduce the concept of common attractive points for two mappings S and T denoted and defined as follows:
for all \(x\in C\). Obviously, \(z\in \operatorname{CAP}(S,T)\) means that \(z\in A(S)\) as well as \(z\in A(T)\). Note also that \(\operatorname{CAP}(S,T)=A(T)\) when \(S=T\).
Recall that a Mann iterative process is as follows:
Khan [1] introduced a new iterative process called PicardMann hybrid iterative process:
where \(\{\alpha_{n}\}\) is in \((0,1)\). It was proved to be independent but faster than all Picard, Mann, and Ishikawa processes. Finally, we generalize it to the case of two mappings S and T as follows:
where \(\{\alpha_{n}\}\) is in \((0,1)\). This process reduces to Mann if \(S=I\), the identity mapping and at the same time deals with common attractive points.
In short, we approximate common attractive points of (1.3) through (1.6) in Hilbert spaces without closedness of C. Our results are generalizations and improvements of several results in the literature as mentioned later in this paper.
2 Main results
Let us first give some useful properties of \(\operatorname{CAP}(S,T)\) on the lines similar to Lemmas 1, 2, and 3. For the sake of simplicity, we take the same parameters \(\alpha,\beta,\gamma,\delta ,\varepsilon\in\mathbb{R}\) for the two further generalized hybrid mappings S, T as defined in (1.3).
Lemma 5
Let H be a real Hilbert space, and let C be a nonempty closed convex subset of H. Let \(S,T:C\rightarrow C\) be two mappings. If \(\operatorname{CAP}(S,T)\neq\varnothing\), then \(F(S)\cap F(T)\neq\varnothing\). In particular, if \(z\in \operatorname{CAP}(S,T)\), then \(P_{C}z\in F(S)\cap F(T)\).
Proof
Let \(z\in \operatorname{CAP}(S,T)\). Then \(z\in A(S)\) and \(z\in A(T)\) (and of course \(z\in H\)). Thus there is a unique element \(u=P_{C}z\in C\) such that \(\Vert uz \Vert \leq \Vert yz \Vert \) for all \(y\in C\). Now \(Tu\in C\) implies \(\Vert uz \Vert \leq \Vert Tuz \Vert \). On the other hand, \(z\in A(T)\), therefore \(\Vert Tyz \Vert \leq \Vert yz \Vert \) for all \(y\in C\) and, in particular, \(\Vert Tuz \Vert \leq \Vert uz \Vert \). Thus \(\Vert Tuz \Vert \leq \Vert uz \Vert \leq \Vert Tuz \Vert \) and hence \(u\in F(T)\). Similarly, \(u\in F(S)\) and so \(F(S)\cap F(T)\neq\varnothing\) and \(u=P_{C}z\in F(S)\cap F(T)\). □
Lemma 6
Let H be a real Hilbert space, and let C be a nonempty subset of H. Let \(S,T:C\rightarrow C\) be two mappings. Then \(\operatorname{CAP}(S,T)\) is a closed and convex subset of H.
Proof
Since the intersection of two closed sets is closed and that of two convex sets is convex, the proof follows on the lines similar to Lemma 2.3 of [5]. □
Lemma 7
Let H be a real Hilbert space, and let C be a nonempty subset of H. Let \(S,T:C\rightarrow H\) be two quasinonexpansive mappings. Then \(\operatorname{CAP}(S,T)\cap C=F(S)\cap F(T)\).
Proof
Let \(z\in \operatorname{CAP}(S,T)\cap C\). Then, by definition, \(\max( \Vert Sxz \Vert , \Vert Txz \Vert \leq \Vert xz \Vert )\) for all \(x\in C\). In particular, choosing \(x=z\in C\), we obtain \(\max( \Vert Szz \Vert , \Vert Tzz \Vert )\leq0\). That is, \(z\in F(S)\cap F(T)\). Conversely, since \(z\in F(S)\cap F(T)\) and \(S,T:C\rightarrow H\) are quasinonexpansive mappings, we have \(\Vert Sxz \Vert \leq \Vert xz \Vert , \Vert Txz \Vert \leq \Vert xz \Vert \) for all \(x\in C\). This implies that \(\max( \Vert Sxz \Vert , \Vert Txz \Vert )\leq \Vert xz \Vert \) for all \(x\in C\). Clearly, \(z\in C\). Hence \(z\in \operatorname{CAP}(S,T)\cap C\). This completes the proof. □
Our next result is an existence theorem on common attractive points of two further generalized hybrid mappings (1.3) without any use of closedness and convexity. This result is followed by some important remarks on comparing it with some results in the current literature.
Theorem 2
Let H be a real Hilbert space, and let C be a nonempty subset of H. Let \(S,T:C\rightarrow C\) be two further generalized hybrid mappings as defined in (1.3) which satisfy \(\alpha+\beta +\gamma +\delta\geq0\), \(\varepsilon\geq0\) and either \(\alpha+\beta>0\) or \(\alpha +\gamma>0\). Then \(\operatorname{CAP}(S,T)\neq\varnothing\) if and only if there exists \(z\in C\) such that both \(\{S^{n}z,n=0,1,2,\ldots\}\) and \(\{ T^{n}z,n=0,1,2,\ldots\}\) are bounded.
Proof
Suppose that \(\operatorname{CAP}(S,T)\neq\varnothing\) and \(z\in \operatorname{CAP}(S,T)\). Then, by definition, \(\max( \Vert Sxz \Vert , \Vert Txz \Vert )\leq \Vert xz \Vert \) for all \(x\in C\). This means that \(\Vert S^{n+1}xz \Vert \leq \Vert S^{n}xz \Vert \) and \(\Vert T^{n+1}xz \Vert \leq \Vert T^{n}xz \Vert \) for all \(x\in C\) and \(n\in\mathbb{N}\). That is, both \(\{ S^{n}z,n=0,1,2,\ldots\}\) and \(\{T^{n}z,n=0,1,2,\ldots\}\) are bounded.
Conversely, suppose that there exists \(z\in C\) such that \(\{S^{n}z,n=0,1,2,\ldots\}\) as well as \(\{T^{n}z,n=0,1,2,\ldots\}\) is bounded. Suppose that \(\max( \Vert Sxz \Vert , \Vert Txz \Vert )= \Vert Txz \Vert \). After doing long calculations on the lines similar to Theorem 8 of [11], we find that there exists \(p\in H\) such that \(\Vert Txp \Vert ^{2}\leq \Vert xp \Vert ^{2}\). This means that \(p\in A(T)\). However, by our supposition on maximum, we get \(\Vert Sxp \Vert ^{2}\leq \Vert xp \Vert ^{2}\). Thus \(\operatorname{CAP}(S,T)\neq\varnothing\). In case, \(\max( \Vert Sxz \Vert , \Vert Txz \Vert )= \Vert Sxz \Vert \), we can get the result by interchanging the roles of S and T. □
This theorem constitutes a generalization of Theorem 3.1 of [7] and the results generalized therein when \(S=T\) and \(\varepsilon=0\). Clearly this theorem handles existence of common attractive points, so it is independent of Theorem 8 of [11]. But a special case of our result when \(S=T\) can be obtained from Theorem 8 of [11] by choosing \(\varsigma=\eta=0\). However, even in this special case, it is more general in the sense that our class of mappings is simpler and always covers the class of quasinonexpansive mappings as opposed to Theorem 8 of [11]. The same holds for all the results of [11].
Let us now come to one of our main targets of proving a weak convergence theorem in Hilbert spaces without needing closedness of C.
Theorem 3
Let H be a real Hilbert space, and let C be a nonempty convex subset of H. Let \(S,T:C\rightarrow C\) be two further generalized hybrid mappings as defined in (1.3) which satisfy \(\alpha+\beta +\gamma +\delta\geq0\), \(\varepsilon\geq0\) and either \(\alpha+\beta>0\) or \(\alpha +\gamma>0\). Let \(\operatorname{CAP}(S,T)\neq\varnothing\). If \(\{x_{n}\}\) is defined by (1.6), where \(\{\alpha_{n}\}\) is a sequence in \((0,1)\) with \(\liminf \alpha_{n}(1\alpha_{n})>0\), then \(\{x_{n}\}\) converges weakly to a point \(q\in \operatorname{CAP}(S,T)\). Moreover, \(q=\lim_{n\rightarrow\infty}Px_{n}\), where P is a projection of H onto \(\operatorname{CAP}(S,T)\).
Proof
Let \(z\in \operatorname{CAP}(S,T)\). Then, by (1.6),
and so
Thus
for all \(n\in\mathbb{N}\). Thus \(\lim_{n\rightarrow\infty} \Vert x_{n}z \Vert ^{2}\) exists and so \(\{x_{n}\}\) must be bounded.
Since H is a Hilbert space, so
This implies that
Now, using the condition \(\liminf\alpha_{n}(1\alpha_{n})>0\) and the above proved fact that \(\lim_{n\rightarrow\infty} \Vert x_{n}z \Vert ^{2}\) exists, we have
We have also proved in the above lines that \(\{x_{n}\}\) is a bounded sequence, therefore we have its subsequence \(\{x_{n_{j}}\}\) such that \(x_{n_{j}}\rightharpoonup q\in C\). Since \(T:C\rightarrow C\) is a further generalized mapping, therefore for any \(y\in C\), we get
and so
Making use of Banach limit μ, we get
This yields that
Thus
But \(\alpha+\beta+\gamma+\delta\geq0\), therefore
Since \(x_{n_{j}}\rightharpoonup q\), therefore
Since H is a Hilbert space, so using
in the above inequality, we have
This implies that \((\alpha+\beta)[ \Vert qTy \Vert ^{2} \Vert qy \Vert ^{2}]\leq0\). Since \((\alpha+\beta )>0, \Vert qTy \Vert ^{2} \Vert q y \Vert ^{2}\leq0\). Similarly, we get \(\Vert qSy \Vert ^{2} \Vert qy \Vert ^{2}\leq0\) and hence \(q\in \operatorname{CAP}(S,T)\). Next we prove that \(x_{n}\rightharpoonup q\) by proving that any two subsequences of \(\{ x_{n}\}\) converge weakly to the same limit q. Let \(x_{n_{j}}\rightharpoonup q_{1}\) and \(x_{n_{k}}\rightharpoonup q_{2}\). By what we have just proved, \(q_{1}\) and \(q_{2}\) belong to \(\operatorname{CAP}(S,T)\), and from the initial steps of this proof we conclude that \(\lim_{n\rightarrow\infty}( \Vert x_{n}q_{1} \Vert ^{2} \Vert x_{n}q_{2} \Vert ^{2})\) exists, call it ℓ. Now, using (2.2) again, \(2 \langle x_{n},q_{2}q_{1} \rangle= \Vert x_{n}q_{1} \Vert ^{2}+ \Vert q_{2} \Vert ^{2} \Vert x_{n}q_{2} \Vert ^{2} \Vert q_{1} \Vert ^{2}\). This yields \(\Vert x_{n}q_{1} \Vert ^{2} \Vert x_{n}q_{2} \Vert ^{2}=2 \langle x_{n},q_{2}q_{1} \rangle \Vert q_{2} \Vert ^{2}+ \Vert q_{1} \Vert ^{2}\). Thus
Now, taking weak limit on the above two equations and making use of \(x_{n_{j}}\rightharpoonup q_{1}\) and \(x_{n_{k}}\rightharpoonup q\), we get
Subtracting we get \(2 \langle q_{1}q_{2},q_{2}q_{1} \rangle=0\) and hence \(q_{1}=q_{2}\). In turn, \(x_{n}\rightharpoonup q\in \operatorname{CAP}(S,T)\).
Finally, we show that \(q=\lim_{n\rightarrow\infty}Px_{n}\), where P is the projection of H onto \(\operatorname{CAP}(S,T)\). Now from (2.1) it follows that \(\Vert x_{n+1}z \Vert \leq \Vert x_{n}z \Vert \) for all \(z\in \operatorname{CAP}(S,T)\) and \(n\in\mathbb{N}\). Since \(\operatorname{CAP}(S,T)\) is closed and convex by Lemma 6, applying Lemma 4, \(\lim_{n\rightarrow\infty}Px_{n}=p\) for some \(p\in \operatorname{CAP}(S,T)\). It is well known for projections that \(\langle x_{n}Px_{n},Px_{n}z \rangle \geq0\) for all \(z\in \operatorname{CAP}(S,T)\) and \(n\in\mathbb{N}\). Therefore, \(\langle qp,pz \rangle\geq0\) for all \(z\in \operatorname{CAP}(S,T)\) and, in particular, \(\langle qp,pq \rangle\geq0\). Hence, \(q=p=\lim_{n\rightarrow\infty}Px_{n}\). □
Although the following is a corollary to the above theorem, it is a new result in itself. As already mentioned, the iterative process (1.5) is independent but faster than several iterative processes, therefore this corollary has its own standing.
Corollary 1
Let H, C, T and α, β, γ, δ, ε be as in Theorem 3. Let \(A(T)\neq\varnothing\). If \(\{ x_{n}\}\) is defined by the iterative process (1.5), where \(\{\alpha _{n}\}\) is a sequence in \((0,1)\) with \(\liminf\alpha_{n}(1\alpha_{n})>0\), then \(\{x_{n}\}\) converges weakly to a point \(q\in A(T)\). Moreover, \(q=\lim_{n\rightarrow\infty}Px_{n}\), where P is the projection of H onto \(A(T)\).
Proof
Choose \(S=T\) in the above theorem. □
Corollary 2
Let H, C, T and α, β, γ, δ, ε be as in Theorem 3. Let \(A(T)\neq\varnothing\). If \(\{ x_{n}\}\) is defined by Mann iterative process (1.4), where \(\{\alpha _{n}\}\) is a sequence in \((0,1)\) with \(\liminf\alpha_{n}(1\alpha_{n})>0\), then \(\{x_{n}\}\) converges weakly to a point \(q\in A(T)\). Moreover, \(q=\lim_{n\rightarrow\infty}Px_{n}\), where P is the projection of H onto \(A(T)\).
Proof
Choose \(S=I\) in the above theorem. □
Remarks
In view of Lemma 2, in Theorem 3, instead of assuming \(\operatorname{CAP}(S,T)\neq\varnothing\), we could have assumed that there exists \(z\in C\) such that both \(\{S^{n}z,n=0,1,2,\ldots\}\) and \(\{T^{n}z,n=0,1,2,\ldots\}\) are bounded. Similar remark applies to Corollaries 1 and 2.
Now we give some remarks on how our above results are generalizations and improvements of the results in the existing literature.
Remarks

(1)
Theorem 5.1 of [7] can now be obtained by choosing either \(S=I\), \(\varepsilon=0\) in Theorem 3 or \(\varepsilon=0\) in Corollary 2.

(2)
Corollary 2 can be viewed as an improvement and extension of Theorem 8 of [11] in the sense that (i) our class of mappings is simpler and (ii) it contains the class of quasi nonexpansive mappings as opposed to [11]. Corollary 1 not only keeps this sense but also gives faster convergence (see [1]).

(3)
Corollary 1 (leave alone our Theorem 3) generalizes Corollary 4.3 of Zheng [17] in two ways: we do not need closedness of C and the class of our mappings is much more general than that of [17].

(4)
Of course, all corresponding results generalized in [7] and [11] are part and parcel of the above remarks.
If, in addition, we use the closedness of C in Theorem 3, then we have the following:
Theorem 4
Let H be a real Hilbert space, and let C be a nonempty closed convex subset of H. Let \(S,T:C\rightarrow C\) be two further generalized hybrid mappings, as defined in (1.3), which satisfy \(\alpha+\beta +\gamma +\delta\geq0\), \(\varepsilon\geq0\) and either \(\alpha+\beta>0\) or \(\alpha +\gamma>0\). Let \(\operatorname{CAP}(S,T)\neq\varnothing\). If \(\{x_{n}\}\) is defined by (1.6), where \(\{\alpha_{n}\}\) is a sequence in \((0,1)\) with \(\liminf \alpha_{n}(1\alpha_{n})>0\), then \(\{x_{n}\}\) converges weakly to a point \(P_{C}q\in F(S)\cap F(T)\), where \(q\in H\) and \(P_{C}:H\rightarrow C\) is the metric projection.
Proof
By Theorem 3, \(q\in \operatorname{CAP}(S,T)\). Now, using Lemma 5, \(P_{C}q\in F(S)\cap F(T)\) as desired. □
3 Conclusions
In this paper, we have introduced the concepts of further generalized hybrid mappings and common attractive points (CAP). We have given some basic properties of common attractive points and have compared them with common fixed points. Further, we have shown that our newly introduced class of mappings contains many important classes and is better than some apparently looking more general mappings in the literature. We have given an existence theorem on common attractive points. Then, using a twomapping variant of PicardMann iterative process, we have approximated the common attractive points of further generalized hybrid mappings in Hilbert spaces without closedness on its subsets. Our results also show a contrast of common attractive points with common fixed points. Our results can open the door for further research activity in the field for other mappings, other iterative processes, or other ambient spaces.
References
Khan, S.H.: A Picard–Mann hybrid iterative process. Fixed Point Theory Appl. 2013, 69 (2013). https://doi.org/10.1186/16871812201369
Qin, X., Yao, J.C.: Projection splitting algorithms for nonself operators. J. Nonlinear Convex Anal. 18, 925–935 (2017)
Yildirim, I.: Approximating fixed points of two finite families of Iasymptotically quasinonexpansive mappings. J. Nonlinear Funct. Anal. 2016, Article ID 42 (2016)
Takahashi, W.: Weak and strong convergence theorems for families of nonlinear and nonself mappings in Hilbert spaces. J. Nonlinear Var. Anal. 1, 1–23 (2017)
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)
Baillon, J.B.: Un theoreme de type ergodique pour les contractions nonlinears dans un espaces de Hilbert. C. R. Acad. Sci. Paris, Ser. A–B 280, 1511–1541 (1975)
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(4), 745–757 (2012)
Takahashi, W., Toyoda, M.: Weak convergence theorems for nonexpansive mappings and monotone mappings. J. Optim. Theory Appl. 118(2), 417–428 (2003)
Atsushiba, S., Takahashi, W.: Nonlinear ergodic theorems without convexity for nonexpansive semigroups in Hilbert spaces. J. Nonlinear Convex Anal. 14(2), 209–219 (2013)
Chen, L., Gao, L., Zhao, Y.: A new iterative scheme for finding attractive points of \((\alpha,\beta)\)generalized hybrid setvalued mappings. J. Nonlinear Sci. Appl. 10, 1228–1237 (2017)
Guu, S., Takahashi, W.: Existence and approximation of attractive points of the widely more generalized hybrid mappings in Hilbert spaces. Abstr. Appl. Anal. 2013, Article ID 904164 (2013). https://doi.org/10.1155/2013/904164
Kaewkhao, A., Inthakon, W., Kunwai, K.: Attractive points and convergence theorems for normally generalized hybrid mappings in \(\operatorname{CAT}(0)\) spaces. Fixed Point Theory Appl. 2015, 96 (2015). https://doi.org/10.1186/s136630150336z
Kawasaki, T., Takahashi, W.: Existence and mean approximation of fixed points of generalized hybrid mappings in Hilbert spaces. J. Nonlinear Convex Anal. 14, 71–87 (2013)
Kocourek, P., Takahashi, W., Yao, J.C.: Fixed point theorems and weak convergence theorems for generalized hybrid mappings in Hilbert spaces. Taiwan. J. Math. 14, 2497–2511 (2010)
Kohsaka, F., Takahashi, W.: Fixed point theorems for a class of nonlinear mappings related to maximal monotone operators in Banach spaces. Arch. Math. (Basel) 91, 166–177 (2008)
Takahashi, W., Yao, J.C.: Fixed point theorems and ergodic theorems for nonlinear mappings in Hilbert spaces. Taiwan. J. Math. 15, 457–472 (2011)
Zheng, Y.: Attractive points and convergence theorems of generalized hybrid mapping. J. Nonlinear Sci. Appl. 8, 354–362 (2015)
Berinde, V.: A convergence theorem for some mean value fixed point iterations procedures. Demonstr. Math. 38(1), 177–184 (2005)
Acknowledgements
(1) The author remains grateful to his Ph.D. advisor Professor Wataru Takahashi for what he has learnt from him throughout his career. (2) The author thanks anonymous referees for their careful reading and suggestions.
Availability of data and materials
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
The sole author contributed 100% to the article. The author read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that he has no competing interests.
Additional information
Dedicated to Professor H.K. Xu for his contributions towards Fixed Point Theory.
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
Khan, S.H. Iterative approximation of common attractive points of further generalized hybrid mappings. Fixed Point Theory Appl 2018, 8 (2018). https://doi.org/10.1186/s1366301806334
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366301806334