Abstract
This paper concerns the boundary value problem of a class of fractional differential equations involving the Riemann-Liouville fractional derivative with nonlocal integral boundary conditions. By using the properties of the Green’s function and the monotone iteration technique, one shows the existence of positive solutions and constructs two successively iterative sequences to approximate the solutions, especially numerically simulates the conclusion by an example.
Similar content being viewed by others
1 Introduction
In this paper, we investigate a class of nonlinear fractional differential equations with nonlocal integral boundary value conditions of the form
where \(3<\alpha\leq4\), \(0<\eta\leq1\), λ, \(\beta>0\), \(0\leq\frac {\lambda\Gamma(\alpha)\eta^{\alpha+\beta-1}}{\Gamma(\alpha+\beta)}<1\), and \(D^{\alpha}_{0+}\) is the standard Riemann-Liouville differential operator.
It is well known that fractional order models are more realistic and practical than the classical integer order models (see, e.g., [1–7]). As a result, many mathematicians show strong interest in fractional differential equations and many wonderful results have been obtained. The techniques of nonlinear analysis, as the main method to deal with the problems of nonlinear fractional differential equations, plays an essential role in the research of this field, such as establishing the existence and the uniqueness or the multiplicity of solutions to nonlinear fractional differential equations (see, e.g., [8–16] and the references therein). Among these techniques, the monotone iteration scheme is an interesting and effective way to investigate the existence of solutions to nonlinear fractional problems (see, e.g., [17–19]).
Ahmad and Nieto [20] studied the existence and the uniqueness of solutions to the following nonlinear fractional integro-differential equation:
where \(1<\alpha\leq2\), \(0<\eta<T\), ν is a constant, \(f: [0,T]\times {\mathbb{R}}\times{\mathbb{R}}\times{\mathbb{R}}\to{\mathbb{R}}\) is continuous, and
with γ and δ being continuous functions on \([0,T]\times[0,T]\). In [21], Ahmad and Agarwal considered the existence and the uniqueness of solutions to a class of Caputo type fractional differential equation of order \(q \in (n-1, n]\) with slit-strips type boundary conditions
where \(0<\xi<\eta<\zeta<1\), a and b are positive constants. In [22], the authors considered a nonlinear fractional boundary value problem on a half-line given by
where \(1<\alpha\leq2\), \(\xi>0\). The positive extremal solutions and iterative schemes for approximating them were obtained by applying a monotone iterative method.
Zhang et al. [23] studied the existence of positive solutions to the following fractional boundary value problem:
where \(3<\alpha\leq4\), \(0<\eta\leq1\), \(0\leq\frac{\lambda\eta^{\alpha }}{\alpha}<1\). They got some results as regards the existence of positive solutions by using the properties of the Green’s function, the boundedness of \(u_{0}\), and the fixed point index theory. Jiang et al. [24] studied the fractional boundary value problem (1.2); \(h(t)f(u(t))\) and \(\lambda \int^{\eta}_{0}u(s)\,\mathrm{d}s\) were replaced by \(f(t,u(t))\) and \(\int^{\eta}_{0}u(s)\,\mathrm{d}s\), respectively. The authors obtained the existence of positive solutions to the problem (1.2) by using the monotone iterative method.
Motivated by the works mentioned above, in this article we study the differential equations (1.1) by using the fixed point theorem for increasing operators on the order intervals. We not only obtain the existence of positive solutions, but we also establish two iterative sequences to approximate the solutions. It should be pointed out that our method is different from that in [25]. The first term of the iterative sequence may be taken as a constant function or a simple function.
This paper is arranged as follows. Some lemmas needed below are listed in Section 2. The existence of the positive solutions to the problem (1.1) is proved and two successively iterative sequences to approximate the solutions are constructed in Section 3. Finally, in Section 4, an example is given to numerically simulate our conclusion.
2 Some lemmas
Lemma 2.1
Assume that \(y(t)\in C([0,1])\), then the solution to boundary value problem
can be given by
where
with \(P=1-\frac{\lambda\Gamma(\alpha)}{\Gamma(\alpha+\beta )}\eta^{\alpha+\beta-1}\). \(G(t,s)\) is called the Green’s function of boundary value problem (2.1). Obviously, \(G(t,s)\) is a continuous function on \([0,1]\times[0,1]\).
Proof
It is shown in [1, 2] that problem (2.1) is equivalent to the following integral equation:
By \(u(0)=u'(0)=u''(0)=0\), we obtain
It follows from \(u(1)=\lambda I^{\beta}_{0+}u(\eta)\), combined with
and
that
Therefore, the solution to problem (2.1) is
For \(t\leq\eta\), one has
For \(t\geq\eta\), one has
The proof is finished. □
A careful analysis of the Green’s function allows us to deduce the following results.
Lemma 2.2
The Green’s function \(G(t, s)\) has the following properties:
-
(1)
\(G(t, s)>0\), \(\forall t, s \in(0,1)\);
-
(2)
\(G(1, s)>0\), \(\forall s \in(0,1)\);
-
(3)
\(G(t,s)\leq\frac{(1-s)^{\alpha-1}t^{\alpha-1}}{P\Gamma(\alpha)}\), \(\forall t, s \in(0,1)\);
-
(4)
\(G(t,s)\geq\frac{\lambda t^{\alpha-1}\eta^{\alpha+\beta -1}}{P\Gamma(\alpha+\beta)} \{(1-s)^{\alpha-1}-(1-s)^{\alpha+\beta -1} \}\), \(\forall t, s \in(0,1)\).
Proof
Assume at first that \(0\leq s \leq t \leq1\), \(s\leq\eta\), \(0\leq\frac {\lambda\Gamma(\alpha)\eta^{\alpha+\beta-1}}{\Gamma(\alpha+\beta)}<1\), then we have
and
For \(0\leq t\leq s \leq\eta\leq1\), we have
and
For \(0\leq\eta\leq s \leq t \leq1\), we have
and
For \(0\leq t \leq s \leq1\), \(s\geq\eta\), we have
From the above, (3), (4) are complete. Clearly, (1) and (2) are true. The proof is completed. □
From Lemma 2.2, we illustrate the following lemma without proof.
Lemma 2.3
The Green’s function \(G(t, s)\) satisfies
where
3 Main results
Let Banach space \(E = C([0, 1])\) be endowed with the norm \(\| u\| _{\infty}=\max_{0\leq t \leq1}|u(t)|\). A closed cone \(K\subset E\) by \(K =\{u\in E : u\succeq0\}\), where 0 is the zero function, and the cone K is normal.
Set \(K_{a} =\{u\in K : \|u\|\leq a\}\). Define the operator \(T: K_{a}\to E\) as
It is not hard to see that the fixed points of operator T coincide with the solutions to the problem (1.1).
Lemma 3.1
([26])
Let X be a Banach space ordered by a normal cone \(K\subset X\). Assume that \(T:[x_{1}, x_{2}]\to X\) is a completely continuous increasing operator such that \(x_{1}\preceq Tx_{1}\), \(x_{2}\succeq Tx_{2}\). Then T has a minimal fixed point \(x_{*}\) and a maximal fixed point \(x^{*}\) such that \(x_{1}\preceq x_{*}\preceq x^{*}\preceq x_{2}\). Moreover, \(x_{*}=\lim_{n\to\infty }T^{n}x_{1}\), \(x^{*}=\lim_{n\to\infty}T^{n}x_{2}\), where \(\{ T^{n}x_{1}\}^{\infty}_{n=1}\) is an increasing sequence, \(\{T^{n}x_{2}\} ^{\infty}_{n=1}\) is a decreasing sequence.
For the forthcoming analysis, we need the following assumptions:
- (\(\mathrm{A}_{1}\)):
-
\(f: [0,1]\times[0,a]\to [0, \infty)\) is continuous and \(f(t,0)\not\equiv0\);
- (\(\mathrm{A}_{2}\)):
-
there exists a nonnegative function \(j\in C[0,1]\subseteq L^{1}[0,1]\) such that \(|f(t,u)|\leq j(t)\), \((t,u)\in[0,1]\times[0,a]\);
- (\(\mathrm{A}_{3}\)):
-
\(f(t,\underline{u})\leq f(t,\overline{u})\), \(t\in [0,1]\), \(0\leq\underline{u}\leq\overline{u}\leq a\).
Lemma 3.2
Assume that (\(\mathrm{A}_{1}\))-(\(\mathrm{A}_{3}\)) hold, then the operator T defined in (3.1) is a completely continuous increasing operator.
Proof
Firstly, the operator T is continuous in view of the continuity of functions \(f(t,u(t))\) and \(G(t,s)\).
Secondly, we will show that \(T(K_{a})\) is bounded. Let
Then, for any \(u\in K_{a}\), we have
For each \(u\in K_{a}\), one can show that
Therefore, for any \(t_{1}, t_{2}\in[0,1]\) with \(t_{1}< t_{2}\), we have
that is, \(T(K_{a})\) is equicontinuous.
The Arzela-Ascoli theorem implies that the operator \(T: K_{a}\to E\) is completely continuous.
The assumption (\(\mathrm{A}_{3}\)) provides that the operator \(T: K_{a}\to E\) is an increasing operator.
The proof is completed. □
Theorem 3.1
Assume that (\(\mathrm{A}_{1}\))-(\(\mathrm{A}_{3}\)) hold, and
then the problem (1.1) has two positive solutions \(u^{*}\), \(v^{*}\) satisfying \(0< u^{*}\leq v^{*}\leq a\). Moreover, there exist a non-decreasing iterative sequence \(\{u_{n}\}_{n=0}^{\infty}\) with
and a non-increasing iterative sequence \(\{v_{n}\}_{n=0}^{\infty}\) with
Proof
We only need to prove that \(Tu_{0}\geq u_{0}\) and \(Tv_{0}\leq v_{0}\):
implies \(u_{1}\geq u_{0}\), which combined with (\(\mathrm{A}_{3}\)) gives
Similarly, we have
By induction, one can prove that \(u_{n+1}\geq u_{n}\) and \(v_{n+1}\leq u_{n} \).
Lemma 3.1 shows that the operator T has a minimal fixed point \(u^{*}\) and a maximal fixed point \(v^{*}\) satisfying \(0\leq u^{*}\leq v^{*}\leq a\).
From (\(\mathrm{A}_{1}\)), we find that the zero function is not the solution to the problem (1.1). Thus \(0< u^{*}\leq v^{*}\leq a\). The proof is finished. □
Remark 3.1
The iterative sequences in Theorem 3.1 starting with a simple function is helpful for calculating.
4 An example
Consider the following boundary value problem:
where \(\alpha=\frac{7}{2}\), \(\beta=\frac{3}{2}\), \(\eta=\frac{1}{2}\), \(\lambda=5\), \(0\leq\frac{\lambda\Gamma(\alpha)\eta^{\alpha+\beta-1}}{\Gamma(\alpha +\beta)}\approx0.0433<1\), and
We take \(a=10\) for calculating conveniently. Then the assumptions (\(\mathrm{A}_{1}\))-(\(\mathrm{A}_{3}\)) hold, and
A simple calculation leads to
By Theorem 3.1, the problem (4.1) has two nontrivial solutions \(u^{*}\), \(v^{*}\) with \(0< u^{*}\leq v^{*}\leq10\), and the two monotone iterative sequences \(\{u_{n}\}_{n=1}^{\infty}\) and \(\{v_{n}\}_{n=1}^{\infty}\) can be taken as
Using MATLAB, the iterative sequences are computed and are depicted in Figure 1 and Figure 2.
References
Samko, SG, Kilbas, AA, Marichev, OI: Fractional Integral and Derivatives: Theory and Applications. Gordon & Breach, Yverdon (1993)
Miller, KS, Ross, B: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)
Podlubny, I: Fractional Differential Equations. Academic Press, San Diego (1999)
Kilbas, AA, Trujilo, JJ: Differential equations of fractional order: methods, results and problems I. Appl. Anal. 78, 153-192 (2001)
Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)
Sabatier, J, Agrawal, OP, Machado, J: Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering. Springer, Dordrecht (2007)
Lakshmikantham, V, Vatsala, AS: Basic theory of fractional differential equations. Nonlinear Anal. 69(8), 2677-2682 (2008)
Bai, ZB: On positive solutions of a nonlocal fractional boundary value problem. Nonlinear Anal. 72, 916-924 (2010)
Bai, ZB: The method of lower and upper solutions for a bending of an elastic beam equation. J. Math. Anal. Appl. 248, 195-202 (2000)
Bai, ZB, Sun, WC: Existence of solutions for a fractional multi-point boundary value problem. Comput. Math. Appl. 63, 1369-1381 (2012)
Benchohra, M, Graef, JR, Hamani, S: Existence results for boundary value problems with nonlinear fractional differential equations. Appl. Anal. 87, 851-863 (2008)
Han, XL, Gao, HL: Existence of positive solutions for eigenvalue problem of nonlinear fractional differential equations. Adv. Differ. Equ. 2012, 66 (2012)
Chen, Y, Tang, XH: Positive solutions of fractional differential equations at resonance on the half-line. Bound. Value Probl. 2012, 64 (2012)
Alsaedi, A, Ahmad, B, Assolami, A: On antiperiodic boundary value problems for higher-order fractional differential equations. Abstr. Appl. Anal. 2012, Article ID 325984 (2012)
Bai, ZB, Sun, WC, Zhang, W: Positive solutions for boundary value problems of singular fractional differential equations. Abstr. Appl. Anal. 2013, Article ID 129640 (2013)
Zhang, HN, Gao, WJ: Existence and uniqueness results for a coupled system of nonlinear fractional equations with antiperiodic boundary conditions. Abstr. Appl. Anal. 2014, Article ID 463517 (2014)
Al-Refai, M, Hajji, M: Monotone iterative sequences for nonlinear boundary value problems of fractional order. Nonlinear Anal. 74, 3531-3539 (2011)
Sun, B, Yang, A, Ge, W: Successive iteration and positive solutions for some second-order three-point p-Laplacian boundary value problems. Math. Comput. Model. 50, 344-350 (2009)
Zhang, X, Liu, L, Wu, Y, Lu, Y: The iterative solutions of nonlinear fractional differential equations. Appl. Math. Comput. 219, 4680-4691 (2013)
Ahmad, B, Nieto, JJ: Riemann-Liouville fractional integro-differential equations with fractional nonlocal integral boundary conditions. Bound. Value Probl. 2011, 36 (2011)
Ahmad, B, Agarwal, RP: Some new versions of fractional boundary value problems with slit-strips conditions. Bound. Value Probl. 2014, 175 (2014)
Zhang, L, Ahmad, B, Wang, G: Successive iterations for positive extremal solutions of nonlinear fractional differential equations on a half-line. Bull. Aust. Math. Soc. 91(1), 116-128 (2015)
Zhang, X, Wang, L, Sun, Q: Existence of positive solutions for a class of nonlinear fractional differential equations with integral boundary conditions and a parameter. Appl. Math. Comput. 226, 708-718 (2014)
Jiang, M, Zhong, S: Successively iterative method for fractional differential equations with integral boundary conditions. Appl. Math. Lett. 38, 94-99 (2014)
Sun, Y, Zhao, M: Positive solutions for a class of fractional differential equations with integral boundary conditions. Appl. Math. Lett. 34, 17-21 (2014)
Amann, H: Fixed point equations and nonlinear eigenvalue problems in order Banach spaces. SIAM Rev. 18, 620-709 (1976)
Acknowledgements
The authors are grateful to anonymous referees for their constructive comments and suggestions which have greatly improved this paper. This work is supported by NSF of China (11271154).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the manuscript. All authors read and approved the final manuscript.
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
Liu, S., Li, H. & Dai, Q. Nonlinear fractional differential equations with nonlocal integral boundary conditions. Adv Differ Equ 2015, 187 (2015). https://doi.org/10.1186/s13662-015-0534-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-015-0534-3