Skip to content

Advertisement

Open Access

Existence of solutions for Riemann-Liouville fractional differential equations with nonlocal Erdélyi-Kober integral boundary conditions on the half-line

  • Phollakrit Thiramanus1,
  • Sotiris K Ntouyas2, 3 and
  • Jessada Tariboon1, 4Email author
Boundary Value Problems20152015:196

https://doi.org/10.1186/s13661-015-0454-x

Received: 13 June 2015

Accepted: 9 October 2015

Published: 28 October 2015

Abstract

This paper investigates the existence of solutions for nonlinear fractional differential equations with m-point Erdélyi-Kober fractional integral boundary conditions on an infinite interval via the Leray-Schauder nonlinear alternative and the Banach contraction principle. Some examples illustrating the main results are also presented.

Keywords

Riemann-Liouville fractional derivativeintegral boundary conditionsfixed point theoremsnonlocal conditionsErdélyi-Kober fractional integral

MSC

26A3334A0834A1234B10

1 Introduction

Fractional differential equations arise in many engineering and scientific disciplines as the mathematical models of systems and processes in the fields of physics, chemistry, aerodynamics, electrodynamics of complex medium, polymer rheology, electrical circuits, biology, control theory, fitting of experimental data, and so on, and involves derivatives of fractional order. Fractional derivatives provide an excellent tool for the description of memory and hereditary properties of various materials and processes. This is the main advantage of fractional differential equations in comparison with classical integer-order models. The monographs [13] are commonly cited for the theory of fractional derivatives and integrals and applications to differential equations of fractional order. For more details and examples, see [49] and the references therein.

However, it has been observed that most of the work on the topic involves either Riemann-Liouville or Caputo type fractional derivative. Besides these derivatives, the so-called Erdélyi-Kober fractional derivative, as a generalization of the Riemann-Liouville fractional derivative, is often used, too. An Erdélyi-Kober operator is a fractional integration operation introduced by Arthur Erdélyi and Hermann Kober in 1940. These operators have been used by many authors, in particular, to obtain solutions of the single, dual and triple integral equations possessing special functions of mathematical physics as their kernels. For the theory and applications of the Erdélyi-Kober fractional integrals, see, e.g., [1, 2, 1014] and the references cited therein.

The fractional anomalous diffusion equations have been studied by many researchers [15, 16]. In fact, the mathematical models of nonlinear fractional diffusion equations have been successfully applied to several phenomena, see [1719] and the references cited therein. In [20] Pagnini investigated the generalized grey Brownian motion (ggBm) which is an anomalous diffusion process derived by the Erdélyi-Kober fractional integral operator. Some relationships between parameters of the Erdélyi-Kober fractional operators and the valuable family of stochastic processes generated by the ggBm were also shown. For more details on fractional diffusion processes in stochastic models, we refer the reader to [21]. In [22], the author gave a theorem about the series representation of the Erdélyi-Kober fractional integral operator which was used to find approximate solutions of linear and nonlinear fractional anomalous diffusions. Numerical analysis and applications to the real experimental data were also discussed.

Boundary value problems on infinite intervals arise naturally in the study of radially symmetric solutions of nonlinear elliptic equations and various physical phenomena [23]. For boundary value problems of fractional order on infinite intervals, we refer to [2428].

Zhao and Ge [28] studied the existence of unbounded solutions for the following boundary value problem on the infinite interval:
$$\begin{aligned}& D^{\alpha}_{0}u(t)+ f\bigl(t,u(t)\bigr)=0, \quad 1< \alpha\leq2, t \in[0,\infty ), \end{aligned}$$
(1.1)
$$\begin{aligned}& u(0)=0, \quad\quad\lim_{t\to\infty}D^{\alpha-1}_{0}u(t)=\beta u(\xi ), \end{aligned}$$
(1.2)
where \(D^{\alpha}_{0}\) denotes the Riemann-Liouville fractional derivative of order α, and \(0<\beta, \xi<\infty\).
Zhang et al. [27] studied the existence of nonnegative solutions for the following boundary value problem for fractional differential equations with nonlocal boundary conditions on unbounded domains:
$$\begin{aligned}& D^{\alpha}_{0}u(t)+ f\bigl(t,u(t)\bigr)=0,\quad 1< \alpha\leq2, t \in[0,\infty ), \end{aligned}$$
(1.3)
$$\begin{aligned}& I^{\alpha-2}_{0}u(0)=0,\quad\quad \lim_{t\to\infty}D^{\alpha -1}_{0}u(t)= \beta I^{\alpha-1}_{0}u(\eta), \end{aligned}$$
(1.4)
where \(D^{\alpha}_{0}\) denotes the Riemann-Liouville fractional derivative of order α, \(f\in C([0,\infty)\times{\mathbb{R}}, {\mathbb{R}}^{+})\) and \(0<\beta, \eta<\infty\). The Leray-Schauder nonlinear alternative is used.
Liang and Zhang [25] used a fixed point theorem for operators on a cone and proved the existence of positive solutions to the following fractional boundary value problem:
$$\begin{aligned}& D^{\alpha}_{0}u(t)+ f\bigl(t,u(t)\bigr)=0,\quad 2< \alpha\leq3, t \in[0,\infty ), \end{aligned}$$
(1.5)
$$\begin{aligned}& u(0)=u'(0)=0,\quad\quad \lim_{t\to\infty}D^{\alpha-1}_{0}u(t)= \sum_{i=1}^{m-2} \beta_{i} u( \xi_{i}), \end{aligned}$$
(1.6)
where \(D^{\alpha}_{0}\) denotes the Riemann-Liouville fractional derivative of order α, \(f\in C([0,\infty)\times{\mathbb{R}}, {\mathbb{R}}^{+})\), \(0<\xi_{1}<\xi_{2}<\cdots<\xi_{m-2}<\infty\), \(\beta_{i}\ge0\), \(i=1,2,\ldots, m-2\), with \(0<\sum_{i=1}^{m-2} \beta_{i} \xi_{i}^{\alpha-1}<\Gamma(\alpha)\).
Motivated by the above papers, in this article, we study a new class of boundary value problems on fractional differential equations with m-point Erdélyi-Kober fractional integral boundary conditions on an infinite interval of the form
$$\begin{aligned}& D^{\alpha}_{0}u(t)+f\bigl(t,u(t)\bigr)=0,\quad 1< \alpha\leq2, t \in(0,\infty ), \end{aligned}$$
(1.7)
$$\begin{aligned}& u(0)=0,\quad\quad D^{\alpha-1}_{0}u(\infty)=\sum _{i=1}^{m-2}\beta_{i}I^{\gamma _{i},\delta_{i}}_{\eta_{i}}u( \xi_{i}), \end{aligned}$$
(1.8)
where \(D^{\alpha}_{0}\) denotes the Riemann-Liouville fractional derivative of order α, \(I^{\gamma_{i},\delta_{i}}_{\eta_{i}}\) is the Erdélyi-Kober fractional integral of order \(\delta_{i}>0\) with \(\eta_{i}>0\), \(\gamma_{i}\in\mathbb{R}\), \(i=1,2,\ldots,m-2\), \(\beta_{i}\in\mathbb{R}\), and \(\xi_{i}\in(0,\infty)\), \(i=1,2,\ldots,m-2\), are given constants. We prove the existence and uniqueness of an unbounded solution of the boundary value problem (1.7)-(1.8) by using the Leray-Schauder nonlinear alternative and the Banach contraction principle.

This paper is organized as follows. In Section 2, we prepare some material needed to prove our main results. In Section 3, we obtain the existence and uniqueness results, while in Section 4 we give some examples to illustrate our results.

2 Preliminaries

In this section, we introduce some notations and definitions of fractional calculus [1] and present preliminary results needed in our proofs later.

Definition 2.1

The Riemann-Liouville fractional derivative of order q for a function \(f: (0,\infty)\rightarrow{\mathbb{R}}\) is defined by
$$D^{q}_{0}f(t)=\frac{1}{\Gamma(n-q)} \biggl( \frac{d}{dt} \biggr)^{n}\int_{0}^{t} (t-s )^{n-q-1}f(s)\,ds,\quad q>0, n=[q]+1, $$
where \([q]\) denotes the integer part of the real number q, provided the right-hand side is pointwise defined on \((0,\infty)\).

Definition 2.2

The Riemann-Liouville fractional integral of order q for a function \(f: (0,\infty)\rightarrow{\mathbb{R}}\) is defined by
$$I^{q}f(t)=\frac{1}{\Gamma(q)}\int_{0}^{t} (t-s )^{q-1}f(s)\,ds,\quad q>0, $$
provided the right-hand side is pointwise defined on \((0,\infty)\).

Definition 2.3

