Abstract
In this paper, we mainly discuss the existence and uniqueness results of solutions to fractional differential equations with multi-strip boundary conditions. When the fractional order α becomes integer, the existence theorem of positive solutions can be established by a monotone iterative technique. Also, some examples are presented to illustrate the main results.
Similar content being viewed by others
1 Introduction
Differential equations attract many scholars’ interest since they can succinctly establish the relationship between variables and their derivatives. And fractional order calculus has been used as an important tool to improve mathematical modeling of many complex problems, such as in fluid mechanics, rheology, fractional model of nerve and fractional regression model; see [1–5], for instance.
In the last decades, fractional order boundary value problems have also received plenty of attention from many researchers. There are many achievements derived from some fractional equations with various boundary conditions, some recent contribution can be found in [6–13].
For example, in [14], authors considered a discrete multi-point boundary value problem such as
where \(2<\alpha \leq 3\), \(1\leq \beta \leq 2\), \(\alpha -\beta \geq 1\) and \(0<\xi_{i},\eta_{i}<1\) with \(\sum_{i=1}^{\infty }\xi_{i} \eta_{i}^{\alpha -\beta -1}<1\).
In [15], the authors considered the following equation with integral boundary conditions:
where \(q\in (1,2]\), α, β, γ and δ are nonnegative constants, and \(^{c}D^{q}\) is the standard Caputo fractional derivative of fractional order q.
Different from [14] and [15], some work focused on the solvability of the fractional differential equations with both multi-point and integral boundary conditions. In [16], Ahmad et al. were concerned with the following problem:
where \(2< q\leq 3\), \(0<\beta ,\gamma <1\), \(k>0\), \(\delta <1\), \(0< \eta <\zeta_{1}<\zeta_{2}<\cdots <\zeta_{m}<1\), and λ, \(a_{i}\), \(i=1,2,\dots , m\) are real constants.
Motivated by the above works, in this paper, we first deal with the following fractional order differential equation with multi-point and multi-strip boundary conditions:
where \(D_{0+}^{\alpha }\) is the Riemann–Liouville fractional derivative of order α, \(f:[0,1]\times \mathbb{R}^{3}\rightarrow \mathbb{R}\) is a continuous function, \(2<\alpha \leq 3\), \(0<\beta \leq 1<\gamma <\alpha -1\), \(0<\xi_{i}\leq 1\), \(a_{i}\), \(b_{i}\) are nonnegative constants satisfying \(a_{i}\geq \frac{\Gamma (\alpha - \beta )}{\Gamma (\alpha +1)}b_{i}\), for \(i=1,2,\dots ,m\).
It is worth mentioning that the nonlinear term of BVP (1.1) depends on all the lower fractional order derivatives of the unknown function, which implies more complete consideration from the practical application problems’ point of view. Although the complexity of the nonlinearity of BVP (1.1) is increased, we still get three Green’s functions with concise forms and satisfactory properties. Meanwhile, boundary conditions of (1.1) include both multiple discrete points and multiple band-like integrals, which is a broad generalization of most models in [17–24]. By using the Leray–Schauder alternative theorem and the Banach’s contraction mapping principle, existence and uniqueness theorems of solutions to BVP (1.1) are proved.
However, it is known that sometimes only positive solutions are significant in the real world. For this reason, in the second part we degenerate the fractional order model and choose \(\alpha =3\), \(\gamma =2\), \(\beta =1\). Hence, the following integer-order differential equation is discussed:
where \(f:[0,1]\times [0,\infty ) \times \mathbb{R} \times (-\infty ,0] \rightarrow [0,\infty )\) is continuous, \(a_{i}\), \(b_{i}\) are nonnegative constants satisfying \(\frac{1}{6}b_{i}\leq a_{i} <\frac{\xi_{i}^{2}b _{i}}{2}\) with \(\frac{\sqrt{3}}{3}<\xi_{i}\leq 1\), for \(i=1,2, \dots ,m\).
The arguments for BVP (1.2) are based on a monotone iterative technique. It is important that the Green’s function associated with BVP (1.2) is nonnegative, which is different from that of BVP (1.1). In this part, not only the existence results of positive solutions are obtained, but also the approximate solutions of BVP (1.2) can be presented.
2 Fractional order differential equation
In this section, we consider the fractional order BVP (1.1) and establish the existence and uniqueness criteria of solutions. We put forward some indispensable definitions and theorems in advance.
Definition 2.1
([25])
The Riemann–Liouville fractional integral of order \(\alpha >0\) of a function \(f:(0,\infty )\rightarrow \mathbb{R}\) is given by
provided the right-hand side is pointwise defined on \((0,\infty )\), where \(\Gamma (\alpha )\) is the Euler gamma function defined by \(\Gamma (\alpha )=\int_{0}^{\infty }t^{\alpha -1}e^{-t}\,dt\), for \(\alpha >0\).
Definition 2.2
([25])
The Riemann–Liouville fractional derivative of order \(\alpha >0\) for a function \(f:(0,\infty )\rightarrow \mathbb{R}\) is given on \([0,\infty ) \) by
where \(n=[\alpha ]+1\) and \([\alpha ]\) stands for the largest integer not greater than α.
From the definitions of Riemann–Liouville’s derivative, the following lemmas can be obtained.
Lemma 2.1
([25])
For \(\alpha >0\), if we assume that \(u\in C[0,\infty ) \cap L ^{1}(0,1)\), then
for some \(m_{i}\in \mathbb{R},i=1,2,\dots ,n\), where n is the smallest integer greater than or equal to α.
Remark 2.1
([20])
The following properties are useful for our discussion:
-
(i)
As a basic example, we quote, for \(\lambda > -1\),
$$\begin{aligned} D_{0+}^{\alpha }t^{\lambda }=\frac{\Gamma (\lambda +1)}{\Gamma ( \lambda -\alpha +1)}t^{\lambda -\alpha }; \end{aligned}$$ -
(ii)
\(D_{0+}^{\alpha }I_{0+}^{\alpha }u(t)=u(t)\), for \(u(t)\in L^{1}(0,1)\).
Before presenting the main results, we give the following assumptions:
-
(F1)
\(2<\alpha \leq 3\), \(0<\beta \leq 1<\gamma <\alpha -1\), \(0<\xi_{i}< 1\), for \(i=1,2,\dots ,m\);
-
(F2)
\(a_{i}\), \(b_{i}\) are nonnegative constants and \(a_{i}\geq \frac{\Gamma (\alpha -\beta )}{\Gamma (\alpha +1)}b_{i}\), for \(i=1,2,\dots ,m\);
-
(F3)
\(q\in L^{1}[0,1]\) is nonnegative, and \(f\in C([0,1] \times \mathbb{R}^{3}, \mathbb{R})\).
For convenience, denote
In view of (F1) and (F2), it is obvious that \(A>B\geq 0\), as well as \(\Delta_{1}> 1\) and \(\varphi (t)\geq 0\) for \(t\in [0,1]\).
Lemma 2.2
For \(h(t)\in C(0,1)\cap L^{1}(0,1)\), the boundary value problem
has a unique solution
where
Proof
From Lemma 2.1, we can reduce \(D_{0+}^{\alpha }u(t)+h(t)=0\) to the following equivalent equation:
where \(m_{1}\), \(m_{2}\) and \(m_{3}\) are arbitrary real constants.
Since \(u(0)=D_{0+}^{\gamma }u(0)=0\), we have \(m_{2}=m_{3}=0\). Integrating (2.6) from 0 to \(\xi_{i}\), for \(i=1,\dots ,m\), we get
By Remark 2.1, we have
Thus, together with (2.6), (2.7) and (2.8), it can be seen that
where \(\Delta_{1}\) is defined by (2.1), \(P(h)\) is given by (2.5). Hence, the solution of problem (2.2) can be expressed as
where \(H_{0}(t,s)\) is given by (2.4) and \(\varphi (t)\) is introduced by (2.1).
This completes the proof of the lemma. □
After replacing \(m_{1}\) in (2.8), we get
where
Similarly, we have
where
Next, we present some properties of Green’s functions and \(P(h)\).
Lemma 2.3
For \(t,s\in [0,1]\), the Green functions \(H_{0}(t,s),H_{\beta }(t,s),H _{\gamma }(t,s)\) and \(P(h)\) satisfy the following properties:
-
(a)
\(\vert H_{0}(t,s) \vert \leq H(s)\), where \(H(s)=\frac{(1-s)^{ \alpha -1}}{\Delta_{1}\Gamma (\alpha )}(1+\Delta_{1})\);
-
(b)
\(\vert P(h) \vert \leq \overline{P}(h)\), for \(h(t)\geq 0\), where
$$\begin{aligned} \overline{P}(h)=\sum_{i=1}^{m} \frac{a_{i}}{\Gamma (\alpha -\beta )} \int_{0}^{\xi_{i}}(\xi_{i}-s)^{\alpha -\beta -1} \bigl[1+(\xi_{i}-s)^{ \beta +1} \bigr]h(s)\,ds; \end{aligned}$$ -
(c)
\(\vert H_{\beta }(t,s) \vert \leq \Lambda_{\beta }(s)\), \(\vert H_{\gamma }(t,s) \vert \leq \Lambda_{\gamma }(s)\), where
$$\begin{aligned} &\Lambda_{\beta }(s)=\frac{1}{\Gamma (\alpha -\beta )}(1-s)^{\alpha - \beta -1} \biggl( \frac{(1-s)^{\beta }}{\Delta_{1}}+1 \biggr), \\ &\Lambda_{\gamma }(s)=\frac{1}{\Gamma (\alpha -\gamma )}(1-s)^{ \alpha -\gamma -1} \biggl( \frac{(1-s)^{\gamma }}{\Delta_{1}}+1 \biggr). \end{aligned}$$
Proof
(a) For \(0\leq s\leq t\leq 1\), we have
while, for \(0\leq t\leq s \leq 1\), we have
(b) According to (2.5), (F1) and (F2), for \(h(t)\geq 0\), we have
(c) For \(0\leq s \leq t \leq 1\), we have
while, for \(0\leq t \leq s \leq 1\), we have
Similarly, we can have
Then the proof is completed. □
Let \(E_{1}=\{u(t)\mid u(t)\in C[0,1] \text{ and } D_{0+}^{\beta }u(t), D_{0+}^{\gamma }u(t) \in C[0,1]\}\) be endowed with the norm
where \(\Vert u \Vert _{0} = \max_{t\in [0,1]} \vert u(t) \vert \). In order to ensure the feasibility of the conclusion, we should prove the following lemmas.
Lemma 2.4
\((E_{1},\Vert \cdot \Vert )\) is a Banach space.
Proof
Let \(\{u_{n}\}_{n=1}^{\infty }\) be a Cauchy sequence in the space \((E_{1},\Vert \cdot \Vert )\). It is clear that \(\{u_{n}\}_{n=1}^{ \infty }\), \(\{D_{0+}^{\beta }u_{n}\}_{n=1}^{\infty }\) and \(\{D_{0+} ^{\gamma }u_{n}\}_{n=1}^{\infty }\) are Cauchy sequences in the space \(C[0,1]\). Accordingly, \(\{u_{n}\}_{n=1}^{\infty }\), \(\{D_{0+}^{\beta }u_{n}\}_{n=1}^{\infty }\) and \(\{D_{0+}^{\gamma }u_{n}\}_{n=1}^{ \infty }\) uniformly converge to some u, v and w on \([0,1]\) while \(u, v, w \in C[0,1]\). Now we should prove that \(v=D_{0+}^{\beta }u\) and \(w=D_{0+}^{\gamma }u\).
For \(t\in [0,1]\), we notice that
Due to the convergence of \(\{D_{0+}^{\beta }u_{n}\}_{n=1}^{\infty }\), we obtain that \(\lim_{n \to \infty }I_{0+}^{\beta }D_{0+}^{ \beta }u_{n}(t)= I_{0+}^{\beta }v(t)\) uniformly for \(t\in [0,1]\). Meanwhile, by Lemma 2.1, we get \(I_{0+}^{\beta }D_{0+}^{\beta }u_{n}(t)=u _{n}(t)+m_{1}t^{\beta -1}\), for \(t\in [0,1]\) and some \(m_{1}\in \mathbb{R}\). These two facts yield
Together with \(\lim_{n \to \infty }u_{n}(t)= u(t)\) for \(t\in [0,1]\), we have
Taking the derivative of order β of both sides of Eq. (2.12), as a result we have
From Remark 2.1, it is easy to see that
Also, for \(t\in [0,1]\), \(\omega (t)=D_{0+}^{\gamma }u(t)\) can be proved using similar steps.
The proof of this lemma is completed. □
For \(u\in E_{1}\), we define an operator \(T_{1}\) as follows:
where
and \(f_{u}(s)=f(s,u(s),D_{0+}^{\beta }u(s),D_{0+}^{\gamma }u(s))\). Also, from (2.10) and (2.11), we have
Lemma 2.5
\(T_{1}:E_{1}\rightarrow E_{1}\) is completely continuous.
Proof
By the continuity of Green’s function \(H_{0}(t,s)\) and \(f(t,u(t),D _{0+}^{\beta }u(t),D_{0+}^{\gamma }u(t))\), \(T_{1}\) is continuous.
Then, we show \(T_{1}\) is uniformly bounded. Let \(\Omega \subset E_{1}\) be bounded. We set \(\Vert u \Vert \leq K\), with \(K >0\), for all \(u\in \Omega \). Let \(F=\max \{\vert f_{u}(t) \vert \mid 0\leq t \leq 1, -K\leq u(t) \leq K, -K\leq D_{0+}^{\beta }u(t) \leq K, -K \leq D_{0+}^{\gamma }u(t)\leq K\}\). Then from Lemma 2.3, we have
and
Hence, we can find upper bounds of \(\vert (T_{1}u)(t) \vert \), \(\vert D_{0+}^{\beta }(T_{1}u)(t) \vert \) and \(\vert D_{0+}^{\gamma }(T_{1}u)(t) \vert \), for \(t\in [0,1]\). Thus, \(\Vert T_{1}u \Vert \) is bounded, which implies that the operator \(T_{1}\) is uniformly bounded.
Finally, we show \(T_{1}\) is equicontinuous. Indeed, for any \(u\in \Omega \), \(t_{1},t_{2}\in [0,1]\), with \(t_{1}< t_{2}\), we can infer that
Applying the mean value theorem, the following inequalities hold:
from which we can deduce that
In addition,
This also leads to \(\vert D_{0+}^{\gamma }(T_{1}u)(t_{2})-D_{0+}^{\gamma }(T_{1}u)(t_{1}) \vert \rightarrow 0\), as \(t_{2}\to t_{1}\).
Therefore, \(T_{1}\) is equicontinuous for all \(u\in \Omega \). Thus, by means of the Arzelà–Ascoli Theorem, we obtain that \(T_{1}:E_{1} \rightarrow E_{1}\) is completely continuous. □
Lemma 2.6
(Leray–Schauder alternative theorem)
Let \(T:E\rightarrow E\) be a completely continuous operator (i.e., a map that restricted to any bounded set in E is compact). Let
Then, either the set is unbounded, or T has at least one fixed point.
From the above facts, if operator \(T_{1}\) has fixed points, we can observe that BVP (1.1) has solutions.
The next stage is devoted to obtaining the existence result.
For convenience, set
Theorem 2.7
Assume there exist real constants \(\mu_{i}\geq 0\) (\(i=1,2,3\)) and \(\mu_{0}>0\) such that for \(t\in [0,1]\), \(u,v,w \in \mathbb{R}\), we have
If \((\mu_{1}+\mu_{2}+\mu_{3})M_{1}<1\), then BVP (1.1) has at least one solution.
Proof
In order to verify that problem (1.1) has at least one solution by Lemma 2.6, we should prove that the set \(\varepsilon =\{ u\in E_{1} \mid u= \lambda T_{1}(u),0\leq \lambda \leq 1\}\) is bounded.
Let \(u\in \varepsilon \), for any \(t\in [0,1]\), we have
Also, we have
and
Thus, we obtain
Hence,
where \(M_{1}\) has been given in (2.13), which proves that \(\Vert u \Vert \) is bounded. Thus, operator \(T_{1}\) has at least one fixed point and, consequently, we can derive that BVP (1.1) has at least one solution. □
In the following, we should verify the uniqueness of the solution to BVP (1.1) by Banach’s contraction mapping principle.
Theorem 2.8
Let \(f:[0,1]\times \mathbb{R}^{3}\rightarrow \mathbb{R}\) be a continuous function. For all \(t\in [0,1]\), \(u_{i},v_{i},w_{i}\in \mathbb{R}\) (\(i=1,2\)), we have
where M is the Lipschitz constant. If \(3MM_{1} \leq 1\), BVP (1.1) has a unique solution, where \(M_{1}\) is given by (2.13).
Proof
Denote \(M_{0}=\sup_{t\in [0,1]}\vert f(t,0,0,0) \vert \). Set \(r \geq \frac{M_{0}M_{1}}{1-3MM_{1}}\) subject to the above mentioned M, \(M_{1}\) and \(M_{0}\). The set \(B_{r}\subset E_{1}\) is defined by \(B_{r}=\{u \in E_{1}\mid \Vert u \Vert \leq r \}\), and we will show that \(T_{1}B_{r} \subset B_{r}\). For \(u\in B_{r}\), we obtain
For \(u\in B_{r}\), from (2.14) and similar to the proof of Theorem 2.7, we have
which yields \(\Vert T_{1}u \Vert \leq (3Mr+M_{0})M_{1}< r\). This shows that \(T_{1}\) maps \(B_{r}\) into itself. Now, setting \(u_{1},u_{2} \in E_{1}\), for each \(t\in [0,1]\), we get
Additionally, we obtain
and
From the above, we have \(\Vert T_{1}u_{2}-T_{1}u_{1} \Vert \leq 3MM _{1}\Vert u_{2}-u_{1} \Vert \). In view of \(3MM_{1}<1\), the operator \(T_{1}\) is a contraction. Thus, the uniqueness of solution to BVP (1.1) follows from Banach’s contraction mapping principle. □
Example 2.1
Consider the nonlinear fractional differential equation
In this model, we set
It is easy to verify that (F1)–(F3) hold. By calculation, we have
Meanwhile, we see
Therefore, \((\mu_{1}+\mu_{2}+\mu_{3} )M_{1}<1\) and \(3MM_{1}<1\).
Thus, all the conditions of the above theorems are satisfied. Hence, by Theorem 2.7 problem (2.15) has at least one solution, and by Theorem 2.8 it has a unique solution.
3 Integer-order differential equation
In this section, in order to establish the existence results of positive solutions, we try to degenerate the fractional order problem into a corresponding integer-order differential model.
Necessarily, we give the following assumptions:
-
(H1)
\(a_{i}\), \(b_{i}\) are nonnegative constants satisfying \(\frac{1}{6}b_{i}\leq a_{i} <\frac{\xi_{i}^{2}b_{i}}{2}\), with \(\frac{\sqrt{3}}{3}<\xi_{i}\leq 1\) for \(i=1,2,\dots ,m\);
-
(H2)
\(q\in L^{1}[0,1]\) is nonnegative and \(f\in C([0,1] \times [0,\infty )\times \mathbb{R}\times (-\infty ,0], [0,\infty ))\).
For convenience, we denote
From (H1), it is easy to see that \(F>E\geq 0\). In the following, we always assume that \(0< F-E <1\). Hence, we have \(0<\Delta_{2}< 1\), and \(\psi (t)\geq 0\) for \(t\in [0,1]\).
Lemma 3.1
Let \(h(t)\in C[0,1]\cap L^{1}(0,1)\). Then the boundary value problem
has an integral representation
where
The proof is similar to that of Lemma 2.2, so we omit it. Moreover, one has
where
Now, we will provide some properties of \(G_{0}(t,s)\), \(Q(h)\) and \(g(t,s)\).
Lemma 3.2
For \((t,s)\in [0,1]\times [0,1]\), the functions \(G_{0}(t,s)\), \(Q(h)\) and \(g(t,s)\) satisfy the following properties:
-
(a)
\(0\leq \frac{t}{2\Delta_{2}}(1-s)^{2}(1-\Delta_{2}t) \leq G_{0}(t,s)\leq \frac{t}{2\Delta_{2}}(1-s)^{2}+t^{2}(1-s)\);
-
(b)
\(0\leq \underline{Q}(h)\leq Q(h)\leq \overline{Q}(h)\), for \(h(t)\geq 0\), where
$$\begin{aligned}& \underline{Q}(h)=\sum_{i=1}^{m} \frac{b_{i}}{6} \int_{0}^{\xi_{i}}(\xi _{i}-s) \bigl[1-( \xi_{i}-s)^{2} \bigr]h(s)\,ds, \\& \overline{Q}(h)=\sum_{i=1}^{m}a_{i} \int_{0}^{\xi_{i}}(\xi_{i}-s) \bigl[1+( \xi_{i}-s)^{2} \bigr]h(s)\,ds; \end{aligned}$$ -
(c)
\(\vert g(t,s) \vert \leq \frac{(1-s)^{2}}{2\Delta_{2}}+(1-s)\).
Proof
(a) For \(0\leq s\leq t\leq 1\), we have
while, for \(0\leq t\leq s\leq 1\), we have
On the other hand, for \(0\leq s\leq t\leq 1\), we have
while, for \(0\leq t\leq s\leq 1\), we have
(b) From (3.5) and (H1), for \(h(t)\geq 0\), we have
For \(h(t)\geq 0\), we also have
(c) From (3.7), for \(0\leq s\leq t\leq 1\), we have
and, for \(0\leq t\leq s\leq 1\), we have
This completes the proof of the lemma. □
In this section, we introduce the Banach space \(E_{2} = C^{2}[0,1]\) equipped with the norm
and define a cone \(P\subset E_{2}\) by \(P = \{u\in E_{2}: u(t)\geq 0, u{''}(t)\leq 0 \}\). Then, for all \(u\in E_{2}\), we define an integral operator \(T_{2}:P \rightarrow E_{2}\) by
where \(f_{u}(s)=f(s,u(s),u'(s),u{''}(s))\) and
Lemma 3.3
If (H1) and (H2) are satisfied, \(T_{2}:P \rightarrow P\) is completely continuous.
Proof
After introducing the operator \(T_{2}\), for \(u\in P\), we can get that
Thus, \((T_{2}u)(t)\) is concave and \((T_{2}u)(t)\geq 0\), for \(0\leq t \leq 1\), which implies that operator \(T_{2}\) maps P into P.
It is obvious that \(T_{2}\) is continuous, but we need to prove that \(T_{2}\) is also compact. Let \(\Omega \subset P\) be a bounded set. Similar to Lemma 2.5, we can easily prove that \(T_{2}(\Omega )\) is bounded and equicontinuous. Thus, by the Arzelà–Ascoli Theorem, \(T_{2}(\Omega )\) is relatively compact, which implies \(T_{2}\) is compact. Consequently, we get that \(T_{2}:P \rightarrow P\) is completely continuous. □
For convenience, we denote
According to (H1) and (H2), it is obviously that \(L_{1}\), \(L_{2}\), \(L _{3}\) and \(L_{Q}\) are nonnegative.
Now, based on Lemmas 3.2 and 3.3, in what follows, we show that there exist positive extremal solutions for BVP (1.2) by a monotone iterative method.
Theorem 3.4
Assume that (H1) and (H2) hold, let \(l_{1}\) and l be two positive numbers, satisfying \(l=\max \{\frac{1}{2\Delta_{2}}L_{1}+L_{2}+\frac{1}{ \Delta_{2}}L_{Q}+L_{3}, \frac{L_{3}}{\Delta_{2}} \}l_{1}\), and
-
(S1)
\(f(t,u_{1},v_{1},w_{1})\leq f(t,u_{2},v_{2},w_{2})\), for \(0\leq t \leq 1, 0\leq u_{1} \leq u_{2} \leq l, 0\leq \vert v_{1} \vert \leq \vert v_{2} \vert \leq l, -l\leq w_{2} \leq w_{1} \leq 0\);
-
(S2)
\(\max_{0\leq t \leq 1}f(t,l,l,-l)\leq l_{1}\);
-
(S3)
\(f(t,0,0,0)\not \equiv 0\), for \(0\leq t \leq 1\).
Then BVP (1.2) has concave positive solutions \(v^{*}\) and \(\omega^{*}\), which satisfy
Proof
Denote \(P_{l}= \{u\in P\mid \Vert u \Vert \leq l \}\). In the following, we first prove that \(T_{2}:P_{l}\rightarrow P_{l}\). Let \(u\in P_{l}\). Then for \(t\in [0,1]\), we have
So, for \(0\leq t \leq 1\), by (S1) and (S2), we get
Consequently, for \(t\in [0,1]\), we have
To sum up, we obtain
and \(T_{2}:P_{l}\rightarrow P_{l}\).
Set \(\omega_{0}= [ \frac{t}{\Delta_{2}}(\frac{1}{2}L_{1}+L_{Q}+ \Delta_{2}L_{2})+(t-\frac{t^{2}}{2})L_{3} ]l_{1}\) and \(v_{0}=0\). Obviously, \(\omega_{0}\), \(v_{0}\in P_{l}\). By using the completely continuous operator \(T_{2}\), we define the sequences \(\{\omega_{n}\}\) and \(\{v_{n}\}\) as \(\omega_{n}=T_{2}\omega_{n-1}\), \(v_{n}=T_{2}v_{n-1}\), for \(n=1,2,\dots \) . Since \(T_{2}:P_{l}\rightarrow P_{l}\), we get that \(\omega_{n}, v_{n} \in P_{l}\), \(n=1,2,\dots \) . Also we assert that \(\{\omega_{n}\}\) and \(\{v_{n}\}\) have relatively compact subsequences, for \(n=0,1,2,\dots \) . Hence, we prove that there exist \(\omega^{*}\), \(v ^{*}\), satisfying \(\lim_{n\rightarrow \infty }\omega_{n}=\omega^{*}\) and \(\lim_{n\rightarrow \infty }v_{n}=v^{*}\), which are monotone positive solutions of problem (1.2).
For \(t\in [0,1]\), according to the definition of the iterative scheme, we have
Thus, for \(0\leq t \leq 1\), we have
By induction, one has
So, we assert that \(\omega_{n}\rightarrow \omega^{*}\) and \(T_{2}\omega ^{*}=\omega^{*}\), since \(T_{2}\) is completely continuous and \(\omega_{n+1}=T_{2}\omega_{n}\).
For the sequence \(\{v_{n} \}_{n=1}^{\infty }\), we apply a similar argument. For \(t\in [0,1]\), we have
So, for \(0\leq t \leq 1\), we have
Similarly, one has
And, we assert that \(v_{n}\rightarrow v^{*}\) and \(T_{2}v^{*}=v^{*}\), since \(T_{2}\) is completely continuous and \(v_{n+1}=T_{2}v_{n}\).
Consequently, there exist \(\omega^{*}\) and \(v^{*}\) in \(P_{l}\), which are nonnegative solutions of BVP (1.2). From (S3), it is obvious that \(\omega^{*}(t)>0, v^{*}(t)>0\), for \(t\in [0,1]\), since zero is not a solution of Eq. (1.2). The proof is completed. □
Example 3.1
Consider the following third-order boundary value problem:
In this model, we set
It is obvious that (H1) and (H2) hold. By calculation, we get
and \(l=\max \{\frac{1}{2\Delta_{2}}L_{1}+L_{2}+\frac{1}{\Delta _{2}}L_{Q}+L_{3}, \frac{L_{3}}{\Delta_{2}} \}l_{1} \approx 2.0176l _{1}\). Set \(l_{1}=5\). Then all the hypotheses of Theorem 3.4 are satisfied with \(l=10\). Hence, BVP (3.10) has monotone positive solutions \(v^{*}\) and \(\omega^{*}\), which satisfy, for \(t\in [0,1]\),
For \(n=1,2,\dots \), the two iterative schemes are
and
References
Wu, X.Y., Tian, B., Liu, L., Sun, Y.: Rogue waves for a variable-coefficient Kadomtsev–Petviashvili equation in fluid mechanics. Comput. Math. Appl. 76, 215–223 (2018)
Odibat, Z., Momani, S.: The variational iteration method: an efficient scheme for handling fractional partial differential equations in fluid mechanics. Comput. Math. Appl. 58(11), 2199–2208 (2009)
Mohammadi, N., Kamalian, N., Nasirshoaibi, M., Rastegari, R.: High-frequency storage and loss moduli estimation for an electromagnetic rheological fluid using Fredholm integral equations of first kind and optimization methods. J. Braz. Soc. Mech. Sci. Eng. 39(7), 1–11 (2017)
Kumar, D., Singh, J., Baleanu, D.: A new numerical algorithm for fractional Fitzhugh–Nagumo equation arising in transmission of nerve impulses. Nonlinear Dyn. 91(1), 307–317 (2018)
Sauerbrei, W., Meier-Hirmer, C., Benner, A., Royston, P.: Multivariable regression model building by using fractional polynomials: description of SAS, STATA and R programs. Comput. Stat. Data Anal. 50(12), 3464–3485 (2006)
Dong, X., Bai, Z., Zhang, S.: Positive solutions to boundary value problems of p-Laplacian with fractional derivative. Bound. Value Probl. 2017(1), Article ID 5 (2017)
Hu, T., Sun, Y., Sun, W.: Existence of positive solutions for a third-order multipoint boundary value problem and extension to fractional case. Bound. Value Probl. 2016(1), Article ID 197 (2016)
Li, Y., Qi, A.: Positive solutions for multi-point boundary value problems of fractional differential equations with p-Laplacian. Math. Methods Appl. Sci. 39(6), 1425–1434 (2016)
Ahmad, B., Alsaedi, A., Al-Malki, N.: On higher-order nonlinear boundary value problems with nonlocal multipoint integral boundary conditions. Lith. Math. J. 56, 143–163 (2016)
Henderson, J., Luca, R.: Systems of Riemann–Liouville fractional equations with multi-point boundary conditions. Appl. Math. Comput. 309, 303–323 (2017)
Zhang, X., Zhong, Q.: Uniqueness of solution for higher-order fractional differential equations with conjugate type integral conditions. Fract. Calc. Appl. Anal. 20(6), 1471–1484 (2017)
Zhang, X., Zhong, Q.: Triple positive solutions for nonlocal fractional differential equations with singularities both on time and space variables. Appl. Math. Lett. 80, 12–19 (2018). https://doi.org/10.1016/j.aml.2017.12.022
Wang, L., Zhang, X.: Existence of positive solutions for a class of higher-order nonlinear fractional differential equations with integral boundary conditions and a parameter. Appl. Math. Comput. 44(1–2), 293–316 (2014)
Zhang, X., Zhong, Q.: Multiple positive solutions for nonlocal boundary value problems of singular fractional differential equations. Bound. Value Probl. 2016, Article ID 65 (2016)
Yang, W.: Positive solutions for nonlinear Caputo fractional differential equations with integral boundary conditions. J. Appl. Math. Comput. 44(1–2), 39–59 (2014). https://doi.org/10.1007/s12190-013-0679-8
Ahmad, B., Ntouyas, S.K., Agarwal, R.P., Alsaedi, A.: Existence results for sequential fractional integro-differential equations with nonlocal multi-point and strip conditions. Bound. Value Probl. 2016, Article ID 205 (2016)
Liu, R., Kou, C., Xie, X.: Existence results for a coupled system of nonlinear fractional boundary value problems at resonance. Math. Probl. Eng. 2013, Article ID 267386 (2013). https://doi.org/10.1155/2013/267386
Di, B., Pang, H.: Existence results for the fractional differential equations with multi-strip integral boundary conditions. J. Appl. Math. Comput. 2018, 1–19 (2018)
Sun, Y., Zhao, M.: Positive solutions for a class of fractional differential equations with integral boundary conditions. Appl. Math. Lett. 34, 17–21 (2014)
Gao, Y., Chen, P.: Existence of solutions for a class of nonlinear higher-order fractional differential equation with fractional nonlocal boundary condition. Adv. Differ. Equ. 2016(1), Article ID 314 (2016)
Ntouyas, S.K., Tariboon, J.: Fractional boundary value problems with multiple orders of fractional derivatives and integrals. Electron. J. Differ. Equ. 2017(100), Article ID 1 (2017)
Zhang, X., Liu, L., Wu, Y.: Existence results for multiple positive solutions of nonlinear higher order perturbed fractional differential equations with derivatives. Appl. Math. Comput. 219(4), 1420–1433 (2012)
Zhang, X., Feng, M., Ge, W.: Existence result of second-order differential equations with integral boundary conditions at resonance. J. Math. Anal. Appl. 353(1), 311–319 (2009)
Wang, M., Feng, M.: Infinitely many singularities and denumerably many positive solutions for a second-order impulsive Neumann boundary value problem. Bound. Value Probl. 2017(1), Article ID 50 (2017)
Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, New York (1993)
Acknowledgements
The authors would like to thank the anonymous referees very much for helpful comments and suggestions which led to the improvement of presentation and quality of the work.
Funding
The work is supported by National Training Program of Innovation (Project No.201810019163). The funding body plays an important role in the design of the study and analysis, calculation and in writing the manuscript.
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the manuscript, read and approved the final draft.
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
Gao, C., Gao, Z. & Pang, H. Existence criteria of solutions for a fractional nonlocal boundary value problem and degeneration to corresponding integer-order case. Adv Differ Equ 2018, 408 (2018). https://doi.org/10.1186/s13662-018-1857-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-018-1857-7