Loading [MathJax]/jax/output/SVG/jax.js
Research article

Bipolar fuzzy INK-subalgebras of INK-algebras

  • This article presents a new idea for an extension of the fuzzy INK algebra called bipolar fuzzy INK subalgebra. The objective of this study is to define the features that distinguish bipolar fuzzy INK-subalgebras of INK-algebras. The algebraic operations on these sub-algebras are also studied. The thorough examination allows us to prove a number of theorems that shed light on the connections between the higher and lower-level sets related to these ideas. In addition, several related topics are thoroughly examined, and the idea of homomorphism for bipolar fuzzy INK sub-algebras is introduced.

    Citation: Remala Mounikalakshmi, Tamma Eswarlal, Chiranjibe Jana. Bipolar fuzzy INK-subalgebras of INK-algebras[J]. AIMS Mathematics, 2024, 9(10): 27593-27606. doi: 10.3934/math.20241340

    Related Papers:

    [1] Sunisa Theswan, Sotiris K. Ntouyas, Jessada Tariboon . Coupled systems of ψ-Hilfer generalized proportional fractional nonlocal mixed boundary value problems. AIMS Mathematics, 2023, 8(9): 22009-22036. doi: 10.3934/math.20231122
    [2] Saima Rashid, Fahd Jarad, Khadijah M. Abualnaja . On fuzzy Volterra-Fredholm integrodifferential equation associated with Hilfer-generalized proportional fractional derivative. AIMS Mathematics, 2021, 6(10): 10920-10946. doi: 10.3934/math.2021635
    [3] Sotiris K. Ntouyas, Bashir Ahmad, Jessada Tariboon . Nonlocal integro-multistrip-multipoint boundary value problems for ¯ψ-Hilfer proportional fractional differential equations and inclusions. AIMS Mathematics, 2023, 8(6): 14086-14110. doi: 10.3934/math.2023720
    [4] Weerawat Sudsutad, Wicharn Lewkeeratiyutkul, Chatthai Thaiprayoon, Jutarat Kongson . Existence and stability results for impulsive (k,ψ)-Hilfer fractional double integro-differential equation with mixed nonlocal conditions. AIMS Mathematics, 2023, 8(9): 20437-20476. doi: 10.3934/math.20231042
    [5] Donny Passary, Sotiris K. Ntouyas, Jessada Tariboon . Hilfer fractional quantum system with Riemann-Liouville fractional derivatives and integrals in boundary conditions. AIMS Mathematics, 2024, 9(1): 218-239. doi: 10.3934/math.2024013
    [6] Ayub Samadi, Sotiris K. Ntouyas, Jessada Tariboon . Coupled systems of nonlinear sequential proportional Hilfer-type fractional differential equations with multi-point boundary conditions. AIMS Mathematics, 2024, 9(5): 12982-13005. doi: 10.3934/math.2024633
    [7] Adel Lachouri, Mohammed S. Abdo, Abdelouaheb Ardjouni, Bahaaeldin Abdalla, Thabet Abdeljawad . On a class of differential inclusions in the frame of generalized Hilfer fractional derivative. AIMS Mathematics, 2022, 7(3): 3477-3493. doi: 10.3934/math.2022193
    [8] Sunisa Theswan, Ayub Samadi, Sotiris K. Ntouyas, Jessada Tariboon . Hilfer iterated-integro-differential equations and boundary conditions. AIMS Mathematics, 2022, 7(8): 13945-13962. doi: 10.3934/math.2022770
    [9] Ugyen Samdrup Tshering, Ekkarath Thailert, Sotiris K. Ntouyas . Existence and stability results for a coupled system of Hilfer-Hadamard sequential fractional differential equations with multi-point fractional integral boundary conditions. AIMS Mathematics, 2024, 9(9): 25849-25878. doi: 10.3934/math.20241263
    [10] Abdelkrim Salim, Sabri T. M. Thabet, Imed Kedim, Miguel Vivas-Cortez . On the nonlocal hybrid (k,φ)-Hilfer inverse problem with delay and anticipation. AIMS Mathematics, 2024, 9(8): 22859-22882. doi: 10.3934/math.20241112
  • This article presents a new idea for an extension of the fuzzy INK algebra called bipolar fuzzy INK subalgebra. The objective of this study is to define the features that distinguish bipolar fuzzy INK-subalgebras of INK-algebras. The algebraic operations on these sub-algebras are also studied. The thorough examination allows us to prove a number of theorems that shed light on the connections between the higher and lower-level sets related to these ideas. In addition, several related topics are thoroughly examined, and the idea of homomorphism for bipolar fuzzy INK sub-algebras is introduced.



    Fractional calculus has attempted to be accessed as a promising technique in fluid mechanics [1], nano-material [2], thermal energy [3], epidemics [4] and other scientific disciplines over recent decades. For example, by provoking interest in both cutting-edge and conventional pure and applied analytical techniques, it has reinforced creative collaboration between different disciplines, existence, and relevant applications in real-world manifestations, see [5,6,7]. In 1965, the possibility of fractional calculus depended on the conversation between L'hospital and Leibnitz as letters in [8]. After that, many researchers started experimenting in this field, and a large portion of them concentrated on describing novel fractional formulations [9,10,11]. Various classifications were raised in this process and were expressed by the advancement of research.

    Recently, extensive investigation has been proposed for the qualitative characterization of verification for various fractional differential equations (FDEs) with initial and boundary value problems. Several significant approaches regarding the existence, uniqueness, multiplicity and stability have been reported by proposing certain fixed point theorems. Although many of the important problems have been tackled by the classical fractional derivatives (RL and Caputo) [12,13,14], it has a few limitations when used to design physical issues as a result of the necessary assumptions are themselves fractional and may be unsuitable for physical problems. The Caputo derivative has the opportunity of being appropriate for physical problems because it only necessitates classical initial conditions [15,16].

    Khalil et al. [17] invented an interesting definition of fractional derivative, which is known to be a conformable derivative. In actuality, this so-called derivative is not a fractional derivative, however, it is it is essentially a first derivative duplicated by an extra straightforward factor. Consequently, this novel concept appears to be a regular extension of the classical derivative. More characterizations and the extended form of this derivative have been expounded in [18]. Then authors [19] explored an extension of the conformable derivative by considering proportional derivative. This fact leads to the modified conformable (proportional) differential operator of order λ. The researchers investigated numerous integral inequalities using classical [20], conformable and generalized conformable fractional integrals [21,22]. Qurashi et al. [23] proposed new fractional derivatives and integrals that have nonsingular kernels. By using the generalized proportional Hadamard fractional integral operator, Zhou et al. [24] investigated some general inequalities and their variant forms.

    This recently characterized local derivative approaches to the original function as λ0. In this manner, they had the option to improve the conformable derivative. Jarad et al. [25] presented another kind of fractional operators created from the extended conformable derivatives. The exponential function appeared as a kernel in their examination with outstanding performance [26,27,28]. For the interest of readers, we draw in their thoughtfulness regarding some new papers [29,30].

    In parallel with the concentrated exploration of the fractional derivative, the existence-uniqueness of verification fits to the intense prominent qualitative characterizations of FDEs, see [31,32,33,34].

    Inspired by the work, we utilize a novel fractional derivative which is known as Hilfer-GPF derivative for finding the existence-uniqueness of solutions for a new class of nonlinear FDEs having non-local boundary conditions. For this we consider the subsequent BVP for a class of Hilfer-FDEs:

    {Dλ,ζ;ϑϖ+1y()=G(,y()),λ(0,1),ζ[0,1],(ϖ1,ϖ2],I1δ,;ϑϖ+1[m1y(ϖ+1)+m2y(ϖ2)]=eȷ,δ=λ+ζ(1λ),eȷR, (1.1)

    where G:(ϖ1,ϖ2]×RR be a continuous mapping, Dλ,ζ;ϑϖ+1(.) is the Hilfer-GPF derivative of order λ(0,1) and I1δ;ϑϖ+1(.) is the GPF integral of order 1δ>0. We find the existence consequences by the fixed point techniques of Schauder, Schaefer and Kransnoselskii. Additionally, the investigation of nonlinear FDEs as far as their information sources (fractional orders, related boundaries, and suitable function) has fascinated the interest of mathematicians because of its importance in Orlicz space (see [35]). Rely upon this, the subject of coherence of verification of the Hilfer-FDEs regarding inputs is significant and worth assuming.

    The organization of the paper is as follows. In Section 2, we proceed with some basics concepts and detailed consequences as a review literature. In Section 3, we establish an equivalence criterion of integral equation of BVP (1.1) and then proposed the existence consequences for GPF-derivative by well-noted fixed point theorem. Also, in Section 4, illustrative examples are presented to check the applicability of the findings developed in Section 3. The conclusion with some open problems is presented in Section 5.

    In what follows, we demonstrate some preliminaries, initial results and spaces which are essential for proving further consequences. Throughout this investigation, let Lp(ϖ1,ϖ2),p1, is the space of Lebesgue integrable mappings on (ϖ1,ϖ2).

    Assume that ϖ1,ϖ2(,+) be a finite and infinite intervals on R.

    Furthermore, we elaborate the subsequent weighted spaces with induced norms defined by (see[8]). Suppose that C[ϖ1,ϖ2] is said to be the space of continuous functions defined on [ϖ1,ϖ2] and the norm is defined as follows:

    GC[ϖ1,ϖ2]=max[ϖ1,ϖ2]|G|,

    and ACn[ϖ1,ϖ2] represents the space of n-times absolutely continuous differentiable mappings defined as follows:

    ACn[ϖ1,ϖ2]={G:(ϖ1,ϖ2]R:Gn1AC[ϖ1,ϖ2]},

    Cδ[ϖ1,ϖ2] denotes the weighted space of G on (ϖ1,ϖ2] is defined as

    Cδ[ϖ1,ϖ2]={G:(ϖ1,ϖ2]R:(ϖ1)δG()C[ϖ1,ϖ2]},δ[0,1)

    with the norm

    GCδ[ϖ1,ϖ2]=(ϖ1)δG()C[ϖ1,ϖ2]=max[ϖ1,ϖ2]|(ϖ1)δG|.

    Also, the weighted space of a function G on (ϖ1,ϖ2] is denoted by Cnδ(ϖ1,ϖ2] defined as

    Cnδ[ϖ1,ϖ2]={G:(ϖ1,ϖ2]R:G()Cn1[ϖ1,ϖ2];Gn()Cδ[ϖ1,ϖ2]},δ[0,1)

    with the norm

    GCnδ[ϖ1,ϖ2]=n1κ=0GκC[ϖ1,ϖ2]+GnCδ[ϖ1,ϖ2],nN.

    For n=0, Cnδ[ϖ1,ϖ2] coincides with Cδ[ϖ1,ϖ2].

    Definition 2.1. ([8]) Assume that GL1([ϖ1,ϖ2],R), then the RL fractional integral operator of G of order λ>0 is stated as

    Jλϖ+1G()=1Γ(λ)ϖ1()λ1G()d,>ϖ1, (2.1)

    where Γ(.) represents the classical Gamma function.

    Definition 2.2. ([8]) Assume that GC([ϖ1,ϖ2]), then the RL fractional derivative operator of G of order λ>0 is stated as

    Dλϖ+1G()=1Γ(nλ)dndnϖ1()nλ1G()d,>ϖ1,n1<λ<n,nN, (2.2)

    where Γ(.) represents the Gamma function.

    Definition 2.3. ([8]) Assume that GCn([ϖ1,ϖ2]), then the Caputo fractional derivative operator of G of order λ>0 is stated as

    cDλϖ+1G()=1Γ(nλ)ϖ1()nλ1Gn()d,>ϖ1,n1<λ<n,nN, (2.3)

    where Γ(.) represents the Gamma function.

    Definition 2.4. ([25]) For ϑ(0,1],λC,(λ)>0, then the left-sided generalized proportional integral of G of order λ>0 is stated as

    Jλ;ϑϖ+1G()=1ϑλΓ(λ)ϖ1eϑ1ϑ()()λ1G()d,>ϖ1. (2.4)

    Definition 2.5. ([25]) For ϑ(0,1],λC,(λ)>0, then the left-sided generalized proportional derivative of G of order λ>0 is stated as

    Dλ;ϑϖ+1G()=Dn,ϑϑnλΓ(nλ)ϖ1eϑ1ϑ()()nλ1G()d,>ϖ1, (2.5)

    where n=[λ]+1.

    Definition 2.6. ([25]) For ϑ(0,1],λC,(λ)>0, then the left-sided generalized proportional integral of G of order λ>0 is stated as

    cDλ;ϑϖ+1G()=1ϑnλΓ(nλ)ϖ1eϑ1ϑ()()nλ1(Dn,ϑG)()d,>ϖ1, (2.6)

    where n=[λ]+1.

    Remark 2.1. Specifically, if ϑ=1 Definitions 2.4–2.6 reduces to Definitions 2.1–2.3, respectively.

    Definition 2.7. ([25]) For nN,λ(n1,n),ϑ(0,1],ζ[0,1], then the left/right-sided Hilfer-GPF derivative having order λ, type ζ of G is stated as follows:

    (Dϖ+1G)(y)=Iζ(nλ),ϑϖ+1[Dϑ(I(1ζ)(nλ),ϑϖ+1G)](y), (2.7)

    where DϑG(y)=(1ϑ)G(y)+ϑG(y) and I assumed to be GPF-integral stated in 2.4.

    Specifically, if n=1, then Definition 2.7 reduces to

    (Dϖ+1G)(y)=Iζ(1λ),ϑϖ+1[Dϑ(I(1ζ)(1λ),ϑϖ+1G)](y). (2.8)

    In the present investigation, we discuss the case where n=1,λ(0,1),ζ[0,1] and δ=λ+ζλζ.

    Remark 2.2. It is remarkable to mention that:

    (a)The Hilfer fractional derivative can be considered as an interpolator between the GPF-derivative and Caputo GPF-derivative, respectively, as

    Dλ,ζ;ϑϖ+1G={DϑI(1λ);ϑϖ+1G,ζ=0(seeDefinition2.5),I1λ;ϑϖ+1DϑG,ζ=1(seeDefinition2.6), (2.9)

    (b) The following assumptions holds true:

    0<δ1δλ,δ>ζ,1δ<1ζ(1λ).

    (c) Particularly, if λ(0,1),ζ[0,1] and δ=λ+ζλζ, then

    (Dλ,ζ;ϑϖ+1G)()=(Iζ(1λ)ϖ+1[Dϑ(I(1ζ)(1λ)ϖ+1G)])(y),

    therefore, we have

    (Dλ,ζ;ϑϖ+1G)()=(Iζ(1λ)ϖ+1(Dδ;ϑϖ+1G))(),

    where (Dδ;ϑϖ+1g1)()=dd(I(1ζ)(1λ);ϑϖ+1G)().

    Now we define the weighted spaces of continuous mappings on (ϖ1,ϖ2]:

    Cλ,ζ;ϑ1δ[ϖ1,ϖ2]={GC1δ[ϖ1,ϖ2],Dλ,ζ;ϑϖ+1GC1δ[ϖ1,ϖ2]},δ=λ+ζ(1λ) (2.10)

    and

    Cδ1δ[ϖ1,ϖ2]={GC1δ[ϖ1,ϖ2],Dδ;ϑϖ+1GC1δ[ϖ1,ϖ2]}. (2.11)

    Since Dλ,ζ;ϑϖ+1=Iζ(1λ),ϑϖ+1Dδ;ϑϖ+1, therefore, we have Cδ1δ[ϖ1,ϖ2]Cλ,ζ1δ[ϖ1,ϖ2].

    Theorem 2.1. ([25]) For ϖ1,ϑ(0,1],(λ),(ζ)>0. If GC([ϖ1,ϖ2],R), then

    Iλ;ϑϖ+1(Iζ;ϑϖ+1G)()=Iζ;ϑϖ+1(Iλ;ϑϖ+1G)()=(Iλ+ζϖ+1G)().

    Theorem 2.2. ([25]) For ϖ1,ϑ(0,1] and (λ)>0 and let GL1([ϖ1,ϖ2]), then

    Dλ;ϑϖ+1Iλ;ϑϖ+1G()=G(),n=[(λ)]+1.

    Lemma 2.1. ([25]) For λ,ςC such that (λ)0 and (ς)>0. Then for any ϑ(0,1] we have

    (a)(Iλ;ϑϖ+1eϑ1ϑ(ϖ1)ς1)()=Γ(ς)ϑλΓ(ς+λ)eϑ1ϑ(ϖ1)ς+λ1,
    (b)(Dλ;ϑϖ+1eϑ1ϑ(ϖ1)ς1)()=ϑλΓ(ς)Γ(ςλ)eϑ1ϑ(ϖ1)ςλ1.

    Lemma 2.2. ([30]) For λ(0,1),ϑ(0,1],ζ(0,1) and δ=λ+ζλζ. If GCδ1δ[ϖ1,ϖ2], then

    Iδ;ϑϖ+1Dδ;ϑϖ+1G=Iδ;ϑϖ+1Dλ,ζ;ϑϖ+1G

    and

    Dδ;ϑϖ+1Iλ;ϑϖ+1G=Dζ(1λ);ϑϖ+1G.

    Lemma 2.3. ([30])For y(ϖ1,ϖ2],λ(0,1),ϑ(0,1),ζ[0,1] and δ(0,1). If GC1δ[ϖ1,ϖ2] and I1δ,ϑϖ+1G, then

    Iλ;ϑϖ+1Dλ,ζ;ϑϖ+1G(y)=G(y)eϑ1ϑ(yϖ1)(yϖ1)δ1ϑδ1Γ(δ)(I1δ;ϑϖ1)(ϖ+1).

    Lemma 2.4. ([30]) For δ[0,1),ϑ(0,1] and g1Cδ. If GCδ[ϖ1,ϖ2], then

    Iλ;ϑϖ+1G(ϖ1)=limyϖ+1Iλ;ϑϖ+1G(y)=0,δ[0,λ).

    Lemma 2.5. ([30]) For λ(0,1),ζ[0,1] and δ=λ+ζλζ and let G:(ϖ1,ϖ2]×RR be a mapping such that GC1δ[ϖ1,ϖ2] for any yCδ1δ[ϖ1,ϖ2], then y satisfies problem (1.1) if and only if y satisfies the Volterra integral equation

    y()=(ϖ1)δ1eϑ1ϑ(ϖ1)I1δ;ϑϖ+1y(ϖ+1)ϑδ1Γ(δ)+1ϑλΓ(λ)ϖ1eϑ1ϑ(s1)()λ1G(,y())d. (2.12)

    This section consists of the existence of solution to BVP (1.1) in Cλ,ζ;ϑ1δ[ϖ1,ϖ2].

    Lemma 3.1. For λ(0,1),ζ[0,1], where δ=λ+ζλζ and suppose there be a function G:(ϖ1,ϖ2]×RR such that GC1δ[ϖ1,ϖ2] for any yC1δ[ϖ1,ϖ2]. If yCδ1δ[ϖ1,ϖ2], then y fulfills BVP (1.1) if and only if y holds the following identity

    y()=eȷm1+m2eϑ1ϑ(ϖ1)(ϖ1)δ1ϑδΓ(δ)m2m1+m2eϑ1ϑ(ϖ1)(ϖ1)δ1ϑδΓ(δ)×1ϑ1δ+λΓ(1δ+λ)ϖ2ϖ1eϑ1ϑ(ϖ2)(ϖ2)λδG(,y())d+1ϑλΓ(λ)ϖ1eϑ1ϑ()()λ1G(,y())d. (3.1)

    Proof. By means of Lemma 2.5 and utilizing the solution of (1.1) can be expressed as

    y()=J1δ;ϑϖ+1y(ϖ+1)ϑδ1Γ(δ)eϑ1ϑ(ϖ1)(ϖ1)δ1+1ϑδΓ(δ)ϖ1eϑ1ϑ()()λ1G(,y())d,>ϖ1. (3.2)

    Employing J1δ;ϑϖ+1 on (3.2) and applying the limit ϖ12, we find

    J1δ;ϑϖ+1y(ϖ2)=J1δ;ϑϖ+1y(ϖ+1)+1ϑ1δ+λΓ(1δ+λ)ϖ2ϖ1eϑ1ϑ(ϖ2)(ϖ2)λδG(,y())d. (3.3)

    Again, employing J1δ;ϑϖ+1 on (3.3), we have

    J1δ;ϑϖ+1y(ϖ2)=J1δ;ϑϖ+1y(ϖ+1)+1ϑ1δ+λΓ(1δ+λ)ϖ1eϑ1ϑ(ϖ2)()λδG(,y())d=J1δ;ϑϖ+1y(ϖ+1)+J1ζ(1λ);ϑϖ+1G(,y()). (3.4)

    Applying limit ϖ+1 and utilizing Lemma 2.4 having 1δ<1ζ(1λ), yields

    J1δ;ϑϖ+1y(ϖ+1)=J1δ;ϑϖ+1y(ϖ+1), (3.5)

    thus

    J1δ;ϑϖ+1y(ϖ2)=J1δ;ϑϖ+1y(ϖ+1)+1ϑ1δ+λΓ(1δ+λ)ϖ2ϖ1eϑ1ϑ(ϖ2)(ϖ2)λδG(,y())d. (3.6)

    From boundary condition (1.1), we have

    J1δ;ϑϖ+1y(ϖ2)=eȷm2m1m2J1δ;ϑϖ+1y(ϖ+1). (3.7)

    From (3.5) and (3.6), and utilizing (3.4), we have

    J1δ;ϑϖ+1y(ϖ+1)=m2m1+m2(eȷm21ϑ1δ+λΓ(1δ+λ)ϖ2ϖ1eϑ1ϑ(ϖ2)(ϖ2)λδG(,y())d). (3.8)

    Setting (3.2) in (3.8), one can find

    y()=eȷm1+m2eϑ1ϑ(ϖ1)(ϖ1)δ1ϑδ1Γ(δ)m2m1+m2eϑ1ϑ(ϖ1)(ϖ1)δ1ϑδ1Γ(δ)×1ϑ1δ+λΓ(1δ+λ)ϖ2ϖ1eϑ1ϑ(ϖ2)(ϖ2)λδG(,y())d+1ϑλΓ(λ)ϖ1eϑ1ϑ()()λ1G(,y())d. (3.9)

    Conversely, employing J1δ;ϑϖ+1 on (3.1), utilizing Lemmas 2.1 and 2.2, and simple computations yields

    J1δ;ϑϖ+1m1y(ϖ+1)+J1δ;ϑϖ+1m2y(ϖ2)=m1m2m1+m2(eȷm21ϑ1δ+λΓ(1δ+λ)ϖ2ϖ1eϑ1ϑ(ϖ2)(ϖ2)λδG(,y())d)+m22m1+m2(eȷm21ϑ1δ+λΓ(1δ+λ)ϖ2ϖ1eϑ1ϑ(ϖ2)(ϖ2)λδG(,y())d)+m2ϑ1δ+λΓ(1δ+λ)ϖ2ϖ1eϑ1ϑ(ϖ2)(ϖ2)λδG(,y())d=eȷ, (3.10)

    This shows that y() satisfies boundary condition (1.1).

    Furthermore, employing Dδ;ϑϖ+1 on (3.1) and applying Lemmas 2.1 and 2.2, we have

    Dδ;ϑϖ+1y()=Dζ(1λ);ϑϖ+1G(,y()). (3.11)

    Since yCδ;ϑ1δ[ϖ1,ϖ2] and in view of definition of Cδ;ϑ1δ[ϖ1,ϖ2], we have Dδϖ+1yCϑnδ[ϖ1,ϖ2], thus, Dζ(1λ);ϑϖ+1G=DI1ζ(1λ)ϖ+1GC1δ[ϖ1,ϖ2].

    For GC1δ[ϖ1,ϖ2], it is noting that I1ζ(1λ)ϖ+1GC1δ[ϖ1,ϖ2]. So, G and I1ζ(1λ);ϑϖ+1G holds the assumptions of Lemma 2.3. Now, employing Iζ(1λ);ϑϖ+1 on (3.11), we have

    Iζ(1λ);ϑϖ+1Dδ;ϑϖ+1y()=Iζ(1λ);ϑϖ+1Dζ(1λ);ϑϖ+1G(,y()). (3.12)

    Considering (2.8), (3.11) and Lemma 2.3, we have

    Iδ;ϑϖ+1Dδ;ϑϖ+1y()=G(,y())I1ζ(1λ);ϑϖ+1G(ϖ1,y(ϖ1))ϑζ(1λ)Γ(ζ(1λ))eϑ1ϑ(ϖ1)(ϖ1)ζ(1λ)1,(ϖ1,ϖ2]. (3.13)

    By Lemma 2.4, we have I1ζ(nλ)ϖ+1G(ϖ1,y(ϖ1))=0. Thus, we have Dλ,ζ;ϑϖ+1y()=G(,y()). Hence, this completes the proof.

    Let us evoke some essential assumptions which are required to prove the existence of solutions for the problem mentioned.

    (A1) Let a function G:(ϖ1,ϖ2]×RR with G(.,y(.))Cζ(1λ);ϑ1δ[ϖ1,ϖ2]. For any yCϑ1δ[ϖ1,ϖ2] and there exist two constants M1,m such that

    |G(1,y)|M1(1+myCϑ1δ). (3.14)

    (A2) The inequality

    G:=mM1Γ(δ)ϑλΓ(λ+1)[(ϖ2ϖ1)λ+(ϖ2ϖ1)λ+1δ]<1 (3.15)

    holds.

    Now we are in a position to show the existence results for the BVP (1.1) by employing Schauder's fixed point theorem (see [36]).

    Theorem 3.1. Suppose that the assumptions (A1) and (A2) fulfills. Then by Hilfer-BVP (1.1) has at least one solution in Cδ;ϑ1δ[ϖ1,ϖ2]Cλ,ζ;ϑ1δ[ϖ1,ϖ2].

    Proof. Defining an operator T:C1δ[ϖ1,ϖ2]C1δ[ϖ1,ϖ2] by

    (Ty)()=eȷm1+m2eϑ1ϑ(ϖ1)(ϖ1)δ1ϑδ1Γ(δ)m2m1+m2eϑ1ϑ(ϖ1)(ϖ1)δ1ϑδ1Γ(δ)×1ϑ1δ+λΓ(1δ+λ)ϖ2ϖ1eϑ1ϑ(ϖ2)(ϖ2)λδG(,y())d+1ϑλΓ(λ)ϖ1eϑ1ϑ()()λ1G(,y())d. (3.16)

    Assume that Bϱ={yC1δ[ϖ1,ϖ2]:yC1δϱ} having ϱΩ1G, for G<1, we have

    Ω:=eȷ(m1+m2)ϑδ1Γ(δ)+|m2m1+m2|1ϑδ1Γ(δ)×M1ϑ1δ+λ[(ϖ2ϖ1)λ+1δΓ(λδ+2)+(ϖ2ϖ1)2λδ+1Γ(λ+1)]. (3.17)

    The proof will be demonstrated by the accompanying three steps:

    Case 1. We will prove that T(Bϱ)Bϱ. Utilizing assumption (A2), we have

    |(Ty)()(ϖ1)1δ||eȷ(m1+m2)ϑδ1Γ(δ)|+|m2m1+m21ϑδ1Γ(δ)|×1ϑ1δ+λΓ(1δ+λ)ϖ2ϖ1|eϑ1ϑ(ϖ2)|(ϖ2)λδM1(1+m|y|)d+(ϖ1)1δϑλΓ(λ)ϖ1|eϑ1ϑ()|()λ1M1(1+m|y|)deȷ(m1+m2)ϑδ1Γ(δ)+|m2m1+m2|1ϑδ1Γ(δ)×1ϑ1δ+λΓ(1δ+λ)ϖ2ϖ1|eϑ1ϑ(ϖ2)|(ϖ2)λδM1(1+myC1δ)d+(ϖ1)1δϑλΓ(λ)ϖ1|eϑ1ϑ()|()λ1M1(1+myC1δ)d. (3.18)

    Since |eϑ1ϑ|<1. Observe that, for any yBϱ, and for every (ϖ1,ϖ2], we have

    1ϑ1δ+λΓ(1δ+λ)ϖ2ϖ1|eϑ1ϑ(ϖ2)|(ϖ2)λδM1(1+myC1δ)dM1(ϖ2ϖ1)λϑ1δ+λ[(ϖ2ϖ1)1δΓ(λδ+2)+mϱΓ(δ)Γ(λ+1)],since|eϑ1ϑ|<1 (3.19)

    and

    |(ϖ1)1δ|ϑλΓ(λ)ϖ1|eϑ1ϑ()|()λ1M1(1+myC1δ)dM1(ϖ1)λδ+1ϑλ[(ϖ1)λΓ(λ+1)+mϱΓ(δ)Γ(λ+1)]. (3.20)

    Therefore, we get

    |(Ty)()(ϖ1)1δ|eȷ(m1+m2)ϑδ1Γ(δ)+|m2m1+m2|1ϑδ1Γ(δ)×M1(ϖ2ϖ1)λϑ1δ+λ[(ϖ2ϖ1)1δΓ(λδ+2)+mϱΓ(δ)Γ(λ+1)]+M1(ϖ1)λδ+1ϑλ[(ϖ1)λΓ(λ+1)+mϱΓ(δ)Γ(λ+1)], (3.21)

    which leads to

    TyC1δeȷ(m1+m2)ϑδ1Γ(δ)+|m2m1+m2|1ϑδ1Γ(δ)×M1ϑ1δ+λ[(ϖ2ϖ1)λ+1δΓ(λδ+2)+(ϖ2ϖ1)2λδ+1Γ(λ+1)]+M1mϱΓ(δ)ϑλΓ(λ+1)[(ϖ1)λ+(ϖ2ϖ1)λ+1δ]. (3.22)

    of assumption (A2), we conclude that TyC1δGϱ+(1G)ϱ=ϱ, Therefore, T(Bϱ)Bϱ.

    Next we will prove that T is completely continuous.

    Case 2. We prove that the operator T is completely continuous.

    Assume that {ˉzn} is a sequence such that ˉznˉz in Bϱ as n. Then for every (ϖ1,ϖ2], we have

    |((Tˉzn)()(Tˉz)())(ϖ1)1δ|=|m2m1+m2|1ϑδ1Γ(δ)×1ϑ1δ+λΓ(1δ+λ)ϖ2ϖ1|eϑ1ϑ(ϖ2)|(ϖ2)λδ|G(,ˉzn())G(,ˉz())|d+(ϖ1)1δϑλΓ(λ)ϖ1|eϑ1ϑ()|()λ1|G(,ˉzn())G(,ˉz())|d|m2m1+m2|1ϑλΓ(λ+1)(ϖ2ϖ1)λG(.,ˉzn(.))G(.,ˉz(.))C1δ+Γ(δ)(ϖ1)1δ+λϑλδΓ(λδ)()1δ+λG(.,ˉzn(.))G(.,ˉz(.))C1δ. (3.23)

    Since |eϑ1ϑ|<1 and G is continuous on (ϖ1,ϖ2] and ˉznˉz, then

    (TˉznTˉzC1δ0asn, (3.24)

    which shows that operator T is continuous on Bϱ.

    Case 3. We show that T(Bϱ) is relatively compact. In case 1, we have T(Bϱ)Bϱ. It is observed that T(Bϱ) is uniformly bounded. To show operator T is equi-continuous on Bϱ. In fact, for any ϖ1<1<2<ϖ2 and ˉzBϱ, we have

    |(2ϖ1)1δ(Ty)(2)(1ϖ1)1δ(Ty)()||(2ϖ1)nκ(1ϖ1)nκ|ϑδ1Γ(δ)eȷm1+m2+|m2m1+m2||(2ϖ1)nκ(1ϖ1)nκ|ϑδ1Γ(δ)×1ϑλδ+1Γ(λδ+1)ϖ2ϖ1eϑ1ϑ(ϖ2)(ϖ2)λδ|G(,y())|d+1ϑλΓ(λ)|(2ϖ1)1δ2ϖ1eϑ1ϑ(2)(2)λ1G(,y())d(1ϖ1)1δ1ϖ1eϑ1ϑ(1)(1)λ1G(,y())d||(2ϖ1)nκ(1ϖ1)nκ|ϑδ1Γ(δ)[eȷm1+m2+|m2m1+m2GC1δϑ1δ+λΓ(1δ+λ)ϖ2ϖ1(ϖ2)λδ(ϖ1)δ1d]+GC1δϑλΓ(λ)|(2ϖ1)1δ2ϖ1(2)λ1(ϖ1)δ1d(1ϖ1)1δ1ϖ1(1)λ1(ϖ1)δ1d|(since|eϑ1ϑ|<1)|(2ϖ1)nκ(1ϖ1)nκ|ϑδ1Γ(δ)[eȷm1+m2+|m2m1+m2Γ(δ)ϑλΓ(λ+1)(ϖ2ϖ1)λGC1δ]+GC1δϑλΓ(λ)B(δn+1,λ)|(2ϖ1)λ(1ϖ1)λ|, (3.25)

    which approaches to zero as 21, independent of yϱ, where B(.,.) denotes the Euler Beta function.

    Therefore, we deduce that T(Bϱ) is equicontinuous on Bϱ, that leads to the relatively compactness. As a result, we conclude that by Arzela-Ascoli theorem, the defined operator T:BϱBϱ is completely continuous operator.

    By Schauder's fixed point theorem, there exists at least one fixed point y of T in C1δ[ϖ1,ϖ2]. This fixed point y is the solution of (1.1) in Cδ;ϑ1δ, and this completes the proof.

    Now we present another existence result via Schaefer fixed point theorem. For this, we need the following assumption.

    (A3) Suppose a function G:(ϖ1,ϖ2]×RR such that G(.,y(.))Cζ(1λ);ϑ1δ[ϖ1,ϖ2] for any yC1δ[ϖ1,ϖ2] and there exist a mapping η()C1δ[ϖ1,ϖ2] such that

    |G(,y)|η(),(ϖ1,ϖ2],yR. (3.26)

    Theorem 3.2. Suppose that assumption (A3) satisfies. then Hilfer-BVP (1.1) has at least one solution in Cδ1δCλ,ζ;ϑ1δ[ϖ1,ϖ2].

    Proof. For the proof of Theorem 3.2, one can adopt the same technique as we did in Theorem 3.1 and easily prove that the operator T:C1δ[ϖ1,ϖ2]C1δ[ϖ1,ϖ2] stated in (3.16) is completely continuous. Now we show that

    Δ={yCnδ[ϖ1,ϖ2]:y=σTy,forsomeσ(0,1)} (3.27)

    is bounded set. Assume that yΔ and σ(0,1) be such that y=σTy. By assumption (A3) and (3.16), then for all [ϖ1,ϖ2], we have

    |Ty()(ϖ1)nδ|nκ=1eϑ1ϑ(ϖ1)(ϖ1)nκϑδκ+1Γ(δκ+1)eȷm1+m2+|m2m1+m2|nκ=1eϑ1ϑ(ϖ1)(ϖ1)nκϑnδ+λΓ(δκ+1)Γ(nδ+λ)ϖ2ϖ1eϑ1ϑ(ϖ2)(ϖ2)n+λδ1η()d+|(ϖ1)nδ|ϑλΓ(λ)ϖ1eϑ1ϑ()()λ1η()dnκ=1(ϖ1)nκϑδκ+1Γ(δκ+1)eȷm1+m2+|m2m1+m2|nκ=1(ϖ1)nκϑnδ+λΓ(δκ+1)Γ(nδ+λ)ϖ2ϖ1(ϖ2)n+λδ1(ϖ1)δnηCnδd+|(ϖ1)nδ|ϑλΓ(λ)ϖ1()λ1(ϖ1)δnηCnδd. (3.28)

    Since |eϑ1ϑ|<1, we have

    TyCnδnκ=1(ϖ2ϖ1)nκϑδκ+1Γ(δκ+1)eȷm1+m2+[|m2m1+m2|nκ=1(ϖ2ϖ1)κϑδκ+1Γ(λ)B(λ,1)+B(δn+1,1)ϑλ(ϖ2ϖ1)δ](ϖ2ϖ1)n+ληCnδ:=τ. (3.29)

    Since σ(0,1), then y<Ty. The last inequality with (3.29) leads us to the conclusion that

    yCnδ<TyCnδτ, (3.30)

    which proves that Δ is bounded. Utilizing Schaefer fixed point postulate, this completes the proof.

    Our last result is the existence result for the problem (1.1) by using the Kransnoselskii's fixed point theorem (see [37]), the following assumption is needed:

    (A4) Suppose that G:(ϖ1,ϖ2]×RR is a function such that G(.y(.))Cζ(nλ);ϑnδ[ϖ1,ϖ2] for any yCnδ[ϖ1,ϖ2] and there exists a constant L>0 such that

    |G(,y)G(,ω)|L|yω|,(ϖ1,ϖ2],y,ωR. (3.31)

    Also, we note the following assumption as follows: (A5) the inequality

    Q:=[|m2m1+m2|nκ=1(ϖ2ϖ1)nκϑnδ+λΓ(δκ+1)+B(δn,λ+1)ϑδΓ(δn)]×Γ(δn)(ϖ2ϖ1)λϑλB(δn,1)Γ(λ+1)˜GCnδ+eȷm1+m2nκ=1(ϖ2ϖ1)nκϑnδ+λΓ(δκ+1)L<1 (3.32)

    is hold.

    Theorem 3.3. Suppose that the assumptions (A4) and (A5) are satisfied. If

    |m2m1+m2|nκ=1(ϖ2ϖ1)nκ+λϑnδ+λΓ(δκ+1)Γ(δn+1)ϑλΓ(λ+1)L<1. (3.33)

    Then the Hilfer-BVP (1.1) has at least one solution in Cδnδ[ϖ1,ϖ2]Cλ,ζ;ϑnδ.

    Proof. Considering the operator T stated in Theorem 3.1.

    First, surmise the operator T into sum of two operators T1+T2 as follows

    T1y()=m2m1+m2nκ=1eϑ1ϑ(ϖ)(ϖ1)δκϑnδ+λΓ(δκ+1)1Γ(nδ+λ)ϖ2ϖ1eϑ1ϑ(ϖ2)(ϖ2)nδ+λ1G(,y())d (3.34)

    and

    T2y()=eȷm1+m2nκ=1eϑ1ϑ(ϖ)(ϖ1)δκϑδκ+1Γ(δκ+1)+1ϑλΓ(λ)ϖ1eϑ1ϑ()()λ1G(,y())d. (3.35)

    Setting ˜G=G(,0) and suppose the ball Bϵ={yCnδ;ψ([ϖ1,ϖ2]):yCnδ;ψϵ} having ϵσ1Q,Q<1, where

    σ=[|m2m1+m2|nκ=1(ϖ2ϖ1)nκϑnδ+λΓ(δκ+1)+B(δn,λ+1)ϑδΓ(δn)]×Γ(δn)(ϖ2ϖ1)λϑλB(δn,1)Γ(λ+1)L<1 (3.36)

    The proof will be done in three cases.

    Case 1. We show that T1y+T1ωBϱ for every y,ωBϵ.

    Utilizing assumption (A4), then for every yBϵ and (ϖ1,ϖ2], we have

    |(ϖ1)nδT1()||m2m1+m2|nκ=1eϑ1ϑ(ϖ)(ϖ1)nκϑnδ+λΓ(δκ+1)1Γ(nδ+λ)×ϖ2ϖ1eϑ1ϑ(ϖ2)(ϖ2)nδ+λ1[|G(,y())G(,0)|+|G(,0)|]d|m2m1+m2|nκ=1eϑ1ϑ(ϖ)(ϖ1)nκϑnδ+λΓ(δκ+1)1Γ(nδ+λ)×ϖ2ϖ1eϑ1ϑ(ϖ2)(ϖ2)nδ+λ1(ϖ1)δn[LyCnδ+˜GCnδ]d|m2m1+m2|nκ=1(ϖ1)nκϑnδ+λΓ(δκ+1)Γ(δn+1)ϑλΓ(λ+1)[Lϵ+˜GCnδ]. (3.37)

    Since |eϑ1ϑ|<1. Therefore, we get

    T1yCnδ|m2m1+m2|nκ=1(ϖ2ϖ1)nκ+λϑnδ+λΓ(δκ+1)Γ(δn+1)ϑλΓ(λ+1)[Lϵ+˜GCnδ]. (3.38)

    For operator T2, we have

    |(ϖ1)nδT2ω()||eȷm1+m2|nκ=1eϑ1ϑ(ϖ)(ϖ1)nκϑnδ+λΓ(δκ+1)×(ϖ1)nδϑλΓ(λ)ϖ1eϑ1ϑ()()λ1[|G(,ω())G(,0)|+|G(,0)|]d|eȷm1+m2|nκ=1(ϖ1)nκϑnδ+λΓ(δκ+1)×(ϖ1)nδϑλΓ(λ)ϖ1eϑ1ϑ()()λ1(ϖ1)δn[LωCnδ+˜GCnδ]d. (3.39)

    For every ωBϵ and (ϖ1,ϖ2], this shows

    T1ωCnδ|eȷm1+m2|nκ=1(ϖ2ϖ1)nκϑnδ+λΓ(δκ+1)×(ϖ2ϖ1)λϑλΓ(δn+λ+1)[Lϵ+˜GCnδ]. (3.40)

    From (3.38), (3.40) and utilizing assumption (A5) with (3.36), we find

    T1y+T2ωCnδT1yCnδ+T1ωCnδ(ϖ2ϖ1)λΓ(δn+1)ϑλΓ(λ+1)[Lϵ+˜GCnδ][|m2m1+m2|nκ=1(ϖ2ϖ1)nκϑnδ+λΓ(δκ+1)+Γ(λ+1)Γ(δn+λ+1)]+eȷm1+m2nκ=1(ϖ2ϖ1)nκϑnδ+λΓ(δκ+1)Qϵ+(1Q)ϵ=ϵ. (3.41)

    Case 2. We prove that the operator T is a contraction mapping on Bϱ.

    For any y,ωBϱ, and for any (ϖ1,ϖ2], then by supposition (A4), we have

    |(ϖ1)nδT1y()(ϖ1)nδT1ω()||m2m1+m2|nκ=1eϑ1ϑ(ϖ)(ϖ1)nκϑnδ+λΓ(δκ+1)1Γ(nδ+λ)ϖ2ϖ1eϑ1ϑ(ϖ2)(ϖ2)nδ+λ1[G(,y())G(,ω())]d|m2m1+m2|nκ=1eϑ1ϑ(ϖ)(ϖ1)nκϑnδ+λΓ(δκ+1)1Γ(nδ+λ)ϖ2ϖ1eϑ1ϑ(ϖ2)(ϖ2)nδ+λ1L|y()ω()|d|m2m1+m2|nκ=1(ϖ1)nκϑnδ+λΓ(δκ+1)Γ(δn+1)ϑλΓ(λ+1)(ϖ2)λLyωCnδ. (3.42)

    Since |eϑ1ϑ|<1, this yields

    TyTωCnδ|m2m1+m2|nκ=1(ϖ2ϖ1)nκ+λϑϑnδ+λΓ(δκ+1)Γ(δn+1)ϑλΓ(λ+1)LyωCnδ. (3.43)

    Due to assumption (3.33), which shows that the operator T is a contraction mapping.

    Case 3: Now we show that the operator T2 is completely continuous on Bϵ.

    From the continuity of G, we deduce that the operator T2:BϵBϵ is continuous on Bϵ. Furthermore, we prove that for all ϵ>0 there exists some ϵ>0 such that T2yCnδ<ϵ. In view of case 1, for yBϵ, we have that

    T2yCnδnκ=1(ϖ2ϖ1)nκϑδκ+1Γ(δκ+1)eȷm1+m2+B(δn+1,λ)(ϖ2ϖ1)λϑλΓ(λ)[Lϵ+˜GCnδ], (3.44)

    which is free of and y, so there exists

    ϵ=eȷm1+m2nκ=1(ϖ2ϖ1)nκϑnδ+λΓ(δκ+1)+B(δn+1,λ)(ϖ2ϖ1)λϑλΓ(λ)[Lϵ+˜GCnδ] (3.45)

    such that T2(y)Cnδϵ. Therefore, T2 is uniformly bounded set on Bϵ. Finally, to show that T2 is equicontinuous in Bϵ, for any zBϵ and 1,2(ϖ1,ϖ2] having 1<2, we have

    |(2ϖ1)nδT2y(2)(1ϖ1)nδT2y(1)|=eȷm1+m2|nκ=1(2ϖ1)nκ(1ϖ1)nδϑδκΓ(δκ+1)+(2ϖ1)nδϑλΓ(λ)2ϖ1eϑ1ϑ(2)(2)λ1G(,y())d(1ϖ1)nδϑλΓ(λ)1ϖ1eϑ1ϑ(1)(1)λ1G(,y())d|eȷm1+m2nκ=1|(2ϖ1)nκ(1ϖ1)nδ|ϑδκΓ(δκ+1)+|(2ϖ1)nδϑλΓ(λ)2ϖ1eϑ1ϑ(2)(2)λ1(ϖ1)δnGCnδ,ψ[ϖ1,ϖ2]d(1ϖ1)nδϑλΓ(λ)1ϖ1eϑ1ϑ(1)(1)λ1(ϖ1)δnGCnδ,ψ[ϖ1,ϖ2]d|=nκ=1eȷm1+m2|(2ϖ1)nκ(1ϖ1)nδ|ϑδκΓ(δκ+1)+B(δn+1)ϑλGCnδ;ψ[ϖ1,ϖ2]|(2ϖ1)λ(1ϖ1)λ|. (3.46)

    Since |eϑ1ϑ|<1. It is noting that the right hand side of the aforesaid variant is free of y. So,

    |(2ϖ1)nδT2y(2)(1ϖ1)nδT2y(1)|0,as|21|0. (3.47)

    This shows that T2 is equicontinuous on Bϵ. According to Arzela-Ascoli Theorem, observed that (T2Bϵ) is relatively compact. By Kransnoselskii's fixed point theorem, the problem (1.1) has at least one solution.

    Consider the fractional differential equation with boundary condition which encompasses the Hilfer-GPF derivative of the form

    {Dλ,ζ;ϑϖ+1y()=16+5/616siny(),J=[0,2],λ(0,1),ζ[0,1]I1δ;ϑϖ+1[13y(0+)+23y(2)]=25,λδ=λ+ζλζ, (4.1)

    By comparison (1.1) with (2.9), we have λ=12,ζ=13,δ=23,m1=13,m2=23,ϑ=1 and e1=25. It is clear that 13G(,y())=16+7/616siny()C([0,2]), So G(,y())C13. Thus, it follows that, for any yR+ and J,

    |G(,y())|16(1+2/316|1/3y()|)(1+116yC13). (4.2)

    Hence, the assumption (A1) is fulfilled having M=1 and m=116. It is easy to verify that the assumption (A2) is hold too. In fact, by simple computations, we obtain

    G:=mM1Γ(δ)ϑλΓ(λ+1)[(ϖ2ϖ1)λ+(ϖ2ϖ1)λ+1δ]0.03510<1. (4.3)

    Hence, all suppositions of Theorem 3.1 implies that the problem (1.1) has a unique solution in C2313([0,2]).

    Also, assume that G(,y())=16+5/616siny(). Thus |G(1,y())16+5/616|=η()C1δ([0,2]). So, (A3) is satisfied. Therefore, in view of Theorem 3.2, we conclude that problem (1.1) has a solution in C2/31/3([0,2]).

    Finally, if G(,y())=16+5/616siny(), then for y,ωR+ and J, we have

    |G(,y())G(,ω())|116|yω|.

    Therefore, the assumption (A4) is fulfilled having L=116. Clearly, assumption (A5) and inequality (3.33) are holds. In fact, simple computations yields

    Q:=[|m2m1+m2|nκ=1(ϖ2ϖ1)nκϑnδ+λΓ(δκ+1)+B(δn,λ+1)ϑδΓ(δn)]×Γ(δn)(ϖ2ϖ1)λϑλB(δn,1)Γ(λ+1)L0.1456<1, (4.4)

    and

    |m2m1+m2|nκ=1(ϖ2ϖ1)nκ+λϑnδ+λΓ(δκ+1)Γ(δn+1)ϑλΓ(λ+1)L0.0495<1 (4.5)

    of Theorem 3.3, shows that problem (1.1) has a solution in C2313([0,2]).

    In this approach, we have established certain existence consequences for the solution of BVP for Hilfer-FDEs depend on the lessening of FDEs to integral equations. The proposed scheme with the fixed point assertions unifies the existing results in the frame of RL and Caputo GPF sense, respectively. Besides that, the analysis's comprehensive improvements are dependent on various techniques such as Schauder's, Schaefer's and Kransnoselskii's fixed point theorems. Also, the Hilffer GPF-derivative comprise two parameters and a proportionality index ϑ.

    If ϑ1 and λ=[0,1], then the contemplated problem converted to RL and Caputo fractional derivative [8]. If ϑ(0,1) and ζ=0,1 we recaptures the RL and Caputo GPF-derivative [25], respectively (see Figure 1).

    Figure 1.  Plot of y(), for the RL fractional derivatives (ζ=0,ϑ=1), and GPF-derivatives (ζ=0,ϑ(0,1)).

    Clearly, if ϑ,ζ(0,1), then the newly employed derivatives amalgamate the existing ones in the adjustment of Hilfer, RL and GPF-derivative, (see Figure 2).

    Figure 2.  Graph of y(), for the RL fractional derivatives (ζ=0,ϑ=1), GPF-derivatives (ζ=0,ϑ=0.8) and Hilfer GPF-derivatives (ζ(0,1),ϑ(0,1)).

    If ϑ1 and ζ,λ[0,1], then the formulation for this problem enjoys Hilfer factional derivative [8], (see Figure 3).

    Figure 3.  Plot of y(), for the Hilfer fractional derivatives (ϑ=1) and Hilfer GPF-derivatives (ϑ(0,1)).

    Moreover, a stimulative example is presented to show the efficacy of the established outcomes. We hope that the testified outcomes here will have a considerable impact for more parameters on the stability and other qualitative features of differential equations in the areas of interest of applied sciences.

    The authors declare that there is no conflict of interests.



    [1] K. Iseki, An introduction to the theory of BCK-algebra, Mathematica Japonicae, 23 (1978), 1–26.
    [2] K. Iseki, On BCI-algebras, Math. Sem. Notes, 8 (1980), 125–130.
    [3] M. Kaviyarasu, K. Indhira, V. M. Chandrasekaran, Fuzzy sub-algebras and fuzzy K-ideals in INK-algebras, International Journal of Pure and Applied Mathematics, 113 (2017), 47–55.
    [4] M. Kaviyarasu, K. Indhira, V. M. Chandrasekaran, J. Kavikumar, Interval valued fuzzy subalgebra and fuzzy INK-ideal in INK-algebra, In: Advances in algebra and analysis, Cham: Birkhäuser, 2018, 19–25.https://dx.doi.org/10.1007/978-3-030-01120-8_3
    [5] M. Kaviyarasu, K. Indhira, Derivation in INK-algebras, AIP Conf. Proc. , 1952 (2018), 020049. http://dx.doi.org/10.1063/1.5032011 doi: 10.1063/1.5032011
    [6] M. Kaviyarasu, K. Indhira, V. M. Chandrasekaran, Fuzzy p-ideal in INK-algebra, Journal of Xian University of Architecture and Technology, 12 (2020), 4746–4752.
    [7] M. Kaviyarasu, K. Indhira, V. M. Chandrasekaran, Neutrosophic set in INK-Algebra, Advances in Mathematics Scientific Journal, 9 (2020), 4345–4352. http://dx.doi.org/10.37418/amsj.9.7.4 doi: 10.37418/amsj.9.7.4
    [8] L. A. Zadeh, Fuzzy sets, Information and Control, 8 (1965), 338–353. http://dx.doi.org/10.1016/S0019-9958(65)90241-X doi: 10.1016/S0019-9958(65)90241-X
    [9] W. R. Zhang, (Yin) (Yang) bipolar fuzzy sets, 1998 IEEE World Congress on Computational Intelligence, Anchorage, USA, 1998,835–840. http://dx.doi.org/10.1109/FUZZY.1998.687599
    [10] W. R. Zhang, L. L. Zhang, YinYang bipolar logic and bipolar fuzzy logic, Inform. Sciences, 165, (2004), 265–287. https://dx.doi.org/10.1016/j.ins.2003.05.010 doi: 10.1016/j.ins.2003.05.010
    [11] W. R. Zhang, Bipolar fuzzy sets and relations, a computational frame work for cognitive modelling and multiagent decision analysis, The First International Joint Conference of The North American Fuzzy Information Processing Society Biannual Conference, San Antonio, USA, 1994,305–309. http://dx.doi.org/10.1109/IJCF.1994.375115
    [12] A. M. Al-Masarwah, A. G. Ahmad, On some properties of doubt bipolar fuzzy H-ideals in BCK/BCI-algebras, Eur. J. Pure Appl. Math. , 11 (2018), 652–670. http://dx.doi.org/10.29020/nybg.ejpam.v11i3.3288 doi: 10.29020/nybg.ejpam.v11i3.3288
    [13] A. Al-Masarwah, A. G. Ahmad, Doubt bipolar fuzzy subalgebras and ideals in BCK/BCI-algebras, J. Math. Anal. , 9 (2018), 9–27.
    [14] G. Muhiuddin, Bipolar fuzzy KU-subalgebras/ideals of KU-algebras, Annals of Fuzzy Mathematics and Informatics, 8 (2014), 409–418.
    [15] B. L. Meng M. Akram, K. P. Shum, Bipolar-valued fuzzy ideals of BCK/BCI-algebras, Journal of Algebra and Applied Mathematics, 11 (2013), 13–27.
    [16] G. Muhiuddin, D. Al-Kadi, A. Mahboob, K. P. Shum, New types of bipolar fuzzy ideals of BCK-algebras, Int. J. Anal. Appl. , 18 (2020), 859–875. http://dx.doi.org/10.28924/2291-8639-18-2020-859 doi: 10.28924/2291-8639-18-2020-859
    [17] C. Jana, M. Pal, On (∈α, ∈α∨qβ)-fuzzy soft BCI-algebras, Missouri Journal of Mathematics, 29 (2017), 197–225.
    [18] C. Jana, M. Pal, Application of bipolar intuitionistic fuzzy soft sets in decision making problem, International Journal of Fuzzy System and Applications, 7 (2018), 32–55. http://dx.doi.org/10.4018/IJFSA.2018070103 doi: 10.4018/IJFSA.2018070103
    [19] C. Jana, T. Senapati, K. P. Shum, M. Pal, Bipolar fuzzy soft sub-algebras and ideals of BCI/BCK algebras based on bipolar fuzzy points, J. Intell. Fuzzy Syst. , 37 (2019), 2785–2795. http://dx.doi.org/10.3233/JIFS-18877 doi: 10.3233/JIFS-18877
    [20] C. Jana, T. Senapati, M. Pal, Handbook of research on emerging applications of fuzzy algebraic structures, Hershey: IGI Global, 2020.https://dx.doi.org/10.4018/978-1-7998-0190-0
    [21] C. Jana, T. Senapati, M. Pal, Bipolar fuzzy soft BCK-algebras, J. Intell. Fuzzy Syst. , 37 (2015), 2785–2795. http://dx.doi.org/10.32233/JIFS-1877 doi: 10.32233/JIFS-1877
    [22] C. Jana, M. Pal, On (α, β)-US sets in BCK/BCI-algebras, Mathematics, 7 (2019), 252. http://dx.doi.org/10.3390/math7030252 doi: 10.3390/math7030252
    [23] M. R. Svd, V. L. Prasannam, Y. Bhargavi, Bipolar valued fuzzy d-algebra, Advances in Mathematics: Scientific Journal, 9 (2020), 6799–6808. http://dx.doi.org/10.37418/amsj.9.9.38 doi: 10.37418/amsj.9.9.38
    [24] M. R. Svd, V. L. Prasannam, Y. Bhargavi, Homomorphism on bipolar anti fuzzy d-Ideals of d-algebra, AIP Conf. Proc. , 2375 (2021), 020026. http://dx.doi.org/10.1063/5.0066706 doi: 10.1063/5.0066706
    [25] U. V. Kalyani, T. Eswarlal, Bipolar Vague cosets, Advances in Mathematics: Scientific Journal, 9 (2020), 6777–6787. http://dx.doi.org/10.37418/amsj.9.9.36 doi: 10.37418/amsj.9.9.36
    [26] U. V. Kalyani, T. Eswarlal, Homomorphism on bipolar Vague normal groups, Advances in Mathematics: Scientific Journal, 9 (2020), 3315–3324. https://dx.doi.org/10.37418/amsj.9.6.11 doi: 10.37418/amsj.9.6.11
    [27] U. V. Kalyani, T. Eswarlal, K. V. N. Rao, A. Iampan, Bipolar fuzzy magnified translations in groups, Int. J. Anal. Appl. , 20 (2022), 55. http://dx.doi.org/10.28924/2291-8639-20-2022-55 doi: 10.28924/2291-8639-20-2022-55
    [28] K. Kawila, C. Udomsetchai, A. Iampan, Bipolar fuzzy UP-algebras, Math. Comput. Appl. , 23 (2018), 69. https://dx.doi.org/10.3390/mca23040069 doi: 10.3390/mca23040069
    [29] M. Mursaleen, M. Balamurugan, K. Loganathan, K. S. Nisar, (∈, ∈∨˘q)-Bipolar fuzzy b-ideals of BCK/BCI-algebras, J. Funct. Space. , 2021 (2021), 6615288. https://dx.doi.org/10.1155/2021/6615288 doi: 10.1155/2021/6615288
    [30] S. M. Noori, A. G. Ahmad, S. M. Khalil, New class of doubt bipolar fuzzy sub measure algebra, CMES-Comp. Model. Eng. , 135 (2023), 293–300. http://dx.doi.org/10.32604/cmes.2022.021887 doi: 10.32604/cmes.2022.021887
    [31] J. Jan, J. Gwak, D. Pamucar, L. Martínez, Hybridintegrated decision-making model for operating system based on complexintuitionistic fuzzy and soft information, Inform. Sciences, 651 (2023), 119592. https://dx.doi.org/10.1016/j.ins.2023.119592 doi: 10.1016/j.ins.2023.119592
    [32] J. Gwak, H. Garg, N. Jan, Investigation of roboticstechnology based on bipolar complex intuitionistic fuzzy softrelation, Int. J. Fuzzy Syst. , 25 (2023), 1834–1852. https://dx.doi.org/10.1007/s40815-023-01487-0 doi: 10.1007/s40815-023-01487-0
    [33] J. Gwak, H. Garg, N. Jan, B. Akram, A new approach toinvestigate the effects of artificial neural networks based on bipolarcomplex spherical fuzzy information, Complex Intell. Syst. , 9 (2023), 4591–4614. https://dx.doi.org/10.1007/s40747-022-00959-4 doi: 10.1007/s40747-022-00959-4
    [34] G. Mani, A. J. Gnanaprakasam, N. Kausar, M. Munir, S. Khan, E. Ozbilge, Solving an integral equation via intuitionistic fuzzy bipolar metric spaces, Decision Making: Applications in Management and Engineering, 6 (2023), 536–556. https://dx.doi.org/10.31181/dmame622023624 doi: 10.31181/dmame622023624
    [35] R. Kausar, H. M. A. Farid, M. Riaz, A numerically validated approach to modeling water hammer phenomena using partial differential equations and switched differential-algebraic equations, J. Ind. Intell. , 1 (2023), 75–86. https://dx.doi.org/10.56578/jii010201 doi: 10.56578/jii010201
    [36] T. C. Wang, X. W. Wang, H. Li, Enhanced prediction accuracy in complex systems: An approach integrating fuzzy K-clustering and fuzzy neural network, Int J. Knowl. Innov. Stud. , 1 (2023), 30–43. https://dx.doi.org/10.56578/ijkis010103 doi: 10.56578/ijkis010103
    [37] Y. Du, J. L. Wang, J. G. Lu, Optimization of magnetically coupled resonant wireless power transfer based on improved whale optimization algorithm, J. Ind. Intell. , 1 (2023), 63–74. https://dx.doi.org/10.56578/jii010105 doi: 10.56578/jii010105
    [38] A. A. Khan, L. Wang, Generalized and group-generalized parameter based fermatean fuzzy aggregation operators with application to decision-making, Int J. Knowl. Innov. Stud. , 1 (2023), 10–29. https://dx.doi.org/10.56578/ijkis010102 doi: 10.56578/ijkis010102
  • This article has been cited by:

    1. Saowaluck Chasreechai, Muhammad Aamir Ali, Surapol Naowarat, Thanin Sitthiwirattham, Kamsing Nonlaopon, On some Simpson's and Newton's type of inequalities in multiplicative calculus with applications, 2023, 8, 2473-6988, 3885, 10.3934/math.2023193
    2. Wasfi Shatanawi, Taqi A. M. Shatnawi, Some fixed point results based on contractions of new types for extended b-metric spaces, 2023, 8, 2473-6988, 10929, 10.3934/math.2023554
    3. Rajaa T. Matoog, Amr M. S. Mahdy, Mohamed A. Abdou, Doaa Sh. Mohamed, A Computational Method for Solving Nonlinear Fractional Integral Equations, 2024, 8, 2504-3110, 663, 10.3390/fractalfract8110663
    4. Mohammed A. Almalahi, Khaled Aldowah, Faez Alqarni, Manel Hleili, Kamal Shah, Fathea M. O. Birkea, On modified Mittag–Leffler coupled hybrid fractional system constrained by Dhage hybrid fixed point in Banach algebra, 2024, 14, 2045-2322, 10.1038/s41598-024-81568-8
    5. Muath Awadallah, Mohamed Hannabou, Hajer Zaway, Jihan Alahmadi, Applicability of Caputo-Hadmard fractional operator in mathematical modeling of pantograph systems, 2025, 1598-5865, 10.1007/s12190-025-02421-3
  • 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(945) PDF downloads(49) Cited by(0)

Figures and Tables

Tables(5)

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog