Skip to content

Advertisement

  • Research
  • Open Access

Existence of solutions for several higher-order Hadamard-type fractional differential equations with integral boundary conditions on infinite interval

Boundary Value Problems20182018:134

https://doi.org/10.1186/s13661-018-1053-4

  • Received: 2 May 2018
  • Accepted: 29 August 2018
  • Published:

Abstract

In this paper, we investigate the existence of solutions for several higher-order integral boundary value problems of Hadamard-type fractional differential equations on an infinite interval by using the monotone iterative technique and Mawhin’s continuation theorem. The results enrich and extend some known conclusions of Hadamard-type fractional boundary value problems. Moreover, we give two concrete examples to illustrate the theoretical results.

Keywords

  • Hadamard fractional derivative
  • Fractional differential equation
  • Integral boundary value problem
  • Infinite interval

MSC

  • 34A08
  • 34B15

1 Introduction

In recent years, the study of fractional differential equations (FDEs for short) has been an interesting and popular field of research as it plays an important role in many areas such as control theory, electrical circuits, biology, physics, diffusion processes, finance, etc. (see [18]). For example, the simplified financial model can be described by FDEs as the forms:
$$ \textstyle\begin{cases} {}_{0}D_{t}^{{q_{1}}}x(t) = z(t) + (y(t) - a)x(t),&0 < {q_{1}} \leqslant1, \\ {}_{0}D_{t}^{{q_{2}}}y(t) = 1 - by(t) - {x^{2}}(t),&0 < {q_{2}} \leqslant1, \\ {}_{0}D_{t}^{{q_{3}}}z(t) = - x(t) - cz(t),&0 < {q_{3}} \leqslant1, \end{cases} $$
where \({}_{0}D_{t}^{( \cdot)}\) is the Caputo fractional derivative of fractional order, a, b, c are three nonnegative constants denoting the saving amount, cost per investment, and the elasticity of demand of commercial market, respectively, the state variables \(x(t)\), \(y(t)\), \(z(t)\) represent the interest rate, investment demand, and the price index, respectively (see [2]).

As is well known, one of the interesting and important features of discussing FDEs is focused on the research of the existence solutions for nonlinear fractional initial value problems and fractional boundary value problems (BVPs for short). Some recent work can be found in [933] and the references therein. It is worth mentioning that the study of the Hadamard-type fractional BVPs has attracted many scholars’ attention over the past four years. Hadamard-type fractional calculus was introduced by Hadamard in 1892 (see [34]). The definition of this kind of fractional derivative contains logarithmic function of arbitrary exponent in the kernel of the integral, which is different from the fractional derivatives of Riemann–Liouville and Caputo types. “Hadamard’s construction is invariant in relation to dilation and is well suited to the problems containing half axes” (see [23]). Moreover, some classical methods and theories, such as fixed point theorems, coincidence degree theory, and monotone iterative technique, have been widely used to investigate Hadamard-type fractional BVPs (see [1633]).

In [16], Benchohra, Bouriah, and Nieto investigated the following Hadamard-type FDE with periodic condition:
$$ \textstyle\begin{cases} {}^{H}{D^{\alpha}}y(t) = f(t,y(t),{}^{H}{D^{\alpha}}y(t)),\quad0 < \alpha \leqslant1,t \in[1,T], \\ y(1) = y(T), \end{cases} $$
where \(T > 1\), \({}^{H}{D^{\alpha}}\) is the Hadamard-type fractional derivative of order α. The authors obtained the existence of solutions by means of coincidence degree theory.
In [17], Ahmad and Ntouyas discussed the following coupled Hadamard-type FDEs with Hadamard-type integral boundary conditions:
$$ \textstyle\begin{cases} {D^{\alpha}}u(t) = f(t,u(t),v(t)), \quad1 < \alpha \leqslant2, 1 < t < e, \\ {D^{\beta}}v(t) = g(t,u(t),v(t)), \quad1 < \beta \leqslant2, 1 < t < e, \\ u(1) = 0, \qquad u(e) = \frac{1}{{\Gamma(\gamma)}}\int_{1}^{{\sigma _{1}}} {{{ ( {\ln\frac{{{\sigma_{1}}}}{s}} )}^{\gamma - 1}}\frac{{u(s)}}{s}\,ds,} \\ v(1) = 0, \qquad v(e) = \frac{1}{{\Gamma(\gamma)}}\int_{1}^{{\sigma _{2}}} {{{ ( {\ln\frac{{{\sigma_{2}}}}{s}} )}^{\gamma - 1}}\frac{{v(s)}}{s}\,ds,} \end{cases} $$
where \(\gamma > 0\), \(1 < {\sigma_{1}} < e\), \(1 < {\sigma_{2}} < e\), \({D^{( \cdot)}}\) is the Hadamard-type fractional derivative of fractional order. By using Leray–Schauder’s alternative and Banach’s contraction principle, the authors obtained the existence and uniqueness of solutions, respectively.
In [18], Pei, Wang, and Sun considered the following Hadamard-type fractional integro-differential equations on infinite domain:
$$ \textstyle\begin{cases} {}^{H}{D^{\alpha}}u(t) + f(t,u(t),{}^{H}{I^{r}}u(t),{}^{H}{D^{\alpha - 1}}u(t)) = 0, \quad1 < \alpha < 2, t \in(1, + \infty), \\ u(1) = 0, \qquad{}^{H}{D^{\alpha - 1}}u(\infty) = \sum_{i = 1}^{m} {{\lambda_{i}}} {}^{H}{I^{{\beta_{i}}}}u(\eta), \end{cases} $$
where \(\eta \in(1,\infty)\), \(r,{\beta_{i}},{\lambda_{i}} \geqslant0\) (\(i = 1,2, \ldots,m\)) are given constants, \({}^{H}{D^{\alpha}}\) is the Hadamard-type fractional derivative of order α, and \({}^{H}{I^{( \cdot)}}\) is the Hadamard-type fractional integral. By employing the monotone iterative technique, the existence result on positive solutions was obtained.
Motivated especially by the aforementioned work, we are concerned in this paper with the existence of solutions for two types of Hadamard-type fractional integral BVP on an infinite interval. First, by applying the monotone iterative method, we investigate the following FDE with conjugate type integral conditions on an infinite interval:
$$ \textstyle\begin{cases} {}^{H}D_{1 + }^{\alpha}x(t)+a(t)f(t,x(t)) = 0,\quad n - 1 < \alpha \leqslant n, t \in(1, + \infty), \\ {x^{(m)}}(1) = 0, \qquad{}^{H}D_{1 + }^{\alpha - 1}x( + \infty) = \int _{1}^{ + \infty} {g(t)x(t)\frac{{dt}}{t}, \quad m = 0,1,\ldots,n-2,} \end{cases} $$
(1.1)
where \(n \in\mathbb{N}\), \(n \geqslant3\), \({}^{H}D_{1+}^{\alpha}\) is the Hadamard-type fractional derivative of order α, \(g(t)\geqslant 0\) satisfies \(\Gamma(\alpha)-\int_{1}^{+\infty}{g(t){{(\ln t)}^{\alpha -1}}\frac{{dt}}{t}}:=\kappa>0\). We assume that the following conditions hold:
\((\mathrm{A}_{1})\)

\(f \in C([1, +\infty) \times[0, +\infty),[0, +\infty))\), \(f(t,0)\not \equiv0\) on any subinterval of \([1, +\infty)\) and \(f(t,(1+(\ln t)^{\alpha-1})x)\) is bounded on \([1, +\infty)\) when x is bounded;

\((\mathrm{A}_{2})\)
\(a(t):[1, + \infty) \to[0, + \infty)\) is not identically zero on any subinterval of \([1, + \infty)\) and
$$\begin{aligned} 0 < \int_{1}^{ + \infty} {a(t)\frac{{dt}}{t}} < + \infty. \end{aligned} $$
Second, we also study the existence of solutions for the following Hadamard-type FDE with integral boundary condition on an infinite interval at resonance by means of Mawhin’s continuation theorem:
$$ \textstyle\begin{cases} {}^{H}D_{1 + }^{\alpha}x(t)+a(t)f(t,x(t),{}^{H}D_{1 + }^{\alpha - 2}x(t),{}^{H}D_{1 + }^{\alpha - 1}x(t)) = 0,\quad t \in(1, + \infty), \\ x(1) = x'(1) = 0, \qquad{}^{H}D_{1 + }^{\alpha - 1}x( + \infty) = \int _{1}^{ + \infty} {g(t){}^{H}D_{1 + }^{\alpha - 1}x(t)\frac{{dt}}{t},} \end{cases} $$
(1.2)
where \(2 < \alpha \leqslant3\), \({}^{H}D_{1 + }^{\alpha}\) is the Hadamard-type fractional derivative of order α, \(g(t) \geqslant0\), \({{(1} / {a(t))>0}}\) on \([1, +\infty)\), \(f : [1,+\infty) \times{\mathbb {R}^{3}} \to\mathbb{R}\) satisfies a-Carathéodory condition, that is, f satisfies the following three conditions:

• For each \((u,v,w) \in{\mathbb{R}^{3}}\), the mapping \(t \mapsto f(t,u,v,w)\) is Lebesgue measurable;

• For a.e. \(t \in[1, + \infty)\), the mapping \((u,v,w) \mapsto f(t,u,v,w)\) is continuous on \({\mathbb{R}^{3}}\);

• For each \(l >0\), there exists a function \({\varphi_{l}}:[1, + \infty) \to[0, + \infty)\) satisfying \(\int_{1}^{+\infty} {a(t){\varphi _{l}}} (t)\frac{{dt}}{t} <+ \infty\) such that
$$\bigl\vert f(t,u,v,w) \bigr\vert \leqslant{\varphi_{l}}(t),\quad \mbox{a.e. }t \in[1, + \infty), \qquad\max \biggl\{ {\frac{{ \vert u \vert }}{{1 + {{(\ln t)}^{\alpha - 1}}}}, \frac {{ \vert v \vert }}{{1 + \ln t}}, \vert w \vert } \biggr\} \leqslant l. $$
And we also assume that the following condition holds:
\((\mathrm{H}_{1})\)

\(\int_{1}^{+\infty} {g(t)\frac{{dt}}{t}}= 1\), \(\int_{1}^{+\infty} {a(t)\frac{{dt}}{t}} < + \infty\).

In general, a boundary value problem is called resonance if the corresponding homogeneous BVP has a nontrivial solution. According to condition \((\mathrm{H}_{1})\), consider the homogeneous BVP of (1.2) as follows:
$$ \textstyle\begin{cases} -\frac{1}{{a(t)}}{}^{H}D_{1 + }^{\alpha}x(t) = 0,\quad t \in(1, + \infty ), \\ x(1) = x'(1) = 0, \qquad{}^{H}D_{1 + }^{\alpha - 1}x( + \infty) = \int _{1}^{ + \infty} {g(t){}^{H}D_{1 + }^{\alpha - 1}x(t)\frac{{dt}}{t}.} \end{cases} $$
(1.3)
By using Lemma 2.2 (see the next section), we can check that BVP (1.3) has a nontrivial solution \(x(t) = c{(\ln t)^{\alpha - 1}}\), \(c \in \mathbb{R}\). So, BVP (1.2) is a resonance problem.

In the present work, we are focused on establishing the existence theorems to deal with two types of Hadamard-type fractional BVPs on an infinite interval. The new features of this paper can be presented as follows. On the one hand, as far as we know, compared with the fractional BVPs on a finite interval, the BVPs on an infinite interval of FDEs have little been considered until now because the infinite interval lacks compactness. Thus, our paper enriches some existing results. On the other hand, most of the recent papers on Hadamard-type fractional BVPs discuss the non-resonance problems. In our work, we not only study the non-resonance problem but also consider the resonance problem. The main difficulties in this article are as follows. First, we have to construct suitable Banach spaces for problem (1.1) and (1.2). Second, we should give a new compactness judgment theorem. Third, the estimates on a priori bounds are more complicated.

The rest of this paper is organized as follows. In Sect. 2, we recall some preliminary definitions and lemmas. In Sect. 3, based on the monotone iterative method, we establish a theorem on the existence of positive solutions for problem (1.1). In Sect. 4, by using Mawhin’s continuation theorem, we give an existence theorem for problem (1.2). Finally, the paper is concluded in Sect. 5.

2 Preliminaries

In this section, we recall some definitions and lemmas which are used throughout this paper. First, we present here the basic knowledge about the Hadamard-type fractional calculus. For more details, we refer the readers to [1, 28].

Definition 2.1

The Hadamard-type fractional integral of order \(\alpha>0\) of a function \(f:[1, +\infty) \to\mathbb{R}\):
$$\begin{aligned} {}^{H}I_{1 + }^{\alpha}f(t) = \frac{1}{{\Gamma(\alpha)}} \int_{1}^{t} {{{ \biggl( {\ln\frac{t}{s}} \biggr)}^{\alpha - 1}}f(s)\frac{{ds}}{s},} \quad (t > 1), \end{aligned} $$
provided the integral exists.

Definition 2.2

The Hadamard-type fractional derivative of order \(\alpha > 0\) of a function \(f:[1, +\infty) \to\mathbb{R}\):
$$\begin{aligned} {}^{H}D_{1 + }^{\alpha}f(t) = \frac{1}{{\Gamma(n - \alpha)}}{ \biggl( {t\frac{d}{{dt}}} \biggr)^{n}} \int_{1}^{t} {{{ \biggl( {\ln\frac{t}{s}} \biggr)}^{n - \alpha - 1}}f(s)\frac{{ds}}{s},} \quad(t > 1), \end{aligned} $$
where \(n = [\alpha] + 1\), \([\alpha]\) is the integer part of α.

Lemma 2.1

If \(\alpha,\beta>0\), then
$$\begin{aligned} {}^{H}I_{1+}^{\alpha}{(\ln t)^{\beta-1}}&=\frac{{\Gamma(\beta)}}{{\Gamma (\alpha+\beta)}}{(\ln t)^{\alpha+\beta-1}}, \qquad{}^{H}D_{1+}^{\alpha}{(\ln t)^{\beta-1}}= \frac{{\Gamma(\beta)}}{{\Gamma(\beta-\alpha )}}{(\ln t)^{\beta-\alpha-1}}, \end{aligned} $$
in particular, \({}^{H}D_{1 + }^{\alpha}{(\ln t)^{\alpha - j}} = 0\), \(j = 1,2, \ldots,[\alpha] + 1\).

Lemma 2.2

Let \(\alpha > 0\). Assume that \(x \in C[1,\infty) \cap{L^{1}}[1,\infty )\), then the solution of Hadamard-type fractional differential equation \({}^{H}D_{1 + }^{\alpha}x(t)=0\) can be denoted as
$$\begin{aligned} x(t)=\sum_{i=1}^{n}{{c_{i}}} {(\ln t)^{\alpha-i}}, \end{aligned} $$
and the following formula holds:
$$\begin{aligned} {}^{H}I_{1 + }^{\alpha}{}^{H}D_{1 + }^{\alpha}x(t) = x(t) + \sum_{i = 1}^{n} {{c_{i}}} {(\ln t)^{\alpha - i}}, \end{aligned} $$
where \({c_{i}} \in\mathbb{R}\), \(i = 1,2, \ldots,n\), \(n - 1 < \alpha< n\).

Next, we recall the results of coincidence degree theory due to Mawhin which can be found in [35, 36].

Let \((X,{ \Vert \cdot \Vert _{X}})\) and \((Y,{ \Vert \cdot \Vert _{Y}})\) be two real Banach spaces. Define \(L:\operatorname{dom}L \subset X \to Y\) to be a Fredholm operator with index zero, then there exist two continuous projectors \(P:X \to X\) and \(Q:Y \to Y\) such that
$$ \operatorname{Im} P = \operatorname{Ker}L, \qquad\operatorname{Im} L = \operatorname{Ker}Q, \qquad X = \operatorname{Ker}L \oplus\operatorname{Ker}P, \qquad Y = \operatorname{Im} L \oplus\operatorname{Im} Q, $$
and \(L{{\mathrm{|}}_{{\mathrm{dom}}L \cap{\mathrm{Ker}}P}}:{\mathrm {dom}}L \to\operatorname{Im} L\) is invertible. We denote its inverse by \(K_{p}\). Let Ω be an open bounded subset of X and \(\operatorname{dom}L \cap\bar{\Omega}\ne \emptyset\). The map \(N:X \to Y\) is called L-compact on Ω̄, if \(QN ( {\bar{\Omega}} )\) is bounded and \(K_{P,Q} N = K_{p} (I - Q)N:\bar{\Omega}\to X\) is compact.

Theorem 2.1

Let \(L:\operatorname{dom}L \subset X \to Y\) be a Fredholm operator of index zero and \(N:X \to Y\) be L-compact on Ω̄. Assume that the following conditions are satisfied:
  1. (i)

    \(Lu \ne\lambda Nu\) for any \(u \in(\operatorname{dom}L\backslash \operatorname{Ker}L) \cap\partial\Omega\), \(\lambda \in(0,1)\);

     
  2. (ii)

    \(Nu \notin\operatorname{Im} L\) for any \(u \in\operatorname{Ker}L \cap \partial\Omega\);

     
  3. (iii)

    \(\deg(QN \vert {_{\operatorname{Ker}L}}, \Omega \cap \operatorname{Ker}L,0) \ne0\).

     
Then the equation \(Lx = Nx\) has at least one solution in \(\operatorname {dom}L \cap\bar{\Omega}\).

3 The main result of (1.1)

Let
$$\begin{aligned} E = \biggl\{ {x \in C\bigl([1, + \infty\bigr), \mathbb{R}):\sup_{t \in[1, + \infty)} \frac{{ \vert x(t) \vert }}{{1 + {{(\ln t)}^{\alpha - 1}}}} < + \infty} \biggr\} , \end{aligned} $$
endowed with the norm
$$\begin{aligned} \Vert x \Vert _{E} = \sup _{t \in[1, + \infty)} \frac{{ \vert x(t) \vert }}{{1 + {{(\ln t)}^{\alpha - 1}}}}, \end{aligned} $$
then \((E,\Vert \cdot\Vert _{E})\) is a Banach space.

Lemma 3.1

Suppose that \(\int_{1}^{+\infty} {g(t){{(\ln t)}^{\alpha- 1}}\frac{{dt}}{t}} < \Gamma(\alpha)\). Then, for any \(y \in C[1, + \infty)\) with \(\int_{1}^{+\infty} {y(s)\frac{{ds}}{s}}<+\infty \), the unique solution of the following BVP
$$ \textstyle\begin{cases} {}^{H}D_{1 + }^{\alpha}x(t)+y(t) = 0,\quad n - 1 < \alpha \leqslant n, t \in(1, + \infty), \\ {x^{(m)}}(1) = 0, \qquad{}^{H}D_{1 + }^{\alpha - 1}x( + \infty) = \int _{1}^{ + \infty} {g(t)x(t)\frac{{dt}}{t}, \quad m = 0,1,\ldots,n-2,} \end{cases} $$
(3.1)
can be given by
$$\begin{aligned} x(t) = \int_{1}^{ + \infty} {G(t,s)y(s)\frac{{ds}}{s}} ,\quad t \in[1, + \infty), \end{aligned} $$
where
$$ G(t,s) = {G_{1}}(t,s) + {G_{2}}(t,s), $$
(3.2)
and
$$\begin{aligned} &{G_{1}}(t,s)= \frac{1}{{\Gamma(\alpha)}} \textstyle\begin{cases} {(\ln t)^{\alpha - 1}} - { ( {\ln\frac{t}{s}} )^{\alpha - 1}},& 1 \leqslant s \leqslant t < + \infty, \\ {(\ln t)^{\alpha - 1}},&1 \leqslant t \leqslant s < + \infty, \end{cases}\displaystyle \\ &{G_{2}}(t,s)= \frac{{{{(\ln t)}^{\alpha-1}}}}{\kappa} \int_{1}^{+\infty } {g(t){G_{1}}(t,s) \frac{{dt}}{t}}. \end{aligned} $$

Proof

According to Lemma 2.2, the solution of (3.1) is
$$\begin{aligned} x(t) = {c_{1}} {(\ln t)^{\alpha - 1}} + {c_{2}} {(\ln t)^{\alpha - 2}} + \cdots + {c_{n}} {(\ln t)^{\alpha - n}} - \frac{1}{{\Gamma(\alpha )}} \int_{1}^{t} {{{ \biggl( {\ln\frac{t}{s}} \biggr)}^{\alpha - 1}}y(s)\frac {{ds}}{s}}, \end{aligned} $$
where \({c_{1}},{c_{2}},\ldots,{c_{n}} \in\mathbb{R}\). Considering the boundary conditions \({x^{(m)}}(1) = 0\), \(m =0,1,\ldots,n-2\), we obtain \({c_{2}}={c_{3}}=\cdots={c_{n}}=0\), that is,
$$\begin{aligned} x(t) = {c_{1}} {(\ln t)^{\alpha - 1}} - \frac{1}{{\Gamma(\alpha)}} \int _{1}^{t} {{{ \biggl( {\ln\frac{t}{s}} \biggr)}^{\alpha - 1}}y(s)\frac{{ds}}{s}}. \end{aligned} $$
By Lemma 2.1, one has
$$\begin{aligned} {}^{H}D_{1+}^{\alpha- 1}x(t)={c_{1}} \Gamma(\alpha)- \int_{1}^{t}{y(s)\frac{{ds}}{s}}, \end{aligned} $$
which shows
$$\begin{aligned} {}^{H}D_{1+}^{\alpha- 1}x(+ \infty)={c_{1}}\Gamma(\alpha)- \int_{1}^{+\infty }{y(s)\frac{{ds}}{s}}. \end{aligned} $$
Combining the boundary condition \({}^{H}D_{1 + }^{\alpha- 1}x(+\infty )=\int_{1}^{+\infty} {g(t)x(t)\frac{{dt}}{t}}\), we have
$$\begin{aligned} {c_{1}} = \frac{1}{{\Gamma(\alpha)}} \biggl( { \int_{1}^{ + \infty} {g(t)x(t)\frac{{dt}}{t} + \int_{1}^{ + \infty} {y(s)\frac{{ds}}{s}} } } \biggr). \end{aligned} $$
Therefore,
$$\begin{aligned} \begin{aligned} x(t) = \int_{1}^{+\infty} {{G_{1}}(t,s)y(s) \frac{{ds}}{s}}+\frac {1}{{\Gamma(\alpha)}}{(\ln t)^{\alpha- 1}} \int_{1}^{+\infty} {g(t)x(t)\frac{{dt}}{t},} \end{aligned} \end{aligned}$$
(3.3)
and then
$$\begin{aligned} \int_{1}^{+\infty} {g(t)x(t)\frac{{dt}}{t}}&= \int_{1}^{+\infty} {g(t)} \int_{1}^{+\infty} {{G_{1}}(t,s)y(s) \frac{{ds}}{s}\frac{{dt}}{t}} \\ &\quad {}+\frac{1}{{\Gamma(\alpha)}} \int_{1}^{+\infty} {g(t)} {(\ln t)^{\alpha- 1}} \frac{{dt}}{t} \int_{1}^{+\infty} {g(t)x(t)\frac{{dt}}{t},} \end{aligned} $$
which implies
$$\begin{aligned} \begin{aligned} \int_{1}^{+\infty} {g(t)x(t)\frac{{dt}}{t}}= \frac{{\Gamma(\alpha )}}{\kappa} \int_{1}^{+\infty} {g(t)} \int_{1}^{+\infty} {{G_{1}}(t,s)y(s) \frac{{ds}}{s}\frac{{dt}}{t}}. \end{aligned} \end{aligned}$$
(3.4)
Substituting (3.4) into (3.3), we obtain
$$\begin{aligned} x(t)= \int_{1}^{+\infty} {{G_{1}}(t,s)y(s) \frac{{ds}}{s}} + \int_{1}^{+\infty } {{G_{2}}(t,s)y(s) \frac{{ds}}{s}} = \int_{1}^{+\infty} {G(t,s)y(s)\frac{{ds}}{s}}. \end{aligned} $$
The proof is completed. □

Lemma 3.2

The Green’s function \(G(t,s)\) defined by (3.2) satisfies the following properties:
  1. (i)

    \(G(t,s)\) is a continuous function for \((t,s) \in[1, +\infty ) \times[1, +\infty)\);

     
  2. (ii)

    \(G(t,s)\) is nonnegative on \([1, +\infty) \times[1, + \infty)\);

     
  3. (iii)

    \(\frac{{G(t,s)}}{{1 + {{(\ln t)}^{\alpha- 1}}}} \leqslant \frac{1}{\kappa}\) for all \((t,s) \in[1, +\infty) \times[1, +\infty)\).

     

Proof

Easily, we can check that (i) and (ii) hold. To prove (iii), for \((t,s) \in[1, +\infty) \times[1, +\infty)\), it is clear that the following inequalities hold:
$$\begin{gathered} \frac{{{G_{1}}(t,s)}}{{1+{{(\ln t)}^{\alpha- 1}}}} \leqslant\frac {1}{{\Gamma(\alpha)}}, \\ \frac{{{G_{2}}(t,s)}}{{1+{{(\ln t)}^{\alpha- 1}}}} \leqslant\frac{{\int _{1}^{+\infty} {{G_{1}}(t,s)g(t)\frac{{dt}}{t}}}}{\kappa} \leqslant\frac {{\int_{1}^{+\infty} {g(t){{(\ln t)}^{\alpha- 1}}\frac{{dt}}{t}} }}{{\Gamma(\alpha)\kappa}}. \end{gathered} $$
Thus,
$$\begin{aligned} \frac{{G(t,s)}}{{1+{{(\ln t)}^{\alpha- 1}}}} \leqslant\frac {1}{{\Gamma(\alpha)}}+ \frac{{\int_{1}^{+\infty} {g(t){{(\ln t)}^{\alpha - 1}}\frac{{dt}}{t}} }}{{\Gamma(\alpha)\kappa}}=\frac{1}{\kappa}. \end{aligned} $$
The proof is completed. □

Lemma 3.3

(see [25])

Let \(V=\{x\in E:\Vert x\Vert _{E}\leqslant r,r>0\}\subset E\) be relatively compact in E if the following conditions hold:
  1. (i)

    For any \(x(t)\in V\), \(\frac{{x(t)}}{{1+{{(\ln t)}^{\alpha- 1}}}}\) is equicontinuous on any compact interval of \([1, +\infty)\);

     
  2. (ii)
    For any \(\varepsilon>0\), there exists a constant \(R=R(\varepsilon)>0\) such that, for all \(x(t)\in V\), \({t_{1}},{t_{2}}\geqslant R\), it holds
    $$\begin{aligned} \biggl\vert {\frac{{x({t_{1}})}}{{1+{{(\ln{t_{1}})}^{\alpha-1}}}}-\frac {{x({t_{2}})}}{{1+{{(\ln{t_{2}})}^{\alpha- 1}}}}} \biggr\vert < \varepsilon. \end{aligned} $$
     
Let
$$\begin{aligned} P = \bigl\{ x \in E:x(t) \geqslant0, t \in[1, + \infty)\bigr\} . \end{aligned} $$
Obviously, \(P\subset E\) is a cone. Define the operator \(T:P \to E\) as follows:
$$\begin{aligned} Tx(t)= \int_{1}^{+\infty} {G(t,s)a(s)f\bigl(s,x(s)\bigr) \frac{{ds}}{s}},\quad t\in [1, +\infty). \end{aligned} $$

Lemma 3.4

Assume that \((\mathrm{A}_{1})\) and \((\mathrm {A}_{2})\) hold. Then \(T:P \to P\) is completely continuous.

Proof

For any \(x\in P\), it is obvious that \(Tx(t)\geqslant0\), i.e., \(T:P\to P\). Take \(\{{x_{n}}\} _{n = 1}^{ + \infty} \subset P\), \(x \in P\), such that \({x_{n}}\to x\) as \(n\to+\infty\), then there exists a constant \({r_{0}}>0\) such that \(\sup_{n\in\mathbb{N}}\Vert {x_{n}}\Vert _{E}<{r_{0}}\). Set \({B_{{r_{0}}}}=\sup\{ f(t,(1+{(\ln t)^{\alpha-1}})x):(t,x)\in[1, +\infty)\times[0,{r_{0}}]\}\). By \((\mathrm{A}_{1})\) and \((\mathrm{A}_{2})\), one has
$$\begin{aligned} \int_{1}^{+\infty} {a(s)f\bigl(s,x(s)\bigr) \frac{{ds}}{s}} \leqslant{B_{{r_{0}}}} \int _{1}^{+\infty} {a(s)\frac{{ds}}{s}}< +\infty. \end{aligned} $$
It follows from Lebesgue’s dominated convergence and the continuity of \(f(t,x(t))\) that
$$\begin{aligned} \int_{1}^{+\infty}{a(s)f\bigl(s,{x_{n}}(s)\bigr) \frac{{ds}}{s}}\to \int_{1}^{+\infty }{a(s)f\bigl(s,x(s)\bigr) \frac{{ds}}{s}}, \quad\mbox{as }n\to+\infty. \end{aligned} $$
Thus,
$$\begin{aligned} \begin{aligned} \Vert T{x_{n}}-Tx \Vert _{E}&= \sup_{t \in[1, +\infty)} \frac {{ \vert T{x_{n}}-Tx \vert }}{{1+{{(\ln t)}^{\alpha- 1}}}} \\ &\leqslant\frac{1}{\kappa} \biggl\vert { \int_{1}^{+\infty} {a(s)f\bigl(s,{x_{n}}(s) \bigr)\frac{{ds}}{s}}- \int_{1}^{+\infty} {a(s)f\bigl(s,x(s)\bigr) \frac {{ds}}{s}}} \biggr\vert \\ &\to 0, \quad\mbox{as }n \to+\infty, \end{aligned} \end{aligned}$$
which shows \(T:P \to P\) is continuous. In the following, we let Ω be any bounded subset of P and separate the proof into three steps to prove T is a compact operator. For simplicity of presentation, we let
$$\begin{gathered} \sigma(\tau,t,s) = \frac{{{{{{(\ln({t / s}))}^{\alpha - 1}}}}}}{{1 + {{(\ln\tau)}^{\alpha- 1}}}}, \quad1 \leqslant s \leqslant t < +\infty, 1 \leqslant\tau < + \infty,\qquad\omega=: \int _{1}^{ + \infty} {a(t)\frac{{dt}}{t}}, \\ \delta(\tau,t) =\frac{{{{(\ln t)}^{\alpha- 1}}}}{{1+{{(\ln\tau )}^{\alpha- 1}}}}, \quad1 \leqslant\tau,t < + \infty,\qquad \varpi = :\frac{{\int_{1}^{ + \infty} {g(t){{(\ln t)}^{\alpha - 1}}\frac {{dt}}{t}} }}{{\Gamma(\alpha) ( {\Gamma(\alpha) - \int_{1}^{ + \infty} {g(t){{(\ln t)}^{\alpha - 1}}\frac{{dt}}{t}} } )}}, \\ {\rho_{i}}(\tau,t,s) = \textstyle\begin{cases} \frac{{G(t,s)}}{{1 + {{(\ln\tau)}^{\alpha - 1}}}}, &1 \leqslant\tau,t,s < + \infty, i = 0, \\ \frac{{{G_{i}}(t,s)}}{{1 + {{(\ln\tau)}^{\alpha - 1}}}}, &1 \leqslant\tau,t,s < + \infty, i = 1,2. \end{cases}\displaystyle \end{gathered} $$
Step 1. T is uniformly bounded on Ω̄. In fact, there exists a constant \(r>0\) such that \(\Vert x\Vert _{E} \leq r\) for any \(x\in{\bar{\Omega}}\). Set \({B_{r}} = \sup\{ f(t,(1 + {(\ln t)^{\alpha - 1}})x):(t,x) \in[1, +\infty) \times[0,r]\}\). Then we have
$$\begin{aligned} \Vert Tx \Vert _{E} &= \sup _{t \in[1, +\infty)} \frac{1}{{1+{{(\ln t)}^{\alpha- 1}}}} \biggl\vert { \int_{1}^{+\infty} {G(t,s)a(s)f\bigl(s,x(s)\bigr) \frac{{ds}}{s}} } \biggr\vert \\ &\leqslant \frac{{{B_{r}}\omega}}{\kappa}< +\infty. \end{aligned} $$
Step 2. For any \(x\in\bar{\Omega}\), Tx is equicontinuous on any compact intervals of \([1, +\infty)\). In fact, for any \(x \in\bar{\Omega}\), \(L > 1\), and \({t_{1}},{t_{2}} \in[1,L]\) with \({t_{1}} < {t_{2}}\), one has
$$\begin{aligned}& \biggl\vert { \frac{{Tx({t_{2}})}}{{1 + {{(\ln{t_{2}})}^{\alpha- 1}}}} - \frac {{Tx({t_{1}})}}{{1 + {{(\ln{t_{1}})}^{\alpha- 1}}}}} \biggr\vert \\& \quad = \biggl\vert { \int_{1}^{ + \infty} {{\rho _{0}}({t_{2}},{t_{2}},s)a(s)f \bigl(s,x(s)\bigr)\frac{{ds}}{s} - \int_{1}^{ + \infty} {{\rho_{0}}({t_{1}},{t_{1}},s)a(s)f \bigl(s,x(s)\bigr)\frac{{ds}}{s}} } } \biggr\vert \\& \quad \leqslant \int_{1}^{+\infty} { \bigl\vert {{\rho_{1}}({t_{2}},{t_{2}},s)-{ \rho _{1}}({t_{1}},{t_{1}},s)} \bigr\vert } a(s)f \bigl(s,x(s)\bigr)\frac{{ds}}{s} \\& \qquad{}+ \int_{1}^{+\infty} { \bigl\vert {{\rho_{2}}({t_{2}},{t_{2}},s)-{ \rho _{2}}({t_{1}},{t_{1}},s)} \bigr\vert } a(s)f \bigl(s,x(s)\bigr)\frac{{ds}}{s} \\& \quad \leqslant \int_{1}^{+\infty} { \bigl\vert {{\rho_{1}}({t_{2}},{t_{2}},s)-{ \rho _{1}}({t_{2}},{t_{1}},s)} \bigr\vert } a(s)f \bigl(s,x(s)\bigr)\frac{{ds}}{s} \\& \qquad{}+ \int_{1}^{+\infty} { \bigl\vert {{\rho_{1}}({t_{1}},{t_{1}},s)-{ \rho _{1}}({t_{2}},{t_{1}},s)} \bigr\vert } a(s)f \bigl(s,x(s)\bigr)\frac{{ds}}{s} \\& \qquad{}+\varpi \bigl\vert {\delta({t_{2}},{t_{2}})- \delta({t_{1}},{t_{1}})} \bigr\vert \int_{1}^{+\infty} {a(s)f\bigl(s,x(s)\bigr) \frac{{ds}}{s}} . \end{aligned}$$
Since the functions \(\delta(\tau,t)\), \(\sigma(\tau,t,s)\) are uniformly continuous on \([{t_{1}},{t_{2}}] \times[{t_{1}},{t_{2}}]\) and \([{t_{1}},{t_{2}}] \times[{t_{1}},{t_{2}}] \times[1,{t_{1}}]\), respectively, we have
$$ \begin{gathered}[b] \int_{1}^{ + \infty} { \bigl\vert {{\rho_{1}}({t_{2}},{t_{2}},s) - {\rho _{1}}({t_{2}},{t_{1}},s)} \bigr\vert } a(s)f\bigl(s,x(s)\bigr)\frac{{ds}}{s} \\ \quad \leqslant \int_{1}^{{t_{1}}} { \bigl\vert {{\rho_{1}}({t_{2}},{t_{2}},s)-{ \rho _{1}}({t_{2}},{t_{1}},s)} \bigr\vert } a(s)f \bigl(s,x(s)\bigr)\frac{{ds}}{s} \\ \qquad{}+ \int_{{t_{1}}}^{{t_{2}}} { \bigl\vert {{\rho_{1}}({t_{2}},{t_{2}},s)-{ \rho _{1}}({t_{2}},{t_{1}},s)} \bigr\vert } a(s)f \bigl(s,x(s)\bigr)\frac{{ds}}{s} \\ \qquad{}+ \int_{{t_{2}}}^{+\infty} { \bigl\vert {{\rho _{1}}({t_{2}},{t_{2}},s)-{\rho_{1}}({t_{2}},{t_{1}},s)} \bigr\vert } a(s)f\bigl(s,x(s)\bigr)\frac {{ds}}{s} \\ \quad \leqslant\frac{{{B_{r}}}}{{\Gamma(\alpha)}} \int_{1}^{{t_{1}}} {\bigl[\sigma ({t_{2}},{t_{2}},s)+ \delta({t_{2}},{t_{2}}) - \sigma({t_{2}},{t_{1}},s) - \delta ({t_{2}},{t_{1}})\bigr]} a(s)\frac{{ds}}{s} \\ \qquad{}+ \frac{{{B_{r}}}}{{\Gamma(\alpha)}} \int_{{t_{1}}}^{{t_{2}}} {\bigl[\sigma({t_{2}},{t_{2}},s)+ \delta({t_{2}},{t_{2}}) - \delta({t_{2}},{t_{1}}) \bigr]} a(s)\frac{{ds}}{s} \\ \qquad{}+ \frac{{{B_{r}}}}{{\Gamma(\alpha)}} \int_{{t_{2}}}^{+\infty} {\bigl[\delta({t_{2}},{t_{2}})- \delta({t_{2}},{t_{1}})\bigr]} a(s)\frac{{ds}}{s} \\ \quad \to0, \quad\mbox{as } {t_{1}} \to{t_{2}}, \end{gathered} $$
(3.5)
and
$$\begin{aligned} \begin{aligned} \varpi \bigl\vert {\delta({t_{2}},{t_{2}})- \delta({t_{1}},{t_{1}})} \bigr\vert \int _{1}^{+\infty} {a(s)f\bigl(s,x(s)\bigr) \frac{{ds}}{s}} \to0,\quad\mbox{as } {t_{1}} \to{t_{2}}. \end{aligned} \end{aligned}$$
(3.6)
Similarly, we can obtain
$$\begin{aligned} \begin{aligned} \int_{1}^{ + \infty} { \bigl\vert {{\rho_{1}}({t_{1}},{t_{1}},s) - {\rho _{1}}({t_{2}},{t_{1}},s)} \bigr\vert } a(s)f\bigl(s,x(s)\bigr)\frac{{ds}}{s} \to0,\quad \mbox{as } {t_{1}} \to{t_{2}}. \end{aligned} \end{aligned}$$
(3.7)
Thus, from (3.5)–(3.7), we have
$$\begin{aligned} \biggl\vert {\frac{{Tx({t_{2}})}}{{1+{{(\ln{t_{2}})}^{\alpha- 1}}}}-\frac {{Tx({t_{1}})}}{{1+{{(\ln{t_{1}})}^{\alpha- 1}}}}} \biggr\vert \to0,\quad \mbox{as } {t_{1}} \to{t_{2}}. \end{aligned} $$
Step 3. For any \(x\in\bar{\Omega}\), Tx is equiconvergent at infinity. In fact, for any \(\varepsilon>0\), by \((\mathrm{A}_{2})\), there exists a constant \(\ell>1\) such that
$$ \begin{aligned} 0< \int_{\ell}^{+\infty} {a(s)\frac{{ds}}{s}}< \varepsilon. \end{aligned} $$
(3.8)
Because \(\lim_{t \to+\infty} \sigma(t,t,\ell)=1\), \(\lim_{t \to+\infty } \delta(t,t)=1\), then for above \(\varepsilon>0\), there exist constants \({\ell_{1}}>1\), \({\ell_{2}}>\ell>1\) such that for any \({t_{1}},{t_{2}}>{\ell_{1}}\) one has
$$\begin{aligned} \begin{aligned} \bigl|\delta({t_{2}},{t_{2}})- \delta({t_{1}},{t_{1}})\bigr| \leqslant\bigl|1-\delta ({t_{2}},{t_{2}}) \bigr\vert + \bigl\vert 1-\delta({t_{1}},{t_{1}})\bigr|< \varepsilon, \end{aligned} \end{aligned}$$
(3.9)
and for any \({t_{1}},{t_{2}} > {\ell_{2}}\), \(1 \leqslant s \leqslant\ell\) one gets
$$\begin{aligned} \begin{aligned}[b] \bigl|\sigma({t_{2}},{t_{2}},s)- \sigma({t_{1}},{t_{1}},s)\bigr|&\leqslant \bigl|1-\sigma ({t_{2}},{t_{2}},s) \bigr\vert + \bigl\vert 1-\sigma({t_{1}},{t_{1}},s)\bigr| \\ &\leqslant \bigl|1-\sigma({t_{2}},{t_{2}},\ell) \bigr\vert + \bigl\vert 1-\sigma({t_{1}},{t_{1}},\ell )\bigr|< \varepsilon. \end{aligned} \end{aligned}$$
(3.10)
We choose \(\tilde{\ell}>\max\{{\ell_{1}},{\ell_{2}}\}\), Then, for any \(x \in\bar{\Omega}\), \({t_{2}},{t_{1}}>\tilde{\ell}\) (without loss of generality we assume that \({t_{2}}>{t_{1}}\)), we have
$$\begin{gathered} \biggl\vert {\frac{{Tx({t_{2}})}}{{1 + {{(\ln{t_{2}})}^{\alpha - 1}}}} - \frac {{Tx({t_{1}})}}{{1 + {{(\ln{t_{1}})}^{\alpha - 1}}}}} \biggr\vert \\ \quad = \biggl\vert { \int_{1}^{ + \infty} {{\rho _{0}}({t_{2}},{t_{2}},s)a(s)f \bigl(s,x(s)\bigr)\frac{{ds}}{s} - \int_{1}^{ + \infty} {{\rho_{0}}({t_{1}},{t_{1}},s)a(s)f \bigl(s,x(s)\bigr)\frac{{ds}}{s}} } } \biggr\vert \\ \quad \leqslant \int_{1}^{ + \infty} { \bigl\vert {{\rho_{1}}({t_{2}},{t_{2}},s) - {\rho_{1}}({t_{1}},{t_{1}},s)} \bigr\vert } a(s)f\bigl(s,x(s)\bigr)\frac{{ds}}{s} \\ \qquad{}+ \varpi \bigl\vert {\delta({t_{2}},{t_{2}}) - \delta({t_{1}},{t_{1}})} \bigr\vert \int_{1}^{ + \infty} {a(s)f\bigl(s,x(s)\bigr) \frac{{ds}}{s}} . \end{gathered} $$
It follows from (3.8)–(3.10) that
$$\begin{aligned}& \begin{gathered} \int_{1}^{{t_{1}}} {\bigl|\sigma({t_{2}}} ,{t_{2}},s) - \sigma ({t_{1}},{t_{1}},s)\bigr|a(s) \frac{{ds}}{s} \\ \quad = \int_{1}^{\ell}{\bigl|\sigma({t_{2}}} ,{t_{2}},s) - \sigma ({t_{1}},{t_{1}},s)\bigr|a(s) \frac{{ds}}{s} + \int_{\ell}^{{t_{1}}} {\bigl|\sigma({t_{2}}} ,{t_{2}},s) - \sigma ({t_{1}},{t_{1}},s)\bigr|a(s) \frac{{ds}}{s} \\ \quad \le\omega\varepsilon + 2 \int_{\ell}^{ + \infty} {a(s)\frac{{ds}}{s} = (\omega+ 2)} \varepsilon, \end{gathered} \\& \begin{gathered}[b] \int_{1}^{+\infty} { \bigl\vert {{\rho_{1}}({t_{2}},{t_{2}},s)-{ \rho _{1}}({t_{1}},{t_{1}},s)} \bigr\vert } a(s)f \bigl(s,x(s)\bigr)\frac{{ds}}{s} \\ \quad \leqslant\frac{{{B_{r}}}}{{\Gamma(\alpha)}} \int_{1}^{{t_{1}}} { \bigl\vert {\delta({t_{2}},{t_{2}})- \sigma({t_{2}},{t_{2}},s)-\delta({t_{1}},{t_{1}})+ \sigma ({t_{1}},{t_{1}},s)} \bigr\vert } a(s) \frac{{ds}}{s} \\ \qquad{}+ \frac{{{B_{r}}}}{{\Gamma(\alpha)}} \int_{{t_{1}}}^{{t_{2}}} { \bigl\vert {\delta({t_{2}},{t_{2}})- \sigma({t_{2}},{t_{2}},s)-\delta({t_{1}},{t_{1}})} \bigr\vert } a(s)\frac{{ds}}{s} \\ \qquad{}+ \frac{{{B_{r}}}}{{\Gamma(\alpha)}} \int_{{t_{2}}}^{+\infty} { \bigl\vert {\delta({t_{2}},{t_{2}})- \delta({t_{1}},{t_{1}})} \bigr\vert } a(s)\frac {{ds}}{s} \\ \quad \leqslant\frac{{{B_{r}}\varepsilon}}{{\Gamma(\alpha)}}(2\omega +2\varepsilon+3), \end{gathered} \end{aligned}$$
(3.11)
and
$$ \varpi \bigl\vert {\delta({t_{2}},{t_{2}})- \delta({t_{1}},{t_{1}})} \bigr\vert \int _{1}^{+\infty}{a(s)f\bigl(s,x(s)\bigr) \frac{{ds}}{s}}\leqslant{B_{r}}\omega\varpi \varepsilon. $$
(3.12)
By (3.11) and (3.12), for any \(\varepsilon>0\), there exists a sufficiently large number \(R=R(\varepsilon)>0\) such that, for any \(x \in\bar{\Omega}\), \({t_{1}},{t_{2}}>R\),
$$\begin{aligned} \biggl\vert {\frac{{Tx({t_{2}})}}{{1+{{(\ln{t_{2}})}^{\alpha-1}}}}-\frac {{Tx({t_{1}})}}{{1+{{(\ln{t_{1}})}^{\alpha-1}}}}} \biggr\vert < \varepsilon. \end{aligned} $$
Applying Lemma 3.3, \(T:P \to P\) is completely continuous. □

Theorem 3.1

Assume that \((\mathrm{A}_{1})\)\((\mathrm {A}_{2})\) and the following conditions hold:
\((\mathrm{A}_{3})\)

\(f(t,x)\) is continuous and nondecreasing on x, \(x\in P\);

\((\mathrm{A}_{4})\)

\(f(t,(1+{(\ln t)^{\alpha-1}})x) \leqslant\frac {{\kappa a}}{\omega}\) for all \((t,x)\in[1, +\infty)\times[0,a]\),

where a is a positive constant. Then BVP (1.1) has the maximal positive solutions \({x^{*}}\) and minimal positive solutions \({y^{*}}\) in \((0,a{(\ln t)^{\alpha-1}}]\), which can be obtained by the following two iterative sequences:
$$\begin{aligned} &{x_{n + 1}}(t) = \int_{1}^{ + \infty} {G(t,s)a(s)f\bigl(s,{x_{n}}(s) \bigr)\frac {{ds}}{s}}, \quad t \in[1, + \infty), n = 0,1,2, \ldots, \\ &{y_{n + 1}}(t) = \int_{1}^{ + \infty} {G(t,s)a(s)f\bigl(s,{y_{n}}(s) \bigr)\frac {{ds}}{s}}, \quad t \in[1, + \infty), n = 0,1,2, \ldots, \end{aligned} $$
respectively, with the initial values \({x_{0}}(t) = a{(\ln t)^{\alpha -1}}\), \({y_{0}}(t) = 0\), \(t \in[1, +\infty)\), and they satisfy
$$\begin{aligned} {y_{0}} \leqslant{y_{1}} \leqslant \cdots \leqslant{y_{n}} \leqslant \cdots \leqslant{y^{*} } \leqslant \cdots \leqslant{x^{*} } \leqslant \cdots \leqslant{x_{n}} \leqslant \cdots \leqslant{x_{1}} \leqslant{x_{0}}. \end{aligned} $$

Proof

By Lemma 3.4, \(T:P \to P\) is completely continuous. For any \({x_{1}},{x_{2}} \in P\) with \({x_{1}}\leqslant{x_{2}}\), by condition \((\mathrm {A}_{3})\) and the definition of T, we can see that \(T{x_{1}}\leqslant T{x_{2}}\). Set
$$\begin{aligned} {\bar{P}_{a}}=\bigl\{ x\in P: \Vert x \Vert _{E}\leqslant a\bigr\} . \end{aligned} $$
Then \(T:{\bar{P}_{a}}\to{\bar{P}_{a}}\). In fact, for any \(x \in{\bar{P}_{a}}\), then \(\Vert x\Vert _{E} \leqslant a\), by \((\mathrm{A}_{4})\), we have
$$\begin{aligned}f(t,x)=f\biggl(t,\bigl(1+{(\ln t)^{\alpha-1}} \bigr)\frac {{x(t)}}{{1+{{(\ln t)}^{\alpha-1}}}}\biggr)\leqslant\frac{{\kappa a}}{\omega}. \end{aligned} $$
Thus,
$$\begin{aligned} \Vert Tx \Vert _{E}&=\sup _{t\in[1, +\infty)} \frac{1}{{1+{{(\ln t)}^{\alpha -1}}}} \biggl\vert { \int_{1}^{+\infty} {G(t,s)a(s)f\bigl(s,x(s)\bigr) \frac{{ds}}{s}}} \biggr\vert \\ &\leqslant \sup_{t \in[1, +\infty)} \frac{{{{(\ln t)}^{\alpha -1}}}}{{\Gamma(\alpha)(1+{{(\ln t)}^{\alpha-1}})}} \int_{1}^{+\infty} {a(s)f\bigl(s,x(s)\bigr) \frac{{ds}}{s}} \\ &\quad{}+\sup_{t \in[1, +\infty)} \frac{{{{(\ln t)}^{\alpha-1}}\varpi }}{{1+{{(\ln t)}^{\alpha-1}}}} \int_{1}^{+\infty} {a(s)f\bigl(s,x(s)\bigr) \frac {{ds}}{s}} \\ &\leqslant \frac{1}{\kappa} \int_{1}^{+\infty} {a(s)\frac{{ds}}{s}} \cdot \frac{{\kappa a}}{\omega}= a, \end{aligned} $$
which implies \(T:{\bar{P}_{a}} \to{\bar{P}_{a}}\). Let \({x_{0}}(t)=a{(\ln t)^{\alpha-1}}\), \(t\in[1, +\infty)\), then \({x_{0}}(t) \in{\bar{P}_{a}}\). Define the iterative sequence as follows:
$$\begin{aligned} {x_{n + 1}}(t) = T{x_{n}}(t),\quad t \in[1, + \infty), n = 0,1,2, \ldots. \end{aligned} $$
Since \(T:{\bar{P}_{a}} \to{\bar{P}_{a}}\) and T is completely continuous, we can derive
$$\begin{aligned} {x_{n + 1}}(t) = T{x_{n}}(t) \in{ \bar{P}_{a}},\quad t \in[1, + \infty), n = 0,1,2, \ldots, \end{aligned} $$
and \(\{{x_{n}}\}_{n=1}^{\infty}\) is a sequentially compact set. Then, by \((\mathrm{A}_{4})\), we have
$$\begin{aligned} {x_{1}}(t)&= \int_{1}^{+\infty}{G(t,s)a(s)f\bigl(s,{x_{0}}(s) \bigr)\frac{{ds}}{s}} \\ &\leqslant \frac{{{{(\ln t)}^{\alpha-1}}}}{{\Gamma(\alpha)}} \int _{1}^{+\infty} {a(s)f\bigl(s,{x_{0}}(s) \bigr)\frac{{ds}}{s}}+\varpi{(\ln t)^{\alpha -1}} \int_{1}^{+\infty}{a(s)f\bigl(s,{x_{0}}(s) \bigr)\frac{{ds}}{s}} \\ &\leqslant \frac{1}{\kappa} \int_{1}^{+\infty} {a(s)\frac{{ds}}{s}} {(\ln t)^{\alpha-1}}\frac{{\kappa a}}{\omega}={x_{0}}(t). \end{aligned} $$
Therefore,
$$\begin{aligned} {x_{1}}(t)=T{x_{0}}(t) \leqslant{x_{0}}(t), \quad t \in[1, +\infty). \end{aligned} $$
On account of T is a nondecreasing operator, we can derive a fact
$$\begin{aligned} {x_{n + 1}}(t) \leqslant{x_{n}}(t), \quad t \in[1, + \infty), n = 0,1,2, \ldots. \end{aligned} $$
Thus, there exists \({x^{*}} \in{\bar{P}_{a}}\) such that \({x_{n}} \to{x^{*}}\) as \(n \to\infty\) and \(T{x^{*}}={x^{*}}\). Let \({y_{0}}(t)=0\), \(t\in[1, +\infty )\). Define the iterative sequence as follows:
$$\begin{aligned} {y_{n + 1}}(t) = T{y_{n}}(t),\quad t \in[1, + \infty), n = 0,1,2, \ldots. \end{aligned} $$
Similarly, we have \(\{ {y_{n}}\} _{n = 1}^{\infty}\subset{\bar{P}_{a}}\) is a sequentially compact set, and
$$\begin{aligned} {y_{n + 1}}(t) \geqslant{y_{n}}(t) \geqslant\cdots\geqslant{y_{0}}(t)=0, \quad t \in[1, + \infty), n = 0,1,2, \ldots. \end{aligned} $$
Furthermore, there exists \({y^{*}}\in{\bar{P}_{a}}\) such that \({y_{n}}\to {y^{*}}\) as \(n\to\infty\) and \(T{y^{*}}={y^{*}}\). Since \(f(t,0)\not\equiv0\) on any subinterval of \([1, +\infty)\), it implies \({y^{*}}\) is a positive solution of BVP (1.1). We now prove that \({x^{*} }(t)\) and \({y^{*} }(t)\) are the maximal and minimal solutions of BVP (1.1) in \((0,a{(\ln t)^{\alpha-1}}]\), respectively. Let \(w(t)\) be any solution of BVP (1.1) with \(0\leqslant w(t) \leqslant a{(\ln t)^{\alpha-1}}\), that is,
$$\begin{aligned} {y_{0}}(t)=0\leqslant w(t)\leqslant a{(\ln t)^{\alpha- 1}}={x_{0}}(t), \quad t\in[1, + \infty). \end{aligned} $$
Noting that T is nondecreasing, we have
$$\begin{aligned} {y_{1}}(t) = T{y_{0}}(t) \leqslant w(t) \leqslant T{x_{0}}(t) = {x_{1}}(t), \quad t \in[1, + \infty), \end{aligned} $$
and
$$\begin{aligned} {y_{n}}(t) \leqslant w(t) \leqslant{x_{n}}(t), \quad t \in[1, + \infty), n = 1,2, \ldots. \end{aligned} $$
From \(\lim_{n\to\infty}{y_{n}}={y^{*}}\), \(\lim_{n\to\infty}{x_{n}}={x^{*}}\), and the monotonicity of \(\{ {x_{n}}(t)\}\), \(\{ {y_{n}}(t)\}\), we obtain
$$\begin{aligned} {y_{0}} \leqslant{y_{1}} \leqslant \cdots \leqslant{y_{n}} \leqslant \cdots \leqslant{y^{*} } \leqslant \cdots \leqslant{x^{*} } \leqslant \cdots \leqslant{x_{n}} \leqslant \cdots \leqslant{x_{1}} \leqslant{x_{0}}. \end{aligned} $$
Therefore, \({y^{*}}\) and \({x^{*}}\) are respectively the minimal and maximal positive solutions of BVP (1.1) in \((0,a{(\ln t)^{\alpha-1}}]\). □

Example 3.1

Consider the boundary value problem
$$ \textstyle\begin{cases} {}^{H}D_{1 + }^{{7 / 2}}x(t)+\frac{1}{{{e^{\ln t}}}} [ {1 + \sin ( {\frac{\pi}{2} \cdot\frac{{x(t)}}{{1 + {{(\ln t)}^{ {5 / 2}}} + x(t)}}} )} ] = 0,\quad t \in(1, + \infty), \\ x(1) = x'(1) = x''(1) = 0, \qquad{}^{H}D_{1 + }^{{5 / 2}}x( + \infty) = \int_{1}^{ + \infty} {\frac{1}{{2{e^{\ln t}}}}x(t)\frac{{dt}}{t}.} \end{cases} $$
(3.13)
Corresponding to problem (1.1), where
$$ \begin{aligned} &n = 4, \qquad\alpha = \frac{7}{2}, \qquad a(t) = \frac{1}{{{e^{\ln t}}}}, \qquad g(t) = \frac{1}{{2{e^{\ln t}}}}, \\ & f\bigl(t,x(t)\bigr) = 1 + \sin \biggl( { \frac{\pi}{2} \cdot\frac{{x(t)}}{{1 + {{(\ln t)}^{{5 / 2}}} + x(t)}}} \biggr). \end{aligned} $$
(3.14)
By calculating, we have
$$\begin{aligned} \begin{aligned} &\kappa=\Gamma({7 / 2}) - \int_{1}^{ + \infty} {\frac{1}{{2{e^{\ln t}}}}{{(\ln t)}^{\alpha - 1}}\frac{{dt}}{t}} = \frac{1}{2}\Gamma({7 / 2}) = \frac{{15}}{{16}}\sqrt{\pi}> 0, \\ &\omega= \int_{1}^{ + \infty} {a(t)\frac{{dt}}{t}} = \int_{1}^{ + \infty } {\frac{1}{{{e^{\ln t}}}}\frac{{dt}}{t}} = 1. \end{aligned} \end{aligned}$$
(3.15)
Let \(a = 2\), then
$$ \begin{aligned} f\bigl(t,\bigl(1 + {(\ln t)^{{5 / 2}}}\bigr)x \bigr) = 1 + \sin \biggl( {\frac{\pi}{2} \cdot \frac{{x(t)}}{{1 + x(t)}}} \biggr) \leqslant2 \leqslant\frac {{15}}{8}\sqrt{\pi}= \frac{{\kappa a}}{\omega}. \end{aligned} $$
(3.16)
From (3.14)–(3.16), we can see that \((\mathrm{A}_{1})\)\((\mathrm{A}_{4})\) hold. By Theorem 3.1, BVP (3.13) has the positive maximal solution \({x^{*}}\) and the minimal solution \({y^{*}}\) in \((0,2{(\ln t)^{{5 / 2}}}]\), which can be approximated by the following iterative sequences:
$$\begin{aligned}& \begin{aligned} &{x_{n + 1}}(t) \\ &\quad = \frac{{16}}{{15\sqrt{\pi}}}{(\ln t)^{{5 / 2}}} \int _{1}^{ + \infty} { \biggl[ {1 + \sin \biggl( { \frac{\pi}{2} \cdot\frac {{{x_{n}}(s)}}{{1 + {{(\ln s)}^{{5 / 2}}} + {x_{n}}(s)}}} \biggr)} \biggr]\frac{{ds}}{{{s^{2}}}}} \\ &\qquad{}- \frac{{64}}{{225\pi}}{(\ln t)^{{5 / 2}}} \int_{1}^{ + \infty } { \int_{s}^{+\infty} {{{\bigl(\ln({t / s}) \bigr)}^{{5 / 2}}}\frac {{dt}}{{{t^{2}}}}} } \biggl[ {1 + \sin \biggl( { \frac{\pi}{2} \cdot\frac {{{x_{n}}(s)}}{{1 + {{(\ln s)}^{{5 / 2}}} + {x_{n}}(s)}}} \biggr)} \biggr]\frac{{ds}}{{{s^{2}}}} \\ &\qquad{}- \frac{8}{{15\sqrt{\pi}}} \int_{1}^{t} {{{\bigl(\ln({t / s}) \bigr)}^{{5 / 2}}} \biggl[ {1 + \sin \biggl( {\frac{\pi}{2} \cdot \frac{{{x_{n}}(s)}}{{1 + {{(\ln s)}^{{5 / 2}}} + {x_{n}}(s)}}} \biggr)} \biggr]\frac {{ds}}{{{s^{2}}}},} \quad t \in[1, + \infty), \end{aligned} \\& \begin{aligned}& {y_{n + 1}}(t) \\ &\quad = \frac{{16}}{{15\sqrt{\pi}}}{(\ln t)^{{5 / 2}}} \int _{1}^{ + \infty} { \biggl[ {1 + \sin \biggl( { \frac{\pi}{2} \cdot\frac {{{y_{n}}(s)}}{{1 + {{(\ln s)}^{{5 / 2}}} + {y_{n}}(s)}}} \biggr)} \biggr]\frac{{ds}}{{{s^{2}}}}} \\ &\qquad{}- \frac{{64}}{{225\pi}}{(\ln t)^{{5 / 2}}} \int_{1}^{ + \infty } { \int_{s}^{+\infty} {{{\bigl(\ln({t / s}) \bigr)}^{{5 / 2}}}\frac{{dt}}{{{t^{2}}}}} } \biggl[ {1 + \sin \biggl( { \frac{\pi}{2} \cdot\frac{{{y_{n}}(s)}}{{1 + {{(\ln s)}^{{5 / 2}}} + {x_{n}}(s)}}} \biggr)} \biggr]\frac{{ds}}{{{s^{2}}}} \\ &\qquad{}- \frac{8}{{15\sqrt{\pi}}} \int_{1}^{t} {{{\bigl(\ln({t / s}) \bigr)}^{{5 / 2}}} \biggl[ {1 + \sin \biggl( {\frac{\pi}{2} \cdot \frac{{{y_{n}}(s)}}{{1 + {{(\ln s)}^{{5 / 2}}} + {y_{n}}(s)}}} \biggr)} \biggr]\frac {{ds}}{{{s^{2}}}},} \quad t \in[1, + \infty), \end{aligned} \end{aligned}$$
with the initial values \({x_{0}}(t) = 2{(\ln t)^{{5 / 2}}}\), \({y_{0}}(t) = 0\), \(t \in[1, +\infty)\), respectively. It is easy to check that
$$\begin{aligned}& {x_{1}}(t) \le\frac{{16}}{{15\sqrt{\pi}}}{(\ln t)^{2.5}} \int_{1}^{ + \infty} { \bigl[ {1 + \Xi(s)} \bigr]} \frac{{ds}}{{{s^{2}}}} \le\frac {{16 ( {2 + \sqrt{3} } )}}{{30\sqrt{\pi}}}{(\ln t)^{2.5}} < 2{(\ln t)^{2.5}}, \\& \begin{aligned} {y_{1}}(t) &= \frac{{16}}{{15\sqrt{\pi}}}{(\ln t)^{2.5}} - \frac {{64}}{{225\pi}}{(\ln t)^{2.5}} \int_{1}^{ + \infty} \int_{s}^{ + \infty } {{{ \biggl( {\ln\frac{t}{s}} \biggr)}^{2.5}}\frac{{dt}}{{{t^{2}}}}\frac {{ds}}{{{s^{2}}}}} \\ &\quad {}- \frac{8}{{15\sqrt{\pi}}} \int_{1}^{t} {{{ \biggl( {\ln \frac{t}{s}} \biggr)}^{2.5}}\frac{{ds}}{{{s^{2}}}}} \\ &> \frac{{16}}{{15\sqrt{\pi}}}{(\ln t)^{2.5}} - \frac{{64}}{{225\pi }}{(\ln t)^{2.5}} \int_{1}^{ + \infty} { \int_{1}^{ + \infty} {{{ ( {\ln t} )}^{2.5}} \frac{{dt}}{{{t^{2}}}}\frac{{ds}}{{{s^{2}}}}} - } \frac{8}{{15\sqrt{\pi}}}{ ( {\ln t} )^{2.5}} = 0, \end{aligned} \end{aligned}$$
and
$$\begin{aligned} &{x_{1}}(t) - {y_{1}}(t) \\ &\quad = \frac{{16}}{{15\sqrt{\pi}}}{(\ln t)^{2.5}} \int _{1}^{ + \infty} {\Xi(s)} \frac{{ds}}{{{s^{2}}}} - \frac{{64}}{{225\pi }}{(\ln t)^{2.5}} { \int_{1}^{ + \infty} { \int_{s}^{ + \infty} { \biggl( {\ln \frac{t}{s}} \biggr)} } ^{2.5}}\frac{{dt}}{{{t^{2}}}}\Xi(s)\frac{{ds}}{{{s^{2}}}} \\ &\qquad {} - \frac{8}{{15\sqrt{\pi}}} \int_{1}^{t} {{{ \biggl( {\ln\frac{t}{s}} \biggr)}^{2.5}}\Xi(s)} \frac{{ds}}{{{s^{2}}}} \\ &\quad > \frac{{16}}{{15\sqrt{\pi}}}{(\ln t)^{2.5}} \int_{1}^{ + \infty} {\Xi (s)} \frac{{ds}}{{{s^{2}}}} - \frac{{64}}{{225\pi}}{(\ln t)^{2.5}} \int _{1}^{ + \infty} { \int_{1}^{ + \infty} {{{ ( {\ln t} )}^{2.5}}} } \frac{{dt}}{{{t^{2}}}}\Xi(s)\frac{{ds}}{{{s^{2}}}} \\ &\qquad {} - \frac{8}{{15\sqrt{\pi}}} \int_{1}^{ + \infty} {{{ ( {\ln t} )}^{2.5}}\Xi(s)} \frac{{ds}}{{{s^{2}}}} \\ &\quad = 0, \end{aligned} $$
where \(\Xi(s) = \sin ( {\frac{\pi}{2} \cdot\frac{{2{{(\ln s)}^{2.5}}}}{{1 + 3{{(\ln s)}^{2.5}}}}} )\). A tedious calculation can give two monotone sequences \(\{ {x_{n}}\}\) and \(\{ {y_{n}}\}\), \(n = 1,2, \ldots\) .

4 The main result of (1.2)

Let
$$\begin{aligned}& \begin{aligned} X &= \biggl\{ {x:[1, +\infty) \to\mathbb{R}\Big| {x,{}^{H}D_{1+}^{\alpha- 2}x,{}^{H}D_{1+}^{\alpha- 1}x \in C[1, +\infty ),} \sup_{t \in[1, +\infty)} \frac{{ \vert x(t) \vert }}{{1 + {{(\ln t)}^{\alpha- 1}}}}} < +\infty, \\ &\quad \sup_{t \in[1, + \infty)} \frac{{ \vert {}^{H}D_{1+}^{\alpha- 2}x(t) \vert }}{{1 + \ln t}} < + \infty,\sup _{t \in[1, + \infty)} \bigl\vert {}^{H}D_{1+}^{\alpha- 1}x(t) \bigr\vert < +\infty \biggr\} , \end{aligned} \\& Y = \biggl\{ {y:[1, + \infty) \to\mathbb{R}\Big|{ \int_{1}^{+\infty} {a(t)} \bigl\vert y(t) \bigr\vert \frac{{dt}}{t} < +\infty} } \biggr\} . \end{aligned}$$
It is easy to check that X and Y are two Banach spaces, respectively, with the norms
$$\begin{aligned} &\Vert x \Vert _{X} = \max \biggl\{ {{{ \biggl\Vert { \frac{x}{{1 + {{(\ln t)}^{\alpha - 1}}}}} \biggr\Vert }_{\infty}},{{ \biggl\Vert { \frac{{{}^{H}D_{1+}^{\alpha- 2}x}}{{1+\ln t}}} \biggr\Vert }_{\infty}},{{ \bigl\Vert {{}^{H}D_{1 + }^{\alpha - 1}x} \bigr\Vert }_{\infty}}} \biggr\} ,\\ & \Vert y \Vert _{Y} = \int_{1}^{+\infty} {a(t) \bigl\vert y(t) \bigr\vert \frac{{dt}}{t}}, \end{aligned} $$
where \(\Vert x\Vert _{\infty}=\sup_{t \in[1, +\infty)} |x(t)|\).
Define the linear operator \(L:\operatorname{dom}L\subset X\to Y\) and the nonlinear operator \(N:X\to Y\) as follows:
$$\begin{gathered} Lx(t) = - \frac{1}{{a(t)}}{}^{H}D_{1 + }^{\alpha}x(t),\quad x(t) \in \operatorname{dom}L, \\ Nx(t) = f\bigl(t,x(t),{}^{H}D_{1 + }^{\alpha - 2}x(t),{}^{H}D_{1 + }^{\alpha- 1}x(t) \bigr),\quad x(t)\in X, \end{gathered} $$
where
$$\operatorname{dom}L = \bigl\{ x(t) \in X| {}^{H}D_{1 + }^{\alpha}x(t) \in Y, x(t) \mbox{ satisfies boundary conditions of (1.2)}\bigr\} . $$
Then problem (1.2) is equivalent to the operator equation \(Lx = Nx\), \(x \in\operatorname{dom}L\).

Lemma 4.1

Assume that \((\mathrm{H}_{1})\) holds. Then the operator \(L:\operatorname{dom}L \subset X \to Y\) satisfies
$$\begin{aligned}& \operatorname{Ker}L = \bigl\{ {x(t) \in\operatorname{dom}L| {x(t) = c{{(\ln t)}^{\alpha - 1}}, c \in\mathbb{R}} } \bigr\} , \end{aligned}$$
(4.1)
$$\begin{aligned}& \operatorname{Im} L = \biggl\{ {y(t) \in Y\Big| { \int_{1}^{+\infty} {g(t) \int_{t}^{+\infty} {a(s)y(s)\frac{{ds}}{s}} } \frac{{dt}}{t}=0} } \biggr\} . \end{aligned}$$
(4.2)

Proof

For \(Lx =-\frac{1}{{a(t)}}{}^{H}D_{1+}^{\alpha}x = 0\), by Lemma 2.2, we have
$$x(t) = {c_{1}} {(\ln t)^{\alpha - 1}} + {c_{2}} {(\ln t)^{\alpha - 2}} + {c_{3}} {(\ln t)^{\alpha - 3}},\quad {c_{1}},{c_{2}},{c_{3}} \in\mathbb{R}. $$
Noting that \(x(1) = x'(1) = 0\), we have
$$x(t) = {c_{1}} {(\ln t)^{\alpha - 1}}. $$
So,
$$\operatorname{Ker}L \subset \bigl\{ {x \in\operatorname{dom}L| {x(t) = c{{(\ln t)}^{\alpha - 1}}, c \in\mathbb{R}} } \bigr\} . $$
Conversely, take \(x(t) = c{(\ln t)^{\alpha - 1}}\), \(c \in\mathbb{R}\). We can easily check that \(-\frac{1}{{a(t)}}{}^{H}D_{1 + }^{\alpha}x = 0\) and \(x(t)\) satisfies the boundary conditions of (1.2). Hence,
$$\bigl\{ {x \in\operatorname{dom}L|{x(t) = c{{(\ln t)}^{\alpha - 1}}, c \in \mathbb{R}} } \bigr\} \subset\operatorname{Ker}L. $$
That means (4.1) holds. For any \(y \in\operatorname{Im} L\), there exists a function \(x \in\operatorname{dom}L\) such that \(Lx(t) = y(t)\). By Lemma 2.2 and the boundary conditions \(x(1) = x'(1) = 0\), one has
$$\begin{aligned} x(t)=-{}^{H}I_{1+}^{\alpha}a(t)y(t)+{c_{1}} {(\ln t)^{\alpha- 1}}. \end{aligned} $$
Using the fact that \({}^{H}D_{1+}^{\alpha- 1}x(+\infty) = \int_{1}^{+\infty} {g(t)} {}^{H}D_{1+}^{\alpha- 1}x(t)\frac{{dt}}{t}\), we have
$$\begin{aligned} {}^{H}D_{1+}^{\alpha- 1}x(+ \infty)&= {c_{1}}\Gamma(\alpha)- \int_{1}^{ + \infty} {a(s)y(s)\frac{{ds}}{s}} \\ &= \int_{1}^{+\infty} {g(t) \biggl[ {{c_{1}}\Gamma( \alpha)- \int_{1}^{t} {a(s)y(s)\frac{{ds}}{s}}} \biggr] \frac{{dt}}{t}} \\ &= {c_{1}}\Gamma(\alpha)- \int_{1}^{+\infty} {g(t) \int_{1}^{t} {a(s)y(s)\frac {{ds}}{s}} \frac{{dt}}{t}} , \end{aligned} $$
that is,
$$\begin{aligned} \int_{1}^{+\infty} {g(t) \int_{t}^{+\infty} {a(s)y(s)\frac{{ds}}{s}} \frac {{dt}}{t}}= 0. \end{aligned}$$
(4.3)
Thus,
$$\operatorname{Im} L \subset \biggl\{ {y \in Y\Big| { \int_{1}^{+\infty} {g(t) \int_{t}^{+\infty} {a(s)y(s)\frac{{ds}}{s}} } \frac{{dt}}{t}=} 0} \biggr\} . $$
Conversely, let \(y \in Y\) satisfy (4.3), take \(x(t)=-{}^{H}I_{1+}^{\alpha}a(t)y(t)\), we can check that \(x \in\operatorname{dom}L\) and \(Lx(t) = y(t)\). Then we obtain
$$\biggl\{ {y \in Y\Big| { \int_{1}^{+\infty} {g(t) \int_{t}^{+\infty} {a(s)y(s)\frac{{ds}}{s}} } \frac{{dt}}{t}=0} } \biggr\} \subset \operatorname{Im} L. $$
The proof is completed. □
Let
$$\Delta:= \int_{1}^{+\infty} {g(t) \int_{t}^{+\infty} {a(s)\frac{{ds}}{s}} \frac{{dt}}{t}}. $$
Based on \((\mathrm{H}_{1})\) and the nonnegativity of \(g(t)\), \(a(t)\), we get
$$\begin{aligned} 0 &< \Delta= \int_{1}^{+\infty} {g(t) \int_{t}^{+\infty} {a(s)\frac {{ds}}{s}} \frac{{dt}}{t}} \leqslant \int_{1}^{+\infty} {g(t) \int _{1}^{+\infty} {a(s)\frac{{ds}}{s}} \frac{{dt}}{t}} \\ &= \int_{1}^{+\infty} {a(t)\frac{{dt}}{t}}< +\infty. \end{aligned} $$

Lemma 4.2

Assume that \((\mathrm{H}_{1})\) holds, then \(L:\operatorname{dom}L \subset X \to Y\) is a Fredholm operator of index zero. Set the linear operators \(P:X \to X\) and \(Q:Y \to Y\) defined as follows:
$$(Px) (t)=\frac{1}{{\Gamma(\alpha)}}{}^{H}D_{1+}^{\alpha-1}x(1){( \ln t)^{\alpha-1}},\qquad (Qy) (t)=\frac{1}{\Delta} \int_{1}^{+\infty} {g(t) \int_{t}^{+\infty} {a(s)y(s)\frac{{ds}}{s}} \frac{{dt}}{t}}. $$

Proof

According to the definition of P, we can check that P is a continuous linear projector operator and satisfies \(\operatorname{Im} P = \operatorname{Ker}L\), \(X = \operatorname{Ker}P \oplus\operatorname{Ker}L\). By the definition of Q, we can see that Q is a continuous linear operator with \(\dim \operatorname{Im} Q = 1\) and the following equations hold:
$$\begin{aligned} \bigl({Q^{2}}y\bigr) (t)&=Q\bigl(Qy(t) \bigr)=\frac{1}{\Delta} \int_{1}^{+\infty} {g(t) \int _{t}^{+\infty} {a(s)Qy(s)\frac{{ds}}{s}} \frac{{dt}}{t}} \\ &=\frac{{Qy(t)}}{\Delta} \int_{1}^{+\infty} {g(t) \int_{t}^{+\infty} {a(s)\frac{{ds}}{s}} \frac{{dt}}{t}} \\ &=Qy(t). \end{aligned} $$
That is, Q is a projector operator. Obviously, we have \(\operatorname {Im}L =\operatorname{Ker}Q\). For any \(y\in Y\), then y can be expressed as \(y=(y-Qy)+Qy\), i.e., \(Y =\operatorname{Im}L+\operatorname {Im}Q\). In addition, for any \(y \in\operatorname{Im}L \cap \operatorname{Im}Q\), since \(\operatorname{Im} L=\operatorname{Ker}Q\), we get \(y=Qy = 0\), i.e., \(\operatorname{Im}Q \cap\operatorname{Im}L= \{0\}\). Thus, \(Y=\operatorname{Im} Q \oplus\operatorname{Im}L\). Moreover, \(\dim \operatorname{Ker}L=\dim\operatorname{Im}Q=co\dim\operatorname {Im}L=1\). Therefore, L is a Fredholm operator with zero index. □

Lemma 4.3

Suppose that \((\mathrm{H}_{1})\) holds. Define a linear operator \({K_{p}}:\operatorname{Im}L \to\operatorname{dom}L \cap\operatorname{Ker}P\) by
$$\begin{aligned}({K_{p}}y) (t)=-\frac{1}{{\Gamma(\alpha)}} \int_{1}^{t} {{{ \biggl({\ln\frac{t}{s}} \biggr)}^{\alpha-1}}a(s)y(s)\frac{{ds}}{s}}, \quad y \in\operatorname{Im} L. \end{aligned} $$
Then \({K_{p}}\) is the inverse of \(L{|_{\operatorname{dom}L \cap \operatorname{Ker}P}}\) and \(\Vert {K_{p}}y\Vert _{X} \leqslant\Vert y\Vert _{Y}\) for any \(y \in\operatorname{Im}L\).

Proof

For \(y \in\operatorname{Im} L\), by the definition of \({K_{p}}\), we can check that \({K_{p}}y \in\operatorname{dom}L \cap\operatorname{Ker}P\). Thus, \({K_{p}}\) is well defined on ImL. Now we show that \({K_{p}}=(L{|_{\operatorname{dom}L \cap\operatorname{Ker}P}})^{-1}\). In fact, it is easy to get \((L{K_{p}})y(t) = y(t)\) for any \(y \in \operatorname{Im} L\). For all \(x(t) \in\operatorname{dom}L \cap \operatorname{Ker}P\), by Lemma 2.2, we have
$$({K_{p}}L)x(t)={}^{H}I_{1+}^{\alpha}{}^{H}D_{1+}^{\alpha}x(t)=x(t)+c{(\ln t)^{\alpha- 1}}, \quad c \in\mathbb{R}. $$
Because \(({K_{p}}L)x(t) \in\operatorname{Ker}P\) and \(c{(\ln t)^{\alpha -1}} \in\operatorname{Ker}L=\operatorname{Im}P\), we have \(c{(\ln t)^{\alpha-1}}=-Px(t)=0\). Then, \(({K_{p}}L)x(t)=x(t)\). Therefore, \({K_{p}} = (L{|_{\operatorname{dom}L \cap\operatorname{Ker}P}})^{ - 1}\). Also, we have the following inequalities:
$$\begin{aligned}& \begin{aligned} { \biggl\Vert {\frac{{{K_{p}}y}}{{1 + {{(\ln t)}^{\alpha - 1}}}}} \biggr\Vert _{\infty}} &= \sup_{t \in[1, + \infty)} \frac{{ \vert {K_{p}}y \vert }}{{1 + {{(\ln t)}^{\alpha - 1}}}} \\ &= \sup_{t \in[1, + \infty)} \frac{1}{{\Gamma(\alpha)}} \biggl\vert { \int _{1}^{t} {\frac{{(\ln{{({t / {s)}})}^{\alpha - 1}}}}{{1 + {{(\ln t)}^{\alpha - 1}}}}a(s)y(s) \frac{{ds}}{s}} } \biggr\vert \leqslant\frac {1}{{\Gamma(\alpha)}} \Vert y \Vert _{Y} \leqslant \Vert y \Vert _{Y}, \end{aligned} \\& \begin{aligned} { \biggl\Vert {\frac{{{}^{H}D_{1 + }^{\alpha - 2}{K_{p}}y}}{{1 + \ln t}}} \biggr\Vert _{\infty}} &= \sup_{t \in[1, + \infty)} \frac{{ \vert {}^{H}D_{1 + }^{\alpha - 2}{K_{p}}y \vert }}{{1 + \ln t}} = \sup _{t \in[1, + \infty)} \biggl\vert { \int_{1}^{t} {\frac{{\ln({t / {s)}}}}{{1 + \ln t}}a(s)y(s) \frac {{ds}}{s}} } \biggr\vert \leqslant \Vert y \Vert _{Y}, \\ { \bigl\Vert {{}^{H}D_{1 + }^{\alpha - 1}{K_{p}}y} \bigr\Vert _{\infty}} &= \sup_{t \in[1, + \infty)} \biggl\vert { \int_{1}^{t} {a(s)y(s)\frac{{ds}}{s}} } \biggr\vert \leqslant \Vert y \Vert _{Y}. \end{aligned} \end{aligned}$$
So, \(\Vert {K_{p}}y\Vert _{X} \leqslant\Vert y\Vert _{Y}\) for all \(y \in\operatorname{Im}L\). □

Lemma 4.4

Let \(V = \{ x \in X:\Vert x\Vert _{X} \leqslant r, r >0\} \subset X\). Then V is relatively compact in X if it satisfies the following conditions:
  1. (i)

    For any \(x(t)\in V\), \(\frac{{x(t)}}{{1+{{(\ln t)}^{\alpha -1}}}}\), \(\frac{{{}^{H}D_{1+}^{\alpha-2}x(t)}}{{1+\ln t}}\), and \({}^{H}D_{1+}^{\alpha-1}x(t)\) are equicontinuous on any compact interval of \([1, +\infty)\);

     
  2. (ii)
    For any \(\varepsilon>0\), there exists a constant \(S=S(\varepsilon)>0\) such that, for all \(x(t) \in V\), \({t_{1}},{t_{2}} \geqslant S\), it holds
    $$\begin{aligned}& \biggl\vert {\frac{{x({t_{1}})}}{{1 + {{(\ln{t_{1}})}^{\alpha - 1}}}} - \frac {{x({t_{2}})}}{{1 + {{(\ln{t_{2}})}^{\alpha - 1}}}}} \biggr\vert < \varepsilon, \qquad \biggl\vert { \frac{{{}^{H}D_{1 + }^{\alpha - 2}x({t_{1}})}}{{1 + \ln{t_{1}}}} - \frac{{{}^{H}D_{1 + }^{\alpha - 2}x({t_{2}})}}{{1 + \ln{t_{2}}}}} \biggr\vert < \varepsilon, \\& \bigl\vert {{}^{H}D_{1 + }^{\alpha - 1}x({t_{1}}) - {}^{H}D_{1 + }^{\alpha - 1}x({t_{2}})} \bigr\vert < \varepsilon. \end{aligned}$$
     

Proof

Since X is a Banach space and \(V \subset X\), it is sufficient to show that V is totally bounded. In fact, for any \(S\in(1,+\infty)\), take
$$\begin{gathered} {V_{[1,S]}} = \bigl\{ x(t):x(t) \in V, t \in[1,S]\bigr\} ,\qquad V_{[1,S]}^{\alpha - 2} = \bigl\{ {}^{H}D_{1 + }^{\alpha - 2}x(t):x(t) \in {V_{[1,S]}} \bigr\} , \\ V_{[1,S]}^{\alpha - 1} = {\bigl\{ ^{H}}D_{1 + }^{\alpha - 1}x(t):x(t) \in {V_{[1,S]}}\bigr\} , \end{gathered} $$
with the norms
$$\begin{gathered} \Vert x \Vert _{\infty}= \sup _{t \in[1,S]} \frac{{ \vert {x(t)} \vert }}{{1 + {{(\ln t)}^{\alpha - 1}}}},\qquad \bigl\Vert {}^{H}D_{1 + }^{\alpha - 2}x \bigr\Vert _{\infty}= \sup_{t \in[1,S]} \frac{{ \vert {{}^{H}D_{1 + }^{\alpha - 2}x(t)} \vert }}{{1 + \ln t}}, \\ \bigl\Vert {}^{H}D_{1 + }^{\alpha - 1}x \bigr\Vert _{\infty}= \sup_{t \in[1,S]} \bigl\vert {{}^{H}D_{1 + }^{\alpha - 1}x(t)} \bigr\vert , \end{gathered} $$
respectively. It is clear that \(({V_{[1,S]}},\Vert x\Vert _{\infty})\), \((V_{[1,S]}^{\alpha - 2},\Vert {}^{H}D_{1 + }^{\alpha - 2}x\Vert _{\infty})\), and \((V_{[1,S]}^{\alpha - 1},\Vert {}^{H}D_{1 + }^{\alpha - 1}x\Vert _{\infty})\) are Banach spaces. By using the Arzelà–Ascoli theorem, we can obtain that \({V_{[1,S]}}\), \(V_{[1,S]}^{\alpha - 2}\), and \(V_{[1,S]}^{\alpha - 1}\) are relatively compact under condition (i). Thus, \({V_{[1,S]}}\), \(V_{[1,S]}^{\alpha - 2}\), and \(V_{[1,S]}^{\alpha - 1}\) are totally bounded, i.e., for any \(\varepsilon>0\), there exist \(\{ {x_{i}}\} _{i = 1}^{n} \subset{V_{[1,S]}}\), \(\{ {y_{j}}\} _{j = 1}^{m} \subset V_{[1,S]}^{\alpha - 2}\), and \(\{ {z_{k}}\} _{k = 1}^{l} \subset V_{[1,S]}^{\alpha - 1}\) such that
$$\begin{aligned} \begin{aligned} &{V_{[1,S]}} \subset \bigcup_{i = 1}^{n}{B_{\varepsilon}}({x_{i}}), \qquad V_{[1,S]}^{\alpha - 2} \subset \bigcup_{j = 1}^{m}{B_{\varepsilon}}\bigl({}^{H}D_{1 + }^{\alpha - 2}{y_{j}}\bigr), \qquad V_{[1,S]}^{\alpha - 1} \subset \bigcup_{k = 1}^{l}{B_{\varepsilon}}\bigl({}^{H}D_{1 + }^{\alpha - 1}{z_{k}}\bigr), \end{aligned} \end{aligned}$$
(4.4)
where
$$\begin{gathered} {B_{\varepsilon}}({x_{i}}) = \bigl\{ x \in{V_{[1,S]}}: \Vert x - {x_{i}} \Vert _{\infty}< \varepsilon\bigr\} , \\ {B_{\varepsilon}}\bigl({}^{H}D_{1 + }^{\alpha - 2}{y_{j}} \bigr) = \bigl\{ {}^{H}D_{1 + }^{\alpha - 2}x(t) \in V_{[1,S]}^{\alpha - 2}: \bigl\Vert {}^{H}D_{1 + }^{\alpha - 2}x - {}^{H}D_{1 + }^{\alpha - 2}{y_{j}} \bigr\Vert _{\infty}< \varepsilon\bigr\} , \\ {B_{\varepsilon}}\bigl({}^{H}D_{1 + }^{\alpha - 1}{z_{k}} \bigr) = {\bigl\{ ^{H}}D_{1 + }^{\alpha - 1}x(t) \in V_{[1,S]}^{\alpha - 1}: \bigl\Vert {}^{H}D_{1 + }^{\alpha - 1}x - {}^{H}D_{1 + }^{\alpha - 1}{z_{k}} \bigr\Vert _{\infty}< \varepsilon\bigr\} . \end{gathered} $$
Set
$${V_{ijk}} = \bigl\{ x(t) \in V:{x_{[1,S]}} \in{B_{\varepsilon}}({x_{i}}),{}^{H}D_{1 + }^{\alpha - 2}{x_{[1,S]}} \in{B_{\varepsilon}}\bigl({}^{H}D_{1 + }^{\alpha - 2}{y_{j}} \bigr){,^{H}}D_{1 + }^{\alpha - 1}{x_{[1,S]}} \in{B_{\varepsilon}}\bigl({}^{H}D_{1 + }^{\alpha - 1}{z_{k}} \bigr)\bigr\} . $$
Obviously, \({V_{[1,S]}} \subset{ \bigcup_{1 \leqslant i \leqslant n,1 \leqslant j \leqslant m,1 \leqslant k \leqslant l}}{V_{ijk[1,S]}}\). Take \({x_{ijk}} \in{V_{ijk}}\), then we claim that V can be covered by the balls \({B_{4\varepsilon}}({x_{ijk}})\), \(i = 1,2, \ldots,n\), \(j = 1,2, \ldots,m\), \(k = 1,2, \ldots,l\), where
$${B_{4\varepsilon} }({x_{ijk}}) = \bigl\{ x(t) \in V: \Vert x - {x_{ijk}} \Vert _{X} < 4\varepsilon\bigr\} . $$
Indeed, for \(x(t) \in V\), by (4.4), there exist \(i,j,k\) such that
$${x_{[1,S]}} \in{B_{\varepsilon}}({x_{i}}),\quad {}^{H}D_{1 + }^{\alpha - 2}{x_{[1,S]}} \in{B_{\varepsilon}}\bigl({}^{H}D_{1 + }^{\alpha - 2}{y_{j}} \bigr),\qquad {}^{H}D_{1 + }^{\alpha - 1}{x_{[1,S]}} \in{B_{\varepsilon}}\bigl({}^{H}D_{1 + }^{\alpha - 1}{z_{k}} \bigr). $$
Then, for \(t \in[1,S]\), we have
$$\begin{aligned}& \begin{aligned} \biggl\vert {\frac{{x(t)}}{{1 + {{(\ln t)}^{\alpha - 1}}}} - \frac {{{x_{ijk}}(t)}}{{1 + {{(\ln t)}^{\alpha - 1}}}}} \biggr\vert &\leqslant \biggl\vert {\frac{{x(t)}}{{1 + {{(\ln t)}^{\alpha - 1}}}} - \frac {{{x_{i}}(t)}}{{1 + {{(\ln t)}^{\alpha - 1}}}}} \biggr\vert \\ &\quad{}+ \biggl\vert {\frac{{{x_{i}}(t)}}{{1 + {{(\ln t)}^{\alpha - 1}}}} - \frac{{{x_{ijk}}(t)}}{{1 + {{(\ln t)}^{\alpha - 1}}}}} \biggr\vert \\ &< 2\varepsilon, \end{aligned} \\& \begin{aligned} \biggl\vert {\frac{{{}^{H}D_{1 + }^{\alpha - 2}x(t)}}{{1 + \ln t}} - \frac {{{}^{H}D_{1 + }^{\alpha - 2}{x_{ijk}}(t)}}{{1 + \ln t}}} \biggr\vert &\leqslant \biggl\vert {\frac{{{}^{H}D_{1 + }^{\alpha - 2}x(t)}}{{1 + \ln t}} - \frac{{{}^{H}D_{1 + }^{\alpha - 2}{y_{j}}(t)}}{{1 + \ln t}}} \biggr\vert \\ &\quad{}+ \biggl\vert {\frac{{{}^{H}D_{1 + }^{\alpha - 2}{y_{j}}(t)}}{{1 + \ln t}} - \frac{{{}^{H}D_{1 + }^{\alpha - 2}{x_{ijk}}(t)}}{{1 + \ln t}}} \biggr\vert \\ &< 2\varepsilon, \end{aligned} \\& \begin{aligned} \bigl\vert {{}^{H}D_{1 + }^{\alpha - 1}x(t) - {}^{H}D_{1 + }^{\alpha - 1}{x_{ijk}}(t)} \bigr\vert &\leqslant \bigl\vert {{}^{H}D_{1 + }^{\alpha - 1}x(t) - {}^{H}D_{1 + }^{\alpha - 1}{z_{k}}(t)} \bigr\vert \\ &\quad{}+ \bigl\vert {{}^{H}D_{1 + }^{\alpha - 1}{z_{k}}(t) - {}^{H}D_{1 + }^{\alpha - 1}{x_{ijk}}(t)} \bigr\vert \\ &< 2\varepsilon. \end{aligned} \end{aligned}$$
Combining this with condition (ii), we have
$$\begin{gathered} \biggl\vert {\frac{{x(t)}}{{1 + {{(\ln t)}^{\alpha - 1}}}} - \frac {{{x_{ijk}}(t)}}{{1 + {{(\ln t)}^{\alpha - 1}}}}} \biggr\vert \\ \quad\leqslant \biggl\vert {\frac{{x(t)}}{{1 + {{(\ln t)}^{\alpha - 1}}}} - \frac{{x(S)}}{{1 + {{(\ln S)}^{\alpha - 1}}}}} \biggr\vert + \biggl\vert {\frac{{x(S)}}{{1 + {{(\ln S)}^{\alpha - 1}}}} - \frac {{{x_{ijk}}(S)}}{{1 + {{(\ln S)}^{\alpha - 1}}}}} \biggr\vert \\ \qquad{}+ \biggl\vert {\frac{{{x_{ijk}}(S)}}{{1 + {{(\ln S)}^{\alpha - 1}}}} - \frac{{{x_{ijk}}(t)}}{{1 + {{(\ln t)}^{\alpha - 1}}}}} \biggr\vert \\ \quad < 4\varepsilon,\quad t > S. \end{gathered} $$
Using similar arguments as above, we can also get
$$\begin{aligned} \biggl\vert {\frac{{{}^{H}D_{1 + }^{\alpha - 2}x(t)}}{{1 + \ln t}} - \frac{{{}^{H}D_{1 + }^{\alpha - 2}{x_{ijk}}(t)}}{{1 + \ln t}}} \biggr\vert < 4\varepsilon, \qquad \bigl\vert {{}^{H}D_{1 + }^{\alpha - 1}x(t) - {}^{H}D_{1 + }^{\alpha - 1}{x_{ijk}}(t)} \bigr\vert < 4\varepsilon,\quad t > S. \end{aligned} $$
Thus, \(\Vert x - {x_{ijk}}\Vert _{X} < 4\varepsilon\). Therefore, V is totally bounded. □

Lemma 4.5

Suppose that \((\mathrm{H}_{1})\) holds, \(\Omega \subset X\) is an open bounded subset with \(\operatorname{dom}L \cap\bar{\Omega}\ne\emptyset\). Then N is L-compact on Ω̄.

Proof

Since \(\Omega\subset X\) is bounded, there exists a constant \(l>0\) such that \(\Vert x\Vert _{X} \leqslant l\), \(\forall x \in\bar{\Omega}\). Then, by \(f:[1,+\infty) \times{\mathbb{R}^{3}} \to\mathbb{R}\) satisfies an a-Carathéodory condition, one has
$$\begin{aligned} \vert QNx \vert &\leqslant \frac{1}{\Delta} \int_{1}^{ + \infty} {g(t) \int_{t}^{ + \infty} {a(s) \bigl\vert Nx(s) \bigr\vert \frac{{ds}}{s}}} \frac{{dt}}{t} \\ &\leqslant \frac{1}{\Delta} \int_{1}^{ + \infty} {g(t) \int_{t}^{ + \infty} {a(s){\varphi_{l}}(s) \frac{{ds}}{s}}} \frac{{dt}}{t} \leqslant \frac{1}{\Delta} \Vert { \varphi_{l}} \Vert _{Y}. \end{aligned} $$
Thus,
$$\begin{aligned}& \begin{aligned} \Vert QNx \Vert _{Y} = \int_{1}^{+\infty} {a(t) \vert QNx \vert \frac{{dt}}{t}} \leqslant\frac{{ \Vert {\varphi_{l}} \Vert _{Y}}}{\Delta} \int_{1}^{+\infty} {a(t)\frac{{dt}}{t}}< +\infty, \end{aligned} \\& \begin{aligned}[b] \bigl\Vert {K_{p}}(I - Q)Nx \bigr\Vert _{X} &\leqslant \bigl\Vert (I - Q)Nx \bigr\Vert _{Y}= \int_{1}^{+\infty} {a(t) \bigl\vert (I-Q)Nx \bigr\vert \frac{{dt}}{t}} \\ &\leqslant \int_{1}^{+\infty} {a(t) \vert Nx \vert \frac{{dt}}{t}}+ \int_{1}^{+\infty } {a(t) \vert QNx \vert \frac{{dt}}{t}} \\ &\leqslant \Vert {\varphi_{l}} \Vert _{Y}+ \frac{{ \Vert {\varphi_{l}} \Vert _{Y}}}{\Delta} \int _{1}^{+\infty} {a(t)\frac{{dt}}{t}}: = \tilde{l}< + \infty. \end{aligned} \end{aligned}$$
(4.5)
Therefore, \(QN(\bar{\Omega})\) and \({K_{p}}(I-Q)N(\bar{\Omega})\) are uniformly bounded. Now, we separate the proof into two steps. For simplicity of presentation, we let
$$\begin{gathered} h(t)=(I-Q)Nx(t), \quad t \in[1, + \infty), x(t) \in \bar{\Omega}, \\ {h_{\mu}}(t,s)= \textstyle\begin{cases} 1,&\mu=1, 1 \leqslant s \leqslant t < +\infty, \\ \frac{{{{{(\ln({t / s}))}^{\mu - 1}}}}}{{1+{{(\ln t)}^{\mu - 1}}}}, &\mu> 1, 1\leqslant s \leqslant t < +\infty. \end{cases}\displaystyle \\ {H_{\mu}}(t)= \int_{1}^{t} {{h_{\mu}}(t,s)a(s)h(s)} \frac{{ds}}{s}, \quad t \in[1, + \infty), \mu \geqslant{1}. \end{gathered} $$
Then we have
$$\begin{aligned} \Vert h \Vert _{Y}= \bigl\Vert (I-Q)Nx \bigr\Vert _{Y} \leqslant\tilde{l} < + \infty, \quad 0 \leqslant{h_{\mu}}(t,s) \leqslant1, \end{aligned} $$
and
$$\begin{aligned} \bigl\vert {H_{\mu}}(t) \bigr\vert \leqslant \int_{1}^{t} {{h_{\mu}}(t,s)a(s)\bigl|h(s)} \bigr| \frac{{ds}}{s} \leqslant \int_{1}^{ + \infty} {a(s)\bigl|h(s)} \bigr|\frac{{ds}}{s} = \Vert h \Vert _{Y}. \end{aligned} $$
Step 1. For any \(x\in{\bar{\Omega}}\), \({K_{p}}(I - Q)Nx\) is equicontinuous on any compact interval of \([1, +\infty)\). In fact, for any \(T\in(1, +\infty)\) and \(1 \leqslant{t_{1}} < {t_{2}} \leqslant T\). It follows from the uniform continuity of \({h_{\mu}}(t,s)\) on \([1,T] \times [1,T]\) and the absolute continuity of integral that
$$\begin{aligned} \bigl|{H_{\mu}}({t_{2}})-{H_{\mu}}({t_{1}})\bigr|&= \biggl\vert { \int_{1}^{{t_{2}}} {{h_{\mu}}({t_{2}},s)a(s)h(s)} \frac{{ds}}{s}- \int_{1}^{{t_{1}}} {{h_{\mu}}({t_{1}},s)a(s)h(s)} \frac{{ds}}{s}} \biggr\vert \\ &= \biggl\vert { \int_{{t_{1}}}^{{t_{2}}} {{h_{\mu}}({t_{2}},s)a(s)h(s)} \frac {{ds}}{s}+ \int_{1}^{{t_{1}}} {\bigl[{h_{\mu}}({t_{2}},s)-{h_{\mu}}({t_{1}},s)\bigr]a(s)h(s)} \frac{{ds}}{s}} \biggr\vert \\ &\leqslant \biggl\vert { \int_{{t_{1}}}^{{t_{2}}} {a(s) \bigl\vert h(s) \bigr\vert } \frac {{ds}}{s}+ \int_{1}^{{t_{1}}} { \bigl\vert {h_{\mu}}({t_{2}},s)-{h_{\mu}}({t_{1}},s) \bigr\vert a(s) \bigl\vert h(s) \bigr\vert } \frac{{ds}}{s}} \biggr\vert \\ &\to 0,\quad\mbox{as } {t_{1}} \to{t_{2}}. \end{aligned} $$
Then, as \({t_{1}} \to{t_{2}}\), we get
$$\begin{aligned}& \biggl\vert {\frac{{{K_{p}}(I-Q)Nx({t_{2}})}}{{1+{{(\ln{t_{2}})}^{\alpha- 1}}}}-\frac{{{K_{p}}(I-Q)Nx({t_{1}})}}{{1+{{(\ln{t_{1}})}^{\alpha- 1}}}}} \biggr\vert = \frac{1}{{\Gamma(\alpha)}} \bigl\vert {{H_{\alpha}}({t_{2}})-{H_{\alpha}}({t_{1}})} \bigr\vert \to0, \\& \biggl\vert {\frac{{{}^{H}D_{1+}^{\alpha- 2}{K_{p}}(I-Q)Nx({t_{2}})}}{{1+\ln {t_{2}}}}-\frac{{{}^{H}D_{1+}^{\alpha- 2}{K_{p}}(I-Q)Nx({t_{1}})}}{{1+\ln {t_{1}}}}} \biggr\vert = \bigl\vert {{H_{2}}({t_{2}})-{H_{2}}({t_{1}})} \bigr\vert \to0, \\& \bigl\vert {{}^{H}D_{1+}^{\alpha- 1}{K_{p}}(I-Q)Nx({t_{2}})-{}^{H}D_{1+}^{\alpha- 1}{K_{p}}(I - Q)Nx({t_{1}})} \bigr\vert = \bigl\vert {{H_{1}}({t_{2}})-{H_{1}}({t_{1}})} \bigr\vert \to0. \end{aligned}$$
Step 2. For any \(x\in{\bar{\Omega}}\), \({K_{p}}(I-Q)Nx\) is equiconvergent at infinity. In fact, for any \(x \in\bar{\Omega}\) and \(\varepsilon>0\), by (4.5), there exists a positive constant \(L>1\) such that
$$\int_{L}^{+\infty} {a(s) \bigl\vert h(s) \bigr\vert \frac{{ds}}{s}} < \varepsilon. $$
Since
$$\lim_{t \to\infty} {h_{\mu}}(t,L) = \lim _{t \to\infty} \frac {{{{{{(\ln({t / L}))}^{\mu - 1}}}}}}{{1+{{(\ln t)}^{\mu-1}}}} = 1, \quad(\mu> 1). $$
For above \(\varepsilon>0\), there exists a constant \(\tilde{L}(\varepsilon)> L\) such that \(1-{h_{\mu}}(t,L) < \varepsilon\), \(t > \tilde{L}(\varepsilon)\). Then, for any \({t_{2}},{t_{1}} > \tilde{L}(\varepsilon)\) (without loss of generality we assume that \({t_{2}}>{t_{1}}\)), we obtain
$$\begin{aligned} \bigl|{H_{\mu}}({t_{2}})-{H_{\mu}}({t_{1}})\bigr| &= \biggl\vert { \int_{1}^{{t_{2}}} {{h_{\mu}}({t_{2}},s)a(s)h(s)} \frac{{ds}}{s} - \int_{1}^{{t_{1}}} {{h_{\mu}}({t_{1}},s)a(s)h(s)} \frac{{ds}}{s}} \biggr\vert \\ &= \biggl\vert { \int_{L}^{{t_{2}}} {{h_{\mu}}({t_{2}},s)a(s)h(s)} \frac{{ds}}{s} - \int_{L}^{{t_{1}}} {{h_{\mu}}({t_{2}},s)a(s)h(s)} \frac{{ds}}{s}} \\ &\quad{}+ { \int_{1}^{L} {\bigl[{h_{\mu}}({t_{2}},s) - {h_{\mu}}({t_{1}},s)\bigr]a(s)h(s)} \frac{{ds}}{s}} \biggr\vert \\ &\leqslant \int_{1}^{L} { \bigl\vert {h_{\mu}}({t_{2}},s) - {h_{\mu}}({t_{1}},s) \bigr\vert a(s) \bigl\vert h(s) \bigr\vert } \frac{{ds}}{s} + 2 \int_{L}^{ + \infty} {a(s) \bigl\vert h(s) \bigr\vert } \frac{{ds}}{s} \\ &\leqslant \int_{1}^{L} {\bigl[\bigl(1 - {h_{\mu}}({t_{2}},s) \bigr) + \bigl(1 - {h_{\mu}}({t_{1}},s)\bigr)\bigr]a(s) \bigl\vert h(s) \bigr\vert } \frac{{ds}}{s} + 2\varepsilon \\ &\leqslant 2\varepsilon\bigl(1 + \Vert h \Vert _{Y}\bigr). \end{aligned} $$
Thus, for any \({t_{2}} > {t_{1}} > \tilde{L}(\varepsilon)\), we have
$$\begin{aligned}& \biggl\vert {\frac{{{K_{p}}(I-Q)Nx({t_{2}})}}{{1+{{(\ln{t_{2}})}^{\alpha- 1}}}}-\frac{{{K_{p}}(I-Q)Nx({t_{1}})}}{{1+{{(\ln{t_{1}})}^{\alpha- 1}}}}} \biggr\vert = \frac{1}{{\Gamma(\alpha)}} \bigl\vert {{H_{\alpha}}({t_{2}})-{H_{\alpha}}({t_{1}})} \bigr\vert \leqslant\frac{{2\varepsilon}}{{\Gamma(\alpha )}}\bigl(1+ \Vert h \Vert _{Y}\bigr), \\& \biggl\vert {\frac{{{}^{H}D_{1+}^{\alpha- 2}{K_{p}}(I-Q)Nx({t_{2}})}}{{1+\ln {t_{2}}}}-\frac{{{}^{H}D_{1+}^{\alpha- 2}{K_{p}}(I-Q)Nx({t_{1}})}}{{1+ \ln {t_{1}}}}} \biggr\vert = \bigl\vert {{H_{2}}({t_{2}})-{H_{2}}({t_{1}})} \bigr\vert \leqslant 2\varepsilon\bigl(1+ \Vert h \Vert _{Y} \bigr), \\& \bigl\vert {{}^{H}D_{1+}^{\alpha- 1}{K_{p}}(I-Q)Nx({t_{2}})-{}^{H}D_{1+}^{\alpha- 1}{K_{p}}(I-Q)Nx({t_{1}})} \bigr\vert = \bigl\vert {{H_{1}}({t_{2}})-{H_{1}}({t_{1}})} \bigr\vert \leqslant2\varepsilon. \end{aligned}$$
By Lemma 4.4, \({K_{p}}(I - Q)N:\bar{\Omega}\to X\) is compact. □

Theorem 4.1

Suppose that \((\mathrm{H}_{1})\) and the following conditions hold.
\((\mathrm{H}_{2})\)
There exist nonnegative functions \(b(t),c(t),d(t),e(t) \in Y\) such that, for all \(t \in[1, +\infty)\) and \((u,v,w) \in{\mathbb{R}^{3}}\),
$$f(t,u,v,w) \leqslant b(t)\frac{{ \vert u \vert }}{{1 + {{(\ln t)}^{\alpha - 1}}}} + c(t)\frac{{ \vert v \vert }}{{1 + \ln t}} + d(t) \vert w \vert + e(t). $$
\((\mathrm{H}_{3})\)
There exists a constant \(G > 0\) such that, for all \(t \in[1, + \infty)\) and \(x \in\operatorname{dom}L\), if \(|{}^{H}D_{1 + }^{\alpha - 1}x(t)| > G\), then
$$\int_{1}^{ + \infty} {g(t) \int_{t}^{ + \infty} {a(s)f\bigl(s,x(s),{}^{H}D_{1 + }^{\alpha - 2}x(s),{}^{H}D_{1 + }^{\alpha - 1}x(s) \bigr)} } \frac {{ds}}{s}\frac{{dt}}{t} \ne0. $$
\((\mathrm{H}_{4})\)
For any \(c \in\mathbb{R}\), there exists a constant \(M > 0\) such that, for \(|c| > M\),
$$\begin{aligned} c \int_{1}^{+\infty} {g(t) \int_{t}^{+\infty} {a(s)f\bigl(s,c{{(\ln s)}^{\alpha - 1}},c\Gamma(\alpha)\ln s,c\Gamma(\alpha)\bigr)} } \frac{{ds}}{s}\frac {{dt}}{t} > 0, \end{aligned}$$
(4.6)
or
$$\begin{aligned} c \int_{1}^{+\infty} {g(t) \int_{t}^{+\infty} {a(s)f\bigl(s,c{{(\ln s)}^{\alpha - 1}},c\Gamma(\alpha)\ln s,c\Gamma(\alpha)\bigr)} } \frac{{ds}}{s}\frac {{dt}}{t} < 0. \end{aligned}$$
(4.7)
Then BVP (1.2) has at least one solution in X provided that
$$\bigl(3 + \bigl({1 / {\Gamma(\alpha)}}\bigr)\bigr) \bigl( \Vert b \Vert _{Y} + \Vert c \Vert _{Y} + \Vert d \Vert _{Y}\bigr) < 1. $$
To prove Theorem 4.1, we establish the following lemmas.

Lemma 4.6

Assume that \((\mathrm{H}_{1})\)\((\mathrm {H}_{3})\) hold, set
$${\Omega_{1}} = \bigl\{ x \in\operatorname{dom}L\backslash\operatorname {Ker}L:Lx = \lambda Nx, \lambda \in(0,1)\bigr\} . $$
Then \({\Omega_{1}}\) is bounded in X.

Proof

For \(x \in{\Omega_{1}}\), then \(Nx \in\operatorname {Im}L=\operatorname{Ker}Q\). That is, \(QNx=0\). By \((\mathrm{H}_{3})\), there exists a constant \({t_{0}} \in[1, +\infty)\) such that \(|{}^{H}D_{1+}^{\alpha- 1}x({t_{0}})| \leqslant G\). Since \(Lx = \lambda Nx\), we obtain
$$x(t) = - \frac{\lambda}{{\Gamma(\alpha)}} \int_{1}^{t} {{{ \biggl( {\ln \frac{t}{s}} \biggr)}^{\alpha - 1}}a(s)f\bigl(s,x(s),{}^{H}D_{1 + }^{\alpha - 2}x(s),{}^{H}D_{1 + }^{\alpha - 1}x(s) \bigr)} \frac{{ds}}{s} + c{(\ln t)^{\alpha - 1}}, $$
and so
$${}^{H}D_{1+}^{\alpha- 1}x(t)=- \lambda \int_{1}^{t} {a(s)f\bigl(s,x(s),{}^{H}D_{1+}^{\alpha- 2}x(s),{}^{H}D_{1+}^{\alpha- 1}x(s) \bigr)} \frac{{ds}}{s}+c\Gamma(\alpha). $$
Then
$${}^{H}D_{1+}^{\alpha- 1}x(t) = - \lambda \int_{{t_{0}}}^{t} {a(s)f\bigl(s,x(s),{}^{H}D_{1+}^{\alpha- 2}x(s),{}^{H}D_{1+}^{\alpha- 1}x(s) \bigr)} \frac{{ds}}{s}+{}^{H}D_{1+ }^{\alpha- 1}x({t_{0}}). $$
Therefore,
$$\begin{aligned} \bigl\vert {}^{H}D_{1+}^{\alpha- 1}x \bigr\vert &\leqslant \int_{1}^{+\infty} {a(s)\bigl|f\bigl(s,x(s),{}^{H}D_{1+}^{\alpha- 2}x(s),{}^{H}D_{1+}^{\alpha- 1}x(s) \bigr)} \bigr\vert \frac{{ds}}{s}+ \bigl\vert {}^{H}D_{1+ }^{\alpha- 1}x({t_{0}})\bigr| \\ &\leqslant \Vert Nx \Vert _{Y}+G. \end{aligned} $$
On the other hand, by \((\mathrm{H}_{2})\), we have
$$\begin{aligned} \begin{aligned}[b] \Vert Nx \Vert _{Y} &= \int_{1}^{+\infty} {a(s)\bigl|f\bigl(s,x(s),{}^{H}D_{1+}^{\alpha- 2}x(s),{}^{H}D_{1+}^{\alpha- 1}x(s) \bigr)} \bigr|\frac{{ds}}{s} \\ &\leqslant \bigl( \Vert b \Vert _{Y}+ \Vert c \Vert _{Y}+ \Vert d \Vert _{Y}\bigr) \Vert x \Vert _{X}+ \Vert e \Vert _{Y}, \end{aligned} \end{aligned}$$
(4.8)
and from the definition of P, we get
$$\begin{gathered} { \biggl\Vert {\frac{{Px}}{{1+{{(\ln t)}^{\alpha- 1}}}}} \biggr\Vert _{\infty}} \leqslant\frac{{ \vert {}^{H}D_{1+}^{\alpha- 1}x(1) \vert }}{{\Gamma(\alpha)}} \leqslant\frac{{ \Vert Nx \Vert _{Y} + G}}{{\Gamma(\alpha)}}, \\ { \biggl\Vert {\frac{{{}^{H}D_{1+}^{\alpha- 2}Px}}{{1+\ln t}}} \biggr\Vert _{\infty}} \leqslant \bigl\vert {}^{H}D_{1+}^{\alpha- 1}x(1) \bigr\vert \leqslant \Vert Nx \Vert _{Y}+G, \\ { \bigl\Vert {{}^{H}D_{1+}^{\alpha- 1}Px} \bigr\Vert _{\infty}}= \bigl\vert {}^{H}D_{1+}^{\alpha- 1}x(1) \bigr\vert \leqslant \Vert Nx \Vert _{Y}+G. \end{gathered} $$
So,
$$\begin{aligned} \begin{aligned}[b] \Vert Px \Vert _{X} &= \max \biggl\{ {{{ \biggl\Vert {\frac{{Px}}{{1 + {{(\ln t)}^{\alpha - 1}}}}} \biggr\Vert }_{\infty}}, {{ \biggl\Vert {\frac {{{}^{H}D_{1 + }^{\alpha - 2}Px}}{{1+\ln t}}} \biggr\Vert }_{\infty}}, {{ \bigl\Vert {{}^{H}D_{1 + }^{\alpha- 1}Px} \bigr\Vert }_{\infty}}} \biggr\} \\ &\leqslant { \biggl\Vert {\frac{{Px}}{{1+{{(\ln t)}^{\alpha- 1}}}}} \biggr\Vert _{\infty}}+{ \biggl\Vert {\frac{{{}^{H}D_{1+}^{\alpha- 2}Px}}{{1+\ln t}}} \biggr\Vert _{\infty}}+{ \bigl\Vert {{}^{H}D_{1+}^{\alpha- 1}Px} \bigr\Vert _{\infty}} \\ &\leqslant \bigl(2+\bigl({1 / {\Gamma(\alpha)}}\bigr)\bigr) \bigl( \Vert Nx \Vert _{Y}+G\bigr). \end{aligned} \end{aligned}$$
(4.9)
By Lemma 4.3, one has
$$ \begin{aligned} \bigl\Vert (I-P)x \bigr\Vert _{X}= \bigl\Vert {K_{p}}L(I-P)x \bigr\Vert _{X} \leqslant \bigl\Vert L(I-P)x \bigr\Vert _{Y} = \Vert Lx \Vert _{Y} \leqslant \Vert Nx \Vert _{Y}. \end{aligned} $$
(4.10)
Then we obtain from (4.8)–(4.10)
$$\begin{aligned} \Vert x \Vert _{X}&= \bigl\Vert Px+(I-P)x \bigr\Vert _{X} \leqslant \Vert Px \Vert _{X}+ \bigl\Vert (I - P)x \bigr\Vert _{X} \\ &=\bigl(2+\bigl({1 / {\Gamma(\alpha)}}\bigr)\bigr) \bigl( \Vert Nx \Vert _{Y}+G\bigr)+ \Vert Nx \Vert _{Y} \\ &\leqslant \bigl(3+\bigl({1 / {\Gamma(\alpha)}}\bigr)\bigr) \bigl( \Vert b \Vert _{Y}+ \Vert c \Vert _{Y}+ \Vert d \Vert _{Y}\bigr) \Vert x \Vert _{X} \\ &\quad {}+\bigl(3+\bigl({1 / {\Gamma(\alpha)}}\bigr)\bigr) \Vert e \Vert _{Y}+\bigl(2+\bigl({1 / {\Gamma(\alpha)}}\bigr)\bigr)G. \end{aligned} $$
It follows that
$$\begin{aligned} \Vert x \Vert _{X} \leqslant \frac{{(3+({1 / {\Gamma(\alpha)}})) \Vert e \Vert _{Y}+(2 + ({1 / {\Gamma(\alpha)}}))G}}{{1 - (3 + ({1 / {\Gamma(\alpha )}}))( \Vert b \Vert _{Y} + \Vert c \Vert _{Y} + \Vert d \Vert _{Y})}}. \end{aligned} $$
Consequently, \({\Omega_{1}}\) is bounded in X. □

Lemma 4.7

Assume that \((\mathrm{H}_{1})\) and \((\mathrm {H}_{4})\) hold, set
$$\begin{aligned} {\Omega_{2}} = \{ x \in \operatorname{Ker}L:Nx \in \operatorname{Im} L\}. \end{aligned} $$
Then \({\Omega_{2}}\) is bounded in X.

Proof

For \(x \in{\Omega_{2}}\), then x can be rewritten as \(x=c{(\ln t)}^{\alpha- 1}\), \(c \in\mathbb{R}\). Because \(Nx \in \operatorname{Im}L= \operatorname{Ker}Q\), then \(QNx = 0\), that is,
$$\begin{aligned} \int_{1}^{+\infty} {g(t) \int_{t}^{+\infty} {a(s)f\bigl(s,c{{(\ln s)}^{\alpha- 1}},c\Gamma(\alpha)\ln s,c\Gamma(\alpha)\bigr)} } \frac{{ds}}{s}\frac{{dt}}{t}=0. \end{aligned} $$
By \((\mathrm{H}_{4})\), we get \(|c| \leqslant M\). Thus, \(\Vert x\Vert _{X} \leqslant \Gamma(\alpha)M\), that is, \({\Omega_{2}}\) is bounded in X. □

Lemma 4.8

Assume that \((\mathrm{H}_{1})\) and \((\mathrm {H}_{4})\) hold, set
$$\begin{aligned} {\Omega_{3}} = \bigl\{ x \in \operatorname{Ker}L:\vartheta \lambda Jx + (1 - \lambda)QNx = 0, \lambda \in[0,1] \bigr\} . \end{aligned} $$
Then \({\Omega_{3}}\) is bounded in X, where \(\vartheta=\pm1\) is such that \(\vartheta=1\) for (4.6) holds and \(\vartheta=-1\) for (4.7) holds, \(J:\operatorname{Ker}L \to\operatorname{Im}Q\) is the linear isomorphism defined by
$$\begin{aligned}J\bigl(c{(\ln t)^{\alpha- 1}}\bigr)=c,\quad\forall c \in\mathbb{R}. \end{aligned} $$

Proof

Without loss of generality, we suppose that (4.7) holds, then for any \(x \in{\Omega_{3}}\), there exist constants \(c \in\mathbb {R}\), \(\lambda \in[0,1]\) such that \(x(t)=c{(\ln t)^{\alpha- 1}}\) and \(-\lambda Jx+(1-\lambda)QNx=0\). Namely,
$$\begin{aligned} \lambda c=\frac{{(1-\lambda)}}{\Delta} \int_{1}^{+\infty} {g(t) \int _{t}^{+\infty} {a(s)f\bigl(s,c{{(\ln s)}^{\alpha- 1}},c\Gamma(\alpha)\ln s,c\Gamma(\alpha)\bigr)} } \frac{{ds}}{s}\frac{{dt}}{t}. \end{aligned} $$
For \(\lambda=1\), then \(c=0\). Otherwise, if \(|c| > M\), by \((\mathrm {H}_{4})\) one gets
$$\begin{aligned} 0\leqslant\lambda{c^{2}}= \frac{{(1-\lambda)c}}{\Delta} \int_{1}^{+\infty } {g(t) \int_{t}^{+\infty} {a(s)f\bigl(s,c{{(\ln s)}^{\alpha- 1}},c\Gamma (\alpha)\ln s,c\Gamma(\alpha)\bigr)} } \frac{{ds}}{s}\frac{{dt}}{t}< 0. \end{aligned} $$
It is a contradiction. So, \({\Omega_{3}}\) is bounded in X. If (4.6) holds, by a similar method, we can see that \({\Omega_{3}}\) is bounded. □

Proof of Theorem 4.1

Set Ω to be a bounded open subset of X such that \(\bigcup_{i=1}^{3}{\bar{\Omega}_{i}} \subset\Omega\). By Lemma 4.5, N is L-compact on Ω̄. According to Lemmas 4.6 and 4.7, we have
  1. (i)

    \(Lx \ne\lambda Nx\) for any \((x,\lambda) \in[(\operatorname {dom}L\backslash\operatorname{Ker}L) \cap\partial\Omega] \times(0,1)\);

     
  2. (ii)

    \(Nx \in\operatorname{Im}L\) for any \(x \in\operatorname {Ker}L \cap\partial\Omega\).

     
Next, we show that (iii) of Theorem 2.1 is satisfied. Therefore, we define
$$\begin{aligned}H(x,\lambda)=\vartheta\lambda Jx+(1-\lambda)QNx, \end{aligned} $$
where ϑ is defined as before. By the preceding lemma, we derive \(H(x,\lambda) \ne0\), \(x \in\operatorname{Ker}L \cap\partial \Omega\). According to the homotopy property of degree, it follows that
$$\begin{aligned} \deg\{ QN{|_{\operatorname{Ker}L}},\Omega \cap\operatorname {Ker}L,0\}&=\deg\bigl\{ H( \cdot ,0),\Omega \cap\operatorname{Ker}L,0\bigr\} \\ &= \deg\bigl\{ H( \cdot ,1),\Omega \cap\operatorname{Ker}L,0\bigr\} \\ &= \deg\{\vartheta J,\Omega \cap\operatorname{Ker}L,0\} \ne0. \end{aligned} $$
Then we conclude from Theorem 2.1 that the operator function \(Lx = Nx\) has at least one solution in \(\operatorname{dom}L \cap\bar{\Omega}\), thus, problem (1.2) has at least one solution in X. □

Example 4.1

Consider the following fractional boundary value problem:
$$ \textstyle\begin{cases} {}^{H}D_{1+}^{2.5}x(t)+\frac{1}{{{e^{\ln t}}}} [{\frac{1}{{5{e^{\ln t}}}}\frac{{\sin x(t)}}{{1+{{(\ln t)}^{1.5}}}}+\frac{1}{{10{e^{\ln t}}}}\frac{{\sin{}^{H}D_{1+}^{0.5}x(t)}}{{1+\ln t}}} \\ \quad{} +\frac{{4 \vert {}^{H}D_{1 + }^{1.5}x(t) \vert }}{{25{e^{\ln t}}}}+ \frac{1}{{5{e^{\ln t}}}} ] = 0,\quad t \in(1, +\infty), \\ x(1)=x'(1)=0,\qquad{}^{H}D_{1+}^{1.5}x(+\infty)=\int_{1}^{+\infty} {\frac {1}{{{e^{\ln t}}}}} {}^{H}D_{1+}^{1.5}x(t)\frac{{dt}}{t}. \end{cases} $$
(4.11)
Corresponding to BVP (1.2), where
$$\begin{aligned}& \alpha=\frac{5}{2},\qquad a(t)=g(t)=\frac{1}{{{e^{\ln t}}}}, \\& \begin{aligned} f\bigl(t,x(t),{}^{H}D_{1 + }^{0.5}x(t),{}^{H}D_{1 + }^{1.5}x(t) \bigr)&=\frac {1}{{5{e^{\ln t}}}}\frac{{\sin x(t)}}{{1 + {{(\ln t)}^{1.5}}}} + \frac {1}{{10{e^{\ln t}}}} \frac{{\sin{}^{H}D_{1 + }^{0.5}x(t)}}{{1 + \ln t}} \\ &\quad{} + \frac{{4 \vert {}^{H}D_{1 + }^{1.5}x(t) \vert }}{{25{e^{\ln t}}}} + \frac {1}{{5{e^{\ln t}}}},\quad t \in(1, + \infty). \end{aligned} \end{aligned}$$
Let
$$\begin{aligned} b(t)=\frac{1}{{5{e^{\ln t}}}}, \qquad c(t)= \frac{1}{{10{e^{\ln t}}}}, \qquad d(t)=\frac{4}{{25{e^{\ln t}}}}, \qquad e(t)= \frac{1}{{5{e^{\ln t}}}}, \end{aligned} $$
and choose \(G=M=7\), we can check that \((\mathrm{H}_{1})\)\((\mathrm {H}_{4})\) hold. Then, by Theorem 4.1, BVP (4.11) has at least one solution.

5 Conclusion

In this paper, by means of the monotone iterative technique and Mawhin’s continuation theorem, we have proved the existence of solutions for two types of higher-order Hadamard-type FDEs with integral boundary conditions on an infinite interval. There are relatively few articles which study the existence of solutions for Hadamard-type fractional BVPs on an infinite interval. It is a very interesting topic and there is some work to be done in the future such as: investigating the existence and uniqueness of solutions for Hadamard-type fractional BVPs with p-Laplacian operator on an infinite interval; studying the Hyers–Ulam stability for Hadamard-type fractional non-resonance BVPs with p-Laplacian operator, and so on.

Declarations

Acknowledgements

The authors sincerely thank the editors and anonymous referees for the careful reading of the original manuscript and valuable comments, which have improved the quality of our work.

Availability of data and materials

Data sharing not applicable to this article as no datasets were generated or analysed during the current study.

Funding

This research is supported by the Fundamental Research Funds for the Central Universities (2018BSCXC43) and Postgraduate Research & Practice Innovation Program of Jiangsu Province(KYCX18_1990).

Authors’ contributions

The authors have made equal contributions to each part of this paper. All the authors read and approved the final manuscript.

Competing interests

The authors declare that they have no competing interests.

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 Mathematics, China University of Mining and Technology, Xuzhou, P.R. China

References

  1. Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies. Elsevier, Amsterdam (2006) MATHGoogle Scholar
  2. Petráš, I.: Fractional-Order Nonlinear Systems: Modeling, Analysis and Simulation. Springer, Berlin (2011) View ArticleMATHGoogle Scholar
  3. Nategh, M.: A novel approach to an impulsive feedback control with and without memory involvement. J. Differ. Equ. 263, 2661–2671 (2017) MathSciNetView ArticleMATHGoogle Scholar
  4. Ameen, I., Novati, P.: The solution of fractional order epidemic model by implicit Adams methods. Appl. Math. Model. 43, 78–84 (2017) MathSciNetView ArticleGoogle Scholar
  5. Yu, Z.Y., Jiang, H.J., Hu, C., Yu, J.: Necessary and sufficient conditions for consensus of fractional-order multiagent systems via sampled-data control. IEEE Trans. Cybern. 47, 1892–1901 (2017) View ArticleGoogle Scholar
  6. Gómez-Aguilar, J.F., Yépez-Martínez, H., Escobar-Jiménez, R.F., Astorga-Zaragoza, C.M., Reyes-Reyes, J.: Analytical and numerical solutions of electrical circuits described by fractional derivatives. Appl. Math. Model. 40, 9079–9094 (2016) MathSciNetView ArticleGoogle Scholar
  7. Ge, F.D., Chen, Y.Q., Kou, C.H., Podlubny, I.: On the regional controllability of the sub-diffusion process with Caputo fractional derivative. Fract. Calc. Appl. Anal. 19, 1262–1281 (2016) MathSciNetView ArticleMATHGoogle Scholar
  8. Kumar, S., Kumar, D., Singh, J.: Fractional modelling arising in unidirectional propagation of long waves in dispersive media. Adv. Nonlinear Anal. 5, 383–394 (2016) MathSciNetMATHGoogle Scholar
  9. Agarwal, R.P., Ahmad, B., Garout, D., Alsaedi, A.: Existence results for coupled nonlinear fractional differential equations equipped with nonlocal coupled flux and multi-point boundary conditions. Chaos Solitons Fractals 102, 149–161 (2017) MathSciNetView ArticleMATHGoogle Scholar
  10. Bachar, I., Mâagli, H., Rădulescu, V.D.: Fractional Navier boundary value problems. Bound. Value Probl. 2016, 79 (2016) MathSciNetView ArticleMATHGoogle Scholar
  11. Denton, Z., Ramírez, J.D.: Existence of minimal and maximal solutions to RL fractional integro-differential initial value problems. Opusc. Math. 37, 705–724 (2017) MathSciNetView ArticleGoogle Scholar
  12. Idczak, D., Walczak, S.: On a linear-quadratic problem with Caputo derivative. Opusc. Math. 36, 49–68 (2016) MathSciNetView ArticleMATHGoogle Scholar
  13. Jiang, W.H.: Solvability for fractional differential equations at resonance on the half line. Appl. Math. Comput. 247, 90–99 (2014) MathSciNetMATHGoogle Scholar
  14. Meng, X.Y., Stynes, M.: The Green’s function and a maximum principle for a Caputo two-point boundary value problem with a convection term. J. Math. Anal. Appl. 461, 198–218 (2018) MathSciNetView ArticleMATHGoogle Scholar
  15. Zhang, X.Q., Zhong, Q.Y.: Uniqueness of solution for higher-order fractional differential equations with conjugate type integral conditions. Fract. Calc. Appl. Anal. 20, 1471–1484 (2017) MathSciNetView ArticleMATHGoogle Scholar
  16. Benchohra, M., Bouriah, S., Nieto, J.J.: Existence of periodic solutions for nonlinear implicit Hadamard’s fractional differential equations. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 112, 25–35 (2018) MathSciNetView ArticleMATHGoogle Scholar
  17. Ahmad, B., Ntouyas, S.K.: A fully Hadamard type integral boundary value problem of a coupled system of fractional differential equations. Fract. Calc. Appl. Anal. 17, 348–360 (2014) MathSciNetView ArticleMATHGoogle Scholar
  18. Pei, K., Wang, G.T., Sun, Y.Y.: Successive iterations and positive extremal solutions for a Hadamard type fractional integro-differential equations on infinite domain. Appl. Math. Comput. 312, 158–168 (2017) MathSciNetGoogle Scholar
  19. Wang, G.T., Pei, K., Baleanu, D.: Explicit iteration to Hadamard fractional integro-differential equations on infinite domain. Adv. Differ. Equ. 2016, 299 (2016) MathSciNetView ArticleGoogle Scholar
  20. Wang, G.T., Wang, T.L.: On a nonlinear Hadamard type fractional differential equation with p-Laplacian operator and strip condition. J. Nonlinear Sci. Appl. 9, 5073–5081 (2016) MathSciNetView ArticleMATHGoogle Scholar
  21. Wang, T.L., Wang, G.T., Yang, X.J.: On a Hadamard-type fractional turbulent flow model with deviating arguments in a porous medium. Nonlinear Anal., Model. Control 22, 765–784 (2017) MathSciNetView ArticleGoogle Scholar
  22. Yang, W.G., Qin, Y.P.: Positive solutions for nonlinear Hadamard fractional differential equations with integral boundary conditions. ScienceAsia 43, 201–206 (2017) View ArticleGoogle Scholar
  23. Aljoudi, S., Ahmad, B., Nieto, J.J., Alsaedi, A.: A coupled system of Hadamard type sequential fractional differential equations with coupled strip conditions. Chaos Solitons Fractals 91, 39–46 (2016) MathSciNetView ArticleMATHGoogle Scholar
  24. Benchohra, M., Bouriah, S., Graef, J.R.: Boundary value problems for nonlinear implicit Caputo–Hadamard-type fractional differential equations with impulses. Mediterr. J. Math. 14, Article ID 206 (2017) MathSciNetView ArticleMATHGoogle Scholar
  25. Thiramanus, P., Ntouyas, S.K., Tariboon, J.: Positive solutions for Hadamard fractional differential equations on infinite domain. Adv. Differ. Equ. 2016, 83 (2016) MathSciNetView ArticleMATHGoogle Scholar
  26. Yukunthorn, W., Ahmad, B., Ntouyas, S.K., Tariboon, J.: On Caputo–Hadamard type fractional impulsive hybrid systems with nonlinear fractional integral conditions. Nonlinear Anal. Hybrid Syst. 19, 77–92 (2016) MathSciNetView ArticleMATHGoogle Scholar
  27. Ahmad, B., Ntouyas, S.K., Alsaedi, A.: Existence theorems for nonlocal multivalued Hadamard fractional integro-differential boundary value problems. J. Inequal. Appl. 2014, 454 (2014) MathSciNetView ArticleMATHGoogle Scholar
  28. Ahmad, B., Alsaedi, A., Ntouyas, S.K., Tariboon, J.: Hadamard-Type Fractional Differential Equations, Inclusions and Inequalities. Springer, Berlin (2017) View ArticleMATHGoogle Scholar
  29. Tariboon, J., Ntouyas, S.K., Asawasamrit, S., Promsakon, C.: Positive solutions for Hadamard differential systems with fractional integral conditions on an unbounded domain. Open Math. 15, 645–666 (2017) MathSciNetMATHGoogle Scholar
  30. Aljoudi, S., Ahmad, B., Nieto, J.J., Alsaedi, A.: On coupled Hadamard type sequential fractional differential equations with variable coefficients and nonlocal integral boundary conditions. Filomat 31, 6041–6049 (2017) MathSciNetView ArticleGoogle Scholar
  31. Cernea, A.: Filippov lemma for a class of Hadamard-type fractional differential inclusions. Fract. Calc. Appl. Anal. 18, 163–171 (2015) MathSciNetView ArticleMATHGoogle Scholar
  32. Ahmad, B., Ntouyas, S.K.: Boundary value problems of Hadamard-type fractional differential equations and inclusions with nonlocal conditions. Vietnam J. Math. 45, 409–423 (2017) MathSciNetView ArticleMATHGoogle Scholar
  33. Agarwal, R.P., Ntouyas, S.K., Ahmad, B., Alzahrani, A.K.: Hadamard-type fractional functional differential equations and inclusions with retarded and advanced arguments. Adv. Differ. Equ. 2016, 92 (2016) MathSciNetView ArticleMATHGoogle Scholar
  34. Hadamard, J.: Essai sur l’étude des fonctions données par leur développment de Taylor. J. Math. Pures Appl. 8, 101–186 (1892) MATHGoogle Scholar
  35. Mawhin, J.: Topological Degree Methods in Nonlinear Boundary Value Problems, Expository Lectures from the CBMS Regional Conference Held at Harvey Mudd. CBMS Regional Conference Series in Mathematics. Am. Math. Soc., Providence (1979) View ArticleGoogle Scholar
  36. Mawhin, J.: Topological degree and boundary value problems for nonlinear differential equations. In: Topological Methods for Ordinary Differential Equations, Montecatini Terme, 1991. Lecture Notes in Math., vol. 1537, pp. 74–142. Springer, Berlin (1993) View ArticleGoogle Scholar

Copyright

© The Author(s) 2018

Advertisement