**1. Introduction**

Throughout this paper, <sup>R</sup>, <sup>R</sup>+, and *<sup>f</sup>*<sup>℘</sup> denote the set of all real numbers, positive real numbers, and fixed points of the mapping ℘, respectively.

The fixed point theory is considered one of the most powerful analytical techniques in mathematics, especially in nonlinear analysis, where it plays a prominent role in algorithm technology. The purpose of investing in algorithms is to obtain the best algorithms with a faster convergence rate, because the lower the convergence rate, the faster the speed of obtaining the solution. This is probably the drawback of using the iterative methods.

It should be noted that the Mann iteration converges faster than the Ishikawa iteration for the class of Zamfirescu operators [1], and hence the convergence behavior of proclaimed and empirically proven faster iterative schemes need not always be faster. There was extensive literature on proclaimed new and faster iteration schemes in ancient times. Some of the iteration schemes are undoubtedly better versions of previously existed iteration schemes, whereas a few are only the special cases. There are more than twenty iteration schemes in the present literature. Our analysis's focal objective is to unify the existing results in the framework of Busemann spaces (see [2] for the precise definitions and properties of Busemann spaces). This analysis has a special significance in terms of unification, and numerous researchers have intensively investigated various aspects of it.

Apart from Picard, Mann, and Ishikawa, many iterative schemes with better convergence rates are obtained; see, for example, [3–11]. In many cases, these algorithms cannot obtain strong convergence; therefore, it was necessary to investigate new effective algorithms. Recently, several authors were able to apply the strong convergence of algorithms, see [12–16].

Recall that a metric space (B, *∂*) is called a *geodesic* path (or simply a *geodesic* [17]) in B if there is a path *γ* : [*a*, *b*] → B, such that *γ* is an isometry for [*a*, *b*] ⊂ [0, ∞). A *geodesic ray*

**Citation:** Almusawa, H.; Hammad, H.A.; Sharma, N. Approximation of the Fixed Point for Unified Three-Step Iterative Algorithm with Convergence Analysis in Busemann Spaces. *Axioms* **2021**, *10*, 26. https:// doi.org/10.3390/axioms10010026

Received: 12 January 2021 Accepted: 23 February 2021 Published: 27 February 2021


**Publisher's Note:** MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

**Copyright:** © 2021 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https:// creativecommons.org/licenses/by/ 4.0/).

is an isometry *<sup>γ</sup>* : <sup>R</sup><sup>+</sup> → B, and a *geodesic* line is an isometry *<sup>γ</sup>* : R→B. For more details about *geodesic* path in metric fixed point theory, see [18–24].

**Definition 1** ([17])**.** *Let* (B, *∂*) *be a metric space and j*, - ∈ B*. A geodesic path joining j to is a mapping <sup>γ</sup>* : [*α*, *<sup>β</sup>*] ⊆ R<sup>+</sup> → B *such that <sup>γ</sup>*(*α*) = *<sup>j</sup>*, *<sup>γ</sup>*(*β*) = *and*

> *∂*(*γ*(*t*), *γ*(*t* )) = |*t* − *t* |

*for all t*, *t* ∈ [*α*, *β*]*. Particularly, γ is an isometry and ∂*(*j*, -) = *β* − *α*.

*A geodesic segment joining j and in* B *is the image of a geodesic path in* B*. The space* B *is said to be a geodesic space, if every two points of j are joined by a geodesic.*

**Definition 2** ([17])**.** *A metric space* B *is said to be a geodesic space if given two arbitrary points of* B *there exists a geodesic path that joins them.*

**Definition 3** ([17])**.** *The geodesic metric space* (B, *∂*) *is said to be Busemann space, if for any two affinely reparametrized geodesices γ* : [*α*, *β*] → B *and γ* : [*α* , *β* ] → B, *the map* D*γ*.*<sup>γ</sup>* : [*α*, *β*] × [*α* , *β* ] → R *defined by*

$$\mathcal{D}\_{\gamma \cdot \gamma'}(t, t') = \partial(\gamma(t), \gamma'(t'))$$

*is a convex; that is, the metric of Busemann space is convex. In a Busemann space the geodesic joining any two points is unique.*

**Proposition 1** ([25])**.** *In such spaces, the hypotheses below hold:*


*where j*, -,*ε*, *ω* ∈ B *and α*, *α* ∈ [0, 1]*.*

Busemann spaces are also hyperbolic spaces, which were introduced by Kohlenbach [26]. Further, B is said to be uniquely geodesic [17] if there is exactly one *geodesic* joining *j* and for each *j*, -∈ B.

**Definition 4** ([17])**.** *Suppose that* B *is a uniquely geodesic space and γ*([*α*, *β*]) *is a geodesic segment joining j and and α* ∈ [0, 1]. *Then,*

$$\varepsilon = \gamma((1 - \mathfrak{a})\mathfrak{j} + \mathfrak{a}\ell)$$

*will be a unique point in γ*([*α*, *β*]) *satisfying*

$$
\partial(\varepsilon, \mathfrak{y}) = \mathfrak{a} \partial(\mathfrak{y}, \ell).
$$

*and*

$$
\partial(\varepsilon,\ell) = (1-\alpha)\partial(\jmath,\ell).
$$

In the sequel, the notation [*j*, -] is used for *geodesic* segment *γ*([*α*, *β*]) and *ε* is denoted by (1 − *α*)*j* ⊕ *α*-. A subset *κ* ⊆ B is said to be *geodesically* convex if *κ* includes every geodesic segment joining any two of its points. Let B be a *geodesic* metric space and ℘ : B→R. We say that ℘ is convex if for every *geodesic* path *γ* : [*α*, *β*] → B, the map ℘ ◦ *γ* : [*α*, *β*] → is a convex. It is known that if ℘ : B→R is a convex function and ℘ : B→R is an increasing convex function, then ℘ ◦ ℘ : B→R is convex.

We now introduce our algorithm.

Let B be a complete Busemann space, B*<sup>s</sup>* be a nonempty convex subset of B and ℘ : B*<sup>s</sup>* → B*<sup>s</sup>* be a mapping. For any *υ*<sup>0</sup> ∈ B*s*,

