Fixed point theorems and Δ-convergence theorems for generalized hybrid mappings on CAT(0) spaces

Abstract

In this paper, we introduce generalized hybrid mapping on CAT(0) spaces. The class of generalized hybrid mappings contains the class of nonexpansive mappings, nonspreading mappings, and hybrid mappings. We study the fixed point theorems of generalized hybrid mappings on CAT(0) spaces. We also consider some iteration processes for generalized hybrid mappings on CAT(0) spaces, and our results generalize some results of fixed point theorems on CAT(0) spaces and Hilbert spaces.

1 Introduction

Fixed point theory in CAT(0) spaces was first studied by Kirk [1, 2]. He showed that every nonexpansive (single-valued) mapping defined on a bounded closed convex subset of a complete CAT(0) space always has a fixed point. Since then, the fixed point theory for single-valued and multivalued mappings in CAT(0) spaces has been rapidly developed, and many papers have appeared (e.g., see [3–6] and related references.)

Let (X, d) be a metric space. A geodesic path joining x ∈ X to y ∈ X (or, more briefly, a geodesic from x to y) is a map c from a closed interval [0, ℓ] ⊆ R to X such that c(0) = x, c(ℓ) = y, and d(c(t), c(t′)) = |t - t′| for all t, t′ ∈ [0, ℓ]. In particular, c is an isometry and d(x, y) = ℓ. The image α of c is called a geodesic (or metric) segment joining x and y. When it is unique, this geodesic is denoted by [x, y]. The space (X, d) is said to be a geodesic space if every two points of X are joined by a geodesic, and X is said to be uniquely geodesic if there is exactly one geodesic joining x and y for each x, y ∈ X. A subset Y ⊆ X is said to be convex if Y includes every geodesic segment joining any two of its points.

