1.
Introduction
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:
Where, HDw,g denotes HFD of order 0≤w≤1 and 0<g<1 and I1−η0+ is generalized fractional derivatives of order 1−η=(1−w)(1−g). 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.
2.
Fundamental materials and solution representation
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)‖=supt∈J∗{|ν(t)|,ν(t)∈C(J∗,Ξ)}.
Definition 2.1. [35] The Riemann-Liouville fractional integral (RLFI) of order w∈R+ (the set of positive real numbers) and the function ϕ(t) is defined as
Definition 2.2. [35] The RLFD of order n−1≤w<n, n∈N for the function ϕ:[w,+∞)→R is defined by
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 0≤w≤1 and 0<g<1, with lower limit ′0' is defined as
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 u∈L2(J∗,Ξ) such that the mild solution ν which satisfies ν(t)=νt−G(ν).
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):t>0} and {Sw,g(t):t>0} are strongly continuous.
Lemma 2.2. Let 0≤w≤1, 0<g<1 then the equation (1.1) can be equivalent in the form of
where, Sw,g=Iw(1−g)0+Ψg(t), Ψg(t)=tg−1Tg(t) and Tg(t)=∫∞0gσRg(σ)S(tgσ)dσ.
where, Rg(σ) is a function of Wright type which satisfies ∫∞0σδRg(σ)dσ=Γ(1+δ)Γ(1+gδ),σ≥0.
3.
Discussion on nonlocal controllability
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:
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) ∑ρε=1‖Iενn(t−ε)−Iεν(t−ε)‖≤∑ρε=1K∗ε‖νn−ν‖.
(ii)∑ρε=1‖Iεν(t−ε)‖≤∑ρε=1M∗ε.
(H2) A map G:Ξ→Ξ be a continuous function and it is satisfy the following condition
(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:
Equation (3.2) is invertible and it is denoted by B−1. Where, B−1 takes value from L2(J∗,Ξ)kerB then there exists a ϱ>0 such that ‖B−1‖≤ϱ. Here we define the control term u(t) for every t∈(tρ,T] as follows:
Here we used the following notation of above equation
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
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
Proceeding in similar way we define the function F for every t∈(tρ,T],
From the inequality (3.4) and (3.5) then we have
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
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
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.
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],
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,
Similarly, next prove the contraction mapping for every ∈(t1,t2] and we get the following inequality:
Proceeding similar way, we prove the contraction mapping for every t∈(tρ,tρ+1] and obtained the following inequality:
From the inequality (3.9), (3.10) and (3.11) we get contraction mapping for every t∈J∗
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
From Eq (3.13), we attained the nonlocal controllable result for IHFrNIDE (1.1) with respect to t on J∗. □
4.
Applications
Application 1. Consider the following impulsive Hilfer fractional neutral integro-differential (IHFrNIDE) system
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
Moreover, we have
Let the neutral term Θ:J∗×Ξ→Ξ and defined by Θ(t,ν(t))=∫50e−2tsin(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,
Consider the nonlocal term G:Ξ→Ξ and defined by G(ν(t))=3π43sin(ν(t)) and applying the hypothesis (H2) then obtained the following inequality
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),
The linear operator B:L2(J∗,Ξ)→Ξ and defined by Bu=∫50Ψ35(5−s)Pu(s)ds, and the inverse linear operator is takes from L2(J∗,Ξ)kerB and then there exists ϱ>0 such that ‖B−1‖≤ϱ 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).
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.
5.
Conclusions
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.
Acknowledgments
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.
Conflict of interest
The authors declare no conflict of interest.