Skip to content


  • Research
  • Open Access

Solvability of Neumann boundary value problem for fractional p-Laplacian equation

Advances in Difference Equations20152015:76

  • Received: 20 October 2014
  • Accepted: 19 December 2014
  • Published:


We consider the existence of solutions for a Neumann boundary value problem for the fractional p-Laplacian equation. Under certain nonlinear growth conditions of the nonlinearity, we obtain a new result on the existence of solutions by using the continuation theorem of coincidence degree theory.


  • Neumann boundary value problem
  • fractional differential equation
  • p-Laplacian operator
  • continuation theorem


  • 34A08
  • 34B15

1 Introduction

The purpose of this paper is to establish the existence of solutions for the following Neumann boundary value problem (NBVP for short) for a fractional p-Laplacian equation:
$$ \left \{ \begin{array}{l} D_{0^{+}}^{\beta}\phi_{p}(D_{0^{+}}^{\alpha}x(t))=g(t,x(t)), \quad t\in[0,T], \\ D_{0^{+}}^{\alpha}x(0)=D_{0^{+}}^{\alpha}x(T)=0, \end{array} \right . $$
where \(0<\alpha,\beta\leq1\), \(D_{0^{+}}^{\alpha}\) is a Caputo fractional derivative, \(\phi_{p}(s)=|s|^{p-2}s\) (\(p>1\)), \(T>0\) is a given constant and \(g:[0,T]\times\mathbb{R}\rightarrow\mathbb{R}\) is continuous. Obviously, \(\phi_{p}\) is invertible and its inverse operator is \(\phi_{q}\), where \(q>1\) is a constant such that \(1/p+1/q=1\).

The fractional calculus is a generalization of the ordinary differentiation and integration on an arbitrary order that can be noninteger. Fractional differential equations appear in a number of fields such as physics, polymer rheology, regular variation in thermodynamics, biophysics, blood flow phenomena, aerodynamics, electro-dynamics of a complex medium, viscoelasticity, Bode analysis of feedback amplifiers, capacitor theory, electrical circuits, electro-analytical chemistry, biology, control theory, fitting of experimental data, etc. (see [14]). In recent years, because of the intensive development of the fractional calculus theory itself and its applications, fractional differential equations have been of great interest. For example, Agarwal et al. (see [5]) considered a two-point boundary value problem at nonresonance, and Bai (see [6]) considered a m-point boundary value problem at resonance. For more papers on fractional boundary value problems, see [715] and the references therein.

In [7], by using the coincidence degree theory for Fredholm operators, the authors studied the existence of solutions for the following NBVP:
$$ \left \{ \begin{array}{l} D_{0^{+}}^{\beta}\phi_{p}(D_{0^{+}}^{\alpha}x(t))=f(t,x(t),D_{0^{+}}^{\alpha}x(t)), \quad t\in[0,1], \\ D_{0^{+}}^{\alpha}x(0)=D_{0^{+}}^{\alpha}x(1)=0. \end{array} \right . $$
Notice that \(D_{0^{+}}^{\beta}\phi_{p}(D_{0^{+}}^{\alpha})\) is a nonlinear operator, so it is not a Fredholm operator. Hence, there is a bug in the proof of the main result.

2 Preliminaries

In this section, for convenience of the reader, we will present here some necessary basic knowledge and definitions as regards the fractional calculus theory, which can be found, for instance, in [2, 4].

Definition 2.1

The Riemann-Liouville fractional integral operator of order \(\alpha>0\) of a function \(u:(0,+\infty )\rightarrow\mathbb{R}\) is given by
$$ I_{0^{+}}^{\alpha}u(t)=\frac{1}{\Gamma(\alpha)}\int_{0}^{t} (t-s)^{\alpha-1}u(s)\, ds, $$
provided that the right-side integral is pointwise defined on \((0,+\infty)\).

Definition 2.2

The Caputo fractional derivative of order \(\alpha>0\) of a continuous function \(u:(0,+\infty)\rightarrow \mathbb{R}\) is given by
$$\begin{aligned} D_{0^{+}}^{\alpha}u(t) =&I_{0^{+}}^{n-\alpha} \frac{d^{n}u(t)}{d t^{n}} \\ =&\frac{1}{\Gamma(n-\alpha)}\int_{0}^{t}(t-s)^{n-\alpha-1}u^{(n)}(s) \, ds, \end{aligned}$$
where n is the smallest integer greater than or equal to α, provided that the right-side integral is pointwise defined on \((0,+\infty)\).

Lemma 2.1

(see [1])

Let \(\alpha>0\). Assume that \(u,D_{0^{+}}^{\alpha}u\in L([0,T],\mathbb{R})\). Then the following equality holds:
$$ I_{0^{+}}^{\alpha}D_{0^{+}}^{\alpha}u(t)=u(t)+c_{0}+c_{1}t+ \cdots+c_{n-1}t^{n-1}, $$
where \(c_{i}\in{\mathbb{R}}\), \(i=0,1,\ldots,n-1\), here n is the smallest integer greater than or equal to α.

Lemma 2.2

(see [16])

For any \(u,v\geq0\), then
$$\begin{aligned}& \phi_{p}(u+v)\leq\phi_{p}(u)+\phi_{p}(v),\quad \textit{if } p< 2; \\& \phi_{p}(u+v)\leq2^{p-2}\bigl(\phi_{p}(u)+ \phi_{p}(v)\bigr), \quad \textit{if } p\geq2. \end{aligned}$$

Now we briefly recall some notations and an abstract existence result, which can be found in [17].

Let X, Y be real Banach spaces, \(L: \operatorname{dom}L\subset X\rightarrow Y\) be a Fredholm operator with index zero, and \(P: X\rightarrow X\), \(Q:Y\rightarrow Y \) be projectors such that
$$\begin{aligned}& \operatorname{Im}P=\operatorname{Ker}L, \qquad \operatorname{Ker}Q= \operatorname{Im}L, \\& X=\operatorname{Ker}L\oplus\operatorname{Ker}P, \qquad Y=\operatorname{Im}L \oplus\operatorname{Im}Q. \end{aligned}$$
It follows that
$$ L|_{\operatorname{dom}L\cap\operatorname{Ker}P}: \operatorname{dom}L\cap\operatorname{Ker}P\rightarrow \operatorname{Im}L $$
is invertible. We denote the inverse by \(K_{P}\).

If Ω is an open bounded subset of X such that \(\operatorname{dom}L\cap \bar{\Omega}\neq\varnothing\), then the map \(N:X\rightarrow Y\) will be called L-compact on \(\bar{\Omega}\) if \(QN(\bar{\Omega})\) is bounded and \(K_{P}(I-Q)N:\bar{\Omega}\rightarrow X\) is compact.

Lemma 2.3

(see [17])

Let X and Y be two Banach spaces, \(L:\operatorname{dom}L\subset X\rightarrow Y\) be a Fredholm operator with index zero, \(\Omega\subset X\) be an open bounded set, and \(N:\bar {\Omega}\rightarrow Y\) be L-compact on \(\bar{\Omega}\). Suppose that all of the following conditions hold:
  1. (1)

    \(Lx\neq\lambda Nx\), \(\forall x\in\partial\Omega\cap\operatorname{dom}L\), \(\lambda\in(0,1)\);

  2. (2)

    \(QNx\neq0\), \(\forall x\in\partial\Omega\cap\operatorname{Ker}L\);

  3. (3)

    \(\operatorname{deg}(JQN,\Omega\cap\operatorname{Ker}L,0)\neq0\), where \(J:\operatorname {Im}Q\rightarrow\operatorname{Ker}L\) is an isomorphism map.

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

3 Main result

In this section, we will give the main result on the existence of solutions for NBVP (1.1).

Theorem 3.1

Let \(g:[0,T]\times\mathbb{R}\rightarrow \mathbb{R}\) be continuous. Assume that
there exists a constant \(d>0\) such that
$$ (-1)^{i}ug(t,u)>0 \quad (i=1,2), \forall t\in[0,T],|u|>d; $$
there exist nonnegative functions \(a,b\in C[0,T]\) such that
$$ \bigl\vert g(t,u)\bigr\vert \leq a(t)|u|^{p-1}+b(t),\quad \forall t \in[0,T],u\in\mathbb{R}. $$
Then NBVP (1.1) has at least one solution, provided that
$$ \begin{aligned} &\gamma_{1}:=\frac{2^{p-1} T^{\beta+{\alpha p-\alpha}} \|a\|_{0}}{\Gamma (\beta+1)(\Gamma(\alpha+1))^{p-1}}< 1, \quad \textit{if } p<2; \\ &\gamma_{2}:=\frac{2^{2p-3} T^{\beta+{\alpha p-\alpha}} \|a\|_{0}}{\Gamma (\beta+1)(\Gamma(\alpha+1))^{p-1}}<1, \quad \textit{if } p\geq2. \end{aligned} $$
For making use of the continuation theorem to study the existence of solutions for NBVP (1.1), we consider the following system:
$$ \left \{ \begin{array}{l} D_{0^{+}}^{\alpha}x_{1}(t)=\phi_{q} (x_{2}(t)), \\ D_{0^{+}}^{\beta}x_{2}(t)=g(t,x_{1}(t)), \\ x_{2}(0)=x_{2}(T)=0. \end{array} \right . $$
Clearly, if \(x(\cdot)=(x_{1}(\cdot),x_{2}(\cdot))^{\mathrm{T}}\) is a solution of NBVP (3.2), then \(x_{1}(\cdot)\) must be a solution of NBVP (1.1). Hence, to prove that NBVP (1.1) has solutions, it suffices to show that NBVP (3.2) has solutions.

In this paper, we take \(X=\{x=(x_{1},x_{2})^{\mathrm{T}}|x_{1},x_{2}\in C[0,T]\}\) with the norm \(\|x\|=\max\{\|x_{1}\|_{0}, \|x_{2}\|_{0}\}\), where \(\| x_{i}\|_{0}=\max_{t\in[0,T]}|x_{i}(t)|\) (\(i=1,2\)). By means of the linear functional analysis theory, we can prove X is a Banach space.

Define the operator \(L:\operatorname{dom}L\subset X\rightarrow X\) by
$$ Lx= \left ( \begin{array}{@{}c@{}} D_{0^{+}}^{\alpha}x_{1} \\ D_{0^{+}}^{\beta}x_{2} \end{array} \right ), $$
$$ \operatorname{dom}L=\bigl\{ x\in X|D_{0^{+}}^{\alpha}x_{1},D_{0^{+}}^{\beta}x_{2}\in C[0,T],x_{2}(0)=x_{2}(T)=0\bigr\} . $$
Let \(N:X\rightarrow X\) be the Nemytskii operator
$$ Nx(t)= \left ( \begin{array}{@{}c@{}} \phi_{q} (x_{2}(t)) \\ g(t,x_{1}(t)) \end{array} \right ), \quad \forall t\in[0,T]. $$
Then NBVP (3.2) is equivalent to the operator equation as follows:
$$ Lx=Nx,\quad x\in\operatorname{dom}L. $$

Next we will give some lemmas which are useful in the proof of Theorem 3.1.

Lemma 3.1

Let L be defined by (3.3), then
$$\begin{aligned}& \operatorname{Ker}L=\bigl\{ x\in X|x(t)=c\in\mathbb{R}^{2}, \forall t\in[0,T]\bigr\} , \end{aligned}$$
$$\begin{aligned}& \operatorname{Im}L= \biggl\{ y\in X\Big|y_{1}(0)=0,\int _{0}^{T} (T-s)^{\beta-1} y_{2}(s)\, ds=0 \biggr\} . \end{aligned}$$


Obviously, from Lemma 2.1, (3.5) holds.

If \(y\in\operatorname{Im}L\), then there exists \(x\in\operatorname{dom}L\) such that \(y=Lx\). That is, \(y_{1}(t)=D_{0^{+}}^{\alpha}x_{1}(t)\), \(y_{2}(t)=D_{0^{+}}^{\beta}x_{2}(t)\). By Lemma 2.1, we have
$$ x_{2}(t)=c+\frac{1}{\Gamma(\beta)}\int_{0}^{t}(t-s)^{\beta-1}y_{2}(s) \, ds, \quad c\in\mathbb{R}. $$
From the boundary value conditions \(D_{0^{+}}^{\alpha}x_{1}(0)=x_{2}(0)=x_{2}(T)=0\), we obtain
$$ y_{1}(0)=0, \qquad \int_{0}^{T} (T-s)^{\beta-1} y_{2}(s)\, ds=0. $$
So we get (3.6).

On the other hand, suppose \(y\in X\) which satisfies (3.7). Let \(x_{1}(t)=I_{0^{+}}^{\alpha}y_{1}(t)\), \(x_{2}(t)=I_{0^{+}}^{\beta}y_{2}(t)\). Clearly \(x_{2}(0)=x_{2}(T)=0\). Hence \(x=(x_{1},x_{2})^{\mathrm{T}}\in\operatorname{dom}L\) and \(Lx=y\). Thus \(y\in\operatorname{Im}L\). The proof is completed. □

Lemma 3.2

Let L be defined by (3.3), then L is a Fredholm operator of index zero. The linear projectors \(P:X \rightarrow X\) and \(Q:X \rightarrow X\) can be defined as
$$\begin{aligned} \begin{aligned} &Px(t)=x(0), \quad \forall t\in[0,T], \\ &Qy(t)=\left ( \begin{array}{@{}c@{}} y_{1}(0) \\ \frac{\beta}{T^{\beta}}\int_{0}^{T} (T-s)^{\beta-1}y_{2}(s)\, ds \end{array} \right ):=\left ( \begin{array}{@{}c@{}} (Qy)_{1}(t) \\ (Qy)_{2}(t) \end{array} \right ),\quad \forall t\in[0,T]. \end{aligned} \end{aligned}$$
Furthermore, the operator \(K_{P}: \operatorname{Im}L\rightarrow{\operatorname{dom}L\cap \operatorname{Ker}P}\) can be written by
$$ K_{P}y=\left ( \begin{array}{@{}c@{}} I_{0^{+}}^{\alpha}y_{1} \\ I_{0^{+}}^{\beta}y_{2} \end{array} \right ). $$


For any \(y \in X\), we have
$$\begin{aligned} Q^{2}y(t) =&Q\left ( \begin{array}{@{}c@{}} y_{1}(0) \\ (Qy)_{2}(t) \end{array} \right ) \\ =&\left ( \begin{array}{@{}c@{}} y_{1}(0) \\ (Qy)_{2}(t)\cdot\frac{\beta}{T^{\beta}}\int_{0}^{T}(T-s)^{\beta-1}\, ds \end{array} \right ) =Qy(t). \end{aligned}$$
Let \(y^{*}=y-Qy\), then we get \(y_{1}^{*}(0)=0\) and
$$\begin{aligned}& \int_{0}^{T}(T-s)^{\beta-1}y_{2}^{*}(s) \, ds \\& \quad = \int_{0}^{T}(T-s)^{\beta-1}y_{2}(s) \, ds-\int_{0}^{T}(T-s)^{\beta-1}(Qy)_{2}(s) \, ds \\& \quad = \frac{T^{\beta}}{\beta}\bigl((Qy)_{2}(t)-\bigl(Q^{2}y \bigr)_{2}(t)\bigr)=0. \end{aligned}$$
So \(y^{*}\in\operatorname{Im}L\). Thus \(X=\operatorname{Im}L+\operatorname{Im}Q\). Since \(\operatorname {Im}L\cap\operatorname{Im}Q=\{0\}\), we have \(X=\operatorname{Im}L\oplus\operatorname{Im}Q\). Hence
$$ \operatorname{dim} \operatorname{Ker}L=\operatorname{dim} \operatorname{Im}Q= \operatorname{codim} \operatorname{Im}L=2. $$
This means that L is a Fredholm operator of index zero.
For \(y\in\operatorname{Im}L\), from the definition of \(K_{P}\), we have
$$ LK_{P}y=\left ( \begin{array}{@{}c@{}} D_{0^{+}}^{\alpha}I_{0^{+}}^{\alpha}y_{1} \\ D_{0^{+}}^{\beta}I_{0^{+}}^{\beta}y_{2} \end{array} \right )=y. $$
On the other hand, for \(x\in\operatorname{dom}L\cap\operatorname{Ker}P\), we get \(x_{1}(0)=x_{2}(0)=0\). By Lemma 2.1, we obtain
$$ K_{P}Lx=\left ( \begin{array}{@{}c@{}} x_{1}-x_{1}(0) \\ x_{2}-x_{2}(0) \end{array} \right )=x. $$
So we know that \(K_{P}=(L_{\operatorname{dom}L\cap\operatorname{Ker}P})^{-1}\). The proof is completed. □

Lemma 3.3

Let N be defined by (3.4). Assume \(\Omega\subset X\) is an open bounded subset such that \(\operatorname{dom}L\cap \bar{\Omega}\neq\varnothing\), then N is L-compact on \(\bar{\Omega}\).


By the continuity of \(\phi_{q}\) and g, we find that \(QN(\bar{\Omega})\) and \(K_{P} (I-Q)N(\bar{\Omega})\) are bounded. Moreover, there exists a constant \(A>0\) such that \(\|(I-Q)Nx\|\leq A\), \(\forall x\in\bar{\Omega}\), \(t\in[0,T]\). Hence, in view of the Arzelà-Ascoli theorem, we need only to prove that \(K_{P}(I-Q)N(\bar {\Omega})\subset X\) is equicontinuous.

For \(0\leq t_{1}< t_{2}\leq T\), \(x\in\bar{\Omega}\), we have
$$\begin{aligned}& K_{P}(I-Q)Nx(t_{2})-K_{P}(I-Q)Nx(t_{1}) \\& \quad = \left ( \begin{array}{@{}c@{}} I_{0^{+}}^{\alpha}((I-Q)Nx)_{1}(t_{2})-I_{0^{+}}^{\alpha}((I-Q)Nx)_{1}(t_{1}) \\ I_{0^{+}}^{\beta}((I-Q)Nx)_{2}(t_{2})-I_{0^{+}}^{\beta}((I-Q)Nx)_{2}(t_{1}) \end{array} \right ). \end{aligned}$$
From \(\|(I-Q)Nx\|\leq A\), \(\forall x\in\bar{\Omega}\), \(t\in[0,T]\), we can see that
$$\begin{aligned}& \bigl\vert I_{0^{+}}^{\alpha}\bigl((I-Q)Nx\bigr)_{1}(t_{2})-I_{0^{+}}^{\alpha}\bigl((I-Q)Nx\bigr)_{1}(t_{1})\bigr\vert \\& \quad =\frac{1}{\Gamma(\alpha)}\biggl\vert \int_{0}^{t_{2}}(t_{2}-s)^{\alpha -1} \bigl((I-Q)Nx\bigr)_{1}(s)\, ds \\& \qquad {}-\int_{0}^{t_{1}}(t_{1}-s)^{\alpha-1} \bigl((I-Q)Nx\bigr)_{1}(s)\, ds\biggr\vert \\& \quad \leq\frac{A}{\Gamma(\alpha)} \biggl\{ \int_{0}^{t_{1}} \bigl[(t_{1}-s)^{\alpha-1} -(t_{2}-s)^{\alpha-1}\bigr] \, ds+\int_{t_{1}}^{t_{2}}(t_{2}-s)^{\alpha-1} \, ds \biggr\} \\& \quad =\frac{A}{\Gamma(\alpha+1)}\bigl[t_{1}^{\alpha}-t_{2}^{\alpha}+2(t_{2}-t_{1})^{\alpha}\bigr]. \end{aligned}$$
Since \(t^{\alpha}\) is uniformly continuous on \([0,T]\), we can obtain that \((K_{P}(I-Q)N(\bar{\Omega}))_{1}\subset C[0,T]\) is equicontinuous. A similar proof can show that \((K_{P}(I-Q)N(\bar{\Omega}))_{2}\subset C[0,T]\) is also equicontinuous. Hence, we find that \(K_{P}(I-Q)N:\bar{\Omega}\rightarrow X\) is compact. The proof is completed. □

Lemma 3.4

Suppose (C1), (C2) hold, then the set
$$ \Omega_{1}=\bigl\{ x\in\operatorname{dom}L|Lx=\lambda Nx,\lambda \in(0,1)\bigr\} $$
is bounded.


For \(x\in\Omega_{1}\), we have \(Nx\in\operatorname{Im}L\). Thus, from (3.6), we obtain
$$ \int_{0}^{T}(T-s)^{\beta-1}g \bigl(s,x_{1}(s)\bigr)\, ds=0. $$
Then, by the integral mean value theorem, there exists a constant \(\xi \in(0,T)\) such that \(g(\xi,x_{1}(\xi))=0\). So, from (C1), we get \(|x_{1}(\xi)|\leq d\). By Lemma 2.1, we have
$$ x_{1}(t)=x_{1}(\xi)-I_{0^{+}}^{\alpha}D_{0^{+}}^{\alpha}x_{1}(\xi)+I_{0^{+}}^{\alpha }D_{0^{+}}^{\alpha}x_{1}(t), $$
which together with
$$\begin{aligned} \bigl\vert I_{0^{+}}^{\alpha}D_{0^{+}}^{\alpha}x_{1}(t)\bigr\vert =&\frac{1}{\Gamma(\alpha)}\biggl\vert \int _{0}^{t}(t-s)^{\alpha-1}D_{0^{+}}^{\alpha}x_{1}(s)\, ds\biggr\vert \\ \leq&\frac{1}{\Gamma(\alpha)}\bigl\Vert D_{0^{+}}^{\alpha}x_{1}\bigr\Vert _{0}\cdot\frac {1}{\alpha}t^{\alpha}\\ \leq&\frac{T^{\alpha}}{\Gamma(\alpha+1)}\bigl\Vert D_{0^{+}}^{\alpha}x_{1}\bigr\Vert _{0},\quad \forall t\in[0,T], \end{aligned}$$
and \(|x_{1}(\xi)|\leq d\) yields
$$ \|x_{1}\|_{0}\leq d+\frac{2T^{\alpha}}{\Gamma(\alpha+1)}\bigl\Vert D_{0^{+}}^{\alpha}x_{1}\bigr\Vert _{0}. $$
By \(Lx=\lambda Nx\), we have
$$ \left \{ \begin{array}{l} D_{0^{+}}^{\alpha}x_{1}(t)=\lambda\phi_{q} (x_{2}(t)), \\ D_{0^{+}}^{\beta}x_{2}(t)=\lambda g(t,x_{1}(t)). \end{array} \right . $$
From the first equation of (3.9), we get \(x_{2}(t)=\lambda ^{1-p}\phi_{p}(D_{0^{+}}^{\alpha}x_{1}(t))\). Then, by substituting it to the second equation of (3.9), we get
$$ D_{0^{+}}^{\beta}\phi_{p}\bigl(D_{0^{+}}^{\alpha}x_{1}(t)\bigr)=\lambda^{p}g(t,x_{1}):=\lambda ^{p}N_{g}x_{1}(t). $$
Thus, from Lemma 2.1 and the boundary value condition \(x_{2}(0)=0\), we obtain
$$ \phi_{p}\bigl(D_{0^{+}}^{\alpha}x_{1}(t) \bigr)=\lambda^{p}I_{0^{+}}^{\beta}N_{g}x_{1}(t). $$
So, from (C2), we have
$$\begin{aligned} \bigl\vert \phi_{p}\bigl(D_{0^{+}}^{\alpha}x_{1}(t)\bigr)\bigr\vert \leq&\frac{1}{\Gamma(\beta)}\int _{0}^{t}(t-s)^{\beta-1}\bigl\vert g \bigl(s,x_{1}(s)\bigr)\bigr\vert \, ds \\ \leq&\frac{1}{\Gamma(\beta)}\int_{0}^{t}(t-s)^{\beta -1} \bigl(a(s)\bigl\vert x_{1}(s)\bigr\vert ^{p-1}+b(s)\bigr) \, ds \\ \leq&\frac{T^{\beta}}{\Gamma(\beta+1)}\bigl(\|a\|_{0}\|x_{1} \|_{0}^{p-1}+\|b\|_{0}\bigr),\quad \forall t \in[0,T], \end{aligned}$$
which together with \(|\phi_{p}(D_{0^{+}}^{\alpha}x_{1}(t))|=|D_{0^{+}}^{\alpha}x_{1}(t)|^{p-1}\) and (3.8) yields
$$ \bigl\Vert D_{0^{+}}^{\alpha}x_{1}\bigr\Vert _{0}^{p-1} \leq\frac{T^{\beta}}{\Gamma(\beta+1)} \biggl[\|b\|_{0} +\|a\|_{0} \biggl(d+\frac{2T^{\alpha}}{\Gamma(\alpha+1)}\bigl\Vert D_{0^{+}}^{\alpha}x_{1}\bigr\Vert _{0} \biggr)^{p-1} \biggr]. $$
If \(p<2\), by Lemma 2.2, we get
$$\begin{aligned} \bigl\Vert D_{0^{+}}^{\alpha}x_{1}\bigr\Vert _{0}^{p-1} \leq&\frac{T^{\beta}}{\Gamma(\beta+1)}\biggl[\|b \|_{0} +\|a\|_{0} \biggl(d^{p-1}+\frac{(2T^{\alpha})^{p-1}}{ (\Gamma(\alpha+1))^{p-1}} \bigl\| D_{0^{+}}^{\alpha}x_{1}\bigr\| _{0}^{p-1} \biggr)\biggr] \\ =&A_{1}+\frac{2^{p-1} T^{\beta+{\alpha p-\alpha}} \|a\|_{0}}{\Gamma(\beta +1)(\Gamma(\alpha+1))^{p-1}}\bigl\| D_{0^{+}}^{\alpha}x_{1}\bigr\| _{0}^{p-1}, \end{aligned}$$
where \(A_{1}=\frac{T^{\beta}}{\Gamma(\beta+1)}(\|b\|_{0}+d^{p-1}\|a\|_{0})\). Then, from (3.1), we have
$$ \bigl\Vert D_{0^{+}}^{\alpha}x_{1}\bigr\Vert _{0}\leq \biggl(\frac{A_{1}}{1-\gamma_{1}} \biggr)^{q-1}:=B_{1}. $$
Thus, from (3.8), we get
$$ \|x_{1}\|_{0}\leq d+\frac{2T^{\alpha}}{\Gamma(\alpha+1)}B_{1}. $$
If \(p\geq2\), similar to the above argument, we let \(A_{2}=\frac{T^{\beta}}{\Gamma(\beta+1)}(\|b\|_{0}+2^{p-2}d^{p-1}\|a\|_{0})\), we obtain
$$ \|x_{1}\|_{0}\leq d+\frac{2T^{\alpha}}{\Gamma(\alpha+1)}B_{2}, $$
where \(B_{2}=(\frac{A_{2}}{1-\gamma_{2}})^{q-1}\). Hence, combining (3.10) with (3.11), we have
$$ \|x_{1}\|_{0}\leq\max \biggl\{ d+ \frac{2T^{\alpha}}{\Gamma(\alpha+1)}B_{1}, d+\frac{2T^{\alpha}}{\Gamma(\alpha+1)}B_{2} \biggr\} :=B. $$
From the second equation of (3.9), Lemma 2.1, and \(x_{2}(0)=0\), we have
$$ x_{2}(t)=\lambda I_{0^{+}}^{\beta}N_{g}x_{1}(t). $$
So we have
$$ \|x_{2}\|_{0}\leq\frac{T^{\beta}}{\Gamma(\beta+1)}G_{B}, $$
where \(G_{B}=\max\{|g(t,x)||t\in[0,T],|x|\leq B\}\). Thus, from (3.12), we obtain
$$ \|x\|=\max\bigl\{ \Vert x_{1}\Vert _{0}, \|x_{2}\|_{0}\bigr\} \leq\max \biggl\{ B,\frac{T^{\beta}}{\Gamma(\beta+1)}G_{B} \biggr\} :=M. $$
Hence, \(\Omega_{1}\) is bounded. The proof is completed. □

Lemma 3.5

Suppose (C1) holds, then the set
$$ \Omega_{2}=\{x\in\operatorname{Ker}L|QNx=0\} $$
is bounded.


For \(x\in\Omega_{2}\), we have \(x_{1}(t)=c_{1}\), \(x_{2}(t)=c_{2}\), \(\forall t\in[0,T]\), \(c_{1},c_{2}\in\mathbb{R}\), and
$$\begin{aligned}& \phi_{q}(c_{2})=0, \end{aligned}$$
$$\begin{aligned}& \int_{0}^{T}(T-s)^{\beta-1}g(s,c_{1}) \, ds=0. \end{aligned}$$
From (3.13), we get \(c_{2}=0\). From (3.14) and (C1), we get \(|c_{1}|\leq d\). Thus, we have
$$ \|x\|=\max\bigl\{ \vert c_{1}\vert ,|c_{2}|\bigr\} \leq d. $$
Hence, \(\Omega_{2}\) is bounded. The proof is completed. □

Lemma 3.6

Suppose (C1) holds, then the set
$$ \Omega_{3}=\bigl\{ x\in\operatorname{Ker}L|\mu x+(1-\mu)JQNx=0,\mu \in[0,1]\bigr\} $$
is bounded, where \(J:\operatorname{Im}Q\rightarrow\operatorname{Ker}L\) defined by
$$ J(x_{1},x_{2})^{\mathrm{T}}=\bigl((-1)^{i}x_{2},x_{1} \bigr)^{\mathrm{T}} $$
is an isomorphism map.


For \(x\in\Omega_{3}\), we have \(x_{1}(t)=c_{1}\), \(x_{2}(t)=c_{2}\), \(\forall t\in[0,T]\), \(c_{1},c_{2}\in\mathbb{R}\), and
$$\begin{aligned}& \mu c_{1}+(-1)^{i}(1-\mu)\frac{\beta}{T^{\beta}} \int_{0}^{T}(T-s)^{\beta -1}g(s,c_{1}) \, ds=0, \end{aligned}$$
$$\begin{aligned}& \mu c_{2}+(1-\mu)\phi_{q}(c_{2})=0. \end{aligned}$$
From (3.16), we get \(c_{2}=0\) because \(c_{2}\) and \(\phi_{q}(c_{2})\) have the same sign. From (3.15), if \(\mu=0\), we get \(|c_{1}|\leq d\) because of (C1). If \(\mu\in(0,1]\), we can also get \(|c_{1}|\leq d\). In fact, if \(|c_{1}|>d\), in view of (C1), one has
$$ \mu c_{1}^{2}+(1-\mu)\frac{\beta}{T^{\beta}}\int _{0}^{T}(T-s)^{\beta -1}(-1)^{i}c_{1}g(s,c_{1}) \, ds>0, $$
which contradicts to (3.15). So \(\|x\|\leq d\). Hence, \(\Omega_{3}\) is bounded. The proof is completed. □

Proof of Theorem 3.1

$$ \Omega=\bigl\{ x\in X|\|x\|< \max\{M,d\}+1\bigr\} . $$
Obviously \((\Omega_{1}\cup\Omega_{2}\cup\Omega_{3})\subset\Omega\). It follows from Lemmas 3.2 and 3.3 that L (defined by (3.3)) is a Fredholm operator of index zero and N (defined by (3.4)) is L-compact on \(\bar{\Omega}\). Moreover, by Lemmas 3.4 and 3.5, the conditions (1) and (2) of Lemma 2.3 are satisfied. Hence, it remains to verify the condition (3) of Lemma 2.3. Define the operator \(H:\bar{\Omega}\times [0,1]\rightarrow X\) by
$$ H(x,\mu)=\mu x+(1-\mu)JQNx. $$
Then, from Lemma 3.6, we have
$$ H(x,\mu)\neq0, \quad \forall(x,\mu)\in(\partial\Omega\cap\operatorname {Ker}L) \times[0,1]. $$
Thus, by the homotopy property of the degree, we have
$$\begin{aligned} \operatorname{deg}(JQN,\Omega\cap\operatorname{Ker}L,\theta) =& \operatorname{deg}\bigl(H(\cdot,0),\Omega\cap\operatorname{Ker}L,\theta\bigr) \\ =&\operatorname{deg}\bigl(H(\cdot,1),\Omega\cap\operatorname{Ker}L,\theta\bigr) \\ =&\operatorname{deg}(I,\Omega\cap\operatorname{Ker}L,\theta)\neq0, \end{aligned}$$
where θ is the zero element of X. So the condition (3) of Lemma 2.3 is satisfied.

Consequently, by Lemma 2.3, the operator equation \(Lx=Nx\) has at least one solution \(x(\cdot)=(x_{1}(\cdot),x_{2}(\cdot))^{\mathrm{T}} \) on \(\bar {\Omega}\cap\operatorname{dom}L\). Namely, NBVP (1.1) has at least one solution \(x_{1}(\cdot)\). The proof is completed. □



The author is grateful for the valuable comments and suggestions of the referees.

Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

Authors’ Affiliations

School of Mathematical Sciences, Huaibei Normal University, Huaibei, 235000, P.R. China


  1. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006) MATHGoogle Scholar
  2. Podlubny, I: Fractional Differential Equations. Academic Press, San Diego (1999) MATHGoogle Scholar
  3. Sabatier, J, Agrawal, OP, Machado, JAT (eds.): Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering. Springer, Dordrecht (2007) View ArticleGoogle Scholar
  4. Samko, SG, Kilbas, AA, Marichev, OI: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, Yverdon (1993) MATHGoogle Scholar
  5. Agarwal, RP, O’Regan, D, Stanek, S: Positive solutions for Dirichlet problems of singular nonlinear fractional differential equations. J. Math. Anal. Appl. 371, 57-68 (2010) View ArticleMATHMathSciNetGoogle Scholar
  6. Bai, Z: On solutions of some fractional m-point boundary value problems at resonance. Electron. J. Qual. Theory Differ. Equ. 2010, 37 (2010) Google Scholar
  7. Chen, T, Liu, W, Hu, Z: A boundary value problem for fractional differential equation with p-Laplacian operator at resonance. Nonlinear Anal. TMA 75, 3210-3217 (2012) View ArticleMATHMathSciNetGoogle Scholar
  8. Chen, T, Liu, W: An anti-periodic boundary value problem for the fractional differential equation with a p-Laplacian operator. Appl. Math. Lett. 25, 1671-1675 (2012) View ArticleMATHMathSciNetGoogle Scholar
  9. Benchohra, M, Hamani, S, Ntouyas, SK: Boundary value problems for differential equations with fractional order and nonlocal conditions. Nonlinear Anal. TMA 71, 2391-2396 (2009) View ArticleMATHMathSciNetGoogle Scholar
  10. Bai, Z, Lü, H: Positive solutions for boundary value problem of nonlinear fractional differential equation. J. Math. Anal. Appl. 311, 495-505 (2005) View ArticleMATHMathSciNetGoogle Scholar
  11. Darwish, MA, Ntouyas, SK: On initial and boundary value problems for fractional order mixed type functional differential inclusions. Comput. Math. Appl. 59, 1253-1265 (2010) View ArticleMATHMathSciNetGoogle Scholar
  12. El-Shahed, M, Nieto, JJ: Nontrivial solutions for a nonlinear multi-point boundary value problem of fractional order. Comput. Math. Appl. 59, 3438-3443 (2010) View ArticleMATHMathSciNetGoogle Scholar
  13. Jiang, W: The existence of solutions to boundary value problems of fractional differential equations at resonance. Nonlinear Anal. TMA 74, 1987-1994 (2011) View ArticleMATHGoogle Scholar
  14. Kosmatov, N: A boundary value problem of fractional order at resonance. Electron. J. Differ. Equ. 2010, 135 (2010) MathSciNetGoogle Scholar
  15. Su, X: Boundary value problem for a coupled system of nonlinear fractional differential equations. Appl. Math. Lett. 22, 64-69 (2009) View ArticleMATHMathSciNetGoogle Scholar
  16. Lian, H: Boundary Value Problems for Nonlinear Ordinary Differential Equations on Infinite Intervals. Doctoral thesis (2007) Google Scholar
  17. Gaines, R, Mawhin, J: Coincidence Degree and Nonlinear Differential Equations. Springer, Berlin (1977) MATHGoogle Scholar


© Zhang; licensee Springer 2015