ALL Metrics
-
Views
-
Downloads
Get PDF
Get XML
Cite
Export
Track
Research Article
Revised

Fixed-point Acceleration Algorithm of Total Asymptotically Nonexpansive Mappings

[version 2; peer review: 1 not approved]
PUBLISHED 09 Feb 2026
Author details Author details
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 analysis and its applications. They provides a unified framework for establishing existence and uniqueness results for a wide class of nonlinear problems. In this paper, working in a real uniformly convex Banach space, we propose an accelerated four-step iterative scheme for approximating fixed-point of a class of mapping known as total asymptotically nonexpansive TAN-mappings. Weak and strong convergence results for proposed algorithm are established. The weak convergence analysis is obtained under Opial’s condition, while the strong convergence results require in addition a semi-compactness assumption on the underlying mapping. Furthermore, numerical simulations are presented to demonstrate the effectiveness of the proposed scheme and to compare its performance with existing iterative methods. The obtained results extend and refine several recent contributions in the literature. Finally, an application to two-dimensional equations is provided.

Keywords

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

Revised Amendments from Version 1

In this revised version of the article, we have addressed the comments and suggestions received during the initial assessment with a focus on improving clarity, language quality, and overall academic presentation, while preserving the original mathematical content and results.

Specifically, the manuscript has undergone a comprehensive English language revision across all sections, including the abstract, introduction, preliminaries, main results, proofs, stability analysis, numerical examples, applications, and conclusion. Non-standard expressions and informal wording were replaced with standard academic English, grammatical inconsistencies were corrected, and sentence structures were refined to enhance readability and coherence.

Several definitions, lemmas, theorems, and proofs were rewritten stylistically to improve clarity and logical flow, without modifying any assumptions, arguments, or conclusions. The notation and presentation were made more consistent throughout the manuscript, and minor typographical issues were corrected.

No changes were made to the title, author list, figures, tables, or underlying data. All mathematical results, convergence analyses, numerical experiments, and applications remain exactly as presented in Version 1. The revisions are limited strictly to language, structure, and presentation, ensuring that the scientific content and originality of the work are fully preserved.

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

Introduction

Fixed point theory in Banach spaces has evolved through a sequence of generalizations of contractive-type mappings. One of the earliest fundamental contributions was made by Browder (1965) and Kirk (1965) in,1,2 who initiated the systematic study of nonexpansive mappings and established essential fixed-point results in uniformly convex Banach spaces. This line of research was further extended by Goebel and Kirk (1972) in,3 who introduced the concept of asymptotically nonexpansive mappings, thereby enlarging the scope of fixed-point theory to operators whose iterates approach nonexpansive in an asymptotic sense. Building upon these developments, Alber, Chidume, and Zegeye (2005) in4 a introduced the class of totally asymptotically nonexpansive TAN-mappings. A mapping Ψ:XX is defined as TAN-mapping if nonnegative real sequences ,{κv} where μv0,κv0asv , together with a strictly increasing continuous function :++ satisfying (0)=0 such that for all x,yX .

(1)
ΨvxΨvyxy+μv(xy)+κvholds forallv1

This framework unifies nonexpansive and asymptotically nonexpansive mappings as special cases. Since its introduction, the class of TAN-mapping has primarily been extensively investigated through various iterative schemes in Banach spaces. Classical methods such as the Mann and Ishikawa iterations were among the earliest approaches, followed by the Halpern iteration in uniformly convex Banach spaces.10 More recent studies have focused on accelerated and hybrid iterative techniques. For instance, Abed and Abed (2022) in5 studied the Fibonacci–Halpern iteration for monotone TAN-mappings in partially ordered Banach spaces, establishing its stability results and demonstrating faster convergence compared with Mann and Halpern iterations. In 2023, Salman and Abed (2023)24 proposed a five-step iterative scheme for (λ,ρ)-firmly nonexpansive multivalued mappings in modular spaces, showing that such mapping satisfy both the (UUC1) property and the Δ2-condition. Khomphungson and Nammanee (2024) further analyzed modified Mann–Ishikawa algorithms, and proved strong convergence under Condition (A) in uniformly convex Banach spaces. In addition, Balooee and Al-Homidan (2024) in4,7 developed hybrid resolvent-based methods linking fixed-point problems of TAN-mappings with 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. Such formulations are closely related to integral and differential equations, which are frequently recast as operator inclusions problem in Banach spaces. Further extensions of the theory have been proposed in recent years. Galisu et al. (2024)8 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. Similarly, Sun (2025)9 extended the analysis to random asymptotically nonexpansive mappings in uniformly convex modules, emphasizing stochastic generalization within Banach-type structures. In summary, fixed point theory has progressed from nonexpansive mappings,1,2 to asymptotically nonexpansive mappings,3 culminating in the general class of TAN-mappings.4 A wide range of iterative schemes, including Mann, Ishikawa, Halpern, Fibonacci-Halpern, modified Mann-Ishikawa, and hybrid resolvent-based algorithms have played a central role in establishing convergence, stability, and applications to variational inclusions and integral-differential models in.5,6

