- Research
- Open access
- Published:
Existence and uniqueness of solutions for a class of higher-order fractional boundary value problems with the nonlinear term satisfying some inequalities
Journal of Inequalities and Applications volume 2020, Article number: 196 (2020)
Abstract
This paper focuses on a class of hider-order nonlinear fractional boundary value problems. The boundary conditions contain Riemann–Stieltjes integral and nonlocal multipoint boundary conditions. It is worth mentioning that the nonlinear term and the boundary conditions contain fractional derivatives of different orders. Based on the Schauder fixed point theorem, we obtain the existence of solutions under the hypothesis that the nonlinear term satisfies the Carathéodory conditions. We apply the Banach contraction mapping principle to obtain the uniqueness of solutions. Moreover, by using the theory of spectral radius we prove the uniqueness and nonexistence of positive solutions. Finally, we illustrate our main results by some examples.
1 Introduction
In this paper, we consider the class of boundary value problems
where \(D_{0+}^{\alpha}\) is the Riemann–Liouville fractional derivative of order α, \(n-1<\alpha\leq n\) (\(n\geq3\)), \(1<\alpha-\alpha_{n-2}\leq2\); \(k-1<\alpha_{k}, \beta_{k}\leq k\), \(\alpha_{n-2}-\beta_{k}\leq n-2-k\) (\(k=1, 2,\ldots,n-2\)); \(\alpha _{n-2}\leq q_{j}\leq q_{0}\leq n-1\), \(c_{j}\geq0\) (\(j=1,2,3\)), \(\alpha-q_{0}\geq1\); \(\gamma_{i}\geq0\), \(0<\xi_{1}<\xi_{2}<\cdots<\xi_{i}<\cdots<\xi_{m}<1\) (\(i=1,2,\ldots, m\)); \(0\leq\theta\leq1\), \(g_{1} , g_{2}: (0, 1)\rightarrow[0, +\infty)\) are continuous and belong to \(L^{1}(0, 1)\); \(\int_{0}^{1}g_{1}(s)u(s)\,dA_{1}(s)\) and \(\int_{0}^{1}g_{2}(s)u(s)\, dA_{2}(s)\) are the Riemann–Stieltjes integrals, where \(A_{1},A_{2}: [0,1]\rightarrow(-\infty, +\infty)\) are functions of bounded variation. In this paper, a function \(u\in C[0,1]\) is called a solution of problem (1.1) if it satisfies (1.1) a.e. on \([0,1]\).
Fractional calculus and fractional boundary value problems have been researched extensively to apply them in various areas, including image processing, rheology, electrical networks, virus infection models, and so on. Some interesting results can be found in [1–11] and the references therein. For example, in [1] the authors discovered that the motion frequency of a class of neurons should be characterized by noninteger derivatives. Therefore fractional derivatives are introduced to characterize this behavior, which is not possible by integer-derivative models. In [4] the authors introduced the Riemann–Liouville fractional derivative of order α (\(0.5<\alpha\leq1\)) into a model of HIV infection of CD4+ T-cells. By using stability analysis the authors obtained a sufficient condition on the parameters for the stability of the infected steady state. It should be noted that this fractional model possessed positive solutions, which is desired in any population dynamics. Indeed, there are many definitions of fractional derivatives. Because the Riemann–Liouville fractional derivative avoids seeking limits, it is widely used in mathematical studies. The definition of Riemann–Liouville fractional derivative shows that it has some important properties such as globality. In fact, the Riemann–Liouville fractional derivative is very suitable for describing viscoelastic material models and processes with memory properties. It has the advantages of simple modeling and accurate description. Recently, the research on the properties of solutions of fractional boundary value problems has received substantial attention. Some interesting results can be found in [12–64] and the references therein. For example, in [15] the authors have obtained the existence of one and two solutions by using the fixed point index theory. In [16], based on the Schaefer fixed point theorem and Banach contraction principle, the existence and uniqueness of solutions for a class of fractional boundary value problem are obtained. Moreover, the higher-order fractional boundary value problems have attracted more attention. We refer to [13–15, 19, 31, 32, 34–37, 44, 45, 58, 59]. For example, in [36] the existence and uniqueness of solutions are obtained by applying the Krasnoselskii theorem and Banach fixed point theorem. Based on the Leggett–Williams and Krasnoselskii fixed point theorems, Zhang and Zhong [31] showed the existence of positive solutions for the following nonlinear fractional boundary value problem:
where \(D_{0^{+}}^{\alpha}\) is the Riemann–Liouville derivative, \(n-1 <\alpha\leq n\) (\(n\geq3\)), \(\beta\geq1\), \(\alpha-\beta-1>0\), \(0 <\eta\leq1\), \(0\leq\lambda\int_{0}^{\eta}h(t)t^{\alpha-\beta-1}\,dt< 1\). The nonlinearity f may be singular at \(t=0,1\) and \(u=0\), and \(h\in L^{1}([0,1], [0,+\infty))\) may be singular at \(t=0,1\).
Furthermore, the condition that the nonlinearity contains the derivative of the unknown function, especially the fractional-order derivative, causes some mathematical difficulties but make the research very interesting. We refer to [19, 21, 25, 27, 29, 37, 44, 50, 59, 61]. For instance, in [21] the authors investigated the following fractional boundary value problem:
where \(D_{0^{+}}^{\alpha}\) is the standard Riemann–Liouville derivative, \(1<\alpha\leq2\), \(0<\beta\leq\gamma<1\), \(\alpha-\beta >1\), \(a_{j}\geq0\) (\(j=1,2, \ldots, p-2\)), \(\sum_{j=1}^{p-2}a_{j}\xi _{j}^{\alpha-\gamma-1}<1\), and f may be singular at \(t=0,1\). The existence and uniqueness of positive solutions was proved by the reduction method of fractional order and the monotone iterative technique.
Motivated by the papers mentioned, in this paper, we are lead to study problem (1.1). Evidently, our discussion is novel and meaningful. Firstly, problem (1.1) is more general; especially, the boundary conditions include two types of Riemann–Stieltjes integral boundary conditions and nonlocal multipoint boundary conditions. Secondly, the nonlinear term f contains the fractional derivatives of different orders of the unknown function. Thirdly, the existence of solutions is obtained under the hypothesis that f satisfies the Carathéodory condition, which is weaker than the continuity conditions. Fourthly, we show the uniqueness and nonexistence of positive solutions by using appropriate methods. Moreover, in this paper, our approach in obtaining the corresponding integral operator is the reduction method of fractional order on account of semigroup properties of the Riemann–Liouville derivative. We also illustrate the relationship between higher- and lower-order fractional derivatives.
An outline of this paper is as follows. In Sect. 2, we give some preliminaries and lemmas. We transform problem (1.1) into a relatively low-order problem by using the reduction method and obtain the relevant Green’s function. In Sect. 3, we construct two results, one handing the existence of solutions and the other one managing the uniqueness of solutions under two different assumptions. In Sect. 4, we obtain the uniqueness of positive solutions by using spectral radius theory. In Sect. 5, we prove the nonexistence of positive solutions. In Sect. 6, we illustrate the main results by some examples.
2 Preliminaries
Definition 2.1
Let \(\alpha>0\). The Riemann–Liouville fractional integral of order α for a function \(u: (0, \infty) \rightarrow(-\infty,+\infty )\) is defined by
where Γ is the Euler gamma function, that is, \(\varGamma (t)=\int_{0}^{+\infty}s^{t-1}e^{-s}\,ds\) (\(t>0\)), provided that the right-hand side is pointwise defined on \((0,\infty)\).
Definition 2.2
Let \(\alpha>0\). The Riemann–Liouville’s fractional derivative of order α for a continuous function \(u: (0,\infty) \rightarrow(-\infty,+\infty)\) is defined by
where \(n=[\alpha]+1 \), \([\alpha]\) is the integer part of α, provided that the right-hand side is pointwise defined on \((0,\infty )\). In particular, if \(\alpha=n\in N_{+}\), then \(D_{0^{+}}^{\alpha }u(t)=u^{(n)}(t)\).
Lemma 2.1
([64])
Let\(\alpha>0\). Suppose that\(u\in C(0,1) \cap L^{1}(0,1)\). Then the equation
has a unique solution
whereNis the smallest integer greater than or equal toα.
Lemma 2.2
([64])
Suppose that\(u \in C(0,1) \cap L^{1}(0,1)\)and\(D_{0^{+}}^{\alpha}u\in C(0,1) \cap L^{1}(0,1)\). Then
where\(d_{i}\in(-\infty,+\infty)\) (\(i =1,2, \ldots,N\)), Nis the smallest integer greater than or equal toα.
Lemma 2.3
([5])
If\(u\in L^{1}(0,1)\)and\(\alpha\geq\beta>0\), then
Let \(v =D_{0^{+}}^{\alpha_{n-2}}u\). Then we can transform problem (1.1) into the equivalent problem
where \(1<\alpha-\alpha_{n-2}\leq2\).
Lemma 2.4
Suppose that problem (1.1) has a solution\(u\in C[0,1]\). Then problem (2.1) has a solution\(v=D_{0^{+}}^{\alpha_{n-2}}u\). On the contrary, if problem (2.1) has a solution\(v\in C[0,1]\), then problem (1.1) has a solution\(u=I_{0^{+}}^{\alpha_{n-2}}v\).
Proof
Suppose that problem (1.1) has a solution \(u\in C[0,1]\). Let
In view of Lemma 2.2, we have
for some \(d_{i}\in(-\infty,+\infty)\) (\(i = 1, 2,\ldots, n-2\)), that is,
The boundary conditions \(u(0)=D_{0+}^{\beta_{1}}u(0)=\cdots =D_{0+}^{\beta_{n-3}}u(0)=0\) indicate that \(d_{n-2}=\cdots=d_{1}=0\). Hence we have
It follows from Lemma 2.3 that
Furthermore, we obtain
Equivalently, we have
It follows (2.6) and (2.7) that
According to (2.8), (2.9), and (2.10), we conclude that problem (2.1) has a solution \(v=D_{0^{+}}^{\alpha_{n-2}}u\).
On the contrary, if problem (2.1) has a solution \(v\in C[0,1]\), then problem (1.1) has a solution \(u=I_{0^{+}}^{\alpha_{n-2}}v\). The proof is similar to that of Lemma 3 in [59], and we omit it. □
Remark 2.4
In view of Lemma 2.4, we infer that researching solutions of problem (1.1) is equivalent to the work on considering solutions of problem (2.1) under the premise that \(1<\alpha -\alpha_{n-2}\leq2\). Note that the corresponding integral operator of problem (2.1) can be considered in the space \(C[0,1]\), which avoids doing the work in a complex space. Therefore our work focusses on problem (2.1) in the following:
Lemma 2.5
Let\(h\in C(0,1)\cap L^{1}(0,1)\). Then the problem
is equivalent to
with
where
\(i=1,2,3\),
Proof
By Lemma 2.2 problem (2.11) can be rewritten as
where \(d_{i}\in(-\infty,+\infty)\) (\(i= 1, 2\)) are arbitrary constants. The condition \(D_{0+}^{\beta_{n-2}-\alpha_{n-2}}v(0)=0\) means that \(d_{2}=0\). So we have
By Lemma 2.3 we have
Substituting (2.16)–(2.19) into the boundary condition
we have
where
Hence we have
Thus problem (2.11) has a unique solution
where \(H(t,s)\) is defined by (2.13). □
Lemma 2.6
Let\(c_{i}\geq0\) (\(i=1, 2, 3\)), \(\sigma>0\) (defined in Lemma 2.5), and
Then the functions\(H_{i}(t,s)\) (\(i=0,1,2,3\)) defined in Lemma 2.5satisfy the following properties:
-
(1)
\(H_{i}\in C([0,1]\times[0,1], [0,+\infty))\), and\(H_{i}(t,s)>0\)for\(t, s\in(0,1)\), \(i=0,1,2,3\).
-
(2)
\(t^{\alpha-\alpha_{n-2}-1}K_{0}(s)\leq H_{0}(t,s)\leq t^{\alpha-\alpha_{n-2}-1}J_{0}(s)\)for\(t, s\in[0,1]\), where
$$K_{0}(s)=\frac{(1-s)^{\alpha-q_{0}-1}}{\varGamma(\alpha-\alpha _{n-2})} \bigl(1-(1-s)^{q_{0}-\alpha_{n-2}} \bigr),\qquad J_{0}(s)=\frac {1}{\varGamma(\alpha-\alpha_{n-2})}(1-s)^{\alpha-q_{0}-1}. $$ -
(3)
\(t^{\alpha-q_{i}-1}K_{i}(s)\leq H_{i}(t, s)\leq t^{\alpha -q_{i}-1}J_{i}(s)\)for\(t, s\in[0,1]\), where
$$\begin{gathered} K_{i}(s)=\frac{c_{i}}{\sigma\varGamma(\alpha-\alpha _{n-2})\varGamma(\alpha-q_{i})}(1-s)^{\alpha -q_{0}-1}\bigl(1-(1-s)^{q_{0}-q_{i}}\bigr),\quad i=1,2,3, \\ J_{i}(s)=\frac{c_{i}}{\sigma\varGamma(\alpha-\alpha _{n-2})\varGamma(\alpha-q_{i})}(1-s)^{\alpha-q_{0}-1},\quad i=1,2,3.\end{gathered} $$
Proof
Obviously, (1) holds. We only prove (2) and (3).
(2) For \(0\leq s\leq t\leq1\),
For \(0\leq t\leq s\leq1\),
It follows from (2.22)–(2.25) that
(3) In a similar manner, we have
We omit the details. □
Lemma 2.7
Let\(c_{i}\geq0\) (\(i=1, 2, 3\)), \(\sigma>0\) (defined in Lemma2.5), and
Then the Green’s function\(H(t,s)\) (defined in (2.13)) has the following properties:
-
(1)
\(H(t,s)\in C([0, 1]\times[0, 1], [0,+\infty))\), and\(H(t,s)>0\)for\(t, s\in(0,1)\).
-
(2)
\(t^{\alpha-\alpha_{n-2}-1}K(s)\leq H(t,s)\leq t^{\alpha-\alpha _{n-2}-1}J(s)\)for\(t, s\in[0, 1]\), where
$$\begin{aligned}& \begin{aligned} K(s)={}&K_{0}(s)+K_{1}(s) \biggl( \int_{0}^{1}\tau ^{\alpha-q_{1}-1}g_{1}( \tau) \,dA_{1}(\tau) \biggr) \\ &+K_{2}(s) \biggl( \int_{0}^{\theta}\tau^{\alpha-q_{2}-1}g_{2}( \tau )\,dA_{2}(\tau) \biggr)+K_{3}(s)\sum _{i=1}^{m}\gamma_{i}\xi _{i}^{\alpha-q_{3}-1}, \end{aligned} \\& \begin{aligned} J(s)={}&J_{0}(s)+J_{1}(s) \biggl( \int_{0}^{1}\tau ^{\alpha-q_{1}-1}g_{1}( \tau) \,dA_{1}(\tau) \biggr) \\ &+J_{2}(s) \biggl( \int_{0}^{\theta}\tau^{\alpha-q_{2}-1}g_{2}( \tau )\,dA_{2}(\tau) \biggr)+J_{3}(s)\sum _{i=1}^{m}\gamma_{i}\xi _{i}^{\alpha-q_{3}-1}. \end{aligned} \end{aligned}$$
Proof
The conclusion can be directly deduced from Lemma 2.6. So, we omit the details. □
Definition 2.3
([8])
Let P be a cone in the Banach space E. A positive linear operator \(A: E\rightarrow E\) is called a \(u_{0}\)-bounded linear operator if there exists \(u_{0}\in P\setminus\{\theta\}\) such that for any \(v\in P\setminus\{\theta\}\), there exist constants \(\alpha, \beta>0\) and \(n\in N_{+}\) such that \(\alpha u_{0}\leq A^{n}v\leq\beta u_{0}\).
Lemma 2.8
LetPbe a cone in the Banach spaceE, and let\(A: E\rightarrow E\)be a completely continuous positive linear operator. If there exist\(z\in P-P\setminus(-P)\)and\(d>0\)such that\(dAz\geq z\), then the spectral radius\(r(A)\neq0\), andAhas a positive eigenfunctionψthat belongs to the first eigenvalue\(\lambda_{1}=(r(A))^{-1}\)such that\(\lambda_{1}A\psi=\psi\).
Lemma 2.9
LetPbe a generating cone in the Banach spaceE, that is, \(E=P-P\). LetAis a completely continuous\(u_{0}\)-bounded linear operator. If the spectral radius\(r(A)\neq0\), thenAhas an eigenfunction\(\psi \in P\setminus\{\theta\}\)that belongs to the first eigenvalue\(\lambda_{1}=(r(A))^{-1}\)such that\(\lambda_{1}A\psi=\psi\), andAhas no other positive eigenvalue that has positive eigenfunctions.
In this paper, we define the Banach space \(E=C[0,1]\) with the norm \(\| v\|=\sup_{0\leq t\leq1}|v(t)|\). Let \(P=\{v\in E, v(t)\geq0, t\in [0,1]\}\) be a cone in E. It is easy to check that P is generating in E, that is, \(E=P-P\). Now, we define the nonlinear operator \(T:E\rightarrow E\) by
Observe that v is a solution of problem (2.1) if and only if v is a fixed point of the operator T in E.
3 Existence and uniqueness of solutions
Now we make the following assumptions:
- \((C_{1})\):
-
\(f :(0,1)\times(-\infty,+\infty)^{n-1}\rightarrow (-\infty,+\infty)\) satisfies the Carathéodory conditions, that is:
-
(1)
\(f(\cdot, x_{0}, x_{1},\ldots, x_{n-2}):(0,1)\rightarrow (-\infty,+\infty)\) is measurable for any fixed \((x_{0},x_{1},\ldots ,x_{n-2})\in(-\infty,+\infty)^{n-1}\);
-
(2)
\(f(t,\cdot,\cdot,\ldots,\cdot):(-\infty,+\infty )^{n-1}\rightarrow(-\infty,+\infty)\) is continuous for a.e. \(t\in[0,1]\);
-
(3)
for any \(r > 0\), there exists \(\psi_{r} \in L^{1}(0,1)\) such that \(|f(t,x_{0},x_{1},\ldots,x_{n-2})| \leq\psi_{r}(t)\) for all \(x_{i}\in[-r ,r]\) (\(i=0,1,\ldots,n-2\)) and a.e. \(t\in[0,1]\).
-
(1)
- \((C_{2})\):
-
For any \(r>0\), there exist nonnegative functions \(k_{r,i}(t)\in L^{1}(0,1)\) (\(i=0,1,\ldots,n-2\)) such that for all \(t\in(0,1)\) and \((x_{0},x_{1},\ldots,x_{n-2}),(y_{0},y_{1},\ldots,y_{n-2})\in[-r,r]^{n-1}\),
$$\bigl\vert f(t,x_{0},\ldots,x_{n-2})-f(t,y_{0}, \ldots,y_{n-2}) \bigr\vert \leq k_{r,0}(t) \vert x_{0}-y_{0} \vert +\cdots+k_{r,n-2}(t) \vert x_{n-2}-y_{n-2} \vert . $$ - \((C_{3})\):
-
\(f_{0}(t)=|f(t,0,0,\ldots,0)|\in L^{1}(0,1)\), and \(f_{0}(t)\) is not identical zero in any closed subinterval of \((0,1)\).
- \((C_{4})\):
-
There exist nonnegative functions \(q_{i}(t)\in L^{1}(0,1)\) (\(i=0,1,\ldots,n-2\)) such that for any \(t\in(0,1)\) and \((x_{0},x_{1},\ldots,x_{n-2}),(y_{0},y_{1},\ldots,y_{n-2})\in (-\infty,+\infty)^{n-1}\),
$$\bigl\vert f(t,x_{0},\ldots,x_{n-2})-f(t,y_{0}, \ldots,y_{n-2}) \bigr\vert \leq p_{0}(t) \vert x_{0}-y_{0} \vert +\cdots+p_{n-2}(t) \vert x_{n-2}-y_{n-2} \vert . $$
In the following, for convenience, we set
where Γ is the Euler gamma function, that is, \(\varGamma (t)=\int_{0}^{+\infty}s^{t-1}e^{-s}\,ds\) (\(t>0\)). Obviously, \({M_{H}>0}\). By the definition of Γ we have \(0< m_{\varGamma}<1\).
Theorem 3.1
Assume the condition\((C_{1})\)holds. If\(\limsup_{r\rightarrow+\infty}\frac{\|\psi_{r}\|_{L}}{r}<\frac {m_{\varGamma}}{M_{H}}\), then there exists at least one solution of problem (1.1) on\([0,1]\), where\(\|\psi_{r}\|_{L}=\int _{0}^{1} \vert \psi_{r}(s) \vert \,ds\).
Proof
Obviously, \(T:E\rightarrow E\) is well defined. By the definition of upper limit there exists \(r_{0}>0\) such that
For any \(r_{1}\geq r_{0}\), there exists \(\psi_{r_{1}} \in L^{1}(0,1)\) such that
and \(r_{1}\geq\frac{M_{H}\|\psi_{r_{1}}\|_{L}}{m_{\varGamma}}\). Let \(B_{r_{2}}=\{v\in E: \|v\|\leq r_{2}, M_{H}\|\psi_{r_{1}}\|_{L}\leq r_{2}\leq m_{\varGamma}r_{1}\}\). As a first step, we show that \(TB_{r_{2}}\subset B_{r_{2}}\).
By calculation, for any \(v\in B_{r_{2}}\), \(t\in[0, 1]\), we have \(v(t)\leq r_{2}\leq r_{1}\), and
which, together with (3.1), means that
Thus \(TB_{r_{2}}\subset B_{r_{2}}\), so that \(TB_{r_{2}}\) is uniformly bounded.
Next, we show that \(TB_{r_{2}}\) is equicontinuous. For any \(v\in B_{r_{2}}\), \(t_{1},t_{2}\in[0,1]\), we have
Since \(H(t,s)\) is continuous on \([0,1]\times[0,1]\), it is uniformly continuous on \([0,1]\times[0,1]\). Since \(\psi_{r_{1}} \in L^{1}(0,1)\), (3.5) implies that \(TB_{r_{2}}\) is equicontinuous on \([0,1]\).
In the following, we show that \(T:B_{r_{2}}\rightarrow B_{r_{2}}\) is continuous. Let \(\{v_{m}\}\subset B_{r_{2}}\) be a sequence such that \(\lim_{m\rightarrow\infty}v_{m}=v\) in E. For fixed \(s\in[0,1] \setminus\varXi\), where \(\operatorname{mes}(\varXi)=0\), \(f(s,x_{0},x_{1},\ldots,x_{n-2})\) is continuous on \((-\infty,+\infty )^{n-1}\) with respect to \((x_{0},x_{1},\ldots,x_{n-2})\). It follows that \(f(s,x_{0},x_{1},\ldots,x_{n-2})\) is uniformly continuous with respect to \((x_{0},x_{1},\ldots,x_{n-2})\)\(\in[-r_{1},r_{1}]^{n-1}\). Hence, for fixed \(s\in[0,1]\setminus\varXi\), for all \(\varepsilon>0\), there exists \(\delta=\delta(s,\varepsilon)>0\) such that, for any \(x_{i}, y_{i}\in[-r_{1},r_{1}]\) such that \(|x_{i}-y_{i}|<\delta\) (\(i=0,1,\ldots,n-2\)), we have
Since \(\lim_{m\rightarrow\infty}v_{m}=v\), for the above \(\delta>0\), there exists \(N_{0}\in N_{+}\) such that, for any \(m\geq N_{0}\),
Especially, we have
Furthermore, we calculate that
Hence by (3.6)–(3.9) we infer that for fixed \(s\in [0,1] \setminus\varGamma\), for \(m\geq N_{0}\),
Evidently, we derive that, for a.e. \(s\in[0,1]\),
On the other hand, condition \((C_{1})\) implies that, for a.e. \(s\in[0,1]\),
where \(\psi_{r_{1}} \in L^{1}(0,1)\). The Lebesgue dominated convergence theorem and (3.10) guarantee that, for any \(t\in[0,1]\),
that is,
Thus \(T:B_{r_{2}}\rightarrow B_{r_{2}}\) is continuous. From the above proof we deduce that the operator \(T:B_{r_{2}}\rightarrow B_{r_{2}}\) is completely continuous. By using the Schauder fixed point theorem T has a fixed point v in \(B_{r_{2}}\), that is, v is a solution of problem (2.1) on \([0,1]\). Furthermore, in view of Lemma 2.4 and (3.2), we derive that \(u=I_{0+}^{\alpha _{n-2}}v\) is a solution of problem (1.1) that satisfies \(\|u\| \leq\frac{r_{2}}{\varGamma(\alpha_{n-2}+1)}\). □
Theorem 3.2
Assume that a function\(f\in C((0,1)\times (-\infty,+\infty)^{n-1}, (-\infty,+\infty))\)satisfies\((C_{2})\)and\((C_{3})\). Then problem (1.1) has a unique solution, provided that
where\(\|k_{r,i}\|_{L}=\int_{0}^{1}k_{r,i}(t)\,dt\) (\(i=0,1,\ldots ,n-2\)) and\(\|f_{0}\|_{L}=\int_{0}^{1}|f(t,0,0,\ldots,0)|\,dt\).
Proof
By the definition of lower limit, for \(r_{3}>0\) large enough, there exist nonnegative functions \(k_{r_{3}, i}(t)\in L^{1}(0,1)\) (\(i=0,1,\ldots,n-2\)) satisfying \((C_{2})\) and
Let \(B_{r_{4}}= \{u\in E: \|x\|\leq r_{4}, M_{H} (r_{3}\sum_{i=0}^{n-2}\|k_{r_{3},i}\|_{L}+\|f_{0}\|_{L} )\leq r_{4}\leq m_{\varGamma}r_{3} \}\). We first prove that \(TB_{r_{4}}\subset B_{r_{4}}\). By the same proof as that of Theorem 3.1, for any \(v\in B_{r_{4}}\), \(t\in(0,1)\), we have \(v(t)\leq r_{4}\leq r_{3}\),
and
Hence we get that, for any \(v\in B_{r_{4}}\) and \(t\in(0,1)\),
which implies
that is, \(TB_{r_{4}}\subset B_{r_{4}}\). In the following, we prove that T is a contraction mapping. In fact, for any \(u, v\in B_{r_{4}}\) and \(t\in(0,1)\), we have
Moreover, from (3.15) and (3.16) we deduce that, for any \(u, v\in B_{r_{4}}\) and \(t\in(0,1)\),
Therefore from (3.19)–(3.21) we deduce that
From (3.14) we get that \(\frac{M_{H}}{m_{\varGamma}}\sum_{i=0}^{n-2}\|k_{r_{3},i}\|_{L}<1\), which allows us to infer that T is a contraction mapping. In consequence, by the Banach contraction mapping principle we deduce that problem (2.1) has a unique solution v on \([0,1]\). In addition, according to Lemma 2.4, we find that \(u=I_{0+}^{\alpha_{n-2}}v\) is the unique solution of problem (1.1) on \([0,1]\), which satisfies \(\|u\|\leq\frac {r_{4}}{\varGamma(\alpha_{n-2}+1)}\). □
Theorem 3.3
Let\(f:(0, 1)\times(-\infty,+\infty)^{n-1}\rightarrow(-\infty ,+\infty)\)be a continuous function such that condition\((C_{4})\)holds. Then problem (1.1) has a unique solution, provided that\(\frac {M_{H}}{m_{\varGamma}}\sum_{i=0}^{n-2}\|p_{i}\|_{L}<1\), where\(\|p_{i}\|_{L}=\int_{0}^{1}p_{i}(t)\,dt\) (\(i=0,1,\ldots,n-2\)).
Proof
For any \(u, v\in E\) and \(t\in(0, 1)\), we have
Moreover, by \((C_{4})\) we have
Hence it follows that
Since \(\frac{M_{H}}{m_{\varGamma}}\sum_{i=0}^{n-2}\|p_{i}\|_{L}<1\), T is a contraction mapping. By the Banach contraction mapping principle we derive that problem (2.1) has a unique solution v on \([0,1]\). Furthermore, according to Lemma 2.4, we have that \(u=I_{0+}^{\alpha_{n-2}}v\) is the unique solution of problem (1.1) on \([0,1]\). □
Remark 3.3
In Theorems 3.2 and 3.3, we get the uniqueness of solutions by using the Banach contraction mapping principle. It should be noted that in Theorem 3.2 the range of the solution is a ball, which is more accurate than Theorem 3.3. However, Theorem 3.3 has less restrictions on the corresponding parameters.
4 The uniqueness of positive solutions
Now, we make the following assumptions:
- \((C_{5})\):
-
there exist nonnegative functions \(l_{i}(t)\in C(0,1)\cap L^{1}(0,1)\) (\(i=0,1,\ldots, n-2\)) and a constant \(k_{1}\geq 0\) such that for any \(t\in[0,1]\) and \((x_{0},\ldots,x_{n-2}),(y_{0},\ldots,y_{n-2})\in[0,+\infty)^{n-1}\),
$$\begin{aligned} & \bigl\vert f(t,x_{0}, \ldots,x_{n-2})-f(t,y_{0},\ldots ,y_{n-2}) \bigr\vert \\ &\quad\leq k_{1} \bigl(l_{0}(t) \vert x_{0}-y_{0} \vert + \cdots+ l_{n-2}(t) \vert x_{n-2}-y_{n-2} \vert \bigr). \end{aligned} $$
Define the operator \(L_{1}:E\rightarrow E\) by
Lemma 4.1
The spectral radius\(r(L_{1})\neq0\), and\(L_{1}\)has a positive eigenfunction\(\psi_{1}\)that belongs to the first eigenvalue\(\lambda _{L_{1}}=(r(L_{1}))^{-1}\)such that\(\lambda_{L_{1}}L_{1}\psi _{1}=\psi_{1}\).
Proof
We have
where
By standard arguments the operator \(L_{1}: P\rightarrow P\) is completely continuous. By the properties of \(H(t,s)\) there exists a closed interval \([t_{0}, t_{1}]\subset(0, 1)\) such that \(H(t, s)>0\) for \(t, s\in[t_{0}, t_{1}]\). Take a function \(z\in C[0, 1]\) satisfying \(z(t)>0\) for \(t\in(t_{0}, t_{1})\) and \(z(t)=0\) for \(t\notin(t_{0}, t_{1})\). Then, for any \(t\in[t_{0}, t_{1}]\),
On the basis of the density of \((-\infty,+\infty)\), there exists \(d>0\) such that \(d(L_{1}z)(t)\geq z(t)\), \(t\in[0, 1]\). On the other hand, P is generating in \(C[0,1]\), that is, \(C[0,1]=P-P\). Thus by Lemma 2.8 we infer that \(r(L_{1})\neq0\) and \(L_{1}\) has a positive eigenfunction \(\psi_{1}\), which belongs to the first eigenvalue \(\lambda_{L_{1}}=(r(L_{1}))^{-1}\), such that \(\lambda _{L_{1}}L_{1}\psi_{1}=\psi_{1}\). □
Lemma 4.2
The operator\(L_{1}\)is a\(u_{0}\)-bounded linear operator with\(u_{0}(t)=t^{\alpha-\alpha_{n-2}-1}\).
Proof
By Lemma 2.7 we have
and
Thus, for any \(u\in P\setminus\{\theta\}\), \(t\in[0, 1]\),
This implies that \(L_{1}\) is a \(u_{0}\)-bounded operator with \(u_{0}(t)=t^{\alpha-\alpha_{n-2}-1}\). The proof is complete. □
Remark 4.2
Since \(L_{1}\) is a \(u_{0}\)-bounded linear operator, we have that, for the positive eigenfunction \(\psi_{1}\) defined in Lemma 4.1, there exist constants \(\alpha(\psi_{1})>0\) and \(\beta(\psi_{1})>0\) such that \(\alpha(\psi_{1})u_{0}\leq L_{1}\psi_{1}=\lambda _{L_{1}}^{-1}\psi_{1}\leq\beta(\psi_{1})u_{0}\). Accordingly, we have \((\beta(\psi_{1})\lambda_{L_{1}})^{-1}\psi _{1}\leq u_{0}\leq(\alpha(\psi_{1})\lambda_{L_{1}})^{-1}\psi_{1}\).
Theorem 4.1
Assume that a function\(f\in C([0,1]\times [0,+\infty)^{n-1}, [0,+\infty))\)satisfies condition\((C_{5})\). If\(k_{1}\in[0,\lambda_{L_{1}})\), then problem (1.1) has a unique positive solution.
Proof
For any \(v_{0}\in P\setminus\{\theta\}\), let \(v_{m}=Tv_{m-1}\) (\(m=1,2,\ldots\)). Since \(L_{1}\) is a \(u_{0}\)-bounded linear operator, by Remark 4.2 we have that there exists \(\beta (|v_{1}-v_{0}|)>0\) such that
Then we get
It follows from \(k_{1}\in[0, \lambda_{L_{1}})\) that
Hence there exists \(v^{*}\in P\) such that
Since \(v_{m}=Tv_{m-1}\), we get that \(v^{*}\) is a fixed point of the operator T in P.
In the following, we prove that \(v^{*}\) is the unique fixed point of T in P. If not, there exists an element \(v^{**}\in P\) such that \(v^{**}=Tv^{**}\). Similarly, there exists \(\beta(|v^{**}-v^{*}|)>0\) such that
Thus we get that, for any \(t\in[0,1]\),
Since
we get that \(v^{**}=v^{*}\). Hence \(v^{*}\) is the unique fixed point of the operator T in P. By Lemma 2.4 we deduce that \(u^{*}=I_{0+}^{\alpha_{n-2}}v^{*}\) is the unique positive solution of problem (2.1) on \([0,1]\). □
5 Nonexistence of positive solutions
Now we make the following assumptions:
- \((C_{6})\):
-
there exist nonnegative functions \(\rho_{i}(t)\in C(0,1)\cap L^{1}(0,1)\) (\(i=0,1,\ldots, n-2\)) and a constant \(k_{2}\geq 0\) such that for any \(t\in[0,1]\) and \((x_{0},x_{1},\ldots,x_{n-2})\in[0,+\infty)^{n-1}\),
$$\bigl\vert f(t,x_{0},x_{1},\ldots,x_{n-2}) \bigr\vert \leq k_{2} \bigl(\rho _{0}(t)x_{0}+ \cdots+ \rho_{n-2}(t)x_{n-2} \bigr). $$ - \((C_{7})\):
-
there exist nonnegative functions \(q_{i}(t)\in C(0,1)\cap L^{1}(0,1)\) (\(i=0,1,\ldots, n-2\)) and a constant \(k_{3}\geq 0\) such that for any \(t\in[0,1]\) and \((x_{0},x_{1},\ldots,x_{n-2})\in[0,+\infty)^{n-1}\),
$$\bigl\vert f(t,x_{0},x_{1},\ldots,x_{n-2}) \bigr\vert \geq k_{3} \bigl(q_{0}(t)x_{0}+ \cdots+ q_{n-2}(t)x_{n-2} \bigr). $$Define the operator \(L_{2}:E\rightarrow E\) by
$$ \begin{aligned}[b] (L_{2}v) (t)={}& \int_{0}^{1}H(t,s) \bigl(\rho _{0}(s)I_{0+}^{\alpha_{n-2}}v(s)+ \rho_{1}(s)I_{0+}^{\alpha _{n-2}-\alpha_{1}}v(s)+\cdots \\ &+\rho_{n-3}(s)I_{0+}^{\alpha_{n-2}-\alpha_{n-3}}v(s)+\rho _{n-2}(s)v(s)\bigr)\,ds. \end{aligned} $$(5.1)
Lemma 5.1
The spectral radius\(r(L_{2})\neq0\), and\(L_{2}\)has a positive eigenfunction\(\psi_{2}\), which belongs to the first eigenvalue\(\lambda_{L_{2}}=(r(L_{2}))^{-1}\), such that\(\lambda _{L_{2}}L_{2}\psi_{2}=\psi_{2}\).
Proof
The proof is similar to that of Lemma 4.1. So, we omit the details. □
Lemma 5.2
The operator\(L_{2}\)is a\(u_{0}\)-bounded linear operator with\(u_{0}(t)=t^{\alpha-\alpha_{n-2}-1}\).
Proof
The proof is similar to that of Lemma 4.2. So, we omit the details. □
Remark 5.2
For the positive eigenfunction \(\psi_{2}\) defined in Lemma 5.1, there exist \(\alpha(\psi_{2})>0\) and \(\beta(\psi_{2})>0\) such that \(\alpha(\psi_{2})u_{0}\leq L_{2}\psi_{2}=\lambda _{L_{2}}^{-1}\psi_{2}\leq\beta(\psi_{2})u_{0}\). Accordingly, we have \((\beta(\psi_{2})\lambda_{L_{2}})^{-1}\psi _{2}\leq u_{0}\leq(\alpha(\psi_{2})\lambda_{L_{2}})^{-1}\psi_{2}\).
Theorem 5.1
Assume that a function\(f\in C([0, 1]\times [0,+\infty)^{n-1}, [0,+\infty))\)satisfies condition\((C_{6})\). If\(k_{2}\in[0,\lambda_{L_{2}})\), then problem (1.1) has no positive nontrivial solution.
Proof
Suppose the statement is false. Then there exists \(\bar{v}\in P\) such that \(T\bar{v}=\bar{v}\). Since \(L_{2}\) is a \(u_{0}\)-bounded linear operator, there exists \(\beta(\bar{v})>0\) satisfying
Hence we have
It follows from \(k_{2}\in[0, \lambda_{L_{2}})\) that
Thus we can conclude that \(\bar{v}=\theta\). Therefore we deduce that problem (1.1) has no positive nontrivial solution. □
Theorem 5.2
Assume that a function\(f\in C([0,1]\times [0,+\infty)^{n-1}, [0,+\infty))\)satisfies condition\((C_{6})\). If\(k_{3}\in(\lambda_{L_{3}},+\infty)\), then problem (1.1) has no positive nontrivial solution.
Proof
The proof is similar to that of Theorem 5.1. So, we omit the details. □
6 Examples
Now, we give five explicit examples illustrating the main results.
Example 6.1
Consider the problem
where
Let
\(\alpha=\frac{13}{4}\), \(\alpha_{1}=\frac{1}{2}\), \(\alpha_{2}=\frac{7}{4}\), \(\beta_{1}=\frac{3}{4}\), \(\beta _{2}=\frac{15}{8}\), \(q_{0}=\frac{9}{4}\), \(q_{1}=\frac{37}{20}\), \(q_{2}=\frac{39}{20}\), \(q_{3}=\frac{41}{20}\), \(c_{1}=\frac{1}{5}\varGamma (\frac{2}{5} )\), \(c_{2}=\frac {3}{20}\varGamma (\frac{3}{10} )\), \(c_{3}=\frac{1}{8}\varGamma (\frac{1}{5} )\), \(\theta =\frac{2}{3}\), \(\gamma_{1}=\frac{1}{2}\), \(\gamma_{2}=\frac{3}{4}\), \(\gamma _{3}=\frac{1}{5}\), \(\xi_{1}=\frac{1}{32}\), \(\xi_{2}=\frac{1}{243}\), \(\xi_{3}=\frac {1}{1024}\), \(g_{1}(t)=\frac{1}{t^{\frac{2}{5}}(4t^{2}+1)}\), \(g_{2}(t)=\frac{1}{t^{\frac{3}{10}}(4t^{2}+3)}\). Then problem (6.1) can be transformed into problem (1.1). With the given data, we get that \(\int_{0}^{1}t^{\alpha-q_{1}-1}g_{1}(t)\,dA_{1}(t)=0.5\), \(\int _{0}^{\theta}t^{\alpha-q_{2}-1}g_{2}(t)\,dA_{2}(t)=0.25\), \(\sum_{i=1}^{3}\gamma_{i}\xi_{i}^{\alpha-q_{3}-1}=0.55\),
Then, for any \((x,y,z)\in[-r, r]^{3}\) and a.e. \(t\in[0,1]\),
We set \(\psi_{r}(t)=\frac{r^{\frac{5}{6}}}{80t^{\frac {1}{2}}(1-t)^{\frac{1}{2}}} +\frac{r}{200}\ln\frac{1}{t}+\frac{3r\ln t}{32(t-1)}\). Obviously, \(\psi_{r}\in L^{1}(0,1)\), and
Accordingly, we have
Thus the assumptions of Theorem 3.1 are satisfied. So, by Theorem 3.1, problem (6.1) has at least one solution.
Example 6.2
Consider the problem
where
Let
\(\alpha=\frac{25}{8}\), \(\alpha_{1}=\frac{1}{3}\), \(\alpha_{2}=\frac{13}{8}\), \(\beta _{1}=\frac{5}{8}\), \(\beta_{2}=\frac{7}{4}\), \(q_{0}=\frac{17}{8}\), \(q_{1}=\frac{31}{16}\), \(q_{2}=\frac{29}{16}\), \(q_{3}=\frac{15}{8}\), \(c_{1}=\frac{1}{5}\varGamma (\frac{19}{16} )\), \(c_{2}=\frac{1}{10}\varGamma (\frac{21}{16} )\), \(c_{3}=\frac{1}{2}\varGamma (\frac{5}{4} )\), \(\theta =\frac{2}{3}\), \(\gamma_{1}=\frac{1}{4}\), \(\gamma_{2}=\frac{3}{4}\), \(\gamma _{3}=\frac{4}{5}\), \(\xi_{1}=\frac{1}{16}\), \(\xi_{2}=\frac{1}{81}\), \(\xi_{3}=\frac {1}{256}\), \(g_{1}(t)=\frac{2}{t^{\frac{3}{16}}(4t^{2}+1)}\), \(g_{2}(t)=\frac{1}{t^{\frac{5}{16}}(8t^{2}+3)}\). Then problem (6.2) can be transformed into problem (1.1). By simple computation we get \(\sum_{i=1}^{3}\gamma_{i}\xi_{i}^{\alpha-q_{3}-1}=0.575\), \(\int_{0}^{1}t^{\alpha-q_{1}-1}g_{1}(t)\,dA_{1}(t)=1\), \(\int _{0}^{\theta}t^{\alpha-q_{2}-1}g_{2}(t)\,dA_{2}(t)=0.2\),
Let
Then
and for any \(t\in(0,1)\) and \((x_{0},y_{0},y_{0}),(x_{1},y_{1},z_{1})\in[-r,r]\times[-r,r]\times[-r,r]\),
which implies that assumptions \((C_{2})\) and \((C_{3})\) hold. Moreover, we have
Thus, by Theorem 3.2, problem (6.2) has a unique solution.
Example 6.3
Consider the problem
where
Let
\(\alpha=\frac{7}{2}\), \(\alpha_{1}=\frac{1}{3}\), \(\alpha_{2}=\frac{3}{2}\), \(\beta _{1}=\frac{1}{4}\), \(\beta_{2}=\frac{5}{4}\), \(q_{0}=\frac{5}{2}\), \(q_{1}=\frac{19}{8}\), \(q_{2}=\frac{17}{8}\), \(q_{3}=\frac{9}{4}\), \(c_{1}=\frac{1}{8}\varGamma (\frac{1}{8} )\), \(c_{2}=\frac {3}{8}\varGamma (\frac{3}{8} )\), \(c_{3}=\frac{1}{8}\varGamma (\frac{1}{4} )\), \(\theta =\frac{3}{4}\), \(\gamma_{1}=\frac{1}{4}\), \(\gamma_{2}=\frac{3}{4}\), \(\gamma _{3}=\frac{4}{5}\), \(\xi_{1}=\frac{1}{16}\), \(\xi_{2}=\frac{1}{81}\), \(\xi_{3}=\frac {1}{256}\), \(g_{1}(t)=\frac{1}{20t^{\frac{1}{8}}(1-t)}\), \(g_{2}(t)=\frac{1}{8t^{\frac{3}{8}}(1+t^{2})}\). Then problem (6.3) can be transformed into problem (1.1). By simple computation we get \(\int_{0}^{1}t^{\alpha-q_{1}-1}g_{1}(t)\,dA_{1}(t)=0.1\), \(\int _{0}^{\theta}t^{\alpha-q_{2}-1}g_{2}(t)\,dA_{2}(t)=0.1\), \(\sum_{i=1}^{3}\gamma_{i}\xi_{i}^{\alpha-q_{3}-1}=0.575\). So, we have
Let
Then
and for any \(t\in(0,1)\) and \((x_{0},y_{0},y_{0}),(x_{1},y_{1},z_{1})\in[0,+\infty)\times [0,+\infty)\times[0,+\infty)\),
which implies that assumption \((C_{4})\) holds. Moreover, we have
Thus, in view of Theorem 3.3, problem (6.3) has a unique solution.
Example 6.4
Consider the problem
where \(f(t,x,y,z)=\frac{1}{4}\sqrt{t}x^{3}-\frac{1}{4}\sqrt {t}|x^{3}|+\frac{1}{3}\arctan y-\frac{1}{3}\arctan|y|+20z\), \(\alpha=\frac{7}{2}\), \(\alpha_{1}=\frac{1}{3}\), \(\alpha_{2}=\frac{3}{2}\), \(\beta_{1}=\frac{2}{3}\), \(\beta _{2}=\frac{3}{2}\), \(q_{0}=\frac{3}{2}\), \(q_{1}=\frac{3}{2}\), \(q_{2}=\frac{3}{2}\), \(q_{3}=\frac{3}{2}\), \(c_{1}=\frac{1}{5}\), \(c_{2}=3\), \(c_{3}=0\), \(\theta=0\), \(\gamma_{1}=\frac{1}{2}\), \(\gamma_{2}=\frac{3}{4}\), \(\gamma _{3}=\frac{1}{5}\), \(\xi_{1}=\frac{1}{32}\), \(\xi_{2}=\frac{1}{243}\), \(\xi_{3}=\frac {1}{1024}\), \(g_{1}(t)=0\), \(g_{2}(t)=\frac{t }{4t^{2}+3}\), and
Let \(v=I_{0+}^{\frac{3}{2}}u\). By Lemma 2.4 we reduce problem (6.4) to the problem
By calculating we can obtain the relevant Green’s function of problem (6.5)
Obviously, for any \(x_{i},y_{i},z_{i}\in[0,+\infty)\) (\(i=0,1\)) and \(t\in[0,1]\),
Let \(l_{0}(t)=l_{1}(t)=0\), \(l_{2}(t)=20\), and \(k_{1}=1\). Then the corresponding Green’s function of \(L_{1}\) is \(K(t, s)=20H(t, s)\). Obviously, \(L_{1}\) is a \(u_{0}\)-bounded operator, where \(u_{0}(t)=t(1-t)\). The fact that
means that \(\sin(\pi t)\) is a positive eigenfunction of the operator \(L_{1}\), which belongs to its first eigenvalue \(\lambda _{L_{1}}=(r(L))^{-1}=\frac{20}{\pi^{2}}\). Obviously, \(k_{1}=1<\frac {20}{\pi^{2}}\). Then, by Theorem 4.1, we get that problem (6.4) has a unique positive solution.
Example 6.5
Consider the problem
where \(f(t,x,y,z)=\frac{2\sqrt{t}}{1+x}-\frac{2\sqrt{t}}{1+|x|}+\frac {1}{2}y^{\frac{1}{5}}-\frac{1}{2}|y|^{\frac{1}{5}}+\frac{1}{10}z\), \(\alpha=\frac{15}{4}\), \(\alpha_{1}=\frac{1}{4}\), \(\alpha_{2}=\frac{7}{4}\), \(\beta_{1}=\frac{2}{3}\), \(\beta _{2}=\frac{7}{4}\), \(q_{0}=\frac{7}{4}\), \(q_{1}=\frac{7}{4}\), \(q_{2}=\frac{7}{4}\), \(q_{3}=\frac{7}{4}\), \(c_{1}=1\), \(c_{2}=1\), \(c_{3}=0\), \(\theta=0\), \(\gamma_{1}=\frac{1}{2}\), \(\gamma_{2}=\frac{3}{4}\), \(\gamma _{3}=\frac{1}{5}\), \(\xi_{1}=\frac{1}{32}\), \(\xi_{2}=\frac{1}{243}\), \(\xi_{3}=\frac {1}{1024}\), \(g_{1}(t)=0\), \(g_{2}(t)=\frac{t }{4t^{2}+3}\), and
Let \(v=I_{0+}^{\frac{7}{4}}u\). By Lemma 2.4 we reduce problem (6.6) to the problem
By calculating we can obtain the relevant Green’s function
Obviously, for any \(x_{i},y_{i},z_{i}\in[0,+\infty)\) (\(i=0,1\)) and \(t\in[0,1]\),
Let \(l_{0}(t)=l_{1}(t)=0\), \(l_{2}(t)=1\), and \(k_{2}=\frac{1}{10}\). Then the Green’s function of \(L_{1}\) is \(K(t, s)=H(t, s)\). Obviously, \(L_{1}\) is a \(u_{0}\)-bounded operator, where \(u_{0}(t)=t(1-t)\). By the proof similar to that in Example 6.4 we get that \(\lambda _{L_{2}}=(r(L_{2}))^{-1}=\frac{1}{\pi^{2}}\). The fact \(k_{2}=\frac {1}{10}<\frac{1}{\pi^{2}}\), together with Theorem 5.1, means that problem (6.6) has no positive solution.
References
Thomas, J.A.: The fractional-order dynamics of brainstem vestibulo-oculomotor neurons. Biol. Cybern. 72, 69–79 (1994)
Perelson, A.S.: Modeling the interaction of HIV with the cells of the immune system. In: Mathematical and Statistical Approaches to AIDS Epidemiology. Lecture Notes in Biomathematics, vol. 83. Springer, New York (1989)
Perelson, A.S., Nelson, P.W.: Mathematical analysis of HIV-1 dynamics in vivo. SIAM Rev. 41(1), 3–44 (1999)
Ding, Y., Ye, H.: A fractional-order differential equation model of HIV infection of CD4+ T-cells. Math. Comput. Model. 50, 386–392 (2009)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
Podlubny, I.: Fractional Differential Equations. Academic Press, New York (1999)
Guo, D., Lakshmikantham, V.: Nonlinear Problems in Abstract Cones. Academic Press, San Diego (1988)
Guo, D., Sun, J.: Nonlinear Integral Equations. Shandong Sci. Technol. Press, Jinan (1987)
Sun, J.: Nonlinear Functional Analysis and Its Applications. Sci. Press, Beijing (2007)
Krasnosel’skii, M.A.: Topological Methods in the Theory of Nonlinear Integral Equations. Pergamon Press, Oxford (1964)
Deimling, K.: Nonlinear Functional Analysis. Springer, Berlin (1985)
Henderson, J., Luca, R.: Boundary Value Problems for Systems of Differential, Difference and Fractional Equations: Positive Solutions. Elsevier, Amsterdam (2016)
Henderson, J., Luca, R.: Existence of positive solutions for a singular fractional boundary value problem. Nonlinear Anal., Model. Control 22(1), 99–114 (2017)
Henderson, J., Luca, R.: Existence of nonnegative solutions for a fractional integro-differential equation. Results Math. 72, 747–763 (2017)
Henderson, J., Luca, R.: Systems of Riemann–Liouville fractional equations with multi-point boundary conditions. Appl. Math. Comput. 309, 303–323 (2017)
Karthikeyan, K., Trujillo, J.J.: Existence and uniqueness results for fractional integrodifferential equations with boundary value conditions. Commun. Nonlinear Sci. Numer. Simul. 17, 4037–4043 (2012)
Zhang, X., Liu, L., Wu, Y., Wiwatanapataphee, B.: Nontrivial solutions for a fractional advection dispersion equation in anomalous diffusion. Appl. Math. Lett. 66, 1–8 (2017)
Ahmad, B., Luca, R.: Existence of solutions for a sequential fractional integro-differential system with coupled integral boundary conditions. Chaos Solitons Fractals 104, 378–388 (2017)
Zhang, X., Liu, L., Wu, Y., Wiwatanapataphee, B.: The spectral analysis for a singular fractional differential equation with a signed measure. Appl. Math. Comput. 257, 252–263 (2015)
Goodrich, C.S.: The effect of a nonstandard cone on existence theorem applicability in nonlocal boundary value problems. J. Fixed Point Theory Appl. 19(4), 2629–2646 (2017)
Zhang, X., Liu, L., Wu, Y., Lu, Y.: The iterative solutions of nonlinear fractional differential equations. Appl. Math. Comput. 219, 4680–4691 (2013)
Goodrich, C.S.: Monotonicity and non-monotonicity results for sequential fractional delta differences of mixed order. Positivity 22(2), 551–573 (2018)
Zhang, X., Liu, L., Wu, Y.: Existence and uniqueness of iterative positive solutions for singular Hammerstein integral equations. J. Nonlinear Sci. Appl. 10, 3364–3380 (2017)
Zhang, P., Hao, X., Liu, L.: Existence and uniqueness of the global solution for a class of nonlinear fractional integro-differential equations in a Banach spaces. Adv. Differ. Equ. 2019, Article ID 135 (2019)
Guo, L., Liu, L., Wu, Y.: Existence of positive solutions for singular fractional differential equations with infinite-point boundary conditions. Nonlinear Anal., Model. Control 21(5), 635–650 (2016)
Ahmad, B., Luca, R.: Existence of solutions for sequential fractional integro-differential equations and inclusions with nonlocal boundary conditions. Appl. Math. Comput. 339, 516–534 (2018)
Guo, L., Liu, L.: Unique iterative positive solutions for singular p-Laplacian fractional differential equation system with infinite-point boundary conditions. Bound. Value Probl. 2019, Article ID 113 (2019)
Goodrich, C.S.: A uniformly sharp monotonicity result for discrete fractional sequential differences. Arch. Math. 110(2), 145–154 (2018)
Liu, L., Zhang, X., Wu, Y.: Existence of positive solutions for singular higher-order differential equations. Nonlinear Anal. 68, 3948–3961 (2008)
Guo, L., Liu, L., Wu, Y., Zou, Y.: Blow-up and global solutions for some parabolic systems under nonlinear boundary conditions. J. Korean Math. Soc. 56(4), 1017–1029 (2019)
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)
Hao, X., Zhang, L., Liu, L.: Positive solutions of higher order fractional integral boundary value problem with a parameter. Nonlinear Anal., Model. Control 24(2), 210–223 (2019)
Webb, J.R.L.: New fixed point index results and nonlinear boundary value problems. Bull. Lond. Math. Soc. 49(3), 534–547 (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., Shao, Z., Zhong, Q.: Positive solutions for semipositone \((k, n-k)\) conjugate boundary value problems with singularities on space variables. Appl. Math. Lett. 72, 50–57 (2017)
Qarout, D., Ahmad, B., Alsaedi, A.: Existence theorems for semi-linear Caputo fractional differential equations with nonlocal discrete and integral boundary conditions. Fract. Calc. Appl. Anal. 19(2), 463–479 (2016)
Goodrich, C.S.: Existence of a positive solution to a class of fractional differential equations. Appl. Math. Lett. 23(9), 1050–1055 (2010)
Liu, L., Sun, F., Zhang, X., Wu, Y.: Bifurcation analysis for a singular differential system with two parameters via to degree theory. Nonlinear Anal., Model. Control 22(1), 31–50 (2017)
Sun, F., Liu, L., Wu, Y.: Finite time blow-up for a thin-film equation with initial data at arbitrary energy level. J. Math. Anal. Appl. 458(1), 9–20 (2018)
Liu, L., Zhang, X., Jiang, J., Wu, Y.: The unique solution of a class of sum mixed monotone operator equations and its application to fractional boundary value problems. J. Nonlinear Sci. Appl. 9(5), 2943–2958 (2016)
Wang, F., Liu, L., Wu, Y.: Iterative unique positive solutions for a new class of nonlinear singular higher order fractional differential equations with mixed-type boundary value conditions. J. Inequal. Appl. 2019, Article ID 210 (2019)
Wang, Y., Liu, L., Wu, Y.: Positive solutions for singular semipositone boundary value problems on infinite intervals. Appl. Math. Comput. 227, 256–273 (2014)
Wang, G., Ren, X., Bai, Z., Hou, W.: Radial symmetry of standing waves for nonlinear fractional Hardy–Schrödinger equation. Appl. Math. Lett. 96, 131–137 (2019)
Wang, Y., Liu, L., Zhang, X., Wu, Y.: Positive solutions of an abstract fractional semipositone differential system model for bioprocesses of HIV infection. Appl. Math. Comput. 258, 312–324 (2015)
Liu, L., Li, H., Liu, C., Wu, Y.: Existence and uniqueness of positive solutions for singular fractional differential systems with coupled integral boundary conditions. J. Nonlinear Sci. Appl. 10(1), 243–262 (2017)
Wang, G.: Twin iterative positive solutions of fractional q-difference Schrödinger equations. Appl. Math. Lett. 76, 103–109 (2018)
Zhu, B., Liu, L., Wu, Y.: Local and global existence of mild solutions for a class of semilinear fractional integro-differential equations. Fract. Calc. Appl. Anal. 20(6), 1338–1355 (2017)
Zhu, B., Liu, L., Wu, Y.: Existence and uniqueness of global mild solutions for a class of nonlinear fractional reaction–diffusion equations with delay. Comput. Math. Appl. 78(6), 1811–1818 (2019)
Cabada, A., Kisela, T.: Existence of positive periodic solutions of some nonlinear fractional differential equations. Commun. Nonlinear Sci. Numer. Simul. 50, 51–67 (2017)
Song, Q., Dong, X., Bai, Z., Chen, B.: Existence for fractional Dirichlet boundary value problem under barrier strip conditions. J. Nonlinear Sci. Appl. 10, 3592–3598 (2017)
Bai, Z., Zhang, S., Sun, S., Yin, C.: Monotone iterative method for fractional differential equations. Electron. J. Differ. Equ. 2016, Article ID 6 (2016)
Pei, K., Wang, G., Sun, Y.: Successive iterations and positive extremal solutions for a Hadamard type fractional integro-differential equations on infinite domain. Appl. Math. Comput. 312, 158–168 (2017)
Hao, X., Zhang, L.: Positive solutions of a fractional thermostat model with a parameter. Symmetry 11(1), Article ID 122 (2019)
Wang, G., Pei, K., Agarwal, R., Zhang, L., Ahmad, B.: Nonlocal Hadamard fractional boundary value problem with Hadamard integral and discrete boundary conditions on a half-line. J. Comput. Appl. Math. 343, 230–239 (2018)
Xu, J., O’Regan, D., Zhang, K.: Multiple solutions for a class of fractional Hamiltonian systems. Fract. Calc. Appl. Anal. 18(1), 48–63 (2015)
Jiang, J., O’Regan, D., Xu, J., Fu, Z.: Positive solutions for a system of nonlinear Hadamard fractional differential equations involving coupled integral boundary conditions. J. Inequal. Appl. 2019, Article ID 204 (2019)
Cui, Y.: Uniqueness of solution for boundary value problems for fractional differential equations. Appl. Math. Lett. 51, 48–54 (2016)
Baghani, O.: On fractional Langevin equation involving two fractional orders. Commun. Nonlinear Sci. Numer. Simul. 42, 675–681 (2017)
Wang, F., Liu, L., Kong, D., Wu, Y.: Existence and uniqueness of positive solutions for a class of nonlinear fractional differential equations with mixed-type boundary value conditions. Nonlinear Anal., Model. Control 24(1), 73–94 (2019)
Jong, K., Choi, H., Ri, Y.: Existence of positive solutions of a class of multi-point boundary value problems for p-Laplacian fractional differential equations with singular source terms. Commun. Nonlinear Sci. Numer. Simul. 72, 272–281 (2019)
Zhang, X., Liu, L., Wu, Y.: The uniqueness of positive solution for a singular fractional differential system involving derivatives. Commun. Nonlinear Sci. Numer. Simul. 18, 1400–1409 (2013)
Wang, F., Liu, L., Wu, Y., Zou, Y.: Iterative analysis of the unique positive solution for a class of singular nonlinear boundary value problems involving two types of fractional derivatives with p-Laplacian operator. Complexity 2019, Article ID 2319062 (2020)
Wang, F., Liu, L., Wu, Y.: A numerical algorithm for a class of fractional BVPs with p-Laplacian operator and singularity-the convergence and dependence analysis. Appl. Math. Comput. 382, Article ID 125339 (2020)
Bai, Z., Lv, H.: Positive solutions for boundary value problem of nonlinear fractional differential equation. J. Math. Anal. Appl. 311, 495–505 (2005)
Availability of data and materials
Data sharing not applicable to this paper as no datasets were generated or analyzed during the current study.
Funding
The authors are supported financially by the National Natural Science Foundation of China (11871302).
Author information
Authors and Affiliations
Contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Consent for publication
Not applicable.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Wang, F., Liu, L. & Wu, Y. Existence and uniqueness of solutions for a class of higher-order fractional boundary value problems with the nonlinear term satisfying some inequalities. J Inequal Appl 2020, 196 (2020). https://doi.org/10.1186/s13660-020-02463-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-020-02463-0