Fixed-point Acceleration Algorithm of Total Asymptotically Nonexpansive Mappings

Rana Fadhil; Salwa Salman

doi:10.12688/f1000research.172972.3

Home Browse Fixed-point Acceleration Algorithm of Total Asymptotically Nonexpansive...

ALL Metrics

Views

Downloads

Get PDF

Get XML

Export

▬

✚

Research Article

Revised

Fixed-point Acceleration Algorithm of Total Asymptotically Nonexpansive Mappings

[version 3; peer review: 1 approved with reservations, 1 not approved]

Rana Fadhil ¹, Salwa Salman¹

PUBLISHED 18 Apr 2026

Author details Author details

¹ Mathematics, University of Baghdad, Baghdad, Baghdad Governorate, 10011, Iraq

Rana Fadhil
Roles: Writing – Original Draft Preparation

Salwa Salman
Roles: Writing – Review & Editing

OPEN PEER REVIEW

REVIEWER STATUS

This article is included in the Fallujah Multidisciplinary Science and Innovation gateway.

Abstract

Fixed-point iterative methods play a fundamental role in nonlinear functional analysis and its applications. In this paper, we consider a real uniformly convex Banach space and introduce a modified accelerated four-step iterative scheme for approximating fixed-point of a class of total asymptotically nonexpansive TAN-mappings. The proposed approach is formulated within a general TAN framework and does not require compactness assumptions at the level of weak convergence. Weak convergence of the algorithm is established under Opial’s condition, whereas strong convergence is obtained by additionally assuming semi-compactness of the underlying mapping. Moreover, a rigorous comparative convergence analysis is provided to examine the rate of convergence of the proposed scheme relative to the HR-type iterative process. The theoretical results are supported by numerical experiments illustrating the convergence dynamics of both methods. Finally, the applicability of the framework is demonstrated by applying it to a nonlinear two-dimensional Volterra integral equation.

Keywords

Banach Spaces, Iterative Schemes, Total Asymptotically Non-Expansive Mappings, Fixed Points, Strong Convergence, Weak Convergence, Stability.

Corresponding author: Rana Fadhil

Competing interests: No competing interests were disclosed.

Grant information: The author(s) declared that no grants were involved in supporting this work.

Copyright: © 2026 Fadhil R and Salman S. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to cite: Fadhil R and Salman S. Fixed-point Acceleration Algorithm of Total Asymptotically Nonexpansive Mappings [version 3; peer review: 1 approved with reservations, 1 not approved]. F1000Research 2026, 14:1430 (https://doi.org/10.12688/f1000research.172972.3) First published: 22 Dec 2025, 14:1430 (https://doi.org/10.12688/f1000research.172972.1) Latest published: 18 Apr 2026, 14:1430 (https://doi.org/10.12688/f1000research.172972.3)

Revised Amendments from Version 2

Dear Professors and Colleagues,
Thank you very much for your efforts in supporting research activities.
I am uploading a carefully revised version, and I hope it meets your approval.
I would like to clarify the following:
- The texts have been written in standard format.
- The stability theorem has been revised.
- The reason for presenting 2D-Volterra integral equations as an application is:
They provide powerful mathematical models for systems with two variables, serving as an important theoretical framework in functional analysis, PDEs, and fixed-point theory. Additionally, this type of equation has been rarely used in research papers on approximate fixed points.
Regards

See the authors' detailed response to the review by Tanakit Thianwan

Introduction

Fixed point theory in Banach spaces has developed through successive generalizations of contractive-type mappings. Early foundational contributions by Browder (1965) and Kirk (1965) in,¹^,² initiated the systematic study of nonexpansive mappings and established fundamental fixed-point results in uniformly convex Banach spaces. This line of research was later extended by Goebel and Kirk (1972) in,³ who introduced the asymptotically nonexpansive mappings, thereby broadening the scope of fixed-point analysis to operators whose iterates exhibit asymptotic nonexpansiveness. Building upon these developments, Alber, Chidume, and Zegeye (2005) in⁴ a introduced the class of totally asymptotically nonexpansive TAN-mappings. Let $X$ be a Banach space and let $Ψ : X \to X$ . The mapping Ψ is said to be totally asymptotically nonexpansive if there exist nonnegative real sequences $μ_{v}$ and ${κ_{v}}$ satisfying $μ_{v} \to 0, κ_{v} \to 0 as v \to \infty$ , together with a strictly increasing continuous function $\emptyset : ℝ^{+} \to ℝ^{+}$ with $\emptyset (0) = 0$ such that for all $x, y \in X$ .

‖ Ψ^{v} x - Ψ^{v} y ‖ \leq ‖ x - y ‖ + μ_{v} \emptyset (‖ x - y ‖) + κ_{v} holds for all v \geq 1

This framework unifies nonexpansive and asymptotically nonexpansive mappings as particular cases and provides a flexible framework for analyzing convergence behavior of iterative schemes in Banach spaces. Since their introduction, TAN-mapping has been extensively investigated through various iterative procedures. Classical schemes such as Mann, Ishikawa and Halpern iterations laid the foundation for subsequent developments.¹⁰ More recently, increasing attention has been devoted to accelerated and hybrid techniques. For instance, Abed and Abed (2022) in⁵ analyzed a Fibonacci–Halpern iteration for monotone TAN-mappings in partially ordered Banach spaces, establishing stability and improved convergence properties. Salman and Abed (2023)²⁴ proposed a five-step iterative process for (λ,ρ)-firmly nonexpansive multivalued mappings in modular spaces. Further developments were reported by Khomphungson and Nammanee (2024),⁶ who analyzed modified Mann–Ishikawa algorithms, and proved strong convergence under Condition (A) in uniformly convex Banach spaces. Similarly, Balooee and Al-Homidan (2024) in^4,7 introduced hybrid resolvent-based methods for fixed-point problems involving TAN-mappings and generalized variational-like inclusions, ensuring the existence of a common solution belonging simultaneously to the solution set of the inclusion problems and to the fixed-point set of a TAN-mapping. These formulations are closely related to integral and differential equations, which frequently arise as operator inclusions problems a Banach spaces. Additional generalizations have been proposed in recent contributions. Galisu et al. (2024)⁸ introduced enriched asymptotically nonexpansive mappings with center zero in a reflexive and strictly convex Banach space, providing a broader framework that includes TAN-mappings as a subclass. More recently, Sun (2025)⁹ extended the analysis to random asymptotically nonexpansive mappings in uniformly convex modules, emphasizing stochastic generalization within Banach-type structures. Collectively, these studies demonstrate the progressive fixed-point theory from classical nonexpansive mappings,^1,2 to asymptotically nonexpansive mappings,³ and ultimately to the general class of TAN-mappings.⁴ A wide spectrum of iterative schemes, including Mann, Ishikawa, Halpern, Fibonacci-Halpern, modified Mann-Ishikawa, and hybrid resolvent-based algorithms, has played a central role in establishing convergence, stability, and applications to variational inclusions and integral-differential models in.^5,6

Motivated by the growing interest in accelerated iterative framework, the main objective of the present work is to investigate the convergence and stability properties of an inertial accelerated four-step iterative scheme for TAN-mappings in Banach spaces. Inspired by the inertial accelerated technique proposed by Harbau et al. (2022),¹⁰ we establish weak convergence under Opial’s condition and strong convergence under an additional semi-compactness assumption. Furthermore, stability under perturbations is analyzed. A comparative numerical study with existing iterative methods is conducted to illustrate the performance of the proposed scheme. Finally, the theoretical results are applied to a nonlinear two-dimensional Volterra integral equations, demonstrating the practical relevance and the applicability of the developed framework.

Preliminaries

This section presents the fundamental definitions and auxiliary results that will be used in establishing the main convergence theorems.

Definition 1.

¹¹ A Banach space X is said to be uniformly convex if for any $ϵ \in (0, 2),$ there exists a $δ (ϵ) > 0$ such that for any $p, q \in X$ with $‖ p ‖ \leq 1, ‖ q ‖ \leq 1$ , and $‖ p - q ‖ \geq ϵ$ , then, $‖ \frac{p + q}{2} ‖ \leq 1 - δ (ϵ)$ .

Remark 1.

¹⁰ Every Hilbert space is uniformly convex and therefore satisfies Definition (1)

Symbols

i) $X$ denotes the real Banach Space.
ii) $X^{*}$ denotes the dual of $X$ .
iii) ⇀ for weak convergence and, ⟶ for strong convergence.
iv) The set of $ω$ - $weak$ cluster point of a sequence ${q_{v}}$ is denoted by $ω_{c} (q_{v}) = {z : \exists q_{vk} ⇀ z}$ .
v) $Fix (Ψ) ≕ {p$ in $X : Ψ (p) = p}$ denotes the set of fixed points of $Ψ$ .
vi) The duality pairing on $X \times X^{*}$ denoted by $⟨ ., . ⟩$ .

Definition 2.

¹⁰ A mapping $J_{φ} : X \to 2^{X^{*}}$ defined by $J_{φ} (p) = {p^{*} \in X^{*} : ⟨ p, p^{*} ⟩ = ‖ p ‖ ‖ p^{*} ‖, ‖ p^{*} ‖ = φ (‖ p ‖)}$ is called a generalized duality mapping, where $φ$ is a gauge function.

If $φ (t) = t$ for all $t \geq 0$ then $J_{φ} = J_{2}$ is a normalized duality mapping and can be written as $J (p) = {p^{*} \in X^{*} : ⟨ p, p^{*} ⟩ = {‖ p ‖}^{2}, ‖ p^{*} ‖ = ‖ p ‖}$ .

Definition 3.

¹² The duality mapping $Ψ$ is said to be weakly sequentially continuous if, for any sequences ${q_{v}}$ in $X$ such that $q_{v} ⇀ z$ , implies $(q_{v}) ⇀ Ψ (z)$ .

It is known that space has a weakly sequentially continuous duality map if J_φ is single-valued and sequentially continuous from with the weak topology to with the weak^∗topology.²³

Definition 4.

¹³ A mapping Ψ: $Ψ : C \subseteq X \to C$ said to be.

(1) Demi-closed at $y_{0} \in C$ , if for any sequence ${q_{v}}$ in C such that $q_{v} ⇀ z \in C$ and $Ψ q_{v} \to y_{0}$ , it holds that $Ψ q_{0} = y_{0}$ .
(2) Semi-compact if for any bounded sequence ${q_{v}}$ in C such that $lim_{v \to \infty} ‖ q_{v} - Ψ q_{v} ‖ = 0$ there exists a subsequence ${q_{vk}} \subset {q_{v}}$ such that $q_{vk} \to z \in C .$

Suppose a fixed-point iteration is defined by the general form

q_{v + 1} = f (Ψ, q_{v}) for v = 0, 1, 2, \dots,

where

Ψ

is a mapping and

q_{0} \in X

. The function

f (Ψ, q_{v})

contain all parameters that defining the iteration procedures.

Definition 5.

