Research article Special Issues

Discussion on iterative process of nonlocal controllability exploration for Hilfer neutral impulsive fractional integro-differential equation

  • This manuscript primarily focuses on the nonlocal controllability results of Hilfer neutral impulsive fractional integro-differential equations of order 0w1 and 0<g<1 in a Banach space. The outcomes are derived from the strongly continuous operator, Wright function, linear operator, and bounded operator. First, we explore the existence and uniqueness of the results of the mild solution of Hilfer's neutral impulsive fractional integro-differential equations using Schauder's fixed point theorem and an iterative process. In order to determine nonlocal controllability, the Banach fixed point technique is used. We employed some specific numerical computations and applications to examine the effectiveness of the results.

    Citation: Kanagaraj Muthuselvan, Baskar Sundaravadivoo, Kottakkaran Sooppy Nisar, Suliman Alsaeed. Discussion on iterative process of nonlocal controllability exploration for Hilfer neutral impulsive fractional integro-differential equation[J]. AIMS Mathematics, 2023, 8(7): 16846-16863. doi: 10.3934/math.2023861

    Related Papers:

    [1] Thabet Abdeljawad, Pshtiwan Othman Mohammed, Hari Mohan Srivastava, Eman Al-Sarairah, Artion Kashuri, Kamsing Nonlaopon . Some novel existence and uniqueness results for the Hilfer fractional integro-differential equations with non-instantaneous impulsive multi-point boundary conditions and their application. AIMS Mathematics, 2023, 8(2): 3469-3483. doi: 10.3934/math.2023177
    [2] Weerawat Sudsutad, Wicharn Lewkeeratiyutkul, Chatthai Thaiprayoon, Jutarat Kongson . Existence and stability results for impulsive $ (k, \psi) $-Hilfer fractional double integro-differential equation with mixed nonlocal conditions. AIMS Mathematics, 2023, 8(9): 20437-20476. doi: 10.3934/math.20231042
    [3] Noorah Mshary, Hamdy M. Ahmed, Ahmed S. Ghanem . Existence and controllability of nonlinear evolution equation involving Hilfer fractional derivative with noise and impulsive effect via Rosenblatt process and Poisson jumps. AIMS Mathematics, 2024, 9(4): 9746-9769. doi: 10.3934/math.2024477
    [4] Lakhlifa Sadek, Tania A Lazǎr . On Hilfer cotangent fractional derivative and a particular class of fractional problems. AIMS Mathematics, 2023, 8(12): 28334-28352. doi: 10.3934/math.20231450
    [5] Sunisa Theswan, Sotiris K. Ntouyas, Jessada Tariboon . Coupled systems of $ \psi $-Hilfer generalized proportional fractional nonlocal mixed boundary value problems. AIMS Mathematics, 2023, 8(9): 22009-22036. doi: 10.3934/math.20231122
    [6] Kulandhaivel Karthikeyan, Palanisamy Raja Sekar, Panjaiyan Karthikeyan, Anoop Kumar, Thongchai Botmart, Wajaree Weera . A study on controllability for Hilfer fractional differential equations with impulsive delay conditions. AIMS Mathematics, 2023, 8(2): 4202-4219. doi: 10.3934/math.2023209
    [7] Abdelkader Moumen, Ammar Alsinai, Ramsha Shafqat, Nafisa A. Albasheir, Mohammed Alhagyan, Ameni Gargouri, Mohammed M. A. Almazah . Controllability of fractional stochastic evolution inclusion via Hilfer derivative of fixed point theory. AIMS Mathematics, 2023, 8(9): 19892-19912. doi: 10.3934/math.20231014
    [8] 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
    [9] Abdelkrim Salim, Sabri T. M. Thabet, Imed Kedim, Miguel Vivas-Cortez . On the nonlocal hybrid $ ({\mathsf{k}}, {\rm{\mathsf{φ}}}) $-Hilfer inverse problem with delay and anticipation. AIMS Mathematics, 2024, 9(8): 22859-22882. doi: 10.3934/math.20241112
    [10] Weerawat Sudsutad, Chatthai Thaiprayoon, Sotiris K. Ntouyas . Existence and stability results for $ \psi $-Hilfer fractional integro-differential equation with mixed nonlocal boundary conditions. AIMS Mathematics, 2021, 6(4): 4119-4141. doi: 10.3934/math.2021244
  • This manuscript primarily focuses on the nonlocal controllability results of Hilfer neutral impulsive fractional integro-differential equations of order 0w1 and 0<g<1 in a Banach space. The outcomes are derived from the strongly continuous operator, Wright function, linear operator, and bounded operator. First, we explore the existence and uniqueness of the results of the mild solution of Hilfer's neutral impulsive fractional integro-differential equations using Schauder's fixed point theorem and an iterative process. In order to determine nonlocal controllability, the Banach fixed point technique is used. We employed some specific numerical computations and applications to examine the effectiveness of the results.



    Fractional calculus (FC) is the theory of differential and integral operators of non-integer order. In recent years, it has attracted numerous researchers, engineers, and scientists who have developed innovative models involving fractional differential equations (FDE). In the field of mechanics, the theories of viscoelasticity and viscoplasticity, modelling of proteins and polymers, modelling of ultrasound waves, and modelling of human tissue under mechanical loads have been successfully applied. In the following research articles and books, readers will find applications of FC ([1,2,3,4,5,6]). Recently, Y. Cao et al. [7] discussed the global Mittag-Leffler stability of the delayed fractional-coupled reaction-diffusion system on networks without strong connectedness. Most recently, Y. Kao et al. [8,9] established the application of FDE in the fields of Mittag-Leffler synchronization of delayed fractional memristor neural networks via adaptive control and global Mittag-Leffler synchronization of coupled delayed fractional reaction-diffusion Cohen-Grossberg neural networks via sliding mode control. In recent times, G. Li et al. [10] discussed the stability analysis of multi-point boundary conditions for fractional differential equations with non-instantaneous integral impulses. In [11], R. Rao et al. discussed the synchronization of epidemic systems with the Neumann boundary value under delayed impulse. Most recently, Y. Zhao et al. [12] investigated the practical exponential stability of an impulsive stochastic food chain system with time-varying delays. The main feature of FC is that it can handle the required rate of evolution in accordance with the needs of the occasion.

    When impulsive differential equations (IDE) are used, abrupt changes and discontinuous jumps occur in an extremely short period of time. There are many good monographs on the IDE (see, [13,14,15,16,17,18,19,20]). There are many processes in the applied sciences that are represented by differential equations. A wide variety of physical phenomena exhibit sudden changes in their states, including biological systems with blood flow, popular dynamics, natural disasters, climate change, chemistry, control theory, and engineering. FDE differs from IDE primarily due to the discontinuous and continuous parts of the solution.

    The evolution of a physical phenomenon over time is described by its local and nonlocal conditions. In many real-life situations, nonlocal conditions provide a greater benefit than local ones. Since these problems apply to many different areas, such as science and mathematics, the study of initial value problems (IVP) with nonlocal conditions is of paramount importance. A new form of fractional derivative has been developed by Hilfer that combines Riemann-Liouville fractional derivatives (RLFD) and Caputo fractional derivatives (CFD).

    Control theory plays a vital role in ensuring system stability. A wide range of applied and pure mathematics problems are addressed in this field. It has the potential to influence the behavior of a dynamical system in a manner that achieves the desired result. In recent years, many scientists and researchers have been working in the field of controllability in Hilfer fractional derivatives (HFD) with different domains such as non-densely domain (NDD), neutral functional differential equations (NFDE), delay differential equations (DDE), and impulsive differential equation (IDE). They may refer to the following monographs ([21,22,23]). In [24], P. Bedi et al. are demonstrate the exact controllability of HFD. In [25] J. Du et al. investigated exact controllability for HFD inclusion involving nonlocal conditions. In [26], X. Liu et al. investigated the finite approximate controllability for Hilfer fractional evolution systems. In [27], D. Luo et al. established the result on the averaging principle of stochastic Hilfer-type fractional systems involving non-Lipschitz coefficients. In [28], K. S. Nisar et al. established the controllability of HFD with a nondense domain. In [29], Y. Zhou et al. discussed the HFD on a semi-infinite interval. Recently, M. Zhou et al. [30] established the Hilfer fractional evolution equations with almost sectorial operators. From the above referred articles, no manuscript deals with the nonlocal controllability exploration for Hilfer neutral type fractional integro-differential equations (HNFrIDE) with impulsive conditions through the application of a filter system. As a result, we will demonstrate this concept and consider the following form of IHFrNIDE:

    HDw,g(ν(t)Θ(t,ν(t)))=Qν(t)+Pu(t)+ϕ(t,ν(t),t0χ(t,s,ν(s))ds),tJ:=[0,T]{t1,t2,...,tρ},Δν(t)=ν(t+ε)ν(tε)=Iε(ν(tε)),ε=1,2,3,...,ρ,I1η0+ν(0)=ν0G(ν). (1.1)

    Where, HDw,g denotes HFD of order 0w1 and 0<g<1 and I1η0+ is generalized fractional derivatives of order 1η=(1w)(1g). The neutral term Θ:J×ΞΞ is continuous. Let Q is a closed, linear, and bounded operator in Ξ. The control function u(t) is given in L2(J,Ξ) a Banach space of admissible control functions with Ξ as a Banach space. The bounded linear operator P:ΞΞ is continuous. Consider the functions ϕ:J×Ξ×ΞΞ and χ:J×Ξ×ΞΞ are continuous. The nonlocal term G:C(J,Ξ)Ξ is a given continuous function. Iε is an impulse operator. Where, ν(t+ε)=limζ0+(tε+ζ) and ν(tε)=limζ0=(tεζ) represents right and left limit of ν(t) at t=tε and the discontinuous points are, 0=t0<t1<t2<...<tρ<tρ+1=T<.

    Foremost, the primary key factors of our proposed work are as follows:

    ● The strongly continuous operator, the linear operator, and the bounded operators are used to obtain the solution representation of our system.

    ● An iterative process is a means of generating sequences that can approximate the solution of equations describing real-life problems.

    ● Define a unique control function for our given system.

    ● Existence solutions are explored by Schauder's fixed point theorem, and the Arzela-Ascoli theorem.

    ● Uniqueness results are attained from the Banach fixed point theorem.

    ● Nonlocal controllability is examined with the defined control function, contraction mapping, and iterative process.

    ● The novelty of this proposed work is that it establishes new assumptions for our system. When compared to prior studies ([31,32,33,34]), it helps to reduce the complexity of the result outcomes. Moreover, we also discuss the applications of our problem through a filter system as well as numerical computations. We have presented graphical representations of the given problem. It is used to obtain the existence and uniqueness results for a given system with different parameters at an instant time.

    This manuscript is organized into five sections. In Section 2, we introduce some preliminary definitions, remarks, and lemmas that can be used to prove the proposed work. In Section 3, we examine the nonlocal controllability result using the necessary and sufficient conditions we have assumed. In Section 4, we provide the applications of our suggested work with numerical computations and a filter system. At the end of this manuscript, we discuss the conclusion.

    Finding our main results will be of significant assistance. It is pertinent to note that the following notation will be used throughout the paper: ν(t)=suptJ{|ν(t)|,ν(t)C(J,Ξ)}.

    Definition 2.1. [35] The Riemann-Liouville fractional integral (RLFI) of order wR+ (the set of positive real numbers) and the function ϕ(t) is defined as

    Iwo+ϕ(t)=1Γ(w)t0(ts)w1ϕ(s)ds, t>0.

    Definition 2.2. [35] The RLFD of order n1w<n, nN for the function ϕ:[w,+)R is defined by

    Dw0+ϕ(t)=1Γ(nw)dndtnt0ϕ(s)(ts)wn+1ds, t>0.

    Remark 2.1. [35] A subset Λ in C(J,Ξ) is relatively compact if and only if it is uniformly bounded and equicontinuous on J.

    Definition 2.3. [36] The HFD is the generalized the RLFD of order 0w1 and 0<g<1, with lower limit 0' is defined as

    Dw,g0+ϕ(t)=Iw(1g)0+ddtI(1w)(1g)0+ϕ(t).

    where, I represents the Riemann-Liouville fractional integral.

    Definition 2.4. [37] A system is said to be nonlocal controllable on J if every pair of vector ν0,νtΞ there exists a control uL2(J,Ξ) such that the mild solution ν which satisfies ν(t)=νtG(ν).

    Theorem 2.1. [38] Let Ξ be a real Banach space, φΞ a nonempty closed bounded convex subset and Λ:φφ is compact. Then Λ has a fixed point.

    Lemma 2.1. [39] The operator Sw,g(t) and Ψg(t) have the following properties:

    {Ψg(t):t>0} is continuous in the uniform operator topology.

    For any fixed t>0,Sw,g(t) and Ψg(t) are linear and bounded operators

    Ψg(t)Ktg1Γ(g), and Sw,g(t)Kt(w1)(g1)Γ(w(1g)+g). (2.1)

    {Ψg(t):t>0} and {Sw,g(t):t>0} are strongly continuous.

    Lemma 2.2. Let 0w1, 0<g<1 then the equation (1.1) can be equivalent in the form of

    ν(t)={Sw,g(t)(ν0G(ν)Θ(0,ν(0))+Θ(t,ν(t)))+t0QΨg(ts)Θ(s,ν(s))ds+t0Ψg(ts)(Pu(s)+ϕ(s,ν(s),s0χ(s,m,ν(m))dm))ds+Sw,g(tt1)I1(ν(t1)),t[0,t1];Sw,g(t)(ν0G(ν)Θ(0,ν(0))+Θ(t,ν(t)))+t0QΨg(ts)Θ(s,ν(s))ds+t0Ψg(ts)(Pu(s)+ϕ(s,ν(s),s0χ(s,m,ν(m))dm))ds+2ε=1Sw,g(ttε)Iε(ν(tε)),t(t1,t2];...Sw,g(t)(ν0G(ν)Θ(0,ν(0))+Θ(t,ν(t)))+t0QΨg(ts)Θ(s,ν(s))ds+t0Ψg(ts)(Pu(s)+ϕ(s,ν(s),s0χ(s,m,ν(m))dm))ds+ρε=1Sw,g(ttε)Iε(ν(tε)),t(tρ,T];

    where, Sw,g=Iw(1g)0+Ψg(t), Ψg(t)=tg1Tg(t) and Tg(t)=0gσRg(σ)S(tgσ)dσ.

    Rg(σ)=n=1(σ)n1(n1)!Γ(1ng),σ(0,),

    where, Rg(σ) is a function of Wright type which satisfies 0σδRg(σ)dσ=Γ(1+δ)Γ(1+gδ),σ0.

    The fundamental objective of this section is to examine the nonlocal controllability results of Eq (1.1) with iterative type. Before that, we have to define the function F:C(J,Ξ)C(J,Ξ) is follows:

    F(ν(t))={Sw,g(t)(ν0G(ν)Θ(0,ν(0))+Θ(t,ν(t)))+t0QΨg(ts)Θ(s,ν(s))ds+t0Ψg(ts)(Pu(s)+ϕ(s,ν(s),s0χ(s,m,ν(m))dm))ds+Sw,g(tt1)I1(ν(t1)),t[0,t1];Sw,g(t)(ν0G(ν)Θ(0,ν(0))+Θ(t,ν(t)))+t0QΨg(ts)Θ(s,ν(s))ds+t0Ψg(ts)(Pu(s)+ϕ(s,ν(s),s0χ(s,m,ν(m))dm))ds+2ε=1Sw,g(ttε)Iε(ν(tε)),t(t1,t2];...Sw,g(t)(ν0G(ν)Θ(0,ν(0))+Θ(t,ν(t)))+t0QΨg(ts)Θ(s,ν(s))ds+t0Ψg(ts)(Pu(s)+ϕ(s,ν(s),s0χ(s,m,ν(m))dm))ds+ρε=1Sw,g(ttε)Iε(ν(tε)),t(tρ,tρ+1]; (3.1)

    Our considerations are based by the following assumptions:

    (H1) The impulsive operator is function from Ξ to Ξ then there exists a constants Kε>0,Mε>0 such that

    (i) ρε=1Iενn(tε)Iεν(tε)ρε=1Kενnν.

    (ii)ρε=1Iεν(tε)ρε=1Mε.

    (H2) A map G:ΞΞ be a continuous function and it is satisfy the following condition

    G(νn)G(ν)ηνnν, η>0.

    (H3) The functions ϕ:J×Ξ×ΞΞ and χ:J×Ξ×ΞΞ are both continuous with respect to t on J and there exists a constants Lχ>0,Nχ>0, γχ>0, K1>0,K2>0 and Sχ>0 such that

    (i) ϕ(t,ν(t),Ω(t))Lχν+NχΩ+γχ.

    (ii) ϕ(t,ν(t),Ω(t))ϕ(t,ν(t),Ω(t))K1ν(t)ν(t)+K2Ω(t)Ω(t).

    (iii) Ω(t)Ω(t)Sχν(t)ν(t).

    Where, Ω(t)=t0χ(t,s,ν(s))ds, and Ω(t)=t0χ(t,s,ν(s))ds.

    (H4) A map Θ:J×ΞΞ be a continuous function with respect to t on J then there exists a constants Wξ>0, λ>0 such that

    (i) Θ(t,ν(t))Wξ.

    (ii) Θ(t,νn(t))Θ(t,ν(t))λνnν.

    (H5) The linear operator B:L2(J,Ξ)Ξ is defined as follows:

    Bu=t0Ψg(ts)Pu(s)ds. (3.2)

    Equation (3.2) is invertible and it is denoted by B1. Where, B1 takes value from L2(J,Ξ)kerB then there exists a ϱ>0 such that B1ϱ. Here we define the control term u(t) for every t(tρ,T] as follows:

    u(t)=B1[νtG(ν)sg,w(t)(ν0G(ν)Θ(0,ν(0))+Θ(t,ν(t)))t0Qψg(ts)Θ(s,ν(s))dst0ψg(ts)ϕ(s,ν(s),Ω(s))dsρε=1Sw,g(ttε)Iε(ν(tε))],u(t)=suptJ|B1[νtG(ν)sg,w(t)(ν0G(ν)Θ(0,ν(0))+Θ(t,ν(t)))t0Qψg(ts)Θ(s,ν(s))dst0ψg(ts)ϕ(s,ν(s),Ω(s))dsρε=1Sw,g(ttε)Iε(ν(tε))]|,Dm[νtG(ν)Kt(w1)(g1)Γ(w(1g)+g)(Cν+Wξ)Ktg1Γ(g)(QWξ+Lχν(t)+NχΩ(t)+γχ)ρε=1MεK(ttε)(w1)(g1)Γ(w(1g)+g)],Dmβγ.

    Here we used the following notation of above equation

    Where, βγ=[νtG(ν)Kt(w1)(g1)Γ(w(1g)+g)(Cν+Wξ)Ktg1Γ(g)(QWξ+Lχν(t)+NχΩ(t)+γχ)ρε=1MεK(ttε)(w1)(g1)Γ(w(1g)+g)].ν0G(ν)Θ(0,ν(0))Cν.Θ(s,ν(s))Wξ.ϕ(t,ν(t),Θ(t))Lχν(t)+NχΩ(t)+γχ.B1Dm.ρε=1Sw,g(ttε)Iε(ν(tε))ρε=1MεK(ttε)(w1)(g1)Γ(w(1g)+g).

    Theorem 3.1. The hypothesis (H1)(H3)(i) and Lemma 2.1 are hold then (1.1) is uniformly bounded for every t[0,T] and provided that

    F(ν(t))Z. (3.3)
    Where, F(ν(t))K(ttε)(w1)(g1)Γ(w(1g)+g)(Cν+Wξ)+QKWξtg1Γ(g)+Ktg1Lχν(t)+NχΩ(t)+γχΓ(g)+ρε=1MεK(ttε)(w1)(g1)Γ(w(1g)+g).

    Proof. We want to show that the Eq (1.1) is uniformly bounded for every t[0,T]. First we prove that a function F(ν(t)) is bounded on [0,t1] and we get the following inequality

    F(ν(t))=suptJ{Sw,g(t)(ν0G(ν)Θ(0,ν(0))+Θ(t,ν(t)))+t0QΨg(ts)Θ(s,ν(s))ds+t0Ψg(ts)(Pu(s)+ϕ(s,ν(s),s0χ(s,m,ν(m))dm))ds+Sw,g(tt1)I1(ν(t1))},Kt(w1)(g1)Γ(w(1g)+g)(Cν+Wξ)+QKWξtg1Γ(g)+Ktg1Γ(g)(PDmβ+Lχν(t)+NχΩ(t)+γχ)+M1K(tt1)(w1)(g1)Γ(w(1g)+g),Z1. (3.4)

    Proceeding in similar way we define the function F for every t(tρ,T],

    F(ν(t))Kt(w1)(g1)Γ(w(1g)+g)(Cν+Wξ)+QKWξtg1Γ(g)+Ktg1Γ(g)(PDmβ+Lχν(t)+NχΩ(t)+γχ)+ρε=1MεK(ttε)(w1)(g1)Γ(w(1g)+g),Zρ. (3.5)

    From the inequality (3.4) and (3.5) then we have

    F(ν(t))sup{Z1,Z2,...,Zρ},=Z,F(ν(t))Z. (3.6)

    From the inequality (3.6) we can say that F(ν(t)) is uniformly bounded for every t[0,T].

    Theorem 3.2. Assume that the hypothesis (H1),(H3)(ii), (H3)(iii) and Lemma (2.1) are holds then prove that the function F has atleast one solution on C(J,Ξ).

    Proof. Step 1: We want to show that F is continuous on C(J,Ξ). Let {νn(t)} be a sequence on C(J,Ξ) such that {νn(t)}ν as n. For every t[0,t1] and then we have

    F(νn(t))F(ν(t))Sw,g(t){(G(νn)G(ν))+(Θ(t,νn(t))Θ(t,ν(t)))}+t0QΨg(ts)×Θ(s,νn(s))Θ(s,ν(s))ds+t0Ψg(ts)×ϕ(s,νn(s),Ωn(s))ϕ(s,ν(s),Ω(s))+Sw,g(tt1)×I1νn(t1)I1ν(t1),{Kt(w1)(g1)(η+λ)Γ(w(1g)+g)+Ktg1(Qλ+(K1+K2Sχ))Γ(g)+K1K(tt1)(w1)(g1)Γ(w(1g)+g)}×νnν.

    Since, as n, νnν (F(νn)(t)(F)(ν)(t)0 for every [0,t1].

    Proceeding like this, we define for every t(tρ,T] and then we obtained

    F(νn(t))F(ν(t)){Kt(w1)(g1)(η+λ)Γ(w(1g)+g)+Ktg1(Qλ+(K1+K2Sχ))Γ(g)+ρε=1KεK(ttε)(w1)(g1)Γ(w(1g)+g)}×νnν.

    Since, as n, νnν (F(νn)(t)(F)(ν)(t)0 for every (tρ,T].

    Step 2: Next, we have to show that F is equicontinuous on C(J,Ξ). Let us consider the two arbitrary elements θ1,θ2[0,t1] and relation between θ1,θ2 is θ1<θ2.

    (Fν)(θ2)(Fν)(θ1)=suptJ|Sw,g(t)Θ(θ2,ν(θ2))+θ20QΨg(θ2s)Θ(s,ν(s))ds+θ20Ψg(θ2s)×(Pu(s)+ϕ(s,ν(s),Ω(s)))dsSw,g(t)Θ(θ1,ν(θ1))θ10QΨg(θ1s)Θ(s,ν(s))dsθ10Ψg(θ1s)(Pu(s)+ϕ(s,ν(s),Ω(s)))ds|,Kt(w1)(g1)λθ2θ1Γ(w(1g)+g)+Q(Kθg12Γ(g)Kθg11Γ(g))×Wξ+(Kθg12Γ(g)Kθg11Γ(g))PDmβγ+Lχν(t)+NχΩ(t)+γχ. (3.7)

    As θ2θ1 in (3.7) then we have (Fν)(θ2)(Fν)(θ1)0 and therefore (Fν)(t) is equicontinuous on [0,t1]. In similar manner, we prove the function F is equicontinuous on every t(tρ,T],

    |(Fν)(θρ+1)(Fν)(θρ)Kt(w1)(g1)λθρ+1θρΓ(w(1g)+g)+Q(Kθg12Γ(g)Kθg1ρΓ(g))×Wξ+(Kθg1ρ+1Γ(g)Kθg1ρΓ(g))PDmβγ+Lχν(t)+NχΩ(t)+γχ. (3.8)

    Since θρ+1θρ in (3.8) which implies (Fν)(θρ+1)(Fν)(θρ)0 and therefore (Fν) is equicontinuous on (tρ,T] then using Arzela-Ascoli theorem and remark (1), we get (Fν) is compact on J. Using the Theorem 3.1, Steps 1 and 2 in conjunction with the Schauder fixed point theorem, we attained a solution for Eq (1.1) on J.

    Theorem 3.3. The hypothesis (H1),(H2),(H3)(ii),(H3)(iii),(H4)(ii), (H5), and Lemma 2.1 are satisfied then the Eq (1.1) has a unique solution and nonlocal controllable on J.

    Proof. In order to satisfy the Banach contraction, we consider two solutions of given system (1.1) namely, ν(t) and μ(t) in Ξ and define the contraction mapping F:ΞΞ by F(ν)(t)F(μ)(t)Υν(t)μ(t) for every t(tρ,T] and 0Υ<1 and then prove the uniqueness and nonlocal controllability of IHFrNIDE (1.1). Initially, prove the contraction mapping for every t[0,t1] by using above hypothesis,

    F(ν)(t)F(μ)(t)suptJ|Sw,g(t)|(|G(ν)G(μ)|+|Θ(t,ν(t))Θ(t,μ(t))|)+t0|Q||Ψg(ts)|×|Θ(s,ν(s))Θ(s,μ(s))|ds+t0|Ψg(ts)|×|ϕ(s,ν(s),Ω(s))ϕ(s,μ(s),Ω(s))|+|Sw,g(tt1)|×|I1(ν(t1))I1(μ(t1))|,{Kt(w1)(g1)(η+λ)Γ(w(1g)+g)+Kt(g1)Γ(g)×{Qλ+(K1+K2Sχ)}+K(tt1)(w1)(g1)K1Γ(w(1g)+g)}×ν(t)μ(t),Υ1ν(t)μ(t). (3.9)

    Similarly, next prove the contraction mapping for every (t1,t2] and we get the following inequality:

    F(ν)(t)F(μ)(t){Kt(w1)(g1)(η+λ)Γ(w(1g)+g)+Kt(g1)Γ(g)×{Qλ+(K1+K2Sχ)}+2ε=1K(ttε)(w1)(g1)KεΓ(w(1g)+g)}×ν(t)μ(t),Υ2ν(t)μ(t). (3.10)

    Proceeding similar way, we prove the contraction mapping for every t(tρ,tρ+1] and obtained the following inequality:

    F(ν)(t)F(μ)(t){Kt(w1)(g1)(η+λ)Γ(w(1g)+g)+Kt(g1)Γ(g)×{Qλ+(K1+K2Sχ)}+ρε=1K(ttε)(w1)(g1)KεΓ(w(1g)+g)}×ν(t)μ(t),Υρν(t)μ(t). (3.11)

    From the inequality (3.9), (3.10) and (3.11) we get contraction mapping for every tJ

    F(ν)(t)F(μ)(t)sup{Υ1,Υ2,Υ3,...,Υρ}ν(t)μ(t),=Υν(t)μ(t). (3.12)

    Hence, from Eq (3.12) we get the contraction mapping F(ν)(t)F(μ)(t)Υν(t)μ(t) for every t on J. Since Υ<1 and as a consequence of Banach fixed point theorem, we say that the IHFrNIDE (1.1) has a unique solution on J then using the hypothesis (H5) and definition (4) such that

    F(ν)(t)=Sw,g(t)(ν0G(ν)Θ(0,ν(0))+Θ(t,ν(t)))+t0QΨg(ts)Θ(s,ν(s))ds+t0Ψg(ts)(Pu(s)+ϕ(s,ν(s),s0χ(s,m,ν(m))dm))ds+ρε=1Sw,g(ttε)Iε(ν(tε)),=Sw,g(t)(ν0G(ν)Θ(0,ν(0))+Θ(t,ν(t)))+t0QΨg(ts)Θ(s,ν(s))ds+BB1[νtG(ν)Sg,w(t)(ν0G(ν)Θ(0,ν(0))+Θ(s,ν(s)))t0Qψg(ts)Θ(s,ν(s))dst0ψg(ts)ϕ(s,ν(s),Ω(s))dsρε=1Sw,g(ttε)Iε(ν(tε))]+t0ψg(ts)ϕ(s,ν(s),Ω(s))ds+ρε=1Sw,g(ttε)Iε(ν(tε)),F(ν)(t)=νtG(ν). (3.13)

    From Eq (3.13), we attained the nonlocal controllable result for IHFrNIDE (1.1) with respect to t on J.

    Application 1. Consider the following impulsive Hilfer fractional neutral integro-differential (IHFrNIDE) system

    HD23,35(ν(t)50e2tsin(ν(t))dt)=Qν(t)+Pu(t)+1Γ(π)50(etsin(ν(t))1+9sec(ν(t))dt,tJ:=[0,5]{1,2,3,4},Δν(t)=1π(sin(ν(tε))),ε=1,2,3,4.I0.13330+ν(0)=ν03π43sin(ν(t)). (4.1)

    In Table 1, we provided the symbol of assumptions and interpretation of our given application. Let Q(t)Q:D(Q)ΞΞ is a closed linear bounded operator is defined by QE=E with the domain D(Q)={EΞ:E is absolutely continuous, E(0)=E(5)=0}. Let K=0.7,t=5,g=35,w=23. We assume that the function ϕ:J×ΞΞ and satisfies the hypothesis (H3), as follows

    ϕ(t,ν(t),Ω(t))ϕ(t,ν(t),Ω(t))=1Γ(π)[50(etsin(ν(t)))1+9sec(ν(t))dt50(etsin(ν(t)))1+9sec(ν(t))dt],1Γ(π)ν(t)ν(t).
    Table 1.  Symbol of assumptions and interpretation in Application 1.
    SI.No Symbol Interpretation Assumptions
    1. Q(t) Closed, linear and bounded operator D(Q)={EΞ:E(0)=E(5)=0}
    2. Θ(t,ν(t)) Netural function 50e2tsin(ν(t))dt
    3. ϕ(t,ν(t),Ω(t)) Integro-Differential function 1Γ(π)50(etsin(ν(t))1+9sec(ν(t))dt
    4. Δν(t) Impulsive function 1π(sin(ν(tε)))
    G(ν) and ν0 Nonlocal function and initial value 3π43sin(ν(t)) and ν0=0
    6. w and g Order of HFD, 0w1 and 0<g<1 g=35 and w=23
    8. u(t) Control function Square integrable function on J where, J:=[0,5]{1,2,3,4}.

     | Show Table
    DownLoad: CSV

    Moreover, we have

    ϕ(t,ν(t),Ω(t))1Γ(π)50(etsin(ν(t))1+9sec(ν(t))dt,1Γ(π)(ν(t)+Ω(t)+1).

    Let the neutral term Θ:J×ΞΞ and defined by Θ(t,ν(t))=50e2tsin(t)dt and Θ(t,ν(t))0.2000 and it is satisfies the hypothesis (H4). The impulsive function Iε:ΞΞ is defined by Iε(ν(t))=1π(sin(ν(tε))) and by employing the hypothesis (H1) we have,

    1π(sin(ν(tε)))1π(sin(ν(tε)))1π1(sin(ν(tε)))1(sin(ν(tε))),0.3183ν(t)ν(t).

    Consider the nonlocal term G:ΞΞ and defined by G(ν(t))=3π43sin(ν(t)) and applying the hypothesis (H2) then obtained the following inequality

    3π43sin(ν(t))3π43sin(ν(t))3π43sin(ν(t))sin(ν(t)),0.2192sin(ν(t))sin(ν(t)).

    Let us consider the map F:C(J,Ξ)C(J,Ξ) and using the Theorem 3.3 as follow the unique solution to Eq (4.1),

    F(ν(t))F(ν(t)){(0.7×5(231)(351)Γ(23(135)+35)×3π43)+(0.7×5351Γ(35)×1Γ(π))+0.7×1πΓ(23(135)+35)}×ν(t)ν(t),0.4844ν(t)ν(t).

    The linear operator B:L2(J,Ξ)Ξ and defined by Bu=50Ψ35(5s)Pu(s)ds, and the inverse linear operator is takes from L2(J,Ξ)kerB and then there exists ϱ>0 such that B1ϱ and manipulating the hypothesis (H5) and definition (4) to get the nonlocal controllability for every t[0,5] and our application can be applied to the problem IHFrNIDE (1.1). Figures 1 and 2 are represents the uniqueness of the solution of different parameters with finite time interval for Eq (4.1).

    Figure 1.  Graphical representation of Hilfer (w=0.3,g=0.2).
    Figure 2.  Graphical representation of Hilfer (w=0.5,g=0.2).

    Application 2. (High pass impulsive response filter system)

    Filters are an essential component of all signal processing and communication systems. An advantage of a filter system (FS) is that it is used to restrict a signal to a specific frequency band, as in a low-pass filter (LPF), a high-pass filter (HPF), and a band-pass filter (BPF). The finite duration impulse response (FIR) filter and the infinite duration impulse response (IIR) filter are the primary focus of the digital filter class. FIR filters possess significant benefits, such as bounded input-bounded output (BIBO) stability, that make them suitable for widespread applications. Following monographs explain the filter system ([40,41,42]). FIR filters can be discrete-time or continuous-time, digital or analog. In our model, the filter system includes the high-pass FIR, low-pass FIR, integrator block, and continuous time. Our filter system depicts a block diagram model, which improves the effectiveness of numerical solutions in less time, and the sum block accepts the input values of A, B, C, D, HPF, Gain (Θ(t,ν(t))), and Gain 1 (Pu(t)) then the overall resultant is connected to the integrator over the interval [0, 5]. Where A = Sw,g(t)ν0 is the initial condition, B = Sw,g(t)G(ν) is a nonlocal term, C = Sw,g(t)Θ(0,ν(0)) is initial neutral term, and D = Sw,g(t)Θ(t,ν(t)) is neutral term. The output of integrator is connected to a high-pass filter and merged with integrator 1. Finally, all blocks combine to the scope block, and hence the output ν(t) is attained, which is bounded and nonlocally controllable on J. The output of our filter system is represented in Figures 3 and 4.

    Figure 3.  Output of the Filter system.
    Figure 4.  Output of filter system with upper limit '5' and lower limit '0'.

    In Banach space, we demonstrate the mild solution of the Hilfer neutral impulsive fractional integro-differential equation. The nonlocal controllability results are attained by uniform operator, linear operator, bounded operator, strongly continuous operator, iterative processes, and fixed point techniques. Eventually, an appropriate application was given to enhance the effectiveness and applicability of our proposed work. In the future, we will extend our results to the nonlocal controllability analysis of ψ-Hilfer fractional differential equation with non-instantaneous impulses and state-dependent delay.

    This study is supported via funding from Prince Sattam bin Abdulaziz University project number (PSAU/2023/R/1444). This research work was supported by the part of Department of Science and Technology, Government of India through INSPIRE Grant:DST/INSPIRE/03/2019/003255.

    The authors declare no conflict of interest.



    [1] A. Akg¨ul, S. H. A. Khoshnaw, Application of fractional derivative on non-linear biochemical reaction models, Int. J. Intell. Netw., 1 (2020), 52–58. https://doi.org/10.1016/j.ijin.2020.05.001 doi: 10.1016/j.ijin.2020.05.001
    [2] R. L. Bagley, P. J. Torvik, A theoretical basis for the application of fractional calculus to viscoelasticity, J. Rheol., 27 (1983), 201–210. https://doi.org/10.1122/1.549724 doi: 10.1122/1.549724
    [3] K. Diethelm, The analysis of fractional differential equations, In: Lecture Notes in Mathematics, 2010. https://doi.org/10.1007/978-3-642-14574-2
    [4] C. Ionescu, A. Lopes, D. Copot, J. A. T. Machado, J. H. T. Bates, The role of fractional calculus in modelling biological phenomena: A review, Commun. Nonlinear Sci. Numer. Simul., 51 (2017), 141–159. https://doi.org/10.1016/j.cnsns.2017.04.001 doi: 10.1016/j.cnsns.2017.04.001
    [5] R. L. Magin, Fractional Calculus in Bioengineering, Chicago: University of Illinois-Chicago, 2006.
    [6] I. Podlubny, Fractional Differential Equation, Academic Press, 1998.
    [7] Y. Cao, Y. Kao, J. H. Park, H. Bao, Global Mittag–Leffler stability of the delayed fractional-coupled reaction-diffusion system on networks without strong connectedness, IEEE Trans. Neur. Net. Lear. Syst., 33 (2021), 6473–6483. https://doi.org/10.1109/TNNLS.2021.3080830 doi: 10.1109/TNNLS.2021.3080830
    [8] Y. Kao, Y. Li, J. H. Park, X. Chen, Mittag–Leffler synchronization of delayed fractional memristor neural networks via adaptive control, IEEE Trans. Neur. Net. Lear. Syst., 32 (2021), 2279–2284. https://doi.org/10.1109/TNNLS.2020.2995718 doi: 10.1109/TNNLS.2020.2995718
    [9] Y. Kao, Y. Cao, X. Chen, Global Mittag-Leffler synchronization of coupled delayed fractional reaction-diffusion Cohen-Grossberg neural networks via sliding mode control, Chaos, 32 (2022), 113123. https://doi.org/10.1063/5.0102787 doi: 10.1063/5.0102787
    [10] G. Li, Y. Zhang, Y. Guan, W. Li, Stability analysis of multi-point boundary conditions for fractional differential equation with non-instantaneous integral impulse, Math. Biosci. Eng., 20 (2023), 7020–7041. https://doi.org/10.3934/mbe.2023303 doi: 10.3934/mbe.2023303
    [11] R. Rao, Z. Lin, X. Ai, J. Wu, Synchronization of epidemic systems with Neumann boundary value under delayed impulse, Mathematics, 10 (2022), 2064. https://doi.org/10.3390/math10122064 doi: 10.3390/math10122064
    [12] Y. Zhao, L. Wang, Practical exponential stability of impulsive stochastic food chain system with time-varying delays, Mathematics, 11 (2023), 147. https://doi.org/10.3390/math11010147 doi: 10.3390/math11010147
    [13] R. Agarwal, S. Hristova, D. O'Regan, Non-Instantaneous impulses in Caputo fractional differential equations, Fract. Calc. Appl. Anal., 20 (2017), 595–622. https://doi.org/10.1515/fca-2017-0032 doi: 10.1515/fca-2017-0032
    [14] H. M. Ahmed, M. M. El-Borai, H. M. El-Owaidy, A. S. Ghanem, Impulsive Hilfer fractional differential equations, Adv. Differ. Equ., 2018 (2018), 226. https://doi.org/10.1186/s13662-018-1679-7 doi: 10.1186/s13662-018-1679-7
    [15] D. D. Bainov, P. S. Simeonov, Oscillation Theory of Impulsive Differential Equations, Orlando: International Publications, 1998.
    [16] V. Lakshmikantham, D. D. Bainov, P. S. Simeonov, Theory of Impulsive Differential Equations, Singapore: World Scientific Publishing, 1989.
    [17] J. Liang, H. Yang, Controllability of fractional integro-differential evolution equations with nonlocal conditions, Appl. Math. Comput., 254 (2015), 20–29. https://doi.org/10.1016/j.amc.2014.12.145 doi: 10.1016/j.amc.2014.12.145
    [18] K. Muthuselvan, B. S. Vadivoo, Analyze existence, uniqueness and controllability of impulsive fractional functional differential equations, Adv. Stud.: Euro-Tbil. Math. J., 10 (2022), 171–190.
    [19] A. M. Samoilenko, N. A. Perestyuk, Impulsive Differential Equations, Singapore: World Scientific Publishing Co. Pte. Ltd., 14 (1995). https://doi.org/10.1142/2892
    [20] B. S. Vadivoo, R. Raja, J. Cao, H. Zhang, X. Li, Controllability analysis of nonlinear neutral-type fractional-order differential systems with state delay and impulsive effects, Int. J. Control Autom. Syst., 16 (2018), 659–669. http://doi.org/10.1007/s12555-017-0281-1 doi: 10.1007/s12555-017-0281-1
    [21] X. Fu, X. Liu, Controllability of non-densely defined on neutral functional differential systems in abstract space, Chin. Ann.Math. Ser. B, 28 (2007), 243–252. http://doi.org/10.1007/s11401-005-0028-9 doi: 10.1007/s11401-005-0028-9
    [22] K. Jothimani, K. Kaliraj, S. Kumari Panda, K. S. Nisar, C. Ravichandran, Results on controllability of non-densely characterized neutral fractional delay differential system, Evol. Equ. Control The., 10 (2021), 619–631. https://doi.org/10.3934/eect.2020083 doi: 10.3934/eect.2020083
    [23] A. A. Kilbas, H. M. Srivastava, J. J. Trujillo, Theory and Applications of Fractional Differential Equations, Elsevier, 204 (2006).
    [24] P. Bedi, A. Kumar, T. Abdeljawad, A. Khan, Existence of mild solutions for impulsive neutral Hilfer fractional evolution equations, Adv. Differ. Equ., 2020 (2020), 155. https://doi.org/10.1186/s13662-020-02615-y doi: 10.1186/s13662-020-02615-y
    [25] J. Du, W. Jiang, D. Pang, A. U. Niazi, Exact controllability for Hilfer fractional differential inclusion involving nonlocal initial conditions, Complexity, 2018 (2018), 9472847. https://doi.org/10.1155/2018/9472847 doi: 10.1155/2018/9472847
    [26] X. Liu, Y. Li, G. Xu, On the finite approximate controllability for Hilfer fractional evolution systems, Adv. Differ. Equ., 2020 (2020), 22. https://doi.org/10.1186/s13662-019-2478-5 doi: 10.1186/s13662-019-2478-5
    [27] D. Luo, Q. Zhu, Z. Luo, A novel result on averaging principle of stochastic Hilfer-type fractional system involving non-Lipschitz coefficients, Appl. Math. Lett., 122 (2021), 107549. http://dx.doi.org/10.1016/j.aml.2021.107549 doi: 10.1016/j.aml.2021.107549
    [28] K. S. Nisar, K. Jothimani, C. Ravichandran, D. Baleanu, D. Kumar, New approach on controllability of Hilfer fractional derivatives with nondense domain, AIMS Mathematics, 7 (2022), 10079–10095. https://doi.org/10.3934/math.2022561 doi: 10.3934/math.2022561
    [29] Y. Zhou, J. W. He, A Cauchy problem for fractional evolution equations with Hilfer's fractional derivative on semi-infinite interval, Fract. Calc. Appl. Anal., 25 (2022), 924–961. https://doi.org/10.1007/s13540-022-00057-9 doi: 10.1007/s13540-022-00057-9
    [30] M. Zhou, C. Li, Y. Zhou, Existence of mild solutions for Hilfer fractional evolution equations with almost sectorial operators, Axioms, 11 (2022), 144. https://doi.org/10.3390/axioms11040144 doi: 10.3390/axioms11040144
    [31] K. M. Furati, M. D. Kassim, N. E.Tatar, Existence and uniqueness for a problem involving Hilfer fractional derivative, Comput. Math. Appl., 64 (2012), 1616–1626. https://doi.org/10.1016/j.camwa.2012.01.009 doi: 10.1016/j.camwa.2012.01.009
    [32] H. Gu, J. J. Trujillo, Existence of mild solution for evolution equation with Hilfer fractional derivative, Appl. Math. Comput., 257 (2015), 344–354. https://doi.org/10.1016/j.amc.2014.10.083 doi: 10.1016/j.amc.2014.10.083
    [33] A. Kumar, D. N. Pandey, Controllability results for non-densely defined impulsive fractional differential equations in abstract space, Differ. Equ. Dyn. Syst., 29 (2021), 227–237. https://doi.org/10.1007/s12591-019-00471-1 doi: 10.1007/s12591-019-00471-1
    [34] C. Ravichandran, N. Valliammal, J. J. Nieto, New results on exact controllability of a class of fractional neutral integro-differential systems with state-dependent delay in Banach spaces, J. Franklin Inst., 356 (2019), 1535–1565. https://doi.org/10.1016/j.jfranklin.2018.12.001 doi: 10.1016/j.jfranklin.2018.12.001
    [35] Y. Zhou, J. R. Wang, L. Zhang, Basic Theory of Fractional Differential Equation, Singapore: World Scientific Publishing, 2016.
    [36] R. Hilfer, Applications of Fractional Calculus in Physics, Singapore: World Scientific Publishing, 2000.
    [37] Y. Cao, J. Sun, Controllability of measure driven evolution systems with nonlocal conditions, Appl. Math. Comput., 299 (2017), 119–126. https://doi.org/10.1016/j.amc.2016.11.037 doi: 10.1016/j.amc.2016.11.037
    [38] K. Balachandran, J. P. Dauer, Elements of Control Theory, Narosa Publishing House, 1999.
    [39] K. S. Nisar, K. Jothimani, K. Kaliraj, C. Ravichandran, An analysis of controllability results for nonlinear Hilfer neutral fractional derivatives with non-dense domain, Chaos Soliton. Fract., 146 (2021), 110915. https://doi.org/10.1016/j.chaos.2021.110915 doi: 10.1016/j.chaos.2021.110915
    [40] Y. K. Ma, K. Kavitha, W. Albalawi, A. Shukla, K. S. Nisar, V. Vijayakumar, An analysis on the approximate controllability of Hilfer fractional neutral differential systems in Hilbert spaces, Alex. Eng. J., 61 (2022), 7291–7302. https://doi.org/10.1016/j.aej.2021.12.067 doi: 10.1016/j.aej.2021.12.067
    [41] V. Vijayakumar, R. Udhayakumar, A new exploration on existence of Sobolev-type Hilfer fractional neutral integro-differential equations with infinite delay, Numer. Meth. Part. Differ. Equ., 37 (2021), 750–766. https://doi.org/10.1002/num.22550 doi: 10.1002/num.22550
    [42] S. Zahoor, S. Naseem, Design and implementation of an efficient FIR digital filter, Cogent Eng., 4 (2017), 1323373. https://doi.org/10.1080/23311916.2017.1323373 doi: 10.1080/23311916.2017.1323373
  • This article has been cited by:

    1. Hamid Lmou, Khalid Hilal, Ahmed Kajouni, TOPOLOGICAL DEGREE METHOD FOR A $$\psi$$-HILFER FRACTIONAL DIFFERENTIAL EQUATION INVOLVING TWO DIFFERENT FRACTIONAL ORDERS, 2024, 280, 1072-3374, 212, 10.1007/s10958-023-06809-z
    2. Kanagaraj Muthuselvan, Baskar Sundaravadivoo, Kottakkaran Sooppy Nisar, Shankar Rao Munjam, Wedad Albalawi, Abdel-Haleem Abdel-Aty, Results on nonlocal controllability for impulsive fractional functional integro-differential equations via degree theory, 2023, 51, 22113797, 106698, 10.1016/j.rinp.2023.106698
    3. Kottakkaran Sooppy Nisar, Muhannad Ibrahim Al-Shartab, Fahad Sameer Alshammari, Existence analysis on multi-derivative nonlinear fractional neutral impulsive integro-differential equations, 2024, 11, 26668181, 100839, 10.1016/j.padiff.2024.100839
    4. Hamza Ben Brahim, Khalid Zguaid, Fatima-Zahrae El Alaoui, REGIONAL OBSERVABILITY FOR A SPECIFIC CLASS OF HILFER TIME-FRACTIONAL SYSTEMS WITH ORDER $$\alpha \in ]1, 2[$$ AND TYPE $$\beta \in [0,1]$$, 2025, 1072-3374, 10.1007/s10958-024-07518-x
    5. Dhanalakshmi Kasinathan, Dimplekumar Chalishajar, Ravikumar Kasinathan, Ramkumar Kasinathan, S. Karthikeyan, Trajectory controllability of higher-order fractional neutral stochastic system with non-instantaneous impulses via state-dependent delay with numerical simulation followed by hearth wall degradation process, 2025, 13, 2195-268X, 10.1007/s40435-025-01605-w
  • Reader Comments
  • © 2023 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(1281) PDF downloads(54) Cited by(5)

Figures and Tables

Figures(4)  /  Tables(1)

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog