 Research
 Open Access
On the existence of solution for fractional differential equations of order \(3<\delta_{1}\leq4\)
 Dumitru Baleanu†^{1, 2}Email author,
 Ravi P Agarwal†^{3},
 Hasib Khan†^{4, 5},
 Rahmat Ali Khan†^{4} and
 Hossein Jafari†^{6, 7}
https://doi.org/10.1186/s1366201506861
© Baleanu et al. 2015
 Received: 29 August 2015
 Accepted: 5 November 2015
 Published: 26 November 2015
Abstract
In this paper, we deal with a fractional differential equation of order \(\delta_{1}\in(3,4]\) with initial and boundary conditions, \(\mathcal{D}^{\delta_{1}}\psi(x)=\mathcal{H}(x,\psi(x))\), \(\mathcal{D}^{\alpha_{1}} \psi(1)=0=\mathcal{I}^{3\delta_{1}}\psi(0)= \mathcal{I}^{4\delta_{1}}\psi(0)\), \(\psi(1) = \frac{\Gamma(\delta_{1}\alpha_{1})}{\Gamma(\nu_{1})}\mathcal{I}^{\delta _{1}\alpha_{1}} \mathcal{H}(x,\psi(x))(1)\), where \(x\in[0,1]\), \(\alpha_{1} \in(1,2]\), addressing the existence of a positive solution (EPS), where the fractional derivatives \(\mathcal{D}^{\delta_{1}}\), \(\mathcal{D}^{\alpha_{1}}\) are in the RiemannLiouville sense of the order \(\delta_{1}\), \(\alpha_{1}\), respectively. The function \(\mathcal{H}\in C([0,1]\times{R} , {R})\) and \(\mathcal{I}^{\delta_{1}\alpha_{1}}\mathcal{H}(x,\psi(x))(1)=\frac {1}{\Gamma(\delta_{1}\alpha_{1})} \int_{0}^{1}(1z)^{\delta_{1}\alpha_{1}1}\mathcal{H}(z,\psi(z))\,dz\). To this aim, we establish an equivalent integral form of the problem with the help of a Green’s function. We also investigate the properties of the Green’s function in the paper which we utilize in our main result for the EPS of the problem. Results for the existence of solutions are obtained with the help of some classical results.
Keywords
 existence of positive solutions
 Green’s function
 Krasnosel’skiĭ theorem
 ArzelaAscoli theorem