¹⁴ Let ${p_{v}}_{v = 0}^{\infty}$ be a sequence in $X$ . Then an iteration procedure $q_{v + 1} = f (Ψ, p_{v})$ converging to a fixed point z is said to be $Ψ$ -stable (or stable) with respect to $Ψ$ if and only if for $ε_{v} = ‖ p_{v + 1} - f (Ψ, p_{v} ‖, v \in N$ , we have

lim_{v \to \infty} ε_{v} = 0 ⬄ lim_{v \to \infty} p_{v} = z .

Definition 6.

¹⁵ Let ${q_{v}}_{v = 0}^{\infty}$ and ${s_{v}}_{v = 1}^{\infty}$ are two sequences that converging to the same fixed point $z$ and $‖ q_{v} - z ‖ \leq a_{v},$ and $‖ s_{v} - z ‖ \leq b_{v}$ for all $v \geq 0$ . If the sequence ${a_{v}}_{v = 1}^{\infty}$ and ${b_{v}}_{v = 1}^{\infty}$ converge to a and b, respectively, and $lim_{v \to \infty} \frac{‖ a_{v} - a ‖}{‖ b_{v} - b ‖} = 0,$ then we say that ${q_{v}}_{v = 1}^{\infty}$ converge to $z$ faster than ${s_{v}}_{v = 1}^{\infty}$ .

Definition 7.

¹⁶ A Banach space $X$ is said to satisfy Opial’s condition if for each sequence ${q_{v}}$ in X converging weakly to z₁, we have $lim_{v \to \infty} sup ‖ q_{v} - z_{1} ‖ < lim_{v \to \infty} sup ‖ q_{v} - z_{2} ‖$ for all $z_{2} \in X$ such that $z_{2} \neq z_{1}$ .

It is known that:

Any Banach space with a weakly sequentially continuous duality mapping satisfies Opial’s condition,²³ Any Hilbert space satisfies Opial’s condition.²³

Definition 8.

²³ A set $C$ of X is said to be convex if $λq + (1 - λ) s \in C,$ for any $q, s$ in $C$ and $λ \in [0, 1]$ .

The following lemma represents Opial’s property.

Lemma 1.

¹⁷ If in a Banach space X having a weakly continuous duality mapping $J$ , the sequence ${q_{v}} \subset X$ is weakly convergent to $z$ , then for any

p \in X . lim_{v \to \infty} inf ‖ q_{v} - p ‖ \geq lim_{v \to \infty} inf ‖ q_{v} - z ‖

In particular, if the space $X$ is uniformly convex, then equality hold if and only if $p = z$ .

Lemma 2.

¹⁸ Let $X$ be a real uniformly convex Banach space, let C be a nonempty closed convex subset of X. If $Ψ : C \to C$ is a TAN-mapping, then ( $I - Ψ$ ) is demiclosed at zero, that is whenever $q_{v} ⇀ z$ and $Ψ (q_{v}) ⇀ z$ , it follows that $Ψ (q_{v}) = z$ .

Lemma 3.

¹⁹ Let ${a_{v}}, {b_{v}},$ and ${c_{v}}$ be nonnegative real sequences satisfying the relation $a_{v + 1} \leq (1 + c_{v}) a_{v} + b_{v}$ with $\sum_{v = 0}^{\infty} b_{v} < \infty$ and $\sum_{v = 0}^{\infty} c_{v} < \infty, \forall v \geq 0$ then $:$

(i) The sequence ${a_{v}}$ is converges.
(ii) If $lim_{v \to \infty} inf a_{v} = 0$ then $lim_{v \to \infty} a_{v} = 0$ .

Lemma 4.

²⁰ Let r > 0 be a fixed number. Then, a real Banach space $X$ is uniformly convex if and only if there exists a continuous and strictly increasing function $g : [0, \infty) \to [0, \infty)]$ with $g (0) = 0,$ such that: ${‖ λ p + (1 - λ) q ‖}^{2} \leq λ {‖ p ‖}^{2} + (1 - λ) {‖ q ‖}^{p} - λ (1 - λ) g (‖ p - q ‖)$ , for all $p, q in B_{r} = {p \in X : ‖ p ‖ \leq r} and λ \in [0, 1]$ .

Lemma 5.

²² Suppose that $X$ is uniformly convex Banach space and let ${a_{v}}$ be real sequence such that $0 < b \leq a_{v} < c < 1$ for all v ≥ 1. Let ${q_{v}}$ and ${s_{v}}$ be sequence in X such that $lim_{v \to \infty} ‖ a_{v} q_{v} + (1 - a_{v}) s_{v} ‖ = d,$ and $lim_{v \to \infty} sup ‖ q_{v} ‖ \leq d, lim_{v \to \infty} sup ‖ s_{v} ‖ \leq d$ hold for some $d \geq 0 .$ Then $lim_{v \to \infty} ‖ q_{v} - s_{v} ‖ = 0$ .

Main results

This section investigates of weak and strong convergence properties, stability, analysis and comparative performance of the proposed iterative algorithm.

Weak convergence

The following assumptions are adopted from²¹

Assumption 1.

(i) Choose sequence ${α_{v}} \subset (0, 1)$ , ${σ_{v}}, {δ_{v}} \subset [0, \infty)$ and $\sum_{v = 1}^{\infty} δ_{v} < \infty$ with $δ_{v} = o (σ_{v})$ which mean $lim_{n \to \infty} \frac{δ_{v}}{σ_{v}} = 0 .$
(ii) Let $q_{0}, q_{1} \in X$ be arbitrary points, for the iterates $q_{v - 1}$ and $q_{v}$ for each $v \geq 1$ choose $ω_{v}$ , such that $0 \leq ω_{v} \leq \bar{ω_{v}}$ where, for any $η \geq 3$ define

(1)

\bar{ω_{v}} ≔ {\begin{matrix} min {\frac{v - 1}{v + η - 1}, \frac{δ_{v}}{‖ q_{v} - q_{v - 1} ‖}}, & if q_{v} \neq q_{v - 1} \\ \frac{v - 1}{v + η - 1}, & otherwise \end{matrix}

Remark 2.

Under Assumption 1 that for each $v \geq 1,$ we have.

ω_{v} ‖ q_{v} - q_{v - 1} ‖ \leq δ_{v}

which together with

\sum_{v = 1}^{\infty} δ_{v} < \infty

and

lim_{v \to \infty} \frac{δ_{v}}{σ_{v}} = 0

, we respectively obtain.

(2)

\sum_{v = 1}^{\infty} ω_{v} ‖ q_{v} - q_{v - 1} ‖ < \infty

and

(3)

lim_{v \to \infty} \frac{ω_{v}}{σ_{v}} ‖ q_{v} - q_{v - 1} ‖ \leq lim_{n \to \infty} \frac{δ_{v}}{σ_{v}} = 0

Theorem 1.

Let $X$ be a real uniformly convex Banach space with Opial’s property. Let $Ψ : X \to X$ be TAN-mapping with sequences ${μ_{v}}, {κ_{v}} \subset (0, \infty)$ and a strictly increasing continuous function $\emptyset : ℝ^{+} \to ℝ^{+}$ with $\emptyset (0) = 0$ $\sum_{v = 1}^{\infty} (μ_{v} + κ_{v}) < \infty$ and Fix(Ψ) ≠ ∅. Let ${q_{v}}$ be the sequence generated as follows:

(4)

{\begin{matrix} q_{0}, q_{1} \in X \\ a_{v} = q_{v} + ω_{v} (q_{v} - q_{v - 1}) \\ b_{v + 1} = \frac{1}{ρ} (Ψ^{v} (a_{v}) - a_{v}) + σ_{v} b_{v} \\ p_{v} = a_{v} + ρ b_{v + 1} \\ q_{v + 1} = λ α_{v} a_{v} + (1 - λ α_{v}) p_{v}, \forall v \geq 1, \end{matrix}

where

λ \in (0, 1], ρ > 0

, if Assumption (i) holds and set

b_{1} = \frac{1}{ρ} (Ψ^{1} a_{0} - a_{0})

. Then, the sequence

{q_{v}}

converges weakly to a point z ∈ Fix(Ψ), provided that the following conditions hold:

$(C_{1}) \sum_{v = 0}^{\infty} σ_{v} < \infty$

(C_{2}) lim_{v \to \infty} inf λ α_{v} (1 - λ α_{v}) > 0

$(C_{3}) {Ψ^{v} a_{v} - a_{v}}$ is bounded.

Proof:.

The proof is divided in to five steps:

1. Proof ${b_{v}}$ is bounded.
2. $lim_{v \to \infty} ‖ q_{v} - z ‖$ exists for any $z \in Fix (Ψ)$
3. $lim_{v \to \infty} ‖ q_{v} - Ψ q_{v} ‖ = 0$
4. $ω_{c} (q_{v}) \subset Fix (Ψ)$
5. ${q_{v}}$ is $ω$ -convergence to a fixed point.

Step (1), the condition ( $C_{1}$ ) implies that $lim_{v \to \infty} σ_{v} = 0$ thus, there exists $v_{0} \in N$ such that $σ_{n} \leq \frac{1}{2}$ , for all $v \geq v_{0}$ . Let $M_{1}$ be define as follows:

M_{1} ≔ max {max_{1 \leq k \leq v_{0}} ‖ b_{k} ‖, (\frac{2}{ρ}) sup_{v \in N} ‖ Ψ^{v} a_{v} - a_{v} ‖}

Then, the hypothesis (C₃), implies that $M_{1} < \infty$ hold. Presume that $‖ b_{n} ‖ \leq M_{1}$ for some $v \geq v_{0}$ , then:

(5)

\begin{matrix} ‖ b_{v + 1} ‖ = ‖ \frac{1}{ρ} (Ψ^{v} a_{v} - a_{v}) + σ_{v} b_{v} ‖ \\ \leq \frac{1}{ρ} ‖ Ψ^{v} a_{v} - a_{v} ‖ + σ_{v} ‖ b_{v} ‖ \\ \leq M_{1} \end{matrix}

This means that

‖ b_{v} ‖ \leq M_{1}, for all v \geq 0 therefore {b_{v}} is bounded .

Step (2), from the algorithm (4),

(6)

p_{v} = a_{v} + ρ b_{v + 1} = a_{v} + ρ (\frac{1}{ρ} (Ψ^{v} a_{v} - a_{v}) + σ_{v} b_{v}) = Ψ^{v} a_{v} + ρ σ_{v} b_{v}

By (5), (6), and for any $z \in Fix (Ψ),$ we obtain:

(7)

\begin{matrix} ‖ p_{v} - z ‖ = ‖ Ψ^{v} a_{v} + ρ σ_{v} b_{v} - z ‖ \\ \leq ‖ Ψ^{v} a_{v} - z ‖ + ρ σ_{v} ‖ b_{v} ‖ \\ \leq ‖ a_{v} - z ‖ + μ_{v} \emptyset (‖ a_{v} - z ‖) + κ_{v} + ρ M_{1} σ_{v} \end{matrix}

Let $U = sup {‖ a_{v} ‖ + ‖ a_{v} - z ‖} < \infty,$ $ζ_{v} = μ_{v} \emptyset (U) + κ_{v}$

Additionally,

(8)

\begin{matrix} ‖ a_{v} - z ‖ = ‖ q_{v} - z + ω_{v} (q_{v} - q_{v - 1}) ‖ \\ \leq ‖ q_{v} - z ‖ + ω_{v} ‖ (q_{v} - q_{v - 1}) ‖ \end{matrix}

Combining (7) and (8), we obtain:

\begin{matrix} ‖ p_{v} - z ‖ \leq ‖ q_{v} - z ‖ + ω_{v} ‖ (q_{v} - q_{v - 1}) ‖ + κ_{v} + ρ M_{1} σ_{v} \\ = ‖ q_{v} - z ‖ + σ_{v} [\frac{ω_{v}}{σ_{v}} ‖ (q_{v} - q_{v - 1}) ‖ + \frac{κ_{v}}{σ_{v}} + ρ M_{1}] \end{matrix}

By Remark 2, we know that the sequence ${\frac{ω_{v}}{σ_{v}} ‖ (q_{v} - q_{v - 1}) ‖}$ converges, so there exists some constant say $M_{2} > 0$ such that for all $v \geq 1, \frac{ω_{v}}{σ_{v}} ‖ (q_{v} - q_{v - 1}) ‖ + \frac{κ_{v}}{σ_{v}} + ρ M_{1} \leq M_{2}$ , thus:

(9)

‖ p_{v} - z ‖ \leq ‖ q_{v} - z ‖ + σ_{v} M_{2}

Next, using (7), (9), and for some $M_{3} > 0$ any $z \in Fix (Ψ)$ we obtain:

(10)

\begin{matrix} ‖ q_{v + 1} - z ‖ = ‖ λ α_{v} a_{v} + (1 - λ α_{v}) p_{v} - z ‖ \\ \leq λ α_{v} ‖ a_{v} - z ‖ + (1 - λ α_{v}) ‖ p_{v} - z ‖ \\ \leq λ α_{v} [‖ q_{v} - z ‖ + ω_{v} ‖ (q_{v} - q_{v - 1}) ‖] + (1 - λ α_{v}) ‖ p_{v} - z ‖ \\ \leq λ α_{v} ‖ q_{v} - z ‖ + ω_{v} λ α_{v} ‖ (q_{v} - q_{v - 1}) ‖ + (1 - λ α_{v}) ‖ q_{v} - z ‖ \\ + (1 - λ α_{v}) σ_{v} M_{2} \end{matrix}

‖ q_{v + 1} - z ‖ \leq ‖ q_{v} - z ‖ + σ_{v} M_{3},

where

(11)

\frac{ω_{v} λ α_{v}}{σ_{v}} ‖ (q_{v} - q_{v - 1}) ‖ + (1 - λ α_{v}) M_{2} \leq M_{3}

Hence, using Lemma 5 and condition (C₁), it follows that $lim_{v \to \infty} ‖ q_{v} - z ‖$ exists. Consequently, the sequence ${q_{v}}$ is bounded.

Step (3) since the sequence ${a_{v}}$ is bounded, it follows that ${Ψ^{v} a_{v}}$ is bounded. Let $r = sup_{v \geq 1} {‖ a_{v} ‖, ‖ Ψ^{v} a_{v} ‖}$ and by (10), Lemma 4, and condition C1, we obtain.

\begin{matrix} {‖ q_{v + 1} - z ‖}^{2} = {‖ λ α_{v} a_{v} + (1 - λ α_{v}) p_{v} - z ‖}^{2} \\ \leq {‖ a_{v} - z ‖}^{2} + (1 - λ α_{v}) ζ_{v}^{2} - λ α_{v} (1 - λ α_{v}) g (‖ a_{v} - Ψ^{v} a_{v} ‖) \\ + ρ^{2} {σ_{v}}^{2} {M_{1}}^{2} - 2 λ α_{v} ρ^{2} {σ_{v}}^{2} {M_{1}}^{2} + λ^{2} ρ^{2} α_{v}^{2} σ_{v}^{2} {M_{1}}^{2} \\ + 2 (1 - λ α_{v}) ρ σ_{v} M_{1} (‖ a_{v} - z ‖ + (1 - λ α_{v}) ζ_{v}) \end{matrix}

Since the $lim_{v \to \infty} ‖ q_{v} - z ‖$ exists for any $z \in Fix (Ψ)$ , then using (2) it follows from (8) that there exists $L > 0$ such that $‖ a_{v} - z ‖ \leq L$

\begin{matrix} {‖ q_{v + 1} - z ‖}^{2} \leq {‖ a_{v} - z ‖}^{2} + (1 - λ α_{v}) ζ_{v}^{2} - λ α_{v} (1 - λ α_{v}) g (‖ a_{v} - Ψ^{v} a_{v} ‖) \\ + ρ^{2} {σ_{v}}^{2} {M_{1}}^{2} - 2 λ α_{v} ρ^{2} {σ_{v}}^{2} {M_{1}}^{2} + λ^{2} ρ^{2} α_{v}^{2} σ_{v}^{2} {M_{1}}^{2} \\ + 2 (1 - λ α_{v}) ρ σ_{v} M_{1} (L + (1 - λ α_{v}) ζ_{v}) \\ \leq {‖ q_{v} - z ‖}^{2} + 2 ω_{v} ‖ q_{v} - q_{v - 1} ‖ ‖ q_{v} - z ‖ + {(ω_{v} ‖ q_{v} - q_{v - 1} ‖)}^{2} \\ - λ α_{v} (1 - λ α_{v}) g (‖ a_{v} - Ψ^{v} a_{v} ‖) + ρ^{2} {σ_{v}}^{2} {M_{1}}^{2} \\ - 2 λ α_{v} ρ^{2} {σ_{v}}^{2} {M_{1}}^{2} + λ^{2} ρ^{2} α_{v}^{2} σ_{v}^{2} {M_{1}}^{2} \\ + 2 (1 - λ α_{v}) ρ σ_{v} M_{1} (L + (1 - λ α_{v}) ζ_{v}) \end{matrix}

Since $lim_{n \to \infty} ‖ q_{v} - z ‖$ exists for any z $\in Fix (Ψ)$ , then the sequence ${‖ q_{v} - z ‖}$ is bounded; therefore, there exists $H > 0$ such that $‖ q_{v} - z ‖ \leq H$ for all $v \geq 1$ . Hence,

\begin{matrix} {‖ q_{v + 1} - z ‖}^{2} \leq {‖ q_{v} - z ‖}^{2} + 2 ω_{v} ‖ q_{v} - q_{v - 1} ‖ H + {(ω_{n} ‖ q_{v} - q_{v - 1} ‖)}^{2} \\ - λ α_{v} (1 - λ α_{v}) g (‖ a_{v} - Ψ^{v} a_{v} ‖) + ρ^{2} {σ_{v}}^{2} {M_{1}}^{2} \\ - 2 λ α_{v} ρ^{2} {σ_{v}}^{2} {M_{1}}^{2} + λ^{2} ρ^{2} α_{v}^{2} σ_{v}^{2} {M_{1}}^{2} \\ + 2 (1 - λ α_{v}) ρ σ_{v} M_{1} (L + (1 - λ α_{v}) ζ_{v}) \end{matrix}

Therefore,

\begin{matrix} λ α_{v} (1 - λ α_{v}) g (‖ a_{v} - Ψ^{v} a_{v} ‖) \leq {‖ q_{v} - z ‖}^{2} - {‖ q_{v + 1} - z ‖}^{2} \\ + 2 ω_{v} ‖ q_{v} - q_{v - 1} ‖ H + {(ω_{n} ‖ q_{v} - q_{v - 1} ‖)}^{2} \\ + ρ^{2} {σ_{v}}^{2} {M_{1}}^{2} - 2 λ α_{v} ρ^{2} {σ_{v}}^{2} {M_{1}}^{2} + λ^{2} ρ^{2} α_{v}^{2} σ_{v}^{2} {M_{1}}^{2} \\ + 2 (1 - λ α_{v}) ρ σ_{v} M_{1} (L + (1 - λ α_{v}) ζ_{v}) \end{matrix}

Hence,

\begin{matrix} \sum_{v = 0}^{\infty} λ α_{v} (1 - λ α_{v}) g (‖ a_{v} - Ψ^{v} a_{v} ‖) \leq {‖ q_{0} - z ‖}^{2} + 2 H \sum_{v = 0}^{\infty} ω_{v} ‖ q_{v} - q_{v - 1} ‖ + \sum_{v = 0}^{\infty} {(ω_{v} ‖ q_{v} - q_{v - 1} ‖)}^{2} \\ + {M_{1}}^{2} ρ^{2} \sum_{v = 0}^{\infty} {σ_{v}}^{2} + 2 λ ρ^{2} {M_{1}}^{2} \sum_{v = 0}^{\infty} {α_{v} σ_{v}}^{2} + λ^{2} ρ^{2} {M_{1}}^{2} \sum_{v = 0}^{\infty} α_{v}^{2} σ_{v}^{2} \\ + \sum_{v = 0}^{\infty} 2 (1 - λ α_{v}) ρ σ_{v} M_{1} (L + (1 - λ α_{v}) ζ_{v}) \end{matrix}

Using (C₁), we obtain

$\sum_{v = 0}^{\infty} λ α_{v} (1 - λ α_{v}) g (‖ a_{v} - Ψ^{v} a_{v} ‖) < \infty$ . Which implies that: $lim_{v \to \infty} λ α_{v} (1 - λ α_{v}) g (‖ a_{v} - Ψ^{v} a_{v} ‖) = 0 .$ By condition (C₂), we obtain:

(12)

lim_{v \to \infty} g (‖ a_{v} - Ψ^{v} a_{v} ‖) = 0 . And lim_{v \to \infty} ‖ a_{v} - Ψ^{v} a_{v} ‖ = 0

Next,

\begin{matrix} ‖ a_{v} - q_{v} ‖ = ‖ q_{v} + ω_{v} (q_{v} - q_{v - 1}) - q_{v} ‖ \\ = ω_{v} ‖ q_{v} - q_{v - 1} ‖ \end{matrix}

Taking the sum over $v$ of both sides and considering (2), we obtain: $\sum_{v = 0}^{\infty} ‖ a_{v} - q_{v} ‖ = \sum_{v = 0}^{\infty} ω_{v} ‖ q_{v} - q_{v - 1} ‖ < \infty$ . Which implies that:

(13)

lim_{v \to \infty} ‖ a_{v} - q_{v} ‖ = 0

Since $Ψ$ is TAN-mapping, we obtain:

(14)

\begin{matrix} ‖ q_{v} - Ψ^{v} q_{v} ‖ = ‖ q_{v} - a_{v} + a_{v} - Ψ^{v} a_{v} + Ψ^{v} a_{v} - Ψ^{v} q_{v} ‖ \\ \leq ‖ q_{v} - a_{v} ‖ + ‖ a_{v} - Ψ^{v} a_{v} ‖ + ‖ Ψ^{v} a_{v} - Ψ^{v} q_{v} ‖ \\ \leq ‖ q_{v} - a_{v} ‖ + ‖ a_{v} - Ψ^{v} a_{v} ‖ + ‖ a_{v} - q_{v} ‖ + μ_{v} \emptyset (‖ a_{v} - q_{v} ‖) + κ_{v} \\ \leq 2 ‖ q_{v} - a_{v} ‖ + ‖ a_{v} - Ψ^{v} a_{v} ‖ + ζ_{v} \end{matrix}

Continuity of (12) and (13) in (14) implies that:

(15)

lim_{v \to \infty} ‖ q_{v} - Ψ^{v} q_{v} ‖ = 0

On the other hand,

\begin{matrix} ‖ a_{v} - p_{v} ‖ = ‖ a_{v} - (a_{v} + ρ b_{v + 1}) ‖ \\ = ρ ‖ b_{v + 1} ‖ \\ \leq ρ (\frac{1}{ρ} ‖ a_{v} - Ψ^{v} a_{v} ‖ + σ_{v} ‖ b_{v} ‖ \\ \leq ‖ a_{v} - Ψ^{v} a_{v} ‖ + ρ σ_{v} M_{1}) \end{matrix}

By (12) and (C₁), we obtain:

(16)

lim_{v \to \infty} ‖ a_{v} - p_{v} ‖ = 0

‖ q_{v + 1} - Ψ^{v} q_{v + 1} ‖ \leq λ α_{v} ‖ a_{v} - Ψ^{v} a_{v} ‖ + ρ σ_{v} M_{1} + (1 - λ α_{v}) ‖ a_{v} - p_{v} ‖ + ζ_{v}

It follows from (12), (16), and (C₁) that:

(17)

lim_{v \to \infty} ‖ q_{v + 1} - Ψ^{v} q_{v + 1} ‖ = 0

By (15) and (17), we obtain:

(18)

lim_{v \to \infty} ‖ q_{v} - {Ψ q}_{v} ‖ = 0

Step (4) Since every uniformly convex Banach space is reflexive,²³ so the reflexivity of $X$ makes each bounded sequence has a weakly convergent subsequence.²³ Applying this fact, ${q_{v}}$ has a subsequence ${q_{vk}}$ such that $q_{vk} ⇀ z$ , therefore, from (18), $lim_{k \to \infty} ‖ q_{vk} - {Ψ q}_{vk} ‖ = 0$ and consequently by Lemma 2, $Ψ z = z$ . Hence, $ω_{c} (q_{v}) \subset Fix (Ψ)$ .

Step (5) To prove that the sequence ${q_{v}}$ converges weakly to a fixed point of $Ψ$ , it is enough to demonstrate that $ω_{c} (q_{v})$ consists of a single element. For this purpose, using Lemma 1 and Definition 7, let $z_{1}, z_{2} \in ω_{c} (q_{v})$ and consider subsequences ${q_{vi}}$ and ${q_{vj}}$ of ${q_{v}}$ such that.

$q_{vi} ⇀ z_{1}$ and $q_{vj} ⇀ z_{2}$ .Then for $z_{1} \neq z_{2}$ we have:

\begin{matrix} lim_{v \to \infty} ‖ q_{v} - z_{1} ‖ < lim_{i \to \infty} ‖ q_{vi} - z_{2} ‖ \\ = lim_{j \to \infty} ‖ q_{vj} - z_{2} ‖ \\ \begin{matrix} < lim_{j \to \infty} ‖ q_{vj} - z_{1} ‖ \\ = lim_{v \to \infty} ‖ q_{v} - z_{1} ‖ \end{matrix} \end{matrix}

This leads to a contradiction. Hence $ω_{c} (q_{v})$ is a singleton, and ${q_{v}}$ is ω-convergence to a fixed point.

Strong convergence

Theorem 2.

If in addition to all the hypothese of Theorem 1, the mapping $Ψ$ is semi-compact. Then the sequence ${q_{v}}$ generated by (4) converges strongly to a fixed point of $Ψ$ .

Proof.

Suppose that $Ψ$ is semi-compactness. Starting from steps 2 and 3 in the proof of Theorem 1, and the boundedness of the sequence ${q_{v}}$ with $lim_{v \to \infty} ‖ q_{v} - {Ψ q}_{v} ‖ = 0$ , then there exists a subsequence ${q_{vk}}$ of ${q_{v}}$ such that $q_{vk} \to z$ as $k \to \infty .$ Therefore $q_{vk} ⇀ z$ and so $z \in ω_{c} (q_{v}) \subseteq Fix (Ψ) .$ From step 2 in the proof of Theorem 1, $lim_{v \to \infty} ‖ q_{v} - z ‖$ exists, then $lim_{v \to \infty} ‖ q_{v} - z ‖ = lim_{k \to \infty} ‖ q_{vk} - z ‖ = 0$ , which means that $q_{v} \to z \in Fix (Ψ)$ .

Corollary 1.

Under the assumptions of Theorem 1, assume that $Ψ : X \to X$ be a nonexpansive mapping with F $ix (Ψ) \neq \emptyset$ . Then the sequence ${q_{v}}$ generated by (4) with $λ \in (0, 1], ρ > 0$ and initial value $b_{0} = \frac{1}{ρ} (Ψ a_{0} - a_{0})$ , converges weakly to a point in $Fix (Ψ)$ , provided that conditions (C₁) − (C₃) hold.

Corollary 2.

Under the assumptions of Theorem 1, assume that $Ψ : X \to X$ be a Asymptotically nonexpansive mapping with $Fix (Ψ) \neq \emptyset$ . Then the sequence ${q_{v}}$ generated by (4) with λ $\in (0, 1], ρ > 0$ and initial value $b_{0} = \frac{1}{ρ} (Ψ^{1} a_{0} - a_{0})$ , converges weakly to a point in Fix(Ψ) , provided that conditions (C₁) − (C₃) hold.

Corollary 3.

Let $X$ be a real Hilbert space and $Ψ : X \to X$ be either a TAN-mapping or a nonexpansive mapping with $Fix (Ψ) \neq \emptyset$ . Then the sequence ${q_{v}}$ generated by (4) with λ $\in (0, 1], ρ > 0$ , and $b_{0} = \frac{1}{ρ} (Ψ^{1} a_{0} - a_{0})$ , converges weakly to a point in $Fix (Ψ)$ , provided that conditions (C₁) − (C₃) hold.

Corollary 4.

Let $X$ be a real Hilbert space and $Ψ : X \to X$ be either a TAN-mapping or a Asymptotically nonexpansive mapping with $Fix (Ψ) \neq \emptyset$ . Then the sequence ${q_{v}}$ generated by (4) with λ $\in (0, 1], ρ > 0$ , and $b_{0} = \frac{1}{ρ} (Ψ^{1} a_{0} - a_{0})$ , converges weakly to a point in $Fix (Ψ)$ , provided that conditions (C₁) − (C₃) hold.

Remark 3.

Theorem 1 applies to the broader class of asymptotically nonexpansive mappings and therefore extends Theorem 3.1 of Dong et al., see,²⁰ to real uniformly convex Banach spaces, which include real Hilbert spaces as special case. Hence, the present result generalized several known convergence theorems in the literature.

Stability

In this section, we analyze the stability of the iterative sequence defined by (4) with respect to a fixed point of the TAN-mapping. The associated iterative operator is given by $f (Ψ, r_{v}) = λ α_{v} s_{v} + (1 - λ α_{v}) t_{v} .$

Theorem 3.

Let $X$ be a Banach and $Ψ : X \to X$ be a TAN-mapping. Suppose X has a fixed point z. Let the sequence ${r_{v}}_{v = 1}^{\infty}$ be a sequence generated by (4) with $λ \in (0, 1]$ and $ρ > 0$ . If Assumption 1 holds and the sequence ${Ψ^{v} a_{v} - a_{v}}$ is bounded, then ${q_{v}}_{v = 1}^{\infty}$ is stable.

Proof.

Let ${r_{v}}_{v = 1}^{\infty}$ be an arbitrary sequence in $X$ the sequence generated by (4) is $r_{v + 1} = f (Ψ, r_{v})$ converging to a unique fixed point $z$ and $ε_{v} = ‖ r_{v + 1} - f (Ψ, r_{v}) ‖$ . We will prove that $lim_{v \to \infty} ε_{v} = 0 ⟺ lim_{v \to \infty} r_{v} = z$ .

Assume $lim_{v \to \infty} ε_{v} = 0$ and

\begin{matrix} ‖ r_{v + 1} - z ‖ = ‖ r_{v + 1} - f (Ψ, r_{v}) ‖ + ‖ f (Ψ, r_{v}) - z ‖ \\ \leq ‖ r_{v + 1} - f (Ψ, r_{v}) ‖ + ‖ f (Ψ, r_{v}) - z ‖ = ε_{v} + ‖ f (Ψ r_{v}, r_{v}) - z ‖ \\ = ε_{v} + ‖ λ α_{v} s_{v} + (1 - λ α_{v}) t_{v} - z ‖ \leq ε_{v} + λ α_{v} ‖ s_{v} - z ‖ + (1 - λ α_{v}) ‖ t_{v} - z ‖ \\ \leq ε_{v} + λ α_{v} [‖ r_{v} - z ‖ + ω_{v} ‖ (r_{v} - r_{v - 1}) ‖] + (1 - λ α_{v}) ‖ t_{v} - z ‖ \\ \leq ε_{v} + λ α_{v} ‖ r_{v} - z ‖ + ω_{v} λ α_{v} ‖ (r_{v} - r_{v - 1}) ‖ + (1 - λ α_{v}) [‖ s_{v} - z ‖ + μ_{v} \emptyset (‖ s_{v} - z ‖) + κ_{v} + ρ σ_{v} ‖ n_{v} ‖] \\ \leq ε_{v} + λ α_{v} ‖ r_{v} - z ‖ + ω_{v} λ α_{v} ‖ (r_{v} - r_{v - 1}) ‖ + (1 - λ α_{v}) [‖ r_{v} - z ‖ \\ + ω_{v} ‖ (r_{v} - r_{v - 1}) ‖ + μ_{v} \emptyset (‖ s_{v} - z ‖) + κ_{v} + ρ σ_{v} ‖ n_{v} ‖] ‖ r_{v + 1} - z ‖ \\ \leq ε_{v} + ‖ r_{v} - z ‖ + ω_{v} ‖ (r_{v} - r_{v - 1}) ‖ + (1 - λ α_{v}) μ_{v} \emptyset (‖ s_{v} - z ‖) + (1 - λ α_{v}) κ_{v} + (1 - λ α_{v}) ρ σ_{v} ‖ n_{v} ‖ ‖ r_{v + 1} - z ‖ \\ \leq ‖ r_{v} - z ‖ + δ_{v}, \end{matrix}

where

δ_{v} = ε_{v} + ω_{v} ‖ (r_{v} - r_{v - 1}) ‖ + (1 - λ α_{v}) μ_{v} \emptyset (‖ s_{v} - z ‖) + (1 - λ α_{v}) κ_{v} + (1 - λ α_{v}) ρ σ_{v} ‖ n_{v} ‖

Since $,$ $μ_{v} \to 0, κ_{v} \to 0, σ_{v} \to 0$ , and assumption $\sum_{v = 0}^{\infty} ω_{v} ‖ (r_{v} - r_{v - 1}) ‖ < \infty,$ it follows that $δ_{v} \to 0$ as $v \to \infty$ . Therefore, by Lemma 3, we have $lim_{v \to \infty} ‖ r_{v} - z ‖ = 0$ , which gives $lim_{v \to \infty} r_{v} = z .$

On the other hand, suppose that $lim_{v \to \infty} r_{v} = z .$ Then,

\begin{matrix} ε_{v} = ‖ r_{v} + 1 - f (Ψ, r_{v}) ‖ \leq ‖ r_{v} + 1 - z ‖ + ‖ f (Ψ, r_{v}) - z ‖ \\ \leq ‖ r_{v + 1} - z ‖ + ‖ λ α_{v} s_{v} + (1 - λ α_{v}) t_{v} - z ‖ \\ \leq ‖ r_{v + 1} - z ‖ + λ α_{v} ‖ s_{v} - z ‖ + (1 - λ α_{v}) ‖ t_{v} - z ‖ \\ \leq ‖ r_{v + 1} - z ‖ + λ α_{v} [‖ r_{v} - z ‖ + ω_{v} ‖ (r_{v} - r_{v - 1}) ‖] + (1 - λ α_{v}) ‖ t_{v} - z ‖ \\ \leq ‖ r_{v + 1} - z ‖ + λ α_{v} ‖ r_{v} - z ‖ + ω_{v} λ α_{v} ‖ (r_{v} - r_{v - 1}) ‖ + (1 - λ α_{v}) [‖ s_{v} - z ‖ + \\ μ_{v} \emptyset (‖ s_{v} - z ‖) + κ_{v} + ρ σ_{v} ‖ n_{v} ‖] \\ \leq ‖ r_{v + 1} - z ‖ + λ α_{v} ‖ r_{v} - z ‖ + ω_{v} λ α_{v} ‖ (r_{v} - r_{v - 1}) ‖ + (1 - λ α_{v}) [‖ r_{v} - z ‖ \\ + ω_{v} ‖ (r_{v} - r_{v - 1}) ‖ + μ_{v} \emptyset (‖ s_{v} - z ‖) + κ_{v} + ρ σ_{v} ‖ n_{v} ‖] \\ \leq ‖ r_{v + 1} - z ‖ + ‖ r_{v} - z ‖ + ω_{v} ‖ (r_{v} - r_{v - 1}) ‖ + (1 - λ α_{v}) μ_{v} \emptyset (‖ s_{v} - z ‖) + (1 - λ α_{v}) κ_{v} + (1 - λ α_{v}) ρ σ_{v} ‖ n_{v} ‖ \end{matrix}

Taking the limit as v → ∞ by both sides, we get $lim_{v \to \infty} ε_{v} = 0 .$

Now, recall HR-iteration²⁴ which is defined by

(19)

\begin{matrix} ρ_{v} = (1 - δ_{v}) d_{v} + δ_{v} Ψ (d_{v}) \\ w_{v} = Ψ ((1 - t_{v}) ρ_{v} + t_{v} Ψ (ρ_{v})) \\ u_{v} = Ψ (Ψ (w_{v})) \\ d_{v + 1} = (1 - ϱ_{v}) u_{v} + ϱ_{v} Ψ (u_{v}) \forall v \geq 1, \\ where δ_{v}, t_{v}, ϱ_{v} \in (0, 1) and \sum_{v = 0}^{\infty} δ_{v} = \sum_{v = 0}^{\infty} t_{v} = \sum_{v = 0}^{\infty} ϱ_{v} = \infty \end{matrix}

Theorem 4:

Let $C$ be a nonempty closed convex subset of a Banach space X and $Ψ : C \to C$ be a TAN-mapping. For a given q₀ = d₀, let ${q_{v}}_{v = 1}^{\infty}$ be sequence generated by (4), with $λ \in (0, 1]$ and $ρ > 0$ and let, ${d_{v}}$ be sequence generated by (19). Then ${q_{v}}$ converges to z faster than ${d_{v}}$ .

Proof:

From inequality (10), we obtain:

\begin{matrix} ‖ q_{v + 1} - z ‖ \leq λ α_{v} ‖ q_{v} - z ‖ + ω_{v} λ α_{v} ‖ (q_{v} - q_{v - 1}) ‖ + (1 - λ α_{v}) ‖ q_{v} - z ‖ + (1 - λ α_{v}) σ_{v} M_{2} \\ ‖ q_{v + 1} - z ‖ \leq ‖ q_{v} - z ‖ + c_{1} \end{matrix}

Where $c_{1} = ω_{v} λ α_{v} ‖ (q_{v} - q_{v - 1}) ‖ + (1 - λ α_{v}) σ_{v} M_{2}$

For the HR-iteration sequence ${d_{v}}$ , similar estimates give similar results.

\begin{matrix} ‖ d_{v + 1} - z ‖ \leq ‖ u_{v} - z ‖ + ϱ_{v} μ_{v} \emptyset (‖ u_{v} - z ‖) + ϱ_{v} κ_{v} \\ ‖ u_{v} - z ‖ \leq ‖ w_{v} - z ‖ + μ_{v} \emptyset (‖ w_{v} - z ‖) + 2 κ_{v} + μ_{v} \emptyset (‖ {Ψ w}_{v} - z ‖) \\ \begin{matrix} ‖ w_{v} - z ‖ \leq ‖ ρ_{v} - z ‖ + t_{v} μ_{v} \emptyset (‖ ρ_{v} - z ‖) + t_{v} κ_{v} + κ_{v} + μ_{v} \emptyset [(1 - t_{v}) ρ_{v} + t_{v} Ψ ρ_{v}] \\ ‖ ρ_{v} - z ‖ \leq ‖ d_{v} - z ‖ + δ_{v} μ_{v} \emptyset (‖ d_{v} - z ‖) + δ_{v} κ_{v} \end{matrix} \end{matrix}

Then

\begin{matrix} ‖ u_{v} - z ‖ \leq ‖ d_{v} - z ‖ + δ_{v} μ_{v} \emptyset (‖ d_{v} - z ‖) + δ_{v} κ_{v} + t_{v} μ_{v} \emptyset (‖ w_{v} - z ‖) + t_{v} κ_{v} + 3 κ_{v} + μ_{v} \emptyset [(1 - t_{v}) ρ_{v} + t_{v} Ψ ρ_{v}] \\ + μ_{v} \emptyset (‖ Ψ w_{v} - z ‖) ‖ d_{v + 1} - z ‖ \leq ‖ d_{v} - z ‖ \\ + μ_{v} [δ_{v} \emptyset (‖ d_{v} - z ‖) + + t_{v} \emptyset (‖ ρ_{v} - z ‖) + \emptyset [(1 - t_{v}) ρ_{v} + t_{v} Ψ ρ_{v}] + \emptyset (‖ Ψ w_{v} - z ‖) + \emptyset (‖ w_{v} - z ‖) + ϱ_{v} \emptyset (‖ u_{v} - z ‖)] \\ + κ_{v} [ϱ_{v} + δ_{v} + t_{v} + 3] \leq ‖ d_{v} - z ‖ + c_{2} \end{matrix}

Where $c_{2} = + μ_{v} [δ_{v} \emptyset (‖ d_{v} - z ‖) + + t_{v} \emptyset (‖ ρ_{v} - z ‖) + \emptyset [(1 - t_{v}) ρ_{v} + t_{v} Ψ ρ_{v}] + \emptyset (‖ Ψ w_{v} - z ‖) + \emptyset (‖ w_{v} - z ‖) + ϱ_{v} \emptyset (‖ u_{v} - z ‖)] + κ_{v} [ϱ_{v} + δ_{v} + t_{v} + 3]$

lim_{v \to \infty} \frac{‖ q_{v + 1} - z ‖}{‖ d_{v + 1} - z ‖} \leq lim_{v \to \infty} \frac{‖ q_{v} - z ‖ + c_{1}}{‖ d_{v} - z ‖ + c_{2}} \to 0 as v \to \infty

Therefore the sequence ${q_{v}}$ converges faster than ${d_{v}}$ to the fixed point z of $Ψ$ .

Numerical example

Example 1.

Let $X = R$ and define the mapping $Ψ_{v} : R \to R$ by $Ψ_{v} (q) = \frac{1}{2} q + \frac{1}{4} sin (vq)$ for all $v \in N, q \in R$ . It can be verify that { $Ψ_{v}}$ from a family of TAN-mappings. For the iterative ${q_{v}}$ defined by (4), the initial values and parameters are chosen as $q_{0} = 1.5, q_{1} = 1.3, b_{0} = 0, ρ = 1, λ = 0.8, w_{v} = 0, 4, α_{v} = 0.8, σ_{v} = 0, 05$ . For the HR-iteration sequence ${q_{v}}$ defined by (19), the initial values and parameters are selected as $d_{0} = 1.5, δ_{v} = t_{v} = ϱ_{v} = 0.3$ where the fixed point is $z = 1.0$ . The numerical results are presented in Table 1 and a graphical comparison is shown in Figure 1.

Next, we consider the AU-iteration ${s_{v}}$ be sequences generated by the following scheme²⁵:

(20)

\begin{matrix} w_{v} = Ψ ((1 - a_{v}) s_{v} + a_{v} Ψ (s_{v})) \\ h_{v} = Ψ (w_{v}) \\ \begin{matrix} u_{v} = Ψ (h_{v}) \\ s_{v + 1} = Ψ (u_{v}) \end{matrix} \end{matrix}

with

a_{v} \in [0, 1]

Table 1. Convergence difference between two iteration processes in Banach space.

n	$q_{v}$ (first iteration)	$‖ q_{v} - z ‖$	$d_{v}$ (second iteration)	$‖ d_{v} - z ‖$
0	1.5	0.5	1.5	0.5
1	1.3	0.30000000000000000	0.4131915244957580	0.5868084755042420
2	1.0849189420687200	0.0849189420687162	0.3421717021662320	0.6578282978337680
3	0.894252864909753	0.10574713509024700	0.4654479063947990	0.5345520936052010
4	0.7226411051916090	0.27735889480839100	0.47385052804551600	0.5261494719544850
5	0.5766662211471710	0.42333377885282900	0.42500864205177500	0.5749913579482250
6	0.4681780936016550	0.5318219063983450	0.3790195207923410	0.6209804792076590
7	0.3961058503874510	0.6038941496125490	0.33979249758830500	0.6602075024116950
8	0.34834967884856500	0.651650321151435	0.30751332108003200	0.6924866789199680
9	0.312784839284355	0.6872151607156450	0.2810096061988630	0.7189903938011380
10	0.28351141953541100	0.7164885804645890	0.2588649995140480	0.7411350004859530
11	0.23648461196167400	0.7635153880383260	0.23988091774148700	0.7601190822585130
12	0.2221863506406470	0.777813649359353	0.22322847148202800	0.7767715285179720
13	0.20668131716233100	0.7933186828376690	0.20858002638555100	0.7914199736144490
14	0.1934829721577170	0.8065170278422830	0.19611958172549700	0.8038804182745030
15	0.18216323534734700	0.8178367646526530	0.18626269285313600	0.8137373071468640
16	0.17190652441410200	0.8280934755858980	0.17779939354768800	0.8222006064523120
17	0.16295588804357600	0.8370441119564240	0.15218421514936300	0.8478157848506370
18	0.15469693555509800	0.8453030644449020	0.1368389430998990	0.8631610569001010
19	0.14749077873627800	0.8525092212637220	0.18749719248117700	0.8125028075188230
20	0.14060001806657000	0.8593999819334300	0.0017337606561274100	0.9982662393438730
21	0.1348251425142060	0.8651748574857940	-0.08313828356067490	1.0831382835606700
22	0.12870148909100100	0.8712985109089990	0.24523837673964200	0.7547616232603580
23	0.12453648894401900	0.8754635110559810	0.009942217347192690	0.9900577826528070
24	0.11790397057680900	0.882096029423191	0.09865281597152940	0.9013471840284710
25	0.11742242033299300	0.8825775796670070	0.13624664018214500	0.8637533598178550
26	0.10465031328707400	0.8953496867129260	-0.138760418621349	1.138760418621350
27	0.12046358860049400	0.8795364113995060	-0.13114341891967600	1.131143418919680
28	0.06926230316173150	0.9307376968382690	0.25780777965080600	0.742192220349194
29	0.1260300954581600	0.8739699045418400	-0.08321106295447480	1.083211062954480
30	0.03863088476970310	0.961369115230297	-0.2907346622703990	1.2907346622704000

Figure 1. A graphical comparison of (4) and (19).

Theorem 5.

Let $C$ be a nonempty closed convex subset of a Banach space X and $Ψ : C \to C$ be a TAN-mapping with $Fix (Ψ) \neq \emptyset$ . Let the sequence ${q_{v}}$ and ${s_{v}}$ be defined by (4) and (20), respectively.

Under the above assumptions for $q_{0} = s_{0} \in C$ , the following statements are equivalent:

1. ${q_{v}}$ converges to $z \in Fix (Ψ)$
2. ${s_{v}}$ converges to $z \in Fix (Ψ)$

Proof.

Since initial points $q_{1}, q_{0}, s_{0} \in C$ and all operations involved in both iteration algorthim consist of convex combinations and bounded perturbations, it follows that all generated sequences remain in the closed convex subset $C$ . In particular, the sequence ${q_{v}}, {s_{v}}, {ρ_{v}}, {b_{v}}, {w_{v}}, {h_{v}}$ and ${u_{v}}$ are bounded. Assume first that ${q_{v}}$ converges to z ∈ Fix(Ψ). By Theorem 1, this convergence is ensured under the stated assumption. To prove that ${s_{v}}$ also converges to the same fixed point z, we estimate.

\begin{matrix} ‖ s_{v + 1} - z ‖ \leq ‖ u_{v} - z ‖ + μ_{v} \emptyset (‖ u_{v} - z ‖) + k_{v} \\ \leq (1 - a_{v}) ‖ s_{v} - z ‖ + a_{v} ‖ s_{v} - z ‖ + a_{v} μ_{v} \emptyset (‖ s_{v} - z ‖) + a_{v} k_{v} \\ + μ_{v} \emptyset (‖ (1 - a_{v}) s_{v} + a_{v} Ψ (s_{v}) - z ‖) + k_{v} \\ ‖ s_{v + 1} - z ‖ \leq ‖ s_{v} - z ‖ + a_{v} μ_{v} \emptyset (‖ s_{v} - z ‖) + a_{v} k_{v} + μ_{v} \emptyset (‖ (1 - a_{v}) s_{v} + a_{v} Ψ (s_{v}) - z ‖) \\ + k_{v} + μ_{v} \emptyset (‖ w_{v} - z ‖) + k_{v} + μ_{v} \emptyset (‖ h_{v} - z ‖) + k_{v} + μ_{v} \emptyset (‖ u_{v} - z ‖) + k_{v} \\ \leq ‖ s_{v} - z ‖ + μ_{v} [a_{v} \emptyset (‖ s_{v} - z ‖) + \emptyset (‖ w_{v} - z ‖) + \emptyset (‖ h_{v} - z ‖) + \emptyset (‖ (1 - a_{v}) s_{v} + a_{v} Ψ (s_{v}) - z ‖) + \emptyset (‖ u_{v} - z ‖)] \\ + k_{v} (a_{v} + 4) \end{matrix}

Since μ → 0, k_v → 0, and all invloved sequences are bounded, Lemma 3 implies that ${s_{v}}$ converges to $z$ . Finally, define $D_{v} = ‖ q_{v} - s_{v} ‖$ , to show $lim_{v \to \infty} D_{v} = 0$ .

Since both sequences converge to the same fixed point $z$ , we have: $‖ q_{v + 1} - s_{v + 1} ‖ \leq ‖ q_{v + 1} - z ‖ + ‖ s_{v + 1} - z ‖ \to 0$ , which implies that $lim_{v \to \infty} D_{v} = 0$ . Therefore, the two statements are equivalent.

Application

In this section, we apply the proposed framework of TAN-mapping to a nonlinear two-dimensional Volterra integral equation of the form.

X (ξ, ρ) = β (ξ, ρ) + \int_{0}^{ξ} \int_{0}^{ρ} ℧_{1} (l, h, X (l, h)) dldh + ζ \int_{0}^{ξ} ℧_{2} (ρ, h, X (ξ, h)) dh + γ \int_{0}^{ρ} ℧_{3} (ξ, l, X (ρ, r)) dl

For all

ξ, ρ,

l, h \in [0, 1],

where

X \in C [0, 1] \times C [0, 1], β : [0, 1] \times [0, 1] \to R^{2}

℧_{j} : [0, 1] \times [0, 1] \times R^{2} \to R^{2}

are continuous, function for

j = 1, 2, 3

, let

X = C [0, 1]

is a Banach space with the maximum norm

{‖ q - s ‖}_{\infty} = {max}_{σ \in [0, 1]} | q (σ) - s (σ) |,

for all

q, s \in C [0, 1]

Theorem 6.

Assume that $Z$ is a nonempty closed convex subset of $X$ and $Ψ : Z \to Z$ described as

(21)

Ψ X (ξ, ρ) = β (ξ, ρ) + \int_{0}^{ξ} \int_{0}^{ρ} ℧_{1} (l, h, X (l, h)) dldh + ζ \int_{0}^{ξ} ℧_{2} (ρ, h, X (ξ, h)) dh + γ \int_{0}^{ρ} ℧_{3} (ξ, l, X (ρ, l)) dl

Also assume the assertions below are true

1) The function $X : X \times X \to R^{2}$ is continuous.
2) There exist constants $v_{1}, v_{2}, v_{3} > 0$ and sequences $η_{v}, ε_{v} \geq 0 with η_{v} \to 0, ε_{v} \to 0$ , such that for all $w_{1}, w_{2} \in R^{2}$ ,
$\begin{matrix} ‖ ℧_{1} (l, h, w_{1}) - ℧_{1} (l, h, w_{2}) ‖ \leq (1 + η_{v}) v_{1} ‖ w_{1} - w_{1} ‖ + ε_{v} \\ ‖ ℧_{2} (ρ, h, w_{1}) - ℧_{2} (ρ, h, w_{2}) ‖ \leq (1 + η_{v}) v_{2} ‖ w_{1} - w_{1} ‖ + ε_{v} \\ ‖ ℧_{3} (ξ, l, w_{1}) - ℧_{3} (ξ, l, w_{2}) ‖ \leq (1 + η_{v}) v_{3} ‖ w_{1} - w_{1} ‖ + ε_{v} \end{matrix}$

