Iterative approximation of common attractive points of further generalized hybrid mappings

Safeer Hussain Khan

doi:10.1186/s13663-018-0633-4

Research

Open Access

Iterative approximation of common attractive points of further generalized hybrid mappings

Safeer Hussain Khan¹Email author

Fixed Point Theory and Applications20182018:8

https://doi.org/10.1186/s13663-018-0633-4

Received: 12 October 2017

Accepted: 5 February 2018

Published: 5 March 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 Picard-Mann 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/1687-1812-2013-69) 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.

Keywords

Common attractive pointsFurther generalized hybrid mappingsWeak convergence

MSC

47H0947H1047H99

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:

$$ A(T)=\bigl\{ z\in H: \Vert Tx-z \Vert \leq \Vert x-z \Vert \bigr\} \quad \text{for all }x\in C. $$

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 well-celebrated 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 so-called 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 quasi-non-expansive 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 quasi-nonexpansive mapping (that is, $\Vert Tx-z \Vert \leq \Vert x-z \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 well-known 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 x-P_{C}x \Vert \leq \Vert x-y \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 Tx-Ty \Vert \leq\alpha \Vert x-y \Vert $ for all $x,y\in C$. T is said to be nonexpansive if $\Vert Tx-Ty \Vert \leq \Vert x-y \Vert $ for all $x,y\in C$. T is said to be quasi-nonexpansive if for $p\in F(T)$, $\Vert Tx-p \Vert \leq \Vert x-p \Vert $ for all $x\in C$. Tis called quasi-contractive (due to Berinde [18]) if there exist real numbers α with $0<\alpha<1$ and $L\geq0$ such that $\Vert Tx-Ty \Vert \leq\alpha \Vert x-y \Vert +L \Vert x-Tx \Vert $ for all $x,y\in C$. Note that the class of quasi-contractive 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

$$ \alpha \Vert Tx-Ty \Vert ^{2}+\beta \Vert x-Ty \Vert ^{2}+\gamma \Vert Tx-y \Vert ^{2}+\delta \Vert x-y \Vert ^{2}\leq0 $$

(1.1)

for all $x,y\in C$. A normally generalized hybrid mapping with a fixed point is quasi-nonexpansive. 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 quasi-contractive 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

$$\begin{aligned}& \alpha \Vert Tx-Ty \Vert ^{2}+\beta \Vert x-Ty \Vert ^{2}+\gamma \Vert Tx-y \Vert ^{2}+\delta \Vert x-y \Vert ^{2} \\& \quad {}+\varepsilon \Vert x-Tx \Vert ^{2}+\varsigma \Vert y-Ty \Vert ^{2}+\eta \bigl\Vert (x-Tx)-(y-Ty) \bigr\Vert ^{2} \leq0 \end{aligned}$$

(1.2)

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 quasi-nonexpansive 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 Picard-Mann 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

$$\begin{aligned}& \alpha \Vert Tx-Ty \Vert ^{2}+\beta \Vert x-Ty \Vert ^{2}+\gamma \Vert Tx-y \Vert ^{2} \\& \quad{} +\delta \Vert x-y \Vert ^{2}+\varepsilon \Vert x-Tx \Vert ^{2}\leq0 \end{aligned}$$

(1.3)

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 quasi-nonexpansive mappings, quasi-contractive 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 quasi-contractive 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 quasi-contractive 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 quasi-nonexpansive 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:

$$ \operatorname{CAP}(S,T)=\bigl\{ z\in H:\max\bigl( \Vert Sx-z \Vert , \Vert Tx-z \Vert \bigr)\leq \Vert x-z \Vert \bigr\} $$

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:

$$ \textstyle\begin{cases} x_{1}=x\in C, \\ x_{n+1}= ( 1-\alpha_{n} ) x_{n}+\alpha_{n}Tx_{n},\quad n\in \mathbb{N}. \end{cases} $$

(1.4)

Khan [1] introduced a new iterative process called Picard-Mann hybrid iterative process:

$$ \textstyle\begin{cases} x_{1}=x\in C, \\ x_{n+1}=Ty_{n}, \\ y_{n}= ( 1-\alpha_{n} ) x_{n}+\alpha_{n}Tx_{n}, \quad n\in \mathbb{N}, \end{cases} $$

(1.5)

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:

$$ \textstyle\begin{cases} x_{1}=x\in C, \\ x_{n+1}=Sy_{n}, \\ y_{n}= ( 1-\alpha_{n} ) x_{n}+\alpha_{n}Tx_{n},\quad n\in \mathbb{N}, \end{cases} $$

(1.6)

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 u-z \Vert \leq \Vert y-z \Vert $ for all $y\in C$. Now $Tu\in C$ implies $\Vert u-z \Vert \leq \Vert Tu-z \Vert $. On the other hand, $z\in A(T)$, therefore $\Vert Ty-z \Vert \leq \Vert y-z \Vert $ for all $y\in C$ and, in particular, $\Vert Tu-z \Vert \leq \Vert u-z \Vert $. Thus $\Vert Tu-z \Vert \leq \Vert u-z \Vert \leq \Vert Tu-z \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 quasi-nonexpansive 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 Sx-z \Vert , \Vert Tx-z \Vert \leq \Vert x-z \Vert )$ for all $x\in C$. In particular, choosing $x=z\in C$, we obtain $\max( \Vert Sz-z \Vert , \Vert Tz-z \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 quasi-nonexpansive mappings, we have $\Vert Sx-z \Vert \leq \Vert x-z \Vert , \Vert Tx-z \Vert \leq \Vert x-z \Vert $ for all $x\in C$. This implies that $\max( \Vert Sx-z \Vert , \Vert Tx-z \Vert )\leq \Vert x-z \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 Sx-z \Vert , \Vert Tx-z \Vert )\leq \Vert x-z \Vert $ for all $x\in C$. This means that $\Vert S^{n+1}x-z \Vert \leq \Vert S^{n}x-z \Vert $ and $\Vert T^{n+1}x-z \Vert \leq \Vert T^{n}x-z \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 Sx-z \Vert , \Vert Tx-z \Vert )= \Vert Tx-z \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 Tx-p \Vert ^{2}\leq \Vert x-p \Vert ^{2}$. This means that $p\in A(T)$. However, by our supposition on maximum, we get $\Vert Sx-p \Vert ^{2}\leq \Vert x-p \Vert ^{2}$. Thus $\operatorname{CAP}(S,T)\neq\varnothing$. In case, $\max( \Vert Sx-z \Vert , \Vert Tx-z \Vert )= \Vert Sx-z \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 quasi-nonexpansive 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),

$$\begin{aligned} \Vert y_{n}-z \Vert ^{2} =& \bigl\Vert ( 1-\alpha _{n} ) x_{n}+\alpha_{n}Tx_{n}-z \bigr\Vert ^{2} \\ \leq& ( 1-\alpha_{n} ) \Vert x_{n}-z \Vert ^{2}+\alpha _{n} \Vert Tx_{n}-z \Vert ^{2} \\ \leq& ( 1-\alpha_{n} ) \Vert x_{n}-z \Vert ^{2}+\alpha _{n} \Vert x_{n}-z \Vert ^{2} \\ =& \Vert x_{n}-z \Vert ^{2}, \end{aligned}$$

and so

$$\begin{aligned} \Vert x_{n+1}-z \Vert ^{2} =& \Vert Sy_{n}-z \Vert ^{2} \\ \leq& \Vert y_{n}-z \Vert ^{2} \\ \leq& \Vert x_{n}-z \Vert ^{2}. \end{aligned}$$

Thus

$$ \Vert x_{n+1}-z \Vert ^{2}\leq \Vert x_{n}-z \Vert ^{2} $$

(2.1)

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

$$\begin{aligned} \Vert x_{n+1}-z \Vert ^{2} =& \Vert Sy_{n}-z \Vert ^{2} \\ \leq& \Vert y_{n}-z \Vert ^{2} \\ =& \bigl\Vert ( 1-\alpha_{n} ) x_{n}+\alpha _{n}Tx_{n}-z \bigr\Vert ^{2} \\ =& ( 1-\alpha_{n} ) \Vert x_{n}-z \Vert ^{2}+ \alpha _{n} \Vert Tx_{n}-z \Vert ^{2} \\ &{}-\alpha_{n} ( 1-\alpha_{n} ) \Vert Tx_{n}-x_{n} \Vert ^{2} \\ \leq& ( 1-\alpha_{n} ) \Vert x_{n}-z \Vert ^{2}+\alpha _{n} \Vert x_{n}-z \Vert ^{2} \\ &{}-\alpha_{n} ( 1-\alpha_{n} ) \Vert Tx_{n}-x_{n} \Vert ^{2} \\ =& \Vert x_{n}-z \Vert ^{2}-\alpha_{n} ( 1- \alpha _{n} ) \Vert Tx_{n}-x_{n} \Vert ^{2}. \end{aligned}$$

This implies that

$$ \alpha_{n} ( 1-\alpha_{n} ) \Vert Tx_{n}-x_{n} \Vert ^{2}\leq \Vert x_{n}-z \Vert ^{2}- \Vert x_{n+1}-z \Vert ^{2}. $$

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

$$ \lim_{n\rightarrow\infty} \Vert Tx_{n}-x_{n} \Vert =0. $$

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

$$\begin{aligned}& \alpha \Vert Tx_{n_{j}}-Ty \Vert ^{2}+\beta \Vert x_{n_{j}}-Ty \Vert ^{2}+\gamma \Vert Tx_{n_{j}}-y \Vert ^{2} \\& \quad {}+\delta \Vert x_{n_{j}}-y \Vert ^{2}+\varepsilon \Vert x_{n_{j}}-Tx_{n_{j}} \Vert ^{2}\leq0, \end{aligned}$$

and so

$$\begin{aligned}& \alpha\bigl( \Vert Tx_{n_{j}}-x_{n_{j}} \Vert ^{2}+ \Vert x_{n_{j}}-Ty \Vert ^{2}+2 \langle Tx_{n_{j}}-x_{n_{j}},x_{n_{j}}-Ty \rangle\bigr) \\& \quad {}+\beta \Vert x_{n_{j}}-Ty \Vert ^{2}+\gamma \Vert Tx_{n_{j}}-y \Vert ^{2} \\& \quad {}+\delta \Vert x_{n_{j}}-y \Vert ^{2}+\varepsilon \Vert x_{n_{j}}-Tx_{n_{j}} \Vert ^{2}\leq0. \end{aligned}$$

Making use of Banach limit μ, we get

$$ (\alpha+\beta)\mu_{n} \Vert x_{n_{j}}-Ty \Vert ^{2}+(\gamma +\delta)\mu_{n} \Vert x_{n_{j}}-y \Vert ^{2}\leq0. $$

This yields that

$$\begin{aligned}& (\alpha+\beta)\mu_{n}\bigl[ \Vert x_{n_{j}}-y \Vert ^{2}+ \Vert y-Ty \Vert ^{2}+2 \langle x_{n_{j}}-y,y-Ty \rangle\bigr] \\& \quad {}+(\gamma+\delta)\mu_{n} \Vert x_{n_{j}}-y \Vert ^{2}\leq 0. \end{aligned}$$

Thus

$$\begin{aligned}& (\alpha+\beta+\gamma+\delta)\mu_{n} \Vert x_{n_{j}}-y \Vert ^{2} \\& \quad {}+(\alpha+\beta) \Vert y-Ty \Vert ^{2}+2(\alpha+\beta)\mu _{n} \langle x_{n_{j}}-y,y-Ty \rangle\leq0. \end{aligned}$$

But $\alpha+\beta+\gamma+\delta\geq0$, therefore

$$ (\alpha+\beta) \Vert y-Ty \Vert ^{2}+2(\alpha+\beta)\mu _{n} \langle x_{n_{j}}-y,y-Ty \rangle\leq0. $$

Since $x_{n_{j}}\rightharpoonup q$, therefore

$$ (\alpha+\beta) \Vert y-Ty \Vert ^{2}+2(\alpha+\beta ) \langle q-y,y-Ty \rangle\leq0. $$

Since H is a Hilbert space, so using

$$ 2 \langle u-v,p-w \rangle= \Vert u-w \Vert ^{2}+ \Vert v-p \Vert ^{2}- \Vert u-p \Vert ^{2}- \Vert v-w \Vert ^{2} $$

(2.2)

in the above inequality, we have

$$\begin{aligned}& (\alpha+\beta) \Vert y-Ty \Vert ^{2} \\& \quad {}+(\alpha+\beta)\bigl[ \Vert q-Ty \Vert ^{2}+ \Vert y-y \Vert ^{2}- \Vert q-y \Vert ^{2}- \Vert y-Ty \Vert ^{2}\bigr]\leq0. \end{aligned}$$

This implies that $(\alpha+\beta)[ \Vert q-Ty \Vert ^{2}- \Vert q-y \Vert ^{2}]\leq0$. Since $(\alpha+\beta )>0, \Vert q-Ty \Vert ^{2}- \Vert q- y \Vert ^{2}\leq0$. Similarly, we get $\Vert q-Sy \Vert ^{2}- \Vert q-y \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