A geodesic triangle Δ(x₁, x₂, x₃) in a geodesic space (X, d) consists of three points x₁, x₂, and x₃ in X (the vertices of Δ and a geodesic segment between each pair of vertices (the edge of Δ). A comparison triangle for geodesic triangle Δ (x₁, x₂, x₃) in (X, d) is a triangle $\overline{\Delta }\left(x_1,x_2,x_3\right):=\Delta \left({\bar{x}}_1,{\bar{x}}_2,{\bar{x}}_3\right)$ in the Euclidean plane $E_2$ such that ${d_E}_{{}_2}\left({\bar{x}}_i,{\bar{x}}_j\right)=d\left(x_i,x_j\right)$ for i, j ∈ {1, 2, 3}.

A geodesic space is said to be a CAT(0) space if all geodesic triangles of appropriate size satisfy the following comparison axiom.

CAT(0): Let Δ be a geodesic triangle in X, and let $\overline{\Delta }$ be a comparison triangle for Δ. Then, Δ is said to satisfy the CAT(0) inequality if for all x, y ∈ Δ and all comparison points $\bar{x}$, $ȳ\in \overline{\Delta }$, $d\left(x,y\right)\le d_{E_2}\left(\bar{x},ȳ\right)$. It is well known that any complete, simply connected Riemannian manifold having nonpositive sectional curvature is a CAT(0) space. Other examples include Pre-Hilbert spaces [7], R-trees [8], the complex Hilbert ball with a hyperbolic metric [9], and many others.

If x, y₁, y₂ are points in a CAT(0) space, and if y₀ is the midpoint of the segment [y₁, y₂], then the CAT(0) inequality implies

$$d^2\left(x,y_0\right)\le \frac{1}{2}{d}^2\left(x,y_1\right)+\frac{1}{2}{d}^2\left(x,y_2\right)-\frac{1}{4}{d}^2\left(y_1,y_2\right).$$

This is the (CN) inequality of Bruhat and Tits [10]. In fact, a geodesic space is a CAT(0) space if and only if it satisfies the (CN) inequality ([[7], p. 163]).

In 2008, Dhompongsa and Panyanak [11] gave the following result, and the proof is similar to the proof of remark in [[12], p. 374].

Lemma 1.1. [11] Let X be a CAT(0) space. Then,

$$d\left(\left(1-t\right)x\oplus ty,z\right)\le \left(1-t\right)d\left(x,z\right)+td\left(y,z\right)$$

for all x, y, z ∈ X and t ∈ [0, 1].

By the above lemma, we know that CAT(0) space is a convex metric space. Indeed, a metric space X with a convex structure if there exists a mapping W : X × X × [0, 1] → X such that

$$d\left(W\left(x,y,t\right),z\right)\le td\left(x,z\right)+\left(1-t\right)d\left(y,z\right)$$

for all x, y, z ∈ X and t ∈ [0, 1] and call this space X a convex metric space [13]. Furthermore, Takahashi [13] has proved that

$$d\left(x,y\right)=td\left(x,W\left(x,y,t\right)\right)+\left(1-t\right)d\left(y,W\left(x,y,t\right)\right)$$

for all x, y, z ∈ X and t ∈ [0, 1] when X is a convex metric space with a convex structure. So, we also get the following result, and it is proved in [11].

Lemma 1.2. [11] Let X be a CAT(0) space, and x, y ∈ X. For each t ∈ [0, 1], there exists a unique point z ∈ [x, y] such that d(x, z) = td(x, y) and d(y, z) = (1 - t)d(x, y).

For convenience, from now on we will use the notation z = (1 - t)x ⊕ ty. Therefore, we have:

$$z=\left(1-t\right)x\oplus ty\iff z\in \left[x,y\right],d\left(x,z\right)=td\left(x,y\right),\mathsf{\text{and }}d\left(y,z\right)=\left(1-t\right)d\left(x,y\right).$$

Let C be a nonempty closed convex subset of a CAT(0) space (X, d). A mapping T : C → C is called a nonexpansive mapping if d(Tx, Ty) ≤ d(x, y) for all x, y ∈ C. A point x ∈ C is called a fixed point of T if Tx = x. Let F(T) denote the set of fixed points of T.

Now, we introduce the following nonlinear mappings on CAT(0) spaces.

Definition 1.1. Let C be a nonempty closed convex subset of a CAT(0) space X. We say T : C → X is a generalized hybrid mapping if there are functions a₁, a₂, a₃, k₁, k₂ : C → [0, 1) such that

(P1) d²(Tx, Ty)

$\le a_1\left(x\right)d^2\left(x,y\right)+a_2\left(x\right)d^2\left(Tx,y\right)+a_3\left(x\right)d^2\left(Ty,x\right)+k_1\left(x\right)d^2\left(Tx,x\right)+k_2\left(x\right)d^2\left(Ty,y\right)$

for all x, y ∈ C;

(P2) a₁(x) + a₂(x) + a₃(x) ≤ 1 for all x, y ∈ C;

(P3) 2k₁(x) < 1 - a₂(x) and k₂(x) < 1 - a₃(x) for all x ∈ C.

Remark 1.1. In Definition 1.1, if a₁(x) = 1 and a₂(x) = a₃(x) = k₁(x) = k₂(x) = 0 for all x ∈ C, then T is a nonexpansive mapping.

In 2008, Kohsaka and Takahashi [14] introduced nonspreading mappings on Banach spaces. Let C be a nonempty closed convex subset of a real Hilbert space H. A mapping T : C → C is said to be a nonspreading mapping if 2||Tx - Ty||² ≤ ||Tx - y||² + ||Ty - x||² for all x, y ∈ C (for detail, refer to [15]).

In 2010, Takahashi [16] introduced hybrid mapping on Hilbert spaces. Let C be a nonempty closed convex subset of a real Hilbert space H. A mapping T : C → C is said to be hybrid if 3||Tx - Ty||² ≤ ||x - y||² + ||Tx - y||² + ||x - Ty||² for all x, y ∈ C.

In 2011, Takahashi and Yao [17] also introduced two nonlinear mappings in Hilbert spaces. Let C be a nonempty closed convex subset of a real Hilbert space H. A mapping T : C → C is said to be TJ-1 if 2||Tx - Ty||² ≤ ||x - y||² + ||Tx - y||² for all x, y ∈ C. A mapping T : C → C is said to be TJ-2 if 3||Tx - Ty||² ≤ 2||Tx - y||² + ||Ty - x||² for all x, y ∈ C.

Now, we give the definitions of nonspreading mapping, TJ-1, TJ-2, hybrid mappings on CAT(0) spaces. In fact, these are special cases of generalized hybrid mapping on CAT(0) spaces.

Definition 1.2. Let C be a nonempty closed convex subset of a complete CAT(0) space X. Then, T : C → C is said to be a nonspreading mapping if 2d²(Tx, Ty) ≤ d²(Tx, y) + d²(Ty, x) for all x, y ∈ C.

Definition 1.3. Let C be a nonempty closed convex subset of a complete CAT(0) space X. Then, T : C → C is said to be hybrid if 3d²(Tx, Ty) ≤ d²(x, y)+d²(Tx, y)+d²(x, Ty) for all x, y ∈ C.

Definition 1.4. Let C be a nonempty closed convex subset of a complete CAT(0) space X. Then, T : C → C is said to be TJ-1 if 2d²(Tx, Ty) ≤ d²(x, y) + d²(Tx, y) for all x, y ∈ C.

Definition 1.5. Let C be a nonempty closed convex subset of a complete CAT(0) space X. Then, T : C → C is said to be TJ-2 if 3d²(Tx, Ty) ≤ 2d²(Tx, y) + d²(Ty, x) for all x, y ∈ C.

On the other hand, we observe that construction of approximating fixed points of nonlinear mappings is an important subject in the theory of nonlinear mappings and its applications in a number of applied areas. Let C be a nonempty closed convex subset of a real Hilbert space H, and let T, S : C → C be two mappings.

In 1953, Mann [18] gave an iteration process:

$$x_{n+1}={\alpha }_n{x}_n+\left(1-{\alpha }_n\right)T{x}_n,n\ge 0,$$

where the initial guess x₀ is taken in C arbitrarily, and {α _n } is a sequence in the interval [0, 1].

In 1974, Ishikawa [19] gave an iteration process which is defined recursively by

$$\left\{\begin{array}{c}{x}_1\in C\mathsf{\text{chosen arbitrary}},\\ x_{n+1}:=\left(1-{\alpha }_n\right)x_n+{\alpha }_{n}T{y}_n\\ y_n:=\left(1-{\beta }_n\right)x_n+{\beta }_{n}T{x}_n\end{array}\right.$$

where {α _n } and {β _n } are sequences in the interval [0, 1].

In 1986, Das and Debata [20] studied a two mappings's iteration on the pattern of the Ishikawa iteration:

$$\left\{\begin{array}{c}{x}_1\in C\mathsf{\text{chosen arbitrary}},\\ x_{n+1}:=\left(1-{\alpha }_n\right)x_n+{\alpha }_{n}T{y}_n\\ y_n:=\left(1-{\beta }_n\right)x_n+{\beta }_{n}S{x}_n\end{array}\right.$$

(1.1)

where {α _n } and {β _n } are sequences in the interval [0, 1].

In 2007, Agarwal et al. [21] introduced the following iterative process:

$$\left\{\begin{array}{c}{x}_1\in C\mathsf{\text{chosen arbitrary}},\\ x_{n+1}:=\left(1-{\alpha }_n\right)T{x}_n+{\alpha }_{n}T{y}_n,\\ y_n:=\left(1-{\beta }_n\right)x_n+{\beta }_{n}T{x}_n,\end{array}\right.$$

(1.2)

where the initial guess x₀ is taken in C arbitrarily, and {α _n } and {β _n } are sequences in the interval [0, 1].

In 2011, Khan and Abbas [22] modified (1.1) and (1.2) for two nonexpansive mappings S and T in CAT(0) spaces as follows.

$$\left\{\begin{array}{c}{x}_1\in C\mathsf{\text{chosen arbitrary}},\\ x_{n+1}:=\left(1-{\alpha }_n\right)x_n\oplus {\alpha }_{n}T{y}_n,\\ y_n:=\left(1-{\beta }_n\right)x_n\oplus {\beta }_{n}S{x}_n,\end{array}\right.$$

(1.3)

and

$$\left\{\begin{array}{c}{x}_1\in C\mathsf{\text{chosen arbitrary}},\\ x_{n+1}:=\left(1-{\alpha }_n\right)T{x}_n\oplus {\alpha }_{n}T{y}_n,\\ y_n:=\left(1-{\beta }_n\right)x_n\oplus {\beta }_{n}T{x}_n,\end{array}\right.$$

(1.4)

where the initial guess x₀ is taken in C arbitrarily, and {α _n } and {β _n } are sequences in the interval [0, 1].

Let D be a nonempty closed convex subset of a complete CAT(0) space (X, d). For each x ∈ X, there exists a unique element y ∈ D such that $d\left(x,y\right)=\underset{z\in D}{min}d\left(x,z\right)$ [7]. In the sequel, let P _D : X → D be defined by

$$P_D\left(x\right)=y\iff d\left(x,y\right)=\underset{z\in D}{min}d\left(x,z\right).$$

And we call P _D the metric projection from the complete CAT(0) space X onto a nonempty closed convex subset D of X. Note that P _D is a nonexpansive mapping [7].

Now, let C be a nonempty closed convex subset of a complete CAT(0) space X, let T, S : C → X be two nonexpansive mappings, and we modified (1.3) and (1.4) as follows:

$$\left\{\begin{array}{c}{x}_1\in C\mathsf{\text{chosen arbitrary}},\\ x_{n+1}:=P_C\left(\left(1-{\alpha }_n\right)x_n\oplus {\alpha }_{n}T{y}_n\right),\\ y_n:=P_C\left(\left(1-{\beta }_n\right)x_n\oplus {\beta }_{n}S{x}_n\right),\end{array}\right.$$

(1.5)

and

$$\left\{\begin{array}{c}{x}_1\in C\mathsf{\text{chosen arbitrary}},\\ x_{n+1}:=P_C\left(\left(1-{\alpha }_n\right)T{x}_n\oplus {\alpha }_{n}T{y}_n\right),\\ y_n:=P_C\left(\left(1-{\beta }_n\right)x_n\oplus {\beta }_{n}T{x}_n\right),\end{array}\right.$$

(1.6)

where the initial guess x₀ is taken in C arbitrarily, and {α _n } and {β _n } are sequences in the interval [0, 1].

In this paper, we study the fixed point theorems of generalized hybrid mappings on CAT(0) spaces. Next, we also consider iteration process (1.5), (1.6), or Mann's type for generalized hybrid mappings on CAT(0) spaces, and our results improve or generalize recent results on fixed point theorems on CAT(0) spaces or Hilbert spaces.

2 Preliminaries

In this paper, we need the following definitions, notations, lemmas, and related results.

Lemma 2.1. [11] Let X be a CAT(0) space. Then,

$$d^2\left(\left(1-t\right)x\oplus ty,z\right)\le \left(1-t\right)d^2\left(x,z\right)+t{d}^2\left(y,z\right)-t\left(1-t\right)d^2\left(x,y\right)$$

for all t ∈ [0, 1] and x, y, z ∈ X.

Definition 2.1. Let {x _n } be a bounded sequence in a CAT(0) space X, and let C be a subset of X. Now, we use the following notations:

• (i) $r(x\mathrm{,}\{x_n\}):=\underset{n\to \infty }{\lim \sup }d(x\mathrm{,}{x}_n)$.

• (ii) $r\left(\left\{x_n\right\}\right):=\underset{x\in X}{inf}r\left(x,\left\{x_n\right\}\right)$.

• (iii) $r_C\left(\left\{x_n\right\}\right):=\underset{x\in C}{inf}r\left(x,\left\{x_n\right\}\right)$.

• (iv) A({x _n }) := {x ∈ X : r(x, {x _n }) = r({x _n })}.

• (iv) A _C ({x _n }) := {x ∈ C : r(x, {x _n }) = r _C ({x _n })}.

Note that x ∈ X is called an asymptotic center of {x _n } if x ∈ A({x _n }). It is known that in a CAT(0) space, A({x _n }) consists of exactly one point [23].

Definition 2.2. [6] Let (X, d) be a CAT(0) space. A sequence {x _n } in X is said to be Δ-convergent to x ∈ X if x is the unique asymptotic center of {u _n } for every subsequence {u _n } of {x _n }. That is, A({u _n }) = {x} for every subsequence {u _n } of {x _n }. In this case, we write $\Delta \mathsf{\text{ - }}\underset{n}{lim}{x}_n=x$ and call x the Δ-limit of {x _n }.

In 2008, Kirk and Panyanak [6] gave the following result for nonexpansive mappings on CAT(0) spaces.

Theorem 2.1. [6] Let C be a nonempty closed convex subset of a complete CAT(0) space X, and let T : C → C be a nonexpansive mapping. Let {x _n } be a bounded sequence in C with $\Delta \mathsf{\text{ - }}\underset{n}{lim}{x}_n=x$ and $\underset{n\to \infty }{lim}d\left(x_n,T{x}_n\right)=0$. Then, x ∈ C and Tx = x.

Lemma 2.2. [6] Let (X, d) be a CAT(0) space. Then, every bounded sequence in X has a Δ-convergent subsequence.

Lemma 2.3. [24] Let C be a nonempty closed convex subset of a CAT(0) space X. If {x _n } is a bounded sequence in C, then the asymptotic center A({x _n }) of {x _n } is in C.

Lemma 2.4. [11] Let C be a nonempty closed convex subset of a CAT(0) space (X, d).

Let {x _n } be a bounded sequence in X with A({x _n }) = {x}, and let {u _n } be a subsequence of {x _n } with A({u _n }) = {u}. Suppose that $\underset{n\to \infty }{lim}d\left(x_n,u\right)$ exists. Then, x = u.

Let {x _n } be a bounded sequence in a CAT(0) space (X, d), and let C be a nonempty closed convex subset of X which contains {x _n }. We denote the notation

$$x_n\rightharpoonup w\mathsf{\text{iff }}\Phi \left(w\right)=\underset{x\in C}{inf}\Phi \left(x\right),$$

where $\Phi \left(x\right):=\underset{n\to \infty }{\lim \sup }d\left(x_n,x\right)$. Then, we observe that

$$\begin{array}{c}A\left(\left\{x_n\right\}\right)=\left\{x\in X:\Phi \left(x\right)=\underset{u\in X}{inf}\Phi \left(u\right)\right\},\mathsf{\text{and}}\\ A_C\left(\left\{x_n\right\}\right)=\left\{x\in C:\Phi \left(x\right)=\underset{u\in C}{inf}\Phi \left(u\right)\right\}.\end{array}$$

Remark 2.1. Let {x _n } be a bounded sequence in a CAT(0) space (X, d), and let C be a nonempty closed convex subset of X which contains {x _n }. If x _n ⇀ w, then w ∈ C.

Proof. There exist $\bar{x}\in X$ and $ȳ\in C$ such that $A\left(\left\{x_n\right\}\right)=\left\{\bar{x}\right\}$ and $A_C\left(\left\{x_n\right\}\right)=\left\{ȳ\right\}$. By Lemma 2.3, $\bar{x}=ȳ$. Hence,

$$\Phi \left(ȳ\right)=\Phi \left(\bar{x}\right)\le \Phi \left(w\right)=\underset{x\in C}{inf}\Phi \left(x\right)=\Phi \left(ȳ\right).$$

Hence, w ∈ A({x _n }) and $w=\bar{x}\in C$.   □

Lemma 2.5. [25] Let C be a nonempty closed convex subset of a CAT(0) space (X, d), and let {x _n } be a bounded sequence in C. If $\Delta \mathsf{\text{ - }}\underset{n}{lim}{x}_n=x$, then x _n ⇀ x.

Proposition 2.1. Let C be a nonempty closed convex subset of a complete CAT(0) space (X, d), and let T : C → X be a generalized hybrid mapping with F(T) ≠ ∅. Then, F(T) is a closed convex subset of C.

Proof. If {x _n } is a sequence in F (T ) and $\underset{n\to \infty }{lim}{x}_n=x$. Then, we have:

$$d^2\left(Tx,x_n\right)\le d^2\left(x,x_n\right)+\frac{k_1\left(x\right)}{1-a_2\left(x\right)}{d}^2\left(Tx,x\right).$$

This implies that

$$\left(1-\frac{k_1\left(x\right)}{1-a_2\left(x\right)}\right)d^2\left(Tx,x\right)\le 0.$$

Then, Tx = x and F(T) is a closed set.

Next, we want to show that F(T) is a convex set. If x, y ∈ F(T) ⊆ C and z ∈ [x, y], then there exists t ∈ [0, 1] such that z = tx ⊕ (1 - t)y. Since C is convex, z ∈ C.

Furthermore,

$$\begin{array}{c}{d}^2\left(Tz,z\right)\\ \le t{d}^2\left(Tz,x\right)+\left(1-t\right)d^2\left(Tz,y\right)-t\left(1-t\right)d^2\left(x,y\right)\\ \le t{d}^2\left(z,x\right)+\frac{t{k}_1\left(z\right)}{1-a_2\left(z\right)}{d}^2\left(Tz,z\right)+\left(1-t\right)d^2\left(z,y\right)+\frac{\left(1-t\right)k_1\left(z\right)}{1-a_2\left(z\right)}{d}^2\left(Tz,z\right)-t\left(1-t\right)d^2\left(x,y\right)\\ \le t{\left(1-t\right)}^2{d}^2\left(x,y\right)+\frac{k_1\left(z\right)}{1-a_2\left(z\right)}{d}^2\left(Tz,z\right)+t^2\left(1-t\right)d^2\left(x,y\right)-t\left(1-t\right)d^2\left(x,y\right)\\ \le \frac{k_1\left(z\right)}{1-a_2\left(z\right)}{d}^2\left(Tz,z\right).\end{array}$$

Hence, Tz = z and F(T) is a convex set.   □

Remark 2.2. Let C be a nonempty closed convex subset of a complete CAT(0) space (X, d), and let T : C → X be any one of nonspreading mapping, TJ-1 mapping, TJ-2 mapping, and hybrid mapping. If F(T) ≠ ∅, then F(T) is a closed convex subset of C.

3 Fixed point theorems on complete CAT(0) spaces

The following theorem establishes a demiclosed principle for a generalized hybrid mapping on CAT(0) spaces.

Theorem 3.1. Let C be a nonempty closed convex subset of a complete CAT(0) space X, and let T : C → X be a generalized hybrid mapping. Let {x _n } be a bounded sequence in C with x _n ⇀ x and $\underset{n\to \infty }{lim}d\left(x_n,T{x}_n\right)=0$. Then, x ∈ C and Tx = x.

Proof. Since x _n ⇀ x, we know that x ∈ C and $\Phi \left(x\right)=\underset{u\in C}{inf}\Phi \left(u\right)$, where $\Phi \left(u\right):=\underset{n\to \infty }{\lim \sup }d\left(x_n,u\right)$. Furthermore, we know that Φ(x) = inf{Φ (u) : u ∈ X}. Since T is a generalized hybrid,

$$\begin{array}{l}{d}^2(T{x}_n\mathrm{,}Tx)\\ \le a_1(x)d^2(x\mathrm{,}{x}_n)+a_2(x)d^2(Tx\mathrm{,}{x}_n)+a_3(x)d^2(T{x}_n\mathrm{,}x)+k_1(x)d^2(Tx\mathrm{,}x)+\\ k_2(x)d^2(T{x}_n\mathrm{,}{x}_n)\\ \le a_1(x)d^2(x\mathrm{,}{x}_n)+a_2(x)d(Tx\mathrm{,}T{x}_n)+d(T{x}_n\mathrm{,}{x}_n{)}^2+a_3(x)d(T{x}_n\mathrm{,}{x}_n)+d(x_n\mathrm{,}x{)}^2\\ +k_1(x)d^2(Tx\mathrm{,}x)+k_2(x)d^2(T{x}_n\mathrm{,}{x}_n)\mathrm{.}\end{array}$$

Then, we have:

$$\underset{n\to \infty }{\lim \sup }{d}^2\left(T{x}_n,Tx\right)\le \underset{n\to \infty }{\lim \sup }{d}^2\left(x,x_n\right)+\frac{k_1\left(x\right)}{\left(1-a_2\left(x\right)\right)}{d}^2\left(x,Tx\right).$$

This implies that

$$\begin{array}{c}\underset{n\to \infty }{limsup}{d}^2\left(x_n,Tx\right)\\ \le \underset{n\to \infty }{limsup}{\left(d\left(x_n,T{x}_n\right)+d\left(T{x}_n,Tx\right)\right)}^2\\ \underset{n\to \infty }{\le \; limsup}{d}^2\left(T{x}_n,Tx\right)\\ \underset{n\to \infty }{\le \; limsup}{d}^2\left(x,x_n\right)+\frac{k_1\left(x\right)}{1-a_2\left(x\right)}{d}^2\left(x,Tx\right).\end{array}$$

Besides, by (CN) inequality, we have:

$$d^2\left(x_n,\frac{1}{2}x\oplus \frac{1}{2}Tx\right)\le \frac{1}{2}{d}^2\left(x_n,x\right)+\frac{1}{2}{d}^2\left(x_n,Tx\right)-\frac{1}{4}{d}^2\left(x,Tx\right).$$

So,

$$\begin{array}{c}\underset{n\to \infty }{limsup}{d}^2\left(x_n,\frac{1}{2}x\oplus \frac{1}{2}Tx\right)\\ \le \frac{1}{2}\underset{n\to \infty }{limsup}{d}^2\left(x_n,x\right)+\frac{1}{2}\underset{n\to \infty }{limsup}{d}^2\left(x_n,Tx\right)-\frac{1}{4}{d}^2\left(x,Tx\right)\\ \le \underset{n\to \infty }{limsup}{d}^2\left(x_n,x\right)+\frac{k_1\left(x\right)}{2\left(1-a_2\left(x\right)\right)}{d}^2\left(x,Tx\right)-\frac{1}{4}{d}^2\left(x,Tx\right).\end{array}$$

So,

$$\left(\frac{1}{4}-\frac{k_1\left(x\right)}{2\left(1-a_2\left(x\right)\right)}\right)d^2\left(x,Tx\right)\le \underset{n\to \infty }{limsup}{d}^2\left(x_n,x\right)-\underset{n\to \infty }{limsup}{d}^2\left(x_n,\frac{1}{2}x\oplus \frac{1}{2}Tx\right).$$

That is,

$$\left(\frac{1}{4}-\frac{k_1\left(x\right)}{2\left(1-a_2\left(x\right)\right)}\right)d^2\left(x,Tx\right)\le {\left(\Phi \left(x\right)\right)}^2-{\left(\Phi \left(\frac{1}{2}x\oplus \frac{1}{2}Tx\right)\right)}^2\le 0.$$

Therefore, Tx = x.   □

By Theorem 3.1 and Lemma 2.5, it is easy to get the conclusion.

Corollary 3.1. Let C be a nonempty closed convex subset of a complete CAT(0) space X, and let T : C → X be a generalized hybrid mapping. Let {x _n } be a bounded sequence in C with Δ-lim _n x _n = x and $\underset{n\to \infty }{lim}d\left(x_n,T{x}_n\right)=0$. Then, Tx = x.

Theorem 3.1 generalizes Theorem 2.1 since the class of generalized hybrid mappings contains the class of nonexpansive mappings on CAT(0) spaces. Furthermore, we also get the following result.

Corollary 3.2. Let C be a nonempty closed convex subset of a complete CAT(0) space X, and let T : C → X be any one of nonspreading mapping, TJ-1 mapping, TJ-2 mapping, and hybrid napping. Let {x _n } be a bounded sequence in C with x _n ⇀ x and $\underset{n\to \infty }{lim}d\left(x_n,T{x}_n\right)=0$. Then, Tx = x.

Corollary 3.3. [14–17] Let C be a nonempty closed convex subset of a real Hilbert space H, and let T : C → H be a any one of nonspreading mapping, hybrid mapping, TJ-1 mapping, and TJ-2 mapping. Let {x _n } be a sequence in C with {x _n } converges weakly to x ∈ C and $\underset{n\to \infty }{lim}d\left(x_n,T{x}_n\right)=0$. Then, x ∈ C and Tx = x.

Proof. For each x, y ∈ H, let d(x, y) := ||x - y||. Clearly, a real Hilbert space H is a CAT(0) space, and C is a nonempty closed convex subset of a CAT(0) space H, and T is generalized hybrid. Since {x _n } converges weakly to x, {x _n } is a bounded sequence.

Since H is a real Hilbert space,

$$\underset{n\to \infty }{limsup}\left|\right|x_n-x\left|\right|\le \underset{n\to \infty }{limsup}\left|\right|x_n-y\left|\right|,\mathsf{\text{for each }}y\in C.$$

This implies that x _n ⇀ x. By Theorem 3.1, Tx = x and the proof is completed.   □

Theorem 3.2. Let C be a nonempty closed convex subset of a complete CAT(0) space X, and let T : C → C be a generalized hybrid mapping with k₁(x) = k₂(x) = 0 for all x ∈ C. Then, the following conditions are equivalent:

• (i) {Tⁿx} is bounded for some x ∈ C;

• (ii) F(T) ≠ ∅.

Proof. Suppose that {Tⁿx} is bounded for some x ∈ C. For each n ∈ ℕ, let x _n := Tⁿx. Since {x _n } is bounded, there exists $\bar{x}\in X$ such that $A\left(\left\{x_n\right\}\right)=\left\{\bar{x}\right\}$. By Lemma 2.3, $\bar{x}\in C$. Furthermore, we have:

$$d^2\left(x_n,T\bar{x}\right)\le a_1\left(\bar{x}\right)d^2\left(\bar{x},x_{n-1}\right)+a_2\left(\bar{x}\right)d^2\left(T\bar{x},x_{n-1}\right)+a_3\left(\bar{x}\right)d^2\left(x_n,\bar{x}\right).$$

This implies that

$$\begin{array}{c}\underset{n\to \infty }{limsup}{d}^2\left(x_n,T\bar{x}\right)\\ \le a_1\left(\bar{x}\right)\underset{n\to \infty }{limsup}{d}^2\left(\bar{x},x_{n-1}\right)+a_2\left(\bar{x}\right)\underset{n\to \infty }{limsup}{d}^2\left(T\bar{x},x_{n-1}\right)+a_3\left(\bar{x}\right)\underset{n\to \infty }{limsup}{d}^2\left(x_n,\bar{x}\right)\\ \le \left(a_1\left(\bar{x}\right)+a_3\left(\bar{x}\right)\right)\underset{n\to \infty }{limsup}{d}^2\left(x_n,\bar{x}\right)+a_2\left(\bar{x}\right)\underset{n\to \infty }{limsup}{d}^2\left(x_n,T\bar{x}\right).\end{array}$$

Then

$${(\Phi (T\overline{x})}^2=\underset{n\to \infty }{\lim \sup }{d}^2(x_n\mathrm{,}T\overline{x})\le \underset{n\to \infty }{\lim \sup }{d}^2(x_n\mathrm{,}\overline{x})=(\Phi (\overline{x}{)}^2\mathrm{.}$$

Since $A\left(\left\{x_n\right\}\right)=\left\{\bar{x}\right\}$, $T\bar{x}=\bar{x}$. This shows that F(T) ≠ ∅. It is easy to see that (ii) implies (i). □

By Theorem 3.2, it is easy to get the following results.

Corollary 3.4. Let C be a nonempty closed convex subset of a complete CAT(0) space X, and let T : C → C be any one of nonspreading mapping, TJ-1 mapping, TJ-2 mapping, hybrid mapping, and nonexpansive mapping. Then, {Tⁿx} is bounded for some x ∈ C if and only if F(T) ≠ ∅.

Corollary 3.5. [1, 2] Let C be a nonempty bounded closed convex subset of a complete CAT(0) space X, and let T : C → C be a nonexpansive mapping. Then, F(T) ≠ ∅.

Corollary 3.6. [14–17, 26] Let C be a nonempty closed convex subset of a real Hilbert space H, and let T : C → C be any one of nonspreading mapping, TJ-1 mapping, TJ- 2 mapping, hybrid mapping, and nonexpansive mapping. Then, {Tⁿx} is bounded for some x ∈ C if and only if F(T) ≠ ∅.

4 Δ-convergent theorems

In the sequel, we need the following lemmas. By Lemmas 2.2-2.4 and Theorem 3.1, and following the similar argument as in the proof of Lemma 2.10 in [11], we have the following result.

Lemma 4.1. Let C be a nonempty closed convex subset of a complete CAT(0) space X, and let T : C → X be a generalized hybrid mapping. If {x _n } is a bounded sequence in C such that $\underset{n\to \infty }{lim}d\left(x_n,T{x}_n\right)=0$ and {d(x _n , v)} converges for all v ∈ F (T ), then ω _w (x _n ) ⊆ F (T ), where ω _w (x _n ) := ∪A({u _n }) and {u _n } is any subsequence of {x _n }. Furthermore, ω _w (x _n ) consists of exactly one point.

Remark 4.1. The conclusion of Lemma 4.1 is still true if T : C → X is any one of nonexpansive mapping, nonspreading mapping, TJ-1 mapping, TJ-2 mapping, and hybrid mapping.

Theorem 4.1. Let C be a nonempty closed convex subset of a complete CAT(0) space X. Let T : C → X be a generalized hybrid mapping with F(T) ≠ ∅. Let {α _n } be a sequence in [0, 1]. Let {x _n } be defined by

$$\left\{\begin{array}{c}{x}_1\in C\mathsf{\text{chosen arbitrary}},\\ x_{n+1}:=P_C\left(\left(1-{\alpha }_n\right)x_n\oplus {\alpha }_{n}T{x}_n\right).\end{array}\right.$$

Assume $\underset{n\to \infty }{liminf}{\alpha }_n\left[\left(1-{\alpha }_n\right)-\frac{k_2\left(w\right)}{1-a_3\left(w\right)}\right]>0$ for all w ∈ F(T). Then, {x _n } Δ-converges to a point of F(T).

Proof. Clearly, {x _n } ⊆ C. Take any w ∈ F (T ) and let w be fixed. Then,

$$d^2\left(Tx,w\right)\le d^2\left(w,x\right)+\frac{k_2\left(w\right)}{1-a_3\left(w\right)}{d}^2\left(Tx,x\right)$$

for all x ∈ C. Hence, by Lemma 2.1,

$$\begin{array}{c}{d}^2\left(x_{n+1},w\right)\\ =d^2\left(P_C\left(\left(1-{\alpha }_n\right)x_n\oplus {\alpha }_{n}T{x}_n\right),w\right)\\ \le d^2\left(\left(1-{\alpha }_n\right)x_n\oplus {\alpha }_{n}T{x}_n,w\right)\\ \le \left(1-{\alpha }_n\right)d^2\left(x_n,w\right)+{\alpha }_n{d}^2\left(T{x}_n,w\right)-{\alpha }_n\left(1-{\alpha }_n\right)d^2\left(x_n,T{x}_n\right)\\ \le d^2\left(x_n,w\right)+{\alpha }_n\left[\frac{k_2\left(w\right)}{1-a_3\left(w\right)}-\left(1-{\alpha }_n\right)\right]d^2\left(T{x}_n,x_n\right).\end{array}$$

By assumption, there exists δ > 0 and M ∈ ℕ such that

$${\alpha }_n\left[\left(1-{\alpha }_n\right)-\frac{k_2\left(w\right)}{1-a_3\left(w\right)}\right]\ge \delta >0$$

for all n ≥ M. Without loss of generality, we may assume that

$${\alpha }_n\left[\left(1-{\alpha }_n\right)-\frac{k_2\left(w\right)}{1-a_3\left(w\right)}\right]>0$$

for all n ∈ ℕ. Hence, {d(x _n , w)} is decreasing, $\underset{n\to \infty }{lim}d\left(x_n,w\right)$ exists, and {x _n } is bounded.

Then

$$\underset{n\to \infty }{lim}{\alpha }_n\left[\left(1-{\alpha }_n\right)-\frac{k_2\left(w\right)}{1-a_3\left(w\right)}\right]d^2\left(x_n,T{x}_n\right)=0.$$

This implies that $\underset{n\to \infty }{lim}d\left(x_n,T{x}_n\right)=0$. By Lemma 4.1, there exists $\bar{x}\in C$ such that ${\omega }_w\left(\left\{x_n\right\}\right)=\left\{\bar{x}\right\}\subseteq F\left(T\right)$. So, $\Delta -{lim}_n{x}_n=\bar{x}$ and the proof is completed.   □

Theorem 4.2. Let C be a nonempty closed convex subset of a complete CAT(0) space X. Let T : C → X be a generalized hybrid mapping with F(T) ≠ ∅. Let {α _n } and {β _n } be two sequences in [0, 1]. Let {x _n } be defined as

$$\left\{\begin{array}{c}{x}_1\in C\mathsf{\text{chosen arbitrary}},\\ x_{n+1}:=P_C\left(\left(1-{\alpha }_n\right)T{x}_n\oplus {\alpha }_{n}T{y}_n\right),\\ y_n:=P_C\left(\left(1-{\beta }_n\right)x_n\oplus {\beta }_{n}T{x}_n\right).\end{array}\right.$$

Assume that:

• (i) k₂(w) = 0 for all w ∈ F (T );

• (ii) $\underset{n\to \infty }{liminf}{\alpha }_n\left(1-{\alpha }_n\right)>0$ and $\underset{n\to \infty }{liminf}{\beta }_n\left(1-{\beta }_n\right)>0$.

Then {x _n } Δ-converges to a point of F (T ).

Proof. Take any w ∈ F(T) and let w be fixed. Then, by (i), d(Tx, w) ≤ d(x, w) for all x ∈ C. By Lemma 2.1, we have:

$$\begin{array}{c}{d}^2\left(y_n,w\right)\\ =d^2\left(P_C\left(\left(1-{\beta }_n\right)x_n\oplus {\beta }_{n}T{x}_n\right),w\right)\\ \le d^2\left(\left(1-{\beta }_n\right)x_n\oplus {\beta }_{n}T{x}_n,w\right)\\ \le \left(1-{\beta }_n\right)d^2\left(x_n,w\right)+{\beta }_n{d}^2\left(T{x}_n,w\right)-{\beta }_n\left(1-{\beta }_n\right)d\left(x_n,T{x}_n\right)\\ \le d^2\left(x_n,w\right)-{\beta }_n\left(1-{\beta }_n\right)d\left(x_n,T{x}_n\right)\\ \le d^2\left(x_n,w\right).\end{array}$$

Hence,

$$\begin{array}{c}{d}^2\left(x_{n+1},w\right)\\ =d^2\left(P_C\left(\left(1-{\alpha }_n\right)T{x}_n\oplus {\alpha }_{n}T{y}_n\right),w\right)\\ \le d^2\left(\left(1-{\alpha }_n\right)T{x}_n\oplus {\alpha }_{n}T{y}_n,w\right)\\ \le \left(1-{\alpha }_n\right)d^2\left(T{x}_n,w\right)+{\alpha }_n{d}^2\left(T{y}_n,w\right)-{\alpha }_n\left(1-{\alpha }_n\right)d^2\left(T{x}_n,T{y}_n\right)\\ \le \left(1-{\alpha }_n\right)d^2\left(x_n,w\right)+{\alpha }_n{d}^2\left(y_n,w\right)-{\alpha }_n\left(1-{\alpha }_n\right)d^2\left(T{x}_n,T{y}_n\right)\\ \le d^2\left(x_n,w\right)-{\alpha }_n\left(1-{\alpha }_n\right)d^2\left(T{x}_n,T{y}_n\right)\\ \le d^2\left(x_n,w\right).\end{array}$$

Hence, $\underset{n\to \infty }{lim}d\left(x_n,w\right)$ exists, and {x _n } and {y _n } are bounded sequences. Besides, we know that

$$\underset{n\to \infty }{lim}{\alpha }_n\left(1-{\alpha }_n\right)d^2\left(T{x}_n,T{y}_n\right)=0.$$

This implies that $\underset{n\to \infty }{lim}d\left(T{x}_n,T{y}_n\right)=0$. So,

$$\underset{n\to \infty }{limsup}d\left(x_{n+1},T{x}_n\right)\le \underset{n\to \infty }{lim}d\left(T{x}_n,T{y}_n\right)=0.$$

And this implies that $\underset{n\to \infty }{lim}d\left(x_{n+1},T{x}_n\right)=0$. Furthermore, we also have:

$$0\le {\alpha }_n\left(1-{\alpha }_n\right)d^2\left(T{x}_n,T{y}_n\right)\le d^2\left(x_n,w\right)-d^2\left(x_{n+1},w\right)+{\alpha }_n\left[d^2\left(y_n,w\right)-d^2\left(x_n,w\right)\right].$$

So,

$${\alpha }_n\left(1-{\alpha }_n\right)\left[d^2\left(x_n,w\right)-d^2\left(y_n,w\right)\right]\le d^2\left(x_n,w\right)-d^2\left(x_{n+1},w\right)$$

This implies that $\underset{n\to \infty }{lim}\left(d^2\left(y_n,w\right)-d^2\left(x_n,w\right)\right)=0$. So,

$${\beta }_n\left(1-{\beta }_n\right)d^2\left(x_n,T{x}_n\right)\le d^2\left(x_n,w\right)-d^2\left(y_n,w\right).$$

This implies that $\underset{n\to \infty }{lim}d\left(x_n,T{x}_n\right)=0$. By Lemma 4.1, there exists $\bar{x}\in C$ such that ${\omega }_w\left(\left\{x_n\right\}\right)=\left\{\bar{x}\right\}\subseteq F\left(T\right)$. So, $\Delta -{lim}_n{x}_n=\bar{x}$ and the proof is completed.   □

Remark 4.2. If 0 < a < b < 1 and {α _n } is a sequence in [0, 1] with a ≤ α _n ≤ b for all n ∈ ℕ, then $\underset{n\to \infty }{liminf}{\alpha }_n\left(1-{\alpha }_n\right)\ge a\left(1-b\right)>0$. Furthermore, the class of generalized hybrid mappings contains the class of nonexpansive mappings in CAT(0) spaces. Hence, Theorem 4.2 generalizes Theorem 1 in [22].

Corollary 4.1. Let C be a nonempty closed convex subset of a real Hilbert space H. Let T : C → X be any one of nonspreading mapping, nonexpansive mapping, hybrid mapping, TJ-1 mapping, and TJ-2 mapping. Let P _C be the metric projection from H onto C. Suppose that F(T) ≠ ∅. Let {α _n } and {β _n } be two sequences in [0, 1]. Let {x _n } be defined as

$$\left\{\begin{array}{c}{x}_1\in C\mathsf{\text{chosen arbitrary}},\\ x_{n+1}:=P_C\left(\left(1-{\alpha }_n\right)T{x}_n+{\alpha }_{n}T{y}_n\right),\\ y_n:=P_C\left(\left(1-{\beta }_n\right)x_n+{\beta }_{n}T{x}_n\right).\end{array}\right.$$

Assume that $\underset{n\to \infty }{liminf}{\alpha }_n\left(1-{\alpha }_n\right)>0$ and $\underset{n\to \infty }{liminf}{\beta }_n\left(1-{\beta }_n\right)>0$. Then, {x _n } converges weakly to a point x of F(T).

Proof. For each x, y ∈ H, let d(x, y) := ||x - y||. Clearly, H is a CAT(0) space, and C is a nonempty closed convex subset of H. Furthermore, tx ⊕ (1 - t)y = tx + (1 - t)y for all x, y ∈ C and t ∈ [0, 1]. Since T is any one of nonspreading mapping, nonexpansive mapping, hybrid mapping, TJ-1 mapping, and TJ-2 mapping, k₁(w) = k₂(w) = 0 for all w ∈ F(T). By Theorem 4.2, {x _n } is a bounded sequence, and {x _n } Δ-converges to a point x of F(T).

Next, we want to show that {x _n } converges to x. If $\left\{x_{n_k}\right\}$ is a subsequence of {x _n } and $\left\{x_{n_k}\right\}$ converges weakly to u ∈ C, then $x_{n_k}\rightharpoonup u$ and $A\left(\left\{x_{n_k}\right\}\right)=\left\{u\right\}$. Since {x _n } Δ-converges to x, u = x. Then, every weakly convergent subsequence of {x _n } has the same limit. So, {x _n } converges weakly to x, and the proof is completed.   □

Lemma 4.2. Let X be a CAT(0) space. Let {x _n } and {y _n } be two bounded sequences in X with $\underset{n\to \infty }{lim}d\left(x_n,y_n\right)=0$. If $\Delta -\underset{n}{lim}{x}_n=x$, then $\Delta \mathsf{\text{ - }}\underset{n}{lim}{y}_n=x$.

Proof. Since ??, we know that

$$r\left(\left\{x_n\right\}\right)=r\left(x,\left\{x_{n_k}\right\}\right)=\underset{k\to \infty }{limsup}d\left(x_{n_k},x\right)$$

for every subsequence $\left\{x_{n_k}\right\}$ of {x _n }. Now, take any subsequence $\left\{y_{n_k}\right\}$ of {y _n } and let $\left\{y_{n_k}\right\}$ be fixed. Then, there exists y ∈ X such that $A\left(\left\{y_{n_k}\right\}\right)=\left\{y\right\}$. Hence,

$$\begin{array}{lll}\hfill \underset{n\to \infty }{limsup}d\left(y_{n_k},y\right)& \le \underset{n\to \infty }{limsup}d\left(y_{n_k},x\right)& \hfill \text{(1)}\\ \le \underset{n\to \infty }{limsup}d\left(y_{n_k},x_{n_k}\right)+\underset{n\to \infty }{limsup}d\left(x_{n_k},x\right)& \hfill \text{(2)}\\ =\underset{n\to \infty }{limsup}d\left(x_{n_k},x\right)& \hfill \text{(3)}\\ =r\left(\left\{x_n\right\}\right)& \hfill \text{(4)}\\ \le \underset{n\to \infty }{limsup}d\left(x_{n_k},y\right)& \hfill \text{(5)}\\ \le \underset{n\to \infty }{limsup}d\left(x_{n_k},y\right).& \hfill \text{(6)}\\ \hfill \text{(7)}\end{array}$$

So, $\underset{n\to \infty }{limsup}d\left(y_{n_k},y\right)=\underset{n\to \infty }{limsup}d\left(y_{n_k},x\right)$. And this implies that $x\in A\left(\left\{y_{n_k}\right\}\right)$. Since $A\left(\left\{y_{n_k}\right\}\right)=\left\{y\right\}$, x = y. So, $A\left(\left\{y_{n_k}\right\}\right)=\left\{x\right\}$ for every subsequence $\left\{y_{n_k}\right\}$ of {y _n }. Therefore, $\Delta -\underset{n}{lim}{y}_n=x$.   □

Theorem 4.3. Let C be a nonempty closed convex subset of a complete CAT(0) space X. Let T, S : C → X be two generalized hybrid mapping with F(T) ∩ F(S) ≠ ∅. Let {α _n } and {β _n } be two sequences in [0, 1]. Let {x _n } be defined as

$$\left\{\begin{array}{c}{x}_1\in C\mathsf{\text{chosen arbitrary}},\\ x_{n+1}:=P_C\left(\left(1-{\alpha }_n\right)x_n\oplus {\alpha }_{n}T{y}_n\right),\\ y_n:=P_C\left(\left(1-{\beta }_n\right)x_n\oplus {\beta }_{n}S{x}_n\right).\end{array}\right.$$

Assume that:

• (i) $k_2^T\left(w\right)=0$ for all w ∈ F (T ) ∩ F (S);

• (ii) $\underset{n\to \infty }{liminf}{\alpha }_n\left(1-{\alpha }_n\right)>0$ and $\underset{n\to \infty }{liminf}{\beta }_n\left[\left(1-{\beta }_n\right)-\frac{k_2^S\left(w\right)}{1-a_3^S\left(w\right)}\right]>0$.

Then, {x _n } Δ-converges to a common fixed point of S and T.

Proof. Take any w ∈ F(T) ∩ F(S) and let w be fixed. Then, d(Tx, w) ≤ d(x, w) for all x ≤ C. By Lemma 2.1, we have:

$$\begin{array}{c}{d}^2\left(y_n,w\right)\\ =d^2\left(P_C\left(\left(1-{\beta }_n\right)x_n\oplus {\beta }_{n}S{x}_n\right),w\right)\\ \le d^2\left(\left(1-{\beta }_n\right)x_n\oplus {\beta }_{n}S{x}_n,w\right)\\ \le \left(1-{\beta }_n\right)d^2\left(x_n,w\right)+{\beta }_n{d}^2\left(S{x}_n,w\right)-{\beta }_n\left(1-{\beta }_n\right)d^2\left(x_n,S{x}_n\right)\\ \le \left(1-{\beta }_n\right)d^2\left(x_n,w\right)+{\beta }_n\left[d^2\left(x_n,w\right)+\frac{k_2^S\left(w\right)}{1-a_3^S\left(w\right)}{d}^2\left(S{x}_n,x_n\right)\right]-{\beta }_n\left(1-{\beta }_n\right)d^2\left(x_n,S{x}_n\right)\\ \le d^2\left(x_n,w\right)-{\beta }_n\left[\left(1-{\beta }_n\right)-\frac{k_2^S\left(w\right)}{1-a_3^S\left(w\right)}\right]d^2\left(S{x}_n,x_n\right).\end{array}$$

By (ii), there exists δ > 0 and M ∈ ℕ such that

$${\beta }_n\left[\left(1-{\beta }_n\right)-\frac{k_2^S\left(w\right)}{1-a_3^S\left(w\right)}\right]\ge \delta >0$$

for all n ≥ M. Without loss of generality, we may assume that

$${\beta }_n\left[\left(1-{\beta }_n\right)-\frac{k_2^S\left(w\right)}{1-a_3^S\left(w\right)}\right]>0$$

for all n ∈ ℕ. Hence, we know that d(y _n , w) ≤ d(x _n , w), and

$$\begin{array}{c}{d}^2\left(x_{n+1},w\right)\\ =d^2\left(P_C\left(\left(1-{\alpha }_n\right)x_n\oplus {\alpha }_{n}T{y}_n\right),w\right)\\ \le d^2\left(\left(1-{\alpha }_n\right)x_n\oplus {\alpha }_{n}T{y}_n,w\right)\\ \le \left(1-{\alpha }_n\right)d^2\left(x_n,w\right)+{\alpha }_n{d}^2\left(T{y}_n,w\right)-{\alpha }_n\left(1-{\alpha }_n\right)d^2\left(x_n,T{y}_n\right)\\ \le \left(1-{\alpha }_n\right)d^2\left(x_n,w\right)+{\alpha }_n{d}^2\left(y_n,w\right)-{\alpha }_n\left(1-{\alpha }_n\right)d^2\left(x_n,T{y}_n\right)\\ \le d^2\left(x_n,w\right)-{\alpha }_n\left(1-{\alpha }_n\right)d^2\left(x_n,T{y}_n\right)\\ \le d^2\left(x_n,w\right).\end{array}$$

Hence, $\underset{n\to \infty }{lim}d\left(x_n,w\right)$ exists, and {x _n } and {y _n } are bounded sequences. Besides, we know that

$$\underset{n\to \infty }{lim}{\alpha }_n\left(1-{\alpha }_n\right)d^2\left(x_n,T{y}_n\right)=0.$$

This implies that $\underset{n\to \infty }{lim}d\left(x_n,T{y}_n\right)=0$. Furthermore, we also have:

$${\alpha }_n\left(1-{\alpha }_n\right)d^2\left(x_n,T{y}_n\right)\le d^2\left(x_n,w\right)-d^2\left(x_{n+1},w\right)+{\alpha }_n\left[d^2\left(y_n,w\right)-d^2\left(x_n,w\right)\right].$$

Then,

$${\alpha }_n\left[d^2\left(x_n,w\right)-d^2\left(y_n,w\right)\right]\le d^2\left(x_n,w\right)-d^2\left(x_{n+1},w\right).$$

And this implies that $\underset{n\to \infty }{lim}\left[d^2\left(x_n,w\right)-d^2\left(y_n,w\right)\right]=0$. Besides, we have:

$${\beta }_n\left[\left(1-{\beta }_n\right)-\frac{k_2^S\left(w\right)}{1-a_3^S\left(w\right)}\right]d^2\left(x_n,S{x}_n\right)\le d^2\left(x_n,w\right)-d^2\left(y_n,w\right).$$

This implies that $\underset{n\to \infty }{lim}d\left(x_n,S{x}_n\right)=0$. Hence,

$$\underset{n\to \infty }{limsup}d\left(y_n,x_n\right)=\underset{n\to \infty }{limsup}{\beta }_{n}d\left(x_n,S{x}_n\right)\le \underset{n\to \infty }{limsup}d\left(x_n,S{x}_n\right)=0.$$

So, $\underset{n\to \infty }{lim}d\left(y_n,x_n\right)=0$, and $\underset{n\to \infty }{lim}d\left(y_n,T{y}_n\right)=0$. By Lemma 4.1, there exist $\bar{x},ȳ\in C$ such that ${\omega }_w\left(\left\{x_n\right\}\right)=\left\{\bar{x}\right\}\subseteq F\left(S\right)$ and ${\omega }_w\left(\left\{y_n\right\}\right)=\left\{ȳ\right\}\subseteq F\left(T\right)$. So, ${\Delta \; -\; lim}_n{x}_n=\bar{x}$ and $\Delta -{lim}_n{y}_n=ȳ$. By Lemma 4.2, $\bar{x}=ȳ$.

Remark 4.3. Theorem 4.3 generalizes Theorem 4 in [22].

Following the same argument as in the proof of Corollary 4.1, we have the following result from Theorem 4.3.

Corollary 4.2. Let C be a nonempty closed convex subset of a real Hilbert space H. Let T, S : C → X be any two of nonspreading mapping, hybrid mapping, TJ-1 mapping, TJ-2 mapping. Suppose that F(T) ∩ F(S) ≠ ∅. Let {α _n } and {β _n } be two sequences in [0, 1]. Let P _C be the metric projection from H onto C. Let {x _n } be defined as

$$\left\{\begin{array}{c}{x}_1\in C\mathsf{\text{chosen arbitrary}},\\ x_{n+1}:=P_C\left(\left(1-{\alpha }_n\right)x_n+{\alpha }_{n}T{y}_n\right),\\ y_n:=P_C\left(\left(1-{\beta }_n\right)x_n+{\beta }_{n}S{x}_n\right).\end{array}\right.$$

Assume that $\underset{n\to \infty }{liminf}{\alpha }_n\left(1-{\alpha }_n\right)>0$ and$\underset{n\to \infty }{liminf}{\beta }_n\left[\left(1-{\beta }_n\right)-\frac{k_2^S\left(w\right)}{1-a_3^S\left(w\right)}\right]>0$. Then, {x _n } Δ-converges to a common fixed point of S and T.