Keywords
Banach Spaces, Iterative Schemes, Total Asymptotically Non-Expansive Mappings, Fixed Points, Strong Convergence, Weak Convergence, Stability.
This article is included in the Fallujah Multidisciplinary Science and Innovation gateway.
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.
Banach Spaces, Iterative Schemes, Total Asymptotically Non-Expansive Mappings, Fixed Points, Strong Convergence, Weak Convergence, Stability.
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
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 is defined as TAN-mapping if nonnegative real sequences where , together with a strictly increasing continuous function satisfying such that for all .
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.
This section presents basic definitions, notations, and auxiliary results that will be used in establishing the main convergence theorems.
11 A Banach space X is said to be uniformly convex if for any holds, for all with , and .
10 Every Hilbert space is uniformly convex and hence satisfies Definition (1)
Symbols
i) denotes the real Banach Space.
ii) denotes the dual of a space .
iii) The symbol ⇀ denotes weak convergence, while ⟶ denotes strong convergence.
iv) The set of - cluster limits of a sequence is represents.
v) in , all fixed points of .
10 Let be a duality pairing on . A mapping defined as is called a generalized duality mapping, where is a gauge function.
Note, if for all then is a normalized duality mapping and can be expressed as .
12 A mapping is called weakly sequentially continuous if, for all sequences in with , it follows that .
13 A mapping Ψ:
(1) Demi-closed at , if in C such that and , then .
(2) Semi-compact if , for any bounded sequence with , there exists a subsequence satisfied
Suppose a fixed-point iteration scheme is defined by a general form
14 Let be an arbitrary sequence in and fix for . Then is -stable (or stable) with respect to if and only if.
15 Suppose and are two sequences converging to the same fixed point with and for all . If the sequence and and additionally then is said to converge to faster than .
16 A space has Opial’s condition if for all with satisfied and .
23 A set is convex if for any in and .
The Lemma below is known as Opial’s property.
17 If a duality mapping is weakly continuous on , and a sequence with , then for any
Moreover, if is uniformly convex, equality occurs ⬄ .
18 Suppose is a real uniformly convex Banach space and is a closed convex. If TAN-mapping, then ( ) is demiclosed at zero, whenever is a sequence in such that .
19 Assume and are nonnegative sequences such that , and then
20 A Banach space is uniformly convex if and only if there exists a continuous, strictly increasing function with such that: , holds for all and a fixed number .
22 A Banach space is uniformly convex and , which is constant. Let sequence in such that , satisfy for some Then , where
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, denotes a uniformly convex Banach space.
The following assumptions are adopted from21
(i) Let and let be a sequence such that and that is
(ii) Let be given, for the terms and for each choose , such that . For any define
Under Assumption, it directly follows immediately that for every the relation.
Which together with and , holds
Let satisfy Opial’s property and TAN-mapping associated with the sequences and a strictly increasing continuous function with such that . Let the sequence as: let.
is bounded.
If Assumption (i) holds, and , then .
The proof is divided in to five steps:
For (1), the condition ( ) implies that so such that , for every . Put as follows:
Then, by (C3), the hold. Assume that for some , then:
For (2), from the scheme (7), this is obtained by:
By (8), (9), and for any we obtain:
Let
By Remark 2, we obtain that is converges, then such that for every .
Next, using (10), (12), and for some any we obtain:
Hence, from Lemma 5 and (C1), it follows that exists. As a result, the sequence is bounded.
For (3) the above step follows that is bounded, and thus is bounded as well. Define and by condition (13), Lemma 4, and hypothesis C1, we obtain.
Since the exists for any , then by applying (5) and (11), such that
Because the exists for any z , the sequence is bounded; hence, such that for all . Then
This gives
. Which implies that: By (C2), we obtain:
Taking the sum over for the above inequality and by (5), we obtain: . Which implies that:
Since is TAN-mapping, we obtain:
Continuity of (15) and (16) in (17) implies that:
It follows from (15), (19), and (C1) that:
For (4) the reflexivity of makes each bounded sequence has a weakly convergent subsequence.23 Applying this fact, has a subsequence such that , therefore, from (21), and consequently by Lemma 2, . Hence, . For (5) to establish that the sequence converges weakly to a fixed point of , it is enough to demonstrate that consists of a single element. For this purpose, using Lemma 1 and Definition 7, let and consider subsequences and of such that.
This leads to a contradiction. Hence is a singleton, and is ω-convergence to a fixed point.
Let the assumptions of Theorem 1, be satisfied and suppose, in addition, that the mapping is semi-compact. Then the sequence defined by (7) converges strongly to a point in .
Since is semi-compactness of and using steps 2 and 3 of the proof of Theorem 1, together with the facts that the sequence is bounded satisfies , it follows that there exists a subsequence of such that as Consequently, and hence Moreover, by proof of Theorem 1 - step 2, the exists. Therefore, , and hence, .
Under the hypotheses of Theorem 1, suppose that be a nonexpansive mapping with F . Then the sequence is defined by (7) with and initial value , satisfied , Provided that (C1) − (C3) hold.
Let be a real Hilbert space and be either a TAN-mapping or a nonexpansive mapping with . Then the sequence is defined by (7) where λ , and satisfies , provided that condition (C1) − (C3) hold.
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
Let be a nonempty closed convex set and be a TAN-mapping. Suppose that the sequence is generated by (7) with and . If Assumption 1 holds and the sequence is bounded, then is stable provided that , with and .
Let be a sequence in defined by (7) such that converging to a unique fixed point (by Theorem 1).
Define We show that
By Theorem 1, we obtain:
Since and and by using Lemma 3, yield . Hence,
Conversely, if . Then getting:
By continuity Thus, is stable.
Now, recall HR-iteration24 which is defined by
Let be a nonempty closed convex and let be a TAN-mapping. If the sequence is generated by (7), with and , then converges faster than the HR-iteration sequence defined by (22) to the fixed point z of .
Let and define the mapping by for all . It is straightforward to verify that { is a family of TAN-mappings. For the iterative defined by (7), the initial values and parameters are chosen as . For the HR-iteration sequence , the initial values and parameters for are where . The corresponding numerical results are reported in Table 1 and illustrated in Figure 1.
Next, we consider the AU-iteration be sequences generated by the following scheme25:
Let be a nonempty closed convex and let be a TAN-mapping with . Let be defined by (7) and be defined by (23)
Under the above assumptions for , the following statements are equivalent:
Since initial points 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 . In particular, the sequence and are bounded. By Theorem 1, the sequence convergence to z. To show that convergence to the same fixed point z, we observe that.
By Lemma 3 convergence to . Finally, define , to show .
Since both sequences converge to the same fixed point , we have: , which implies that .
In this section, we apply the proposed TAN-mapping framework to a nonlinear two-dimensional Volterra integral equation of the form.
Let be a nonempty closed convex subset of and define the mapping by
Assume that:
Then the two-dimensional Volterra integral equation admits a solution in provided that has a fixed point.
Let . By direct estimation and using Assumption (2), we obtain:
Let . By Assumption 3, it follows that.
, 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.
Consider the equation as a special case of Equation 24, given by
Here, , , , , and .
Since all the assumptions of Theorem 6 are satisfied, Equation (25) admits at least one solution.
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.
The project was approved by the local ethical committee at the University of Baghdad.
| Views | Downloads | |
|---|---|---|
| F1000Research | - | - |
|
PubMed Central
Data from PMC are received and updated monthly.
|
- | - |
Competing Interests: No competing interests were disclosed.
Reviewer Expertise: Fixed point theory and optimization
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
Alongside their report, reviewers assign a status to the article:
| Invited Reviewers | ||
|---|---|---|
| 1 | 2 | |
|
Version 3 (revision) 18 Apr 26 |
read | |
|
Version 2 (revision) 09 Feb 26 |
read | |
|
Version 1 22 Dec 25 |
read | |
Provide sufficient details of any financial or non-financial competing interests to enable users to assess whether your comments might lead a reasonable person to question your impartiality. Consider the following examples, but note that this is not an exhaustive list:
Sign up for content alerts and receive a weekly or monthly email with all newly published articles
Already registered? Sign in
The email address should be the one you originally registered with F1000.
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.
If your email address is registered with us, we will email you instructions to reset your password.
If you think you should have received this email but it has not arrived, please check your spam filters and/or contact for further assistance.
Comments on this article Comments (0)