Skip to content


  • Research
  • Open Access

On the existence of solution for fractional differential equations of order \(3<\delta_{1}\leq4\)

  • 1, 2Email author,
  • 3,
  • 4, 5,
  • 4 and
  • 6, 7
Contributed equally
Advances in Difference Equations20152015:362

  • Received: 29 August 2015
  • Accepted: 5 November 2015
  • Published:


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 Riemann-Liouville 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}(1-z)^{\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.


  • existence of positive solutions
  • Green’s function
  • Krasnosel’skiĭ theorem
  • Arzela-Ascoli 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 [37]. Here we highlight some useful and new important scientific work in FDEs. Work on the integro-differential 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 Riemann-Liouville 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(m-1,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 m-point BVP at resonance in Caputo’s sense by the use of a Leggett-Williams norm-type 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 integro-differential 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 Riemann-Liouville sense for the nonexistence of solutions.

From the study of the scientific work as discussed above we felt the need of exploration of the fractional differential equation (FDE) of order \(\delta_{1}\in(3,4]\):
$$\begin{aligned} &\mathcal{D}^{\delta_{1}}\psi(x)=-\mathcal{H}\bigl(x,\psi(x) \bigr), \\ &\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(\delta_{1})}\mathcal {I}^{\delta_{1}-\alpha_{1}}\mathcal{H} \bigl(x,\psi(x) \bigr) (1), \end{aligned}$$
where \(x\in[0,1]\). \(\delta_{1}\in(3,4]\), \(\alpha_{1}\in(1,2]\), for the existence of positive solution (EPS), where the fractional derivatives \(\mathcal{D}^{\delta_{1}}\), \(\mathcal{D}^{\alpha_{1}}\) are in the Riemann-Liouville sense of the order \(\delta_{1}\), \(\alpha_{1}\), respectively, and \(\mathcal{H}: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}(1-z)^{\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. We use Arzela-Ascoli for the complete continuity of the integral operator and the Krasnosel’skiĭ fixed point theorem for the EPS.

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 Falkner-Skan 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 Arzela-Ascoli 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 Riemann-Liouville 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

If \(\psi(x)\in L^{1}(a,b)\), the set of all integrable functions, and \(\delta_{1}>0\), then the left Riemann-Liouville fractional integral, of order \(\delta_{1}\), is defined by
$$ I_{0+}^{\delta_{1}}\psi(x)=\frac{1}{\Gamma(\delta_{1})}\int_{0}^{x}(x-z)^{\delta _{1}-1} \psi(z)\,dz. $$

Definition 2

For \(\delta_{1}>0\) the left Riemann-Liouville fractional derivative of order \(\delta_{1}\) is defined by
$$ \mathcal{D}^{\delta_{1}}\psi(x)=\frac{1}{\Gamma(n-\delta_{1})}D^{n}\int _{0}^{x}(x-z)^{n-\delta_{1}-1}\psi(z)\,dz, $$
where n is such that \(n-1<\delta_{1}<n\) and \(D=\frac{d}{dz}\).

Lemma 3

For \(\delta_{1}, \epsilon>{0}\), such that \(n-1<\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 n-1\).

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

For \(\epsilon\geq\delta_{1}>{0}\) and \(\mathcal{H}(x)\in{L_{1}[a,b]}\), the following hold:
$$D^{\delta_{1}}I_{a+}^{\epsilon}\mathcal{H}(x)=I_{a+}^{\epsilon-\delta _{1}} \mathcal{H}(x) $$
on the interval \([a,b]\), if \(\mathcal{H}\in{C[a,b]}\).

2 Green’s function and properties

Lemma 6

For \(z, x\in[0,1]\), the solution of (1) is equivalent to the solution of the following integral equation:
$$ \psi(x)=\int_{0}^{1} \mathcal{K} (x,z)\mathcal{H} \bigl(z,\psi(z)\bigr)\,dz, $$
where \(\mathcal{K}(x,z)\) is the Green’s function given by
$$ \mathcal{K}(x,z)=\frac{1}{\Gamma(\delta_{1})} \textstyle\begin{cases} -(x-z)^{\delta_{1}-1}+x^{\delta_{1}-1}(1-z)^{\delta_{1}-\alpha_{1}-1} +x^{\delta_{1}-2}(1-z)^{\delta_{1}-1},& z\leq x,\\ x^{\delta_{1}-1}(1-z)^{\delta_{1}-\alpha_{1}-1}+ x^{\delta_{1}-2}(1-z)^{\delta_{1}-1},& x\leq z. \end{cases} $$


Applying the operator \(I_{0}^{\delta_{1}}\) on the differential equation in (1), we get the following equivalent integral form:
$$\begin{aligned} \psi(x) =&-\mathcal{I}^{\delta_{1}}\mathcal{H}\bigl(x,\psi(x) \bigr) +c_{1}x^{\delta _{1}-1}+c_{2} x^{\delta_{1}-2}+ c_{3}x^{\delta_{1}-3}+c_{4} x^{\delta_{1}-4}. \end{aligned}$$
The initial conditions \(\mathcal{I}^{3-\delta_{1}}\psi(0)=\mathcal{I}^{4-\delta_{1}}\psi(0)=0 \) in (1) imply that \(c_{3}=c_{4}= 0\). Using the boundary conditions \(\mathcal{D}^{\alpha_{1}}\psi(1)=0 \) and \(\psi(1)=\frac{\Gamma(\delta_{1}-\alpha_{1})}{\Gamma(\nu_{1})}\mathcal {I}^{\delta_{1}-\alpha_{1}} \mathcal{H}(x,\psi(x))(1)\) on (6), we get
$$ \begin{aligned} &c_{1}=\int_{0}^{1} \frac{(1-z)^{\delta_{1}-\alpha_{1}-1} \mathcal{H}(z,\psi(z))\,dz}{\Gamma(\delta_{1})}, \\ &c_{2}=\frac{\int_{0}^{1}(1-z)^{\delta_{1}-1}\mathcal{H}(z,\psi(z))\,dz}{\Gamma (\delta_{1})}. \end{aligned} $$
By substituting the values of \(c_{1}\), \(c_{2}\), \(c_{3}\), \(c_{4}\), in (6), we have
$$\begin{aligned} \psi(x) =&-\int_{0}^{x}\frac{(x-z)^{\delta_{1}-1}}{\Gamma(\delta_{1})}\mathcal {H}\bigl(z,\psi(z)\bigr)\,dz \\ &{}+x^{\delta_{1}-1}\int_{0}^{1} \frac{(1-z)^{\delta_{1}-\alpha_{1}-1}\mathcal {H}(z,\psi(s))\,ds}{\Gamma(\delta_{1})} \\ &{}+ x^{\delta_{1}-2}\int_{0}^{1} \frac{(1-z)^{\delta_{1}-1}\mathcal{H}(z,\psi (z))\,dz}{\Gamma(\delta_{1})} =\int_{0}^{1} \mathcal{K}(x,z) \mathcal{H}\bigl(z,\psi(z)\bigr)\,ds, \end{aligned}$$
where \(\mathcal{K}(x,z)\) is the Green’s function which is given by (5). Thus, the proof is completed. □

Lemma 7

For the Green’s function \(\mathcal{K}(x,z)\) given by (5) and \(\mathcal{J}=[0,1]\), \(\nu_{1} \in(3,4]\), \(\alpha_{1}\in(1,2]\), the following are satisfied:

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


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


\(\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)\).


The continuity of the Green’s function \(\mathcal{K}(x,z)\) is obvious from the definition in (5). Consider \(\mathcal{K}(x,z)\), for \(x, z\in\mathcal{J}\) such that \(x\geq z\). \(z\leq\frac{z}{x}\) implies that \(-(1-z)\leq-(1-\frac{z}{x}) \) and \(\delta_{1}-\alpha_{1}-1 <\delta_{1} -1\) implies that \((1-z)^{\delta _{1}-\alpha_{1}-1}> (1-z)^{\delta_{1}-1 }\). Thus
$$\begin{aligned} \mathcal{K}(x,z) =&\frac{-(x-z)^{\delta_{1}-1}}{\Gamma{(\delta_{1})}}+\frac {x^{\delta_{1}-1} (1-z)^{\delta_{1}-\alpha_{1}-1}}{\Gamma(\delta_{1})}+\frac{x^{\delta _{1}-2}(1-z)^{\delta_{1}-1}}{\Gamma(\delta_{1})} \\ =&-\frac{(1-\frac{z}{x})^{\delta_{1}-1}}{\Gamma{(\delta_{1})}}x^{\delta_{1}-1}+ \frac{(1-z)^{\delta_{1}-\alpha_{1}-1}}{\Gamma(\delta_{1})}x^{\delta_{1}-1}+ \frac {(1-z)^{\delta_{1}-1}}{\Gamma(\delta_{1})} x^{\delta_{1}-2} \\ \geq&\frac{-(1-z)^{\delta_{1}-1}}{\Gamma{(\delta_{1})}}x^{\delta_{1}-1}+ \frac{(1-z)^{\delta_{1}-\alpha_{1}-1}}{\Gamma(\delta_{1})}x^{\delta_{1}-1}+ \frac{(1-z)^{\delta_{1}-1}}{\Gamma(\delta_{1})}x^{\delta_{1}-2} \\ =&\bigl((1-z)^{\delta_{1}-\alpha_{1}-1}-(1-z)^{\delta_{1}-1}\bigr)\frac{x^{\delta _{1}-1}}{\Gamma(\delta_{1})}+ \frac{x^{\delta_{1}-2}(1-z)^{\delta_{1}-1}}{\Gamma(\delta_{1})}\geq 0. \end{aligned}$$
From (5), for \(x\leq z\) it is obvious that \(\mathcal{K}(x,z)\geq0\). This completes the proof of (A1). For (A2), we consider \(z,x\in\mathcal{J}\), such that \(x\geq z\). For \(\delta_{1}\in(3,4]\), \(\alpha_{1}\in(1,2]\), we have \(\delta_{1}-\alpha_{1}-1\leq\delta_{1}-2\); this implies that \((1-z)^{\delta_{1}-\alpha_{1}-1}\geq(1-z)^{\delta_{1}-2} \) and
$$\begin{aligned} \frac{\partial}{\partial x}\mathcal{K}(x,z) =&\frac{-(\delta _{1}-1)(x-z)^{\delta_{1}-2}}{\Gamma{(\delta_{1})}}+ \frac{(\delta_{1}-1)x^{\delta_{1}-2}(1-z)^{\delta_{1}-\alpha_{1}-1}}{\Gamma (\delta_{1})} \\ &{}+\frac{(\delta_{1}-2)x^{\delta_{1}-3}(1-z)^{\delta_{1}-1}}{\Gamma(\delta _{1})} \\ =&(\delta_{1}-1) \biggl[\frac{-(x-z)^{\delta_{1}-2} + x^{\delta _{1}-2}(1-z)^{\delta_{1}-\alpha_{1}-1}}{\Gamma(\delta_{1})} \biggr] \\ &{}+\frac{(\delta_{1}-2)x^{\delta_{1}-3}(1-z)^{\delta_{1}-1}}{\Gamma(\delta _{1})} \\ =&(\delta_{1}-1) \biggl[\frac{-(1-\frac{z}{x})^{\delta_{1}-2} + (1-z)^{\delta _{1}-\alpha_{1}-1}}{\Gamma(\delta_{1})} \biggr]x^{\delta_{1}-2} \\ &{}+\frac{(\delta_{1}-2)(1-z)^{\delta_{1}-1}}{\Gamma(\delta_{1})}x^{\delta _{1}-3} \\ \geq&(\delta_{1}-1) \biggl[\frac{-(1-z)^{\delta_{1}-2}+(1-z)^{\delta_{1}-\alpha _{1}-1}}{\Gamma{(\delta_{1})}} \biggr]x^{\delta_{1}-2} \\ &{}+\frac{(\delta_{1}-2)(1-z)^{\delta_{1}-1}}{\Gamma(\delta_{1})}x^{\delta _{1}-3}\geq 0. \end{aligned}$$
Hence, it follows that \(\max_{x\in J}\mathcal{K}(x,z)=\mathcal{K}(1,z)= \frac{1}{\Gamma(\delta_{1})}[(1-z)^{\delta_{1}-\alpha_{1}-1}+ (1-z)^{\delta_{1}-1}]\) and \(\min_{x\in[\frac{1}{3},1]}\mathcal{K}(x,z)=\mathcal{K}(\frac{1}{3},z)\). For the proof of (A3), we utilize (A1) and (A2) in the following calculations. For \(z\in(0,\frac{1}{3}]\), we have
$$\begin{aligned} \frac{\min_{x\in[\frac{1}{3},1]}\mathcal{K}(x,z)}{\max_{x\in[\frac {1}{3},1]}\mathcal{K}(x,z)} &=\frac{(-(\frac{1}{3}-z)^{\delta_{1}-1}+(\frac{1}{3})^{\delta _{1}-1}(1-z)^{\delta_{1}-\alpha_{1}-1} +(\frac{1}{3})^{\delta_{1}-2}(1-z)^{\delta_{1}-1})}{(-(1-z)^{\delta_{1}-1})+ (1-z)^{\delta_{1}-\alpha_{1}-1}+ (1-z)^{\delta_{1}-1}} \\ &=\frac{(-(\frac{1}{3}-z)^{\delta_{1}-1}+(\frac{1}{3})^{\delta _{1}-2}(1-z)^{\delta_{1}-\alpha_{1}-1} [\frac{1}{3} +(1-z)^{\delta_{1}} ] )}{( (1-z)^{\delta_{1}-\alpha_{1}-1})} \\ &\geq \frac{(-(\frac{1}{3}-\frac{1}{3})^{\delta_{1}-1} +(\frac{1}{3})^{\delta_{1}-2}(1-\frac{1}{3})^{\delta_{1}-\alpha_{1}-1} [\frac{1}{3} +(1-\frac{1}{3})^{\alpha_{1}} ] )}{( (1-\frac{1}{3})^{\delta_{1}-\alpha_{1}-1})} \\ &=\biggl(\frac{1}{3}\biggr)^{\delta_{1}-2} \biggl[\frac{1}{3} + \biggl(\frac{2}{3}\biggr)^{\alpha_{1}} \biggr]. \end{aligned}$$
For \(z\in(\frac{1}{3},1]\), we have
$$\begin{aligned} \frac{\min_{x\in[\frac{1}{3},1]}\mathcal{K}(x,z)}{\max_{x\in[\frac {1}{3},1]}\mathcal{K}(x,z)} &=\frac{(\frac{1}{3})^{\delta_{1}-2}(1-z)^{\delta_{1}-\alpha_{1}-1} [\frac{1}{3}+ (1-z)^{\alpha_{1}} ]}{(1-z)^{\delta_{1}-\alpha_{1}-1} [1+(1-z)^{\alpha_{1}} ]} \\ &\geq\frac{(\frac{1}{3})^{\delta_{1}-2} [\frac{1}{3}+ (1-\frac{1}{3})^{\alpha_{1}} ]}{ [1+(1-\frac{1}{3})^{\alpha_{1}} ]} = \frac{(\frac{1}{3})^{\delta_{1}-2} [\frac{1}{3}+ ( \frac{2}{3})^{\alpha_{1}} ]}{ [1+(\frac{2}{3})^{\alpha_{1}} ]}. \end{aligned}$$
$$ \lambda_{0}=\min\biggl\{ \biggl(\frac{1}{3} \biggr)^{\delta_{1}-2} \biggl[\frac{1}{3} +\biggl(\frac {2}{3} \biggr)^{\alpha_{1}} \biggr], \frac{(\frac{1}{3})^{\delta_{1}-2} [\frac{1}{3}+ ( \frac{2}{3})^{\alpha_{1}} ]}{ [1+(\frac{2}{3})^{\alpha _{1}} ]}\biggr\} . $$
Therefore, in view of (11), (12), and (13), we have \(\lambda_{0}\in(0,1)\) such that
$$ \min_{x\in[\frac{1}{3}, 1]}\mathcal{K}(x,z)\geq\lambda_{0}\max _{x\in \mathcal{J}}\mathcal{K}(x,z) =\lambda_{0} \mathcal{K}(1,z). $$
This completes the 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


Let \(\mathcal{E}\) be a Banach space and \(\mathcal{B}\subset\mathcal{E}\) be a cone. Assume that \(\mathcal{Q}_{1}\), \(\mathcal{Q}_{2}\) are open sets contained in \(\mathcal{E}\) such that \(0\in\mathcal{Q}_{1}\) and \(\overline{\mathcal{Q}}_{1}\subset \mathcal{Q}_{2}\). Assume, further, that \(\mathcal{F}:\mathcal{B}\cap(\overline{\mathcal{Q}}_{2}\setminus\mathcal {Q}_{1})\rightarrow\mathcal{B}\) is a completely continuous operator. If either

\(\|\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


\(\|\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}\),

then \(\mathcal{F}\) has at least one fixed point in \(\mathcal{B}\cap (\overline{\mathcal{Q}}_{2}\setminus\mathcal{Q}_{1})\).
Consider the Banach space \(\mathcal{E}=\{\psi(x): \psi(x)\in C(\mathcal{J}), \mbox{where }\mathcal{J}=[0,1]\}\), endowed with the norm \(\|\psi(x)\|=\max_{x\in\mathcal{J}}|\psi(x)|\). We define an operator \(\mathcal{F}:\mathcal{E}\rightarrow\mathcal{E}\) by
$$\begin{aligned} \mathcal{F}\psi(x) =&-\int_{0}^{x} \frac{(x-z)^{\delta_{1}-1}}{\Gamma{(\delta _{1}})}\mathcal{H}\bigl(z,\psi(z)\bigr)\,dz \\ &{}+x^{\delta_{1}-1}\int_{0}^{1} \frac{(1-z)^{\delta_{1}-\alpha_{1}-1}}{\Gamma (\delta_{1})}\mathcal{H}\bigl(z,\psi(z)\bigr)\,dz \\ &{}+ x^{\delta_{1}-2}\int_{0}^{1} \frac{(1-z)^{\delta_{1}-1}}{\Gamma(\delta _{1})}\mathcal{H}\bigl(z,\psi(z)\bigr)\,dz= \int_{0}^{1} \mathcal{K}(x,z)\mathcal{H}\bigl(z,\psi(z)\bigr)\,dz. \end{aligned}$$

Theorem 9

Suppose that there are real constants \(k_{2}>k_{1}>0\) such that conditions (C1), (C2) hold:

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}\).


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).

Suppose also that \(\mathcal{H}(x,\psi)\geq0\) and is continuous. Then the problem (1) has at least one positive solution.


We define the terms \(\xi = [\int_{0}^{1}\mathcal{K}(1,z)\,dz ]^{-1}\) and \(\nu= [\int_{\frac{1}{3}}^{1}\mathcal{K}(\frac{2}{3},z)\,dz ]^{-1}\). From Lemma 7 (A1) the Green’s function \(\mathcal{K}(x,z)\) is continuous and nonnegative, and also \(\mathcal{H}(x,\psi(x))\in C(\mathcal{J}\times R, R )\), therefore the operator \(\mathcal{F}\) is continuous. Let \(\mathcal{S}=\{\psi(x)\in\mathcal{E}:\|\psi(x)\|\leq\Delta\}\) where \(\Delta=\max_{x\in\mathcal{J}}\mathcal{H}(x,z)+1\). For any \(\psi(x)\in \mathcal{S}\), the operator \(\mathcal{F}\), defined in (15), is
$$\begin{aligned} \bigl|\mathcal{F}\psi(x)\bigr| =&\biggl|-\int_{0}^{x} \frac{(x-z)^{\delta_{1}-1}}{\Gamma(\delta _{1})}\mathcal{H}\bigl(z,\psi(z)\bigr)\,dz +x^{\delta_{1}-1}\int_{0}^{1} \frac{(1-z)^{\delta_{1}-\alpha_{1}-1}}{\Gamma (\delta_{1})}\mathcal{H}\bigl(z,\psi(z)\bigr)\,dz \\ &{}+ x^{\delta_{1}-2}\int_{0}^{1} \frac{(1-z)^{\delta_{1}-1}}{\Gamma(\delta _{1})}\mathcal{H}\bigl(z,\psi(z)\bigr)\,dz \biggr| \\ \leq& \Delta\biggl(\frac{(x-z)^{\delta_{1}}}{\Gamma(\delta_{1}+1)}\bigg|_{x}^{0} +x^{\delta_{1}-1}\frac{(1-z)^{\delta_{1}-\alpha_{1}}}{({\delta_{1}-\alpha_{1} }) \Gamma(\delta_{1})} \bigg|_{1}^{0}+x^{\delta_{1}-2} \frac{(1-z)^{\delta_{1}}}{\Gamma (\delta_{1}+1)} \bigg|_{1}^{0}\biggr) \\ =&\Delta \biggl[\frac{x^{\delta_{1}}}{\Gamma(\delta_{1}+1)} +\frac{x^{\delta_{1}-1}}{({\delta_{1}-\alpha_{1}})\Gamma(\delta_{1})} +\frac{x^{\delta_{1}-2}}{\Gamma(\delta_{1}+1)} \biggr] \\ \leq&\Delta \biggl[\frac{2}{\Gamma(\delta_{1}+1)} +\frac{1}{({\delta_{1}-\alpha_{1}})\Gamma(\delta_{1})} \biggr]< \infty, \end{aligned}$$
and it is bounded. Next, for \(\psi(x)\in\mathcal{S}\), \(x_{1}, x_{2}\in \mathcal{J}\), such that \(x_{2}>x_{1}\), we have
$$\begin{aligned} \bigl|\mathcal{F}\psi(x_{2})-\mathcal{F}\psi(x_{1})\bigr| =&\biggl|-\int_{0}^{x_{2}}\frac{(x_{2}-z)^{\delta_{1}-1}}{\Gamma{(\delta_{1}})}\mathcal {H} \bigl(z,\psi(z)\bigr)\,dz \\ &{}+\int_{0}^{x_{1}}\frac{(x_{1}-z)^{\delta_{1}-1}}{\Gamma{(\delta_{1}})}\mathcal {H} \bigl(z,\psi(z)\bigr)\,ds \\ &{}+\bigl(x_{2}^{\delta_{1}-1}-x_{1}^{\delta_{1}-1}\bigr) \int_{0}^{1}\frac{(1-z)^{\delta _{1}-\alpha_{1}-1}}{\Gamma(\delta_{1})} \mathcal{H}\bigl(z, \psi(z)\bigr)\,dz \\ &{}+ \bigl(x_{2}^{\delta_{1}-2}-x_{1}^{\delta_{1}-2}\bigr) \int_{0}^{1}\frac{(1-z)^{\delta _{1}-1}}{\Gamma(\delta_{1})}\mathcal{H}\bigl(z, \psi(z)\bigr)\,dz \biggr| \\ \leq&\Delta\biggl(\frac{x_{2}^{\delta_{1}}-x_{1}^{\delta_{1}}}{\Gamma(\delta _{1}+1)}+\frac{x_{2}^{\delta_{1}-1}-x_{1}^{\delta_{1}-1}}{({\delta_{1}-\alpha _{1}})\Gamma(\delta_{1})}+\frac{x_{2}^{\delta_{1}-2}-x_{1}^{\delta_{1}-2}}{\Gamma (\delta_{1}+1)} \biggr), \end{aligned}$$
that is, \(\| \mathcal{F}\psi(x_{2}) - \mathcal{F}\psi(x_{1})\|\rightarrow0\) as \(x_{1}\rightarrow x_{2}\). With the help of (16)-(17) and the Arzela-Ascoli theorem, the operator \(\mathcal{F}\) is completely continuous.
Consider a cone \(\mathcal{B}=\{\psi(x)\in\mathcal{E}: \psi(x)\geq0 \mbox{ and } \min_{x\in[\frac{1}{3},1]}\psi(x)\geq\lambda_{0}\|\psi(x)\|\}\) in \(\mathcal{E}\), then for any \(\psi\in\mathcal{B}\), we have
$$\begin{aligned} \min_{x\in[\frac{1}{3},1]}(\mathcal{F}\psi) (x)&\geq\lambda_{0}\int _{0}^{1}\mathcal{K}(1,z)\mathcal{H}\bigl(z,\psi(z) \bigr)\,ds \\ &=\lambda_{0}\max_{x\in\mathcal{J}}\int_{0}^{1} \mathcal{K}(x,z)\mathcal {H}\bigl(z,\psi(z)\bigr)\,dz=\lambda_{0}\bigl\| \mathcal{F}\psi(x)\bigr\| , \end{aligned}$$
this implies that \(\mathcal{F}\psi(x)\in\mathcal{B}\). Let \(\mathcal {Q}=\{\psi(x)\in\mathcal{B}: \|\psi(x)\|< k_{1}\}\), we see that, for any \(\psi(x)\in\partial\mathcal{Q}_{1}\), \(\|\psi(x)\| =k_{1}\), so (C1) is satisfied for all \(\psi\in\partial\mathcal{Q}_{1}\). So, for \(\psi(x)\in\mathcal{B}\cap\partial\mathcal{Q}_{1}\), we get
$$\begin{aligned} \bigl\| \mathcal{F}\psi(x)\bigr\| =&\max_{x\in\mathcal{J}}\int _{0}^{1}\mathcal {K}(x,z)\mathcal{H}\bigl(z,\psi(z) \bigr)\,dz \\ \leq& \xi k_{1}\int_{0}^{1} \mathcal{K}(x,z)\,dz=k_{1}, \end{aligned}$$
by (19), we get \(\|\mathcal{F}\psi(x)\|\leq\|\psi(x)\|\) for \(\psi\in\mathcal{B}\cap\partial\mathcal{Q}_{1}\). Assume \(\mathcal{Q}_{2}=\{\psi\in\mathcal{B}: \|\psi(x)\|< k_{2}\}\), for \(\psi\in \partial\mathcal{Q}_{2}\), we have \(\|\psi(x)\|=k_{2}\), this implies that the condition (C2) is satisfied for \(\psi\in\mathcal{B}\cap\partial\mathcal{Q}_{2}\); further, we have
$$\begin{aligned} \mathcal{F}\biggl(\psi\biggl(\frac{2}{3}\biggr)\biggr) =& \int_{0}^{1}\mathcal{K}\biggl(\frac {2}{3},z \biggr)\mathcal{H}\bigl(z,\psi(z)\bigr)\,dz \geq\int_{\frac{1}{3}}^{1} \mathcal{K}\biggl(\frac{2}{3},z\biggr)\mathcal{H}\bigl(z,\psi (z)\bigr)\,dz \\ \geq& \nu k_{2}\int_{\frac{1}{3}}^{1}\mathcal{K} \biggl(\frac {2}{3},z\biggr)\,ds=k_{2}. \end{aligned}$$
Thus, (20) yields \(\|\mathcal{F}(\psi(x))\|\geq\|\psi(x)\|\) for \(\psi\in\mathcal{B}\cap\partial\mathcal{Q}_{2}\). Therefore, with the help of Lemma 3, the operator \(\mathcal{F}\) has a fixed point, say \(\psi_{0}\), such that \(k_{1}\leq\|\psi_{0}\|\leq k_{2}\). This completes the proof. □

