Abstract
In this paper, we discuss the existence and uniqueness of solutions for two new classes of sequential fractional differential equations of Riemann–Liouville and Caputo types with generalized fractional integral boundary conditions, by using standard fixed point theorems. In addition, we also demonstrate the application of the obtained results with the aid of examples.
Similar content being viewed by others
1 Introduction
In this paper, we investigate the following two nonlinear sequential fractional differential equations of Riemann–Liouville and Caputo fractional derivatives subject to the generalized fractional integral boundary conditions of the forms
and
where \({^{\mathrm{RL}}}D^{q}\) and \({^{C}}D^{r}\) denote the Riemann–Liouville and Caputo fractional derivatives of order \(0< q,r\leq1\), respectively, with \(1< q+r\leq2\), \({}^{\tilde{\rho}}I^{\tilde{\alpha},\tilde{\beta}}_{\tilde {\eta},\tilde{\kappa}}\) denote the generalized fractional integral of order \(\tilde{\alpha}>0\), \(f:[0,T]\times\mathbb{R}\rightarrow\mathbb {R}\) is a continuous function, \(\xi_{i}, \delta_{j}\in(0,T)\), \(\tilde{\alpha}\in\{\bar{\alpha_{i}},\alpha_{j}\}>0\), \(\tilde{\rho}\in\{ \bar{\rho_{i}},\rho_{j}\}\), \(\tilde{\beta}\in\{\bar{\beta_{i}},\beta_{j}\}\), \(\tilde{\eta}\in\{\bar{\eta_{i}},\eta_{j}\}\), \(\tilde{\kappa}\in\{\bar {\kappa_{i}},\kappa_{j}\}\in\mathbb{R}\), \(\gamma_{i}, \sigma_{j} \in {\mathbb {R}}\), for all \(i=1,2,\ldots,m\), \(j=1,2,\ldots,n\). Observe that interchanging the sequence of fractional derivatives in (1) and (3) has an effect on the boundary conditions which are seen in (2) and (4), namely the Caputo fractional derivative of a constant is zero while the Riemann–Liouville derivative is not.
The subject of fractional differential equations has emerged as an interesting and popular field of research in view of its extensive applications in applied and technical sciences. One can easily observe the role and importance of fractional calculus in several diverse disciplines such as physics, chemical processes, population dynamics, biotechnology, economics, etc. For examples and recent development on the topic, see [1–21] and the references cited therein. The significance of fractional derivatives owes to the fact that they serve as an excellent tool for the description of memory and hereditary properties of various materials and processes. One can notice that fractional derivatives are defined via fractional integrals. Among several types of fractional integral found in the literature, Riemann–Liouville and Hadamard fractional integrals are the most extensively studied. A new fractional integral, called generalized Riemann–Liouville fractional integral, which generalizes the Riemann–Liouville and Hadamard integrals into a single form, was introduced in [22] (see Definition 5). For more details of this integral and similar ones, we refer the reader to [23] and [24–27].
Several new existence and uniqueness results for problems (1)–(2) and (3)–(4) are proved by using a variety of fixed point theorems (such as Banach contraction principle, Krasnoselskii’s fixed point theorem, Leray–Schauder nonlinear alternative). The rest of the paper is organized as follows: in Sect. 2 we recall some preliminary facts that we need in the sequel. In Sect. 3 we present our existence and uniqueness results. Examples illustrating the obtained results are presented in Sect. 4.
2 Preliminaries
In this section, we recall some basic concepts of fractional calculus [1, 2] and present known results needed in our forthcoming analysis.
Definition 1
The Riemann–Liouville fractional derivative of order q for a function \(f: (0,\infty)\rightarrow{\mathbb {R}}\) is defined by
where \([q]\) denotes the integer part of the real number q, provided the right-hand side is pointwise defined on \((0,\infty)\).
Definition 2
The Riemann–Liouville fractional integral of order q for a function \(f: (0,\infty)\rightarrow{\mathbb {R}}\) is defined by
provided the right-hand side is pointwise defined on \((0,\infty)\).
Definition 3
The Caputo derivative of fractional order q for an n-times differentiable function \(f: (0,\infty)\rightarrow{\mathbb {R}}\) is defined as
Definition 4
The Hadamard fractional integral of order q for a function \(f: (0,\infty)\to{\mathbb {R}}\) is defined by
provided the integral exists, where \(\log(\cdot)=\log_{e}(\cdot)\).
Definition 5
The Katugampola fractional integral of order \(q>0\) and \(\rho>0\) of a function \(f(t)\) for all \(0< t<\infty\) is defined by
provided the integral exists.
Remark 1
For \(\rho=1\) in the above definition, we arrive at the standard Riemann–Liouville fractional integral, which is used to define both the Riemann–Liouville and Caputo fractional derivatives, while in the limit \(\rho\to0^{+}\) we have
which is the famous Hadamard fractional integral; see [22].
Definition 6
The Erdélyi–Kober fractional integral of order \(\delta>0\) with \(\eta>0\) and \(\gamma\in\mathbb{R}\) of a function \(f: (0,\infty)\to {\mathbb {R}}\) is defined by
provided the integral exists.
Let \(X_{c}^{p}(a,b), c\in{\mathbb {R}}, 1\le p\le\infty\) be the space of all complex-valued Lebesgue measurable functions ϕ on \((a,b)\) for which \(\|\phi\|_{X_{c}^{p}}<\infty\), with
Definition 7
([28])
Let \(f\in X_{c}^{p}(a,b)\) with \(a=0^{+}\). The generalized fractional integral of order \(\alpha>0\) and constants \(\beta,\rho,\eta,\kappa\in\mathbb {R}\) for a function \(f: (0,\infty)\to{\mathbb {R}}\) is defined by
provided the integral exists.
Remark 2
The fractional integral (5) contains six well-known fractional integrals as its particular cases (see also [28]).
From (5) we have the following special cases:
-
(i)
If \(\beta=\alpha\), \(\kappa=0\), \(\eta=0\), then (2) can be reduced to
$$ x(0)=\sum_{i=1}^{m} \gamma_{i} {^{\bar{\rho_{i}}}}\tilde{J}^{\bar{\alpha _{i}}}x( \xi_{i}),\qquad x(T)=\sum_{j=1}^{n} \sigma_{j} {^{{\rho_{j}} }}\tilde {J}^{\alpha_{j}}x( \delta_{j}), $$(6)which are the Katugampola fractional integral boundary conditions;
-
(ii)
If \(\rho=1\), \(\beta=\alpha\), \(\kappa=0\), \(\eta=0\), then (2) can be reduced to
$$ x(0)=\sum_{i=1}^{m} \gamma_{i} ^{\mathrm{RL}}I^{\bar{\alpha_{i}}}x(\xi_{i}),\qquad x(T)=\sum_{j=1}^{n}\sigma_{j} ^{\mathrm{RL}}I^{\alpha_{j}}x(\delta_{j}), $$(7)which are the Riemann–Liouville fractional integral boundary conditions;
-
(iii)
If \(\rho\rightarrow0\), \(\beta=\alpha\), \(\kappa=0\), \(\eta =0\), then (2) can be reduced
$$ x(0)=\sum_{i=1}^{m} \gamma_{i} ^{H}J^{\bar{\alpha_{i}}}x(\xi_{i}),\qquad x(T)=\sum_{j=1}^{n}\sigma_{j} ^{H}J^{\alpha_{j}}x(\delta_{j}), $$(8)which are the Hadamard fractional integral boundary conditions;
-
(iv)
If \(\beta=0\), \(\kappa=-\rho(\alpha+\eta)\), then (2) can be reduced to
$$ x(0)=\sum_{i=1}^{m} \gamma_{i} \hat{J}^{\bar{\alpha_{i}},\bar{\rho _{i}}}_{\bar{\eta_{i}}}x( \xi_{i}),\qquad x(T)=\sum_{j=1}^{n} \sigma_{j} \hat {J}^{\alpha_{j},\rho_{j}}_{\eta_{j}}x( \delta_{j}), $$(9)which are the Erdélyi–Kober fractional integral boundary conditions.
Lemma 1
([2])
Let \(q>0\). Then for \(y\in C(0, T)\cap L(0,T)\) it holds
where \(c_{i}\in\mathbb{R}\), \(i=1,2,\ldots,n\) and \(n-1< q< n\).
Lemma 2
([2])
Let \(q>0\). Then for \(y\in C(0, T)\cap L(0,T)\) it holds
where \(c_{i}\in\mathbb{R}\), \(i=0,1,2,\ldots,n-1\) and \(n=[q]+1\).
Lemma 3
Let α, \(\rho>0\) and \(\beta,\rho,\eta,\kappa\in\mathbb{R}\), \(m>0\) and \(\rho(\alpha+\eta)+m+\kappa\geq0\). Then we have
Proof
Now we state the definition of the beta function and its property, which for \(x,y >0\) read
From Definition 7 and by changing the variable of integration, we can compute the following formula:
The proof is completed. □
Before going to prove the next lemma, for convenience, we set constants
and
where
Lemma 4
Let \(0< q,r\leq1\) with \(1< q+r\leq2\), \(\bar{\rho_{i}}\), \(\rho_{j}\), q, r, \(\bar{\alpha_{i}}\), \(\alpha_{j} >0\), \(\xi_{i}\), \(\delta_{j}\in(0,T)\), \(\bar {\beta_{i}}\), \(\bar{\eta_{i}}\), \(\bar{\kappa_{i}}\), \(\beta_{j}\), \(\eta_{j}\), \(\kappa_{j}\in\mathbb{R}\) for \(i=1,2,\ldots,m\), \(j=1,2,\ldots,n\), \(\Omega \ne0\) and \(y\in C([0,T], \mathbb{R})\). The unique solution of the following linear sequential Riemann–Liouville and Caputo fractional differential equation
subject to the generalized fractional integral boundary conditions
is given by the integral equation
Proof
Applying the Riemann–Liouville fractional integral of orders q and r, respectively, to both sides of (13) and using Lemmas 1 and 2, we have
where constants \(c_{1}\), \(c_{2}\in\mathbb{R}\).
Using the nonlocal boundary condition (14) to the above equation with Lemma 3 and the above-set constants, we obtain the following linear system of constants \(c_{1}\) and \(c_{2}\):
Solving the above system of linear equations for the constants \(c_{1}\), \(c_{2}\), we have
Substituting constants \(c_{1}\) and \(c_{2}\) into (16), we obtain integral equation (15). The converse follows by direct computation. The proof is completed. □
Remark 3
Since \(q+r>1\), equation (16) is well defined when \(t=0\).
Lemma 5
The linear sequential Caputo and Riemann–Liouville fractional differential equation
assuming (4), can be written as an integral equation
where the constant \(\Omega^{*}\neq0\) is defined by
Proof
By taking the Riemann–Liouville fractional derivative of orders q and r, respectively, of (17), we obtain
Condition \(x(0)=0\) implies \(c_{2}=0\). Applying the boundary condition (4) and using the same method as in Lemma 4 for finding a constant \(c_{1}\), we obtain (18) as desired. This completes the proof. □
Remark 4
If \(c_{2}\neq0\), then (19) is singular in the case \(t=0\) and \(q\in(0,1)\).
The following fixed point theorems are fundamental in the proofs of our main results.
Lemma 6
(Krasnoselskii’s fixed point theorem, [29])
Let M be a closed, bounded, convex and nonempty subset of a Banach space X. Let A, B be the operators such that (a) \(Ax+By\in M\) whenever \(x,y\in M\); (b) A is compact and continuous; (c) B is a contraction mapping. Then there exists \(z\in M\) such that z=Az+Bz.
Lemma 7
(Nonlinear alternative for single-valued maps, [30])
Let E be a Banach space, C be a closed, convex subset of E, U be an open subset of C and \(0\in U\). Suppose that \(F:\overline{U}\rightarrow C\) is a continuous, compact (that is, \(F(\overline{U})\) is a relatively compact subset of C) map. Then either
-
(i)
F has a fixed point in U̅, or
-
(ii)
there is a \(u\in\partial U\) (the boundary of U in C) and \(\lambda\in(0,1)\) with \(u=\lambda F(u)\).
3 Main results
In this section, we will use fixed point theorems to prove the existence and uniqueness of solutions for problems (1)–(2) and (3)–(4). Throughout this paper, for convenience, we use the abbreviate notations
and
for \(v\in[0,T]\), where \(z\in\{t,T\}\), \(v\in\{\xi_{i},\delta_{j}\}\), \(\tilde{\rho}\in\{\bar{\rho_{i}},\rho_{j}\}\), \(\tilde{\alpha}\in\{\bar {\alpha_{i}},\alpha_{j}\}\), \(\tilde{\beta}\in\{\bar{\beta_{i}},\beta_{j}\}\), \(\tilde{\eta}\in\{\bar{\eta_{i}},\eta_{j}\}\), \(\tilde{\kappa}\in\{\bar {\kappa_{i}},\kappa_{j}\}\), \(i=1,2,\ldots,m\), \(j=1,2,\ldots,n\).
Let \(\mathcal{C}=C([0, T],\mathbb{R})\) denote the Banach space of all continuous functions from \([0, T]\) to \(\mathbb{R}\) endowed with the norm defined by \(\|x\|=\sup_{t\in[0, T]}|x(t)|\). By Lemma 4, we define an operator \(\mathcal{F}:\mathcal{C}\rightarrow\mathcal{C}\) by
with \(\Omega\neq0\). It should be noticed that problem (1)–(2) has solutions if and only if the operator \(\mathcal{F}\) has fixed points. For the sake of convenience, we put a constant
To prove the existence theorems for problem (3)–(4), by Lemma 5, we define an operator \(\mathcal{H}:\mathcal{C}\rightarrow\mathcal{C}\) by
The first existence and uniqueness result is based on the Banach contraction mapping principle.
Theorem 1
Let \(f: [0,T]\times{\mathbb {R}}\to{\mathbb {R}}\) be a continuous function satisfying the following assumption:
- \((H_{1})\) :
-
There exists a constant \(L>0\) such that \(|f(t,x)-f(t,y)|\leq L|x-y|\), for each \(t\in[0, T]\) and \(x, y\in \mathbb{R}\).
If
where a constant Φ is given by (21), then the boundary value problem (1)–(2) has a unique solution on \([0,T]\).
Proof
Problem (1)–(2) can be transformed into a fixed point problem, \(x=\mathcal{F}x\), where the operator \(\mathcal {F}\) is defined by (20). By using the Banach’s contraction mapping principle, we shall show that \(\mathcal{F}\) has a fixed point which is the unique solution of problem (1)–(2).
Let us set \(\sup_{t \in[0,T]}|f(t,0)|=M < \infty\) and choose
as a radius of the ball \(B_{r}\), where \(B_{r}=\{x \in \mathcal{C}: \|x\|\le r \}\). From inequality (23), a constant r is well defined. Now, we show that \(\mathcal{F} B_{r} \subset B_{r}\). For any \(x \in B_{r}\), and taking into account Lemma 3, we obtain
which gives \(\mathcal{F}B_{r}\subset B_{r}\).
For \(x,y\in\mathcal{C}\) and for each \(t\in[0, T]\), we obtain
The above result leads to \(\|\mathcal{F}x-\mathcal{F}y\|\leq L\Phi\| x-y\|\). As \(L\Phi<1\), therefore the operator \(\mathcal{F}\) is a contraction. Hence, by the Banach contraction mapping principle, we deduce that \(\mathcal{F}\) has a fixed point which is the unique solution of the problem (1)–(2). The proof is completed. □
Corollary 1
Let condition \((H_{1})\) in Theorem (1) hold. If \(L\Phi^{*}<1\), where \(\Phi^{*}\) is defined by
then the boundary value problem (3)–(4) has a unique solution on \([0,T]\).
Next, we give the second existence theorem by using Krasnoselskii’s fixed point theorem.
Setting a constant
Note that \(\Phi_{1}\leq\Phi\). Now, we state and prove the second result.
Theorem 2
Assume that \(f:[0,T]\times\mathbb{R}\rightarrow\mathbb{R}\) is continuous and satisfies assumption \((H_{1})\) of Theorem 1. In addition we suppose that:
- \((H_{2})\) :
-
\(|f(t,x)|\leq\phi(t)\), \(\forall(t,x)\in[0, T]\times \mathbb{R}\) and \(\phi\in C([0,T],\mathbb{R}^{+})\).
If the inequality
holds, then the boundary value problem (1)–(2) has at least one solution on \([0, T]\).
Proof
Let us define a suitable ball \(B_{\overline{r}}=\{x\in \mathcal{C}:\|x\|\leq\overline{r}\}\), where the radius r̅ is defined by
with \(\sup_{t\in[0,T]}|\phi(t)|=\|\phi\|\) and Φ defined by (21). Furthermore, we define two operators \(\mathcal{P}\) and \(\mathcal{Q}\) on \(B_{\overline{r}}\) as
Observe that \(\mathcal{F}x=\mathcal{P}x+\mathcal{Q}x\). For \(x,y \in B_{\overline{r}}\), we have
This shows that \(\mathcal{P} x+ \mathcal{Q} y\in B_{\overline{r}}\). Therefore, condition (a) of Lemma 6 holds. Using assumption \((H_{1})\) with the inequality in (24), we deduce that operator \(\mathcal{Q}\) is a contraction mapping which satisfies condition (c) of Lemma 6.
Now, we will show that operator \(\mathcal{P}\) satisfies condition (b) of Lemma 6. Since f is a continuous function, we have that operator \(\mathcal{P}\) is continuous. Next, we prove compactness of operator \(\mathcal{P}\). It is easy to verify that
Hence, \(\mathcal{P}(B_{\overline{r}})\) is a uniformly bounded set. Let us put \(\sup_{(t,x)\in[0,T]\times B_{\overline{r}}}|f(t,x)| =\overline{f}<\infty\). Consequently, we get
which is independent of x and tends to zero as \(t_{2}\rightarrow t_{1}\). Hence, the set \(\mathcal{P}(B_{\overline{r}})\) is equicontinuous. Hence, by the Arzelá–Ascoli theorem, the set \(\mathcal {P}(B_{\overline{r}})\) is relatively compact. Therefore, the operator \(\mathcal{P}\) is compact on \(B_{\overline{r}}\). Thus all the assumptions of Lemma 6 are satisfied. Then the boundary value problem (1)–(2) has at least one solution on \([0, T]\). The proof is completed. □
Remark 5
In the above theorem, we can interchange the roles of operators \({\mathcal {P}}\) and \({\mathcal {Q}}\) to obtain a second result, replacing (24) by the following condition:
Corollary 2
Assume that \((H_{1})\) and \((H_{2})\) are fulfilled. If either
or
holds, then the boundary value problem (3)–(4) has at least one solution on \([0,T]\).
Now, our third existence theorem will be proved by using the Leray–Schauder’s Nonlinear Alternative.
Theorem 3
Assume that \(f:[0, T]\times\mathbb{R}\rightarrow\mathbb{R}\) is a continuous function. In addition, we suppose that:
- \((H_{3})\) :
-
There exist a continuous nondecreasing function \(\psi :[0,\infty)\rightarrow(0,\infty)\) and a function \(p \in C([0, T],\mathbb {R}^{+})\) such that
$$ \bigl\vert f(t,x) \bigr\vert \leq p(t)\psi\bigl( \Vert x \Vert \bigr)\quad \textit{for each }(t,x)\in[0,T]\times\mathbb{R}; $$ - \((H_{4})\) :
-
There exists a constant \(N>0\) such that
$$\begin{aligned} \frac{N}{ \Vert p \Vert \psi(N)\Phi}> 1, \end{aligned}$$where Φ is defined by (21).
Then the boundary value problem (1)–(2) has at least one solution on \([0, T]\).
Proof
To apply Lemma 7, we define a bounded ball in \(\mathcal{C}\) by \(B_{R}=\{x\in\mathcal{C}:\|x\|\leq R\}\), \(R>0\). Now, we shall show that the operator \(\mathcal{F}\) defined by (20), maps bounded sets \(B_{R}\) into bounded sets in \(\mathcal {C}\). For \(t\in[0, T]\) we have
Therefore, we conclude that \(\|\mathcal{F}x\|\leq\|p\|\psi(R)\Phi\), which implies that the set \(\mathcal{F}(B_{R})\) is uniformly bounded.
Next, we will show that \(\mathcal{F}\) maps a bounded set \(B_{R}\) into an equicontinuous set in \(\mathcal{C}\). Let \(\nu_{1}, \nu_{2}\in[0, T]\) with \(\nu_{1}<\nu_{2}\) and for any \(x\in B_{R}\). Then we have
Obviously, the right-hand side of the above inequality tends to zero independently of \(x\in B_{R}\) as \(\nu_{2}\rightarrow\nu_{1}\). Thus \(\mathcal{F}(B_{R})\) is an equicontinuous set. Therefore, it follows by the Arzelá–Ascoli theorem that \(\mathcal{F}:\mathcal{C}\rightarrow \mathcal{C}\) is completely continuous.
Let x be a solution of boundary value problem (1)–(2). Hence, for \(t\in[0, T]\), and using the above method, we have
which can be written as
In view of \((H_{4})\), there exists an N such that \(\|x\|\neq N\). Now we define a set
Note that the operator \(\mathcal{F}:\overline{U}\rightarrow\mathcal {C}\) is continuous and compact. From the choice of U, there is no \(x\in\partial U\) such that \(x=\theta\mathcal{F}x\) for some \(\theta\in (0,1)\). Consequently, by the nonlinear alternative of Leray–Schauder type (Lemma 7) we get that \({\mathcal {F}}\) has a fixed point in U̅, which is a solution of the boundary value problem (1)–(2). This completes the proof. □
Corollary 3
Let condition \((H_{3})\) in Theorem 3 hold. If there exists a constant \(N>0\) such that
then the boundary value problem (3)–(4) has at least one solution on \([0, T]\).
The following corollary is obtained by substituting \(p(t)\equiv1 \) and \(\psi(|x|)=M|x|+K\). Then we can use the following assumption.
- \((H_{5})\) :
-
There exist constants \(M>0\) and \(K\geq0\) such that
$$ \bigl\vert f(t,x) \bigr\vert \leq M \vert x \vert +K \quad\textit{for each } (t,x)\in[0, T] \times\mathbb{R}. $$
Corollary 4
Assume that a continuous function \(f:[0,T]\times\mathbb{R}\rightarrow \mathbb{R}\) satisfies condition \((H_{5})\).
4 Examples
Example 1
Consider the following nonlinear sequential Riemann–Liouville and Caputo fractional differential equation with generalized fractional integral conditions:
Here \(q=1/2\), \(r=3/4\), \(m=2\), \(n=3\), \(T=5\), \(\gamma_{1}=1/3\), \(\gamma _{2}=1/2\), \(\bar{\rho_{1}}=1/2\), \(\bar{\rho_{2}}=3/2\), \(\bar{\alpha_{1}}=1/2\), \(\bar{\alpha_{2}}=3/2\), \(\bar{\beta_{1}}=3/4\), \(\bar{\beta_{2}}=1/2\), \(\bar {\eta_{1}}=3/2\), \(\bar{\eta_{2}}=1/2\), \(\bar{\kappa_{1}}=1/2\), \(\bar{\kappa _{2}}=1/3\), \(\xi_{1}=3/2\), \(\xi_{2}=5/2\), \({\sigma_{1}=2/3}\), \({\sigma_{2}=5/7}\), \({\sigma_{3}=11/16}\), \(\rho_{1}=1/3\), \(\rho_{2}=3/2\), \(\rho_{3}=5/2\), \(\alpha_{1}=1/4\), \(\alpha_{2}=1/3\), \(\alpha _{3}=5/2\), \(\beta_{1}=1/4\), \(\beta_{2}=1/4\), \(\beta_{3}=1/2\), \(\eta_{1}=1/2\), \(\eta_{2}=1/2\), \(\eta_{3}=3/2\), \(\kappa_{1}=1/3\), \(\kappa_{2}=3/2\), \(\kappa _{3}=1/2\), \(\delta_{1}=1/2\), \(\delta_{2}=7/2\), \(\delta_{3}=9/2\) and \(f(t,x)=((\cos^{2}(2\pi t))/({(t^{2}+5)}^{2}+35))\cdot ( (x^{2}+2|x|)/(|x|+1) ) +e^{t}\). From the given information, we find that \(\Phi=26.98694773\). Since
condition \((H_{1})\) is satisfied with \(L=1/30\). Thus
Hence, by Theorem 1, the boundary value problem (26) has a unique solution on \([0,5]\).
Example 2
Consider the following nonlinear sequential Riemann–Liouville and Caputo fractional differential equation with generalized fractional integral conditions:
Here \(q=4/5\), \(r=1/2\), \(m=3\), \(n=3\), \(T=3\), \(\gamma_{1}=1/2\), \(\gamma _{2}=1/3\), \(\gamma_{3}=5/6\), \(\bar{\rho_{1}}=1/2\), \(\bar{\rho_{2}}=1/3\), \(\bar {\rho_{3}}=1/4\), \(\bar{\alpha_{1}}=1/2\), \(\bar{\alpha_{2}}=1/3\), \(\bar{\alpha _{3}}=1/2\) \(\bar{\beta_{1}}=1/4\), \(\bar{\beta_{2}}=1/2\), \(\bar{\beta_{3}}=1/2\) \(\bar{\eta_{1}}=1/2\), \(\bar{\eta_{2}}=1/2\), \(\bar{\eta_{3}}=1/4\), \(\bar{\kappa _{1}}=1/4\), \(\bar{\kappa_{2}}=1/2\), \(\bar{\kappa_{3}}=1/4\), \(\xi_{1}=1/2\), \(\xi _{2}=2/3\), \(\xi_{3}=3/2\), \({\sigma_{1}=1/4}\), \({\sigma_{2}=1/3}\), \({\sigma_{3}=5/6}\), \(\rho_{1}=1/4\), \(\rho_{2}=1/3\), \(\rho_{3}=1/4\), \(\alpha_{1}=1/3\), \(\alpha_{2}=1/3\), \(\alpha _{3}=1/4\), \(\beta_{1}=1/2\), \(\beta_{2}=1/3\), \(\beta_{3}=1/2\), \(\eta_{1}=1/4\), \(\eta_{2}=1/2\), \(\eta_{3}=1/2\), \(\kappa_{1}=1/4\), \(\kappa_{2}=1/2\), \(\kappa _{3}=1/4\), \(\delta_{1}=4/3\), \(\delta_{2}=7/3\), \(\delta_{3}=5/2\) and \(f(t,x)=((e^{-t^{2}})/((t+2)^{2}+2))\cdot((|x|)/(|x|+1))+(t/(t+1))\). From the above information, we can find that \(\Phi=11.03750380\) and \(\Phi _{1}=5.898666195\). From \(|f(t,x)-f(t,y)|\leq(1/6)|x-y|\), we set \(L=1/6\), which is a constant satisfying \((H_{1})\). Since \(L\Phi=1.839583967>1\), Theorem 1 cannot be used in this example. However, we can check that
and
which is needed in condition \((H_{2})\) in Theorem 2. Hence, by Theorem 2, the boundary value problem (27) has at least one solution on \([0,3]\).
References
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)
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)
Klafter, J., Lim, S.C., Metzler, R. (eds.): Fractional Dynamics in Physics. World Scientific, Singapore (2011)
Zhou, Y.: Basic Theory of Fractional Differential Equations. World Scientific, Hackensack (2014)
Ahmad, B., Nieto, J.J.: Riemann–Liouville fractional integro-differential equations with fractional nonlocal integral boundary conditions. Bound. Value Probl. 2011, 36 (2011)
Bai, Z.B., Sun, W.: Existence and multiplicity of positive solutions for singular fractional boundary value problems. Comput. Math. Appl. 63, 1369–1381 (2012)
O’Regan, D., Stanek, S.: Fractional boundary value problems with singularities in space variables. Nonlinear Dyn. 71, 641–652 (2013)
Ahmad, B., Ntouyas, S.K., Alsaedi, A.: A study of nonlinear fractional differential equations of arbitrary order with Riemann–Liouville type multistrip boundary conditions. Math. Probl. Eng. 2013, Article ID 320415 (2013)
Zhang, L., Ahmad, B., Wang, G., Agarwal, R.P.: Nonlinear fractional integro-differential equations on unbounded domains in a Banach space. J. Comput. Appl. Math. 249, 51–56 (2013)
Liu, X., Jia, M., Ge, W.: Multiple solutions of a p-Laplacian model involving a fractional derivative. Adv. Differ. Equ. 2013, 126 (2013)
Wang, J.R., Zhou, Y., Feckan, M.: On the nonlocal Cauchy problem for semilinear fractional order evolution equations. Cent. Eur. J. Math. 12, 911–922 (2014)
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., Etemad, S.: On the existence of solutions for fractional differential inclusions with sum and integral boundary conditions. Appl. Math. Comput. 266, 235–243 (2015)
Ntouyas, S.K., Etemad, S., Tariboon, J.: Existence of solutions for fractional differential inclusions with integral boundary conditions. Bound. Value Probl. 2015, 92 (2015)
Ntouyas, S.K., Etemad, S., Tariboon, J.: Existence results for multi-term fractional differential inclusions. Adv. Differ. Equ. 2015, 140 (2015)
Qarout, D., Ahmad, B., Alsaedi, A.: Existence theorems for semi-linear Caputo fractional differential equations with nonlocal discrete and integral boundary conditions. Fract. Calc. Appl. Anal. 19, 463–479 (2016)
Zhou, Y., Shangerganesh, L., Manimaran, J., Debbouche, A.: A class of time—fractional reaction–diffusion equation with nonlocal boundary condition. Math. Methods Appl. Sci. 41, 2987–2999 (2018)
Zhou, Y.: Attractivity for fractional evolution equations with almost sectorial operators. Fract. Calc. Appl. Anal. 21, 786–800 (2018)
Ahmad, B., Ntouyas, S.K.: Some fractional-order one-dimensional semi-linear problems under nonlocal integral boundary conditions. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 110, 159–172 (2016)
Jia, M., Zhang, H., Chen, Q.: Existence of positive solutions for fractional differential equation with integral boundary conditions on the half-line. Bound. Value Probl. 2016, 104 (2016)
Ahmad, B., Ntouyas, S.K., Tariboon, J.: A study of mixed Hadamard and Riemann–Liouville fractional integro-differential inclusions via endpoint theory. Appl. Math. Lett. 52, 9–14 (2016)
Katugampola, U.N.: New approach to a generalized fractional integral. Appl. Math. Comput. 218, 860–865 (2015)
Malinowska, A.B., Odzijewicz, T., Torres, D.F.M.: Advanced Methods in the Fractional Calculus of Variations. Springer, Berlin (2015)
Butkovskii, A.G., Postnov, S.S., Postnova, E.A.: Fractional integro-differential calculus and its control-theoretical applications in mathematical fundamentals and the problem of interpretation. Autom. Remote Control 74, 543–574 (2013)
Pooseh, S., Almeida, R., Torres, D.F.M.: Expansion formulas in terms of integer-order derivatives for the Hadamard fractional integral and derivative. Numer. Funct. Anal. Optim. 33, 301–319 (2012)
Gambo, Y.Y., Ameen, R., Jarad, F., Abdeljawad, T.: Existence and uniqueness of solutions to fractional differential equations in the frame of generalized Caputo fractional derivatives. Adv. Differ. Equ. 2018, 134 (2018)
Mahmudov, N.I., Emin, S.: Fractional-order boundary value problems with Katugampola fractional integral conditions. Adv. Differ. Equ. 2018, 81 (2018)
Katugampola, U.N.: New fractional integral unifying six existing fractional integrals (2016) arXiv:1612.08596v1 [math.CA]
Krasnoselskii, M.A.: Two remarks on the method of successive approximations. Usp. Mat. Nauk 10, 123–127 (1955)
Granas, A., Dugundji, J.: Fixed Point Theory. Springer, New York (2003)
Funding
This research was funded by King Mongkut’s University of Technology North Bangkok. Contract no. KMUTNB-60-ART-072.
Author information
Authors and Affiliations
Contributions
The authors have contributed equally to this manuscript. They 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
Promsakon, C., Phuangthong, N., Ntouyas, S.K. et al. Nonlinear sequential Riemann–Liouville and Caputo fractional differential equations with generalized fractional integral conditions. Adv Differ Equ 2018, 385 (2018). https://doi.org/10.1186/s13662-018-1854-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-018-1854-x