Then the two-dimensional Volterra integral equation (21) has a solution in $Z \times Z$ provided that $Ψ$ has a fixed point.

3) For $ζ, γ \geq 0, v_{1} + ζ v_{2} + γ v_{3} \leq L, where L \in (0, 1)$

Proof.

Let $X, X^{*} \in X$ . By direct estimation and using Assumption (2), we obtain:

{‖ X - {Ψ X}^{*} ‖}_{\infty} = {}_{σ \in [0, 1]}^{max}{| X (ξ, ρ) (σ) - X^{*} (ξ, ρ) (σ) |} = {max}_{σ \in [0, 1]} | X (ξ, ρ) (σ) - β (ξ, ρ) - \int_{0}^{ξ} \int_{0}^{ρ} ℧_{1} (l, h, X^{*} (l, u)) dldh - ζ \int_{0}^{ξ} ℧_{2} (ρ, h, X^{*} (ξ, h)) dh - γ \int_{0}^{ρ} ℧_{3} (ξ, l, X^{*} (ρ, l)) dl | \leq {max}_{σ \in [0, 1]} {| X (ξ, ρ) (σ) - β (ξ, ρ) - \int_{0}^{ξ} \int_{0}^{ρ} ℧_{1} (l, h, X (l, h)) dldh - ζ \int_{0}^{ξ} ℧_{2} (ρ, h, X (ξ, h)) dh - γ \int_{0}^{ρ} ℧_{3} (ξ, l, X (ρ, l)) dl | + | \int_{0}^{ξ} \int_{0}^{ρ} ℧_{1} (l, h, X (l, h)) dldh - \int_{0}^{ξ} \int_{0}^{ρ} ℧_{1} (l, h, X^{*} (l, h)) dldh | + ζ | \int_{0}^{ξ} ℧_{2} (ρ, h, X (ξ, h)) dh - \int_{0}^{ξ} ℧_{2} (ρ, h, X^{*} (ξ, h)) dh | + γ | \int_{0}^{ρ} ℧_{3} (ξ, l, X (ρ, l)) dl - \int_{0}^{ρ} ℧_{3} (ξ, l, X^{*} (ρ, l)) dl |}

