- Research
- Open Access
Successively iterative method for a class of high-order fractional differential equations with multi-point boundary value conditions on half-line
- Bingxian Li1,
- Shurong Sun1Email author and
- Zhenlai Han1
- Received: 30 May 2015
- Accepted: 30 December 2015
- Published: 8 January 2016
Abstract
In this paper, we study the existence of the positive solutions for a class of high-order differential equations with multi-point boundary value conditions involving the Caputo fractional derivative on infinite interval. Moreover, we develop two computable explicit monotone iterative sequences for approximating the two minimal and maximal positive solutions. An example is given to show the applicability of our main results.
Keywords
- Caputo fractional derivative
- multi-point boundary value problem
- monotone iteration method
- infinite interval
- existence of solutions
MSC
- 34A08
- 34B18
1 Introduction
In this paper, we investigate the multi-point boundary value problem for the fractional differential equation
where \({}^{c}D^{\alpha}_{0^{+}}\) and \({}^{c}D^{\alpha-1}_{0^{+}}\) are the Caputo fractional derivatives, \(n-1<\alpha\leq n\) (\(n>2\)), \(q=2,3,\ldots,n-1\), \(0<\xi_{1}<\xi_{2}<\cdots<\xi_{m-2}<+\infty\), and \(\beta_{i}>0\), \(i=1,2,\ldots,m-2\), \(m\geq3\), satisfy \(0<\sum^{m-2}_{i=1}\beta_{i}\xi_{i}^{\alpha-1}<\Gamma(\alpha)\).
$$\begin{aligned}& ^{c}D^{\alpha}_{0^{+}}u(t)=a(t)f\bigl(t,u(t) \bigr),\quad 0< t< +\infty, \end{aligned}$$
(1.1)
$$\begin{aligned}& u(0)=0,\quad\quad u^{(q)}(0)=0,\quad\quad{}^{c}D^{\alpha-1}_{0^{+}}u(+ \infty)=\sum^{m-2}_{i=1}\beta_{i}u( \xi_{i}), \end{aligned}$$
(1.2)
Recently, the theory on existence of positive solutions of fractional differential equations is a rapidly growing area of research. For more details on the basic theory of fractional calculus and fractional differential equations, one can see the monographs of [1–6] and the references therein. However, the theory of the boundary value problem for nonlinear fractional differential equations is still limited to the finite interval [7–11], and many aspects of this theory need to be explored. In the near future, there has been a significant development on boundary value problems for fractional differential equations on infinite intervals [12–22]. To the best of our knowledge, results as regards the boundary problem referring to the differential equations involving the Caputo fractional derivative on infinite interval are relatively scarce.
Liang et al. [19] discussed the following nonlinear fractional differential equations with multi-point boundary value problem on an unbounded domain:
where \(D^{\alpha}_{0^{+}}\) and \(D^{\alpha-1}\) are the Riemann-Liouville fractional derivatives, \(2<\alpha\leq3\), \(0<\xi _{1}<\xi_{2}<\cdots<\xi_{m-2}<+\infty\), and \(\beta_{i}>0\), \(i=1,2,\ldots,m-2\), satisfy \(0<\sum^{m-2}_{i=1}\beta _{i}\xi_{i}^{\alpha-1}<\Gamma(\alpha)\). By using a fixed point theorem on a cone, they obtained the existence of multiple positive solutions.
$$\begin{aligned}& D^{\alpha}_{0^{+}}u(t)+a(t)f\bigl(t,u(t)\bigr)=0,\quad 0< t< + \infty, \end{aligned}$$
(1.3)
$$\begin{aligned}& u(0)=u'(0)=0,\quad\quad D^{\alpha-1}u(+\infty)=\sum ^{m-2}_{i=1}\beta_{i}u(\xi_{i}), \end{aligned}$$
(1.4)
Assia et al. [20] considered the following fractional boundary value problem on the half-line:
where \({}^{c}D^{q}_{0^{+}}\) and \({}^{c}D^{q-1}\) are the Caputo fractional derivatives, \(2< q<3\). By using the nonlinear alternative of Leray-Schauder and the Guo-Krasnosel’skii fixed point theorem on a cone, they obtained the existence of positive solutions.
$$\begin{aligned}& {}^{c}D^{q}_{0^{+}}u(t)=f \bigl(t,u(t),u'(t)\bigr),\quad t>0, \end{aligned}$$
(1.5)
$$\begin{aligned}& u(0)=u''(0)=0,\quad\quad\lim_{t\rightarrow\infty}{}^{c}D^{q-1}u(t)= \alpha u(1), \end{aligned}$$
(1.6)
Liang et al. [21] investigated the following fractional boundary value problem on an infinite interval:
where \(D^{\alpha}_{0^{+}}\) is the standard Riemann-Liouville fractional derivatives, \(2<\alpha\leq3\), \(0<\gamma\leq1\), \(i=1,2,\ldots,m-2\), \(0<\xi_{1}<\xi_{2}<\cdots<\xi_{m-2}<+\infty\), \(\phi_{p}(s)=|s|^{p-2}s\), \(p>1\). They established solvability of the above fractional boundary value problems by means of the properties of the Green function and some fixed-point theorems.
$$\begin{aligned}& D^{\gamma}_{0^{+}}\bigl(\phi_{p} \bigl(D^{\alpha }_{0^{+}}u(t)\bigr)\bigr)+a(t)f\bigl(t,u(t) \bigr)=0,\quad 0< t< +\infty, \end{aligned}$$
(1.7)
$$\begin{aligned}& u(0)=u'(0)=0,\quad\quad D^{\alpha-1}u(+\infty)=\sum ^{m-2}_{i=1}\beta_{i}u(\xi _{i}),\quad\quad D^{\alpha}_{0^{+}}u(t)|_{t=0}=0, \end{aligned}$$
(1.8)
Wang et al. [22] also investigated the problem (1.3)-(1.4), the difference is in using monotone iterative method to develop two computable explicit monotone iterative sequences for approximating the minimal and maximal positive solutions.
Our main results of this paper are in extending the results in [19] from the low order to the high order case. In addition, our research topic involves the Caputo fractional derivative, which is different from [19]. We employ the monotone iterative method [22–25], which is indeed an important and useful contribution to the ones used in relevant papers.
The plan of this paper is as follows. In Section 2, we shall give some definitions and lemmas to prove our main results. In Section 3, we employ the monotone iterative method to establish the two computable explicit monotone iterative sequences for approximating the minimal and maximal positive solutions of boundary value problems (1.1) and (1.2). In Section 4, an example is presented to illustrate the main results.
In order to facilitate our study, we make the following assumptions:
- (H1):
-
\(f\in C([0,+\infty)\times[0,+\infty),[0,+\infty))\), \(f(t,0)\not \equiv0\) on any subinterval of \([0,+\infty)\), and \(f(t,(1+t^{\alpha-1})u)\) is bounded when u is bounded on \([0,+\infty)\);
- (H2):
-
\(a(\cdot):[0,+\infty)\rightarrow[0,+\infty)\) does not identically vanish on any subinterval of \([0,+\infty)\) and \(0<\int^{+\infty}_{0}a(t)\,dt<\infty\).
2 Preliminaries
For convenience of the reader, we present here some necessary definitions and lemmas from the fractional calculus theory.
Definition 2.1
([3])
The fractional integral of order α (\(\alpha>0\)) of a function \(f:(0, +\infty)\to\mathbb{R}\) is given by where \(\Gamma(\cdot)\) is the Gamma function, provided that the right side is point-wise defined on \((0,+\infty)\).
$$I^{\alpha}_{0^{+}}f(t)=\frac{1}{\Gamma{(\alpha)}} \int_{0}^{t}\frac {f(s)}{(t-s)^{1-\alpha}}\,ds, $$
Definition 2.2
([3])
The Caputo fractional derivative of order \(\alpha>0\) of a continuous function \(f:(0,+\infty)\to\mathbb{R}\) is given by where \(\Gamma(\cdot)\) is the Gamma function, provided that the right side is point-wise defined on \((0,+\infty)\), and \(n=\lceil\alpha\rceil \), where \(\lceil\alpha\rceil\) is the ceiling function of α.
$$^{c}D_{0^{+}}^{\alpha} f(t)=\frac{1}{\Gamma(n-\alpha)} \int_{0}^{t}\frac {f^{(n)}(s)}{(t-s)^{\alpha-n+1}}\,ds, $$
Definition 2.3
([3])
Let E be a real Banach space. A nonempty closed convex set \(K\subset E \) is called cone if
- (1)
if \(x\in K\) and \(\lambda>0\), then \(\lambda x\in K\);
- (2)
if \(x\in K\) and \(-x\in K\), then \(x=0\).
Lemma 2.1
([3])
Let
\(\alpha,\beta>0\)
and
\(n=\lceil\alpha\rceil\). Then
$$\begin{aligned}& {}^{c}D_{0^{+}}^{\alpha}t^{\beta-1}= \frac{\Gamma(\beta)}{\Gamma(\beta -\alpha)}t^{\beta-\alpha-1},\quad\beta>n, \\& {}^{c}D_{0^{+}}^{\alpha}t^{k}=0,\quad k=0,1,2, \ldots,n-1. \end{aligned}$$
Lemma 2.2
([3])
Let
\(\operatorname{Re}\alpha,\operatorname{Re}\beta>0\), \(f\in L^{p}(a,b)\) (\(1\leq p\leq\infty\)). Then
for all
\(t\in[a,b]\). If
\(\alpha+\beta>1\), then the relation holds at any point of
\([a,b]\).
$$I^{\alpha}_{a^{+}}I^{\beta}_{a^{+}}f(t)=I^{\alpha+\beta }_{a^{+}}f(t)=I^{\beta}_{a^{+}}I^{\alpha}_{a^{+}}f(t), $$
Lemma 2.3
([3])
Let
\(\operatorname{Re}\alpha>0\)
and
\(f\in L^{p}(a,b)\) (\(1\leq p\leq\infty\)). Then
for all
\(t\in[a,b]\).
$${}^{c}D_{a^{+}}^{\alpha}I^{\alpha}_{a^{+}}f(t)=f(t), $$
Lemma 2.4
([4])
For
\(\alpha>0\), \(g\in C([0,+\infty ))\), the homogeneous fractional differential equation
\({}^{c}D_{0^{+}}^{\alpha}g(t)=0\)
has a solution
where
\(c_{i}\in\mathbb{R}\), \(i=1,\ldots,n\), and
\(n=\lceil\alpha\rceil\).
$$g(t)=c_{1}+c_{2}t+c_{3}t^{2}+ \cdots+c_{n}t^{n-1}, $$
Lemma 2.5
([4])
Assume that
\(u(t)\in C[0,\infty )\cap L^{1}[0,\infty)\)
with the derivative of order
n
that belongs to
\(C[0,\infty)\cap L^{1}[0,\infty)\), let the Caputo fractional derivative of order
\(\alpha>0\). Then
where
\(c_{i}\in\mathbb{R}\), \(i=1,2,\ldots,n\), and
\(n=\lceil\alpha\rceil\).
$$I^{\alpha}_{0^{+}}{}^{c}D^{\alpha }_{0^{+}}u(t)=u(t)+c_{1}+c_{2}t+c_{3}t^{2}+ \cdots+c_{n}t^{n-1}, $$
The following lemma is fundamental in the proofs of our main results.
Lemma 2.6
([26])
Let
\(V=\{u\in C_{\infty },\|u\|< l,\textit{ where }l>0\}\), \(V(t)=\{\frac{u(t)}{1+t^{\alpha -1}},u\in V\}\). Then
V
is relatively compact on
\(C_{\infty}\), if
\(V(t)\)
is equicontinuous on any finite subinterval of
\([0,+\infty)\)
and equiconvergent at infinity, that is, for any
\(\varepsilon>0\), there exists
\(N=N(\varepsilon)>0\)
such that
where
\(C_{\infty}=\{u\in C([0,+\infty), \mathbb{R}):\sup_{t\in [0,+\infty)}\frac{|u(t)|}{1+t^{\alpha-1}}<+\infty\}\)
and for all
\(u\in V\), \(t_{1},t_{2}\geq N\).
$$\biggl\vert \frac{u(t_{1})}{1+t^{\alpha-1}_{1}} -\frac{u(t_{2})}{1+t^{\alpha -1}_{2}}\biggr\vert < \varepsilon, $$
3 Main results
Lemma 3.1
Let
\(h(t)\in L^{1}[0,\infty)\)
be a nonnegative continuous function. Then the boundary value problem of fractional differential equation
has a unique solution
where
$$\begin{aligned}& ^{c}D^{\alpha}_{0^{+}}u(t)=h(t),\quad 0< t< + \infty, \end{aligned}$$
(3.1)
$$\begin{aligned}& u(0)=0,\quad\quad u^{(q)}(0)=0,\quad\quad{}^{c}D^{\alpha-1}_{0^{+}}u(+ \infty)=\sum^{m-2}_{i=1}\beta_{i}u( \xi_{i}), \end{aligned}$$
(3.2)
$$u(t)= \int^{\infty}_{0}G(t,s)h(s)\,ds, $$
$$G(t,s)= \textstyle\begin{cases} \frac{(t-s)^{\alpha-1}}{\Gamma({\alpha})}+\frac{t}{\sum^{m-2}_{i=1}\beta_{i}\xi_{i}}-\frac{t\sum^{m-2}_{i=1}\beta_{i}(\xi _{i}-s)^{\alpha-1}}{\Gamma(\alpha)\sum^{m-2}_{i=1}\beta_{i}\xi_{i}}, \\ \quad0\leq s\leq\min(t,\xi_{1})< \infty,\\ \frac{(t-s)^{\alpha-1}}{\Gamma({\alpha})}+\frac{t}{\sum^{m-2}_{i=1}\beta_{i}\xi_{i}},\\ \quad0\leq\xi_{m-2}\leq s\leq t< \infty,\\ \frac{(t-s)^{\alpha-1}}{\Gamma({\alpha})}+\frac{t}{\sum^{m-2}_{i=1}\beta_{i}\xi_{i}}-\frac{t\sum^{m-2}_{i=\kappa}\beta_{i}(\xi _{i}-s)^{\alpha-1}}{\Gamma(\alpha)\sum^{m-2}_{i=\kappa}\beta_{i}\xi _{i}}, \\ \quad0\leq\xi_{\kappa-1}< s\leq\xi_{\kappa}\leq t< \infty,\kappa =2,3,\ldots,m-2,\\ \frac{t}{\sum^{m-2}_{i=1}\beta_{i}\xi_{i}}-\frac{t\sum^{m-2}_{i=1}\beta_{i}(\xi_{i}-s)^{\alpha-1}}{\Gamma(\alpha)\sum^{m-2}_{i=1}\beta_{i}\xi_{i}}, \\ \quad0\leq t\leq s\leq\xi_{1}< \infty,\\ \frac{t}{\sum^{m-2}_{i=1}\beta_{i}\xi_{i}}-\frac{t\sum^{m-2}_{i=\kappa}\beta_{i}(\xi_{i}-s)^{\alpha-1}}{\Gamma(\alpha) \sum^{m-2}_{i=\kappa}\beta_{i}\xi_{i}}, \\ \quad0\leq t\leq\xi_{\kappa-1}< s\leq \xi_{\kappa}< \infty,\kappa=2,3,\ldots,m-2,\\ \frac{t}{\sum^{m-2}_{i=1}\beta_{i}\xi_{i}},\\ \quad0\leq\max(t,\xi _{m-2})\leq s< \infty. \end{cases} $$
Proof
In view of Lemma 2.4, it is clear that equation (3.1) is equivalent to the integral form for some \(c_{i}\in \mathbb{R}\), \(i=1,2,\ldots,n\), \(n=\lceil\alpha\rceil\).
$$u(t)=I^{\alpha}_{0^{+}}h(t)+c_{1}+c_{2}t+c_{3}t^{2}+ \cdots+c_{n}t^{n-1}, $$
By the boundary value conditions \(u(0)=0\), \(u^{(q)}(0)=0\), we imply that and
$$c_{1}=0,\quad\quad c_{3}=c_{4}=c_{5}= \cdots=c_{n}=0 $$
$$u(t)=I^{\alpha}_{0^{+}}h(t)+c_{2}t. $$
Applying Lemma 2.1 and the boundary condition \({}^{c}D^{\alpha -1}_{0^{+}}u(+\infty)=\sum^{m-2}_{i=1}\beta_{i}u(\xi_{i})\), we obtain consequently
$$\begin{aligned}& {}^{c}D^{\alpha-1}_{0^{+}}u(+\infty)=\lim_{t\rightarrow+\infty } \bigl(I_{0^{+}}h(t)+{}^{c}D^{\alpha-1}_{0^{+}}(c_{2}t) \bigr) \\& \hphantom{{}^{c}D^{\alpha-1}_{0^{+}}u(+\infty)}=\lim_{t\rightarrow +\infty}I_{0^{+}}h(t)= \int^{\infty}_{0}h(s)\,ds, \\& u(\xi_{i})=I^{\alpha}_{0^{+}}h(\xi_{i})+c_{2} \xi_{i}, \end{aligned}$$
$$c_{2}=\frac{\int^{\infty}_{0}h(s)\,ds}{\sum^{m-2}_{i=1}\beta_{i}\xi _{i}}-\frac{I^{\alpha}_{0^{+}}\sum^{m-2}_{i=1}\beta_{i}h(\xi _{i})}{\sum^{m-2}_{i=1}\beta_{i}\xi_{i}}. $$
Substituting \(c_{2}\) by its value, it yields The proof is completed. □
$$\begin{aligned} u(t) =&\frac{1}{\Gamma(\alpha)} \int^{t}_{0}(t-s)^{\alpha-1}h(s)\,ds+ \frac {t}{\sum^{m-2}_{i=1}\beta_{i}\xi_{i}} \int^{\infty}_{0}h(s)\,ds\\ &{}-\frac {t\sum^{m-2}_{i=1}\beta_{i}\int^{\xi_{i}}_{0}(\xi_{i}-s)^{\alpha -1}h(s)\,ds}{\Gamma(\alpha)\sum^{m-2}_{i=1}\beta_{i}\xi_{i}} \\ =& \int^{\infty}_{0}G(t,s)h(s)\,ds. \end{aligned}$$
Define \(C_{\infty}=\{u\in C([0,+\infty), \mathbb{R}):\sup_{t\in [0,+\infty)}\frac{|u(t)|}{1+t^{\alpha-1}}<+\infty\}\) endowed with the norm
$$\|u\|_{C_{\infty}}=\sup_{t\in [0,+\infty)}\frac{|u(t)|}{1+t^{\alpha-1}}. $$
Define a cone \(K\subset C_{\infty}\) by
$$K=\bigl\{ u\in C_{\infty}:u(t)\geq0, t\in[0,+\infty)\bigr\} . $$
Define an operator \(T:K\rightarrow C_{\infty}\) as follows:
$$Tu(t)= \int_{0}^{\infty}G(t,s)a(s)f\bigl(s,u(s)\bigr)\,ds. $$
Set \(h(t)=a(t)f(t,u(t))\) in Lemma 3.1. We deduce that u is a solution of the boundary value problem (1.1)-(1.2) if and only if it is a fixed point of the operator T.
Lemma 3.3
The function
\(G(t, s)\)
in Lemma
3.1
satisfies the following properties:
- (i)
\(G(t, s)\) is continuous on \([0,+\infty)\times[0,+\infty)\);
- (ii)
\(G(t, s)> 0\), for any \(t,s\in(0,+\infty)\);
- (iii)
\(0< \frac{G(t, s)}{1+t^{\alpha-1}} \leq\frac{2}{\sum^{m-2}_{i=1}\beta_{i}}\), for any \(t,s\in(0, +\infty)\).
Proof
It is easy to see that (i) holds. So we prove that the rest are true. Let
$$\begin{aligned}& g_{1}(t, s)=\frac{(t-s)^{\alpha-1}}{\Gamma({\alpha})}+\frac{t}{\sum^{m-2}_{i=1}\beta_{i}\xi_{i}}-\frac{t\sum^{m-2}_{i=1} \beta_{i}(\xi_{i}-s)^{\alpha-1}}{\Gamma(\alpha)\sum^{m-2}_{i=1}\beta _{i}\xi_{i}},\quad 0\leq s\leq\min(t,\xi_{1})< \infty, \\& g_{2}(t, s)=\frac{(t-s)^{\alpha-1}}{\Gamma({\alpha})}+\frac{t}{\sum^{m-2}_{i=1}\beta_{i}\xi_{i}},\quad 0\leq \xi_{m-2}\leq s\leq t< \infty, \\& g_{3}(t, s)=\frac{(t-s)^{\alpha-1}}{\Gamma({\alpha})}+\frac{t}{\sum^{m-2}_{i=1}\beta_{i}\xi_{i}}- \frac{t\sum^{m-2}_{i=\kappa} \beta_{i}(\xi_{i}-s)^{\alpha-1}}{\Gamma(\alpha)\sum^{m-2}_{i=\kappa }\beta_{i}\xi_{i}},\\& \quad 0\leq\xi_{\kappa-1}< s\leq\xi_{\kappa} \leq t< \infty, \kappa=2,3,\ldots,m-2, \\& g_{4}(t, s)= \frac{t}{\sum^{m-2}_{i=1}\beta_{i}\xi_{i}}-\frac{t\sum^{m-2}_{i=1}\beta_{i}(\xi_{i}-s)^{\alpha-1}}{\Gamma(\alpha) \sum^{m-2}_{i=1}\beta_{i}\xi_{i}},\quad 0\leq t\leq s\leq \xi_{1}< \infty, \\& g_{5}(t, s)= \frac{t}{\sum^{m-2}_{i=1}\beta_{i}\xi_{i}}-\frac{t\sum^{m-2}_{i=\kappa}\beta_{i}(\xi_{i}-s)^{\alpha-1}}{\Gamma(\alpha) \sum^{m-2}_{i=\kappa}\beta_{i}\xi_{i}},\\& \quad 0\leq t\leq \xi_{\kappa -1}< s\leq\xi_{\kappa}< \infty,\kappa=2,3,\ldots,m-2, \\& g_{6}(t,s)= \frac{t}{\sum^{m-2}_{i=1}\beta_{i}\xi_{i}},\quad 0\leq\max(t,\xi _{m-2})\leq s< \infty. \end{aligned}$$
Let \(g_{k}(t, s)\) (\(k=1, 2, 3, 4,5,6\)) be defined by the above formulas. We will show that
$$g_{4}(t, s)\geq0,\quad 0\leq t\leq s\leq\xi_{1}< \infty. $$
Since we deduce
$$\begin{aligned} g_{4}(t, s) =&\frac{t}{\sum^{m-2}_{i=1}\beta_{i}\xi_{i}}-\frac{t\sum^{m-2}_{i=1}\beta_{i}(\xi_{i}-s)^{\alpha-1}}{\Gamma({\alpha})\sum^{m-2}_{i=1}\beta_{i}\xi_{i}} \\ \geq& \frac{t}{\sum^{m-2}_{i=1}\beta_{i}\xi_{i}}-\frac{t\sum^{m-2}_{i=1}\beta_{i}\xi_{i}^{\alpha-1}}{\Gamma({\alpha})\sum^{m-2}_{i=1}\beta_{i}\xi_{i}} \\ =&t\biggl(\frac{\Gamma({\alpha})-\sum^{m-2}_{i=1}\beta_{i}\xi_{i}^{\alpha -1}}{\Gamma({\alpha})\sum^{m-2}_{i=1}\beta_{i}\xi_{i}}\biggr) \\ \geq& 0, \end{aligned}$$
$$g_{4}(t, s)\geq0,\quad 0\leq t\leq s\leq\xi_{1}< \infty. $$
By using an analogous argument, we can conclude that and
$$\begin{aligned}& g_{1}(t, s)\geq0,\quad 0\leq s\leq\min(t,\xi_{1})< \infty, \\& g_{2}(t, s)\geq 0,\quad0\leq\xi_{m-2}\leq s\leq t< \infty, \\& g_{3}(t, s)\geq0,\quad0\leq\xi_{\kappa-1}< s\leq\xi_{\kappa}\leq t< \infty , \\& g_{5}(t, s)\geq0,\quad0\leq t\leq\xi_{\kappa-1}< s\leq \xi_{\kappa}< \infty ,\kappa=2,3,\ldots,m-2, \end{aligned}$$
$$g_{6}(t, s)\geq0,\quad 0\leq\max(t,\xi_{m-2})\leq s< \infty. $$
Therefore, we get \(G(t, s)>0\), for any \(t,s\in(0,+\infty)\).
Next, we will prove (iii) is true. We will show that \(\frac {g_{2}(t,s)}{1+t^{\alpha-1}}\leq\frac{2}{\sum^{m-2}_{i=1}\beta _{i}}\), \(0\leq\xi_{m-2}\leq s\leq t<\infty\). so we have \(0\leq\frac{g_{2}(t,s)}{1+t^{\alpha-1}} \leq\frac{2}{\sum^{m-2}_{i=1}\beta_{i}}\), \(0\leq\xi_{m-2}\leq s\leq t<\infty\).
$$\begin{aligned} \frac{g_{2}(t,s)}{1+t^{\alpha-1}} =&\frac{(t-s)^{\alpha-1}}{(1+t^{\alpha -1})\Gamma({\alpha})}+\frac{t}{\sum^{m-2}_{i=1}\beta_{i}\xi _{i}(1+t^{\alpha-1})} \\ =&\frac{(t-s)^{\alpha-1}\sum^{m-2}_{i=1}\beta _{i}\xi_{i}+t\Gamma({\alpha})}{\sum^{m-2}_{i=1}\beta_{i}\xi _{i}(1+t^{\alpha-1})\Gamma({\alpha})} \\ \leq& \frac{t^{\alpha-1}\sum^{m-2}_{i=1}\beta_{i}\xi_{i}+t\Gamma ({\alpha})}{\sum^{m-2}_{i=1}\beta_{i}\xi_{i}(1+t^{\alpha-1})\Gamma ({\alpha})}\leq\frac{t^{\alpha-1}\sum^{m-2}_{i=1}\beta_{i}\xi _{i}+t\Gamma({\alpha})}{\sum^{m-2}_{i=1}\beta_{i}\xi_{i}\Gamma({\alpha })} \\ \leq&\frac{t^{\alpha-1}}{\Gamma({\alpha})}+\frac{t}{\sum^{m-2}_{i=1}\beta_{i}\xi_{i}}\leq\frac{t^{\alpha-1}}{\sum^{m-2}_{i=1}\beta_{i}\xi_{i}^{\alpha-1}}+ \frac{t}{\sum^{m-2}_{i=1}\beta _{i}\xi_{i}} \\ \leq&\frac{1}{\sum^{m-2}_{i=1}\beta_{i}}(1+1)=\frac{2}{\sum^{m-2}_{i=1}\beta_{i}}, \end{aligned}$$
By using an analogous argument, we can conclude that
\(\kappa=2,3,\ldots,m-2\), and
$$\begin{aligned}& 0\leq\frac{g_{1}(t,s)}{1+t^{\alpha-1}}\leq\frac{2}{\sum^{m-2}_{i=1}\beta_{i}},\quad 0\leq s\leq\min(t, \xi_{1})< \infty, \\& 0\leq\frac {g_{3}(t,s)}{1+t^{\alpha-1}}\leq\frac{2}{\sum^{m-2}_{i=1}\beta _{i}},\quad0\leq \xi_{\kappa-1}< s\leq\xi_{\kappa}\leq t< \infty, \\& 0\leq\frac{g_{4}(t,s)}{1+t^{\alpha-1}}\leq\frac{2}{\sum^{m-2}_{i=1}\beta_{i}},\quad0\leq t\leq s\leq \xi_{1}< \infty, \\& 0\leq\frac {g_{5}(t,s)}{1+t^{\alpha-1}}\leq\frac{2}{\sum^{m-2}_{i=1}\beta _{i}},\quad0\leq t \leq\xi_{\kappa-1}< s\leq\xi_{\kappa}< \infty, \end{aligned}$$
$$0\leq\frac{g_{6}(t,s)}{1+t^{\alpha-1}}\leq\frac{2}{\sum^{m-2}_{i=1}\beta_{i}},\quad0\leq\max(t,\xi_{m-2})\leq s< \infty. $$
Therefore, we get \(0<\frac{G(t, s)}{1+t^{\alpha-1}}\leq\frac{2}{\sum^{m-2}_{i=1}\beta_{i}}\), for any \(s,t\in(0,+\infty)\). The proof is completed. □
Lemma 3.4
If (H1) and (H2) hold, the operator \(T:K\rightarrow K\) is completely continuous.
Proof
We divide the proof into the following five steps.
Step 1: We show that \(T: K\rightarrow K\).
In view of the continuous and nonnegative of \(G(t,s)\), \(f\in C([0,+\infty)\times[0,+\infty),[0,+\infty))\), and \(a(t)\in L^{1}[0,\infty)\) is nonnegative, it is easy to see that \(Tu(t)\geq0\) for \(t\in[0,+\infty)\).
By condition (H1) and Lemma 3.3, for any fixed \(u\in K\), we have and there exists \(\Upsilon_{u}\) such that so \(T(K)\subset K\).
$$\frac{u(t)}{1+t^{\alpha-1}}\leq\|u\|_{C_{\infty}},\quad t\in[0,+\infty) $$
$$\begin{aligned} \sup_{t\in[0,+\infty)}\frac{|(Tu)(t)|}{1+t^{\alpha-1}} =&\sup_{t\in [0,+\infty)} \int_{0}^{\infty}\frac{G(t,s)}{1+t^{\alpha -1}}a(s)f\bigl(s,u(s) \bigr)\,ds \\ \leq&\sup_{t\in[0,+\infty)}\frac{2}{\sum^{m-2}_{i=1}\beta_{i}} \int ^{\infty}_{0}a(s)f \biggl(s,\bigl(1+s^{\alpha-1} \bigr)\frac{u(s)}{1+s^{\alpha -1}} \biggr)\,ds \\ \leq&\frac{2\Upsilon_{u}}{\sum^{m-2}_{i=1}\beta_{i}} \int^{\infty }_{0}a(s)\,ds< \infty, \end{aligned}$$
Step 2: We show that \(T: K\rightarrow K\) is continuous.
Let \(u_{n}\rightarrow u\) as \(n\rightarrow+\infty\) in K. Then \(\frac{u_{n}(s)}{1+s^{\alpha-1}}\rightrightarrows \frac{u(s)}{1+s^{\alpha-1}}\) as \(n\rightarrow+\infty\) on \([0,\infty)\). Hence With the help of Lebesgue’s dominated convergence theorem and the continuity of f, we have that is, T is continuous.
$$\begin{aligned}& \biggl\vert \frac{Tu_{n}(t)}{1+t^{\alpha-1}}-\frac{Tu(t)}{1+t^{\alpha -1}}\biggr\vert \\& \quad = \biggl\vert \int_{0}^{\infty}\frac{G(t,s)}{1+t^{\alpha-1}} a(s)f \bigl(s,u_{n}(s)\bigr)\,ds- \int_{0}^{\infty}\frac{G(t,s)}{1+t^{\alpha -1}}a(s)f\bigl(s,u(s) \bigr)\,ds\biggr\vert \\& \quad\leq \int_{0}^{\infty}\frac{G(t,s)}{1+t^{\alpha-1}}a(s)\bigl\vert f \bigl(s,u_{n}(s)\bigr)-f\bigl(s,u(s)\bigr)\bigr\vert \,ds \\& \quad\leq \frac{2}{\sum^{m-2}_{i=1}\beta_{i}} \int_{0}^{\infty}a(s) \biggl\vert f \biggl(s, \bigl(1+s^{\alpha-1}\bigr)\frac{u_{n}(s)}{1+s^{\alpha-1}} \biggr)-f \biggl(s, \bigl(1+s^{\alpha-1}\bigr)\frac{u(s)}{1+s^{\alpha-1}} \biggr)\biggr\vert \,ds. \end{aligned}$$
$$\|Tu_{n}-Tu\|_{C_{\infty}}=\sup_{t\in[0,+\infty)}\biggl\vert \frac {(Tu_{n})(t)}{1+t^{\alpha-1}}-\frac{(Tu)(t)}{1+t^{\alpha-1}}\biggr\vert \rightarrow0, \quad\mbox{as }n\rightarrow\infty, $$
Now take \(\Omega\subset K\) be bounded, i.e., there exists a positive constant l such that \(\|u\|_{C_{\infty}}\leq l\) for all \(u\in\Omega\).
Step 3: \(T(\Omega)\) is uniformly bounded.
By condition (H1), let
$$\Upsilon_{l}=\sup\bigl\{ f\bigl(t,\bigl(1+t^{\alpha-1}\bigr)u \bigr),(t,u)\in[0,+\infty)\times [0,l]\bigr\} . $$
For any \(u\in\Omega\), by Lemma 3.3, we have therefore \(T(\Omega)\) is uniformly bounded.
$$\begin{aligned} \|Tu\|_{C_{\infty}} =&\sup_{t\in[0,+\infty)}\frac {|(Tu)(t)|}{1+t^{\alpha-1}} \\ =&\sup _{t\in[0,+\infty)} \int_{0}^{\infty }\frac{G(t,s)}{1+t^{\alpha-1}}a(s)f\bigl(s,u(s) \bigr)\,ds \\ \leq&\sup_{t\in[0,+\infty)}\frac{2}{\sum^{m-2}_{i=1}\beta_{i}} \int ^{\infty}_{0}a(s)f \biggl(s,\bigl(1+s^{\alpha-1} \bigr)\frac{u(s)}{1+s^{\alpha -1}} \biggr)\,ds \\ \leq&\frac{2\Upsilon_{l}}{\sum^{m-2}_{i=1}\beta_{i}} \int^{\infty }_{0}a(s)\,ds< \infty, \end{aligned}$$
Step 4: We show that \(T(\Omega)\) is locally equicontinuous on any finite subinterval of \([0,+\infty)\).
For any \(\theta>0\), \(t_{1},t_{2}\in[0,\theta]\) and \(u\in\Omega\), without loss of generality, we assume that \(t_{2}>t_{1}\). Then
$$\begin{aligned}& \biggl\vert \frac{(Tu)(t_{2})}{1+t_{2}^{\alpha-1}}-\frac {(Tu)(t_{1})}{1+t_{1}^{\alpha-1}}\biggr\vert \\& \quad= \biggl\vert \int_{0}^{\infty}\frac {G(t_{2},s)}{1+t_{2}^{\alpha-1}}a(s)f\bigl(s,u(s) \bigr)\,ds- \int_{0}^{\infty}\frac {G(t_{1},s)}{1+t_{1}^{\alpha-1}}a(s)f\bigl(s,u(s) \bigr)\,ds\biggr\vert \\& \quad= \biggl\vert \int_{0}^{\infty} \biggl(\frac{G(t_{2},s)}{1+t_{2}^{\alpha -1}}- \frac{G(t_{1},s)}{1+t_{1}^{\alpha-1}} \biggr)a(s)f\bigl(s,u(s)\bigr)\,ds\biggr\vert \\ & \quad= \int_{0}^{\infty}\biggl\vert \frac{G(t_{2},s)}{1+t_{2}^{\alpha-1}}- \frac {G(t_{1},s)}{1+t_{2}^{\alpha-1}}+\frac{G(t_{1},s)}{1+t_{2}^{\alpha -1}}-\frac{G(t_{1},s)}{1+t_{1}^{\alpha-1}}\biggr\vert a(s)f \bigl(s,u(s)\bigr)\,ds \\ & \quad\leq \int_{0}^{\infty} \biggl(\biggl\vert \frac{G(t_{2},s)}{1+t_{2}^{\alpha -1}}-\frac{G(t_{1},s)}{1+t_{2}^{\alpha-1}}\biggr\vert +\biggl\vert \frac {G(t_{1},s)}{1+t_{2}^{\alpha-1}}-\frac{G(t_{1},s)}{1+t_{1}^{\alpha -1}}\biggr\vert \biggr)a(s)f\bigl(s,u(s)\bigr) \,ds. \end{aligned}$$
Furthermore, we deduce that
$$\begin{aligned}& \int_{0}^{\infty}\biggl\vert \frac{G(t_{2},s)}{1+t_{2}^{\alpha-1}}- \frac {G(t_{1},s)}{1+t_{2}^{\alpha-1}}\biggr\vert a(s)f\bigl(s,u(s)\bigr)\,ds \\ & \quad=\frac{1}{1+t_{2}^{\alpha-1}} \biggl|\frac{1}{\Gamma(\alpha)} \int ^{t_{2}}_{0}(t_{2}-s)^{\alpha-1}a(s)f \bigl(s,u(s)\bigr)\,ds +\frac{t_{2}}{\sum^{m-2}_{i=1}\beta_{i}\xi_{i}} \int^{\infty }_{0}a(s)f\bigl(s,u(s)\bigr)\,ds \\ & \quad\quad{}-\frac{t_{2}\sum^{m-2}_{i=1}\beta_{i}\int^{\xi_{i}}_{0}(\xi _{i}-s)^{\alpha-1} a(s)f(s,u(s))\,ds}{\Gamma(\alpha)\sum^{m-2}_{i=1}\beta_{i}\xi_{i}} -\frac{1}{\Gamma(\alpha)} \int^{t_{1}}_{0}(t_{1}-s)^{\alpha -1}a(s)f \bigl(s,u(s)\bigr)\,ds \\ & \quad\quad{}-\frac{t_{1}}{\sum^{m-2}_{i=1}\beta_{i}\xi_{i}} \int^{\infty }_{0}a(s)f\bigl(s,u(s)\bigr)\,ds+ \frac{t_{1} \sum^{m-2}_{i=1}\beta_{i}\int^{\xi_{i}}_{0}(\xi_{i}-s)^{\alpha -1}a(s)f(s,u(s))\,ds}{\Gamma(\alpha)\sum^{m-2}_{i=1}\beta_{i}\xi_{i}} \biggr| \\ & \quad\leq\frac{1}{1+t_{2}^{\alpha-1}} \biggl(\biggl\vert \frac{1}{\Gamma(\alpha)} \int ^{t_{2}}_{0} (t_{2}-s)^{\alpha-1}a(s)f \bigl(s,u(s)\bigr)\,ds \\ & \quad\quad{}-\frac{1}{\Gamma(\alpha)} \int ^{t_{1}}_{0}(t_{1}-s)^{\alpha-1}a(s)f \bigl(s,u(s)\bigr)\,ds\biggr\vert \\ & \quad\quad{}+\biggl\vert \frac{t_{2}}{\sum^{m-2}_{i=1}\beta_{i}\xi_{i}} \int^{\infty}_{0} a(s)f\bigl(s,u(s)\bigr)\,ds- \frac{t_{1}}{\sum^{m-2}_{i=1}\beta_{i}\xi_{i}} \int ^{\infty}_{0}a(s)f\bigl(s,u(s)\bigr)\,ds\biggr\vert \\ & \quad\quad{}+\biggl\vert \frac{t_{1}\sum^{m-2}_{i=1}\beta_{i}\int^{\xi_{i}}_{0}(\xi _{i}-s)^{\alpha-1}a(s)f(s,u(s))\,ds}{ \Gamma(\alpha)\sum^{m-2}_{i=1}\beta_{i}\xi_{i}} \\ & \quad\quad{}-\frac{t_{2}\sum^{m-2}_{i=1}\beta_{i} \int^{\xi_{i}}_{0}(\xi_{i}-s)^{\alpha-1}a(s)f(s,u(s))\,ds}{\Gamma(\alpha )\sum^{m-2}_{i=1}\beta_{i}\xi_{i}}\biggr\vert \biggr) \\ & \quad\leq\frac{1}{1+t_{2}^{\alpha-1}} \biggl(\biggl\vert \frac{1}{\Gamma(\alpha)} \int ^{t_{1}}_{0} \bigl((t_{2}-s)^{\alpha-1}-(t_{1}-s)^{\alpha-1} \bigr)a(s)f \biggl(s,\bigl(1+s^{\alpha -1}\bigr)\frac{u(s)}{1+s^{\alpha-1}} \biggr)\,ds \biggr\vert \\ & \quad\quad{} +\biggl\vert \frac{1}{\Gamma(\alpha)} \int^{t_{2}}_{t_{1}}(t_{2}-s)^{\alpha-1}a(s) f \biggl(s,\bigl(1+s^{\alpha-1}\bigr)\frac{u(s)}{1+s^{\alpha-1}} \biggr)\,ds\biggr\vert \\ & \quad\quad{}+\biggl\vert \frac{(t_{2}-t_{1})}{ \sum^{m-2}_{i=1}\beta_{i}\xi_{i}} \int^{\infty}_{0}a(s)f \biggl(s,\bigl(1+s^{\alpha-1} \bigr)\frac{u(s)}{1+s^{\alpha-1}} \biggr)\,ds\biggr\vert \\ & \quad\quad{}+\biggl\vert \frac{(t_{1}-t_{2})\sum^{m-2}_{i=1}\beta_{i} \int^{\xi_{i}}_{0}(\xi_{i}-s)^{\alpha-1}a(s)f (s,(1+s^{\alpha -1})\frac{u(s)}{1+s^{\alpha-1}} )\,ds}{ \Gamma(\alpha)\sum^{m-2}_{i=1}\beta_{i}\xi_{i}}\biggr\vert \biggr) \\ & \quad\leq\frac{\Upsilon_{l}}{1+t_{2}^{\alpha-1}} \biggl(\frac {t_{2}-t_{1}}{\Gamma(\alpha)} \int^{t_{1}}_{0}a(s)\,ds +\biggl\vert \frac{1}{\Gamma(\alpha)} \int^{t_{2}}_{t_{1}}(t_{2}-s)^{\alpha -1}a(s) \,ds\biggr\vert \\ & \quad\quad{}+\frac{(t_{2}-t_{1})}{\sum^{m-2}_{i=1}\beta_{i}\xi_{i}} \int^{\infty}_{0}a(s)\,ds +\frac{(t_{2}-t_{1})\sum^{m-2}_{i=1}\beta_{i}\int^{\xi _{i}}_{0}(\xi_{i}-s)^{\alpha-1}a(s)\,ds}{ \Gamma(\alpha)\sum^{m-2}_{i=1}\beta_{i}\xi_{i}} \biggr). \end{aligned}$$
(3.3)
Since \(0<\int^{+\infty}_{0}a(s)\,ds<\infty\), by the integration of Cauchy’s test for convergence, we can get uniformly as \(t_{1}\rightarrow t_{2}\).
$$\int_{0}^{\infty}\biggl\vert \frac{G(t_{2},s)}{1+t_{2}^{\alpha-1}}- \frac {G(t_{1},s)}{1+t_{2}^{\alpha-1}}\biggr\vert a(s)f\bigl(s,u(s)\bigr)\,ds\rightarrow0, $$
Similar to (3.3), we can deduce that uniformly as \(t_{1}\rightarrow t_{2}\).
$$\int_{0}^{\infty}\biggl\vert \frac{G(t_{1},s)}{1+t_{2}^{\alpha-1}}- \frac {G(t_{1},s)}{1+t_{1}^{\alpha-1}}\biggr\vert a(s)f\bigl(s,u(s)\bigr)\,ds\rightarrow0, $$
Thus, we conclude that uniformly as \(t_{1}\rightarrow t_{2}\), and hence \(T(\Omega)\) is locally equicontinuous on any finite subinterval of \([0,+\infty)\).
$$\biggl\vert \frac{(Tu)(t_{2})}{1+t_{2}^{\alpha-1}}-\frac {(Tu)(t_{1})}{1+t_{1}^{\alpha-1}}\biggr\vert \rightarrow0 $$
Step 5: We show that \(T:K\rightarrow K\) is equiconvergent at ∞.
For convenience, we denote \(\Delta=\frac{\sum^{m-2}_{i=1}\beta_{i}(\xi_{i}-s)^{\alpha-1}}{\Gamma (\alpha)\sum^{m-2}_{i=1}\beta_{i}\xi_{i}}\) and \(\Lambda=\sum^{m-2}_{i=1}\beta_{i}\xi_{i}\).
Since \(\lim_{t\rightarrow\infty}\frac{t}{1+t^{\alpha-1}}=0\), there exists \(N_{1}>0\) such that for any \(t_{2}>t_{1}>N_{1}\), \(\varepsilon_{1}>0\).
$$ \biggl\vert \frac{t_{2}}{1+t_{2}^{\alpha-1}}-\frac{t_{1}}{1+t_{1}^{\alpha -1}}\biggr\vert \leq\biggl\vert 1-\frac{t_{2}}{1+t_{2}^{\alpha-1}}\biggr\vert +\biggl\vert 1- \frac{t_{1}}{1+t_{1}^{\alpha-1}}\biggr\vert < \varepsilon_{1} $$
(3.4)
Similarly, there exist \(M>0\), \(N_{2}>0\) such that \(\lim_{t\rightarrow \infty}\frac{(t-M)^{\alpha-1}}{1+t^{\alpha-1}}=1\) and for any \(t_{2}>t_{1}>N_{2}\), \(\varepsilon_{2}>0\) and \(0\leq s\leq M\).
$$\begin{aligned} \biggl\vert \frac{(t_{2}-s)^{\alpha-1}}{1+t_{2}^{\alpha-1}}-\frac {(t_{1}-s)^{\alpha-1}}{1+t_{1}^{\alpha-1}}\biggr\vert \leq&\biggl\vert 1-\frac {(t_{2}-s)^{\alpha-1}}{1+t_{2}^{\alpha-1}}\biggr\vert +\biggl\vert 1-\frac {(t_{1}-s)^{\alpha-1}}{1+t_{1}^{\alpha-1}} \biggr\vert \\ \leq&\biggl\vert 1-\frac{(t_{2}-M)^{\alpha-1}}{1+t_{2}^{\alpha-1}}\biggr\vert +\biggl\vert 1- \frac{(t_{1}-M)^{\alpha-1}}{1+t_{1}^{\alpha-1}}\biggr\vert < \varepsilon_{2} \end{aligned}$$
(3.5)
Let \(N>\max\{N_{1},N_{2}\}\). For any \(u\in\Omega\), by (3.4) and (3.5), we have uniformly as \(t_{1}\rightarrow t_{2}\).
$$\begin{aligned}& \biggl\vert \frac{(Tu)(t_{2})}{1+t_{2}^{\alpha-1}}-\frac {(Tu)(t_{1})}{1+t_{1}^{\alpha-1}}\biggr\vert \\& \quad= \biggl\vert \int_{0}^{\infty}\frac {G(t_{2},s)}{1+t_{2}^{\alpha-1}}a(s)f\bigl(s,u(s) \bigr)\,ds- \int_{0}^{\infty}\frac {G(t_{1},s)}{1+t_{1}^{\alpha-1}}a(s)f\bigl(s,u(s) \bigr)\,ds\biggr\vert \\& \quad= \biggl\vert \int_{0}^{\infty} \biggl(\frac{G(t_{2},s)}{1+t_{2}^{\alpha -1}}- \frac{G(t_{1},s)}{1+t_{1}^{\alpha-1}} \biggr)a(s)f\bigl(s,u(s)\bigr)\,ds\biggr\vert \\& \quad\leq \int_{0}^{t_{1}} \biggl(\biggl\vert \frac{(t_{2}-s)^{\alpha-1}}{\Gamma (\alpha)(1+t_{2}^{\alpha-1})} -\frac{(t_{1}-s)^{\alpha-1}}{\Gamma(\alpha)(1+t_{1}^{\alpha-1})}\biggr\vert +\biggl\vert \frac{t_{2}}{\Lambda(1+t_{2}^{\alpha-1})}-\frac{t_{1}}{\Lambda (1+t_{1}^{\alpha-1})}\biggr\vert \\& \quad\quad{}+\biggl\vert \frac{t_{1}\Delta}{(1+t_{1}^{\alpha-1})}-\frac{t_{2}\Delta }{(1+t_{2}^{\alpha-1})}\biggr\vert \biggr)a(s)f\bigl(s,u(s)\bigr)\,ds \\& \quad\quad{}+ \int_{t_{1}}^{t_{2}} \biggl(\biggl\vert \frac{(t_{2}-s)^{\alpha-1}}{\Gamma (\alpha)(1+t_{2}^{\alpha-1})}\biggr\vert +\biggl\vert \frac{t_{2}}{\Lambda (1+t_{2}^{\alpha-1})}- \frac{t_{1}}{\Lambda(1+t_{1}^{\alpha-1})}\biggr\vert \\& \quad\quad{} +\biggl\vert \frac{t_{1}\Delta}{(1+t_{1}^{\alpha-1})}- \frac{t_{2}\Delta }{(1+t_{2}^{\alpha-1})}\biggr\vert \biggr)a(s)f\bigl(s,u(s)\bigr)\,ds \\& \quad\quad{}+ \int_{t_{2}}^{+\infty} \biggl(\biggl\vert \frac{t_{2}}{\Lambda (1+t_{2}^{\alpha-1})}-\frac{t_{1}}{\Lambda(1+t_{1}^{\alpha-1})}\biggr\vert +\biggl\vert \frac{t_{1}\Delta}{(1+t_{1}^{\alpha-1})}-\frac{t_{2}\Delta }{(1+t_{2}^{\alpha-1})}\biggr\vert \biggr)a(s)f\bigl(s,u(s)\bigr) \,ds \\& \quad\leq \int_{0}^{t_{1}} \biggl(\frac{\varepsilon_{2}}{\Gamma(\alpha)}+ \frac {\varepsilon_{1}}{\Lambda}+\varepsilon_{1}\Delta \biggr)a(s)f \biggl(s, \bigl(1+s^{\alpha-1}\bigr)\frac{u(s)}{1+s^{\alpha-1}} \biggr)\,ds \\& \quad\quad{}+ \int_{t_{1}}^{t_{2}} \biggl(1+\frac{\varepsilon_{1}}{\Lambda }+ \varepsilon_{1}\Delta \biggr)a(s)f \biggl(s,\bigl(1+s^{\alpha-1} \bigr)\frac {u(s)}{1+s^{\alpha-1}} \biggr)\,ds \\& \quad\quad{}+ \int_{t_{2}}^{+\infty} \biggl(\frac{\varepsilon_{1}}{\Lambda }+ \varepsilon_{1}\Delta \biggr)a(s)f \biggl(s,\bigl(1+s^{\alpha-1} \bigr)\frac {u(s)}{1+s^{\alpha-1}} \biggr)\,ds \\& \quad\leq \Upsilon_{l} \biggl( \biggl(\frac{\varepsilon_{2}}{\Gamma(\alpha )}+ \frac{\varepsilon_{1}}{\Lambda}+\varepsilon_{1}\Delta \biggr) \int _{0}^{t_{1}}a(s)\,ds+ \biggl(1+ \frac{\varepsilon_{1}}{\Lambda}+\varepsilon _{1}\Delta \biggr) \int_{t_{1}}^{t_{2}}a(s)\,ds \\& \quad\quad{}+ \biggl(\frac{\varepsilon_{1}}{\Lambda}+\varepsilon_{1}\Delta \biggr) \int_{t_{2}}^{+\infty}a(s)\,ds \biggr) \\& \quad\rightarrow0 \end{aligned}$$
In conclusion, for any \(\varepsilon>0\), there exists a sufficiently large \(N>0\) such that for any \(u\in\Omega\),
\(\forall t_{1},t_{2}>N\).
$$\biggl\vert \frac{u(t_{1})}{1+t^{\alpha-1}_{1}}-\frac{u(t_{2})}{1+t^{\alpha -1}_{2}}\biggr\vert < \varepsilon, $$
This implies that \(T:K\rightarrow K\) is equiconvergent at ∞.
By the Arzela-Ascoli theorem, we see that \(T:K\rightarrow K\) is completely continuous. The proof is completed. □
Now we will list the following condition in this section:
- (H3):
-
\(f(t,\cdot)\) is nondecreasing for any \(t\in[0,+\infty)\), and there exists a constant \(b>0\), such that \(f(t,(1+t^{\alpha-1})u)\leq \frac{b\sum^{m-2}_{i=1}\beta_{i}}{2\int^{+\infty}_{0}a(s)\,ds}\) for \((t,u)\in[0,+\infty)\times[0,b]\).
Theorem 3.1
Assume (H1), (H2), and (H3) hold. Then the multi-point boundary value problem (1.1)-(1.2) has the minimal and maximal positive solutions
\(v^{\ast}\), \(u^{\ast}\)
in
\((0,b]\), which can be obtained by the following two explicit monotone iterative sequences:
with initial value
\(v_{0}(t)=0\),
with initial value
\(u_{0}(t)=b\). Moreover,
$$v_{n+1}= \int^{+\infty}_{0}G(t,s)a(s)f\bigl(s,v_{n}(s) \bigr)\,ds $$
$$u_{n+1}= \int^{+\infty}_{0}G(t,s)a(s)f\bigl(s,u_{n}(s) \bigr)\,ds $$
$$\begin{aligned} v_{0} \leq& v_{1}\leq\cdots\leq v_{n}\leq\cdots \leq v^{\ast}\leq\cdots \\ \leq& u^{\ast}\leq\cdots\leq u_{n}\leq\cdots\leq u_{1}\leq u_{0}. \end{aligned}$$
Proof
Denote \(\Phi=\{u\in K,\|u\|_{C_{\infty}}\leq b\}\). Then we have \(T(\Phi)\subset\Phi\). In fact, let \(u\in\Phi\). Then by (H1), (H3), and Lemma 3.3, we get So \(T(\Phi)\subset\Phi\).
$$\begin{aligned} \|Tu\|_{C_{\infty}} =&\sup_{t\in[0,+\infty)}\biggl\vert \int^{+\infty }_{0}\frac{G(t,s)}{1+t^{\alpha-1}}a(s)f\bigl(s,u(s) \bigr)\biggr\vert \,ds \\ \leq& \frac{2}{\sum^{m-2}_{i=1}\beta_{i}} \int^{+\infty}_{0}a(s)f \biggl(s,\bigl(1+s^{\alpha-1} \bigr)\frac{u(s)}{1+s^{\alpha-1}} \biggr)\,ds \\ \leq&\frac{2}{\sum^{m-2}_{i=1}\beta_{i}} \int^{+\infty}_{0}a(s)\,ds\frac {b\sum^{m-2}_{i=1}\beta_{i}}{2\int^{+\infty}_{0}a(s)\,ds} \\ =&b. \end{aligned}$$
Denote that \(v_{0}(t)=0\), \(v_{1}=Tv_{0}\), and \(v_{2}=T^{2}v_{0}=Tv_{1}\), for all \(t\in[0,+\infty)\). Since \(v_{0}(t)=0\in\Phi\) and \(T:\Phi\rightarrow\Phi\), \(v_{1}\in T(\Phi)\subset\Phi\) and \(v_{2}\in T(\Phi)\subset\Phi\). We have for all \(t\in[0,+\infty)\).
$$v_{1}(t)=(Tv_{0}) (t)\geq0=v_{0}(t), $$
By (H3), for \(u,v\in\Phi\) and \(u\geq v\), we deduce We know that T is a nondecreasing operator.
$$\begin{aligned} Tu(t) =& \int^{+\infty}_{0}G(t,s)a(s)f\bigl(s,u(s)\bigr)\,ds \\ \geq& \int^{+\infty}_{0}G(t,s)a(s)f\bigl(s,v(s)\bigr)\,ds \\ =&Tv(t). \end{aligned}$$
So we have for all \(t\in[0,+\infty)\).
$$v_{2}(t)=(Tv_{1}) (t)\geq(Tv_{0}) (t)=v_{1}(t), $$
By the induction, define \(v_{n+1}=Tv_{n}\), \(n=0,1,2,\ldots \) . The sequence \(\{v_{n}\}^{\infty}_{n=1}\subset T(\Phi)\subset\Phi\) and satisfies the following relation: for all \(t\in[0,+\infty)\), \(n=0,1,2,\ldots\) .
$$v_{n+1}(t)\geq v_{n}(t), $$
In view of T is completely continuous and \(v_{n+1}=Tv_{n}\), \(\{v_{n}\}^{\infty}_{n=1}\) is relative compact. That is to say, \(\{v_{n}\}^{\infty}_{n=1}\) has a convergent subsequence \(\{v_{n_{k}}\}^{\infty}_{k=1}\) and there exists a \(v^{\ast}\in\Phi\) such that \(v_{n_{k}}\rightarrow v^{\ast}\) as \(k\rightarrow\infty\).
By the above part and \(v_{n+1}(t)\geq v_{n}(t)\), for all \(t\in [0,+\infty)\), \(n=0,1,2,\ldots \) , we can get \(\lim_{n\rightarrow\infty}v_{n}=v^{\ast}\).
Since T is continuous and \(v_{n+1}=Tv_{n}\), we have \(Tv^{\ast}=v^{\ast }\). That is to say, \(v^{\ast}\) is a fixed point of the operator T.
Denote \(u_{0}(t)=b\), \(u_{1}=Tu_{0}\), and \(u_{2}=T^{2}u_{0}=Tu_{1}\), for all \(t\in[0,+\infty)\). Since \(u_{0}(t)\in\Phi\) and \(T:\Phi\rightarrow\Phi\), \(u_{1}\in T(\Phi)\subset\Phi\), and \(u_{2}\in T(\Phi)\subset\Phi\).
By (H3), we deduce for all \(t\in[0,+\infty)\).
$$\begin{aligned} u_{1}(t) =& \int^{+\infty}_{0}G(t,s)a(s)f\bigl(s,u_{0}(s) \bigr)\,ds \\ \leq&\frac{2}{\sum^{m-2}_{i=1}\beta_{i}} \int^{+\infty }_{0}a(s)f\bigl(s,\bigl(1+s^{\alpha-1} \bigr)u_{0}(s)\bigr)\,ds \\ \leq&\frac{2}{\sum^{m-2}_{i=1}\beta_{i}} \int^{+\infty}_{0}a(s)\,ds\frac {b\sum^{m-2}_{i=1}\beta_{i}}{2\int^{+\infty}_{0}a(s)\,ds} \\ =&b=u_{0}(t), \end{aligned}$$
Since T is a nondecreasing operator, we have for all \(t\in[0,+\infty)\).
$$u_{2}(t)=(Tu_{1}) (t)\leq(Tu_{0}) (t)=u_{1}(t), $$
By the induction, define \(u_{n+1}=Tu_{n}\), \(n=0,1,2,\ldots \) . The sequence \(\{u_{n}\}^{\infty}_{n=1}\subset T(\Phi)\subset\Phi\) and satisfies the following relation: for all \(t\in[0,+\infty)\), \(n=0,1,2,\ldots \) .
$$u_{n+1}(t)\leq u_{n}(t), $$
With an analysis exactly parallel to the proving process of \(\lim_{n\rightarrow\infty}v_{n}=v^{\ast}\), we see that there exists a \(u^{\ast}\in\Phi\) such that \(\lim_{n\rightarrow\infty}u_{n}=u^{\ast}\).
Since T is completely continuous and \(u_{n+1}=Tu_{n}\), we have \(Tu^{\ast}=u^{\ast}\). That is to say, \(u^{\ast}\) is a fixed point of the operator T.
Now, we will show that \(u^{\ast}\) and \(v^{\ast}\) are the maximal and minimal positive solutions of the boundary value problem (1.1)-(1.2) in \((0,b]\).
Let \(\phi\in[0,b]\) be any solution of the boundary value problem (1.1)-(1.2). That is, \(T\phi=\phi\). Noting that T is nondecreasing and \(v_{0}(t)=0\leq\phi(t)\leq b=u_{0}(t)\), we have \(v_{1}(t)=Tv_{0}(t)\leq\phi(t)\leq Tu_{0}(t)=u_{1}(t)\), for all \(t\in[0,+\infty)\).
Similarly, we can obtain for all \(t\in[0,+\infty)\), \(n=0,1,2,\ldots\) .
$$v_{n}(t)\leq\phi(t)\leq u_{n}(t), $$
Since \(\lim_{n\rightarrow\infty}u_{n}=u^{\ast}\) and \(\lim_{n\rightarrow\infty}v_{n}=v^{\ast}\), by the above formulas we obtain
$$\begin{aligned} v_{0} \leq& v_{1}\leq\cdots\leq v_{n}\leq\cdots \leq v^{\ast}\leq\cdots \\ \leq& u^{\ast}\leq\cdots\leq u_{n}\leq\cdots\leq u_{1}\leq u_{0}. \end{aligned}$$
Since \(f(t,0)\not\equiv0\), for all \(t\in[0,+\infty)\), 0 is not a solution of the boundary value problem (1.1)-(1.2). We know that \(u^{\ast}\) and \(v^{\ast}\) are the maximal and minimal positive solutions of the boundary value problem (1.1)-(1.2) in \((0,b]\), which can be obtained by the corresponding iterative sequences in with initial value \(v_{0}(t)=0\), with initial value \(u_{0}(t)=b\). The proof is completed. □
$$v_{n+1}= \int^{+\infty}_{0}G(t,s)a(s)f\bigl(s,v_{n}(s) \bigr)\,ds $$
$$u_{n+1}= \int^{+\infty}_{0}G(t,s)a(s)f\bigl(s,u_{n}(s) \bigr)\,ds $$
4 Examples
In this section, we will present an example to illustrate our main results.
Example 4.1
Consider the following boundary value problem:
where \(a(t)=e^{-t}\) and
$$\begin{aligned}& ^{c}D^{\frac{5}{2}}_{0^{+}}u(t)=e^{-t}f \bigl(t,u(t)\bigr),\quad0< t< +\infty, \end{aligned}$$
(4.1)
$$\begin{aligned}& u(0)=u^{(4)}(0)=0,\quad\quad{}^{c}D^{\frac{3}{2}}_{0^{+}}u(+ \infty)=\frac {3}{10}u \biggl(\frac{1}{4} \biggr)+ \frac{1}{5}u(1), \end{aligned}$$
(4.2)
$$f(t, u)= \textstyle\begin{cases} \frac{1}{100(1+t^{4})}+\frac{1}{10} (\frac{u}{1+t^{\frac {3}{2}}} )^{5}, &u\in[0, 1],\\ \frac{1}{100(1+t^{4})}+\frac{1}{10} (\frac{1}{1+t^{\frac {3}{2}}} )^{5}, &u>1. \end{cases} $$
Here \(\alpha=\frac{5}{2}\).
It is clear that \(f(t,0)\not\equiv0\) on any subinterval of \([0,+\infty )\) and \(f(t,(1+t^{\frac{3}{2}})u)\leq\frac{11}{100}\), so condition (H1) holds.
In view of \(\int^{+\infty}_{0}a(t)\,dt=\int^{+\infty}_{0}e^{-t}\,dt=1\), so condition (H2) holds.
Taking \(\omega(t)=\frac{1}{5}t\), \(\varphi(t)=e^{-t}\), \(b=1\), by a simple computation, we have so condition (H3) holds.
$$f\bigl(t,\bigl(1+t^{\frac{3}{2}}\bigr)u\bigr)\leq\frac{11}{100}\leq \frac{\frac{3}{10}+\frac {1}{5}}{2\int_{0}^{+\infty}e^{-t}\,dt}=\frac{1}{4}, $$
By Theorem 3.1, we see that the boundary value problem (4.1)-(4.2) has the minimal and maximal positive solutions in \((0,1]\), which can be obtained by two explicit monotone iterative sequences.
Declarations
Acknowledgements
The authors sincerely thank the reviewers for their valuable suggestions and useful comments, which have lead to the present improved version of the original manuscript.
This research is supported by the Natural Science Foundation of China (11571202, 61374074, 61374002), and supported by Shandong Provincial Natural Science Foundation (ZR2013AL003).
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.
Authors’ Affiliations
(1)
School of Mathematical Sciences, University of Jinan, Jinan, Shandong, 250022, P.R. China
References
- Oldham, K, Spanier, J: The Fractional Calculus. Academic Press, New York (1974) MATHGoogle Scholar
- Miller, K, Ross, B: An Introduction to the Fractional Calculus and Fractional Differential Equation. Wiley, New York (1993) Google Scholar
- Podlubny, I: Fractional Differential Equations. Academic Press, San Diego (1999) MATHGoogle Scholar
- Kilbas, A, Srivastava, H, Trujillo, J: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006) MATHGoogle Scholar
- Samko, S, Kilbas, A, Marichev, O: Fractional Integral and Derivative, Theory and Applications. Gordon and Breach, Yverdon (1993) Google Scholar
- Zeidler, E: Nonlinear Functional Analysis and Its Applications I: Fixed-Point Theorems. Springer, Berlin (1985) View ArticleGoogle Scholar
- Zhai, C, Xu, L: Properties of positive solutions to a class of four-point boundary value problem of Caputo fractional differential equations with a parameter. Commun. Nonlinear Sci. Numer. Simul. 19, 2820-2827 (2014) MathSciNetView ArticleGoogle Scholar
- Li, B, Sun, S, Li, Y: Multi-point boundary value problems for a class of Riemann-Liouville fractional differential equations. Adv. Differ. Equ. 2014, 151 (2014) View ArticleGoogle Scholar
- Zhao, Y, Sun, S, Han, Z, Zhang, M: Positive solutions for boundary value problems of nonlinear fractional differential equations. Appl. Math. Comput. 217, 6950-6958 (2011) MATHMathSciNetView ArticleGoogle Scholar
- Yan, R, Sun, S, Lu, H, Zhao, Y: Existence of solutions for fractional differential equations with integral boundary conditions. Adv. Differ. Equ. 2014, 25 (2014) MathSciNetView ArticleGoogle Scholar
- Yan, R, Sun, S, Sun, Y, Han, Z: Boundary value problems for fractional differential equations with nonlocal boundary conditions. Adv. Differ. Equ. 2013, 176 (2013) MathSciNetView ArticleGoogle Scholar
- Zhao, X, Ge, W: Unbounded solutions for a fractional boundary value problems on the infinite interval. Acta Appl. Math. 109, 495-505 (2010) MATHMathSciNetView ArticleGoogle Scholar
- Su, X: Solutions to boundary value problem of fractional order on unbounded domains in a Banach space. Nonlinear Anal. 74, 2844-2852 (2011) MATHMathSciNetView ArticleGoogle Scholar
- Liang, S, Zhang, J: Existence of three positive solutions for m-point boundary value problems for some nonlinear fractional differential equations on an infinite interval. Comput. Math. Appl. 61, 3343-3354 (2011) MATHMathSciNetView ArticleGoogle Scholar
- Maagli, H: Existence of positive solutions for a nonlinear fractional differential equation. Electron. J. Differ. Equ. 2013, 29 (2013) MathSciNetView ArticleGoogle Scholar
- Su, X, Zhang, S: Unbounded solutions to a boundary value problem of fractional order on the half-line. Comput. Math. Appl. 61, 1079-1087 (2011) MATHMathSciNetView ArticleGoogle Scholar
- Zhang, X: Existence and iteration of positive solutions for high-order fractional differential equations with integral conditions on a half-line. J. Appl. Math. Comput. 45, 137-150 (2014) MATHMathSciNetView ArticleGoogle Scholar
- Arara, A, Benchohra, M, Hamidi, N, Nieto, JJ: Fractional order differential equations on an unbounded domain. Nonlinear Anal. 72, 580-586 (2010) MATHMathSciNetView ArticleGoogle Scholar
- Liang, S, Zhang, J: Existence of multiple positive solutions for m-point fractional boundary value problems on an infinite interval. Math. Comput. Model. 54, 1334-1346 (2011) MATHMathSciNetView ArticleGoogle Scholar
- Lakoud, AG, Kcman, A: Unbounded solution for a fractional boundary value problem. Adv. Differ. Equ. 2014, 154 (2014) View ArticleGoogle Scholar
- Liang, S, Shi, S: Existence of multiple positive solutions for m-point fractional boundary value problems with p-Laplacian operator on infinite interval. J. Appl. Math. Comput. 38, 687-707 (2012) MATHMathSciNetView ArticleGoogle Scholar
- Wang, G, Liu, S, Zhang, L: Iterative approximation of the minimal and maximal positive solutions for multipoint fractional boundary value problem on an unbounded domain. J. Funct. Spaces 2014, Article ID 469509 (2014) MathSciNetGoogle Scholar
- Yao, S, Wang, G, Li, Z, Yu, L: Positive solutions for three-point boundary value problem of fractional differential equation with p-Laplacian operator. Discrete Dyn. Nat. Soc. 2013, Article ID 376938 (2013) MathSciNetGoogle Scholar
- Jiang, M, Zhong, S: Successively iterative method for fractional differential equations with integral boundary conditions. Appl. Math. Lett. 38, 94-99 (2014) MathSciNetView ArticleGoogle Scholar
- Sun, Y, Zhao, M: Positive solutions for a class of fractional differential equations with integral boundary conditions. Appl. Math. Lett. 34, 17-21 (2014) MathSciNetView ArticleGoogle Scholar
- Corduneanu, C: Integral Equations and Stability of Feedback Systems. Academic Press, New York (1973) MATHGoogle Scholar
- Liu, YS: Boundary value problem for second order differential equations on unbounded domain. Acta Anal. Funct. Appl. 4, 211-216 (2002) MATHMathSciNetGoogle Scholar
Copyright
© Li et al. 2016