The main objective of the present work is to investigate the convergence and stability properties of an inertial accelerated iterative scheme for TAN-mappings in Banach spaces. Motivated by the inertial accelerated framework proposed by Harbau et al. (2022),10 we establish weak and strong convergence results for the proposed algorithm and analyze its stability under perturbations. Furthermore, a comparative study with existing iterative methods is provide, demonstrating that superior convergence performance of the inertial accelerated scheme. Finally, the theoretical results are applied to integral equations, illustrating the practical relevance and the applicability of the proposed approach.

Preliminaries

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

Definition 1.

11 A Banach space X is said to be uniformly convex if for any ϵ(0,2), δ(ϵ)>0p+q21δ(ϵ) holds, for all p,qX with p1,q1 , and pqϵ .

Remark 1.

10 Every Hilbert space is uniformly convex and hence satisfies Definition (1)

Symbols

  • i) X denotes the real Banach Space.

  • ii) X denotes the dual of a space X .

  • iii) The symbol ⇀ denotes weak convergence, while ⟶ denotes strong convergence.

  • iv) The set of ω - weak cluster limits of a sequence {qv} is ωc(qv)={z:qvkz} represents.

  • v) Fix(Ψ){p in X:Ψ(p)=p} , all fixed points of Ψ .

Definition 2.

10 Let .,. be a duality pairing on X×X . A mapping Jφ:X2X defined as Jφ(p)={pX:p,p=pp,p=φ(p)} is called a generalized duality mapping, where φ is a gauge function.

Note, if φ(t)=t for all t0 then Jφ=J2 is a normalized duality mapping and can be expressed as J(p)={pX:p,p=p2,p=p} .

Definition 3.

12 A mapping Ψ:CXC is called weakly sequentially continuous if, for all sequences {qv} in X with qvz , it follows that (qv)Ψ(z) .

Definition 4.

13 A mapping Ψ: Ψ:CXCis called

  • (1) Demi-closed at y0C , if {qv} in C such that qvzC and Ψqvy0 , then Ψq0=y0 .

  • (2) Semi-compact if limvqvΨqv=0 , for any bounded sequence {qv}C with limvqvΨqv=0 , there exists a subsequence {qvk}{qv} satisfied qvkzC.

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

(2)
qv+1=f(Ψ,qv)
for v=0,1,2,, for a mapping Ψ and q0X . This ensures the convergence of {qv}v=0 to zFix(Ψ) . Where f(Ψ,qv) does contain all parameters that define the given fixed-point iteration scheme.

Definition 5.

14 Let {pv}v=0 be an arbitrary sequence in X and fix εv=pv+1f(Ψ,pv) for =0,1,2,.. . Then qv+1=f(Ψ,pv) is Ψ -stable (or stable) with respect to Ψ if and only if.

limvεv=0limvpv=z.

Definition 6.

15 Suppose {qv}v=0 and {sv}v=1 are two sequences converging to the same fixed point z with qvzav, and svzbv for all v0 . If the sequence ava and bvb and additionally limvavabvb=0, then {qv}v=1 is said to converge to z faster than {sv}v=1 .

Definition 7.

16 A space X has Opial’s condition if for all {qv}X with qvz1 satisfied limvsupqvz1<limvsupqvz2 z2X and z2z1 .

Definition 8.

23 A set C is convex if λq+(1λ)sC, for any q,s in C and λ[0,1] .

The Lemma below is known as Opial’s property.

Lemma 1.

17 If a duality mapping J is weakly continuous on X , and a sequence {qv}X with qvz , then for any

(3)
pX.limvinfqvplimvinfqvz

Moreover, if X is uniformly convex, equality occurs ⬄ p=z .

Lemma 2.

18 Suppose X is a real uniformly convex Banach space and CX is a closed convex. If Ψ:CC TAN-mapping, then ( IΨ ) is demiclosed at zero, whenever {qv} is a sequence in C such that qvz .

Lemma 3.