\begin{matrix} {‖ X - {Ψ X}^{*} ‖}_{\infty} \leq β {‖ X - X^{*} ‖}_{\infty} + (1 + η_{v}) (v_{1} + ζ v_{2} + γ v_{3}) {‖ X - X^{*} ‖}_{\infty} + (1 + ζ + γ) ε_{v} \\ = [β + (1 + η_{v}) (v_{1} + {ζv}_{2} + {γv}_{3})] {‖ X - X^{*} ‖}_{\infty} + (1 + ζ + γ) ε_{v} \end{matrix}

Let $\emptyset (t) = t, μ_{v} = η_{v} (v_{1} + ζ v_{2} + γ v_{3}), k_{v} = (1 + ζ + γ) ε_{v}$ . By Assumption 3, we obtain ${‖ X - {Ψ X}^{*} ‖}_{\infty} = {‖ X - X^{*} ‖}_{\infty} + μ_{v} \emptyset ({‖ X - X^{*} ‖}_{\infty}) + k_{v}$ , it follows that Ψ is a TAN-mapping.

Therefore, by

Theorem 1, the iterative algorthim generated by (4) converges weakly to a solution of the integral Equation (21).

The following example supports Theorem 6.

Example 2.

Consider the following two-dimensional Volterra integral equation.