4 Illustrative example

Example 1

Consider the problem for \(x,z\in(0,1]\) and \(\psi (x)\geq0\)
$$\begin{aligned} \mathcal{D}^{\delta_{1}}\psi(x)= \biggl(\int_{\frac{1}{3}}^{1} \mathcal{K}\biggl(\frac{2}{3},z\biggr)\,dz \biggr)^{-1} \biggl( \int_{0}^{1}\mathcal{K}(1,z)\,dz \biggr)^{-1} \frac{1+2\max_{x\in (0,1]}|\psi(x)|}{2}, \end{aligned}$$
with the conditions as defined in (1).
We assume \(k_{2}=\max_{x\in(0,1]}|\psi(x)|\), then from (21) we have
$$\mathcal{H}\bigl(x,\psi(x)\bigr)= \biggl(\int_{\frac{1}{3}}^{1} \mathcal{K}\biggl(\frac {2}{3},z\biggr)\,dz \biggr)^{-1} \biggl( \int_{0}^{1}\mathcal{K}(1,z)\,dz \biggr)^{-1} \biggl(\frac{1+2\psi(x)}{2}\biggr)\geq\nu\psi(x), $$
for \(\nu= (\int_{\frac{1}{3}}^{1}\mathcal{K}(\frac{2}{3},z)\,dz )^{-1}\) and \(\lambda_{0}\psi(x)\leq\psi(x)\leq\max_{x\in(0,1]}|\psi(x)|=k_{2}\), where \(\lambda_{0}\) is defined by (13). We also have
$$\mathcal{H}\bigl(x,\psi(x)\bigr)= \biggl(\int_{\frac{1}{3}}^{1} \mathcal{K}\biggl(\frac {2}{3},z\biggr)\,dz \biggr)^{-1} \biggl( \int_{0}^{1}\mathcal{K}(1,z)\,dz \biggr)^{-1} \biggl(\frac{1+2\psi(x)}{2}\biggr)\leq\xi k_{1}, $$
for \(k_{1}= (\int_{\frac{1}{3}}^{1}\mathcal{K}(\frac{2}{3},z)\,dz )^{-1}(\frac{1+3\max_{x\in(0,1]} |\psi(x)|}{2})\). Here \(0\leq\psi\leq k_{1}\) is obvious. Therefore the assumptions (C1), (C2) are satisfied and hence by Theorem 9, we find that the problem (21) has a solution.