19 Assume {av},{bv}, and {cv} are nonnegative sequences such that av+1(1+cv)av+bv , v=0bv< and v=0cv<,v0 then :

  • (i) {av} is convergent.

  • (ii) If limvinfav=0 then limvav=0 .

Lemma 4.

20 A Banach space X is uniformly convex if and only if there exists a continuous, strictly increasing function g:[0,)[0,)] with g(0)=0, such that: λp+(1λ)q2λp2+(1λ)qpλ(1λ)g(pq) , holds for all p,qinBr={pX:pr}and everyλ[0,1] and a fixed number r>0 .

Lemma 5.

22 A Banach space X is uniformly convex and 0<b<c<1 , which is constant. Let {av} sequence in [b,c] such that limvavqv+(1av)sv=d,limvsupqvd,limvsupsvd , satisfy for some d0. Then limvqvsv=0 , where {qv},{sv}X.

Main results

This section is devoted to the investigation of weak and strong convergence properties, stability, analysis and comparative results of the proposed iterative scheme. Throughout this section, X denotes a uniformly convex Banach space.

Weak convergence

The following assumptions are adopted from21

Assumption 1.

  • (i) Let {αv}(0,1) and let {σv},{δv}[0,) be a sequence such that v=1δv< and δv=o(σv) that is limnδvσv=0.

  • (ii) Let q0,q1X be given, for the terms qv1 and qv for each v1 choose ωv , such that 0ωvωv¯ . For any η3 define