(22)

X (ξ, ρ) = \frac{cos (πξρ)}{10} + \int_{0}^{ξ} \int_{0}^{ρ} \frac{1}{16} cos X (lh) dldh + \frac{1}{2} \int_{0}^{ξ} \frac{1}{24} cos X (ξh) dh + \frac{1}{2} \int_{0}^{ρ} \frac{1}{23} cos X (ρl) dl

It is clear that problem (22) is a special case of (21) with, $β (ξ, ρ) = \frac{cos (πξρ)}{10}$ , $℧_{1} (l, h, X (l, h)) = \frac{1}{16} cos X (lh)$ , $℧_{2} (ρ, h, X (ξ, h)) = \frac{1}{24} cos X (ξh)$ , $℧_{3} (ξ, l, X (ρ, l)) = \frac{1}{23} cos X (ρl)$ , $ζ = \frac{1}{2}$ and $γ = \frac{1}{2}$ .

Since the cosine function is Lipschitz continuous on bounded intervals and the constants $\frac{1}{16}, \frac{1}{24}, \frac{1}{23}$ satisfy the contraction type bound required in Assumption (3) all assumptions of Theorem 6 are satisfied, Therefore, Equation (22) admits at least one solution in X.

Conclusion

In this paper, we investigated the convergence properties of the modified iterative algorithm (4) in the Banach space X. The main results establish both weak convergence (Theorem 1) and strong convergence (Theorem 2) of the proposed scheme under appropriate assumptions on the space and on the structure of the iterative process. Furthermore, stability of the generated sequence was analyzed, and a comparative study demonstrated that the proposed method converges faster than the HR-iteration scheme. Algorithm 4 was shown to be equivalent to Algorithm 20 in the sense that both methods converge to the same fixed point, while the proposed algorithm exhibits a superior convergence rate. The theoretical findings were supported by a numerical example and illustrated through convergence plots generated using MATLAB. To further demonstrate the applicability and significance of the proposed method, the theoretical results were applied to the solution of a nonlinear two-dimensional Volterra integral equation. The obtained results demonstrate that the proposed framework provides a unified approach for analyzing convergence, stability, and acceleration of iterative algorithm under TAN-mapping conditions. Future research directions may include the investigation of a related iterative algorithms and their extensions under weaker contractive type assumptions, such as those proposed in Refs. 26 and 27.

Ethical clearance

The project was approved by the local ethical committee at the University of Baghdad.

Data availability

No data associated with this article.

References

1. Browder FE: Fixed-point theorems for nonexpansive mappings in Banach spaces. Proc. Natl. Acad. Sci. 1965; 53(6): 1272–1276. PubMed Abstract | Publisher Full Text | Free Full Text
2. Kirk WA: A fixed-point theorem for mappings which do not increase distances. Am. Math. Mon. 1965; 72(9): 1004–1006. Publisher Full Text
3. Goebel K, Kirk WA: A fixed-point theorem for asymptotically nonexpansive mappings. Proc. Am. Math. Soc. 1972; 35(1): 171–174. Publisher Full Text
4. Alber YI, Chidume CE, Zegeye H: Approximating fixed points of total asymptotically nonexpansive mappings. Fixed Point Theory and Applications. 2006; 2006(1): 1–18.
5. Abed SS, Abed AN: Convergence and stability of iterative scheme for a monotone total asymptotically non-expansive mapping in partially ordered Banach spaces. Iraqi Journal of Science. 2022; 63(1): 241–250. Publisher Full Text
6. Khomphurngson K, Nammanee K: Fixed point of total asymptotically nonexpansive mappings in Banach spaces. Science & Technology Asia. 2024; 29(2): 183–190.
7. Balooee J, Al-Homidan S: System of generalized variational-like inclusions involving (P,η)-accretive mappings and fixed point problems in real Banach spaces. Arab. J. Math. 2024; 13: 1–33. Publisher Full Text
8. Salisu S, Kumam P, Sriwongsa S, et al.: Enriched asymptotically nonexpansive mappings with center zero. Filomat. 2024; 38(1): 343–356. Publisher Full Text
9. Sun Y: A fixed-point theorem for random asymptotically nonexpansive mappings. N. Y. J. Math. 2025; 31: 182–194.
10. Harbau MH, Ugwunnadi GC, Jolaoso LO, et al.: Inertial accelerated algorithm for fixed point of asymptotically nonexpansive mapping in real uniformly convex Banach spaces. Axioms. 2021; 10(12): 680. Publisher Full Text
11. Suzuki T: Fixed point theorems and convergence theorems for some generalized nonexpansive mappings. J. Math. Anal. Appl. 2008; 340: 1088–1095. Publisher Full Text
12. Browder FE: Fixed point theorems for nonlinear semicontractive mappings in Banach spaces. Arch. Ration. Mech. Anal. 1966; 21: 259–269. Publisher Full Text
13. Kim TH, Kim DH: Demiclosedness principles for total asymptotically nonexpansive mappings. Mathematical Analysis Research Institute Reports. 2013; 1821: 90–106.
14. Harder AM: Fixed point theory and stability results for fixed point iteration procedures. St. Rolla, MO, USA: University of Missouri-Rolla; 1987. (Ph.D. thesis).
15. Berinde V: Iterative Approximation of Fixed Points. Berlin: Springer; 2007.
16. O’pial Z: Weak convergence of the sequence of successive approximations for nonexpansive mappings. Bull. Am. Math. Soc. 1967; 73: 591–597. Publisher Full Text
17. Gossez JP, Dozo EL: Some geometric properties related to the fixed-point theory for nonexpansive mappings. Pac. J. Math. 1972; 40: 565–573. Publisher Full Text
18. Tan KK, Xu HK: Fixed Point Iteration Processes for Asymptotically Nonexpansive Mappings. Proc. Am. Math. Soc. 1994; 122: 733–739. Publisher Full Text
19. Osilike MO, Aniagbosor SC: Weak and Strong Convergence Theorems for Fixed Points of Asymptotically Nonexpansive Mappings. Math. Comput. Model. 2000; 32: 1181–1191. Publisher Full Text
20. Xu HK: Inequalities in Banach Spaces with Applications. Nonlinear Anal. 1991; 16: 1127–1138. Publisher Full Text
21. Beck A, Teboulle M: A Fast Iterative Shrinkage-Thresholding Algorithm for Linear Inverse Problems. SIAM Journal on Imaging Sciences. 2009; 2: 183–202. Publisher Full Text
22. Schu J: Weak and strong convergence to Fixed Points of Asymptotically Nonexpansive Mappings. Bull. Aust. Mathematical Society. 1991; 43: 153–159. Publisher Full Text
23. Agarwal RP, El-Gebeily MA, O’Regan D: Fixed point theory for Lipschitzian-type mappings with applications. Topological Fixed-Point Theory and Its Applications. New York: Springer; 2009; vol. 6. .
24. Hammad HA, Rehman H, De la Sen M: A new four-step iterative procedure for approximating fixed points with application to 2D Volterra integral equations. Mathematics. 2022; 10(24): 4827. Publisher Full Text
25. Udofia UE, Igbokwe DI: Monotone α-nonexpansive mapping in ordered Banach space by AU-iteration algorithm with application to delay differential equation. International Journal of Nonlinear Analysis and Applications. 2022; 13(2): 673–690.
26. Salman BB, Abed SS: Convergence of Forked Sequence to a Fixed Point in Modular Function Spaces. Iraqi Journal of Science. 2024; 65(6): 3291–3301. Publisher Full Text
27. Salman BB, Abed SS: New approximating results by weak convergence of forked sequences. Baghdad Sci. J. 2025; 22(2): 623–633.

Comments on this article Comments (0)

Version 3

VERSION 3 PUBLISHED 22 Dec 2025

Author details Author details

¹ Mathematics, University of Baghdad, Baghdad, Baghdad Governorate, 10011, Iraq

Rana Fadhil
Roles: Writing – Original Draft Preparation

Salwa Salman
Roles: Writing – Review & Editing

Competing interests

No competing interests were disclosed.

Grant information

The author(s) declared that no grants were involved in supporting this work.

Article Versions (3)

version 3

Revised

Published: 18 Apr 2026, 14:1430

https://doi.org/10.12688/f1000research.172972.3

version 2

Revised

Published: 09 Feb 2026, 14:1430

https://doi.org/10.12688/f1000research.172972.2

version 1

Published: 22 Dec 2025, 14:1430

https://doi.org/10.12688/f1000research.172972.1

© 2026 Fadhil R and Salman S. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Download

Export To

metrics

	Views	Downloads
F1000Research	-	-
PubMed Central Data from PMC are received and updated monthly.	-	-

Citations

SEE MORE DETAILS

CITE

how to cite this article