The Erdélyi-Kober fractional integral of order \(\delta>0\) with \(\eta >0\) and \(\gamma\in\mathbb{R}\) of a continuous function \(f:(0,\infty)\rightarrow\mathbb{R}\) is defined by
$$I^{\gamma,\delta}_{\eta}f(t)=\frac{\eta t^{-\eta(\delta+\gamma)}}{\Gamma(\delta)}\int _{0}^{t} \frac {s^{\eta\gamma+\eta-1}f(s)}{(t^{\eta}-s^{\eta})^{1-\delta}}\,ds $$
provided the right-hand side is pointwise defined on \(\mathbb{R}_{+}\).

Remark 2.4

For \(\eta=1\), the above operator is reduced to the Kober operator
$$I_{1}^{\gamma,\delta}f(t)=\frac{t^{-(\delta+\gamma)}}{\Gamma(\delta )}\int _{0}^{t} \frac{s^{\gamma}f(s)}{(t -s)^{1-\delta}}\,ds,\quad \gamma, \delta>0, $$
that was introduced for the first time by Kober in [12]. For \(\gamma= 0\), the Kober operator is reduced to the Riemann-Liouville fractional integral with a power weight
$$I_{1}^{0,\delta}f(t)=\frac{t^{-\delta}}{\Gamma(\delta)}\int _{0}^{t} \frac {f(s)}{(t -s)^{1-\delta}}\,ds, \quad\delta>0. $$

From the definition of the Riemann-Liouville fractional derivative and integral, we can obtain the following lemmas.

Lemma 2.5

(See [1])

Let \(q>0\) and \(y\in C(0, T)\cap L(0,T)\). Then the fractional differential equation \(D^{q}_{0}y(t)=0\) has a unique solution
$$y(t)=c_{1}t^{q-1}+c_{2}t^{q-2}+ \cdots+c_{n}t^{q-n}, $$
where \(c_{i}\in\mathbb{R}\), \(i=1,2,\ldots,n\), and \(n-1< q< n\).

Lemma 2.6

(See [1])

Let \(q>0\). Then, for \(y\in C(0, T)\cap L(0,T)\), it holds
$$I^{q}D^{q}_{0}y(t)=y(t)+c_{1}t^{q-1}+c_{2}t^{q-2}+ \cdots+c_{n}t^{q-n}, $$
where \(c_{i}\in\mathbb{R}\), \(i=1,2,\ldots,n\), and \(n-1< q< n\).

The following lemmas will be used in the proof of our main results.

Lemma 2.7

Let \(\delta, \eta>0\) and \(\gamma,q\in\mathbb{R}\). Then we have
$$ I^{\gamma,\delta}_{\eta}t^{q}=\frac{t^{q} \Gamma(\gamma+(q/\eta)+1)}{\Gamma (\gamma+(q/\eta)+\delta+1)}. $$
(2.1)

Proof

Recall the beta function and its property
$$B(x,y)=\int_{0}^{1}u^{x-1}(1-u)^{y-1}\,du \quad\text{and}\quad B(x,y)=\frac {\Gamma(x)\Gamma(y)}{\Gamma(x+y)} $$
for \(x,y>0\). From Definition 2.3, we have
$$\begin{aligned} I^{\gamma,\delta}_{\eta}t^{q} =&\frac{\eta t^{-\eta(\delta+\gamma)}}{\Gamma(\delta)}\int _{0}^{t} \frac {s^{\eta\gamma+\eta-1}\cdot s^{q}}{(t^{\eta}- s^{\eta})^{1-\delta}}\,ds \\ =& \frac{t^{q}}{\Gamma(\delta)}\int_{0}^{1} u^{\gamma+\frac{q}{\eta}}(1-u)^{\delta-1}\,du \\ =&\frac{t^{q}}{\Gamma(\delta)}B \biggl( \gamma+\frac{q}{\eta}+1,\delta \biggr) \\ =&\frac{t^{q}\Gamma(\gamma+(q/\eta)+1)}{\Gamma(\gamma+(q/\eta)+\delta+1)}. \end{aligned}$$
The proof is complete. □

Lemma 2.8

Let \(h\in C[0,\infty)\) with \(0<\int_{0}^{\infty}h(s)\,ds<\infty\), and
$$ \Lambda=\Gamma(\alpha)-\sum_{i=1}^{m-2} \beta_{i}\xi_{i}^{\alpha-1} \frac{\Gamma(\gamma_{i}+(\alpha-1)/\eta_{i}+1)}{\Gamma(\gamma_{i}+(\alpha -1)/\eta_{i}+\delta_{i}+1)}\neq0. $$
(2.2)
Then the unique solution of the following linear Riemann-Liouville fractional differential equation
$$ D^{\alpha}_{0}u(t)+h(t)=0,\quad t\in(0,\infty), 1< \alpha\leq2, $$
(2.3)
subject to the Erdélyi-Kober fractional integral boundary condition
$$ u(0)=0,\qquad D^{\alpha-1}_{0}u(\infty)=\sum _{i=1}^{m-2}\beta_{i}I^{\gamma _{i},\delta_{i}}_{\eta_{i}}u( \xi_{i}), $$
(2.4)
is given by
$$ u(t) = \frac{t^{\alpha-1}}{\Lambda}\int_{0}^{\infty}h(s)\,ds-\frac{t^{\alpha -1}}{\Lambda}\sum_{i=1}^{m-2} \beta_{i}I^{\gamma_{i},\delta_{i}}_{\eta _{i}}I^{\alpha}h( \xi_{i})-I^{\alpha}h(t). $$
(2.5)

Proof

Applying the Riemann-Liouville fractional integral of order α to both sides of (2.3), we have
$$ u(t)=c_{1}t^{\alpha-1}+c_{2}t^{\alpha-2}-I^{\alpha}h(t), $$
(2.6)
where \(c_{1} , c_{2} \in\mathbb{R}\).
The first condition of (2.4) implies \(c_{2}=0\). Therefore, we have
$$ u(t)=c_{1}t^{\alpha-1}-I^{\alpha}h(t). $$
(2.7)
The second condition of (2.4) leads to
$$ c_{1}=\frac{1}{\Lambda} \Biggl(\int _{0}^{\infty}h(s)\,ds-\sum_{i=1}^{m-2} \beta _{i}I^{\gamma_{i},\delta_{i}}_{\eta_{i}}I^{\alpha}h( \xi_{i}) \Biggr), $$
(2.8)
where Λ is defined by (2.2). Thus, the unique solution of fractional boundary value problem (2.3)-(2.4) is as the following integral equation:
$$ u(t) = \frac{t^{\alpha-1}}{\Lambda}\int_{0}^{\infty}h(s)\,ds- \frac{t^{\alpha -1}}{\Lambda}\sum_{i=1}^{m-2} \beta_{i}I^{\gamma_{i},\delta_{i}}_{\eta _{i}}I^{\alpha}h( \xi_{i})-I^{\alpha}h(t). $$
Now, by uniqueness of constants \(c_{1}\), \(c_{2}\), we conclude that (2.5) is the unique solution of the boundary value problem (2.3)-(2.4). The proof is completed. □
In this paper, we will use the following space E, which is defined by
$$ E= \biggl\{ u\in C[0,\infty) : \sup_{t\in[0,\infty)}\frac {|u(t)|}{1+t^{\alpha-1}}< \infty \biggr\} $$
and is equipped with the norm
$$\|u\|_{E}=\sup_{t\in[0,\infty)}\frac{|u(t)|}{1+t^{\alpha-1}}. $$
It is known from [24] that E with the above norm is a Banach space.
Using Lemma 2.8 with \(h(t)=f(t,u(t))\), we define the operator \(T:E\rightarrow E\) by
$$\begin{aligned} Tu(t) =&\frac{t^{\alpha-1}}{\Lambda}\int_{0}^{\infty}f \bigl(s,u(s)\bigr)\,ds-\frac {t^{\alpha-1}}{\Lambda}\sum_{i=1}^{m-2} \beta_{i}I^{\gamma_{i},\delta _{i}}_{\eta_{i}}I^{\alpha} f\bigl( \xi_{i},u(\xi_{i})\bigr) \\ &{}-I^{\alpha}f\bigl(t,u(t)\bigr). \end{aligned}$$
(2.9)
Notice that problem (1.7)-(1.8) has a solution if and only if the operator equation \(u=Tu\) has a fixed point, where T is given by (2.9).

We recall the following well-known fixed point theorem which we use in the next section.

Theorem 2.9

(Nonlinear alternative for single-valued maps) ([29])

Let E be a Banach space, C be a closed, convex subset of E, U be an open subset of C and \(0\in U\). Suppose that \(F:\overline{U}\rightarrow C\) is a continuous, compact (that is, \(F(\overline{U})\) is a relatively compact subset of C) map. Then either
  1. (i)

    F has a fixed point in , or

     
  2. (ii)

    there is \(u\in\partial U\) (the boundary of U in C) and \(\lambda\in(0,1)\) with \(u=\lambda F(u)\).

     

Lemma 2.10

([26])

Let \(V=\{u\in E : \| u\|_{E}< l, l>0\}\), \(V_{1}=\{u(t)/(1+t^{\alpha-1}) : u\in V\}\). If \(V_{1}\) is equicontinuous on any compact intervals of \([0,\infty)\) and equiconvergent at infinity, then V is relatively compact on E.

Remark 2.11

\(V_{1}\) is called equiconvergent at infinity if and only if for all \(\epsilon>0\) there exists \(\nu(\epsilon)>0\) such that for all \(u\in V_{1}\), \(t_{1},t_{2}\geq\nu\), it holds
$$\biggl\vert \frac{u(t_{1})}{1+t_{1}^{\alpha-1}}-\frac{u(t_{2})}{1+t_{2}^{\alpha -1}}\biggr\vert < \epsilon. $$
Throughout this paper, we assume that the following conditions hold:
(A1): 

Let \(|f(t,(1+t^{\alpha-1})u)|\leq\varphi_{1}(t)\omega _{1}(|u|)\) on \([0,\infty)\times\mathbb{R}\) with \(\omega_{1}\in C([0,\infty ),[0,\infty))\) nondecreasing and \(\varphi_{1}\in L^{1}[0,\infty)\).

(A2): 
There exists a positive function \(\varphi_{2}(t)\) with \(\varphi_{2}\in L^{1}[0,\infty)\) such that
$$ \bigl\vert f \bigl(t, \bigl(1+t^{\alpha-1}\bigr)u \bigr)-f \bigl(t,\bigl(1+t^{\alpha-1}\bigr)v \bigr)\bigr\vert \leq \varphi_{2}(t)|u-v| $$
(2.10)
for each \(t\in[0,\infty)\) and \(u,v\in E\).

Remark 2.12

Condition (A2) means a kind of sublinearity. Such a condition is known as Krasnosel’ski’s condition.

For convenience, we set
$$\begin{aligned} \Omega_{1} =& \biggl(\frac{1}{|\Lambda|}+ \frac{1}{\Gamma(\alpha)} \biggr)\int_{0}^{\infty}\varphi_{1}(s)\,ds \\ &{}+\frac{1}{|\Lambda|}\sum_{i=1}^{m-2} \frac{|\beta_{i}|\eta_{i}\xi_{i}^{-\eta_{i}(\delta_{i}+\gamma_{i})}}{\Gamma(\alpha )\Gamma(\delta_{i})}\int_{0}^{\xi_{i}}\int _{0}^{r}\frac{r^{\eta_{i}\gamma_{i}+\eta _{i}-1}(r-s)^{\alpha-1}}{(\xi_{i}^{\eta_{i}}-r^{\eta_{i}})^{1-\delta_{i}}} \varphi_{1}(s)\, ds\,dr. \end{aligned}$$
(2.11)

Lemma 2.13

Let (A1) hold. Then the operator \(T:E\rightarrow E\) is completely continuous.

Proof

We divide the proof into four steps.

Step 1: We show that T is uniformly bounded on E.

Let Φ be any bounded subset of E, then there exists a constant \(L_{1}>0\) such that \(\|u\|_{E}\leq L_{1}\) for all \(u\in\Phi\). It follows that
$$\begin{aligned}& \|Tu\|_{E} \\ & \quad= \sup_{t\in[0,\infty)} \Biggl|\frac{t^{\alpha-1}}{\Lambda(1+t^{\alpha -1})}\int _{0}^{\infty}f\bigl(s,u(s)\bigr)\,ds \\ & \quad\quad{}-\frac{t^{\alpha-1}}{\Lambda(1+t^{\alpha-1})}\sum_{i=1}^{m-2} \frac {\beta_{i}\eta_{i}\xi_{i}^{-\eta_{i}(\delta_{i}+\gamma_{i})}}{\Gamma(\alpha)\Gamma (\delta_{i})} \int_{0}^{\xi_{i}}\int _{0}^{r}\frac{r^{\eta_{i}\gamma_{i}+\eta_{i}-1}(r-s)^{\alpha -1}}{(\xi_{i}^{\eta_{i}}-r^{\eta_{i}})^{1-\delta_{i}}} f\bigl(s,u(s)\bigr)\,ds\,dr \\ & \quad\quad{}-\frac{1}{\Gamma(\alpha)}\int_{0}^{t} \frac{(t-s)^{\alpha-1}}{1+t^{\alpha -1}}f\bigl(s,u(s)\bigr)\,ds \Biggr| \\ & \quad\leq \frac{1}{|\Lambda|}\int_{0}^{\infty}\biggl\vert f \biggl(s,\frac{(1+s^{\alpha -1})u(s)}{1+s^{\alpha-1}} \biggr)\biggr\vert \,ds \\ & \quad\quad{}+\frac{1}{|\Lambda|}\sum_{i=1}^{m-2} \frac{|\beta_{i}|\eta_{i}\xi_{i}^{-\eta_{i}(\delta_{i}+\gamma_{i})}}{\Gamma(\alpha )\Gamma(\delta_{i})}\int_{0}^{\xi_{i}}\int _{0}^{r}\frac{r^{\eta_{i}\gamma_{i}+\eta _{i}-1}(r-s)^{\alpha-1}}{(\xi_{i}^{\eta_{i}}-r^{\eta_{i}})^{1-\delta_{i}}} \biggl\vert f \biggl(s,\frac{(1+s^{\alpha-1})u(s)}{1+s^{\alpha-1}} \biggr)\biggr\vert \,ds\,dr \\ & \quad\quad{}+\frac{1}{\Gamma(\alpha)}\int_{0}^{\infty}\biggl\vert f \biggl(s,\frac {(1+s^{\alpha-1})u(s)}{1+s^{\alpha-1}} \biggr)\biggr\vert \,ds \\ & \quad\leq \biggl(\frac{1}{|\Lambda|}+\frac{1}{\Gamma(\alpha)} \biggr)\int _{0}^{\infty}\varphi_{1}(s) \omega_{1} \biggl(\frac{|u(s)|}{1+s^{\alpha-1}} \biggr)\,ds \\ & \quad\quad{}+\frac{1}{|\Lambda|}\sum_{i=1}^{m-2} \frac{|\beta_{i}|\eta_{i}\xi_{i}^{-\eta_{i}(\delta_{i}+\gamma_{i})}}{\Gamma(\alpha )\Gamma(\delta_{i})}\int_{0}^{\xi_{i}}\int _{0}^{r}\frac{r^{\eta_{i}\gamma_{i}+\eta _{i}-1}(r-s)^{\alpha-1}}{(\xi_{i}^{\eta_{i}}-r^{\eta_{i}})^{1-\delta_{i}}} \varphi_{1}(s) \omega_{1} \biggl(\frac{|u(s)|}{1+s^{\alpha-1}} \biggr)\,ds\,dr \\ & \quad\leq \omega_{1}(L_{1}) \biggl( \frac{1}{|\Lambda|}+\frac{1}{\Gamma(\alpha )} \biggr)\int_{0}^{\infty}\varphi_{1}(s)\,ds \\ & \quad\quad{}+\frac{\omega_{1}(L_{1})}{|\Lambda|}\sum_{i=1}^{m-2} \frac{|\beta_{i}|\eta_{i}\xi_{i}^{-\eta_{i}(\delta_{i}+\gamma_{i})}}{\Gamma(\alpha )\Gamma(\delta_{i})}\int_{0}^{\xi_{i}}\int _{0}^{r}\frac{r^{\eta_{i}\gamma_{i}+\eta _{i}-1}(r-s)^{\alpha-1}}{(\xi_{i}^{\eta_{i}}-r^{\eta_{i}})^{1-\delta_{i}}} \varphi_{1}(s) \,ds\,dr \\ & \quad= \omega_{1}(L_{1})\Omega_{1}< \infty \quad\text{for } u\in\Phi. \end{aligned}$$
Therefore TΦ is uniformly bounded.

Step 2: We show that T is equicontinuous on any compact interval of \([0,\infty)\).

For any \(S>0\), \(t_{1},t_{2}\in[0,S]\) and \(u\in\Phi\), without loss of generality, we assume that \(t_{1}< t_{2}\). It follows that
$$\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|\frac{t_{2}^{\alpha-1}}{\Lambda(1+t_{2}^{\alpha-1})}\int_{0}^{\infty}f \bigl(s,u(s)\bigr)\,ds-\frac{t_{2}^{\alpha-1}}{\Lambda(1+t_{2}^{\alpha-1})}\sum_{i=1}^{m-2} \beta_{i}I^{\gamma_{i},\delta_{i}}_{\eta_{i}}I^{\alpha} f\bigl( \xi_{i},u(\xi_{i})\bigr) \\ & \quad\quad{}-\frac{I^{\alpha}f(t_{2},u(t_{2}))}{(1+t_{2}^{\alpha-1})}-\frac{t_{1}^{\alpha -1}}{\Lambda(1+t_{1}^{\alpha-1})}\int_{0}^{\infty}f\bigl(s,u(s)\bigr)\,ds \\ & \quad\quad{}+\frac{t_{1}^{\alpha-1}}{\Lambda(1+t_{1}^{\alpha-1})}\sum_{i=1}^{m-2}\beta _{i}I^{\gamma_{i},\delta_{i}}_{\eta_{i}}I^{\alpha} f\bigl( \xi_{i},u(\xi_{i})\bigr)+\frac{I^{\alpha}f(t_{1},u(t_{1}))}{(1+t_{1}^{\alpha -1})} \Biggr| \\ & \quad= \Biggl|\frac{t_{2}^{\alpha-1}}{\Lambda(1+t_{2}^{\alpha-1})}\int_{0}^{\infty}f \bigl(s,u(s)\bigr)\,ds-\frac{t_{2}^{\alpha-1}}{\Lambda(1+t_{2}^{\alpha-1})}\sum_{i=1}^{m-2} \beta_{i}I^{\gamma_{i},\delta_{i}}_{\eta_{i}}I^{\alpha} f\bigl( \xi_{i},u(\xi_{i})\bigr) \\ & \quad\quad{}-\frac{I^{\alpha}f(t_{2},u(t_{2}))}{(1+t_{2}^{\alpha-1})}-\frac{t_{1}^{\alpha -1}}{\Lambda(1+t_{2}^{\alpha-1})}\int_{0}^{\infty}f\bigl(s,u(s)\bigr)\,ds \\ & \quad\quad{}+\frac{t_{1}^{\alpha-1}}{\Lambda(1+t_{2}^{\alpha-1})}\sum_{i=1}^{m-2}\beta _{i}I^{\gamma_{i},\delta_{i}}_{\eta_{i}}I^{\alpha} f\bigl( \xi_{i},u(\xi_{i})\bigr)+\frac{I^{\alpha}f(t_{1},u(t_{1}))}{(1+t_{2}^{\alpha-1})} \\ & \quad\quad{}+\frac{t_{1}^{\alpha-1}}{\Lambda(1+t_{2}^{\alpha-1})}\int_{0}^{\infty}f\bigl(s,u(s) \bigr)\,ds-\frac{t_{1}^{\alpha-1}}{\Lambda(1+t_{2}^{\alpha-1})}\sum_{i=1}^{m-2} \beta_{i}I^{\gamma_{i},\delta_{i}}_{\eta_{i}}I^{\alpha} f\bigl( \xi_{i},u(\xi_{i})\bigr) \\ & \quad\quad{}-\frac{I^{\alpha}f(t_{1},u(t_{1}))}{(1+t_{2}^{\alpha-1})}-\frac{t_{1}^{\alpha -1}}{\Lambda(1+t_{1}^{\alpha-1})}\int_{0}^{\infty}f\bigl(s,u(s)\bigr)\,ds \\ & \quad\quad{}+\frac{t_{1}^{\alpha-1}}{\Lambda(1+t_{1}^{\alpha-1})}\sum_{i=1}^{m-2}\beta _{i}I^{\gamma_{i},\delta_{i}}_{\eta_{i}}I^{\alpha} f\bigl( \xi_{i},u(\xi_{i})\bigr)+\frac{I^{\alpha}f(t_{1},u(t_{1}))}{(1+t_{1}^{\alpha -1})} \Biggr| \\ & \quad\leq \biggl\vert \frac{t_{2}^{\alpha-1}-t_{1}^{\alpha-1}}{\Lambda(1+t_{2}^{\alpha -1})}\biggr\vert \int _{0}^{\infty}\biggl\vert f \biggl(s, \frac{(1+s^{\alpha -1})u(s)}{1+s^{\alpha-1}} \biggr)\biggr\vert \,ds+\biggl\vert \frac{t_{2}^{\alpha -1}-t_{1}^{\alpha-1}}{\Lambda(1+t_{2}^{\alpha-1})}\biggr\vert \sum_{i=1}^{m-2}\frac{|\beta_{i}|\eta_{i}\xi_{i}^{-\eta_{i}(\delta_{i}+\gamma _{i})}}{\Gamma(\alpha)\Gamma(\delta_{i})} \\ & \quad\quad{}\times\int_{0}^{\xi_{i}}\int_{0}^{r} \frac{r^{\eta_{i}\gamma_{i}+\eta _{i}-1}(r-s)^{\alpha-1}}{(\xi_{i}^{\eta_{i}}-r^{\eta_{i}})^{1-\delta_{i}}} \biggl\vert f \biggl(s,\frac{(1+s^{\alpha-1})u(s)}{1+s^{\alpha-1}} \biggr)\biggr\vert \,ds\,dr+\frac{1}{\Gamma(\alpha)(1+t_{2}^{\alpha-1})} \\ & \quad\quad{}\times \biggl|\int_{0}^{t_{1}}(t_{1}-s)^{\alpha-1}f \biggl(s,\frac{(1+s^{\alpha -1})u(s)}{1+s^{\alpha-1}} \biggr)\,ds-\int_{0}^{t_{2}}(t_{2}-s)^{\alpha-1}f \biggl(s,\frac{(1+s^{\alpha-1})u(s)}{1+s^{\alpha-1}} \biggr)\,ds \biggr| \\ & \quad\quad{}+\biggl\vert \frac{1}{1+t_{2}^{\alpha-1}}-\frac{1}{1+t_{1}^{\alpha-1}}\biggr\vert \Biggl( \frac{t_{1}^{\alpha-1}}{|\Lambda|}\int_{0}^{\infty}\biggl\vert f \biggl(s,\frac{(1+s^{\alpha-1})u(s)}{1+s^{\alpha-1}} \biggr)\biggr\vert \, ds \\ & \quad\quad{}+\frac{t_{1}^{\alpha-1}}{|\Lambda|}\sum_{i=1}^{m-2} \frac{|\beta_{i}|\eta _{i}\xi_{i}^{-\eta_{i}(\delta_{i}+\gamma_{i})}}{\Gamma(\alpha)\Gamma(\delta_{i})} \int_{0}^{\xi_{i}}\int _{0}^{r}\frac{r^{\eta_{i}\gamma_{i}+\eta_{i}-1}(r-s)^{\alpha -1}}{(\xi_{i}^{\eta_{i}}-r^{\eta_{i}})^{1-\delta_{i}}}\biggl\vert f \biggl(s, \frac {(1+s^{\alpha-1})u(s)}{1+s^{\alpha-1}} \biggr)\biggr\vert \,ds\,dr \\ & \quad\quad{}+\frac{1}{\Gamma(\alpha)}\int_{0}^{t_{1}}(t_{1}-s)^{\alpha-1} \biggl\vert f \biggl(s,\frac{(1+s^{\alpha-1})u(s)}{1+s^{\alpha-1}} \biggr)\biggr\vert \,ds \Biggr) \\ & \quad\leq \omega_{1}(L_{1})\biggl\vert \frac{t_{2}^{\alpha-1}-t_{1}^{\alpha-1}}{\Lambda (1+t_{2}^{\alpha-1})}\biggr\vert \int_{0}^{\infty}\varphi_{1}(s)\,ds \\ & \quad\quad{}+\omega_{1}(L_{1})\biggl\vert \frac{t_{2}^{\alpha-1}-t_{1}^{\alpha-1}}{\Lambda (1+t_{2}^{\alpha-1})}\biggr\vert \sum_{i=1}^{m-2} \frac{|\beta_{i}|\eta_{i}\xi_{i}^{-\eta_{i}(\delta_{i}+\gamma_{i})}}{\Gamma(\alpha )\Gamma(\delta_{i})} \int_{0}^{\xi_{i}}\int_{0}^{r} \frac{r^{\eta_{i}\gamma_{i}+\eta_{i}-1}(r-s)^{\alpha -1}}{(\xi_{i}^{\eta_{i}}-r^{\eta_{i}})^{1-\delta_{i}}} \varphi_{1}(s)\,ds\,dr \\ & \quad\quad{}+\frac{\omega_{1}(L_{1})}{\Gamma(\alpha)(1+t_{2}^{\alpha-1})} \biggl(\int_{0}^{t_{1}}\bigl\vert (t_{2}-s)^{\alpha-1}-(t_{1}-s)^{\alpha-1}\bigr\vert \varphi_{1}(s)\,ds +\int_{t_{1}}^{t_{2}}(t_{2}-s)^{\alpha-1} \varphi_{1}(s)\,ds \biggr) \\& \quad\quad{}+\omega_{1}(L_{1})\biggl\vert \frac{t_{2}^{\alpha-1}-t_{1}^{\alpha -1}}{(1+t_{1}^{\alpha-1})(1+t_{2}^{\alpha-1})}\biggr\vert \Biggl(\frac{t_{1}^{\alpha -1}}{|\Lambda|}\int_{0}^{\infty}\varphi_{1}(s)\,ds \\& \quad\quad{}+\frac{t_{1}^{\alpha-1}}{|\Lambda|}\sum_{i=1}^{m-2} \frac{|\beta_{i}|\eta _{i}\xi_{i}^{-\eta_{i}(\delta_{i}+\gamma_{i})}}{\Gamma(\alpha)\Gamma(\delta_{i})} \int_{0}^{\xi_{i}}\int _{0}^{r}\frac{r^{\eta_{i}\gamma_{i}+\eta_{i}-1}(r-s)^{\alpha -1}}{(\xi_{i}^{\eta_{i}}-r^{\eta_{i}})^{1-\delta_{i}}}\varphi_{1}(s)\,ds\,dr \\& \quad\quad{}+\frac{1}{\Gamma(\alpha)}\int_{0}^{t_{1}}(t_{1}-s)^{\alpha-1} \varphi _{1}(s)\,ds \Biggr), \end{aligned}$$
which is independent of u and tends to zero as \(t_{1}\rightarrow t_{2}\). Thus TΦ is equicontinuous on \([0,\infty)\).

