Abstract
In this research article, we develop a qualitative analysis to a class of nonlinear coupled system of fractional delay differential equations (FDDEs). Under the integral boundary conditions, existence and uniqueness for the solution of this system are carried out. With the help of Leray–Schauder and Banach fixed point theorem, we establish indispensable results. Also, some results affiliated to Ulam–Hyers (UH) stability for the system under investigation are presented. To validate the results, illustrative examples are given at the end of the manuscript.
Similar content being viewed by others
1 Introduction
Theoretical and applied aspects of fractional calculus can be found comprehensively in the literature. This area of mathematics has numerous applications of modeling various phenomena and processes in nonlinear oscillations of earthquakes, nanotechnology, engineering discipline, and other different scientific fields (see [1–5]). These fields played a vital role for the birth of some new subareas of research like fractional dynamics, fractional fuzzy calculus, etc. Different aspects related to qualitative and numerical analysis corresponding to boundary and initial value problems of fractional order differential equations (FODEs) have been widely explored. The literature related to this area contains significant contributions (we refer to [6–9]).
There is a rapidly growing body of literature on a delay type of differential equations including discrete, continuous, and proportional delay. The area of delay FODEs has many applications in mathematical modeling of real world problems and processes. Among the delay problems, there are those containing a proportional delay, are called pantograph differential equations(PDEs). The existing work about PDEs indicates that such problems have many real world applications. Initially, pantograph was introduced to govern the drawing and scaling aspects of a device. Later on this device was more refined and now scientists use it in electric trains [10, 11], material modeling [12], and in modeling lasers, especially quantum dot lasers [13]. Basically, PDEs form a subclass of differential equations called delay, which gives change in terms of dependent variable at previous time [14]. Not long ago, in this area, some beneficial work has been carried out (see [15–17]).
FODEs have been extensively studied with respect to different angles. Among these, stability analysis in the UH sense is an important aspect that gained proper attention from researchers [18, 19]. Based on the fundamental definition of UH stability of a system, the notion was later modified to more general types, and their results were successfully applied to various problems (we refer to [20, 21] and the references therein). The UH-type stability has been developed very well in the sense of differential equations in the last twenty years [22–24].
To the best of our knowledge, qualitative study to a coupled system of FDDEs under integral boundary conditions has not been investigated properly. Therefore, using results from fixed point theory, we study the qualitative aspects of a coupled system of FDDEs under integral conditions given as follows:
where \(t\in I_{1}=[0,1]\), \(\beta, \gamma \in (1, 2]\), and \(\lambda, p, q \in (0,1)=I_{2}\). Also the functions \(f_{1}, f_{2}:I_{1}\times \mathit{R}^{3}\rightarrow \mathit{R}\) are nonlinear continuous functions, \(\phi:I_{2}\rightarrow [0, \infty )\) is a bounded function, and D is a Riemann–Liouville derivative. Further, the Banach space is defined by \((\mathrm{W},\|,\|)\) with the norm \(\|w\|=\max_{t\in I_{1}}|w|\). Consequently, \(\mathrm{U}=\mathrm{W} \times \mathrm{W}\) is a Banach space with norms denoted by \(\|(w_{1},w_{2})\|=\|w_{1}\|+\|w_{2}\|\) or \(\|(w_{1}, w_{2})\|=\max \{\|w_{1}\|, \|w_{2}\|\}\).
2 Preliminaries
Related results and definitions for the current work, which may be found in [25–28], are discussed here.
Definition 1
Integral with fractional order \(\gamma \in \mathit{R^{+}}\) for a function \(x\in L[0, 1]\) is defined as follows:
provided that the integral exists on the right-hand side on \((0, \infty )\).
Definition 2
Riemann–Liouville-type fractional order \(\gamma \in \mathit{R^{+}}\) derivative for a function \(x\in L[0, 1]\) is recalled as follows:
where \(m > \gamma \) and the integral on \(\mathit{R^{+}}\) is pointwise defined.
Lemma 1
For the FODE,
is expressed as
where \(m=[\gamma ]+1\).
Lemma 2
For the FODE, the following result holds:
with \(d_{k}\in \mathit{R}\)and \(m=[\gamma ]+1 \).
Definition 3
([29])
For the operators \(S_{1}, S_{2}\) ∋ \(S_{1},S_{2}: \mathrm{U}\rightarrow \mathrm{W}\), such that
is UH-type stable if \(\ell _{i} > 0 \ (i=1,2,3,4)\), \(\Delta _{i} > 0 \ (i=1,2)\) real numbers and for every \((\hat{r}, \hat{s})\in \mathrm{U}\), we have
\(\exists(\bar{r},\bar{s})\in \mathrm{U}\) of (2), ∋
Definition 4
If \(\beta _{i}(i=1,2,3,\ldots,n)\) are eigenvalues of \(\mathscr{M}\) of order \({n\times n}\), with spectral radius of \(\varUpsilon (\mathscr{M})\) defined by
Moreover, if \(\varUpsilon (\mathscr{M})<1\), then \(\mathscr{M}\) converges to 0.
Theorem 1
([29])
For the two operators \(S_{1}\), \(S_{2}\) ∋ \(S_{1},S_{2}: \mathrm{U}\rightarrow \mathrm{W} \ni \)
and if the following matrix
tends to zero, subsequently fixed points of (2) are UH-type stable.
Some needed assumptions for our work are given as follows:
- \((M_{1})\):
-
∀ \(r, \bar{r}, s, \bar{s}\in C(I_{1}, \mathit{R}) \ \forall t\in I_{1} \ \exists L_{f_{1}}>0\) ∋
$$ \bigl\vert {f_{1}}\bigl(t,r(\lambda t), s(t), D^{p} s(t) \bigr)-{f_{1}}\bigl(t, \bar{r}( \lambda t), \bar{s}(t), D^{p} \bar{s}(t)\bigr) \bigr\vert \leq L_{f_{1}} \bigl( \vert r- \bar{r} \vert +2 \vert s-\bar{s} \vert \bigr). $$ - \((M_{2})\):
-
∀ \(r, \bar{r}, s, \bar{s}\in C(I_{1}, \mathit{R}) \ \forall t\in I_{1} \ \exists L_{f_{2}}>0\) ∋
$$ \bigl\vert {f_{2}}\bigl(t,r(t), s(\lambda t),D^{q} r(t) \bigr)-{f_{2}}\bigl(t,\bar{r}(t), \bar{s}(\lambda t), D^{q} \bar{r}(t)\bigr) \bigr\vert \leq L_{f_{2}} \bigl(2 \vert r- \bar{r} \vert + \vert s-\bar{s} \vert \bigr). $$ - \((M_{3})\):
-
For positive real number \(\mathfrak{M}\) and \(\forall t\in I_{1}\) ∋,
$$ \bigl\vert \phi (t) \bigr\vert \leq \mathfrak{M}. $$ - \((M_{4})\):
-
For positive real number \(\mathfrak{A}\) and \(\forall t\in I_{1}\) ∋,
$$ \max \biggl\{ \int _{0}^{1} \phi (t) r(t)\,dt, \int _{0}^{1} \phi (t) s(t)\,dt \biggr\} \leq \mathfrak{A}. $$ - \((M_{5})\):
-
For some positive real numbers \(C_{f_{1}}, D_{f_{1}}\) and \(M_{f_{1}}, M_{f_{2}}\) ∋
$$\begin{aligned} &\bigl\vert {f_{1}}\bigl(t, r(\lambda t), s(t), D^{p} s(t) \bigr) \bigr\vert \leq C_{f_{1}} \vert r \vert +2D_{f_{1}} \vert s \vert +M_{f_{1}}, \\ &\bigl|{f_{2}}(t,r(t), s(\lambda t), D^{q} r(t)\bigr| \leq 2C_{f_{2}} \vert r \vert +D_{f_{2}} \vert s \vert +M_{f_{2}}. \end{aligned}$$
Theorem 2
([30])
Let E be a closed convex subset of a Banach space U. Let A be an open subset of E with \(0\in A\), and let \(\mathbb{F}:\bar{A}\rightarrow E\)be a continuous and compact mapping. Then either the mapping \(\mathbb{F}\)has a fixed point in Ā, or \(\exists x \in \partial A\)and κ \(\in (0, 1)\)with \(x=\kappa \mathbb{F}x\).
3 Results about the existence of solutions
Theorem 3
Let \(r(t) \in C(I_{1}, \mathit{R})\)and \(u(t)\in L(I_{1}, \mathit{R})\), the solution for the problem
is as follows:
where \(\mathrm{G_{1}(t, z)}\)is given below:
Proof
Taking integral to both sides of (7) and using Lemma (2) implies
With the help of boundary conditions in (7), we obtain
Hence, (10) implies
In the same way, for \(s(t) \in C(I_{1}, \mathit{R})\) and \(u(t)\in L(I_{1}, \mathit{R})\), the solution for the problem
can be obtained in the form
where \(\mathrm{G_{2}(t, z)}\) is given below:
□
Corollary 1
In light of Theorem 3, the solution of system (1) is given as follows:
where \(\mathrm{G(t, z)}= (\mathrm{G_{1}(t, z)}, \mathrm{G_{2}(t, z)} )\)is called Green’s function of (1).
Theorem 4
Let \(f_{1}, f_{2}, f_{3}\)be continuous functions, subsequently \((r, s)\in \mathrm{U}\)is a solution of (1) if and only if \((r, s)\)is the solution of the integral equations given in (15).
Proof
Assuming that \((r,s)\) is the solution of (15), then differentiating both sides of (15), we get (1). Anyway, if \((r,s)\) is a solution of (1), then \((r,s)\) is a solution of (15). □
Let \(\mathbb{F}_{1}, \mathbb{F}_{2}:\mathrm{U}\rightarrow \mathrm{U}\) such that
and . Thus, solutions of (15) are fixed points of \(\mathbb{F}\).
Theorem 5
Under assumptions \((M_{4}), (M_{5})\)and if the functions \(f_{1}, f_{2}:I_{1}\times \mathit{R}^{3}\rightarrow \mathit{R}\)are continuous, then \(\mathbb{F}(E)\subset E\)and \(\mathbb{F}:E \rightarrow E\)is completely continuous.
Proof
Let
and
We define \(\mathfrak{B}\) a closed subset of E ∋:
For arbitrary \((r, s)\in \mathfrak{B}\), we have
Similarly,
Therefore, from (16) and (17), one has
Thus (18) leads to the uniform boundedness of \(\mathbb{F}\) on B.
To show that \(\mathbb{F}:E\rightarrow E\) is completely continuous, take \(t_{1}, t_{2}\in I_{1} \ni 0\leq t_{1} \leq t_{2} \leq 1 \), and using \((M_{4}), (M_{5})\), we have \(|\mathbb{F}_{1}(r(t_{1}), s(t_{1}))-\mathbb{F}_{1}(r(t_{2}), s(t_{2}))|\)
Obviously, the right-hand side in inequality (19) tends to zero on \(t_{1}\rightarrow t_{2}\). Also \(\mathbb{F}_{1}\) is bounded and continuous. Thus it is uniformly bounded. Hence
In a similar way, one can also show that
Consequently, \(\mathbb{F}:E \rightarrow E\) is equicontinuous and so by Arzelá–Ascoli theorem, \(\mathbb{F}\) is completely continuous. □
Theorem 6
Under assumptions \((M_{1})\)–\((M_{3})\)and if \(d<1\), then system (1) has a unique solution, where
Proof
Taking \(r,\bar{r}, s,\bar{s}\in \mathrm{W}\), and for every \(t\in I_{1}\), let
where
Similarly,
where
Hence, from (20) and (21), one has
where \(d=\max_{t\in I_{1}}\{d_{1}, d_{2}\}\). Hence, \(\mathbb{F}\) is a contraction, thus \(\mathbb{F}\) has a unique fixed point, which implies that the concerned system (1) has a unique solution. □
Theorem 7
Under assumptions \((M_{4}), (M_{5})\)along with continuous functions \(f_{1}, f_{2}:I_{1}\times \mathit{R^{3}}\rightarrow \mathit{R}\), system (1) possesses at least one solution in
Proof
Let \(A= \{ (r, s)\in E: \Vert (r, s) \Vert < \rho \}, \rho > \max (\frac{\widehat{\varLambda }_{2}}{1-\widehat{\varLambda }_{1}} )\). In light of Theorem (5), the mapping \(\mathbb{F}:E \rightarrow E \) is completely continuous. Consider \((r, s)\in A \ni \Vert (r, s) \Vert < \rho \). Then in view of Theorem (5), \(\mathbb{F}(r, s)\leq \rho \) implies \(\mathbb{F}(r, s)\in \bar{A}\). Hence \(\mathbb{F}:\bar{A} \rightarrow \bar{A} \).
Take \((r, s)\in \partial A\) and \(\kappa \in (0, 1)\ni (r, s)=\kappa \mathbb{F}(r, s)\). Subsequently, in light of assumptions \((M_{4}), (M_{5}) \) and for \(t\in I_{1}\), we get
which implies that \(\|r\|< \frac{\kappa \rho }{2}\). In a similar way, one can also show that \(\Vert s \Vert < \frac{\kappa \rho }{2}\). Therefore, \(\Vert (r, s) \Vert < \kappa \rho \) but \(\|(r, s) \|=\rho \), which implies \((r, s)\notin \partial A \). Hence, by Lemma 2, \(\mathbb{F}\) has at least one fixed point \((r, s)\in \bar{A}\). □
4 Results regarding stability
Theorem 8
If the matrix \(\mathscr{M}\)converges to 0 and assumptions \((M_{1})\)–\((M_{3})\), \(d<1\)hold, then the results of (1) are UH-type stable.
Proof
Taking \((r, s), (\bar{r}, \bar{s})\in \mathrm{U}\) arbitrary solutions and for every \(t\in I_{1}\), we have
where
In a similar way, we may have
where
So, from (24) and (25), we get
From (26), we can get the matrix \(\mathscr{M}\) as follows:
Because it is given that the matrix tends to zero, the solution of (1) is UH-type stable. □
5 Examples
Example 1
Consider the following system of FDDEs:
From the above equation, \(\beta =1.3, \gamma =1.4, \lambda =0.5, \mathfrak{M}=0.05\). After the calculation, we have \(L_{f_{1}}=0.0112, L_{f_{2}}=0.0182\),
As \(\max \{d_{1}, d_{2}\}=0.0793< 1\). So, system (27) has an un-repeated solution under Theorem 6. Moreover, taking the values of \(\ell _{i}\ (i=1,2,3,4)\), we have
On calculation, the eigenvalues are \(\beta _{1}=0.1193, \beta _{2}= 0.0085\). Therefore \(\varUpsilon (\mathscr{M})=0.1193<1\). Thus the given system under delay term with respect to the given fractional order is HU stable by using Theorem 8.
Example 2
Consider the following system of FDDEs:
On calculation, taking \(\beta =1.3, \gamma =1.4, \lambda =0.6, \mathfrak{M}=0.04\). After calculation, we have \(L_{f_{1}}=0.0067, L_{f_{2}}=0.0030\),
Now \(\max \{d_{1}, d_{2}\}=0.0515< 1\). So (29) has a unique solution under Theorem 6. Moreover, after calculating the values of \(\ell _{i}\ (i=1,2,3,4)\), we get the following matrix:
The eigenvalues are \(\beta _{1}=0.0689, \beta _{2}= -0.0078\) of the above matrix. Clearly, \(\varUpsilon (\mathscr{M})=0.0689<1\). Hence the system under consideration is HU-type stable via Theorem 8.
6 Conclusion
We have performed a qualitative analysis of the solutions of (1). The problem has been studied with integral boundary conditions having proportional delay called pantograph. Through fixed point theory, the problem in hand has been investigated. Some results about the stability of UH have been discussed via nonlinear analysis. Then, some relevant examples were presented, the results were also discussed. The considered problem is random and includes many applied problems of fluid mechanics and dynamics as special cases [31].
References
Kilbas, A.A., Marichev, O.I., Samko, S.G.: Fractional Integrals and Derivatives (Theory and Applications). Gordon and Breach, Switzerland (1993)
Zhang, L., Hou, W.: Standing waves of nonlinear fractional p-Laplacian Schrödinger equation involving logarithmic nonlinearity. Appl. Math. Lett. (2020). https://doi.org/10.1016/j.aml.2019.106149
Wang, G., Pei, K., Chen, Y.: Stability analysis of nonlinear Hadamard fractional differential system. J. Franklin Inst. 356, 6538–6546 (2019)
Zhang, L., Ahmad, B., Wang, G., Ren, X.: Radial symmetry of solution for fractional p-Laplacian system. Nonlinear Anal. (2020). https://doi.org/10.1016/j.na.2020.111801
Hilfer, R.: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)
Benchohra, M., Bouriah, S., Nieto, J.J.: Existence and Ulam stability for nonlinear implicit differential equations with Riemann–Liouville fractional derivative. Demonstr. Math. 52(1), 437–450 (2019)
Li, D., Zhang, C.: Long time numerical behaviors of fractional pantograph equations. Math. Comput. Simul. 172, 244–257 (2020)
Wang, G., Pei, K., Agarwal, R., et al.: Nonlocal Hadamard fractional boundary value problem with Hadamard integral and discrete boundary conditions on a half-line. J. Comput. Appl. Math. 343, 230–239 (2018)
Wang, G.: Twin iterative positive solutions of fractional q-difference Schrödinger equations. Appl. Math. Lett. 76, 103–109 (2018)
Sedaghat, S., Ordokhani, Y., Dehghan, M.: Numerical solution of the delay differential equations of pantograph type via Chebyshev polynomials. Commun. Nonlinear Sci. Numer. Simul. 17(12), 4815–4830 (2012)
Bahsi, M., Cevik, M., Sezer, M.: Orthoexponential polynomial solutions of delay pantograph differential equations with residual error estimation. Appl. Math. Comput. 271, 11–21 (2015)
Hofer, P., Lion, A.: Modelling of frequency- and amplitude-dependent material properties of filler-reinforced rubber. J. Mech. Phys. Solids 57, 500–520 (2009)
Rossetti, M., Bardella, P., Montrosset, I.: Modeling passive mode-locking in quantum dot lasers: a comparison between a finite-difference traveling-wave model and a delayed differential equation approach. IEEE J. Quantum Electron. 47(5), 569–576 (2011)
Hale, J.K., Lunel, S.M.: Introduction to Functional Differential Equations. Springer, New York (2013)
Ali, A., Shah, K., Abdeljawad, T.: Study of implicit delay fractional differential equations under anti-periodic boundary conditions. Adv. Differ. Equ. 2020(1), 139 (2020)
Iqbal, M., Shah, K., Khan, R.A.: On using coupled fixed point theorems for mild solutions to coupled system of multi-point boundary value problems of nonlinear fractional hybrid pantograph differential equations. Math. Methods Appl. Sci. 44, 1–14 (2019)
Ahamad, I., Shah, K., Abdeljawad, T., Jarad, F.: Qualitative Study of Nonlinear Coupled Pantograph Differential Equations of Fractional Order, Fractals (2020). https://doi.org/10.1142/S0218348X20400459
Hyers, D.H.: On the stability of the linear functional equations. Proc. Natl. Acad. Sci. USA 27(4), 222–224 (1941)
Ulam, S.M.: A Collection of the Mathematical Problems. Interscience Publishers, New York (1960)
Jung, S.M.: Hyers–Ulam stability of linear differential equations of first order. Appl. Math. Lett. 17(10), 1135–1140 (2004)
Zada, A., Ali Choonkil, W.: Ulam type stability of higher order nonlinear delay differential equations via integral inequality of Grönwall–Bellman–Bihari’s type. Appl. Math. Comput. 350, 60–65 (2019)
Wang, J., Lv, L., Zhou, W.: Ulam stability and data dependence for fractional differential equations with Caputo derivative. Electron. J. Qual. Theory Differ. Equ. 63, 1 (2011)
Xia, Z., Zhou, H.: Pseudo almost periodicity of fractional integro-differential equations with impulsive effects in Banach spaces. Czechoslov. Math. J. 67(142), 123–141 (2017)
Zhao, Y., Sun, S., Han, S., Li, Z.: Qiuping theory of fractional hybrid differential equations. Comput. Math. Appl. 62(3), 1312–1324 (2011)
Miller, K.S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)
Podlubny, I.: Fractional Differential Equations, Mathematics in Science and Engineering. Academic Press, New York (1999)
Lakshmikantham, V., Leela, S., Vasundhara, J.: Theory of Fractional Dynamic Systems. Cambridge Academic Publishers, Cambridge (2009)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
Urs, C.: Coupled fixed point theorem and applications to periodic boundary value problem. Miskolc Math. Notes 14(1), 323–333 (2013)
Agarwal, R., Meehan, M., Regan, D.O.: Fixed Points Theory and Applications, vol. 141. Cambridge University Press, Cambridge (2001)
Boucherif, A.: Second-order boundary value problems with integral boundary conditions. Nonlinear Anal., Theory Methods Appl. 70(1), 364–371 (2009)
Acknowledgements
The authors thank the reviewers for their constructive comments, which led to the improvement of the original manuscript.
Availability of data and materials
This is not applicable in this article.
Funding
No source available.
Author information
Authors and Affiliations
Contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
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
Alrabaiah, H., Ahmad, I., Shah, K. et al. Qualitative analysis of nonlinear coupled pantograph differential equations of fractional order with integral boundary conditions. Bound Value Probl 2020, 138 (2020). https://doi.org/10.1186/s13661-020-01432-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-020-01432-2