5 Conclusion

In this paper, we have utilized the Krasnosel’skiĭ fixed point theorem along with the Arzela-Ascoli 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 Arzela-Ascoli 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 q-difference equations, p-Laplacian BVPs, hybrid FDEs for the existence and multiplicity, and many other aspects.




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 (, 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

Department of Mathematics Computer Science, Cankaya University, Ankara, 06530, Turkey
Institute of Space Sciences, P.O. Box MG-23, Magurele-Bucharest, 76900, Romania
Department of Mathematics, Texas A& M University-Kingsville, 700 University Blvd., MSC 172, Kingsville, Texas 78363-8202, USA
Department of Mathematics, University of Malakand, P.O. Box 18000, Chakdara, Dir Lower, Khybarpukhtunkhwa, Pakistan
Shaheed Benazir Bhutto University, P.O. Box 18000, Dir Upper, Khybarpakhtunkhwa, Pakistan
Department of Mathematical Sciences, University of South Africa, P.O. Box 392, Unisa, 0003, South Africa
Department of Mathematics, Faculty of Basic Science, Babol University of Technology, P.O. Box 47148-71167, Babol, Iran


  1. Anastassiou, GA: On right fractional calculus. Chaos Solitons Fractals 42(1), 365-376 (2009) MATHMathSciNetView ArticleGoogle Scholar
  2. Agarwal, RP, Meehan, M, O’Regan, D: Fixed Point Theory and Applications. Cambridge University Press, Cambridge (2001) MATHView ArticleGoogle Scholar
  3. Khan, RA, Khan, A, Samad, A, Khan, H: On existence of solutions for fractional differential equations with p-Laplacian operator. J. Fract. Calc. Appl. 5(2), 28-37 (2014) MathSciNetGoogle Scholar
  4. Debbouche, A, Baleanu, D, Agarwal, RP: Nonlocal nonlinear integro differential equations of fractional orders. Bound. Value Probl. 2012, 78 (2012) MathSciNetView ArticleGoogle Scholar
  5. 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
  6. Agarwal, RP, Baleanu, D, Hedayati, V, Rezapour, S: Two fractional derivative inclusion problems via integral boundary condition. Appl. Math. Comput. 257, 205-212 (2015) MathSciNetView ArticleGoogle Scholar
  7. 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
  8. 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
  9. 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
  10. Wu, Y, Liu, W: Positive solutions for a class of fractional differential equations at resonance. Adv. Differ. Equ. 2015, 241 (2015) View ArticleGoogle Scholar
  11. 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
  12. Sitho, S, Ntouyas, SK, Tariboon, J: Existence results for hybrid fractional integro-differential equations. Bound. Value Probl. 2015, 113 (2015) MathSciNetView ArticleGoogle Scholar
  13. Naceri, M, Agarwal, RP, Cetin, E, Amir, EH: Existence of solutions to fourth-order differential equations with deviating arguments. Bound. Value Probl. 2015, 108 (2015) MathSciNetView ArticleGoogle Scholar
  14. 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
  15. 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
  16. 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), 249-261 (2014) MathSciNetView ArticleGoogle Scholar


© Baleanu et al. 2015