Step 3: We show that T is equiconvergent at ∞.

For any \(u\in\Phi\), we have
$$\int_{0}^{\infty}f\bigl(s,u(s)\bigr)\,ds\le \omega_{1}(L_{1})\int_{0}^{\infty}\varphi _{1}(s)\,ds< \infty, $$
and
$$\begin{aligned} \lim_{t\rightarrow\infty}\biggl\vert \frac{(Tu)(t)}{1+t^{\alpha-1}}\biggr\vert =& \lim_{t\rightarrow\infty} \Biggl|\frac{1}{1+t^{\alpha-1}} \Biggl[\frac {t^{\alpha-1}}{\Lambda}\int _{0}^{\infty}f\bigl(s,u(s)\bigr)\,ds \\ &{}-\frac{t^{\alpha-1}}{\Lambda}\sum_{i=1}^{m-2} \beta_{i}I^{\gamma_{i},\delta _{i}}_{\eta_{i}}I^{\alpha} f\bigl( \xi_{i},u(\xi_{i})\bigr)-I^{\alpha}f\bigl(t,u(t)\bigr) \Biggr] \Biggr|. \end{aligned}$$
We now consider
$$\lim_{t\rightarrow\infty}\frac{1}{1+t^{\alpha-1}}\cdot\frac{t^{\alpha -1}}{\Lambda}\int _{0}^{\infty}f\bigl(s,u(s)\bigr)\,ds=\frac{1}{\Lambda} \int_{0}^{\infty}f\bigl(s,u(s)\bigr)\,ds $$
and
$$\begin{aligned} \lim_{t\rightarrow\infty}\frac{1}{1+t^{\alpha-1}}I^{\alpha }f\bigl(t,u(t) \bigr) =&\lim_{t\rightarrow\infty} \frac{1}{\Gamma(\alpha)}\int_{0}^{t} \frac{(t-s)^{\alpha-1}}{1+t^{\alpha -1}}f\bigl(s,u(s)\bigr)\,ds \\ \leq&\lim_{t\rightarrow\infty}\frac{1}{\Gamma(\alpha)}\int_{0}^{t} f\bigl(s,u(s)\bigr)\,ds = \frac{1}{\Gamma(\alpha)}\int_{0}^{\infty}f\bigl(s,u(s) \bigr)\,ds. \end{aligned}$$
Then we have
$$\begin{aligned} \lim_{t\rightarrow\infty}\biggl\vert \frac{(Tu)(t)}{1+t^{\alpha-1}}\biggr\vert \leq& \Biggl| \biggl(\frac{1}{\Lambda}-\frac{1}{\Gamma(\alpha)} \biggr)\int_{0}^{\infty}f\bigl(s,u(s)\bigr)\,ds \\ &{}-\frac{1}{\Lambda}\sum_{i=1}^{m-2} \frac{\beta_{i}\eta_{i}\xi_{i}^{-\eta _{i}(\delta_{i}+\gamma_{i})}}{\Gamma(\alpha)\Gamma(\delta_{i})} \int_{0}^{\xi_{i}}\int _{0}^{r}\frac{r^{\eta_{i}\gamma_{i}+\eta_{i}-1}(r-s)^{\alpha -1}}{(\xi_{i}^{\eta_{i}}-r^{\eta_{i}})^{1-\delta_{i}}}f\bigl(s,u(s)\bigr)\,ds\,dr \Biggr| \\ < &\infty. \end{aligned}$$
Hence, TΦ is equiconvergent at infinity.

Step 4: We show that T is continuous.

Taking \(u_{n},u\in E\) such that \(\|u_{n}\|_{E}<\infty\), \(\|u\|_{E}<\infty\) and \(u_{n}\rightarrow u\) as \(n\rightarrow\infty\), then by (A1) we have
$$ \int_{0}^{\infty}f\bigl(s,u_{n}(s)\bigr)\,ds \leq\omega_{1}\bigl(\|u_{n}\|_{E}\bigr)\int _{0}^{\infty}\varphi _{1}(s)\,ds< \infty, $$
and
$$\begin{aligned}& \int_{0}^{\xi_{i}}\int_{0}^{r} \frac{r^{\eta_{i}\gamma_{i}+\eta_{i}-1}(r-s)^{\alpha -1}}{(\xi_{i}^{\eta_{i}}-r^{\eta_{i}})^{1-\delta_{i}}} f\bigl(s,u_{n}(s)\bigr)\,ds\,dr \\& \quad\leq \omega_{1}\bigl(\|u_{n}\|_{E}\bigr)\int _{0}^{\xi_{i}}\int_{0}^{r} \frac{r^{\eta_{i}\gamma _{i}+\eta_{i}-1}(r-s)^{\alpha-1}}{(\xi_{i}^{\eta_{i}}-r^{\eta_{i}})^{1-\delta_{i}}} \varphi_{1}(s)\,ds\,dr< \infty \quad\text{for } i=1,2, \ldots,m-2. \end{aligned}$$
Hence the Lebesgue dominated convergence and the continuity of f guarantee that
$$ \int_{0}^{\infty}f\bigl(s,u_{n}(s)\bigr)\,ds \rightarrow\int_{0}^{\infty}f\bigl(s,u(s)\bigr)\,ds, \quad\text{as } n\rightarrow\infty, $$
and
$$\begin{aligned}& \int_{0}^{\xi_{i}}\int_{0}^{r} \frac{r^{\eta_{i}\gamma_{i}+\eta_{i}-1}(r-s)^{\alpha -1}}{(\xi_{i}^{\eta_{i}}-r^{\eta_{i}})^{1-\delta_{i}}}f\bigl(s,u_{n}(s)\bigr) \,ds\,dr \rightarrow\int _{0}^{\xi_{i}}\int_{0}^{r} \frac{r^{\eta_{i}\gamma_{i}+\eta _{i}-1}(r-s)^{\alpha-1}}{(\xi_{i}^{\eta_{i}}-r^{\eta_{i}})^{1-\delta _{i}}}f\bigl(s,u(s)\bigr)\,ds\,dr, \\& \quad\text{as } n\rightarrow\infty, \text{ for } i=1,2,\ldots,m-2. \end{aligned}$$
Therefore, we get
$$\begin{aligned} \|Tu_{n}-Tu\|_{E} \leq& \biggl(\frac{1}{|\Lambda|}+ \frac{1}{\Gamma(\alpha )} \biggr)\biggl\vert \int_{0}^{\infty}f\bigl(s,u_{n}(s)\bigr)\,ds-\int_{0}^{\infty}f\bigl(s,u(s)\bigr)\,ds\biggr\vert \\ &{}+\frac{1}{|\Lambda|}\sum_{i=1}^{m-2} \frac{|\beta_{i}|\eta_{i}\xi_{i}^{-\eta _{i}(\delta_{i}+\gamma_{i})}}{\Gamma(\alpha)\Gamma(\delta_{i})} \biggl|\int_{0}^{\xi_{i}}\int _{0}^{r}\frac{r^{\eta_{i}\gamma_{i}+\eta _{i}-1}(r-s)^{\alpha-1}}{(\xi_{i}^{\eta_{i}}-r^{\eta_{i}})^{1-\delta _{i}}}f\bigl(s,u_{n}(s) \bigr)\,ds\,dr \\ &{}-\int_{0}^{\xi_{i}}\int_{0}^{r} \frac{r^{\eta_{i}\gamma_{i}+\eta_{i}-1}(r-s)^{\alpha -1}}{(\xi_{i}^{\eta_{i}}-r^{\eta_{i}})^{1-\delta_{i}}}f\bigl(s,u(s)\bigr) \,ds\,dr \biggr| \rightarrow0, \quad\text{as } n\rightarrow \infty. \end{aligned}$$
So, T is continuous.

Using Lemma 2.10, we obtain that \(T:E\rightarrow E\) is completely continuous. The proof is completed. □

3 Main results

Theorem 3.1

Assume that (A1) holds. If there exists \(\kappa>0\) such that
$$ \frac{\kappa}{\omega_{1}(\kappa)\Omega_{1}}>1, $$
(3.1)
where \(\Omega_{1}\) is defined in (2.11), then the boundary value problem (1.7)-(1.8) has at least one solution on \([0,\infty)\).