(4)
ωv¯{min{v1v+η1,δvqvqv1},ifqvqv1v1v+η1,otherwise

Remark 2.

Under Assumption, it directly follows immediately that for every v1, the relation.

ωvqvqv1δv

Which together with v=1δv< and limvδvσv=0 , holds

(5)
v=1ωvqvqv1<
Moreover
(6)
limvωvσvqvqv1limnδvσv=0

Theorem 1.

Let X satisfy Opial’s property and Ψ:XX TAN-mapping associated with the sequences {μv},{κv}(0,) and a strictly increasing continuous function :++ with (0)=0 such that v=1(μv+κv)< . Let the sequence {qv} as: let.

(7)
{q0,q1Xav=qv+ωv(qvqv1)bv+1=1ρ(Ψv(av)av)+σvbvpv=av+ρbv+1qv+1=λαvav+(1λαv)pv,v1,
where λ(0,1],ρ>0 and the following hold:

(C1)v=0σv<

(C2)limvinfλαv(1λαv)>0

(C3){Ψvavav} is bounded.

If Assumption (i) holds, b1=1ρ(Ψ1a0a0) and Fix(Ψ) , then qvzFix(Ψ) .

Proof:.

The proof is divided in to five steps:

  • 1. Proof {bv} is bounded.

  • 2. limvqvz exists for any zFix(Ψ)

  • 3. limvqvΨqv=0

  • 4. ωc(qv)Fix(Ψ)

  • 5. {qv} is ω -convergence to a fixed point.

For (1), the condition ( C1 ) implies that limvσv=0, so v0N such that σn12 , for every vv0 . Put M1 as follows:

M1max{max1kv0bk,(2ρ)supvNΨvavav}

Then, by (C3), the M1< hold. Assume that bnM1 for some vv0 , then:

(8)
bv+1=1ρ(Ψvavav)+σvbv1ρΨvavav+σvbvM1
This implies to bvM1,forallv0then{bv}is bounded.

For (2), from the scheme (7), this is obtained by:

(9)
pv=av+ρbv+1=av+ρ(1ρ(Ψvavav)+σvbv)=Ψvav+ρσvbv

By (8), (9), and for any zFix(Ψ), we obtain:

(10)
pvz=Ψvav+ρσvbvzΨvavz+ρσvbvavz+μv(avz)+κv+ρM1σv

Let U=sup{av+avz}<, ζv=μv(U)+κv

Additionally,

(11)
avz=qvz+ωv(qvqv1)qvz+ωv(qvqv1)

By (10) and (11), we obtain:

pvzqvz+ωv(qvqv1)+κv+ρM1σv=qvz+σv[ωvσv(qvqv1)+κvσv+ρM1]

By Remark 2, we obtain that {ωvσv(qvqv1)} is converges, then M2>0 such that for every v1,ωvσv(qvqv1)+κvσv+ρM1M2 .

Thus:

(12)
pvzqvz+σvM2

Next, using (10), (12), and for some M3>0 any zFix(Ψ) we obtain:

(13)
qv+1z=λαvav+(1λαv)pvzλαvavz+(1λαv)pvzλαv[qvz+ωv(qvqv1)]+(1λαv)pvzλαvqvz+ωvλαv(qvqv1)+(1λαv)qvz+(1λαv)σvM2
qv+1zqvz+σvM3,
where
(14)
ωvλαvσv(qvqv1)+(1λαv)M2M3

Hence, from Lemma 5 and (C1), it follows that limvqvz exists. As a result, the sequence {qv} is bounded.

For (3) the above step follows that {av} is bounded, and thus {Ψvav} is bounded as well. Define r=supv1{av,Ψvav} and by condition (13), Lemma 4, and hypothesis C1, we obtain.

qv+1z2=λαvav+(1λαv)pvz2avz2+(1λαv)ζv2λαv(1λαv)g(avΨvav)+ρ2σv2M122λαvρ2σv2M12+λ2ρ2αv2σv2M12+2(1λαv)ρσvM1(avz+(1λαv)ζv)

Since the limvqvz exists for any zFix(Ψ) , then by applying (5) and (11), L>0 such that avzL

qv+1z2avz2+(1λαv)ζv2λαv(1λαv)g(avΨvav)+ρ2σv2M122λαvρ2σv2M12+λ2ρ2αv2σv2M12+2(1λαv)ρσvM1(L+(1λαv)ζv)qvz2+2ωvqvqv1qvz+(ωvqvqv1)2λαv(1λαv)g(avΨvav)+ρ2σv2M122λαvρ2σv2M12+λ2ρ2αv2σv2M12+2(1λαv)ρσvM1(L+(1λαv)ζv)

Because the limnqvz exists for any z Fix(Ψ) , the sequence {qvz} is bounded; hence, H>0 such that qvzH for all v1 . Then

qv+1z2qvz2+2ωvqvqv1H+(ωnqvqv1)2λαv(1λαv)g(avΨvav)+ρ2σv2M122λαvρ2σv2M12+λ2ρ2αv2σv2M12+2(1λαv)ρσvM1(L+(1λαv)ζv)

Therefore, we have

λαv(1λαv)g(avΨvav)qvz2qv+1z2+2ωvqvqv1H+(ωnqvqv1)2+ρ2σv2M122λαvρ2σv2M12+λ2ρ2αv2σv2M12+2(1λαv)ρσvM1(L+(1λαv)ζv)

So,

v=0λαv(1λαv)g(avΨvav)q0z2+2Hv=0ωvqvqv1+v=0(ωvqvqv1)2+M12ρ2v=0σv2+2λρ2M12v=0αvσv2+λ2ρ2M12v=0αv2σv2+v=02(1λαv)ρσvM1(L+(1λαv)ζv)

This gives

v=0λαv(1λαv)g(avΨvav)< . Which implies that: limvλαv(1λαv)g(avΨvav)=0. By (C2), we obtain:

(15)
limvg(avΨvav)=0.AndlimvavΨvav=0

Next,

avqv=qv+ωv(qvqv1)qv=ωvqvqv1

Taking the sum over v for the above inequality and by (5), we obtain: v=0avqv=v=0ωvqvqv1< . Which implies that:

(16)
limavqvv=0

Since Ψ is TAN-mapping, we obtain:

(17)
qvΨvqv=qvav+avΨvav+ΨvavΨvqvqvav+avΨvav+ΨvavΨvqvqvav+avΨvav+avqv+μv(avqv)+κv2qvav+avΨvav+ζv

Continuity of (15) and (16) in (17) implies that:

(18)
limvqvΨvqv=0

On the other hand,

avpv=av(av+ρbv+1)=ρbv+1ρ(1ρavΨvav+σvbvavΨvav+ρσvM1)

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

(19)
limvavpv=0
qv+1Ψvqv+1λαvavΨvav+ρσvM1+(1λαv)avpv+ζv

It follows from (15), (19), and (C1) that:

(20)
limvqv+1Ψvqv+1=0

By (18) and (20), we obtain:

(21)
limvqvΨqv=0

For (4) the reflexivity of X makes each bounded sequence has a weakly convergent subsequence.23 Applying this fact, {qv} has a subsequence {qvk} such that qvkz , therefore, from (21), limkqvkΨqvk=0 and consequently by Lemma 2, Ψz=z . Hence, ωc(qv)Fix(Ψ) . For (5) to establish that the sequence {qv} converges weakly to a fixed point of Ψ , it is enough to demonstrate that ωc(qv) consists of a single element. For this purpose, using Lemma 1 and Definition 7, let z1,z2ωc(qv) and consider subsequences {qvi} and {qvj} of {qv} such that.

qviz1 and qvjz2 .Then for z1z2 we have:

limvqvz1<limiqviz2=limjqvjz2<limjqvjz1=limvqvz1

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

Strong convergence

Theorem 2.

Let the assumptions of Theorem 1, be satisfied and suppose, in addition, that the mapping Ψ is semi-compact. Then the sequence {qv} defined by (7) converges strongly to a point in Fix(Ψ) .

Proof.

Since Ψ is semi-compactness of Ψ and using steps 2 and 3 of the proof of Theorem 1, together with the facts that the sequence {qv} is bounded satisfies limvqvΨqv=0 , it follows that there exists a subsequence {qvk} of {qv} such that qvkz as k. Consequently, qvkz and hence zωc(qv)Fix(Ψ). Moreover, by proof of Theorem 1 - step 2, the limvqvz exists. Therefore, limvqvz=limkqvkz=0 , and hence, qvzFix(Ψ) .

Corollary 1.

Under the hypotheses of Theorem 1, suppose that Ψ:XX be a nonexpansive mapping with F ix(Ψ) . Then the sequence {qv} is defined by (7) with λ(0,1],ρ>0 and initial value b0=1ρ(Ψa0a0) , satisfied qv zFix(Ψ) , Provided that (C1) − (C3) hold.

Corollary 2.

Let X be a real Hilbert space and Ψ:XX be either a TAN-mapping or a nonexpansive mapping with Fix(Ψ) . Then the sequence {qv} is defined by (7) where λ (0,1],ρ>0 , and b0=1ρ(Ψ1a0a0) satisfies qvzFix(Ψ) , provided that condition (C1) − (C3) 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,20 to real uniformly convex Banach spaces, which include real Hilbert spaces as special case.

Stability

In this section, we investigate the stability of iterative sequence defined by (7) with respect to a fixed point of TAN-mapping. The iterative operator is given by f(Ψ,rv)=λαvav+(1λαv)pv.

Theorem 3.

Let CX be a nonempty closed convex set and Ψ:CC be a TAN-mapping. Suppose that the sequence {rv}v=1 is generated by (7) with λ(0,1] and ρ>0 . If Assumption 1 holds and the sequence {Ψvavav} is bounded, then {rv}v=1 is stable provided that b1=1ρ(Ψ1a0a0) , with v=0σv< and limvinfλαv(1λαv)>0 .

Proof.

Let {rv}v=1 be a sequence in C defined by (7) such that rv+1=f(Ψ,rv) converging to a unique fixed point z (by Theorem 1).

Define εv=rv+1f(Ψ,rv) We show that limvεv=0limvrv=z

Assume first that limvεv=0. Then,

rv+1zrv+1f(Ψ,rv)+f(Ψ,rv)z=εv+rv+1z

By Theorem 1, we obtain:

rv+1zrvz+σvM3

Since 0<M3<1,v=0σv< and limvεv=0, and by using Lemma 3, yield limvrvz=0 . Hence, limvrv=z.

Conversely, if limvrv=z . Then getting:

εv=rv+1f(Ψ,rv)rv+1z+f(Ψ,rv)zrv+1z+rvz+σvM3

By continuity limvεv=0. Thus, {rv}v=1 is stable.

Now, recall HR-iteration24 which is defined by

(22)
ρv=(1δv)dv+δvΨ(dv)wv=Ψ((1tv)ρv+tvΨ(ρv))uv=Ψ(Ψ(wv))dv+1=(1ϱv)uv+ϱvΨ(uv)v1,whereδv,tv,ϱv(0,1)andv=0δv=v=0tv=v=0ϱv=

Theorem 4:

Let CX be a nonempty closed convex and let Ψ:CC be a TAN-mapping. If the sequence {qv}v=1 is generated by (7), with λ(0,1] and ρ>0 , then {qv} converges faster than the HR-iteration sequence {dv} defined by (22) to the fixed point z of Ψ .

Proof:

From inequality (13), we obtain:

qv+1zλαvqvz+ωvλαv(qvqv1)+(1λαv)qvz+(1λαv)σvM2qv+1zqvz+c1

Where c1=ωvλαv(qvqv1)+(1λαv)σvM2

For the HR-iteration sequence {dv} , similar estimates give similar results.

dv+1zuvz+ϱvμv(uvz)+ϱvκvuvzwvz+μv(wvz)+2κv+μv(Ψwvz)wvzρvz+tvμv(ρvz)+tvκv+κv+μv[(1tv)ρv+tvΨρv]ρvzdvz+δvμv(dvz)+δvκv

Then

uvzdvz+δvμv(dvz)+δvκv+tvμv(wvz)+tvκv+3κv+μv[(1tv)ρv+tvΨρv]+μv(Ψwvz)dv+1zdvz+μv[δv(dvz)++tv(ρvz)+[(1tv)ρv+tvΨρv]+(Ψwvz)+(wvz)+ϱv(uvz)]+κv[ϱv+δv+tv+3]dvz+c2

Where c2=+μv[δv(dvz)++tv(ρvz)+[(1tv)ρv+tvΨρv]+(Ψwvz)+(wvz)+ϱv(uvz)]+κv[ϱv+δv+tv+3]

limvqv+1zdv+1zlimvqvz+c1dvz+c20asv

Therefore the sequence {qv} converges faster than {dv} to the fixed point z of Ψ .

Numerical example

Example 1.

Let X=R and define the mapping Ψv:RR by Ψv(q)=12q+14sin(vq) for all vN,qR . It is straightforward to verify that { Ψv} is a family of TAN-mappings. For the iterative {qv} defined by (7), the initial values and parameters are chosen as q0=1.5,q1=1.3,b0=0,ρ=1,λ=0.8,wv=0,4,αv=0.8,σv=0,05 . For the HR-iteration sequence {qv} , the initial values and parameters for are d0=1.5,δv=tv=ϱv=0.3 where z=1.0 . The corresponding numerical results are reported in Table 1 and illustrated in Figure 1.

Next, we consider the AU-iteration {sv} be sequences generated by the following scheme25:

(23)
wv=Ψ((1av)sv+avΨ(sv))hv=Ψ(wv)uv=Ψ(hv)sv+1=Ψ(uv)
with av[0,1] .

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

n qv (first iteration) qvz dv (second iteration) dvz
0 1.50.51.50.5
1 1.30.300000000000000000.41319152449575800.5868084755042420
2 1.08491894206872000.08491894206871620.34217170216623200.6578282978337680
3 0.8942528649097530.105747135090247000.46544790639479900.5345520936052010
4 0.72264110519160900.277358894808391000.473850528045516000.5261494719544850
5 0.57666622114717100.423333778852829000.425008642051775000.5749913579482250
6 0.46817809360165500.53182190639834500.37901952079234100.6209804792076590
7 0.39610585038745100.60389414961254900.339792497588305000.6602075024116950
8 0.348349678848565000.6516503211514350.307513321080032000.6924866789199680
9 0.3127848392843550.68721516071564500.28100960619886300.7189903938011380
10 0.283511419535411000.71648858046458900.25886499951404800.7411350004859530
11 0.236484611961674000.76351538803832600.239880917741487000.7601190822585130
12 0.22218635064064700.7778136493593530.223228471482028000.7767715285179720
13 0.206681317162331000.79331868283766900.208580026385551000.7914199736144490
14 0.19348297215771700.80651702784228300.196119581725497000.8038804182745030
15 0.182163235347347000.81783676465265300.186262692853136000.8137373071468640
16 0.171906524414102000.82809347558589800.177799393547688000.8222006064523120
17 0.162955888043576000.83704411195642400.152184215149363000.8478157848506370
18 0.154696935555098000.84530306444490200.13683894309989900.8631610569001010
19 0.147490778736278000.85250922126372200.187497192481177000.8125028075188230
20 0.140600018066570000.85939998193343000.00173376065612741000.9982662393438730
21 0.13482514251420600.8651748574857940-0.083138283560674901.0831382835606700
22 0.128701489091001000.87129851090899900.245238376739642000.7547616232603580
23 0.124536488944019000.87546351105598100.0099422173471926900.9900577826528070
24 0.117903970576809000.8820960294231910.098652815971529400.9013471840284710
25 0.117422420332993000.88257757966700700.136246640182145000.8637533598178550
26 0.104650313287074000.8953496867129260-0.1387604186213491.138760418621350
27 0.120463588600494000.8795364113995060-0.131143418919676001.131143418919680
28 0.069262303161731500.93073769683826900.257807779650806000.742192220349194
29 0.12603009545816000.8739699045418400-0.083211062954474801.083211062954480
30 0.038630884769703100.961369115230297-0.29073466227039901.2907346622704000
3c40d29b-38ab-4fb7-b112-8ca396b346c0_figure1.gif

Figure 1. A graphical comparison of (7) and (22).

Theorem 5.

Let CX be a nonempty closed convex and let Ψ:CC be a TAN-mapping with Fix(Ψ) . Let {qv} be defined by (7) and {sv} be defined by (23)

Under the above assumptions for q0=s0C , the following statements are equivalent:

  • 1. {qv} converges to zFix(Ψ)

  • 2. {sv} converges to zFix(Ψ)

Proof.

Since initial points q1,q0,s0C and all operations involved in the iteration schemes are convex combinations or bounded perturbations, it follows that all generated sequences remain bounded in the closed convex subset C . In particular, the sequence {qv},{sv},{ρv},{bv},{wv},{hv} and {uv} are bounded. By Theorem 1, the sequence {qv} convergence to z. To show that {sv} convergence to the same fixed point z, we observe that.

sv+1zuvz+μv(uvz)+kv(1av)svz+avsvz+avμv(svz)+avkv+μv((1av)sv+avΨ(sv)z)+kvsv+1zsvz+avμv(svz)+avkv+μv((1av)sv+avΨ(sv)z)+kv+μv(wvz)+kv+μv(hvz)+kv+μv(uvz)+kvsvz+μv[av(svz)+(wvz)+(hvz)+((1av)sv+avΨ(sv)z)+(uvz)]+kv(av+4)

By Lemma 3 {sv} convergence to z . Finally, define Dv=qvsv , to show limvDv=0 .

Since both sequences converge to the same fixed point z , we have: qv+1sv+1qv+1z+sv+1z0 , which implies that limvDv=0 .

Application

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

X(ξ,ρ)=β(ξ,ρ)+0ξ0ρ1(l,h,X(l,h))dldh+ζ0ξ2(ρ,h,X(ξ,h))dh+γ0ρ3(ξ,l,X(ρ,r))dl
where ,ρ, l,h[0,1],XC[0,1]×C[0,1],β:[0,1]×[0,1]R2 , j:[0,1]×[0,1]×R2R2 are continuous, function for j=1,2,3 , let X=C[0,1] be endowed with the norm qs=maxσ[0,1]|q(σ)s(σ)|, for all q,sC[0,1]
Theorem 6.

Let Z be a nonempty closed convex subset of X and define the mapping Ψ:ZZ by

(24)
ΨX(ξ,ρ)=β(ξ,ρ)+0ξ0ρ1(l,h,X(l,h))dldh+ζ0ξ2(ρ,h,X(ξ,h))dh+γ0ρ3(ξ,l,X(ρ,l))dl

Assume that:

  • 1) The function X:X×XR2 is continuous.

  • 2) There exist constants v1,v2,v3>0 and sequences ηv,εv0withηv0,εv0 , such that for all w1,w2R2 ,

    1(l,h,w1)1(l,h,w2)(1+ηv)v1w1w1+εv2(ρ,h,w1)2(ρ,h,w2)(1+ηv)v2w1w1+εv3(ξ,l,w1)3(ξ,l,w2)(1+ηv)v3w1w1+εv