$$\begin{aligned}& \Vert x_{nj}-q_{1} \Vert ^{2}- \Vert x_{n_{j}}-q_{2} \Vert ^{2}=2 \langle x_{n_{j}},q_{2}-q_{1} \rangle- \Vert q_{2} \Vert ^{2}+ \Vert q_{1} \Vert ^{2} \quad \mbox{and} \\& \Vert x_{n_{k}}-q_{1} \Vert ^{2}- \Vert x_{n_{k}}-q_{2} \Vert ^{2}=2 \langle x_{n_{k}},q_{2}-q_{1} \rangle- \Vert q_{2} \Vert ^{2}+ \Vert q_{1} \Vert ^{2}. \end{aligned}$$

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

$$\begin{aligned}& \ell=2 \langle q_{1},q_{2}-q_{1} \rangle- \Vert q_{2} \Vert ^{2}+ \Vert q_{1} \Vert ^{2}, \\& \ell=2 \langle q_{2},q_{2}-q_{1} \rangle- \Vert q_{2} \Vert ^{2}+ \Vert q_{1} \Vert ^{2}. \end{aligned}$$

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 q-p,p-z \rangle\geq0$ for all $z\in \operatorname{CAP}(S,T)$ and, in particular, $\langle q-p,p-q \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 two-mapping variant of Picard-Mann 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.

Notes

Declarations

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.

Authors’ contributions

The sole author contributed 100% to the article. The author read and approved the final manuscript.

Competing interests

The author declares that he has no competing interests.

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.

Authors’ Affiliations

(1)

Department of Mathematics, Statistics and Physics, Qatar University, Doha, State of Qatar

References

Khan, S.H.: A Picard–Mann hybrid iterative process. Fixed Point Theory Appl. 2013, 69 (2013). https://doi.org/10.1186/1687-1812-2013-69 MathSciNetView ArticleMATHGoogle Scholar
Qin, X., Yao, J.C.: Projection splitting algorithms for nonself operators. J. Nonlinear Convex Anal. 18, 925–935 (2017) MathSciNetGoogle Scholar
Yildirim, I.: Approximating fixed points of two finite families of I-asymptotically quasi-nonexpansive mappings. J. Nonlinear Funct. Anal. 2016, Article ID 42 (2016) Google Scholar
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) Google Scholar
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) MathSciNetMATHGoogle Scholar
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) MathSciNetMATHGoogle Scholar
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) MathSciNetMATHGoogle Scholar
Takahashi, W., Toyoda, M.: Weak convergence theorems for nonexpansive mappings and monotone mappings. J. Optim. Theory Appl. 118(2), 417–428 (2003) MathSciNetView ArticleMATHGoogle Scholar
Atsushiba, S., Takahashi, W.: Nonlinear ergodic theorems without convexity for nonexpansive semigroups in Hilbert spaces. J. Nonlinear Convex Anal. 14(2), 209–219 (2013) MathSciNetMATHGoogle Scholar
Chen, L., Gao, L., Zhao, Y.: A new iterative scheme for finding attractive points of $(\alpha,\beta)$-generalized hybrid set-valued mappings. J. Nonlinear Sci. Appl. 10, 1228–1237 (2017) MathSciNetView ArticleGoogle Scholar
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 MathSciNetView ArticleGoogle Scholar
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/s13663-015-0336-z MathSciNetView ArticleMATHGoogle Scholar
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) MathSciNetMATHGoogle Scholar
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) MathSciNetView ArticleMATHGoogle Scholar
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) MathSciNetView ArticleMATHGoogle Scholar
Takahashi, W., Yao, J.C.: Fixed point theorems and ergodic theorems for nonlinear mappings in Hilbert spaces. Taiwan. J. Math. 15, 457–472 (2011) MathSciNetView ArticleMATHGoogle Scholar
Zheng, Y.: Attractive points and convergence theorems of generalized hybrid mapping. J. Nonlinear Sci. Appl. 8, 354–362 (2015) MathSciNetView ArticleMATHGoogle Scholar
Berinde, V.: A convergence theorem for some mean value fixed point iterations procedures. Demonstr. Math. 38(1), 177–184 (2005) MathSciNetMATHGoogle Scholar

Fixed Point Theory and Applications

Iterative approximation of common attractive points of further generalized hybrid mappings

Abstract

Keywords

MSC

1 Introduction and preliminaries

Theorem 1

Lemma 1

Lemma 2

Lemma 3

Lemma 4

2 Main results

Lemma 5

Proof

Lemma 6

Proof

Lemma 7

Proof

Theorem 2

Proof

Theorem 3

Proof

Corollary 1

Proof

Corollary 2

Proof

Remarks

Remarks

Theorem 4

Proof

3 Conclusions

Notes

Declarations

Acknowledgements

Availability of data and materials

Funding

Authors’ contributions

Competing interests

Authors’ Affiliations

References

Copyright