Processing math: 100%
Research article

A new class of hybrid contractions with higher-order iterative Kirk's method for reckoning fixed points


  • Correction on: AIMS Mathematics 9: 25934-25935
     
  • Received: 21 April 2024 Revised: 03 June 2024 Accepted: 13 June 2024 Published: 24 June 2024
  • MSC : 47H09, 47H10, 54H25

  • The concept of contraction mappings plays a significant role in mathematics, particularly in the study of fixed points and the existence of solutions for various equations. In this study, we described two types of enriched contractions: enriched F-contraction and enriched F-contraction associated with u-fold averaged mapping, which are involved with Kirk's iterative technique with order u. The contractions extracted from this paper generalized and unified many previously common super contractions. Furthermore, u-fold averaged mappings can be seen as a more general form of both averaged mappings and double averaged mappings. Moreover, we demonstrated that the u-fold averaged mapping with enriched contractions has a unique fixed point. Our work examined the necessary conditions for the u-fold averaged mapping and weak enriched contractions to have equal sets of fixed points. Additionally, we illustrated that an appropriate Kirk's iterative algorithm can effectively approximate a fixed point of a u-fold averaged mapping as well as the two enriched contractions. Also, we delved into the well-posedness, limit shadowing property, and Ulam-Hyers stability of the u-fold averaged mapping. Furthermore, we established necessary conditions that guaranteed the periodic point property for each of the illustrated strengthened contractions. To underscore the generality of our findings, we presented several examples that aligned with comparable results found in the existing literature.

    Citation: Kottakkaran Sooppy Nisar, Hasanen A. Hammad, Mohamed Elmursi. A new class of hybrid contractions with higher-order iterative Kirk's method for reckoning fixed points[J]. AIMS Mathematics, 2024, 9(8): 20413-20440. doi: 10.3934/math.2024993

    Related Papers:

    [1] Kottakkaran Sooppy Nisar, Hasanen A. Hammad, Mohamed Elmursi . Corrigendum to "A new class of hybrid contractions with higher-order iterative Kirk's method for reckoning fixed points". AIMS Mathematics, 2024, 9(9): 25934-25935. doi: 10.3934/math.20241266
    [2] Noor Muhammad, Ali Asghar, Samina Irum, Ali Akgül, E. M. Khalil, Mustafa Inc . Approximation of fixed point of generalized non-expansive mapping via new faster iterative scheme in metric domain. AIMS Mathematics, 2023, 8(2): 2856-2870. doi: 10.3934/math.2023149
    [3] Dong Ji, Yao Yu, Chaobo Li . Fixed point and endpoint theorems of multivalued mappings in convex b-metric spaces with an application. AIMS Mathematics, 2024, 9(3): 7589-7609. doi: 10.3934/math.2024368
    [4] Aftab Hussain . Fractional convex type contraction with solution of fractional differential equation. AIMS Mathematics, 2020, 5(5): 5364-5380. doi: 10.3934/math.2020344
    [5] Muhammad Rafique, Talat Nazir, Mujahid Abbas . Common fixed points of fuzzy set-valued contractive mappings on metric spaces with a directed graph. AIMS Mathematics, 2022, 7(2): 2195-2219. doi: 10.3934/math.2022125
    [6] Abdelkader Belhenniche, Amelia Bucur, Liliana Guran, Adrian Nicolae Branga . Using computational techniques of fixed point theory for studying the stationary infinite horizon problem from the financial field. AIMS Mathematics, 2024, 9(1): 2369-2388. doi: 10.3934/math.2024117
    [7] Kifayat Ullah, Junaid Ahmad, Hasanen A. Hammad, Reny George . Iterative schemes for numerical reckoning of fixed points of new nonexpansive mappings with an application. AIMS Mathematics, 2023, 8(5): 10711-10727. doi: 10.3934/math.2023543
    [8] Junaid Ahmad, Kifayat Ullah, Hasanen A. Hammad, Reny George . On fixed-point approximations for a class of nonlinear mappings based on the JK iterative scheme with application. AIMS Mathematics, 2023, 8(6): 13663-13679. doi: 10.3934/math.2023694
    [9] Wasfi Shatanawi, Taqi A. M. Shatnawi . New fixed point results in controlled metric type spaces based on new contractive conditions. AIMS Mathematics, 2023, 8(4): 9314-9330. doi: 10.3934/math.2023468
    [10] Qing Yang, Chuanzhi Bai . Fixed point theorem for orthogonal contraction of Hardy-Rogers-type mapping on O-complete metric spaces. AIMS Mathematics, 2020, 5(6): 5734-5742. doi: 10.3934/math.2020368
  • The concept of contraction mappings plays a significant role in mathematics, particularly in the study of fixed points and the existence of solutions for various equations. In this study, we described two types of enriched contractions: enriched F-contraction and enriched F-contraction associated with u-fold averaged mapping, which are involved with Kirk's iterative technique with order u. The contractions extracted from this paper generalized and unified many previously common super contractions. Furthermore, u-fold averaged mappings can be seen as a more general form of both averaged mappings and double averaged mappings. Moreover, we demonstrated that the u-fold averaged mapping with enriched contractions has a unique fixed point. Our work examined the necessary conditions for the u-fold averaged mapping and weak enriched contractions to have equal sets of fixed points. Additionally, we illustrated that an appropriate Kirk's iterative algorithm can effectively approximate a fixed point of a u-fold averaged mapping as well as the two enriched contractions. Also, we delved into the well-posedness, limit shadowing property, and Ulam-Hyers stability of the u-fold averaged mapping. Furthermore, we established necessary conditions that guaranteed the periodic point property for each of the illustrated strengthened contractions. To underscore the generality of our findings, we presented several examples that aligned with comparable results found in the existing literature.



    NEMnon-expansive mapping FPfixed point
    ECMenriched contraction mapping MSmetric space
    EKCenriched Kannan contraction BSBanach space
    ECCenriched Chatterjea contraction BCBanach contraction
    ECRRCenriched Ćirić-Reich-Rus-contraction POPicard operator
    EIKCenriched interpolative Kannan-contraction KIKirk's iteration
    EICRRCenriched interpolative Ćirić -Reich-Rus-contraction AMaveraged mapping
    KISKrasnoselskii iterative scheme NSnormed space
    HEF-Chybrid enriched F-contraction UH Ulam-Hyers
    HEF-Chybrid enriched F-contraction PPPperiodic point property

    One of the most helpful methods for studying nonlinear equations, whether they be differential, integral, or algebraic equations, is the contraction mapping principle. The idea is based on the fixed point (FP) theorem, which states that every contraction mapping of a complete metric space (MS) to itself will have a single FP. This FP can be found as the limit of an iteration scheme made up of repeated images under the mapping of any arbitrary beginning point in the space. Since it is a constructive FP theorem, the FP can be computed numerically using it.

    Assume that Θ is a nonempty set of a Banach space (BS) Ω. A mapping :ΘΘ is called a non-expansive mapping (NEM), if for all ω,θΘ, the inequality below holds:

    ωθωθ.

    The FP of is an element ωΘ, which satisfies an operator equation ω=ω. The set of FPs of the mapping is denoted by Fix(). Let ω0Ω be an arbitrary point, and the forward orbit of ω0 is denoted by O(,ω0,), and is described as the set {ω0,m(ω0):m1}. The set {ω,(ω),,m(ω)} will be described as O{ω,,m}. The mth iterate of the mapping is described as m=m1,m1,0=I (where I is the identity mapping on Ω).

    If Fix()={ω} and O(,ω0,)ω as m, then the mapping is called a Picard operator (PO). Moreover, if there is a constant ρ[0,1) such that

    d(ω,θ)ρd(ω,θ),

    for all ω and θ belonging to a complete MS Ω, then the mapping :ΩΩ is known as a Banach contraction (BC) mapping. Clearly, the BC mapping converts to NEM if ρ=1. As the limiting situation of BC mappings, one can consider the NEMs. A BC mapping's mth iterates are referred to as Picard's iterates. Any BC mapping constructed on a complete MS (Ω,d) is a PO, as per the BC principle [1]. Furthermore, Picard's iterates can approximate the FP of the mapping for each ω0Ω, but an NEM does not produce a forward orbit that converges to 's FP. In other words, if :ΘΘ is an NEM, then may not have an FP, may have more than one FP, or may even have a unique FP; in contrast, the forward orbit created by a NEM will not converge to its FP. Therefore, other approximation methods are required in order to estimate the FPs of NEMs. Additionally, a complex geometric structure of the underlying spaces is necessary for the FPs of NEMs to exist. Due to these factors, one of the main and most active subfields of nonlinear analytic research is the study of NEMs.

    Banach fixed-point theorem provides a powerful tool for establishing the existence and uniqueness of fixed points in metric spaces, which has implications in optimization, inverse problems, and other mathematical contexts, for more details, see [2,3,4,5,6,7,8,9]

    Exact averaged iterations of the form ωm+1=g(ωm,ωm+1),m1 have been used by numerous writers. One well-known method is to create an averaged mapping (AM): If ϑ=(1ϑ)I+ϑ, then an operator ϑ associated with and identity mapping I is an AM for a given operator on Ω and ϑ(0,1). This concept was first used in [10], when it was demonstrated that the forward orbit caused by ϑ converges to an FP of under specific circumstances. The initial noteworthy outcome in this regard was acquired by Krasnoselskii [11]. In the event that Θ represents a closed convex subset of a uniformly convex BS and is an NEM on Θ into a compact subset of Θ, then the forward orbit of any ω in Θ for ϑ=0.5 converges to an FP of . Schaefer [12] demonstrated the aforementioned outcomes for an arbitrary ϑ(0,1). The same result was then presented by Edelstein [13] in the context of a strictly convex BS, which is a broader concept than a uniformly convex BS. It is obvious that Picard's iteration method is generalized by Krasnoselskii's iteration.

    In 1971, Kirk [14] created a significant iteration technique called Kirk's iteration (KI) scheme, which is defined by

    ωm=κ0ωm1+κ1ωm1+κ22ωm1++κuuωm1,

    where ω0Θ,κ0>0, and for j=1,2,u,κj0 with uj=1κj=1.

    KI method, in fact, is a forward orbit of the mapping :ΘΘ [14] described by

    =κ0I+κ1+κ22++κuu, (1.1)

    where κ0>0, and for j=1,2,u,κj0 with uj=1κj=1. Undoubtedly, the mapping is a generalization of the AM ϑ.

    Kirk demonstrated that, under certain appropriate conditions, the set of FPs of the mapping corresponds with Fix(), and that the KI method converges to the FP of :

    Theorem 1.1. [14] Assume that Θ is a convex subset of a BS Ω, and :ΩΩ is a NEM. If :ΩΩ is a mapping described as in (1.1), then (ω)=ω if (ω)=ω.

    The concept of enriched contractive mappings (ECMs) was recently introduced by Berinde and Păcurar [15]. Let Ω be a BS, and the mapping :ΩΩ is said to be ECM if there are τ0 and σ[0,τ+1) in order that

    τ(ωθ)+ωθσωθ, for all ω,θΩ.

    They established the existence of an FP of an ECM, which may be roughly represented using a suitable Krasnoselskii iterative scheme (KIS). To be more precise, the sequence {mϑω0} can approximate the FP of , which is also an FP of the AM ϑ with ϑ(0,1] for each ω0Ω.

    Theorem 1.2. [15] Assume that :ΩΩ is an ECM defined on a BS Ω. Then |Fix()|=1, and there is ϑ(0,1] such that the KIS {ωm} iterated by

    ωm=(1ϑ)ωm1+ϑωm1, for all ω0Ω, and m0

    converges to a unique FP of .

    It is important to note that only the displacements ωθ and ωθ are included in the enriched contraction mapping that Berinde and Păcurar [15] presented. Nonetheless, for every two distinct points ω,θΩ, there are four more displacements linked to a self-mapping , denoted by ωω, θθ, ωθ, and θω. More than one displacement is involved in a number of well-known contraction mappings. For more details, see [16,17,18,19,20,21,22,23,24,25,26,27]. The authors in [28] have proposed the concept of weak ECMs, which are an extension of AMs known as double AMs. Assume that κ1>0,κ20 with κ1+κ2=1 and :ΩΩ is a mapping defined on a BS Ω. Double AM κ1,κ2 is a mapping related to I, , and 2 and is described as

    κ1,κ2=(1κ1κ2)I+κ1+κ22.

    Clearly, κ1,κ2 is more general than ϑ(ϑ=κ1,0). Additionally, the mapping in [14] of order u=2 is a specific instance of the double AM κ1,κ2. A given mapping :ΩΩ on a BS Ω is said to be a weak ECM if there are τ,˜τ0 and [0,τ+˜τ+1) such that

    τ(ωθ)+ωθ+˜τ(2ω2θ)ωθ, for all ω,θΩ.

    According to the findings of [28], for every self-mapping on a closed convex subset of a BS that satisfies the weak ECM, there exist κ1>0,κ20 with κ1+κ2(0,1] such that κ1,κ2 has a unique FP that can be approximated by a suitable KIS. We make reference to the next paragraph. Their theorem was formulated as follows:

    Theorem 1.3. [28] Assume that (Ω,.) is a BS, Θ is a closed convex subset of Ω and :ΘΘ is a weak ECM. Then, there are κ1>0,κ20 with κ1+κ2(0,1] such that the assertions below hold

    (1) |Fix(κ1,κ2)|=1;

    (2) For any ω0Θ, the iterated sequence {ωm}Θ generated by

    ωm=(1κ1κ2)ωm1+κ1ωm1+κ22ωm1, for mN

    converges to a unique FP of κ1,κ2.

    KIS of order u, which is produced by a generalized ECM, appears to be a good way to unify the FP results that have been described. This unification has two components: KIS of order more than two is examined, and ECMs are generalized such that the many ECMs that currently exist are inferred as specific examples.

    So, in this article, two types of enriched contractions related to KIS with order u are described in this paper: hybrid enriched F-contraction and hybrid enriched F-contraction connected with u-fold AM. The contractions taken from this paper unify and generalize a lot of super contractions that were previously widespread. Additionally, one may consider u-fold ANs to be a more universal version of double and AMs. Furthermore, we prove the existence of a unique FP for the u-fold AM with enriched contractions. We investigate what requirements must be met in order for the weak hybrid ECMs and the u-fold AM to have identical sets of FPs. In addition, we demonstrate how a suitable KIS can efficiently approximate both the FP and the average of a u-fold mapping.

    We begin by introducing two mapping families. Assume that F is the class of all mappings :R4+R+ that meet the requirements listed below:

    (1) In every argument, is continuous;

    (2) there is ζ[0,1) such that if ϰ<(ϱ,ϰ,ϱ,ϱ+ϰ) or ϰ<(ϱ,ϰ,ϱ,ϰ) or ϰ<(ϰ,ϱ,ϱ,ϰ) or ϰ<(ϰ,ϱ,ϱ,ϱ), then for all ϰ,ϱR+,ϰζϱ;

    (3)ϑ(ϰ,ϱ,ξ,υ)(ϑϰ,ϑϱ,ϑξ,ϑυ), for ϑ>0 and for all ϰ,ϱ,ξ,υR+;

    (4) if υυ, then (ϰ,ϱ,ξ,υ)(ϰ,ϱ,ξ,υ) for all ϰ,ϱ,ξ,υ,υR+.

    To demonstrate that the family F is nonempty, we now provide some examples.

    Example 2.1. It is simple to confirm that the mappings shown below are a part of class F:

    (i) (ϰ,ϱ,ξ,υ)=κmax{ϰ+ϱ,ϱ+ξ,ξ+υ,ϰ+υ}, where κ[0,12);

    (ii) (ϰ,ϱ,ξ,υ)=maxκ{ϰ,ϱ,ξ,υ}, where κ[0,1);

    (iii) (ϰ,ϱ,ξ,υ)=maxκ{ϱ,ξ,υ}, where κ[0,1);

    (iv) (ϰ,ϱ,ξ,υ)=κϰ, where κ[0,1);

    (v) (ϰ,ϱ,ξ,υ)=κ(ϰ+ϱ), where κ[0,12);

    (vi) (ϰ,ϱ,ξ,υ)=κ(ξ+υ), where κ[0,12);

    (vii) (ϰ,ϱ,ξ,υ)=ξκυ1κ, where κ(0,1);

    (viii) (ϰ,ϱ,ξ,υ)=ϰκ1ϱκ2ξκ3υ1κ1κ2κ3, where κ1,κ2,κ3(0,1) with κ1+κ2+κ3<1;

    (ix) (ϰ,ϱ,ξ,υ)=κ1ϰ+κ2ϱ+κ3ξ+κ4υ, where κ1,κ2,κ3,κ4[0,1) with κ1+κ2+κ3+κ4=1.

    Assume that F is the class of all mappings :R4+R+ that meet the requirements listed below:

    (1) In every argument, is continuous;

    (2) there is ζ[0,1) such that if ϰ<(ϱ,ϱ+ϰ,0,ϱ+ϰ), or ϰ<(ϱ,ϰ,ϰ,ϰ), or ϰ<(ϱ,0,0,ϰ+ϱ), or ϰ<(ϰ,ϱ,ϱ,ϱ), then for all ϰ,ϱR+,ϰζϱ;

    (3)ϑ(ϰ,ϱ,ξ,υ)(ϑϰ,ϑϱ,ϑξ,ϑυ), for ϑ>0 and for all ϰ,ϱ,ξ,υR+;

    (4) if υυ, then (ϰ,ϱ,ξ,υ)(ϰ,ϱ,ξ,υ) for all ϰ,ϱ,ξ,υ,υR+;

    (5) if ϰ(ϰ,ϰ,ϰ,ϰ), then ϰ=0.

    To illustrate that the family F is nonempty, we consider the following examples:

    Example 2.2. It is simple to confirm that the mappings shown below are a part of the family F:

    (i) (ϰ,ϱ,ξ,υ)=κmax{ϰ+ϱ,ϱ+ξ,ξ+υ,ϰ+υ}, where κ[0,12);

    (ii) (ϰ,ϱ,ξ,υ)=κϰ, where κ[0,1);

    (iii) (ϰ,ϱ,ξ,υ)=κ(ϱ+ξ), where κ[0,12);

    (iv) (ϰ,ϱ,ξ,υ)=κ(ξ+υ), where κ[0,12);

    (vi) (ϰ,ϱ,ξ,υ)=κ(ϰ+ϱ+ξ+υ), where κ[0,13);

    (vii) (ϰ,ϱ,ξ,υ)=κ(ϰϱξυ)14, where κ[0,1);

    (viii) (ϰ,ϱ,ξ,υ)=κϰϱ, where κ[0,13).

    Here, we provide the u-fold AM using the mapping [14].

    Definition 2.1. Let Ω be a BS, Θ be a nonempty subset of Ω, and :ΩΩ is a given mapping. Describe the mapping ˆ:ΘΘ associated with as

    ˆ=(1κ1κ2κ3κu)I+κ1+κ22+κ33++κuu,

    where κj>0,uj=1κj(0,1],u4,uN. We say that the mapping is u-fold AM.

    Now, let us provide two concepts of ECMs.

    Definition 2.2. Suppose that (Ω,.) is a normed space (NS). We say that the mapping :ΩΩ is a hybrid enriched F-contraction (HEF-C) if there is F in order that for all ω,θΩ,bj(0,),j=1,2,,u,u4,uN, we get

    b1(ωθ)+ωθ+b2(2ω2θ)+b3(3ω3θ)++bu(uωuθ)((uj=1bj+1)ωθ,(ωω)+b2(ω2ω)+b3(ω3ω)++bu(ωuω),(θθ)+b2(θ2θ)+b3(θ3θ)++bu(θuθ),(θω)+b2(θ2ω)+b3(θ3ω)++bu(θuω)). (2.1)

    Definition 2.3. Let (Ω,.) be an NS. We say that the mapping :ΩΩ is a hybrid enriched F-contraction (HEF-C) if there is F in order that for all ω,θΩ,bj(0,),j=1,2,,u,u4,uN, we get

    b1(ωθ)+ωθ+b2(2ω2θ)+b3(3ω3θ)++bu(uωuθ)((uj=1bj+1)ωθ,(uj=1bj+1)(θω)+(ωω)+b2(ω2ω)+b3(ω3ω)++bu(ωuω),(uj=1bj+1)(ωθ)+(θθ)+b2(θ2θ)+b3(θ3θ)++bu(θuθ),(θω)+b2(θ2ω)+b3(θ3ω)++bu(θuω)). (2.2)

    The definitions above are supported by the following examples:

    Example 2.3. Assume that Ω=R is a usual NS and :[0,)[0,) is a given mapping described as ω=ω3 for ω[0,). It is clear for bj=13,j=1,2,,u,u4,uN, and (ϰ,ϱ,ξ,υ)=κϰ,κ=67[0,1) that is an HEF-C mapping. In fact, Definition 2.2 indicates that

    b1(ωθ)+ωθ+b2(2ω2θ)+b3(3ω3θ)++bu(uωuθ)=13(ωθ)+(ω3θ3)+13(ω9θ9)+13(ω27θ27)++13u(ω3uθ3u)=13(ωθ)+13(ωθ)+127(ωθ)+181(ωθ)++13u+1(ωθ)2ωθ,

    and

    ((uj=1bj+1)ωθ,(ωω)+b2(ω2ω)+b3(ω3ω)++bu(ωuω),(θθ)+b2(θ2θ)+b3(θ3θ)++bu(θuθ),(θω)+b2(θ2ω)+b3(θ3ω)++bu(θuω))=κ(uj=1bj+1)ωθ=67(1+u3)ωθ67(1+43)ωθ=2ωθ.

    Hence, the inequality (2.1) holds. Therefore, is an HEF-C mapping and has a unique FP 0[0,).

    Example 2.4. Assume that Ω=R is a usual NS and :[0,)[0,) is a given mapping described as ω=1ω3 for ω[0,). It is clear for bj=13j,j=1,2,3,,u,u4,uN, and (ϰ,ϱ,ξ,υ)=ϰ that is an HEF-C mapping. In fact, Definition 2.2 indicates that

    b1(ωθ)+ωθ+b2(2ω2θ)+b3(3ω3θ)++bu(uωuθ)=13(ωθ)+13(θω)+19(ω9θ9)+127(θ27ω27)++13u(1)u(ω3uθ3u)uj=1(13j)ωθ,

    and

    ((uj=1bj+1)ωθ,(ωω)+b2(ω2ω)+b3(ω3ω)++bu(ωuω),(θθ)+b2(θ2θ)+b3(θ3θ)++bu(θuθ),(θω)+b2(θ2ω)+b3(θ3ω)++bu(θuω))=(uj=1bj+1)ωθ=(1+13+132++13u)ωθ(13+132++13u)ωθ=uj=1(13j)ωθ.

    Hence, the inequality (2.1) is true and is an HEF-C mapping. Here, has a unique FP 34[0,).

    Example 2.5. Suppose that Ω=R is a usual NS, Λ=[1,13][1,13]Ω, and :ΛΛ is a given mapping given by

    ω={ω,  if ω[1,13],1ω,if ω[13,1].

    Then, for bj=1,j=1,2,3,,u,u4,uN, and (ϰ,ϱ,ξ,υ)=15(ξ+υ), the mapping is an HEF-C.

    To illustrate this, without loss of the generality, we consider ω,θΛ with ωθ. We have the following cases:

    Case 1. For each ω,θ[1,13] or ω,θ[13,1], the Definition 2.3 implies that

    b1(ωθ)+ωθ+b2(2ω2θ)+b3(3ω3θ)++bu(uωuθ)=(ωθ)+(θω)+(ωθ)+(θω)++(1)u(ωθ)={0,if u is odd,ωθ,if u is even,

    and

    ((uj=1bj+1)ωθ,(uj=1bj+1)(θω)+(ωω)+b2(ω2ω)+b3(ω3ω)++bu(ωuω),(uj=1bj+1)(ωθ)+(θθ)+b2(θ2θ)+b3(θ3θ)++bu(θuθ),(θω)+b2(θ2ω)+b3(θ3ω)++bu(θuω))={15[(u+1)(θω)+(u+1)ωu+12+(u+1)(ωθ)+(u+1)θu+12]if u is odd,15[(u+1)(θω)+uωu2+(u+1)(ωθ)+uθu2]                  if u is even,{(u+1)5θω if u is odd,(u+2)5θω if u is even,{θω   if u is odd,65θωif u is even.

    Case 2. For all ω[1,13] or θ[1,13], we get

    b1(ωθ)+ωθ+b2(2ω2θ)+b3(3ω3θ)++bu(uωuθ)=(ωθ)+(θω1)+(1+ωθ)+(θω1)++(1)u(1+ωθ)={1,if u is odd,ωθ,if u is even,

    and

    ((uj=1bj+1)ωθ,(uj=1bj+1)(θω)+(ωω)+b2(ω2ω)+b3(ω3ω)++bu(ωuω),(uj=1bj+1)(ωθ)+(θθ)+b2(θ2θ)+b3(θ3θ)++bu(θuθ),(θω)+b2(θ2ω)+b3(θ3ω)++bu(θuω))={15[(u+1)(θω)+(u+1)ωu+12+(u+1)(ωθ)+(u+1)θu+12]if u is odd,15[(u+1)(θω)+uωu2+(u+1)(ωθ)+uθu2]                  if u is even,{(u+1)5θω if u is odd,(u+2)5θω if u is even,{θω   if u is odd,65θωif u is even.

    Verifying the conditions in the aforementioned cases confirms the validity of (2.2). Therefore, qualifies as an HEF-C and 12[13,1] is a unique FP of .

    Remark 2.1. The weak ECM in [28] is obtained if we select (ϰ,ϱ,ξ,υ)=κϰ,0κ<1, and bj=0, for j=3,4,,u in Definition 2.2 or 2.3.

    Hence, through the selection of suitable functions and values bj (for j=1,2,,u), we can derive modified weak enriched variants of the traditional contractions discussed, which, as far as we are aware, have not been explored previously.

    Definition 2.4. Describe F as (ϰ,ϱ,ξ,υ)=κ(ϱ+ξ),0κ<12 and bj=0, for j=3,4,,u in Definition 2.2. Then, the mapping is called an enriched Kannan-contraction (EKC), that is, there are b1,b2>0 and 0κ<12 such that

    b1(ωθ)+ωθ+b2(2ω2θ)κ[(ωω)+b2(ω2ω)+(θθ)+b2(θ2θ)],

    for all ω,θΩ.

    Definition 2.5. Describe F as (ϰ,ϱ,ξ,υ)=κ(ϱ+ξ),0κ<12 and bj=0, for j=3,4,,u in Definition 2.3. Then, the mapping is called an enriched Chatterjea-contraction (ECC), that is, there are b1,b2>0 and 0κ<12 such that

    b1(ωθ)+ωθ+b2(2ω2θ)κ[(1+b1+b2)(θω)+(ωω))+b2(ω2ω)+(1+b1+b2)(ωθ)+(θθ))+b2(θ2θ)]

    for all ω,θΩ.

    Definition 2.6. Describe F as (ϰ,ϱ,ξ,υ)=κϰ+μ(ϱ+ξ),κ,μ0 with κ+2μ<1. Set bj=0, for j=3,4,,u in Definition 2.2. Then, the mapping is called an enriched Ć irić-Reich-Rus-contraction (ECRRC), that is, there are b1,b2>0 and κ,μ0 with κ+2μ<1 such that

    b1(ωθ)+ωθ+b2(2ω2θ)κωθ+μ[(ωω))+b2(ω2ω)+(θθ))+b2(θ2θ)]

    for all ω,θΩ.

    Definition 2.7. Describe F as (ϰ,ϱ,ξ,υ)=ϱκξ1κ,0<κ<1 and put bj=0, for j=3,4,,u in Definition 2.2. Then, the mapping is called an enriched interpolative Kannan-contraction (EIKC), that is, there are b1,b2>0 and 0<κ<1 such that

    b1(ωθ)+ωθ+b2(2ω2θ)(ωω))+b2(ω2ω)κ(θθ))+b2(θ2θ)1κ

    for all ω,θΩ.

    Definition 2.8. Describe F as (ϰ,ϱ,ξ,υ)=ϰκϱμξ1κμ,0<κ,μ<1 and put bj=0, for j=3,4,,u in Definition 2.2. Then, the mapping is called an enriched interpolative Ćirić–Reich–Rus-contraction (EICRRC), that is, there are b1,b2>0 and 0<κ+μ<1 with κ+2μ<1 such that

    b1(ωθ)+ωθ+b2(2ω2θ)ωθκ(ωω))+b2(ω2ω)μ(θθ))+b2(θ2θ)1κμ

    for all ω,θΩ.

    Remark 2.2. When b2 is set to 0 in Definitions 2.2 and 2.4–2.8, we derive enriched adaptations of the ECM introduced by Berinde [15], Kanan [29], EIKC [30], and EICRRCs, respectively.

    Let's revisit the definitions of well-posedness, the limit shadowing property of a mapping, and the Ulam-Hyers (UH) stability concerning the FP equation.

    Assume that :ΩΩ is a mapping on an MS (Ω,d).

    Definition 2.9. The FP issue Fix() is deemed well-posed when possesses a unique FP ω, and for any sequence {ωm} in Ω where limmd(ωm,ωm)=0, it follows that limmd(ωm,ω)=0.

    Definition 2.10. The FP challenge Fix() is considered to exhibit the limit shadowing property in Ω if for any sequence Ω where limmd(ωm,ωm)=0, there exists φΩ such that limm(ωm,ωm)=0.

    Definition 2.11. The FP equation ω=ω demonstrates UH stability if there exists a constant δ>0 such that for every ϵ>0 and each ϖΩ where d(ϖ,ϖ)ϵ, there exists ωΩ satisfying ω=ω and d(ω,ϖ)δϵ.

    We begin with the outcome concerning the existence and uniqueness of an FP for a u-fold AM associated with these two categories of hybrid enriched contractions within a BS context.

    Theorem 2.1. Let Ω be a BS and :ΩΩ be an HEF-C mapping. Then, there are κj>0,j=1,2,3,,u,u4,uN, with uj=1(0,1] such that the assertions below are true:

    (i) The m-fold AM ˆ associated with owns a unique FP;

    (ii) KI described as ωm=ˆωm1, for any ω0Ω, i.e., for mN, the sequence {ωm} defined by

    ωm=(1κ1κ2κ3κu)ωm1+κ1ωm1+κ22ωm1+κ33ωm1++κuuωm1

    converges to a unique FP of ˆ.

    Proof. Since is an HEF-C, there exist bj0,j=1,2,3,,u,u4,uN fulfilling the inequality (2.1). Consider κ1=1uj=1bj+1>0 and κs=bsuj=1bj+10,s=2,3,,u. Then, the inequality (2.1) can be written as

    (1κ2κ3κuκ11)(ωθ)+ωθ+κ2κ1(2ω2θ)+κ3κ1(3ω3θ)++κuκ1(uωuθ)(1κ1ωθ,(ωω)+κ2κ1(ω2ω)+κ3κ1(ω3ω)++κuκ1(ωuω),(θθ)+κ2κ1(θ2θ)+κ3κ1(θ3θ)++κuκ1(θuθ),(θω)+κ2κ1(θ2ω)+κ3κ1(θ3ω)++κuκ1(θuω)),

    for ω,θΩ. Because κ1>0 and (3) holds, we have

    (1κ1κ2κ3κu)(ωθ)+κ1(ωθ)+κ2(2ω2θ)+κ3(3ω3θ)++κu(uωuθ)κ1(1κ1ωθ,(ωω)+κ2κ1(ω2ω)+κ3κ1(ω3ω)++κuκ1(ωuω),(θθ)+κ2κ1(θ2θ)+κ3κ1(θ3θ)++κuκ1(θuθ),(θθ)+κ2κ1(θ2θ)+κ3κ1(θ3θ)++κuκ1(θuθ))(ωθ,κ1(ωω)+κ2(ω2ω)+κ3(ω3ω)++κu(ωuω),κ1(θθ)+κ2(θ2θ)+κ3(θ3θ)++κu(θuθ),κ1(θω)+κ2(θ2ω)+κ3(θ3ω)++κu(θuω)).

    This coupled with Definition 2.1, signifies that for ω,θΩ,

    ˆωˆθ(ωθ,ωˆω,θˆθ,θˆω). (2.3)

    Assume that ω0Ω is an arbitrary element and describe the sequence {ωm}mN as ωm=ˆmω0 for m1. Setting ω=ωm and θ=ωm1 in (2.3), and using (4), one can write

    ωm+1ωm(ωmωm1,ωmωm+1,ωm1ωm,ωm1ωm+1)(ωmωm1,ωmωm+1,ωm1ωm,ωm1ωm+ωmωm+1).

    By the condition (2), there is ζ[0,1) such that

    ωm+1ωmζωmωm1.

    Through iterating this procedure, we deduce that

    ωm+1ωmζmω1ω0.

    Next, for j,m1, one has

    ωm+jωmωm+jωm+j1+ωm+j1ωm+j2++ωm+1ωm(ζm+j1+ζm+j2++ζm)ω1ω0=ζm(1ζj)1ζω1ω0,

    which implies that the sequence {ωm} is a Cauchy sequence in Ω. Thus, there is ωΩ such that limmωm=ω.

    Now, setting ω=ω and θ=ωm in (2.3), we can write

    ˆωˆωm(ωωm,ωˆω,ωmˆωm,ωmˆω). (2.4)

    Letting m in (2.4), we have

    ˆωω(ωω,ωˆω,ωω,ωˆω).

    From the conditions (1) and (2), we have

    ˆωω(ωω,ωˆω,ωω,ωˆω)ζωω=0.

    Thus, ˆω=ω. For the uniqueness, assume that η1 and η2 are distinct FPs of ˆ. Putting ω=η1 and θ=η2 in (2.3), we get

    η1η2=ˆη1ˆη2(η1η2,η1η1,η2η2,η2η1)=(η1η2,η1η1,η2η2,η2η1)=(η1η2,0,0,η2η1)ζ.0=0,

    which implies that η1=η2. This completes the proof.

    Theorem 2.2. Let Ω be a BS and :ΩΩ be an HEF-C. Then, there exist κj>0,j=1,2,3,,u,u4,uN, with uj=1κj(0,1] such that the following assertions hold:

    (i) The m-fold AM ˆ associated with possesses a unique FP;

    (ii) KI defined by ωm=ˆωm1, for any ω0Ω, converges to a unique FP of ˆ.

    Proof. Because is an HEF-C, there exist bj0,j=1,2,3,,u,u4,uN justifying the inequality (2.2). Assume that κ1=1uj=1bj+1>0 and κs=bsuj=1bj+10,s=2,3,,u. Then, the inequality (2.1) takes the form

    (1κ2κ3κuκ11)(ωθ)+ωθ+κ2κ1(2ω2θ)+κ3κ1(3ω3θ)++κuκ1(uωuθ)(1κ1ωθ,1κ1(θω)+(ωω)+κ2κ1(ω2ω)+κ3κ1(ω3ω)++κuκ1(ωuω),1κ1(ωθ)+(θθ)+κ2κ1(θ2θ)+κ3κ1(θ3θ)++κuκ1(θuθ),(θω)+κ2κ1(θ2ω)+κ3κ1(θ3ω)++κuκ1(θuω)),

    for ω,θΩ. As κ1>0 and (3) holds, we get

    (1κ1κ2κ3κu)(ωθ)+κ1(ω)θ+κ2(2ω2θ)+κ3(3ω3θ)++κu(uωuθ)κ1(1κ1ωθ,1κ1(θω)+(ωω)+κ2κ1(ω2ω)+κ3κ1(ω3ω)++κuκ1(ωuω),1κ1(ωθ)+(θθ)+κ2κ1(θ2θ)+κ3κ1(θ3θ)++κuκ1(θuθ),(θω)+κ2κ1(θ2ω)+κ3κ1(θ3ω)++κuκ1(θuω)),(ωθ,(θω)+κ1(ωω)+κ2(ω2ω)+κ3(ω3ω)++κu(ωuω),(ωθ)+κ1(θθ)+κ2(θ2θ)+κ3(θ3θ)++κu(θuθ),κ1(θω)+κ2(θ2ω)+κ3(θ3ω)++κu(θuω)).

    This coupled with Definition 2.1, signifies that for ω,θΩ,

    ˆωˆθ(ωθ,θˆω,ωˆθ,θˆω). (2.5)

    Let ω0Ω be an arbitrary element and define the sequence {ωm}mN as ωm=ˆmω0 for m1. Putting ω=ωm and θ=ωm1 in (2.5), and using (4), we can write

    ωm+1ωm(ωmωm1,ωm1ωm+1,ωmωm,ωm1ωm+1)(ωmωm1,ωm1ωm+ωmωm+1,0,ωm1ωm+ωmωm+1).

    By the condition (2), there is ζ[0,1) such that

    ωm+1ωmζωm1ωm.

    Repeating this process, we have

    ωm+1ωmζmω1ω0.

    Next, for j,m1, one has

    ωm+jωmωm+jωm+j1+ωm+j1ωm+j2++ωm+1ωm(ζm+j1+ζm+j2++ζm)ω1ω0=ζm(1ζj)1ζω1ω0,

    which implies that the sequence {ωm} is a Cauchy sequence in Ω. Thus, there is ωΩ such that limmωm=ω.

    Now, setting ω=ω and θ=ωm in (2.5), we can write

    ˆωˆωm(ωωm,ωmˆω,ωmˆω,ωmˆω). (2.6)

    When m in (2.6), we have

    ˆωω(ωω,ωˆω,ωˆω,ωˆω).

    From the conditions (1) and (2), we get

    ˆωω(ωω,ωˆω,ωˆω,ωˆω)ζωω=0.

    and ˆω=ω.

    Finally, assume that η1 and η2 are distinct FPs of . Putting ω=η1 and θ=η2 in (2.5), we get

    η1η2=ˆη1ˆη2(η1η2,η2η1,η1η2,η2η1)=(η1η2,η2η1,η1η2,η2η1)

    By (5), we deduce that η1η2=0. Thus, ˆ has a unique FP.

    Remark 2.3. In Theorems 2.1 and 2.2, if we take (ϰ,ϱ,ξ,υ)=κϰ,κ[0,1), and bj=0,j=3,4,u, we have Theorem 2.3 in [28].

    Corollary 2.1. Let Ω be a BS and :ΩΩ is an EKC (or ECRRC, ECC, EIKC, EICRRC). Then there are κ1,κ2>0 with κ1+κ2(0,1] such that the assertions below are true:

    (i) The 2fold AM κ1,κ2 owns a unique FP;

    (ii) KI {ωm} defined by ωm=κ1,κ2ωm1, for any ω0Ω, that is, the sequence {ωm} described as

    ωm=(1κ1κ2)ωm1+κ1ωm1+κ22ωm1,mN

    converges to a unique FP of κ1,κ2.

    Proof. The proof can be simplified as follows:

    Choosing (ϰ,ϱ,ξ,υ)=κ(ϱ+ξ), where κ[0,12) in Theorem 2.1, we have the FP theorems for EKC.

    Selecting (ϰ,ϱ,ξ,υ)=ρϰ+σ(ϱ+ξ),ρ,σ[0,1) with ρ+2σ<1 in Theorem 2.1, we have the FP theorems for ECRRC.

    Taking (ϰ,ϱ,ξ,υ)=ϰκξ1κ, where κ(0,1) in Theorem 2.1, we have the FP theorems for EIKC.

    Putting (ϰ,ϱ,ξ,υ)=ϰκϱλξ1κλ, where κ,λ(0,1) with κ+λ<1 in Theorem 2.1, we have the FP theorems for EICRRC.

    Setting (ϰ,ϱ,ξ,υ)=κ(ϱ+ξ), where κ[0,12) in Theorem 2.2, we have the FP theorems for ECC.

    Remark 2.4. In Corollary 2.1, if we put κ2=0, we get the FP theorems corresponding to EKC, ECC, ECRRC, EIKC, and EICRRC in [30,31,32].

    Next, we require the subsequent definitions and notations:

    Definition 2.12. [33] Assume that (Ω,.) is an NS and :ΩΩ is a given mapping. The diameter of a set B, represented as ϕ[B], is described as {supωθ:ω,θB}, where B is a bounded subset of Ω.

    An NS (Ω,.) is termed as orbital BS if every Cauchy sequence within Q(,ω,) for a given ωΩ converges in Ω.

    We will now demonstrate the lemmas below for the category of HEF-Cs (or HEF-Cs).

    Lemma 2.1. Let (Ω,.) be an NS and :ΩΩ be an HEF-C mapping (or HEF-C mapping). Assume that the following statements hold:

    (S) For each HEF-C, there is δ[0,1) such that

    ((uj=1bj+1)ωθ,(ωω)+b2(ω2ω)+b3(ω3ω)++bu(ωuω),(θθ)+b2(θ2θ)+b3(θ3θ)++bu(θuθ),(θω)+b2(θ2ω)+b3(θ3ω)++bu(θuω))δmax{(uj=1bj+1)ωθ,(ωω)+b2(ω2ω)+b3(ω3ω)++bu(ωuω),(θθ)+b2(θ2θ)+b3(θ3θ)++bu(θuθ),(uj=1bj+1)(θω)+(ωω)+b2(ω2ω)+b3(ω3ω)++bu(ωuω),(uj=1bj+1)(ωθ)+(θθ)+b2(θ2θ)+b3(θ3θ)++bu(θuθ)}

    or

    (S) for each HEF-C, there is δ[0,1) such that

    ((uj=1bj+1)ωθ,(uj=1bj+1)(θω)+(ωω)+b2(ω2ω)+b3(ω3ω)++bu(ωuω),(uj=1bj+1)(ωθ)+(θθ)+b2(θ2θ)+b3(θ3θ)++bu(θuθ),(θω)+b2(θ2ω)+b3(θ3ω)++bu(θuω))δmax{(uj=1bj+1)ωθ,(ωω)+b2(ω2ω)+b3(ω3ω)++bu(ωuω),(θθ)+b2(θ2θ)+b3(θ3θ)++bu(θuθ),(uj=1bj+1)(θω)+(ωω)+b2(ω2ω)+b3(ω3ω)++bu(ωuω),(uj=1bj+1)(ωθ)+(θθ)+b2(θ2θ)+b3(θ3θ)++bu(θuθ)}

    for all ω,θΩ, bj(0,),j=1,2,3,,u,u4,uN.

    Then, there exist κj>0,j=1,2,3,,u,u4,uN, with uj=1κj(0,1] so that for each ωΩ and for all r,l{1,2,3,,m} for a positive integer m, we have

    ˆrωˆlωδϕ[Q(,ω,m)],

    where ˆ is the u-fold AM linked to an HEF-C (or HEF-C).

    Proof. As is a HEF-C, there is bj(0,),j=1,2,3,,u,u4,uN, fulfilling the inequality (1.1). Consider κ1=1uj=1bj+1>0 and κs=bsuj=1bj+10,s=2,3,,u. Then, the inequality (2.1) takes the form

    (1κ2κ3κuκ11)(ωθ)+ωθ+κ2κ1(2ω2θ)+κ3κ1(3ω3θ)++κuκ1(uωuθ)(1κ1ωθ,(ωω)+κ2κ1(ω2ω)+κ3κ1(ω3ω)++κuκ1(ωuω),(θθ)+κ2κ1(θ2θ)+κ3κ1(θ3θ)++κuκ1(θuθ),(θω)+κ2κ1(θ2ω)+κ3κ1(θ3ω)++κuκ1(θuω)).

    With the help of Assertion (S), the above inequality reduces to

    ˆωˆθ(ωθ,ωˆω,θˆθ,θˆω)cmax{ωθ,ωˆω,θˆθ,θˆω,ωˆθ}. (2.7)

    For a fixed positive integer m, assume that ωΩ is an arbitrary point. From (2.7), we get

    ˆrωˆlω=ˆˆr1ωˆˆl1ωcmax{ˆr1ωˆl1ω,ˆr1ωˆrω,ˆl1ωˆlω,ˆl1ωˆrω,ˆr1ωˆlω},

    which yields

    ˆrωˆlωδϕ[Q(ˆ,ω,m)].

    A comparable conclusion for HEF-C with Assertion (S) can be reached by employing reasoning akin to the ones mentioned earlier.

    Remark 2.5. Based on Lemma 2.1, if is an HEF-C (or HEF-C) and ωΩ, then for any positive integer m, there exists sm such that

    ωˆsω=ϕ[Q(ˆ,ω,m)].

    Lemma 2.2. Let (Ω,.) be an NS and :ΩΩ be an HEF-C (or HEF-C). For a positive integer m, assume that there exists δ[0,1) such that Assertion (S) (or (S)) is verified. Then, there are κj>0,j=1,2,3,,u,u4,uN, with uj=1κj(0,1] so that

    ϕ[Q(ˆ,ω,)]11δωˆω, for all ωΩ,

    where ˆ is the u-fold AM linked to a HEF-C (or HEF-C).

    Proof. Because is an HEF-C, there is bj(0,),j=1,2,3,,u,u4,uN, fulfilling the inequality (1.1). Consider κ1=1uj=1bj+1>0 and κs=bsuj=1bj+10,s=2,3,,u.

    Assume that ωΩ is an arbitrary element. Since the sequence {ϕ[Q(ˆ,ω,m)]} is increasing, we get

    ϕ[Q(ˆ,ω,)]=sup{ϕ[Q(ˆ,ω,m)]:mN}.

    Then (2.7) is fulfilled if we prove that

    ϕ[Q(ˆ,ω,m)]11δωˆω, mN.

    Assume that m is a positive integer. Utilizing Remark 2.5 there is ˆsωQ(ˆ,ω,m), where s[1,m] in order that

    ωˆsω=ϕ[Q(ˆ,ω,m)].

    It follows from the triangle inequality and Lemma 2.1 that

    ωˆsωωˆω+ˆωˆsωωˆω+δϕ[Q(ˆ,ω,m)]=ωˆω+δωˆsω.

    Hence,

    ϕ[Q(ˆ,ω,m)]=ωˆsω11δωˆω, for all mN.

    A comparable conclusion for HEF-C with Assertion (S) can be reached by employing reasoning akin to the ones mentioned earlier.

    Theorem 2.3. Let be an HEF-C (or HEF-C) on an NS (Ω,.). For a positive integer m, assume that there exists δ[0,1) such that Assertion (S) (or (S)) is satisfied. Then, there are κj>0,j=1,2,3,,u,u4,uN, with uj=1κj(0,1] so that the assumptions below hold, provided that Ω is a ˆorbital BS:

    (i) The m-fold AM ˆ associated with has a unique FP;

    (ii) KI defined by ωm=ˆωm1, for any ω0Ω converges to a unique FP of ˆ.

    Proof. Utilizing reasoning akin to that in the proof of Lemma 2.1, for κ1=1uj=1bj+1>0 and κs=bsuj=1bj+10,s=2,3,,u, one has

    ˆωˆθcmax{ωθ,ωˆω,θˆθ,θˆω,ωˆθ}. (2.8)

    Consider ω0Ω. Describe the KI {ωm} as ωm=ˆωm1=ˆmω0,mN.

    Next, we demonstrate that the sequence of iterates {ωm} forms a Cauchy sequence. Assume that m and j are positive integers with j<m. From Lemma 2.1, one can write

    ωjωm=ˆjω0ˆmω0=ˆˆj1ω0ˆˆm1ω0=ˆωj1ˆmj1ωj1δϕ[Q(ˆ,ωj1,mj+1)].

    It follows from Remark 2.5 that there is an integer z,z[1,mj+1] in order that

    ωj1ωj+z1=ϕ[Q(ˆ,ωj1,mj+1)].

    Utilizing Lemma 2.1, we get

    ωj1ωj+z1=ˆωj2ˆz+1ωj2δϕ[Q(ˆ,ωj2,z+1)],

    which yields

    ωj1ωj+z1δϕ[Q(ˆ,ωj2,mj+2)].

    Thus, one can write

    ωjωmδϕ[Q(ˆ,ωj1,mj+1)]δ2ϕ[Q(ˆ,ωj2,mj+2)].

    Continuing with this process, we obtain

    ωjωmδϕ[Q(ˆ,ωj1,mj+1)]δjϕ[Q(ˆ,ω0,m)].

    Applying Lemma 2.2, we have

    ωjωmδj1δω0ˆω0. (2.9)

    Passing m in (2.9), we conclude that {ωm} forms a Cauchy sequence. As Ω is a ˆorbital BS, there is ωΩ such that ωmω as m. Clearly,

    ωˆωωωm+1+ωm+1ˆω=ωωm+1+ˆωmˆωωωm+1+δmax{ωmω,ωmωm+1,ωˆω,ωωm+1,ωmˆω}ωωm+1+δ{ωmω+ωmωm+1+ωˆω+ωωm+1+ωmˆω}.

    Hence,

    ωˆω112δ{(1+δ)ωωm+1+δωmω+δωmωm+1}

    Since ωmω as m, we have ωˆω=0. Thus, ω=ˆω, that is, ω is a FP of ˆ. The uniqueness follows immediately from (2.8).

    A comparable conclusion for HEF-C with Assertion (S) can be reached by employing reasoning akin to the ones mentioned earlier.

    Subsequently, we will examine the well-posedness and limit shadowing property for each category of hybrid enriched contractions defined in this context.

    Theorem 2.4. Let Ω be a BS. Then, Fix(ˆ) is well posed, provided that is an HEF-C mapping.

    Proof. Thanks to Theorem 2.1, ˆ has a unique FP ω in Ω. Assume that limmˆωmωm=0. By (2.3), we get

    ωmωωmˆωm+ˆωmω=ωmˆωm+ˆωmˆωωmˆωm+(ωmω,ωmˆωm,ωˆω,ωˆωm).

    Letting m in the above inequality, we have

    limmωmω(limmωmω,0,0,0).

    Using (2), there is ζ[0,1) such that limmωmωζ.0, which leads to limmωmω=0, thereby establishing the result.

    Theorem 2.5. Let Ω be a BS. Then, Fix(ˆ) is well posed, provided that is an HEF-C mapping.

    Proof. The conclusion can be derived by employing reasoning analogous to that in the proof of Theorem 2.4.

    Theorem 2.6. Let Ω be a BS and be a HEF-C (resp., HEF-C). Then, Fix(ˆ) exhibits the limit shadowing property in Ω.

    Proof. From Theorem 2.1 (resp., Theorem 2.2), we conclude that ˆ owns a unique FP ω in Ω. Hence, ˆmω=ω for any mN, assume that limmˆωmωm=0. It is clear that

    ωmˆmω=ωmωωmˆωm+ˆωmˆωωmˆωm+(ωmω,ωmˆωm,ωˆω,ωˆωm)(resp., (ωmω,ωˆωm,ωmˆω,ωˆωm)).

    Setting m in the above inequality, and we have

    limmωmˆmω(limmωmω,0,0,0)(resp., (limmωmω,limmωωm+1,limmωmω,limmωωm+1)).

    By (2)(resp., (5)), we have limmωmˆmω=0, and this completes the proof.

    To study UH stablility, we introduce the following theorems:

    Theorem 2.7. Let Ω be a BS and be an HEF-C that fulfills the condition below:

    (5) there is ζ(0,1) so that (ϰ,ϱ,ξ,υ)ζϰ+ξ for all ϰ,ϱ,ξ,υR+.

    Then, the FP equation ˆω=ω is UH stable.

    Proof. Thanks to Theorem 2.1, ˆ has a unique FP ω in Ω. Let ϵ>0 and υΩ be an ϵsolution, i.e.,

    υˆυϵ.

    As ωΩ and ωˆω=0ϵ, then ωΩ is an ϵsolution too. Using (5), we have

    ωυ=ˆωυˆωˆυ+ˆυυ(ωυ,ωˆω,υˆυ,υˆω)+ˆυυ=(ωυ,0,υˆυ,υω)+ˆυυζωυ+2ˆυυζωυ+2ϵ,

    which yields

    ωυUϵ,

    where U=11ζ. Hence, the result is proved.

    Theorem 2.8. Let Ω be a BS and be an HEF-C that fulfills the condition below:

    (6) there is ζ(0,13) so that (ϰ,ϱ,ξ,υ)ζ(2ϰ+ξ) for all ϰ,ϱ,ξ,υR+.

    Then, the FP equation ˆω=ω is UH stable.

    Proof. Thanks to Theorem 2.2, ˆ has a unique FP ω in Ω. Let ϵ>0 and υΩ be an ϵsolution, i.e.,

    υˆυϵ.

    As ωΩ and ωˆω=0ϵ, then ωΩ is an ϵsolution too. Using (6), we can write

    ωυ=ˆωυˆωˆυ+ˆυυ(ωυ,υˆω,ωˆυ,υˆω)+ˆυυζ(2ωυ+ωˆυ)+ˆυυζ(2ωυ+(ωυ+υˆυ))+ˆυυ3ζωυ+(1+ζ)ϵ,

    which yields

    ωυUϵ,

    where U=1+ζ13ζ. Hence, the result is proved.

    Assuming the existence of an FP of a u-fold AM linked to an HEF-C mapping (or HEF-C), we aim to investigate essential conditions for the equivalence of FP sets between the u-fold AM and the related ECM.

    We will commence with the subsequent observation, established for AMs ϑ and double AMs κ1,κ2.

    Remark 3.1. Assume that is a self-mapping on an NS Ω. For κj>0,j=1,2,3,,u,u4,uN, with uj=1(0,1], the u-fold AM ˆ:ΩΩ linked to is described as

    ˆ=(1κ1κ2κ3κu)I+κ1+κ22+κ33++κuu,

    and has the property Fix()Fix(ˆ).

    Next, we analyze the conditions ensuring the equivalence of Fix() and Fix(ˆ).

    Theorem 3.1. Let Ω be a BS and be an HEF-C (resp., HEF-C). Suppose that κj>0,j=1,2,3,,u,u4,uN, with uj=1κj(0,1] fulfilling the following hypothesis:

    (H1) for all hj(0,1),j=1,2,3,,u with uj=1hj[0,1) and ϰFix(ˆ),

    ϰϰϰ(1uj=2hj)ϰh22ϰh33ϰhuuϰ. (3.1)

    Then, Fix()=Fix(ˆ).

    Proof. We know from Remark 3.1 that Fix()Fix(ˆ). To demonstrate the reverse, suppose Fix(ˆ) is not empty. Otherwise, the conclusion is self-evident. According to Theorem 2.1 (resp., Theorem 2.2), we obtain Fix(ˆ). If ϰFix(ˆ), then there is κj>0,j=1,2,3,,u,u4,uN, with uj=1κj(0,1] such that

    ϰ=(1κ1κ2κ3κu)ϰ+κ1ϰ+κ22ϰ+κ33ϰ++κuuϰ.

    Put hj=κjuj=1κj,j=1,2,3,,u, in (3.1), and we have

    ϰϰϰκ1uj=1κjϰκ2uj=1κj2ϰκ3uj=1κj3ϰκuuj=1κjuϰ=1uj=1κjϰ(1κ1κ2κ3κu)zκ1ϰκ22ϰκ33ϰκuuϰ=ϰˆϰ=0.

    Hence, ϰFix(). Therefore Fix()=Fix(ˆ).

    We can also obtain equality between Fix() and Fix(ˆ) in another way, as follows:

    Theorem 3.2. Let Ω be a BS and be an HEF-C (resp., HEF-C). Suppose that there exist κj>0,j=1,2,3,,u,u4,uN, with uj=1κj(0,1] and ϑ[0,1) such that

    (H2) for all ωΩ, we get

    ˆωωϑωω.

    Then, Fix()=Fix(ˆ).

    Proof. From Remark 3.1, we have Fix()Fix(ˆ). Based on Theorem 2.1 (resp., Theorem 2.2), we conclude that Fix(ˆ). If ϰFix(ˆ), one has

    ϰϰ=ˆϰϰϑϰϰ,

    which implies that ϰϰ=0. Thus, ϰFix(). Hence, Fix(ˆ)Fix(). Hence Fix()=Fix(ˆ).

    Subsequently, we derive an approximation of an FP for an HEF-C (resp., HEF-C) by employing the KI method for ˆ.

    Theorem 3.3. Let Ω be a BS and be an HEF-C (resp., HEF-C). Suppose that (H1) or (H2) are satisfied. Then,

    (i) possesses a unique FP in Ω;

    (ii) KI defined by ωm=ˆωm1, for any ω0Ω converges to a unique FP of .

    Proof. According to Theorem 2.1 (resp., Theorem 2.2), there are κj>0,j=1,2,3,,u,u4,uN, with uj=1κj(0,1] such that ˆ is described as

    ˆ=(1κ1κ2κ3κu)I+κ1+κ22+κ3++κuu

    and has a unique FP ωΩ, which can be achieved through KI (2.1) for ω0Ω. Since κj(j=1,2,3,,u) fulfills hypothesis (H1) or (H2), the result follows immediately by Theorem 3.1 or Theorem 3.2.

    We finish this manuscript with revisiting the concept of the periodic point property (PPP) for a self-mapping described on Ω.

    Definition 3.1. Assume that Ω is a nonempty set. We say that a mapping :ΩΩ has the PPP Ξ if for every mN,Fix()=Fix(m).

    Remark 3.2. (i) For all mN,Fix()Fix(m). Nevertheless, the reverse is not necessarily valid in all cases.

    (ii) The mapping owns the PPP Ξ if ϑ owns the PPP Ξ; indeed, Fix()=Fix(ϑ).

    Now, we investigate the conditions that ensure a self-mapping , which meets the hybrid ECM, and possesses the PPP Ξ.

    Lemma 3.1. Assume that Ω is a BS and is an HEF-C (resp., HEF-C). Assume also there are κj>0,j=1,2,3,,u,u4,uN, with uj=1κj(0,1] and

    (H) for all ϵ>0, there are ω,θΩ so that

    ωˆθ<ϵωˆjθ<ϵj,j=1,2,,u.

    Then, the FP of aligns with that of ˆj(j=1,2,3,,u,u4,uN).

    Proof. Thanks to Theorem 2.1 (resp., Theorem 2.2), there are κj>0,j=1,2,3,,u,u4,uN, with uj=1κj(0,1] such that ˆ owns a unique FP ωΩ and the KI defined by ωm=ˆωm1,mN converges to a unique FP of . Therefore, for every ϵj>0,j=1,2,3,,u,u4,uN, there is M(j)N with m(j)M(j) such that

    0<ωˆωm(j)ϵj, j=1,2,3,,u,u4,uN.

    Using Hypothesis (H), for m(j)M(j), one has

    ωjωm(j)ϵj, j=1,2,3,,u,u4,uN.

    Put W=max{M(1),M(2),,M(u)}. For m>W, we can write

    ωˆωm=uj=1κj(ωjωm)uj=1κj(ωjωm)uj=1κjϵjuj=1κjϵ=ϵ.

    Hence, ωjωm0,j=1,2,3,,u,u4,uN as m and for an arbitrary ϵ. Therefore, ω is an FP of j,j=1,2,3,,u,u4,uN, and this aligns with the FP of ˆ.

    Theorem 3.4. Let Ω be a BS and be an HEF-C (resp., HEF-C). If the hypotheses (H1) or (H1) and (H) are satisfied, then admits the PPP Ξ.

    Proof. The proof follows immediately from Theorem 3.3 and Lemma 3.1.

    In this paper, we examine the necessary conditions for the u-fold AM and weakly enriched contractions to have equal sets of FPs. Additionally, we illustrate that an appropriate KI algorithm can effectively approximate an FP of a u-fold AM as well as the two enriched contractions. Also, we delve into the well-posedness, limit shadowing property, and UH stability of the u-fold AM. Furthermore, we establish necessary conditions that guarantee the PPP for each of the illustrated, strengthened contractions.

    All authors contributed equally to the writing of this article. All authors have accepted responsibility for entire content of the manuscript and approved its submission.

    The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

    This study is supported via funding from Prince Sattam bin Abdulaziz University project number (PSAU/2024/R/1445).

    The authors declare that they have no conflicts of interest.

    This study is supported via funding from Prince Sattam bin Abdulaziz University project number (PSAU/2024/R/1445).



    [1] S. Banach, Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales, Fund. Math., 3 (1922), 133–181. https://doi.org/10.4064/fm-3-1-133-181 doi: 10.4064/fm-3-1-133-181
    [2] D. Chen, J. Li, Y. Zhang, A posterior contraction for Bayesian inverse problems in Banach spaces, Inverse Probl., 40 (2024), 045011. https://doi.org/10.1088/1361-6420/ad2a03 doi: 10.1088/1361-6420/ad2a03
    [3] Y. Zhang, B. Hofmann, Two new non-negativity preserving iterative regularization methods for ill-posed inverse problems, Inverse Probl. Imag., 15 (2021), 229–256. https://doi.org/10.3934/ipi.2020062 doi: 10.3934/ipi.2020062
    [4] G. Lin, X. Cheng, Y. Zhang, A parametric level set based collage method for an inverse problem in elliptic partial differential equations, J. Comput. Appl. Math., 340 (2018), 101–121. https://doi.org/10.1016/j.cam.2018.02.008 doi: 10.1016/j.cam.2018.02.008
    [5] A. Shcheglov, J. Li, C. Wang, A. Ilin, Y. Zhang, Reconstructing the absorption function in a quasi-linear sorption dynamic model via an iterative regularizing algorithm, Adv. Appl. Math. Mech., 16 (2024), 237–252. https://doi.org/ 10.4208/aamm.OA-2023-0020 doi: 10.4208/aamm.OA-2023-0020
    [6] T. M. Tuyen, H. A. Hammad, Effect of shrinking projection and CQ-methods on two inertial forward-backward algorithms for solving variational inclusion problems, Rend. Circ. Mat. Palermo II Ser., 70 (2021), 1669–1683. https://doi.org/10.1007/s12215-020-00581-8 doi: 10.1007/s12215-020-00581-8
    [7] H. A. Hammad, H. Ur Rehman, M. De la Sen, Advanced algorithms and common solutions to variational inequalities, Symmetry, 12 (2020), 1198. https://doi.org/10.3390/sym12071198 doi: 10.3390/sym12071198
    [8] H. A. Hammad, M. De la Sen, Analytical solution of Urysohn integral equations by fixed point technique in complex valued metric spaces, Mathematics, 7 (2019), 852. https://doi.org/10.3390/math7090852 doi: 10.3390/math7090852
    [9] H. A. Hammad, H. Aydi, M. De la Sen, Generalized dynamic process for an extended multi-valued F-contraction in metric-like spaces with applications, Alex. Eng. J., 59 (2020), 3817–3825. https://doi.org/10.1016/j.aej.2020.06.037 doi: 10.1016/j.aej.2020.06.037
    [10] J. B. Baillon, On the asymptotic behavior of nonexpansive mappings and semigroups in Banach spaces, Houston J. Math., 4 (1978), 1–9.
    [11] M. A. Krasnoselskii, Two remarks about the method of successive approximations, Uspekhi Mat. Nauk, 10 (1955), 123–127.
    [12] H. Schaefer, Über die methode suksessiver approximation, Jber. Deutsch. Math. Verein, 59 (1957), 131–140.
    [13] M. Edelstein, A remark on a theorem of M. A. Krasnoselskii, Am. Math. Mon., 73 (1966), 509–510. https://doi.org/10.2307/2315474 doi: 10.2307/2315474
    [14] W. A. Kirk, On successive approximations for nonexpansive mappings in Banach spaces, Glasgow Math. J., 12 (1971), 6–9. https://doi.org/10.1017/S0017089500001063 doi: 10.1017/S0017089500001063
    [15] V. Berinde, M. Păcurar, Approximating fixed points of enriched contractions in Banach spaces, J. Fixed Point Theory Appl., 22 (2020), 38. https://doi.org/10.1007/s11784-020-0769-9 doi: 10.1007/s11784-020-0769-9
    [16] R. M. T Bianchini, Su un problema di S. Reich riguardante la teoria dei punti fissi, Boll. Un. Mat. Ital., 5 (1972), 103–108.
    [17] S. K. Chatterjea, Fixed point theorems compactes, Rend. Acad. Bulgare Sci., 25 (1972), 727–730.
    [18] L. B. Cirić, Generalized contractions and fixed-point theorems, Publ. Inst. Math., 26 (1971), 19–26.
    [19] L. B. Cirić, A generalization of Banach's contraction principle, Proc. Am. Math. Soc., 45 (1974), 267–273. https://doi.org/10.2307/2040075 doi: 10.2307/2040075
    [20] R. Kannan, Some results on fixed points, Bull. Cal. Math. Soc., 60 (1968), 71–76.
    [21] M. S. Khan, On fixed point theorems, Math. Jpn., 23 (1979), 201–204.
    [22] S. Reich, Some remarks concerning contraction mappings, Can. Math. Bull., 14 (1971), 121–124. https://doi.org/10.4153/CMB-1971-024-9 doi: 10.4153/CMB-1971-024-9
    [23] H. A. Hammad, H. Aydi, Y. U. Gaba, Exciting fixed point results on a novel space with supportive applications, J. Funct. Space., 2021 (2021), 6613774. https://doi.org/10.1155/2021/6613774 doi: 10.1155/2021/6613774
    [24] H. A. Hammad, M. F. Bota, L. Guran, Wardowski's contraction and fixed point technique for solving systems of functional and integral equations, J. Funct. Space., 2021 (2021), 7017046. https://doi.org/10.1155/2021/7017046 doi: 10.1155/2021/7017046
    [25] H. A. Hammad, M. De la Sen, P. Agarwal, New coincidence point results for generalized graph-preserving multivalued mappings with applications, Adv. Differ. Equ., 2021 (2021), 334. https://doi.org/10.1186/s13662-021-03489-4 doi: 10.1186/s13662-021-03489-4
    [26] V. Berinde, Approximating fixed points of enriched nonexpansive mappings by Krasnoselskij iteration in Hilbert spaces, Carpathian J. Math., 35 (2019), 293–304. https://doi.org/10.37193/cjm.2019.03.04 doi: 10.37193/cjm.2019.03.04
    [27] V. Berinde, Approximating fixed points of enriched nonexpansive mappings in Banach spaces by using a retraction-displacement condition, Carpathian J. Math., 36 (2020), 27–34. https://doi.org/10.37193/CJM.2020.01.03 doi: 10.37193/CJM.2020.01.03
    [28] W. Nithiarayaphaks, W. Sintunavarat, On approximating fixed points of weak enriched contraction mappings via Kirk's iterative algorithm in Banach spaces, Carpathian J. Math., 39 (2023), 423–432. https://doi.org//10.37193/CJM.2023.02.07 doi: 10.37193/CJM.2023.02.07
    [29] V. Berinde, M. Păcurar, Kannan's fixed point approximation for solving split feasibility and variational inequality problms, J. Comput. Appl. Math., 386 (2021), 113217. https://doi.org/10.1016/j.cam.2020.113217 doi: 10.1016/j.cam.2020.113217
    [30] M. Abbas, R. Anjum, S. Riasat, Fixed point results of enriched interpolative Kannan type operators with applications, Appl. Gen. Topol., 23 (2022), 391–404. https://doi.org/10.4995/agt.2022.16701 doi: 10.4995/agt.2022.16701
    [31] V. Berinde, M. Păcurar, Approximating fixed points of enriched Chatterjea contractions by Krasnoselskij iterative algorithm in Banach spaces, J. Fixed Point Theory Appl., 23 (2021), 66. https://doi.org/10.1007/s11784-021-00904-x doi: 10.1007/s11784-021-00904-x
    [32] V. Berinde, M. Păcurar, Fixed point theorems for enriched Ćirić-Reich-Rus contractions in Banach spaces and convex metric spaces, Carpathian J. Math., 37 (2021) 173–184. https://doi.org/10.37193/CJM.2021.02.03
    [33] L. B. Ćirić, A generalization of Banach's contraction principle, Proc. Am. Math. Soc., 45 (1974), 267–273. https://doi.org/10.2307/2040075 doi: 10.2307/2040075
  • This article has been cited by:

    1. Kottakkaran Sooppy Nisar, Hasanen A. Hammad, Mohamed Elmursi, Corrigendum to "A new class of hybrid contractions with higher-order iterative Kirk's method for reckoning fixed points", 2024, 9, 2473-6988, 25934, 10.3934/math.20241266
  • Reader Comments
  • © 2024 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(1228) PDF downloads(57) Cited by(1)

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog