Skip to main content

Successively iterative method for a class of high-order fractional differential equations with multi-point boundary value conditions on half-line

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.

1 Introduction

In this paper, we investigate the multi-point boundary value problem for the fractional differential equation

$$\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)

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)\).

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:

$$\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)

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.

Assia et al. [20] considered the following fractional boundary value problem on the half-line:

$$\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)

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.

Liang et al. [21] investigated the following fractional boundary value problem on an infinite interval:

$$\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)

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.

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

$$I^{\alpha}_{0^{+}}f(t)=\frac{1}{\Gamma{(\alpha)}} \int_{0}^{t}\frac {f(s)}{(t-s)^{1-\alpha}}\,ds, $$

where \(\Gamma(\cdot)\) is the Gamma function, provided that the right side is point-wise defined on \((0,+\infty)\).

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

$$^{c}D_{0^{+}}^{\alpha} f(t)=\frac{1}{\Gamma(n-\alpha)} \int_{0}^{t}\frac {f^{(n)}(s)}{(t-s)^{\alpha-n+1}}\,ds, $$

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 α.

Definition 2.3

([3])

Let E be a real Banach space. A nonempty closed convex set \(K\subset E \) is called cone if

  1. (1)

    if \(x\in K\) and \(\lambda>0\), then \(\lambda x\in K\);

  2. (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

$$I^{\alpha}_{a^{+}}I^{\beta}_{a^{+}}f(t)=I^{\alpha+\beta }_{a^{+}}f(t)=I^{\beta}_{a^{+}}I^{\alpha}_{a^{+}}f(t), $$

for all \(t\in[a,b]\). If \(\alpha+\beta>1\), then the relation holds at any point of \([a,b]\).

Lemma 2.3

([3])

Let \(\operatorname{Re}\alpha>0\) and \(f\in L^{p}(a,b)\) (\(1\leq p\leq\infty\)). Then

$${}^{c}D_{a^{+}}^{\alpha}I^{\alpha}_{a^{+}}f(t)=f(t), $$

for all \(t\in[a,b]\).

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

$$g(t)=c_{1}+c_{2}t+c_{3}t^{2}+ \cdots+c_{n}t^{n-1}, $$

where \(c_{i}\in\mathbb{R}\), \(i=1,\ldots,n\), and \(n=\lceil\alpha\rceil\).

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

$$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}, $$

where \(c_{i}\in\mathbb{R}\), \(i=1,2,\ldots,n\), and \(n=\lceil\alpha\rceil\).

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

$$\biggl\vert \frac{u(t_{1})}{1+t^{\alpha-1}_{1}} -\frac{u(t_{2})}{1+t^{\alpha -1}_{2}}\biggr\vert < \varepsilon, $$

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\).

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

$$\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)

has a unique solution

$$u(t)= \int^{\infty}_{0}G(t,s)h(s)\,ds, $$

where

$$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

$$u(t)=I^{\alpha}_{0^{+}}h(t)+c_{1}+c_{2}t+c_{3}t^{2}+ \cdots+c_{n}t^{n-1}, $$

for some \(c_{i}\in \mathbb{R}\), \(i=1,2,\ldots,n\), \(n=\lceil\alpha\rceil\).

By the boundary value conditions \(u(0)=0\), \(u^{(q)}(0)=0\), we imply that

$$c_{1}=0,\quad\quad c_{3}=c_{4}=c_{5}= \cdots=c_{n}=0 $$

and

$$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

$$\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}$$

consequently

$$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

$$\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}$$

The proof is completed. □

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}}. $$

Lemma 3.2

([27])

\(C_{\infty}\) is a Banach space.

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:

  1. (i)

    \(G(t, s)\) is continuous on \([0,+\infty)\times[0,+\infty)\);

  2. (ii)

    \(G(t, s)> 0\), for any \(t,s\in(0,+\infty)\);

  3. (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

$$\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}$$

we deduce

$$g_{4}(t, s)\geq0,\quad 0\leq t\leq s\leq\xi_{1}< \infty. $$

By using an analogous argument, we can conclude that

$$\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}$$

and

$$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\).

$$\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}$$

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\).

By using an analogous argument, we can conclude that

$$\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}$$

\(\kappa=2,3,\ldots,m-2\), and

$$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

$$\frac{u(t)}{1+t^{\alpha-1}}\leq\|u\|_{C_{\infty}},\quad t\in[0,+\infty) $$

and there exists \(\Upsilon_{u}\) such that

$$\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}$$

so \(T(K)\subset K\).

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

$$\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}$$

With the help of Lebesgue’s dominated convergence theorem and the continuity of f, we have

$$\|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, $$

that is, T is continuous.

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

$$\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}$$

therefore \(T(\Omega)\) is uniformly bounded.

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

$$\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, $$

uniformly as \(t_{1}\rightarrow t_{2}\).

Similar to (3.3), we can deduce that

$$\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, $$

uniformly as \(t_{1}\rightarrow t_{2}\).

Thus, we conclude that

$$\biggl\vert \frac{(Tu)(t_{2})}{1+t_{2}^{\alpha-1}}-\frac {(Tu)(t_{1})}{1+t_{1}^{\alpha-1}}\biggr\vert \rightarrow0 $$

uniformly as \(t_{1}\rightarrow t_{2}\), and hence \(T(\Omega)\) is locally equicontinuous on any finite subinterval of \([0,+\infty)\).

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

$$ \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)

for any \(t_{2}>t_{1}>N_{1}\), \(\varepsilon_{1}>0\).

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

$$\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)

for any \(t_{2}>t_{1}>N_{2}\), \(\varepsilon_{2}>0\) and \(0\leq s\leq M\).

Let \(N>\max\{N_{1},N_{2}\}\). For any \(u\in\Omega\), by (3.4) and (3.5), we have

$$\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}$$

uniformly as \(t_{1}\rightarrow t_{2}\).

In conclusion, for any \(\varepsilon>0\), there exists a sufficiently large \(N>0\) such that for any \(u\in\Omega\),

$$\biggl\vert \frac{u(t_{1})}{1+t^{\alpha-1}_{1}}-\frac{u(t_{2})}{1+t^{\alpha -1}_{2}}\biggr\vert < \varepsilon, $$

\(\forall t_{1},t_{2}>N\).

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:

$$v_{n+1}= \int^{+\infty}_{0}G(t,s)a(s)f\bigl(s,v_{n}(s) \bigr)\,ds $$

with initial value \(v_{0}(t)=0\),

$$u_{n+1}= \int^{+\infty}_{0}G(t,s)a(s)f\bigl(s,u_{n}(s) \bigr)\,ds $$

with initial value \(u_{0}(t)=b\). Moreover,

$$\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

$$\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}$$

So \(T(\Phi)\subset\Phi\).

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

$$v_{1}(t)=(Tv_{0}) (t)\geq0=v_{0}(t), $$

for all \(t\in[0,+\infty)\).

By (H3), for \(u,v\in\Phi\) and \(u\geq v\), we deduce

$$\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}$$

We know that T is a nondecreasing operator.

So we have

$$v_{2}(t)=(Tv_{1}) (t)\geq(Tv_{0}) (t)=v_{1}(t), $$

for all \(t\in[0,+\infty)\).

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:

$$v_{n+1}(t)\geq v_{n}(t), $$

for all \(t\in[0,+\infty)\), \(n=0,1,2,\ldots\) .

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

$$\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}$$

for all \(t\in[0,+\infty)\).

Since T is a nondecreasing operator, we have

$$u_{2}(t)=(Tu_{1}) (t)\leq(Tu_{0}) (t)=u_{1}(t), $$

for all \(t\in[0,+\infty)\).

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:

$$u_{n+1}(t)\leq u_{n}(t), $$

for all \(t\in[0,+\infty)\), \(n=0,1,2,\ldots \) .

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

$$v_{n}(t)\leq\phi(t)\leq u_{n}(t), $$

for all \(t\in[0,+\infty)\), \(n=0,1,2,\ldots\) .

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

$$v_{n+1}= \int^{+\infty}_{0}G(t,s)a(s)f\bigl(s,v_{n}(s) \bigr)\,ds $$

with initial value \(v_{0}(t)=0\),

$$u_{n+1}= \int^{+\infty}_{0}G(t,s)a(s)f\bigl(s,u_{n}(s) \bigr)\,ds $$

with initial value \(u_{0}(t)=b\). The proof is completed. □

4 Examples

In this section, we will present an example to illustrate our main results.

Example 4.1

Consider the following boundary value problem:

$$\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)

where \(a(t)=e^{-t}\) and

$$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

$$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}, $$

so condition (H3) holds.

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.

References

  1. Oldham, K, Spanier, J: The Fractional Calculus. Academic Press, New York (1974)

    MATH  Google Scholar 

  2. Miller, K, Ross, B: An Introduction to the Fractional Calculus and Fractional Differential Equation. Wiley, New York (1993)

    Google Scholar 

  3. Podlubny, I: Fractional Differential Equations. Academic Press, San Diego (1999)

    MATH  Google Scholar 

  4. Kilbas, A, Srivastava, H, Trujillo, J: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)

    MATH  Google Scholar 

  5. Samko, S, Kilbas, A, Marichev, O: Fractional Integral and Derivative, Theory and Applications. Gordon and Breach, Yverdon (1993)

    Google Scholar 

  6. Zeidler, E: Nonlinear Functional Analysis and Its Applications I: Fixed-Point Theorems. Springer, Berlin (1985)

    Book  Google Scholar 

  7. 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)

    Article  MathSciNet  Google Scholar 

  8. 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)

    Article  Google Scholar 

  9. 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)

    Article  MATH  MathSciNet  Google Scholar 

  10. 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)

    Article  MathSciNet  Google Scholar 

  11. 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)

    Article  MathSciNet  Google Scholar 

  12. Zhao, X, Ge, W: Unbounded solutions for a fractional boundary value problems on the infinite interval. Acta Appl. Math. 109, 495-505 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  13. Su, X: Solutions to boundary value problem of fractional order on unbounded domains in a Banach space. Nonlinear Anal. 74, 2844-2852 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  14. 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)

    Article  MATH  MathSciNet  Google Scholar 

  15. Maagli, H: Existence of positive solutions for a nonlinear fractional differential equation. Electron. J. Differ. Equ. 2013, 29 (2013)

    Article  MathSciNet  Google Scholar 

  16. 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)

    Article  MATH  MathSciNet  Google Scholar 

  17. 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)

    Article  MATH  MathSciNet  Google Scholar 

  18. Arara, A, Benchohra, M, Hamidi, N, Nieto, JJ: Fractional order differential equations on an unbounded domain. Nonlinear Anal. 72, 580-586 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  19. 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)

    Article  MATH  MathSciNet  Google Scholar 

  20. Lakoud, AG, Kcman, A: Unbounded solution for a fractional boundary value problem. Adv. Differ. Equ. 2014, 154 (2014)

    Article  Google Scholar 

  21. 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)

    Article  MATH  MathSciNet  Google Scholar 

  22. 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)

    MathSciNet  Google Scholar 

  23. 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)

    MathSciNet  Google Scholar 

  24. Jiang, M, Zhong, S: Successively iterative method for fractional differential equations with integral boundary conditions. Appl. Math. Lett. 38, 94-99 (2014)

    Article  MathSciNet  Google Scholar 

  25. Sun, Y, Zhao, M: Positive solutions for a class of fractional differential equations with integral boundary conditions. Appl. Math. Lett. 34, 17-21 (2014)

    Article  MathSciNet  Google Scholar 

  26. Corduneanu, C: Integral Equations and Stability of Feedback Systems. Academic Press, New York (1973)

    MATH  Google Scholar 

  27. Liu, YS: Boundary value problem for second order differential equations on unbounded domain. Acta Anal. Funct. Appl. 4, 211-216 (2002)

    MATH  MathSciNet  Google Scholar 

Download references

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).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Shurong Sun.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Li, B., Sun, S. & Han, Z. Successively iterative method for a class of high-order fractional differential equations with multi-point boundary value conditions on half-line. Bound Value Probl 2016, 5 (2016). https://doi.org/10.1186/s13661-015-0512-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-015-0512-4

MSC

Keywords