Then the two-dimensional Volterra integral equation admits a solution in Z×Z provided that Ψ has a fixed point.

  • 3) For ζ,γ0,v1+ζv2+γv3L,L(0,1)

Proof.

Let X,XX . By direct estimation and using Assumption (2), we obtain:

XΨX=|X(ξ,ρ)(σ)X(ξ,ρ)(σ)|σ[0,1]max=maxσ[0,1]|X(ξ,ρ)(σ)β(ξ,ρ)0ξ0ρ1(l,h,X(l,u))dldhζ0ξ2(ρ,h,X(ξ,h))dhγ0ρ3(ξ,l,X(ρ,l))dl|maxσ[0,1]{|X(ξ,ρ)(σ)β(ξ,ρ)0ξ0ρ1(l,h,X(l,h))dldhζ0ξ2(ρ,h,X(ξ,h))dhγ0ρ3(ξ,l,X(ρ,l))dl|+|0ξ0ρ1(l,h,X(l,h))dldh0ξ0ρ1(l,h,X(l,h))dldh|+ζ|0ξ2(ρ,h,X(ξ,h))dh0ξ2(ρ,h,X(ξ,h))dh|+γ|0ρ3(ξ,l,X(ρ,l))dl0ρ3(ξ,l,X(ρ,l))dl|}

