Abstract
In this paper, we consider the properties of Green’s function for the nonlinear fractional differential equation boundary value problem
where \(1<\alpha<2\), \(0<\beta_{i}<1\), \(i=1,2,\ldots, m-2\), \(0<\eta_{1}<\eta _{2}<\cdots<\eta_{m-2}<1\), \(\sum_{i=1}^{m-2}\beta_{i}\eta_{i}^{\alpha-1}<1\), \(\mathbf{D}_{0+}^{\alpha}\) is the standard Riemann–Liouville derivative. Here our nonlinearity f may be singular at \(u=0\). As an application of Green’s function, we give some multiple positive solutions for singular positone and semipositone boundary value problems by means of the Leray–Schauder nonlinear alternative and a fixed point theorem on cones.
Similar content being viewed by others
1 Introduction
In this paper, we consider the existence and multiplicity of positive solutions of the nonlinear fractional differential equation semipositone boundary value problem:
where \(1<\alpha<2, 0<\beta_{i}<1, i=1,2,\ldots, m-2, 0<\eta_{1}<\eta _{2}<\cdots<\eta_{m-2}<1, \sum_{i=1}^{m-2}\beta_{i}\eta_{i}^{\alpha-1}<1\), \(\mathbf{D}_{0+}^{\alpha}\) is the standard Riemann–Liouville derivative. Here our nonlinearity f may be singular at \(u=0\). The nonlinear fractional differential equation for the multi-point boundary value problem has been studied extensively. For details, see [1–14] and the references therein.
For \(m=3\), Bai [15] investigated the existence and uniqueness of positive solutions for a nonlocal boundary value problem of the fractional differential equation
via the contraction map principle and fixed point index theory, where \(1<\alpha\leq2, 0<\beta\eta^{\alpha-1}<1, 0<\eta<1\), \(\mathbf{D}_{0+}^{\alpha}\) is the standard Riemann–Liouville derivative. The function f is continuous on \([0,1]\times [0,\infty)\). Wang, Xiang and Liu [16] investigated the existence and uniqueness of a positive solution to nonzero three-point boundary values problem for a coupled system of fractional differential equations. Ahmad and Nieto [17] considered the three point boundary value problems of the fractional order differential equation. By using some fixed point theorems, they obtained the existence and multiplicity result of positive solution to this problem. They considered the case when f has no singularities. Xu, Jiang et al. [18] deduced some new properties of Green’s function of (1.2). By using some fixed point theorems, they obtained the existence, uniqueness and multiplicity of positive solutions to singular positone and semipositone problems. Hussein A.H. Salem [1] investigated the existence of pseudo-solutions for the nonlinear m-point boundary value problem of the fractional case,
where \(0<\eta_{1}<\eta_{2}<\cdots<\eta_{m-2}<1, \zeta_{i}>0\) with \(\sum_{i=1}^{m-2}\zeta_{i}\eta_{i}^{\alpha-1}<1\). It is assumed that q is a real-valued continuous function and f is a nonlinear Pettis integrable function.
However, no paper to date has discussed the multiplicity for the semipositone singular problem. This paper attempts to fill this gap in the literature, and as a corollary, we give a result for singular positone problems.
2 Background materials
For convenience of the reader, we present here the necessary definitions from fractional calculus theory.
Definition 2.1
([19])
The Riemann–Liouville fractional integral of order \(\alpha>0\) of a function \(y: (0,\infty )\rightarrow R\) is given by
provided the right side is pointwise defined on \((0, \infty )\).
Definition 2.2
([19])
The Riemann–Liouville fractional derivative of order \(\alpha>0\) of a continuous function \(y: (0,\infty )\rightarrow R\) is given by
where \(n=[\alpha]+1, [\alpha]\) denotes the integer part of number α, provided that the right side is pointwise defined on \((0,\infty )\).
From the definition of Riemann–Liouville’s derivative, one has the following results.
Lemma 2.1
([19])
Assume that \(u\in C(0,1)\cap L(0,1)\) with a fractional derivative of order \(\alpha>0\) that belongs to \(C(0,1)\cap L(0,1)\). Then
for some \(C_{i}\in R\), \(i=1, 2,\ldots,N\), where N is the smallest integer greater than or equal to α.
Lemma 2.2
([20])
Let X be a Banach space, and let \(P\subset X\) be a cone in X. Assume \(\Omega_{1}, \Omega_{2}\) are open subsets of X with \(0\in \Omega_{1}\subset{\overline{\Omega}_{1}}\subset{\Omega_{2}}\), and let \(S:P\to P\) be a completely continuous operator such that either
-
1.
\(\Vert Sw \Vert \leq \Vert w \Vert \), \(w\in P\cap{\partial\Omega_{1}}\), \(\Vert Sw \Vert \geq \Vert w \Vert \), \(w\in P\cap{\partial\Omega_{2}}\), or
-
2.
\(\Vert Sw \Vert \geq \Vert w \Vert \), \(w\in P\cap{\partial\Omega_{1}}\), \(\Vert Sw \Vert \leq \Vert w \Vert \) \(w\in P\cap{\partial\Omega_{2}}\).
Then S has a fixed point in \(P\cap ({\overline{\Omega}_{2}\backslash{\Omega_{1}}})\).
3 Semipositone and positone singular problem
In this section, we consider the existence and multiplicity of positive solutions of the nonlinear fractional differential equation semipositone and positone boundary value problem
where \(1<\alpha<2, 0<\beta_{i}<1, i=1,2,\ldots, m-2, 0<\eta_{1}<\eta _{2}<\cdots<\eta_{m-2}<1, \sum_{i=1}^{m-2}\beta_{i}\eta_{i}^{\alpha-1}<1\), \(\mathbf{D}_{0+}^{\alpha}\) is the standard Riemann–Liouville derivative. Here our nonlinearity f may be singular at \(u=0\).
Lemma 3.1
Given \(y\in C(0,1)\) the problem
is equivalent to
where \(G(t,s)=G_{1}(t,s)+G_{2}(t,s)\),
where \(K_{i}=\beta_{i}\eta_{i}^{\alpha-1}, M_{0}=\frac {1}{\Gamma(\alpha) (1- \sum_{i=1}^{m-2}\beta_{i}\eta_{i}^{\alpha-1})}\),
Proof
By Lemma 2.1, the solution of (3.2) can be written as
From \(u(0)=0\), we know that \(C_{2}=0\).
On the other hand, together with \(u(1)= \sum_{i=1}^{m-2}\beta_{i} u(\eta_{i})\), we have
Therefore, the unique solution of fractional boundary value problem (3.2) is
where
When \(t\leq\eta_{1}\), we have
When \(t\geq\eta_{1}\), we have
where \(G_{1}(t,s)\) is defined by (3.3).
where \(G_{2}(t,s) \) is defined by (3.4). The proof is complete. □
Lemma 3.2
([18])
The Green’s function \(G_{1}(t, s)\) defined by Lemma 3.1 has the following properties:
-
(1)
$$ G(t,s)\leq G(s,s)\leq\frac{s^{\alpha-1}(1-s)^{\alpha -1}}{\Gamma(\alpha)(1-\beta_{1} \eta_{1}^{\alpha-1})}\quad\textit{for } t,s\in[0,1], \beta_{1} \eta_{1}^{\alpha-2}\leq1; $$(3.8)
-
(2)
$$ \frac{M t^{\alpha-1}s(1-s)^{\alpha-1}}{\Gamma (\alpha)(1-\beta_{1} \eta_{1}^{\alpha-1})} \leq G(t,s)\leq\frac{t^{\alpha-1}(1-s)^{\alpha-1}}{\Gamma(\alpha )(1-\beta_{1} \eta_{1}^{\alpha-1})}\quad \textit{for } t,s\in[0,1]; $$(3.9)
-
(3)
$$\begin{aligned} & \frac{M t^{\alpha-1}s(1-s)^{\alpha-1}}{\Gamma(\alpha)(1-\beta_{1} \eta_{1}^{\alpha-1})} \leq G(t,s)\leq\frac{s(1-s)^{\alpha-1}t^{\alpha-2}(1+\beta_{1} \eta _{1}^{\alpha-2})}{\Gamma(\alpha)(1-\beta_{1} \eta_{1}^{\alpha-1})} \\ & \quad\textit{for } t,s\in(0,1]; \end{aligned}$$(3.10)
-
(4)
$$\begin{aligned} & \frac{M t s(1-s)^{\alpha-1}}{\Gamma(\alpha)(1-\beta_{1} \eta_{1}^{\alpha-1})} \leq t^{2-\alpha}G(t,s)\leq \frac{s(1-s)^{\alpha-1}(1+\beta_{1} \eta _{1}^{\alpha-2})}{\Gamma(\alpha)(1-\beta_{1} \eta_{1}^{\alpha-1})} \\ & \quad\textit{for } t,s\in[0,1], \end{aligned}$$(3.11)
where \(0< M =\min\{1-\beta_{1} \eta_{1}^{\alpha-1}, \beta_{1} \eta_{1}^{\alpha-2}(1-\eta_{1})(\alpha-1), \beta_{1} \eta_{1}^{\alpha -1}\}< 1\).
Theorem 3.1
The Green’s function \(G(t,s)\) defined by Lemma 3.1 has the following properties:
-
(1)
$$ H(s)\geq0, $$(3.12)
-
(2)
$$\begin{aligned} & M t\biggl[\frac{ s(1-s)^{\alpha-1}}{\Gamma(\alpha)(1-\beta_{1} \eta_{1}^{\alpha-1})}+H(s)\biggr] \\ &\quad \leq t^{2-\alpha}G(t,s) \\ &\quad \leq \bigl(1+\beta_{1} \eta_{1}^{\alpha -2} \bigr)\biggl[H(s)+\frac{s(1-s)^{\alpha-1}}{\Gamma(\alpha)(1-\beta_{1} \eta _{1}^{\alpha-1})}\biggr] \quad\textit{for } t,s\in[0,1], \end{aligned}$$(3.13)
-
(3)
$$\begin{aligned} & M t^{\alpha-1}\biggl[\frac{ s(1-s)^{\alpha-1}}{\Gamma(\alpha)(1-\beta_{1} \eta_{1}^{\alpha-1})}+H(s)\biggr] \\ &\quad\leq G(t,s) \leq t^{\alpha-1}\biggl[H(s)+\frac{(1-s)^{\alpha-1}}{\Gamma (\alpha)(1-\beta_{1} \eta_{1}^{\alpha-1})}\biggr] \quad\textit{for } t,s \in[0,1], \end{aligned}$$(3.14)
where \(0< M=\min\{1-\beta_{1} \eta_{1}^{\alpha-1}, \beta_{1} \eta_{1}^{\alpha-2}(1-\eta_{1})(\alpha-1), \beta_{1} \eta_{1}^{\alpha -1}\}< 1\).
Proof
From (3.4), we know that \(K_{i}=\beta_{i}\eta_{i}^{\alpha -1}>0, M_{0}=\frac {1}{\Gamma(\alpha)(1- \sum_{i=1}^{m-2}\beta_{i}\eta _{i}^{\alpha-1})}>0\), and \(p_{i}(s)\geq0\), \(q_{i}(s)\geq0\) since \(0<\eta _{1}<\eta_{2}<\cdots<\eta_{m-2}<1\). Thus, \(H(s)\geq0\). From Lemma 3.2 and the definition of \(G_{2}(t, s)\), it is easy to check that (2)–(3) hold. Thus the proof of Theorem 3.1 is complete. □
For convenience, in this article, we let \(\omega=\frac{M}{1+\beta_{1} \eta_{1}^{\alpha-2}}, G^{*}(t,s)=t^{2-\alpha}G(t,s)\).
Lemma 3.3
Suppose \(e\in C[0,1], e(t)>0\), for \(t\in (0,1)\), \(1<\alpha\leq2\), and \(\gamma(t)\) is the unique solution of
where \(1<\alpha<2, 0<\beta_{i}<1, i=1,2,\ldots, m-2, 0<\eta_{1}<\eta _{2}<\cdots<\eta_{m-2}<1, \sum_{i=1}^{m-2}\beta_{i}\eta_{i}^{\alpha-1}<1\), then there exists a constant \(C_{0}\) such that
here \(C_{0}=\frac{1+\beta_{1} \eta_{1}^{\alpha-2}}{M}\int_{0}^{1} [H(s)+\frac {(1-s)^{\alpha-1}}{\Gamma(\alpha)(1-\beta_{1} \eta_{1}^{\alpha-1})}]e(s)\,ds\).
Proof
In fact, from Lemma 3.1, we have
Thus, from Theorem 3.1, we have
□
The above lemma together with Lemma 2.2 and the Leray–Schauder alternative principle establishes our main result.
Theorem 3.2
Suppose the following conditions are satisfied:
- \((H_{1})\) :
-
\(f:(0,1]\times(0,\infty) \rightarrow\mathbf{R}\) is continuous and there exists a function \(e(t)\in C[0,1]\), \(e(t)>0\) for \(t\in(0,1)\), with \(f(t,u) + e(t) \geq0\) for \((t,u)\in (0,1]\times (0,\infty)\);
- \((H_{2})\) :
-
\(f^{*}(t,u)=f(t,u)+ e(t)\), and \(f^{*}(t,t^{\alpha-2}u)\leq q(t)[g(u) + h(u)] \) on \((0,1]\times(0, \infty) \)with \(g > 0\) continuous and nonincreasing on \((0,\infty), h \geq 0 continuous \) on \([0, \infty)\) and \(\frac {h}{g} \) nondecreasing on \((0, \infty), q\in L^{1}[0,1], q>0\) on \((0,1)\);
- \((H_{3})\) :
-
\(a_{0}=\int_{0}^{1} q(s)g(s)\,ds<+\infty\);
- \((H_{4})\) :
-
\(\exists K_{0}\) with \(g(ab) \leq K_{0} g(a)g(b), \forall a> 0, b > 0\);
- \((H_{5})\) :
-
\(\exists r > C_{0} \) with
$$\frac{r}{g(\omega(r-C_{0}))\{ 1+ \frac {h(r)}{g(r)}\}}>K_{0} b_{0}, $$where
$$ b_{0}= \int_{0}^{1} \bigl(1+\beta_{1} \eta_{1}^{\alpha-2}\bigr)\biggl[H(s)+\frac {s(1-s)^{\alpha-1}}{\Gamma (\alpha)(1-\beta_{1}\eta_{1}^{\alpha-1})} \biggr]q(s)g(s)\,ds; $$(3.15) - \((H_{6})\) :
-
there exists \(0< a<\frac{1}{2}\) (choose and fix it) and a continuous, nonincreasing function \(g_{1}: (0,\infty)\rightarrow (0,\infty)\), and a continuous function \(h_{1}:[0,\infty)\rightarrow(0,\infty)\) with \(\frac {h_{1}}{g_{1}}\) nondecreasing on \((0,\infty)\) and with \(f^{*}(t,t^{\alpha-2}u)\geq q_{1}(t)[g_{1}(u)+h_{1}(u)]\) for \((t,u)\in[a,1]\times(0,\infty), q_{1}(t)\in C([0,1], [0,\infty))\);
- \((H_{7})\) :
-
\(\exists R>r\) with
$$ \frac{Rg_{1}(\varepsilon a\omega R)}{g_{1}(R)g_{1}(\varepsilon\omega a R)+g_{1}(R)h_{1}(\varepsilon\omega a R)}\leq \int_{a}^{1}G^{*}(\sigma, s)q_{1}(s)\,ds $$(3.16)here \(\varepsilon >0\) is any constant (choose and fix it) so that \(1-\frac{C_{0}}{R}\geq \varepsilon \) (note ε exists since \(R>r> C_{0}\)) and \(0\leq\sigma\leq 1\) is such that
$$\int_{a}^{1}q_{1}(s)G^{*}(\sigma, s)\,ds=\sup _{t\in[0,1] } \int_{a}^{1} q_{1}(s)G^{*}(t, s)\,ds; $$ - \((H_{8})\) :
-
for each \(L>0\), there exists a function \(\varphi_{L}\in C[0,1]\), \(\varphi_{L}> 0\) for \(t\in (0,1)\) such that \(f^{*}(t,t^{\alpha-2}u)\geq\varphi_{L}(t)\) for \((t,u)\in(0,1)\times (0,L]\), and \(\varphi_{r}(t)>e(t), t\in(0,1)\), where r is as in \(H_{5}\).
Then (3.1) has at least two solution \(u_{1}, u_{2}\) with \(u_{1}(t)>0, u_{2}(t)>0\) for \(t \in(0,1)\).
Proof
To show (3.1) has two nonnegative solutions we will look at the boundary value problem
where \(1<\alpha<2, 0<\beta_{i}<1, i=1,2,\ldots, m-2, 0<\eta_{1}<\eta _{2}<\cdots<\eta_{m-2}<1, \sum_{i=1}^{m-2}\beta_{i}\eta_{i}^{\alpha -1}<1\), and γ is as in Lemma 3.1.
We will show, using Lemma 2.2 and the Leray–Schauder alternative principle, that there exist two solutions, \(u_{1}, u_{2}\) to (3.17) with \(u_{1}(t)>\gamma(t), u_{2}(t)>\gamma(t)\) for \(t\in(0,1)\). If this is true then \(\bar{u}_{i}(t)=u_{i}(t)-\gamma(t),0\leq t\leq1\) are nonnegative solutions (positive on (0,1)) of (3.1), \(i=1,2\), since
As a result, we will concentrate our study on (3.17). Suppose that u is a solution of (3.17). Then
Let \(y(t):=t^{2-\alpha}u(t)\), then from (3.18) we have
where γ and ϕ are as in Lemma 3.2.
Let \(E=C[0,1]\) be endowed with maximum norm, \(\Vert u \Vert =\max_{0\leq t\leq1}| u(t)|\), and define the cone \(K\subset E\) by
and let
Next let \(A:K\cap(\bar{\Omega}_{2}\setminus\Omega_{1})\rightarrow E \) be defined by
First we show A is well defined. To see this notice if \(y\in K\cap (\bar{\Omega}_{2}\setminus\Omega_{1})\) then \(r\leq \Vert y \Vert \leq R\) and \(y(t)\geq\omega t \Vert y \Vert \geq\omega t r, 0\leq t\leq1 \). Also notice for \(t\in(0,1)\) that Lemma 3.1 implies
and for \(t\in(0,1)\), from \((H_{2})\) we have
These inequalities with \((H_{3})\) guarantee that \(A: K\cap (\bar{\Omega}_{2}\setminus\Omega_{1})\rightarrow E \) is well defined.
If \(y\in K\cap(\bar{\Omega}_{2}\setminus\Omega_{1})\), then we have
i.e., \(Ay\in K\) so \(A:K\cap (\bar{\Omega}_{2}\setminus\Omega_{1})\rightarrow K \).
Similarly reasoning as in the proof of Theorem 3.1 [18] shows that \(A:K\cap (\bar{\Omega}_{2}\setminus\Omega_{1})\rightarrow K \) is continuous and completely continuous.
We now show
To see this, let \(y\in K\cap\partial\Omega_{1}\). Then \(\Vert y \Vert =r\) and \(y(t)\geq\omega t r\) for \(t\in[0,1]\). Now for \(t\in (0,1)\) (as above)
then we have
This together with \((H_{5})\) yields
so (3.21) is satisfied.
Next we show
To see this let \(y\in K\cap\partial\Omega_{2}\), then \(\Vert y \Vert =R\) and \(y(t)\geq\omega t R\) for \(t\in[0,1]\). Also for \(t\in [0,1]\) we have
Now with σ as in the statement of Theorem 3.1, we have
This together with (3.16) yields
Thus \(\Vert Ay \Vert \geq \Vert y \Vert \), (3.22) holds.
Now Lemma 2.2 implies A has a fixed point \(y_{1}\in K\cap (\bar{\Omega}_{2}\setminus\Omega_{1})\), i.e. \(r\leq \Vert y_{1} \Vert \leq R\) and \(y_{1}(t)\geq\omega t r\) for \(t\in[0,1]\). Thus \(y_{1}(t)\) is a solution of (3.19) with \(y_{1}(t)>\phi(t)\) for \(t\in(0,1)\) and \(t^{\alpha-2}y_{1}(t)\) is a solution of (3.17) for \(t\in[0,1]\). Therefore, \(t^{\alpha-2}y_{1}(t)-\gamma(t)\) is a positive solution of (3.1).
The existence of another solution is proved using the Leray–Schauder alternative principle, together with a truncation technique.
Since \((H_{5})\) holds, we can choose \(n_{0}\in\{1,2,\ldots\}\) such that \(\frac{1}{n_{0}}< r-C_{0}\) and
Let \(N_{0} = \{n_{0}, n_{0} + 1, \ldots\}\). Consider the family of equations
where \(n\in N_{0}\) and
Similarly reasoning as in the proof of Theorem 3.1 shows that \(T_{n}\) is well defined and maps E into K. Moreover, \(T_{n}\) is continuous and completely continuous.
We consider
i.e.
where \(\lambda\in [0,1]\). We claim that any fixed point y of (3.25) for any \(\lambda\in[0,1]\) must satisfy \(\Vert x \Vert \neq r\). Otherwise, assume that y is a fixed point of (3.25) for some \(\lambda\in[0,1]\) such that \(\Vert y \Vert =r\). Note that
then we have
On the other hand, we have
By the choice of \(n_{0}\), \(\frac{1}{n}\leq\frac{1}{n_{0}}< r-C_{0}\). Hence, for all \(t\in[0,1]\), we have
Therefore,
and
Thus we have from condition \((H_{2})\), for all \(t\in[0,1]\),
Therefore,
This is a contradiction to the choice of \(n_{0}\) and the claim is proved.
From this claim, the Leray–Schauder alternative principle guarantees that
has a fixed point, denoted by \(y_{n}\), in \(B_{r}=\{y\in E, \Vert y \Vert < r\}\).
Next we claim that \(y_{n}(t)-\phi(t)\) has a uniform positive lower bound, i.e., there exists a constant \(\delta>0\), independent of \(n\in N_{0}\), such that
for all \(n\in N_{0}\). Since \((H_{8})\) holds, there exists a continuous function \(\varphi_{r}(t)>0\) such that \(f^{*}(t,t^{\alpha-2}u)>\varphi_{r}(t)>e(t)\) for all \((t,u)\in(0,1]\times(0,r]\).
Since \(y_{n}(t)-\phi(t)< r\), we have
Next note
Similarly reasoning as in the proof of Theorem 3.2 [18], we can easily verify it.
The facts \(\Vert y_{n} \Vert < r\) and (3.27) show that \(\{y_{n}\}_{n\in N_{0}}\) is a bounded and equicontinuous family on \([0,1]\). Now the Arzela–Ascoli Theorem guarantees that \(\{y_{n}\}_{n\in N_{0}}\) has a subsequence \(\{y_{n_{k}}\}_{n_{k}\in N_{0}}\), converging uniformly on \([0,1]\) to a function \(y\in E\). From the facts \(\Vert y_{n} \Vert < r\) and (3.26), y satisfies \(\delta t\leq y(t)-\phi(t)< r\) for all \(t\in[0,1]\). Moreover, \(y_{n_{k}}\) satisfies the integral equation
Letting \(k\rightarrow\infty\), we arrive at
Therefore, y is a positive solution of (3.19) and satisfies \(0< \Vert y \Vert < r\). Therefore, \(t^{\alpha-2}y(t)-\gamma(t)\) is a positive solution of (3.1).
Thus (3.1) has at least two positive solutions \(u_{1}=t^{\alpha-2}y_{1}(t)-\gamma(t), u_{2}(t)=t^{\alpha-2}y(t)-\gamma(t)\). □
It is easy to see that if \(e(t)\equiv0\), we can have a corollary for the singular positone boundary value problems. Here we omit it.
Example 3.1
Consider the boundary value problem
where \(0< a<\alpha-1<1<b<\frac{1-a}{2-\alpha}, 1<\alpha< 2, 0<\beta _{i}<1, i=1,2,\ldots, m-2, 0<\eta_{1}<\eta_{2}<\cdots<\eta_{m-2}<1, \sum_{i=1}^{m-2}\beta_{i}\eta_{i}^{\alpha-1}<1, 0<A<1\), \(\mu\in(0,\mu_{0})\) is such that
here
Then (3.28) has at least two positive solutions, \(u_{1}, u_{2}\) with \(u_{1}(t)>0,u_{2}(t)>0\) for \(t\in(0,1)\).
Proof
We will apply Theorem 3.2. To this end we take
then
Let \(q_{1}(t)= t^{-a(\alpha-2)}, q(t)= t^{b(\alpha-2)}\) and \(g(y)=g_{1}(y)=\mu y^{-a}, h(y)=h_{1}(y)=\mu y^{b}\), \(e(t)=\mu At^{(2-\alpha)a}, K_{0}=1\), \(\varphi_{L}(t)=\mu t^{(2-\alpha)a}L^{-a}\) then \((H_{1})\)–\((H_{4})\) and \((H_{6})\) are satisfied since \(0< a<\alpha-1<1<b<\frac{1-a}{2-\alpha}, 1<\alpha< 2\).
Also we have
and
Now the existence conditions \((H_{5})\) and \((H_{8})\) become
and
Thus, \((H_{5})\) and \((H_{8})\) hold with \(r=1\) since (3.29) and \(A<1\).
Finally, \((H_{7})\) becomes
Since \(b>1\), the right-hand side goes to 0 as \(R\rightarrow \infty\).
Thus, Eq. (3.28) has at least two positive solutions, \(u_{1}\), \(u_{2}\) with \(u_{1}(t)>0,u_{2}(t)>0\) for \(t\in(0,1)\). □
4 Conclusion
Prompted by the application of multi-point boundary value problems to applied mathematics and physics, these problems have provoked a great deal of attention by many authors. In this paper, we considered the properties of Green’s function for the nonlinear fractional differential equation boundary value problem
where \(1<\alpha<2, 0<\beta_{i}<1, i=1,2,\ldots, m-2, 0<\eta_{1}<\eta _{2}<\cdots<\eta_{m-2}<1, \sum_{i=1}^{m-2}\beta_{i}\eta_{i}^{\alpha-1}<1\), \(\mathbf{D}_{0+}^{\alpha}\) is the standard Riemann–Liouville derivative. Here our nonlinearity f may be singular at \(u=0\). Unlike the classical expression, we gave a new expression of the Green’s function and obtained some properties. As an application of Green’s function, we gave some multiple positive solutions for singular positone and semipositone boundary value problems by means of the Leray–Schauder nonlinear alternative, a fixed point theorem on cones. The results show that:
-
(1)
\(G(t,s)=G_{1}(t,s)+G_{2}(t,s)\),
$$\begin{aligned} &G_{1}(t,s)= \textstyle\begin{cases} \frac{[t(1-s)]^{\alpha-1}-\beta_{1} t^{\alpha-1}(\eta_{1}-s)^{\alpha -1}-(t-s)^{\alpha-1}(1-\beta_{1} \eta_{1}^{\alpha-1})}{(1-\beta_{1} \eta _{1}^{\alpha-1})\Gamma(\alpha)}, &0\leq s\leq t\leq1, s\leq\eta_{1},\\ \frac{[t(1-s)]^{\alpha-1}-(t-s)^{\alpha-1}(1-\beta_{1} \eta _{1}^{\alpha-1})}{(1-\beta_{1} \eta_{1}^{\alpha-1})\Gamma(\alpha)}, &0< \eta_{1}\leq s\leq t\leq1,\\ \frac{[t(1-s)]^{\alpha-1}-\beta_{1} t^{\alpha-1}(\eta_{1}-s)^{\alpha -1}}{(1-\beta_{1} \eta_{1}^{\alpha-1})\Gamma(\alpha)}, &0\leq t\leq s\leq\eta_{1} < 1,\\ \frac{[t(1-s)]^{\alpha-1}}{(1-\beta_{1} \eta_{1}^{\alpha-1})\Gamma (\alpha)}, & 0\leq t\leq s\leq1, \eta_{1}\leq s, \end{cases}\displaystyle \\ &G_{2}(t,s)=H(s)t^{\alpha-1}, \qquad H(s)=M_{0}\sum _{i=1}^{m-2} \biggl[\frac {K_{i}}{1-K_{1}}q_{i}(s)+ \frac {K_{1}K_{i}}{1-K_{1}}p_{i}(s) \biggr], \end{aligned}$$where \(K_{i}=\beta_{i}\eta_{i}^{\alpha-1}, M_{0}=\frac {1}{\Gamma(\alpha )(1-\sum_{i=1}^{m-2}\beta_{i}\eta_{i}^{\alpha-1})}\),
$$\begin{aligned} &q_{i}(s)=(1-s)^{\alpha-1}-\biggl(1-\frac {s}{\eta_{i}} \biggr)^{\alpha-1}I_{[0\leq s\leq\eta_{i}]}, \\ &p_{i}(s)=\biggl(1-\frac {s}{\eta_{i}}\biggr)^{\alpha-1}I_{[0\leq s\leq\eta _{i}]}- \biggl(1-\frac {s}{\eta_{1}}\biggr)^{\alpha-1}I_{[0\leq s\leq\eta_{1}]}. \end{aligned}$$ -
(2)
The Green’s function \(G(t,s)\) has the following properties:
-
(i)
\(H(s)\geq0\),
-
(ii)
\(M t[\frac{ s(1-s)^{\alpha-1}}{\Gamma(\alpha)(1-\beta_{1} \eta_{1}^{\alpha-1})}+H(s)] \leq t^{2-\alpha}G(t,s)\leq(1+\beta_{1} \eta_{1}^{\alpha -2})[H(s)+\frac{s(1-s)^{\alpha-1}}{\Gamma(\alpha)(1-\beta_{1} \eta _{1}^{\alpha-1})}] \text{ for } t,s\in[0,1]\),
-
(iii)
\(M t^{\alpha-1}[\frac{ s(1-s)^{\alpha-1}}{\Gamma(\alpha)(1-\beta_{1} \eta_{1}^{\alpha-1})}+H(s)] \leq G(t,s)\leq t^{\alpha-1}[H(s)+\frac{(1-s)^{\alpha-1}}{\Gamma (\alpha)(1-\beta_{1} \eta_{1}^{\alpha-1})}] \text{ for } t,s\in[0,1]\), where \(0< M=\min\{1-\beta_{1} \eta_{1}^{\alpha-1}, \beta_{1} \eta_{1}^{\alpha-2}(1-\eta_{1})(\alpha-1), \beta_{1} \eta_{1}^{\alpha -1}\}< 1\).
-
(i)
-
(3)
Suppose the conditions \((H_{1})\)–\((H_{8})\) hold. Then (3.1) has at least two solutions, \(u_{1}, u_{2}\) with \(u_{1}(t)>0, u_{2}(t)>0\) for \(t \in(0,1)\).
-
(4)
The boundary value problem
$$\begin{aligned} &\mathbf{D}_{0+}^{\alpha}u(t)+ \mu\bigl(u^{-a}(t) + u^{b}(t)-At^{(2-\alpha )a}\bigr)=0, \\ &u(0)=0, \qquad u(1)=\sum_{i=1}^{m-2} \beta_{i} u(\eta_{i}), \end{aligned}$$where \(0< a<\alpha-1<1<b<\frac{1-a}{2-\alpha}, 1<\alpha< 2, 0<\beta _{i}<1, i=1,2,\ldots, m-2, 0<\eta_{1}<\eta_{2}<\cdots<\eta_{m-2}<1, \sum_{i=1}^{m-2}\beta_{i}\eta_{i}^{\alpha-1}<1, 0<A<1\), has at least two positive solutions, \(u_{1}, u_{2}\) with \(u_{1}(t)>0,u_{2}(t)>0\) for \(t\in(0,1)\), \(\mu\in(0,\mu_{0})\), \(\mu_{0}\) is some constant.
References
Salem, H.A.H.: On the fractional order m-point boundary value problem in reflexive Banach spaces and weak topologies. J. Comput. Appl. Math. 224, 565–572 (2009)
Liang, S., Zhang, J.: Existence of multiple positive solutions for m-point fractional boundary value problems on an infinite interval. Math. Comput. Model. 54, 1334–1346 (2011)
Bai, Z.: Solvability for a class of fractional m-point boundary value problem at resonance. Comput. Math. Appl. 62, 1292–1302 (2011)
Liang, S., Zhang, J.: Existence of three positive solutions of m-point boundary value problems for some nonlinear fractional differential equations on an infinite interval. Comput. Math. Appl. 61, 3343–3354 (2011)
Cabrera, I.J., Harjani, J., Sadarangani, K.B.: Positive and nondecreasing solutions to an m-point boundary value problem for nonlinear fractional differential equation. Abstr. Appl. Anal. 2012, Article ID 826580 (2012)
Moustafa, E.-S., Shammakh, W.M.: Existence of positive solutions for m-point boundary value problem for nonlinear fractional differential equation. Abstr. Appl. Anal. 2011, Article ID 986575 (2011)
Lv, Z.-W.: Positive solutions of m-point boundary value problems for fractional differential equations. Adv. Differ. Equ. 2011, Article ID 571804 (2011)
Lv, Z.-W.: Existence results for m-point boundary value problems of nonlinear fractional differential equations with p-Laplacian operator. Adv. Differ. Equ. 2014, 69 (2014)
Li, B., Sun, S., Li, Y., Zhao, P.: Multi-point boundary value problems for a class of Riemann–Liouville fractional differential equations. Adv. Differ. Equ. 2014, 151 (2014)
Sudsutad, W., Tariboon, J.: Existence results of fractional integro-differential equations with m-point multi-term fractional order integral boundary conditions. Bound. Value Probl. 2012, 94 (2012)
Qu, H., Liu, X.: Existence of nonnegative solutions for a fractional m-point boundary value problem at resonance. Bound. Value Probl. 2013, 127 (2013)
Zhao, K., Gong, P.: Positive solutions of m-point multi-term fractional integral BVP involving time-delay for fractional differential equations. Bound. Value Probl. 2015, 19 (2015)
Zhai, C., Hao, M.: Multi-point boundary value problems for a coupled system of nonlinear fractional differential equations. Adv. Differ. Equ. 2015, 147 (2015)
Khalil, H., Ali Khan, R., Baleanu, D., Saker, S.H.: Approximate solution of linear and nonlinear fractional differential equations under m-point local and nonlocal boundary conditions. Adv. Differ. Equ. 2016, 177 (2016)
Bai, Z.: On positive solutions of a nonlocal fractional boundary value problem. Nonlinear Anal. 72, 916–924 (2010)
Wang, J., Xiang, H., Liu, Z.: Positive solution to nonzero boundary value problem for a coupled system of nonlinear fractional differential equations. Int. J. Differ. Equ. 2010, Article ID 186928 (2010)
Ahmad, B., Nieto, J.J.: Existence results for a coupled system of nonlinear fractional differential equations with three-point boundary conditions. Comput. Math. Appl. 58, 1838–1843 (2009)
Xu, X., Jiang, D., Hu, W., O’Regan, D., Agarwal, R.P.: Positive properties of Green’s function for three-point boundary value problems of nonlinear fractional differential equations and its applications. Appl. Anal. 91(2), 323–343 (2012)
Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integral and Derivatives (Theory and Applications). Gordon and Breach, Switzerland (1993)
Krasnosel’skii, M.A.: Positive Solutions of Operator Equations. Noordhoff, Groningen (1964)
Funding
The work was supported by National Natural Science Foundation of China (No. 11571207), Shandong Provincial Natural Science Foundation of China (No. Zr2015AL003), The Fundamental Research Funds for the central Universities (No. 16CX02015A, No. 15CX08011A, No. 17CX02049).
Author information
Authors and Affiliations
Contributions
XX developed the study concept and design, analyzed and drafted the manuscript. HZ corrected some spelling mistakes and inaccuracies of the expressions. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing financial 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
Xu, X., Zhang, H. Multiple positive solutions to singular positone and semipositone m-point boundary value problems of nonlinear fractional differential equations. Bound Value Probl 2018, 34 (2018). https://doi.org/10.1186/s13661-018-0944-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-018-0944-8