Skip to main content

Theory and Modern Applications

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

Abstract

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.

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 . $$
(1.1)

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 [1–4]). 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 [7–15] 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

(C1):

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; $$
(C2):

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} $$
(3.1)

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 . $$
(3.2)

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 ), $$
(3.3)

where

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

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}$$
(3.5)
$$\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}$$
(3.6)

Proof

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. $$
(3.7)

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

Proof

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

Proof

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.

Proof

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}. $$
(3.8)

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 . $$
(3.9)

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}. $$
(3.10)

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}, $$
(3.11)

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. $$
(3.12)

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.

Proof

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}$$
(3.13)
$$\begin{aligned}& \int_{0}^{T}(T-s)^{\beta-1}g(s,c_{1}) \, ds=0. \end{aligned}$$
(3.14)

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.

Proof

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}$$
(3.15)
$$\begin{aligned}& \mu c_{2}+(1-\mu)\phi_{q}(c_{2})=0. \end{aligned}$$
(3.16)

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

Set

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

References

  1. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)

    MATH  Google Scholar 

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

    MATH  Google Scholar 

  3. Sabatier, J, Agrawal, OP, Machado, JAT (eds.): Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering. Springer, Dordrecht (2007)

    Book  Google Scholar 

  4. Samko, SG, Kilbas, AA, Marichev, OI: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, Yverdon (1993)

    MATH  Google 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)

    Article  MATH  MathSciNet  Google 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)

    Article  MATH  MathSciNet  Google 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)

    Article  MATH  MathSciNet  Google 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)

    Article  MATH  MathSciNet  Google 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)

    Article  MATH  MathSciNet  Google 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)

    Article  MATH  MathSciNet  Google 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)

    Article  MATH  MathSciNet  Google 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)

    Article  MATH  Google Scholar 

  14. Kosmatov, N: A boundary value problem of fractional order at resonance. Electron. J. Differ. Equ. 2010, 135 (2010)

    MathSciNet  Google Scholar 

  15. Su, X: Boundary value problem for a coupled system of nonlinear fractional differential equations. Appl. Math. Lett. 22, 64-69 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  16. Lian, H: Boundary Value Problems for Nonlinear Ordinary Differential Equations on Infinite Intervals. Doctoral thesis (2007)

  17. Gaines, R, Mawhin, J: Coincidence Degree and Nonlinear Differential Equations. Springer, Berlin (1977)

    MATH  Google Scholar 

Download references

Acknowledgements

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

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Bo Zhang.

Additional information

Competing interests

The author declares that he has no competing interests.

Rights and permissions

Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Zhang, B. Solvability of Neumann boundary value problem for fractional p-Laplacian equation. Adv Differ Equ 2015, 76 (2015). https://doi.org/10.1186/s13662-014-0334-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-014-0334-1

MSC

Keywords