$$\begin{cases} \begin{array}{rcl} \ell\_{\eta} &=& \pi^{0}\_{\eta}\upsilon\_{\emptyset} \oplus \kappa^{0}\_{\eta}\wp\upsilon\_{\emptyset} \oplus \iota^{0}\_{\eta}\jmath\_{\emptyset} \oplus \omega^{0}\_{\eta}\wp\iota\_{\emptyset}, \\\ f\eta &=& \pi^{1}\_{\eta}\upsilon\_{\emptyset} \oplus \kappa^{1}\_{\eta}\wp\upsilon\_{\emptyset} \oplus \iota^{1}\_{\eta}\ell\_{\emptyset} \oplus \omega^{1}\_{\eta}\wp\ell\_{\emptyset}, \\\ \upsilon\_{n+1} &=& \pi^{2}\_{\eta}\upsilon\_{\emptyset} \oplus \kappa^{2}\_{\eta}\wp\upsilon\_{\emptyset} \oplus \iota^{2}\_{\eta}\jmath\_{\emptyset} \oplus \omega^{2}\_{\eta}\wp\ell\_{\emptyset} \oplus \varepsilon\_{\eta}\ell\_{\emptyset} \odot \sigma\_{\eta}\wp\ell\_{\emptyset}. \end{array} \end{cases}$$

where {*εη*}, {*ση*}, {*τ<sup>i</sup> <sup>η</sup>*}, {*κ<sup>i</sup> <sup>η</sup>*}, {*ι i <sup>η</sup>*} and {*ω<sup>i</sup> <sup>η</sup>*} for *i* = 0, 1, 2 are sequences in [0, 1]. Moreover, *τ*0 *<sup>η</sup>* + *κ*<sup>0</sup> *<sup>η</sup>* + *ι* 0 *<sup>η</sup>* + *ω*<sup>0</sup> *<sup>η</sup>* = 1, *τ*<sup>1</sup> *<sup>η</sup>* + *κ*<sup>1</sup> *<sup>η</sup>* + *ι* 1 *<sup>η</sup>* + *ω*<sup>1</sup> *<sup>η</sup>* = 1 and *τ*<sup>2</sup> *<sup>η</sup>* + *κ*<sup>2</sup> *<sup>η</sup>* + *ι* 2 *<sup>η</sup>* + *εη* + *ση* = 1.

**Remark 1.** *For distinct values of εη,* {*ση*}*, <sup>τ</sup><sup>i</sup> <sup>η</sup>, κ<sup>i</sup> <sup>η</sup>, ι i <sup>η</sup> and ω<sup>i</sup> <sup>η</sup> for i* = 0, 1, 2*, we have well-known distinct iteration schemes as follows:*


 $\left(\mathcal{R}\_5\right)$   $\mathfrak{r}\_\eta^0 = \mathfrak{r}\_\eta^1 = \mathfrak{r}\_\eta^1 = \mathfrak{r}\_\eta^2 = \mathfrak{r}\_\eta^2 = \mathfrak{e}\_\eta = \sigma\_\eta = 0$ ,  $\mathfrak{r}\_\eta^1 = (1 - \mathfrak{x}\_\eta^1)$ ,  $\mathfrak{x}\_\eta^1 = (1 - \omega\_\eta^1)$  in the standard three-step iteration scheme, we obtain the Abbas and Naizir iterative scheme [31].


#### **2. Preliminaries**

In this section, we present some relevant and essential definitions, lemmas, and theorems needed in the sequel.

**Definition 5** ([36])**.** *The Busemann space* B *is called uniformly convex if for any ζ* > 0 *and* ∈ (0, 2], *there exists a map δ such that for every three points α*, *j*, - ∈ B*, ∂*(*j*, *α*) ≤ *ζ, ∂*(-, *α*) ≤ *ζ and ∂*(*j*, -) ≥ *ζ implies that*

$$
\partial(m,\alpha) \le (1-\delta)\mathbb{Z}\_{\prime\prime}
$$

*where m denotes the midpoint of any geodesic segment* [*j*, -] *(i.e., m* = <sup>1</sup> <sup>2</sup> *<sup>j</sup>* <sup>⊕</sup> <sup>1</sup> 2 -*) and* inf{*δ* : *ζ* > 0}. *A mapping* ℘ : (0, ∞) × (0, 2] → (0, 1] *is called a modulus of uniform convexity, for* ℘(*η*, ) := *δ and for a given η* > 0, ∈ (0, 2]*.*

Henceforth, the uniform convexity modulus with a decreasing modulus concerning *η* (for a fixed ) is termed as the uniform convexity monotone modulus. The subsequent lemmas and geometric properties, which are instrumental throughout the discussion to learn about essential terms of Busemann spaces, are necessary to achieve our significant findings and are as follows:

**Lemma 1.** *If* ℘ *is a mapping satisfying condition* (E) *and has a fixed point then it is a quasinonexpansive mapping.*

Let B*<sup>s</sup>* be a nonempty closed convex subset of a Busemann space B, and let {*jη*} be a bounded sequence in B. For *j* ∈ B, we set

> *ζ*(*j*, {*jη*}) = lim sup *η*→∞ ||*jη* − *j*||.