1 Introduction
Fractional differential equations (FDEs) in different scientific fields have attracted the attention of scientists. Scientists are utilizing different and new mathematical tools for the study of FDEs. The study in applied scientific fields can be observed in fields like physics, biology, chemistry, economics, mechanics, aerodynamics, biophysics, etc. [1, 2].
In the study of FDEs, one can see valuable scientific work for the existence and uniqueness of solution (EUS), multiple positive solutions for the nonlinear boundary value problems (BVPs). This work is nowadays a lively research area and scientists are highly interested in it. Scientists have given good contributions to this area, some of their work can be studied in [3–7]. Here we highlight some useful and new important scientific work in FDEs. Work on the integrodifferential equations as regards the existence of solutions can be studied in [4]. Baleanu et al. [5] considered the existence of a solution for a class of sequential FDEs in the RiemannLiouville sense. Agarwal et al. [6] have considered a class of FDEs with two fractional derivatives for the existence of solutions in the Caputo sense. Agarwal et al. [7] studied a class of FDEs with sum boundary conditions. Abbas [8] studied a FDE of order \(\alpha\in(m1,m]\) in Caputo’s sense for the EUS by using Schaefer’s fixed point theorem and Hölder’s inequality. Baleanu et al. [9] considered a finite difference inclusion of fractional order \(2<\gamma<3\) for the existence of solutions. Wu and Liu [10] investigated a FDE of an mpoint BVP at resonance in Caputo’s sense by the use of a LeggettWilliams normtype theorem. Xin and Zhao [11] have considered a Rayleigh equation for a periodic solution with the help of coincidence degree theory. Sitho et al. [12] have studied a class of hybrid fractional integrodifferential equations. Naceri et al. [13] have considered a fourth order differential equation with deviating arguments for the existence of solutions with the help of upper and lower solutions and Schauder’s fixed point theorem. Henderson and Luca [14] have considered a coupled system of a fractional order BVP in the RiemannLiouville sense for the nonexistence of solutions.
Third order ordinary differential equations (TOODEs) are very much popular in the mathematical modeling of engineering problems. Fakhar and Kara [15] have given many examples of TOODEs related to boundary layer models of the type \(\psi'''=(\psi\psi''\psi^{\prime2}A(\psi '+\frac{1}{2}\eta\psi'')M^{2}\psi')\), Blasius flow which is equivalent to the TOODE \(2\psi'''=\psi\psi''\), the FalknerSkan equation \(\psi'''=(\psi\psi''+\beta(1\psi^{\prime2}))\), and many different classes of canonical Chazy equations. Mohammadyari et al. [16] have described a model of magneto hydrodynamics and have presented the analytical solution of the model by a differential transform method; the model is equivalent to the TOODE \(\psi'''+\operatorname{Re}(\psi^{\prime2}\psi\psi'')M^{2}\psi'=0\) with conditions \(\psi =0\), \(\psi''=0\), at \(x=0\) and \(\psi=1/2\), \(\psi'=0\) at \(x=1/2\). All these models are special cases of our proposed problem.
This paper is organized in four sections. The first section is a literature review including the most relevant and recent contributions. In the second section, we produce the equivalent integral form of the problem (1) with the help of a Green’s function. Also some properties of the Green’s function for the problem (1) are studied. In the third section we have our main theorem for the existence of solution of the problem (1) based on the Krasnosel’skiĭ fixed point theorem and the ArzelaAscoli theorem. The final section presents the conclusion of the paper and future plans as regards the problem (1).
In this paper we will need the definitions of a fractional order integral and the fractional order derivative in the RiemannLiouville sense and some basic results of fractional calculus. Some basic definitions and results are hereby given; for more details one may refer to the references.
Definition 1
Definition 2
Lemma 3
For \(\delta_{1}, \epsilon>{0}\), such that \(n1<\delta_{1}<n\), the following relations hold: \(\mathcal{D}^{\delta_{1}}x^{\epsilon}= \frac{\Gamma(1+\epsilon)}{\Gamma(1+\epsilon\delta_{1})} x^{\epsilon\delta_{1}}\), \(\epsilon\geq{n}\) and \(\mathcal{D}^{\delta_{1}}x^{\epsilon}=0\) if \(\epsilon\leq n1\).
Lemma 4
Let \(a, b\geq{0}\) and \(\mathcal{H}\in{L_{1}[p,q]}\). Then \(I_{0^{+}}^{a}I_{0^{+}}^{b}\mathcal{H}(x)=I_{0^{+}}^{a+b}\mathcal {H}(x)=I_{0^{+}}^{b}I_{0^{+}}^{a}\mathcal{H}(x)\) and \(D^{b} I_{0^{+}}^{b}\mathcal{H}(x)=\mathcal{H}(x)\), for all \(x\in[p,q]\).
Lemma 5
2 Green’s function and properties
Lemma 6
Proof
Lemma 7
 (A_{1}):

\(\mathcal{K}(x,z)\) is continuous and \(\mathcal{K}(x,z)\geq0\) for each \(x, z\in\mathcal{J}\);
 (A_{2}):

\(\max_{x\in\mathcal{J}} \mathcal{K}(x,z)=\mathcal{K}(1,z)\) for each \(z\in\mathcal{J}\);
 (A_{3}):

\(\min_{x\in[\frac{1}{3},1]}\mathcal{K}(x,z)\geq\lambda_{0}\mathcal {K}(1,z)\) for some \(\lambda_{0}\in(0,1)\).
Proof
3 Existence criterion
In this section, we address the existence of a positive solution of our problem (1). For this purpose, we get help from the Krasnosel’skiĭ result. The details of the result can be found in [2].
Lemma 8
[2]
 (B_{1}):

\(\\mathcal{F}v\\leq\v\\) for \(v\in\mathcal{B}\cap\partial \mathcal{Q}_{1}\) and \(\\mathcal{F}v\\geq\v\\) for \(v\in\mathcal{B}\cap\partial\mathcal {Q}_{2}\), or
 (B_{2}):

\(\\mathcal{F}v\\geq\v\\) for \(v\in\mathcal{B}\cap\partial \mathcal{Q}_{1}\) and \(\\mathcal{F}v\\leq\v\\) for \(v\in\mathcal{B}\cap\partial\mathcal {Q}_{2}\),
Theorem 9
 (C_{1}):

There exists a real number \(k_{1}>0\) such that \(\mathcal {H}(x,\psi)\leq\xi k_{1}\) whenever \(0\leq\psi\leq k_{1}\).
 (C_{2}):