XΨXβXX+(1+ηv)(v1+ζv2+γv3)XX+(1+ζ+γ)εv=[β+(1+ηv)(v1+ζv2+γv3)]XX+(1+ζ+γ)εv

Let (t)=t,μv=ηv(v1+ζv2+γv3),kv=(1+ζ+γ)εv . By Assumption 3, it follows that.

XΨX=XX+μv(XX)+kv , which show that Ψ is a TAN-mapping.

Therefore, by

Theorem 1, the iterative scheme generated by (7) converges weakly to a solution of the integral Equation (24).

Applying Theorem 6, in the following example.

Example 2.

Consider the equation as a special case of Equation 24, given by

(25)
X(ξ,ρ)=cos(πξρ)10+0ξ0ρ116cosX(lh)dldh+120ξ124cosX(ξh)dh+120ρ123cosX(ρl)dl

Here, β(ξ,ρ)=cos(πξρ)10 , 1(l,h,X(l,h))=116cosX(lh) , 2(ρ,h,X(ξ,h))=124cosX(ξh) , 3(ξ,l,X(ρ,l))=123cosX(ρl) , ζ=12 and γ=12 .

Since all the assumptions of Theorem 6 are satisfied, Equation (25) admits at least one solution.

Conclusion

In this paper, we investigated the convergence properties of the modified iterative algorithm (7) in the Banach space X. The main results establish both weak convergence (Theorem 1) and strong convergence (Theorem 2) of the proposed scheme under suitable assumption on the space and on the structure of the iterative process. Moreover, it was shown that, Algorithm 7 is equivalent to Algorithm 23 in the sense that both methods converge to the same fixed point, while the proposed algorithm exhibits a faster rate of convergence. 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. Future research directions may include the investigation of a related iterative algorithms and extensions, 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.

