Abstract
In this manuscript, a class of multi-term delay fractional differential equations (FDEs) under the Hilfer derivative is considered. Some newly updated results are established under boundary conditions. For the required results, we utilize the fixed point theory and tools of the nonlinear functional analysis. Further keeping in mind the importance of stability results, we develop some adequate results about the said aspect. The Hyers-Ulam (H-U)-type concept is used to derive the required stability for the solution of the considered problem. Finally, by appropriate test problems, we justify our findings.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The area of non-integer-order derivatives and integrals has emerged as important tools in the modeling of many biological phenomena and dynamical systems. The said type of operator is more reliable, and accurate, having a greater degree of freedom and non-locality in nature. Keeping the importance of such a type of differential operator in mind, the model formulated via the aforementioned operators has been investigated from different perspectives. In the previous few decades, the aforesaid area has become very popular, and large numbers of articles and books have been written in this area. Some interesting applications of fractional calculus have been used to study different phenomena and infectious diseases (see [6, 7]). Further, some qualitative results related to fractional differential equations (FDEs) have been derived in [21]. Researchers have studied various results for the existence of solutions to different problems of FDEs, we refer to some papers as [17, 23, 25, 29, 34]).
The analysis of the well-posedness of the model formulated via the fractional differential operator is another key part of the investigation of FDEs. In this regard, monotone iterative techniques [14,15,16,], the topological degree theory [22], the method of successive approximation [32], the fixed point index theory [24], and tools of the fixed point theory [28] have been utilized to obtain the conditions for the existence and uniqueness of the solution. For more information, see the recent article cited as [5, 8, 12].
It is evident that many real-world problems modeled via FDEs are nonlinear. Therefore, obtaining the exact solution to such equations is impossible or very difficult. In this respect, various approximate techniques have been established. A good numerical procedure stability is an important aspect. So in such cases, the stability analysis plays a significant role in the investigation. In this connection, many stability concepts such as the Lyapunov stability, exponential stability, the asymptotic stability, and the Mittag-Leffler stability have been discussed [9]. In addition to the above, an interesting type of stability known as the H-U has got considerable attention from researchers. The aforementioned stability had been initiated by Ulam [30]. Later on, it was modified to generalized H-U by Hyers [16]. The said stability has been further expanded to the H-U-Rassias (H-U-R) stability by Rassias [27]. Moreover, results related to such types of stability have been derived for ordinary differential equations as well as for FDEs (for more detail see [4, 9, 11, 20, 25]).
It is remarkable that the fractional differential operator is not a unique definition. The first definition given by Riemann-Liouville has been very well used. After that, Hadamard, Hilfer, and Caputo defined the said derivative in their own way. It is remarkable that concepts of long and short memory terms are explained well using fractional derivatives. Due to this importance, researchers have worked very well in the said area from different aspects. The reader should see details in [10]. Furati et al. [13] studied a class of Hilfer FDEs with the initial condition for the existence theory using the fixed point theory. The said problem is described by
Here, \({\mathbb {V}}_a\) and \(a<b\in {\mathbf{R}}\), \(t\in (a,b],\) and the function \(f_1{:\,}(a,b]\,\times {\bf{R}} \mapsto {\bf{R}}\) is weighted continuously. The positive real numbers \(\alpha ,\beta ,\gamma\) should be chosen as \(0<\alpha <1\), \(\beta \in [0,1]\), and \(\gamma =\alpha +\beta -\alpha \beta\). Furthermore, \(D_{a}^{\alpha ,\beta }\) and \(I_{a}^{1-\gamma }\) represent the Hilfer fractional derivative and the Riemann-Liouville fractional integral of order \(\alpha\), type \(\beta\) and \(1-\gamma\), respectively. Via the fixed point theory, the aforesaid problem has been investigated.
Wang and Zhang [33] have analyzed the FDEs with the initial condition on the variables as
Here, \(a,b,b_i\,(i=1,2, \cdots ,m\in N)\), \(t\in (a,b],\) and the domain of the unknown functions is (a, b], while the nonlinear function \(f_1{:}\,(a,b]\,\times (-\infty ,\infty ) \times \mapsto (-\infty ,\infty )\) falls in \(C_{1-\gamma }[a,b]\), which is the weighted space of the continuous function on the interval [a, b]. The aforementioned FDEs utilized Hilfer fractional derivatives of order \(0<\alpha <1\) and type \(\beta \in [0,1]\) symbolized as \(D_{a}^{\alpha ,\beta }\). The parameter \(\gamma =\alpha +\beta -\alpha \beta \in [\alpha ,1).\) Furthermore, the arbitrary constant should be fixed in such a way that \(\Gamma (\gamma )-\sum _{i+1}^{m}b_i(\sigma _i-a)^{\gamma -1}\ne 0\). In this regard, the authors gave some assumptions on the given function and then converted the FDE containing Hilfer derivative into an integral equation. Furthermore, they have also shown that the obtained integral equation is equivalent to the underlying FDE. The qualitative aspects have been investigated using the fixed point theory as a strong tool. Afterward, conditions for the existence of a solution have been developed with the help of three well-known fixed point theorems of Krasnoselskii, Schauder, and Schaefer. Further, the required theory has been developed in the weighted space \(C_{1-\gamma }^{\alpha ,\beta }.\)
In the same fashion, Kamocki and Obczynski [18] in 2016 have investigated some linear and nonlinear FDEs under the Hilfer derivative with homogenous and inhomogeneous initial conditions as
and
Here \(t\in [a,b]\), where \(a<b\in {\bf{R}},\) the function \(f_1{:}\,[a,b]\times {\bf{R}}^n\mapsto {\bf{R}}^n,\) \(A\in {\bf{R}}^{n\times n},\) and \(g(t)\in I_{a}^{\beta (1-\alpha )(L^1)}\). The arbitrary constants \(b_a\ne 0 \in {\bf{R}}^n\). Authors have analyzed the nonlinear problem (3) with the homogenous initial condition (4) and also with the inhomogeneous initial condition (5). Furthermore, the criteria for the uniqueness of the solution for the linear problem (6) have been obtained under the homogenous initial condition (7) and the inhomogeneous condition (8). Further, the required analysis has been developed with the help of the Banach contraction principle under the Bielecki norm in the space \(I_{a}^{\alpha }(L^1([a,b]), {\bf{R}}^n)\).
Subsequently, the qualitative aspect of boundary value problems (BVPs) formulated via the Hifer fractional derivative has been investigated recently. For instance, Abdo et al. [3] have used Schauder, Schaefer’s and Krasnoselskii’s, and Banach’s fixed point theorems for developing the qualitative theory. The concerned problem is given by
Here, \(g_i\,(i=1,2,3)\in {\bf{R}}\), \(t\in (a,b],\) and the nonlinear function \(f_1{:}\,(a,b]\,\times {\bf{R}} \mapsto {\bf{R}}\in\) \(C_{1-\gamma }[a,b]\), \(0<\alpha <1,\) and type \(\beta \in [0,1]\) represents as \(D_{a}^{\alpha ,\beta }\). The parameter \(\gamma _1=\alpha +\beta -\alpha \beta \in [\alpha ,1).\)
Motivated by the established work discussed above, in this manuscript, we present some novel results for multi-term Hilfer FDEs under some general boundary conditions based on fractional integral operators and nonlocal points. To the best of our knowledge, no contribution to the formulation of a coupled system of FDEs with multi-term fractional differential operators exists. As a result, the first innovative component of our study is the construction of FDE with multi-term fractional differential operators. The second unique element of the newly formulated model is the investigation of H-U-type stabilities. Furthermore, the auxiliary conditions imposed on the considered model are in the form of a fractional integral. Also, a proportional type delay term in the newly constructed coupled system of n-fractional differentiation operators is also involved. Our considered problem is given as
In the considered problem (10), arbitrary constants \(a_1, a_2,a_3,a_4,\sigma _i,\eta _j,\kappa _l \in {\bf{R}},\, \tau _j,\zeta _l\in (1,\tau ]\) for \(i=1,2,\cdots ,n,\, j=1,2,\cdots ,m_1,\,\) and \(l=1,2,\cdots ,m_2,\,\) together with \(q_1,p_l \,(l=1,2,\cdots ,m_2)\) are taken from the set of positive real numbers and \(\sigma _1\ne 0\). Arbitrary constants should be chosen as
where \(\gamma _1=\alpha _1+\beta _1-\alpha _1\beta _1\geqslant 1-q_1\), \(\psi _i=2\beta _1+\alpha _i-1-\beta _1(\alpha _1+\alpha _i)>0,\) and \(\phi _i=\alpha _1+2\beta _1-\beta _1(\alpha _1+\alpha _i)-1>0\). In addition, \(D_{a}^{\alpha _i,\beta _1}\) represent Hilfer fractional derivatives of order \(0<\alpha _i<1\), and type \(0\leqslant \beta _1\leqslant 1 \,(i=1,2, \cdots,n).\) Furthermore, the nonlinear function \(f_1{:}\,(a,\tau ]\times {\mathbf{R}} \times {\mathbf{R}} \mapsto {\bf{R}}\) is weighted continuously. Via fixed point approach the required results will be investigated. For this purpose, some growth conditions are imposed on nonlinear functions known as data dependence results. Also using the powerful tools of the nonlinear functional analysis, sufficient results are established for different kinds of H-U stabilities. A different form of stabilities is generalized H-U (g-H-U), H-U-Rassia (H-U-R), and generalized (g-H-U-R).
2 Preliminaries
We have gathered some fundamental facts, definitions, and lemmas which will be utilized for the investigation of the main work. So in this connection, we need the following spaces. The weighted space of the continuous functions on the finite interval \([a, \tau ]\) is denoted by \(C_{\gamma }[a,\tau ]\) and \(0 \leqslant \gamma <1\), precisely the space is given as
The aforementioned space is Banach space with norm defined as
Meanwhile, \(C_{\gamma }^n[a,\tau ]=\{{{\mathcal {V}}_1}{:}\, C^{n-1}C[a,\tau ]{:} \,{{\mathcal {V}}_1}^{(n)}\in C_{\gamma }[a,\tau ]\}\) is the Banach space with norm defined as \(||{{\mathcal {V}}_1}||_{C_{\gamma }^n}=\sum _{k=0}^{n-1}|| {\mathcal {V}}_1^{(k)}||_C+||{\mathcal {V}}_1^{(n)}||_{C_{\gamma }}, n\in N.\) Moreover, \(C_{\gamma }^0[a,\tau ]=C_{\gamma }[a,\tau ]\). Also
and
It is obvious that
Definition 1
[23] For a function \({\mathbb {V}}(t)\), the Riemann-Liouville fractional integral of order \(\alpha\) is defined as
Definition 2
[23] The fractional Riemman-Liouivlle derivative for a function \({\mathbb {V}}(t)\) on the interval \([a,\tau ]\) of order \(\alpha \in (n-1,n)\) is defined as
where \(n=[\alpha ]+1\) and \([\alpha ]\) denotes the integer part of the real number \(\alpha\).
Definition 3
[25] The fractional-order Caputo derivative for a function \({\mathbb {V}}(t)\) of order \(\alpha \in (n-1,n)\) is defined as
where \(n=[\alpha ]+1\) and \([\alpha ]\) denotes the integer part of the real number \(\alpha\).
Definition 4
[1] Let \(\alpha \in (0,1),\, \beta \in [0,1],\) \({\mathcal {V}}_1\in L^1(I),\) and \(I_{0}^{(1-\alpha )(1-\beta )}{\mathcal {V}}_1\in AC^1(I)\). The Hilfer fractional derivative of the function \({\mathcal {V}}_1\) of order \(\alpha\) and type \(\beta\) is defined as
Remark 1
[1] Let \(\alpha \in (0,1),\, \beta \in [0,1],\, \gamma =\alpha +\beta -\alpha \beta ,\) and \({{\mathcal {V}}_1}\in L^1(I).\)
-
(i)
The operator \(D_{0}^{\alpha ,\beta }\) can be written as
$$\begin{aligned} \big (D_{0}^{\alpha ,\beta }{{\mathcal {V}}_1\big )(t)}= & {} \big (I_{0}^{\beta (1-\alpha )}D\big (I_{0^+}^{(1-\beta )(1-\alpha )}{\mathcal {V}}_1\big )\big )(t)\\= & {} \big (I_{0}^{\beta (1-\alpha )}D_{0}^{\gamma }{\mathcal {V}}_1\big )(t)\,\, {\text{ for a.e.}} \, t \in I. \end{aligned}$$Moreover, the parameter \(\gamma\) satisfies
$$\begin{aligned}\gamma \in (0,1], \gamma \geqslant \alpha , \, \gamma >\beta ,\, 1-\gamma <1-\beta (1-\alpha ). \end{aligned}$$ -
(ii)
The special case of (13) with \(\beta =0\), coincides with the Riemann-Liouville derivative, and with \(\beta = 1\), it coincides with the Caputo derivative. In addition
$$\begin{aligned} D_{0}^{\alpha ,0}=D_{0}^{\alpha },\,\,D_{0}^{\alpha ,1}=\,^{\text{c}}D_{0}^{\alpha },\end{aligned}$$ -
(iii)
If \(D_0^{\gamma }{\mathcal {V}}_1\) exist and belong to \(L^1(I)\), then
$$\begin{aligned} I_{0}^{\alpha }D_{0}^{\alpha ,\beta }{\mathcal {V}}_1= & \,\, I_{0}^{\gamma }D_{0}^{\gamma }{\mathcal {V}}_1\\ = & \,\, {\mathcal {V}}_1(t)-\frac{I_0^{1-\gamma }{\mathcal {V}}_1(0^+)}{\Gamma (\gamma )}t^{\gamma -1}\,\, \text {for a.e} \,\,t\in I. \end{aligned}$$
Lemma 1
[19] Let \(\alpha >0\), \(0\leqslant \gamma <1\), and \({{\mathcal {V}}_1}_{n-\alpha }(t)=(I_{a^+}^{n-\alpha }{{\mathcal {V}}_1)(t)}.\) If \({\mathbb {V}}_1(t)\in C_{\gamma [a,b]}\) and \({{\mathcal {V}}_1}_{n-\alpha }(t)\in C_{\gamma }^n[a,\tau ]\), then
where \({{\mathcal {V}}_1}_{n-\alpha }^{n-j}(a^+)=\lim _{t\mapsto a^+}{{\mathcal {V}}_1}_{n-\alpha }^{n-j}(t)\).
Lemma 2
[33] If \(\alpha ,\beta \in {\bf{R}}^+\), then
and
Lemma 3
[31] Let \(0<\alpha <1\), \(0\leqslant \gamma <1\). If \(f\in C_{\gamma }[J, {\bf{R}}]\) and \((I_{0^+}^{1-\alpha }f)(0)\in C_{\gamma }^1[J, {\bf{R}}]\), then
Lemma 4
[33] Let \(0\leqslant \gamma <1\) and \(f\in C_{\gamma }[J, {\bf{R}}]\). Then
Theorem 1
[15] The Riemann-Liouville fractional integral \(I^{\alpha }, \, \alpha \geqslant 0\), is a linear map of the space \(C_{\gamma }, \gamma \geqslant -1\), into itself, that is \(I^{\alpha }{:}\, C_{\gamma }\mapsto C_{\alpha +\gamma }\subset C_{\gamma }.\)
Theorem 2
[2] Let C be a nonempty convex subset of the Banach space X, U be a nonempty open subset of C with \(0\in U,\) and \({\mathcal {F}}\!:\overline{U}\mapsto C\) be a continuous and compact operator. Then, one of the given holds as
-
(i)
\({\mathcal {F}}\) has fixed points, or
-
(ii)
there exist \(x\in \partial U\) and \(\lambda _*\in (0,1)\) with \(x=\lambda _*{\mathcal {F}}(x).\)
3 Main Result
This section is devoted to the exhibition of our main results associated with our newly formulated system.
Theorem 3
Let \(f_1{:}\,(a,\tau ] \times {\mathbf{R}} \times {\mathbf{R}} \mapsto {\mathbf{R}}\) be a function such that \(f(t,{\mathbb {V}}_1(t),{\mathbb {V}}_1(\lambda t))\in C_{1-\gamma _1} [a,\tau ] \) for any \({\mathbb {V}}_1\in C_{1-\gamma _1} [a,\tau ] \). A function \({\mathbb {V}}_1\in C_{1-\gamma _1}^{\gamma _1} [a,\tau ]\) is a solution of the following MFDDE:
if and only if \({\mathbb {V}}_1\) satisfies the following integral equation:
where \(d_1=a_1\mathfrak {A}(q_1)-a_3\sum _{j=1}^{m_1}\eta _j(\tau _j-a)^ {\gamma _1-1}-\sum _{l=1}^{m_2}\frac{a_4\Gamma (\gamma _1)}{\Gamma (\gamma _1+p_l)}\kappa _l(\zeta _l-a)^{\gamma _1+p_l-1}\ne 0\), \(\gamma _1=\alpha _1+\beta _1-\alpha _1\beta _1\), \(\psi _i=2\beta _1+\alpha _i-1-\beta _1(\alpha _1+\alpha _i),\) and \(\phi _i=\alpha _1+2\beta _1-\beta _1(\alpha _1+\alpha _i)-1\),
Proof
Applying the fractional-order integral \({I_{a}^{\alpha _1}}\) in (16), we get
In view of Lemma 1, we have
Now, computing the fractional integral of order p at \(t=a\) of (20) and using (18), we obtain the following equation:
One can obtain the following equation using (20):
Using (21), (22), and the subsidiary condition involved in (10), we obtain the expression given as
By rearranging, one has
For simplicity, we use notation as
one can obtain the desired solution (17) using (24) and (20).
Conversely, assuming the solution of (17) is \({\mathbb {V}}_1\), we have to prove that \({\mathbb {V}}_1\) also satisfies the FDE (16). To achieve the desired result, one can obtain the following relations with the help of the given integral equation (17):
Hence from (25), we get
Now, we have to prove \({\mathbb {V}}_1(t)\) defined by (17) also satisfies MFDDE (16). For this, by applying the fractional derivative \(D_{a}^{\alpha _1+\beta _1-\alpha _1\beta _1}\) to both sides of (17), we obtain
Now by applying the fractional-order integral \(I_{a}^{\beta _1-\alpha _1\beta _1}\) to (28), we get
where \((I_0^{1-\beta _1+\alpha _1\beta _1}f_1)(0)=0\) is implied by Lemma 4. Hence, we get
Hence the proof is completed.
3.1 Assumptions and Existence Results
In this subsection of the research work, we represent the desired solution for MFDDEs (10), in the form of an operator equation and provide some assumptions for the investigation of existence results for the proposed problem (10). Let us define an operator \({\mathbb {F}}_1{:}\,C_{1-\gamma _1}[a,\tau ]\mapsto C_{1-\gamma _1}[a,\tau ]\) given by
These assumptions hold.
- \((\text{H}_1)\):
-
Let \(f_1{:}\,(a,\tau ] \times {\bf{R}} \times {\bf{R}} \mapsto {\bf{R}}\) be a function such that \(f_1\in C_{1-\gamma _1}^{\beta _1-\beta _1\alpha _1}\) for any \({\mathbb {V}}_1,{\mathbb {V}}_1^*\in C_{1-\gamma _1}[a,\tau ]\).
- \((\text{H}_2)\):
-
For any \({\mathbb {V}}_1,{\mathbb {V}}_1^* \in C_{1-\gamma _1}[a,\tau ]\), there exist \({\mathbb {L}}_{f_1}, {\mathbb {L}}_{f_1^{\lambda }}\geqslant 0\), such that
$$\begin{aligned} & |f_1(t,{\mathbb {V}}_1(t),{\mathbb {V}}_1(\lambda _1 t))-f_1(t,{\mathbb {V}}_1^*(t), {\mathbb {V}}_1^* (\lambda _1 t))|\\ \leqslant \, & {\mathbb {L}}_{f_1}|{\mathbb {V}}_1-{\mathbb {V}}_1^*|+{\mathbb {L}}_{f_1^{\lambda }}|{\mathbb {V}}_1(\lambda t)-{\mathbb {V}}_1^*(\lambda _1 t)|. \end{aligned}$$ - \((\text{H}_3)\):
-
For any \({\mathbb {V}}_1\in C_{1-\gamma _1}[a,\tau ]\), there exist \({\mathbb {H}}_{f_1^a},{\mathbb {H}}_{f_1^b},{\mathbb {H}}_{f_1^c}>0\), such that
$$\begin{aligned}&|f_1(t,{\mathbb {V}}_1(t),{\mathbb {V}}_1(\lambda _1 t)),{\mathbb {V}}_2(t)|\leqslant {\mathbb {H}}_{f_1^a}(t)+{\mathbb {H}}_{f_1^b}(t)|{\mathbb {V}}_1(t)|+{\mathbb {H}}_{f_1^c}(t)|{\mathbb {V}}_2(\lambda t)|. \end{aligned}$$ - \((\text{H}_4)\):
-
For any non-decreasing positive function \(\chi \in C_{1-\gamma _1}[a,\tau ],\) there exist positive constants \({\mathbb {M}}_{\alpha _1},{\mathbb {M}}_{\tau _j},{\mathbb {M}}_{\zeta _l}\) for \(j=1,2,\cdots ,m_1\) and \(l=1,2,\cdots ,m_2,\) such that
$$\begin{aligned}I_{a}^{\alpha _1} \chi (t)\leqslant {\mathbb {M}}_{\alpha _1}\chi (t),\ I_{a}^{\alpha _1} \chi (\tau _j)\leqslant {\mathbb {M}}_{\tau _j}\chi (t),\ I_{a}^{\alpha _1+p_l} \chi (\zeta _l)\leqslant {\mathbb {M}}_{\zeta _l}\chi (t),\quad \forall t\in \, [a,\tau ]. \end{aligned}$$
Remark 2
For computational convenience, we introduce the following notations:
Also, for the set of parameters used in the newly formulated model (10), we assume \({\mathbb {C}}_1,{\mathbb {C}}_2\in {\mathbf{R}}^+,\) such that
and
Theorem 4
Assume that \((\text{H}_1)\) and \((\text{H}_2)\) are satisfied with \({\mathbb {L}}<1,\) where \({\mathbb {L}}\) is defined by (32). Then, the system (10) of BVPs has a unique solution.
Proof
Let \({\mathbb {V}}_1(t),{\mathbb {V}}_1^*(t)\in C_{1-\gamma _1}[a,\tau ]\). We have
Now by making use of \((\text{H}_2)\) in (35), we get
By further simplification (36), we obtain
or
Hence by the Banach contraction principle, we conclude that (10) has a unique solution.
Theorem 5
Consider \((\text{H}_1) \, \text{and} \, (\text{H}_2) \) hold, then the MFDDE (10) has at least one solution in \(C_{1-\gamma _1}^{\gamma _1}\subset C_{1-\gamma _1}^{\alpha _1,\beta _1}\).
Proof
Consider \({\mathbb {H}}=\{{\mathbb {V}}_1\in C_{1-\gamma _1}[a,\tau ]{:}\, ||({\mathbb {V}}_1||_{C_{1-\gamma _1}}\leqslant {\mathbb {R}}\},\) with positive radius \({\mathbb {R}}>\frac{{\mathbb {C}}_1}{1-{\mathbb {C}}_2}\), where \({\mathbb {C}}_1 {\text {and}} {\mathbb {C}}_2\) are defined by (33) and (34), respectively.
Step 1 We prove that \({\mathbb {F}}\big ({\mathbb {V}}_1(t)\big )\in {\mathbb {H}}\subset C_{1-\gamma _1}[a,\tau ]\) for every \({\mathbb {V}}_1(t)\in {\mathbb {H}}\), for obtaining the desired result, consider
Thanks to \((\text{H}_3)\) in the inequality (37), one has
After simplification, (38) can be written as
or
Hence, from (40), one can infer that \({\mathbb {F}}_1\big ({\mathbb {V}}_1(t)\big )\in H\), for each \({\mathbb {V}}_1(t)\in {\mathbb {H}}\subset {C_{1-\gamma _1}}\).
Step 2 Now we claim that \({\mathbb {F}}_1\) is continuous, let \({\mathbb {V}}_{1_n}\in {\mathbb {H}}\) be a sequence which converges to \({\mathbb {V}}_1\). That is to derive that \(<{\mathbb {F}}{\mathbb {V}}_{1_n}>\rightarrow <{\mathbb {F}}{\mathbb {V}}_1>\), as \(n \mapsto \infty\). So, consider
Evaluation of (41) yields
Hence, from (42), we infer that \({\mathbb {F}}_1\) is continuous.
Step 3 Need to show that \({\mathbb {F}}_1\) assigns bounded sets into equi-continuous sets, let \(t_1,t_2\in [a,\tau ]\), \(t_1< t_2,\) and \({\mathbb {V}}_1\in {\mathbb {H}}\subset C_{1-\gamma _1}[a,\tau ]\) as
One can obtain the following expression using \((\text{H}_3)\) and evaluating integral involved in (43):
Clearly as \(t_1 \mapsto t_2,\) we have \(|(t_2-a)^{1-\gamma _1}{\mathbb {F}}_ 1{\mathbb {V}}_1(t_2)-(t_1-a)^{1-\gamma _1}{\mathbb {F}}_1{\mathbb {V}}_1(t_1),{\mathbb {V}}_2(t_1)|\mapsto 0\).
Therefore, in view of aforesaid steps and the Arzelá-Ascoli Theorem, the operator \({\mathbb {F}}_1{:} \,C_{1-\gamma _1}[a,\tau ]\mapsto _{1-\gamma _1}[a,\tau ]\) is completely continuous.
Step 4 We prove that there exists an open set \({\mathbb {W}}\subseteq C_{1-\gamma _1}[a,\tau ],\) such that \({\mathbb {V}}_1 \ne \lambda _*{\mathbb {F}}({\mathbb {V}}_1(t))\) for \(\lambda _* \in (0,1)\) and \({\mathbb {V}}_1\in \partial U\). We assume \({\mathbb {V}}_1\in C_{1-\gamma _1}[a,\tau ]\) such that \({\mathbb {V}}_1=\lambda _*{\mathcal {F}}({\mathbb {V}}_1(t))\) where \(\lambda _*\in (0,1)\). So for \(t\in [a,\tau ],\) one can infer
Using (33) and (34) in (44), we get the inequality, given as
or
Let \({\mathbb {W}}=\{\,{\mathbb {V}}_1\in C_{1-\gamma _1}[a,\tau ]{:}\, {\mathbb {M}}+1\geqslant ||{\mathbb {V}}_1||_{C_{1-\gamma _1}}\}\), by selecting \({\mathbb {W}}\), one can not find \({\mathbb {V}}_1\,\in \partial \, {\mathbb {W}}\) for which, \({\mathbb {V}}_1=\lambda _*{\mathbb {F}}_1{\mathbb {V}}_1(t),\) for \(\lambda _*\in (0,1)\). So due to the Schauder nonlinear alternative, the considered problem (10) has at least one solution in \(\overline{{\mathbb {W}}}\).
4 H-U Stability Results
This part is enriched by deriving the stability results for the proposed problem (10).
Definition 5
Let \({\mathbb {V}}_1^*(t)\) be a solution of (10) and one can find a constant positive real number \({\mathcal {B}}\), at every \(\epsilon >0\) and any solution \({\mathbb {V}}_1(t) \in C_{1-\gamma _1}[a,\tau ]\) of the underlying inequality,
such that, \(||{\mathbb {V}}_1-{\mathbb {V}}_1^*||_{C_{1-\gamma _1}}\leqslant {\mathcal {B}}_1 \epsilon\), one can infer that (10) has the H-U stable solution. Moreover, the solution of (10) is g-H-U stable, if there exists a positive function \({\mathcal {K}}{:}\,(0,\infty )\mapsto (0,\infty )\) with \({\mathcal {K}}(0)=0,\) such that \(||{\mathbb {V}}_1-{\mathbb {V}}_1^*||_{C_{1-\gamma _1}}\leqslant {\mathcal {B}}_1 {\mathcal {K}}(\epsilon ).\)
Definition 6
The problem (10) has an H-U-R stable solution, w.r.t. function \(\chi \in C_{1-\gamma _1}[a,\tau ]\) if we have \({\mathcal {B}}_2> 0\) and \(\epsilon > 0\) for each solution \({\mathbb {V}}_1(t) \in C_{1-\gamma _1}[a,\tau ]\) of the underlying differential inequality
and a unique solution \({\mathbb {V}}_1 \in C_{1-\gamma _1}[a,\tau ]\) of the given problem (10) such that \(||{\mathbb {V}}_1-{\mathbb {V}}_1^*||_{C_{1-\gamma _1}}\leqslant {\mathcal {B}}_2\chi (t)\epsilon .\)
Definition 7
The problem (10) has a g-H-U-R stable solution, w.r.t. function \(\chi \in C_{1-\gamma _1}[a,\tau ]\) if we have \({\mathcal {B}}_2> 0\) and \(\epsilon > 0\) for each solution \({\mathbb {V}}_1(t) \in C_{1-\gamma _1}[a,\tau ]\) of the underlying differential inequality,
and a unique solution \({\mathbb {V}}_1 \in C_{1-\gamma _1}[a,\tau ]\) of the given problem (10), such that \(||{\mathbb {V}}_1-{\mathbb {V}}_1^*||_{C_{1-\gamma _1}}\leqslant {\mathcal {B}}_2\chi (t)\epsilon .\)
Remark 3
The solution of the inequality (45) is \({\mathbb {V}}_1\), if and only if there exists a function \(\xi \in C[a,\tau ]\), which depends on \(\mathbb {V_1}\) such that
- (i):
-
\(\epsilon \geqslant \xi (t), \,\ t\in J;\)
- (ii):
-
\(\sigma _1D_{a}^{\alpha _1,\beta _1}{\mathbb {V}}_1(t)+\sum _{i=2}^{n}\sigma _iI_{a}^ {\psi _i}D_{a}^{\alpha _i,1-\beta _1}{\mathbb {V}}_1(t)-f_1(t,{\mathbb {V}}_1(t),{\mathbb {V}}_1(\lambda _1 t))-\xi (t)=0.\)
Remark 4
Let \({\mathbb {V}}_1\in C_{1-\gamma -1}[a,\tau ]\) be the solution of (46), if and only if there exists a function \(\xi \in C[a,\tau ]\), which depends on \({\mathbb {V}}_1\), such that
- (i):
-
\(\xi (t) \leqslant \chi (t)\epsilon , \, t\in J,\)
- (ii):
-
\(\sigma _1D_{a}^{\alpha _1,\beta _1}{\mathbb {V}}_1(t)+\sum _{i=2}^ {n}\sigma _iI_{a}^{\psi _i}D_{a}^{\alpha _i,1-\beta _1}{\mathbb {V}}_1(t)-f_1(t, {\mathbb {V}}_1(t),{\mathbb {V}}_1(\lambda _1 t))-\xi (t)=0.\)
Remark 5
Let \({\mathbb {V}}_1\in C_{1-\gamma -1}[a,\tau ]\) be the solution of (46). Then there exists a function \(\xi \in C[a,\tau ]\), which depends on \({\mathbb {V}}_1\), such that
- (i):
-
\(\xi (t) \leqslant \chi (t), \, t\in J\),
- (ii):
-
\(\sigma _1D_{a}^{\alpha _1,\beta _1}{\mathbb {V}}_1(t) +\sum _{i=2}^{n}\sigma _iI_{a}^{\psi _i}D_{a}^{\alpha _i,1-\beta _1} {\mathbb {V}}_1(t)-f_1(t,{\mathbb {V}}_1(t),{\mathbb {V}}_1(\lambda _1 t))-\xi (t)=0.\)
Lemma 5
Consider \({\mathbb {V}}_1(t) \in C_{1-\gamma _1}[a,\tau ]\) is the solution of FDDE
Then, \({\mathbb {V}}_1\) satisfies the following relation:
where
Proof
Suppose the solution of (10) is \({\mathbb {V}}_1 \in C_{1-\gamma _1}[a,\tau ]\), then
Using Remark 3 in (48), we get
By integrating (49), we have
Using (48) in (50), we obtain the desired result,
Theorem 6
The problem under consideration (10) has H-U and g-H-U stable solutions if the assumptions \((\text {H}_1)\) and \((\text {H}_2)\) hold together with \({\mathbb {L}}<1\), where \({\mathbb {L}}\) is defined by (32).
Proof
Suppose \({\mathbb {V}}_1 \in C_{1-\gamma _1}[a,\tau ]\) is any solution and \({\mathbb {V}}_1^*\) is a unique solution of (10), then
In light of Theorem 4 and Lemma 5, we obtain
Let \({\mathcal {B}}_1=\frac{{\mathbb {G}}^*}{1-{\mathbb {L}}}\). Then the problem (10) has an H-U stable solution. In addition, set \({\mathcal {K}}(\epsilon )=\epsilon ,\) then the problem (10) has a g-H-U stable solution.
Lemma 6
Consider \({\mathbb {V}}_1 \in C_{1-\gamma _1}[a,\tau ]\) is the solution of FDDE and assumption (\(H_4\)) holds, then one has
which satisfies the following relation:
where
Proof
Suppose \({\mathbb {V}}_1 \in C_{1-\gamma _1}[a,\tau ]\) is the solution of (51), then
Using Remark 4 in (53), we get
By using (\((\text{H}_4) \)) in (54), we obtain the relation (52), given as
Theorem 7
The problem under consideration (10) has H-U-R and g-H-U-R stable solutions if the assumptions \((\text{H}_1) \), \((\text{H}_2) \), and \((\text{H}_4) \) hold together with \({\mathbb {L}}<1\), where \({\mathbb {L}}\) is defined in (32).
Proof
Suppose \({\mathbb {V}}_1 \in C_{1-\gamma _1}[a,\tau ]\) is any solution and \({\mathbb {V}}_1^*\) is a unique solution of (10), then
In light of Theorem 4 as well as Lemma 6, we obtain
Let \({\mathcal {B}}_2=\frac{1}{1-{\mathbb {L}}}{\mathbb {G}}_2\). Then the problem (10) has an H-U-R stable solution. In addition, set \(\epsilon =1,\) then the problem (10) has a g-H-U-R stable solution.
5 Example
We use an example in this section to demonstrate the utility of our aforesaid findings.
Example 1
Consider the following coupled system of MFDDEs:
Here
\(n=84\) | \(\sigma _i=\frac{68}{i^4}\) | \(\alpha _i=\frac{i}{i^3+4}\) | \(a=0\) | \(\tau =1\) | \(a_1=13\) | \(a_2=5\) | \(a_3=15\) |
---|---|---|---|---|---|---|---|
\(a_4=12\) | \(\lambda _1=\frac{1}{4}\) | \(m_1=31\) | \(m_2=42\) | \(q_1=\frac{3}{2}\) | \(p_l=\frac{1}{l+1}\) | \(\tau _j=\frac{1}{j+1}\) | \(\zeta _l=\frac{1}{3l^2}\) |
\(\eta _j=3j+10\) | \(\kappa _l=4l\) |
and
Now the reader can easily obtain from (56) that \({\mathbb {L}}_{f_1}=\frac{1}{55},\,\, {\mathbb {L}}_{f_1^\lambda }=\frac{1}{67},\,\) consequently \({\mathbb {L}}=0.100\,8 <1\). So by Theorem 4, the problem (55) has a unique solution. Set \(\chi _1(t)=5t^2+1\), for every \(t\in [0,1]\), we can easily find
\({\mathbb {M}}_{\alpha _1}=7.260\,8\) | \({\mathbb {M}}_{\tau _1}=4.106\) | \({\mathbb {M}}_{\tau _2}= 2.817\,1\) | \({\mathbb {M}}_{\tau _3}= 2.201\,1\) | \({\mathbb {M}}_{\tau _4}= 1.841\,9\) | \({\mathbb {M}}_{\tau _5}= 1.606\,8\) |
---|---|---|---|---|---|
\({\mathbb {M}}_{\tau _6}= 1.440\,9\) | \({\mathbb {M}}_{\tau _7}= 1.317\,3\) | \({\mathbb {M}}_{\tau _8}= 1.221\,7\) | \({\mathbb {M}}_{\tau _9}= 1.145\,3\) | \({\mathbb {M}}_{\tau _{10}}= 1.082\,8\) | \({\mathbb {M}}_{\tau _{11}}= 1.030\,7\) |
\({\mathbb {M}}_{\tau _{j}}= 1\, {\text{for}}\, j=12,13,\cdots, 31\) | \({\mathbb {M}}_{\zeta _1}= 2.275\) | \({\mathbb {M}}_{\zeta _2}= 1.717\,3\) | \({\mathbb {M}}_{\zeta _3}= 1.439\,6\) | \({\mathbb {M}}_{\zeta _4}= 1.268\,7\) | |
\({\mathbb {M}}_{\zeta _5}= 1.151\,3\) | \({\mathbb {M}}_{\zeta _6}= 1.065\,0\) | \({\mathbb {M}}_{\zeta _l}= 1\, {\text{for}} \, l=11,12, \cdots,42\) |
such that,
for \(j=1,2,\cdots ,m_1\) and \(l=1,2,\cdots ,m_2\).
As the condition, \((\text{H}_5) \) is satisfied. So by Theorem 7, the solution of MFDDE (55) is the H-U-R and g-H-U-R stable solution. In a similar way, we can see that the MFDDE (55) is H-U and g-H-U stable using Theorem 6.
6 Conclusion
In this work, we have investigated a generalized system of multi-term Hilfer-type FDEs involving proportional type delay under boundary conditions. The concerned system has significant applications in modeling real-world problems in various fields of dynamics, mechanics, etc. By employing the tool of the fixed point theory some adequate conditions have been established for the existence and uniqueness of the solution. Further, via the nonlinear functional analysis, some interesting results about the H-U stability and its different kinds have been developed. The whole findings of the manuscript have been testified by proper test examples.
Data Availability
This is not applicable in our article.
References
Abbas, S., Benchohra, M., Graef, J.R.: Coupled systems of Hilfer fractional differential inclusions in Banach spaces. Commun. Pure Appl. Anal. 17(6), 2479 (2018)
Abbas, S., Benchohra, M., Graef, J.R., Henderson, J.: Implicit Fractional Differential and Integral Equations: Existence and Stability. Walter de Gruyter GmbH, Berlin, Boston (2018)
Abdo, M.S., Panchal, S.K., Bhairat, S.P.: Existence of solution for Hilfer fractional differential equations with boundary value conditions. arXiv:1909.13680 (2019)
Ahmad, D., Ali, A., Mahariq, I., Ur Rahman, G., Shah, K.: Investigation of nonlinear fractional delay differential equation via singular fractional operator. Int. J. Nonlinear Sci. Numer. Simul. 24(2), 645–660 (2023)
Ahmad, I., Shah, K., Our Rahman, G., Baleanu, D.: Stability analysis for a nonlinear coupled system of fractional hybrid delay differential equations. Math. Methods Appl. Sci. 43(15), 8669–8682 (2020)
Ali, A., Khan, M.Y., Sinan, M., Allehiany, F., Mahmoud, E.E., Abdel-Aty, A.-H., Ali, G.: Theoretical and numerical analysis of novel Covid-19 via fractional order mathematical model. Results Phys. 20, 103676 (2021)
Ali, A., Shah, K., Khan, R.A.: Numerical treatment for traveling wave solutions of fractional Whitham-Broer-Kaup equations. Alex. Eng. J. 57(3), 1991–1998 (2018)
Ali, G., Shah, K., Abdeljawad, T., Khan, H., Ur Rahman, G., Khan, A.: On existence and stability results to a class of boundary value problems under Mittag-Leffler power law. Adv. Differ. Equ. 2020(1), 1–13 (2020)
Ali, G., Shah, K., Rahman, G.U.: Existence of solution to a class of fractional delay differential equation under multi-points boundary conditions. Arab. J. Basic Appl. Sci. 27(1), 471–479 (2020)
Anastassiou, G.A.: Unification of Fractional Calculi with Applications. Springer, New York (2022)
Aslam, M., Gómez-Aguilar, J.F., Ur Rahman, G., Murtaza, R.: Existence, uniqueness, and Hyers-Ulam stability of solutions to nonlinear p-Laplacian singular delay fractional boundary value problems. Math. Methods Appl. Sci. (2021)
Faizullah, F., Bux, M., Rana, M., Our Rahman, G.: Existence and stability of solutions to non-linear neutral stochastic functional differential equations in the framework of G-Brownian motion. Adv. Differ. Equ. 2017(1), 1–14 (2017)
Furati, K.M., Kassim, M.D., Tatar, E.: Existence and uniqueness for a problem involving Hilfer fractional derivative. Comput. Math. Appl. 64(6), 1616–1626 (2012)
Haq, F., Akram, M., Shah, K., Rahman, G.: Study of new monotone iterative technique for a class of arbitrary order differential equations. Comput. Methods Differ. Equ. 8(4), 639–647 (2020)
Hilfer, R., Luchko, Y., Tomovski, Z.: Operational method for the solution of fractional differential equations with generalized Riemann-Liouville fractional derivatives. Fract. Calc. Appl. Anal. 12(3), 299–318 (2009)
Hyers, D.H.: On the stability of the linear functional equation. Proc. Natl. Acad. Sci. U.S.A. 27(4), 222 (1941)
Jarad, F., Abdeljawad, T., Alzabut, J.: Generalized fractional derivatives generated by a class of local proportional derivatives. Eur. Phys. J. Spec. Top. 226, 3457–3471 (2017)
Kamocki, R., Obczynski, C.: On fractional Cauchy-type problems containing Hilfer’s derivative. Electron. J. Qual. Theory Differ. Equ. 2016(50), 1–12 (2016)
Karakoç, F.: Existence and uniqueness for fractional order functional differential equations with Hilfer derivative. Differ. Equ. Appl, 12, 323–336 (2020)
Khan, F.M., Khan, Z.U., Lyu, Y.-P., Yusuf, A., Din, A.: Investigating of fractional order dengue epidemic model with ABC operator. Results Phys. 24, 104075 (2021)
Khan, H., Ahmed, S., Alzabut, J., Azar, A.T.: A generalized coupled system of fractional differential equations with application to finite time sliding mode control for Leukemia therapy. Chaos Solit. Fract. 174, 113901 (2023)
Khan, H., Alzabut, J., Gulzar, H., Tunç, O., Pinelas, S.: On system of variable order nonlinear p-Laplacian fractional differential equations with biological application. Mathematics 11(8), 1913 (2023)
Kilbas, A., Srivastava, H.M., Trujillo, J.: Theory and Applications of Fractional Differential Equations (Volume 204) (North-Holland Mathematics Studies, Volume 204), 1st Edition. Elsevier, Amsterdam (2006)
Liu, X., Liu, L., Wu, Y.: Existence of positive solutions for a singular nonlinear fractional differential equation with integral boundary conditions involving fractional derivatives. Bound. Value Probl. 2018(1), 1–21 (2018)
Podlubny, I.: Fractional Differential Equations: an Introduction to Fractional Derivatives, Fractional Differential Equations, to Methods of Their Solution and Some of Their Applications. Elsevier, Amsterdam (1998)
Ur Rahman, G., Agarwal, R.P., Ahmad, D.: Existence and stability analysis of nth order multi term fractional delay differential equation. Chaos Solit. Fract. 155, 111709 (2022)
Rassias, T.M.: On the stability of the linear mapping in Banach spaces. Proc. Am. Math. Soc. 72(2), 297–300 (1978)
Shah, K., Khalil, H., Khan, R.A.: Investigation of positive solution to a coupled system of impulsive boundary value problems for nonlinear fractional order differential equations. Chaos Solit. Fract. 77, 240–246 (2015)
Stamova, I.M., Stamov, G.T.: Functional and Impulsive Differential Equations of Fractional Order: Qualitative Analysis and Applications. CRC Press, New York (2017)
Ulam, S.M.: A Collection of Mathematical Problems, vol. 8. Interscience Publishers, New York (1960)
Vivek, D., Kanagarajan, K., Elsayed, E.: Some existence and stability results for Hilfer-fractional implicit differential equations with nonlocal conditions. Mediterr. J. Math. 15(1), 1–21 (2018)
Vu, H., Van Hoa, N.: Hyers-Ulam stability of fuzzy fractional Volterra integral equations with the kernel \(\psi\)-function via successive approximation method. Fuzzy Sets Syst. 419, 67–98 (2021)
Wang, J., Zhang, Y.: Nonlocal initial value problems for differential equations with Hilfer fractional derivative. Appl. Math. Comput. 266, 850–859 (2015)
Zhou, Y., Wang, J., Zhang, L.: Basic Theory of Fractional Differential Equations. World Scientific, Singapore (2016)
Acknowledgements
Authors are thankful to Prince Sultan university for support through TAS research lab.
Funding
Open access funding provided by Sefako Makgatho Health Sciences University.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of Interest
The authors declare that they have no conflict of interest.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ahmad, D., Ali, A., Shah, K. et al. On Nonlinear Analysis for Multi-term Delay Fractional Differential Equations Under Hilfer Derivative. Commun. Appl. Math. Comput. (2024). https://doi.org/10.1007/s42967-023-00351-0
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s42967-023-00351-0