Proof

Consider the operator \(T: E\to E\) defined by (2.9). This operator is continuous and completely continuous by Lemma 2.13. We will show that there exists an open set \(U\subseteq E\) with \(u\ne\lambda T(u)\) for \(\lambda\in(0,1)\) and \(u\in\partial U\). Let \(u=\lambda T(u)\) for \(\lambda\in(0,1)\). Then we have
$$\begin{aligned} \|u\|_{E} =&\sup_{t\in[0,\infty)}\biggl\vert \frac{\lambda(Tu)(t)}{1+t^{\alpha -1}}\biggr\vert \\ \leq&\sup_{t\in[0,\infty)} \Biggl|\frac{1}{1+t^{\alpha-1}} \Biggl[\frac {t^{\alpha-1}}{\Lambda} \int_{0}^{\infty}f\bigl(s,u(s)\bigr)\,ds \\ &{}-\frac{t^{\alpha-1}}{\Lambda}\sum_{i=1}^{m-2} \beta_{i}I^{\gamma_{i},\delta _{i}}_{\eta_{i}}I^{\alpha} f\bigl( \xi_{i},u(\xi_{i})\bigr)-I^{\alpha}f\bigl(t,u(t)\bigr) \Biggr] \Biggr| \\ \leq&\omega_{1}\bigl(\|u\|_{E}\bigr) \biggl(\frac{1}{|\Lambda|}+ \frac{1}{\Gamma(\alpha )} \biggr)\int_{0}^{\infty}\varphi_{1}(s)\,ds \\ &{}+\frac{\omega_{1}(\|u\|_{E})}{|\Lambda|}\sum_{i=1}^{m-2} \frac{|\beta_{i}|\eta_{i}\xi_{i}^{-\eta_{i}(\delta_{i}+\gamma_{i})}}{\Gamma(\alpha )\Gamma(\delta_{i})} \int_{0}^{\xi_{i}}\int _{0}^{r}\frac{r^{\eta_{i}\gamma_{i}+\eta_{i}-1}(r-s)^{\alpha -1}}{(\xi_{i}^{\eta_{i}}-r^{\eta_{i}})^{1-\delta_{i}}} \varphi_{1}(s)\,ds\,dr \\ =&\omega_{1}\bigl(\|u\|_{E}\bigr)\Omega_{1}. \end{aligned}$$
This implies that
$$\frac{\|u\|_{E}}{\omega_{1}(\|u\|_{E})\Omega_{1}}\leq1. $$

In view of (3.1), there exists κ such that \(\|u\| _{E}\neq\kappa\). We define \({U} = \{u \in E : \|u\|_{E} < \kappa\}\). Note that the operator \(T :\overline{{U}} \to E\) is continuous and completely continuous. From the choice of U, there is no \(u \in\partial{U}\) such that \(u=\lambda Tu\) for some \(\lambda\in(0,1)\). Consequently, by Lemma 2.9, the boundary value problem (1.7)-(1.8) has at least one solution on \([0,\infty)\). The proof is completed. □

In the next theorem we prove an existence and uniqueness result for the boundary value problem (1.7)-(1.8) by using the Banach fixed point theorem. To simplify its proof, we set
$$\begin{aligned}& \rho_{1} = \biggl(\frac{1}{|\Lambda|}+\frac{1}{\Gamma(\alpha)} \biggr)\int _{0}^{\infty}\bigl|f(s,0) \bigr|\,ds< \infty, \end{aligned}$$
(3.2)
$$\begin{aligned}& \rho_{2} = \frac{1}{|\Lambda|}\sum_{i=1}^{m-2} \frac{|\beta_{i}|\eta_{i}\xi_{i}^{-\eta_{i}(\delta_{i}+\gamma_{i})}}{\Gamma(\alpha )\Gamma(\delta_{i})}\int_{0}^{\xi_{i}}\int _{0}^{r}\frac{r^{\eta_{i}\gamma_{i}+\eta _{i}-1}(r-s)^{\alpha-1}}{(\xi_{i}^{\eta_{i}}-r^{\eta_{i}})^{1-\delta_{i}}} \bigl|f(s,0) \bigr|\,ds\,dr, \end{aligned}$$
(3.3)
$$\begin{aligned}& \Omega_{2} = \biggl(\frac{1}{|\Lambda|}+\frac{1}{\Gamma(\alpha)} \biggr)\int _{0}^{\infty}\varphi_{2}(s)\,ds \\& \hphantom{\Omega_{2} =}{}+\frac{1}{|\Lambda|}\sum_{i=1}^{m-2} \frac{|\beta_{i}|\eta_{i}\xi_{i}^{-\eta_{i}(\delta_{i}+\gamma_{i})}}{\Gamma(\alpha )\Gamma(\delta_{i})}\int_{0}^{\xi_{i}}\int _{0}^{r}\frac{r^{\eta_{i}\gamma_{i}+\eta _{i}-1}(r-s)^{\alpha-1}}{(\xi_{i}^{\eta_{i}}-r^{\eta_{i}})^{1-\delta_{i}}} \varphi_{2}(s)\,ds\,dr. \end{aligned}$$
(3.4)

Theorem 3.2

Assume that (A2) holds. If
$$\begin{aligned} \Omega_{2}< 1, \end{aligned}$$
(3.5)
then the boundary value problem (1.7)-(1.8) has a unique solution on \([0,\infty)\).

Proof

