Abstract
In this paper, we study the existence and uniqueness of solutions for fractional differential equations with nonlocal and fractional integral boundary conditions. New existence and uniqueness results are established using the Banach contraction principle. Other existence results are obtained using O’Regan fixed point theorem and Burton and Kirk fixed point. In addition, an example is given to demonstrate the application of our main results.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Fractional differential equations have gained much importance and attention due to the fact that they have been proved to be valuable tools in the modeling of many phenomena in engineering and sciences such as physics, mechanics, economics, biology, etc. (see, for example, [16, 19, 23, 24] and references therein). Actually, the concepts of fractional derivatives are not the only generalization of the ordinary derivatives, but also it has been found that they can efficiently and properly describe the behavior of many physical systems (real-life phenomena) more accurately than integer-order derivatives.
Different kind of fixed point theorems are widely used as fundamental tools to prove the existence and uniqueness of solutions for various classes of fractional differential equations; for example, we refer the reader to [1,2,3,4, 9, 12, 14, 15, 17, 18, 21, 25, 27] and the references cited therein. Moreover, some mathematicians considered Caputo fractional differential equations with a nonlinear term depending on the Caputo derivative (see Benchohra and Souid [5], Benchohra and Lazreg [6], Benchohra et al. [7], El-Sayed and Bin-Taher [10, 11], Guezane-Lakoud and Khaldi [12], Guezane-Lakoud and Bensebaa [13], Houas and Benbachir [14], Nieto et al. [20], and Yan et al. [27]).
Motivated by the above papers, in this paper, we establish various existence and uniqueness results of solutions for a boundary value problem of nonlinear fractional differential equations of order \(\alpha \in (2,3]\) with nonlocal and fractional integral boundary conditions given by:
where \({^{c}\!D}_{0^+}^\kappa \) is the Caputo fractional derivative of order \(\kappa \in \{\alpha ,\beta , \beta _1\}\), such that \(2<\alpha \le 3\), and \(0<\beta , \beta _1 \le 1 \), and \(f: [0,1]\times \mathbb {R}^{2} \longrightarrow \mathbb {R}\) and \(g : C( [0,1], \mathbb {R}) \longrightarrow \mathbb {R}\) are continuous functions, \(I_{0^+}^{\sigma _i} \) is the Riemann–Liouville fractional integral of order \(\sigma _i > 0, i = 1, 2, \eta _1, \eta _2, a, b\) are suitably chosen real constants, such that:
The paper is organized as follows. In Sect. 2, we collect some background material and basic results about fractional calculus that will be used later. In Sect. 3, we establish the existence of solutions for the boundary value problem (1) using Banach contraction principle, O’Regan fixed point theorem, and Burton and Kirk fixed point. In the fourth section, we give an example to demonstrate the application of our main results. Finally, we add a conclusion to the paper in the last section.
2 Preliminaries
In this section, we will recall some notions and definition which we will need in the sequel (details can be found, e.g., in [16, 23, 24]).
Definition 2.1
( [16]) The Riemann–Liouville fractional integral of order \(\alpha >0\) of a function \(u \in L^1([0, 1])\) is defined by:
where \(\varGamma (\cdot )\) is the (Euler’s) Gamma function \( \varGamma (\alpha )=\int _{0}^{+\infty }e^{-t}t^{\alpha -1}\mathrm {d}t,\quad \alpha > 0. \) Moreover, for \(\alpha = 0\), we set \(I^{0}_{0^+}u := u\).
Definition 2.2
( [16, 23]) The Caputo fractional derivative of order \(\alpha \) of a function \(u \in AC^{n}([0, 1])\) is represented by:
where \(u^{(n)}(t)=\frac{{\mathrm d}^n u(t)}{{\mathrm d}t^n}, \alpha >0, n=[\alpha ]+1\) and \( [\alpha ]\) denotes the integer part of the real number \(\alpha \).
Lemma 2.3
Let \(\alpha , \beta >0,\, n=[\alpha ]+1\), and then, the following relation holds:
Lemma 2.4
Let \(\alpha>\beta >0\), and \(u \in L^1([0, 1])\). Then, we have:
-
(1)
\(I_{0^+}^{\alpha } I_{0^+}^{\beta }u(t)= I_{0^+}^{\alpha +\beta }u(t)\),
-
(2)
\({^{c}\!}D_{0^+}^{\alpha }I_{0^+}^{\alpha }u(t)=u(t)\),
-
(3)
\({^{c}\!}D_{0^+}^{\beta }I_{0^+}^{\alpha }u(t)=I_{0^+}^{\alpha - \beta }u(t)\).
Lemma 2.5
Let \(\alpha >0 \). Then, the differential equation
has solutions
where \(n-1<\alpha < n \)
Lemma 2.6
Let \(\alpha >0 \). Then:
for some \(c_j\in \mathbb {R}, j= 0, 1, 2,\dots , m -1\), where \(n = [\alpha ] + 1\).
Lemma 2.7
Let \(\alpha >0, u \in L^1([0, 1],\mathbb {R})\). Then, for all \(t \in [0, 1]\), we have:
Proof
Let \( u \in L^1([0, 1],\mathbb {R})\), and from Lemma 2.4, we have:
\(\square \)
Lemma 2.8
The fractional integral \( I_{0^+}^{{\alpha }}\), \(\alpha >0\) is bounded in \(L^1([0, 1],\mathbb {R})\) with
Proof
Let \(u \in L^1([0, 1],\mathbb {R})\), and then:
\(\square \)
Let us now introduce the space \(E=\big \{u :u \in C([0, 1], \mathbb {R}) : {^{c}\!D}_{0^+}^{\beta }u \in C([0, 1], \mathbb {R}) \big \}\) equipped with the norm:
Clearly, \((E, \Vert \cdot \Vert _{E})\) is a Banach space [26].
3 Main results
For the existence of solutions for the problem (1), we need the following lemma:
Lemma 3.1
For a given \(h\in C(J,\mathbb {R})\), the unique solution of the linear fractional boundary value problem:
supplemented with boundary conditions
is given by:
where
and \(\varDelta \) is defined by (2).
Proof
Applying the Riemann–Liouville fractional integral operator of order \(\alpha \) to both sides of (3) and using Lemma 2.6, we have:
Applying the boundary conditions (4) in (7), we find that:
Using the boundary conditions of (4) in (7), we find a system of equations:
Solving the system of equations (8) and (9) together with notations (6), we find that:
Substituting the values of \(c_0, c_1, c_2\) in (7), we obtain the solution (5). This completes the proof. \(\square \)
For computational convenience, we introduce the notations:
Define the integral operator \(T: E \longrightarrow E\) by:
Next, we introduce two operators \(T_{1, 2}: E \longrightarrow E\) as follows:
and
Clearly:
Remark 3.2
In our work, we assume that the restriction \(\varDelta \ne 0\) is satisfied, because in the case when \(\varDelta =0\), the problem (1) will be under the resonant conditions, and hence, the previously mentioned theorems are not applicable, and then, the problem can be managed using the method of Mawhin continuation theorem.
Lemma 3.3
Let \(f \in C ([0, 1] \times \mathbb {R} \times \mathbb {R}, \mathbb R)\). Then, \( u \in E\) is a solution of the fractional boundary value problem (1) if and only if \(T u(t) = u(t), \forall t \in [0, 1]\).
Proof
Let u be a solution of (1). Then, using the same method as used in Lemma 3.1, we can prove that:
Conversely, u satisfies:
and denotes the right-hand side of the equation by v(t). Then, by Lemma 2.4, we obtain:
Hence, v(t) is a solution of the fractional differential Eq. (1). Also, it is easy to verify by direct computation that v satisfies conditions (4). This completes the proof. \(\square \)
To simplify the computations in the main results, we set some notations:
In the sequel, we need the following assumptions.
-
(H1)
The function \( f: J\times \mathbb {R}\times \mathbb {R} \longrightarrow \mathbb {R} \) is continuous.
-
(H2)
$$\begin{aligned} |f(t,u_1,v_1)-f(t,u_2,v_2)|\le g(t)\left( |u_1-u_2|+|v_1-v_2|\right) . \end{aligned}$$
\(\text {for all}\; u_1,\,u_2,\,v_1,\,v_2 \in \mathbb {R}; g \in L^1 (J,\mathbb {R}_+)\;\text {and}\; t \in J.\)
-
(H3)
There exist a positive constant \(\omega < 1\) and a continuous function \(\phi : [0, \infty ) \longrightarrow [0, \infty )\), such that \(\phi (v) \le \omega v,\; \omega <\frac{1}{N_1+N_2}\) and \(|g(u) - g(v)| \le \phi (\Vert u - v\Vert )\), for all \(u,v \in C (J,\mathbb {R} )\).
-
(H4)
\(g(0) = 0\).
-
(H5)
There exist continuous nondecreasing function \(\psi :[0, \infty ) \longrightarrow (0, \infty )\) and function \(p \in L^1([0, 1],\mathbb {R}^+),\) such that:
$$\begin{aligned} |f(t, u, v)| \le p(t)\psi (|u|+|v|), \end{aligned}$$(15)for each \((t, u, v) \in [0, 1] \times \mathbb {R} \times \mathbb {R}\).
-
(H16
$$\begin{aligned} \sup _{r \in (0, \infty )} \frac{r}{(M_1+M_2)\Vert p\Vert _{L^1}\psi (r)} > \frac{1}{1-(N_1+N_2)\omega }. \end{aligned}$$(16)
-
(H7)
There exists non-negative function \(p\in L^1 (J,\mathbb {R}_+)\), such that:
$$\begin{aligned} |f(t,u,v)|\le p(t)(1+|u|+|v|), \end{aligned}$$(17)for all \(u,v \in \mathbb {R}\) and \(t \in J\).
Our first results is based on the Banach contraction principle.
Theorem 3.4
Assume \((H_1) ,(H_2)\), and \((H_3)\) hold. If
holds, then the problem (1) has a unique solution on J.
Proof
Transform the problem (1) into a fixed point problem. Clearly, the fixed points of the operator T defined by (10) are solutions of the problem (1).
Let \(u, v \in E\) and \(t\in J\), and from the definition of T, we can write:
By (H2), we can find that:
According to the Lemmas 2.7, 2.8, and (H3), we have:
Thus:
Observe that:
using similar techniques as to get (19), it yields:
Combining (19) and (20), we get:
Therefore, we have:
In view of the given condition \(\gamma _1=(M_1+M_2)\Vert g\Vert _{L^1}+(N_1+N_2)\omega )< 1\), it follows that the mapping T is a contraction. Hence, by the Banach fixed point theorem, T has a unique fixed point which is a unique solution of Problem (1). This completes the proof.\(\square \)
Our next result relies on a fixed point theorem of O’Regan [22]
Lemma 3.5
Denote by U an open set in a closed, convex set C of a Banach space E. Assume \(0 \in U\). Also assume that \(T(\overline{U} )\) is bounded and that \(F : \overline{U} \longrightarrow C\) is given by \(T = T_1 + T_2\), in which \(T_1 :\overline{U} \longrightarrow E\) is continuous and completely continuous and \(T_2 : \overline{U} \longrightarrow E\) is a nonlinear contraction (i.e., there exists a non-negative nondecreasing function \(\phi : [0, \infty ) \longrightarrow [0, \infty )\) satisfying \(\phi (z) < z\) for \(z > 0\), such that \(\Vert T_2(u) - T_2(v)\Vert \le \phi (\Vert u - v\Vert )\) for all \(u,v \in \overline{U}\)). Then, either
-
(c1)
T has a fixed point in \(\overline{U}\), or
-
(c2)
there exists \(u \in \partial U\) and \(\lambda \in (0, 1)\), such that \( u=\lambda Tu\), where \(\overline{U}\) and \(\partial U\), respectively, represent the closure and boundary of U.
Let
and denote the maximum number by:
Theorem 3.6
Suppose that (H1),(H3)–(H6) are satisfied. Then, the problem (1) has at least one solution on J.
Proof
From (H6), there exists a number \(r_0 > 0\), such that:
We shall prove that \(T_1\) and \(T_2\) defined by (11) and (12), respectively, satisfy the conditions of Lemma 3.5. We split the proof into several steps.
Step 1 : The operator \(T_1\) is completely continuous. It is clear that \(T_1\) is continuous, since f is continuous.
Next, we shall prove that the operator \(T_1\) maps bounded sets into bounded sets in E. For \( u\in \overline{B}_{r_0}\) and for each \(t \in J\), we have:
In view of (15), we obtain:
By Lemmas (2.7), ( 2.8), we obtain:
Thus:
With the same arguments as in (22), we get:
Combining (22) with (23), we get:
which shows that \(T_1\) is uniform bounded.
Now, we will prove that \(T_1(\overline{B}_{r_0})\) is equi-continuous. Let \(t_1, t_2 \in [0, 1] , t_1 < t_2, u \in \overline{B}_{r_0}\):
Some computations give:
In a like manner:
In consequence, we obtain:
as \( t_1\rightarrow t_2\) independent of \(u \in \overline{B}_{r_0}\). Therefore, the operator \(T_1\) is equi-continuous and uniformly bounded. Hence, by the Arzelá–Ascoli theorem, it follows that \(T_1(\overline{B}_{r_0})\) is relatively compact in E.
Step 2 : The operator \(T_2: \overline{B}_{r_0} \longrightarrow E\) is contractive. Let \( u, v \in \) and \(t\in J\) by (H3), we can show that:
which, in view of (H3), implies that \(T_2\) is a contraction.
Step 3: The set \(T_2( \overline{B}_{r_0})\) is bounded. For \( u \in \overline{B}_{r_0}\) and for each \(t \in J\), and by (H3) and (H4), we obtain:
Hence, \(T_2( \overline{B}_{r_0})\) is bounded.
Step 4 : Finally, we show that the case (c2) in Lemma 3.5 does not occur. To this end, we suppose that (c2) holds. Let \(u \in \partial B_{r_0}\), and then, \(u =\lambda Tu\), for some \(0< \lambda < 1\). Therefore, we have \(\Vert u\Vert _{E} = r_0\), and:
With hypotheses (H3)–(H6), we can write:
which implies that:
which contradicts (16). Consequently, we have proved that the operators \(T_1\) and \(T_2\) satisfy all the conditions in Lemma 3.5. Hence, the operator T has at least one fixed point \(u \in \overline{B}_{r_0}\), which is the solution of the boundary value problem (1).\(\square \)
Our next result relies on the following fixed point theorem due to Burton and Kirk [8]
Theorem 3.7
Let E be a Banach space, and \(A, B : E \longrightarrow E\) be two operators, such that A is a contraction and B is completely continuous. Then, either
-
the operator equation \(u = A(u) + B(u)\) has a solution, or
-
the set \(\varOmega = \big \{u \in E : \lambda A(\frac{u}{\lambda }) +\lambda B(u) = u \big \}\) is unbounded for \(\lambda \in (0, 1)\).
Then, there exists \(z\in U\), such that \(z=Az+Bz.\)
Theorem 3.8
Assume that (H1), (H3), (H4), and (H7) hold. In addition, we suppose that:
Then, the fractional boundary value problem (1) has at least one solution on J.
Proof
We define the map \(T: E \longrightarrow E\) by:
where \(T_1\) and \(T_2\) are defined by (11) and (12), respectively. Notice that Problem (1) is equivalent to the fixed point problem \(T(u) = u\). We shall prove that \(T_1\) and \(T_2\) satisfy the conditions of Theorem 3.7. For clarity, we will divide the remain of the proof into several steps.
Step 1: \(T_1\) is continuous. The continuity of f implies that the operator \(T_1\) is continuous.
Step 2: The operator \(T_1\) maps bounded sets into bounded sets in E. In a similar manner as previous proof of Theorem 3.6, we can find that:
Step 3: The operator \(T_1\) maps bounded sets into equi-continuous sets. By a discussion similar to that of Theorem 3.6, we can get:
And
as \( t_2\rightarrow t_1\). This implies that:
Step 4: The operator \(T_2\) is a contraction. This was established in Step 2 of Theorem 3.6.
Step 5: A priori bounds on solutions. Now, it remains to show that the set \(\varOmega = \big \{u \in E : \lambda T_2\left( \frac{u}{\lambda }\right) +\lambda T_1(u) = u \big \}\) is unbounded for \(\lambda \in (0, 1)\). Let \(\lambda \in (0, 1)\), and \( u \in E\) be a solution of the integral equation:
This implies by (H3), (H4), and (H7) that, for each \(t \in J\) , we have:
According to the Lemmas 2.7 and 2.8, we have:
for all \(t \in J\). In a similar manner, we obtain:
Combining (27) with (28), we get:
This shows that the set \(\varOmega \) is bounded, since \((M_1+M_2)\Vert p\Vert _{L^1}+(N_1+N_2)\omega <1\). Hence, T has a fixed point by Theorem 3.7, and consequently, the problem (1) has a solution. This completes the proof.\(\square \)
4 An example
Example 4.1
Let us consider Problem (1) with specific data:
Using the given values of the parameters in (6) and (14), by the Matlab program, we find that:
To illustrate Theorem 3.4, we take:
in (1) and note that:
for each \((t, u, v) \in [0, 1] \times \mathbb {R} \times \mathbb {R}\) and
for each \((u, v) \in \mathbb {R} \times \mathbb {R}\).
Here, \(\omega =\frac{1}{10}, g(t)=\frac{(1-t)^2}{10}\) with \(\Vert g\Vert _{L^1}=\frac{1}{30}\). Using the values of \(M_1+M_2\) and \(N_1+N_2\) given by (30), we find that \(\gamma _1=(M_1+M_2)\Vert g\Vert _{L^1}+(N_1+N_2)\omega =0.2477<1. \) As all the conditions of Theorem 3.4 are satisfied, therefore, there exists a unique solution of Problem (1) with the data (29) and (31) on J.
5 Conclusion
We have established the existence and uniqueness of solutions for fractional boundary value problem under more general assumptions. Using the techniques of fixed point theorems such as Banach contraction principle, O’Regan fixed point theorem, and Burton and Kirk fixed point theorem, we establish the main results of the paper. Finally, we conclude the paper with an example to make our results clear.
References
Abbas, S.; Albarakati, W.; Benchohra, M.; Trujillo, J.J.: Ulam stabilities for partial Hadamard fractional integral equations. Arab. J. Math. 5, 1–7 (2016)
Ahmad, B.; Ntouyas, S.K.; Assolami, A.: Caputo type fractional differential equations with nonlocal Riemann-Liouville integral boundary conditions. J. Appl. Math. Comput. 41, 339–350 (2013)
Ahmadkhanlu, A.: Existence and uniquensess for a class of fractional differential Equations with an integral fractional boundary condition. Filomat 31(5), 1241–1246 (2017)
Benchohra, M.; Hamani, S.; Ntouyas, S.K.: Boundary value problems for differential equations with fractional order and nonlocal conditions. Nonlinear Anal. 71, 2391–2396 (2009)
Benchohra, M.; Souid, M.: Integrable solutions for implicit fractional order differential equations. TJMM 6(2), 101–107 (2014)
Benchohra, M.; Lazreg, J.E.: Existence results for nonlinear implicit fractional differential equations. Surv. Math. Appl. 9, 79–92 (2014)
Benchohra, M.; Berhoun, F.; N’Guèrèkata, G.M.: Bounded solutions for fractional order differential equations on the half-line. Bull. Math. Anal. Appl 146(4), 62–71 (2012)
Burton, T.A.; Kirk, C.: A fixed point theorem of Krasnoselskii-Schaefer type. Math. Nachr. 189, 23–31 (1998)
Cabada, A.; Wang, G.: Positive solutions of nonlinear fractional differential equations with integral boundary value conditions. J. Math. Anal. 389, 403–411 (2012)
El-Sayed, A.M.A.; Bin-Taher, E.O.: Positive solutions for a nonlocal multipoint bounday-value problem of fractional and second order. Electron. J. Differ. Equ. 2013(64), 1–8 (2014)
El-Sayed, A.M.A.; Bin-Taher, E.O.: Positive solutions for a nonlocal boundaryvalue problem of a class of arbitrary (fractional) orders differential equations. Int. J. Nonlinear Sci. 14(4), 398–404 (2012)
Guezane-Lakoud, A.; Khaldi, R.: Solvability of a fractional boundary value problem with integral condition. Nonlinear Anal. 75, 2692–2700 (2012)
Guezane-Lakoud, A.; Bensebaa, S.: Solvability of a fractional boundary value problem with fractional derivative condition. Arab. J. Math. 3, 39–48 (2014)
Houas, M.; Benbachir, M.: Existence solutions for three point boundary value problem for differential equations. JFCA 6(1), 160–174 (2015)
Houas, M.; Dahmani, Z.: On existence of solutions for fractional differential equations with nonlocal multi-point boundary conditions. Lobachevskii J. Math. 37(2), 120–127 (2016)
Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J.: Theory and applications of fractional differential equations. In: North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)
Liu, Y.: Solvability of impulsive periodic boundary value problems for higher order fractional differential equations. Arab. J. Math. 5, 195–214 (2016)
Matar, M.; Trujillo, J.J.: Existence of local solutions for differential equations with arbitrary fractional order. Arab. J. Math. 5, 215–224 (2016)
Miller, K.S.; Ross, B.: An Introduction to Fractional Calculus and Fractional Differential Equations. Wiley, New YorK (1993)
Nieto, J.J.; Ouahab, A.; Venktesh, V.: Implicit fractional differential equations via the Liouville-Caputo derivative. Mathematics 3, 398–411 (2015)
Ntouyas. S. K.: Boundary value problems for nonlinear fractional differential equations and inclusions with nonlocal and fractional integral boundary conditions. Opuscula Math. 33(1), 117-138 (2013)
O’Regan, D.: Fixed-point theory for the sum of two operators. Appl. Math. Lett. 9, 1–8 (1996)
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1993)
Samko, G.; Kilbas, A.A.; Marichev, O.I.: Fractional Integral and Derivative; Theory and Applications. Gordon and Breach, Yverdon (1993)
Su, C.M.; Sun, J.P.; Zhao, Y.H.: Existence and uniqueness of solutions for BVP of nonlinear fractional differential equation. Hindawi Int. J. Differ. Equ. 2017(4683581), 1–7 (2017)
Su, X.: Boundary value problem for a coupled system of nonlinear fractional differential equations. Appl. Math. Lett. 22, 64–69 (2009)
Yan, R.; Sun, S.; Lu, H.; Zhao, Y.: Existence of solutions for fractional differential equations with integral boundary condition. Adv. Differ. Equ. 2014, 25 (2014)
Acknowledgements
We are thankful to the referees for their carefully reading and constructive comments to improve the overall quality of this work.
Author information
Authors and Affiliations
Corresponding author
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 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
Derbazi, C., Hammouche, H. Boundary value problems for Caputo fractional differential equations with nonlocal and fractional integral boundary conditions . Arab. J. Math. 9, 531–544 (2020). https://doi.org/10.1007/s40065-020-00288-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40065-020-00288-9