The asymptotic radius of *ζ*({*jη*} is given by

$$\mathcal{L}(\mathcal{B}\_{\sf s}, \{\jmath\_{\sf l}\}) = \inf \{ \mathcal{\zeta}(\jmath\_{\sf l} \{\jmath\_{\sf l}\}) : \jmath \in \mathcal{B}\_{\sf s} \}$$

and the asymptotic center A({*jη*}) of {*jη*} relative to B*<sup>s</sup>* is the set

$$\mathcal{A}(\mathcal{B}\_s, \{\jmath\_\eta\}) = \{\jmath \in \mathcal{B}\_s : \zeta(\jmath, \jmath\_\eta) = \zeta(\mathcal{B}\_s, \{\jmath\_\eta\})\}.$$

It is known that, in a Busemann space, A({*jη*}) consists of exactly one point [37]. Recall that a bounded sequence {*jη*}∈B is said to be regular [38], if *ζ*({*jη*}) = *ζ*({*jηk*}) for every subsequence {*jηk*} of {*jη*}.

**Lemma 2** ([4])**.** *Let* B *be a Busemann space and j* ∈ B*,* {*tn*} *a sequence in* [*b*, *c*]*, for some b*, *c* ∈ (0, 1). *If* {*jη*} *and* {*<sup>η</sup>*} *are sequences in* B *satisfying*

$$\limsup\_{\eta \to \infty} \partial (\jmath\_{\eta \prime} \jmath) \le r$$

*also,*

$$\limsup\_{\eta \to \infty} \partial(\ell\_{\eta}, \ell) \le r$$

*and*

$$\limsup\_{\eta \to \infty} \partial (t\_{\eta} \eta \oplus (1 - t\_{\eta}) \ell\_{\eta \prime}) = r\_{\prime \prime}$$

*for some r* ≥ 0, *then*

lim *<sup>η</sup>*→<sup>∞</sup> *<sup>∂</sup>*(*jη*, *<sup>η</sup>*) = 0.

**Lemma 3** ([5])**.** *If* B*<sup>s</sup> is a closed convex subset of a uniformly convex Busemann space* B *and* {*jη*} *is a bounded sequence in* B*s, then the asymptotic center of* {*jη*} *belongs to* B*s*.

**Lemma 4** ([38])**.** *Let* B *be a Busemann space,* {*jη*} *be a bounded sequence in* B *and* B*<sup>s</sup> be a subset of* B*. Then* {*jη*} *has a subsequence, which is regular in* B*s*.

**Definition 6** ([38])**.** *A sequence* {*jη*} *in Busemann space* B *is said to be* Δ − *convergent if there exists some j* ∈ B *such that j is the unique asymptotic center of jη<sup>k</sup> for every subsequence* {*jηk*} *of* {*jη*}*. In this case we write* Δ − lim*η*→<sup>∞</sup> *jη* = *j and it is called the* Δ − lim *of* {*jη*}*.*

**Lemma 5** ([21])**.** *Every bounded sequence in a complete Busemann space always has a* Δ − *convergent subsequence.*

**Lemma 6** ([21])**.** *Suppose that* B*<sup>s</sup> is a closed convex subset of a Busemann space* B *and* ℘ : B*<sup>s</sup>* → B *satisfies the condition (*E*). Then* {*jη*}, Δ − *converges to j and ∂*(℘*jη*, *jη*) → 0, *implying that j* ∈ B*<sup>s</sup>* *and* ℘*j* = *j*.

**Definition 7.** *Assume that* B*s*= ∅ *is a subset of a Busemann space* B*. For j*, - ∈ B*s, a mapping* ℘ : B*<sup>s</sup>* → B*<sup>s</sup> is called:*


$$
\frac{1}{2}\partial(\mathfrak{j},\wp\mathfrak{j}) \le \mathfrak{j}(\mathfrak{j},\ell) \Rightarrow \mathfrak{j}(\wp\mathfrak{j},\wp\ell) \le \mathfrak{j}(\mathfrak{j},\ell).
$$

*(v) Suzuki generalized nonexpansive if it verifies Condition* (E)*.*

Garcia-Falset et al. [6] introduced the generalization for nonexpansive mappings known as condition (E*μ*).

**Definition 8** ([6])**.** *Let μ* ≥ 1. *A mapping* ℘ : B*<sup>s</sup>* → B*<sup>s</sup> is said to satisfy condition* (E*μ*) *if for all j*, -∈ B*s, we have*

$$
\partial(\jmath, \wp \ell) \le \mu \partial(\jmath, \wp \jmath) + \partial(\jmath, \ell).
$$

*We say that* ℘ *satisfies condition* (E)*, if* ℘ *satisfies condition* (E*μ*) *for some μ* ≥ 1 *[39].*

**Theorem 1.** *Let* C*<sup>s</sup> be a nonempty bounded, closed and convex subset of a complete CAT*(0) *space* C*. If* ℘ : C*<sup>s</sup>* → C*<sup>s</sup> is a generalized nonexpansive mapping, then* ℘ *has a fixed point in* C*s. Moreover, f*℘ *is closed and convex.*

#### **3. Main Results**

We begin this section with the proof of the following lemmas:

**Lemma 7.** *Let* B*<sup>s</sup> be a nonempty closed convex subset of a complete Busemann space* B*, and let* ℘ : B*<sup>s</sup>* → B*<sup>s</sup> be a mapping satisfying condition* (E*μ*)*. For an arbitrary chosen υ*<sup>0</sup> ∈ B*s, let the sequence* {*υη*} *be generated by a standard three-step iteration algorithm with the condition*

$$(\left(\tau\_{\eta}^{1} + \kappa\_{\eta}^{1}\right) + \left(\iota\_{\eta}^{1} + \omega\_{\eta}^{1}\right)\left(\tau\_{\eta}^{0} + \kappa\_{\eta}^{0}\right))\left(1 - \left(\iota\_{\eta}^{1} + \omega\_{\eta}^{1}\right)\left(\iota\_{\eta}^{0} + \omega\_{\eta}^{0}\right)\right)^{-1} \le 1$$

*and*

$$(\pi\_\eta^2 + \kappa\_\eta^2 + \iota\_\eta^2 + \omega\_\eta^2 + (\varepsilon\_\eta + \sigma\_\eta)(\pi\_\eta^0 + \kappa\_\eta^0 + \iota\_\eta^0 + \omega\_\eta^0)) \le 1.1$$

*Then,* lim*n*→<sup>∞</sup> *∂*(*υη*, *υ*∗) *exists for all υ*<sup>∗</sup> ∈ *f*℘*.*

**Proof.** Let *υ*<sup>∗</sup> ∈ *f*<sup>℘</sup> and *z* ∈ B*s*. Since ℘ satisfies condition (E*μ*), and hence

$$
\partial(\upsilon\_{\*\prime}, \wp\_{\mathcal{I}}) \le \mu \partial(\upsilon\_{\*\prime}, \wp \upsilon\_{\*}) + \partial(\upsilon\_{\*\prime}, \jmath).
$$

#### From standard three-step iteration algorithm, we have

$$\begin{split} \partial(\ell\_{\eta},\boldsymbol{\upsilon}\_{\ast}) &= \partial(\tau^{0}\_{\eta}\boldsymbol{\upsilon}\_{\eta} \oplus \kappa^{0}\_{\eta}\wp\boldsymbol{\upsilon}\_{\eta} \oplus \iota^{0}\_{\eta}\jmath\_{\eta} \oplus \omega^{0}\_{\eta}\wp\_{I\eta},\boldsymbol{\upsilon}\_{\ast}) \\ &\leq \tau^{0}\_{\eta}\partial(\boldsymbol{\upsilon}\_{\eta},\boldsymbol{\upsilon}\_{\ast}) + \kappa^{0}\_{\eta}(\mu\partial(\boldsymbol{\upsilon}\_{\ast},\boldsymbol{\varphi}\boldsymbol{\upsilon}\_{\ast}) + \partial(\boldsymbol{\upsilon}\_{\ast},\boldsymbol{\upsilon}\_{\ast})) + \iota^{0}\_{\eta}\partial(\boldsymbol{\jmath}\_{\eta},\boldsymbol{\upsilon}\_{\ast}) + \omega^{0}\_{\eta}(\mu\partial(\boldsymbol{\upsilon}\_{\ast},\boldsymbol{\varphi}\boldsymbol{\upsilon}\_{\ast}) + \partial(\boldsymbol{\upsilon}\_{\ast},\boldsymbol{\jmath}\_{\mathbb{H}})) \\ &\leq \tau^{0}\_{\eta}\partial(\boldsymbol{\upsilon}\_{\eta},\boldsymbol{\upsilon}\_{\ast}) + \kappa^{0}\_{\eta}\partial(\boldsymbol{\upsilon}\_{\eta},\boldsymbol{\upsilon}\_{\ast}) + \iota^{0}\_{\eta}\partial(\boldsymbol{\jmath}\_{\eta},\boldsymbol{\upsilon}\_{\ast}) + \omega^{0}\_{\eta}\partial(\boldsymbol{\jmath}\_{\eta},\boldsymbol{\upsilon}\_{\ast}) \\ &= (\tau^{0}\_{\eta} + \kappa^{0}\_{\eta})\partial(\boldsymbol{\upsilon}\_{\eta},\boldsymbol{\upsilon}\_{\ast}) + (\iota^{0}\_{\eta} + \omega^{0}\_{\eta})\partial(\boldsymbol{\jmath}\_{\eta},\boldsymbol{\upsilon}\_{\ast}). \end{split}$$

Also,

$$\begin{split} \partial(\eta\_{\eta},\boldsymbol{\upsilon}\_{\ast}) &= \partial(\boldsymbol{\tau}\_{\eta}^{1}\boldsymbol{\upsilon}\_{\eta}\oplus\boldsymbol{\kappa}\_{\eta}^{1}\boldsymbol{\varsigma}\boldsymbol{\upsilon}\boldsymbol{\upsilon}\_{\eta}\oplus\boldsymbol{\iota}\_{\eta}^{1}\ell\_{\eta}\oplus\boldsymbol{\omega}\_{\eta}^{1}\boldsymbol{\varsigma}\boldsymbol{\upsilon}\ell\_{\eta},\boldsymbol{\upsilon}\_{\ast}) \\ &\leq \boldsymbol{\tau}\_{\eta}^{1}\partial(\boldsymbol{\upsilon}\_{\eta},\boldsymbol{\upsilon}\_{\ast}) + \boldsymbol{\kappa}\_{\eta}^{1}\partial(\boldsymbol{\varsigma}\boldsymbol{\upsilon}\_{\eta},\boldsymbol{\upsilon}\_{\ast}) + \boldsymbol{\iota}\_{\eta}^{1}\partial(\ell\_{\eta},\boldsymbol{\upsilon}\_{\ast}) + \boldsymbol{\omega}\_{\eta}^{1}\partial(\boldsymbol{\varsigma}\ell\_{\eta},\boldsymbol{\upsilon}\_{\ast}) \\ &\leq \boldsymbol{\tau}\_{\eta}^{1}\partial(\boldsymbol{\upsilon}\_{\eta},\boldsymbol{\upsilon}\_{\ast}) + \boldsymbol{\kappa}\_{\eta}^{1}(\mu\partial(\boldsymbol{\upsilon}\_{\ast},\boldsymbol{\upsilon}\_{\ast}\boldsymbol{\upsilon}\_{\ast}) + \partial(\boldsymbol{\upsilon}\_{\ast},\boldsymbol{\upsilon}\_{\ast})) + \boldsymbol{\iota}\_{\eta}^{1}\partial(\ell\_{\eta},\boldsymbol{\upsilon}\_{\ast}) + \boldsymbol{\omega}\_{\eta}^{1}(\mu\partial(\boldsymbol{\upsilon}\_{\ast},\boldsymbol{\varphi}\boldsymbol{\upsilon}\_{\ast}) + \partial(\boldsymbol{\upsilon}\_{\ast},\ell\_{\eta})) \\ &= (\boldsymbol{\tau}\_{\eta}^{1} + \boldsymbol{\kappa}\_{\eta}^{1})\partial(\boldsymbol{\upsilon}\_{\eta},\boldsymbol{\upsilon}\_{\ast}) + (\boldsymbol{\iota}\_{\eta}^{1} + \boldsymbol{\omega}\_{\eta}^{1})\partial(\ell\_{\eta},\boldsymbol{\upsilon}\_{\ast}). \end{split}$$

Using the value of *∂*(*<sup>η</sup>*, *υ*∗), we have

*<sup>∂</sup>*(*jη*, *<sup>υ</sup>*∗) <sup>≤</sup> (*τ*<sup>1</sup> *<sup>η</sup>* + *κ*<sup>1</sup> *<sup>η</sup>*)*∂*(*υη*, *υ*∗)+(*ι* 1 *<sup>η</sup>* + *ω*<sup>1</sup> *η*)((*τ*<sup>0</sup> *<sup>η</sup>* + *κ*<sup>0</sup> *<sup>η</sup>*)*∂*(*υη*, *υ*∗)+(*ι* 0 *<sup>η</sup>* + *ω*<sup>0</sup> *<sup>η</sup>*)*∂*(*jη*, *υ*∗)) <sup>≤</sup> ((*τ*<sup>1</sup> *<sup>η</sup>* + *κ*<sup>1</sup> *<sup>η</sup>*)+(*ι* 1 *<sup>η</sup>* + *ω*<sup>1</sup> *η*)(*τ*<sup>0</sup> *<sup>η</sup>* + *κ*<sup>0</sup> *<sup>η</sup>*))*∂*(*υη*, *υ*∗)+(*ι* 1 *<sup>η</sup>* + *ω*<sup>1</sup> *<sup>η</sup>*)(*ι* 0 *<sup>η</sup>* + *ω*<sup>0</sup> *<sup>η</sup>*)*∂*(*jη*, *υ*∗) *∂*(*jη*, *υ*∗) ≤ (*τ*<sup>1</sup> *<sup>η</sup>* + *κ*<sup>1</sup> *<sup>η</sup>*)+(*ι* 1 *<sup>η</sup>* + *ω*<sup>1</sup> *η*)(*τ*<sup>0</sup> *<sup>η</sup>* + *κ*<sup>0</sup> *η*) 1 − (*ι* 1 *<sup>η</sup>* + *ω*<sup>1</sup> *<sup>η</sup>*)(*ι* 0 *<sup>η</sup>* + *ω*<sup>0</sup> *η*) *∂*(*υη*, *υ*∗). Since ((*τ*<sup>1</sup> *<sup>η</sup>* + *κ*<sup>1</sup> *<sup>η</sup>*)+(*ι* 1 *<sup>η</sup>* + *ω*<sup>1</sup> *η*)(*τ*<sup>0</sup> *<sup>η</sup>* + *κ*<sup>0</sup> *<sup>η</sup>*))(1 − (*ι* 1 *<sup>η</sup>* + *ω*<sup>1</sup> *<sup>η</sup>*)(*ι* 0 *<sup>η</sup>* + *ω*<sup>0</sup> *<sup>η</sup>*))−<sup>1</sup> <sup>≤</sup> 1, we have

$$
\partial(\!\_{J\eta}, \upsilon\_\*) \le \partial(\upsilon\_{\eta\_{\prime}} \upsilon\_\*) .
$$

Now,

*<sup>∂</sup>*(*υn*+1, *<sup>υ</sup>*∗) <sup>≤</sup> *<sup>∂</sup>*(*τ*<sup>2</sup> *<sup>η</sup> υη* <sup>⊕</sup> *<sup>κ</sup>*<sup>2</sup> *<sup>η</sup>*℘*υη* ⊕ *ι* 2 *<sup>η</sup> jη* <sup>⊕</sup> *<sup>ω</sup>*<sup>2</sup> *<sup>η</sup>*℘*jη* ⊕ *εη<sup>η</sup>* ⊕ *ση*℘*<sup>η</sup>*, *υ*∗) <sup>≤</sup> *<sup>τ</sup>*<sup>2</sup> *<sup>η</sup> <sup>∂</sup>*(*υη*, *<sup>υ</sup>*∗) + *<sup>κ</sup>*<sup>2</sup> *η∂*(℘*υη*, *υ*∗) + *ι* 2 *η∂*(*jη*, *<sup>υ</sup>*∗) + *<sup>ω</sup>*<sup>2</sup> *η∂*(℘*jη*, *υ*∗) + *εη∂*(*<sup>η</sup>*, *υ*∗) + *ση∂*(℘*<sup>η</sup>*, *υ*∗) <sup>≤</sup> *<sup>τ</sup>*<sup>2</sup> *<sup>η</sup> <sup>∂</sup>*(*υη*, *<sup>υ</sup>*∗) + *<sup>κ</sup>*<sup>2</sup> *<sup>η</sup>*(*μ∂*(℘*υ*∗, *υ*∗) + *∂*(*υη*, *υ*∗)) + *ι* 2 *η∂*(*jη*, *<sup>υ</sup>*∗) + *<sup>ω</sup>*<sup>2</sup> *<sup>η</sup>*(*μ∂*(℘*υ*∗, *υ*∗) + *∂*(*jη*, *υη*)) + *εη∂*(*<sup>η</sup>*, *υ*∗) + *ση*(*μ∂*(℘*υ*∗, *υ*∗) + *∂*(*<sup>η</sup>*, *υ*∗)) <sup>≤</sup> (*τ*<sup>2</sup> *<sup>η</sup>* + *κ*<sup>2</sup> *<sup>η</sup>*)*∂*(*υη*, *υ*∗)+(*ι* 2 *<sup>η</sup>* + *ω*<sup>2</sup> *<sup>η</sup>*)*∂*(*jη*, *υ*∗)+(*εη* + *ση*)*∂*(*<sup>η</sup>*, *υ*∗).

Since

$$
\partial(\jmath\_{\eta\_{\prime}}\upsilon\_{\*}) \leq \partial(\upsilon\_{\eta\_{\prime}}\upsilon\_{\*})\_{\prime}
$$

we have

$$
\partial(\upsilon\_{n+1}, \upsilon\_{\*}) \le (\tau\_{\eta}^2 + \kappa\_{\eta}^2 + \iota\_{\eta}^2 + \omega\_{\eta}^2) \partial(\upsilon\_{\eta \prime}, \upsilon\_{\*}) + (\varepsilon\_{\eta} + \sigma\_{\eta}) \partial(\ell\_{\eta \prime}, \upsilon\_{\*}) .
$$

On substituting

$$
\partial(\ell\_{\eta\_{\prime}}\upsilon\_{\ast}) = (\pi\_{\eta}^{0} + \kappa\_{\eta}^{0})\partial(\upsilon\_{\eta\_{\prime}}\upsilon\_{\ast}) + (\iota\_{\eta}^{0} + \omega\_{\eta}^{0})\partial(\jmath\_{\eta\_{\prime}}\upsilon\_{\ast})\_{\ast}
$$

we have

*<sup>∂</sup>*(*υn*+1, *<sup>υ</sup>*∗) <sup>≤</sup> (*τ*<sup>2</sup> *<sup>η</sup>* + *κ*<sup>2</sup> *<sup>η</sup>* + *ι* 2 *<sup>η</sup>* + *ω*<sup>2</sup> *<sup>η</sup>*)*∂*(*υη*, *<sup>υ</sup>*∗) + ((*εη* <sup>+</sup> *ση*) <sup>×</sup> (*τ*<sup>0</sup> *<sup>η</sup>* + *κ*<sup>0</sup> *<sup>η</sup>*)*∂*(*υη*, *υ*∗)+(*ι* 0 *<sup>η</sup>* + *ω*<sup>0</sup> *<sup>η</sup>*)*∂*(*jη*, *υ*∗)) <sup>≤</sup> (*τ*<sup>2</sup> *<sup>η</sup>* + *κ*<sup>2</sup> *<sup>η</sup>* + *ι* 2 *<sup>η</sup>* + *ω*<sup>2</sup> *<sup>η</sup>*)*∂*(*υη*, *<sup>υ</sup>*∗)+(*εη* <sup>+</sup> *ση*)(*τ*<sup>0</sup> *<sup>η</sup>* + *κ*<sup>0</sup> *<sup>η</sup>* + *ι* 0 *<sup>η</sup>* + *ω*<sup>0</sup> *<sup>η</sup>*)*∂*(*υη*, *υ*∗) = (*τ*<sup>2</sup> *<sup>η</sup>* + *κ*<sup>2</sup> *<sup>η</sup>* + *ι* 2 *<sup>η</sup>* + *ω*<sup>2</sup> *<sup>η</sup>* + (*εη* + *ση*)(*τ*<sup>0</sup> *<sup>η</sup>* + *κ*<sup>0</sup> *<sup>η</sup>* + *ι* 0 *<sup>η</sup>* + *ω*<sup>0</sup> *<sup>η</sup>*))*∂*(*υη*, *υ*∗).

Also, it is given that

$$(\tau\_\eta^2 + \kappa\_\eta^2 + \iota\_\eta^2 + \omega\_\eta^2 + (\varepsilon\_\eta + \sigma\_\eta)(\tau\_\eta^0 + \kappa\_\eta^0 + \iota\_\eta^0 + \omega\_\eta^0)) \le 1/2$$

we have

$$
\partial(\upsilon\_{n+1}, \upsilon\_\*) \le \partial(\upsilon\_{\eta\_\*} \upsilon\_\*) .
$$

This implies that {*∂*(*υη*, *υ*∗)} is bounded and non-increasing for all *υ*<sup>∗</sup> ∈ *f*℘. Hence, lim*n*→<sup>∞</sup> *∂*(*υη*, *υ*∗) exists, as required.

**Lemma 8.** *Let* B*<sup>s</sup> be a nonempty closed convex subset of complete Busemann space* B*, and* ℘ : B*<sup>s</sup>* → B*<sup>s</sup> be a mapping satisfying condition* (E*μ*)*. For an arbitrary chosen υ*<sup>0</sup> ∈ B*s, let the sequence* {*υη*} *be generated by a standard three-step iteration algorithm. Then, f*<sup>℘</sup> *is nonempty if and only if* {*υη*} *is bounded and* lim*n*→<sup>∞</sup> *∂*(℘*υη*, *υη*) = 0 *for a unique asymptotic center.*

**Proof.** Since *f*<sup>℘</sup> = ∅, let *υ*<sup>∗</sup> ∈ *f*<sup>℘</sup> and *z* ∈ B*s*. Using Lemma 7, there is an existence of lim*n*→<sup>∞</sup> *∂*(*υη*, *υ*∗), which confirms the boundedness of {*υη*}. Assuming

$$\lim\_{n \to \infty} \partial(\upsilon\_{\eta\_{\prime}} \upsilon\_{\*}) = r\_{\prime}$$

on combining this result with the values of *∂*(*jη*, *υ*∗) and *∂*(*<sup>η</sup>*, *υ*∗) of Lemma 7

$$\limsup\_{n \to \infty} \partial(\ell\_{\eta\_{\prime}} \upsilon\_{\*}) \le \limsup\_{n \to \infty} \partial(\upsilon\_{\eta\_{\prime}} \upsilon\_{\*}) = r. \tag{2.1}$$

Also,

$$\begin{aligned} \limsup\_{n \to \infty} \partial(\wp \upsilon\_{\eta \prime} \upsilon\_{\ast}) &= \limsup\_{n \to \infty} (\mu \partial(\wp \upsilon\_{\ast} \upsilon\_{\ast}) + \partial(\upsilon\_{\eta \prime} \upsilon\_{\ast})) \\ &\leq \limsup\_{n \to \infty} \partial(\upsilon\_{\eta \prime} \upsilon\_{\ast}) \\ &= r. \end{aligned}$$

On the other hand, by using the value of *∂*(*<sup>η</sup>*, *υ*∗) of Lemma 7, we have

*<sup>∂</sup>*(*υn*+1, *<sup>υ</sup>*∗) <sup>≤</sup> *<sup>∂</sup>*(*τ*<sup>2</sup> *<sup>η</sup> υη* <sup>⊕</sup> *<sup>κ</sup>*<sup>2</sup> *<sup>η</sup>*℘*υη* ⊕ *ι* 2 *<sup>η</sup> jη* <sup>⊕</sup> *<sup>ω</sup>*<sup>2</sup> *<sup>η</sup>*℘*jη* ⊕ *εη<sup>η</sup>* ⊕ *σ*℘*<sup>η</sup>*, *υ*∗) <sup>≤</sup> *<sup>τ</sup>*<sup>2</sup> *<sup>η</sup> <sup>∂</sup>*(*υη*, *<sup>υ</sup>*∗) + *<sup>κ</sup>*<sup>2</sup> *η∂*(℘*υη*, *υ*∗) + *ι* 2 *η∂*(*jη*, *<sup>υ</sup>*∗) + *<sup>ω</sup>*<sup>2</sup> *η∂*(℘*jη*, *υ*∗) + *εη∂*(*<sup>η</sup>*, *υ*∗) + *ση∂*(℘*<sup>η</sup>*, *υ*∗) <sup>≤</sup> *<sup>τ</sup>*<sup>2</sup> *<sup>η</sup> <sup>∂</sup>*(*υη*, *<sup>υ</sup>*∗) + *<sup>κ</sup>*<sup>2</sup> *<sup>η</sup>*(*μ∂*(℘*υ*∗, *υ*∗) + *∂*(*υη*, *υ*∗)) + *ι* 2 *η∂*(*jη*, *<sup>υ</sup>*∗) + *<sup>ω</sup>*<sup>2</sup> *<sup>η</sup>*(*μ∂*(℘*υ*∗, *υ*∗) + *∂*(*jη*, *υ*∗)) + *εη∂*(*<sup>η</sup>*, *υ*∗) + *ση*(*μ∂*(℘*υ*∗, *υ*∗) + *∂*(*<sup>n</sup>*, *υ*∗)) <sup>≤</sup> (*τ*<sup>2</sup> *<sup>η</sup>* + *κ*<sup>2</sup> *<sup>η</sup>* + *ι* 2 *<sup>η</sup>* + *ω*<sup>2</sup> *<sup>η</sup>*)*∂*(*υη*, *υ*∗)+(*εη* + *ση*)*∂*(*<sup>η</sup>*, *υ*∗) <sup>≤</sup> (*τ*<sup>2</sup> *<sup>η</sup>* + *κ*<sup>2</sup> *<sup>η</sup>* + *ι* 2 *<sup>η</sup>* + *ω*<sup>2</sup> *<sup>η</sup>*)*∂*(*υη*, *υ*∗)+(*εη* + *ση*)*∂*(*<sup>η</sup>*, *υ*∗),

by the above-mentioned standard three-step iteration algorithm,

$$\begin{split} \partial(\upsilon\_{n+1}, \upsilon\_{\*}) &\leq (1 - (\varepsilon\_{\eta} + \sigma\_{\eta})) \partial(\upsilon\_{\eta}, \upsilon\_{\*}) + (\varepsilon\_{\eta} + \sigma\_{\eta}) \partial(\ell\_{\eta}, \upsilon\_{\*}) \\ &\leq \partial(\upsilon\_{\eta}, \upsilon\_{\*}) - (\varepsilon\_{\eta} + \sigma\_{\eta}) \partial(\upsilon\_{\eta}, \upsilon\_{\*}) + (\varepsilon\_{\eta} + \sigma\_{\eta}) \partial(\ell\_{\eta}, \upsilon\_{\*}) .\end{split}$$

This implies that,

$$\begin{split} \left\|(\upsilon\_{n+1},\upsilon\_{\ast})\right\| &\leq \left\|(\upsilon\_{\eta},\upsilon\_{\ast})-(\varepsilon\_{\eta}+\sigma\_{\eta})\right\| \left(\upsilon\_{\eta},\upsilon\_{\ast}\right)+(\varepsilon\_{\eta}+\sigma\_{\eta})\left\|(\ell\_{\eta},\upsilon\_{\ast})\right\| \\ &\leq \left\|(\upsilon\_{\eta},\upsilon\_{\ast})+(\varepsilon\_{\eta}+\sigma\_{\eta})\right\| \left(\delta(\ell\_{\eta},\upsilon\_{\ast})-\eth(\upsilon\_{\eta},\upsilon\_{\ast})\right) . \\ \left\|\partial(\upsilon\_{n+1},\upsilon\_{\ast})-\partial(\upsilon\_{\eta},\upsilon\_{\ast})\right\| &\leq \left(\varepsilon\_{\eta}+\sigma\_{\eta}\right)\left(\partial(\ell\_{\eta},\upsilon\_{\ast})-\partial(\upsilon\_{\eta},\upsilon\_{\ast})\right) . \\ \left\|\partial(\upsilon\_{n+1},\upsilon\_{\ast})-\partial(\upsilon\_{\eta},\upsilon\_{\ast})\right\| &\leq \left(\partial(\ell\_{\eta},\upsilon\_{\ast})-\partial(\upsilon\_{\eta},\upsilon\_{\ast})\right). \end{split}$$

This implies that,

$$\left(\partial(\upsilon\_{n+1},\upsilon\_{\*}) - \partial(\upsilon\_{\eta\_{\*}},\upsilon\_{\*})\right) \leq \frac{\left\|(\upsilon\_{n+1},\upsilon\_{\*}) - \partial(\upsilon\_{\eta\_{\*}},\upsilon\_{\*})\right\|}{\left(\varepsilon\_{\eta} + \sigma\_{\eta}\right)} \leq \left(\partial(\ell\_{\eta\_{\*}}\upsilon\_{\*}) - \partial(\upsilon\_{\eta\_{\*}}\upsilon\_{\*})\right)^{2}$$

and hence, we have

$$
\partial(\upsilon\_{n+1\prime}\upsilon\_\*) \le \partial(\ell\_{\eta\prime}\upsilon\_\*).
$$

Therefore,

$$r \le \lim\_{n \to \infty} \partial(\ell\_{\eta^\*} v\_\*). \tag{2.2}$$

By using Equations (2.1) and (2.2), we have

$$\begin{split} r &= \lim\_{n \to \infty} \partial(\ell\_{\eta}, \nu\_{\ast}) \\ &= \lim\_{n \to \infty} \partial(\pi\_{\eta}^{0} \nu\_{\eta} \oplus \pi\_{\eta}^{0} \wp \nu\_{\eta} \oplus \iota\_{\eta}^{0} \jmath\_{\eta} \oplus \omega\_{\eta}^{0} \wp \jmath\_{\eta} \nu\_{\ast}) \\ &= \lim\_{n \to \infty} \left( \partial(\pi\_{\eta}^{0} \nu\_{\eta} + \kappa\_{\eta}^{0} \wp \nu\_{\eta}, \nu\_{\ast}) + (\iota\_{\eta}^{0} + \omega\_{\eta}^{0}) \partial(\jmath\_{\eta}, \nu\_{\ast}) \right) \\ &= \lim\_{n \to \infty} \left( (\iota\_{\eta}^{0} + \iota\_{\eta}^{0} + \omega\_{\eta}^{0}) \partial(\upsilon\_{\eta}, \nu\_{\ast}) + \kappa\_{\eta}^{0} \partial(\wp \upsilon\_{\eta}, \upsilon\_{\ast}) \right) \\ &= \lim\_{n \to \infty} \left( (\iota\_{\eta}^{0} + \iota\_{\eta}^{0} + \omega\_{\eta}^{0}) \partial(\upsilon\_{\eta}, \nu\_{\ast}) + \kappa\_{\eta}^{0} (\mu \partial(\wp \upsilon\_{\ast}, \upsilon\_{\ast}) + \partial(\upsilon\_{\eta}, \upsilon\_{\ast})) \right) \\ &= \lim\_{n \to \infty} \left( (1 - \kappa\_{\eta}^{0}) \partial(\upsilon\_{\eta}, \upsilon\_{\ast}) + \kappa\_{\eta}^{0} \partial(\upsilon\_{\eta}, \upsilon\_{\ast}) \right) \\ &= \lim\_{n \to \infty} \partial(\upsilon\_{\eta}, \upsilon\_{\ast}) . \end{split} \tag{2.3}$$

Using Equations (2.1) and (2.3) and the above-mentioned inequalities, we have

$$\limsup\_{n \to \infty} \partial(\ell\_{\mathcal{V}'} \upsilon\_\*) \le \limsup\_{n \to \infty} \partial(\upsilon\_{\mathcal{V}'} \upsilon\_\*) = r\_\*$$

and hence, by Lemma 2, we have

$$\lim\_{n \to \infty} \partial (\wp \upsilon\_{\eta}, \upsilon\_{\eta}) = 0.$$

Conversely, suppose that {*υη*} is bounded and lim*n*→<sup>∞</sup> *∂*(℘*υη*, *υη*) = 0. Then, by Lemma 4 {*υη*} has a subsequence that is regular with respect to B*s*. Let *<sup>υ</sup>*{*ηκ*} be a subsequence of {*υη*} in such a way that *A*(B*s*, {*υη*}) = *υ*. Hence, we have

$$\begin{aligned} \limsup\_{n \to \infty} \partial(\upsilon\_{\eta\_{\ast}} \wp \upsilon\_{\ast}) &\leq \limsup\_{n \to \infty} (\mu \partial(\upsilon\_{\eta\_{\ast}} \wp \upsilon\_{\eta}) + \partial(\upsilon\_{\eta\_{\ast}} \upsilon)) \\ &\leq \limsup\_{n \to \infty} \partial(\upsilon\_{\eta\_{\ast}} \upsilon) \end{aligned}$$

As a consequence, the uniqueness of the asymptotic center ensures that *υ* is a fixed point of ℘ so this concludes the proof.

Now, we state and prove our main theorems in this section.

**Theorem 2.** *Let* B*<sup>s</sup> be a nonempty closed convex subset of a compete Busemann space* B *and* ℘ : B*<sup>s</sup>* → B*<sup>s</sup> be a mapping satisfying condition* (E*μ*)*. For an arbitrary chosen υ*<sup>0</sup> ∈ B*s, assume that* {*υη*} *is a sequence generated by a standard three-step iteration algorithm. Then f*<sup>℘</sup> = ∅ *and* {*υη*} Δ−*converges to a fixed point of* ℘*.*

**Proof.** Since *f*<sup>℘</sup> = ∅, so by Lemma 8, we have bounded {*υη*} and

$$\lim\_{n \to \infty} \partial (\wp \upsilon\_{\eta\_{\prime}} \upsilon\_{\eta}) = 0.$$

Also, let

$$\omega\_{\omega} \{ v\_{\eta} \} := \bigcup \mathcal{A}(v\_{\eta\_{\kappa}})$$

where the union is taken over all subsequences {*υηκ* } of {*υη*}. We claim that *ωω*{*υη*} ⊂ *f*℘. Considering *υ*<sup>∗</sup> ∈ *ωω*{*υη*}, then there is an existence of subsequence {*υηκ* } of {*υη*} in such a way that A({*υη*}) = {*υ*∗}. Using Lemmas 3 and 5 there is an existence of subsequence {*υ ηκ* } of {*υηκ* } in such a way that Δ − lim*η*→∞{*υ ηκ* } = *υ* <sup>∗</sup> ∈ B*s*. Since lim*η*→<sup>∞</sup> *∂*(*υ ηκ* , ℘*υ ηκ* ) = 0, then by Lemma 6 *υ* ∈ *f*℘. We claim that *υ*<sup>∗</sup> = *υ* <sup>∗</sup>. In contrast, since ℘ is a mapping satisfying condition (E) and *υ*<sup>∗</sup> ∈ *f*℘, then by Lemma 7 there is an existence of lim*η*→<sup>∞</sup> *∂*(*υη*, *υ*∗). Using the uniqueness of asymptotic centers, we have

$$\begin{aligned} \limsup\_{n \to \infty} \partial(\upsilon\_{\eta\_{\ast}} \upsilon\_{\ast}^{\prime}) &< \limsup\_{n \to \infty} \partial(\upsilon\_{\eta\_{\ast\ast}}^{\prime} \upsilon\_{\ast}) \\ &\leq \lim\_{n \to \infty} \partial(\upsilon\_{\eta\_{\ast\ast}} \upsilon\_{\ast}) \\ &< \lim\_{n \to \infty} \partial(\upsilon\_{\eta\_{\ast\ast}}^{\prime} \upsilon\_{\ast}^{\prime}) \\ &= \lim\_{n \to \infty} \partial(\upsilon\_{\eta\_{\ast\prime}} \upsilon\_{\ast}^{\prime}) \\ &= \lim\_{n \to \infty} \partial(\upsilon\_{\eta\_{\ast\ast}}^{\prime} \upsilon\_{\ast}^{\prime}) \end{aligned}$$

which is a contradiction. So *υ ηκ* = *υηκ* ∈ *f*℘. To prove that {*υη*} Δ−converges to a fixed point of ℘, it is sufficient to show that *ωω*{*υη*} consists of exactly one point. Considering a subsequence {*υηκ* } of {*υη*}. By Lemmas 3 and 5 there is existence of subsequence {*υ ηκ* } of {*υηκ* }, which is how Δ − lim*η*→∞{*υ ηκ* } = *υ* <sup>∗</sup> ∈ B*s*. Let A({*υηκ* }) = {*υ*∗} and A({*υη*}) = *υ*∗∗. We can conclude the explanation by proving that *υ*∗∗ = *υ*∗. On the contrary, since *∂*(*υη*, *υ ηκ* ) is convergent, then by the uniqueness of the asymptotic centers, we have

$$\begin{aligned} \limsup\_{n \to \infty} \partial(\upsilon\_{\eta'} \upsilon'\_{\*}) &< \limsup\_{n \to \infty} \partial(\upsilon'\_{\eta\_{\kappa'}} \upsilon\_{\*\*\*}) \\ &\le \lim\_{n \to \infty} \partial(\upsilon\_{\eta\_{\kappa'}} \upsilon\_{\*\*}) \\ &< \lim\_{n \to \infty} \partial(\upsilon\_{\eta\_{\kappa'}} \upsilon'\_{\*}) \\ &= \lim\_{n \to \infty} \partial(\upsilon'\_{\eta\_{\kappa'}} \upsilon'\_{\*}) \end{aligned}$$

which is a contradiction. Hence, *f*<sup>℘</sup> = ∅ and {*υη*} Δ−converges to a fixed point of ℘.

**Theorem 3.** *Let* B*<sup>s</sup> be a nonempty closed convex and complete Busemann space* B*, and* ℘ : B*<sup>s</sup>* → B*<sup>s</sup> be a mapping verification condition* (E*μ*)*. For an arbitrary chosen υ*<sup>0</sup> ∈ B*s, assume that* {*υη*} *is a sequence generated by a standard three-step iteration algorithm. Then* {*υη*} *converges strongly to a fixed point of* ℘*.*

**Proof.** By Lemmas 7, 8 and Theorem 2, we have *f*<sup>℘</sup> = ∅ so by Lemma 8 {*υη*} is bounded and Δ−converges to *υ* ∈ *f*℘. Suppose on the contrary that {*υη*} does not converge strongly to *υ*. By the compactness assumption, passing to subsequences if necessary, we may assume that there exists *υ* ∈ B*<sup>s</sup>* with *υ* = *υ* such that {*υη*} converges strongly to *υ* . Therefore,

$$\lim\_{n \to \infty} \partial(\wp \upsilon\_{\eta \prime} \upsilon^{\prime}) = 0 \le \lim\_{n \to \infty} \partial(\wp \upsilon\_{\eta \prime} \upsilon).$$

Since *υ* is the unique asymptotic center of {*υη*}, it follows that *υ* = *υ*, which is a contradiction. Hence, {*υη*} converges strongly to a fixed point of ℘.

#### **4. Conclusions**

The extension of the linear version of fixed point results to nonlinear domains has its own significance. To achieve the objective of replacing a linear domain with a nonlinear one, Takahashi [40] introduced the notion of a convex metric space and studied fixed point results of nonexpansive mappings in this direction. Since the standard three-step iteration scheme unifies various existing iteration schemes for different values of *εη*, *ση*, *τ<sup>i</sup> <sup>η</sup>*, *κ<sup>i</sup> <sup>η</sup>*, *ω<sup>i</sup> η*, and *ι i <sup>η</sup>* for *i* = 0, 1, 2, existing results of the standard three-step iteration scheme including strong and Δ − *convergence* results in the setting of Busemann spaces satisfying condition E are generalized.

**Author Contributions:** All authors have equally contributed to this work. All authors have read and agreed to the published version of the manuscript.

**Funding:** This work received no external funding.

**Acknowledgments:** The authors are very grateful to the anonymous reviewers for their constructive comments leading to the substantial improvement of the paper.

**Conflicts of Interest:** The authors declare no conflict of interest.

### **References**