We define the operator T as in (2.9). Then we obtain
$$\begin{aligned}& \frac{|(Tu)(t)|}{1+t^{\alpha-1}} \\& \quad\leq \frac{1}{|\Lambda|}\int_{0}^{\infty}\biggl\vert f \biggl(s,\frac{(1+s^{\alpha -1})u(s)}{1+s^{\alpha-1}} \biggr)\biggr\vert \,ds \\& \quad\quad{}+\frac{1}{|\Lambda|}\sum_{i=1}^{m-2} \frac{|\beta_{i}|\eta_{i}\xi_{i}^{-\eta_{i}(\delta_{i}+\gamma_{i})}}{\Gamma(\alpha )\Gamma(\delta_{i})}\int_{0}^{\xi_{i}}\int _{0}^{r}\frac{r^{\eta_{i}\gamma_{i}+\eta _{i}-1}(r-s)^{\alpha-1}}{(\xi_{i}^{\eta_{i}}-r^{\eta_{i}})^{1-\delta_{i}}} \biggl\vert f \biggl(s,\frac{(1+s^{\alpha-1})u(s)}{1+s^{\alpha-1}} \biggr)\biggr\vert \,ds\,dr \\& \quad\quad{}+\frac{1}{\Gamma(\alpha)}\int_{0}^{\infty}\biggl\vert f \biggl(s,\frac {(1+s^{\alpha-1})u(s)}{1+s^{\alpha-1}} \biggr)\biggr\vert \, ds \\& \quad \leq \biggl(\frac{1}{|\Lambda|}+\frac{1}{\Gamma(\alpha)} \biggr)\int _{0}^{\infty}\biggl(\varphi_{2}(s)\biggl\vert \frac{u(s)}{1+s^{\alpha-1}}\biggr\vert + \bigl|f(s,0) \bigr| \biggr)\,ds \\& \quad\quad{}+\frac{1}{|\Lambda|}\sum_{i=1}^{m-2} \frac{|\beta_{i}|\eta_{i}\xi_{i}^{-\eta_{i}(\delta_{i}+\gamma_{i})}}{\Gamma(\alpha )\Gamma(\delta_{i})} \\& \quad\quad{}\times\int_{0}^{\xi_{i}}\int _{0}^{r}\frac{r^{\eta_{i}\gamma_{i}+\eta _{i}-1}(r-s)^{\alpha-1}}{(\xi_{i}^{\eta_{i}}-r^{\eta_{i}})^{1-\delta_{i}}} \biggl( \varphi_{2}(s)\biggl\vert \frac{u(s)}{1+s^{\alpha-1}}\biggr\vert + \bigl|f(s,0) \bigr| \biggr)\,ds\,dr \\& \quad\leq \|u\|_{E} \Biggl[ \biggl(\frac{1}{|\Lambda|}+ \frac{1}{\Gamma(\alpha )} \biggr)\int_{0}^{\infty}\varphi_{2}(s)\,ds+\frac{1}{|\Lambda|}\sum_{i=1}^{m-2} \frac{|\beta_{i}|\eta_{i}\xi_{i}^{-\eta_{i}(\delta_{i}+\gamma_{i})}}{\Gamma(\alpha )\Gamma(\delta_{i})} \\& \quad\quad{}\times\int_{0}^{\xi_{i}}\int_{0}^{r} \frac{r^{\eta_{i}\gamma_{i}+\eta _{i}-1}(r-s)^{\alpha-1}}{(\xi_{i}^{\eta_{i}}-r^{\eta_{i}})^{1-\delta_{i}}} \varphi_{2}(s) \,ds\,dr \Biggr]+ \biggl( \frac{1}{|\Lambda|}+\frac{1}{\Gamma(\alpha )} \biggr)\int_{0}^{\infty}\bigl|f(s,0) \bigr|\,ds \\& \quad\quad{}+\frac{1}{|\Lambda|}\sum_{i=1}^{m-2} \frac{|\beta_{i}|\eta_{i}\xi_{i}^{-\eta_{i}(\delta_{i}+\gamma_{i})}}{\Gamma(\alpha )\Gamma(\delta_{i})}\int_{0}^{\xi_{i}}\int _{0}^{r}\frac{r^{\eta_{i}\gamma_{i}+\eta _{i}-1}(r-s)^{\alpha-1}}{(\xi_{i}^{\eta_{i}}-r^{\eta_{i}})^{1-\delta_{i}}} \bigl|f(s,0) \bigr| \,ds\,dr \\& \quad= \Omega_{2}\|u\|_{E}+\rho_{1}+ \rho_{2}, \end{aligned}$$
which leads to
$$\|Tu\|_{E}\leq\Omega_{2}\|u\|_{E}+ \rho_{1}+\rho_{2}< +\infty\quad \text{for } u\in E, $$
where \(\rho_{1}\), \(\rho_{2}\), \(\Omega_{2}\) are defined by (3.2), (3.3) and (3.4), respectively. This shows that T maps E into itself.
On the other hand, for any \(u,v\in E\) and any \(t\in[0,\infty)\), we get
$$\begin{aligned}& \frac{|(Tu)(t)-(Tv)(t)|}{1+t^{\alpha-1}} \\& \quad\leq \biggl(\frac{1}{|\Lambda|}+\frac{1}{\Gamma(\alpha)} \biggr)\int _{0}^{\infty}\biggl\vert f \biggl(s, \frac{(1+s^{\alpha-1})u(s)}{1+s^{\alpha -1}} \biggr) -f \biggl(s,\frac{(1+s^{\alpha-1})v(s)}{1+s^{\alpha-1}} \biggr)\biggr\vert \, ds \\& \quad\quad{}+\frac{1}{|\Lambda|}\sum_{i=1}^{m-2} \frac{|\beta_{i}|\eta_{i}\xi_{i}^{-\eta_{i}(\delta_{i}+\gamma_{i})}}{\Gamma(\alpha )\Gamma(\delta_{i})}\int_{0}^{\xi_{i}}\int _{0}^{r}\frac{r^{\eta_{i}\gamma_{i} +\eta_{i}-1}(r-s)^{\alpha-1}}{(\xi_{i}^{\eta_{i}}-r^{\eta_{i}})^{1-\delta_{i}}} \\& \quad\quad{}\times\biggl\vert f \biggl(s,\frac{(1+s^{\alpha-1})u(s)}{1+s^{\alpha-1}} \biggr)-f \biggl(s, \frac{(1+s^{\alpha-1})v(s)}{1+s^{\alpha-1}} \biggr)\biggr\vert \,ds\,dr \\& \quad\leq \biggl(\frac{1}{|\Lambda|}+\frac{1}{\Gamma(\alpha)} \biggr)\int _{0}^{\infty}\varphi_{2}(s)\biggl\vert \frac{u(s)}{1+s^{\alpha-1}}-\frac {v(s)}{1+s^{\alpha-1}}\biggr\vert \,ds \\& \quad\quad{}+\frac{1}{|\Lambda|}\sum_{i=1}^{m-2} \frac{|\beta_{i}|\eta_{i}\xi_{i}^{-\eta_{i}(\delta_{i}+\gamma_{i})}}{\Gamma(\alpha )\Gamma(\delta_{i})} \\& \quad\quad{}\times\int_{0}^{\xi_{i}}\int _{0}^{r}\frac{r^{\eta_{i}\gamma_{i}+\eta _{i}-1}(r-s)^{\alpha-1}}{(\xi_{i}^{\eta_{i}}-r^{\eta_{i}})^{1-\delta_{i}}} \varphi_{2}(s) \biggl\vert \frac{u(s)}{1+s^{\alpha-1}}-\frac{v(s)}{1+s^{\alpha -1}}\biggr\vert \,ds\,dr \\& \quad\leq \|u-v\|_{E} \Biggl[ \biggl(\frac{1}{|\Lambda|}+ \frac{1}{\Gamma(\alpha )} \biggr)\int_{0}^{\infty}\varphi_{2}(s)\,ds \\& \quad\quad{}+\frac{1}{|\Lambda|}\sum_{i=1}^{m-2} \frac{|\beta_{i}|\eta_{i}\xi_{i}^{-\eta_{i}(\delta_{i}+\gamma_{i})}}{\Gamma(\alpha )\Gamma(\delta_{i})}\int_{0}^{\xi_{i}}\int _{0}^{r}\frac{r^{\eta_{i}\gamma_{i}+\eta _{i}-1}(r-s)^{\alpha-1}}{(\xi_{i}^{\eta_{i}}-r^{\eta_{i}})^{1-\delta_{i}}} \varphi_{2}(s)\,ds\,dr \Biggr] \\& \quad= \Omega_{2}\|u-v\|_{E}. \end{aligned}$$
Therefore
$$\|Tu-Tv\|_{E}\leq\Omega_{2}\|u-v\|_{E} \quad\text{for } u,v\in E. $$
As \(\Omega_{2}<1\), therefore T is a contraction. Hence, by the Banach fixed point theorem, we get that T has a fixed point which is a unique solution of problem (1.7)-(1.8). The proof is completed. □

4 Examples

In this section we present examples illustrating the obtained results.

Example 4.1

Consider the following nonlinear Riemann-Liouville fractional differential equation with Erdélyi-Kober fractional integral condition:
$$ \textstyle\begin{cases} D_{0}^{\frac{4}{3}}u(t)+\frac {u^{2}(t)e^{-2t}}{100(1+t^{1/3})^{2}} =0, \quad t\in(0,\infty), \\ u(0)=0, \\ D_{0}^{\frac{1}{3}}u(\infty )=2I_{3}^{2,4}u(3)-\sqrt{\pi}I_{\frac{1}{2}}^{-\frac{3}{4},e}u (\frac {25}{4} )+e^{2}I_{5}^{\frac{2}{3},6}u(10)-\frac{9}{7}I_{\frac {5}{3}}^{3,\pi}u(2). \end{cases} $$
(4.1)
Here \(\alpha=4/3\), \(m=6\), \(\beta_{1}=2\), \(\beta_{2}=-\sqrt{\pi}\), \(\beta _{3}=e^{2}\), \(\beta_{4}=-9/7\), \(\gamma_{1}=2\), \(\gamma_{2}=-3/4\), \(\gamma_{3}=2/3\), \(\gamma_{4}=3\), \(\delta_{1}=4\), \(\delta_{2}=e\), \(\delta_{3}=6\), \(\delta_{4}=\pi\), \(\eta_{1}=3\), \(\eta_{2}=1/2\), \(\eta_{3}=5\), \(\eta_{4}=5/3\), \(\xi_{1}=3\), \(\xi _{2}=25/4\), \(\xi_{3}=10\), \(\xi_{4}=2\) and \(f(t,u)=u^{2}e^{-2t}/100 (1+t^{1/3} )^{2}\). Clearly,
$$\bigl|f\bigl(t,\bigl(1+t^{1/3}\bigr)u\bigr) \bigr|=\frac{e^{-2t}|u|^{2}}{100}. $$
Choosing \(\varphi_{1}(t)=e^{-2t}\), \(\omega _{1}(|u|)=|u|^{2}/100\), then \(\varphi_{1}\in L^{1}[0,\infty)\) and \(\omega_{1}\in C([0,\infty),[0,\infty))\) is nondecreasing. We can show that
$$\Lambda\approx1.780857113, \quad\quad\Omega_{1}\approx0.9547223123, $$
and
$$\frac{\kappa}{ (\frac{\kappa^{2}}{100} )(0.9547223123)}> 1, $$
which implies that \(0<\kappa<104.7424981\). Hence, by Theorem 3.1, the boundary value problem (4.1) has at least one solution on \([0,\infty)\).

Example 4.2

