- Research
- Open access
- Published:
A study of a nonlinear coupled system of three fractional differential equations with nonlocal coupled boundary conditions
Advances in Difference Equations volume 2021, Article number: 278 (2021)
Abstract
In this research we introduce and study a new coupled system of three fractional differential equations supplemented with nonlocal multi-point coupled boundary conditions. Existence and uniqueness results are established by using the Leray–Schauder alternative and Banach’s contraction mapping principle. Illustrative examples are also presented.
1 Introduction
The methods of fractional calculus significantly improved the study of integer-order mathematical models associated with real-world problems appearing in scientific and technical disciplines. A point of central importance for choosing fractional order derivative operators is their nonlocal nature, which accounts for the history of the associated phenomena under investigation. For application details, see financial economics [1], ecology [2], immune systems [3], HIV/AIDS [4], chaotic synchronization [5, 6], etc. Inspired by the great popularity of the subject, many researchers turned to the further development of this branch of mathematical analysis. In particular, fractional order boundary value problems attracted considerable attention, and the literature on the topic was enriched with a huge number of interesting articles, for instance, see [7–12].
Fractional differential systems have also been studied by many researchers in view of their occurrence in the mathematical modeling of several physical and engineering processes [13–15]. One can find the details about the theoretical development of the topic in the articles [16–26].
We introduce and study a new class of coupled systems of mixed-order three fractional differential equations equipped with nonlocal multi-point coupled boundary conditions. In precise terms, we consider the following fully coupled system:
where \({}^{C}{D}^{\chi }\) is a Caputo fractional derivative of order \(\chi \in \{\eta ,\xi ,\zeta \}\), \(\rho , \varphi , \psi :[a,b]\times \mathbb{R}\times \mathbb{R} \times \mathbb{R} \rightarrow \mathbb{R}\) are given functions, \(p_{i},q_{j}, r_{k} \in \mathbb{R}\), \(i=1,\ldots ,m\), \(j=1,\ldots ,n\), \(k=1,\ldots ,l\).
Here we emphasize that the novelty of the present work lies in the fact that we consider a coupled system of three fractional differential equations of different orders on an arbitrary domain equipped with coupled nonlocal multi-point boundary conditions. One can observe that the multi-point boundary conditions are of cyclic nature and involve different nonlocal positions. Moreover, it is worthwhile to mention that much of the work on coupled fractional systems involves two fractional differential equations on the fixed domain. Thus our results are more general and contribute significantly to the existing literature on the topic.
The rest of the paper is organized as follows: In Sect. 2 we recall some basic definitions from fractional calculus and present an auxiliary result, which plays a pivotal role in transforming system (1.1) into equivalent integral equations. An existence result for the problem at hand is proved via the Leray–Schauder alternative, while the existence of a unique solution is established via Banach’s contraction mapping principle. These results are presented in Sect. 3. Examples are also discussed for illustration of the obtained results.
2 Preliminaries
Let us begin this section with some definitions related to our study [27].
Definition 2.1
The Riemann–Liouville fractional integral of order \(\omega \in \mathbb{R}\) (\(\omega >0\)) for a locally integrable real-valued function h defined on \(-\infty \leq a< t< b\leq +\infty \), denoted by \(I_{a^{+}} ^{\omega }h\), is defined by
where Γ denotes the Euler gamma function.
Definition 2.2
Let \(h, h^{(m)} \in L^{1}[a,b]\) for \(-\infty \leq a< t< b\leq +\infty \). The Riemann–Liouville fractional derivative \(D_{a^{+}} ^{\omega }h\) of order \(\omega \in (m-1, m]\), \(m\in \mathbb{N}\) is defined as
while the Caputo fractional derivative \({{}^{C}{D}_{a^{+}}^{\omega }h}\) of order \(\omega \in (m-1, m]\), \(m\in \mathbb{N}\) is defined as
Remark 2.3
The Caputo fractional derivative of order \(\omega \in (m-1, m]\), \(m\in \mathbb{N}\) for a continuous function \(h: (0,\infty )\to {\mathbb{R}}\) such that \(h\in C^{m}[a,b]\), existing almost everywhere on \([a, b]\), is defined by
Now we present an important result to analyze problem (1.1).
Lemma 2.4
Let \(\overline{\rho },\overline{\varphi },\overline{\psi } \in C[a,b]\) and \(\Delta \ne 0\). Then the unique solution of the system
is given by the formulas
where
Proof
The solution of system (2.1) can be written as
where \(c_{i} \in \mathbb{R}\) (\(i=1,2,\ldots ,7\)) are unknown constants. Using the condition \(u(a)=u_{0}\) in (2.6) gives \(c_{1}=u_{0} \) and applying the condition \(x(a)=0 \) in (2.7) yields \(c_{3}=0 \), while making use of the conditions \(y(\xi _{1})=0\) and \(y(\xi _{2})=0\) leads to the equations
Using the conditions \(u(b)=\sum_{i=1}^{m} p_{i} x(\alpha _{i})\), \(x(b)=\sum_{j=1}^{n} q_{j} y( \beta _{j})\), and \(y(b)=\sum_{k=1}^{l} r_{k} u(\gamma _{k})\) with \(c_{1}=u_{0} \) and \(c_{3}=0\) in (2.6)–(2.8) gives
Subtracting (2.10) from (2.9), we find that
where \(a_{1}\) is given in (2.5). Substituting the value of \(c_{6}\) into (2.9) yields
where \(a_{2}\) is given in (2.5). From (2.11), we have
Substituting the values of \(c_{2}\), \(c_{5}\), and \(c_{6}\) into (2.12) and (2.13), we get the system
Solving the above system together with the notation in (2.5), we obtain
Substituting the value of \(c_{4}\) into (2.16) yields
Inserting the value of \(c_{7}\) into (2.14) and (2.15), we get
Finally, substituting the values of \(c_{i}\), \(i=1,2,\ldots , 7\), into (2.6), (2.7), and (2.8), we obtain (2.2), (2.3), and (2.4). We can prove the converse of this lemma by direct computation. □
3 Main results
Let \(X=C([a,b], \mathbb{R})\) be a Banach space endowed with the norm \(\Vert x\Vert =\sup \{\vert x(t)\vert ,t \in [a,b]\}\). Then \((X \times X \times X, \Vert (u,x,y)\Vert _{X})\) is also a Banach space equipped with the norm \(\Vert (u,x,y)\Vert _{X}= \Vert u \Vert + \Vert x \Vert +\Vert y\Vert \), \(u,x,y\in X\).
In view of Lemma 2.4, we define an operator \(T:X \times X \times X \rightarrow X \times X \times X\) by
where
For computational convenience, let us set
where
In our first result, we establish the existence of solutions for system (1.1) by applying the Leray–Schauder alternative [28].
Lemma 3.1
(Leray–Schauder alternative)
Let \(\mathfrak{J}:{\mathcal{U}}\longrightarrow \mathcal{U} \) be a completely continuous operator (i.e., a map restricted to any bounded set in \(\mathcal{U}\) is compact). Let \(\mathcal{Q}(\mathfrak{J})=\{x\in \mathcal{U}:x=\eta \mathfrak{J}(x)\textit{ for some }0<\eta <1\}\). Then either the set \(\mathcal{Q}(\mathfrak{J})\) is unbounded, or \(\mathfrak{J}\) has at least one fixed point.
Theorem 3.2
Let \(\Delta \ne 0\), where Δ is defined by (2.5). In addition, we assume that:
- \((H_{2})\):
-
\(\rho , \varphi ,\psi :[a,b] \times \mathbb{R} \times \mathbb{R} \times \mathbb{R} \rightarrow \mathbb{R}\) are continuous functions and there exist real constants \(k_{i},\sigma _{i}, \mu _{i} \geq 0\) (\(i=1,2,3\)) and \(k_{0}>0\), \(\sigma _{0}>0\), \(\mu _{0} > 0\) such that, for all \(t\in [a,b]\) and \(u,x,y \in \mathbb{R}\),
$$\begin{aligned}& \bigl\vert \rho (t,u,x,y) \bigr\vert \leq k_{0}+ k_{1} \vert u \vert + k_{2} \vert x \vert + k_{3} \vert y \vert , \\& \bigl\vert \varphi (t,u,x,y) \bigr\vert \leq \sigma _{0}+ \sigma _{1} \vert u \vert + \sigma _{2} \vert x \vert + \sigma _{3} \vert y \vert , \\& \bigl\vert \psi (t,u,x,y) \bigr\vert \leq \mu _{0}+ \mu _{1} \vert u \vert + \mu _{2} \vert x \vert + \mu _{3} \vert y \vert . \end{aligned}$$
Then system (1.1) has at least one solution on \([a,b]\) provided that
where \(L_{i}\), \(M_{i}\), \(N_{i}\), \(i=1,2,3\), are given in (3.1).
Proof
Observe that the continuity of the operator \(T: X \times X \times X \rightarrow X \times X \times X\) follows from that of the functions ρ, φ, and ψ. Next, let \(\Omega \subset X \times X \times X\) be bounded such that
for positive constants \(K_{1}\), \(K_{2}\), and \(K_{3} \). Then, for any \((u,x,y)\in \Omega \), we have
which implies that
In a similar way, we can find that
and
which implies that
From the above argument, we deduce that the operator T is uniformly bounded, that is,
Next, we show that T is equicontinuous. Let \(t_{1},t_{2}\in [a,b]\) with \(t_{1}< t_{2}\). Then we have
Analogously,we can obtain
and
The above inequalities are independent of u, x, y and tend to zero as \(t_{1}\to t_{2}\). This shows that the operator \(T(u,x,y) \) is equicontinuous. In consequence, we deduce that the operator \(T(u,x,y) \) is completely continuous.
Finally, we consider the set \(\mathcal{P} = \lbrace (u,x,y) \in X \times X \times X:(u,x,y)= \nu T(u,x,y), 0 \leq \nu \leq 1\rbrace \) and show that it is bounded.
Let \((u,x,y) \in \mathcal{P} \) with \((u,x,y)= \nu T(u,x,y)\). For any \(t \in [a,b]\), we have \(u(t)= \nu T_{1}(u,x,y)(t)\), \(x(t)= \nu T_{2}(u,x,y)(t)\), \(y(t)= \nu T_{3}(u,x,y)(t)\). Then, by \((H_{2})\), we have
and
It follows from the foregoing arguments that
Adding the above three inequalities, we have
which implies that
where \(M_{0}=\min \lbrace 1-[(L_{1}+L_{2}+L_{3})k_{i}+(M_{1}+M_{2}+M_{3}) \sigma _{i} +(N_{1}+N_{2}+N_{3})\mu _{i}],i=1,2,3 \rbrace \). Hence the set \(\mathcal{P}\) is bounded. Thus, by the Leray–Schauder alternative, we deduce that the operator T has at least one fixed point, which implies that problem (1.1) has at least one solution on \([a,b]\). This completes the proof. □
Our next existence and uniqueness result is based on the contraction mapping principle due to Banach.
Theorem 3.3
Let \(\Delta \ne 0\), where Δ is defined by (2.5). In addition, we assume that:
- \((H_{2})\):
-
\(\rho , \varphi ,\psi :[a,b]\times \mathbb{R}\times \mathbb{R}\times \mathbb{R}\rightarrow \mathbb{R}\) are continuous functions and there exist positive constants \(l_{1}\), \(l_{2}\), and \(l_{3}\) such that, for all \(t\in [a,b]\) and \(u_{i},x_{i},y_{i}\in \mathbb{R}\), \(i=1,2,3\), we have
$$\begin{aligned}& \bigl\vert \rho (t, x_{1}, x_{2}, x_{3}) - \rho (t, y_{1} , y_{2}, y_{3}) \bigr\vert \leq l_{1} \bigl( \vert x_{1}- y_{1} \vert + \vert x_{2} -y_{2} \vert + \vert x_{3} - y_{3} \vert \bigr), \\& \bigl\vert \varphi (t, x_{1}, x_{2},x_{3}) - \varphi (t, y_{1} , y_{2},y_{3}) \bigr\vert \leq l_{2} \bigl( \vert x_{1}- y_{1} \vert + \vert x_{2} -y_{2} \vert + \vert x_{3} - y_{3} \vert \bigr), \\& \bigl\vert \psi (t,x_{1},x_{2},x_{3})- \psi (t,y_{1},y_{2},y_{3}) \bigr\vert \leq l_{3}\bigl( \vert x_{1}- y_{1} \vert + \vert x_{2}- y_{2} \vert + \vert x_{3} - y_{3} \vert \bigr). \end{aligned}$$
If
where \(L_{i}\), \(M_{i}\), \(N_{i}\) are given in (3.1), then system (1.1) has a unique solution on \([a,b]\).
Proof
Define \(\sup_{t\in [a,b]}\rho (t,0,0,0)=Q_{1}<\infty \), \(\sup_{t\in [a,b]} \varphi (t,0,0,0)=Q_{2}<\infty \), \(\sup_{t\in [a,b]}\psi (t,0, 0,0) =Q_{3}<\infty \), and \(r>0\) such that
where \(E=(L_{1}+L_{2}+L_{3})Q_{1}+(M_{1}+M_{2}+M_{3})Q_{2} +(N_{1}+N_{2}+N_{3})Q_{3}\).
In the first step, we show that \(T B_{r} \subset B_{r} \), where \(B_{r} = \lbrace (u,x,y)\in X \times X \times X : \Vert (u,x,y) \Vert \leq r\rbrace \). By assumption \((H_{2})\), for \((u,x,y) \in B_{r} \), \(t \in [a,b] \), we have
Similarly, we can get
and
Using (3.4), (3.5), and (3.6), we obtain
which, on taking the norm for \(t \in [a, b]\), yields
Likewise, we can find that
and
Consequently,
Now, for \((u_{1},x_{1},y_{1}),(u_{2},x_{2},y_{2}) \in X \times X \times X \) and for any \(t \in [a,b] \), we get
which implies that
Similarly, we find that
and
It follows from (3.7), (3.8), and (3.9) that
The above inequality together with (3.3) implies that T is a contraction. Hence it follows by Banach’s fixed point theorem that there exists a unique fixed point for the operator T, which corresponds to a unique solution of problem (1.1) on \([a,b]\). The proof is completed. □
4 Examples
Let us consider the following mixed-type coupled fractional differential system:
Here, \(\eta =3/4\), \(\xi =7/4\), \(\zeta =5/2\), \(a=1\), \(b=2\), \(u_{0}=1/400\), \(m=1\), \(n=2\), \(l=2\), \(p_{1}=1/20\), \(q_{1}=1/100\), \(q_{2}=1/50\), \(r_{1}=1/1000\), \(r_{2}=1/500\), \(\alpha _{1}=13/10\), \(\beta _{1}=7/5\), \(\beta _{2}=3/2\), \(\gamma _{1}=8/5\), \(\gamma _{2}=17/10\). With the given data, it is found that \(L_{1}\simeq 0.75223\), \(L_{2}\simeq eq1397 \times 10^{-5}\), \(L_{3}\simeq 5.0146 \times 10^{-3}\), \(M_{1}\simeq 4.0414 \times 10^{-2}\), \(M_{2}\simeq 1.2435\), \(M_{3} \simeq 4.8058 \times 10^{-5}\), \(N_{1} \simeq 1.8944 \times 10^{-3}\), \(N_{2} \simeq 3.0567 \times 10^{-3}\), \(N_{3} \simeq 1.0942\).
(1) In order to illustrate Theorem 3.2, we take
It is easy to check that condition \((H_{1})\) is satisfied with \(k_{0}= 1/e^{2}\), \(k_{1}= 1/8\), \(k_{2}= 1/(3e)\), \(k_{3}=1/(4e)\), \(\sigma _{0}=2 \sqrt{7}\), \(\sigma _{1}= 1/(6e)\), \(\sigma _{2}= 1/7\), \(\sigma _{3}=1/4\), \(\mu _{0}=1/(10e)\), \(\mu _{1}=1/(3e)\), \(\mu _{2}=1/5\), \(\mu _{3}=1/(4e)\). Furthermore,
Clearly, the hypotheses of Theorem 3.2 are satisfied, and hence the conclusion of Theorem 3.2 applies to problem (4.1) with ρ, φ, ψ given by (4.2).
(2) In order to illustrate Theorem 3.3, we take
which clearly satisfies condition \((H_{2})\) with \(l_{1}= 1/(2e)\), \(l_{2}=1/6 \), and \(l_{3}= 1/(3e)\). Moreover, \((L_{1} +L_{2}+L_{3})l_{1} + (M_{1} + M_{2}+M_{3})l_{2}+(N_{1}+N_{2}+N_{3})l_{3} \simeq 0.49596<1\). Thus the hypothesis of Theorem 3.3 holds true, and consequently there exists a unique solution for problem (4.1) on \([1,2]\) with ρ, φ, ψ given by (4.3).
5 Conclusions
This paper studies a tripled system of nonlinear fractional differential equations of different orders on an arbitrary domain complemented with the multi-point boundary conditions of cyclic nature involving different nonlocal positions. Applying the standard fixed point theorems, we have proved the existence and uniqueness results for the given problem, which are well illustrated with the aid of examples. By taking all \(p_{i}=0\), \(i=1, \dots , m\), \(q_{j}=0\), \(j=1, \dots \), and \(r_{k}=0\), \(k=1, \dots , l\), we obtain the new results for the given tripled system of nonlinear fractional differential equations equipped with the conditions: \(u(a)=u_{0}\), \(u(b)=0\), \(x(a)=0\), \(x(b)=0\), \(y(\xi _{1})=0\), \(y(\xi _{2})=0\), \(y(b)=0\). To the best of our knowledge, it is the first paper dealing with a nonlocal multi-point boundary value problem involving a tripled system of nonlinear fractional differential equations of different orders on an arbitrary domain.
Availability of data and materials
Not applicable.
References
Fallahgoul, H.A., Focardi, S.M., Fabozzi, F.J.: Fractional Calculus and Fractional Processes with Applications to Financial Economics, Theory and Application. Elsevier, London (2017)
Javidi, M., Ahmad, B.: Dynamic analysis of time fractional order phytoplankton-toxic phytoplankton–zooplankton system. Ecol. Model. 318, 8–18 (2015)
Ding, Y., Wang, Z., Ye, H.: Optimal control of a fractional-order HIV-immune system with memory. IEEE Trans. Control Syst. Technol. 20, 763–769 (2012)
Carvalho, A., Pinto, C.M.A.: A delay fractional order model for the co-infection of malaria and HIV/AIDS. Int. J. Dyn. Control 5, 168–186 (2017)
Xu, Y., Li, W.: Finite-time synchronization of fractional-order complex-valued coupled systems. Physica A 549, 123903 (2020)
Zhang, F., Chen, G., Li, C., Kurths, J.: Chaos synchronization in fractional differential systems. Philos. Trans. R. Soc. A 371, 201201553 (2013)
Ming, Z., Zhang, G., Li, H.: Positive solutions of a derivative dependent second-order problem subject to Stieltjes integral boundary conditions. Electron. J. Qual. Theory Differ. Equ. 2019, 98 (2019)
Wang, Y., Liang, S., Wang, Q.: Existence results for fractional differential equations with integral and multi-point boundary conditions. Bound. Value Probl. 2018, 4 (2018)
Cen, Z., Liu, L.-B., Huang, J.: A posteriori error estimation in maximum norm for a two-point boundary value problem with a Riemann–Liouville fractional derivative. Appl. Math. Lett. 102, 106086 (2020)
Iskenderoglu, G., Kaya, D.: Symmetry analysis of initial and boundary value problems for fractional differential equations in Caputo sense. Chaos Solitons Fractals 134, 109684 (2020)
Goodrich, C.S.: Coercive nonlocal elements in fractional differential equations. Positivity 21, 377–394 (2017)
Ahmad, B., Alruwaily, Y., Alsaedi, A., Nieto, J.J.: Fractional integro-differential equations with dual anti-periodic boundary conditions. Differ. Integral Equ. 33, 181–206 (2020)
Ben-Avraham, D., Havlin, S.: Diffusion and Reactions in Fractals and Disordered Systems. Cambridge University Press, Cambridge (2000)
Deshpande, A.S., Daftardar-Gejji, V.: On disappearance of chaos in fractional systems. Chaos Solitons Fractals 102, 119–126 (2017)
Wang, S., Xu, M.: Axial Couette flow of two kinds of fractional viscoelastic fluids in an annulus. Nonlinear Anal., Real World Appl. 10, 1087–1096 (2009)
Balachandran, K., Kokila, J.: Controllability of non-linear implicit fractional dynamical systems. IMA J. Appl. Math. 79, 562–570 (2014)
Wang, J.R., Zhang, Y.: Analysis of fractional order differential coupled systems. Math. Methods Appl. Sci. 38, 3322–3338 (2015)
Ahmad, B., Alghamdi, N., Alsaedi, A., Ntouyas, S.K.: A system of coupled multi-term fractional differential equations with three-point coupled boundary conditions. Fract. Calc. Appl. Anal. 22, 601–618 (2019)
Ahmad, B., Alsaedi, A., Ntouyas, S.K.: Nonlinear coupled fractional order systems with integro-multistrip-multipoint boundary conditions. Int. J. Anal. Appl. 17, 940–957 (2019)
Ahmad, B., Alsaedi, A., Ntouyas, S.K.: Fractional order nonlinear mixed coupled systems with coupled integro-differential boundary conditions. J. Appl. Anal. Comput. 10, 892–903 (2020)
Ahmad, B., Alsaedi, A., Alruwaily, Y., Ntouyas, S.K.: Nonlinear multi-term fractional differential equations with Riemann-Stieltjes integro-multipoint boundary conditions. AIMS Math. 5, 1446–1461 (2020)
Henderson, J., Luca, R., Tudorache, A.: On a system of fractional differential equations with coupled integral boundary conditions. Fract. Calc. Appl. Anal. 18, 361–386 (2015)
Ntouyas, S.K., Al-Sulami, H.H.: A study of coupled systems of mixed order fractional differential equations and inclusions with coupled integral fractional boundary conditions. Adv. Differ. Equ. 2020, 73 (2020)
Ahmad, B., Alghanmi, M., Alsaedi, A.: Existence results for a nonlinear coupled system involving both Caputo and Riemann–Liouville generalized fractional derivatives and coupled integral boundary conditions. Rocky Mt. J. Math. 50, 1901–1922 (2020)
Ahmad, B., Alghanmi, M., Alsaedi, A., Nieto, J.J.: Existence and uniqueness results for a nonlinear coupled system involving Caputo fractional derivatives with a new kind of coupled boundary conditions. Appl. Math. Lett. 116, 107018 (2021)
Matar, M.M., Abo Amra, I., Alzabut, J.: Existence of solutions for tripled system of fractional differential equations involving cyclic permutation boundary conditions. Bound. Value Probl. 2020, 140 (2020)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)
Granas, A., Dugundji, J.: Fixed Point Theory. Springer, New York (2005)
Acknowledgements
This project was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia under grant no. (KEP-PhD-41-130-41). The authors, therefore, acknowledge with thanks DSR technical and financial support. The authors also thank the reviewers for their constructive remarks on our work.
Funding
This project was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia under grant no. (KEP-PhD-41-130-41).
Author information
Authors and Affiliations
Contributions
Each of the authors, BA, SH, AA, and SKN, contributed equally to each part of this work. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Abbreviations
Not applicable.
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, B., Hamdan, S., Alsaedi, A. et al. A study of a nonlinear coupled system of three fractional differential equations with nonlocal coupled boundary conditions. Adv Differ Equ 2021, 278 (2021). https://doi.org/10.1186/s13662-021-03440-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-021-03440-7