Abstract
In this paper, the existence of the multiple positive solutions for a class of higher-order fractional differential equations on infinite intervals with infinite-point boundary value conditions is mainly studied. First, we construct the Green function and analyze its properties, and then by using the Leggett–Williams fixed point theorem, some new results on the existence of positive solutions for the boundary value problem are obtained. Finally, we illustrate the application of our conclusion by an example.
Similar content being viewed by others
1 Introduction
Boundary value problems of fractional differential equations have always been of great interest to researchers and are of great importance in the fields of physics, biology, chemistry, control theory, fluid mechanics, aerodynamics, complex medium electrodynamics, and other areas of engineering and science [1–6]. The Guo–Krasnoselskii fixed point theorem, Avery–Peterson fixed point theorem, Leggett–Williams fixed point theorem, etc., are important research tools in solving fractional differential equations of boundary value conditions [7–9]. In recent years, the study of finite multipoint boundary value problems for fractional differential equations on finite intervals has yielded more significant results [10–17]. However, the existence of multiple positive solutions for fractional differential equations with infinite multipoint boundary conditions on infinite intervals is relatively rare.
In [10], the authors investigated the fractional differential equation boundary value problems at resonance:
where \(2<\alpha<3\), \(\alpha-2>\beta>0\), \(\eta_{i}>0\), \(0<\xi_{1}<\cdots <\xi_{m}<1\) with \(\sum_{i=1}^{m}\eta_{i}\xi_{i}^{\alpha-\beta-1}=1\), and \(D^{\alpha}_{0^{+}}\) denotes the Riemann–Liouville derivative.
In [11], the authors investigated the following m-point p-Laplacian fractional boundary value problem involving Riemann–Liouville fractional integral boundary conditions on the half-line:
where \(D_{0^{+}}^{\gamma}\) and \(D_{0^{+}}^{\alpha}\) are the standard Riemann–Liouville fractional derivatives and \(I_{0^{+}}^{\beta}\) is the standard Riemann–Liouville fractional integral, \(0<\gamma\leq1\), \(2<\alpha\leq3\), \(\beta>0\), \(0<\xi_{1}<\xi_{2}<\cdots<\xi_{m-2}<+\infty \), \(\eta_{i}>0\), \(i=1,2,\ldots,m-2\), \(\phi_{p}(s)=\vert{s}\vert ^{p-2}s\), \(p>1\), \(\frac{1}{p}+\frac{1}{q}=1\).
Motivated by the above papers, in this work, we consider the following fractional differential equations with infinite-point boundary conditions on an infinite interval:
where \(D_{0^{+}}^{\epsilon}\) is the Riemann–Liouville fractional derivative, \(\epsilon\in\{\alpha, \delta, \sigma\}\), \(I_{0^{+}}^{\beta }\) is the Riemann–Liouville fractional integral, \(n-1<\alpha\leq{n}\), \(n>3\), \(l,n\in\mathbb{N^{+}}\), \(\beta>0\), \(\delta>0\), \(\sigma\geq0\), and \(\sigma<\alpha-1\), \(\delta<\alpha+\beta-1\), \(\delta<\alpha\), \(0<\xi _{1}<\xi_{2}<\cdots<\xi_{i}<\cdots<+\infty\), \(\eta_{i}\), \(\rho_{i}\geq 0\), \(i=1,2,\ldots\) .
For boundary value problem (1), we will first construct the Green function and then use some properties of the Green function to obtain at least three positive solutions to boundary value problem (1) by using the Leggett–Williams fixed point theorem.
The research in this paper is different from the existing studies. In [11], the boundary condition contained finite integral terms, and the authors obtained existence of one positive solution by using the Leray–Schauder nonlinear alternative theorem. In this paper, the boundary condition of boundary value problem (1) contains infinite integral terms and infinite points, and the order of the fractional derivative is higher. The method which we use is the Leggett–Williams fixed point theorem, and we get the existence of three positive solutions. The new results of this paper can be considered as a contribution to this field.
The organization of this paper is as follows. In Sect. 2, we show some necessary definitions and lemmas from fractional calculus theory. In Sect. 3, we prove the existence of multiple positive solutions of boundary value problem (1). In Sect. 4, we will give an example to illustrate the applicability of our conclusions.
Now we list some conditions for convenience:
- (\(H_{1}\)):
-
\(\varkappa:=\Gamma(\alpha+\beta-\delta)\Gamma(\alpha-\sigma )-\Gamma(\alpha-\sigma)\sum_{i=1}^{\infty}\eta_{i}\xi_{i} ^{\alpha+\beta-\delta-1}-\Gamma(\alpha+\beta-\delta)\sum_{i=1}^{\infty}\rho_{i}\xi_{i}^{\alpha-\sigma-1}>0\);
- (\(H_{2}\)):
-
\(f\in{C([0,+\infty)\times[0,+\infty)\times\mathbb{R},[0,+\infty))}\), and when u, v are bounded, \(f(t,(1+t^{\alpha -1})u, (1+t^{\alpha-1})v)\) is bounded;
- (\(H_{3}\)):
-
\(a\in{C([0,+\infty),[0,+\infty))}\) is not constant to 0 on any subinterval of \([0,+\infty)\), and
$$ \int_{0}^{+\infty}a(s)\,ds< +\infty. $$
2 Preliminaries
In this section, some definitions and lemmas are introduced.
Definition 2.1
The Riemann–Liouville fractional integral of order γ (\(\gamma >0\)) for a function \(f:(t_{0},+\infty)\rightarrow\mathbb{R}\) is defined as
Definition 2.2
The Riemann–Liouville fractional derivative of order γ (\(\gamma >0\)) for a function \(f:(t_{0},+\infty)\rightarrow\mathbb{R}\) is defined as
where \(n=[\gamma]+1\), where \([\gamma]\) denotes the integer part of the real number γ.
Lemma 2.1
([11])
Suppose that \(u\in{C(0,1)\cap{L}^{1}(0,1)}\), \(\alpha>0\). Then
where N is the smallest integer greater than or equal to α.
Lemma 2.2
([11])
If \(\alpha,\beta>0\), \(f\in{L^{1}}[a,b]\), then \(I_{0^{+}}^{\alpha }I_{0^{+}}^{\beta}f(t)=I_{0^{+}}^{\alpha+\beta}f(t)=I_{0^{+}}^{\beta }I_{0^{+}}^{\alpha}f(t)\), \(D_{0^{+}}^{\alpha}I_{0^{+}}^{\alpha }f(t)=f(t)\), \(\forall{t}\in[a,b]\).
Lemma 2.3
([11])
If \(\alpha,\beta>0\), then
where n is the smallest integer greater than or equal to α.
Lemma 2.4
Suppose (\(H_{1}\)) holds and let \(h\in{C[0,+\infty)}\). Then the fractional differential equation boundary value problem
has a unique solution
where
Proof
In view of Lemma 2.1, applying \(I_{0^{+}}^{\alpha}\) to both sides of \(D_{0^{+}}^{\alpha}u(t)+h(t)=0\), we have
By \(u^{(j)}(0)=0\), \(j=0,1,2,\ldots,n-2\), we can know \(c_{2}=c_{3}=\cdots =c_{n}=0\), so \(u(t)=-I_{0^{+}}^{\alpha}h(t)+c_{1}t^{\alpha-1}\).
We have
By the boundary condition \(\lim_{t\rightarrow{+\infty }}D_{0^{+}}^{\alpha-1}u(t)=\sum_{i=1}^{\infty }\eta_{i}I_{0^{+}}^{\beta}(D_{0^{+}}^{\delta}u(t)) \vert_{\xi_{i}}+\sum_{i=1}^{\infty}\rho_{i}D_{0^{+}}^{\sigma }u(\xi_{i})\), we obtain
Then
Thereby
□
Lemma 2.5
Suppose (\(H_{1}\)) holds and \(p(0)>0\). Then \(p(s)>0\), \(\forall{s}\in [0,+\infty)\).
Proof
By (4),
Then \(p(s)\) is a monotonically increasing function in \([0,+\infty)\). By \(p(0)>0\), we get \(p(s)>0\). □
Lemma 2.6
The function \(G(t,s)\) in Lemma 2.4satisfies the following properties:
-
(i)
\(G(t,s)\) and \(\frac{\partial{G(t,s)}}{\partial{t}}\) are continuous on \([0,+\infty)\);
-
(ii)
\(G(t,s)\geq0\), \(\frac{\partial{G(t,s)}}{\partial{t}}\geq0\), \(\forall{s,t}\in[0,+\infty)\);
-
(iii)
\(\frac{G(t,s)}{1+t^{\alpha-1}}\leq\frac{p(s)}{\Gamma(\alpha )p(0)}\), \(\frac{\partial{G(t,s)}}{\partial{t}}(1+t^{\alpha -1})^{-1}\leq\frac{p(s)(\alpha-2)^{\frac{\alpha-2}{\alpha-1}}}{\Gamma (\alpha)p(0)}\);
-
(iv)
for \(k>1\), we have \(\min_{\frac{1}{k}\leq{t}\leq{k}}\frac {G(t,s)}{1+t^{\alpha-1}}\geq{g_{1}}(s)\), \(\min_{\frac {1}{k}\leq{t}\leq{k}}\frac{\partial{G(t,s)}}{\partial{t}}(1+t^{\alpha -1})^{-1}\geq{g_{2}}(s)\),
where
Proof
By calculation we can give
According to the definition of \(G(t,s)\) and \(\frac{\partial {G(t,s)}}{\partial{t}}\), it is clear that (i) and (ii) hold. Next we will prove that (iii) and (iv) hold.
For all \({t,s}\in[0,+\infty)\), \(\frac{G(t,s)}{1+t^{\alpha-1}}\leq\frac {p(s)t^{\alpha-1}}{\Gamma(\alpha)p(0)(1+t^{\alpha-1})}\). Let \(\Phi (t)=\frac{t^{\alpha-1}}{1+t^{\alpha-1}}\). Then
As \(\Phi^{\prime }(t)=0\), we have \(t=0\). Therefore, \(\Phi(t)\) is monotonically increasing on \([0,+\infty)\). Moreover,
It follows that \(\frac{G(t,s)}{1+t^{\alpha-1}}\leq\frac{p(s)}{\Gamma (\alpha)p(0)}\).
For all \({t,s}\in[0,+\infty)\), \(\frac{\partial{G(t,s)}}{\partial {t}}(1+t^{\alpha-1})^{-1}\leq\frac{p(s)t^{\alpha-2}}{\Gamma(\alpha -1)p(0)(1+t^{\alpha-1})}\). Let \(\Psi(t)=\frac{t^{\alpha-2}}{1+t^{\alpha -1}}\). Then
When \(\Psi^{\prime }(t)=0\), we get \(t=0\) or \(t=(\alpha-2)^{\frac{1}{\alpha -1}}\). Because \(\Psi(0)=0\) and \(\Psi((\alpha-2)^{\frac{1}{\alpha -1}})>0\), we know that \(\Psi(t)\) is monotonically increasing on \([0,(\alpha-2)^{\frac{1}{\alpha-1}})\) and monotonically decreasing on \([(\alpha-2)^{\frac{1}{\alpha-1}},+\infty)\). Therefore,
Thus, \(\frac{\partial{G(t,s)}}{\partial{t}}(1+t^{\alpha-1})^{-1}\leq \frac{p(s)(\alpha-2)^{\frac{\alpha-2}{\alpha-1}}}{\Gamma(\alpha)p(0)}\). That is to say, (iii) is certified.
By Lemma 2.5, if \(s\in[0,\frac{1}{k})\),
if \(s\in[\frac{1}{k},k)\),
so
if \(s\in[k,+\infty)\),
In summary, \(\min_{\frac{1}{k}\leq{t}\leq{k}}\frac {G(t,s)}{1+t^{\alpha-1}}\geq{g_{1}(s)}\).
Similarly, we can obtain the following: if \(s\in [0,\frac{1}{k})\),
if \(s\in[\frac{1}{k},k)\),
so
if \(s\in[k,+\infty)\),
In conclusion, \(\min_{\frac{1}{k}\leq{t}\leq{k}}\frac{\partial {G(t,s)}}{\partial{t}}(1+t^{\alpha-1})^{-1}\geq{g_{2}(s)}\). Therefore, (iv) is proved. □
Let \(\mathbb{E_{\infty}}= \{u\in {C^{1}([0,+\infty),\mathbb{R})}:\lim_{t\rightarrow+\infty}\frac {\vert{u(t)}\vert}{1+t^{\alpha-1}}<+\infty, \lim_{t\rightarrow +\infty}\frac{\vert{u^{\prime }(t)}\vert}{1+t^{\alpha-1}}<+\infty \}\), endowed with the norm \(\Vert {u}\Vert =\max \{\Vert {u}\Vert _{\infty},\Vert {u^{\prime }}\Vert _{\infty} \}\), where \(\Vert {u}\Vert _{\infty}=\sup_{t\geq0}\frac{\vert {u(t)}\vert}{1+t^{\alpha-1}}\), \(\Vert {u^{\prime }}\Vert _{\infty }=\sup_{t\geq0}\frac{\vert{u^{\prime }(t)}\vert}{1+t^{\alpha-1}}\). It is clear that \(\mathbb{E_{\infty}}\) is a Banach space [11].
Lemma 2.7
([11])
Set \(\mathbb{O}= \{u\in\mathbb{E_{\infty}}, \Vert {u}\Vert <\rho, \textit{where } \rho>0 \}\), \(\mathbb{O}(t)= \{\frac{u(t)}{1+t^{\alpha-1}}, u\in\mathbb{O} \}\), \(\mathbb{O}^{\prime }(t)= \{\frac{u^{\prime }(t)}{1+t^{\alpha-1}}, u\in\mathbb{O} \}\). Then \(\mathbb{O}\) is relatively compact in \(\mathbb{E_{\infty}}\) if \(\mathbb{O}(t)\) and \(\mathbb{O}^{\prime }(t)\) are equicontinuous on any finite subinterval of \([0,+\infty)\) and equiconvergent at +∞, that is, for any \(\epsilon>0\) there exists \(\zeta=\zeta(\epsilon)>0\) such that
Lemma 2.8
([12])
Let \(\mathbb{P}\) be a cone in a real Banach space. Assume that there exists a concave nonnegative continuous functional θ on \(\mathbb{P}\), with \(\theta(u)\leq\Vert {u}\Vert \), \(\forall{u}\in\overline {\mathbb{P}_{c}}\). Letting \(a,b,c>0\) be constants, we define
Let \(T:\overline{\mathbb{P}_{c}}\rightarrow\overline{\mathbb{P}_{c}}\) be a completely continuous operator. Suppose that there exist constants \(0< a< b< d\leq{c}\) such that the following conditions hold:
-
(i)
\(\{u\in\mathbb{P}(\theta,b,d):\theta(u)>b \}\neq\emptyset \) and \(\theta(Tu)>b\), \(\forall{u}\in\mathbb{P}(\theta,b,d)\);
-
(ii)
\(\Vert {Tu}\Vert < a\), \(\forall{u}\in\overline{\mathbb{P}_{a}}\);
-
(iii)
\(\theta(Tu)>b\) for \(u\in\mathbb{P}(\theta,b,c)\), with \(\Vert {Tu}\Vert >d\).
Then T has at least three fixed points \(u_{1}\), \(u_{2}\), and \(u_{3}\) in \(\overline{\mathbb{P}_{c}}\). Furthermore, \(\Vert {u_{1}}\Vert < a\), \(b<\theta(u_{2})\), \(a<\Vert {u_{3}}\Vert \) with \(\theta(u_{3})< b\).
3 Main results
Define a cone \(\mathbb{P}\subset\mathbb{E_{\infty}}\) by \(\mathbb{P}= \{u\in\mathbb{E_{\infty}}:u(t)\geq0, u^{\prime }(t)\geq0 \}\). We introduce an operator \(T:\mathbb{P}\rightarrow\mathbb{E_{\infty}}\) as follows:
By Lemma 2.4, we can know that the fixed point of T is the solution of the boundary value problem (1) and vice versa.
Now we make the following assumption:
- (\(H_{4}\)):
-
\(\int_{0}^{+\infty}a(s)p(s)\,ds<+\infty\), where \(p(s)\) is defined as (4).
Lemma 3.1
Suppose that (\(H_{1}\))–(\(H_{4}\)) hold. Then \(T:\mathbb{P}\rightarrow \mathbb{P}\) is a completely continuous operator.
Proof
First of all, we will show that \(T:\mathbb{P}\rightarrow\mathbb{P}\).
In view of the properties of \(G(t,s)\) and \(\frac{\partial{G(t,s)}}{\partial{t}}\) and the nonnegativity of f, it is easy to know that \(Tu(t)\geq0\), \(Tu^{\prime }(t)\geq0\), \(\forall{t}\in[0,+\infty)\).
By (\(H_{2}\))–(\(H_{4}\)) and Lemma 2.6, for any \(u\in\mathbb{P}\) and \(t\in[0,+\infty)\), we have \(\frac{u(t)}{1+t^{\alpha-1}}\leq\Vert {u}\Vert _{\infty}\), \(\frac{u^{\prime }(t)}{1+t^{\alpha-1}}\leq\Vert {u^{\prime }}\Vert _{\infty}\), and there exists \(\mu_{u}>0\) such that
Similarly,
Therefore, \(T(\mathbb{P})\subset\mathbb{P}\).
Secondly, we will prove that \(T:\mathbb{P}\rightarrow\mathbb{P}\) is continuous.
Let \(u_{n}\rightarrow{u}\) as \(n\rightarrow+\infty\) in \(\mathbb{P}\), that is, \(\Vert {u_{n}-u}\Vert \rightarrow0\) (\(n\rightarrow \infty\)). By Lemma 2.6,
It can be known from Lebesgue’s dominated convergence theorem and the continuity of f that
In the same way, we have
It is known from Lebesgue’s dominated convergence theorem and the continuity of f that
Hence, \(T:\mathbb{P}\rightarrow\mathbb{P}\) is continuous.
Now let \(\Omega\subset\mathbb{P}\) be bounded. Then there exists a positive constant κ such that \(\Vert {u}\Vert \leq\kappa\), \(\forall{u}\in \Omega\). Next we will prove that \(T(\Omega)\) is bounded.
In view of (\(H_{2}\)), let the positive constant
For any \(u\in\Omega\), by Lemma 2.6, we obtain
Similarly,
Therefore, because \(\Vert {Tu}\Vert =\max_{u\in\Omega } \{\Vert {Tu}\Vert _{\infty}, \Vert {(Tu)^{\prime }}\Vert _{\infty} \}\), we get that \(T(\Omega)\) is bounded.
Next we will show that \(\{\frac{Tu(t)}{1+t^{\alpha-1}}:u\in\Omega \}\) and \(\{\frac{(Tu(t))^{\prime }}{1+t^{\alpha-1}}:u\in\Omega \}\) are equi-continuous on any finite subinterval of \([0,+\infty)\).
For any \(\lambda>0\), \(t_{1},t_{2}\in[0,\lambda]\), without loss of generality, we may assume that \(t_{2}\geq{t_{1}}\). For all \(u\in\Omega \), by Lemma 2.7, we have
and
Thus, \(\vert \frac{Tu(t_{2})}{1+t_{2}^{\alpha-1}}-\frac {Tu(t_{1})}{1+t_{1}^{\alpha-1}} \vert \rightarrow0\) as \(t_{1}\rightarrow{t_{2}}\).
Similarly, we can prove that \(\vert \frac {(Tu)^{\prime }(t_{2})}{1+t_{2}^{\alpha-1}}-\frac {(Tu)^{\prime }(t_{1})}{1+t_{1}^{\alpha-1}} \vert \rightarrow0\) uniformly for \(u\in\Omega\) when \(t_{1}\rightarrow{t_{2}}\). So \(\{\frac {Tu(t)}{1+t^{\alpha-1}}:u\in\Omega \}\) and \(\{\frac {(Tu(t))^{\prime }}{1+t^{\alpha-1}}:u\in\Omega \}\) are equicontinuous on any finite subinterval of \([0,+\infty)\).
At last we will prove that \(\{\frac{Tu(t)}{1+t^{\alpha-1}}:u\in \Omega \}\) and \(\{\frac{(Tu(t))^{\prime }}{1+t^{\alpha-1}}:u\in \Omega \}\) are equiconvergent at \(t\rightarrow+\infty\).
For any \(u\in\Omega\), by (\(H_{4}\)), we get
It can be known from Lemma 2.6 that
Therefore, \(\{\frac{Tu(t)}{1+t^{\alpha-1}}:u\in\Omega \}\) and \(\{\frac{(Tu(t))^{\prime }}{1+t^{\alpha-1}}:u\in\Omega \}\) are equiconvergent at \(t\rightarrow+\infty\). By Lemma 2.7, we can know that TΩ is relatively compact. So T is completely continuous. □
Now in the following part of the paper, we take \(k=(\alpha-2)^{\frac {1}{\alpha-1}}\). Then \(k>1\) and \(\min_{\frac{1}{k}\leq{t}\leq {k}}\frac{(\alpha-1)t^{\alpha-2}}{1+t^{\alpha-1}}=(\alpha-2)^{\frac {1}{\alpha-1}}\). We will use the Leggett–Williams fixed point theorem to prove that there are at least three positive solutions to boundary value problem (1). For convenience, we denote
We denote a nonnegative concave functional on \(\mathbb{P}\) by
Theorem 3.1
Assume that (\(H_{1}\))–(\(H_{4}\)) hold. Let \(0< a< b< d=c\), let \(b< [2(\alpha-1)^{\frac{2-\alpha}{\alpha-1}}-1 ]d\), and suppose that the function f satisfies the following conditions:
Then boundary value problem (1) has at least three positive solutions \(u_{1},u_{2},u_{3}\in\overline{\mathbb{P}_{c}}\) such that \(\Vert {u_{1}}\Vert < a\), \(b<\theta(u_{2})\), \(a<\Vert {u_{3}}\Vert \) with \(\theta(u_{3})< b\).
Proof
We will show that all conditions of Lemma 2.8 are satisfied for T defined by (7). For all \(u\in\overline{\mathbb{P}_{c}}\), we have \(\Vert {u}\Vert \leq{c}\), that is, \(0\leq\frac{u(t)}{1+t^{\alpha-1}}\leq{c}\), \(0\leq\frac{u^{\prime }(t)}{1+t^{\alpha-1}}\leq{c}\), \(\forall{t}\in[0,+\infty )\). By using assumption (\(C_{1}\)), we can get \(f(t,u(t),u^{\prime }(t))=f(t,(1+t^{\alpha-1})\frac{u(t)}{{1+t^{\alpha -1}}},(1+t^{\alpha-1})\frac{u^{\prime }(t)}{{1+t^{\alpha-1}}})<\frac{c}{K}\), \(t\in[0,+\infty)\).
For all \({u}\in\overline{\mathbb{P}_{c}}\),
we have \(\Vert {Tu}\Vert < c\). Thus, \(T:\overline{\mathbb{P}_{c}}\rightarrow\overline{\mathbb{P}_{c}}\). By Lemma 3.1, we can know that T is completely continuous. Using the above argument, it follows from assumption (\(C_{3}\)) that if \(u\in\overline{\mathbb{P}_{a}}\), then \(\Vert {Tu}\Vert < a\). Hence, condition (ii) of Lemma 2.8 holds.
Next we will show that condition (i) of Lemma 2.8 holds.
To check that, we choose \(u^{*}(t)=\frac{b+d}{2}(1+t^{\alpha-1})\), \(0\leq{t}<+\infty\). Obviously, \(u^{*}\in\mathbb{P}\). By the proof of condition (iii) of Lemma 2.6,
Thus, \(\Vert {u^{*}}\Vert < d\). Also, because
we have \(\theta(u^{*})>b\). Therefore, \(u^{*}\in \{u\in\mathbb{P}(\theta,b,d):\theta(u)>b \}\neq\emptyset\).
For all \({u}\in\mathbb{P}(\theta,b,d)\), \(\forall{t}\in[\frac{1}{k},k]\), we have \(b\leq\frac{u(t)}{1+t^{\alpha-1}}\leq{c}\), \(b\leq\frac {u^{\prime }(t)}{1+t^{\alpha-1}}\leq{c}\). By (\(C_{2}\)), it follows that \(f(t,u(t),u^{\prime }(t))=f(t,(1+t^{\alpha-1})\frac{u(t)}{{1+t^{\alpha -1}}},(1+t^{\alpha-1})\frac{u^{\prime }(t)}{{1+t^{\alpha-1}}})>\frac {b}{K^{*}}\). For any \(t\in[\frac{1}{k},k]\), we get
Thus, \(\theta(Tu)>b\), \(\forall{u}\in\mathbb{P}(\theta,b,d)\), that is, condition (i) of Lemma 2.8 holds.
At last, we assume that \(u\in\mathbb{P}(\theta,b,c)\) with \(\Vert {Tu}\Vert >d\). Then \(\Vert {u}\Vert \leq{c}\), \(b\leq\frac {u(t)}{1+t^{\alpha-1}}\leq{c}\), and \(b\leq\frac{u^{\prime }(t)}{1+t^{\alpha -1}}\leq{c}\) for \(t\in[\frac{1}{k},k]\). By assumption (\(C_{2}\)), we have \(\theta(Tu)>b\). Hence, condition (iii) of Lemma 2.8 is satisfied.
To sum up, all hypotheses of Lemma 2.8 are satisfied. So we get that the boundary value problem (1) has at least three positive solutions \(u_{1}\), \(u_{2}\), and \(u_{3}\), such that \(\Vert {u_{1}}\Vert < a\), \(b<\theta(u_{2})\), and \(a<\Vert {u_{3}}\Vert \) with \(\theta(u_{3})< b\). □
4 An example
Let \(\alpha=3.2\), \(\beta=0.6\), \(\delta=1.2\), \(\sigma=0.7\), \(\xi_{i}=1-\frac {1}{2i+2}\), \(\eta_{i}=\frac{1}{4^{i}}\), \(\rho_{i}=\frac{1}{5^{i}}\), and \(a(t)=4e^{-t}\).
Now we consider the following fractional boundary value problem on an infinite interval:
where
A direct calculation shows that
\(\int_{0}^{+\infty}a(t)\,dt=\int_{0}^{+\infty}e^{-t}\,dt=1\).
By Theorem 3.1, we set \(a=\frac{1}{30}\), \(b=\frac{1}{15}\), \(c=5\), and \(k=1.0864\). The calculation yields
Then f satisfies
Therefore, all assumptions of Theorem 3.1 are satisfied. Thus, the fractional boundary value problem (8) has at least three positive solutions \(u_{1}\), \(u_{2}\), and \(u_{3}\) satisfying \(\Vert {u_{1}}\Vert <\frac{1}{30}\), \(\frac{1}{15}<\theta(u_{2})\), and \(\frac{1}{30}<\Vert {u_{3}}\Vert \) with \(\theta(u_{3})<\frac{1}{15}\).
Availability of data and materials
All date generated or analyzed during this study are included in this article.
References
Adiguzel, R.S., Aksoy, U., Karapinar, E., et al.: On the solutions of fractional differential equations via Geraghty type hybrid contractions. Appl. Comput. Math. 20(2), 313–333 (2021)
Bai, Z., Lv, H.: Positive solutions for boundary value problem of nonlinear fractional differential equation. J. Math. Anal. Appl. 311(2), 495–505 (2005)
Lazreg, J.E., Abbas, S., Benchohra, M., et al.: Impulsive Caputo-Fabrizio fractional differential equations in b-matric spaces. Open Math. 19, 363–372 (2021)
Ahmad, B., Ntouyas, S.K.: Existence results for a coupled system of Caputo type sequential fractional differential equations with nonlocal integral boundary conditions. Appl. Math. Comput. 266, 615–622 (2015)
Isaia, F.: On a nonlinear integral equation without compactness. Acta Math. Univ. Comen. 75(2), 233–240 (2016)
Niazi, A.U.K., Wei, J., Rehman, M.U., et al.: Boundary value problem for nonlinear fractional differential equations with delay. Adv. Differ. Equ. 24, 1–14 (2017)
Li, Y.: Multiple positive solutions for nonlinear mixed fractional differential equation with p-Laplacian operator. Adv. Differ. Equ. 112, 1–12 (2019)
Kai, S., Zong, Z.: Positive solutions for fractional differential equations with integral and infinite-point boundary conditions. Math. Appl. 33(3), 563–571 (2020)
Mahdjouba, A., Juan, J.N., Abdelghani, O.: System of fractional boundary value problem with p-Laplacian and advanced arguments. Adv. Differ. Equ. 39(6), 1425–1434 (2016)
Wang, Y., Wang, H.: Triple positive solutions for fractional differential equation boundary value problems at resonance. Appl. Math. Lett. 106, 1–14 (2020)
Dondu, O., Ilkay, Y.K.: Positive solutions for m-point p-Laplacian fractional boundary value problem involving Riemann-Liouville fractional integral boundary conditions on the half line. Filomat 34(9), 3161–3173 (2020)
Wei, J., Zong, Z.: Positive solutions of boundary value problem for a class of high-order fractional differential equations on infinite interval. Math. Appl. 30(4), 750–759 (2017)
Amjad, A., Nabeela, K., Seema, I.: Successively iterative method for a class of high-order fractional differential equations with multi-point boundary value conditions on half-line. Bound. Value Probl. 5, 1–16 (2016)
Yuan, T., Zhan, B., Su, S.: Positive solutions for a boundary value problem of fractional differential equation with p-Laplacian operator. Adv. Differ. Equ. 349, 1–14 (2019)
Dondu, O., Ilkay, Y.K.: Positive solutions for fractional-order nonlinear boundary value problems on infinite interval. Int. J. Nonlinear Anal. Appl. 12(1), 317–335 (2021)
Li, G., Jing, Z., Lian, L., et al.: Existence of multiple positive solutions for a class of infinite-point singular p-Laplacian fractional differential equation with singular source terms. Nonlinear Anal. 27(4), 609–629 (2022)
Hao, X., Wang, H., Liu, L., et al.: Positive solutions for a system of nonlinear fractional nonlocal boundary value problems with parameters and p-Laplacian operator. Bound. Value Probl. 182, 1–18 (2017)
Acknowledgements
The authors express their thanks to the reviewers for their valueble suggestions.
Funding
The work was supported by the Anhui Provincial Natural Science Foundation (1608085MA12).
Author information
Authors and Affiliations
Contributions
Ziyue Cui wrote the main manuscript text. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
There does not exist any ethical issue regarding this work.
Consent for publication
The authors confirm: that the work described has not been published before (except in the form of an abstract or as part of a published lecture, review, or thesis); that it is not under consideration for publication elsewhere; that its publication has been approved by all co-authors, if any; that its publication has been approved (tacitly or explicitly) by the responsible authorities at the institution where the work is carried out.
Competing interests
The authors declare 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 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
Cui, Z., Zhou, Z. Positive solutions for a class of fractional differential equations with infinite-point boundary conditions on infinite intervals. Bound Value Probl 2023, 85 (2023). https://doi.org/10.1186/s13661-023-01776-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-023-01776-5