- Research
- Open access
- Published:
Fractional order differential systems involving right Caputo and left Riemann–Liouville fractional derivatives with nonlocal coupled conditions
Boundary Value Problems volume 2019, Article number: 109 (2019)
Abstract
In this paper, we introduce and study a new kind of coupled fractional differential system involving right Caputo and left Riemann–Liouville fractional derivatives, supplemented with nonlocal three-point coupled boundary conditions. Existence and uniqueness results for the given problem are derived with the aid of modern techniques of functional analysis. An example illustrating the existence of a unique solution is presented.
1 Introduction
In recent years, fractional order calculus has been one of the most rapidly developing areas of mathematical analysis. In fact, a natural phenomenon may not only depend on the current time but also on its previous time history. Fractional calculus facilitates modeling of such phenomena via nonlocal fractional differential and and integral operators. Fractional order differential equations naturally appear in the mathematical modeling of systems with memory. One can find numerous applications of fractional calculus in diverse fields such as mathematics, physics, chemistry, optimal control theory, finance, biology, engineering, and so on [1,2,3,4,5,6].
Fractional differential equations including both left and right fractional derivatives are also attracting much attention as they appear as the Euler–Lagrange equations in the study of variational principles, for details, see [7] and the references cited therein. Some recent results on the topic, obtained by means of different methods such as fixed point theorems, upper and lower solutions method, variational methods, etc., can be found in the papers [8,9,10,11,12]. In [9], the existence of extremal solutions to a nonlinear system with the right Riemann–Liouville fractional derivative was addressed.
In [10], the authors studied the existence of solutions for a nonlinear fractional oscillator equation with both Riemann–Liouville and Caputo fractional derivatives subject to natural boundary conditions:
where \({}^{c}D^{p}_{1-}\) and \(D^{q}_{0+}\) respectively denote the right Caputo fractional derivative of order \(p \in (0, 1)\) and the left Riemann–Liouville fractional derivative of order \(q \in (0, 1)\).
In [12], the authors used the Krasnoselskii fixed point theorem to prove the existence of solutions to the following problem involving both left Riemann–Liouville and right Caputo fractional derivatives:
where \({}^{c}D^{\alpha }_{1-}\) and \(D^{\beta }_{0+}\) respectively denote the right Caputo fractional derivative of order \(\alpha \in (0, 1)\) and the left Riemann–Liouville fractional derivative of order \(\beta \in (1, 2)\), and \(f: [0,1]\times {\mathbb{R}}\to {\mathbb{R}}\).
In [13], a nonlocal boundary value problem involving both Caputo and Riemann–Liouville fractional derivatives was studied:
where \({^{c}}D^{\alpha }_{1-}\) and \(D^{\beta }_{0+}\) denote the right Caputo fractional derivative of order \(\alpha \in (1, 2]\) and the left Riemann–Liouville fractional derivative of order \(\beta \in (0, 1]\) respectively, and \(f: J\times {\mathbb{R}} \to {\mathbb{R}}\) is a given function.
In this paper, we investigate a new coupled system of nonlinear fractional differential equations involving both right Caputo and left Riemann–Liouville fractional derivatives, equipped with nonlocal coupled boundary conditions given by
where \({}^{c}D^{\alpha }_{1-}\), \({}^{c}D^{p}_{1-}\) denote the right Caputo fractional derivatives of order \(\alpha , p \in (1, 2]\) and \(D^{\beta }_{0+}\), \(D^{q}_{0+}\) denote the left Riemann–Liouville fractional derivative of order \(\beta , q \in (0, 1]\) respectively, \(f, g: J\times {\mathbb{R}}\times {\mathbb{R}} \to {\mathbb{R}}\) are given functions and \(\gamma , \delta \in {\mathbb{R}}\) are appropriate constants. The existence and uniqueness of solutions for the given problem will be derived by applying the well-known methods of functional analysis such as the Banach fixed point theorem and the Leray–Schauder alternative.
The rest of the paper is organized as follows. In Sect. 2, we recall some basic definitions of fractional calculus and present an auxiliary lemma, which plays a pivotal role in obtaining the main results presented in Sect. 3. We also discuss an example for illustration of the existence-uniqueness result.
2 Preliminaries
This section is devoted to the preliminary concepts of fractional calculus [4] that we need in the sequel.
Definition 2.1
We define the left and right Riemann–Liouville fractional integrals of order \(\alpha >0\) of a function \(g: (0,\infty )\rightarrow {\mathbb{R}}\) respectively as
provided the right-hand sides are point-wise defined on \((0,\infty )\), where Γ is the gamma function.
Definition 2.2
The left Riemann–Liouville fractional derivative and the right Caputo fractional derivative of order \(\alpha >0\) of a continuous function \(g: (0,\infty )\to {\mathbb{R}}\) such that \(g \in C^{n}((0,\infty ), \mathbb{R})\) are respectively given by
where \(n-1<\alpha <n\).
The following lemma, dealing with a linear variant of problem (1.2), plays an important role in the forthcoming analysis.
Lemma 2.3
Let \(h, k\in C(J, {\mathbb{R}})\) and
Then the solution of the linear fractional differential system supplemented with nonlocal boundary conditions
is equivalent to a system of integral equations given by
Proof
We first apply the right fractional integrals \(I^{\alpha }_{1-}\), \(I^{p}_{1-}\) to the fractional differential equations in (2.3) and then the left fractional integrals \(I^{\beta }_{0+}\), \(I^{q}_{0+}\) to the resulting equations, and using the properties of Caputo and Riemann–Liouville fractional derivatives, we get
Using the conditions \(x(0)=0\), \(x'(0)=0\), \(y(0)=0\), \(y'(0)=0\) in (2.6) and (2.7) yields \(c_{0}=0\), \(d_{0}=0\), \(c_{2}=0\), \(d_{2}=0\). In consequence, the system of equations (2.6) and (2.7) reduces to the form:
Making use of the conditions \(x(1)=\gamma y(\eta )\), \(y(1)=\delta x( \theta )\) in (2.8) and (2.9) and solving the resulting equations for \(c_{1}\) and \(d_{1}\), we find that
which, on substituting in (2.8) and (2.9), leads to the solution system (2.4)–(2.5). The converse follows by direct computation. The proof is completed. □
3 Main results
Let us introduce the space \({\mathcal{X}}=\{x(t)|x(t)\in C([0,1], {\mathbb{R}})\}\) endowed with the norm \(\|x\|=\sup \{|x(t)|, t\in [0,1] \}\) and note that \(({\mathcal{X}},\|\cdot \|)\) is a Banach space. Then the product space \(({\mathcal{X}}\times {\mathcal{X}}, \|(x,y)\|)\) is also a Banach space equipped with the norm \(\|(x,y)\|=\|x\|+\|y\|\).
In view of Lemma 2.3, we define an operator \(T: {\mathcal{X}} \times {\mathcal{X}}\to {\mathcal{X}}\times {\mathcal{X}}\) by
where
and
For computational convenience, we set
Now we are ready to present our main results. In the first result, we prove the existence and uniqueness of solutions to system (1.2) via the Banach contraction mapping principle.
Theorem 3.1
Assume that:
- (\(H_{1}\)):
-
\(f,g:[0,1]\times \mathbb{R}\times \mathbb{R}\rightarrow \mathbb{R}\) are continuous functions and there exist positive constants \(\ell _{1}\) and \(\ell _{2}\) such that, for all \(t\in [0,1]\) and \(x_{i},y_{i}\in \mathbb{R}\), \(i=1,2\),
$$\begin{aligned}& \bigl\vert f(t,x_{1},x_{2})-f(t,y_{1},y_{2}) \bigr\vert \leq \ell _{1} \bigl( \vert x_{1}-y_{1} \vert + \vert x _{2}-y_{2} \vert \bigr), \\& \bigl\vert g(t,x_{1},x_{2})-g(t,y_{1},y_{2}) \bigr\vert \leq \ell _{2} \bigl( \vert x_{1}-y_{1} \vert + \vert x _{2}-y_{2} \vert \bigr). \end{aligned}$$
If
where \(Q_{i}\), \(i=1,2,3,4\) are given by (3.4)–(3.7), then system (1.2) has a unique solution \([0, 1]\).
Proof
Let us define a positive number r as follows:
\(N_{1}=\sup_{t\in [0,1]}|f(t,0,0)|<\infty \), \(N_{2}=\sup_{t\in [0,1]}|g(t,0,0)|=N _{2}<\infty \) and show that \(TB_{r}\subset B_{r}\), where \(B_{r}=\{(x,y) \in {\mathcal{X}}\times {\mathcal{X}}: \|(x,y)\|\le r\}\) is a closed ball. By assumption \((H_{1})\), for \((x,y)\in B_{r}\), \(t\in [0,1]\), we have
and
Also note that
where we have used the fact that \((1-s)^{\alpha }\le 1\) for \(1<\alpha \le 2\). Using the above arguments, we have
which implies that
In the same way, we can obtain that
Consequently, we get
Since \((x,y)\in B_{r}\) is arbitrary, therefore it follows that \(TB_{r}\subset B_{r}\).
Now, for \((x_{2},y_{2}), (x_{1},y_{1})\in {\mathcal{X}}\times {\mathcal{X}}\) and for any \(t\in [0,1]\), we get
which leads to the estimate
Similarly, we can find that
Then it follows from (3.8) and (3.9) that
Since \((Q_{1}+Q_{3})\ell _{1}+(Q_{2}+Q_{4})\ell _{2}<1\), therefore, T is a contraction. So, by the Banach fixed point theorem, the operator T has a unique fixed point, which corresponds to a unique solution of problem (1.2). This completes the proof. □
The second result is based on the Leray–Schauder alternative [14].
Lemma 3.2
(Leray–Schauder alternative [14, p. 4])
Let \(F: E\to E\) be a completely continuous operator (i.e., a map restricted to any bounded set in E is compact). Let
Then either the set \({\mathcal{E}}(F)\) is unbounded, or F has at least one fixed point.
Theorem 3.3
Assume that:
- (\(H_{3}\)):
-
\(f,g:[0,1]\times \mathbb{R}\times \mathbb{R}\rightarrow \mathbb{R}\) are continuous functions and there exist real constants \(k_{i},\gamma _{i}\geq 0\), \(i=0,1,2\), and \(k_{0}>0\), \(\gamma _{0}>0 \) such that
$$\begin{aligned}& \bigl\vert f(t,x_{1},x_{2}) \bigr\vert \leq k_{0} + k_{1} \vert x_{1} \vert +k_{2} \vert x_{2} \vert , \\& \bigl\vert g(t,x_{1},x _{2}) \bigr\vert \leq \gamma _{0}+ \gamma _{1} \vert x_{1} \vert +\gamma _{2} \vert x_{2} \vert , \quad \forall x _{i}\in \mathbb{R}, i=1,2. \end{aligned}$$
Then system (1.2) has at least one solution on \([0, 1]\) if
where \(Q_{i}\), \(i=1,2,3,4\) are given by (3.4)–(3.7),
Proof
We first show that the operator \(T:{\mathcal{X}} \times {\mathcal{X}}\to {\mathcal{X}}\times {\mathcal{X}}\) defined by (3.1) is completely continuous. By the continuity of functions f and g, the operator T is continuous.
Let \(\varOmega \subset {\mathcal{X}}\times {\mathcal{X}}\) be bounded. Then there exist positive constants \(L_{1}\) and \(L_{2}\) such that
Then, for any \((x,y)\in \varOmega \), we have
which implies that
In a similar manner, one can derive that
From the foregoing inequalities, we have \(\|T(x,y)\|\le (Q_{1}+Q_{3})L _{1}+(Q_{2}+Q_{4})L_{2}\), which implies that the operator T is uniformly bounded.
Next, we show that T is equicontinuous. Let \(t_{1}, t_{2} \in [0,1]\) with \(t_{1}< t_{2}\). Then we have
Analogously, we can obtain
Therefore, the operator \(T(x,y)\) is equicontinuous. In consequence, from the foregoing arguments, it follows that the operator \(T(x,y)\) is completely continuous.
Finally, it will be verified that the set \({\mathcal{E}}=\{(x,y) \in {\mathcal{X}}\times {\mathcal{X}}| (x,y)=\lambda T(x,y), 0\le \lambda \le 1\}\) is bounded. Let \((x,y)\in {\mathcal{E}}\) with \((x,y)=\lambda T(x,y)\). For any \(t\in [0,1]\), we have
Then
and
Hence we have
and
which imply that
Consequently,
where \(M_{0}=\min \{1-[(Q_{1}+Q_{3})k_{1}+(Q_{2}+Q_{4})\gamma _{1}], 1-[(Q _{1}+Q_{3})k_{2}+(Q_{2}+Q_{4})\gamma _{2})]\}\), which proves that \({\mathcal{E}}\) is bounded. Thus, by Lemma 3.2, the operator T has at least one fixed point. Hence problem (1.2) has at least one solution on \([0, 1]\). The proof is complete. □
Example 3.4
Consider the following system:
Here \(\alpha =3/2\), \(\beta =1/2\), \(p=5/2\), \(q=1/2\), \(\gamma =1/2\), \(\delta =4\), \(\eta =3/4\), \(\theta =2/3\), \(f(t,x,y)= \frac{1}{8(t+2)^{2}}\frac{|x|}{1+|x|}+1+\frac{1}{32}\sin ^{2}y\), and \(g(t,x,y)= \frac{1}{32\pi }\sin (2\pi x)+\frac{|y|}{16(1+|y|)}+\frac{1}{2}\). With the given data, we find that \(Q_{1}\approx 6.125906\), \(Q_{2}\approx 0.439438\), \(Q_{3}\approx 13.668568\), \(Q_{4}\approx 2.874670\). Note that \(|f(t,x_{1},x_{2})-f(t,y_{1},y_{2})| \le \frac{1}{32} |x_{1}-x_{2}|+ \frac{1}{32}|y_{1}-y_{2}|\), \(|g(t,x_{1},x_{2})-g(t,y_{1},y_{2})| \le \frac{1}{16} |x_{1}-x_{2}|+ \frac{1}{16}|y_{1}-y_{2}|\), and \((Q_{1}+Q_{3})\ell _{1}+(Q_{2}+Q_{4}) \ell _{2} \approx 0.825708<1 \). Thus all the conditions of Theorem 3.1 are satisfied and, consequently, its conclusion applies to problem (3.11).
4 Conclusions
We have investigated the existence criteria for a coupled system of nonlinear fractional differential equations involving right Caputo and left Riemann–Liouville fractional derivatives, equipped with nonlocal three-point coupled boundary conditions. We apply the Banach contraction mapping principle and the Leray–Schauder alternative to obtain the desired results. We emphasize that the work accomplished in this paper is new and enhances the scope of the literature on the topic. Moreover, we obtain new existence results for the given coupled fractional differential system with the boundary conditions of the form: \(x(0)=x'(0)=0\), \(x(1)=0\), \(y(0)=y'(0)=0\), \(y(1)=0\) by taking \(\gamma =0= \delta \) in the results of this paper.
References
Oldham, K.B., Spanier, J.: The Fractional Calculus. Academic Press, New York (1974)
Miller, K.S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)
Diethelm, K.: The Analysis of Fractional Differential Equations. Springer, New York (2010)
Kilbas, A.A., Trujillo, J.J., Srivastava, H.M.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
Hilfer, R.: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)
Podlubny, I.: Fractional Differential Equations. Academic Press, New York (1998)
Atanackovic, T.M., Stankovic, B.: On a differential equation with left and right fractional derivatives. Fract. Calc. Appl. Anal. 10, 139–150 (2007)
Agrawal, O.P.: Formulation of Euler–Lagrange equations for fractional variational problems. J. Math. Anal. Appl. 272, 368–379 (2002)
Zhang, L., Ahmad, B., Wang, G.: The existence of an extremal solution to a nonlinear system with the right-handed Riemann–Liouville fractional derivative. Appl. Math. Lett. 31, 1–6 (2014)
Guezane-Lakoud, A., Khaldi, R., Torres, D.: On a fractional oscillator equation with natural boundary conditions. Prog. Fract. Differ. Appl. 3, 191–197 (2017)
Khaldi, R., Guezane-Lakoud, A.: Higher order fractional boundary value problems for mixed type derivatives. J. Nonlinear Funct. Anal. 2017, Article ID 30 (2017)
Guezane Lakoud, A., Khaldi, R., Kilicman, A.: Existence of solutions for a mixed fractional boundary value problem. Adv. Differ. Equ. 2017, 164 (2017)
Ahmad, B., Ntouyas, S.K., Alsaedi, A.: Existence theory for nonlocal boundary value problems involving mixed fractional derivatives. Nonlinear Anal., Model. Control (to appear)
Granas, A., Dugundji, J.: Fixed Point Theory. Springer, New York (2005)
Acknowledgements
This project was funded by the Deanship of Scientific Research (DSR) at King Abdulaziz University, Jeddah, Saudi Arabia, under grant no. (RG-36-130-40). The authors, therefore, acknowledge with thanks DSR technical and financial support.
Availability of data and materials
Not applicable.
Funding
This project was funded by the Deanship of Scientific Research (DSR) at King Abdulaziz University, Jeddah, Saudi Arabia, under grant no. (RG-36-130-40).
Author information
Authors and Affiliations
Contributions
Each of the authors, BA, SKN, and AA, 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
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Ahmad, B., Ntouyas, S.K. & Alsaedi, A. Fractional order differential systems involving right Caputo and left Riemann–Liouville fractional derivatives with nonlocal coupled conditions. Bound Value Probl 2019, 109 (2019). https://doi.org/10.1186/s13661-019-1222-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-019-1222-0