Consider the following nonlinear Riemann-Liouville fractional differential equation with Erdélyi-Kober fractional integral condition:
$$ \textstyle\begin{cases} D_{0}^{\frac{9}{5}}u(t) + t^{2}e^{-3t}\cos (\frac {u(t)}{1+t^{4/5}} )=0, \quad t\in(0,\infty), \\ u(0)=0, \\ D_{0}^{\frac{4}{5}}u(\infty)=3I_{2}^{-1,4}u (\frac{2}{7} )+\frac{3}{5}I_{1}^{4,2}u (6 ) -\frac{22}{7}I_{\pi}^{-\frac{2}{3},\frac{33}{5}}u (\frac{9}{7} ) \\ \hphantom{D_{0}^{\frac{4}{5}}u(\infty)=}{}+11I_{\frac{7}{3}}^{2,e}u (\pi^{3} )-\frac{13}{2}I_{4}^{\frac {3}{2},6}u(12). \end{cases} $$
(4.2)
Here \(\alpha=9/5\), \(m=7\), \(\beta_{1}=3\), \(\beta_{2}=3/5\), \(\beta_{3}=-22/7\), \(\beta_{4}=11\), \(\beta_{5}=-13/2\), \(\gamma_{1}=-1\), \(\gamma_{2}=4\), \(\gamma _{3}=-2/3\), \(\gamma_{4}=2\), \(\gamma_{5}=3/2\), \(\delta_{1}=4\), \(\delta_{2}=2\), \(\delta_{3}=33/5\), \(\delta_{4}=e\), \(\delta_{5}=6\), \(\eta_{1}=2\), \(\eta_{2}=1\), \(\eta_{3}=\pi\), \(\eta_{4}=7/3\), \(\eta_{5}=4\), \(\xi_{1}=2/7\), \(\xi_{2}=6\), \(\xi _{3}=9/7\), \(\xi_{4}=\pi^{3}\), \(\xi_{5}=12\) and \(f(t,u)=t^{2}e^{-3t}\cos (u/(1+t^{4/5}) )\). Since
$$\bigl\vert f \bigl(t,\bigl(1+t^{\frac{4}{5}}\bigr)u \bigr)-f \bigl(t, \bigl(1+t^{\frac {4}{5}}\bigr)v \bigr)\bigr\vert \leq t^{2}e^{-3t}|u-v|, $$
then (A2) is satisfied with \(\varphi_{2}(t)=t^{2}e^{-3t}\). We can show that
$$\Lambda\approx-2.978499743, \quad\quad\Omega_{2}\approx0.1989863061< 1. $$
Hence, by Theorem 3.2, the boundary value problem (4.2) has a unique solution on \([0,\infty)\).

Declarations

Acknowledgements

We thank the reviewers for their constructive comments that led to the improvement of the original manuscript. This research is partially supported by the Centre of Excellence in Mathematics, the Commission on Higher Education, Thailand.

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)
Nonlinear Dynamic Analysis Research Center, Department of Mathematics, Faculty of Applied Science, King Mongkut’s University of Technology North Bangkok, Bangkok, Thailand
(2)
Department of Mathematics, University of Ioannina, Ioannina, Greece
(3)
Nonlinear Analysis and Applied Mathematics (NAAM)-Research Group, Department of Mathematics, Faculty of Science, King Abdulaziz University, Jeddah, Saudi Arabia
(4)
Centre of Excellence in Mathematics, CHE, Bangkok, Thailand

References

  1. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006) MATHView ArticleGoogle Scholar
  2. Samko, SG, Kilbas, AA, Marichev, OI: Fractional Integrals and Derivatives, Theory and Applications. Gordon & Breach, Yverdon (1993) MATHGoogle Scholar
  3. Podlubny, I: Fractional Differential Equations. Academic Press, San Diego (1999) MATHGoogle Scholar
  4. Agarwal, RP, Zhou, Y, He, Y: Existence of fractional neutral functional differential equations. Comput. Math. Appl. 59, 1095-1100 (2010) MATHMathSciNetView ArticleGoogle Scholar
  5. Ahmad, B, Nieto, JJ: Boundary value problems for a class of sequential integrodifferential equations of fractional order. J. Funct. Spaces Appl. 2013, Article ID 149659 (2013) MathSciNetView ArticleGoogle Scholar
  6. Ahmad, B, Ntouyas, SK, Alsaedi, A: A study of nonlinear fractional differential equations of arbitrary order with Riemann-Liouville type multistrip boundary conditions. Math. Probl. Eng. 2013, Article ID 320415 (2013) MathSciNetGoogle Scholar
  7. Ahmad, B, Ntouyas, SK: Nonlocal fractional boundary value problems with slit-strips integral boundary conditions. Fract. Calc. Appl. Anal. 18, 261-280 (2015) MATHMathSciNetView ArticleGoogle Scholar
  8. Baleanu, D, Diethelm, K, Scalas, E, Trujillo, JJ: Fractional Calculus Models and Numerical Methods. Series on Complexity, Nonlinearity and Chaos. World Scientific, Boston (2012) MATHGoogle Scholar
  9. Baleanu, D, Mustafa, OG, Agarwal, RP: On \(L^{p}\)-solutions for a class of sequential fractional differential equations. Appl. Math. Comput. 218, 2074-2081 (2011) MATHMathSciNetView ArticleGoogle Scholar
  10. Kalla, SL, Kiryakova, VS: An H-function generalized fractional calculus based upon compositions of Erdélyi-Kober operators in \(L_{p}\). Math. Jpn. 35, 1-21 (1990) MathSciNetGoogle Scholar
  11. Kiryakova, V: Generalized Fractional Calculus and Applications. Pitman Research Notes in Math., vol. 301. Longman, Harlow (1994) MATHGoogle Scholar
  12. Kober, H: On fractional integrals and derivatives. Q. J. Math. 11, 193-211 (1940) MathSciNetView ArticleGoogle Scholar
  13. Sneddon, IN: The use in mathematical analysis of Erdélyi-Kober operators and some of their applications. In: Fractional Calculus and Its Applications, Proc. Internat. Conf. Held in New Haven. Lecture Notes in Math., vol. 457, pp. 37-79. Springer, New York (1975) View ArticleGoogle Scholar
  14. Yakubovich, SB, Luchko, YF: The Hypergeometric Approach to Integral Transforms and Convolutions. Mathematics and Its Appl., vol. 287. Kluwer Academic, Dordrecht (1994) MATHView ArticleGoogle Scholar
  15. Silva, AT, Lenzi, EK, Evangelista, LR, Lenzi, MK, da Silva, LR: Fractional nonlinear diffusion equation, solutions and anomalous diffusion. Phys. A 375, 65-71 (2007) MathSciNetView ArticleGoogle Scholar
  16. Liang, JR, Ren, FY, Qiu, WY, Xiao, JB: Exact solutions for nonlinear fractional anomalous diffusion equations. Phys. A 385, 81-94 (2007) MathSciNetView ArticleGoogle Scholar
  17. Sun, HG, Chen, W, Sheng, H, Chen, YQ: On mean square displacement behaviors of anomalous diffusions with variable and random orders. Phys. Lett. A 374, 906-910 (2010) MATHView ArticleGoogle Scholar
  18. Sun, HG, Chen, W, Li, C, Chen, YQ: Fractional differential models for anomalous diffusion. Phys. Lett. A 389, 2719-2724 (2010) Google Scholar
  19. D’Ovidio, M: From Sturm-Liouville problems to fractional and anomalous diffusions. Stoch. Process. Appl. 122, 3513-3544 (2012) MATHMathSciNetView ArticleGoogle Scholar
  20. Pagnini, G: Erdélyi-Kober fractional diffusion. Fract. Calc. Appl. Anal. 15, 117-127 (2012) MATHMathSciNetView ArticleGoogle Scholar
  21. Gorenflo, R, Kilbas, A, Mainardi, F, Rogosin, S: Mittag-Leffler Function, Related Topics and Applications. Springer, Berlin (2014) View ArticleGoogle Scholar
  22. Płociniczak, Ł: Approximation of the Erdélyi-Kober operator with application to the time-fractional porous medium equation. SIAM J. Appl. Math. 74, 1219-1237 (2014) MATHMathSciNetView ArticleGoogle Scholar
  23. Agarwal, RP, O’Regan, D: Infinite Interval Problems for Differential, Difference and Integral Equations. Kluwer Academic, Dordrecht (2001) MATHView ArticleGoogle Scholar
  24. Liu, Y: Existence and unboundedness of positive solutions for singular boundary value problems on half-line. Appl. Math. Comput. 144, 543-556 (2003) MATHMathSciNetView ArticleGoogle Scholar
  25. Liang, S, Zhang, J: Existence of multiple positive solutions for m-point fractional boundary value problems on an infinite interval. Math. Comput. Model. 54, 1334-1346 (2011) MATHMathSciNetView ArticleGoogle Scholar
  26. Liu, YS: Boundary value problem for second order differential equations on unbounded domain. Acta Anal. Funct. Appl. 4, 211-216 (2002) MATHMathSciNetGoogle Scholar
  27. Zhang, L, Ahmad, B, Wang, G, Agarwal, R, Al-Yami, M, Shammakh, W: Nonlocal integrodifferential boundary value problem for nonlinear fractional differential equations on an unbounded domain. Abstr. Appl. Anal. 2013, Article ID 813903 (2013) MathSciNetGoogle Scholar
  28. Zhao, X, Ge, W: Unbounded solutions for a fractional boundary value problems on the infinite interval. Acta Appl. Math. 109, 495-505 (2010) MATHMathSciNetView ArticleGoogle Scholar
  29. Granas, A, Dugundji, J: Fixed Point Theory. Springer, New York (2005) Google Scholar

Copyright

© Thiramanus et al. 2015

Advertisement