There exists a real number \(k_{2}>0\) such that \(\mathcal {H}(x,\psi)\geq\nu k_{2}\) whenever \(\lambda_{0} k_{2}\leq\psi\leq k_{2}\), where \(\lambda_{0}\) is the constant defined by (13).
Proof
4 Illustrative example
Example 1
5 Conclusion
In this paper, we have utilized the Krasnosel’skiĭ fixed point theorem along with the ArzelaAscoli theorem for the existence of a solution of the problem (1). For this, we have produced the equivalent integral form of the problem (1) using the Green’s function in Lemma 6, then we discussed some properties of the Green’s function in Lemma 7. These properties of the Green’s function, the ArzelaAscoli theorem, and Krasnosel’skiĭ fixed point theorem were then utilized in Theorem 9 for the existence of a solution of the problem (1). These results can be utilized for further studies of the problem (1) in qdifference equations, pLaplacian BVPs, hybrid FDEs for the existence and multiplicity, and many other aspects.
Notes
Declarations
Acknowledgements
We are thankful to the referees and editor for their valuable comments and remarks.
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.
Authors’ Affiliations
References
 Anastassiou, GA: On right fractional calculus. Chaos Solitons Fractals 42(1), 365376 (2009) MATHMathSciNetView ArticleGoogle Scholar
 Agarwal, RP, Meehan, M, O’Regan, D: Fixed Point Theory and Applications. Cambridge University Press, Cambridge (2001) MATHView ArticleGoogle Scholar
 Khan, RA, Khan, A, Samad, A, Khan, H: On existence of solutions for fractional differential equations with pLaplacian operator. J. Fract. Calc. Appl. 5(2), 2837 (2014) MathSciNetGoogle Scholar
 Debbouche, A, Baleanu, D, Agarwal, RP: Nonlocal nonlinear integro differential equations of fractional orders. Bound. Value Probl. 2012, 78 (2012) MathSciNetView ArticleGoogle Scholar
 Baleanu, D, Mustafa, OG, Agarwal, RP: On the solution set for a class of sequential fractional differential equations. J. Phys. A, Math. Theor. 43, 385209 (2010) MathSciNetView ArticleGoogle Scholar
 Agarwal, RP, Baleanu, D, Hedayati, V, Rezapour, S: Two fractional derivative inclusion problems via integral boundary condition. Appl. Math. Comput. 257, 205212 (2015) MathSciNetView ArticleGoogle Scholar
 Agarwal, RP, Baleanu, D, Rezapour, S, Salehi, S: The existence of solution for some fractional finite difference equations via sum boundary conditions. Adv. Differ. Equ. 2014, 282 (2014) MathSciNetView ArticleGoogle Scholar
 Abbas, MI: Existence and uniqueness of solution for a boundary value problem of fractional order involving Caputo’s fractional derivatives. Adv. Differ. Equ. 2015, 252 (2015) View ArticleGoogle Scholar
 Baleanu, D, Rezapour, S, Salehi, S: On the existence of solutions for a fractional finite difference inclusion via three points boundary conditions. Adv. Differ. Equ. 2015, 242 (2015) MathSciNetView ArticleGoogle Scholar
 Wu, Y, Liu, W: Positive solutions for a class of fractional differential equations at resonance. Adv. Differ. Equ. 2015, 241 (2015) View ArticleGoogle Scholar
 Xin, Y, Zhao, S: Existence of periodic solution for generalized neutral Rayleigh equation with variable parameter. Adv. Differ. Equ. 2015, 209 (2015) MathSciNetView ArticleGoogle Scholar
 Sitho, S, Ntouyas, SK, Tariboon, J: Existence results for hybrid fractional integrodifferential equations. Bound. Value Probl. 2015, 113 (2015) MathSciNetView ArticleGoogle Scholar
 Naceri, M, Agarwal, RP, Cetin, E, Amir, EH: Existence of solutions to fourthorder differential equations with deviating arguments. Bound. Value Probl. 2015, 108 (2015) MathSciNetView ArticleGoogle Scholar
 Henderson, J, Luca, R: Nonexistence of positive solutions for a system of coupled fractional boundary value problems. Bound. Value Probl. 2015, 138 (2015) MathSciNetView ArticleGoogle Scholar
 Fakhar, K, Kara, AH: The reduction of Chazy classes and other third order differential equations related to boundary layer flow models. Chin. Phys. Lett. 29(6), 060202 (2012) View ArticleGoogle Scholar
 Mohammadyari, R, Esbo, MR, Asboei, AK: Differential transform method to determine magneto hydrodynamics flow of compressible fluid in a channel with porous walls. Bol. Soc. Parana. Mat. 32(2), 249261 (2014) MathSciNetView ArticleGoogle Scholar