Fadhil R and Salman S. Fixed-point Acceleration Algorithm of Total Asymptotically Nonexpansive Mappings [version 3; peer review: 1 approved with reservations, 1 not approved]. F1000Research 2026, 14:1430 (https://doi.org/10.12688/f1000research.172972.3)

NOTE: If applicable, it is important to ensure the information in square brackets after the title is included in all citations of this article.

track

receive updates on this article

Track an article to receive email alerts on any updates to this article.

Open Peer Review

Version 3

VERSION 3

PUBLISHED 18 Apr 2026

Revised

Views

Reviewer Report 09 Jun 2026

Rahim Shah, Kohsar University Murree, Murree, Pakistan

Approved with Reservations

https://doi.org/10.5256/f1000research.197668.r486754

Recommendation: Major Revision
Comments:

The manuscript still contains substantial grammatical, formatting, and notation inconsistencies that require professional editing.
The revised stability theorem is not yet mathematically rigorous and needs further clarification.

Recommendation: Major Revision
Comments:

The manuscript still contains substantial grammatical, formatting, and notation inconsistencies that require professional editing.
The revised stability theorem is not yet mathematically rigorous and needs further clarification.
The convergence-rate comparison with the HR iteration is not convincingly proved.
The numerical example appears inconsistent with the claimed fixed point and convergence behavior. It needs to add some discussions in detail.
Several steps in the weak convergence proof require more detailed justification.
The application to the 2D Volterra integral equation contains notation inconsistencies and remains relatively superficial.
The authors should carefully verify all mathematical derivations, numerical results, and assumptions before the manuscript can be considered for acceptance.

Overall evaluation: The topic is interesting and potentially publishable, but significant mathematical and presentation issues remain. A further major revision is required before the manuscript can be recommended for acceptance.

Is the work clearly and accurately presented and does it cite the current literature?

Yes
Is the study design appropriate and is the work technically sound?

Yes
Are sufficient details of methods and analysis provided to allow replication by others?

Partly
If applicable, is the statistical analysis and its interpretation appropriate?

Yes
Are all the source data underlying the results available to ensure full reproducibility?

Yes
Are the conclusions drawn adequately supported by the results?

Yes

Competing Interests: No competing interests were disclosed.

Reviewer Expertise: Analysis, Fixed Point Theory, Applied Mathematics

I confirm that I have read this submission and believe that I have an appropriate level of expertise to confirm that it is of an acceptable scientific standard, however I have significant reservations, as outlined above.

CITE

Report a concern

Respond or Comment

Version 2

VERSION 2

PUBLISHED 09 Feb 2026

Revised

Views

Reviewer Report 19 Feb 2026

Tanakit Thianwan, Department of Mathematics, University of Phayao (Ringgold ID: 90440), Mueang Phayao District, Phayao, Thailand

Not Approved

https://doi.org/10.5256/f1000research.196056.r456885

The manuscript investigates weak and strong convergence results for a proposed four-step accelerated iterative scheme applied to total asymptotically nonexpansive (TAN) mappings in uniformly convex Banach spaces. The topic falls within classical fixed-point theory and nonlinear functional analysis, and the general framework (Opial’s condition for weak convergence and semi-compactness for strong convergence) is standard in the literature.

While the mathematical direction is appropriate and technically aligned with existing fixed-point frameworks, the manuscript in its current form does not meet the academic, linguistic, and structural standards required for indexing or publication in a reputable mathematical journal.

The proposed scheme represents an incremental variation within a well-established class of accelerated/inertial-type iterative methods. The manuscript does not clearly demonstrate a substantial theoretical advancement beyond existing accelerated frameworks.

The comparative convergence claim (“converges faster than HR-iteration”) is not supported by a rigorous theoretical rate analysis. The argument appears mostly inequality-based and heuristic rather than providing explicit rate estimates.

The application to the Volterra integral equation follows a routine operator reformulation approach and does not introduce new analytical techniques.

In addition to the above conceptual and theoretical concerns, the manuscript suffers from serious linguistic and grammatical deficiencies, which significantly affect its academic quality and readability. The manuscript contains numerous grammatical errors throughout the text, including incorrect verb forms, improper tense usage, and frequent subject–verb agreement errors. There are repeated problems with article usage (a, an, the), especially before technical terms. Punctuation and connectors (e.g., “therefore”, “moreover”, “hence”) are frequently misused. Notation and sentence flow in the proof sections are inconsistent, making several derivations difficult to follow.

The manuscript is not suitable for indexing in its current form. I recommend:
Rejection in its current form for indexing consideration.

Competing Interests: No competing interests were disclosed.

Reviewer Expertise: Fixed point theory and optimization

I confirm that I have read this submission and believe that I have an appropriate level of expertise to state that I do not consider it to be of an acceptable scientific standard, for reasons outlined above.

CITE

Report a concern

Respond or Comment

Version 1

VERSION 1

PUBLISHED 22 Dec 2025

Views

Reviewer Report 10 Jan 2026

Tanakit Thianwan, Department of Mathematics, University of Phayao (Ringgold ID: 90440), Mueang Phayao District, Phayao, Thailand

Not Approved

https://doi.org/10.5256/f1000research.190743.r446606

The manuscript presents interesting convergence results for accelerated fixed-point algorithms. However, the paper contains numerous grammatical errors, awkward sentence constructions, and inconsistencies in academic style. A comprehensive language revision is required.
Reviewer Comments (Language & Grammar):

The manuscript contains numerous grammatical errors throughout the text.
Many sentences suffer from incomplete or incorrect sentence structure, including sentence fragments and run-on sentences.
Incorrect or missing articles (a, an, the) are frequently observed, particularly before technical terms.
Subject–verb agreement errors appear repeatedly.
The use of verb tense is inconsistent, especially in the Introduction and proof sections.
Several expressions are non-standard in academic English (e.g., “getting”, “to proof”, “there by”).
Prepositions and connectors are often used incorrectly.
Definitions and proofs are not written in standard academic English style and require restructuring for clarity.
Overall readability is reduced, and a comprehensive English language revision is necessary.

Overall Recommendation:
Major language revision required before the manuscript can be considered for indexing. Applications are also routine, so I do not recommend the paper for indexing.

Is the work clearly and accurately presented and does it cite the current literature?

Yes
Is the study design appropriate and is the work technically sound?

Yes
Are sufficient details of methods and analysis provided to allow replication by others?

Partly
If applicable, is the statistical analysis and its interpretation appropriate?

Yes
Are all the source data underlying the results available to ensure full reproducibility?

Yes
Are the conclusions drawn adequately supported by the results?

Yes

Competing Interests: No competing interests were disclosed.

Reviewer Expertise: Fixed point theory and optimization

CITE

Report a concern

Author Response 09 Feb 2026

Rana Fadhil, Mathematics, University of Baghdad, Baghdad, 10011, Iraq

09 Feb 2026

Author Response

Dear Editor,
We would like to thank you and the reviewer for the time and effort devoted to the evaluation of our manuscript entitled
“Fixed-point Acceleration Algorithm of Total Asymptotically ... Continue reading Dear Editor,
We would like to thank you and the reviewer for the time and effort devoted to the evaluation of our manuscript entitled
“Fixed-point Acceleration Algorithm of Total Asymptotically Nonexpansive Mappings.”

We greatly appreciate the reviewer’s constructive comments, particularly those concerning language, clarity, and academic style. In response, we have carried out a comprehensive and careful English language revision of the entire manuscript. All sections—including the abstract, introduction, preliminaries, theorems and proofs, stability analysis, numerical examples, applications, and conclusion—have been thoroughly revised to improve grammatical correctness, sentence structure, consistency of tense, and overall academic presentation.
In particular:
• Non-standard expressions and informal wording were replaced with standard academic English.
• Sentence fragments, run-on sentences, and grammatical inconsistencies were corrected.
• Articles, prepositions, and subject–verb agreements were carefully revised throughout the manuscript.
• Definitions and proofs were rewritten stylistically (without altering any mathematical arguments or results) to ensure clarity and conformity with conventional mathematical writing standards.
• The overall readability and coherence of the manuscript were significantly improved.

We emphasize that no mathematical content, assumptions, results, or conclusions were altered during this revision. All convergence results, proofs, numerical experiments, and applications remain exactly the same, with improvements limited strictly to language and presentation. This approach was intentionally adopted to preserve the originality and technical integrity of the work while fully addressing the reviewer’s concerns.

We believe that the revised manuscript now meets the required standards of academic English and clarity, and we respectfully submit it for your reconsideration.

Thank you again for your time and consideration.

Sincerely,
Rana Fadhil
Dear Editor,
We would like to thank you and the reviewer for the time and effort devoted to the evaluation of our manuscript entitled
“Fixed-point Acceleration Algorithm of Total Asymptotically Nonexpansive Mappings.”

We greatly appreciate the reviewer’s constructive comments, particularly those concerning language, clarity, and academic style. In response, we have carried out a comprehensive and careful English language revision of the entire manuscript. All sections—including the abstract, introduction, preliminaries, theorems and proofs, stability analysis, numerical examples, applications, and conclusion—have been thoroughly revised to improve grammatical correctness, sentence structure, consistency of tense, and overall academic presentation.
In particular:
• Non-standard expressions and informal wording were replaced with standard academic English.
• Sentence fragments, run-on sentences, and grammatical inconsistencies were corrected.
• Articles, prepositions, and subject–verb agreements were carefully revised throughout the manuscript.
• Definitions and proofs were rewritten stylistically (without altering any mathematical arguments or results) to ensure clarity and conformity with conventional mathematical writing standards.
• The overall readability and coherence of the manuscript were significantly improved.

We emphasize that no mathematical content, assumptions, results, or conclusions were altered during this revision. All convergence results, proofs, numerical experiments, and applications remain exactly the same, with improvements limited strictly to language and presentation. This approach was intentionally adopted to preserve the originality and technical integrity of the work while fully addressing the reviewer’s concerns.

We believe that the revised manuscript now meets the required standards of academic English and clarity, and we respectfully submit it for your reconsideration.

Thank you again for your time and consideration.

Sincerely,
Rana Fadhil
Competing Interests: No competing interests were disclosed Close
Report a concern
Respond or Comment

COMMENTS ON THIS REPORT

Author Response 09 Feb 2026

Rana Fadhil, Mathematics, University of Baghdad, Baghdad, 10011, Iraq

09 Feb 2026

Author Response

Dear Editor,
We would like to thank you and the reviewer for the time and effort devoted to the evaluation of our manuscript entitled
“Fixed-point Acceleration Algorithm of Total Asymptotically ... Continue reading Dear Editor,
We would like to thank you and the reviewer for the time and effort devoted to the evaluation of our manuscript entitled
“Fixed-point Acceleration Algorithm of Total Asymptotically Nonexpansive Mappings.”

We greatly appreciate the reviewer’s constructive comments, particularly those concerning language, clarity, and academic style. In response, we have carried out a comprehensive and careful English language revision of the entire manuscript. All sections—including the abstract, introduction, preliminaries, theorems and proofs, stability analysis, numerical examples, applications, and conclusion—have been thoroughly revised to improve grammatical correctness, sentence structure, consistency of tense, and overall academic presentation.
In particular:
• Non-standard expressions and informal wording were replaced with standard academic English.
• Sentence fragments, run-on sentences, and grammatical inconsistencies were corrected.
• Articles, prepositions, and subject–verb agreements were carefully revised throughout the manuscript.
• Definitions and proofs were rewritten stylistically (without altering any mathematical arguments or results) to ensure clarity and conformity with conventional mathematical writing standards.
• The overall readability and coherence of the manuscript were significantly improved.

We emphasize that no mathematical content, assumptions, results, or conclusions were altered during this revision. All convergence results, proofs, numerical experiments, and applications remain exactly the same, with improvements limited strictly to language and presentation. This approach was intentionally adopted to preserve the originality and technical integrity of the work while fully addressing the reviewer’s concerns.

We believe that the revised manuscript now meets the required standards of academic English and clarity, and we respectfully submit it for your reconsideration.

Thank you again for your time and consideration.

Sincerely,
Rana Fadhil
Dear Editor,
We would like to thank you and the reviewer for the time and effort devoted to the evaluation of our manuscript entitled
“Fixed-point Acceleration Algorithm of Total Asymptotically Nonexpansive Mappings.”

We greatly appreciate the reviewer’s constructive comments, particularly those concerning language, clarity, and academic style. In response, we have carried out a comprehensive and careful English language revision of the entire manuscript. All sections—including the abstract, introduction, preliminaries, theorems and proofs, stability analysis, numerical examples, applications, and conclusion—have been thoroughly revised to improve grammatical correctness, sentence structure, consistency of tense, and overall academic presentation.
In particular:
• Non-standard expressions and informal wording were replaced with standard academic English.
• Sentence fragments, run-on sentences, and grammatical inconsistencies were corrected.
• Articles, prepositions, and subject–verb agreements were carefully revised throughout the manuscript.
• Definitions and proofs were rewritten stylistically (without altering any mathematical arguments or results) to ensure clarity and conformity with conventional mathematical writing standards.
• The overall readability and coherence of the manuscript were significantly improved.

We emphasize that no mathematical content, assumptions, results, or conclusions were altered during this revision. All convergence results, proofs, numerical experiments, and applications remain exactly the same, with improvements limited strictly to language and presentation. This approach was intentionally adopted to preserve the originality and technical integrity of the work while fully addressing the reviewer’s concerns.

We believe that the revised manuscript now meets the required standards of academic English and clarity, and we respectfully submit it for your reconsideration.

Thank you again for your time and consideration.

Sincerely,
Rana Fadhil
Competing Interests: No competing interests were disclosed Close
Report a concern

Comments on this article Comments (0)

Version 3

VERSION 3 PUBLISHED 22 Dec 2025

Open Peer Review

Reviewer Status

Reviewer Reports

	Invited Reviewers
	1	2
Version 3 (revision) 18 Apr 26		read
Version 2 (revision) 09 Feb 26	read
Version 1 22 Dec 25	read

Tanakit Thianwan, University of Phayao (Ringgold ID: 90440), Mueang Phayao District, Thailand
Rahim Shah, Kohsar University Murree, Murree, Pakistan

Comments on this article

All Comments(0)

Add a comment

Browse by related subjects

Back to all reports

Reviewer Report

8 Views

09 Jun 2026 | for Version 3

Rahim Shah, Kohsar University Murree, Murree, Pakistan

8 Views Cite this report Responses(0)

Approved With Reservations

Recommendation: Major Revision
Comments:

The manuscript still contains substantial grammatical, formatting, and notation inconsistencies that require professional editing.
The revised stability theorem is not yet mathematically rigorous and needs further clarification.
The convergence-rate comparison with the HR iteration is not convincingly proved.
The numerical example appears inconsistent with the claimed fixed point and convergence behavior. It needs to add some discussions in detail.
Several steps in the weak convergence proof require more detailed justification.
The application to the 2D Volterra integral equation contains notation inconsistencies and remains relatively superficial.
The authors should carefully verify all mathematical derivations, numerical results, and assumptions before the manuscript can be considered for acceptance.

Is the work clearly and accurately presented and does it cite the current literature?

Yes
Is the study design appropriate and is the work technically sound?

Yes
Are sufficient details of methods and analysis provided to allow replication by others?

Partly
If applicable, is the statistical analysis and its interpretation appropriate?

Yes
Are all the source data underlying the results available to ensure full reproducibility?

Yes
Are the conclusions drawn adequately supported by the results?

Yes

Competing Interests

No competing interests were disclosed.

Reviewer Expertise

Analysis, Fixed Point Theory, Applied Mathematics

Respond to this report

Responses (0)

Back to all reports

Reviewer Report

20 Views

19 Feb 2026 | for Version 2

Tanakit Thianwan, Department of Mathematics, University of Phayao (Ringgold ID: 90440), Mueang Phayao District, Phayao, Thailand

20 Views Cite this report Responses(0)

Not Approved

Competing Interests

No competing interests were disclosed.

Reviewer Expertise

Fixed point theory and optimization

Respond to this report

Responses (0)

Back to all reports

Reviewer Report

35 Views

10 Jan 2026 | for Version 1

Tanakit Thianwan, Department of Mathematics, University of Phayao (Ringgold ID: 90440), Mueang Phayao District, Phayao, Thailand

35 Views Cite this report Responses(1)

Not Approved

The manuscript contains numerous grammatical errors throughout the text.
Many sentences suffer from incomplete or incorrect sentence structure, including sentence fragments and run-on sentences.
Incorrect or missing articles (a, an, the) are frequently observed, particularly before technical terms.
Subject–verb agreement errors appear repeatedly.
The use of verb tense is inconsistent, especially in the Introduction and proof sections.
Several expressions are non-standard in academic English (e.g., “getting”, “to proof”, “there by”).
Prepositions and connectors are often used incorrectly.
Definitions and proofs are not written in standard academic English style and require restructuring for clarity.
Overall readability is reduced, and a comprehensive English language revision is necessary.

Overall Recommendation:
Major language revision required before the manuscript can be considered for indexing. Applications are also routine, so I do not recommend the paper for indexing.

Is the work clearly and accurately presented and does it cite the current literature?

Yes
Is the study design appropriate and is the work technically sound?

Yes
Are sufficient details of methods and analysis provided to allow replication by others?

Partly
If applicable, is the statistical analysis and its interpretation appropriate?

Yes
Are all the source data underlying the results available to ensure full reproducibility?

Yes
Are the conclusions drawn adequately supported by the results?

Yes

Competing Interests

No competing interests were disclosed.

Reviewer Expertise

Fixed point theory and optimization

Respond to this report

Responses (1)

Author Response

09 Feb 2026

Rana Fadhil, Mathematics, University of Baghdad, Baghdad, 10011, Iraq

Dear Editor,
We would like to thank you and the reviewer for the time and effort devoted to the evaluation of our manuscript entitled
“Fixed-point Acceleration Algorithm of Total Asymptotically Nonexpansive Mappings.”

We greatly appreciate the reviewer’s constructive comments, particularly those concerning language, clarity, and academic style. In response, we have carried out a comprehensive and careful English language revision of the entire manuscript. All sections—including the abstract, introduction, preliminaries, theorems and proofs, stability analysis, numerical examples, applications, and conclusion—have been thoroughly revised to improve grammatical correctness, sentence structure, consistency of tense, and overall academic presentation.
In particular:
• Non-standard expressions and informal wording were replaced with standard academic English.
• Sentence fragments, run-on sentences, and grammatical inconsistencies were corrected.
• Articles, prepositions, and subject–verb agreements were carefully revised throughout the manuscript.
• Definitions and proofs were rewritten stylistically (without altering any mathematical arguments or results) to ensure clarity and conformity with conventional mathematical writing standards.
• The overall readability and coherence of the manuscript were significantly improved.

We emphasize that no mathematical content, assumptions, results, or conclusions were altered during this revision. All convergence results, proofs, numerical experiments, and applications remain exactly the same, with improvements limited strictly to language and presentation. This approach was intentionally adopted to preserve the originality and technical integrity of the work while fully addressing the reviewer’s concerns.

We believe that the revised manuscript now meets the required standards of academic English and clarity, and we respectfully submit it for your reconsideration.

Thank you again for your time and consideration.

Sincerely,
Rana Fadhil

View more View less

Competing Interests

No competing interests were disclosed

Alongside their report, reviewers assign a status to the article:

Approved - the paper is scientifically sound in its current form and only minor, if any, improvements are suggested

Approved with reservations - A number of small changes, sometimes more significant revisions are required to address specific details and improve the papers academic merit.

Not approved - fundamental flaws in the paper seriously undermine the findings and conclusions

[1] 1. Browder FE: Fixed-point theorems for nonexpansive mappings in Banach spaces. Proc. Natl. Acad. Sci. 1965; 53(6): 1272–1276. PubMed Abstract | Publisher Full Text | Free Full Text

[2] 2. Kirk WA: A fixed-point theorem for mappings which do not increase distances. Am. Math. Mon. 1965; 72(9): 1004–1006. Publisher Full Text

[3] 3. Goebel K, Kirk WA: A fixed-point theorem for asymptotically nonexpansive mappings. Proc. Am. Math. Soc. 1972; 35(1): 171–174. Publisher Full Text

[4] 4. Alber YI, Chidume CE, Zegeye H: Approximating fixed points of total asymptotically nonexpansive mappings. Fixed Point Theory and Applications. 2006; 2006(1): 1–18.

[5] 5. Abed SS, Abed AN: Convergence and stability of iterative scheme for a monotone total asymptotically non-expansive mapping in partially ordered Banach spaces. Iraqi Journal of Science. 2022; 63(1): 241–250. Publisher Full Text

[6] 6. Khomphurngson K, Nammanee K: Fixed point of total asymptotically nonexpansive mappings in Banach spaces. Science & Technology Asia. 2024; 29(2): 183–190.

[7] 7. Balooee J, Al-Homidan S: System of generalized variational-like inclusions involving (P,η)-accretive mappings and fixed point problems in real Banach spaces. Arab. J. Math. 2024; 13: 1–33. Publisher Full Text

[8] 8. Salisu S, Kumam P, Sriwongsa S, et al.: Enriched asymptotically nonexpansive mappings with center zero. Filomat. 2024; 38(1): 343–356. Publisher Full Text

[9] 9. Sun Y: A fixed-point theorem for random asymptotically nonexpansive mappings. N. Y. J. Math. 2025; 31: 182–194.

[10] 10. Harbau MH, Ugwunnadi GC, Jolaoso LO, et al.: Inertial accelerated algorithm for fixed point of asymptotically nonexpansive mapping in real uniformly convex Banach spaces. Axioms. 2021; 10(12): 680. Publisher Full Text

[11] 11. Suzuki T: Fixed point theorems and convergence theorems for some generalized nonexpansive mappings. J. Math. Anal. Appl. 2008; 340: 1088–1095. Publisher Full Text

[12] 12. Browder FE: Fixed point theorems for nonlinear semicontractive mappings in Banach spaces. Arch. Ration. Mech. Anal. 1966; 21: 259–269. Publisher Full Text

[13] 13. Kim TH, Kim DH: Demiclosedness principles for total asymptotically nonexpansive mappings. Mathematical Analysis Research Institute Reports. 2013; 1821: 90–106.

[14] 14. Harder AM: Fixed point theory and stability results for fixed point iteration procedures. St. Rolla, MO, USA: University of Missouri-Rolla; 1987. (Ph.D. thesis).

[15] 15. Berinde V: Iterative Approximation of Fixed Points. Berlin: Springer; 2007.

[16] 16. O’pial Z: Weak convergence of the sequence of successive approximations for nonexpansive mappings. Bull. Am. Math. Soc. 1967; 73: 591–597. Publisher Full Text

[17] 17. Gossez JP, Dozo EL: Some geometric properties related to the fixed-point theory for nonexpansive mappings. Pac. J. Math. 1972; 40: 565–573. Publisher Full Text

[18] 18. Tan KK, Xu HK: Fixed Point Iteration Processes for Asymptotically Nonexpansive Mappings. Proc. Am. Math. Soc. 1994; 122: 733–739. Publisher Full Text

[19] 19. Osilike MO, Aniagbosor SC: Weak and Strong Convergence Theorems for Fixed Points of Asymptotically Nonexpansive Mappings. Math. Comput. Model. 2000; 32: 1181–1191. Publisher Full Text

[20] 20. Xu HK: Inequalities in Banach Spaces with Applications. Nonlinear Anal. 1991; 16: 1127–1138. Publisher Full Text

[21] 21. Beck A, Teboulle M: A Fast Iterative Shrinkage-Thresholding Algorithm for Linear Inverse Problems. SIAM Journal on Imaging Sciences. 2009; 2: 183–202. Publisher Full Text

[22] 22. Schu J: Weak and strong convergence to Fixed Points of Asymptotically Nonexpansive Mappings. Bull. Aust. Mathematical Society. 1991; 43: 153–159. Publisher Full Text

[23] 23. Agarwal RP, El-Gebeily MA, O’Regan D: Fixed point theory for Lipschitzian-type mappings with applications. Topological Fixed-Point Theory and Its Applications. New York: Springer; 2009; vol. 6. .

[24] 24. Hammad HA, Rehman H, De la Sen M: A new four-step iterative procedure for approximating fixed points with application to 2D Volterra integral equations. Mathematics. 2022; 10(24): 4827. Publisher Full Text

[25] 25. Udofia UE, Igbokwe DI: Monotone α-nonexpansive mapping in ordered Banach space by AU-iteration algorithm with application to delay differential equation. International Journal of Nonlinear Analysis and Applications. 2022; 13(2): 673–690.

[26] 26. Salman BB, Abed SS: Convergence of Forked Sequence to a Fixed Point in Modular Function Spaces. Iraqi Journal of Science. 2024; 65(6): 3291–3301. Publisher Full Text

[27] 27. Salman BB, Abed SS: New approximating results by weak convergence of forked sequences. Baghdad Sci. J. 2025; 22(2): 623–633.