Comments on this article Comments (0)

Version 3
VERSION 3 PUBLISHED 22 Dec 2025
Comment
Author details Author details
Competing interests
Grant information
Copyright
Download
 
Export To
metrics
Views Downloads
F1000Research - -
PubMed Central
Data from PMC are received and updated monthly.
- -
Citations
CITE
how to cite this article
Fadhil R and Salman S. Fixed-point Acceleration Algorithm of Total Asymptotically Nonexpansive Mappings [version 2; peer review: 1 not approved]. F1000Research 2026, 14:1430 (https://doi.org/10.12688/f1000research.172972.2)
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

Current Reviewer Status: ?
Key to Reviewer Statuses VIEW
ApprovedThe 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 approvedFundamental flaws in the paper seriously undermine the findings and conclusions
Version 2
VERSION 2
PUBLISHED 09 Feb 2026
Revised
Views
20
Cite
Reviewer Report 19 Feb 2026
Tanakit Thianwan, Department of Mathematics, University of Phayao (Ringgold ID: 90440), Mueang Phayao District, Phayao, Thailand 
Not Approved
VIEWS 20
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 ... Continue reading
CITE
CITE
HOW TO CITE THIS REPORT
Thianwan T. Reviewer Report For: Fixed-point Acceleration Algorithm of Total Asymptotically Nonexpansive Mappings [version 2; peer review: 1 not approved]. F1000Research 2026, 14:1430 (https://doi.org/10.5256/f1000research.196056.r456885)
NOTE: it is important to ensure the information in square brackets after the title is included in all citations of this article.
Version 1
VERSION 1
PUBLISHED 22 Dec 2025
Views
35
Cite
Reviewer Report 10 Jan 2026
Tanakit Thianwan, Department of Mathematics, University of Phayao (Ringgold ID: 90440), Mueang Phayao District, Phayao, Thailand 
Not Approved
VIEWS 35
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):
... Continue reading
CITE
CITE
HOW TO CITE THIS REPORT
Thianwan T. Reviewer Report For: Fixed-point Acceleration Algorithm of Total Asymptotically Nonexpansive Mappings [version 2; peer review: 1 not approved]. F1000Research 2026, 14:1430 (https://doi.org/10.5256/f1000research.190743.r446606)
NOTE: it is important to ensure the information in square brackets after the title is included in all citations of this article.
  • 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
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

Comments on this article Comments (0)

Version 3
VERSION 3 PUBLISHED 22 Dec 2025
Comment
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
Sign In
If you've forgotten your password, please enter your email address below and we'll send you instructions on how to reset your password.

The email address should be the one you originally registered with F1000.

Email address not valid, please try again

You registered with F1000 via Google, so we cannot reset your password.

To sign in, please click here.

If you still need help with your Google account password, please click here.

You registered with F1000 via Facebook, so we cannot reset your password.

To sign in, please click here.

If you still need help with your Facebook account password, please click here.

Code not correct, please try again
Email us for further assistance.
Server error, please try again.